Bug#1014940: ITP: coqprime -- Primality certification for Coq

[Julien Puydt <jpuydt@debian.org>]

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

* Package name    : coqprime
  Version         : 8.15
  Upstream Author :
* URL             : https://github.com/thery/coqprime/
* License         : LGPL-2.1
  Programming Lang: C, OCaml, Coq
  Description     : Primality certification for Coq

 Coqprime consists in:
 - a library of facts from number theory
 - a library for elliptic curves
 - an efficient library for modular arithmetic
 - tools to generate Pocklington and elliptic curve
 certificates of primality
 .
 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