Ubuntu – Результаты поиска пакетов -- coq

» Ubuntu » Пакеты » Результаты поиска пакетов

Поиск в заданном комплекте: [jammy] [jammy-updates] [jammy-backports] [noble] [noble-updates] [noble-backports] [questing] [questing-updates] [questing-backports] [resolute] [resolute-updates] [resolute-backports] [stonking]

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

Вы искали пакеты, в именах которых есть coq. Были просмотрены все комплекты, все секции и все архитектуры. Количество подходящих пакетов: 69.

Точные совпадения

Пакет coq

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
noble (24.04LTS) (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
8.18.0+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
8.20.1+dfsg-1build1: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
8.20.1+dfsg-1build4: amd64 arm64 ppc64el riscv64 s390x
stonking (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
8.20.1+dfsg-1build4: amd64 arm64 ppc64el riscv64 s390x

Другие совпадения

Пакет coq-doc

jammy (22.04LTS) (doc): documentation for Coq [multiverse]
8.15.0-3: all
noble (24.04LTS) (doc): documentation for Coq [multiverse]
8.18.0-1: all
questing (25.10) (doc): documentation for Coq [multiverse]
8.20.0-2: all
resolute (26.04LTS) (doc): documentation for Coq [multiverse]
8.20.0-2build1: all
stonking (doc): documentation for Coq [multiverse]
8.20.0-2build2: all

Пакет coq-doc-html

jammy (22.04LTS) (doc): documentation for Coq in html format [multiverse]
8.15.0-3: all
noble (24.04LTS) (doc): documentation for Coq in html format [multiverse]
8.18.0-1: all
questing (25.10) (doc): documentation for Coq in html format [multiverse]
8.20.0-2: all
resolute (26.04LTS) (doc): documentation for Coq in html format [multiverse]
8.20.0-2build1: all
stonking (doc): documentation for Coq in html format [multiverse]
8.20.0-2build2: all

Пакет coq-doc-pdf

jammy (22.04LTS) (doc): documentation for Coq in pdf format [multiverse]
8.15.0-3: all
noble (24.04LTS) (doc): documentation for Coq in pdf format [multiverse]
8.18.0-1: all
questing (25.10) (doc): documentation for Coq in pdf format [multiverse]
8.20.0-2: all
resolute (26.04LTS) (doc): documentation for Coq in pdf format [multiverse]
8.20.0-2build1: all
stonking (doc): documentation for Coq in pdf format [multiverse]
8.20.0-2build2: all

Пакет coq-dpdgraph-tools

noble (24.04LTS) (ocaml): Coq plugin to extract dependencies between Coq objects (tools) [universe]
1.0+8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Coq plugin to extract dependencies between Coq objects (tools) [universe]
1.0+8.20-1build4: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Coq plugin to extract dependencies between Coq objects (tools) [universe]
1.0+8.20-1build8: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Coq plugin to extract dependencies between Coq objects (tools) [universe]
1.0+8.20-1build8: amd64 arm64 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
noble (24.04LTS) (ocaml): build hierarchies of algebraic structures in Coq (tool) [universe]
1.6.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x

Пакет coq-serapi

questing (25.10) (ocaml): interaction with Coq (utils) [universe]
8.20.0+0.20.0-1build4: amd64 arm64 ppc64el riscv64

Пакет coqide

jammy (22.04LTS) (math): proof assistant for higher-order logic (gtk interface) [universe]
8.15.0+dfsg-2: amd64 arm64 armhf ppc64el riscv64 s390x
noble (24.04LTS) (math): proof assistant for higher-order logic (gtk interface) [universe]
8.18.0+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (math): proof assistant for higher-order logic (gtk interface) [universe]
8.20.1+dfsg-1build1: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (math): proof assistant for higher-order logic (gtk interface) [universe]
8.20.1+dfsg-1build4: amd64 arm64 ppc64el riscv64 s390x
stonking (math): proof assistant for higher-order logic (gtk interface) [universe]
8.20.1+dfsg-1build4: amd64 arm64 ppc64el riscv64 s390x

Пакет coqprime-tools

noble (24.04LTS) (ocaml): Primality certification for Coq (tools) [universe]
8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Primality certification for Coq (tools) [universe]
8.20.1-1build5: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Primality certification for Coq (tools) [universe]
8.20.1-1build8: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Primality certification for Coq (tools) [universe]
8.20.1-1build8: amd64 arm64 ppc64el riscv64 s390x

Пакет debian-coq-tools

noble (24.04LTS) (ocaml): various tools to manage Coq-related Debian packages [universe]
0.8: all
questing (25.10) (ocaml): various tools to manage Coq-related Debian packages [universe]
0.14: all
resolute (26.04LTS) (ocaml): various tools to manage Coq-related Debian packages [universe]
0.14build1: all
stonking (ocaml): various tools to manage Coq-related Debian packages [universe]
0.14build2: all

Пакет dh-coq

noble (24.04LTS) (ocaml): debhelper tool for Coq-related Debian packages [universe]
0.8: all
questing (25.10) (ocaml): debhelper tool for Coq-related Debian packages [universe]
0.14: all
resolute (26.04LTS) (ocaml): debhelper tool for Coq-related Debian packages [universe]
0.14build1: all
stonking (ocaml): debhelper tool for Coq-related Debian packages [universe]
0.14build2: all

Пакет libaac-tactics-coq

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

Пакет libcoq-aac-tactics

noble (24.04LTS) (math): Coq tactics for reasoning modulo AC (theories) [universe]
8.18.0-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (math): Coq tactics for reasoning modulo AC (theories) [universe]
8.20.0-1build4: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (math): Coq tactics for reasoning modulo AC (theories) [universe]
8.20.0-1build8: amd64 arm64 ppc64el riscv64 s390x
stonking (math): Coq tactics for reasoning modulo AC (theories) [universe]
8.20.0-1build8: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-bignums

noble (24.04LTS) (ocaml): Coq library for big numbers [universe]
9.0.0+coq8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Coq library for big numbers [universe]
9.0.0+coq8.20-1build9: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Coq library for big numbers [universe]
9.0.0+coq8.20-1build12: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Coq library for big numbers [universe]
9.0.0+coq8.20-1build12: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-coqeal

noble (24.04LTS) (ocaml): algebra and data structure algorithms for Coq [universe]
2.0.1-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): algebra and data structure algorithms for Coq [universe]
2.1.0-1build3: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): algebra and data structure algorithms for Coq [universe]
2.1.0-1build9: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): algebra and data structure algorithms for Coq [universe]
2.1.0-1build9: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-coqprime

