Bump package lists

diskuv · Nov 23, 2023 · aa75a1f · aa75a1f
1 parent 201b7e3
commit aa75a1f
Show file tree

Hide file tree

Showing 13 changed files with 130 additions and 130 deletions.
diff --git a/src/logic/model.ml b/src/logic/model.ml
@@ -74,16 +74,16 @@ let global_env_vars =
     ("PIN_DKML_RUNTIMELIB", "2.1.0");
     ("PIN_DKML_RUNTIMESCRIPTS", "2.1.0");
     ("PIN_DKML_WORKFLOWS", "2.1.0");
-    ("PIN_DUNE_ACTION_PLUGIN", "3.11.1");
+    ("PIN_DUNE_ACTION_PLUGIN", "3.8.3");
     ("PIN_DUNE_BUILD_INFO", "3.8.3");
     ("PIN_DUNE_CONFIGURATOR", "3.8.3");
-    ("PIN_DUNE_GLOB", "3.11.1");
-    ("PIN_DUNE_PRIVATE_LIBS", "3.11.1");
-    ("PIN_DUNE_RPC_LWT", "3.11.1");
-    ("PIN_DUNE_RPC", "3.11.1");
-    ("PIN_DUNE_SITE", "3.11.1");
+    ("PIN_DUNE_GLOB", "3.8.3");
+    ("PIN_DUNE_PRIVATE_LIBS", "3.8.3");
+    ("PIN_DUNE_RPC_LWT", "3.8.3");
+    ("PIN_DUNE_RPC", "3.8.3");
+    ("PIN_DUNE_SITE", "3.8.3");
     ("PIN_DUNE", "3.8.3");
-    ("PIN_DYN", "3.11.1");
+    ("PIN_DYN", "3.8.3");
     ("PIN_EITHER", "1.0.0");
     ("PIN_EQAF", "0.9");
     ("PIN_EXTLIB", "1.7.9");
@@ -122,7 +122,7 @@ let global_env_vars =
     ("PIN_OCAML_VERSION", "3.6.2");
     ("PIN_OCAML", "4.14.0");
     ("PIN_OCAMLBUILD", "0.14.2+win+unix");
-    ("PIN_OCAMLC_LOC", "3.11.1");
+    ("PIN_OCAMLC_LOC", "3.8.3");
     ("PIN_OCAMLFIND", "1.9.5");
     ("PIN_OCAMLFORMAT_LIB", "0.25.1");
     ("PIN_OCAMLFORMAT_RPC_LIB", "0.25.1");
@@ -131,7 +131,7 @@ let global_env_vars =
     ("PIN_OCPLIB_ENDIAN", "1.2");
     ("PIN_ODOC_PARSER", "2.0.0");
     ("PIN_ODOC", "2.2.0");
-    ("PIN_ORDERING", "3.11.1");
+    ("PIN_ORDERING", "3.8.3");
     ("PIN_PARSEXP", "v0.16.0");
     ("PIN_PP", "1.2.0");
     ("PIN_PPX_ASSERT", "v0.16.0");
@@ -168,7 +168,7 @@ let global_env_vars =
     ("PIN_STDCOMPAT", "19+optautoconf");
     ("PIN_STDIO", "v0.16.0");
     ("PIN_STDLIB_SHIMS", "0.3.0");
-    ("PIN_STDUNE", "3.11.1");
+    ("PIN_STDUNE", "3.8.3");
     ("PIN_TIME_NOW", "v0.16.0");
     ("PIN_TOPKG", "1.0.7");
     ("PIN_TRAVERSE", "0.3.0");

diff --git a/test/gh-darwin/post/action.yml b/test/gh-darwin/post/action.yml
@@ -111,16 +111,16 @@ runs:
         PIN_DKML_RUNTIMELIB: '2.1.0'
         PIN_DKML_RUNTIMESCRIPTS: '2.1.0'
         PIN_DKML_WORKFLOWS: '2.1.0'
-        PIN_DUNE_ACTION_PLUGIN: '3.11.1'
+        PIN_DUNE_ACTION_PLUGIN: '3.8.3'
         PIN_DUNE_BUILD_INFO: '3.8.3'
         PIN_DUNE_CONFIGURATOR: '3.8.3'
