[ Paquet source : why3 ]
Paquet : why3-doc-html (1.2.0-1)
Liens pour why3-doc-html
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source why3 :
Responsables :
Ressources externes :
- Page d'accueil [why3.lri.fr]
Paquets similaires :
documentation en HTML pour la plateforme de vérification why3
Ce paquet fournit le tutoriel et le manuel de référence pour la plateforme de vérification why3 au format HTML.
Autres paquets associés à why3-doc-html
|
|
|
|
-
- dep: tex-common (>= 6)
- infrastructure commune pour construire et installer TeX
-
- sug: why3
- plateforme de vérification logicielle
Télécharger why3-doc-html
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 353,6 ko | 1 335,0 ko | [liste des fichiers] |