Package: libcoq-bignums
Source: coq-bignums
Version: 9.0.0+coq8.20-1build9
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 7640
Depends: libcoq-stdlib-wwbk6
Provides: libcoq-bignums-3rff6
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.
