[ Paquet source : why3 ]
Paquet : why3-doc-html (1.5.1-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: libjs-jquery
- JavaScript library for dynamic web applications
-
- dep: libjs-mathjax
- JavaScript display engine for LaTeX and MathML
-
- dep: libjs-sphinxdoc
- prise en charge de JavaScript pour la documentation de Sphinx
-
- dep: libjs-underscore
- JavaScript's functional programming helper library
-
- dep: tex-common (>= 6.13)
- 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 | 897,9 ko | 2 565,0 ko | [liste des fichiers] |