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]
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 spass dans version(s) trixie, toutes les sections, et toutes les architectures. 1 paquets correspondants trouvés.
Résultats exacts
Paquet spass
- trixie (testing) (science):
démonstrateur automatique de théorème pour la logique du premier ordre avec égalité
3.9-1.1+b1: riscv64
3.9-1.1: amd64 arm64 armel armhf i386 mips64el ppc64el s390x