Ubuntu

coq-doc binary package in Ubuntu Zesty powerpc

  1. Zesty (17.04)
  2. powerpc
  3. coq-doc

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  Deleted Ubuntu Zesty powerpc release multiverse doc Optional 8.4pl4-2
  • Removal requested .
  • Deleted by Launchpad Janitor

    powerpc obsoleted in zesty

  • Published
  • Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu