Fix for the verilog package, from Antonio Vargas Gonzalez

svn path=/nixpkgs/trunk/; revision=24934

pkgs/applications/science/electronics/verilog/default.nix

@@ -4,7 +4,7 @@ stdenv.mkDerivation rec {
   name = "verilog-0.9.3";
 
   src = fetchurl {
-    url = "mirror://sourceforce/${name}.tar.gz";
+    url = "mirror://sourceforge/iverilog/0.9.3/verilog-0.9.3.tar.gz";
     sha256 = "dd68c8ab874a93805d1e93fa76ee1e91fc0c7b20822ded3e57b6536cd8c0d1ba";
   };