Public bug reported: Release: Ubuntu 14.04.5 LTS 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. ** Affects: apron (Ubuntu) Importance: Undecided Status: New -- 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
