Software catalogue for Debian - page 879

coq-math-classes (Debian package) coq-menhirlib (Debian package) coq-mtac2 (Debian package) coq-quickchick (Debian package) coq-record-update (Debian package) coq-reduction-effects (Debian package) coq-reglang (Debian package) coq-relation-algebra (Debian package) coq-serapi (Debian package) coq-simple-io (Debian package)

coq-stdpp (Debian package) coq-theories (Debian package) coq-theories-dbgsym (Debian package) coq-unicoq (Debian package) coq-unimath (Debian package) coq7-libs (Debian package) coqeal (Debian package) coqide (Debian package) coqide-dbgsym (Debian package) coqprime (Debian package)