Package: coqprime-tools
Architecture: amd64
Version: 8.19-2build3
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: 810
Depends: libcoq-coqprime (= 8.19-2build3), ocaml-base-nox | ocaml-base, libc6 (>= 2.34), libecm1 (>= 7.0.5+ds), libgmp10 (>= 2:6.3.0+dfsg)
Filename: pool/universe/c/coqprime/coqprime-tools_8.19-2build3_amd64.deb
Size: 184530
MD5sum: 59882cc4dac6e057ff4ff85fd9d6cfd5
SHA1: f22cbf69dbdd2912c50635c5bd1c42d4692a5f50
SHA256: 31b8febe0ecedc29def50332425e7994811a8589d02272ab860c3335ebff9478
SHA512: eb5ad413c6e886c5ce5d6d4346e7c11377b353d2f199bf375b28faef8554392a04b2af5aff9de8b131126bf35587305b0e35a689293763f50d246731ce18ed2c
Homepage: https://github.com/thery/coqprime
Description: Primality certification for Coq (tools)
Description-md5: 4282c65e7beec6bbf7b85c3bb7bc25ed