This bug was fixed in the package berkeley-abc - 1.01+20230625git01b1bd1+dfsg-3ubuntu1
--------------- berkeley-abc (1.01+20230625git01b1bd1+dfsg-3ubuntu1) noble; urgency=medium * debian/patches/add-missing-include.patch: Add missing headers to Glucose components. Closes LP: #2060873. -- Zixing Liu <zixing....@canonical.com> Wed, 10 Apr 2024 14:45:54 -0600 ** Changed in: berkeley-abc (Ubuntu) Status: New => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2060873 Title: berkeley-abc FTBFS on Noble after time_t transition To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/berkeley-abc/+bug/2060873/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs