Şu takıma sınırla: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Tüm takımlarda ara
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.
sid takımı takımının tüm bölümler bölümlerinde ve mimari(ler) ppc64 mimarilerinde, coq sözünü barındıran paketler aradınız 87 eşleşen paket bulundu.
Tam eşleşmeler
coq Paketi
- sid (unstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.19.1+dfsg-2 [debports]: ppc64
Diğer eşleşmeler
coq-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for coq
8.19.1+dfsg-2 [debports]: ppc64
coq-doc Paketi
- sid (unstable) (doc):
documentation for Coq [non-free]
8.19.1-2: all
coq-doc-html Paketi
- sid (unstable) (doc):
documentation for Coq in html format [non-free]
8.19.1-2: all
coq-doc-pdf Paketi
- sid (unstable) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-2: all
coq-dpdgraph-tools Paketi
- sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.19-1 [debports]: ppc64
coq-serapi Paketi
- sid (unstable) (ocaml):
interaction with Coq (utils)
8.19.0+0.19.3-3 [debports]: ppc64
coq-serapi-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for coq-serapi
8.19.0+0.19.3-3 [debports]: ppc64
coqide Paketi
- sid (unstable) (math):
proof assistant for higher-order logic (gtk interface)
8.19.1+dfsg-2 [debports]: ppc64
coqide-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for coqide
8.19.1+dfsg-2 [debports]: ppc64
coqprime-tools Paketi
- sid (unstable) (ocaml):
Primality certification for Coq (tools)
8.19-1+b1 [debports]: ppc64
coqprime-tools-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for coqprime-tools
8.19-1+b1 [debports]: ppc64
debian-coq-tools Paketi
- sid (unstable) (ocaml):
various tools to manage Coq-related Debian packages
0.9: all
dh-coq Paketi
- sid (unstable) (ocaml):
debhelper tool for Coq-related Debian packages
0.9: all
libcoq-aac-tactics Paketi
- sid (unstable) (math):
Coq tactics for reasoning modulo AC (theories)
8.19.1-1 [debports]: ppc64
libcoq-aac-tactics-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-aac-tactics
8.19.1-1 [debports]: ppc64
libcoq-bignums Paketi
- sid (unstable) (ocaml):
Coq library for big numbers
9.0.0+coq8.20-1 [debports]: ppc64
libcoq-bignums-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-bignums
9.0.0+coq8.20-1 [debports]: ppc64
libcoq-coqeal Paketi
- sid (unstable) (ocaml):
algebra and data structure algorithms for Coq
2.0.2-1+b1 [debports]: ppc64
libcoq-coqprime Paketi
- sid (unstable) (ocaml):
Primality certification for Coq (library)
8.19-1+b1 [debports]: ppc64
libcoq-coquelicot Paketi
- sid (unstable) (ocaml):
Coq library for real analysis
3.4.1-2 [debports]: ppc64
libcoq-core-ocaml Paketi
- sid (unstable) (ocaml):
runtime libraries for Coq
8.19.1+dfsg-2 [debports]: ppc64
libcoq-core-ocaml-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-core-ocaml
8.19.1+dfsg-2 [debports]: ppc64
libcoq-core-ocaml-dev Paketi
- sid (unstable) (ocaml):
development libraries and tools for Coq
8.19.1+dfsg-2 [debports]: ppc64
libcoq-corn Paketi
- sid (unstable) (ocaml):
Coq Constructive Repository at Nijmegen
8.19.0+ds1-1+b1 [debports]: ppc64
libcoq-deriving Paketi
- sid (unstable) (ocaml):
deriving MathComp classes from inductive types
0.2.0-2 [debports]: ppc64
libcoq-dpdgraph Paketi
- sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.19-1 [debports]: ppc64
libcoq-dpdgraph-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-dpdgraph
1.0+8.19-1 [debports]: ppc64
libcoq-elpi Paketi
- sid (unstable) (ocaml):
Coq plugin embedding Elpi
2.1.0-1 [debports]: ppc64
libcoq-elpi-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-elpi
2.1.0-1 [debports]: ppc64
libcoq-equations Paketi
- sid (unstable) (ocaml):
Coq library to work with functions defined by equations
1.3-8.19-1 [debports]: ppc64
libcoq-equations-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-equations
1.3-8.19-1 [debports]: ppc64
libcoq-ext-lib Paketi
- sid (unstable) (ocaml):
Collection of theories and plugins for Coq
0.12.1-1 [debports]: ppc64
libcoq-extructures Paketi
- sid (unstable) (ocaml):
data structures with extensional reasoning for Coq
0.4.0-3 [debports]: ppc64
libcoq-flocq Paketi
- sid (unstable) (ocaml):
Floating-point arithmetic for Coq
4.1.4-1 [debports]: ppc64
libcoq-gappa Paketi
- sid (unstable) (math):
Coq tactic to use Gappa for floating-point goals
1.5.5-1 [debports]: ppc64
libcoq-gappa-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-gappa
1.5.5-1 [debports]: ppc64
libcoq-hammer Paketi
- sid (unstable) (ocaml):
automated reasoning tool for Coq
1.3.2+8.19-1 [debports]: ppc64
libcoq-hammer-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-hammer
1.3.2+8.19-1 [debports]: ppc64
libcoq-hierarchy-builder Paketi
- sid (unstable) (ocaml):
build hierarchies of algebraic structures in Coq
1.7.0-1 [debports]: ppc64
libcoq-hott Paketi
- sid (unstable) (ocaml):
Coq library for homotopy type theory
8.19-1 [debports]: ppc64
libcoq-interval Paketi
- sid (unstable) (ocaml):
interval arithmetic for Coq
4.11.0-1+b1 [debports]: ppc64
libcoq-interval-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-interval
4.11.0-1+b1 [debports]: ppc64
libcoq-iris Paketi
- sid (unstable) (ocaml):
high-order concurrent separation logic framework for Coq
4.2.0-2 [debports]: ppc64
libcoq-libhyps Paketi
- sid (unstable) (ocaml):
Tactics on hypotheses in Coq
2.0.8-3 [debports]: ppc64
libcoq-math-classes Paketi
- sid (unstable) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.19.0-1+b1 [debports]: ppc64
libcoq-mathcomp Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (all)
2.2.0-1 [debports]: ppc64
libcoq-mathcomp-algebra Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (algebra)
2.2.0-1 [debports]: ppc64
libcoq-mathcomp-algebra-tactics Paketi
- sid (unstable) (ocaml):
Ring and field tactics for Mathematical Components
1.2.3-3 [debports]: ppc64
libcoq-mathcomp-analysis Paketi
- sid (unstable) (ocaml):
analysis extension for Mathematical Components
1.2.0-1 [debports]: ppc64
libcoq-mathcomp-bigenough Paketi
- sid (unstable) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-13 [debports]: ppc64
libcoq-mathcomp-character Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (character)
2.2.0-1 [debports]: ppc64
libcoq-mathcomp-classical Paketi
- sid (unstable) (ocaml):
classical logic extension for Mathematical Components
1.2.0-1 [debports]: ppc64
libcoq-mathcomp-field Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (field)
2.2.0-1 [debports]: ppc64
libcoq-mathcomp-fingroup Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (finite groups)
2.2.0-1 [debports]: ppc64
libcoq-mathcomp-finmap Paketi
- sid (unstable) (ocaml):
finite sets and maps extension for Mathematical Components
2.1.0-1 [debports]: ppc64
libcoq-mathcomp-multinomials Paketi
- sid (unstable) (ocaml):
Multivariate polynomials for Mathematical Components
2.2.0-2 [debports]: ppc64
libcoq-mathcomp-real-closed Paketi
- sid (unstable) (ocaml):
Real closed fields for Mathematical Components
2.0.0-2 [debports]: ppc64
libcoq-mathcomp-solvable Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (finite groups II)
2.2.0-1 [debports]: ppc64
libcoq-mathcomp-ssreflect Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (small scale reflection)
2.2.0-1 [debports]: ppc64
libcoq-mathcomp-zify Paketi
- sid (unstable) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.5.0+2.0+8.16-2 [debports]: ppc64
libcoq-menhirlib Paketi
- sid (unstable) (ocaml):
support library for Coq-verified Menhir parsers
20231231+ds-3 [debports]: ppc64
libcoq-mtac2 Paketi
- sid (unstable) (ocaml):
Mtac2 tactic language for Coq
1.4+8.19-1 [debports]: ppc64
libcoq-mtac2-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-mtac2
1.4+8.19-1 [debports]: ppc64
libcoq-ott Paketi
- sid (unstable) (ocaml):
Ott tool (Coq plugin)
0.33+ds-3 [debports]: ppc64
libcoq-paramcoq Paketi
- sid (unstable) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.19-1 [debports]: ppc64
libcoq-paramcoq-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-paramcoq
1.1.3+coq8.19-1 [debports]: ppc64
libcoq-quickchick Paketi
- sid (unstable) (ocaml):
randomized testing framework for Coq (plugin)
2.0.3-2 [debports]: ppc64
libcoq-quickchick-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-quickchick
2.0.3-2 [debports]: ppc64
libcoq-record-update Paketi
- sid (unstable) (ocaml):
automatic record fields updaters for Coq
0.3.4-2 [debports]: ppc64
libcoq-reduction-effects Paketi
- sid (unstable) (ocaml):
reduction effects for Coq
0.1.5-4 [debports]: ppc64
libcoq-reduction-effects-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-reduction-effects
0.1.5-4 [debports]: ppc64
libcoq-reglang Paketi
- sid (unstable) (ocaml):
representation of regular languages in Coq
1.2.1-3 [debports]: ppc64
libcoq-relation-algebra Paketi
- sid (unstable) (ocaml):
relation algebra for Coq
1.7.10-3 [debports]: ppc64
libcoq-relation-algebra-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-relation-algebra
1.7.10-3 [debports]: ppc64
libcoq-serapi-ocaml Paketi
- sid (unstable) (ocaml):
interaction with Coq (runtime)
8.19.0+0.19.3-3 [debports]: ppc64
libcoq-serapi-ocaml-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-serapi-ocaml
8.19.0+0.19.3-3 [debports]: ppc64
libcoq-serapi-ocaml-dev Paketi
- sid (unstable) (ocaml):
interaction with Coq (devel)
8.19.0+0.19.3-3 [debports]: ppc64
libcoq-simple-io Paketi
- sid (unstable) (ocaml):
Coq plugin for purely functional IO
1.9.0-1 [debports]: ppc64
libcoq-simple-io-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-simple-io
1.9.0-1 [debports]: ppc64
libcoq-stdlib Paketi
- sid (unstable) (math):
proof assistant for higher-order logic (theories)
8.19.1+dfsg-2 [debports]: ppc64
libcoq-stdpp Paketi
- sid (unstable) (ocaml):
Extended standard library for Coq
1.10.0-1 [debports]: ppc64
libcoq-unicoq Paketi
- sid (unstable) (ocaml):
enhanced unification algorithm for Coq
1.6-8.19-1 [debports]: ppc64
libcoq-unicoq-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-unicoq
1.6-8.19-1 [debports]: ppc64
libcoq-unimath Paketi
- sid (unstable) (ocaml):
univalent formalization of mathematics for Coq
20240331-1 [debports]: ppc64
libssreflect-coq Paketi
- sid (unstable):
Sanal paket
sağlayan: libcoq-mathcomp
pycoqc Paketi
- sid (unstable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all