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
Certains résultats n'ont pas été affichés en raison des paramètres de recherche.
Vous avez recherché des paquets dont les noms contiennent coq dans version(s) bullseye, toutes les sections, et architecture(s) mips64el. 7 paquets correspondants trouvés.
Résultats exacts
Paquet coq
- bullseye (oldstable) (math):
outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
8.12.0-3+b3: mips64el
Autres résultats
Paquet coq-theories
- bullseye (oldstable) (math):
outil d'aide à la preuve pour la logique d'ordre supérieur (théories)
8.12.0-3+b3: mips64el
Paquet coqide
- bullseye (oldstable) (math):
outil d'aide à la preuve pour la logique d'ordre supérieur (interface en GTK)
8.12.0-3+b3: mips64el
Paquet libcoq-ocaml
- bullseye (oldstable) (ocaml):
bibliothèques d'exécution pour Coq
8.12.0-3+b3: mips64el
Paquet libcoq-ocaml-dev
- bullseye (oldstable) (ocaml):
development libraries and tools for Coq
8.12.0-3+b3: mips64el
Paquet libssreflect-coq
- bullseye (oldstable) (math):
Mathematical Components library for Coq
1.12.0-1: all
Paquet pycoqc
- bullseye (oldstable) (science):
calcul de métriques et génération de tracés interactifs de chimie quantique
2.5.2+dfsg-1: all