Bug#997993: ITP: elpi -- embeddable lambda-Prolog interpreter

[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    : 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