agda-mode binary package in Ubuntu Artful ppc64el

 agda-mode has been ELPAfied. See the elpa-agda2-mode package. This
 transitional package is safe to remove.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2017-07-22 11:58:13 UTC Published Ubuntu Artful ppc64el release universe misc Optional 2.5.2-2build1
  • Published on 2017-07-22
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Artful ppc64el proposed universe misc Optional 2.5.2-2build1
  • Removal requested on 2017-07-22.
  • Deleted on 2017-07-22 by Ubuntu Archive Robot

    moved to release

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

    moved to release

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

Source package