Verified Commit 5d9e2f83 authored by Tej Chajed's avatar Tej Chajed

Fix version strings

parent 43d4a954
......@@ -15,7 +15,7 @@ build: [make "-j%{jobs}%"]
install: [make "install"]
depends: [
"ocaml" {>= "4.05.0"}
"coq" {>= "v8.11"}
"coq" {>= "8.11"}
"coq-iris" {= "dev"}
]
......
......@@ -27,7 +27,7 @@ license:
supported_coq_versions:
text: v8.11 or later
opam: '{>= "v8.11"}'
opam: '{>= "8.11"}'
supported_ocaml_versions:
text: 4.05.0 or later
......
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