Ubuntu

agda-bin binary package in Ubuntu Artful ppc64el

  1. Artful (17.10)
  2. ppc64el
  3. agda-bin

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 haskell Optional 2.5.2-2build1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu artful-proposed ppc64el in Primary Archive for Ubuntu
  2020-07-10 18:10:10 UTC Deleted Ubuntu Artful ppc64el proposed universe haskell Optional 2.5.2-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-07-15 12:08:45 UTC Superseded Ubuntu Artful ppc64el proposed universe haskell Optional 2.5.2-2
  • Removed from disk .
  • Removal requested .
  • Superseded by ppc64el build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
  • Published
  2017-07-10 23:40:18 UTC Superseded Ubuntu Artful ppc64el proposed universe haskell Optional 2.5.2-2~build1
  • Removed from disk .
  • Removal requested .
  • Superseded by ppc64el build of agda 2.5.2-2 in ubuntu artful PROPOSED
  • Published
  2017-07-22 12:00:07 UTC Superseded Ubuntu Artful ppc64el release universe haskell Optional 2.5.1.1-4build1
  • Removed from disk .
  • Removal requested .
  • Superseded by ppc64el build of agda 2.5.2-2build1 in ubuntu artful PROPOSED
  • Published
  • Copied from ubuntu artful-proposed ppc64el in Primary Archive for Ubuntu
  2017-07-23 12:10:09 UTC Deleted Ubuntu Artful ppc64el proposed universe haskell Optional 2.5.1.1-4build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

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