diff --git a/ocaml-general/install_ocaml_4.14_packages.sh b/ocaml-general/install_ocaml_4.14_packages.sh index d84e4c7..ba443e6 100755 --- a/ocaml-general/install_ocaml_4.14_packages.sh +++ b/ocaml-general/install_ocaml_4.14_packages.sh @@ -1,7 +1,7 @@ #!/bin/bash -xe packages=( - dune.3.17.2 + dune.3.19.1 merlin odoc.2.4.4 ppxlib.0.35.0 @@ -25,15 +25,15 @@ packages=( ) pins=( - dune 3.17.2 - dune-action-plugin 3.17.2 - dune-build-info 3.17.2 - dune-configurator 3.17.2 - dune-glob 3.17.2 - dune-private-libs 3.17.2 - dune-rpc 3.17.2 - dune-rpc-lwt 3.17.2 - dune-site 3.17.2 + dune 3.19.1 + dune-action-plugin 3.19.1 + dune-build-info 3.19.1 + dune-configurator 3.19.1 + dune-glob 3.19.1 + dune-private-libs 3.19.1 + dune-rpc 3.19.1 + dune-rpc-lwt 3.19.1 + dune-site 3.19.1 ) echo "${pins[@]}" | xargs -n 2 opam pin -n add diff --git a/ocaml-general/install_ocaml_5.1_packages.sh b/ocaml-general/install_ocaml_5.1_packages.sh index 940d9d6..dc3a2a5 100755 --- a/ocaml-general/install_ocaml_5.1_packages.sh +++ b/ocaml-general/install_ocaml_5.1_packages.sh @@ -1,8 +1,8 @@ #!/bin/bash -xe packages=( - dune.3.17.2 - dune-build-info.3.17.2 + dune.3.19.1 + dune-build-info.3.19.1 merlin odoc.2.4.4 ppxlib.0.35.0 @@ -30,15 +30,15 @@ packages=( ) pins=( - dune 3.17.2 - dune-action-plugin 3.17.2 - dune-build-info 3.17.2 - dune-configurator 3.17.2 - dune-glob 3.17.2 - dune-private-libs 3.17.2 - dune-rpc 3.17.2 - dune-rpc-lwt 3.17.2 - dune-site 3.17.2 + dune 3.19.1 + dune-action-plugin 3.19.1 + dune-build-info 3.19.1 + dune-configurator 3.19.1 + dune-glob 3.19.1 + dune-private-libs 3.19.1 + dune-rpc 3.19.1 + dune-rpc-lwt 3.19.1 + dune-site 3.19.1 ) echo "${pins[@]}" | xargs -n 2 opam pin -n add diff --git a/ocaml-general/install_ocaml_5.3_packages.sh b/ocaml-general/install_ocaml_5.3_packages.sh index b31a5af..098db97 100755 --- a/ocaml-general/install_ocaml_5.3_packages.sh +++ b/ocaml-general/install_ocaml_5.3_packages.sh @@ -1,8 +1,8 @@ #!/bin/bash -xe packages=( - dune.3.17.2 - dune-build-info.3.17.2 + dune.3.19.1 + dune-build-info.3.19.1 merlin odoc.2.4.4 ppxlib.0.35.0 @@ -30,15 +30,15 @@ packages=( ) pins=( - dune 3.17.2 - dune-action-plugin 3.17.2 - dune-build-info 3.17.2 - dune-configurator 3.17.2 - dune-glob 3.17.2 - dune-private-libs 3.17.2 - dune-rpc 3.17.2 - dune-rpc-lwt 3.17.2 - dune-site 3.17.2 + dune 3.19.1 + dune-action-plugin 3.19.1 + dune-build-info 3.19.1 + dune-configurator 3.19.1 + dune-glob 3.19.1 + dune-private-libs 3.19.1 + dune-rpc 3.19.1 + dune-rpc-lwt 3.19.1 + dune-site 3.19.1 ) echo "${pins[@]}" | xargs -n 2 opam pin -n add