hol_light-unstable 2019-10-06 -> 20230128 https://repology.org/metapackage/hol_light-unstable/versions
attrpath: hol_light-unstable
Received ExitFailure 1 when running
Raw command: /nix/store/3nqhcyc7vid1npgcd0m7arg5sn325nhz-nix-2.12.0/bin/nix eval .#hol_light-unstable --apply "p: builtins.hasAttr \"updateScript\" p"
Standard error:

error: flake 'git+file:///var/cache/nixpkgs-update/worker/worktree/hol_light-unstable' does not provide attribute 'packages.x86_64-linux.hol_light-unstable', 'legacyPackages.x86_64-linux.hol_light-unstable' or 'hol_light-unstable'