From 81c2acfffe13732b36078a598a69c3802199e2ef Mon Sep 17 00:00:00 2001 From: kxc-wraikny Date: Mon, 23 Jun 2025 15:53:04 +0900 Subject: [PATCH] update dune 3.19.1 --- ocaml-general/install_ocaml_4.14_packages.sh | 20 +++++++++--------- ocaml-general/install_ocaml_5.1_packages.sh | 22 ++++++++++---------- ocaml-general/install_ocaml_5.3_packages.sh | 22 ++++++++++---------- 3 files changed, 32 insertions(+), 32 deletions(-) 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