Michael Raskin f0a29cd6da eigen: 3.2.2 → 3.2.3		2014-12-21 11:14:24 +03:00
..
2.0.nix	Specify branch for eigen2	2014-10-07 16:23:28 +04:00
default.nix	eigen: 3.2.2 → 3.2.3	2014-12-21 11:14:24 +03:00
default.upstream	Update eigen	2014-08-31 20:42:08 +04:00