Ubuntu

cbmc-dbgsym binary package in Ubuntu Noble riscv64

  1. Noble (24.04)
  2. riscv64
  3. cbmc-dbgsym

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2024-04-24 10:49:23 UTC Published Ubuntu Noble riscv64 release universe science Extra 5.95.1-4ubuntu1
  • Published
  • Copied from ubuntu noble-proposed riscv64 in Primary Archive for Ubuntu
  Deleted Ubuntu Noble riscv64 proposed universe science Extra 5.95.1-4ubuntu1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-04-23 20:23:55 UTC Superseded Ubuntu Noble riscv64 proposed universe science Extra 5.95.1-4
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of cbmc 5.95.1-4ubuntu1 in ubuntu noble PROPOSED
  • Published
  2024-02-19 20:52:13 UTC Superseded Ubuntu Noble riscv64 proposed universe science Extra 5.95.1-3
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of cbmc 5.95.1-4 in ubuntu noble PROPOSED
  • Published
  2024-04-24 10:50:26 UTC Superseded Ubuntu Noble riscv64 release universe science Extra 5.12-5
  • Removal requested .
  • Superseded by riscv64 build of cbmc 5.95.1-4ubuntu1 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu groovy-proposed riscv64 in Primary Archive for Ubuntu
  2024-02-18 09:22:26 UTC Superseded Ubuntu Noble riscv64 proposed universe science Extra 5.89.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of cbmc 5.95.1-3 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu mantic-proposed riscv64 in Primary Archive for Ubuntu

Source package