libgnatcoll-gmp16.1.0-dev binary package in Ubuntu Cosmic armhf

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-07-13 02:35:12 UTC Obsolete Ubuntu Cosmic armhf release universe libdevel Optional 17.0.2017-4build1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu cosmic-proposed armhf in Primary Archive for Ubuntu
  2020-07-13 06:10:10 UTC Deleted Ubuntu Cosmic armhf proposed universe libdevel Optional 17.0.2017-4build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-05-14 19:19:37 UTC Superseded Ubuntu Cosmic armhf proposed universe libdevel Optional 17.0.2017-4
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of libgnatcoll 17.0.2017-4build1 in ubuntu cosmic PROPOSED
  • Published
  2018-05-14 20:58:33 UTC Superseded Ubuntu Cosmic armhf release universe libdevel Optional 17.0.2017-3
  • Removal requested .
  • Superseded by armhf build of libgnatcoll 17.0.2017-4build1 in ubuntu cosmic PROPOSED
  • Published
  • Copied from ubuntu artful-proposed armhf in Primary Archive for Ubuntu