[ etiona ]
[ nabia ]
[ Source: why3 ]
Package: why3-coq (0.88.3-1ubuntu4)
Links for why3-coq
Trisquel Resources:
Download Source Package why3:
Maintainer:
Original Maintainers:
- Debian OCaml Maintainers (Mail Archive)
- Ralf Treinen
External Resources:
- Homepage [why3.lri.fr]
Similar packages:
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.
Other Packages Related to why3-coq
|
|
|
-
- dep: coq
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libc6 (>= 2.4)
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libcoq-ocaml-6pjp3 [i386]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-ywd98 [amd64]
- virtual package provided by libcoq-ocaml
-
- dep: libzip-ocaml-5t4j6 [amd64]
- virtual package provided by libzip-ocaml
-
- dep: libzip-ocaml-moa44 [i386]
- virtual package provided by libzip-ocaml
-
- dep: ocaml-base-nox-4.05.0
- virtual package provided by 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
Download why3-coq
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 2,062.7 kB | 10187 kB | [list of files] |
| i386 | 1,856.3 kB | 8416 kB | [list of files] |