Ubuntu
cvc4 package

Publishing history of cvc4 package in Ubuntu

1 → 34 of 34 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2024-04-04 05:34:26 UTC Published Noble release universe misc 1.8-3build2
  Deleted Noble proposed universe misc 1.8-3build2
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  Deleted Noble updates universe misc 1.8-3
  • Removal requested .
  • Deleted by Steve Langasek

    superseded by release

  • Published
  • Copied from Primary Archive for Ubuntu by Ubuntu Archive Robot
  • Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux
  2024-04-04 05:35:56 UTC Superseded Noble release universe misc 1.8-3build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by cvc4 - 1.8-3build2
  • Published
  2024-04-05 06:10:18 UTC Deleted Noble proposed universe misc 1.8-3build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-03-29 03:56:46 UTC Superseded Noble release universe misc 1.8-3
  • Superseded by cvc4 - 1.8-3build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-04-25 12:10:09 UTC Published Mantic release universe misc 1.8-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-11-18 03:43:29 UTC Published Lunar release universe misc 1.8-3
  Deleted Lunar proposed universe misc 1.8-3
  2022-11-18 03:44:17 UTC Superseded Lunar release universe misc 1.8-2
  • Superseded by cvc4 - 1.8-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-11-13 12:55:48 UTC Obsolete Kinetic release universe misc 1.8-2
  • 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 misc 1.8-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-07-23 18:02:57 UTC Obsolete Impish release universe misc 1.8-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 misc 1.8-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 misc 1.8-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 misc 1.8-2
  • 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
  2020-09-30 17:58:34 UTC Superseded Groovy release universe misc 1.6-2build2
  • Removal requested .
  • Superseded by cvc4 - 1.8-2
  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2020-02-04 05:43:13 UTC Published Focal release universe misc 1.6-2build2
  Deleted Focal proposed universe misc 1.6-2build2
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-02-04 05:43:20 UTC Superseded Focal release universe misc 1.6-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by cvc4 - 1.6-2build2
  • Published
  • Copied from ubuntu disco in Primary Archive for Ubuntu
  2020-12-29 14:18:15 UTC Obsolete Eoan release universe misc 1.6-2build1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu disco in Primary Archive for Ubuntu
  2020-07-14 06:39:25 UTC Obsolete Disco release universe misc 1.6-2build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2020-12-29 18:10:09 UTC Deleted Disco proposed universe misc 1.6-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2019-01-14 21:11:13 UTC Superseded Disco proposed universe misc 1.6-2
  • Removed from disk .
  • Removal requested .
  • Superseded by cvc4 - 1.6-2build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Adam Conrad
  2019-01-27 19:50:27 UTC Superseded Disco release universe misc 1.5-1buil1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by cvc4 - 1.6-2build1
  • Published
  • Copied from ubuntu cosmic in Primary Archive for Ubuntu
  2019-01-16 00:10:09 UTC Deleted Cosmic proposed universe misc 1.6-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to disco-proposed

  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2018-08-14 05:24:07 UTC Superseded Cosmic proposed universe misc 1.6-1
  • Removed from disk .
  • Removal requested .
  • Superseded by cvc4 - 1.6-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2020-07-13 02:35:12 UTC Obsolete Cosmic release universe misc 1.5-1buil1build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2020-07-13 06:10:10 UTC Deleted Cosmic proposed universe misc 1.5-1buil1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-07-18 03:53:18 UTC Superseded Cosmic release universe misc 1.5-1buil1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by cvc4 - 1.5-1buil1build1
  • Published
  2018-07-19 06:10:10 UTC Deleted Cosmic proposed universe misc 1.5-1buil1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-06-26 13:03:17 UTC Superseded Cosmic release universe misc 1.5-1
  • Removal requested .
  • Superseded by cvc4 - 1.5-1buil1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2017-11-03 11:09:05 UTC Published Bionic release universe misc 1.5-1
  Deleted Bionic proposed universe misc 1.5-1
1 → 34 of 34 results First • Previous • Next • Last

«back