Ubuntu

libcoq-ocaml-dev binary package in Ubuntu Disco ppc64el

  1. Disco (19.04)
  2. ppc64el
  3. libcoq-ocaml-dev

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2019-07-28 00:10:10 UTC Deleted Ubuntu Disco ppc64el proposed universe libdevel Optional 8.9.0-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    moved to eoan-proposed

  • Published
  2019-02-07 07:59:20 UTC Superseded Ubuntu Disco ppc64el proposed universe libdevel Optional 8.8.2-1
  • Removed from disk .
  • Removal requested .
  • Superseded by ppc64el build of coq 8.9.0-1 in ubuntu disco PROPOSED
  • Published
  2020-07-14 06:39:25 UTC Obsolete Ubuntu Disco ppc64el release universe libdevel Optional 8.6-5build1
  • Removal requested .
  • Published
  • Copied from ubuntu bionic-proposed ppc64el in Primary Archive for Ubuntu