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) sparc64. 2 paquets correspondants trouvés.
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