diff options
author | Felix Buehler <account@buehler.rocks> | 2021-11-09 20:42:54 +0100 |
---|---|---|
committer | Felix Buehler <account@buehler.rocks> | 2021-11-10 14:03:21 +0100 |
commit | 345d71ffd0a4f1693cb5d1e74b49fe5c34405705 (patch) | |
tree | 8d0b5efaca0bb793655edeb3914fa93c32e13bfc /pkgs/development/ocaml-modules/cil/default.nix | |
parent | 7a7550f2141658428eaebbeb2684e6a7619172a1 (diff) |
pkgs/development: rename name to pname&version
Diffstat (limited to 'pkgs/development/ocaml-modules/cil/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/cil/default.nix | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/pkgs/development/ocaml-modules/cil/default.nix b/pkgs/development/ocaml-modules/cil/default.nix index 3aefe2eb874cf..a75a6810f9fb4 100644 --- a/pkgs/development/ocaml-modules/cil/default.nix +++ b/pkgs/development/ocaml-modules/cil/default.nix @@ -4,10 +4,12 @@ if lib.versionAtLeast ocaml.version "4.06" then throw "cil is not available for OCaml ${ocaml.version}" else -stdenv.mkDerivation { - name = "ocaml-cil-1.7.3"; +stdenv.mkDerivation rec { + pname = "ocaml-cil"; + version = "1.7.3"; + src = fetchurl { - url = "mirror://sourceforge/cil/cil-1.7.3.tar.gz"; + url = "mirror://sourceforge/cil/cil-${version}.tar.gz"; sha256 = "05739da0b0msx6kmdavr3y2bwi92jbh3szc35d7d8pdisa8g5dv9"; }; |