Pin to dune.2.9.3+shim.1.0.1

diskuv · Sep 2, 2022 · eb9f3fb · eb9f3fb
1 parent 21df2a7
commit eb9f3fb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/contributors/sync-workspace.ps1 b/contributors/sync-workspace.ps1
@@ -45,7 +45,7 @@ with-dkml opam pin -k version curly 0.2.1-windows-env_r2 --no-action --yes
 with-dkml opam pin -k version dune-action-plugin    2.9.3 --no-action --yes
 with-dkml opam pin -k version dune-glob             2.9.3 --no-action --yes
 with-dkml opam pin -k version dune-private-libs     2.9.3 --no-action --yes
-#   dune.2.9.3+shim is installed by DKML. Conflicts with other dune-* packages
+#   dune.2.9.3+shim.1.0.1 is installed by DKML. Conflicts with other dune-* packages
 with-dkml opam pin -k version dune                  2.9.3 --no-action --yes
 Write-Output "not in 2.9.3 - with-dkml opam pin -k version dune-rpc-lwt          2.9.3 --no-action --yes"
 Write-Output "not in 2.9.3 - with-dkml opam pin -k version dune-rpc              2.9.3 --no-action --yes"

diff --git a/contributors/sync-workspace.sh b/contributors/sync-workspace.sh
@@ -81,7 +81,7 @@ opam pin -k version curly 0.2.1-windows-env_r2 --no-action --yes
 opam pin -k version dune-action-plugin    2.9.3 --no-action --yes
 opam pin -k version dune-glob             2.9.3 --no-action --yes
 opam pin -k version dune-private-libs     2.9.3 --no-action --yes
-opam pin -k version dune                  2.9.3+shim --no-action --yes
+opam pin -k version dune                  2.9.3+shim.1.0.1 --no-action --yes
 echo "not in 2.9.3 - opam pin -k version dune-rpc-lwt          2.9.3 --no-action --yes"
 echo "not in 2.9.3 - opam pin -k version dune-rpc              2.9.3 --no-action --yes"
 echo "dune-site is being removed - opam pin -k version dune-site             2.9.3 --no-action --yes"