diff options
| author | Will Dietz <w@wdtz.org> | 2018-12-01 13:54:27 -0600 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2018-12-01 13:55:33 -0600 |
| commit | 1151a0182d2c5bdf08623388452538dc472e29bc (patch) | |
| tree | 3f5360ec07e0cba57b1c7ec8721aff965fe95c3d /pkgs/development/libraries/gecode | |
| parent | d97f3cb647cbaa080eb421f731b6aca20e1e89de (diff) | |
| download | nixpkgs-1151a0182d2c5bdf08623388452538dc472e29bc.tar nixpkgs-1151a0182d2c5bdf08623388452538dc472e29bc.tar.gz nixpkgs-1151a0182d2c5bdf08623388452538dc472e29bc.tar.bz2 nixpkgs-1151a0182d2c5bdf08623388452538dc472e29bc.tar.lz nixpkgs-1151a0182d2c5bdf08623388452538dc472e29bc.tar.xz nixpkgs-1151a0182d2c5bdf08623388452538dc472e29bc.tar.zst nixpkgs-1151a0182d2c5bdf08623388452538dc472e29bc.zip | |
gecode: 6.0.0 -> 6.1.0
https://github.com/Gecode/gecode/releases/tag/release-6.1.0
Diffstat (limited to 'pkgs/development/libraries/gecode')
| -rw-r--r-- | pkgs/development/libraries/gecode/default.nix | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/pkgs/development/libraries/gecode/default.nix b/pkgs/development/libraries/gecode/default.nix index 83ec0edfb49..06bfa282566 100644 --- a/pkgs/development/libraries/gecode/default.nix +++ b/pkgs/development/libraries/gecode/default.nix @@ -1,12 +1,14 @@ -{ stdenv, fetchurl, perl }: +{ stdenv, fetchFromGitHub, perl }: stdenv.mkDerivation rec { name = "gecode-${version}"; - version = "6.0.0"; + version = "6.1.0"; - src = fetchurl { - url = "http://www.gecode.org/download/${name}.tar.gz"; - sha256 = "0dp7bm6k790jx669y4jr0ffi5cdfpwsqm1ykj2c0zh56jsgs6hfs"; + src = fetchFromGitHub { + owner = "Gecode"; + repo = "gecode"; + rev = "release-${version}"; + sha256 = "1ijjy8ppx7djnkrkawsd00rmlf24qh1z13aap0h1azailw1pbrg4"; }; enableParallelBuilding = true; |