Ubuntu
coq-unimath package

Publishing history of coq-unimath package in Ubuntu

1 → 40 of 40 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2024-05-21 01:43:39 UTC Published Oracular release universe misc 20240331-1build2
  Deleted Oracular proposed universe misc 20240331-1build2
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to oracular

  • Published
  2024-05-13 18:40:21 UTC Superseded Oracular proposed universe misc 20240331-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20240331-1build2
  • Published
  2024-05-02 20:28:37 UTC Superseded Oracular proposed universe misc 20240331-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20240331-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Gianfranco Costamagna
  2024-05-21 01:46:35 UTC Superseded Oracular release universe misc 20231010-1build3
  • Superseded by coq-unimath - 20240331-1build2
  • Published
  • Copied from ubuntu noble in Primary Archive for Ubuntu
  2024-04-10 09:32:36 UTC Published Noble release universe misc 20231010-1build3
  Deleted Noble proposed universe misc 20231010-1build3
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-04-08 07:57:58 UTC Superseded Noble proposed universe misc 20231010-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20231010-1build3
  • Published
  2024-04-10 00:10:21 UTC Deleted Noble updates universe misc 20231010-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 misc 20231010-1build1
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20231010-1build3
  • Published
  2024-04-11 12:10:19 UTC Deleted Noble proposed universe misc 20231010-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 misc 20231010-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20231010-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 misc 20231010-1
  2024-01-30 03:30:24 UTC Superseded Noble release universe misc 20230420-4build3
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20231010-1
  • Published
  2024-01-31 06:10:17 UTC Deleted Noble proposed universe misc 20230420-4build3
  • 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 20230420-4build2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20230420-4build3
  • Published
  2023-11-25 08:38:20 UTC Superseded Noble release universe misc 20230420-4build1
  • Superseded by coq-unimath - 20230420-4build3
  • Published
  • Copied from ubuntu mantic in Primary Archive for Ubuntu
  2023-07-31 08:38:31 UTC Published Mantic release universe misc 20230420-4build1
  Deleted Mantic proposed universe misc 20230420-4build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-07-31 08:41:13 UTC Superseded Mantic release universe misc 20230420-4
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20230420-4build1
  • 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 misc 20230420-4
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Gianfranco Costamagna
  2023-06-22 13:09:44 UTC Superseded Mantic proposed universe misc 20230420-3ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20230420-4
  • Published
  2023-06-21 18:25:55 UTC Superseded Mantic proposed universe misc 20230420-3
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20230420-3ubuntu1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-06-20 17:20:36 UTC Superseded Mantic proposed universe misc 20230420-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20230420-3
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-06-17 23:34:42 UTC Superseded Mantic proposed universe misc 20230420-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20230420-2
  • Published
  2023-06-13 09:04:26 UTC Superseded Mantic proposed universe misc 20230420-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20230420-1build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-06-25 17:24:49 UTC Superseded Mantic release universe misc 20220816-2build2
  • Superseded by coq-unimath - 20230420-4
  • Published
  • Copied from ubuntu lunar in Primary Archive for Ubuntu
  2023-02-28 16:14:28 UTC Published Lunar release universe misc 20220816-2build2
  Deleted Lunar proposed universe misc 20220816-2build2
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

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

    Moved to lunar

  • Published
  2023-01-26 13:54:21 UTC Superseded Lunar proposed universe misc 20220816-2
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20220816-2build1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
  2023-01-30 01:15:49 UTC Superseded Lunar release universe misc 20220816-1build2
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20220816-2build1
  • Published
  2023-01-31 06:10:11 UTC Deleted Lunar proposed universe misc 20220816-1build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2022-12-03 09:59:51 UTC Superseded Lunar proposed universe misc 20220816-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20220816-1build2
  • Published
  2022-12-07 03:20:53 UTC Superseded Lunar release universe misc 20220816-1
  • Superseded by coq-unimath - 20220816-1build2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-11-13 12:55:48 UTC Obsolete Kinetic release universe misc 20220816-1
  • 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 misc 20220816-1
  2022-08-25 15:49:01 UTC Superseded Kinetic release universe misc 20220204-1
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-unimath - 20220816-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-08-26 18:10:09 UTC Deleted Kinetic proposed universe misc 20220204-1
1 → 40 of 40 results First • Previous • Next • Last

«back