всички настройки
jessie  ] [  sid  ]
[ Източник:  ]

Пакет: why (2.36-5 и други) [debports]

Връзки за why

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник .

Няма съвпадения

Отговорници:

Външни препратки:

Подобни пакети:

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

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на why

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
arm64 (неофициална архитектура) 2.34-2 9 665,0 кБ48 670,0 кБ [списък на файловете]
powerpcspe (неофициална архитектура) 2.36-5+b1 3 344,8 кБ18 981,0 кБ [списък на файловете]