2022-11-02T00:14:45 isabelle 2021-1 -> 2022 https://repology.org/metapackage/isabelle/versions
2022-11-02T00:14:47 attrpath: isabelle
2022-11-02T00:14:47 Checking auto update branch...
2022-11-02T00:14:47 No auto update branch exists
2022-11-02T00:14:48 There might already be an open PR for this update:
- isabelle: 2021-1 -> 2022
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/191966"