haskellPackages.tamarin-prover-theory 0.8.6.0 -> 1.8.0 https://repology.org/project/haskell:tamarin-prover-theory/versions attrpath: haskellPackages.tamarin-prover-theory Checking auto update branch... No auto update branch exists Derivation file says not to edit it