» Ubuntu » Packages » Package Search Results

Search in specific suite: [focal] [focal-updates] [focal-backports] [jammy] [jammy-updates] [jammy-backports] [lunar] [lunar-updates] [lunar-backports] [mantic] [mantic-updates] [mantic-backports] [noble]

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

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

Exact hits

Package coq

Other hits

Package coq-doc

Package coq-doc-html

Package coq-doc-pdf

Package coq-dpdgraph-tools

Package coq-hierarchy-builder

Package coq-theories

Package coqide

Package coqprime-tools

Package debian-coq-tools

Package dh-coq

Package libaac-tactics-coq

Package libcoq-aac-tactics

Package libcoq-bignums

Package libcoq-coqeal

Package libcoq-coqprime

Package libcoq-coquelicot

Package libcoq-core-ocaml

Package libcoq-core-ocaml-dev

Package libcoq-corn

Package libcoq-deriving

Package libcoq-dpdgraph

Package libcoq-elpi

Package libcoq-elpi-ocaml

Package libcoq-elpi-ocaml-dev

Package libcoq-equations

Package libcoq-ext-lib

Package libcoq-extructures

Package libcoq-flocq

Package libcoq-gappa

Package libcoq-hammer

Package libcoq-hierarchy-builder

Package libcoq-hott

Package libcoq-interval

Package libcoq-iris

Package libcoq-libhyps

Package libcoq-math-classes

Package libcoq-mathcomp

Package libcoq-mathcomp-abel

Package libcoq-mathcomp-algebra

Package libcoq-mathcomp-algebra-tactics

Package libcoq-mathcomp-analysis

Package libcoq-mathcomp-bigenough

Package libcoq-mathcomp-character

Package libcoq-mathcomp-classical

Package libcoq-mathcomp-field

Package libcoq-mathcomp-fingroup

Package libcoq-mathcomp-finmap

Package libcoq-mathcomp-multinomials

Package libcoq-mathcomp-real-closed

Package libcoq-mathcomp-solvable

Package libcoq-mathcomp-ssreflect

Package libcoq-mathcomp-zify

Package libcoq-menhirlib

Package libcoq-mtac2

Package libcoq-ocaml

Package libcoq-ocaml-dev

Package libcoq-ott

Package libcoq-paramcoq

Package libcoq-quickchick

Package libcoq-record-update

Package libcoq-reduction-effects

Package libcoq-reglang

Package libcoq-relation-algebra

Package libcoq-simple-io

Package libcoq-stdlib

Package libcoq-stdpp

Package libcoq-unicoq

Package libcoq-unimath

Package libfloat-coq

Package libssreflect-coq

Package pycoqc

Package why3-coq