haskellPackages.copilot-theorem 3.15 -> 3.16 https://repology.org/project/haskell:copilot-theorem/versions
attrpath: haskellPackages.copilot-theorem
Checking auto update branch...
No auto update branch exists
Derivation file says not to edit it