Ubuntu – Резултат от търсенето на пакети -- coq

» Ubuntu » Пакети » Резултат от търсенето на пакети

Търсене в конкретна дистрибуция: [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]

Търсене за пакети, чиито имена съдържат coq в всички дистрибуции, всички раздели и всички архитектури. Намерени са 73 пакета.

Точни попадения

Пакет coq

focal (20.04LTS) (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
8.11.0-1: amd64 arm64 ppc64el
jammy (22.04LTS) (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
8.15.0+dfsg-2: amd64 arm64 armhf ppc64el riscv64 s390x
lunar (23.04) (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
8.16.1+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
8.17.0+dfsg-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
8.18.0+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x

Други резултати

Пакет coq-doc

focal (20.04LTS) (doc): documentation for Coq [multiverse]
8.6-1: all
jammy (22.04LTS) (doc): documentation for Coq [multiverse]
8.15.0-3: all
lunar (23.04) (doc): documentation for Coq [multiverse]
8.16.1-1: all
mantic (23.10) (doc): documentation for Coq [multiverse]
8.17.1-1: all
noble (doc): documentation for Coq [multiverse]
8.18.0-1: all

Пакет coq-doc-html

focal (20.04LTS) (doc): documentation for Coq in html format [multiverse]
8.6-1: all
jammy (22.04LTS) (doc): documentation for Coq in html format [multiverse]
8.15.0-3: all
lunar (23.04) (doc): documentation for Coq in html format [multiverse]
8.16.1-1: all
mantic (23.10) (doc): documentation for Coq in html format [multiverse]
8.17.1-1: all
noble (doc): documentation for Coq in html format [multiverse]
8.18.0-1: all

Пакет coq-doc-pdf

focal (20.04LTS) (doc): documentation for Coq in pdf format [multiverse]
8.6-1: all
jammy (22.04LTS) (doc): documentation for Coq in pdf format [multiverse]
8.15.0-3: all
lunar (23.04) (doc): documentation for Coq in pdf format [multiverse]
8.16.1-1: all
mantic (23.10) (doc): documentation for Coq in pdf format [multiverse]
8.17.1-1: all
noble (doc): documentation for Coq in pdf format [multiverse]
8.18.0-1: all

Пакет coq-dpdgraph-tools

lunar (23.04) (ocaml): Coq plugin to extract dependencies between Coq objects (tools) [universe]
1.0+8.16-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Coq plugin to extract dependencies between Coq objects (tools) [universe]
1.0+8.17-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Coq plugin to extract dependencies between Coq objects (tools) [universe]
1.0+8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет coq-hierarchy-builder

jammy (22.04LTS) (ocaml): build hierarchies of algebraic structures in Coq (tool) [universe]
1.2.1-2: amd64 arm64 armhf ppc64el riscv64
lunar (23.04) (ocaml): build hierarchies of algebraic structures in Coq (tool) [universe]
1.4.0-2build3: amd64 arm64 ppc64el riscv64
mantic (23.10) (ocaml): build hierarchies of algebraic structures in Coq (tool) [universe]
1.4.0-6build5: amd64 arm64 ppc64el riscv64
noble (ocaml): build hierarchies of algebraic structures in Coq (tool) [universe]
1.6.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет coq-theories

focal (20.04LTS) (math): proof assistant for higher-order logic (theories) [universe]
8.11.0-1: amd64 arm64 ppc64el

Пакет coqide

focal (20.04LTS) (math): proof assistant for higher-order logic (gtk interface) [universe]
8.11.0-1: amd64 arm64 ppc64el
jammy (22.04LTS) (math): proof assistant for higher-order logic (gtk interface) [universe]
8.15.0+dfsg-2: amd64 arm64 armhf ppc64el riscv64 s390x
lunar (23.04) (math): proof assistant for higher-order logic (gtk interface) [universe]
8.16.1+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): proof assistant for higher-order logic (gtk interface) [universe]
8.17.0+dfsg-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): proof assistant for higher-order logic (gtk interface) [universe]
8.18.0+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет coqprime-tools

lunar (23.04) (ocaml): Primality certification for Coq (tools) [universe]
8.15-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Primality certification for Coq (tools) [universe]
8.17-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Primality certification for Coq (tools) [universe]
8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет debian-coq-tools

lunar (23.04) (ocaml): various tools to manage Coq-related Debian packages [universe]
0.5: all
mantic (23.10) (ocaml): various tools to manage Coq-related Debian packages [universe]
0.6: all
noble (ocaml): various tools to manage Coq-related Debian packages [universe]
0.8: all

Пакет dh-coq

lunar (23.04) (ocaml): debhelper tool for Coq-related Debian packages [universe]
0.5: all
mantic (23.10) (ocaml): debhelper tool for Coq-related Debian packages [universe]
0.6: all
noble (ocaml): debhelper tool for Coq-related Debian packages [universe]
0.8: all

Пакет libaac-tactics-coq

focal (20.04LTS) (math): Coq tactics for reasoning modulo AC (theories) [universe]
8.11.0-1: all
jammy (22.04LTS) (math): Coq tactics for reasoning modulo AC (theories) [universe]
8.15.0-1: all

Пакет libcoq-aac-tactics

lunar (23.04) (math): Coq tactics for reasoning modulo AC (theories) [universe]
8.17.0-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): Coq tactics for reasoning modulo AC (theories) [universe]
8.17.0-2build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): Coq tactics for reasoning modulo AC (theories) [universe]
8.18.0-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-bignums

