elpa-agda2-mode binary package in Ubuntu Artful ppc64el

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-07-10 15:03:46 UTC Obsolete Ubuntu Artful ppc64el release universe editors Extra 2.5.2-2build1
  • 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 ppc64el proposed universe editors Extra 2.5.2-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
  2017-07-15 14:25:26 UTC Superseded Ubuntu Artful ppc64el proposed universe editors Extra 2.5.2-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
  2017-07-11 02:18:29 UTC Superseded Ubuntu Artful ppc64el proposed universe editors Extra 2.5.2-2~build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of agda 2.5.2-2 in ubuntu artful PROPOSED
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
  2017-07-22 12:00:07 UTC Superseded Ubuntu Artful ppc64el release universe editors Extra 2.5.1.1-4build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
  2017-07-23 12:10:09 UTC Deleted Ubuntu Artful ppc64el proposed universe editors Extra 2.5.1.1-4build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
  2017-06-21 17:26:38 UTC Superseded Ubuntu Artful ppc64el proposed universe editors Extra 2.5.1.1-4
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
  2017-06-24 21:33:29 UTC Superseded Ubuntu Artful ppc64el release universe editors Extra 2.5.1.1-3build3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of agda 2.5.1.1-4build1 in ubuntu artful PROPOSED
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu