все параметры
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 Кб [список файлов]