2023-01-02T03:26:08 coq_8_13 8.13.2 -> 8.16.1 https://github.com/coq/coq/releases
2023-01-02T03:26:10 attrpath: coq_8_13
2023-01-02T03:26:10 Checking auto update branch...
2023-01-02T03:26:10 No auto update branch exists
2023-01-02T03:26:11 Version in attr path coq_8_13 not compatible with 8.16.1
coq_8_13 8.13.2 -> 8.16.1 https://github.com/coq/coq/releases
attrpath: coq_8_13
Received ExitFailure 1 when running
Raw command: /nix/store/3nqhcyc7vid1npgcd0m7arg5sn325nhz-nix-2.12.0/bin/nix eval -f . "(let pkgs = import ./. {}; in builtins.hasAttr \"updateScript\" pkgs.coq_8_13)"
Standard error:

error: attribute '(let pkgs = import ' in selection path '(let pkgs = import ./. {}; in builtins.hasAttr "updateScript" pkgs.coq_8_13)' not found