Ubuntu
minisat2 package

Publishing history of minisat2 package in Ubuntu

1 → 56 of 56 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2024-04-29 18:55:16 UTC Published Oracular release universe science 1:2.2.1-8build1
  • Published
  • Copied from ubuntu noble in Primary Archive for Ubuntu
  2024-04-03 13:11:29 UTC Published Noble release universe science 1:2.2.1-8build1
  Deleted Noble proposed universe science 1:2.2.1-8build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-04-06 12:10:12 UTC Deleted Noble updates universe science 1:2.2.1-7
  • Removed from disk .
  • Removal requested .
  • Deleted by Brian Murray

    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-03 13:24:57 UTC Superseded Noble release universe science 1:2.2.1-8
  • Removed from disk .
  • Removal requested .
  • Superseded by minisat2 - 1:2.2.1-8build1
  • 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
  2024-04-04 18:10:15 UTC Deleted Noble proposed universe science 1:2.2.1-8
  2024-02-27 13:38:17 UTC Superseded Noble release universe science 1:2.2.1-7
  • Removed from disk .
  • Removal requested .
  • Superseded by minisat2 - 1:2.2.1-8
  • 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
  2024-02-28 18:10:15 UTC Deleted Noble proposed universe science 1:2.2.1-7
  2024-02-23 15:28:34 UTC Superseded Noble release universe science 1:2.2.1-6
  • Removed from disk .
  • Removal requested .
  • Superseded by minisat2 - 1:2.2.1-7
  • 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
  2024-02-24 18:10:20 UTC Deleted Noble proposed universe science 1:2.2.1-6
  2024-02-20 23:48:01 UTC Superseded Noble release universe science 1:2.2.1-5build2
  • Superseded by minisat2 - 1:2.2.1-6
  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2023-04-25 12:10:09 UTC Published Mantic release universe science 1:2.2.1-5build2
  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2022-10-27 17:20:10 UTC Published Lunar release universe science 1:2.2.1-5build2
  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2023-11-13 12:55:48 UTC Obsolete Kinetic release universe science 1:2.2.1-5build2
  • Removal requested .
  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2021-10-15 11:50:32 UTC Published Jammy release universe science 1:2.2.1-5build2
  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2022-07-23 18:02:57 UTC Obsolete Impish release universe science 1:2.2.1-5build2
  • Removal requested .
  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2022-07-23 01:40:00 UTC Obsolete Hirsute release universe science 1:2.2.1-5build2
  • Removal requested .
  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2021-12-22 19:51:25 UTC Obsolete Groovy release universe science 1:2.2.1-5build2
  • Removal requested .
  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2020-03-23 08:02:46 UTC Published Focal release universe science 1:2.2.1-5build2
  Deleted Focal proposed universe science 1:2.2.1-5build2
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-03-23 08:05:28 UTC Superseded Focal release universe science 1:2.2.1-5build1
  • Removal requested .
  • Superseded by minisat2 - 1:2.2.1-5build2
  • Published
  • Copied from ubuntu bionic in Primary Archive for Ubuntu
  2020-12-29 14:18:15 UTC Obsolete Eoan release universe science 1:2.2.1-5build1
  • Removal requested .
  • Published
  • Copied from ubuntu bionic in Primary Archive for Ubuntu
  2020-07-14 06:39:25 UTC Obsolete Disco release universe science 1:2.2.1-5build1
  • Removal requested .
  • Published
  • Copied from ubuntu bionic in Primary Archive for Ubuntu
  2020-07-13 02:35:12 UTC Obsolete Cosmic release universe science 1:2.2.1-5build1
  • Removal requested .
  • Published
  • Copied from ubuntu bionic in Primary Archive for Ubuntu
  2018-04-05 12:42:22 UTC Published Bionic release universe science 1:2.2.1-5build1
  Deleted Bionic proposed universe science 1:2.2.1-5build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-04-05 12:46:14 UTC Superseded Bionic release universe science 1:2.2.1-5
  • Removal requested .
  • Superseded by minisat2 - 1:2.2.1-5build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-07-10 15:03:46 UTC Obsolete Artful release universe science 1:2.2.1-5
  • 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 1:2.2.1-5
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-01-23 00:52:03 UTC Obsolete Yakkety release universe science 1:2.2.1-5
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-10-22 15:20:22 UTC Published Xenial release universe science 1:2.2.1-5
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-01-22 04:16:43 UTC Obsolete Wily release universe science 1:2.2.1-5
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-01-18 23:34:00 UTC Obsolete Vivid release universe science 1:2.2.1-5
  • 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 science 1:2.2.1-5
  Deleted Utopic proposed universe science 1:2.2.1-5
  2014-07-30 20:14:07 UTC Superseded Utopic release universe science 1:2.2.1-4
  • Removal requested .
  • Superseded by minisat2 - 1:2.2.1-5
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2013-10-18 14:25:21 UTC Published Trusty release universe science 1:2.2.1-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-04-24 12:50:55 UTC Obsolete Saucy release universe science 1:2.2.1-4
  Deleted Saucy proposed universe science 1:2.2.1-4
  2013-07-14 23:28:29 UTC Superseded Saucy release universe science 1:2.2.1-3
  • Removal requested .
  • Superseded by minisat2 - 1:2.2.1-4
  • Published
  • Copied from ubuntu precise in Primary Archive for Ubuntu
  2015-04-24 12:12:58 UTC Obsolete Raring release universe science 1:2.2.1-3
  • Removal requested .
  • Published
  • Copied from ubuntu precise in Primary Archive for Ubuntu
  2015-04-24 11:19:49 UTC Obsolete Quantal release universe science 1:2.2.1-3
  • Removal requested .
  • Published
  • Copied from ubuntu precise in Primary Archive for Ubuntu
  2011-10-17 13:04:44 UTC Published Precise release universe science 1:2.2.1-3
  2011-10-17 13:11:41 UTC Superseded Precise release universe science 1:2.2.1-2
  • Removed from disk .
  • Removal requested .
  • Superseded by minisat2 - 1:2.2.1-3
  • Published
  • Copied from ubuntu oneiric in Primary Archive for Ubuntu
  2015-04-24 09:57:35 UTC Obsolete Oneiric release universe science 1:2.2.1-2
  • Removed from disk .
  • Removal requested .
  • Published
  2011-06-14 11:06:59 UTC Superseded Oneiric release universe science 1:2.2.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by minisat2 - 1:2.2.1-2
  • Published
  2011-04-30 17:08:56 UTC Superseded Oneiric release universe science 1:2.2.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by minisat2 - 1:2.2.1-1
  • Published
  • Copied from ubuntu natty in Primary Archive for Ubuntu
  2013-06-04 02:07:47 UTC Obsolete Natty release universe science 1:2.2.0-2
  • Removed from disk .
  • Removal requested .
  • Published
  2010-10-15 13:10:08 UTC Superseded Natty release universe science 070721-8
  • Removed from disk .
  • Removal requested .
  • Superseded by minisat2 - 1:2.2.0-2
  • Published
  • Copied from ubuntu lucid in Primary Archive for Ubuntu
  2013-03-05 01:38:15 UTC Obsolete Maverick release universe science 070721-8
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu lucid in Primary Archive for Ubuntu
  2016-10-26 15:41:11 UTC Obsolete Lucid release universe science 070721-8
  • Removed from disk .
  • Removal requested .
  • Published
  2010-01-18 08:06:53 UTC Superseded Lucid release universe science 070721-6
  • Removed from disk .
  • Removal requested .
  • Superseded by minisat2 - 070721-8
  • Published
  • Copied from ubuntu jaunty in Primary Archive for Ubuntu
  2013-03-04 05:16:42 UTC Obsolete Karmic release universe science 070721-6
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu jaunty in Primary Archive for Ubuntu
  2013-02-28 04:32:10 UTC Obsolete Jaunty release universe science 070721-6
  • Removed from disk .
  • Removal requested .
  • Published
  2008-11-05 14:09:51 UTC Superseded Jaunty release universe science 070721-3
  • Removed from disk .
  • Removal requested .
  • Superseded by minisat2 - 070721-6
  • Published
  • Copied from ubuntu intrepid in Primary Archive for Ubuntu
  2013-02-20 03:30:20 UTC Obsolete Intrepid release universe science 070721-3
  • Removed from disk .
  • Removal requested .
  • Published
1 → 56 of 56 results First • Previous • Next • Last

«back