Ubuntu
cbmc package

Publishing history of cbmc package in Ubuntu

1 → 75 of 99 results First • Previous • • Last
Date Status Target Pocket Component Section Version
  2024-05-07 12:58:04 UTC Published Oracular release universe science 5.95.1-6
  Deleted Oracular proposed universe science 5.95.1-6
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to oracular

  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Graham Inggs
  2024-05-07 12:58:39 UTC Superseded Oracular release universe science 5.95.1-4ubuntu1
  • Superseded by cbmc - 5.95.1-6
  • Published
  • Copied from ubuntu noble in Primary Archive for Ubuntu
  2024-04-24 10:49:23 UTC Published Noble release universe science 5.95.1-4ubuntu1
  Deleted Noble proposed universe science 5.95.1-4ubuntu1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-04-23 17:04:55 UTC Superseded Noble proposed universe science 5.95.1-4
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.95.1-4ubuntu1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2024-02-19 17:18:02 UTC Superseded Noble proposed universe science 5.95.1-3
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.95.1-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2024-02-18 05:24:05 UTC Superseded Noble proposed universe science 5.95.1-2
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.95.1-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2024-02-16 23:18:00 UTC Superseded Noble proposed universe science 5.95.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.95.1-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2024-02-16 17:43:48 UTC Superseded Noble proposed universe science 5.89.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.95.1-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2024-04-24 10:50:26 UTC Superseded Noble release universe science 5.12-5
  • Superseded by cbmc - 5.95.1-4ubuntu1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2024-02-19 12:10:12 UTC Deleted Mantic proposed universe science 5.89.0-2
  2023-08-09 17:19:22 UTC Superseded Mantic proposed universe science 5.89.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.89.0-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-08-09 11:49:59 UTC Superseded Mantic proposed universe science 5.84.0-11
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.89.0-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-06-28 23:39:25 UTC Superseded Mantic proposed universe science 5.84.0-10
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.84.0-11
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-06-28 17:39:30 UTC Superseded Mantic proposed universe science 5.84.0-9
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.84.0-10
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-06-27 23:39:11 UTC Superseded Mantic proposed universe science 5.84.0-8
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.84.0-9
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-06-27 17:24:16 UTC Superseded Mantic proposed universe science 5.84.0-7
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.84.0-8
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-06-27 11:34:39 UTC Superseded Mantic proposed universe science 5.84.0-6
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.84.0-7
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-06-26 12:09:37 UTC Superseded Mantic proposed universe science 5.84.0-5
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.84.0-6
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-06-17 11:44:30 UTC Superseded Mantic proposed universe science 5.84.0-4
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.84.0-5
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-06-14 12:09:47 UTC Superseded Mantic proposed universe science 5.84.0-3
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.84.0-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-06-13 00:17:51 UTC Superseded Mantic proposed universe science 5.84.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.84.0-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-06-04 11:44:04 UTC Superseded Mantic proposed universe science 5.84.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.84.0-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-04-25 12:10:09 UTC Published Mantic release universe science 5.12-5
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-10-27 17:20:10 UTC Published Lunar release universe science 5.12-5
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-11-13 12:55:48 UTC Obsolete Kinetic release universe science 5.12-5
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2021-10-15 11:50:32 UTC Published Jammy release universe science 5.12-5
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-07-23 18:02:57 UTC Obsolete Impish release universe science 5.12-5
  • 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 science 5.12-5
  • 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 science 5.12-5
  • 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 science 5.12-5
  2020-05-05 09:48:18 UTC Superseded Groovy release universe science 5.12-4
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.12-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
  2020-05-06 12:10:10 UTC Deleted Groovy proposed universe science 5.12-4
  • 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 Graham Inggs
  2020-05-02 21:08:24 UTC Superseded Groovy release universe science 5.10-5ubuntu1
  • Removal requested .
  • Superseded by cbmc - 5.12-4
  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2020-04-14 16:34:54 UTC Published Focal release universe science 5.10-5ubuntu1
  Deleted Focal proposed universe science 5.10-5ubuntu1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-04-14 09:08:32 UTC Superseded Focal proposed universe science 5.10-5build1
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.10-5ubuntu1
  • Published
  2020-04-14 16:44:07 UTC Superseded Focal release universe science 5.10-5
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.10-5ubuntu1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-12-29 14:18:15 UTC Obsolete Eoan release universe science 5.10-5
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-07-14 06:39:25 UTC Obsolete Disco release universe science 5.10-5
  2020-12-29 18:10:09 UTC Deleted Disco proposed universe science 5.10-5
  2018-11-10 06:18:28 UTC Superseded Disco release universe science 5.9-6
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.10-5
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-07-13 02:35:12 UTC Obsolete Cosmic release universe science 5.9-6
  2020-07-13 06:10:10 UTC Deleted Cosmic proposed universe science 5.9-6
  2018-07-07 23:19:39 UTC Superseded Cosmic proposed universe science 5.9-3
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.9-6
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2018-07-04 05:13:22 UTC Superseded Cosmic proposed universe science 5.9-2
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.9-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2018-07-03 23:13:23 UTC Superseded Cosmic proposed universe science 5.9-1
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.9-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2018-07-08 02:58:14 UTC Superseded Cosmic release universe science 5.6-1
  • Removal requested .
  • Superseded by cbmc - 5.9-6
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2017-10-24 21:55:24 UTC Published Bionic release universe science 5.6-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-07-10 15:03:46 UTC Obsolete Artful release universe science 5.6-1
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-06-22 04:55:56 UTC Obsolete Zesty release universe science 5.6-1
  Deleted Zesty proposed universe science 5.6-1
  2016-12-04 17:18:24 UTC Superseded Zesty proposed universe science 5.5-1
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.6-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2016-12-04 20:08:27 UTC Superseded Zesty release universe science 5.4-3
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.6-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-01-23 00:52:03 UTC Obsolete Yakkety release universe science 5.4-3
  2018-01-23 06:10:09 UTC Deleted Yakkety proposed universe science 5.4-3
  2016-07-15 02:31:08 UTC Superseded Yakkety release universe science 5.4-2
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.4-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2016-07-16 06:10:11 UTC Deleted Yakkety proposed universe science 5.4-2
  2016-05-09 17:25:15 UTC Superseded Yakkety proposed universe science 5.4-1
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.4-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2016-05-09 20:52:12 UTC Superseded Yakkety release universe science 5.3-1
  • Removal requested .
  • Superseded by cbmc - 5.4-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2016-01-21 07:49:06 UTC Published Xenial release universe science 5.3-1
  Deleted Xenial proposed universe science 5.3-1
  2016-01-21 07:49:59 UTC Superseded Xenial release universe science 5.2-1
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.3-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2016-01-22 12:10:10 UTC Deleted Xenial proposed universe science 5.2-1
  2015-10-26 13:21:02 UTC Superseded Xenial release universe science 5.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.2-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-01-22 04:16:43 UTC Obsolete Wily release universe science 5.1-1
  2018-01-22 06:10:09 UTC Deleted Wily proposed universe science 5.1-1
  2015-05-11 07:34:14 UTC Superseded Wily release universe science 5.0-3
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.1-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-01-18 23:34:00 UTC Obsolete Vivid release universe science 5.0-3
  2018-01-19 06:10:09 UTC Deleted Vivid proposed universe science 5.0-3
  2015-02-08 18:38:33 UTC Superseded Vivid release universe science 5.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.0-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2015-02-10 00:10:09 UTC Deleted Vivid proposed universe science 5.0-2
  2015-02-08 05:08:33 UTC Superseded Vivid proposed universe science 5.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.0-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2015-02-08 06:48:46 UTC Superseded Vivid release universe science 4.9-5
  • Removed from disk .
  • Removal requested .
  • Superseded by cbmc - 5.0-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
1 → 75 of 99 results First • Previous • • Last

«back