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