Michael Raskin 6de1b73db1 eigen: 3.2.5 -> 3.2.10		2017-03-09 18:59:30 +01:00
..
2.0.nix
3.3.nix	eigen3_3: 3.3.1 -> 3.3.3	2017-03-09 18:47:38 +01:00
default.nix	eigen: 3.2.5 -> 3.2.10	2017-03-09 18:59:30 +01:00
default.upstream