From 194919bc5aab35da023e13df033e6c056d1ea1de Mon Sep 17 00:00:00 2001 From: Tom Hubrecht Date: Sun, 7 Jan 2024 20:16:57 +0100 Subject: [PATCH] feat(ds-fr): Update dgnum patch --- machines/compute01/ds-fr/package/dgnum.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/machines/compute01/ds-fr/package/dgnum.nix b/machines/compute01/ds-fr/package/dgnum.nix index f64712c..1864d47 100644 --- a/machines/compute01/ds-fr/package/dgnum.nix +++ b/machines/compute01/ds-fr/package/dgnum.nix @@ -3,4 +3,4 @@ _: builtins.map (id: builtins.fetchurl "https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch") -[ "917669e4fd55d961793af7a44738e96d72b66507" ] +[ "487eb8f8abfa5d8a6394c5886167343c7ee52be1" ]