Ubuntu
coq-doc package

Publishing history of coq-doc 8.17.1-1 source package in Ubuntu

  1. 8.17.1-1
  2. Publishing history
1 → 3 of 3 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2024-04-03 03:51:45 UTC Superseded Noble release multiverse doc 8.17.1-1
  • Superseded by coq-doc - 8.18.0-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2023-08-12 18:56:25 UTC Published Mantic release multiverse doc 8.17.1-1
  Deleted Mantic proposed multiverse doc 8.17.1-1
1 → 3 of 3 results First • Previous • Next • Last

«back