Ubuntu

agda-bin binary package in Ubuntu Cosmic i386

  1. Cosmic (18.10)
  2. i386
  3. agda-bin

Publishing history

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

    moved to release

  • Published
  2018-07-05 08:48:39 UTC Superseded Ubuntu Cosmic i386 proposed universe haskell Optional 2.5.3-5build2
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
  • Published
  2018-07-04 19:23:19 UTC Superseded Ubuntu Cosmic i386 proposed universe haskell Optional 2.5.3-5build1
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of agda 2.5.3-5build2 in ubuntu cosmic PROPOSED
  • Published
  2018-07-06 07:49:43 UTC Superseded Ubuntu Cosmic i386 release universe haskell Optional 2.5.3-5
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of agda 2.5.3-5build3 in ubuntu cosmic PROPOSED
  • Published
  • Copied from ubuntu cosmic-proposed i386 in Primary Archive for Ubuntu
  2018-07-07 12:10:12 UTC Deleted Ubuntu Cosmic i386 proposed universe haskell Optional 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 i386 release universe haskell Optional 2.5.3-3build1
  • Removal requested .
  • Superseded by i386 build of agda 2.5.3-5 in ubuntu cosmic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed i386 in Primary Archive for Ubuntu