Package: wnpp Owner: Julien Puydt <jpu...@debian.org> X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org Severity: wishlist
* Package name : elpi Version : 1.13.7 Upstream Author : Claudio Sacerdoti Coen and Enrico Tassi * URL : https://github.com/LPCIC/elpi * License : LGPL 2.1+ Programming Lang: OCaml Description : embeddable lambda-Prolog interpreter ELPI implements a lambda-Prolog interpreter enriched with constraint handling rules, to provide an extension language to larger applications written in OCaml. I plan to maintain it within the Debian OCaml Maintainers team, with the idea that I will want to package coq-elpi and hierarchy-builder, which will be new deps for src:ssreflect, already maintained there. Cheers, J.Puydt