Ubuntu

why3 binary package in Ubuntu Yakkety amd64

  1. Yakkety (16.10)
  2. amd64
  3. why3

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2018-01-23 00:52:03 UTC Obsolete Ubuntu Yakkety amd64 release universe math Optional 0.87.1-2build1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu
  2018-01-23 06:10:09 UTC Deleted Ubuntu Yakkety amd64 proposed universe math Optional 0.87.1-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2016-09-02 23:36:03 UTC Superseded Ubuntu Yakkety amd64 release universe math Optional 0.87.1-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.1-2build1 in ubuntu yakkety PROPOSED
  • Published
  • Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu
  2016-09-04 00:10:11 UTC Deleted Ubuntu Yakkety amd64 proposed universe math Optional 0.87.1-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2016-07-20 11:51:35 UTC Superseded Ubuntu Yakkety amd64 proposed universe math Optional 0.87.1-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.1-2 in ubuntu yakkety PROPOSED
  • Published
  2016-07-10 08:25:58 UTC Superseded Ubuntu Yakkety amd64 proposed universe math Optional 0.87.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.1-1build1 in ubuntu yakkety PROPOSED
  • Published
  2016-06-09 05:56:55 UTC Superseded Ubuntu Yakkety amd64 proposed universe math Optional 0.87.0-3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.1-1 in ubuntu yakkety PROPOSED
  • Published