Summary of changes: 533aa7c... Upgrade to 3.1.2 d1ae19e... Merge branch 'master' of ssh://pkgs.fedoraproject.org/eigen 6bd5940... Corrected changelog date 0a6c3bd... Added eigen3 sources