Bug#1011648: ITP: coq-serapi -- Coq plugin for data serialization

[Julien Puydt <jpuydt@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org, jpuydt@debian.org

* Package name    : coq-serapi
  Version         : 0.15.0
  Upstream Author : Emilio Jesús Gallego Arias et al
* URL             : https://github.com/ejgallego/coq-serapi
* License         : LGPL-2.1
  Programming Lang: OCaml
  Description     : Coq plugin for data serialization
 This package provides automatic serialization of Coq's
 internal data structures from/to JSON or S-Expressions,
 to allow for machine-to-machine interaction with Coq.
 .
 Coq is a proof assistant for higher-order logic.

I plan to maintain it within the Debian OCaml Maintainers team, along with the
rest of the Coq-related packages.

Cheers,

J.Puydt