Ubuntu
coq package

Publishing history of coq 8.15.0+dfsg-2 source package in Ubuntu

  1. 8.15.0+dfsg-2
  2. Publishing history
1 → 3 of 3 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  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
1 → 3 of 3 results First • Previous • Next • Last

«back