Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Search in all suites
Limit to a architecture: [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
Some results have not been displayed due to the search parameters.
You have searched for packages that names contain coq in suite(s) sid, all sections, and all architectures. Found 89 matching packages.
Exact hits
Package coq
- sid (unstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.19.1+dfsg-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
8.17.0+dfsg-1+b2 [debports]: ppc64
8.12.0-3+b3 [debports]: alpha hppa ia64 sh4 sparc64 x32
8.1.pl3+dfsg-1+b2 [debports]: m68k
Other hits
Package coq-dbgsym
- sid (unstable) (debug):
debug symbols for coq
8.17.0+dfsg-1+b2 [debports]: ppc64 riscv64
Package coq-doc
- sid (unstable) (doc):
documentation for Coq [non-free]
8.19.1-1: all
Package coq-doc-html
- sid (unstable) (doc):
documentation for Coq in html format [non-free]
8.19.1-1: all
Package coq-doc-pdf
- sid (unstable) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-1: all
Package coq-dpdgraph-tools
- sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.19-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
1.0+8.17-1+b1 [debports]: ppc64
Package coq-hierarchy-builder
- sid (unstable) (ocaml):
build hierarchies of algebraic structures in Coq (tool)
1.6.0-1+b2: armhf s390x
1.4.0-6+b3 [debports]: ppc64
1.4.0-6 [debports]: riscv64
Package coq-theories
- sid (unstable) (math):
proof assistant for higher-order logic (theories)
8.12.0-3+b3 [debports]: alpha hppa ia64 sh4 sparc64 x32
Package coqide
- sid (unstable) (math):
proof assistant for higher-order logic (gtk interface)
8.19.1+dfsg-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
8.17.0+dfsg-1+b2 [debports]: ppc64
8.12.0-3+b3 [debports]: alpha hppa ia64 sh4 sparc64 x32
8.1.pl3+dfsg-1+b2 [debports]: m68k
Package coqide-dbgsym
- sid (unstable) (debug):
debug symbols for coqide
8.17.0+dfsg-1+b2 [debports]: ppc64 riscv64
Package coqprime-tools
- sid (unstable) (ocaml):
Primality certification for Coq (tools)
8.19-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
8.17-1+b1 [debports]: ppc64
Package coqprime-tools-dbgsym
- sid (unstable) (debug):
debug symbols for coqprime-tools
8.17-1+b1 [debports]: ppc64 riscv64
Package debian-coq-tools
- sid (unstable) (ocaml):
various tools to manage Coq-related Debian packages
0.8: all
Package dh-coq
- sid (unstable) (ocaml):
debhelper tool for Coq-related Debian packages
0.8: all
Package libcoq-aac-tactics
- sid (unstable) (math):
Coq tactics for reasoning modulo AC (theories)
8.19.0-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
8.17.0-3 [debports]: ppc64
Package libcoq-aac-tactics-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-aac-tactics
8.17.0-3 [debports]: ppc64
8.17.0-2+b2 [debports]: riscv64
Package libcoq-bignums
- sid (unstable) (ocaml):
Coq library for big numbers
9.0.0+coq8.19-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
8.17.0-3+b2 [debports]: ppc64
Package libcoq-bignums-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-bignums
8.17.0-3+b2 [debports]: ppc64 riscv64
Package libcoq-coqeal
- sid (unstable) (ocaml):
algebra and data structure algorithms for Coq
2.0.2-1: amd64 arm64 i386 ppc64el riscv64
2.0.1-1+b2: armhf s390x
1.1.3-1+b1 [debports]: ppc64
Package libcoq-coqprime
- sid (unstable) (ocaml):
Primality certification for Coq (library)
8.19-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
8.17-1+b1 [debports]: ppc64
Package libcoq-coquelicot
- sid (unstable) (ocaml):
Coq library for real analysis
3.4.1-2: amd64 arm64 i386 ppc64el riscv64
3.4.1-1+b2: armhf s390x
3.3.1-1+b1 [debports]: ppc64
Package libcoq-core-ocaml
- sid (unstable) (ocaml):
runtime libraries for Coq
8.19.1+dfsg-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
8.17.0+dfsg-1+b2 [debports]: ppc64
Package libcoq-core-ocaml-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-core-ocaml
8.17.0+dfsg-1+b2 [debports]: ppc64 riscv64
Package libcoq-core-ocaml-dev
- sid (unstable) (ocaml):
development libraries and tools for Coq
8.19.1+dfsg-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
8.17.0+dfsg-1+b2 [debports]: ppc64
Package libcoq-corn
- sid (unstable) (ocaml):
Coq Constructive Repository at Nijmegen
8.19.0-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
8.16.0-3+b1 [debports]: ppc64
Package libcoq-deriving
- sid (unstable) (ocaml):
deriving MathComp classes from inductive types
0.2.0-2: amd64 arm64 i386 ppc64el riscv64
0.2.0-1+b2: armhf s390x
0.1.1-1+b1 [debports]: ppc64
Package libcoq-dpdgraph
- sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.19-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
1.0+8.17-1+b1 [debports]: ppc64
Package libcoq-dpdgraph-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-dpdgraph
1.0+8.17-1+b1 [debports]: ppc64 riscv64
Package libcoq-elpi
- sid (unstable) (ocaml):
Coq plugin embedding Elpi
2.1.0-1: amd64 arm64 i386 ppc64el riscv64
1.19.3-2+b2: armhf s390x
1.17.1-1+b8 [debports]: ppc64
Package libcoq-elpi-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-elpi
1.17.1-1+b8 [debports]: ppc64
1.17.1-1+b4 [debports]: riscv64
Package libcoq-equations
- sid (unstable) (ocaml):
Coq library to work with functions defined by equations
1.3-8.19-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
1.3-8.17-2 [debports]: ppc64
Package libcoq-equations-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-equations
1.3-8.17-2 [debports]: ppc64
1.3-8.17-1+b1 [debports]: riscv64
Package libcoq-ext-lib
- sid (unstable) (ocaml):
Collection of theories and plugins for Coq
0.12.1-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
0.11.8-1+b2 [debports]: ppc64
Package libcoq-extructures
- sid (unstable) (ocaml):
data structures with extensional reasoning for Coq
0.4.0-3+b1: riscv64
0.4.0-3: amd64 arm64 armhf i386 ppc64el s390x
0.3.1-4+b1 [debports]: ppc64
Package libcoq-flocq
- sid (unstable) (ocaml):
Floating-point arithmetic for Coq
4.1.4-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
4.1.1-1+b1 [debports]: ppc64
Package libcoq-gappa
- sid (unstable) (math):
Coq tactic to use Gappa for floating-point goals
1.5.5-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
1.5.3-1+b1 [debports]: ppc64
Package libcoq-gappa-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-gappa
1.5.3-1+b1 [debports]: ppc64 riscv64
Package libcoq-hammer
- sid (unstable) (ocaml):
automated reasoning tool for Coq
1.3.2+8.19-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
1.3.2+8.17-1+b2 [debports]: ppc64
Package libcoq-hammer-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-hammer
1.3.2+8.17-1+b2 [debports]: ppc64 riscv64
Package libcoq-hierarchy-builder
- sid (unstable) (ocaml):
build hierarchies of algebraic structures in Coq
1.7.0-1: amd64 arm64 i386 ppc64el riscv64
1.6.0-1+b2: armhf s390x
1.4.0-6+b3 [debports]: ppc64
Package libcoq-hott
- sid (unstable) (ocaml):
Coq library for homotopy type theory
8.19-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
8.18-1 [debports]: ppc64
Package libcoq-interval
- sid (unstable) (ocaml):
interval arithmetic for Coq
4.10.0-1+b1: riscv64
4.10.0-1: amd64 arm64 armhf i386 ppc64el s390x
4.8.0-1 [debports]: ppc64
Package libcoq-interval-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-interval
4.8.0-1 [debports]: ppc64
4.7.0-1+b1 [debports]: riscv64
Package libcoq-iris
- sid (unstable) (ocaml):
high-order concurrent separation logic framework for Coq
4.2.0-1: amd64 arm64 armhf i386 ppc64el s390x
4.1.0-1+b1: riscv64
4.0.0-4+b1 [debports]: ppc64
Package libcoq-libhyps
- sid (unstable) (ocaml):
Tactics on hypotheses in Coq
2.0.8-3: amd64 arm64 armhf i386 ppc64el riscv64 s390x
2.0.6-3+b2 [debports]: ppc64
Package libcoq-math-classes
- sid (unstable) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.19.0-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
8.17.0-1+b2 [debports]: ppc64
Package libcoq-mathcomp
- sid (unstable) (math):
Mathematical Components library for Coq (all)
2.2.0-1: amd64 arm64 i386 ppc64el riscv64
2.1.0-1+b2: armhf s390x
1.17.0-1+b1 [debports]: ppc64
Package libcoq-mathcomp-abel
- sid (unstable) (ocaml):
Abel-Galois and Abel-Ruffini theorems for Mathematical Components
1.2.1-2+b1 [debports]: riscv64
Package libcoq-mathcomp-algebra
- sid (unstable) (math):
Mathematical Components library for Coq (algebra)
2.2.0-1: amd64 arm64 i386 ppc64el riscv64
2.1.0-1+b2: armhf s390x
1.17.0-1+b1 [debports]: ppc64
Package libcoq-mathcomp-algebra-tactics
- sid (unstable) (ocaml):
Ring and field tactics for Mathematical Components
1.2.3-3: amd64 arm64 i386 ppc64el riscv64
1.2.3-1+b2: armhf s390x
1.1.1-2+b7 [debports]: ppc64
Package libcoq-mathcomp-analysis
- sid (unstable) (ocaml):
analysis extension for Mathematical Components
1.1.0-2: amd64 arm64 i386 ppc64el riscv64
1.0.0-1+b2: armhf s390x
0.6.4-3+b1 [debports]: ppc64
Package libcoq-mathcomp-bigenough
- sid (unstable) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-13: amd64 arm64 i386 ppc64el riscv64
1.0.1-12+b2: armhf s390x
1.0.1-10 [debports]: ppc64
Package libcoq-mathcomp-character
- sid (unstable) (math):
Mathematical Components library for Coq (character)
2.2.0-1: amd64 arm64 i386 ppc64el riscv64
2.1.0-1+b2: armhf s390x
1.17.0-1+b1 [debports]: ppc64
Package libcoq-mathcomp-classical
- sid (unstable) (ocaml):
classical logic extension for Mathematical Components
1.1.0-2: amd64 arm64 i386 ppc64el riscv64
1.0.0-1+b2: armhf s390x
0.6.4-3+b1 [debports]: ppc64
Package libcoq-mathcomp-field
- sid (unstable) (math):
Mathematical Components library for Coq (field)
2.2.0-1: amd64 arm64 i386 ppc64el riscv64
2.1.0-1+b2: armhf s390x
1.17.0-1+b1 [debports]: ppc64
Package libcoq-mathcomp-fingroup
- sid (unstable) (math):
Mathematical Components library for Coq (finite groups)
2.2.0-1: amd64 arm64 i386 ppc64el riscv64
2.1.0-1+b2: armhf s390x
1.17.0-1+b1 [debports]: ppc64
Package libcoq-mathcomp-finmap
- sid (unstable) (ocaml):
finite sets and maps extension for Mathematical Components
2.1.0-1: amd64 arm64 i386 ppc64el riscv64
2.0.0-2+b2: armhf s390x
1.5.2-3 [debports]: ppc64
Package libcoq-mathcomp-multinomials
- sid (unstable) (ocaml):
Multivariate polynomials for Mathematical Components
2.2.0-2: amd64 arm64 i386 ppc64el riscv64
2.2.0-1+b2: armhf s390x
1.6.0-3+b1 [debports]: ppc64
Package libcoq-mathcomp-real-closed
- sid (unstable) (ocaml):
Real closed fields for Mathematical Components
2.0.0-2: amd64 arm64 i386 ppc64el riscv64
2.0.0-1+b2: armhf s390x
1.1.4-2 [debports]: ppc64
Package libcoq-mathcomp-solvable
- sid (unstable) (math):
Mathematical Components library for Coq (finite groups II)
2.2.0-1: amd64 arm64 i386 ppc64el riscv64
2.1.0-1+b2: armhf s390x
1.17.0-1+b1 [debports]: ppc64
Package libcoq-mathcomp-ssreflect
- sid (unstable) (math):
Mathematical Components library for Coq (small scale reflection)
2.2.0-1: amd64 arm64 i386 ppc64el riscv64
2.1.0-1+b2: armhf s390x
1.17.0-1+b1 [debports]: ppc64
Package libcoq-mathcomp-zify
- sid (unstable) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.5.0+2.0+8.16-2: amd64 arm64 i386 ppc64el riscv64
1.5.0+2.0+8.16-1+b2: armhf s390x
1.3.0+1.12+8.13-1+b1 [debports]: ppc64
Package libcoq-menhirlib
- sid (unstable) (ocaml):
support library for Coq-verified Menhir parsers
20231231+ds-3: amd64 arm64 armhf i386 ppc64el riscv64 s390x
20230608+ds-1+b2 [debports]: ppc64
Package libcoq-mtac2
- sid (unstable) (ocaml):
Mtac2 tactic language for Coq
1.4+8.19-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
1.4+8.17-1+b1 [debports]: ppc64
Package libcoq-mtac2-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-mtac2
1.4+8.17-1+b1 [debports]: ppc64 riscv64
Package libcoq-ocaml
- sid (unstable) (ocaml):
runtime libraries for Coq
8.12.0-3+b3 [debports]: alpha hppa ia64 sh4 sparc64 x32
Package libcoq-ocaml-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-ocaml
8.12.0-3+b3 [debports]: alpha hppa ia64 sh4 sparc64 x32
Package libcoq-ocaml-dev
- sid (unstable) (ocaml):
development libraries and tools for Coq
8.12.0-3+b3 [debports]: alpha hppa ia64 sh4 sparc64 x32
Package libcoq-ott
- sid (unstable) (ocaml):
Ott tool (Coq plugin)
0.33+ds-3: amd64 arm64 armhf i386 ppc64el riscv64 s390x
0.33+ds-1+b1 [debports]: ppc64
Package libcoq-paramcoq
- sid (unstable) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.19-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
1.1.3+coq8.17-2 [debports]: ppc64
Package libcoq-paramcoq-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-paramcoq
1.1.3+coq8.17-2 [debports]: ppc64 riscv64
Package libcoq-quickchick
- sid (unstable) (ocaml):
randomized testing framework for Coq (plugin)
2.0.3-2: amd64 arm64 i386 ppc64el riscv64
2.0.2-1+b2: armhf s390x
2.0-2+b1 [debports]: ppc64
Package libcoq-quickchick-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-quickchick
2.0-2+b1 [debports]: ppc64 riscv64
Package libcoq-record-update
- sid (unstable) (ocaml):
automatic record fields updaters for Coq
0.3.4-2: amd64 arm64 armhf i386 ppc64el riscv64 s390x
0.3.2-1+b2 [debports]: ppc64
Package libcoq-reduction-effects
- sid (unstable) (ocaml):
reduction effects for Coq
0.1.5-4+b1: armhf riscv64 s390x
0.1.5-4: amd64 arm64 i386 ppc64el
0.1.4-4+b2 [debports]: ppc64
Package libcoq-reduction-effects-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-reduction-effects
0.1.4-4+b2 [debports]: ppc64 riscv64
Package libcoq-reglang
- sid (unstable) (ocaml):
representation of regular languages in Coq
1.2.1-3: amd64 arm64 i386 ppc64el riscv64
1.2.1-1+b2: armhf s390x
1.1.3-4+b1 [debports]: ppc64
Package libcoq-relation-algebra
- sid (unstable) (ocaml):
relation algebra for Coq
1.7.10-3: amd64 arm64 i386 ppc64el riscv64
1.7.9-2+b2: armhf s390x
1.7.9-1+b2 [debports]: ppc64
Package libcoq-relation-algebra-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-relation-algebra
1.7.9-1+b2 [debports]: ppc64
1.7.9-1+b1 [debports]: riscv64
Package libcoq-simple-io
- sid (unstable) (ocaml):
Coq plugin for purely functional IO
1.9.0-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
1.8.0-3+b2 [debports]: ppc64
Package libcoq-simple-io-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-simple-io
1.8.0-3+b2 [debports]: ppc64
1.8.0-3+b1 [debports]: riscv64
Package libcoq-stdlib
- sid (unstable) (math):
proof assistant for higher-order logic (theories)
8.19.1+dfsg-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
8.17.0+dfsg-1+b2 [debports]: ppc64
Package libcoq-stdpp
- sid (unstable) (ocaml):
Extended standard library for Coq
1.10.0-1+b1: armhf riscv64 s390x
1.10.0-1: amd64 arm64 i386 ppc64el
1.8.0-4+b2 [debports]: ppc64
Package libcoq-unicoq
- sid (unstable) (ocaml):
enhanced unification algorithm for Coq
1.6-8.19-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
1.6-8.17-1+b1 [debports]: ppc64
Package libcoq-unicoq-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-unicoq
1.6-8.17-1+b2 [debports]: riscv64
1.6-8.17-1+b1 [debports]: ppc64
Package libcoq-unimath
- sid (unstable) (ocaml):
univalent formalization of mathematics for Coq
20240331-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
20230420-4+b1 [debports]: ppc64
Package libssreflect-coq
- sid (unstable):
Virtual package
provided by: libcoq-mathcomp
Package pycoqc
- sid (unstable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all
Package why3-coq
- sid (unstable) (math):
Coq support for the why3 verification platform
1.3.3-3 [debports]: x32