Ubuntu

menhir-doc binary package in Ubuntu Cosmic armhf

  1. Cosmic (18.10)
  2. armhf
  3. menhir-doc

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2018-11-25 00:10:12 UTC Deleted Ubuntu Cosmic armhf proposed universe doc Optional 20180530-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to disco-proposed

  • Published
  • Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
  2018-07-20 05:33:21 UTC Superseded Ubuntu Cosmic armhf proposed universe doc Optional 20180530-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of menhir 20180530-2 in ubuntu cosmic PROPOSED
  • Published
  • Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
  2020-07-13 02:35:12 UTC Obsolete Ubuntu Cosmic armhf release universe doc Optional 20171222-1
  • Removal requested .
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu