Package: wnpp Severity: wishlist Owner: Julien Puydt <jpu...@debian.org> X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@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