diff options
| author | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2018-07-11 19:01:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-11 19:01:02 +0200 |
| commit | 04cae0e5fb2d0761c355bc3d0e8f050d2dabec51 (patch) | |
| tree | 2b82675b04ed026b6339ae0c1edb82745e20c8b9 /pkgs/applications/science | |
| parent | 7d21b2208e0b5bf416cfd9199c61b2bf2253ca56 (diff) | |
| parent | a89b538f0baf791ef97e28fe219bff5dac37cef7 (diff) | |
| download | nixlib-04cae0e5fb2d0761c355bc3d0e8f050d2dabec51.tar nixlib-04cae0e5fb2d0761c355bc3d0e8f050d2dabec51.tar.gz nixlib-04cae0e5fb2d0761c355bc3d0e8f050d2dabec51.tar.bz2 nixlib-04cae0e5fb2d0761c355bc3d0e8f050d2dabec51.tar.lz nixlib-04cae0e5fb2d0761c355bc3d0e8f050d2dabec51.tar.xz nixlib-04cae0e5fb2d0761c355bc3d0e8f050d2dabec51.tar.zst nixlib-04cae0e5fb2d0761c355bc3d0e8f050d2dabec51.zip | |
Merge pull request #43333 from r-ryantm/auto-update/libpoly
libpoly: 0.1.4 -> 0.1.5
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/poly/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/poly/default.nix b/pkgs/applications/science/logic/poly/default.nix index 1b401c927b6e..171d72a3e560 100644 --- a/pkgs/applications/science/logic/poly/default.nix +++ b/pkgs/applications/science/logic/poly/default.nix @@ -1,6 +1,6 @@ {stdenv, fetchurl, gmp, cmake, python}: -let version = "0.1.4"; +let version = "0.1.5"; in stdenv.mkDerivation { @@ -8,7 +8,7 @@ stdenv.mkDerivation { src = fetchurl { url = "https://github.com/SRI-CSL/libpoly/archive/v${version}.tar.gz"; - sha256 = "16x1pk2a3pcb5a0dzyw28ccjwkhmbsck4hy80ss7kx0dd7qgpi7j"; + sha256 = "0yj3gd60lx8dcgw7hgld8wqvjkpixx3ww3v33sdf7p6lln7ksxyn"; }; buildInputs = [ cmake gmp python ]; |