[ etiona ]
[ Източник: why ]
Пакет: why (2.39-2build1)
Връзки за why
Ресурси за Trisquel:
Изтегляне на пакет-източник why.
Отговорник:
Original Maintainers:
- Debian OCaml Maintainers (Пощенски архив)
- Samuel Mimram
- Mehdi Dogguy
- Ralf Treinen
Външни препратки:
- Начална страница [krakatoa.lri.fr]
Подобни пакети:
Software verification tool for C and Java
This package contains Krakatoa and Jessie, two front-ends of the Why3 platform for deductive program verification. Krakatoa deals with Java programs annotated in a variant of the The Java Modeling Language. Jessie deals with C programs annotated in the ANSI/ISO C Specification Language (ACSL).
Други пакети, свързани с why
|
|
|
-
- dep: frama-c-base (= 20170501+phosphorus+dfsg-2build1)
- Platform dedicated to the analysis of source code written in C (without gui)
-
- dep: libc6 (>= 2.17)
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
-
- dep: make
- utility for directing compilation
също и виртуален пакет, предлаган от make-guile
-
- dep: ocaml-base-nox-4.05.0
- виртуален пакет, предлаган от ocaml-base-nox
-
- dep: why3
- Software verification platform
-
- sug: libwhy-coq (= 2.39-2build1)
- Why library for Coq
Изтегляне на why
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| amd64 | 3 391,0 кБ | 22169 кБ | [списък на файловете] |
| i386 | 3 140,4 кБ | 19225 кБ | [списък на файловете] |