Format: 1.8
Date: Wed, 10 Apr 2024 14:45:54 -0600
Source: berkeley-abc
Binary: berkeley-abc
Built-For-Profiles: noudeb
Architecture: arm64
Version: 1.01+20230625git01b1bd1+dfsg-3ubuntu1~ppa2
Distribution: noble
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-059.buildd>
Changed-By: Zixing Liu <zixing.liu@canonical.com>
Description:
 berkeley-abc - ABC - A System for Sequential Synthesis and Verification
Launchpad-Bugs-Fixed: 2060873
Changes:
 berkeley-abc (1.01+20230625git01b1bd1+dfsg-3ubuntu1~ppa2) noble; urgency=medium
 .
   * debian/patches/add-missing-include.patch: Add missing headers to
     Glucose components.  Closes LP: #2060873.
Checksums-Sha1:
 e44f67ec02264c1005d5a54fdbb204e6f33eb2b2 6150 berkeley-abc_1.01+20230625git01b1bd1+dfsg-3ubuntu1~ppa2_arm64.buildinfo
 a27745e8444a4d9515cdb2272a6e6bc723ad6312 4317868 berkeley-abc_1.01+20230625git01b1bd1+dfsg-3ubuntu1~ppa2_arm64.deb
Checksums-Sha256:
 fd96ca7f78b0e2c3c8996dbf8027324de25e99fb2726b9955745950c72088890 6150 berkeley-abc_1.01+20230625git01b1bd1+dfsg-3ubuntu1~ppa2_arm64.buildinfo
 14732bfbcd421bf242f7791a1c73970fa0687d5035bc5ae25c5a1ca0c7cc69e6 4317868 berkeley-abc_1.01+20230625git01b1bd1+dfsg-3ubuntu1~ppa2_arm64.deb
Files:
 7d41b9c32292f06eb97ef3a632f512ae 6150 electronics optional berkeley-abc_1.01+20230625git01b1bd1+dfsg-3ubuntu1~ppa2_arm64.buildinfo
 8edc4af271363fe0248fdef6c9ada13f 4317868 electronics optional berkeley-abc_1.01+20230625git01b1bd1+dfsg-3ubuntu1~ppa2_arm64.deb
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>