Package: libcoq-bignums
Architecture: amd64
Version: 9.0.0+coq8.20-1build4
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: 8614
Provides: libcoq-bignums-baxl6
Depends: libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-bignums/libcoq-bignums_9.0.0+coq8.20-1build4_amd64.deb
Size: 2264606
MD5sum: ba945cca7a4d155d789ced256c56416f
SHA1: 42138727479b9d6d430209cb069fa5c3263b7c9e
SHA256: e1137b3f125d67cd88107d8c0afcbe7e8d2c67008eb93b095817b263677070e5
SHA512: bbc7175ceb49d65201a80e1ca877a477e4457bb0756a772f5aaad344c5681e71e75c19296b083b2d5925eda56e8c64ff314a47a082417b2d3955f023073bccbb
Homepage: https://github.com/coq-community/bignums
Description: Coq library for big numbers
Description-md5: 5661a9f2f00d0c1dc7e8cc4889e2dfa1