toutes les options
jessie  ] [  sid  ]
[ Paquet source :  ]

Paquet : why (2.36-5 et autres) [debports]

Liens pour why

Screenshot

Ressources Debian :

Télécharger le paquet source  :

Introuvable

Responsables :

Ressources externes :

Paquets similaires :

Software verification tool for C and Java

This package contains Krakatoa and Jessie, two front-ends of the Why3 platform for deductive program verification. Krakatoa deals with Java programs annotated in a variant of the The Java Modeling Language. Jessie deals with C programs annotated in the ANSI/ISO C Specification Language (ACSL).

Autres paquets associés à why

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger why

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
arm64 (portage non officiel) 2.34-2 9 665,0 ko48 670,0 ko [liste des fichiers]
powerpcspe (portage non officiel) 2.36-5+b1 3 344,8 ko18 981,0 ko [liste des fichiers]