lunar (23.04) (ocaml): Coq library for big numbers [universe]
8.17.0-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Coq library for big numbers [universe]
8.17.0-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Coq library for big numbers [universe]
9.0.0+coq8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-coqeal

lunar (23.04) (ocaml): algebra and data structure algorithms for Coq [universe]
1.1.1-3build3: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): algebra and data structure algorithms for Coq [universe]
1.1.3-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): algebra and data structure algorithms for Coq [universe]
2.0.1-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-coqprime

lunar (23.04) (ocaml): Primality certification for Coq (library) [universe]
8.15-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Primality certification for Coq (library) [universe]
8.17-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Primality certification for Coq (library) [universe]
8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-coquelicot

lunar (23.04) (ocaml): Coq library for real analysis [universe]
3.2.0-8build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Coq library for real analysis [universe]
3.3.1-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Coq library for real analysis [universe]
3.4.1-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-core-ocaml

jammy (22.04LTS) (ocaml): runtime libraries for Coq [universe]
8.15.0+dfsg-2: amd64 arm64 armhf ppc64el riscv64 s390x
lunar (23.04) (ocaml): runtime libraries for Coq [universe]
8.16.1+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): runtime libraries for Coq [universe]
8.17.0+dfsg-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): runtime libraries for Coq [universe]
8.18.0+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-core-ocaml-dev

jammy (22.04LTS) (ocaml): development libraries and tools for Coq [universe]
8.15.0+dfsg-2: amd64 arm64 armhf ppc64el riscv64 s390x
lunar (23.04) (ocaml): development libraries and tools for Coq [universe]
8.16.1+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): development libraries and tools for Coq [universe]
8.17.0+dfsg-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): development libraries and tools for Coq [universe]
8.18.0+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-corn

lunar (23.04) (ocaml): Coq Constructive Repository at Nijmegen [universe]
8.16.0-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Coq Constructive Repository at Nijmegen [universe]
8.16.0-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Coq Constructive Repository at Nijmegen [universe]
8.18.0-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-deriving

lunar (23.04) (ocaml): deriving MathComp classes from inductive types [universe]
0.1.0-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): deriving MathComp classes from inductive types [universe]
0.1.1-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): deriving MathComp classes from inductive types [universe]
0.2.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-dpdgraph

