Ubuntu

why3-dbgsym binary package in Ubuntu Artful amd64

  1. Artful (17.10)
  2. amd64
  3. why3-dbgsym

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-07-10 15:03:46 UTC Obsolete Ubuntu Artful amd64 release universe math Optional 0.87.3-2ubuntu3
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
  2020-07-10 18:10:10 UTC Deleted Ubuntu Artful amd64 proposed universe math Optional 0.87.3-2ubuntu3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-09-19 00:43:24 UTC Superseded Ubuntu Artful amd64 release universe math Optional 0.87.3-2ubuntu2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
  2017-09-20 06:10:11 UTC Deleted Ubuntu Artful amd64 proposed universe math Optional 0.87.3-2ubuntu2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-09-01 16:04:36 UTC Superseded Ubuntu Artful amd64 release universe math Optional 0.87.3-2ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED
  • Published
  • Copied from ubuntu artful-release amd64 in 2865 - 2017-07-14
  2017-09-02 18:10:11 UTC Deleted Ubuntu Artful amd64 proposed universe math Optional 0.87.3-2ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu artful-release amd64 in 2865 - 2017-07-14
  2017-07-17 10:04:55 UTC Superseded Ubuntu Artful amd64 proposed universe math Optional 0.87.3-2build5
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.3-2ubuntu1 in ubuntu artful RELEASE
  • Published
  • Copied from ubuntu artful-release amd64 in 2865 - 2017-07-14
  2017-07-16 23:24:44 UTC Superseded Ubuntu Artful amd64 proposed universe math Optional 0.87.3-2build4
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.3-2build5 in ubuntu artful RELEASE
  • Published
  • Copied from ubuntu artful-release amd64 in 2865 - 2017-07-14
  2017-07-16 22:33:25 UTC Superseded Ubuntu Artful amd64 proposed universe math Optional 0.87.3-2build3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.3-2build4 in ubuntu artful RELEASE
  • Published
  2017-07-10 17:18:54 UTC Superseded Ubuntu Artful amd64 proposed universe math Optional 0.87.3-2build2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.3-2build3 in ubuntu artful PROPOSED
  • Published
  2017-07-18 04:38:29 UTC Superseded Ubuntu Artful amd64 release universe math Optional 0.87.3-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.3-2ubuntu1 in ubuntu artful RELEASE
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
  2017-07-19 06:10:10 UTC Deleted Ubuntu Artful amd64 proposed universe math Optional 0.87.3-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-06-25 11:25:16 UTC Superseded Ubuntu Artful amd64 release universe math Optional 0.87.3-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of why3 0.87.3-2build1 in ubuntu artful PROPOSED
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu