diff options
| author | joachifm <joachifm@users.noreply.github.com> | 2016-04-08 19:23:39 +0200 |
|---|---|---|
| committer | joachifm <joachifm@users.noreply.github.com> | 2016-04-08 19:23:39 +0200 |
| commit | 28f9491e9e06e14e391bf16c6342f7a4d92ac352 (patch) | |
| tree | 13e0e77fe97796fdeb6b542df90854df0052bd58 /pkgs | |
| parent | 46a3a12971246e3e31613cf3f9db6aa4b3b2a48b (diff) | |
| parent | 800d088c8587350c0a1c60adfe2868445fcdb133 (diff) | |
Merge pull request #14531 from micxjo/update-gambit
gambit: 4.7.3 -> 4.8.5
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/compilers/gambit/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/compilers/gambit/default.nix b/pkgs/development/compilers/gambit/default.nix index cc8c80653ba2a..99a4d6fc4d1fb 100644 --- a/pkgs/development/compilers/gambit/default.nix +++ b/pkgs/development/compilers/gambit/default.nix @@ -2,12 +2,12 @@ stdenv.mkDerivation rec { name = "gambit-${version}"; - version = "4.7.3"; - devver = "4_7_3"; + version = "4.8.5"; + devver = "4_8_5"; src = fetchurl { - url = "http://www.iro.umontreal.ca/~gambit/download/gambit/v4.7/source/gambc-v${devver}-devel.tgz"; - sha256 = "12jbr6bc0zmc7vw07a9pliadbvqgwkpmw6cj8awz73clv1j7pxha"; + url = "http://www.iro.umontreal.ca/~gambit/download/gambit/v4.8/source/gambit-v${devver}-devel.tgz"; + sha256 = "02b5bm06k2qr0lvdwwsl0ygxs7n8410rrkq95picn4s02kxszqnq"; }; configureFlags = [ "--enable-shared" "--enable-single-host" ]; |