summaryrefslogtreecommitdiffstats
path: root/pkgs/development/libraries
diff options
context:
space:
mode:
authorVincent Laporte <Vincent.Laporte@gmail.com>2023-12-18 07:30:05 +0100
committerBjørn Forsman <bjorn.forsman@gmail.com>2023-12-18 18:18:00 +0100
commitb9704019c99bfa358712debe86d91d3fe58d442d (patch)
treef3f4ec4076bbd4b525c1e83d6b34463ff7613622 /pkgs/development/libraries
parent1791eeb7bd782b49b33998fa9152710f4117ffc2 (diff)
cgal_4: 4.14.2 → 4.14.3
Diffstat (limited to 'pkgs/development/libraries')
-rw-r--r--pkgs/development/libraries/CGAL/4.nix12
1 files 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 = [