Ubuntu
acl2 package

Publishing history of acl2 package in Ubuntu

1 → 75 of 158 results First • Previous • • Last
Date Status Target Pocket Component Section Version
  2024-04-29 18:55:16 UTC Published Oracular release universe math 8.5dfsg-5build3
  • Published
  • Copied from ubuntu noble in Primary Archive for Ubuntu
  2024-04-11 18:08:13 UTC Published Noble release universe math 8.5dfsg-5build3
  Deleted Noble proposed universe math 8.5dfsg-5build3
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  Deleted Noble updates universe math 8.5dfsg-5
  • Removal requested .
  • Deleted by Steve Langasek

    superseded by release

  • Published
  • Copied from Primary Archive for Ubuntu by Steve Langasek
  • Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux
  2024-04-11 18:08:47 UTC Superseded Noble release universe math 8.5dfsg-5build2
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.5dfsg-5build3
  • Published
  2024-04-12 18:10:17 UTC Deleted Noble proposed universe math 8.5dfsg-5build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-03-19 00:50:17 UTC Superseded Noble proposed universe math 8.5dfsg-5build1
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.5dfsg-5build2
  • Published
  2024-03-29 03:56:46 UTC Superseded Noble release universe math 8.5dfsg-5
  • Superseded by acl2 - 8.5dfsg-5build2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-04-25 12:10:09 UTC Published Mantic release universe math 8.5dfsg-5
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-01-18 01:44:11 UTC Published Lunar release universe math 8.5dfsg-5
  Deleted Lunar proposed universe math 8.5dfsg-5
  2023-01-18 01:45:02 UTC Superseded Lunar release universe math 8.5dfsg-4
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.5dfsg-5
  • 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
  2023-01-19 06:10:12 UTC Deleted Lunar proposed universe math 8.5dfsg-4
  2023-01-15 19:55:14 UTC Superseded Lunar release universe math 8.5dfsg-3
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.5dfsg-4
  • 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
  2023-01-17 00:10:12 UTC Deleted Lunar proposed universe math 8.5dfsg-3
  2023-01-01 23:04:18 UTC Superseded Lunar release universe math 8.5dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.5dfsg-3
  • 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
  2023-01-03 00:10:09 UTC Deleted Lunar proposed universe math 8.5dfsg-2
  2022-12-24 20:44:37 UTC Superseded Lunar release universe math 8.5dfsg-1
  • Superseded by acl2 - 8.5dfsg-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-11-13 12:55:48 UTC Obsolete Kinetic release universe math 8.5dfsg-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 math 8.5dfsg-1
  2022-08-02 04:49:07 UTC Superseded Kinetic release universe math 8.4dfsg-2
  • Removal requested .
  • Superseded by acl2 - 8.5dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2021-12-26 08:28:37 UTC Published Jammy release universe math 8.4dfsg-2
  Deleted Jammy proposed universe math 8.4dfsg-2
  2021-11-01 23:24:28 UTC Superseded Jammy proposed universe math 8.4dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.4dfsg-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2021-10-28 23:18:53 UTC Superseded Jammy proposed universe math 8.3dfsg-4
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.4dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2021-12-26 08:29:04 UTC Superseded Jammy release universe math 8.3dfsg-2
  • Superseded by acl2 - 8.4dfsg-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-07-23 18:02:57 UTC Obsolete Impish release universe math 8.3dfsg-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 math 8.3dfsg-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 Hirsute proposed universe math 8.3dfsg-2
  2021-03-29 17:19:12 UTC Superseded Hirsute release universe math 8.3dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.3dfsg-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2021-12-22 19:51:25 UTC Obsolete Groovy release universe math 8.3dfsg-1
  • Removed from disk .
  • 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
  2022-07-23 06:10:09 UTC Deleted Groovy proposed universe math 8.3dfsg-1
  2020-08-24 15:49:26 UTC Superseded Groovy release universe math 8.2dfsg-3build1
  • Removal requested .
  • Superseded by acl2 - 8.3dfsg-1
  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2020-03-24 09:53:43 UTC Published Focal release universe math 8.2dfsg-3build1
  Deleted Focal proposed universe math 8.2dfsg-3build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-03-24 09:55:34 UTC Superseded Focal release universe math 8.2dfsg-3
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.2dfsg-3build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2020-03-25 12:10:11 UTC Deleted Focal proposed universe math 8.2dfsg-3
  2019-12-31 11:13:22 UTC Superseded Focal proposed universe math 8.2dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.2dfsg-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2020-01-01 12:48:24 UTC Superseded Focal release universe math 8.2dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.2dfsg-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2020-01-02 18:10:08 UTC Deleted Focal proposed universe math 8.2dfsg-1
  2019-12-20 21:28:34 UTC Superseded Focal release universe math 8.1dfsg-6
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.2dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2019-12-22 00:10:08 UTC Deleted Focal proposed universe math 8.1dfsg-6
  2019-12-09 23:13:21 UTC Superseded Focal proposed universe math 8.1dfsg-5
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.1dfsg-6
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2019-12-08 23:13:19 UTC Superseded Focal proposed universe math 8.1dfsg-4
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.1dfsg-5
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2019-12-10 23:03:29 UTC Superseded Focal release universe math 8.1dfsg-3
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.1dfsg-6
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-12-29 14:18:15 UTC Obsolete Eoan release universe math 8.1dfsg-3
  2020-12-29 18:10:09 UTC Deleted Eoan proposed universe math 8.1dfsg-3
  2019-04-22 13:23:45 UTC Superseded Eoan release universe math 8.0dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.1dfsg-3
  • Published
  • Copied from ubuntu disco in Primary Archive for Ubuntu
  2020-07-14 06:39:25 UTC Obsolete Disco release universe math 8.0dfsg-1build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2020-07-14 12:10:11 UTC Deleted Disco proposed universe math 8.0dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2019-01-27 19:50:27 UTC Superseded Disco release universe math 8.0dfsg-1
  • Removal requested .
  • Superseded by acl2 - 8.0dfsg-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-07-13 02:35:12 UTC Obsolete Cosmic release universe math 8.0dfsg-1
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-01-31 17:34:39 UTC Published Bionic release universe math 8.0dfsg-1
  Deleted Bionic proposed universe math 8.0dfsg-1
  2018-01-13 23:08:21 UTC Superseded Bionic proposed universe math 7.4dfsg-4
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.0dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2018-01-31 17:37:07 UTC Superseded Bionic release universe math 7.4dfsg-3.1
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 8.0dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2018-02-01 18:10:09 UTC Deleted Bionic proposed universe math 7.4dfsg-3.1
  • 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 Adam Conrad
  2017-10-26 09:21:43 UTC Superseded Bionic release universe math 7.2dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 7.4dfsg-3.1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-02-01 18:10:09 UTC Deleted Artful proposed universe math 7.4dfsg-3.1
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to bionic-proposed

  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2017-08-09 23:14:02 UTC Superseded Artful proposed universe math 7.4dfsg-3
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 7.4dfsg-3.1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2017-06-09 23:08:19 UTC Superseded Artful proposed universe math 7.4dfsg-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 7.4dfsg-3
  • Published
  2017-06-02 22:38:39 UTC Superseded Artful proposed universe math 7.4dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 7.4dfsg-2build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2017-05-31 11:08:38 UTC Superseded Artful proposed universe math 7.4dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 7.4dfsg-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2017-05-10 05:08:21 UTC Superseded Artful proposed universe math 7.2dfsg-3
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 7.4dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Adam Conrad
  2020-07-10 15:03:46 UTC Obsolete Artful release universe math 7.2dfsg-2
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2017-05-12 00:10:11 UTC Deleted Zesty proposed universe math 7.2dfsg-3
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to artful-proposed

  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2016-11-02 04:25:07 UTC Superseded Zesty proposed universe math 7.2dfsg-2build2
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 7.2dfsg-3
  • Published
  • Copied from ubuntu yakkety in Primary Archive for Ubuntu by Adam Conrad
  2018-06-22 04:55:56 UTC Obsolete Zesty release universe math 7.2dfsg-2
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2016-11-05 06:10:11 UTC Deleted Yakkety proposed universe math 7.2dfsg-2build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to zesty-proposed

  • Published
  2016-09-26 21:26:42 UTC Superseded Yakkety proposed universe math 7.2dfsg-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 7.2dfsg-2build2
  • Published
  2018-01-23 00:52:03 UTC Obsolete Yakkety release universe math 7.2dfsg-2
  2020-07-10 18:10:10 UTC Deleted Yakkety proposed universe math 7.2dfsg-2
  2016-05-04 23:30:57 UTC Superseded Yakkety proposed universe math 7.2dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 7.2dfsg-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2016-04-26 22:15:03 UTC Superseded Yakkety proposed universe math 7.1dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by acl2 - 7.2dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Adam Conrad
  2016-05-09 02:18:50 UTC Superseded Yakkety release universe math 7.1-1
  • Removal requested .
  • Superseded by acl2 - 7.2dfsg-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
1 → 75 of 158 results First • Previous • • Last

«back