» Ubuntu » Packages » Package Search Results

Search in specific suite: [xenial] [xenial-updates] [xenial-backports] [bionic] [bionic-updates] [bionic-backports] [cosmic] [cosmic-updates] [cosmic-backports] [disco] [disco-updates] [disco-backports] [eoan]

Limit search to a specific architecture: [i386] [amd64] [powerpc] [arm64] [armhf] [ppc64el] [s390x]

You have searched for packages that names contain coq in all suites, all sections, and all architectures. Found 16 matching packages.

Exact hits

Package coq

Other hits

Package coq-doc

Package coq-doc-html

Package coq-doc-pdf

Package coq-highschoolgeometry

Package coq-theories

Package coqide

Package coquelicot

Package libaac-tactics-coq

Package libcoq-ocaml

Package libcoq-ocaml-dev

Package libfloat-coq

Package libmathcomp-coq

Package libssreflect-coq

Package libwhy-coq

Package why3-coq