Merge pull request #14531 from micxjo/update-gambit

gambit: 4.7.3 -> 4.8.5
This commit is contained in:
joachifm 2016-04-08 19:23:39 +02:00
commit 28f9491e9e

View File

@ -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" ];