This bug prevents IKOS from being built for Bionic with Apron features enabled, and will be a hindrance to distributing IKOS as a package in the future.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1800041 Title: bug in pkgrid product manager To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/apron/+bug/1800041/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
