Ubuntu
ppx-tools package

Publishing history of ppx-tools 5.3+4.08.0-1 source package in Ubuntu

  1. 5.3+4.08.0-1
  2. Publishing history
1 → 3 of 3 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2020-08-12 08:46:49 UTC Superseded Groovy release universe misc 5.3+4.08.0-1
  • Removal requested .
  • Superseded by ppx-tools - 6.2-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2020-02-28 03:48:23 UTC Published Focal release universe misc 5.3+4.08.0-1
  Deleted Focal proposed universe misc 5.3+4.08.0-1
1 → 3 of 3 results First • Previous • Next • Last

«back