libcoq-coqprime (8.20.1-1build8)

.
usr
usr/lib
usr/lib/powerpc64le-linux-gnu
usr/lib/powerpc64le-linux-gnu/ocaml
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/Iterator.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/Iterator.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/Iterator.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/ListAux.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/ListAux.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/ListAux.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/Permutation.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/Permutation.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/Permutation.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/UList.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/UList.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/UList.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/ZProgression.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/ZProgression.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/List/ZProgression.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N/ChineseRem.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N/ChineseRem.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N/ChineseRem.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N/NatAux.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N/NatAux.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/N/NatAux.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/EGroup.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Euler.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/FGroup.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/IGroup.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/PGroup.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Pepin.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Proth.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Root.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Root.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Root.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/PrimalityTest/Zp.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Tactic
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Tactic/Tactic.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Tactic/Tactic.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Tactic/Tactic.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Pmod.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Pmod.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Pmod.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Ppow.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Ppow.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Ppow.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZCAux.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZCAux.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZCAux.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZCmisc.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZCmisc.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZCmisc.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZSum.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZSum.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/ZSum.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Zmod.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Zmod.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/Z/Zmod.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/GZnZ.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/GZnZ.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/GZnZ.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/SMain.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/SMain.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/SMain.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/ZEll.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/ZEll.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/elliptic/ZEll.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Bits.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Bits.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Bits.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Int63Compat.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Int63Compat.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Int63Compat.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Lucas.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Lucas.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Lucas.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/MEll.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/MEll.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/MEll.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Mod_op.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Mod_op.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Mod_op.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/NEll.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/NEll.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/NEll.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Pock.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Pock.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/Pock.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/W.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/W.v
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/W.vo
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/montgomery.glob
usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/Coqprime/num/montgomery.v
usr/lib/powerpc64le-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