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]
Zoek in alle platforms
Some results have not been displayed due to the search parameters.
You have searched for pakketten that names contain coq in alle suites, alle secties, and platform(s) mipsel. Found 13 matching packages.
Exacte resultaten
Pakket coq
- bullseye (oldstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.12.0-3+b3: mipsel
Overige resultaten
Pakket 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
Pakket 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
Pakket 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
Pakket coq-theories
- bullseye (oldstable) (math):
proof assistant for higher-order logic (theories)
8.12.0-3+b3: mipsel
Pakket coqide
- bullseye (oldstable) (math):
proof assistant for higher-order logic (gtk interface)
8.12.0-3+b3: mipsel
Pakket 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
Pakket 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
Pakket libcoq-ocaml
- bullseye (oldstable) (ocaml):
runtime libraries for Coq
8.12.0-3+b3: mipsel
Pakket libcoq-ocaml-dev
- bullseye (oldstable) (ocaml):
development libraries and tools for Coq
8.12.0-3+b3: mipsel
Pakket libssreflect-coq
- bullseye (oldstable) (math):
Mathematical Components library for Coq
1.12.0-1: all - bookworm (stable):
Virtueel pakket
geboden door: libcoq-mathcomp - trixie (testing):
Virtueel pakket
geboden door: libcoq-mathcomp - sid (unstable):
Virtueel pakket
geboden door: libcoq-mathcomp
Pakket 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
Pakket why3-coq
- bullseye (oldstable) (math):
Coq support for the why3 verification platform
1.3.3-1+b4: mipsel