coq-doc-html binary package in Ubuntu Quantal i386

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2015-04-24 11:19:49 UTC Obsolete Ubuntu Quantal i386 release multiverse doc Optional 8.3pl4-1
  • Removed from disk .
  • Removal requested .
  • Published
  2012-05-02 08:07:45 UTC Superseded Ubuntu Quantal i386 release multiverse doc Optional 8.3pl2-1build1
  • Removal requested .
  • Superseded by i386 build of coq-doc 8.3pl4-1 in ubuntu quantal RELEASE
  • Published
  • Copied from ubuntu precise-release i386 in Primary Archive for Ubuntu