diff options
| author | Kevin Quick <kquick@galois.com> | 2018-11-02 15:49:09 -0700 |
|---|---|---|
| committer | Kevin Quick <kquick@galois.com> | 2018-11-02 15:49:09 -0700 |
| commit | 411c665f336d6b8a44f27170abd2c0efc19d0c4d (patch) | |
| tree | 0eff14c32e9563c3a22a3a39bf0508beda68b52b /pkgs/applications | |
| parent | 1851203c7b16cb1d61e824bb83cccda28817f296 (diff) | |
| download | nixlib-411c665f336d6b8a44f27170abd2c0efc19d0c4d.tar nixlib-411c665f336d6b8a44f27170abd2c0efc19d0c4d.tar.gz nixlib-411c665f336d6b8a44f27170abd2c0efc19d0c4d.tar.bz2 nixlib-411c665f336d6b8a44f27170abd2c0efc19d0c4d.tar.lz nixlib-411c665f336d6b8a44f27170abd2c0efc19d0c4d.tar.xz nixlib-411c665f336d6b8a44f27170abd2c0efc19d0c4d.tar.zst nixlib-411c665f336d6b8a44f27170abd2c0efc19d0c4d.zip | |
yices: 2.6.0 -> 2.6.1
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/yices/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/yices/default.nix b/pkgs/applications/science/logic/yices/default.nix index 3121a83e5b98..0ab08db67465 100644 --- a/pkgs/applications/science/logic/yices/default.nix +++ b/pkgs/applications/science/logic/yices/default.nix @@ -2,12 +2,12 @@ stdenv.mkDerivation rec { name = "yices-${version}"; - version = "2.6.0"; + version = "2.6.1"; src = fetchurl { url = "https://github.com/SRI-CSL/yices2/archive/Yices-${version}.tar.gz"; name = "${name}-src.tar.gz"; - sha256 = "10ikq7ib8jhx7hlxfm6mp5qg6r8dflqs8242q5zaicn80qixpm12"; + sha256 = "14xvflv14qn8ssm8rklvckp6l1q94vn49qz2snz73j40nwzshaww"; }; nativeBuildInputs = [ autoreconfHook ]; |