haskellPackages.agda2hs 1.0 -> 1.1 https://repology.org/project/haskell:agda2hs/versions
attrpath: haskellPackages.agda2hs
Checking auto update branch...
No auto update branch exists
Derivation file says not to edit it