libcoq-coqprime (8.20.1-1build8)

Details

Core information at a glance
Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://ports.ubuntu.com
Codename: stonking
Component: universe
Source: coqprime
Architecture: s390x
Section: universe/ocaml
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>
Size & integrity

Byte sizes and integrity verification
Installed size: 6.6 kB
Size expected: 2.1 MB
Size actual: 2.1 MB
Size match
Dependencies

Required package dependencies
libcoq-bignums-1ge17
libcoq-stdlib-j7um9
Suggested packages

Recommended additional packages
None
Description

Primality certification for Coq (library)
Homepage Download .deb
Checksums

Hash values and integrity verification status
Type	Expected	Actual
MD5	8d83dbf8…463ce8b3	8d83dbf8…463ce8b3
SHA-1	93f51f1a…1cb4902a	93f51f1a…1cb4902a
SHA-256	836535e0…f977259f	836535e0…f977259f
SHA-512	5af11892…0549f4e2	5af11892…0549f4e2
Files and directories included
.
usr
usr/lib
usr/lib/s390x-linux-gnu
usr/lib/s390x-linux-gnu/ocaml
usr/lib/s390x-linux-gnu/ocaml/5.4.0
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/Iterator.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/Iterator.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/Iterator.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/ListAux.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/ListAux.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/ListAux.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/Permutation.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/Permutation.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/Permutation.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/UList.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/UList.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/UList.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/ZProgression.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/ZProgression.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/ZProgression.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N/ChineseRem.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N/ChineseRem.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N/ChineseRem.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N/NatAux.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N/NatAux.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N/NatAux.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Root.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Root.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Root.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Tactic
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Tactic/Tactic.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Tactic/Tactic.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Tactic/Tactic.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Pmod.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Pmod.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Pmod.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Ppow.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Ppow.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Ppow.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZCAux.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZCAux.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZCAux.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZCmisc.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZCmisc.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZCmisc.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZSum.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZSum.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZSum.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Zmod.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Zmod.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Zmod.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/GZnZ.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/GZnZ.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/GZnZ.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/SMain.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/SMain.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/SMain.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/ZEll.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/ZEll.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/ZEll.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Bits.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Bits.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Bits.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Int63Compat.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Int63Compat.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Int63Compat.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Lucas.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Lucas.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Lucas.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/MEll.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/MEll.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/MEll.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Mod_op.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Mod_op.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Mod_op.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/NEll.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/NEll.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/NEll.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Pock.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Pock.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Pock.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/W.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/W.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/W.vo
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/montgomery.glob
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/montgomery.v
usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/montgomery.vo
usr/share
usr/share/doc
usr/share/doc/libcoq-coqprime
usr/share/doc/libcoq-coqprime/changelog.Debian.gz
usr/share/doc/libcoq-coqprime/copyright
var
var/lib
var/lib/coq
var/lib/coq/md5sums
var/lib/coq/md5sums/libcoq-coqprime.checksum