Ubuntu
coq package

Publishing history of coq package in Ubuntu

76 → 150 of 174 results First • • • Last
Date Status Target Pocket Component Section Version
  2020-12-29 14:18:15 UTC Obsolete Eoan release universe devel 8.9.1-1
  2020-12-29 18:10:09 UTC Deleted Eoan proposed universe devel 8.9.1-1
  2019-08-20 11:13:22 UTC Superseded Eoan proposed universe devel 8.9.0-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.9.1-1
  • Published
  2019-09-02 20:58:57 UTC Superseded Eoan release universe devel 8.9.0-1build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.9.1-1
  • Published
  2019-09-04 00:10:09 UTC Deleted Eoan proposed universe devel 8.9.0-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2019-07-26 20:58:17 UTC Superseded Eoan proposed universe devel 8.9.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.9.0-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Adam Conrad
  2019-07-29 22:48:41 UTC Superseded Eoan release universe devel 8.6-5build1
  • Removal requested .
  • Superseded by coq - 8.9.0-1build1
  • Published
  • Copied from ubuntu bionic in Primary Archive for Ubuntu
  2019-07-28 00:10:10 UTC Deleted Disco proposed universe devel 8.9.0-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    moved to eoan-proposed

  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2019-02-06 23:18:23 UTC Superseded Disco proposed universe devel 8.8.2-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.9.0-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2020-07-14 06:39:25 UTC Obsolete Disco release universe devel 8.6-5build1
  • Removal requested .
  • Published
  • Copied from ubuntu bionic in Primary Archive for Ubuntu
  2020-07-13 02:35:12 UTC Obsolete Cosmic release universe devel 8.6-5build1
  • Removal requested .
  • Published
  • Copied from ubuntu bionic in Primary Archive for Ubuntu
  2017-11-05 02:23:46 UTC Published Bionic release universe devel 8.6-5build1
  Deleted Bionic proposed universe devel 8.6-5build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-10-28 14:41:01 UTC Superseded Bionic proposed universe devel 8.6-5
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.6-5build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Gianfranco Costamagna
  2017-11-05 02:27:33 UTC Superseded Bionic release universe devel 8.6-4build3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.6-5build1
  • Published
  • Copied from ubuntu artful in Primary Archive for Ubuntu
  2020-07-10 15:03:46 UTC Obsolete Artful release universe devel 8.6-4build3
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2020-07-10 18:10:10 UTC Deleted Artful proposed universe devel 8.6-4build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-09-01 16:04:36 UTC Superseded Artful release universe devel 8.6-4build2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.6-4build3
  • Published
  • Copied from ubuntu artful in 2865 - 2017-07-14 by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2017-09-02 18:10:11 UTC Deleted Artful proposed universe devel 8.6-4build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu artful in 2865 - 2017-07-14 by Dimitri John Ledkov
  2017-07-16 19:13:48 UTC Superseded Artful proposed universe devel 8.6-4build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.6-4build2
  • Published
  2017-07-18 04:38:29 UTC Superseded Artful release universe devel 8.6-4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.6-4build2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-06-22 04:55:56 UTC Obsolete Zesty release universe devel 8.6-4
  2018-06-22 12:10:09 UTC Deleted Zesty proposed universe devel 8.6-4
  2016-12-30 05:21:33 UTC Superseded Zesty proposed universe devel 8.6-3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.6-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2016-12-29 17:36:55 UTC Superseded Zesty proposed universe devel 8.6-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.6-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2016-12-29 05:18:20 UTC Superseded Zesty proposed universe devel 8.6-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.6-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2017-01-23 22:42:07 UTC Superseded Zesty release universe devel 8.5-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.6-4
  • Published
  • Copied from ubuntu yakkety in Primary Archive for Ubuntu
  2018-01-23 00:52:03 UTC Obsolete Yakkety release universe devel 8.5-2build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2018-01-23 06:10:09 UTC Deleted Yakkety proposed universe devel 8.5-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2016-06-11 15:14:11 UTC Superseded Yakkety proposed universe devel 8.5-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.5-2build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Adam Conrad
  2016-06-13 08:29:41 UTC Superseded Yakkety release universe devel 8.4pl4dfsg-3build2
  • Removal requested .
  • Superseded by coq - 8.5-2build1
  • Published
  • Copied from ubuntu xenial in Primary Archive for Ubuntu
  2016-06-13 00:10:10 UTC Deleted Xenial proposed universe devel 8.5-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to yakkety-proposed

  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2016-01-29 05:26:36 UTC Superseded Xenial proposed universe devel 8.5-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.5-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2015-11-13 11:49:15 UTC Published Xenial release universe devel 8.4pl4dfsg-3build2
  Deleted Xenial proposed universe devel 8.4pl4dfsg-3build2
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2015-11-04 13:14:46 UTC Superseded Xenial proposed universe devel 8.4pl4dfsg-3build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.4pl4dfsg-3build2
  • Published
  2015-10-28 17:25:35 UTC Superseded Xenial proposed universe devel 8.4pl4dfsg-3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.4pl4dfsg-3build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2015-11-13 12:20:14 UTC Superseded Xenial release universe devel 8.4pl4dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.4pl4dfsg-3build2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2018-01-22 04:16:43 UTC Obsolete Wily release universe devel 8.4pl4dfsg-1
  • 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 devel 8.4pl4dfsg-1
  • 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 devel 8.4pl4dfsg-1
  2018-01-22 06:10:09 UTC Deleted Utopic proposed universe devel 8.4pl4dfsg-1
  2014-08-15 10:58:55 UTC Superseded Utopic release universe devel 8.4pl3dfsg-1
  • Removal requested .
  • Superseded by coq - 8.4pl4dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2014-01-21 06:53:22 UTC Published Trusty release universe devel 8.4pl3dfsg-1
  Deleted Trusty proposed universe devel 8.4pl3dfsg-1
  2014-01-21 06:54:07 UTC Superseded Trusty release universe devel 8.4pl2dfsg-4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.4pl3dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2014-01-22 12:10:12 UTC Deleted Trusty proposed universe devel 8.4pl2dfsg-4
  2013-12-24 16:47:07 UTC Superseded Trusty release universe devel 8.4pl2dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.4pl2dfsg-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-04-24 12:50:55 UTC Obsolete Saucy release universe devel 8.4pl2dfsg-1
  2015-04-28 07:58:07 UTC Deleted Saucy proposed universe devel 8.4pl2dfsg-1
  2013-05-26 00:34:13 UTC Superseded Saucy release universe devel 8.3.pl4+dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.4pl2dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-04-24 12:12:58 UTC Obsolete Raring release universe devel 8.3.pl4+dfsg-2
  • 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 devel 8.3.pl4+dfsg-2
  • 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 devel 8.3.pl4+dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.3.pl4+dfsg-2
  • Published
  2012-05-16 02:03:55 UTC Superseded Quantal release universe devel 8.3.pl4+dfsg-1
  • Removal requested .
  • Superseded by coq - 8.3.pl4+dfsg-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2012-04-03 10:33:51 UTC Published Precise release universe devel 8.3.pl4+dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Iain Lane
  2012-04-03 10:34:00 UTC Superseded Precise release universe devel 8.3.pl3+dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.3.pl4+dfsg-1
  • Published
  2012-01-24 12:35:05 UTC Superseded Precise release universe devel 8.3.pl3+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.3.pl3+dfsg-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Mehdi
  2012-01-07 12:34:19 UTC Superseded Precise release universe devel 8.3.pl2+dfsg-2build2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.3.pl3+dfsg-1
  • Published
  2011-11-19 14:06:09 UTC Superseded Precise release universe devel 8.3.pl2+dfsg-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.3.pl2+dfsg-2build2
  • Published
  2011-11-11 14:04:26 UTC Superseded Precise release universe devel 8.3.pl2+dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.3.pl2+dfsg-2build1
  • Published
  2011-11-10 17:11:17 UTC Superseded Precise release universe devel 8.3.pl2+dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.3.pl2+dfsg-2
  • Published
  • Copied from ubuntu oneiric in Primary Archive for Ubuntu
  2015-04-24 09:57:35 UTC Obsolete Oneiric release universe devel 8.3.pl2+dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Published
  2011-08-25 05:06:06 UTC Superseded Oneiric release universe devel 8.3.pl2+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.3.pl2+dfsg-1build1
  • Published
  2011-05-19 15:06:14 UTC Superseded Oneiric release universe devel 8.2.pl2+dfsg-1ubuntu2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.3.pl2+dfsg-1
  • Published
  2011-05-17 08:07:55 UTC Superseded Oneiric release universe devel 8.2.pl2+dfsg-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.2.pl2+dfsg-1ubuntu2
  • Published
  • Copied from ubuntu maverick in Primary Archive for Ubuntu
  2013-06-04 02:07:47 UTC Obsolete Natty release universe devel 8.2.pl2+dfsg-1ubuntu1
  • 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 devel 8.2.pl2+dfsg-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Published
  2010-09-18 18:05:27 UTC Superseded Maverick release universe devel 8.2.pl2+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.2.pl2+dfsg-1ubuntu1
  • Published
  2010-07-27 19:05:47 UTC Superseded Maverick release universe devel 8.2.pl1+dfsg-6
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.2.pl2+dfsg-1
  • Published
  • Copied from ubuntu lucid in Primary Archive for Ubuntu
  2016-10-26 15:41:11 UTC Obsolete Lucid release universe devel 8.2.pl1+dfsg-6
  • Removed from disk .
  • Removal requested .
  • Published
  2010-02-27 16:05:00 UTC Superseded Lucid release universe devel 8.2.pl1+dfsg-4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.2.pl1+dfsg-6
  • Published
  2009-12-14 19:06:09 UTC Superseded Lucid release universe devel 8.2.pl1+dfsg-3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.2.pl1+dfsg-4
  • Published
  2009-11-05 07:08:13 UTC Superseded Lucid release universe devel 8.2.pl1+dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.2.pl1+dfsg-3
  • Published
  • Copied from ubuntu karmic in Primary Archive for Ubuntu
  2013-03-04 05:16:42 UTC Obsolete Karmic release universe devel 8.2.pl1+dfsg-2
  • Removed from disk .
  • Removal requested .
  • Published
76 → 150 of 174 results First • • • Last

«back