diff --git a/pkgs/applications/science/logic/yices/default.nix b/pkgs/applications/science/logic/yices/default.nix index 0ab08db6746..40a4c391e1d 100644 --- a/pkgs/applications/science/logic/yices/default.nix +++ b/pkgs/applications/science/logic/yices/default.nix @@ -1,13 +1,14 @@ -{ stdenv, fetchurl, gmp-static, gperf, autoreconfHook, libpoly }: +{ stdenv, fetchFromGitHub, gmp-static, gperf, autoreconfHook, libpoly }: stdenv.mkDerivation rec { name = "yices-${version}"; version = "2.6.1"; - src = fetchurl { - url = "https://github.com/SRI-CSL/yices2/archive/Yices-${version}.tar.gz"; - name = "${name}-src.tar.gz"; - sha256 = "14xvflv14qn8ssm8rklvckp6l1q94vn49qz2snz73j40nwzshaww"; + src = fetchFromGitHub { + owner = "SRI-CSL"; + repo = "yices2"; + rev = "Yices-${version}"; + sha256 = "04vf468spsh00jh7gj94cjnq8kjyfwy9l6r4z7l2pm0zgwkqgyhm"; }; nativeBuildInputs = [ autoreconfHook ]; @@ -38,6 +39,6 @@ stdenv.mkDerivation rec { homepage = "http://yices.csl.sri.com"; license = licenses.gpl3; platforms = with platforms; linux ++ darwin; - maintainers = [ maintainers.thoughtpolice ]; + maintainers = with maintainers; [ thoughtpolice ]; }; }