libmenhir-coq binary package in Ubuntu Focal armhf

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-03-13 18:10:10 UTC Deleted Ubuntu Focal armhf release universe ocaml Optional 20200123-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Steve Langasek

    NBS

  • Published
  • Copied from ubuntu focal-proposed armhf in Primary Archive for Ubuntu
  2020-03-13 18:10:10 UTC Deleted Ubuntu Focal armhf proposed universe ocaml Optional 20200123-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-02-24 18:53:33 UTC Superseded Ubuntu Focal armhf proposed universe ocaml Optional 20190924-1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of menhir 20200123-1 in ubuntu focal PROPOSED
  • Published
  2020-02-28 03:50:39 UTC Superseded Ubuntu Focal armhf release universe ocaml Optional 20190626-6ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of menhir 20200123-1 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu eoan-proposed armhf in Primary Archive for Ubuntu