Software catalogue for Canonical Ltd. - page 589

coq-ext-lib (Ubuntu package) coq-extructures (Ubuntu package) coq-float (Ubuntu package) coq-gappa (Ubuntu package) coq-hammer (Ubuntu package) coq-hierarchy-builder (Ubuntu package) coq-highschoolgeometry (Ubuntu package) coq-hott (Ubuntu package) coq-interval (Ubuntu package) coq-iris (Ubuntu package)

coq-libhyps (Ubuntu package) coq-math-classes (Ubuntu package) coq-menhirlib (Ubuntu package) coq-mtac2 (Ubuntu package) coq-quickchick (Ubuntu package) coq-record-update (Ubuntu package) coq-reduction-effects (Ubuntu package) coq-reglang (Ubuntu package) coq-relation-algebra (Ubuntu package) coq-serapi (Ubuntu package)