Oops, I should be a little more clear for the reporter. Thank you for reporting this to Ubuntu. I have converted this bug into a sync request to get the latest version of armadillo in from Debian unstable. I have also linked the Debian bug that you filed. Please report any other issues you may find.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/805297 Title: Sync armadillo 2.0.1+dfsg-1 (universe) from Debian unstable (main) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/armadillo/+bug/805297/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs