Vladimír Čunát 2b71fdbbc3 blas: fix by updating, fixes #10420, close #10545 ... The new URL also looks more stable.		2015-10-22 20:13:33 +02:00
..
default.nix	blas: fix by updating, fixes #10420, close #10545	2015-10-22 20:13:33 +02:00