From b9704019c99bfa358712debe86d91d3fe58d442d Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Mon, 18 Dec 2023 07:30:05 +0100 Subject: [PATCH] =?UTF-8?q?cgal=5F4:=204.14.2=20=E2=86=92=204.14.3?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/libraries/CGAL/4.nix | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/pkgs/development/libraries/CGAL/4.nix b/pkgs/development/libraries/CGAL/4.nix index d30492c89061..d04a7bccded6 100644 --- a/pkgs/development/libraries/CGAL/4.nix +++ b/pkgs/development/libraries/CGAL/4.nix @@ -1,14 +1,12 @@ -{ lib, stdenv, fetchFromGitHub, fetchpatch, cmake, boost, gmp, mpfr }: +{ lib, stdenv, fetchurl, fetchpatch, cmake, boost, gmp, mpfr }: stdenv.mkDerivation rec { - version = "4.14.2"; + version = "4.14.3"; pname = "cgal"; - src = fetchFromGitHub { - owner = "CGAL"; - repo = "releases"; - rev = "CGAL-${version}"; - sha256 = "1p1xyws2s9h2c8hlkz1af4ix48qma160av24by6lcm8al1g44pca"; + src = fetchurl { + url = "https://github.com/CGAL/cgal/releases/download/releases%2FCGAL-${version}/CGAL-${version}.tar.xz"; + hash = "sha256-W6/nq+hDW+yhehCCBi02M2jsHj8NZYG7DaiwEPs4n+Q="; }; patches = [