-        PIN_DUNE_GLOB: '3.11.1'
-        PIN_DUNE_PRIVATE_LIBS: '3.11.1'
-        PIN_DUNE_RPC_LWT: '3.11.1'
-        PIN_DUNE_RPC: '3.11.1'
-        PIN_DUNE_SITE: '3.11.1'
+        PIN_DUNE_GLOB: '3.8.3'
+        PIN_DUNE_PRIVATE_LIBS: '3.8.3'
+        PIN_DUNE_RPC_LWT: '3.8.3'
+        PIN_DUNE_RPC: '3.8.3'
+        PIN_DUNE_SITE: '3.8.3'
         PIN_DUNE: '3.8.3'
-        PIN_DYN: '3.11.1'
+        PIN_DYN: '3.8.3'
         PIN_EITHER: '1.0.0'
         PIN_EQAF: '0.9'
         PIN_EXTLIB: '1.7.9'
@@ -159,7 +159,7 @@ runs:
         PIN_OCAML_VERSION: '3.6.2'
         PIN_OCAML: '4.14.0'
         PIN_OCAMLBUILD: '0.14.2+win+unix'
-        PIN_OCAMLC_LOC: '3.11.1'
+        PIN_OCAMLC_LOC: '3.8.3'
         PIN_OCAMLFIND: '1.9.5'
         PIN_OCAMLFORMAT_LIB: '0.25.1'
         PIN_OCAMLFORMAT_RPC_LIB: '0.25.1'
@@ -168,7 +168,7 @@ runs:
         PIN_OCPLIB_ENDIAN: '1.2'
         PIN_ODOC_PARSER: '2.0.0'
         PIN_ODOC: '2.2.0'
-        PIN_ORDERING: '3.11.1'
+        PIN_ORDERING: '3.8.3'
         PIN_PARSEXP: 'v0.16.0'
         PIN_PP: '1.2.0'
         PIN_PPX_ASSERT: 'v0.16.0'
@@ -205,7 +205,7 @@ runs:
         PIN_STDCOMPAT: '19+optautoconf'
         PIN_STDIO: 'v0.16.0'
         PIN_STDLIB_SHIMS: '0.3.0'
-        PIN_STDUNE: '3.11.1'
+        PIN_STDUNE: '3.8.3'
         PIN_TIME_NOW: 'v0.16.0'
         PIN_TOPKG: '1.0.7'
         PIN_TRAVERSE: '0.3.0'

diff --git a/test/gh-darwin/pre/action.yml b/test/gh-darwin/pre/action.yml
@@ -1898,16 +1898,16 @@ runs:
         PIN_DKML_RUNTIMELIB: '2.1.0'
         PIN_DKML_RUNTIMESCRIPTS: '2.1.0'
         PIN_DKML_WORKFLOWS: '2.1.0'
-        PIN_DUNE_ACTION_PLUGIN: '3.11.1'
+        PIN_DUNE_ACTION_PLUGIN: '3.8.3'
         PIN_DUNE_BUILD_INFO: '3.8.3'
         PIN_DUNE_CONFIGURATOR: '3.8.3'
-        PIN_DUNE_GLOB: '3.11.1'
-        PIN_DUNE_PRIVATE_LIBS: '3.11.1'
-        PIN_DUNE_RPC_LWT: '3.11.1'
-        PIN_DUNE_RPC: '3.11.1'
-        PIN_DUNE_SITE: '3.11.1'
+        PIN_DUNE_GLOB: '3.8.3'
+        PIN_DUNE_PRIVATE_LIBS: '3.8.3'
+        PIN_DUNE_RPC_LWT: '3.8.3'
+        PIN_DUNE_RPC: '3.8.3'
+        PIN_DUNE_SITE: '3.8.3'
         PIN_DUNE: '3.8.3'
-        PIN_DYN: '3.11.1'
+        PIN_DYN: '3.8.3'
         PIN_EITHER: '1.0.0'
         PIN_EQAF: '0.9'
         PIN_EXTLIB: '1.7.9'
@@ -1946,7 +1946,7 @@ runs:
         PIN_OCAML_VERSION: '3.6.2'
         PIN_OCAML: '4.14.0'
         PIN_OCAMLBUILD: '0.14.2+win+unix'
-        PIN_OCAMLC_LOC: '3.11.1'
+        PIN_OCAMLC_LOC: '3.8.3'
         PIN_OCAMLFIND: '1.9.5'
         PIN_OCAMLFORMAT_LIB: '0.25.1'
         PIN_OCAMLFORMAT_RPC_LIB: '0.25.1'
