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]
Search in all architectures
Some results have not been displayed due to the search parameters.
You have searched for paketit that names contain coq in suite(s) sid, kaikki osastot, and architecture(s) ppc64. Found 87 matching packages.
Tarkat hakutulokset
Paketti coq
- sid (unstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.19.1+dfsg-2 [debports]: ppc64
Muut hakutulokset
Paketti coq-dbgsym
- sid (unstable) (debug):
debug symbols for coq
8.19.1+dfsg-2 [debports]: ppc64
Paketti coq-doc
- sid (unstable) (doc):
documentation for Coq [non-free]
8.19.1-2: all
Paketti coq-doc-html
- sid (unstable) (doc):
documentation for Coq in html format [non-free]
8.19.1-2: all
Paketti coq-doc-pdf
- sid (unstable) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-2: all
Paketti coq-dpdgraph-tools
- sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.19-1 [debports]: ppc64
Paketti coq-serapi
- sid (unstable) (ocaml):
interaction with Coq (utils)
8.19.0+0.19.3-3 [debports]: ppc64
Paketti coq-serapi-dbgsym
- sid (unstable) (debug):
debug symbols for coq-serapi
8.19.0+0.19.3-3 [debports]: ppc64
Paketti coqide
- sid (unstable) (math):
proof assistant for higher-order logic (gtk interface)
8.19.1+dfsg-2 [debports]: ppc64
Paketti coqide-dbgsym
- sid (unstable) (debug):
debug symbols for coqide
8.19.1+dfsg-2 [debports]: ppc64
Paketti coqprime-tools
- sid (unstable) (ocaml):
Primality certification for Coq (tools)
8.19-1+b1 [debports]: ppc64
Paketti coqprime-tools-dbgsym
- sid (unstable) (debug):
debug symbols for coqprime-tools
8.19-1+b1 [debports]: ppc64
Paketti debian-coq-tools
- sid (unstable) (ocaml):
various tools to manage Coq-related Debian packages
0.9: all
Paketti dh-coq
- sid (unstable) (ocaml):
debhelper tool for Coq-related Debian packages
0.9: all
Paketti libcoq-aac-tactics
- sid (unstable) (math):
Coq tactics for reasoning modulo AC (theories)
8.19.1-1 [debports]: ppc64
Paketti libcoq-aac-tactics-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-aac-tactics
8.19.1-1 [debports]: ppc64
Paketti libcoq-bignums
- sid (unstable) (ocaml):
Coq library for big numbers
9.0.0+coq8.20-1 [debports]: ppc64
Paketti libcoq-bignums-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-bignums
9.0.0+coq8.20-1 [debports]: ppc64
Paketti libcoq-coqeal
- sid (unstable) (ocaml):
algebra and data structure algorithms for Coq
2.0.2-1+b1 [debports]: ppc64
Paketti libcoq-coqprime
- sid (unstable) (ocaml):
Primality certification for Coq (library)
8.19-1+b1 [debports]: ppc64
Paketti libcoq-coquelicot
- sid (unstable) (ocaml):
Coq library for real analysis
3.4.1-2 [debports]: ppc64
Paketti libcoq-core-ocaml
- sid (unstable) (ocaml):
runtime libraries for Coq
8.19.1+dfsg-2 [debports]: ppc64
Paketti libcoq-core-ocaml-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-core-ocaml
8.19.1+dfsg-2 [debports]: ppc64
Paketti libcoq-core-ocaml-dev
- sid (unstable) (ocaml):
development libraries and tools for Coq
8.19.1+dfsg-2 [debports]: ppc64
Paketti libcoq-corn
- sid (unstable) (ocaml):
Coq Constructive Repository at Nijmegen
8.19.0+ds1-1+b1 [debports]: ppc64
Paketti libcoq-deriving
- sid (unstable) (ocaml):
deriving MathComp classes from inductive types
0.2.0-2 [debports]: ppc64
Paketti libcoq-dpdgraph
- sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.19-1 [debports]: ppc64
Paketti libcoq-dpdgraph-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-dpdgraph
1.0+8.19-1 [debports]: ppc64
Paketti libcoq-elpi
- sid (unstable) (ocaml):
Coq plugin embedding Elpi
2.1.0-1 [debports]: ppc64
Paketti libcoq-elpi-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-elpi
2.1.0-1 [debports]: ppc64
Paketti libcoq-equations
- sid (unstable) (ocaml):
Coq library to work with functions defined by equations
1.3-8.19-1 [debports]: ppc64
Paketti libcoq-equations-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-equations
1.3-8.19-1 [debports]: ppc64
Paketti libcoq-ext-lib
- sid (unstable) (ocaml):
Collection of theories and plugins for Coq
0.12.1-1 [debports]: ppc64
Paketti libcoq-extructures
- sid (unstable) (ocaml):
data structures with extensional reasoning for Coq
0.4.0-3 [debports]: ppc64
Paketti libcoq-flocq
- sid (unstable) (ocaml):
Floating-point arithmetic for Coq
4.1.4-1 [debports]: ppc64
Paketti libcoq-gappa
- sid (unstable) (math):
Coq tactic to use Gappa for floating-point goals
1.5.5-1 [debports]: ppc64
Paketti libcoq-gappa-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-gappa
1.5.5-1 [debports]: ppc64
Paketti libcoq-hammer
- sid (unstable) (ocaml):
automated reasoning tool for Coq
1.3.2+8.19-1 [debports]: ppc64
Paketti libcoq-hammer-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-hammer
1.3.2+8.19-1 [debports]: ppc64
Paketti libcoq-hierarchy-builder
- sid (unstable) (ocaml):
build hierarchies of algebraic structures in Coq
1.7.0-1 [debports]: ppc64
Paketti libcoq-hott
- sid (unstable) (ocaml):
Coq library for homotopy type theory
8.19-1 [debports]: ppc64
Paketti libcoq-interval
- sid (unstable) (ocaml):
interval arithmetic for Coq
4.11.0-1+b1 [debports]: ppc64
Paketti libcoq-interval-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-interval
4.11.0-1+b1 [debports]: ppc64
Paketti libcoq-iris
- sid (unstable) (ocaml):
high-order concurrent separation logic framework for Coq
4.2.0-2 [debports]: ppc64
Paketti libcoq-libhyps
- sid (unstable) (ocaml):
Tactics on hypotheses in Coq
2.0.8-3 [debports]: ppc64
Paketti libcoq-math-classes
- sid (unstable) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.19.0-1+b1 [debports]: ppc64
Paketti libcoq-mathcomp
- sid (unstable) (math):
Mathematical Components library for Coq (all)
2.2.0-1 [debports]: ppc64
Paketti libcoq-mathcomp-algebra
- sid (unstable) (math):
Mathematical Components library for Coq (algebra)
2.2.0-1 [debports]: ppc64
Paketti libcoq-mathcomp-algebra-tactics
- sid (unstable) (ocaml):
Ring and field tactics for Mathematical Components
1.2.3-3 [debports]: ppc64
Paketti libcoq-mathcomp-analysis
- sid (unstable) (ocaml):
analysis extension for Mathematical Components
1.2.0-1 [debports]: ppc64
Paketti libcoq-mathcomp-bigenough
- sid (unstable) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-13 [debports]: ppc64
Paketti libcoq-mathcomp-character
- sid (unstable) (math):
Mathematical Components library for Coq (character)
2.2.0-1 [debports]: ppc64
Paketti libcoq-mathcomp-classical
- sid (unstable) (ocaml):
classical logic extension for Mathematical Components
1.2.0-1 [debports]: ppc64
Paketti libcoq-mathcomp-field
- sid (unstable) (math):
Mathematical Components library for Coq (field)
2.2.0-1 [debports]: ppc64
Paketti libcoq-mathcomp-fingroup
- sid (unstable) (math):
Mathematical Components library for Coq (finite groups)
2.2.0-1 [debports]: ppc64
Paketti libcoq-mathcomp-finmap
- sid (unstable) (ocaml):
finite sets and maps extension for Mathematical Components
2.1.0-1 [debports]: ppc64
Paketti libcoq-mathcomp-multinomials
- sid (unstable) (ocaml):
Multivariate polynomials for Mathematical Components
2.2.0-2 [debports]: ppc64
Paketti libcoq-mathcomp-real-closed
- sid (unstable) (ocaml):
Real closed fields for Mathematical Components
2.0.0-2 [debports]: ppc64
Paketti libcoq-mathcomp-solvable
- sid (unstable) (math):
Mathematical Components library for Coq (finite groups II)
2.2.0-1 [debports]: ppc64
Paketti libcoq-mathcomp-ssreflect
- sid (unstable) (math):
Mathematical Components library for Coq (small scale reflection)
2.2.0-1 [debports]: ppc64
Paketti libcoq-mathcomp-zify
- sid (unstable) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.5.0+2.0+8.16-2 [debports]: ppc64
Paketti libcoq-menhirlib
- sid (unstable) (ocaml):
support library for Coq-verified Menhir parsers
20231231+ds-3 [debports]: ppc64
Paketti libcoq-mtac2
- sid (unstable) (ocaml):
Mtac2 tactic language for Coq
1.4+8.19-1 [debports]: ppc64
Paketti libcoq-mtac2-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-mtac2
1.4+8.19-1 [debports]: ppc64
Paketti libcoq-ott
- sid (unstable) (ocaml):
Ott tool (Coq plugin)
0.33+ds-3 [debports]: ppc64
Paketti libcoq-paramcoq
- sid (unstable) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.19-1 [debports]: ppc64
Paketti libcoq-paramcoq-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-paramcoq
1.1.3+coq8.19-1 [debports]: ppc64
Paketti libcoq-quickchick
- sid (unstable) (ocaml):
randomized testing framework for Coq (plugin)
2.0.3-2 [debports]: ppc64
Paketti libcoq-quickchick-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-quickchick
2.0.3-2 [debports]: ppc64
Paketti libcoq-record-update
- sid (unstable) (ocaml):
automatic record fields updaters for Coq
0.3.4-2 [debports]: ppc64
Paketti libcoq-reduction-effects
- sid (unstable) (ocaml):
reduction effects for Coq
0.1.5-4 [debports]: ppc64
Paketti libcoq-reduction-effects-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-reduction-effects
0.1.5-4 [debports]: ppc64
Paketti libcoq-reglang
- sid (unstable) (ocaml):
representation of regular languages in Coq
1.2.1-3 [debports]: ppc64
Paketti libcoq-relation-algebra
- sid (unstable) (ocaml):
relation algebra for Coq
1.7.10-3 [debports]: ppc64
Paketti libcoq-relation-algebra-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-relation-algebra
1.7.10-3 [debports]: ppc64
Paketti libcoq-serapi-ocaml
- sid (unstable) (ocaml):
interaction with Coq (runtime)
8.19.0+0.19.3-3 [debports]: ppc64
Paketti libcoq-serapi-ocaml-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-serapi-ocaml
8.19.0+0.19.3-3 [debports]: ppc64
Paketti libcoq-serapi-ocaml-dev
- sid (unstable) (ocaml):
interaction with Coq (devel)
8.19.0+0.19.3-3 [debports]: ppc64
Paketti libcoq-simple-io
- sid (unstable) (ocaml):
Coq plugin for purely functional IO
1.9.0-1 [debports]: ppc64
Paketti libcoq-simple-io-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-simple-io
1.9.0-1 [debports]: ppc64
Paketti libcoq-stdlib
- sid (unstable) (math):
proof assistant for higher-order logic (theories)
8.19.1+dfsg-2 [debports]: ppc64
Paketti libcoq-stdpp
- sid (unstable) (ocaml):
Extended standard library for Coq
1.10.0-1 [debports]: ppc64
Paketti libcoq-unicoq
- sid (unstable) (ocaml):
enhanced unification algorithm for Coq
1.6-8.19-1 [debports]: ppc64
Paketti libcoq-unicoq-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-unicoq
1.6-8.19-1 [debports]: ppc64
Paketti libcoq-unimath
- sid (unstable) (ocaml):
univalent formalization of mathematics for Coq
20240331-1 [debports]: ppc64
Paketti libssreflect-coq
- sid (unstable):
Näennäispaketti
jonka toteuttaa: libcoq-mathcomp
Paketti pycoqc
- sid (unstable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all