Ubuntu

libcoq-ocaml-dev binary package in Ubuntu Karmic ia64

  1. Karmic (9.10)
  2. ia64
  3. libcoq-ocaml-dev

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2013-03-04 05:16:42 UTC Obsolete Ubuntu Karmic ia64 release universe libdevel Optional 8.2.pl1+dfsg-2
  • Removed from disk .
  • Removal requested .
  • Published
  2009-08-24 21:07:17 UTC Superseded Ubuntu Karmic ia64 release universe libdevel Optional 8.2-1+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by ia64 build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
  • Published