idris2 0.6.0 -> 0.7.0 https://github.com/idris-lang/Idris2/releases
attrpath: idris2
Checking auto update branch...
No auto update branch exists
There might already be an open PR for this update:
- idris2: 0.6.0 -> 0.7.0
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/276071"