/gnu/store/52v3bnpi5q7p5jr41dvcb6psy6nzyp7b-gsl-2.7.1.drv