diff options
Diffstat (limited to 'pkgs/development/compilers/bigloo/default.nix')
| -rw-r--r-- | pkgs/development/compilers/bigloo/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/development/compilers/bigloo/default.nix b/pkgs/development/compilers/bigloo/default.nix index fac4a99283a..b7dcb806b01 100644 --- a/pkgs/development/compilers/bigloo/default.nix +++ b/pkgs/development/compilers/bigloo/default.nix @@ -1,10 +1,11 @@ { fetchurl, stdenv }: stdenv.mkDerivation rec { - name = "bigloo3.7a"; + name = "bigloo-${version}"; + version = "3.7a"; src = fetchurl { - url = "ftp://ftp-sop.inria.fr/indes/fp/Bigloo/${name}.tar.gz"; + url = "ftp://ftp-sop.inria.fr/indes/fp/Bigloo/bigloo${version}.tar.gz"; sha256 = "0y8i87c2bpqzap8rhzgpyfgdzq21py5xq6mgp0w6xv4rjcj9d0v1"; }; |