Michael Raskin 655e5c01b4 Oops; a mistake with src		2014-08-31 20:44:17 +04:00
..
2.0.nix	eigen2: update from 2.0.16 to 2.0.17	2013-12-04 15:17:42 +02: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