Package: coqprime-tools
Architecture: amd64
Version: 8.17-1build1
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: 760
Depends: libcoq-coqprime (= 8.17-1build1), ocaml-base-nox | ocaml-base, libc6 (>= 2.34), libecm1 (>= 7.0.5+ds), libgmp10 (>= 2:6.2.1+dfsg1)
Filename: pool/universe/c/coqprime/coqprime-tools_8.17-1build1_amd64.deb
Size: 176548
MD5sum: 03c14d5324caf080085113f34f2507be
SHA1: 01b92e45c88bfdabcc2f0a10fc0138e10d511c59
SHA256: c0964f771d4ec2b3f067eb1903d7bfd5938e98e8018983281495627a2d06bdb3
SHA512: 4d8af779fc724088276138830e8c01021f62932790f6a9006cf4f55961605530473caf35d15301fbe5220c3e339a7206fb28ccc427b7824f9890c4d15d058520
Homepage: https://github.com/thery/coqprime
Description: Primality certification for Coq (tools)
Description-md5: 4282c65e7beec6bbf7b85c3bb7bc25ed