adjust opam files

DistributedComponents · Sep 19, 2018 · b1247a6 · b1247a6
1 parent 0e5c34e
commit b1247a6
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 2 deletions.
diff --git a/chord-serialized.opam b/chord-serialized.opam
@@ -22,6 +22,7 @@ depends: [
   "cheerios" {= "dev"}
   "cheerios-runtime" {= "dev"}
   "ocamlbuild" {build}
+  "yojson" {>= "1.4.1"}
 ]
 
 authors: [

diff --git a/chord.opam b/chord.opam
@@ -21,6 +21,7 @@ depends: [
   "verdi-runtime" {= "dev"}
   "cheerios" {= "dev"}
   "ocamlbuild" {build}
+  "yojson" {>= "1.4.1"}
 ]
 
 authors: [

diff --git a/verdi-chord-checkproofs.opam b/verdi-chord-checkproofs.opam
@@ -13,7 +13,7 @@ build: [
   [ make "checkproofs" "J=%{jobs}%" ]
 ]
 depends: [
-  "coq" {>= "8.7" & < "8.8~"}
+  "coq" {>= "8.7" & < "8.9~"}
   "coq-mathcomp-ssreflect" {>= "1.6" & < "1.8~"}
   "verdi" {= "dev"}
   "StructTact" {= "dev"}

diff --git a/verdi-chord.opam b/verdi-chord.opam
@@ -12,7 +12,7 @@ build: [
   [ make "-j%{jobs}%" ]
 ]
 depends: [
-  "coq" {>= "8.7" & < "8.8~"}
+  "coq" {>= "8.7" & < "8.9~"}
   "coq-mathcomp-ssreflect" {>= "1.6" & < "1.8~"}
   "verdi" {= "dev"}
   "StructTact" {= "dev"}