noble (24.04LTS) (ocaml): Primality certification for Coq (library) [universe]
8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Primality certification for Coq (library) [universe]
8.20.1-1build5: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Primality certification for Coq (library) [universe]
8.20.1-1build8: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Primality certification for Coq (library) [universe]
8.20.1-1build8: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-coquelicot

noble (24.04LTS) (ocaml): Coq library for real analysis [universe]
3.4.1-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Coq library for real analysis [universe]
3.4.3-1build5: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Coq library for real analysis [universe]
3.4.3-1build10: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Coq library for real analysis [universe]
3.4.3-1build10: amd64 arm64 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
noble (24.04LTS) (ocaml): runtime libraries for Coq [universe]
8.18.0+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): runtime libraries for Coq [universe]
8.20.1+dfsg-1build1: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): runtime libraries for Coq [universe]
8.20.1+dfsg-1build4: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): runtime libraries for Coq [universe]
8.20.1+dfsg-1build4: amd64 arm64 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
noble (24.04LTS) (ocaml): development libraries and tools for Coq [universe]
8.18.0+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): development libraries and tools for Coq [universe]
8.20.1+dfsg-1build1: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): development libraries and tools for Coq [universe]
8.20.1+dfsg-1build4: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): development libraries and tools for Coq [universe]
8.20.1+dfsg-1build4: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-corn

noble (24.04LTS) (ocaml): Coq Constructive Repository at Nijmegen [universe]
8.18.0-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Coq Constructive Repository at Nijmegen [universe]
8.20.0-1build5: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Coq Constructive Repository at Nijmegen [universe]
8.20.0-1build12: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Coq Constructive Repository at Nijmegen [universe]
8.20.0-1build12: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-deriving

