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) trixie, toutes les sections, et architecture(s) hurd-i386. 7 paquets correspondants trouvés.
Paquet coq-doc
- trixie (testing) (doc):
documentation for Coq [non-free]
8.19.1-2: all
Paquet coq-doc-html
- trixie (testing) (doc):
documentation for Coq in html format [non-free]
8.19.1-2: all
Paquet coq-doc-pdf
- trixie (testing) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-2: all
Paquet debian-coq-tools
- trixie (testing) (ocaml):
various tools to manage Coq-related Debian packages
0.11: all
Paquet dh-coq
- trixie (testing) (ocaml):
debhelper tool for Coq-related Debian packages
0.11: all
Paquet libssreflect-coq
- trixie (testing):
Paquet virtuel
fourni par : libcoq-mathcomp
Paquet pycoqc
- trixie (testing) (science):
calcul de métriques et génération de tracés interactifs de chimie quantique
2.5.2+dfsg-3: all