Commit 3e9a1fe5 authored by Michael Hanus 's avatar Michael Hanus
Browse files

verify removed from dependencies

parent e7ab0c4b
......@@ -8,8 +8,7 @@
"abstract-curry": ">= 1.0.0",
"cass-analysis" : ">= 0.0.4",
"cass" : ">= 0.0.1",
"currycheck" : ">= 1.0.0",
"verify" : ">= 0.0.1"
"currycheck" : ">= 1.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment