coq-doc binary package in Ubuntu Saucy i386

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2015-04-24 12:50:55 UTC Obsolete Ubuntu Saucy i386 release multiverse doc Optional 8.3pl4-1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu quantal-release i386 in Primary Archive for Ubuntu