Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
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]
Search in all architectures
Some results have not been displayed due to the search parameters.
You have searched for packages that names contain coq in all suites, all sections, and architecture(s) ppc64el. Found 72 matching packages.
Exact hits
Package coq
- bullseye (oldstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.12.0-3+b3: ppc64el - bookworm (stable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.16.1+dfsg-1+b2: ppc64el - trixie (testing) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.18.0+dfsg-1: ppc64el - sid (unstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.19.1+dfsg-1: ppc64el
Other hits
Package coq-doc
- bookworm (stable) (doc):
documentation for Coq [non-free]
8.16.1-1: all - trixie (testing) (doc):
documentation for Coq [non-free]
8.19.1-1: all - sid (unstable) (doc):
documentation for Coq [non-free]
8.19.1-1: all
Package coq-doc-html
- bookworm (stable) (doc):
documentation for Coq in html format [non-free]
8.16.1-1: all - trixie (testing) (doc):
documentation for Coq in html format [non-free]
8.19.1-1: all - sid (unstable) (doc):
documentation for Coq in html format [non-free]
8.19.1-1: all
Package coq-doc-pdf
- bookworm (stable) (doc):
documentation for Coq in pdf format [non-free]
8.16.1-1: all - trixie (testing) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-1: all - sid (unstable) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-1: all
Package coq-dpdgraph-tools
- bookworm (stable) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.16-2+b1: ppc64el - trixie (testing) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.18-1: ppc64el - sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.19-1: ppc64el
Package coq-hierarchy-builder
- bookworm (stable) (ocaml):
build hierarchies of algebraic structures in Coq (tool)
1.4.0-2+b6: ppc64el - trixie (testing) (ocaml):
build hierarchies of algebraic structures in Coq (tool)
1.6.0-1+b1: ppc64el
Package coq-serapi
- sid (unstable) (ocaml):
interaction with Coq (utils)
8.19.0+0.19.3-2: ppc64el
Package coq-theories
- bullseye (oldstable) (math):
assistente de provas para lógica de ordem superior (teorias)
8.12.0-3+b3: ppc64el
Package coqide
- bullseye (oldstable) (math):
assistente de prova para lógica de ordem superior (interface gtk)
8.12.0-3+b3: ppc64el - bookworm (stable) (math):
assistente de prova para lógica de ordem superior (interface gtk)
8.16.1+dfsg-1+b2: ppc64el - trixie (testing) (math):
assistente de prova para lógica de ordem superior (interface gtk)
8.18.0+dfsg-1: ppc64el - sid (unstable) (math):
assistente de prova para lógica de ordem superior (interface gtk)
8.19.1+dfsg-1: ppc64el
Package coqprime-tools
- bookworm (stable) (ocaml):
Primality certification for Coq (tools)
8.15-2+b1: ppc64el - trixie (testing) (ocaml):
Primality certification for Coq (tools)
8.18-1: ppc64el - sid (unstable) (ocaml):
Primality certification for Coq (tools)
8.19-1: ppc64el
Package debian-coq-tools
- bookworm (stable) (ocaml):
various tools to manage Coq-related Debian packages
0.5: all - trixie (testing) (ocaml):
various tools to manage Coq-related Debian packages
0.9: all - sid (unstable) (ocaml):
various tools to manage Coq-related Debian packages
0.9: all
Package dh-coq
- bookworm (stable) (ocaml):
debhelper tool for Coq-related Debian packages
0.5: all - trixie (testing) (ocaml):
debhelper tool for Coq-related Debian packages
0.9: all - sid (unstable) (ocaml):
debhelper tool for Coq-related Debian packages
0.9: all
Package libcoq-aac-tactics
- bookworm (stable) (math):
Coq tactics for reasoning modulo AC (theories)
8.17.0-1+b2: ppc64el - trixie (testing) (math):
Coq tactics for reasoning modulo AC (theories)
8.18.0-1: ppc64el - sid (unstable) (math):
Coq tactics for reasoning modulo AC (theories)
8.19.1-1: ppc64el
Package libcoq-bignums
- bookworm (stable) (ocaml):
Coq library for big numbers
8.17.0-2+b1: ppc64el - trixie (testing) (ocaml):
Coq library for big numbers
9.0.0+coq8.18-1: ppc64el - sid (unstable) (ocaml):
Coq library for big numbers
9.0.0+coq8.19-1: ppc64el
Package libcoq-coqeal
- bookworm (stable) (ocaml):
algebra and data structure algorithms for Coq
1.1.1-3+b1: ppc64el - trixie (testing) (ocaml):
algebra and data structure algorithms for Coq
2.0.1-1+b1: ppc64el - sid (unstable) (ocaml):
algebra and data structure algorithms for Coq
2.0.2-1+b1: ppc64el
Package libcoq-coqprime
- bookworm (stable) (ocaml):
Primality certification for Coq (library)
8.15-2+b1: ppc64el - trixie (testing) (ocaml):
Primality certification for Coq (library)
8.18-1: ppc64el - sid (unstable) (ocaml):
Primality certification for Coq (library)
8.19-1: ppc64el
Package libcoq-coquelicot
- bookworm (stable) (ocaml):
Coq library for real analysis
3.2.0-8+b1: ppc64el - trixie (testing) (ocaml):
Coq library for real analysis
3.4.1-1+b1: ppc64el - sid (unstable) (ocaml):
Coq library for real analysis
3.4.1-2+b1: ppc64el
Package libcoq-core-ocaml
- bookworm (stable) (ocaml):
runtime libraries for Coq
8.16.1+dfsg-1+b2: ppc64el - trixie (testing) (ocaml):
runtime libraries for Coq
8.18.0+dfsg-1: ppc64el - sid (unstable) (ocaml):
runtime libraries for Coq
8.19.1+dfsg-1: ppc64el
Package libcoq-core-ocaml-dev
- bookworm (stable) (ocaml):
development libraries and tools for Coq
8.16.1+dfsg-1+b2: ppc64el - trixie (testing) (ocaml):
development libraries and tools for Coq
8.18.0+dfsg-1: ppc64el - sid (unstable) (ocaml):
development libraries and tools for Coq
8.19.1+dfsg-1: ppc64el
Package libcoq-corn
- bookworm (stable) (ocaml):
Coq Constructive Repository at Nijmegen
8.16.0-2+b1: ppc64el - trixie (testing) (ocaml):
Coq Constructive Repository at Nijmegen
8.18.0-1: ppc64el - sid (unstable) (ocaml):
Coq Constructive Repository at Nijmegen
8.19.0+ds1-1: ppc64el
Package libcoq-deriving
- bookworm (stable) (ocaml):
deriving MathComp classes from inductive types
0.1.0-2+b1: ppc64el - trixie (testing) (ocaml):
deriving MathComp classes from inductive types
0.2.0-1+b1: ppc64el - sid (unstable) (ocaml):
deriving MathComp classes from inductive types
0.2.0-2+b1: ppc64el
Package libcoq-dpdgraph
- bookworm (stable) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.16-2+b1: ppc64el - trixie (testing) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.18-1: ppc64el - sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.19-1: ppc64el
Package libcoq-elpi
- bookworm (stable) (ocaml):
Coq plugin embedding Elpi
1.16.0-2+b1: ppc64el - trixie (testing) (ocaml):
Coq plugin embedding Elpi
1.19.3-2+b1: ppc64el - sid (unstable) (ocaml):
Coq plugin embedding Elpi
2.1.0-1+b1: ppc64el
Package libcoq-equations
- bookworm (stable) (ocaml):
Coq library to work with functions defined by equations
1.3-8.16-2+b1: ppc64el - trixie (testing) (ocaml):
Coq library to work with functions defined by equations
1.3-8.18-1: ppc64el - sid (unstable) (ocaml):
Coq library to work with functions defined by equations
1.3-8.19-1: ppc64el
Package libcoq-ext-lib
- bookworm (stable) (ocaml):
Collection of theories and plugins for Coq
0.11.7-2+b1: ppc64el - trixie (testing) (ocaml):
Collection of theories and plugins for Coq
0.12.0-1: ppc64el - sid (unstable) (ocaml):
Collection of theories and plugins for Coq
0.12.1-1: ppc64el
Package libcoq-extructures
- bookworm (stable) (ocaml):
data structures with extensional reasoning for Coq
0.3.1-3+b1: ppc64el - trixie (testing) (ocaml):
data structures with extensional reasoning for Coq
0.4.0-1+b1: ppc64el - sid (unstable) (ocaml):
data structures with extensional reasoning for Coq
0.4.0-3+b1: ppc64el
Package libcoq-flocq
- bookworm (stable) (ocaml):
Floating-point arithmetic for Coq
4.1.0-3+b1: ppc64el - trixie (testing) (ocaml):
Floating-point arithmetic for Coq
4.1.3-1: ppc64el - sid (unstable) (ocaml):
Floating-point arithmetic for Coq
4.1.4-1: ppc64el
Package libcoq-gappa
- bookworm (stable) (math):
Coq tactic to use Gappa for floating-point goals
1.5.2-5+b1: ppc64el - trixie (testing) (math):
Coq tactic to use Gappa for floating-point goals
1.5.4-1: ppc64el - sid (unstable) (math):
Coq tactic to use Gappa for floating-point goals
1.5.5-1: ppc64el
Package libcoq-hammer
- bookworm (stable) (ocaml):
automated reasoning tool for Coq
1.3.2+8.16-2+b1: ppc64el - trixie (testing) (ocaml):
automated reasoning tool for Coq
1.3.2+8.18-1: ppc64el - sid (unstable) (ocaml):
automated reasoning tool for Coq
1.3.2+8.19-1: ppc64el
Package libcoq-hierarchy-builder
- bookworm (stable) (ocaml):
build hierarchies of algebraic structures in Coq (runtime files)
1.4.0-2+b6: ppc64el - trixie (testing) (ocaml):
build hierarchies of algebraic structures in Coq (runtime files)
1.6.0-1+b1: ppc64el - sid (unstable) (ocaml):
build hierarchies of algebraic structures in Coq
1.7.0-1+b1: ppc64el
Package libcoq-hott
- bookworm (stable) (ocaml):
Coq library for homotopy type theory
8.16-2+b1: ppc64el - trixie (testing) (ocaml):
Coq library for homotopy type theory
8.18-3: ppc64el - sid (unstable) (ocaml):
Coq library for homotopy type theory
8.19-1: ppc64el
Package libcoq-interval
- bookworm (stable) (ocaml):
interval arithmetic for Coq
4.6.1-2+b1: ppc64el - trixie (testing) (ocaml):
interval arithmetic for Coq
4.9.0-1+b2: ppc64el - sid (unstable) (ocaml):
interval arithmetic for Coq
4.11.0-1: ppc64el
Package libcoq-iris
- bookworm (stable) (ocaml):
high-order concurrent separation logic framework for Coq
4.0.0-3+b1: ppc64el - trixie (testing) (ocaml):
high-order concurrent separation logic framework for Coq
4.1.0-1: ppc64el - sid (unstable) (ocaml):
high-order concurrent separation logic framework for Coq
4.2.0-2: ppc64el
Package libcoq-libhyps
- bookworm (stable) (ocaml):
Tactics on hypotheses in Coq
2.0.6-2+b1: ppc64el - trixie (testing) (ocaml):
Tactics on hypotheses in Coq
2.0.8-1: ppc64el - sid (unstable) (ocaml):
Tactics on hypotheses in Coq
2.0.8-3: ppc64el
Package libcoq-math-classes
- bookworm (stable) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.15.0-4+b1: ppc64el - trixie (testing) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.18.0-1: ppc64el - sid (unstable) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.19.0-1: ppc64el
Package libcoq-mathcomp
- bookworm (stable) (math):
Mathematical Components library for Coq (all)
1.15.0-1+b4: ppc64el - trixie (testing) (math):
Mathematical Components library for Coq (all)
2.1.0-1+b1: ppc64el - sid (unstable) (math):
Mathematical Components library for Coq (all)
2.2.0-1+b1: ppc64el
Package libcoq-mathcomp-abel
- bookworm (stable) (ocaml):
Abel-Galois and Abel-Ruffini theorems for Mathematical Components
1.2.1-1+b3: ppc64el
Package libcoq-mathcomp-algebra
- bookworm (stable) (math):
Mathematical Components library for Coq (algebra)
1.15.0-1+b4: ppc64el - trixie (testing) (math):
Mathematical Components library for Coq (algebra)
2.1.0-1+b1: ppc64el - sid (unstable) (math):
Mathematical Components library for Coq (algebra)
2.2.0-1+b1: ppc64el
Package libcoq-mathcomp-algebra-tactics
- bookworm (stable) (ocaml):
Ring and field tactics for Mathematical Components
1.0.0-8+b6: ppc64el - trixie (testing) (ocaml):
Ring and field tactics for Mathematical Components
1.2.3-1+b1: ppc64el - sid (unstable) (ocaml):
Ring and field tactics for Mathematical Components
1.2.3-3+b1: ppc64el
Package libcoq-mathcomp-analysis
- bookworm (stable) (ocaml):
analysis extension for Mathematical Components
0.6.0-2+b1: ppc64el - trixie (testing) (ocaml):
analysis extension for Mathematical Components
1.0.0-1+b1: ppc64el - sid (unstable) (ocaml):
analysis extension for Mathematical Components
1.2.0-1: ppc64el
Package libcoq-mathcomp-bigenough
- bookworm (stable) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-8+b4: ppc64el - trixie (testing) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-12+b1: ppc64el - sid (unstable) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-13+b1: ppc64el
Package libcoq-mathcomp-character
- bookworm (stable) (math):
Mathematical Components library for Coq (character)
1.15.0-1+b4: ppc64el - trixie (testing) (math):
Mathematical Components library for Coq (character)
2.1.0-1+b1: ppc64el - sid (unstable) (math):
Mathematical Components library for Coq (character)
2.2.0-1+b1: ppc64el
Package libcoq-mathcomp-classical
- trixie (testing) (ocaml):
classical logic extension for Mathematical Components
1.0.0-1+b1: ppc64el - sid (unstable) (ocaml):
classical logic extension for Mathematical Components
1.2.0-1: ppc64el
Package libcoq-mathcomp-field
- bookworm (stable) (math):
Mathematical Components library for Coq (field)
1.15.0-1+b4: ppc64el - trixie (testing) (math):
Mathematical Components library for Coq (field)
2.1.0-1+b1: ppc64el - sid (unstable) (math):
Mathematical Components library for Coq (field)
2.2.0-1+b1: ppc64el
Package libcoq-mathcomp-fingroup
- bookworm (stable) (math):
Mathematical Components library for Coq (finite groups)
1.15.0-1+b4: ppc64el - trixie (testing) (math):
Mathematical Components library for Coq (finite groups)
2.1.0-1+b1: ppc64el - sid (unstable) (math):
Mathematical Components library for Coq (finite groups)
2.2.0-1+b1: ppc64el
Package libcoq-mathcomp-finmap
- bookworm (stable) (ocaml):
finite sets and maps extension for Mathematical Components
1.5.2-1+b4: ppc64el - trixie (testing) (ocaml):
finite sets and maps extension for Mathematical Components
2.0.0-2+b1: ppc64el - sid (unstable) (ocaml):
finite sets and maps extension for Mathematical Components
2.1.0-1+b1: ppc64el
Package libcoq-mathcomp-multinomials
- bookworm (stable) (ocaml):
Multivariate polynomials for Mathematical Components
1.5.5-8+b5: ppc64el - trixie (testing) (ocaml):
Multivariate polynomials for Mathematical Components
2.2.0-1+b1: ppc64el - sid (unstable) (ocaml):
Multivariate polynomials for Mathematical Components
2.2.0-2+b1: ppc64el
Package libcoq-mathcomp-real-closed
- bookworm (stable) (ocaml):
Real closed fields for Mathematical Components
1.1.3-1+b4: ppc64el - trixie (testing) (ocaml):
Real closed fields for Mathematical Components
2.0.0-1+b1: ppc64el - sid (unstable) (ocaml):
Real closed fields for Mathematical Components
2.0.0-2+b1: ppc64el
Package libcoq-mathcomp-solvable
- bookworm (stable) (math):
Mathematical Components library for Coq (finite groups II)
1.15.0-1+b4: ppc64el - trixie (testing) (math):
Mathematical Components library for Coq (finite groups II)
2.1.0-1+b1: ppc64el - sid (unstable) (math):
Mathematical Components library for Coq (finite groups II)
2.2.0-1+b1: ppc64el
Package libcoq-mathcomp-ssreflect
- bookworm (stable) (math):
Mathematical Components library for Coq (small scale reflection)
1.15.0-1+b4: ppc64el - trixie (testing) (math):
Mathematical Components library for Coq (small scale reflection)
2.1.0-1+b1: ppc64el - sid (unstable) (math):
Mathematical Components library for Coq (small scale reflection)
2.2.0-1+b1: ppc64el
Package libcoq-mathcomp-zify
- bookworm (stable) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.2.0+1.12+8.13-6+b4: ppc64el - trixie (testing) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.5.0+2.0+8.16-1+b1: ppc64el - sid (unstable) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.5.0+2.0+8.16-2+b1: ppc64el
Package libcoq-menhirlib
- bookworm (stable) (ocaml):
support library for Coq-verified Menhir parsers
20220210+ds-4+b1: ppc64el - trixie (testing) (ocaml):
support library for Coq-verified Menhir parsers
20231231+ds-1: ppc64el - sid (unstable) (ocaml):
support library for Coq-verified Menhir parsers
20231231+ds-3: ppc64el
Package libcoq-mtac2
- bookworm (stable) (ocaml):
Mtac2 tactic language for Coq
1.4+8.16-2+b1: ppc64el - trixie (testing) (ocaml):
Mtac2 tactic language for Coq
1.4+8.18-1: ppc64el - sid (unstable) (ocaml):
Mtac2 tactic language for Coq
1.4+8.19-1: ppc64el
Package libcoq-ocaml
- bullseye (oldstable) (ocaml):
runtime libraries for Coq
8.12.0-3+b3: ppc64el
Package libcoq-ocaml-dev
- bullseye (oldstable) (ocaml):
development libraries and tools for Coq
8.12.0-3+b3: ppc64el
Package libcoq-ott
- bookworm (stable) (ocaml):
Ott tool (Coq plugin)
0.32+ds-3+b1: ppc64el - trixie (testing) (ocaml):
Ott tool (Coq plugin)
0.33+ds-2: ppc64el - sid (unstable) (ocaml):
Ott tool (Coq plugin)
0.33+ds-3: ppc64el
Package libcoq-paramcoq
- bookworm (stable) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.16-3+b1: ppc64el - trixie (testing) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.18-1: ppc64el - sid (unstable) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.19-1: ppc64el
Package libcoq-quickchick
- bookworm (stable) (ocaml):
randomized testing framework for Coq (plugin)
1.6.4-3+b1: ppc64el - trixie (testing) (ocaml):
randomized testing framework for Coq (plugin)
2.0.2-1+b1: ppc64el - sid (unstable) (ocaml):
randomized testing framework for Coq (plugin)
2.0.3-2+b1: ppc64el
Package libcoq-record-update
- bookworm (stable) (ocaml):
automatic record fields updaters for Coq
0.3.1-2+b1: ppc64el - trixie (testing) (ocaml):
automatic record fields updaters for Coq
0.3.3-1: ppc64el - sid (unstable) (ocaml):
automatic record fields updaters for Coq
0.3.4-2: ppc64el
Package libcoq-reduction-effects
- bookworm (stable) (ocaml):
reduction effects for Coq
0.1.4-3+b1: ppc64el - trixie (testing) (ocaml):
reduction effects for Coq
0.1.5-1: ppc64el - sid (unstable) (ocaml):
reduction effects for Coq
0.1.5-4: ppc64el
Package libcoq-reglang
- bookworm (stable) (ocaml):
representation of regular languages in Coq
1.1.3-2+b1: ppc64el - trixie (testing) (ocaml):
representation of regular languages in Coq
1.2.1-1+b1: ppc64el - sid (unstable) (ocaml):
representation of regular languages in Coq
1.2.1-3+b1: ppc64el
Package libcoq-relation-algebra
- bookworm (stable) (ocaml):
relation algebra for Coq
1.7.8-2+b1: ppc64el - trixie (testing) (ocaml):
relation algebra for Coq
1.7.9-2+b1: ppc64el - sid (unstable) (ocaml):
relation algebra for Coq
1.7.10-3+b2: ppc64el
Package libcoq-serapi-ocaml
- sid (unstable) (ocaml):
interaction with Coq (runtime)
8.19.0+0.19.3-2: ppc64el
Package libcoq-serapi-ocaml-dev
- sid (unstable) (ocaml):
interaction with Coq (devel)
8.19.0+0.19.3-2: ppc64el
Package libcoq-simple-io
- bookworm (stable) (ocaml):
Coq plugin for purely functional IO
1.8.0-2+b1: ppc64el - trixie (testing) (ocaml):
Coq plugin for purely functional IO
1.8.0-4: ppc64el - sid (unstable) (ocaml):
Coq plugin for purely functional IO
1.9.0-1: ppc64el
Package libcoq-stdlib
- bookworm (stable) (math):
assistente de provas para lógica de ordem superior (teorias)
8.16.1+dfsg-1+b2: ppc64el - trixie (testing) (math):
assistente de provas para lógica de ordem superior (teorias)
8.18.0+dfsg-1: ppc64el - sid (unstable) (math):
assistente de provas para lógica de ordem superior (teorias)
8.19.1+dfsg-1: ppc64el
Package libcoq-stdpp
- bookworm (stable) (ocaml):
Extended standard library for Coq
1.8.0-3+b1: ppc64el - trixie (testing) (ocaml):
Extended standard library for Coq
1.9.0-1: ppc64el - sid (unstable) (ocaml):
Extended standard library for Coq
1.10.0-1: ppc64el
Package libcoq-unicoq
- bookworm (stable) (ocaml):
enhanced unification algorithm for Coq
1.6-8.16-2+b1: ppc64el - trixie (testing) (ocaml):
enhanced unification algorithm for Coq
1.6-8.18-1: ppc64el - sid (unstable) (ocaml):
enhanced unification algorithm for Coq
1.6-8.19-1: ppc64el
Package libcoq-unimath
- bookworm (stable) (ocaml):
univalent formalization of mathematics for Coq
20220816-2+b1: ppc64el - trixie (testing) (ocaml):
univalent formalization of mathematics for Coq
20231010-1: ppc64el - sid (unstable) (ocaml):
univalent formalization of mathematics for Coq
20240331-1: ppc64el
Package libssreflect-coq
- bullseye (oldstable) (math):
Mathematical Components library for Coq
1.12.0-1: all - bookworm (stable):
Virtual package
provided by: libcoq-mathcomp - trixie (testing):
Virtual package
provided by: libcoq-mathcomp - sid (unstable):
Virtual package
provided by: libcoq-mathcomp
Package pycoqc
- bullseye (oldstable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-1: all - bookworm (stable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all - trixie (testing) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all - sid (unstable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all
Package why3-coq
- bullseye (oldstable) (math):
Coq support for the why3 verification platform
1.3.3-1+b4: ppc64el