Ubuntu
agda package

Publishing history of agda package in Ubuntu

76 → 150 of 156 results First • • • Last
Date Status Target Pocket Component Section Version
  2018-01-23 00:52:03 UTC Obsolete Yakkety release universe haskell 2.5.1-2build2
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2018-01-23 06:10:09 UTC Deleted Yakkety proposed universe haskell 2.5.1-2build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2016-08-09 13:26:58 UTC Superseded Yakkety proposed universe haskell 2.5.1-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.1-2build2
  • Published
  2016-08-22 21:05:55 UTC Superseded Yakkety release universe haskell 2.5.1-2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.1-2build2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2016-08-24 00:10:10 UTC Deleted Yakkety proposed universe haskell 2.5.1-2
  2016-06-20 23:43:33 UTC Superseded Yakkety proposed universe haskell 2.5.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.1-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2016-07-03 10:10:32 UTC Superseded Yakkety release universe haskell 2.4.2.5-1build1
  • Removal requested .
  • Superseded by agda - 2.5.1-2
  • Published
  • Copied from ubuntu xenial in Primary Archive for Ubuntu
  2016-02-10 15:18:47 UTC Published Xenial release universe haskell 2.4.2.5-1build1
  Deleted Xenial proposed universe haskell 2.4.2.5-1build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2016-02-10 15:39:48 UTC Superseded Xenial release universe haskell 2.4.2.5-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.4.2.5-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2016-02-11 18:10:10 UTC Deleted Xenial proposed universe haskell 2.4.2.5-1
  2016-01-05 01:44:09 UTC Superseded Xenial release universe haskell 2.4.2.2-4build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.4.2.5-1
  • Published
  • Copied from ubuntu wily in Primary Archive for Ubuntu
  2018-01-22 04:16:43 UTC Obsolete Wily release universe haskell 2.4.2.2-4build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2018-01-22 06:10:09 UTC Deleted Wily proposed universe haskell 2.4.2.2-4build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2015-08-17 22:39:31 UTC Superseded Wily release universe haskell 2.4.2.2-4
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.4.2.2-4build1
  • Published
  2015-08-19 00:10:11 UTC Deleted Wily proposed universe haskell 2.4.2.2-4
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2015-08-04 15:23:53 UTC Superseded Wily proposed universe haskell 2.4.2.2-3build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.4.2.2-4
  • Published
  2015-08-12 03:58:19 UTC Superseded Wily release universe haskell 2.4.2.2-3
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.4.2.2-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2015-08-13 06:10:11 UTC Deleted Wily proposed universe haskell 2.4.2.2-3
  2015-07-10 12:21:58 UTC Superseded Wily release universe haskell 2.4.2.2-2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.4.2.2-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2015-07-11 18:10:09 UTC Deleted Wily proposed universe haskell 2.4.2.2-2
  2015-06-24 00:47:19 UTC Superseded Wily release universe haskell 2.4.0.2-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.4.2.2-2
  • Published
  • Copied from ubuntu vivid in Primary Archive for Ubuntu
  2018-01-18 23:34:00 UTC Obsolete Vivid release universe haskell 2.4.0.2-2build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2018-01-19 06:10:09 UTC Deleted Vivid proposed universe haskell 2.4.0.2-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2014-11-03 12:56:59 UTC Superseded Vivid release universe haskell 2.4.0.2-2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.4.0.2-2build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2016-11-03 06:09:53 UTC Obsolete Utopic release universe haskell 2.4.0.2-2
  2016-11-03 12:10:12 UTC Deleted Utopic proposed universe haskell 2.4.0.2-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Colin Watson
  2014-08-11 16:29:01 UTC Superseded Utopic proposed universe haskell 2.4.0.2-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.4.0.2-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2014-08-13 02:41:22 UTC Superseded Utopic release universe haskell 2.3.2.2-1build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.4.0.2-2
  • Published
  2014-08-14 06:10:10 UTC Deleted Utopic proposed universe haskell 2.3.2.2-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2014-07-04 11:57:38 UTC Superseded Utopic release universe haskell 2.3.2.2-1
  • Removal requested .
  • Superseded by agda - 2.3.2.2-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2013-11-07 09:28:27 UTC Published Trusty release universe haskell 2.3.2.2-1
  Deleted Trusty proposed universe haskell 2.3.2.2-1
  2013-11-07 09:29:24 UTC Superseded Trusty release universe haskell 2.3.2.1-2build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.2.2-1
  • Published
  2013-11-08 12:10:11 UTC Deleted Trusty proposed universe haskell 2.3.2.1-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2013-10-28 08:42:09 UTC Superseded Trusty release universe haskell 2.3.2.1-2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.2.1-2build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2013-10-29 12:10:11 UTC Deleted Trusty proposed universe haskell 2.3.2.1-2
  2013-10-22 02:34:49 UTC Superseded Trusty release universe haskell 2.3.2.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.2.1-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-04-24 12:50:55 UTC Obsolete Saucy release universe haskell 2.3.2.1-1
  2015-04-28 07:58:07 UTC Deleted Saucy proposed universe haskell 2.3.2.1-1
  2013-06-19 01:09:09 UTC Superseded Saucy release universe haskell 2.3.2-4
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.2.1-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2013-06-20 06:10:11 UTC Deleted Saucy proposed universe haskell 2.3.2-4
  2013-06-12 18:07:43 UTC Superseded Saucy release universe haskell 2.3.2-3
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.2-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2013-06-13 18:10:10 UTC Deleted Saucy proposed universe haskell 2.3.2-3
  2013-05-29 18:15:19 UTC Superseded Saucy proposed universe haskell 2.3.2-2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.2-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2013-05-27 23:34:12 UTC Superseded Saucy proposed universe haskell 2.3.2-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.2-2
  • Published
  2013-05-31 15:53:17 UTC Superseded Saucy release universe haskell 2.3.2-1build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.2-3
  • Published
  2013-06-01 18:10:12 UTC Deleted Saucy proposed universe haskell 2.3.2-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2013-05-03 19:35:57 UTC Superseded Saucy release universe haskell 2.3.2-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.2-1build1
  • Published
  • Copied from debian experimental in Primary Archive for Debian GNU/Linux
  2015-04-24 12:12:58 UTC Obsolete Raring release universe haskell 2.3.2-1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from debian experimental in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2015-04-27 07:11:02 UTC Deleted Raring proposed universe haskell 2.3.2-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from debian experimental in Primary Archive for Debian GNU/Linux by Iain Lane
  2013-04-15 21:20:12 UTC Superseded Raring release universe haskell 2.3.0.1-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.2-1
  • Published
  • Copied from ubuntu quantal in Primary Archive for Ubuntu
  2015-04-24 11:19:49 UTC Obsolete Quantal release universe haskell 2.3.0.1-2build1
  • Removed from disk .
  • Removal requested .
  • Published
  2012-08-27 12:33:26 UTC Superseded Quantal release universe haskell 2.3.0.1-2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.0.1-2build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Colin Watson)
  2012-05-27 20:06:04 UTC Superseded Quantal release universe haskell 2.3.0.1-1build2
  • Removal requested .
  • Superseded by agda - 2.3.0.1-2
  • Published
  • Copied from ubuntu precise in Primary Archive for Ubuntu
  2012-04-21 16:33:47 UTC Published Precise release universe haskell 2.3.0.1-1build2
  • Published
  2012-04-21 16:33:55 UTC Superseded Precise release universe haskell 2.3.0.1-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.0.1-1build2
  • Published
  2012-04-11 00:04:31 UTC Superseded Precise release universe haskell 2.3.0.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.0.1-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Andrew Mitchell
  2012-03-18 12:03:54 UTC Superseded Precise release universe haskell 2.3.0-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.0.1-1
  • Published
  2012-01-23 10:05:32 UTC Superseded Precise release universe haskell 2.3.0-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.0-1build2
  • Published
  2012-01-04 01:05:51 UTC Superseded Precise release universe haskell 2.3.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.0-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Iain Lane
  2011-11-29 18:05:58 UTC Superseded Precise release universe haskell 2.2.10-4build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.3.0-1
  • Published
  2011-11-14 10:22:47 UTC Superseded Precise release universe haskell 2.2.10-4
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.2.10-4build1
  • Published
  2011-10-17 10:09:20 UTC Superseded Precise release universe haskell 2.2.10-3build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.2.10-4
  • Published
  • Copied from ubuntu oneiric in Primary Archive for Ubuntu
  2015-04-24 09:57:35 UTC Obsolete Oneiric release universe haskell 2.2.10-3build1
  • Removed from disk .
  • Removal requested .
  • Published
  2011-07-09 22:06:53 UTC Superseded Oneiric release universe haskell 2.2.10-3
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.2.10-3build1
  • Published
  2011-06-17 23:06:08 UTC Superseded Oneiric release universe haskell 2.2.10-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.2.10-3
  • Published
  2011-06-09 09:05:34 UTC Superseded Oneiric release universe haskell 2.2.10-2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.2.10-2build1
  • Published
  2011-06-08 09:05:17 UTC Superseded Oneiric release universe haskell 2.2.10-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.2.10-2
  • Published
  2011-05-29 22:05:13 UTC Superseded Oneiric release universe haskell 2.2.10-1~ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.2.10-1
  • Published
  • Copied from ubuntu natty in Primary Archive for Ubuntu
  2013-06-04 02:07:47 UTC Obsolete Natty release universe haskell 2.2.10-1~ubuntu1
  • Removed from disk .
  • Removal requested .
  • Published
  2011-02-24 19:07:22 UTC Superseded Natty release universe haskell 2.2.6-7build2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.2.10-1~ubuntu1
  • Published
  2011-01-26 14:05:20 UTC Superseded Natty release universe haskell 2.2.6-7build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.2.6-7build2
  • Published
  • Copied from ubuntu maverick in Primary Archive for Ubuntu
  2013-03-05 01:38:15 UTC Obsolete Maverick release universe haskell 2.2.6-7build1
  • Removed from disk .
  • Removal requested .
  • Published
  2010-05-26 09:05:39 UTC Superseded Maverick release universe haskell 2.2.6-7
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.2.6-7build1
  • Published
76 → 150 of 156 results First • • • Last

«back