Ubuntu

coqide binary package in Ubuntu Hardy lpia

  1. Hardy (8.04)
  2. lpia
  3. coqide

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2015-04-24 19:15:58 UTC Obsolete Ubuntu Hardy lpia release universe math Optional 8.1.pl3+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Published
  2008-01-08 00:07:52 UTC Superseded Ubuntu Hardy lpia release universe math Optional 8.1+dfsg-6
  • Removed from disk .
  • Removal requested .
  • Superseded by lpia build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
  • Published
  • Copied from ubuntu gutsy-release lpia in Primary Archive for Ubuntu