Package - coqprime-tools
Package: coqprime-tools
apt-get install coqprime-tools
apt-get install coqprime-tools
Manuals in package:
Documentations in package:
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coqprime/coqprime-tools_8.20.1-1+b4_amd64.deb (Size: 139.9KiB)| Property | Value |
|---|---|
| Package | coqprime-tools |
| Source | coqprime (8.20.1-1) |
| Version | 8.20.1-1+b4 |
| Installed-Size | 824 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Depends | libcoq-coqprime (= 8.20.1-1+b4), ocaml-base-nox | ocaml-base, libc6 (>= 2.34), libecm1 (>= 7.0.6+ds), libgmp10 (>= 2:6.3.0+dfsg) |
| Description | Primality certification for Coq (tools) |
| Description-md5 | 4282c65e7beec6bbf7b85c3bb7bc25ed |
| Homepage | https://github.com/thery/coqprime |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coqprime/coqprime-tools_8.20.1-1+b4_amd64.deb |
| Size | 143284 |
| MD5sum | 72bd3f58ce845f976462dfa242732c38 |
| SHA256 | beabc54149722859ee9ff04c6d5e720672cf2fc761779bdeb2068ee1a7c7efa9 |
Files in package
- /usr/bin/firstprimes
- /usr/bin/o2v
- /usr/bin/pocklington
- /usr/share/doc/coqprime-tools/changelog.Debian.amd64.gz
- /usr/share/doc/coqprime-tools/changelog.Debian.gz
- /usr/share/doc/coqprime-tools/copyright
- /usr/share/man/man1/firstprimes.1.gz
- /usr/share/man/man1/o2v.1.gz
- /usr/share/man/man1/pocklington.1.gz