Limiter à la suite : [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
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 why3 dans toutes les suites, toutes les sections, et architecture(s) armhf. 6 paquets correspondants trouvés.
Résultats exacts
Paquet why3
- buster (oldoldstable) (math):
plateforme de vérification logicielle
1.2.0-1: armhf - bullseye (oldstable) (math):
plateforme de vérification logicielle
1.3.3-1+b4: armhf - bookworm (stable) (math):
plateforme de vérification logicielle
1.5.1-1+b2: armhf - trixie (testing) (math):
plateforme de vérification logicielle
1.6.0-1+b5: armhf - sid (unstable) (math):
plateforme de vérification logicielle
1.6.0-1+b5: armhf
Autres résultats
Paquet libwhy3-ocaml-dev
- buster (oldoldstable) (ocaml):
OCaml librariries for why3 (dev)
1.2.0-1: armhf - bullseye (oldstable) (ocaml):
OCaml librariries for why3 (dev)
1.3.3-1+b4: armhf - bookworm (stable) (ocaml):
OCaml librariries for why3 (dev)
1.5.1-1+b2: armhf - trixie (testing) (ocaml):
OCaml librariries for why3 (dev)
1.6.0-1+b5: armhf - sid (unstable) (ocaml):
OCaml librariries for why3 (dev)
1.6.0-1+b5: armhf
Paquet why3-coq
- buster (oldoldstable) (math):
prise en charge de coq pour la plateforme de vérification why3
1.2.0-1: armhf - bullseye (oldstable) (math):
prise en charge de coq pour la plateforme de vérification why3
1.3.3-1+b4: armhf
Paquet why3-doc-html
- buster (oldoldstable) (math):
documentation en HTML pour la plateforme de vérification why3
1.2.0-1: all - bullseye (oldstable) (math):
documentation en HTML pour la plateforme de vérification why3
1.3.3-1: all - bookworm (stable) (math):
documentation en HTML pour la plateforme de vérification why3
1.5.1-1: all - trixie (testing) (math):
documentation en HTML pour la plateforme de vérification why3
1.6.0-1: all - sid (unstable) (math):
documentation en HTML pour la plateforme de vérification why3
1.6.0-1: all
Paquet why3-doc-pdf
- buster (oldoldstable) (math):
documentation en PDF pour la plateforme de vérification why3
1.2.0-1: all - bullseye (oldstable) (math):
documentation en PDF pour la plateforme de vérification why3
1.3.3-1: all - bookworm (stable) (math):
documentation en PDF pour la plateforme de vérification why3
1.5.1-1: all - trixie (testing) (math):
documentation en PDF pour la plateforme de vérification why3
1.6.0-1: all - sid (unstable) (math):
documentation en PDF pour la plateforme de vérification why3
1.6.0-1: all
Paquet why3-examples
- buster (oldoldstable) (math):
exemples pour la plateforme de vérification why3
1.2.0-1: all - bullseye (oldstable) (math):
exemples pour la plateforme de vérification why3
1.3.3-1: all - bookworm (stable) (math):
exemples pour la plateforme de vérification why3
1.5.1-1: all - trixie (testing) (math):
exemples pour la plateforme de vérification why3
1.6.0-1: all - sid (unstable) (math):
exemples pour la plateforme de vérification why3
1.6.0-1: all