Ubuntu

coq-doc binary package in Ubuntu Groovy ppc64el

  1. Groovy (20.10)
  2. ppc64el
  3. coq-doc

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2021-12-22 19:51:25 UTC Obsolete Ubuntu Groovy ppc64el release multiverse doc Optional 8.6-1
  • Removal requested .
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu