Package - libcoq-relation-algebra
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq-relation-algebra/libcoq-relation-algebra_1.7.11-1+b7_amd64.deb (Size: 2.0MiB)| Property | Value |
|---|---|
| Package | libcoq-relation-algebra |
| Source | coq-relation-algebra (1.7.11-1) |
| Version | 1.7.11-1+b7 |
| Installed-Size | 7789 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-relation-algebra-taq49 |
| Depends | libcoq-aac-tactics-vkvl8, libcoq-mathcomp-ssreflect-08jv4, libcoq-stdlib-68yx1 |
| Description | relation algebra for Coq |
| Description-md5 | a765dff0adbfdc3fa06433e9a1b8f624 |
| Homepage | https://github.com/damien-pous/relation-algebra |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coq-relation-algebra/libcoq-relation-algebra_1.7.11-1+b7_amd64.deb |
| Size | 2083588 |
| MD5sum | c613e1bb8e66ccaedecebe288f848c6f |
| SHA256 | 06e616eb8b7b42ee89c0d852363a23ec6cbc2c1d6552b1a559c49df466278a49 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_fold.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_fold.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_fold.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_fold.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_kat.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_kat.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_kat.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_kat.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_mrewrite.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_mrewrite.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_mrewrite.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_mrewrite.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_reification.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_reification.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_reification.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_reification.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/plugins.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/plugins.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/plugins.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/plugins.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/all.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/all.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/all.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/atoms.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/atoms.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/atoms.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/bmx.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/bmx.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/bmx.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/boolean.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/boolean.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/boolean.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/common.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/common.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/common.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/comparisons.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/comparisons.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/comparisons.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/denum.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/denum.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/denum.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/dfa.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/dfa.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/dfa.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/factors.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/factors.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/factors.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/fhrel.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/fhrel.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/fhrel.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/glang.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/glang.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/glang.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/gregex.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/gregex.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/gregex.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/ka_completeness.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/ka_completeness.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/ka_completeness.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat_completeness.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat_completeness.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat_completeness.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat_reification.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat_reification.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat_reification.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat_tac.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat_tac.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat_tac.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat_untyping.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat_untyping.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kat_untyping.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kleene.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kleene.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/kleene.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/lang.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/lang.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/lang.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/lattice.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/lattice.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/lattice.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/level.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/level.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/level.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/lset.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/lset.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/lset.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/lsyntax.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/lsyntax.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/lsyntax.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/matrix.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/matrix.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/matrix.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/matrix_ext.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/matrix_ext.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/matrix_ext.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/monoid.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/monoid.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/monoid.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/move.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/move.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/move.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/nfa.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/nfa.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/nfa.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/normalisation.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/normalisation.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/normalisation.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/ordinal.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/ordinal.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/ordinal.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/packed_fold.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/packed_kat.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/packed_mrewrite.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/packed_reification.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/pair.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/pair.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/pair.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/plugins.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/positives.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/positives.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/positives.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/powerfix.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/powerfix.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/powerfix.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/prop.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/prop.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/prop.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/regex.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/regex.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/regex.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/rel.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/rel.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/rel.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/relalg.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/relalg.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/relalg.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/rewriting.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/rewriting.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/rewriting.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/rewriting_aac.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/rewriting_aac.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/rewriting_aac.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/rmx.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/rmx.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/rmx.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/srel.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/srel.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/srel.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/sums.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/sums.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/sums.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/sups.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/sups.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/sups.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/syntax.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/syntax.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/syntax.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/traces.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/traces.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/traces.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/ugregex.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/ugregex.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/ugregex.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/ugregex_dec.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/ugregex_dec.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/ugregex_dec.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/untyping.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/untyping.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RelationAlgebra/untyping.vo
- /usr/share/doc/libcoq-relation-algebra/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-relation-algebra/changelog.Debian.gz
- /usr/share/doc/libcoq-relation-algebra/changelog.gz
- /usr/share/doc/libcoq-relation-algebra/copyright
- /usr/share/lintian/overrides/libcoq-relation-algebra
- /var/lib/coq/md5sums/libcoq-relation-algebra.checksum