Vladimír Čunát 80129d23d9 gsl: fix patch URL that no longer worked (close #9143)		2015-08-06 11:04:37 +02:00
..
default.nix	gsl: fix patch URL that no longer worked (close #9143)	2015-08-06 11:04:37 +02:00
disable-fma.patch