libcoq-relation-algebra (1.7.11-1build14)

Details

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

Byte sizes and integrity verification
Installed size: 7.8 kB
Size expected: 2.4 MB
Size actual: 2.4 MB
Size match
Dependencies

Required package dependencies
libcoq-aac-tactics-w1oh3
libcoq-mathcomp-ssreflect-bqio0
libcoq-stdlib-sbhb9
Suggested packages

Recommended additional packages
None
Description

relation algebra for Coq
Homepage Download .deb
Checksums

Hash values and integrity verification status
Type	Expected	Actual
MD5	6eb7de9b…f109822b	6eb7de9b…f109822b
SHA-1	dfc3f2e1…deab76bb	dfc3f2e1…deab76bb
SHA-256	a271de68…dc99031b	a271de68…dc99031b
SHA-512	7ec1c15a…3f5f2bc7	7ec1c15a…3f5f2bc7
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/RelationAlgebra
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/all.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/all.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/all.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/atoms.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/atoms.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/atoms.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/bmx.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/bmx.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/bmx.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/boolean.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/boolean.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/boolean.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/common.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/common.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/common.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/comparisons.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/comparisons.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/comparisons.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/denum.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/denum.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/denum.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/dfa.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/dfa.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/dfa.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/factors.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/factors.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/factors.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/fhrel.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/fhrel.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/fhrel.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/glang.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/glang.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/glang.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/gregex.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/gregex.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/gregex.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ka_completeness.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ka_completeness.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ka_completeness.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_completeness.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_completeness.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_completeness.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_reification.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_reification.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_reification.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_tac.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_tac.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_tac.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_untyping.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_untyping.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kat_untyping.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kleene.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kleene.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/kleene.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lang.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lang.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lang.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lattice.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lattice.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lattice.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/level.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/level.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/level.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lset.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lset.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lset.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lsyntax.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lsyntax.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/lsyntax.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/matrix.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/matrix.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/matrix.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/matrix_ext.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/matrix_ext.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/matrix_ext.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/monoid.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/monoid.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/monoid.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/move.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/move.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/move.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/nfa.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/nfa.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/nfa.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/normalisation.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/normalisation.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/normalisation.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ordinal.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ordinal.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ordinal.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_fold.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_kat.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_mrewrite.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_reification.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/pair.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/pair.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/pair.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/plugins.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/positives.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/positives.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/positives.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/powerfix.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/powerfix.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/powerfix.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/prop.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/prop.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/prop.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/regex.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/regex.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/regex.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rel.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rel.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rel.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/relalg.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/relalg.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/relalg.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rewriting.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rewriting.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rewriting.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rewriting_aac.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rewriting_aac.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rewriting_aac.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rmx.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rmx.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/rmx.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/srel.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/srel.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/srel.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/sums.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/sums.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/sums.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/sups.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/sups.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/sups.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/syntax.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/syntax.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/syntax.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/traces.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/traces.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/traces.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ugregex.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ugregex.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ugregex.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ugregex_dec.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ugregex_dec.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/ugregex_dec.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/untyping.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/untyping.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/untyping.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/META
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmxs
usr/share
usr/share/doc
usr/share/doc/libcoq-relation-algebra
usr/share/doc/libcoq-relation-algebra/changelog.Debian.gz
usr/share/doc/libcoq-relation-algebra/copyright
usr/share/lintian
usr/share/lintian/overrides
usr/share/lintian/overrides/libcoq-relation-algebra
var
var/lib
var/lib/coq
var/lib/coq/md5sums
var/lib/coq/md5sums/libcoq-relation-algebra.checksum