** Description changed: - Release: Ubuntu 14.04.5 LTS + Release: + - Ubuntu 14.04.5 LTS + - Ubuntu 16.04.5 LTS + - Debian 8 Version: 0.9.10-6 It seems to me that the package libapron(-dev) does not provide all of APRON. I have: # dpkg -L libapron-dev | grep /usr/lib/lib /usr/lib/libboxMPQ.so /usr/lib/libapron.so /usr/lib/libboxMPFR.so /usr/lib/libpolkaRll.so /usr/lib/libboxD.so /usr/lib/liboctMPQ.so /usr/lib/libpolkaMPQ.so /usr/lib/liboctD.so I am missing the following libraries: /usr/lib/libap_pkgrid.so /usr/lib/libap_ppl.so - /usr/lib/libitvMPQ.so These are required by IKOS: https://github.com/NASA-SW-VnV/ikos Thank you.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1799091 Title: missing library files To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/apron/+bug/1799091/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