lunar (23.04) (ocaml): Coq plugin to extract dependencies between Coq objects [universe]
1.0+8.16-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Coq plugin to extract dependencies between Coq objects [universe]
1.0+8.17-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Coq plugin to extract dependencies between Coq objects [universe]
1.0+8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-elpi

lunar (23.04) (ocaml): Coq plugin embedding Elpi [universe]
1.16.0-2build1: amd64 arm64 ppc64el riscv64
mantic (23.10) (ocaml): Coq plugin embedding Elpi [universe]
1.17.1-1build8: amd64 arm64 ppc64el riscv64
noble (ocaml): Coq plugin embedding Elpi [universe]
1.19.3-2build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-elpi-ocaml

jammy (22.04LTS) (ocaml): Coq plugin embedding Elpi (runtime) [universe]
1.13.0-1: amd64 arm64 armhf ppc64el riscv64

Пакет libcoq-elpi-ocaml-dev

jammy (22.04LTS) (ocaml): Coq plugin embedding Elpi (devel) [universe]
1.13.0-1: amd64 arm64 armhf ppc64el riscv64

Пакет libcoq-equations

lunar (23.04) (ocaml): Coq library to work with functions defined by equations [universe]
1.3-8.16-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Coq library to work with functions defined by equations [universe]
1.3-8.17-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Coq library to work with functions defined by equations [universe]
1.3-8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-ext-lib

lunar (23.04) (ocaml): Collection of theories and plugins for Coq [universe]
0.11.7-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Collection of theories and plugins for Coq [universe]
0.11.8-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Collection of theories and plugins for Coq [universe]
0.12.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-extructures

lunar (23.04) (ocaml): data structures with extensional reasoning for Coq [universe]
0.3.1-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): data structures with extensional reasoning for Coq [universe]
0.3.1-4build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): data structures with extensional reasoning for Coq [universe]
0.4.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-flocq

lunar (23.04) (ocaml): Floating-point arithmetic for Coq [universe]
4.1.0-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Floating-point arithmetic for Coq [universe]
4.1.1-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Floating-point arithmetic for Coq [universe]
4.1.3-1build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-gappa

lunar (23.04) (math): Coq tactic to use Gappa for floating-point goals [universe]
1.5.2-5build1: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): Coq tactic to use Gappa for floating-point goals [universe]
1.5.3-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): Coq tactic to use Gappa for floating-point goals [universe]
1.5.4-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-hammer

lunar (23.04) (ocaml): automated reasoning tool for Coq [universe]
1.3.2+8.16-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): automated reasoning tool for Coq [universe]
1.3.2+8.17-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): automated reasoning tool for Coq [universe]
1.3.2+8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-hierarchy-builder

jammy (22.04LTS) (ocaml): build hierarchies of algebraic structures in Coq (runtime files) [universe]
1.2.1-2: amd64 arm64 armhf ppc64el riscv64
lunar (23.04) (ocaml): build hierarchies of algebraic structures in Coq (runtime files) [universe]
1.4.0-2build3: amd64 arm64 ppc64el riscv64
mantic (23.10) (ocaml): build hierarchies of algebraic structures in Coq (runtime files) [universe]
1.4.0-6build5: amd64 arm64 ppc64el riscv64
noble (ocaml): build hierarchies of algebraic structures in Coq (runtime files) [universe]
1.6.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-hott

lunar (23.04) (ocaml): Coq library for homotopy type theory [universe]
8.16-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Coq library for homotopy type theory [universe]
8.18-1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Coq library for homotopy type theory [universe]
8.18-3build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-interval

lunar (23.04) (ocaml): interval arithmetic for Coq [universe]
4.6.1-2build3: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): interval arithmetic for Coq [universe]
4.8.0-1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): interval arithmetic for Coq [universe]
4.9.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-iris

