[ Paquet source : why3 ]
Paquet : why3-coq (1.2.0-1)
Liens pour why3-coq
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 :
prise en charge de coq pour la plateforme de vérification why3
Ce paquet fournit les fichiers coq compilés nécessaires pour utiliser l’assistant de preuve coq en collaboration avec la plateforme pour la vérification déductive de programme why3.
Autres paquets associés à why3-coq
|
|
|
|
-
- dep: coq-8.9.0+4.05.0
- paquet virtuel fourni par coq
-
- dep: tex-common (>= 6)
- infrastructure commune pour construire et installer TeX
-
- rec: why3
- plateforme de vérification logicielle
Télécharger why3-coq
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 582,8 ko | 2 714,0 ko | [liste des fichiers] |
| arm64 | 582,3 ko | 2 714,0 ko | [liste des fichiers] |
| armhf | 587,9 ko | 2 720,0 ko | [liste des fichiers] |
| i386 | 587,8 ko | 2 720,0 ko | [liste des fichiers] |