Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: unblock
Please unblock package eigen3_3.1.0-1. This is a stable version of eigen3. Wheezy contains rc1. Diff is attached. unblock eigen3/3.1.0-1 Thanks. Anton -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org