Merge pull request #49660 from kquick/yices-2.6.1

yices: 2.6.0 -> 2.6.1
This commit is contained in:
markuskowa 2018-11-03 13:28:54 +01:00 committed by GitHub
commit 759c26b05b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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