c0bw3b 0498ccd076 Treewide: use HTTPS on GNU domains ... HTTP -> HTTPS for : - http://gnu.org/ - http://www.gnu.org/ - http://elpa.gnu.org/ - http://lists.gnu.org/ - http://gcc.gnu.org/ - http://ftp.gnu.org/ (except in fetchurl mirrors) - http://bugs.gnu.org/		2018-12-02 15:51:59 +01:00
..
default.nix
disable-fma.patch
gsl-1_16.nix