» Ubuntu » Pakketten » Package Search Results

IN een specifieke suite zoeken: [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 pakketten that names contain coq in alle suites, alle secties, and alle platforms. Found 73 matching packages.

Exacte resultaten

Pakket coq

Overige resultaten

Pakket coq-doc

Pakket coq-doc-html

Pakket coq-doc-pdf

Pakket coq-dpdgraph-tools

Pakket coq-hierarchy-builder

Pakket coq-theories

Pakket coqide

Pakket coqprime-tools

Pakket debian-coq-tools

Pakket dh-coq

Pakket libaac-tactics-coq

Pakket libcoq-aac-tactics

Pakket libcoq-bignums

Pakket libcoq-coqeal

Pakket libcoq-coqprime

Pakket libcoq-coquelicot

Pakket libcoq-core-ocaml

Pakket libcoq-core-ocaml-dev

Pakket libcoq-corn

Pakket libcoq-deriving

Pakket libcoq-dpdgraph

Pakket libcoq-elpi

Pakket libcoq-elpi-ocaml

Pakket libcoq-elpi-ocaml-dev

Pakket libcoq-equations

Pakket libcoq-ext-lib

Pakket libcoq-extructures

Pakket libcoq-flocq

Pakket libcoq-gappa

Pakket libcoq-hammer

Pakket libcoq-hierarchy-builder

Pakket libcoq-hott

Pakket libcoq-interval

Pakket libcoq-iris

Pakket libcoq-libhyps

Pakket libcoq-math-classes

Pakket libcoq-mathcomp

Pakket libcoq-mathcomp-abel

Pakket libcoq-mathcomp-algebra

Pakket libcoq-mathcomp-algebra-tactics

Pakket libcoq-mathcomp-analysis

Pakket libcoq-mathcomp-bigenough

Pakket libcoq-mathcomp-character

Pakket libcoq-mathcomp-classical

Pakket libcoq-mathcomp-field

Pakket libcoq-mathcomp-fingroup

Pakket libcoq-mathcomp-finmap

Pakket libcoq-mathcomp-multinomials

Pakket libcoq-mathcomp-real-closed

Pakket libcoq-mathcomp-solvable

Pakket libcoq-mathcomp-ssreflect

Pakket libcoq-mathcomp-zify

Pakket libcoq-menhirlib

Pakket libcoq-mtac2

Pakket libcoq-ocaml

Pakket libcoq-ocaml-dev

Pakket libcoq-ott

Pakket libcoq-paramcoq

Pakket libcoq-quickchick

Pakket libcoq-record-update

Pakket libcoq-reduction-effects

Pakket libcoq-reglang

Pakket libcoq-relation-algebra

Pakket libcoq-simple-io

Pakket libcoq-stdlib

Pakket libcoq-stdpp

Pakket libcoq-unicoq

Pakket libcoq-unimath

Pakket libfloat-coq

Pakket libssreflect-coq

Pakket pycoqc

Pakket why3-coq