Publishing details
Changelog
berkeley-abc (1.01+20211229git48498af+dfsg-2) unstable; urgency=medium
* Some cosmetics that did not make it into the sponsored package
- pretty-printing build-deps
- R-R-R: no
- New standards version 4.6.0
* Remove reproducibility.patch to fix segfault
-- Daniel Gröber <email address hidden> Sat, 29 Jan 2022 02:26:07 +0100
Builds
Built packages
-
berkeley-abc
ABC - A System for Sequential Synthesis and Verification
-
berkeley-abc-dbgsym
debug symbols for berkeley-abc
Package files