Michael Raskin f67e66cf4c Specify branch for eigen2

2014-10-07 16:23:28 +04:00

..

2.0.nix

Specify branch for eigen2

2014-10-07 16:23:28 +04:00

default.nix

Oops; a mistake with src

2014-08-31 20:44:17 +04:00

default.upstream

…