BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

yices: 2.6.0 -> 2.6.1

Browse source
This commit is contained in:
Kevin Quick 2018-11-02 15:49:09 -07:00
parent 1851203c7b
commit 411c665f33
No known key found for this signature in database
GPG key ID: E6D7733599CC0A21
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/yices/default.nix
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 ];