lunar (23.04) (ocaml): high-order concurrent separation logic framework for Coq [universe]
4.0.0-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): high-order concurrent separation logic framework for Coq [universe]
4.0.0-4build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): high-order concurrent separation logic framework for Coq [universe]
4.1.0-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-libhyps

lunar (23.04) (ocaml): Tactics on hypotheses in Coq [universe]
2.0.6-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Tactics on hypotheses in Coq [universe]
2.0.6-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Tactics on hypotheses in Coq [universe]
2.0.8-1build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-math-classes

lunar (23.04) (ocaml): Abstract interfaces for mathematical structures for Coq [universe]
8.15.0-4build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Abstract interfaces for mathematical structures for Coq [universe]
8.17.0-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Abstract interfaces for mathematical structures for Coq [universe]
8.18.0-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp

jammy (22.04LTS) (math): Mathematical Components library for Coq (all) [universe]
1.14.0-7: all
lunar (23.04) (math): Mathematical Components library for Coq (all) [universe]
1.15.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): Mathematical Components library for Coq (all) [universe]
1.17.0-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): Mathematical Components library for Coq (all) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-abel

lunar (23.04) (ocaml): Abel-Galois and Abel-Ruffini theorems for Mathematical Components [universe]
1.2.1-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Abel-Galois and Abel-Ruffini theorems for Mathematical Components [universe]
1.2.1-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-algebra

jammy (22.04LTS) (math): Mathematical Components library for Coq (algebra) [universe]
1.14.0-7: all
lunar (23.04) (math): Mathematical Components library for Coq (algebra) [universe]
1.15.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): Mathematical Components library for Coq (algebra) [universe]
1.17.0-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): Mathematical Components library for Coq (algebra) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-algebra-tactics

lunar (23.04) (ocaml): Ring and field tactics for Mathematical Components [universe]
1.0.0-8build3: amd64 arm64 ppc64el riscv64
mantic (23.10) (ocaml): Ring and field tactics for Mathematical Components [universe]
1.1.1-2build9: amd64 arm64 ppc64el riscv64
noble (ocaml): Ring and field tactics for Mathematical Components [universe]
1.2.3-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-analysis

jammy (22.04LTS) (ocaml): analysis extension for Mathematical Components [universe]
0.3.13-1: amd64
lunar (23.04) (ocaml): analysis extension for Mathematical Components [universe]
0.6.0-2build2: amd64 arm64 ppc64el riscv64
mantic (23.10) (ocaml): analysis extension for Mathematical Components [universe]
0.6.4-3build1: amd64 arm64 ppc64el riscv64
noble (ocaml): analysis extension for Mathematical Components [universe]
1.0.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-bigenough

jammy (22.04LTS) (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.1-1: amd64
lunar (23.04) (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.1-8build6: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.1-10: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.1-12build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-character

jammy (22.04LTS) (math): Mathematical Components library for Coq (character) [universe]
1.14.0-7: all
lunar (23.04) (math): Mathematical Components library for Coq (character) [universe]
1.15.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): Mathematical Components library for Coq (character) [universe]
1.17.0-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): Mathematical Components library for Coq (character) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-classical

mantic (23.10) (ocaml): classical logic extension for Mathematical Components [universe]
0.6.4-3build1: amd64 arm64 ppc64el riscv64
noble (ocaml): classical logic extension for Mathematical Components [universe]
1.0.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-field

jammy (22.04LTS) (math): Mathematical Components library for Coq (field) [universe]
1.14.0-7: all
lunar (23.04) (math): Mathematical Components library for Coq (field) [universe]
1.15.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): Mathematical Components library for Coq (field) [universe]
1.17.0-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): Mathematical Components library for Coq (field) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-fingroup

jammy (22.04LTS) (math): Mathematical Components library for Coq (finite groups) [universe]
1.14.0-7: all
lunar (23.04) (math): Mathematical Components library for Coq (finite groups) [universe]
1.15.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): Mathematical Components library for Coq (finite groups) [universe]
1.17.0-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): Mathematical Components library for Coq (finite groups) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-finmap

