libcoq-bignums (9.0.0+coq8.20-1build12)

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-stonking
Repository
https://nl.archive.ubuntu.com/ubuntu
Codename
stonking
Component
universe
Source
coq-bignums
Architecture
amd64v3
Section
universe/ocaml
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
7.6 kB
Size expected
2.2 MB
Size actual
2.2 MB
Size match

Dependencies

Required package dependencies

  • libcoq-stdlib-sbhb9

Suggested packages

Recommended additional packages

  • None

Description

Coq library for big numbers

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5ad94e823…8eb90e41
SHA-19d031e32…06b49035
SHA-25648ad8ed5…04382808
SHA-5124c877603…d973fcff

Contents

Files and directories included

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