Package: wnpp Owner: Julien Puydt <jpu...@debian.org> X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org Severity: wishlist
* Package name : coq-elpi Version : 1.11.2 Upstream Author : Enrico Tassi * URL : https://github.com/LPCIC/coq-elpi * License : LGPL 2.1+ Programming Lang: OCaml Description : Coq plugin embedding Elpi This package makes it possible to define new commands and tactics for Coq in Elpi. . Elpi implements a lambda-Prolog interpreter enriched with constraint handling rules. . Coq is a proof assistant for higher-order logic. I plan to maintain it within the Debian OCaml Maintainers team, where I already packaged src:elpi, with the idea that I will want to package next hierarchy-builder, which will be new deps for src:ssreflect, already maintained there. Cheers, J.Puydt
