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 why dans version(s) buster, toutes les sections, et toutes les architectures. 8 paquets correspondants trouvés.
Paquet libwhy3-ocaml-dev
- buster (oldoldstable) (ocaml):
OCaml librariries for why3 (dev)
1.2.0-1: amd64 arm64 armhf i386
Paquet why3
- buster (oldoldstable) (math):
plateforme de vérification logicielle
1.2.0-1: amd64 arm64 armhf i386
Paquet why3-coq
- buster (oldoldstable) (math):
prise en charge de coq pour la plateforme de vérification why3
1.2.0-1: amd64 arm64 armhf i386
Paquet why3-doc-html
- buster (oldoldstable) (math):
documentation en HTML pour la plateforme de vérification why3
1.2.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
Paquet why3-examples
- buster (oldoldstable) (math):
exemples pour la plateforme de vérification why3
1.2.0-1: all
Paquet whysynth
- buster (oldoldstable) (sound):
interface de synthèse audio logicielle DSSI
20090403-1.2+b2: amd64 arm64 armhf i386
Paquet whyteboard
- buster (oldoldstable) (text):
application de dessin et d'annotation
0.41.1-6: all