Ubuntu

elpa-agda2-mode binary package in Ubuntu Disco arm64

  1. Disco (19.04)
  2. arm64
  3. elpa-agda2-mode

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-07-14 06:39:25 UTC Obsolete Ubuntu Disco arm64 release universe editors Extra 2.5.4.1-3
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu
  2020-07-14 12:10:11 UTC Deleted Ubuntu Disco arm64 proposed universe editors Extra 2.5.4.1-3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu
  2018-12-21 05:08:19 UTC Superseded Ubuntu Disco arm64 release universe editors Extra 2.5.3-5build3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of agda 2.5.4.1-3 in ubuntu disco PROPOSED
  • Published
  • Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu