Michael Raskin 655e5c01b4 Oops; a mistake with src

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

..

2.0.nix

eigen2: update from 2.0.16 to 2.0.17

2013-12-04 15:17:42 +02:00

default.nix

Oops; a mistake with src

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

default.upstream

Update eigen

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