Ubuntu

why binary package in Ubuntu Saucy amd64

  1. Saucy (13.10)
  2. amd64
  3. why

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2015-04-28 07:58:07 UTC Deleted Ubuntu Saucy amd64 release universe math Optional 2.30+dfsg-5
  • Removed from disk .
  • Removal requested .
  • Deleted by Colin Watson

    fails to build against new coq; see Debian #707585, #709618

  • Published
  • Copied from ubuntu quantal-release amd64 in Primary Archive for Ubuntu