noble (24.04LTS) (ocaml): deriving MathComp classes from inductive types [universe]
0.2.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): deriving MathComp classes from inductive types [universe]
0.2.1-1build9: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): deriving MathComp classes from inductive types [universe]
0.2.1-1build14: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): deriving MathComp classes from inductive types [universe]
0.2.1-1build14: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-dpdgraph

noble (24.04LTS) (ocaml): Coq plugin to extract dependencies between Coq objects [universe]
1.0+8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Coq plugin to extract dependencies between Coq objects [universe]
1.0+8.20-1build4: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Coq plugin to extract dependencies between Coq objects [universe]
1.0+8.20-1build8: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Coq plugin to extract dependencies between Coq objects [universe]
1.0+8.20-1build8: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-elpi

noble (24.04LTS) (ocaml): Coq plugin embedding Elpi [universe]
1.19.3-2build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Coq plugin embedding Elpi [universe]
2.5.0-1.1build1: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Coq plugin embedding Elpi [universe]
2.5.0-1.2build3: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Coq plugin embedding Elpi [universe]
2.5.0-1.2build3: amd64 arm64 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

noble (24.04LTS) (ocaml): Coq library to work with functions defined by equations [universe]
1.3-8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Coq library to work with functions defined by equations [universe]
1.3.1-8.20-1build5: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Coq library to work with functions defined by equations [universe]
1.3.1-8.20-1build8: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Coq library to work with functions defined by equations [universe]
1.3.1-8.20-1build8: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-ext-lib

noble (24.04LTS) (ocaml): Collection of theories and plugins for Coq [universe]
0.12.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Collection of theories and plugins for Coq [universe]
0.13.0-1build4: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Collection of theories and plugins for Coq [universe]
0.13.0-1build7: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Collection of theories and plugins for Coq [universe]
0.13.0-1build7: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-extructures

noble (24.04LTS) (ocaml): data structures with extensional reasoning for Coq [universe]
0.4.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): data structures with extensional reasoning for Coq [universe]
0.5.0-1build10: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): data structures with extensional reasoning for Coq [universe]
0.5.0-1build15: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): data structures with extensional reasoning for Coq [universe]
0.5.0-1build15: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-flocq

noble (24.04LTS) (ocaml): Floating-point arithmetic for Coq [universe]
4.1.3-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Floating-point arithmetic for Coq [universe]
4.2.1-1build2: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Floating-point arithmetic for Coq [universe]
4.2.1-1build5: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Floating-point arithmetic for Coq [universe]
4.2.1-1build5: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-gappa

noble (24.04LTS) (math): Coq tactic to use Gappa for floating-point goals [universe]
1.5.4-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (math): Coq tactic to use Gappa for floating-point goals [universe]
1.7.0-1build1: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (math): Coq tactic to use Gappa for floating-point goals [universe]
1.7.0-1build4: amd64 arm64 ppc64el riscv64 s390x
stonking (math): Coq tactic to use Gappa for floating-point goals [universe]
1.7.0-1build4: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-hammer

noble (24.04LTS) (ocaml): automated reasoning tool for Coq [universe]
1.3.2+8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): automated reasoning tool for Coq [universe]
1.3.2+8.20-1build4: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): automated reasoning tool for Coq [universe]
1.3.2+8.20-1build7: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): automated reasoning tool for Coq [universe]
1.3.2+8.20-1build7: amd64 arm64 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
noble (24.04LTS) (ocaml): build hierarchies of algebraic structures in Coq (runtime files) [universe]
1.6.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): build hierarchies of algebraic structures in Coq [universe]
1.8.1-1build6: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): build hierarchies of algebraic structures in Coq [universe]
1.8.1-1build14: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): build hierarchies of algebraic structures in Coq [universe]
1.8.1-1build14: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-hott

noble (24.04LTS) (ocaml): Coq library for homotopy type theory [universe]
8.18-3build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Coq library for homotopy type theory [universe]
9.0-1build2: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Coq library for homotopy type theory [universe]
9.0-1build5: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Coq library for homotopy type theory [universe]
9.0-1build5: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-interval

noble (24.04LTS) (ocaml): interval arithmetic for Coq [universe]
4.9.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): interval arithmetic for Coq [universe]
4.11.1-1build11: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): interval arithmetic for Coq [universe]
4.11.1-1build16: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): interval arithmetic for Coq [universe]
4.11.1-1build16: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-iris

