diff --git a/nix/frama-ci.nix b/nix/frama-ci.nix index c7ee97ff4a0577291f3f3a6b179c3bc0a732921a..e99207aef5994e066c9c9fadfc18e6024bdee7ec 100644 --- a/nix/frama-ci.nix +++ b/nix/frama-ci.nix @@ -1,12 +1,12 @@ #To copy in other repository -{ pkgs, password}: +{ pkgs ? import <nixpkgs> {}, password}: let src = builtins.fetchGit { "url" = "https://bobot:${password}@git.frama-c.com/frama-c/Frama-CI.git"; "name" = "Frama-CI"; - "rev" = "f86e807d6f440ac4479b78f8419dfd817803419d"; - "ref" = "feature/wp/versions-bump"; + "rev" = "4c154fc4d99e26ea9987750103938c059398b5ea"; + "ref" = "feature/upgrade-opam2nix"; }; in {