@@ -1955,7 +1955,7 @@ runs:
         PIN_OCPLIB_ENDIAN: '1.2'
         PIN_ODOC_PARSER: '2.0.0'
         PIN_ODOC: '2.2.0'
-        PIN_ORDERING: '3.11.1'
+        PIN_ORDERING: '3.8.3'
         PIN_PARSEXP: 'v0.16.0'
         PIN_PP: '1.2.0'
         PIN_PPX_ASSERT: 'v0.16.0'
@@ -1992,7 +1992,7 @@ runs:
         PIN_STDCOMPAT: '19+optautoconf'
         PIN_STDIO: 'v0.16.0'
         PIN_STDLIB_SHIMS: '0.3.0'
-        PIN_STDUNE: '3.11.1'
+        PIN_STDUNE: '3.8.3'
         PIN_TIME_NOW: 'v0.16.0'
         PIN_TOPKG: '1.0.7'
         PIN_TRAVERSE: '0.3.0'

diff --git a/test/gh-linux/post/action.yml b/test/gh-linux/post/action.yml
@@ -127,16 +127,16 @@ runs:
         PIN_DKML_RUNTIMELIB: '2.1.0'
         PIN_DKML_RUNTIMESCRIPTS: '2.1.0'
         PIN_DKML_WORKFLOWS: '2.1.0'
-        PIN_DUNE_ACTION_PLUGIN: '3.11.1'
+        PIN_DUNE_ACTION_PLUGIN: '3.8.3'
         PIN_DUNE_BUILD_INFO: '3.8.3'
         PIN_DUNE_CONFIGURATOR: '3.8.3'
-        PIN_DUNE_GLOB: '3.11.1'
-        PIN_DUNE_PRIVATE_LIBS: '3.11.1'
-        PIN_DUNE_RPC_LWT: '3.11.1'
-        PIN_DUNE_RPC: '3.11.1'
-        PIN_DUNE_SITE: '3.11.1'
+        PIN_DUNE_GLOB: '3.8.3'
+        PIN_DUNE_PRIVATE_LIBS: '3.8.3'
+        PIN_DUNE_RPC_LWT: '3.8.3'
+        PIN_DUNE_RPC: '3.8.3'
+        PIN_DUNE_SITE: '3.8.3'
         PIN_DUNE: '3.8.3'
-        PIN_DYN: '3.11.1'
+        PIN_DYN: '3.8.3'
         PIN_EITHER: '1.0.0'
         PIN_EQAF: '0.9'
         PIN_EXTLIB: '1.7.9'
@@ -175,7 +175,7 @@ runs:
         PIN_OCAML_VERSION: '3.6.2'
         PIN_OCAML: '4.14.0'
         PIN_OCAMLBUILD: '0.14.2+win+unix'
-        PIN_OCAMLC_LOC: '3.11.1'
+        PIN_OCAMLC_LOC: '3.8.3'
         PIN_OCAMLFIND: '1.9.5'
         PIN_OCAMLFORMAT_LIB: '0.25.1'
         PIN_OCAMLFORMAT_RPC_LIB: '0.25.1'
@@ -184,7 +184,7 @@ runs:
         PIN_OCPLIB_ENDIAN: '1.2'
         PIN_ODOC_PARSER: '2.0.0'
         PIN_ODOC: '2.2.0'
-        PIN_ORDERING: '3.11.1'
+        PIN_ORDERING: '3.8.3'
         PIN_PARSEXP: 'v0.16.0'
         PIN_PP: '1.2.0'
         PIN_PPX_ASSERT: 'v0.16.0'
@@ -221,7 +221,7 @@ runs:
         PIN_STDCOMPAT: '19+optautoconf'
         PIN_STDIO: 'v0.16.0'
         PIN_STDLIB_SHIMS: '0.3.0'
-        PIN_STDUNE: '3.11.1'
+        PIN_STDUNE: '3.8.3'
         PIN_TIME_NOW: 'v0.16.0'
         PIN_TOPKG: '1.0.7'
         PIN_TRAVERSE: '0.3.0'

diff --git a/test/gh-linux/pre/action.yml b/test/gh-linux/pre/action.yml
@@ -1957,16 +1957,16 @@ runs:
         PIN_DKML_RUNTIMELIB: '2.1.0'
         PIN_DKML_RUNTIMESCRIPTS: '2.1.0'
         PIN_DKML_WORKFLOWS: '2.1.0'
