Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=851820
--- Comment #9 from Thomas Sailer t.sailer@alumni.ethz.ch --- All ok now.
===================================================
The package mingw-eigen3 is APPROVED by sailer
===================================================