Ubuntu
agda package

Publishing history of agda package in Ubuntu

1 → 75 of 154 results First • Previous • • Last
Date Status Target Pocket Component Section Version
  2024-04-29 18:55:16 UTC Published Oracular release universe haskell 2.6.3-1build1
  • Published
  • Copied from ubuntu noble in Primary Archive for Ubuntu
  2023-12-19 19:59:39 UTC Published Noble release universe haskell 2.6.3-1build1
  Deleted Noble proposed universe haskell 2.6.3-1build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2023-11-08 09:38:18 UTC Superseded Noble proposed universe haskell 2.6.3-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.6.3-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-12-19 20:15:22 UTC Superseded Noble release universe haskell 2.6.2.2-1.1build1
  • Superseded by agda - 2.6.3-1build1
  • Published
  • Copied from ubuntu lunar in Primary Archive for Ubuntu
  2023-04-25 12:10:09 UTC Published Mantic release universe haskell 2.6.2.2-1.1build1
  • Published
  • Copied from ubuntu lunar in Primary Archive for Ubuntu
  2022-12-28 04:09:00 UTC Published Lunar release universe haskell 2.6.2.2-1.1build1
  Deleted Lunar proposed universe haskell 2.6.2.2-1.1build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2022-12-12 10:30:01 UTC Superseded Lunar proposed universe haskell 2.6.2.2-1.1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.6.2.2-1.1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2022-12-28 04:21:16 UTC Superseded Lunar release universe haskell 2.6.2.2-1
  • Superseded by agda - 2.6.2.2-1.1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-11-13 12:55:48 UTC Obsolete Kinetic release universe haskell 2.6.2.2-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 haskell 2.6.2.2-1
  2022-09-07 22:02:31 UTC Superseded Kinetic release universe haskell 2.6.1-1build2.1
  • Removal requested .
  • Superseded by agda - 2.6.2.2-1
  • Published
  • Copied from ubuntu impish in Primary Archive for Ubuntu
  2021-10-15 11:50:32 UTC Published Jammy release universe haskell 2.6.1-1build2.1
  • Published
  • Copied from ubuntu impish in Primary Archive for Ubuntu
  2022-07-23 18:02:57 UTC Obsolete Impish release universe haskell 2.6.1-1build2.1
  Deleted Impish proposed universe haskell 2.6.1-1build2.1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to impish

  • Published
  2021-09-17 23:38:45 UTC Superseded Impish release universe haskell 2.6.1-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.6.1-1build2.1
  • Published
  • Copied from ubuntu hirsute in Primary Archive for Ubuntu
  2022-07-23 01:40:00 UTC Obsolete Hirsute release universe haskell 2.6.1-1build2
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2022-07-24 00:10:09 UTC Deleted Hirsute proposed universe haskell 2.6.1-1build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-11-20 01:43:08 UTC Superseded Hirsute release universe haskell 2.6.1-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.6.1-1build2
  • Published
  • Copied from ubuntu groovy in Primary Archive for Ubuntu
  2021-12-22 19:51:25 UTC Obsolete Groovy release universe haskell 2.6.1-1build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2021-12-23 00:10:07 UTC Deleted Groovy proposed universe haskell 2.6.1-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-09-09 20:24:11 UTC Superseded Groovy release universe haskell 2.6.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.6.1-1build1
  • 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
  2020-09-11 00:10:11 UTC Deleted Groovy proposed universe haskell 2.6.1-1
  2020-07-09 18:10:12 UTC Deleted Groovy proposed universe haskell 2.6.1-0ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Steve Langasek

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

  • Published
  2020-07-07 04:04:07 UTC Superseded Groovy proposed universe haskell 2.6.0.1-1build5
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.6.1-0ubuntu1
  • Published
  Deleted Groovy release universe haskell 2.6.0.1-1build4
  • Removal requested .
  • Deleted by Steve Langasek

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

  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2020-02-08 16:53:22 UTC Published Focal release universe haskell 2.6.0.1-1build4
  Deleted Focal proposed universe haskell 2.6.0.1-1build4
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-02-08 16:54:45 UTC Superseded Focal release universe haskell 2.6.0.1-1build3
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.6.0.1-1build4
  • Published
  2020-02-09 18:10:10 UTC Deleted Focal proposed universe haskell 2.6.0.1-1build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-01-31 09:06:06 UTC Superseded Focal release universe haskell 2.6.0.1-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.6.0.1-1build3
  • Published
  • Copied from ubuntu eoan in Primary Archive for Ubuntu
  2020-12-29 14:18:15 UTC Obsolete Eoan release universe haskell 2.6.0.1-1build2
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2020-12-29 18:10:09 UTC Deleted Eoan proposed universe haskell 2.6.0.1-1build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2019-09-03 05:53:20 UTC Superseded Eoan proposed universe haskell 2.6.0.1-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.6.0.1-1build2
  • Published
  2019-09-01 18:13:16 UTC Superseded Eoan proposed universe haskell 2.6.0.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.6.0.1-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Gianfranco Costamagna
  2019-09-01 12:43:56 UTC Superseded Eoan proposed universe haskell 2.5.4.1-3build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.6.0.1-1
  • Published
  2019-09-09 21:01:50 UTC Superseded Eoan release universe haskell 2.5.4.1-3
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.6.0.1-1build2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-07-14 06:39:25 UTC Obsolete Disco release universe haskell 2.5.4.1-3
  2020-07-14 12:10:11 UTC Deleted Disco proposed universe haskell 2.5.4.1-3
  • 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 Gianfranco Costamagna
  2018-12-21 05:08:19 UTC Superseded Disco release universe haskell 2.5.3-5build3
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.4.1-3
  • Published
  • Copied from ubuntu cosmic in Primary Archive for Ubuntu
  2020-07-13 02:35:12 UTC Obsolete Cosmic release universe haskell 2.5.3-5build3
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2020-07-13 06:10:10 UTC Deleted Cosmic proposed universe haskell 2.5.3-5build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-07-05 07:48:36 UTC Superseded Cosmic proposed universe haskell 2.5.3-5build2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.3-5build3
  • Published
  2018-07-04 18:59:12 UTC Superseded Cosmic proposed universe haskell 2.5.3-5build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.3-5build2
  • Published
  2018-07-06 07:49:43 UTC Superseded Cosmic release universe haskell 2.5.3-5
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.3-5build3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2018-07-07 12:10:12 UTC Deleted Cosmic proposed universe haskell 2.5.3-5
  2018-06-27 20:15:44 UTC Superseded Cosmic release universe haskell 2.5.3-3build1
  • Removal requested .
  • Superseded by agda - 2.5.3-5
  • Published
  • Copied from ubuntu bionic in Primary Archive for Ubuntu
  2017-11-27 03:03:13 UTC Published Bionic release universe haskell 2.5.3-3build1
  Deleted Bionic proposed universe haskell 2.5.3-3build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-11-27 03:03:47 UTC Superseded Bionic release universe haskell 2.5.3-3
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.3-3build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2017-11-28 06:10:09 UTC Deleted Bionic proposed universe haskell 2.5.3-3
  2017-11-22 03:48:34 UTC Superseded Bionic release universe haskell 2.5.2-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.3-3
  • Published
  • Copied from ubuntu artful in Primary Archive for Ubuntu
  2020-07-10 15:03:46 UTC Obsolete Artful release universe haskell 2.5.2-2build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2020-07-10 18:10:10 UTC Deleted Artful proposed universe haskell 2.5.2-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-07-15 08:58:58 UTC Superseded Artful proposed universe haskell 2.5.2-2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.2-2build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2017-07-10 23:40:18 UTC Superseded Artful proposed universe haskell 2.5.2-2~build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.2-2
  • Published
  2017-07-10 11:14:13 UTC Superseded Artful proposed universe haskell 2.5.2-1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.2-2~build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2017-07-07 05:08:45 UTC Superseded Artful proposed universe haskell 2.5.1.1-4build2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.2-1
  • Published
  2017-07-22 12:00:07 UTC Superseded Artful release universe haskell 2.5.1.1-4build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.2-2build1
  • Published
  2017-07-23 12:10:09 UTC Deleted Artful proposed universe haskell 2.5.1.1-4build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-06-21 16:29:24 UTC Superseded Artful proposed universe haskell 2.5.1.1-4
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.1.1-4build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2017-06-21 11:08:40 UTC Superseded Artful proposed universe haskell 2.5.1.1-3build4
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.1.1-4
  • Published
  2017-06-24 21:33:29 UTC Superseded Artful release universe haskell 2.5.1.1-3build3
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.1.1-4build1
  • Published
  • Copied from ubuntu zesty in Primary Archive for Ubuntu
  2018-06-22 04:55:56 UTC Obsolete Zesty release universe haskell 2.5.1.1-3build3
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2018-06-22 12:10:09 UTC Deleted Zesty proposed universe haskell 2.5.1.1-3build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-01-27 07:30:23 UTC Superseded Zesty proposed universe haskell 2.5.1.1-3build2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.1.1-3build3
  • Published
  2017-01-27 06:49:35 UTC Superseded Zesty proposed universe haskell 2.5.1.1-3build1
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.1.1-3build2
  • Published
  2017-01-31 11:34:30 UTC Superseded Zesty release universe haskell 2.5.1.1-3
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.1.1-3build3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2017-02-01 12:10:11 UTC Deleted Zesty proposed universe haskell 2.5.1.1-3
  • 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 Gianfranco Costamagna
  2016-11-15 18:10:11 UTC Deleted Zesty release universe haskell 2.5.1-2build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Martin Pitt

    demoting to -proposed to unblock ghc8 transition

  • Published
  2016-11-15 18:10:11 UTC Deleted Zesty proposed universe haskell 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 Zesty release universe haskell 2.5.1-2build2
  • Removed from disk .
  • Removal requested .
  • Superseded by agda - 2.5.1-2build3
  • Published
  • Copied from ubuntu yakkety in Primary Archive for Ubuntu
  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
1 → 75 of 154 results First • Previous • • Last

«back