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