Ubuntu

coq-doc binary package in Ubuntu Hirsute ppc64el

  1. Hirsute (21.04)
  2. ppc64el
  3. coq-doc

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2022-07-23 01:40:00 UTC Obsolete Ubuntu Hirsute ppc64el release multiverse doc Optional 8.6-1
  • Removal requested .
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu