2022-11-05T14:37:43 isabelle 2021-1 -> 2022 https://repology.org/metapackage/isabelle/versions
2022-11-05T14:37:46 attrpath: isabelle
2022-11-05T14:37:46 Checking auto update branch...
2022-11-05T14:37:46 No auto update branch exists
2022-11-05T14:37:46 There might already be an open PR for this update:
- isabelle: 2021-1 -> 2022
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/191966"