Package: libcoq-bignums
Architecture: amd64
Version: 8.17.0-2build2
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: 8417
Provides: libcoq-bignums-ielk4
Depends: libcoq-stdlib-jkdo7
Filename: pool/universe/c/coq-bignums/libcoq-bignums_8.17.0-2build2_amd64.deb
Size: 2123382
MD5sum: ac9086c59ffbd0a1573e40c2f3b6b001
SHA1: ef8f5cb1116572468f5dacd00db826471f496b41
SHA256: b9b62ccf899f8eb7621f41068f98815332a592eca014ed0019213bf3ea6677ed
SHA512: e6b30c95ca3623760524482856bb5c526aed066e082957878c723402e31dcd8c7d0732ae468b3b9428e660d2607cd23d62c0d3c1e0fccf1193d57ceae71d467e
Homepage: https://github.com/coq-community/bignums
Description: Coq library for big numbers
Description-md5: 5661a9f2f00d0c1dc7e8cc4889e2dfa1