Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/alectryon
Toolkit for literate programming in Coq
Screenshots
https://github.com/cpitclaudel/alectryon/
alectryon-1.4.0-r2
~amd64
doc emacs python_targets_python3_10 python_targets_python3_11 python_targets_python3_12
View
Download
Browse
License: MIT
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
ChangeLog
ChangeLog Not Found