Package: coqprime-tools
Architecture: amd64
Version: 8.20.1-1build5
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: 815
Depends: libcoq-coqprime (= 8.20.1-1build5), ocaml-base-nox | ocaml-base, libc6 (>= 2.34), libecm1 (>= 7.0.6+ds), libgmp10 (>= 2:6.3.0+dfsg)
Filename: pool/universe/c/coqprime/coqprime-tools_8.20.1-1build5_amd64.deb
Size: 184958
MD5sum: df54e558be4249333719d5fd562a228e
SHA1: a55983aa9b2eefc6d912d3bcff2957a76ff721f8
SHA256: 5edbb05511f6c3e8a73f5192531d5303226150925768ff4b5ff60c7f851e05e9
SHA512: aa23aa22f9f8544a24ffdb11b8de32b159a6ef69a5e019a6075c8aae2b8e38ab3866475f5b647945fc1011267529ebaa713128c99732c8311fc38adb2bf5d7af
Homepage: https://github.com/thery/coqprime
Description: Primality certification for Coq (tools)
Description-md5: 4282c65e7beec6bbf7b85c3bb7bc25ed