Ubuntu

menhir binary package in Ubuntu Eoan arm64

  1. Eoan (19.10)
  2. arm64
  3. menhir

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-12-29 14:18:15 UTC Obsolete Ubuntu Eoan arm64 release universe devel Optional 20190626-6ubuntu1
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu eoan-proposed arm64 in Primary Archive for Ubuntu
  2020-12-29 18:10:09 UTC Deleted Ubuntu Eoan arm64 proposed universe devel Optional 20190626-6ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2019-09-02 20:58:57 UTC Superseded Ubuntu Eoan arm64 release universe devel Optional 20190626-5ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of menhir 20190626-6ubuntu1 in ubuntu eoan PROPOSED
  • Published
  • Copied from ubuntu eoan-proposed arm64 in Primary Archive for Ubuntu
  2019-09-04 00:10:09 UTC Deleted Ubuntu Eoan arm64 proposed universe devel Optional 20190626-5ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2019-08-25 14:43:32 UTC Superseded Ubuntu Eoan arm64 release universe devel Optional 20190626-3ubuntu2
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of menhir 20190626-5ubuntu1 in ubuntu eoan PROPOSED
  • Published
  • Copied from ubuntu eoan-proposed arm64 in Primary Archive for Ubuntu
  2019-08-26 18:10:14 UTC Deleted Ubuntu Eoan arm64 proposed universe devel Optional 20190626-3ubuntu2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2019-07-29 14:13:27 UTC Superseded Ubuntu Eoan arm64 proposed universe devel Optional 20190626-3ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of menhir 20190626-3ubuntu2 in ubuntu eoan PROPOSED
  • Published
  2019-07-26 22:48:27 UTC Superseded Ubuntu Eoan arm64 proposed universe devel Optional 20181113-1
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of menhir 20190626-3ubuntu1 in ubuntu eoan PROPOSED
  • Published
  • Copied from ubuntu disco-proposed arm64 in Primary Archive for Ubuntu
  2019-07-29 22:48:41 UTC Superseded Ubuntu Eoan arm64 release universe devel Optional 20171222-1
  • Removal requested .
  • Superseded by arm64 build of menhir 20190626-3ubuntu2 in ubuntu eoan PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed arm64 in Primary Archive for Ubuntu