-        PIN_DUNE_ACTION_PLUGIN: '3.11.1'
+        PIN_DUNE_ACTION_PLUGIN: '3.8.3'
         PIN_DUNE_BUILD_INFO: '3.8.3'
         PIN_DUNE_CONFIGURATOR: '3.8.3'
-        PIN_DUNE_GLOB: '3.11.1'
-        PIN_DUNE_PRIVATE_LIBS: '3.11.1'
-        PIN_DUNE_RPC_LWT: '3.11.1'
-        PIN_DUNE_RPC: '3.11.1'
-        PIN_DUNE_SITE: '3.11.1'
+        PIN_DUNE_GLOB: '3.8.3'
+        PIN_DUNE_PRIVATE_LIBS: '3.8.3'
+        PIN_DUNE_RPC_LWT: '3.8.3'
+        PIN_DUNE_RPC: '3.8.3'
+        PIN_DUNE_SITE: '3.8.3'
         PIN_DUNE: '3.8.3'
-        PIN_DYN: '3.11.1'
+        PIN_DYN: '3.8.3'
         PIN_EITHER: '1.0.0'
         PIN_EQAF: '0.9'
         PIN_EXTLIB: '1.7.9'
@@ -2005,7 +2005,7 @@ runs:
         PIN_OCAML_VERSION: '3.6.2'
         PIN_OCAML: '4.14.0'
         PIN_OCAMLBUILD: '0.14.2+win+unix'
-        PIN_OCAMLC_LOC: '3.11.1'
+        PIN_OCAMLC_LOC: '3.8.3'
         PIN_OCAMLFIND: '1.9.5'
         PIN_OCAMLFORMAT_LIB: '0.25.1'
         PIN_OCAMLFORMAT_RPC_LIB: '0.25.1'
@@ -2014,7 +2014,7 @@ runs:
         PIN_OCPLIB_ENDIAN: '1.2'
         PIN_ODOC_PARSER: '2.0.0'
         PIN_ODOC: '2.2.0'
-        PIN_ORDERING: '3.11.1'
+        PIN_ORDERING: '3.8.3'
         PIN_PARSEXP: 'v0.16.0'
         PIN_PP: '1.2.0'
         PIN_PPX_ASSERT: 'v0.16.0'
@@ -2051,7 +2051,7 @@ runs:
         PIN_STDCOMPAT: '19+optautoconf'
         PIN_STDIO: 'v0.16.0'
         PIN_STDLIB_SHIMS: '0.3.0'
-        PIN_STDUNE: '3.11.1'
+        PIN_STDUNE: '3.8.3'
         PIN_TIME_NOW: 'v0.16.0'
         PIN_TOPKG: '1.0.7'
         PIN_TRAVERSE: '0.3.0'

diff --git a/test/gh-windows/post/action.yml b/test/gh-windows/post/action.yml
@@ -140,16 +140,16 @@ runs:
         PIN_DKML_RUNTIMELIB: '2.1.0'
         PIN_DKML_RUNTIMESCRIPTS: '2.1.0'
         PIN_DKML_WORKFLOWS: '2.1.0'
-        PIN_DUNE_ACTION_PLUGIN: '3.11.1'
+        PIN_DUNE_ACTION_PLUGIN: '3.8.3'
         PIN_DUNE_BUILD_INFO: '3.8.3'
         PIN_DUNE_CONFIGURATOR: '3.8.3'
-        PIN_DUNE_GLOB: '3.11.1'
-        PIN_DUNE_PRIVATE_LIBS: '3.11.1'
-        PIN_DUNE_RPC_LWT: '3.11.1'
-        PIN_DUNE_RPC: '3.11.1'
-        PIN_DUNE_SITE: '3.11.1'
+        PIN_DUNE_GLOB: '3.8.3'
+        PIN_DUNE_PRIVATE_LIBS: '3.8.3'
+        PIN_DUNE_RPC_LWT: '3.8.3'
+        PIN_DUNE_RPC: '3.8.3'
+        PIN_DUNE_SITE: '3.8.3'
         PIN_DUNE: '3.8.3'
-        PIN_DYN: '3.11.1'
+        PIN_DYN: '3.8.3'
         PIN_EITHER: '1.0.0'
         PIN_EQAF: '0.9'
         PIN_EXTLIB: '1.7.9'
@@ -188,7 +188,7 @@ runs:
         PIN_OCAML_VERSION: '3.6.2'
         PIN_OCAML: '4.14.0'
         PIN_OCAMLBUILD: '0.14.2+win+unix'
