Bug#731050: libeigen3-dev: depends on mpfrc++

[Anton Gladky]

Hi Jerome,

it was committed yesterday [1].

[1]
http://anonscm.debian.org/gitweb/?p=debian-science/packages/eigen3.git;a=commitdiff;h=6d44773a71bf1a97a0f909994f9ace9c8b471d53

Thanks,

Anton
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20131202/73851c25/attachment.html>