From 8a6d8c3dfd5ba30bcca595b43ea4338acdf6f9c7 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Mon, 1 May 2023 09:39:54 +0200
Subject: [PATCH 1/3] Test opam installation on 4.14 and 5.1 too

---
 .github/workflows/opam.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml
index 66c124846..a37c40978 100644
--- a/.github/workflows/opam.yml
+++ b/.github/workflows/opam.yml
@@ -15,6 +15,13 @@ jobs:
     env:
       QCHECK_MSG_INTERVAL:      '60'
 
+    strategy:
+      matrix:
+        ocaml-compiler:
+          - 4.14.x
+          - 5.0.0
+          - ocaml-variants.5.1.0+trunk
+
     runs-on: ubuntu-latest
 
     steps:
@@ -24,7 +31,7 @@ jobs:
       - name: Install OCaml compiler
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: 5.0.0
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
           opam-depext: false
 
       - name: Test installation of the OPAM packages

From d0dc801308090400655bc25a2e85113101299b47 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Mon, 1 May 2023 09:44:42 +0200
Subject: [PATCH 2/3] Document 4.14.x availability in README

---
 README.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index c11cfb51f..d4b90d2f8 100644
--- a/README.md
+++ b/README.md
@@ -47,15 +47,16 @@ helpful](https://tarides.com/blog/2022-12-22-ocaml-5-multicore-testing-tools).
 Installation instructions, and running the tests
 ================================================
 
-Both the libraries and the test suite require OCaml 5.0:
+The multicore test suite requires OCaml 5.0 (or newer):
 ```
 opam update
 opam switch create 5.0.0
 ```
 
 The two testing libraries are available as packages `qcheck-lin`
-and `qcheck-stm` from the opam repository and can be installed in
-the usual way:
+and `qcheck-stm` from the opam repository. The full versions require
+OCaml 5.x and reduced, non-`Domain` versions are available for OCaml
+4.14.x. They can be installed in the usual way:
 ```
 opam install qcheck-lin
 opam install qcheck-stm

From e426d6f311aac136586094a33834c38838fe9f0a Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Mon, 1 May 2023 09:47:47 +0200
Subject: [PATCH 3/3] Update Flexdll issue to fixed

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index d4b90d2f8..88830cf5d 100644
--- a/README.md
+++ b/README.md
@@ -363,8 +363,8 @@ Sequential `STM` tests targeting `Sys.rename` found [two corner cases
 where MingW behaves differently](https://github.com/ocaml/ocaml/issues/12073)
 
 
-`flexdll` contains a race condition in its handling of errors (new, flexdll)
-----------------------------------------------------------------------------
+`flexdll` contains a race condition in its handling of errors (new, fixed, flexdll)
+-----------------------------------------------------------------------------------
 
 Parallel `Lin` tests of the `Dynlink` module found [a race
 condition](https://github.com/ocaml/flexdll/pull/112) in accesses to