jammy (22.04LTS) (ocaml): finite sets and maps extension for Mathematical Components [universe]
1.5.1-1: amd64
lunar (23.04) (ocaml): finite sets and maps extension for Mathematical Components [universe]
1.5.2-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): finite sets and maps extension for Mathematical Components [universe]
1.5.2-3: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): finite sets and maps extension for Mathematical Components [universe]
2.0.0-2build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-multinomials

lunar (23.04) (ocaml): Multivariate polynomials for Mathematical Components [universe]
1.5.5-8build7: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Multivariate polynomials for Mathematical Components [universe]
1.6.0-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Multivariate polynomials for Mathematical Components [universe]
2.2.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-real-closed

lunar (23.04) (ocaml): Real closed fields for Mathematical Components [universe]
1.1.3-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Real closed fields for Mathematical Components [universe]
1.1.4-2: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Real closed fields for Mathematical Components [universe]
2.0.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-solvable

jammy (22.04LTS) (math): Mathematical Components library for Coq (finite groups II) [universe]
1.14.0-7: all
lunar (23.04) (math): Mathematical Components library for Coq (finite groups II) [universe]
1.15.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): Mathematical Components library for Coq (finite groups II) [universe]
1.17.0-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): Mathematical Components library for Coq (finite groups II) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-ssreflect

jammy (22.04LTS) (math): Mathematical Components library for Coq (small scale reflection) [universe]
1.14.0-7: all
lunar (23.04) (math): Mathematical Components library for Coq (small scale reflection) [universe]
1.15.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): Mathematical Components library for Coq (small scale reflection) [universe]
1.17.0-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): Mathematical Components library for Coq (small scale reflection) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mathcomp-zify

lunar (23.04) (ocaml): Micromega arithmetic solvers for Mathematical Components [universe]
1.2.0+1.12+8.13-6build6: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Micromega arithmetic solvers for Mathematical Components [universe]
1.3.0+1.12+8.13-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Micromega arithmetic solvers for Mathematical Components [universe]
1.5.0+2.0+8.16-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-menhirlib

lunar (23.04) (ocaml): support library for Coq-verified Menhir parsers [universe]
20220210+ds-4build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): support library for Coq-verified Menhir parsers [universe]
20230608+ds-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): support library for Coq-verified Menhir parsers [universe]
20231231+ds-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-mtac2

lunar (23.04) (ocaml): Mtac2 tactic language for Coq [universe]
1.4+8.16-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Mtac2 tactic language for Coq [universe]
1.4+8.17-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Mtac2 tactic language for Coq [universe]
1.4+8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-ocaml

focal (20.04LTS) (ocaml): runtime libraries for Coq [universe]
8.11.0-1: amd64 arm64 ppc64el

Пакет libcoq-ocaml-dev

focal (20.04LTS) (libdevel): development libraries and tools for Coq [universe]
8.11.0-1: amd64 arm64 ppc64el

Пакет libcoq-ott

lunar (23.04) (ocaml): Ott tool (Coq plugin) [universe]
0.32+ds-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Ott tool (Coq plugin) [universe]
0.33+ds-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Ott tool (Coq plugin) [universe]
0.33+ds-2build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-paramcoq

lunar (23.04) (ocaml): Coq plugin to generate parametricity statements [universe]
1.1.3+coq8.16-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Coq plugin to generate parametricity statements [universe]
1.1.3+coq8.17-2: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Coq plugin to generate parametricity statements [universe]
1.1.3+coq8.18-1build2: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-quickchick

lunar (23.04) (ocaml): randomized testing framework for Coq (plugin) [universe]
1.6.4-3build3: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): randomized testing framework for Coq (plugin) [universe]
2.0-2build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): randomized testing framework for Coq (plugin) [universe]
2.0.2-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-record-update

