Ubuntu
coq package

Publishing history of coq package in Ubuntu

1 → 75 of 173 results First • Previous • • Last
Date Status Target Pocket Component Section Version
  2024-05-21 01:43:39 UTC Published Oracular release universe devel 8.19.1+dfsg-1
  Deleted Oracular proposed universe devel 8.19.1+dfsg-1
  2024-05-21 01:46:35 UTC Superseded Oracular release universe devel 8.18.0+dfsg-1build2
  • Superseded by coq - 8.19.1+dfsg-1
  • Published
  • Copied from ubuntu noble in Primary Archive for Ubuntu
  2024-04-10 09:32:36 UTC Published Noble release universe devel 8.18.0+dfsg-1build2
  Deleted Noble proposed universe devel 8.18.0+dfsg-1build2
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-04-10 00:10:21 UTC Deleted Noble updates universe devel 8.18.0+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Steve Langasek

    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-10 09:33:10 UTC Superseded Noble release universe devel 8.18.0+dfsg-1build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.18.0+dfsg-1build2
  • Published
  2024-04-11 12:10:19 UTC Deleted Noble proposed universe devel 8.18.0+dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-03-29 03:56:46 UTC Superseded Noble release universe devel 8.18.0+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.18.0+dfsg-1build1
  • 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-10 00:10:21 UTC Deleted Noble proposed universe devel 8.18.0+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Jeremy Bícha
  2024-01-30 03:30:24 UTC Superseded Noble release universe devel 8.17.0+dfsg-1ubuntu1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.18.0+dfsg-1
  • Published
  2024-01-31 06:10:17 UTC Deleted Noble proposed universe devel 8.17.0+dfsg-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2023-11-22 17:35:14 UTC Superseded Noble proposed universe devel 8.17.0+dfsg-1build4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.17.0+dfsg-1ubuntu1
  • Published
  2023-11-22 12:09:58 UTC Superseded Noble proposed universe devel 8.17.0+dfsg-1build3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.17.0+dfsg-1build4
  • Published
  2023-11-15 08:36:12 UTC Superseded Noble proposed universe devel 8.17.0+dfsg-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.17.0+dfsg-1build3
  • Published
  2023-11-25 08:38:20 UTC Superseded Noble release universe devel 8.17.0+dfsg-1build1
  • Superseded by coq - 8.17.0+dfsg-1ubuntu1
  • Published
  • Copied from ubuntu mantic in Primary Archive for Ubuntu
  2023-07-31 08:38:31 UTC Published Mantic release universe devel 8.17.0+dfsg-1build1
  Deleted Mantic proposed universe devel 8.17.0+dfsg-1build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-07-31 08:41:13 UTC Superseded Mantic release universe devel 8.17.0+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.17.0+dfsg-1build1
  • 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
  2023-08-01 12:10:09 UTC Deleted Mantic proposed universe devel 8.17.0+dfsg-1
  2023-06-25 17:24:49 UTC Superseded Mantic release universe devel 8.16.1+dfsg-1build2
  • Superseded by coq - 8.17.0+dfsg-1
  • Published
  • Copied from ubuntu lunar in Primary Archive for Ubuntu
  2023-02-28 16:14:28 UTC Published Lunar release universe devel 8.16.1+dfsg-1build2
  Deleted Lunar proposed universe devel 8.16.1+dfsg-1build2
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2023-02-28 16:15:30 UTC Superseded Lunar release universe devel 8.16.1+dfsg-1build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.16.1+dfsg-1build2
  • Published
  2023-03-01 18:10:11 UTC Deleted Lunar proposed universe devel 8.16.1+dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2023-01-30 01:15:49 UTC Superseded Lunar release universe devel 8.16.1+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.16.1+dfsg-1build1
  • 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
  2023-01-31 06:10:11 UTC Deleted Lunar proposed universe devel 8.16.1+dfsg-1
  2022-11-29 17:24:23 UTC Superseded Lunar proposed universe devel 8.16.0+dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.16.1+dfsg-1
  • Published
  2022-11-25 06:44:06 UTC Superseded Lunar proposed universe devel 8.16.0+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.16.0+dfsg-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2022-12-07 02:54:35 UTC Superseded Lunar release universe devel 8.15.2+dfsg-2
  • Superseded by coq - 8.16.1+dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-11-13 12:55:48 UTC Obsolete Kinetic release universe devel 8.15.2+dfsg-2
  • 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 devel 8.15.2+dfsg-2
  2022-06-14 20:14:11 UTC Superseded Kinetic release universe devel 8.15.2+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.15.2+dfsg-2
  • 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-06-16 00:10:09 UTC Deleted Kinetic proposed universe devel 8.15.2+dfsg-1
  2022-06-03 18:04:22 UTC Superseded Kinetic release universe devel 8.15.1+dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.15.2+dfsg-1
  • 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-06-04 18:10:09 UTC Deleted Kinetic proposed universe devel 8.15.1+dfsg-2
  2022-05-26 09:54:04 UTC Superseded Kinetic release universe devel 8.15.1+dfsg-1build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.15.1+dfsg-2
  • Published
  2022-05-27 12:10:08 UTC Deleted Kinetic proposed universe devel 8.15.1+dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-05-02 09:10:21 UTC Superseded Kinetic proposed universe devel 8.15.1+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.15.1+dfsg-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2022-05-12 07:55:44 UTC Superseded Kinetic release universe devel 8.15.0+dfsg-2
  • Removal requested .
  • Superseded by coq - 8.15.1+dfsg-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-03-02 17:45:17 UTC Published Jammy release universe devel 8.15.0+dfsg-2
  Deleted Jammy proposed universe devel 8.15.0+dfsg-2
  2022-02-05 17:50:33 UTC Superseded Jammy proposed universe devel 8.15.0+dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.15.0+dfsg-2
  • Published
  2022-01-25 15:14:39 UTC Superseded Jammy proposed universe devel 8.15.0+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.15.0+dfsg-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2022-01-17 23:15:25 UTC Superseded Jammy proposed universe devel 8.14.1+dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.15.0+dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2022-03-02 18:00:59 UTC Superseded Jammy release universe devel 8.14.1+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.15.0+dfsg-2
  • 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-03-08 18:10:09 UTC Deleted Jammy proposed universe devel 8.14.1+dfsg-1
  2021-12-11 17:19:36 UTC Superseded Jammy proposed universe devel 8.14.0+dfsg-6
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.14.1+dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2021-11-16 11:50:22 UTC Superseded Jammy proposed universe devel 8.14.0+dfsg-4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.14.0+dfsg-6
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2021-11-15 11:20:03 UTC Superseded Jammy proposed universe devel 8.14.0+dfsg-3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.14.0+dfsg-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2021-12-15 03:29:45 UTC Superseded Jammy release universe devel 8.12.0-3build3
  • Superseded by coq - 8.14.1+dfsg-1
  • Published
  • Copied from ubuntu hirsute in Primary Archive for Ubuntu
  2022-07-23 18:02:57 UTC Obsolete Impish release universe devel 8.12.0-3build3
  • Removal requested .
  • Published
  • Copied from ubuntu hirsute in Primary Archive for Ubuntu
  2022-07-23 01:40:00 UTC Obsolete Hirsute release universe devel 8.12.0-3build3
  Deleted Hirsute proposed universe devel 8.12.0-3build3
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-12-02 23:54:07 UTC Superseded Hirsute release universe devel 8.12.0-3build2
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.12.0-3build3
  • Published
  2020-12-04 00:10:08 UTC Deleted Hirsute proposed universe devel 8.12.0-3build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-11-19 18:18:02 UTC Superseded Hirsute release universe devel 8.12.0-3build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.12.0-3build2
  • Published
  • Copied from ubuntu groovy in Primary Archive for Ubuntu
  2021-12-22 19:51:25 UTC Obsolete Groovy release universe devel 8.12.0-3build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Published
  2021-12-23 00:10:07 UTC Deleted Groovy proposed universe devel 8.12.0-3build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-10-06 08:48:52 UTC Superseded Groovy release universe devel 8.12.0-3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.12.0-3build1
  • 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
  2020-10-07 12:10:09 UTC Deleted Groovy proposed universe devel 8.12.0-3
  • Removed from disk .
  • 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-09-30 01:19:05 UTC Superseded Groovy release universe devel 8.11.0-1build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.12.0-3
  • Published
  2020-10-01 06:10:09 UTC Deleted Groovy proposed universe devel 8.11.0-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-05-13 16:59:14 UTC Superseded Groovy release universe devel 8.11.0-1
  • Removal requested .
  • Superseded by coq - 8.11.0-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-04-01 07:23:14 UTC Published Focal release universe devel 8.11.0-1
  Deleted Focal proposed universe devel 8.11.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 devel 8.9.1-5ubuntu1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.11.0-1
  • Published
  2020-04-02 12:10:08 UTC Deleted Focal proposed universe devel 8.9.1-5ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-02-24 17:24:08 UTC Superseded Focal proposed universe devel 8.9.1-5build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.9.1-5ubuntu1
  • Published
  2020-02-21 23:39:40 UTC Superseded Focal proposed universe devel 8.9.1-5
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.9.1-5build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2020-01-29 11:28:33 UTC Superseded Focal proposed universe devel 8.9.1-4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.9.1-5
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2020-01-27 11:29:07 UTC Superseded Focal proposed universe devel 8.9.1-3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.9.1-4
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2020-01-25 05:14:13 UTC Superseded Focal proposed universe devel 8.9.1-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.9.1-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2020-02-28 03:50:39 UTC Superseded Focal release universe devel 8.9.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq - 8.9.1-5ubuntu1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-12-29 14:18:15 UTC Obsolete Eoan release universe devel 8.9.1-1
1 → 75 of 173 results First • Previous • • Last

«back