diff --git a/packages/satysfi/satysfi.0.0.10/opam b/packages/satysfi/satysfi.0.0.10/opam
index eda17a32..21afc760 100644
--- a/packages/satysfi/satysfi.0.0.10/opam
+++ b/packages/satysfi/satysfi.0.0.10/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.12.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.12.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfed" {= "0.3.1"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.3+dev2018.10.29/opam b/packages/satysfi/satysfi.0.0.3+dev2018.10.29/opam
index 55d5d2e7..c6502c93 100644
--- a/packages/satysfi/satysfi.0.0.3+dev2018.10.29/opam
+++ b/packages/satysfi/satysfi.0.0.3+dev2018.10.29/opam
@@ -58,9 +58,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.06.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.06.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.2.1+satysfi"}
   "core_kernel" {>= "v0.10.0" & < "v0.13.0"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -68,8 +68,8 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.2+satysfi"}
-  "ppx_deriving"
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson"
 ]
 synopsis: "SATySFi: New typesetting system with static type system"
diff --git a/packages/satysfi/satysfi.0.0.3+dev2019.02.10/opam b/packages/satysfi/satysfi.0.0.3+dev2019.02.10/opam
index 4564b62e..f96a9ea0 100644
--- a/packages/satysfi/satysfi.0.0.3+dev2019.02.10/opam
+++ b/packages/satysfi/satysfi.0.0.3+dev2019.02.10/opam
@@ -20,9 +20,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.06.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.06.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.2.2+satysfi"}
   "core_kernel" {>= "v0.10.0" & < "v0.13.0"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -30,9 +30,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.3+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson" {= "1.4.1+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.3+dev2019.02.13/opam b/packages/satysfi/satysfi.0.0.3+dev2019.02.13/opam
index 0921a4a3..d9a1be34 100644
--- a/packages/satysfi/satysfi.0.0.3+dev2019.02.13/opam
+++ b/packages/satysfi/satysfi.0.0.3+dev2019.02.13/opam
@@ -20,9 +20,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.06.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.06.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.2.2+satysfi"}
   "core_kernel" {>= "v0.10.0" & < "v0.13.0"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -30,9 +30,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.3+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson" {= "1.4.1+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.3+dev2019.03.10/opam b/packages/satysfi/satysfi.0.0.3+dev2019.03.10/opam
index 54b84b3b..5e98c2f5 100644
--- a/packages/satysfi/satysfi.0.0.3+dev2019.03.10/opam
+++ b/packages/satysfi/satysfi.0.0.3+dev2019.03.10/opam
@@ -20,9 +20,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.06.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.06.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.2.2+satysfi"}
   "core_kernel" {>= "v0.10.0" & < "v0.13.0"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -30,9 +30,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.5+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson" {= "1.4.1+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.3+dev2019.07.14/opam b/packages/satysfi/satysfi.0.0.3+dev2019.07.14/opam
index 44c1f19d..7905c91c 100644
--- a/packages/satysfi/satysfi.0.0.3+dev2019.07.14/opam
+++ b/packages/satysfi/satysfi.0.0.3+dev2019.07.14/opam
@@ -20,9 +20,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.06.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.06.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.2.2+satysfi"}
   "core_kernel" {>= "v0.10.0" & < "v0.13.0"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -30,9 +30,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.6+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson" {= "1.4.1+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.3+dev2019.11.16/opam b/packages/satysfi/satysfi.0.0.3+dev2019.11.16/opam
index 7cf00c85..e8a66b73 100644
--- a/packages/satysfi/satysfi.0.0.3+dev2019.11.16/opam
+++ b/packages/satysfi/satysfi.0.0.3+dev2019.11.16/opam
@@ -20,9 +20,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.06.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.06.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.2.2+satysfi"}
   "core_kernel" {>= "v0.10.0" & < "v0.13.0"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -30,9 +30,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson" {= "1.4.1+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.3/opam b/packages/satysfi/satysfi.0.0.3/opam
index 7103218a..0beaaf1b 100644
--- a/packages/satysfi/satysfi.0.0.3/opam
+++ b/packages/satysfi/satysfi.0.0.3/opam
@@ -58,9 +58,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.06.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.06.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.2.1+satysfi"}
   "core_kernel" {>= "v0.10.0" & < "v0.13.0"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -68,8 +68,8 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.2+satysfi"}
-  "ppx_deriving"
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson"
 ]
 synopsis: "SATySFi: New typesetting system with static type system"
diff --git a/packages/satysfi/satysfi.0.0.4+dev2020.02.09/opam b/packages/satysfi/satysfi.0.0.4+dev2020.02.09/opam
index ab79902f..386bd30f 100644
--- a/packages/satysfi/satysfi.0.0.4+dev2020.02.09/opam
+++ b/packages/satysfi/satysfi.0.0.4+dev2020.02.09/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.06.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.06.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.2.2+satysfi"}
   "core_kernel" {>= "v0.10.0"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson" {= "1.4.1+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.4+dev2020.02.16/opam b/packages/satysfi/satysfi.0.0.4+dev2020.02.16/opam
index c645154e..47ebc367 100644
--- a/packages/satysfi/satysfi.0.0.4+dev2020.02.16/opam
+++ b/packages/satysfi/satysfi.0.0.4+dev2020.02.16/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.06.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.06.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.2.2+satysfi"}
   "core_kernel" {>= "v0.10.0"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson" {= "1.4.1+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.4+dev2020.02.22/opam b/packages/satysfi/satysfi.0.0.4+dev2020.02.22/opam
index d77317fb..acd2e526 100644
--- a/packages/satysfi/satysfi.0.0.4+dev2020.02.22/opam
+++ b/packages/satysfi/satysfi.0.0.4+dev2020.02.22/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.06.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.06.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.2.2+satysfi"}
   "core_kernel" {>= "v0.10.0"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson" {= "1.4.1+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.4+dev2020.04.05/opam b/packages/satysfi/satysfi.0.0.4+dev2020.04.05/opam
index 30d18440..267e29d4 100644
--- a/packages/satysfi/satysfi.0.0.4+dev2020.04.05/opam
+++ b/packages/satysfi/satysfi.0.0.4+dev2020.04.05/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.08.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.08.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson" {= "1.4.1+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.4+dev2020.04.25/opam b/packages/satysfi/satysfi.0.0.4+dev2020.04.25/opam
index a405a4f7..9c6a1990 100644
--- a/packages/satysfi/satysfi.0.0.4+dev2020.04.25/opam
+++ b/packages/satysfi/satysfi.0.0.4+dev2020.04.25/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.08.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.08.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson" {= "1.4.1+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.4+dev2020.06.07/opam b/packages/satysfi/satysfi.0.0.4+dev2020.06.07/opam
index 10a274bc..97b80ad0 100644
--- a/packages/satysfi/satysfi.0.0.4+dev2020.06.07/opam
+++ b/packages/satysfi/satysfi.0.0.4+dev2020.06.07/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.08.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.08.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.4/opam b/packages/satysfi/satysfi.0.0.4/opam
index c4524764..c7457489 100644
--- a/packages/satysfi/satysfi.0.0.4/opam
+++ b/packages/satysfi/satysfi.0.0.4/opam
@@ -20,9 +20,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.06.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.06.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.2.2+satysfi"}
   "core_kernel" {>= "v0.10.0" & < "v0.13.0"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -30,9 +30,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson" {= "1.4.1+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.5+dev2020.09.05/opam b/packages/satysfi/satysfi.0.0.5+dev2020.09.05/opam
index 3375de8d..96a7c506 100644
--- a/packages/satysfi/satysfi.0.0.5+dev2020.09.05/opam
+++ b/packages/satysfi/satysfi.0.0.5+dev2020.09.05/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.08.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.08.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.5-59-g32f2525/opam b/packages/satysfi/satysfi.0.0.5-59-g32f2525/opam
index 57b6d400..26f1acdf 100644
--- a/packages/satysfi/satysfi.0.0.5-59-g32f2525/opam
+++ b/packages/satysfi/satysfi.0.0.5-59-g32f2525/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.08.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.08.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.5-83-g360d941/opam b/packages/satysfi/satysfi.0.0.5-83-g360d941/opam
index f7ac2b4d..c8eefb3f 100644
--- a/packages/satysfi/satysfi.0.0.5-83-g360d941/opam
+++ b/packages/satysfi/satysfi.0.0.5-83-g360d941/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.08.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.08.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.5/opam b/packages/satysfi/satysfi.0.0.5/opam
index f9a7eed5..42f5ba1f 100644
--- a/packages/satysfi/satysfi.0.0.5/opam
+++ b/packages/satysfi/satysfi.0.0.5/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.08.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.08.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.6-25-g4083234/opam b/packages/satysfi/satysfi.0.0.6-25-g4083234/opam
index b3917845..60bab93d 100644
--- a/packages/satysfi/satysfi.0.0.6-25-g4083234/opam
+++ b/packages/satysfi/satysfi.0.0.6-25-g4083234/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.10.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.10.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.6-32-g9dbd61d/opam b/packages/satysfi/satysfi.0.0.6-32-g9dbd61d/opam
index aa110e5c..5550c16a 100644
--- a/packages/satysfi/satysfi.0.0.6-32-g9dbd61d/opam
+++ b/packages/satysfi/satysfi.0.0.6-32-g9dbd61d/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.10.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.10.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.6-43-ga86452bc/opam b/packages/satysfi/satysfi.0.0.6-43-ga86452bc/opam
index 4c69f801..28d63cf2 100644
--- a/packages/satysfi/satysfi.0.0.6-43-ga86452bc/opam
+++ b/packages/satysfi/satysfi.0.0.6-43-ga86452bc/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.10.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.10.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.6-53-g2867e4d9/opam b/packages/satysfi/satysfi.0.0.6-53-g2867e4d9/opam
index 95f6aa2f..ab3dd5fe 100644
--- a/packages/satysfi/satysfi.0.0.6-53-g2867e4d9/opam
+++ b/packages/satysfi/satysfi.0.0.6-53-g2867e4d9/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.10.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.10.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.6/opam b/packages/satysfi/satysfi.0.0.6/opam
index 37b51372..8bfcc0ca 100644
--- a/packages/satysfi/satysfi.0.0.6/opam
+++ b/packages/satysfi/satysfi.0.0.6/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.08.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.08.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.7-20-g748112c2/opam b/packages/satysfi/satysfi.0.0.7-20-g748112c2/opam
index c0fcbacb..fc3fea6e 100644
--- a/packages/satysfi/satysfi.0.0.7-20-g748112c2/opam
+++ b/packages/satysfi/satysfi.0.0.7-20-g748112c2/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.10.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.10.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.7-26-g9f4b68ec/opam b/packages/satysfi/satysfi.0.0.7-26-g9f4b68ec/opam
index 87adf25f..707c7fab 100644
--- a/packages/satysfi/satysfi.0.0.7-26-g9f4b68ec/opam
+++ b/packages/satysfi/satysfi.0.0.7-26-g9f4b68ec/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.10.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.10.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.7/opam b/packages/satysfi/satysfi.0.0.7/opam
index b8eff576..87077767 100644
--- a/packages/satysfi/satysfi.0.0.7/opam
+++ b/packages/satysfi/satysfi.0.0.7/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.10.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.10.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.8/opam b/packages/satysfi/satysfi.0.0.8/opam
index 7ae08ca8..2ac94411 100644
--- a/packages/satysfi/satysfi.0.0.8/opam
+++ b/packages/satysfi/satysfi.0.0.8/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.10.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.10.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfm" {= "0.3.7+satysfi"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]
diff --git a/packages/satysfi/satysfi.0.0.9-6-ge0304803/opam b/packages/satysfi/satysfi.0.0.9-6-ge0304803/opam
index 810715b7..642b19ad 100644
--- a/packages/satysfi/satysfi.0.0.9-6-ge0304803/opam
+++ b/packages/satysfi/satysfi.0.0.9-6-ge0304803/opam
@@ -18,9 +18,9 @@ remove: [
 ]
 # Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
 depends: [
-  "ocaml" {>= "4.12.0"}
-  "batteries"
-  "camlimages" {>= "5.0.1"}
+  "ocaml" {>= "4.12.0" & < "5.0.0"}
+  "batteries" {< "4.0.0"}
+  "camlimages" {>= "5.0.1" & < "5.0.5"}
   "camlpdf" {= "2.3.1+satysfi"}
   "core_kernel" {>= "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
@@ -28,9 +28,9 @@ depends: [
   "menhir"
   "ocamlfind" {build}
   "otfed" {= "0.3.1"}
-  "ppx_deriving"
-  "re" {build}
-  "uutf"
+  "ppx_deriving" {< "6.0.0"}
+  "re" {build & < "2.0.0"}
+  "uutf" {< "2.0.0"}
   "yojson-with-position" {= "1.4.2+satysfi"}
   "omd" {< "2.0.0~"}
 ]