Ubuntu
proofgeneral package

Publishing history of proofgeneral 4.4.1~pre170114-1.2 source package in Ubuntu

  1. 4.4.1~pre170114-1.2
  2. Publishing history
1 → 9 of 9 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2023-08-17 19:49:10 UTC Superseded Mantic release universe editors 4.4.1~pre170114-1.2
  • Superseded by proofgeneral - 4.5-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-10-27 17:20:10 UTC Published Lunar release universe editors 4.4.1~pre170114-1.2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-11-13 12:55:48 UTC Obsolete Kinetic release universe editors 4.4.1~pre170114-1.2
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2021-10-15 11:50:32 UTC Published Jammy release universe editors 4.4.1~pre170114-1.2
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-07-23 18:02:57 UTC Obsolete Impish release universe editors 4.4.1~pre170114-1.2
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2022-07-23 01:40:00 UTC Obsolete Hirsute release universe editors 4.4.1~pre170114-1.2
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2021-12-22 19:51:25 UTC Obsolete Groovy release universe editors 4.4.1~pre170114-1.2
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2019-12-19 20:33:20 UTC Published Focal release universe editors 4.4.1~pre170114-1.2
  Deleted Focal proposed universe editors 4.4.1~pre170114-1.2
  • 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
1 → 9 of 9 results First • Previous • Next • Last

«back