Building on x86-bm-c1.sw.ocaml.org (from ocaml/opam:debian-unstable) 2024-04-22 13:20.19 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam")) 2024-04-22 13:20.19 ---> using "65c3237f501f7c75f3828458ecf2342bc41c98aaef8c6a7fd82bf46a58cb258c" from cache /: (run (network host) (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q c4b7df5d3d3b3127a642526a9602738f289a8e0b")) 2024-04-22 13:20.19 ---> using "ffb9b2e40c546ce31dc6f75eac0fb0a372fd62901b8bb6dc1b5f51a9f2e506dd" from cache /: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository")) 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. <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> [default] Initialised User configuration: ~/.profile is already up-to-date. [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. 2024-04-22 13:20.19 ---> using "1542764b16e5f440c250016a47c8ff777b98397f0244afcaf081651842e35aeb" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.09' '4.09.1'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.09.1"} | "ocaml-system" {= "4.09.1"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.09.1 (cached) -> installed ocaml-base-compiler.4.09.1 -> installed ocaml-config.1 -> installed ocaml.4.09.1 Done. # Run eval $(opam env --switch=4.09) to update the current shell environment 2024-04-22 13:20.19 ---> using "c686031acbfb451fcfd21c5ee664fb5c5697458ccf1ec5e83d3be5c6aefcbd96" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [198 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-04-22-0814.08-F-2024-04-19-0205.06.pdiff [221 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-04-22-0814.08-F-2024-04-19-0205.06.pdiff [221 kB] - Fetched 483 kB in 6s (75.4 kB/s) - Reading package lists... - 2024-04-22 13:20.19 ---> using "5abf53df3ea1e8150d1a278d937347500f52760b7a5558a0c51638d4d2ebb7ab" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"proverifdoc.2.05\"\ \nopam install -vy \"proverifdoc.2.05\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"proverifdoc.2.05\" | grep -q '\"debian-unstable\"'; then\ \n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\ \n exit 69\ \n fi\ \nfi\ \n\ \n\ \nexit $res\ \n")) Nothing to do. [NOTE] proverifdoc.2.05 is not installed. The following actions will be performed: === install 1 package - install proverifdoc 2.05 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/3: [proverifdoc.2.05: http] Processing 1/3: -> retrieved proverifdoc.2.05 (https://proverif.inria.fr/proverifdoc2.05.tar.gz) Processing 3/3: [proverifdoc: ./installdoc] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "./installdoc" "/home/opam/.opam/4.09" (CWD=/home/opam/.opam/4.09/.opam-switch/build/proverifdoc.2.05) -> installed proverifdoc.2.05 Done. # Run eval $(opam env) to update the current shell environment 2024-04-22 13:20.34 ---> saved as "6a1614c3176a4994bfc675d39d734e3881c29699609b6ce478b9439f1763dd30" Job succeeded