diff --git a/machines/nixos/compute01/ds-fr/default.nix b/machines/nixos/compute01/ds-fr/default.nix index 2d8f4ad..944e617 100644 --- a/machines/nixos/compute01/ds-fr/default.nix +++ b/machines/nixos/compute01/ds-fr/default.nix @@ -13,10 +13,10 @@ let host = "demarches.dgnum.eu"; port = 3000; - dgn-id = "7fe658a476e685f3697e9d219c6cd6de8bfaea77"; + dgn-id = "8dfdc60d1aa66e7206461ed7a49199f624a66b4e"; patch = pkgs.fetchurl { url = "https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${dgn-id}.patch"; - hash = "sha256-n2lwIwNDyrjuu7yvSleP3KXDHDwE9wsAclqNghCrVe8="; + hash = "sha256-6JdbUf2fc79E5F1wtYFnP1JLGJffhGbjaxysRFr8xN4="; }; in {