Package: libcoq-bignums
Architecture: amd64
Version: 9.0.0+coq8.18-1build3
Priority: optional
Section: universe/ocaml
Source: coq-bignums
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 8393
Provides: libcoq-bignums-zm213
Depends: libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-bignums/libcoq-bignums_9.0.0+coq8.18-1build3_amd64.deb
Size: 2109294
MD5sum: 6bf685b3145ffa540af823288d4ea5b3
SHA1: 3bdc4b3c7d8a60df1ffde51692a320964ad4ec43
SHA256: 48219b445a3cc4fbbbfbd64646615c790dda1b5e9f5fd4c577f5f9dcb132eb2a
SHA512: 6500b5905e672ec887fecee6677a38ced539a067e6bc684ddd43c0819c04c4244908515cb2658318c6a02159489f33bb56f41460efacca46f7111c8c8e955206
Homepage: https://github.com/coq-community/bignums
Description: Coq library for big numbers
Description-md5: 5661a9f2f00d0c1dc7e8cc4889e2dfa1