Ubuntu

coq-doc binary package in Ubuntu Intrepid ia64

  1. Intrepid (8.10)
  2. ia64
  3. coq-doc

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2013-02-20 03:30:20 UTC Obsolete Ubuntu Intrepid ia64 release multiverse doc Optional 8.0pl1.0-1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu hoary-release ia64 in Primary Archive for Ubuntu
  2008-05-30 08:06:49 UTC Superseded Ubuntu Intrepid ia64 release universe doc Optional 8.0pl1.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by ia64 build of coq-doc 8.0pl1.0-1 in ubuntu hoary RELEASE
  • Published
  • Copied from ubuntu hoary-release ia64 in Primary Archive for Ubuntu