Ubuntu

why3 binary package in Ubuntu Hirsute riscv64

  1. Hirsute (21.04)
  2. riscv64
  3. why3

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2022-07-23 01:40:00 UTC Obsolete Ubuntu Hirsute riscv64 release universe math Optional 1.3.3-1build5
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu hirsute-proposed riscv64 in Primary Archive for Ubuntu
  2022-07-24 00:10:09 UTC Deleted Ubuntu Hirsute riscv64 proposed universe math Optional 1.3.3-1build5
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2021-02-13 14:39:29 UTC Superseded Ubuntu Hirsute riscv64 release universe math Optional 1.3.3-1build4
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of why3 1.3.3-1build5 in ubuntu hirsute PROPOSED
  • Published
  • Copied from ubuntu hirsute-proposed riscv64 in Primary Archive for Ubuntu
  2021-02-14 18:10:07 UTC Deleted Ubuntu Hirsute riscv64 proposed universe math Optional 1.3.3-1build4
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-12-07 19:16:27 UTC Superseded Ubuntu Hirsute riscv64 release universe math Optional 1.3.3-1build3
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of why3 1.3.3-1build4 in ubuntu hirsute PROPOSED
  • Published
  • Copied from ubuntu hirsute-proposed riscv64 in Primary Archive for Ubuntu
  2020-12-09 00:10:09 UTC Deleted Ubuntu Hirsute riscv64 proposed universe math Optional 1.3.3-1build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-12-02 23:54:07 UTC Superseded Ubuntu Hirsute riscv64 release universe math Optional 1.3.3-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of why3 1.3.3-1build3 in ubuntu hirsute PROPOSED
  • Published
  • Copied from ubuntu hirsute-proposed riscv64 in Primary Archive for Ubuntu
  2020-12-04 00:10:08 UTC Deleted Ubuntu Hirsute riscv64 proposed universe math Optional 1.3.3-1build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-11-19 18:18:02 UTC Superseded Ubuntu Hirsute riscv64 release universe math Optional 1.3.3-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of why3 1.3.3-1build2 in ubuntu hirsute PROPOSED
  • Published
  • Copied from ubuntu groovy-proposed riscv64 in Primary Archive for Ubuntu