noble (24.04LTS) (ocaml): high-order concurrent separation logic framework for Coq [universe]
4.1.0-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): high-order concurrent separation logic framework for Coq [universe]
4.3.0-1build5: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): high-order concurrent separation logic framework for Coq [universe]
4.3.0-1ubuntu3: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): high-order concurrent separation logic framework for Coq [universe]
4.3.0-1ubuntu3: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-libhyps

noble (24.04LTS) (ocaml): Tactics on hypotheses in Coq [universe]
2.0.8-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Tactics on hypotheses in Coq [universe]
2.0.8-4build8: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Tactics on hypotheses in Coq [universe]
2.0.8-4build11: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Tactics on hypotheses in Coq [universe]
2.0.8-4build11: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-math-classes

noble (24.04LTS) (ocaml): Abstract interfaces for mathematical structures for Coq [universe]
8.18.0-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Abstract interfaces for mathematical structures for Coq [universe]
8.19.0-1build14: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Abstract interfaces for mathematical structures for Coq [universe]
8.19.0-1build17: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Abstract interfaces for mathematical structures for Coq [universe]
8.19.0-1build17: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mathcomp

jammy (22.04LTS) (math): Mathematical Components library for Coq (all) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (all) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (all) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (math): Mathematical Components library for Coq (all) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x
stonking (math): Mathematical Components library for Coq (all) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mathcomp-algebra

jammy (22.04LTS) (math): Mathematical Components library for Coq (algebra) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (algebra) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (algebra) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (math): Mathematical Components library for Coq (algebra) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x
stonking (math): Mathematical Components library for Coq (algebra) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x

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

noble (24.04LTS) (ocaml): Ring and field tactics for Mathematical Components [universe]
1.2.3-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Ring and field tactics for Mathematical Components [universe]
1.2.4-1build5: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Ring and field tactics for Mathematical Components [universe]
1.2.4-1build10: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Ring and field tactics for Mathematical Components [universe]
1.2.4-1build10: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mathcomp-analysis

jammy (22.04LTS) (ocaml): analysis extension for Mathematical Components [universe]
0.3.13-1: amd64
noble (24.04LTS) (ocaml): analysis extension for Mathematical Components [universe]
1.0.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): analysis extension for Mathematical Components [universe]
1.9.0-1build4: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): analysis extension for Mathematical Components [universe]
1.9.0-1build9: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): analysis extension for Mathematical Components [universe]
1.9.0-1build9: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mathcomp-bigenough

jammy (22.04LTS) (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.1-1: amd64
noble (24.04LTS) (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.1-12build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.2-1build5: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.2-1build10: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): epsilon - N reasoning for Mathematical Components [universe]
1.0.2-1build10: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mathcomp-character

jammy (22.04LTS) (math): Mathematical Components library for Coq (character) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (character) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (character) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (math): Mathematical Components library for Coq (character) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x
stonking (math): Mathematical Components library for Coq (character) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mathcomp-classical

noble (24.04LTS) (ocaml): classical logic extension for Mathematical Components [universe]
1.0.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): classical logic extension for Mathematical Components [universe]
1.9.0-1build4: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): classical logic extension for Mathematical Components [universe]
1.9.0-1build9: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): classical logic extension for Mathematical Components [universe]
1.9.0-1build9: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mathcomp-field

jammy (22.04LTS) (math): Mathematical Components library for Coq (field) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (field) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (field) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (math): Mathematical Components library for Coq (field) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x
stonking (math): Mathematical Components library for Coq (field) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mathcomp-fingroup

jammy (22.04LTS) (math): Mathematical Components library for Coq (finite groups) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (finite groups) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (finite groups) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (math): Mathematical Components library for Coq (finite groups) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x
stonking (math): Mathematical Components library for Coq (finite groups) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mathcomp-finmap

jammy (22.04LTS) (ocaml): finite sets and maps extension for Mathematical Components [universe]
1.5.1-1: amd64
noble (24.04LTS) (ocaml): finite sets and maps extension for Mathematical Components [universe]
2.0.0-2build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): finite sets and maps extension for Mathematical Components [universe]
2.1.0-3build9: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): finite sets and maps extension for Mathematical Components [universe]
2.1.0-3build14: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): finite sets and maps extension for Mathematical Components [universe]
2.1.0-3build14: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mathcomp-multinomials

