Package: coqprime-tools
Architecture: amd64
Version: 8.18-1build3
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: 773
Depends: libcoq-coqprime (= 8.18-1build3), 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.18-1build3_amd64.deb
Size: 179190
MD5sum: 00b0f53ea679237930dec3f4dd1f2b4d
SHA1: fa8fd115bdc406d5684dcc3323e74bcb70e81174
SHA256: 4d184e5ac3374ba61e1be6c5d42b6b596273ce6477f78dab8af10f538cf65ea6
SHA512: ebb65d9069ad2c4baacd566a759d9718aa9cf4b673172f864f9aaa2ddecfc0431a22f33107e9bf6f5a543bd338f7b31a4c3553dba0249a5b39f1be55e8d5f1a0
Homepage: https://github.com/thery/coqprime
Description: Primality certification for Coq (tools)
Description-md5: 4282c65e7beec6bbf7b85c3bb7bc25ed