Package - libcoq-bignums

Package:  libcoq-bignums
apt-get install libcoq-bignums
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq-bignums/libcoq-bignums_9.0.0+coq8.20-1+b9_amd64.deb (Size: 1.8MiB)

PropertyValue
Packagelibcoq-bignums
Sourcecoq-bignums (9.0.0+coq8.20-1)
Version9.0.0+coq8.20-1+b9
Installed-Size7601
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-bignums-9bm26
Dependslibcoq-stdlib-68yx1
DescriptionCoq library for big numbers
Description-md55661a9f2f00d0c1dc7e8cc4889e2dfa1
Homepagehttps://github.com/coq-community/bignums
Sectionocaml
Priorityoptional
Filenamepool/main/c/coq-bignums/libcoq-bignums_9.0.0+coq8.20-1+b9_amd64.deb
Size1914184
MD5sumf466b5c74e2f1d1afec31318eb7d4086
SHA2568b865be6cbd941713a621c0b08fa461dd9850374cf28bf28871b40eef1bc90e8

Files in package

  • /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.amd64.gz
  • /usr/share/doc/libcoq-bignums/changelog.Debian.gz
  • /usr/share/doc/libcoq-bignums/changelog.gz
  • /usr/share/doc/libcoq-bignums/copyright
  • /usr/share/lintian/overrides/libcoq-bignums
  • /var/lib/coq/md5sums/libcoq-bignums.checksum