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