Ubuntu

libghc-agda-doc binary package in Ubuntu Zesty amd64

  1. Zesty (17.04)
  2. amd64
  3. libghc-agda-doc

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2018-06-22 04:55:56 UTC Obsolete Ubuntu Zesty amd64 release universe doc Extra 2.5.1.1-3build3
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
  2018-06-22 12:10:09 UTC Deleted Ubuntu Zesty amd64 proposed universe doc Extra 2.5.1.1-3build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-01-31 11:34:30 UTC Superseded Ubuntu Zesty amd64 release universe doc Extra 2.5.1.1-3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of agda 2.5.1.1-3build3 in ubuntu zesty PROPOSED
  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
  2017-02-01 12:10:11 UTC Deleted Ubuntu Zesty amd64 proposed universe doc Extra 2.5.1.1-3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2016-11-15 18:10:11 UTC Deleted Ubuntu Zesty amd64 release universe doc Extra 2.5.1-2build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Martin Pitt

    demoting to -proposed to unblock ghc8 transition

  • Published
  • Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
  2016-11-15 18:10:11 UTC Deleted Ubuntu Zesty amd64 proposed universe doc Extra 2.5.1-2build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2016-10-26 01:39:33 UTC Superseded Ubuntu Zesty amd64 release universe doc Extra 2.5.1-2build2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of agda 2.5.1-2build3 in ubuntu zesty PROPOSED
  • Published
  • Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu