Ubuntu
coq-float package

Publishing history of coq-float 1:8.4-5build1 source package in Ubuntu

  1. 1:8.4-5build1
  2. Publishing history
1 → 3 of 3 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2016-04-22 12:10:54 UTC Superseded Yakkety release universe libdevel 1:8.4-5build1
  • Removal requested .
  • Superseded by coq-float - 1:8.4-5build2
  • Published
  • Copied from ubuntu xenial in Primary Archive for Ubuntu
  2015-11-13 11:49:15 UTC Published Xenial release universe libdevel 1:8.4-5build1
  Deleted Xenial proposed universe libdevel 1:8.4-5build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
1 → 3 of 3 results First • Previous • Next • Last

«back