Michael Raskin f2b8738400 Update eigen

2015-02-01 18:41:32 +03:00

..

2.0.nix

Specify branch for eigen2

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

default.nix

Update eigen

2015-02-01 18:41:32 +03:00

default.upstream

Update eigen

2014-08-31 20:42:08 +04:00