libcoq-stdpp (1.11.0-1build8)

Details

Core information at a glance
Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: stonking
Component: universe
Source: coq-stdpp
Architecture: amd64
Section: universe/ocaml
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>
Size & integrity

Byte sizes and integrity verification
Installed size: 17 kB
Size expected: 5.6 MB
Size actual: 5.6 MB
Size match
Dependencies

Required package dependencies
libcoq-stdlib-83lq0
Suggested packages

Recommended additional packages
None
Description

Extended standard library for Coq
Homepage Download .deb
Checksums

Hash values and integrity verification status
Type	Expected	Actual
MD5	340420e0…3e8edec1	340420e0…3e8edec1
SHA-1	68db9e20…509790bc	68db9e20…509790bc
SHA-256	998d718d…7995e325	998d718d…7995e325
SHA-512	be79f210…636cff7e	be79f210…636cff7e
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/stdpp
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/base.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/base.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/base.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/binders.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/binders.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/binders.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/bitvector
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/bitvector/bitvector.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/bitvector/bitvector.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/bitvector/bitvector.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/bitvector/definitions.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/bitvector/definitions.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/bitvector/definitions.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/bitvector/tactics.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/bitvector/tactics.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/bitvector/tactics.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/boolset.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/boolset.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/boolset.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/coGset.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/coGset.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/coGset.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/coPset.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/coPset.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/coPset.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/countable.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/countable.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/countable.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/decidable.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/decidable.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/decidable.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/fin.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/fin.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/fin.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/fin_map_dom.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/fin_map_dom.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/fin_map_dom.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/fin_maps.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/fin_maps.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/fin_maps.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/fin_sets.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/fin_sets.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/fin_sets.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/finite.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/finite.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/finite.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/functions.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/functions.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/functions.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/gmap.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/gmap.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/gmap.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/gmultiset.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/gmultiset.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/gmultiset.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/hashset.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/hashset.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/hashset.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/hlist.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/hlist.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/hlist.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/infinite.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/infinite.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/infinite.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/lexico.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/lexico.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/lexico.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/list.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/list.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/list.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/list_numbers.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/list_numbers.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/list_numbers.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/listset.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/listset.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/listset.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/listset_nodup.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/listset_nodup.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/listset_nodup.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/mapset.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/mapset.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/mapset.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/namespaces.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/namespaces.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/namespaces.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/nat_cancel.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/nat_cancel.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/nat_cancel.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/natmap.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/natmap.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/natmap.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/nmap.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/nmap.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/nmap.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/numbers.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/numbers.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/numbers.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/option.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/option.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/option.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/options.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/options.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/options.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/orders.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/orders.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/orders.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/pmap.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/pmap.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/pmap.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/prelude.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/prelude.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/prelude.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/pretty.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/pretty.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/pretty.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/proof_irrel.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/proof_irrel.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/proof_irrel.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/propset.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/propset.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/propset.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/relations.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/relations.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/relations.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/sets.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/sets.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/sets.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/sorting.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/sorting.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/sorting.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/ssreflect.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/ssreflect.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/ssreflect.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/streams.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/streams.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/streams.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/stringmap.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/stringmap.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/stringmap.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/strings.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/strings.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/strings.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/tactics.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/tactics.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/tactics.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/telescopes.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/telescopes.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/telescopes.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/unstable
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/unstable/bitblast.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/unstable/bitblast.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/unstable/bitblast.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/vector.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/vector.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/vector.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/well_founded.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/well_founded.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/well_founded.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/zmap.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/zmap.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/stdpp/zmap.vo
usr/share
usr/share/doc
usr/share/doc/libcoq-stdpp
usr/share/doc/libcoq-stdpp/changelog.Debian.gz
usr/share/doc/libcoq-stdpp/copyright
var
var/lib
var/lib/coq
var/lib/coq/md5sums
var/lib/coq/md5sums/libcoq-stdpp.checksum