Bug#1010612: ITP: coq-bignums -- Coq library for big numbers

[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-bignums
  Version         : 8.15.0
  Upstream Author : Laurent Théry, Benjamin Grégoire, Arnaud Spiwack, Evgeny
Makarov and Pierre Letouzey
* URL             : https://www.github.com/coq-community/bignums/
* License         : LGPL-2.1
  Programming Lang: Ocaml/Coq
  Description     : Coq library for big numbers
 This package provides big numbers (natural numbers,
 integers and rationals) in Coq, as BigN, BigZ and BigQ,
 which used to be part of the standard library.

I plan to maintain the package within the Debian Ocaml Maintainers team, along
with the rest of the Coq packages.

Cheers,

J.Puydt