Orivej Desh 095c00b558 eigen: replace with eigen3_3: 3.2.10 -> 3.3.5		2018-11-19 10:27:19 +00:00
..
2.0.nix	…
default.nix	eigen: replace with eigen3_3: 3.2.10 -> 3.3.5	2018-11-19 10:27:19 +00:00
default.upstream	…
include-dir.patch	…