Ubuntu
coq-float package

Publishing history of coq-float package in Ubuntu

1 → 57 of 57 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2020-09-30 00:10:08 UTC Deleted Groovy proposed universe libdevel 1:8.10.0-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Steve Langasek

    FTBFS, removed from testing; Debian bug #970453

  • Published
  Deleted Groovy release universe libdevel 1:8.10.0-1
  • Removal requested .
  • Deleted by Steve Langasek

    FTBFS, removed from testing; Debian bug #970453

  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-04-01 07:23:14 UTC Published Focal release universe libdevel 1:8.10.0-1
  Deleted Focal proposed universe libdevel 1:8.10.0-1
  • 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-04-01 07:23:23 UTC Superseded Focal release universe libdevel 1:8.9.0-1build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.10.0-1
  • Published
  2020-04-02 12:10:08 UTC Deleted Focal proposed universe libdevel 1:8.9.0-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-02-28 03:50:39 UTC Superseded Focal release universe libdevel 1:8.9.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.9.0-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2020-02-29 06:10:10 UTC Deleted Focal proposed universe libdevel 1:8.9.0-1
  2016-06-13 06:10:11 UTC Deleted Yakkety proposed universe libdevel 1:8.4-5build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Steve Langasek

    FTBFS with camlp5 6.16; Debian bug #813596

  • Published
  2016-06-13 06:10:11 UTC Deleted Yakkety release universe libdevel 1:8.4-5build2
  2016-06-13 06:10:11 UTC Deleted Yakkety proposed universe libdevel 1:8.4-5build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu xenial in Primary Archive for Ubuntu by Adam Conrad
  2016-04-22 12:10:54 UTC Superseded Yakkety release universe libdevel 1:8.4-5build1
  • Removal requested .
  • Superseded by coq-float - 1:8.4-5build2
  • Published
  • Copied from ubuntu xenial in Primary Archive for Ubuntu
  2016-06-13 06:10:11 UTC Deleted Xenial proposed universe libdevel 1:8.4-5build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to yakkety-proposed

  • Published
  2015-11-13 11:49:15 UTC Published Xenial release universe libdevel 1:8.4-5build1
  Deleted Xenial proposed universe libdevel 1:8.4-5build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2015-11-13 12:20:14 UTC Superseded Xenial release universe libdevel 1:8.4-5
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.4-5build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2015-11-14 18:10:24 UTC Deleted Xenial proposed universe libdevel 1:8.4-5
  2015-10-24 02:45:40 UTC Superseded Xenial release universe libdevel 1:8.4-4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.4-5
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-01-22 04:16:43 UTC Obsolete Wily release universe libdevel 1:8.4-4
  • Removed from disk .
  • 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 libdevel 1:8.4-4
  • Removed from disk .
  • 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 libdevel 1:8.4-4
  2018-01-22 06:10:09 UTC Deleted Utopic proposed universe libdevel 1:8.4-4
  2014-08-15 10:58:55 UTC Superseded Utopic release universe libdevel 1:8.4-3
  • Removal requested .
  • Superseded by coq-float - 1:8.4-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2014-01-21 06:53:22 UTC Published Trusty release universe libdevel 1:8.4-3
  Deleted Trusty proposed universe libdevel 1:8.4-3
  2014-01-21 06:54:07 UTC Superseded Trusty release universe libdevel 1:8.4-2build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.4-3
  • Published
  2014-01-22 12:10:12 UTC Deleted Trusty proposed universe libdevel 1:8.4-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2013-12-24 17:08:48 UTC Superseded Trusty release universe libdevel 1:8.4-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.4-2build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2013-12-25 18:10:13 UTC Deleted Trusty proposed universe libdevel 1:8.4-2
  2013-12-07 18:09:11 UTC Superseded Trusty release universe libdevel 1:8.4-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.4-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-04-24 12:50:55 UTC Obsolete Saucy release universe libdevel 1:8.4-1
  2015-04-28 07:58:07 UTC Deleted Saucy proposed universe libdevel 1:8.4-1
  2013-05-26 00:34:13 UTC Superseded Saucy release universe libdevel 1:8.3pl1-4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.4-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-04-24 12:12:58 UTC Obsolete Raring release universe libdevel 1:8.3pl1-4
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-04-24 11:19:49 UTC Obsolete Quantal release universe libdevel 1:8.3pl1-4
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Colin Watson)
  2012-06-08 14:36:40 UTC Superseded Quantal release universe libdevel 1:8.3pl1-3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.3pl1-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Colin Watson)
  2012-04-30 19:45:45 UTC Superseded Quantal release universe libdevel 1:8.2-1.2-9
  • Removal requested .
  • Superseded by coq-float - 1:8.3pl1-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2012-01-08 02:33:53 UTC Published Precise release universe libdevel 1:8.2-1.2-9
  2012-01-08 02:36:37 UTC Superseded Precise release universe libdevel 1:8.2-1.2-8build2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.2-1.2-9
  • Published
  2012-01-07 18:34:28 UTC Superseded Precise release universe libdevel 1:8.2-1.2-8build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.2-1.2-8build2
  • Published
  2011-12-11 11:05:04 UTC Superseded Precise release universe libdevel 1:8.2-1.2-8
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.2-1.2-8build1
  • Published
  2011-11-10 17:11:17 UTC Superseded Precise release universe libdevel 1:8.2-1.2-7
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.2-1.2-8
  • Published
  • Copied from ubuntu oneiric in Primary Archive for Ubuntu
  2015-04-24 09:57:35 UTC Obsolete Oneiric release universe libdevel 1:8.2-1.2-7
  • Removed from disk .
  • Removal requested .
  • Published
  2011-04-30 15:07:58 UTC Superseded Oneiric release universe libdevel 1:8.2-1.2-5
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.2-1.2-7
  • Published
  • Copied from ubuntu maverick in Primary Archive for Ubuntu
  2013-06-04 02:07:47 UTC Obsolete Natty release universe libdevel 1:8.2-1.2-5
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu maverick in Primary Archive for Ubuntu
  2013-03-05 01:38:15 UTC Obsolete Maverick release universe libdevel 1:8.2-1.2-5
  • Removed from disk .
  • Removal requested .
  • Published
  2010-07-29 13:05:55 UTC Superseded Maverick release universe libdevel 1:8.2-1.2-4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.2-1.2-5
  • Published
  • Copied from ubuntu lucid in Primary Archive for Ubuntu
  2016-10-26 15:41:11 UTC Obsolete Lucid release universe libdevel 1:8.2-1.2-4
  • Removed from disk .
  • Removal requested .
  • Published
  2010-03-10 13:05:23 UTC Superseded Lucid release universe libdevel 1:8.2-1.2-3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.2-1.2-4
  • Published
  • Copied from ubuntu karmic in Primary Archive for Ubuntu
  2013-03-04 05:16:42 UTC Obsolete Karmic release universe libdevel 1:8.2-1.2-3
  • Removed from disk .
  • Removal requested .
  • Published
  2009-08-15 17:05:41 UTC Superseded Karmic release universe libdevel 1:8.2-1.2-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.2-1.2-3
  • Published
  2009-04-28 23:06:35 UTC Superseded Karmic release universe libdevel 1:8.1-1.0-4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.2-1.2-1
  • Published
  • Copied from ubuntu intrepid in Primary Archive for Ubuntu
  2013-02-28 04:32:10 UTC Obsolete Jaunty release universe libdevel 1:8.1-1.0-4
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu intrepid in Primary Archive for Ubuntu
  2013-02-20 03:30:20 UTC Obsolete Intrepid release universe libdevel 1:8.1-1.0-4
  • Removed from disk .
  • Removal requested .
  • Published
  2008-05-03 02:24:57 UTC Superseded Intrepid release universe libdevel 1:8.1-1.0-3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.1-1.0-4
  • Published
  • Copied from ubuntu hardy in Primary Archive for Ubuntu
  2015-04-24 19:15:58 UTC Obsolete Hardy release universe libdevel 1:8.1-1.0-3
  • Removed from disk .
  • Removal requested .
  • Published
  2007-11-19 12:03:54 UTC Superseded Hardy release universe libdevel 1:8.1-1.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-float - 1:8.1-1.0-3
  • Published
1 → 57 of 57 results First • Previous • Next • Last

«back