Adds integers to the opam file.

o1-labs · Jul 29, 2022 · db4a1be · db4a1be
1 parent 3c7d33c
commit db4a1be
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/integers_stubs_js.opam b/integers_stubs_js.opam
@@ -14,6 +14,7 @@ depends: [
   "js_of_ocaml" {>= "3.6.0"}
   "zarith_stubs_js"
   "dune"                {build & >= "1.6"}
+  "integers"            {with-test & >= "0.6.0"}
 ]
 synopsis: "Javascript stubs for the integers library in js_of_ocaml"
 description: "