Package - libcoq-stdpp
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq-stdpp/libcoq-stdpp_1.11.0-1+b6_amd64.deb (Size: 4.6MiB)| Property | Value |
|---|---|
| Package | libcoq-stdpp |
| Source | coq-stdpp (1.11.0-1) |
| Version | 1.11.0-1+b6 |
| Installed-Size | 17027 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-stdpp-yzya5 |
| Depends | libcoq-stdlib-68yx1 |
| Description | Extended standard library for Coq |
| Description-md5 | 64f44b23554299b788dfa292c534d7fc |
| Homepage | https://gitlab.mpi-sws.org/iris/stdpp |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coq-stdpp/libcoq-stdpp_1.11.0-1+b6_amd64.deb |
| Size | 4873632 |
| MD5sum | 16bfe4957687c902fcd16b13dbd0ed07 |
| SHA256 | d17524a80ef17dec14ff5e5a0532b39b68f79e67408153cdc5a743b985c43989 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/base.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/base.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/base.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/binders.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/binders.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/binders.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/bitvector/bitvector.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/bitvector/bitvector.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/bitvector/bitvector.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/bitvector/definitions.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/bitvector/definitions.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/bitvector/definitions.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/bitvector/tactics.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/bitvector/tactics.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/bitvector/tactics.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/boolset.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/boolset.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/boolset.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/coGset.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/coGset.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/coGset.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/coPset.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/coPset.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/coPset.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/countable.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/countable.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/countable.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/decidable.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/decidable.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/decidable.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/fin.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/fin.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/fin.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/fin_map_dom.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/fin_map_dom.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/fin_map_dom.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/fin_maps.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/fin_maps.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/fin_maps.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/fin_sets.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/fin_sets.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/fin_sets.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/finite.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/finite.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/finite.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/functions.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/functions.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/functions.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/gmap.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/gmap.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/gmap.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/gmultiset.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/gmultiset.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/gmultiset.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/hashset.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/hashset.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/hashset.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/hlist.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/hlist.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/hlist.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/infinite.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/infinite.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/infinite.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/lexico.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/lexico.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/lexico.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/list.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/list.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/list.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/list_numbers.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/list_numbers.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/list_numbers.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/listset.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/listset.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/listset.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/listset_nodup.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/listset_nodup.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/listset_nodup.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/mapset.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/mapset.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/mapset.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/namespaces.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/namespaces.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/namespaces.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/nat_cancel.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/nat_cancel.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/nat_cancel.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/natmap.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/natmap.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/natmap.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/nmap.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/nmap.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/nmap.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/numbers.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/numbers.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/numbers.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/option.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/option.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/option.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/options.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/options.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/options.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/orders.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/orders.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/orders.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/pmap.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/pmap.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/pmap.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/prelude.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/prelude.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/prelude.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/pretty.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/pretty.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/pretty.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/proof_irrel.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/proof_irrel.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/proof_irrel.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/propset.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/propset.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/propset.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/relations.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/relations.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/relations.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/sets.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/sets.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/sets.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/sorting.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/sorting.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/sorting.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/ssreflect.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/ssreflect.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/ssreflect.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/streams.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/streams.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/streams.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/stringmap.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/stringmap.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/stringmap.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/strings.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/strings.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/strings.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/tactics.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/tactics.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/tactics.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/telescopes.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/telescopes.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/telescopes.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/unstable/bitblast.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/unstable/bitblast.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/unstable/bitblast.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/vector.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/vector.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/vector.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/well_founded.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/well_founded.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/well_founded.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/zmap.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/zmap.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/stdpp/zmap.vo
- /usr/share/doc/libcoq-stdpp/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-stdpp/changelog.Debian.gz
- /usr/share/doc/libcoq-stdpp/changelog.gz
- /usr/share/doc/libcoq-stdpp/copyright
- /var/lib/coq/md5sums/libcoq-stdpp.checksum