Publishing details
-
Published
-
Copied from
ubuntu focal in
Primary Archive for Ubuntu
Changelog
buddy (2.4-11build1) focal; urgency=medium
* No-change rebuild for libgcc-s1 package name change.
-- Matthias Klose <email address hidden> Sun, 22 Mar 2020 16:35:23 +0100
Builds
Built packages
-
libbdd-dev
Binary decision-diagram library (development)
-
libbdd0c2
Binary decision-diagram library (runtime)
-
libbdd0c2-dbgsym
debug symbols for libbdd0c2
Package files