Fix bad URLs lacking a scheme

This commit is contained in:
Eelco Dolstra
2013-01-14 18:26:46 +01:00
parent 8497455143
commit f286cc65b1
6 changed files with 9 additions and 9 deletions
@@ -13,7 +13,7 @@ let
baseName="iprover";
version="0.8.1";
name="${baseName}_v${version}";
url="${baseName}.googlecode.com/files/${name}.tar.gz";
url="http://${baseName}.googlecode.com/files/${name}.tar.gz";
hash="15qn523w4l296np5rnkwi50a5x2xqz0kaza7bsh9bkazph7jma7w";
};
in