Ubuntu

why binary package in Ubuntu Bionic armhf

  1. Bionic (18.04)
  2. armhf
  3. why

 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 Pocket Component Section Priority Phased updates Version
  2018-02-02 03:08:42 UTC Published Ubuntu Bionic armhf release universe math Optional 2.39-2build1
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  Deleted Ubuntu Bionic armhf proposed universe math Optional 2.39-2build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-10-28 19:06:13 UTC Superseded Ubuntu Bionic armhf proposed universe math Optional 2.39-2
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of why 2.39-2build1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu artful-proposed armhf in Primary Archive for Ubuntu

Source package