It looks like they just updated theirs, I'll certainly update the
debdiff.
** Changed in: petsc (Ubuntu)
Status: Confirmed => In Progress
** Changed in: petsc (Ubuntu)
Assignee: (unassigned) => Steven Susbauer (stupendoussteve)
--
Please merge petsc 3.0.0.dfsg-1 (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/375646
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
