gentoo.mahdi.cz
dev-lang
:elpi
Embeddable Lambda Prolog Interpreter in OCaml
https://github.com/LPCIC/elpi/
elpi-1.17.4
LGPL-2.1+
download
~amd64
gentoo
elpi-1.17.0
LGPL-2.1+
download
~amd64
gentoo