Ubuntu

libbdd-dev binary package in Ubuntu Noble riscv64

  1. Noble (24.04)
  2. riscv64
  3. libbdd-dev

 Binary decision diagrams (BDDs) are space-efficient encodings of
 boolean expressions or dynamic truth tables, used in eg. model
 checking. BuDDy is an efficient BDD library with all the standard
 BDD operations, dynamic reordering of variables, automated garbage
 collection, a C++ interface with automatic reference counting, and
 more.
 .
 libbdd-dev is the BuDDy development package containing a static
 library and the include files needed for building applications using
 BuDDy.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2024-04-22 19:49:18 UTC Published Ubuntu Noble riscv64 release universe libdevel Optional 2.4+dfsg-2build1
  • Published
  • Copied from ubuntu noble-proposed riscv64 in Primary Archive for Ubuntu
  Deleted Ubuntu Noble riscv64 proposed universe libdevel Optional 2.4+dfsg-2build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-04-22 19:50:11 UTC Superseded Ubuntu Noble riscv64 release universe libdevel Optional 2.4+dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of buddy 2.4+dfsg-2build1 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu noble-proposed riscv64 in Primary Archive for Ubuntu
  2024-04-24 00:10:26 UTC Deleted Ubuntu Noble riscv64 proposed universe libdevel Optional 2.4+dfsg-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2023-12-14 01:47:45 UTC Superseded Ubuntu Noble riscv64 release universe libdevel Optional 2.4+dfsg-1
  • Removal requested .
  • Superseded by riscv64 build of buddy 2.4+dfsg-2 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu mantic-proposed riscv64 in Primary Archive for Ubuntu

Source package