Treewide: use https for SourceForge

2018-11-24 19:58:03 +01:00
parent 88ce525e85
commit 0ea604ac1d
21 changed files with 27 additions and 27 deletions
@@ -8,7 +8,7 @@ stdenv.mkDerivation {
  inherit name;

  src = fetchurl {
-    url    = "http://sourceforge.net/projects/fricas/files/fricas/${version}/${name}-full.tar.bz2";
+    url    = "mirror://sourceforge/fricas/files/fricas/${version}/${name}-full.tar.bz2";
    sha256 = "156k9az1623y5808j845c56z2nvvdrm48dzg1v0ivpplyl7vp57x";
  };