Gentoo Portage Overlays - app-emacs/lambdapi-mode

Newest News Repository news GLSAs Browse USE Flags Overlays More...

app-emacs/lambdapi-mode

A major mode to edit Lambdapi files

Screenshots

https://github.com/Deducteam/lambdapi

lambdapi-mode-20241110.1640

~amd64 ~x86

View

Download

Browse License:

Overlay: melpa

lambdapi-mode-2.5.1

~amd64 ~x86

View

Download

Browse License:

Overlay: melpa-stable

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Reverse Dependencies

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.