diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/cil')
| -rw-r--r-- | pkgs/development/ocaml-modules/cil/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/ocaml-modules/cil/default.nix b/pkgs/development/ocaml-modules/cil/default.nix index 5fbb141b6ccea..9903c237e6323 100644 --- a/pkgs/development/ocaml-modules/cil/default.nix +++ b/pkgs/development/ocaml-modules/cil/default.nix @@ -7,7 +7,7 @@ else stdenv.mkDerivation { name = "ocaml-cil-1.7.3"; src = fetchurl { - url = mirror://sourceforge/cil/cil-1.7.3.tar.gz; + url = "mirror://sourceforge/cil/cil-1.7.3.tar.gz"; sha256 = "05739da0b0msx6kmdavr3y2bwi92jbh3szc35d7d8pdisa8g5dv9"; }; @@ -22,7 +22,7 @@ stdenv.mkDerivation { prefixKey = "-prefix="; meta = with stdenv.lib; { - homepage = http://kerneis.github.io/cil/; + homepage = "http://kerneis.github.io/cil/"; description = "A front-end for the C programming language that facilitates program analysis and transformation"; license = licenses.bsd3; maintainers = [ maintainers.vbgl ]; |