Package: libcoq-bignums
Source: coq-bignums
Version: 9.0.0+coq8.20-1build12
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 7596
Depends: libcoq-stdlib-sbhb9
Provides: libcoq-bignums-ff939
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.
