tamarin-prover-utils 0.8.1.0 → 0.8.2.0
raw patch · 1 files changed
+1/−1 lines, 1 files
Files
tamarin-prover-utils.cabal view
@@ -2,7 +2,7 @@ cabal-version: >= 1.8 build-type: Simple-version: 0.8.1.0+version: 0.8.2.0 license: GPL license-file: LICENSE category: Theorem Provers