Search Portage & Overlays:
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
Runtime Dependencies
lambdapi-mode-20241110.1640
app-emacs/eglot
app-emacs/math-symbol-lists
app-emacs/highlight
>=
app-editors/emacs
-25.3:*
lambdapi-mode-2.5.1
app-emacs/eglot
app-emacs/math-symbol-lists
app-emacs/highlight
>=
app-editors/emacs
-25.3:*
View 
Download 
Browse License: Overlay: melpa-stable
View Download Browse License: