Nixpkgs Monitor 3ac7543bc8 eigen2: update from 2.0.16 to 2.0.17		2013-12-04 15:17:42 +02:00
..
2.0.nix	eigen2: update from 2.0.16 to 2.0.17	2013-12-04 15:17:42 +02:00
default.nix	eigen: update from 3.1.2 to 3.2.0	2013-12-04 15:17:42 +02:00