lunar (23.04) (ocaml): automatic record fields updaters for Coq [universe]
0.3.1-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): automatic record fields updaters for Coq [universe]
0.3.2-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): automatic record fields updaters for Coq [universe]
0.3.3-1build4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-reduction-effects

lunar (23.04) (ocaml): reduction effects for Coq [universe]
0.1.4-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): reduction effects for Coq [universe]
0.1.4-4build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): reduction effects for Coq [universe]
0.1.5-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-reglang

lunar (23.04) (ocaml): representation of regular languages in Coq [universe]
1.1.3-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): representation of regular languages in Coq [universe]
1.1.3-4build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): representation of regular languages in Coq [universe]
1.2.1-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-relation-algebra

lunar (23.04) (ocaml): relation algebra for Coq [universe]
1.7.8-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): relation algebra for Coq [universe]
1.7.9-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): relation algebra for Coq [universe]
1.7.9-2build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-simple-io

lunar (23.04) (ocaml): Coq plugin for purely functional IO [universe]
1.8.0-2ubuntu2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Coq plugin for purely functional IO [universe]
1.8.0-3ubuntu2: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Coq plugin for purely functional IO [universe]
1.8.0-4ubuntu4: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-stdlib

jammy (22.04LTS) (math): proof assistant for higher-order logic (theories) [universe]
8.15.0+dfsg-2: amd64 arm64 armhf ppc64el riscv64 s390x
lunar (23.04) (math): proof assistant for higher-order logic (theories) [universe]
8.16.1+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (math): proof assistant for higher-order logic (theories) [universe]
8.17.0+dfsg-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (math): proof assistant for higher-order logic (theories) [universe]
8.18.0+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-stdpp

lunar (23.04) (ocaml): Extended standard library for Coq [universe]
1.8.0-3build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): Extended standard library for Coq [universe]
1.8.0-4build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): Extended standard library for Coq [universe]
1.9.0-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-unicoq

lunar (23.04) (ocaml): enhanced unification algorithm for Coq [universe]
1.6-8.16-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): enhanced unification algorithm for Coq [universe]
1.6-8.17-1build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): enhanced unification algorithm for Coq [universe]
1.6-8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libcoq-unimath

lunar (23.04) (ocaml): univalent formalization of mathematics for Coq [universe]
20220816-2build2: amd64 arm64 armhf ppc64el riscv64 s390x
mantic (23.10) (ocaml): univalent formalization of mathematics for Coq [universe]
20230420-4build1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (ocaml): univalent formalization of mathematics for Coq [universe]
20231010-1build3: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет libfloat-coq

focal (20.04LTS) (math): Coq library on floating-point arithmetic [universe]
1:8.10.0-1: all

Пакет libssreflect-coq

focal (20.04LTS) (math): Mathematical Components library for Coq [universe]
1.10.0+dfsg-2: all
jammy (22.04LTS): Виртуален пакет
предлаган от: libcoq-mathcomp
lunar (23.04): Виртуален пакет
предлаган от: libcoq-mathcomp
mantic (23.10): Виртуален пакет
предлаган от: libcoq-mathcomp
noble: Виртуален пакет
предлаган от: libcoq-mathcomp

Пакет pycoqc

jammy (22.04LTS) (science): computes metrics and generates Interactive QC plots [universe]
2.5.2+dfsg-3: all
lunar (23.04) (science): computes metrics and generates Interactive QC plots [universe]
2.5.2+dfsg-3: all
mantic (23.10) (science): computes metrics and generates Interactive QC plots [universe]
2.5.2+dfsg-3: all
noble (science): computes metrics and generates Interactive QC plots [universe]
2.5.2+dfsg-3: all

Пакет why3-coq

focal (20.04LTS) (math): Coq support for the why3 verification platform [universe]
1.2.1-6: amd64 arm64 ppc64el