Limiter à la suite : [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Chercher dans toutes les suites
Limiter à l'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]
Chercher dans toutes les architectures
Vous avez recherché des paquets dont les noms contiennent coq dans version(s) sid, toutes les sections, et architecture(s) alpha. 13 paquets correspondants trouvés.
Résultats exacts
Paquet coq
- sid (unstable) (math):
outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
8.12.0-3+b3 [debports]: alpha
Autres résultats
Paquet coq-doc
- sid (unstable) (doc):
documentation for Coq [non-free]
8.19.1-1: all
Paquet coq-doc-html
- sid (unstable) (doc):
documentation for Coq in html format [non-free]
8.19.1-1: all
Paquet coq-doc-pdf
- sid (unstable) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-1: all
Paquet coq-theories
- sid (unstable) (math):
outil d'aide à la preuve pour la logique d'ordre supérieur (théories)
8.12.0-3+b3 [debports]: alpha
Paquet coqide
- sid (unstable) (math):
outil d'aide à la preuve pour la logique d'ordre supérieur (interface en GTK)
8.12.0-3+b3 [debports]: alpha
Paquet debian-coq-tools
- sid (unstable) (ocaml):
various tools to manage Coq-related Debian packages
0.9: all
Paquet dh-coq
- sid (unstable) (ocaml):
debhelper tool for Coq-related Debian packages
0.9: all
Paquet libcoq-ocaml
- sid (unstable) (ocaml):
bibliothèques d'exécution pour Coq
8.12.0-3+b3 [debports]: alpha
Paquet libcoq-ocaml-dbgsym
- sid (unstable) (debug):
debug symbols for libcoq-ocaml
8.12.0-3+b3 [debports]: alpha
Paquet libcoq-ocaml-dev
- sid (unstable) (ocaml):
development libraries and tools for Coq
8.12.0-3+b3 [debports]: alpha
Paquet libssreflect-coq
- sid (unstable):
Paquet virtuel
fourni par : libcoq-mathcomp
Paquet pycoqc
- sid (unstable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all