New version of statverif added

essdotteedot · Nov 24, 2017 · 63ee909 · 63ee909
1 parent a14cee2
commit 63ee909
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 0 deletions.
diff --git a/packages/statverif/statverif.1.97pl1.1/descr b/packages/statverif/statverif.1.97pl1.1/descr
@@ -0,0 +1 @@
+StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif.
diff --git a/packages/statverif/statverif.1.97pl1.1/opam b/packages/statverif/statverif.1.97pl1.1/opam
@@ -0,0 +1,15 @@
+opam-version: "1.2"
+name: "statverif"
+version: "1.97pl1.1"
+maintainer: "Eike Ritter <E.Ritter@cs.bham.ac.uk>"
+authors: ["Eike Ritter, Joshua Philipps, Bruno Blanchet, Vincent Cheval, and Marc Sylvestre "]
+homepage: "http://sec.cs.bham.ac.uk/research/StatVerif
+license: "GPL 2"
+build: [
+   [make]
+]
+install: [make "prefix=%{prefix}%" "install"]
+remove: [["ocamlfind" "remove" "statverif"] ["rm" "-f" "%{bin}%/statverif"] ["rm" "-f" "%{bin}%/statveriftotex"]]
+depends: [
+  "ocamlfind" {build}
+]
diff --git a/packages/statverif/statverif.1.97pl1.1/url b/packages/statverif/statverif.1.97pl1.1/url
@@ -0,0 +1,3 @@
+archive: "https://github.com/rittere/statverif/archive/1.97pl1.1.tar.gz"
+checksum: "b41f6d459a1f8756e3af7ca57df305c4"
+
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		archive: "https://github.com/rittere/statverif/archive/1.97pl1.1.tar.gz"
		checksum: "b41f6d459a1f8756e3af7ca57df305c4"