diff options
| author | Matias Goldfeld <[email protected]> | 2021-02-07 20:21:47 -0500 |
|---|---|---|
| committer | Matias Goldfeld <[email protected]> | 2021-02-07 20:21:47 -0500 |
| commit | b2f081fff12093a7d3434859ebd621608dde6c7d (patch) | |
| tree | 5ea4f7d6ff82727d62b01fb2d234a4f8ab66aa2b /disml.opam | |
| parent | Removed generated version numbers (diff) | |
| download | disml-master.tar.xz disml-master.zip | |
Reverted earlier changes for goodHEADorigin/masterorigin/HEADmaster
Diffstat (limited to 'disml.opam')
| -rw-r--r-- | disml.opam | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -27,7 +27,7 @@ depends: [ "core" {>= "v0.11.3"} "decompress" {<= "0.8.1"} "odoc" {with-doc & >= "1.3.0"} - "ppx_yojson_conv" {>= "v0.14.0"} + "ppx_deriving_yojson" {>= "3.3"} "ppx_sexp_conv" {>= "v0.11.2"} "websocket-async" {>= "2.12"} "yojson" {>= "1.6.0"} @@ -37,4 +37,4 @@ build: [ ["dune" "subst"] {pinned} ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} -] +]
\ No newline at end of file |