noble (24.04LTS) (ocaml): Multivariate polynomials for Mathematical Components [universe]
2.2.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Multivariate polynomials for Mathematical Components [universe]
2.3.0-1build10: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Multivariate polynomials for Mathematical Components [universe]
2.3.0-1build15: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Multivariate polynomials for Mathematical Components [universe]
2.3.0-1build15: amd64 arm64 ppc64el riscv64 s390x

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

noble (24.04LTS) (ocaml): Real closed fields for Mathematical Components [universe]
2.0.0-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Real closed fields for Mathematical Components [universe]
2.0.2-1build10: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Real closed fields for Mathematical Components [universe]
2.0.2-1build16: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Real closed fields for Mathematical Components [universe]
2.0.2-1build16: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mathcomp-solvable

jammy (22.04LTS) (math): Mathematical Components library for Coq (finite groups II) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (finite groups II) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (finite groups II) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (math): Mathematical Components library for Coq (finite groups II) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x
stonking (math): Mathematical Components library for Coq (finite groups II) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mathcomp-ssreflect

jammy (22.04LTS) (math): Mathematical Components library for Coq (small scale reflection) [universe]
1.14.0-7: all
noble (24.04LTS) (math): Mathematical Components library for Coq (small scale reflection) [universe]
2.1.0-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (math): Mathematical Components library for Coq (small scale reflection) [universe]
2.3.0-1build12: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (math): Mathematical Components library for Coq (small scale reflection) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x
stonking (math): Mathematical Components library for Coq (small scale reflection) [universe]
2.3.0-1build19: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mathcomp-zify

noble (24.04LTS) (ocaml): Micromega arithmetic solvers for Mathematical Components [universe]
1.5.0+2.0+8.16-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Micromega arithmetic solvers for Mathematical Components [universe]
1.5.0+2.0+8.16-4build9: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Micromega arithmetic solvers for Mathematical Components [universe]
1.5.0+2.0+8.16-4build14: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Micromega arithmetic solvers for Mathematical Components [universe]
1.5.0+2.0+8.16-4build14: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-menhirlib

noble (24.04LTS) (ocaml): support library for Coq-verified Menhir parsers [universe]
20231231+ds-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): support library for Coq-verified Menhir parsers [universe]
20240715+ds-1build5: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): support library for Coq-verified Menhir parsers [universe]
20240715+ds-1build8: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): support library for Coq-verified Menhir parsers [universe]
20240715+ds-1build8: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-mtac2

noble (24.04LTS) (ocaml): Mtac2 tactic language for Coq [universe]
1.4+8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Mtac2 tactic language for Coq [universe]
1.4+8.20-1build6: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Mtac2 tactic language for Coq [universe]
1.4+8.20-1build9: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Mtac2 tactic language for Coq [universe]
1.4+8.20-1build9: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-ott

noble (24.04LTS) (ocaml): Ott tool (Coq plugin) [universe]
0.33+ds-2build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Ott tool (Coq plugin) [universe]
0.34+ds-1build4: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Ott tool (Coq plugin) [universe]
0.34+ds-1build7: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Ott tool (Coq plugin) [universe]
0.34+ds-1build7: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-paramcoq

noble (24.04LTS) (ocaml): Coq plugin to generate parametricity statements [universe]
1.1.3+coq8.18-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Coq plugin to generate parametricity statements [universe]
1.1.3+coq8.20-1build4: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Coq plugin to generate parametricity statements [universe]
1.1.3+coq8.20-1build7: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Coq plugin to generate parametricity statements [universe]
1.1.3+coq8.20-1build7: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-quickchick

noble (24.04LTS) (ocaml): randomized testing framework for Coq (plugin) [universe]
2.0.2-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): randomized testing framework for Coq (plugin) [universe]
2.1.0-1build4: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): randomized testing framework for Coq (plugin) [universe]
2.1.0-1.1build5: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): randomized testing framework for Coq (plugin) [universe]
2.1.0-1.1build5: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-record-update

