why binary package in Ubuntu Bionic s390x
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).
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2018-02-02 03:08:42 UTC | Published | Ubuntu Bionic s390x | release | universe | math | Optional | 2.39-2build1 | ||
|
|||||||||
Deleted | Ubuntu Bionic s390x | proposed | universe | math | Optional | 2.39-2build1 | |||
|
|||||||||
2017-10-28 18:05:29 UTC | Superseded | Ubuntu Bionic s390x | proposed | universe | math | Optional | 2.39-2 | ||
|