Ubuntu
eprover package

Publishing history of eprover package in Ubuntu

1 → 20 of 20 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2024-05-06 11:13:33 UTC Published Oracular release universe misc 3.1.0+ds-1
  Deleted Oracular proposed universe misc 3.1.0+ds-1
  2024-05-06 11:14:21 UTC Superseded Oracular release universe misc 3.0.03+ds-1
  • Superseded by eprover - 3.1.0+ds-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-12-23 14:14:37 UTC Published Noble release universe misc 3.0.03+ds-1
  Deleted Noble proposed universe misc 3.0.03+ds-1
  2023-12-23 14:17:05 UTC Superseded Noble release universe misc 2.6+ds-3
  • Superseded by eprover - 3.0.03+ds-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-04-25 12:10:09 UTC Published Mantic release universe misc 2.6+ds-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-10-27 17:20:10 UTC Published Lunar release universe misc 2.6+ds-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 2.6+ds-3
  • 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 misc 2.6+ds-3
  2022-07-14 14:15:28 UTC Superseded Kinetic release universe misc 2.6+ds-2
  • Removed from disk .
  • Removal requested .
  • Superseded by eprover - 2.6+ds-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
  2022-07-15 18:10:10 UTC Deleted Kinetic proposed universe misc 2.6+ds-2
  2015-05-01 12:10:10 UTC Deleted Precise release universe science 1.0.004-1ubuntu2
  • Removed from disk .
  • Removal requested .
  • Deleted by Martin Pitt

    (From Debian) RoQA; RC-buggy; low popcon; NPOASR; Debian bug #651971

  • Published
  • Copied from ubuntu oneiric in Primary Archive for Ubuntu
  2015-04-24 09:57:35 UTC Obsolete Oneiric release universe science 1.0.004-1ubuntu2
  • Removed from disk .
  • Removal requested .
  • Published
  2011-09-16 23:04:29 UTC Superseded Oneiric release universe science 1.0.004-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by eprover - 1.0.004-1ubuntu2
  • Published
  • Copied from ubuntu karmic in Primary Archive for Ubuntu
  2013-06-04 02:07:47 UTC Obsolete Natty release universe science 1.0.004-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu karmic in Primary Archive for Ubuntu
  2013-03-05 01:38:15 UTC Obsolete Maverick release universe science 1.0.004-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu karmic in Primary Archive for Ubuntu
  2016-10-26 15:41:11 UTC Obsolete Lucid release universe science 1.0.004-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu karmic in Primary Archive for Ubuntu
  2013-03-04 05:16:42 UTC Obsolete Karmic release universe science 1.0.004-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Published
  2009-05-27 23:04:43 UTC Superseded Karmic release universe science 1.0.004-1
  • Removed from disk .
  • Removal requested .
  • Superseded by eprover - 1.0.004-1ubuntu1
  • Published
1 → 20 of 20 results First • Previous • Next • Last

«back