Michael Raskin f2b8738400 Update eigen		2015-02-01 18:41:32 +03:00
..
2.0.nix	Specify branch for eigen2	2014-10-07 16:23:28 +04:00
default.nix	Update eigen	2015-02-01 18:41:32 +03:00
default.upstream	Update eigen	2014-08-31 20:42:08 +04:00