Ubuntu

coq-libs binary package in Ubuntu Intrepid ia64

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

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2013-02-20 03:30:20 UTC Obsolete Ubuntu Intrepid ia64 release universe math Optional 8.1.pl3+dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu intrepid-release i386 in Primary Archive for Ubuntu
  2008-05-27 14:04:29 UTC Superseded Ubuntu Intrepid ia64 release universe math Optional 8.1.pl3+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
  • Published
  • Copied from ubuntu hardy-release i386 in Primary Archive for Ubuntu