File list of package libcoq-bignums in questing of architecture amd64

/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums/META
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmxa
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/BigN.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/BigN.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/BigN.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/NMake.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/NMake.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/NMake.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/NMake_gen.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/NMake_gen.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/NMake_gen.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/Nbasic.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/Nbasic.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigN/Nbasic.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigNumPrelude.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigNumPrelude.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigNumPrelude.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigQ/BigQ.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigQ/BigQ.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigQ/BigQ.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigQ/QMake.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigQ/QMake.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigQ/QMake.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigZ/BigZ.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigZ/BigZ.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigZ/BigZ.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigZ/ZMake.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigZ/ZMake.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/BigZ/ZMake.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaQ/QSig.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaQ/QSig.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaQ/QSig.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSig.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSig.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSig.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSig.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSig.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSig.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Bignums/plugin/bignums_syntax_plugin.cmxs
/usr/share/doc/libcoq-bignums/changelog.Debian.gz
/usr/share/doc/libcoq-bignums/copyright
/usr/share/lintian/overrides/libcoq-bignums
/var/lib/coq/md5sums/libcoq-bignums.checksum