update whilloc.opam

formalsec · Mar 18, 2024 · 427e871 · 427e871
1 parent 8d1186e
commit 427e871
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -33,7 +33,7 @@
    bos 
    cmdliner 
    ppx_deriving_yojson
-   (encoding (>= "dev")))
+   (encoding (= "dev")))
  (tags
   (topics "to describe" your project)))
 

diff --git a/whilloc.opam b/whilloc.opam
@@ -17,7 +17,7 @@ depends: [
   "bos"
   "cmdliner"
   "ppx_deriving_yojson"
-  "encoding" {>= "dev"}
+  "encoding" {= "dev"}
   "odoc" {with-doc}
 ]
 build: [