Ubuntu

libbdd0c2 binary package in Ubuntu Noble s390x

  1. Noble (24.04)
  2. s390x
  3. libbdd0c2

 Binary decision diagrams (BDDs) are space-efficient encodings of
 boolean expressions or dynamic truth tables, used in eg. model
 checking. This is the runtime package for programs that use the
 BuDDy library.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2024-04-22 19:49:18 UTC Published Ubuntu Noble s390x release universe libs Optional 2.4+dfsg-2build1
  • Published
  • Copied from ubuntu noble-proposed s390x in Primary Archive for Ubuntu
  Deleted Ubuntu Noble s390x proposed universe libs 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 s390x release universe libs Optional 2.4+dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by s390x build of buddy 2.4+dfsg-2build1 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu noble-proposed s390x in Primary Archive for Ubuntu
  2024-04-24 00:10:26 UTC Deleted Ubuntu Noble s390x proposed universe libs 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 s390x release universe libs Optional 2.4+dfsg-1
  • Removal requested .
  • Superseded by s390x build of buddy 2.4+dfsg-2 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu mantic-proposed s390x in Primary Archive for Ubuntu

Source package