From c10650760d8e16a1346c401878abea6c6394196a Mon Sep 17 00:00:00 2001 From: Austin Seipp Date: Tue, 8 Jan 2019 15:18:45 -0600 Subject: [PATCH] yices: s/fetchurl/fetchFromGitHub/ Signed-off-by: Austin Seipp --- pkgs/applications/science/logic/yices/default.nix | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) 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 ]; }; }