Package - libcoq-coqprime
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coqprime/libcoq-coqprime_8.20.1-1+b4_amd64.deb (Size: 1.7MiB)| Property | Value |
|---|---|
| Package | libcoq-coqprime |
| Source | coqprime (8.20.1-1) |
| Version | 8.20.1-1+b4 |
| Installed-Size | 6567 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-coqprime-jphw5 |
| Depends | libcoq-bignums-9bm26, libcoq-stdlib-68yx1 |
| Description | Primality certification for Coq (library) |
| Description-md5 | da1b9b42420ecfd09f7f3a29f0af36c8 |
| Homepage | https://github.com/thery/coqprime |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coqprime/libcoq-coqprime_8.20.1-1+b4_amd64.deb |
| Size | 1778836 |
| MD5sum | 983c5fe4cc4c52b83a6f61135286914f |
| SHA256 | c60ce9a029173048231186ee95d0652fa1c951b786b10ed9b23eb0684e0f1d50 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Iterator.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Iterator.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Iterator.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ListAux.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ListAux.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ListAux.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Permutation.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Permutation.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/Permutation.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/UList.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/UList.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/UList.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ZProgression.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ZProgression.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/List/ZProgression.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/ChineseRem.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/ChineseRem.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/ChineseRem.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/NatAux.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/NatAux.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/N/NatAux.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Root.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Root.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Root.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Tactic/Tactic.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Tactic/Tactic.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Tactic/Tactic.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Pmod.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Pmod.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Pmod.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Ppow.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Ppow.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Ppow.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCAux.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCAux.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCAux.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCmisc.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCmisc.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZCmisc.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZSum.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZSum.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/ZSum.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Zmod.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Zmod.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/Z/Zmod.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/GZnZ.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/GZnZ.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/GZnZ.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/SMain.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/SMain.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/SMain.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/ZEll.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/ZEll.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/elliptic/ZEll.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Bits.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Bits.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Bits.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Int63Compat.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Int63Compat.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Int63Compat.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Lucas.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Lucas.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Lucas.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/MEll.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/MEll.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/MEll.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Mod_op.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Mod_op.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Mod_op.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/NEll.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/NEll.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/NEll.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Pock.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Pock.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/Pock.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/W.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/W.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/W.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/montgomery.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/montgomery.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Coqprime/num/montgomery.vo
- /usr/share/doc/libcoq-coqprime/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-coqprime/changelog.Debian.gz
- /usr/share/doc/libcoq-coqprime/copyright
- /var/lib/coq/md5sums/libcoq-coqprime.checksum