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: amd64
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-83lq0

Suggested packages

Recommended additional packages

None

Description

Coq library for big numbers

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	c57abb7c…1f5ef2c1	c57abb7c…1f5ef2c1
SHA-1	0ad7c9b9…9ae404e5	0ad7c9b9…9ae404e5
SHA-256	915b7472…88fc712e	915b7472…88fc712e
SHA-512	ffea129a…1e6b1152	ffea129a…1e6b1152

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