gentoo.mahdi.cz
sci-mathematics
:alectryon
Toolkit for literate programming in Coq
https://github.com/cpitclaudel/alectryon/
alectryon-1.4.0-r2
MIT
download
~amd64
gentoo