Ubuntu
paramcoq package

Publishing history of paramcoq 1.1.3+coq8.19-2 source package in Ubuntu

  1. 1.1.3+coq8.19-2
  2. Publishing history
1 → 2 of 2 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2024-08-06 00:51:14 UTC Published Oracular release universe misc 1.1.3+coq8.19-2
  Deleted Oracular proposed universe misc 1.1.3+coq8.19-2
1 → 2 of 2 results First • Previous • Next • Last

«back