(for PR #21050)

2022-04-07 16:32.18: New job: test z3_tptp.4.8.14 with conf-python-3.9.0.0, using opam 2.1
                              from https://github.com/ocaml/opam-repository.git#refs/pull/21050/head (408cb884f1855ff33d5c4b904ad54843ed97f9c6)
                              on debian-11-ocaml-4.14/amd64

To reproduce locally:

git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/21050/head" && git reset --hard 408cb884
git fetch origin master
git merge c66b6a131c3f85d4bb738e6005eb60bb24383030
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-11-ocaml-4.14@sha256:939c3a7774ef033240450a41691a21c40fbf2dd5efef200d8e31839e7ce55d2f
USER 1000:1000
WORKDIR /home/opam
RUN for pkg in $(opam pin list --short); do opam pin remove "$pkg"; done
RUN opam repository remove -a multicore || true
RUN sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam
RUN opam init --reinit -ni
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMSOLVERTIMEOUT="500"
ENV OPAMPRECISETRACKING="1"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam pin add -k version -yn conf-python-3.9.0.0 9.0.0
RUN opam update --depexts
RUN opam remove conf-python-3.9.0.0 && opam install --deps-only conf-python-3.9.0.0 && opam install -v conf-python-3.9.0.0; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-11\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    done; \
    exit 1
RUN opam update --depexts
RUN opam remove z3_tptp.4.8.14 && opam install --deps-only z3_tptp.4.8.14 && opam install -v z3_tptp.4.8.14; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-11\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    done; \
    exit 1
RUN opam update --depexts
RUN opam remove z3_tptp.4.8.14 && opam install --deps-only --with-test z3_tptp.4.8.14 && opam install -v --with-test z3_tptp.4.8.14; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-11\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    done; \
    exit 1

END-OF-DOCKERFILE
docker build -f ../Dockerfile .

2022-04-07 16:32.18: Using cache hint "ocaml/opam:debian-11-ocaml-4.14@sha256:939c3a7774ef033240450a41691a21c40fbf2dd5efef200d8e31839e7ce55d2f-conf-python-3.9.0.0-z3_tptp.4.8.14-408cb884f1855ff33d5c4b904ad54843ed97f9c6"
2022-04-07 16:32.18: Using OBuilder spec:
((from ocaml/opam:debian-11-ocaml-4.14@sha256:939c3a7774ef033240450a41691a21c40fbf2dd5efef200d8e31839e7ce55d2f)
 (user (uid 1000) (gid 1000))
 (workdir /home/opam)
 (run (shell "for pkg in $(opam pin list --short); do opam pin remove \"$pkg\"; done"))
 (run (shell "opam repository remove -a multicore || true"))
 (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
 (run (shell "opam init --reinit --config .opamrc-sandbox -ni"))
 (env OPAMDOWNLOADJOBS 1)
 (env OPAMERRLOGLEN 0)
 (env OPAMSOLVERTIMEOUT 500)
 (env OPAMPRECISETRACKING 1)
 (run (shell "rm -rf opam-repository/"))
 (copy (src .) (dst opam-repository/))
 (run (shell "opam repository set-url --strict default opam-repository/"))
 (run (shell "opam pin add -k version -yn conf-python-3.9.0.0 9.0.0"))
 (run (network host)
      (shell "opam update --depexts"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam remove conf-python-3.9.0.0 && opam install --deps-only conf-python-3.9.0.0 && opam install -v conf-python-3.9.0.0;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-11\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n        done;\
             \n        exit 1"))
 (run (network host)
      (shell "opam update --depexts"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam remove z3_tptp.4.8.14 && opam install --deps-only z3_tptp.4.8.14 && opam install -v z3_tptp.4.8.14;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-11\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n        done;\
             \n        exit 1"))
 (run (network host)
      (shell "opam update --depexts"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam remove z3_tptp.4.8.14 && opam install --deps-only --with-test z3_tptp.4.8.14 && opam install -v --with-test z3_tptp.4.8.14;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-11\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n        done;\
             \n        exit 1"))
)

2022-04-07 16:32.18: Waiting for resource in pool OCluster
2022-04-07 16:39.17: Waiting for worker...
2022-04-07 16:42.02: Got resource from pool OCluster
Building on x86-bm-14.ocamllabs.io
All commits already cached
Updating files:   4% (1167/25408)
Updating files:   5% (1271/25408)
Updating files:   6% (1525/25408)
Updating files:   7% (1779/25408)
Updating files:   8% (2033/25408)
Updating files:   8% (2249/25408)
Updating files:   9% (2287/25408)
Updating files:  10% (2541/25408)
Updating files:  11% (2795/25408)
Updating files:  12% (3049/25408)
Updating files:  13% (3304/25408)
Updating files:  13% (3356/25408)
Updating files:  14% (3558/25408)
Updating files:  15% (3812/25408)
Updating files:  16% (4066/25408)
Updating files:  17% (4320/25408)
Updating files:  18% (4574/25408)
Updating files:  18% (4776/25408)
Updating files:  19% (4828/25408)
Updating files:  20% (5082/25408)
Updating files:  21% (5336/25408)
Updating files:  22% (5590/25408)
Updating files:  23% (5844/25408)
Updating files:  24% (6098/25408)
Updating files:  24% (6299/25408)
Updating files:  25% (6352/25408)
Updating files:  26% (6607/25408)
Updating files:  27% (6861/25408)
Updating files:  28% (7115/25408)
Updating files:  29% (7369/25408)
Updating files:  30% (7623/25408)
Updating files:  31% (7877/25408)
Updating files:  31% (7939/25408)
Updating files:  32% (8131/25408)
Updating files:  33% (8385/25408)
Updating files:  33% (8620/25408)
Updating files:  34% (8639/25408)
Updating files:  35% (8893/25408)
Updating files:  36% (9147/25408)
Updating files:  36% (9272/25408)
Updating files:  37% (9401/25408)
Updating files:  38% (9656/25408)
Updating files:  38% (9767/25408)
Updating files:  39% (9910/25408)
Updating files:  40% (10164/25408)
Updating files:  41% (10418/25408)
Updating files:  41% (10653/25408)
Updating files:  42% (10672/25408)
Updating files:  43% (10926/25408)
Updating files:  44% (11180/25408)
Updating files:  45% (11434/25408)
Updating files:  45% (11466/25408)
Updating files:  46% (11688/25408)
Updating files:  47% (11942/25408)
Updating files:  48% (12196/25408)
Updating files:  49% (12450/25408)
Updating files:  49% (12698/25408)
Updating files:  50% (12704/25408)
Updating files:  51% (12959/25408)
Updating files:  52% (13213/25408)
Updating files:  52% (13234/25408)
Updating files:  53% (13467/25408)
Updating files:  54% (13721/25408)
Updating files:  54% (13764/25408)
Updating files:  55% (13975/25408)
Updating files:  55% (14188/25408)
Updating files:  56% (14229/25408)
Updating files:  57% (14483/25408)
Updating files:  58% (14737/25408)
Updating files:  59% (14991/25408)
Updating files:  59% (15042/25408)
Updating files:  60% (15245/25408)
Updating files:  61% (15499/25408)
Updating files:  62% (15753/25408)
Updating files:  63% (16008/25408)
Updating files:  63% (16042/25408)
Updating files:  63% (16241/25408)
Updating files:  64% (16262/25408)
Updating files:  65% (16516/25408)
Updating files:  66% (16770/25408)
Updating files:  67% (17024/25408)
Updating files:  68% (17278/25408)
Updating files:  68% (17373/25408)
Updating files:  69% (17532/25408)
Updating files:  70% (17786/25408)
Updating files:  71% (18040/25408)
Updating files:  72% (18294/25408)
Updating files:  72% (18505/25408)
Updating files:  73% (18548/25408)
Updating files:  74% (18802/25408)
Updating files:  75% (19056/25408)
Updating files:  76% (19311/25408)
Updating files:  76% (19538/25408)
Updating files:  77% (19565/25408)
Updating files:  78% (19819/25408)
Updating files:  79% (20073/25408)
Updating files:  80% (20327/25408)
Updating files:  81% (20581/25408)
Updating files:  81% (20813/25408)
Updating files:  82% (20835/25408)
Updating files:  83% (21089/25408)
Updating files:  84% (21343/25408)
Updating files:  85% (21597/25408)
Updating files:  86% (21851/25408)
Updating files:  87% (22105/25408)
Updating files:  87% (22217/25408)
Updating files:  88% (22360/25408)
Updating files:  89% (22614/25408)
Updating files:  90% (22868/25408)
Updating files:  91% (23122/25408)
Updating files:  92% (23376/25408)
Updating files:  93% (23630/25408)
Updating files:  93% (23752/25408)
Updating files:  94% (23884/25408)
Updating files:  94% (24020/25408)
Updating files:  95% (24138/25408)
Updating files:  95% (24245/25408)
Updating files:  96% (24392/25408)
Updating files:  97% (24646/25408)
Updating files:  98% (24900/25408)
Updating files:  98% (24962/25408)
Updating files:  99% (25154/25408)
Updating files:  99% (25395/25408)
Updating files: 100% (25408/25408)
Updating files: 100% (25408/25408), done.
HEAD is now at c66b6a131c Merge pull request #21135 from kit-ty-kate/jst-v15-unlock
Merge made by the 'recursive' strategy.
 .../conf-python-3.9.0.0/files/test.py              |  1 +
 packages/conf-python-3/conf-python-3.9.0.0/opam    | 33 ++++++++++++++++++++++
 2 files changed, 34 insertions(+)
 create mode 100644 packages/conf-python-3/conf-python-3.9.0.0/files/test.py
 create mode 100644 packages/conf-python-3/conf-python-3.9.0.0/opam

(from ocaml/opam:debian-11-ocaml-4.14@sha256:939c3a7774ef033240450a41691a21c40fbf2dd5efef200d8e31839e7ce55d2f)
Unable to find image 'ocaml/opam:debian-11-ocaml-4.14@sha256:939c3a7774ef033240450a41691a21c40fbf2dd5efef200d8e31839e7ce55d2f' locally
docker.io/ocaml/opam@sha256:939c3a7774ef033240450a41691a21c40fbf2dd5efef200d8e31839e7ce55d2f: Pulling from ocaml/opam
dbba69284b27: Already exists
d5625030247c: Already exists
f45a8a06e9f1: Pulling fs layer
f45a8a06e9f1: Verifying Checksum
f45a8a06e9f1: Download complete
f45a8a06e9f1: Pull complete
Digest: sha256:939c3a7774ef033240450a41691a21c40fbf2dd5efef200d8e31839e7ce55d2f
Status: Downloaded newer image for ocaml/opam@sha256:939c3a7774ef033240450a41691a21c40fbf2dd5efef200d8e31839e7ce55d2f
2022-04-07 16:43.14 ---> using "f5c2edee3210c7026d8f9c4d405fd408152fa5c0e3cae41cd0e1e93630dfb3ce" from cache

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "for pkg in $(opam pin list --short); do opam pin remove \"$pkg\"; done"))
Ok, ocaml-base-compiler is no longer pinned to https://github.com/ocaml/ocaml/archive/4.14.0.tar.gz (version 4.14.0)
Already up-to-date.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2022-04-07 16:43.14 ---> using "c319625cdb3b99390fd54482edceace8bde8899671ef81c92c1503963072dd08" from cache

/home/opam: (run (shell "opam repository remove -a multicore || true"))
[WARNING] No configured repositories by these names found: multicore
2022-04-07 16:43.14 ---> using "b9b7cc593f8fcb58626ea48eb27f64ab34f73f3259ca2d7d7d75b3b7c31ecfa0" from cache

/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
2022-04-07 16:43.14 ---> using "ecf7903648823f2dda51b8d12a71a91ae08a0a1094dbef1b808300620c69ee0f" from cache

/home/opam: (run (shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.

This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.

Continue? [Y/n] y
Format upgrade done.

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2022-04-07 16:43.14 ---> using "87462000ba3b5e431e2362fe3cd788e13e44da3a0c9fec8af9d5e5ab33d11e8d" from cache

/home/opam: (env OPAMDOWNLOADJOBS 1)

/home/opam: (env OPAMERRLOGLEN 0)

/home/opam: (env OPAMSOLVERTIMEOUT 500)

/home/opam: (env OPAMPRECISETRACKING 1)

/home/opam: (run (shell "rm -rf opam-repository/"))
2022-04-07 16:43.14 ---> using "4c5cef59babee8fcbad5e4aba1a5deedb36f3f9dfbecd083ad8e2c2e2842e5d2" from cache

/home/opam: (copy (src .) (dst opam-repository/))
2022-04-07 16:44.28 ---> saved as "547693c843d2b7da08471cc8ec6177c2001db73b88d5ca1d593eaf9686088809"

/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2022-04-07 16:44.55 ---> saved as "c3c2700725c46f295d646bfd43bf3c5b4228b7295cfbd849b7ad267bb1ac9531"

/home/opam: (run (shell "opam pin add -k version -yn conf-python-3.9.0.0 9.0.0"))
conf-python-3 is now pinned to version 9.0.0
2022-04-07 16:44.57 ---> saved as "edb7a5b4e9049970d1205e51e8cd291c843fdc8c45e9cd115af9d1a100422534"

/home/opam: (run (network host)
                 (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bullseye InRelease
- Get:2 http://deb.debian.org/debian bullseye-updates InRelease [39.4 kB]
- Get:3 http://security.debian.org/debian-security bullseye-security InRelease [44.1 kB]
- Get:4 http://security.debian.org/debian-security bullseye-security/main amd64 Packages [124 kB]
- Fetched 207 kB in 1s (354 kB/s)
- Reading package lists...
- 
2022-04-07 16:45.00 ---> saved as "0fa77c338d11c43312bc86182b4b5992ed123810397d600afcde2858eeda9e01"

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam remove conf-python-3.9.0.0 && opam install --deps-only conf-python-3.9.0.0 && opam install -v conf-python-3.9.0.0;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-11\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n        done;\
                        \n        exit 1"))
Nothing to do.
[NOTE] conf-python-3.9.0.0 is not installed.

Nothing to do.
# Run eval $(opam env) to update the current shell environment
The following actions will be performed:
  - install conf-python-3 9.0.0*

The following system packages will first need to be installed:
    python3

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "python3"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpython3.9-minimal:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18283 files and directories currently installed.)
- Preparing to unpack .../libpython3.9-minimal_3.9.2-1_amd64.deb ...
- Unpacking libpython3.9-minimal:amd64 (3.9.2-1) ...
- Selecting previously unselected package python3.9-minimal.
- Preparing to unpack .../python3.9-minimal_3.9.2-1_amd64.deb ...
- Unpacking python3.9-minimal (3.9.2-1) ...
- Setting up libpython3.9-minimal:amd64 (3.9.2-1) ...
- Setting up python3.9-minimal (3.9.2-1) ...
- Selecting previously unselected package python3-minimal.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18568 files and directories currently installed.)
- Preparing to unpack .../0-python3-minimal_3.9.2-3_amd64.deb ...
- Unpacking python3-minimal (3.9.2-3) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../1-media-types_4.0.0_all.deb ...
- Unpacking media-types (4.0.0) ...
- Selecting previously unselected package libmpdec3:amd64.
- Preparing to unpack .../2-libmpdec3_2.5.1-1_amd64.deb ...
- Unpacking libmpdec3:amd64 (2.5.1-1) ...
- Selecting previously unselected package libpython3.9-stdlib:amd64.
- Preparing to unpack .../3-libpython3.9-stdlib_3.9.2-1_amd64.deb ...
- Unpacking libpython3.9-stdlib:amd64 (3.9.2-1) ...
- Selecting previously unselected package python3.9.
- Preparing to unpack .../4-python3.9_3.9.2-1_amd64.deb ...
- Unpacking python3.9 (3.9.2-1) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../5-libpython3-stdlib_3.9.2-3_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.9.2-3) ...
- Setting up python3-minimal (3.9.2-3) ...
- Selecting previously unselected package python3.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18965 files and directories currently installed.)
- Preparing to unpack .../python3_3.9.2-3_amd64.deb ...
- Unpacking python3 (3.9.2-3) ...
- Setting up media-types (4.0.0) ...
- Setting up libmpdec3:amd64 (2.5.1-1) ...
- Setting up libpython3.9-stdlib:amd64 (3.9.2-1) ...
- Setting up libpython3-stdlib:amd64 (3.9.2-3) ...
- Setting up python3.9 (3.9.2-1) ...
- Setting up python3 (3.9.2-3) ...
- running python rtupdate hooks for python3.9...
- running python post-rtupdate hooks for python3.9...
- Processing triggers for libc-bin (2.31-13+deb11u3) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  2/3: [conf-python-3: python3 test.py]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "python3" "test.py" (CWD=/home/opam/.opam/4.14/.opam-switch/build/conf-python-3.9.0.0)
- python-3 OK
-> compiled  conf-python-3.9.0.0
-> installed conf-python-3.9.0.0
Done.
# Run eval $(opam env) to update the current shell environment
2022-04-07 16:45.41 ---> saved as "ebb83a9a2f98ce870951b06987525f4bb5fd7feff51d419db17c7d7d0e99cc58"

/home/opam: (run (network host)
                 (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bullseye InRelease
- Hit:2 http://deb.debian.org/debian bullseye-updates InRelease
- Hit:3 http://security.debian.org/debian-security bullseye-security InRelease
- Reading package lists...
- 
2022-04-07 16:45.45 ---> saved as "758a3814c7574fdc9c2e7bddbf12c5fc88a804632145f32cef3a56875d850709"

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam remove z3_tptp.4.8.14 && opam install --deps-only z3_tptp.4.8.14 && opam install -v z3_tptp.4.8.14;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-11\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n        done;\
                        \n        exit 1"))
[NOTE] z3_tptp.4.8.14 is not installed.

Nothing to do.
The following actions will be performed:
  - install ocamlfind 1.9.3
  - install conf-gmp  4
  - install conf-g++  1.0
  - install zarith    1.12
  - install z3        4.8.14
===== 5 to install =====

The following system packages will first need to be installed:
    libgmp-dev python3-distutils

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "python3-distutils"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18985 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.2.1+dfsg-1+deb11u1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1+deb11u1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.2.1+dfsg-1+deb11u1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-1+deb11u1) ...
- Selecting previously unselected package python3-lib2to3.
- Preparing to unpack .../python3-lib2to3_3.9.2-1_all.deb ...
- Unpacking python3-lib2to3 (3.9.2-1) ...
- Selecting previously unselected package python3-distutils.
- Preparing to unpack .../python3-distutils_3.9.2-1_all.deb ...
- Unpacking python3-distutils (3.9.2-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1+deb11u1) ...
- Setting up python3-lib2to3 (3.9.2-1) ...
- Setting up python3-distutils (3.9.2-1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-1+deb11u1) ...
- Processing triggers for libc-bin (2.31-13+deb11u3) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocamlfind.1.9.3  (cached)
-> installed conf-g++.1.0
-> installed conf-gmp.4
-> retrieved z3.4.8.14  (https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.14.tar.gz)
-> retrieved zarith.1.12  (cached)
-> installed ocamlfind.1.9.3
-> installed zarith.1.12
-> installed z3.4.8.14
Done.

<><> z3.4.8.14 installed successfully <><><><><><><><><><><><><><><><><><><><><>
=> Z3 4.8.13 changed the linking mode from static to dynamic.
   This change is silent and potentially breaking.
   Please make sure that you don't require static binaries in the programs using Z3.
# Run eval $(opam env) to update the current shell environment
The following actions will be performed:
  - install z3_tptp 4.8.14

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/3:
-> retrieved z3_tptp.4.8.14  (cached)
Processing  2/3: [z3_tptp: g++ z3_tptp]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "g++" "-I./src/api/c++" "-I./src/api" "-std=c++11" "-L/home/opam/.opam/4.14/lib/stublibs" "-o" "z3_tptp" "examples/tptp/tptp5.cpp" "examples/tptp/tptp5.lex.cpp" "-lz3" (CWD=/home/opam/.opam/4.14/.opam-switch/build/z3_tptp.4.8.14)
-> compiled  z3_tptp.4.8.14
Processing  3/3: [z3_tptp: cp z3_tptp]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "cp" "z3_tptp" "/home/opam/.opam/4.14/bin/z3_tptp" (CWD=/home/opam/.opam/4.14/.opam-switch/build/z3_tptp.4.8.14)
-> installed z3_tptp.4.8.14
Done.
# Run eval $(opam env) to update the current shell environment
2022-04-07 16:56.48 ---> saved as "dde9b7ce7b1b81558feb938c55cd8a158b6dbe2092d4c891b16eb226f3dcd48e"

/home/opam: (run (network host)
                 (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://security.debian.org/debian-security bullseye-security InRelease
- Hit:2 http://deb.debian.org/debian bullseye InRelease
- Hit:3 http://deb.debian.org/debian bullseye-updates InRelease
- Reading package lists...
- 
2022-04-07 16:56.57 ---> saved as "af1d3723bcfd6d9f3ee8d614e3fcfb8049ed2775837eee042f3d0c851ab3b117"

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam remove z3_tptp.4.8.14 && opam install --deps-only --with-test z3_tptp.4.8.14 && opam install -v --with-test z3_tptp.4.8.14;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-11\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n        done;\
                        \n        exit 1"))
The following actions will be performed:
  - remove z3_tptp 4.8.14

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> removed   z3_tptp.4.8.14
Done.
# Run eval $(opam env) to update the current shell environment
Nothing to do.
# Run eval $(opam env) to update the current shell environment
The following actions will be performed:
  - install z3_tptp 4.8.14

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/3: [z3_tptp.4.8.14: http]
Processing  1/3:
-> retrieved z3_tptp.4.8.14  (https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.14.tar.gz)
Processing  2/3: [z3_tptp: g++ z3_tptp]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "g++" "-I./src/api/c++" "-I./src/api" "-std=c++11" "-L/home/opam/.opam/4.14/lib/stublibs" "-o" "z3_tptp" "examples/tptp/tptp5.cpp" "examples/tptp/tptp5.lex.cpp" "-lz3" (CWD=/home/opam/.opam/4.14/.opam-switch/build/z3_tptp.4.8.14)
-> compiled  z3_tptp.4.8.14
Processing  3/3: [z3_tptp: cp z3_tptp]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "cp" "z3_tptp" "/home/opam/.opam/4.14/bin/z3_tptp" (CWD=/home/opam/.opam/4.14/.opam-switch/build/z3_tptp.4.8.14)
-> installed z3_tptp.4.8.14
Done.
# Run eval $(opam env) to update the current shell environment
2022-04-07 16:58.36 ---> saved as "796242ef64c11c6ab7582f15615eab9154cd7551d25f4f970ecfd33f6d3138a7"
Job succeeded
2022-04-07 17:02.03: Job succeeded