diff options
author | R. RyanTM <ryantm+bot@ryantm.com> | 2018-07-10 20:11:17 -0700 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2018-07-11 08:45:45 -0500 |
commit | 40e648b7ab782721441509ebf94bda69a96ff938 (patch) | |
tree | 980991bcfff02d76cd196481df8387973ed2afb2 /pkgs/applications/science/logic | |
parent | 1539167d215841a966b8395c1025d66812d63d31 (diff) | |
download | nixlib-40e648b7ab782721441509ebf94bda69a96ff938.tar nixlib-40e648b7ab782721441509ebf94bda69a96ff938.tar.gz nixlib-40e648b7ab782721441509ebf94bda69a96ff938.tar.bz2 nixlib-40e648b7ab782721441509ebf94bda69a96ff938.tar.lz nixlib-40e648b7ab782721441509ebf94bda69a96ff938.tar.xz nixlib-40e648b7ab782721441509ebf94bda69a96ff938.tar.zst nixlib-40e648b7ab782721441509ebf94bda69a96ff938.zip |
yices: 2.5.4 -> 2.6.0
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/yices/versions.
Diffstat (limited to 'pkgs/applications/science/logic')
-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 a607f1066395..17fbcca642d8 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.5.4"; + version = "2.6.0"; src = fetchurl { url = "https://github.com/SRI-CSL/yices2/archive/Yices-${version}.tar.gz"; name = "${name}-src.tar.gz"; - sha256 = "1k8wmlddi3zv5kgg6xbch3a0s0xqsmsfc7y6z8zrgcyhswl36h7p"; + sha256 = "10ikq7ib8jhx7hlxfm6mp5qg6r8dflqs8242q5zaicn80qixpm12"; }; nativeBuildInputs = [ autoreconfHook ]; |