diff --git a/nix/frama-ci.nix b/nix/frama-ci.nix index 1efd2fd44bc489c31765ea0d59f08802da0a2ca8..9e0191496f3d4ea1e82dde3a64c3aa0114d62aba 100644 --- a/nix/frama-ci.nix +++ b/nix/frama-ci.nix @@ -5,7 +5,7 @@ let src = builtins.fetchGit { "url" = "https://bobot:${password}@git.frama-c.com/frama-c/Frama-CI.git"; "name" = "Frama-CI"; - "rev" = "42a28dd4a3d4355ad4ae822d08c09f56b7984ae5"; + "rev" = "2d0d4fcb6a56daccd8d07458f74b02b4ad2be06f"; "ref" = "feature/upgrade-opam2nix"; }; in