Bug#999483: ITP: coq-elpi -- Coq plugin embedding Elpi

[Julien Puydt <julien.puydt@gmail.com>]

Package: wnpp
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-CC: debian-ocaml-maint@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