berkeley-abc 1.01+20221019git70cb339+dfsg-4 source package in Ubuntu
Changelog
berkeley-abc (1.01+20221019git70cb339+dfsg-4) unstable; urgency=medium [ Debian Janitor ] * Update lintian override info format in d/berkeley-abc.lintian-overrides on line 2. * debian/copyright: use spaces rather than tabs to start continuation lines. * Use secure URI in Homepage field. * Bump debhelper from old 12 to 13. * Remove obsolete field Name from debian/upstream/metadata (already present in machine-readable debian/copyright). * Update standards version to 4.6.1, no changes needed. * Avoid explicitly specifying -Wl,--as-needed linker flag. [ Daniel Gröber ] * Go back to ABC_MEMALIGN=4 on arm only but properly detect it -- Daniel Gröber <email address hidden> Tue, 07 Feb 2023 02:39:45 +0100
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Lunar | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
berkeley-abc_1.01+20221019git70cb339+dfsg-4.dsc | 2.2 KiB | aaaacd9acec3fc0366c062961eb68e064b1c7ffcc98b59097fda9cdd23716861 |
berkeley-abc_1.01+20221019git70cb339+dfsg.orig.tar.xz | 3.7 MiB | e4053ba7aee484d43a54a2bc72bb16ce8de11786bd8a6b37ab4e743953346195 |
berkeley-abc_1.01+20221019git70cb339+dfsg-4.debian.tar.xz | 15.1 KiB | b9b00ea5ab14cec8253ed0f9d4c49552ac9d7d5d11ef4c5219a3f4e921116700 |
Available diffs
No changes file available.
Binary packages built by this source
- berkeley-abc: ABC - A System for Sequential Synthesis and Verification
This is a growing software system for synthesis and verification of binary
sequential logic circuits appearing in synchronous hardware designs. ABC
combines scalable logic optimization based on And-Inverter Graphs (AIGs),
optimal-delay DAG-based technology mapping for look-up tables and standard
cells, and innovative algorithms for sequential synthesis and verification.
.
ABC provides an experimental implementation of these algorithms and a
programming environment for building similar applications. Future development
will focus on improving the algorithms and making most of the packages
stand-alone. This will allow the user to customize ABC for their needs as if
it were a tool-box rather than a complete tool.
- berkeley-abc-dbgsym: debug symbols for berkeley-abc