OPM/opm-core — pull request #476 by andlaus (2014-01-24 14:38:26+00:00)
Title: Corrects required version and make Eigen3 download work.

this is just the core version of OPM/opm-autodiff#77 . If you'd like to avoid a horrible mess, please open a PR for core _before_ merging the original PR next time.