noble (24.04LTS) (ocaml): automatic record fields updaters for Coq [universe]
0.3.3-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): automatic record fields updaters for Coq [universe]
0.3.4-4build4: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): automatic record fields updaters for Coq [universe]
0.3.4-4build7: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): automatic record fields updaters for Coq [universe]
0.3.4-4build7: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-reduction-effects

noble (24.04LTS) (ocaml): reduction effects for Coq [universe]
0.1.5-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): reduction effects for Coq [universe]
0.1.5-5build8: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): reduction effects for Coq [universe]
0.1.5-5build11: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): reduction effects for Coq [universe]
0.1.5-5build11: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-reglang

noble (24.04LTS) (ocaml): representation of regular languages in Coq [universe]
1.2.1-1build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): representation of regular languages in Coq [universe]
1.2.1-4build16: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): representation of regular languages in Coq [universe]
1.2.1-4build21: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): representation of regular languages in Coq [universe]
1.2.1-4build21: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-relation-algebra

noble (24.04LTS) (ocaml): relation algebra for Coq [universe]
1.7.9-2build5: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): relation algebra for Coq [universe]
1.7.11-1build9: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): relation algebra for Coq [universe]
1.7.11-1build14: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): relation algebra for Coq [universe]
1.7.11-1build14: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-serapi-ocaml

questing (25.10) (ocaml): interaction with Coq (runtime) [universe]
8.20.0+0.20.0-1build4: amd64 arm64 ppc64el riscv64

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

questing (25.10) (ocaml): interaction with Coq (devel) [universe]
8.20.0+0.20.0-1build4: amd64 arm64 ppc64el riscv64

Пакет libcoq-simple-io

noble (24.04LTS) (ocaml): Coq plugin for purely functional IO [universe]
1.8.0-4ubuntu4: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Coq plugin for purely functional IO [universe]
1.11.0-1build1: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Coq plugin for purely functional IO [universe]
1.11.0-1build4: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Coq plugin for purely functional IO [universe]
1.11.0-1build4: amd64 arm64 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
noble (24.04LTS) (math): proof assistant for higher-order logic (theories) [universe]
8.18.0+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (math): proof assistant for higher-order logic (theories) [universe]
8.20.1+dfsg-1build1: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (math): proof assistant for higher-order logic (theories) [universe]
8.20.1+dfsg-1build4: amd64 arm64 ppc64el riscv64 s390x
stonking (math): proof assistant for higher-order logic (theories) [universe]
8.20.1+dfsg-1build4: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-stdpp

noble (24.04LTS) (ocaml): Extended standard library for Coq [universe]
1.9.0-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): Extended standard library for Coq [universe]
1.11.0-1build5: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): Extended standard library for Coq [universe]
1.11.0-1build8: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): Extended standard library for Coq [universe]
1.11.0-1build8: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-unicoq

noble (24.04LTS) (ocaml): enhanced unification algorithm for Coq [universe]
1.6-8.18-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): enhanced unification algorithm for Coq [universe]
1.6-8.20-1build4: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): enhanced unification algorithm for Coq [universe]
1.6-8.20-1build7: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): enhanced unification algorithm for Coq [universe]
1.6-8.20-1build7: amd64 arm64 ppc64el riscv64 s390x

Пакет libcoq-unimath

noble (24.04LTS) (ocaml): univalent formalization of mathematics for Coq [universe]
20231010-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): univalent formalization of mathematics for Coq [universe]
20240923-2build4: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): univalent formalization of mathematics for Coq [universe]
20240923-2build7: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): univalent formalization of mathematics for Coq [universe]
20240923-2build7: amd64 arm64 ppc64el riscv64 s390x

Пакет pycoqc

jammy (22.04LTS) (science): computes metrics and generates Interactive QC plots [universe]
2.5.2+dfsg-3: all
noble (24.04LTS) (science): computes metrics and generates Interactive QC plots [universe]
2.5.2+dfsg-3: all
questing (25.10) (science): computes metrics and generates Interactive QC plots [universe]
2.5.2+dfsg-4: all
resolute (26.04LTS) (science): computes metrics and generates Interactive QC plots [universe]
2.5.2+dfsg-5: all
stonking (science): computes metrics and generates Interactive QC plots [universe]
2.5.2+dfsg-5: all