Sylvestre, I was actually looking at the debian package first but the debian bugtracker was kind of putting me off despite it being inaccessible at the time. So I hoped that maybe one of the Debian maintainers is also listening to the bugs reported here. I just tried to access bugs.debian.org again with no luck. Given the status change made by Julian I wonder if it is still worth reporting it also on the debian side. Is it?
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/871739 Title: Static linked libraries missing To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/sundials/+bug/871739/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs