Package: libcoq-coqprime
Architecture: amd64
Version: 8.20.1-1build4
Priority: optional
Section: universe/ocaml
Source: coqprime
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: 6566
Provides: libcoq-coqprime-jsz54
Depends: libcoq-bignums-3tk18, libcoq-stdlib-9imx0
Filename: pool/universe/c/coqprime/libcoq-coqprime_8.20.1-1build4_amd64.deb
Size: 2060332
MD5sum: 88230832b495802c8adf5bbf92605738
SHA1: 092608e0ce7529e4a7d630d35924d04e1269f3af
SHA256: eae33b5f4f14f298862695f7d5c6314bebd67d302a84cb9b01c76df26f2ec28f
SHA512: d95ef29d9e5873de648ff2417cbcae189526e18b46f5c554e649a8e72e8feb3e3969879df0b3c8b12a79d44a6a79b46460bae945d4b1145b3ccb2edc9902ac4e
Homepage: https://github.com/thery/coqprime
Description: Primality certification for Coq (library)
Description-md5: da1b9b42420ecfd09f7f3a29f0af36c8