Ubuntu
coq-elpi package

Publishing history of coq-elpi package in Ubuntu

1 → 71 of 71 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2024-05-02 11:26:56 UTC Pending Oracular proposed universe misc 2.1.0-1
  2024-04-29 18:55:16 UTC Published Oracular release universe misc 1.19.3-2build4
  • Published
  • Copied from ubuntu noble in Primary Archive for Ubuntu
  2024-04-10 09:32:36 UTC Published Noble release universe misc 1.19.3-2build4
  Deleted Noble proposed universe misc 1.19.3-2build4
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-04-08 07:57:58 UTC Superseded Noble proposed universe misc 1.19.3-2build3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.19.3-2build4
  • Published
  2024-04-10 00:10:21 UTC Deleted Noble updates universe misc 1.19.3-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Steve Langasek

    superseded by release

  • Published
  2024-04-10 09:33:10 UTC Superseded Noble release universe misc 1.19.3-2build2
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.19.3-2build4
  • Published
  2024-04-11 12:10:19 UTC Deleted Noble proposed universe misc 1.19.3-2build2
  • 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 misc 1.19.3-2build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.19.3-2build2
  • Published
  2024-04-10 00:10:21 UTC Deleted Noble proposed universe misc 1.19.3-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-02-24 00:25:36 UTC Superseded Noble release universe misc 1.19.3-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.19.3-2build1
  • 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-02-25 00:10:14 UTC Deleted Noble proposed universe misc 1.19.3-2
  2024-01-03 18:30:13 UTC Superseded Noble proposed universe misc 1.19.3-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.19.3-2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2024-01-30 03:30:24 UTC Superseded Noble release universe misc 1.17.1-1build10
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.19.3-2
  • Published
  2024-01-31 06:10:17 UTC Deleted Noble proposed universe misc 1.17.1-1build10
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2023-11-23 00:06:07 UTC Superseded Noble proposed universe misc 1.17.1-1build9
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.17.1-1build10
  • Published
  2023-11-25 08:38:20 UTC Superseded Noble release universe misc 1.17.1-1build8
  • Superseded by coq-elpi - 1.17.1-1build10
  • Published
  • Copied from ubuntu mantic in Primary Archive for Ubuntu
  2023-08-30 10:15:05 UTC Published Mantic release universe misc 1.17.1-1build8
  Deleted Mantic proposed universe misc 1.17.1-1build8
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-08-30 10:16:08 UTC Superseded Mantic release universe misc 1.17.1-1build7
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.17.1-1build8
  • Published
  2023-08-31 12:10:10 UTC Deleted Mantic proposed universe misc 1.17.1-1build7
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-08-26 14:21:50 UTC Superseded Mantic release universe misc 1.17.1-1build6
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.17.1-1build7
  • Published
  2023-08-27 18:10:09 UTC Deleted Mantic proposed universe misc 1.17.1-1build6
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-07-28 03:44:16 UTC Superseded Mantic proposed universe misc 1.17.1-1build5
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.17.1-1build6
  • Published
  2023-07-27 10:22:59 UTC Superseded Mantic proposed universe misc 1.17.1-1build4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.17.1-1build5
  • Published
  2023-07-26 05:21:25 UTC Superseded Mantic proposed universe misc 1.17.1-1build3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.17.1-1build4
  • Published
  2023-07-31 08:41:13 UTC Superseded Mantic release universe misc 1.17.1-1build2
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.17.1-1build6
  • Published
  2023-08-01 12:10:09 UTC Deleted Mantic proposed universe misc 1.17.1-1build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-07-20 08:21:39 UTC Superseded Mantic release universe misc 1.17.1-1build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.17.1-1build2
  • Published
  2023-07-21 12:10:10 UTC Deleted Mantic proposed universe misc 1.17.1-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-07-13 02:25:12 UTC Superseded Mantic release universe misc 1.17.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.17.1-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-07-14 06:10:12 UTC Deleted Mantic proposed universe misc 1.17.1-1
  2023-06-25 17:24:49 UTC Superseded Mantic release universe misc 1.16.0-2build1
  • Superseded by coq-elpi - 1.17.1-1
  • Published
  • Copied from ubuntu lunar in Primary Archive for Ubuntu
  2023-02-28 16:14:28 UTC Published Lunar release universe misc 1.16.0-2build1
  Deleted Lunar proposed universe misc 1.16.0-2build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2023-02-28 16:15:30 UTC Superseded Lunar release universe misc 1.16.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.16.0-2build1
  • 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-03-01 18:10:11 UTC Deleted Lunar proposed universe misc 1.16.0-2
  2023-01-30 01:15:49 UTC Superseded Lunar release universe misc 1.16.0-1build2
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.16.0-2
  • Published
  2023-01-31 06:10:11 UTC Deleted Lunar proposed universe misc 1.16.0-1build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2022-12-03 20:33:59 UTC Superseded Lunar proposed universe misc 1.16.0-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.16.0-1build2
  • Published
  2022-11-27 07:49:03 UTC Superseded Lunar proposed universe misc 1.16.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.16.0-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2022-11-20 23:51:57 UTC Superseded Lunar proposed universe misc 1.15.6-4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.16.0-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2022-11-14 12:07:09 UTC Superseded Lunar proposed universe misc 1.15.6-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.15.6-4
  • 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 misc 1.14.0-5build1
  • Superseded by coq-elpi - 1.16.0-1build2
  • Published
  • Copied from ubuntu kinetic in Primary Archive for Ubuntu
  2023-11-13 12:55:48 UTC Obsolete Kinetic release universe misc 1.14.0-5build1
  Deleted Kinetic proposed universe misc 1.14.0-5build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-08-22 13:54:06 UTC Superseded Kinetic release universe misc 1.14.0-5
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.14.0-5build1
  • 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-08-23 18:10:10 UTC Deleted Kinetic proposed universe misc 1.14.0-5
  2022-06-12 23:24:29 UTC Superseded Kinetic proposed universe misc 1.14.0-4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.14.0-5
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2022-06-14 20:14:11 UTC Superseded Kinetic release universe misc 1.14.0-3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.14.0-5
  • 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 misc 1.14.0-3
  2022-06-01 17:34:19 UTC Superseded Kinetic proposed universe misc 1.14.0-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.14.0-3
  • Published
  2022-06-03 18:04:22 UTC Superseded Kinetic release universe misc 1.14.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.14.0-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-06-04 18:10:09 UTC Deleted Kinetic proposed universe misc 1.14.0-2
  2022-05-22 03:55:09 UTC Superseded Kinetic release universe misc 1.14.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.14.0-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-05-23 06:10:08 UTC Deleted Kinetic proposed universe misc 1.14.0-1
  2022-05-14 23:29:20 UTC Superseded Kinetic proposed universe misc 1.13.0-7build2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.14.0-1
  • Published
  2022-05-15 13:25:32 UTC Superseded Kinetic release universe misc 1.13.0-7build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.14.0-1
  • Published
  2022-05-16 18:10:09 UTC Deleted Kinetic proposed universe misc 1.13.0-7build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-05-02 07:07:16 UTC Superseded Kinetic proposed universe misc 1.13.0-7
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.13.0-7build1
  • 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 misc 1.13.0-1
  • Removal requested .
  • Superseded by coq-elpi - 1.13.0-7build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-03-02 17:45:17 UTC Published Jammy release universe misc 1.13.0-1
  Deleted Jammy proposed universe misc 1.13.0-1
  2022-02-10 23:15:45 UTC Superseded Jammy proposed universe misc 1.12.1-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.13.0-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2022-02-06 17:19:36 UTC Superseded Jammy proposed universe misc 1.12.1-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.12.1-2
  • Published
  2022-01-25 18:31:40 UTC Superseded Jammy proposed universe misc 1.12.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.12.1-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-21 23:50:02 UTC Superseded Jammy proposed universe misc 1.12.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.12.1-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 misc 1.11.2-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.13.0-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-03-03 18:10:09 UTC Deleted Jammy proposed universe misc 1.11.2-2
  2022-01-17 20:29:19 UTC Superseded Jammy release universe misc 1.11.2-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-elpi - 1.11.2-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-01-19 00:10:09 UTC Deleted Jammy proposed universe misc 1.11.2-1
1 → 71 of 71 results First • Previous • Next • Last

«back