Michael Raskin f67e66cf4c Specify branch for eigen2		2014-10-07 16:23:28 +04:00
..
2.0.nix	Specify branch for eigen2	2014-10-07 16:23:28 +04:00
default.nix	Oops; a mistake with src	2014-08-31 20:44:17 +04:00
default.upstream	Update eigen	2014-08-31 20:42:08 +04:00