Ubuntu

elpa-agda2-mode binary package in Ubuntu Cosmic amd64

  1. Cosmic (18.10)
  2. amd64
  3. elpa-agda2-mode

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-07-13 02:35:12 UTC Obsolete Ubuntu Cosmic amd64 release universe editors Extra 2.5.3-5build3
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
  2020-07-13 06:10:10 UTC Deleted Ubuntu Cosmic amd64 proposed universe editors Extra 2.5.3-5build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-07-05 12:03:16 UTC Superseded Ubuntu Cosmic amd64 proposed universe editors Extra 2.5.3-5build2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
  • Published
  2018-07-04 21:23:23 UTC Superseded Ubuntu Cosmic amd64 proposed universe editors Extra 2.5.3-5build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of agda 2.5.3-5build2 in ubuntu cosmic PROPOSED
  • Published
  2018-07-06 07:49:43 UTC Superseded Ubuntu Cosmic amd64 release universe editors Extra 2.5.3-5
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
  • Published
  • Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
  2018-07-07 12:10:12 UTC Deleted Ubuntu Cosmic amd64 proposed universe editors Extra 2.5.3-5
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-06-27 20:15:44 UTC Superseded Ubuntu Cosmic amd64 release universe editors Extra 2.5.3-3build1
  • Removal requested .
  • Superseded by amd64 build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu