Şu takıma sınırla: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Mimariye sınırla: [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]
Tüm mimarilerde ara
Bazı sonuçlar arama parametrelerinden dolayı görüntülenemedi.
tüm takımlar takımının tüm bölümler bölümlerinde ve mimari(ler) armhf mimarilerinde, coq sözünü barındıran paketler aradınız 71 eşleşen paket bulundu.
Tam eşleşmeler
coq Paketi
- buster (oldoldstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.9.0-1: armhf - bullseye (oldstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.12.0-3+b3: armhf - bookworm (stable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.16.1+dfsg-1+b2: armhf - trixie (testing) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.19.1+dfsg-2: armhf - sid (unstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.19.1+dfsg-2: armhf
Diğer eşleşmeler
coq-doc Paketi
- bookworm (stable) (doc):
documentation for Coq [non-free]
8.16.1-1: all - trixie (testing) (doc):
documentation for Coq [non-free]
8.19.1-2: all - sid (unstable) (doc):
documentation for Coq [non-free]
8.19.1-2: all
coq-doc-html Paketi
- 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-2: all - sid (unstable) (doc):
documentation for Coq in html format [non-free]
8.19.1-2: all
coq-doc-pdf Paketi
- 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-2: all - sid (unstable) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-2: all
coq-dpdgraph-tools Paketi
- bookworm (stable) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.16-2+b1: armhf - trixie (testing) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.19-1+b1: armhf - sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.19-1+b1: armhf
coq-serapi Paketi
- trixie (testing) (ocaml):
interaction with Coq (utils)
8.19.0+0.19.3-3: armhf - sid (unstable) (ocaml):
interaction with Coq (utils)
8.19.0+0.19.3-3: armhf
coq-theories Paketi
- buster (oldoldstable) (math):
proof assistant for higher-order logic (theories)
8.9.0-1: armhf - bullseye (oldstable) (math):
proof assistant for higher-order logic (theories)
8.12.0-3+b3: armhf
coqide Paketi
- bullseye (oldstable) (math):
proof assistant for higher-order logic (gtk interface)
8.12.0-3+b3: armhf - bookworm (stable) (math):
proof assistant for higher-order logic (gtk interface)
8.16.1+dfsg-1+b2: armhf - trixie (testing) (math):
proof assistant for higher-order logic (gtk interface)
8.19.1+dfsg-2: armhf - sid (unstable) (math):
proof assistant for higher-order logic (gtk interface)
8.19.1+dfsg-2: armhf
coqprime-tools Paketi
- bookworm (stable) (ocaml):
Primality certification for Coq (tools)
8.15-2+b1: armhf - trixie (testing) (ocaml):
Primality certification for Coq (tools)
8.19-1+b2: armhf - sid (unstable) (ocaml):
Primality certification for Coq (tools)
8.19-1+b2: armhf
debian-coq-tools Paketi
- 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
dh-coq Paketi
- 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
libcoq-aac-tactics Paketi
- bookworm (stable) (math):
Coq tactics for reasoning modulo AC (theories)
8.17.0-1+b2: armhf - trixie (testing) (math):
Coq tactics for reasoning modulo AC (theories)
8.19.1-1+b1: armhf - sid (unstable) (math):
Coq tactics for reasoning modulo AC (theories)
8.19.1-1+b1: armhf
libcoq-bignums Paketi
- bookworm (stable) (ocaml):
Coq library for big numbers
8.17.0-2+b1: armhf - trixie (testing) (ocaml):
Coq library for big numbers
9.0.0+coq8.20-1: armhf - sid (unstable) (ocaml):
Coq library for big numbers
9.0.0+coq8.20-1: armhf
libcoq-coqeal Paketi
- bookworm (stable) (ocaml):
algebra and data structure algorithms for Coq
1.1.1-3+b1: armhf - trixie (testing) (ocaml):
algebra and data structure algorithms for Coq
2.0.2-1+b2: armhf - sid (unstable) (ocaml):
algebra and data structure algorithms for Coq
2.0.2-1+b2: armhf
libcoq-coqprime Paketi
- bookworm (stable) (ocaml):
Primality certification for Coq (library)
8.15-2+b1: armhf - trixie (testing) (ocaml):
Primality certification for Coq (library)
8.19-1+b2: armhf - sid (unstable) (ocaml):
Primality certification for Coq (library)
8.19-1+b2: armhf
libcoq-coquelicot Paketi
- bookworm (stable) (ocaml):
Coq library for real analysis
3.2.0-8+b1: armhf - trixie (testing) (ocaml):
Coq library for real analysis
3.4.1-2+b1: armhf - sid (unstable) (ocaml):
Coq library for real analysis
3.4.1-2+b1: armhf
libcoq-core-ocaml Paketi
- bookworm (stable) (ocaml):
runtime libraries for Coq
8.16.1+dfsg-1+b2: armhf - trixie (testing) (ocaml):
runtime libraries for Coq
8.19.1+dfsg-2: armhf - sid (unstable) (ocaml):
runtime libraries for Coq
8.19.1+dfsg-2: armhf
libcoq-core-ocaml-dev Paketi
- bookworm (stable) (ocaml):
development libraries and tools for Coq
8.16.1+dfsg-1+b2: armhf - trixie (testing) (ocaml):
development libraries and tools for Coq
8.19.1+dfsg-2: armhf - sid (unstable) (ocaml):
development libraries and tools for Coq
8.19.1+dfsg-2: armhf
libcoq-corn Paketi
- bookworm (stable) (ocaml):
Coq Constructive Repository at Nijmegen
8.16.0-2+b1: armhf - trixie (testing) (ocaml):
Coq Constructive Repository at Nijmegen
8.19.0+ds1-1+b2: armhf - sid (unstable) (ocaml):
Coq Constructive Repository at Nijmegen
8.19.0+ds1-1+b2: armhf
libcoq-deriving Paketi
- bookworm (stable) (ocaml):
deriving MathComp classes from inductive types
0.1.0-2+b1: armhf - trixie (testing) (ocaml):
deriving MathComp classes from inductive types
0.2.0-2+b1: armhf - sid (unstable) (ocaml):
deriving MathComp classes from inductive types
0.2.0-2+b1: armhf
libcoq-dpdgraph Paketi
- bookworm (stable) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.16-2+b1: armhf - trixie (testing) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.19-1+b1: armhf - sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.19-1+b1: armhf
libcoq-elpi Paketi
- trixie (testing) (ocaml):
Coq plugin embedding Elpi
2.1.0-1+b1: armhf - sid (unstable) (ocaml):
Coq plugin embedding Elpi
2.1.0-1+b1: armhf
libcoq-equations Paketi
- bookworm (stable) (ocaml):
Coq library to work with functions defined by equations
1.3-8.16-2+b1: armhf - trixie (testing) (ocaml):
Coq library to work with functions defined by equations
1.3-8.19-1+b1: armhf - sid (unstable) (ocaml):
Coq library to work with functions defined by equations
1.3-8.19-1+b1: armhf
libcoq-ext-lib Paketi
- bookworm (stable) (ocaml):
Collection of theories and plugins for Coq
0.11.7-2+b1: armhf - trixie (testing) (ocaml):
Collection of theories and plugins for Coq
0.12.1-1+b1: armhf - sid (unstable) (ocaml):
Collection of theories and plugins for Coq
0.12.1-1+b1: armhf
libcoq-extructures Paketi
- bookworm (stable) (ocaml):
data structures with extensional reasoning for Coq
0.3.1-3+b1: armhf - trixie (testing) (ocaml):
data structures with extensional reasoning for Coq
0.4.0-3+b2: armhf - sid (unstable) (ocaml):
data structures with extensional reasoning for Coq
0.4.0-3+b2: armhf
libcoq-flocq Paketi
- bookworm (stable) (ocaml):
Floating-point arithmetic for Coq
4.1.0-3+b1: armhf - trixie (testing) (ocaml):
Floating-point arithmetic for Coq
4.1.4-1+b1: armhf - sid (unstable) (ocaml):
Floating-point arithmetic for Coq
4.1.4-1+b1: armhf
libcoq-gappa Paketi
- bookworm (stable) (math):
Coq tactic to use Gappa for floating-point goals
1.5.2-5+b1: armhf - trixie (testing) (math):
Coq tactic to use Gappa for floating-point goals
1.5.5-1+b1: armhf - sid (unstable) (math):
Coq tactic to use Gappa for floating-point goals
1.5.5-1+b1: armhf
libcoq-hammer Paketi
- bookworm (stable) (ocaml):
automated reasoning tool for Coq
1.3.2+8.16-2+b1: armhf - trixie (testing) (ocaml):
automated reasoning tool for Coq
1.3.2+8.19-1+b1: armhf - sid (unstable) (ocaml):
automated reasoning tool for Coq
1.3.2+8.19-1+b1: armhf
libcoq-hierarchy-builder Paketi
- trixie (testing) (ocaml):
build hierarchies of algebraic structures in Coq
1.7.0-1+b1: armhf - sid (unstable) (ocaml):
build hierarchies of algebraic structures in Coq
1.7.0-1+b1: armhf
libcoq-hott Paketi
- bookworm (stable) (ocaml):
Coq library for homotopy type theory
8.16-2+b1: armhf - trixie (testing) (ocaml):
Coq library for homotopy type theory
8.19-1+b1: armhf - sid (unstable) (ocaml):
Coq library for homotopy type theory
8.19-1+b1: armhf
libcoq-interval Paketi
- bookworm (stable) (ocaml):
interval arithmetic for Coq
4.6.1-2+b1: armhf - trixie (testing) (ocaml):
interval arithmetic for Coq
4.11.0-1+b2: armhf - sid (unstable) (ocaml):
interval arithmetic for Coq
4.11.0-1+b2: armhf
libcoq-iris Paketi
- bookworm (stable) (ocaml):
high-order concurrent separation logic framework for Coq
4.0.0-3+b1: armhf - trixie (testing) (ocaml):
high-order concurrent separation logic framework for Coq
4.2.0-2+b1: armhf - sid (unstable) (ocaml):
high-order concurrent separation logic framework for Coq
4.2.0-2+b1: armhf
libcoq-libhyps Paketi
- bookworm (stable) (ocaml):
Tactics on hypotheses in Coq
2.0.6-2+b1: armhf - trixie (testing) (ocaml):
Tactics on hypotheses in Coq
2.0.8-3+b1: armhf - sid (unstable) (ocaml):
Tactics on hypotheses in Coq
2.0.8-3+b1: armhf
libcoq-math-classes Paketi
- bookworm (stable) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.15.0-4+b1: armhf - trixie (testing) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.19.0-1+b2: armhf - sid (unstable) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.19.0-1+b2: armhf
libcoq-mathcomp Paketi
- bookworm (stable) (math):
Mathematical Components library for Coq (all)
1.15.0-1+b4: armhf - trixie (testing) (math):
Mathematical Components library for Coq (all)
2.2.0-1+b1: armhf - sid (unstable) (math):
Mathematical Components library for Coq (all)
2.2.0-1+b1: armhf
libcoq-mathcomp-abel Paketi
- bookworm (stable) (ocaml):
Abel-Galois and Abel-Ruffini theorems for Mathematical Components
1.2.1-1+b3: armhf
libcoq-mathcomp-algebra Paketi
- bookworm (stable) (math):
Mathematical Components library for Coq (algebra)
1.15.0-1+b4: armhf - trixie (testing) (math):
Mathematical Components library for Coq (algebra)
2.2.0-1+b1: armhf - sid (unstable) (math):
Mathematical Components library for Coq (algebra)
2.2.0-1+b1: armhf
libcoq-mathcomp-algebra-tactics Paketi
- trixie (testing) (ocaml):
Ring and field tactics for Mathematical Components
1.2.3-3+b1: armhf - sid (unstable) (ocaml):
Ring and field tactics for Mathematical Components
1.2.3-3+b1: armhf
libcoq-mathcomp-analysis Paketi
- trixie (testing) (ocaml):
analysis extension for Mathematical Components
1.2.0-1+b1: armhf - sid (unstable) (ocaml):
analysis extension for Mathematical Components
1.2.0-1+b1: armhf
libcoq-mathcomp-bigenough Paketi
- bookworm (stable) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-8+b4: armhf - trixie (testing) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-13+b1: armhf - sid (unstable) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-13+b1: armhf
libcoq-mathcomp-character Paketi
- bookworm (stable) (math):
Mathematical Components library for Coq (character)
1.15.0-1+b4: armhf - trixie (testing) (math):
Mathematical Components library for Coq (character)
2.2.0-1+b1: armhf - sid (unstable) (math):
Mathematical Components library for Coq (character)
2.2.0-1+b1: armhf
libcoq-mathcomp-classical Paketi
- trixie (testing) (ocaml):
classical logic extension for Mathematical Components
1.2.0-1+b1: armhf - sid (unstable) (ocaml):
classical logic extension for Mathematical Components
1.2.0-1+b1: armhf
libcoq-mathcomp-field Paketi
- bookworm (stable) (math):
Mathematical Components library for Coq (field)
1.15.0-1+b4: armhf - trixie (testing) (math):
Mathematical Components library for Coq (field)
2.2.0-1+b1: armhf - sid (unstable) (math):
Mathematical Components library for Coq (field)
2.2.0-1+b1: armhf
libcoq-mathcomp-fingroup Paketi
- bookworm (stable) (math):
Mathematical Components library for Coq (finite groups)
1.15.0-1+b4: armhf - trixie (testing) (math):
Mathematical Components library for Coq (finite groups)
2.2.0-1+b1: armhf - sid (unstable) (math):
Mathematical Components library for Coq (finite groups)
2.2.0-1+b1: armhf
libcoq-mathcomp-finmap Paketi
- bookworm (stable) (ocaml):
finite sets and maps extension for Mathematical Components
1.5.2-1+b4: armhf - trixie (testing) (ocaml):
finite sets and maps extension for Mathematical Components
2.1.0-1+b1: armhf - sid (unstable) (ocaml):
finite sets and maps extension for Mathematical Components
2.1.0-1+b1: armhf
libcoq-mathcomp-multinomials Paketi
- bookworm (stable) (ocaml):
Multivariate polynomials for Mathematical Components
1.5.5-8+b5: armhf - trixie (testing) (ocaml):
Multivariate polynomials for Mathematical Components
2.2.0-2+b1: armhf - sid (unstable) (ocaml):
Multivariate polynomials for Mathematical Components
2.2.0-2+b1: armhf
libcoq-mathcomp-real-closed Paketi
- bookworm (stable) (ocaml):
Real closed fields for Mathematical Components
1.1.3-1+b4: armhf - trixie (testing) (ocaml):
Real closed fields for Mathematical Components
2.0.0-2+b1: armhf - sid (unstable) (ocaml):
Real closed fields for Mathematical Components
2.0.0-2+b1: armhf
libcoq-mathcomp-solvable Paketi
- bookworm (stable) (math):
Mathematical Components library for Coq (finite groups II)
1.15.0-1+b4: armhf - trixie (testing) (math):
Mathematical Components library for Coq (finite groups II)
2.2.0-1+b1: armhf - sid (unstable) (math):
Mathematical Components library for Coq (finite groups II)
2.2.0-1+b1: armhf
libcoq-mathcomp-ssreflect Paketi
- bookworm (stable) (math):
Mathematical Components library for Coq (small scale reflection)
1.15.0-1+b4: armhf - trixie (testing) (math):
Mathematical Components library for Coq (small scale reflection)
2.2.0-1+b1: armhf - sid (unstable) (math):
Mathematical Components library for Coq (small scale reflection)
2.2.0-1+b1: armhf
libcoq-mathcomp-zify Paketi
- bookworm (stable) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.2.0+1.12+8.13-6+b4: armhf - trixie (testing) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.5.0+2.0+8.16-2+b1: armhf - sid (unstable) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.5.0+2.0+8.16-2+b1: armhf
libcoq-menhirlib Paketi
- bookworm (stable) (ocaml):
support library for Coq-verified Menhir parsers
20220210+ds-4+b1: armhf - trixie (testing) (ocaml):
support library for Coq-verified Menhir parsers
20231231+ds-3+b1: armhf - sid (unstable) (ocaml):
support library for Coq-verified Menhir parsers
20231231+ds-3+b1: armhf
libcoq-mtac2 Paketi
- bookworm (stable) (ocaml):
Mtac2 tactic language for Coq
1.4+8.16-2+b1: armhf - trixie (testing) (ocaml):
Mtac2 tactic language for Coq
1.4+8.19-1+b1: armhf - sid (unstable) (ocaml):
Mtac2 tactic language for Coq
1.4+8.19-1+b1: armhf
libcoq-ocaml Paketi
- buster (oldoldstable) (ocaml):
runtime libraries for Coq
8.9.0-1: armhf - bullseye (oldstable) (ocaml):
runtime libraries for Coq
8.12.0-3+b3: armhf
libcoq-ocaml-dev Paketi
- buster (oldoldstable) (ocaml):
development libraries and tools for Coq
8.9.0-1: armhf - bullseye (oldstable) (ocaml):
development libraries and tools for Coq
8.12.0-3+b3: armhf
libcoq-ott Paketi
- bookworm (stable) (ocaml):
Ott tool (Coq plugin)
0.32+ds-3+b1: armhf - trixie (testing) (ocaml):
Ott tool (Coq plugin)
0.33+ds-3+b1: armhf - sid (unstable) (ocaml):
Ott tool (Coq plugin)
0.33+ds-3+b1: armhf
libcoq-paramcoq Paketi
- bookworm (stable) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.16-3+b1: armhf - trixie (testing) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.19-1+b1: armhf - sid (unstable) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.19-1+b1: armhf
libcoq-quickchick Paketi
- bookworm (stable) (ocaml):
randomized testing framework for Coq (plugin)
1.6.4-3+b1: armhf - trixie (testing) (ocaml):
randomized testing framework for Coq (plugin)
2.0.3-2+b1: armhf - sid (unstable) (ocaml):
randomized testing framework for Coq (plugin)
2.0.3-2+b1: armhf
libcoq-record-update Paketi
- bookworm (stable) (ocaml):
automatic record fields updaters for Coq
0.3.1-2+b1: armhf - trixie (testing) (ocaml):
automatic record fields updaters for Coq
0.3.4-2+b1: armhf - sid (unstable) (ocaml):
automatic record fields updaters for Coq
0.3.4-2+b1: armhf
libcoq-reduction-effects Paketi
- bookworm (stable) (ocaml):
reduction effects for Coq
0.1.4-3+b1: armhf - trixie (testing) (ocaml):
reduction effects for Coq
0.1.5-4+b2: armhf - sid (unstable) (ocaml):
reduction effects for Coq
0.1.5-4+b2: armhf
libcoq-reglang Paketi
- bookworm (stable) (ocaml):
representation of regular languages in Coq
1.1.3-2+b1: armhf - trixie (testing) (ocaml):
representation of regular languages in Coq
1.2.1-3+b1: armhf - sid (unstable) (ocaml):
representation of regular languages in Coq
1.2.1-3+b1: armhf
libcoq-relation-algebra Paketi
- bookworm (stable) (ocaml):
relation algebra for Coq
1.7.8-2+b1: armhf - trixie (testing) (ocaml):
relation algebra for Coq
1.7.10-3+b2: armhf - sid (unstable) (ocaml):
relation algebra for Coq
1.7.10-3+b2: armhf
libcoq-serapi-ocaml Paketi
- trixie (testing) (ocaml):
interaction with Coq (runtime)
8.19.0+0.19.3-3: armhf - sid (unstable) (ocaml):
interaction with Coq (runtime)
8.19.0+0.19.3-3: armhf
libcoq-serapi-ocaml-dev Paketi
- trixie (testing) (ocaml):
interaction with Coq (devel)
8.19.0+0.19.3-3: armhf - sid (unstable) (ocaml):
interaction with Coq (devel)
8.19.0+0.19.3-3: armhf
libcoq-simple-io Paketi
- bookworm (stable) (ocaml):
Coq plugin for purely functional IO
1.8.0-2+b1: armhf - trixie (testing) (ocaml):
Coq plugin for purely functional IO
1.9.0-1+b1: armhf - sid (unstable) (ocaml):
Coq plugin for purely functional IO
1.9.0-1+b1: armhf
libcoq-stdlib Paketi
- bookworm (stable) (math):
proof assistant for higher-order logic (theories)
8.16.1+dfsg-1+b2: armhf - trixie (testing) (math):
proof assistant for higher-order logic (theories)
8.19.1+dfsg-2: armhf - sid (unstable) (math):
proof assistant for higher-order logic (theories)
8.19.1+dfsg-2: armhf
libcoq-stdpp Paketi
- bookworm (stable) (ocaml):
Extended standard library for Coq
1.8.0-3+b1: armhf - trixie (testing) (ocaml):
Extended standard library for Coq
1.10.0-1+b2: armhf - sid (unstable) (ocaml):
Extended standard library for Coq
1.10.0-1+b2: armhf
libcoq-unicoq Paketi
- bookworm (stable) (ocaml):
enhanced unification algorithm for Coq
1.6-8.16-2+b1: armhf - trixie (testing) (ocaml):
enhanced unification algorithm for Coq
1.6-8.19-1+b1: armhf - sid (unstable) (ocaml):
enhanced unification algorithm for Coq
1.6-8.19-1+b1: armhf
libcoq-unimath Paketi
- bookworm (stable) (ocaml):
univalent formalization of mathematics for Coq
20220816-2+b1: armhf - trixie (testing) (ocaml):
univalent formalization of mathematics for Coq
20240331-1+b1: armhf - sid (unstable) (ocaml):
univalent formalization of mathematics for Coq
20240331-1+b1: armhf
libssreflect-coq Paketi
- bullseye (oldstable) (math):
Mathematical Components library for Coq
1.12.0-1: all - bookworm (stable):
Sanal paket
sağlayan: libcoq-mathcomp - trixie (testing):
Sanal paket
sağlayan: libcoq-mathcomp - sid (unstable):
Sanal paket
sağlayan: libcoq-mathcomp
pycoqc Paketi
- 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
why3-coq Paketi
- buster (oldoldstable) (math):
Coq support for the why3 verification platform
1.2.0-1: armhf - bullseye (oldstable) (math):
Coq support for the why3 verification platform
1.3.3-1+b4: armhf