Publishing history of coq-deriving 0.2.0-3build7 source package in Ubuntu

12 of 2 results
Date Status Target Pocket Component Section Version
  2024-12-21 14:12:50 UTC Superseded Plucky release universe misc 0.2.0-3build7
  • Created by Ubuntu Archive Auto-Sync
  • Removed from disk .
  • Removal requested .
  • Superseded by coq-deriving - 0.2.1-1build1
  • Published
  2024-12-22 18:10:21 UTC Deleted Plucky proposed universe misc 0.2.0-3build7
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to plucky

  • Published
12 of 2 results

«back