rocq-elpi, coq-elpi: bound dune < 3.24 on the 16 released versions still using the (using coq) extension - #3819

  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0

100 7068k  100 7068k    0     0  25.5M      0 --:--:-- --:--:-- --:--:-- 25.5M
[WARNING] Running as root is not recommended
No configuration file found, using built-in defaults.
Checking for available remotes: git, mercurial.
  - you won't be able to use rsync and local repositories unless you install the rsync command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.

[ERROR] Sandboxing is not working on your platform debian:
        "~/opam-root-4.09.0-2.1.2-sandbox/opam-init/hooks/sandbox.sh build sh -c echo SUCCESS >$TMPDIR/opam-sandbox-check-out && cat $TMPDIR/opam-sandbox-check-out; rm -f $TMPDIR/opam-sandbox-check-out" exited with code 1 "bwrap: Creating new namespace failed: Operation not permitted"
Do you want to disable it?  Note that this will result in less secure package builds, so please ensure that you have some other isolation mechanisms in place (such as running within a container or virtual machine). [y/N] y

<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
default (at https://opam.ocaml.org): 
    [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)


<><> Creating initial switch '4.09.0' (invariant ["ocaml-system" {= "4.09.0"}]) 

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-system" {= "4.09.0"}]
[ERROR] Could not determine which packages to install for this switch:
  * Missing dependency:
    - ocaml-system = 4.09.0
    unmet availability conditions: 'sys-ocaml-version = "4.09.0"'


Switch initialisation failed: clean up? ('n' will leave the switch partially installed) [Y/n] y
[NOTE] Opam has been initialised, but the initial switch creation failed.
       Use 'opam switch create <compiler>' to get started.
Uploading artifacts for failed job
Uploading artifacts...
WARNING: log/: no matching files. Ensure that the artifact path is relative to the working directory (/builds/coq/opam-repositories) 
ERROR: No files to upload                          
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1