Ubuntu

why3-examples binary package in Ubuntu Bionic arm64

  1. Bionic (18.04)
  2. arm64
  3. why3-examples

 This package contains examples, both of program verification tasks
 and pure logical verification tasks, for the why3 software verification
 platform.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2018-04-07 05:48:55 UTC Published Ubuntu Bionic arm64 release universe math Optional 0.88.3-1ubuntu4
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2018-04-07 02:19:41 UTC Superseded Ubuntu Bionic arm64 proposed universe math Optional 0.88.3-1ubuntu3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.88.3-1ubuntu4 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Bionic arm64 proposed universe math Optional 0.88.3-1ubuntu4
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2018-04-07 02:19:41 UTC Superseded Ubuntu Bionic arm64 proposed universe math Optional 0.88.3-1ubuntu2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.88.3-1ubuntu4 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2018-03-23 07:15:12 UTC Superseded Ubuntu Bionic arm64 proposed universe math Optional 0.88.3-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.88.3-1ubuntu2 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2018-01-30 10:36:14 UTC Superseded Ubuntu Bionic arm64 proposed universe math Optional 0.88.2-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.88.3-1ubuntu1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2018-04-07 05:49:10 UTC Superseded Ubuntu Bionic arm64 release universe math Optional 0.87.3-2ubuntu4
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.88.3-1ubuntu4 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2018-04-08 06:10:12 UTC Deleted Ubuntu Bionic arm64 proposed universe math Optional 0.87.3-2ubuntu4
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2017-11-05 02:27:33 UTC Superseded Ubuntu Bionic arm64 release universe math Optional 0.87.3-2ubuntu3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.3-2ubuntu4 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu

Source package