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 why3 dans version(s) sid, toutes les sections, et toutes les architectures. 8 paquets correspondants trouvés.
Résultats exacts
Paquet why3
- sid (unstable) (math):
plateforme de vérification logicielle
1.7.2-2+b1: alpha amd64 arm64 armel armhf hppa i386 mips64el ppc64 ppc64el riscv64 s390x sparc64
1.6.0-1+b5 [debports]: ia64
1.6.0-1+b4 [debports]: m68k sh4
1.3.3-3 [debports]: x32
Autres résultats
Paquet libwhy3-ocaml-dev
- sid (unstable) (ocaml):
OCaml librariries for why3 (dev)
1.7.2-2+b1: alpha amd64 arm64 armel armhf hppa i386 mips64el ppc64 ppc64el riscv64 s390x sparc64
1.6.0-1+b5 [debports]: ia64
1.6.0-1+b4 [debports]: m68k sh4
1.3.3-3 [debports]: x32
Paquet libwhy3-ocaml-dev-dbgsym
- sid (unstable) (debug):
debug symbols for libwhy3-ocaml-dev
1.5.1-1+b3 [debports]: riscv64
Paquet why3-coq
- sid (unstable) (math):
prise en charge de coq pour la plateforme de vérification why3
1.3.3-3 [debports]: x32
Paquet why3-dbgsym
- sid (unstable) (debug):
debug symbols for why3
1.7.2-2+b1 [debports]: alpha hppa ppc64 sparc64
1.6.0-1+b5 [debports]: ia64
1.6.0-1+b4 [debports]: m68k sh4
1.5.1-1+b3 [debports]: riscv64
1.3.3-3 [debports]: x32
Paquet why3-doc-html
- sid (unstable) (math):
documentation en HTML pour la plateforme de vérification why3
1.7.2-2: all
Paquet why3-doc-pdf
- sid (unstable) (math):
documentation en PDF pour la plateforme de vérification why3
1.7.2-2: all
Paquet why3-examples
- sid (unstable) (math):
exemples pour la plateforme de vérification why3
1.7.2-2: all