-        PIN_OCAMLC_LOC: '3.11.1'
+        PIN_OCAMLC_LOC: '3.8.3'
         PIN_OCAMLFIND: '1.9.5'
         PIN_OCAMLFORMAT_LIB: '0.25.1'
         PIN_OCAMLFORMAT_RPC_LIB: '0.25.1'
@@ -197,7 +197,7 @@ runs:
         PIN_OCPLIB_ENDIAN: '1.2'
         PIN_ODOC_PARSER: '2.0.0'
         PIN_ODOC: '2.2.0'
-        PIN_ORDERING: '3.11.1'
+        PIN_ORDERING: '3.8.3'
         PIN_PARSEXP: 'v0.16.0'
         PIN_PP: '1.2.0'
         PIN_PPX_ASSERT: 'v0.16.0'
@@ -234,7 +234,7 @@ runs:
         PIN_STDCOMPAT: '19+optautoconf'
         PIN_STDIO: 'v0.16.0'
         PIN_STDLIB_SHIMS: '0.3.0'
-        PIN_STDUNE: '3.11.1'
+        PIN_STDUNE: '3.8.3'
         PIN_TIME_NOW: 'v0.16.0'
         PIN_TOPKG: '1.0.7'
         PIN_TRAVERSE: '0.3.0'

diff --git a/test/gh-windows/pre/action.yml b/test/gh-windows/pre/action.yml
@@ -2129,16 +2129,16 @@ runs:
         PIN_DKML_RUNTIMELIB: '2.1.0'
         PIN_DKML_RUNTIMESCRIPTS: '2.1.0'
         PIN_DKML_WORKFLOWS: '2.1.0'
-        PIN_DUNE_ACTION_PLUGIN: '3.11.1'
+        PIN_DUNE_ACTION_PLUGIN: '3.8.3'
         PIN_DUNE_BUILD_INFO: '3.8.3'
         PIN_DUNE_CONFIGURATOR: '3.8.3'
-        PIN_DUNE_GLOB: '3.11.1'
-        PIN_DUNE_PRIVATE_LIBS: '3.11.1'
-        PIN_DUNE_RPC_LWT: '3.11.1'
-        PIN_DUNE_RPC: '3.11.1'
-        PIN_DUNE_SITE: '3.11.1'
+        PIN_DUNE_GLOB: '3.8.3'
+        PIN_DUNE_PRIVATE_LIBS: '3.8.3'
+        PIN_DUNE_RPC_LWT: '3.8.3'
+        PIN_DUNE_RPC: '3.8.3'
+        PIN_DUNE_SITE: '3.8.3'
         PIN_DUNE: '3.8.3'
-        PIN_DYN: '3.11.1'
+        PIN_DYN: '3.8.3'
         PIN_EITHER: '1.0.0'
         PIN_EQAF: '0.9'
         PIN_EXTLIB: '1.7.9'
@@ -2177,7 +2177,7 @@ runs:
         PIN_OCAML_VERSION: '3.6.2'
         PIN_OCAML: '4.14.0'
         PIN_OCAMLBUILD: '0.14.2+win+unix'
-        PIN_OCAMLC_LOC: '3.11.1'
+        PIN_OCAMLC_LOC: '3.8.3'
         PIN_OCAMLFIND: '1.9.5'
         PIN_OCAMLFORMAT_LIB: '0.25.1'
         PIN_OCAMLFORMAT_RPC_LIB: '0.25.1'
@@ -2186,7 +2186,7 @@ runs:
         PIN_OCPLIB_ENDIAN: '1.2'
         PIN_ODOC_PARSER: '2.0.0'
         PIN_ODOC: '2.2.0'
-        PIN_ORDERING: '3.11.1'
+        PIN_ORDERING: '3.8.3'
         PIN_PARSEXP: 'v0.16.0'
         PIN_PP: '1.2.0'
         PIN_PPX_ASSERT: 'v0.16.0'
@@ -2223,7 +2223,7 @@ runs:
         PIN_STDCOMPAT: '19+optautoconf'
         PIN_STDIO: 'v0.16.0'
         PIN_STDLIB_SHIMS: '0.3.0'
-        PIN_STDUNE: '3.11.1'
+        PIN_STDUNE: '3.8.3'
         PIN_TIME_NOW: 'v0.16.0'
         PIN_TOPKG: '1.0.7'
         PIN_TRAVERSE: '0.3.0'