Ubuntu

coq binary package in Ubuntu Feisty ia64

  1. Feisty (7.04)
  2. ia64
  3. coq

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2009-08-20 18:20:10 UTC Obsolete Ubuntu Feisty ia64 release universe math Optional 8.0pl3-2ubuntu1
  • Removed from disk .
  • Removal requested .
  • Published
  2007-03-23 14:04:00 UTC Superseded Ubuntu Feisty ia64 release universe math Optional 8.0pl3-2
  • Removed from disk .
  • Removal requested .
  • Superseded by ia64 build of coq 8.0pl3-2ubuntu1 in ubuntu feisty RELEASE
  • Published
  • Copied from ubuntu edgy-release ia64 in Primary Archive for Ubuntu