haskellPackages.Agda 2.6.4 -> 2.6.4.1 https://repology.org/project/agda/versions
attrpath: haskellPackages.Agda
Checking auto update branch...
No auto update branch exists
Derivation file says not to edit it