Bug#1010612: ITP: coq-bignums -- Coq library for big numbers
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
Reply to: