aboutsummaryrefslogtreecommitdiff
path: root/disml.opam
diff options
context:
space:
mode:
Diffstat (limited to 'disml.opam')
-rw-r--r--disml.opam14
1 files changed, 7 insertions, 7 deletions
diff --git a/disml.opam b/disml.opam
index e190bd2..f1cdc50 100644
--- a/disml.opam
+++ b/disml.opam
@@ -20,20 +20,20 @@ Key features include:
For examples, see `/bin` in the git repo.
"""
depends: [
- "ocaml" {>= "4.07.0"}
+ "ocaml" {>= "4.04.1"}
"dune" {build & >= "1.3.0"}
"async_ssl" {>= "v0.11.0"}
- "core" {>= "v0.11.3"}
"cohttp-async" {>= "1.2.0"}
+ "core" {>= "v0.11.3"}
+ "decompress" {>= "0.8"}
+ "odoc" {with-doc & >= "1.3.0"}
+ "ppx_deriving_yojson" {>= "3.3"}
"ppx_sexp_conv" {>= "v0.11.2"}
- "ppx_deriving_yojson" {>= "3.1"}
"websocket-async" {>= "2.12"}
- "decompress"
- "odoc" {with-doc & >= "1.3.0"}
- "yojson" {>= "1.6.0"}
+ "yojson" {< "1.6.0"}
]
build: [
["dune" "subst"] {pinned}
["dune" "build" "-p" name "-j" jobs]
- ["dune" "build" "@doc" "-j" jobs] {with-doc}
+ ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
] \ No newline at end of file