Пакет: why3-coq (0.88.3-1ubuntu4)
Връзки за why3-coq
Ресурси за Trisquel:
Изтегляне на пакет-източник why3.
Отговорник:
Original Maintainers:
- Debian OCaml Maintainers (Пощенски архив)
- Ralf Treinen
Външни препратки:
- Начална страница [why3.lri.fr]
Подобни пакети:
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.
Други пакети, свързани с why3-coq
|
|
|
-
- dep: coq
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libc6 (>= 2.4)
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
-
- dep: libcoq-ocaml-6pjp3 [i386]
- виртуален пакет, предлаган от libcoq-ocaml
-
- dep: libcoq-ocaml-ywd98 [amd64]
- виртуален пакет, предлаган от libcoq-ocaml
-
- dep: libzip-ocaml-5t4j6 [amd64]
- виртуален пакет, предлаган от libzip-ocaml
-
- dep: libzip-ocaml-moa44 [i386]
- виртуален пакет, предлаган от libzip-ocaml
-
- dep: ocaml-base-nox-4.05.0
- виртуален пакет, предлаган от 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
Изтегляне на why3-coq
Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
---|---|---|---|
amd64 | 2 062,7 кБ | 10187 кБ | [списък на файловете] |
i386 | 1 856,3 кБ | 8416 кБ | [списък на файловете] |