Ubuntu

why3-examples binary package in Ubuntu Zesty powerpc

  1. Zesty (17.04)
  2. powerpc
  3. why3-examples

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2018-06-22 12:10:09 UTC Deleted Ubuntu Zesty powerpc release universe math Optional 0.87.3-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Launchpad Janitor

    powerpc obsoleted in zesty

  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
  2018-06-22 12:10:09 UTC Deleted Ubuntu Zesty powerpc proposed universe math Optional 0.87.3-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
  2017-01-22 11:34:07 UTC Superseded Ubuntu Zesty powerpc proposed universe math Optional 0.87.2-3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.3-2 in ubuntu zesty PROPOSED
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
  2017-01-04 05:36:31 UTC Superseded Ubuntu Zesty powerpc proposed universe math Optional 0.87.2-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.2-3 in ubuntu zesty PROPOSED
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
  2016-12-21 20:19:08 UTC Superseded Ubuntu Zesty powerpc proposed universe math Optional 0.87.2-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.2-2build1 in ubuntu zesty PROPOSED
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
  2017-01-23 22:42:07 UTC Superseded Ubuntu Zesty powerpc release universe math Optional 0.87.1-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.3-2 in ubuntu zesty PROPOSED
  • Published
  • Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu