[Bug 1800041] Re: bug in pkgrid product manager

** Description changed: Release: - Ubuntu 18.04.1 LTS - Debian 9 Version: 0.9.10-9build4 There is a bug in the apron package. The function ap_pkgrid_manager_alloc() always returns NULL. $ cat test.c #include "ap_global0.h" #include "ap_pkgrid.h" #include "ap_ppl.h" #inc

[Bug 1800041] [NEW] bug in pkgrid product manager

Public bug reported: Release: - Ubuntu 18.04.1 LTS - Debian 9 Version: 0.9.10-9build4 There is a bug in the apron package. The function ap_pkgrid_manager_alloc() always returns NULL. $ cat test.c #include "ap_global0.h" #include "ap_pkgrid.h" #include "ap_ppl.h" #include "pk.h" int main() {    

[Bug 1799091] Re: missing library files

** 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/

[Bug 1799091] [NEW] missing library files

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/l