diff options
| author | Austin Seipp <aseipp@pobox.com> | 2019-01-08 15:18:45 -0600 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2019-01-08 19:15:24 -0600 |
| commit | c10650760d8e16a1346c401878abea6c6394196a (patch) | |
| tree | a7bfafba48dfdbb9079cea53df18f2bfa7cf5704 /pkgs/applications/science | |
| parent | 38aa0a3df47ea648f79ce0ce29d183e37733d1ae (diff) | |
| download | nixlib-c10650760d8e16a1346c401878abea6c6394196a.tar nixlib-c10650760d8e16a1346c401878abea6c6394196a.tar.gz nixlib-c10650760d8e16a1346c401878abea6c6394196a.tar.bz2 nixlib-c10650760d8e16a1346c401878abea6c6394196a.tar.lz nixlib-c10650760d8e16a1346c401878abea6c6394196a.tar.xz nixlib-c10650760d8e16a1346c401878abea6c6394196a.tar.zst nixlib-c10650760d8e16a1346c401878abea6c6394196a.zip | |
yices: s/fetchurl/fetchFromGitHub/
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/yices/default.nix | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/pkgs/applications/science/logic/yices/default.nix b/pkgs/applications/science/logic/yices/default.nix index 0ab08db67465..40a4c391e1d5 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 ]; }; } |