Ubuntu

menhir-doc binary package in Ubuntu Kinetic armhf

  1. Kinetic (22.10)
  2. armhf
  3. menhir-doc

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2023-11-13 12:55:48 UTC Obsolete Ubuntu Kinetic armhf release universe doc Optional 20220210+ds-2
  • Removal requested .
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Kinetic armhf proposed universe doc Optional 20220210+ds-2
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-05-15 13:25:32 UTC Superseded Ubuntu Kinetic armhf release universe doc Optional 20210929-1build1
  • Removal requested .
  • Superseded by amd64 build of menhir 20220210+ds-2 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu