Publishing history of eprover package in Ubuntu

18 of 8 results
Date Status Target Pocket Component Section Version
  2015-05-01 12:10:10 UTC Deleted Precise release universe science 1.0.004-1ubuntu2
  • Removed from disk on 2015-05-01.
  • Removal requested on 2012-02-06.
  • Deleted on 2012-02-06 by Martin Pitt

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

  • Published on 2011-10-13
  • 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 on 2015-04-26.
  • Removal requested on 2015-04-24.
  • Published on 2011-09-16
  2011-09-16 23:04:29 UTC Superseded Oneiric release universe science 1.0.004-1ubuntu1
  • Removed from disk on 2016-11-01.
  • Removal requested on 2011-09-18.
  • Superseded on 2011-09-16 by eprover - 1.0.004-1ubuntu2
  • Published on 2011-04-28
  • 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 on 2016-11-01.
  • Removal requested on 2013-06-04.
  • Published on 2010-10-11
  • 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 on 2016-11-01.
  • Removal requested on 2013-03-05.
  • Published on 2010-04-30
  • 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 on 2016-10-31.
  • Removal requested on 2016-10-26.
  • Published on 2009-10-29
  • 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 on 2016-10-31.
  • Removal requested on 2013-03-04.
  • Published on 2009-05-27
  2009-05-27 23:04:43 UTC Superseded Karmic release universe science 1.0.004-1
  • Removed from disk on 2009-05-28.
  • Removal requested on 2009-05-28.
  • Superseded on 2009-05-27 by eprover - 1.0.004-1ubuntu1
  • Published on 2009-04-29
18 of 8 results

«back