[ etiona ]
[ nabia ]
[ Paquet source : why3 ]
Paquet : why3-coq (0.88.3-1ubuntu4)
Liens pour why3-coq
Ressources Trisquel :
Télécharger le paquet source why3 :
Responsable :
Original Maintainers:
- Debian OCaml Maintainers (Archive du courrier électronique)
- Ralf Treinen
Ressources externes :
- Page d'accueil [why3.lri.fr]
Paquets similaires :
Coq support for the why3 verification platform
This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
Autres paquets associés à why3-coq
|
|
|
-
- dep: coq
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libc6 (>= 2.4)
- GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libcoq-ocaml-6pjp3 [i386]
- paquet virtuel fourni par libcoq-ocaml
-
- dep: libcoq-ocaml-ywd98 [amd64]
- paquet virtuel fourni par libcoq-ocaml
-
- dep: libzip-ocaml-5t4j6 [amd64]
- paquet virtuel fourni par libzip-ocaml
-
- dep: libzip-ocaml-moa44 [i386]
- paquet virtuel fourni par libzip-ocaml
-
- dep: ocaml-base-nox-4.05.0
- paquet virtuel fourni par ocaml-base-nox
-
- dep: tex-common (>= 6)
- common infrastructure for building and installing TeX
-
- dep: zlib1g (>= 1:1.1.4)
- compression library - runtime
-
- rec: why3
- Software verification platform
Télécharger why3-coq
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 2 062,7 ko | 10187 ko | [liste des fichiers] |
| i386 | 1 856,3 ko | 8416 ko | [liste des fichiers] |