Well, it's not a matter of the upstream version, but some of the Debian packages need to have their names changed. It's best to let Debian take the lead on this as a difference in renaming would cause issues with syncing in the future. The maintainer seems to be responsive, so I expect it to be fixed soon. We have about 2 months until Feature Freeze (Feb 16), so there's no need to worry yet.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/907654 Title: please sync armadillo 2.4.2 from Debian unstable To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/armadillo/+bug/907654/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
