frama-c 25.0 -> 26.1 https://repology.org/metapackage/frama-c/versions attrpath: frama-c Received ExitFailure 1 when running Raw command: /nix/store/3nqhcyc7vid1npgcd0m7arg5sn325nhz-nix-2.12.0/bin/nix eval .#frama-c --apply "p: builtins.hasAttr \"updateScript\" p" Standard error: error: flake 'git+file:///var/cache/nixpkgs-update/worker/worktree/frama-c' does not provide attribute 'packages.x86_64-linux.frama-c', 'legacyPackages.x86_64-linux.frama-c' or 'frama-c' Did you mean framac?