haskellPackages.copilot-theorem 3.16.1 -> 3.17 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