Ubuntu

menhir-doc binary package in Ubuntu Disco arm64

  1. Disco (19.04)
  2. arm64
  3. menhir-doc

Publishing history

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

    moved to eoan-proposed

  • Published
  • Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu
  2018-11-23 23:29:43 UTC Superseded Ubuntu Disco arm64 proposed universe doc Optional 20180530-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of menhir 20181113-1 in ubuntu disco PROPOSED
  • Published
  • Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
  2020-07-14 06:39:25 UTC Obsolete Ubuntu Disco arm64 release universe doc Optional 20171222-1
  • Removal requested .
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu