Ubuntu
agda-stdlib package

Publishing history of agda-stdlib package in Ubuntu

1 → 75 of 78 results First • Previous • • Last
Date Status Target Pocket Component Section Version
  2024-04-29 18:55:16 UTC Published Oracular release universe libs 1.7.3-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-12-19 19:59:39 UTC Published Noble release universe libs 1.7.3-1
  Deleted Noble proposed universe libs 1.7.3-1
  2023-12-19 20:15:22 UTC Superseded Noble release universe libs 1.7.1-1
  • Superseded by agda-stdlib - 1.7.3-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-04-25 12:10:09 UTC Published Mantic release universe libs 1.7.1-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-10-27 17:20:10 UTC Published Lunar release universe libs 1.7.1-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-11-13 12:55:48 UTC Obsolete Kinetic release universe libs 1.7.1-1
  • Removal requested .
  • Published
  • Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  • Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux
  Deleted Kinetic proposed universe libs 1.7.1-1
  2022-09-07 22:02:31 UTC Superseded Kinetic release universe libs 1.3-2
  • Removal requested .
  • Superseded by agda-stdlib - 1.7.1-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2021-10-15 11:50:32 UTC Published Jammy release universe libs 1.3-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-07-23 18:02:57 UTC Obsolete Impish release universe libs 1.3-2
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-07-23 01:40:00 UTC Obsolete Hirsute release universe libs 1.3-2
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2021-12-22 19:51:25 UTC Obsolete Groovy release universe libs 1.3-2
  • Removal requested .
  • Published
  • Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  • Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux
  Deleted Groovy proposed universe libs 1.3-2
  2020-08-02 05:13:39 UTC Superseded Groovy proposed universe libs 1.3-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 1.3-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Gianfranco Costamagna
  Deleted Groovy release universe libs 1.1-1
  • Removal requested .
  • Deleted by Steve Langasek

    build-depends on agda->haskell-edison-core, which is scheduled for removal in Debian; Debian bug #962958, LP: #1886847

  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2019-10-18 09:15:30 UTC Published Focal release universe libs 1.1-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-12-29 14:18:15 UTC Obsolete Eoan release universe libs 1.1-1
  Deleted Eoan proposed universe libs 1.1-1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Gianfranco Costamagna
  2019-09-06 15:49:00 UTC Superseded Eoan proposed universe libs 1.1-1~build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 1.1-1
  • Published
  2019-09-09 21:01:50 UTC Superseded Eoan release universe libs 0.17-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 1.1-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-07-14 06:39:25 UTC Obsolete Disco release universe libs 0.17-1
  2020-07-14 12:10:11 UTC Deleted Disco proposed universe libs 0.17-1
  2018-12-21 05:08:19 UTC Superseded Disco release universe libs 0.14-1
  • Removal requested .
  • Superseded by agda-stdlib - 0.17-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-07-13 02:35:12 UTC Obsolete Cosmic release universe libs 0.14-1
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2017-11-26 18:48:15 UTC Published Bionic release universe libs 0.14-1
  Deleted Bionic proposed universe libs 0.14-1
  2017-11-26 18:48:21 UTC Superseded Bionic release universe libs 0.14-1~build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.14-1
  • Published
  2017-11-28 00:10:10 UTC Deleted Bionic proposed universe libs 0.14-1~build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-11-26 11:14:36 UTC Superseded Bionic proposed universe libs 0.13-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.14-1~build1
  • Published
  2017-11-26 12:13:28 UTC Superseded Bionic release universe libs 0.13-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.14-1~build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-07-10 15:03:46 UTC Obsolete Artful release universe libs 0.13-1
  2020-07-10 18:10:10 UTC Deleted Artful proposed universe libs 0.13-1
  2017-07-10 12:58:20 UTC Superseded Artful release universe libs 0.12-2build3
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.13-1
  • Published
  2017-07-11 18:10:09 UTC Deleted Artful proposed universe libs 0.12-2build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-06-21 18:54:01 UTC Superseded Artful release universe libs 0.12-2build2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.12-2build3
  • Published
  • Copied from ubuntu zesty in Primary Archive for Ubuntu
  2018-06-22 04:55:56 UTC Obsolete Zesty release universe libs 0.12-2build2
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2016-11-15 17:48:39 UTC Superseded Zesty release universe libs 0.12-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.12-2build2
  • Published
  • Copied from ubuntu yakkety in Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2018-06-22 12:10:09 UTC Deleted Zesty proposed universe libs 0.12-2build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-01-23 06:10:09 UTC Deleted Zesty proposed universe libs 0.12-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Superseded by agda-stdlib - 0.12-2build2
  • Published
  • Copied from ubuntu yakkety in Primary Archive for Ubuntu by Martin Pitt
  2018-01-23 06:10:09 UTC Deleted Zesty release universe libs 0.12-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Martin Pitt

    move on ghc8 transition

  • Published
  • Copied from ubuntu yakkety in Primary Archive for Ubuntu
  2018-01-23 00:52:03 UTC Obsolete Yakkety release universe libs 0.12-2build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2018-01-23 06:10:09 UTC Deleted Yakkety proposed universe libs 0.12-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2016-08-09 17:56:58 UTC Superseded Yakkety release universe libs 0.12-2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.12-2build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2016-08-10 18:10:10 UTC Deleted Yakkety proposed universe libs 0.12-2
  2016-06-24 05:35:18 UTC Superseded Yakkety proposed universe libs 0.12-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.12-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 libs 0.11-1
  • Removal requested .
  • Superseded by agda-stdlib - 0.12-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2016-01-05 02:09:11 UTC Published Xenial release universe libs 0.11-1
  Deleted Xenial proposed universe libs 0.11-1
  2016-01-05 02:09:31 UTC Superseded Xenial release universe libs 0.9-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.11-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-01-22 04:16:43 UTC Obsolete Wily release universe libs 0.9-1
  2018-01-22 06:10:09 UTC Deleted Wily proposed universe libs 0.9-1
  2015-06-23 11:40:04 UTC Superseded Wily release universe libs 0.8-2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.9-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-01-18 23:34:00 UTC Obsolete Vivid release universe libs 0.8-2
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2016-11-03 06:09:53 UTC Obsolete Utopic release universe libs 0.8-2
  2018-01-19 06:10:09 UTC Deleted Utopic proposed universe libs 0.8-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-12 16:39:38 UTC Superseded Utopic proposed universe libs 0.8-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.8-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 libs 0.7-2
  • Removal requested .
  • Superseded by agda-stdlib - 0.8-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2013-10-18 14:25:21 UTC Published Trusty release universe libs 0.7-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-04-24 12:50:55 UTC Obsolete Saucy release universe libs 0.7-2
  Deleted Saucy proposed universe libs 0.7-2
  2013-05-28 00:03:56 UTC Superseded Saucy release universe libs 0.7-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.7-2
  • Published
  • Copied from debian experimental in Primary Archive for Debian GNU/Linux
  2015-04-24 12:12:58 UTC Obsolete Raring release universe libs 0.7-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 libs 0.7-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 libs 0.6-2
  • Removal requested .
  • Superseded by agda-stdlib - 0.7-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-04-24 11:19:49 UTC Obsolete Quantal release universe libs 0.6-2
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2012-03-18 21:33:42 UTC Published Precise release universe libs 0.6-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Iain Lane
  2012-03-18 21:33:54 UTC Superseded Precise release universe libs 0.6-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.6-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Iain Lane
  2012-01-04 01:05:51 UTC Superseded Precise release universe libs 0.6~darcs20111129t1640-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.6-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Iain Lane
  2011-11-30 09:04:51 UTC Superseded Precise release universe libs 0.5-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.6~darcs20111129t1640-1
  • Published
  • Copied from ubuntu oneiric in Primary Archive for Ubuntu
  2015-04-24 09:57:35 UTC Obsolete Oneiric release universe libs 0.5-1
  • Removed from disk .
  • Removal requested .
  • Published
  2011-06-17 17:06:16 UTC Superseded Oneiric release universe libs 0.5-1~ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.5-1
  • Published
  • Copied from ubuntu natty in Primary Archive for Ubuntu
  2013-06-04 02:07:47 UTC Obsolete Natty release universe libs 0.5-1~ubuntu1
  • Removed from disk .
  • Removal requested .
  • Published
  2011-03-01 01:05:25 UTC Superseded Natty release universe libs 0.3-3fakesync
  • Removed from disk .
  • Removal requested .
  • Superseded by agda-stdlib - 0.5-1~ubuntu1
  • Published
  • Copied from ubuntu maverick in Primary Archive for Ubuntu
  2013-03-05 01:38:15 UTC Obsolete Maverick release universe libs 0.3-3fakesync
  • Removed from disk .
  • Removal requested .
  • Published
1 → 75 of 78 results First • Previous • • Last

«back