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

…