Package: libcoq-bignums
Architecture: amd64
Version: 8.17.0-3build1
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: 8423
Provides: libcoq-bignums-cj7t4
Depends: libcoq-stdlib-zp202
Filename: pool/universe/c/coq-bignums/libcoq-bignums_8.17.0-3build1_amd64.deb
Size: 2123152
MD5sum: 32d6dd8a71cadc74274c3d81dd3fb2c4
SHA1: 2aba08da2f93fa6e4c3d262da394c281a99564b9
SHA256: 19871f3929442695f4226c3e775280f4eb8804a69c3354d56bba065166e57b72
SHA512: cc2e1aa3a3e9539f7d619cdbb55907fe3f99287408d4d71c48f4d985a8716117b315ffb96de26d34234de0c5b4516b29aa5f048f85a1094d269d7092b945f867
Homepage: https://github.com/coq-community/bignums
Description: Coq library for big numbers
Description-md5: 5661a9f2f00d0c1dc7e8cc4889e2dfa1