tamarin-prover-utils 0.8.5.0 → 0.8.5.1
raw patch · 1 files changed
+1/−1 lines, 1 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
tamarin-prover-utils.cabal view
@@ -2,7 +2,7 @@ cabal-version: >= 1.8 build-type: Simple-version: 0.8.5.0+version: 0.8.5.1 license: GPL license-file: LICENSE category: Theorem Provers