Package: libcoq-bignums
Source: coq-bignums
Version: 9.0.0+rocq9.2-3build1
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 6601
Depends: libcoq-stdlib-4jgx4
Provides: libcoq-bignums-mrfi3
Section: ocaml
Priority: optional
Homepage: https://github.com/coq-community/bignums
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.
 .
 Coq is a proof assistant for higher-order logic.
