Skip to content

Commit 9488ea2

Browse files
committed
Update opam lock
1 parent 5d6af20 commit 9488ea2

File tree

1 file changed

+30
-36
lines changed

1 file changed

+30
-36
lines changed

alt-ergo-lib.opam.locked

Lines changed: 30 additions & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -20,47 +20,47 @@ depends: [
2020
"base-bytes" {= "base"}
2121
"base-threads" {= "base"}
2222
"base-unix" {= "base"}
23-
"camlzip" {= "1.11"}
24-
"cmdliner" {= "1.2.0"}
25-
"conf-gmp" {= "4"}
26-
"conf-pkg-config" {= "3"}
27-
"conf-zlib" {= "1"}
28-
"cppo" {= "1.6.9"}
23+
"cmdliner" {= "1.3.0"}
24+
"conf-gmp" {= "5"}
25+
"conf-pkg-config" {= "4"}
26+
"cppo" {= "1.8.0"}
2927
"csexp" {= "1.5.2"}
3028
"dolmen" {= "0.10"}
3129
"dolmen_loop" {= "0.10"}
3230
"dolmen_type" {= "0.10"}
33-
"dune" {= "3.16.0"}
34-
"dune-build-info" {= "3.16.0"}
35-
"dune-configurator" {= "3.16.0"}
36-
"fmt" {= "0.9.0"}
31+
"dune" {= "3.19.0"}
32+
"dune-build-info" {= "3.19.0"}
33+
"dune-configurator" {= "3.19.0"}
34+
"fmt" {= "0.10.0"}
3735
"gen" {= "1.1"}
38-
"js_of_ocaml" {= "5.4.0"}
39-
"js_of_ocaml-compiler" {= "5.4.0"}
40-
"logs" {= "0.7.0"}
41-
"lwt" {= "5.7.0"}
42-
"menhir" {= "20230608"}
43-
"menhirLib" {= "20230608"}
44-
"menhirSdk" {= "20230608"}
45-
"ocaml-compiler-libs" {= "v0.12.4"}
46-
"ocamlbuild" {= "0.14.2"}
47-
"ocamlfind" {= "1.9.6"}
36+
"hmap" {= "0.8.1"}
37+
"js_of_ocaml" {= "6.0.1"}
38+
"js_of_ocaml-compiler" {= "6.0.1"}
39+
"logs" {= "0.6.3"}
40+
"lwt" {= "5.9.1"}
41+
"menhir" {= "20240715"}
42+
"menhirCST" {= "20240715"}
43+
"menhirLib" {= "20240715"}
44+
"menhirSdk" {= "20240715"}
45+
"ocaml-options-vanilla" {= "1"}
46+
"ocamlbuild" {= "0.16.1"}
47+
"ocamlfind" {= "1.9.8"}
4848
"ocplib-endian" {= "1.2"}
4949
"ocplib-simplex" {= "0.5.1"}
5050
"pp_loc" {= "2.1.0"}
51-
"ppx_blob" {= "0.7.2"}
51+
"ppx_blob" {= "0.9.0"}
5252
"ppx_derivers" {= "1.2.1"}
53-
"ppx_deriving" {= "5.2.1"}
54-
"ppxlib" {= "0.31.0"}
55-
"qcheck" {= "0.21.3"}
56-
"result" {= "1.5"}
53+
"ppx_deriving" {= "6.0.3"}
54+
"ppxlib" {= "0.35.0"}
55+
"sedlex" {= "3.4"}
5756
"seq" {= "base"}
58-
"sexplib0" {= "v0.16.0"}
57+
"sexplib0" {= "v0.17.0"}
5958
"spelll" {= "0.4"}
60-
"topkg" {= "1.0.7"}
61-
"uutf" {= "1.0.3"}
62-
"yojson" {= "2.1.1"}
63-
"zarith" {= "1.13"}
59+
"stdlib-shims" {= "0.3.0"}
60+
"topkg" {= "1.0.8"}
61+
"uutf" {= "1.0.4"}
62+
"yojson" {= "2.2.2"}
63+
"zarith" {= "1.14"}
6464
]
6565
build: [
6666
["dune" "subst"] {dev}
@@ -83,9 +83,3 @@ conflicts: [
8383
"ppxlib" {< "0.30.0"}
8484
"result" {< "1.5"}
8585
]
86-
pin-depends: [
87-
[
88-
"js_of_ocaml.5.4.0"
89-
"https://github.com/ocsigen/js_of_ocaml/releases/download/5.4.0/js_of_ocaml-5.4.0.tbz"
90-
]
91-
]

0 commit comments

Comments
 (0)