diff --git a/machines/compute01/ds-fr/package/dgnum.nix b/machines/compute01/ds-fr/package/dgnum.nix index 22c74f2..f64712c 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") -[ "b7da18961474d4fc757adfa10558d5a3c4ec893c" ] +[ "917669e4fd55d961793af7a44738e96d72b66507" ]