Build:
- 0
2024-09-12 08:35.49: New job: Voodoo prep bap-veri.0.2.5; 5ff4f2b89b9846b2ff14f195b6dcdf95 2024-09-12 08:35.49: Waiting for resource in pool OCluster 2024-09-12 16:23.52: Waiting for worker… 2024-09-12 16:23.52: Got resource from pool OCluster 2024-09-12 16:23.52: Using cache hint "docs-universe-prep-4.09.1" To reproduce locally: cat > prep.spec <<'END-OF-SPEC' ((build tools ((from ocaml/opam:debian-12-ocaml-4.09@sha256:7f5540b4c55cec187b443a7a1fa6da9107f0b232dd3acb68a69301a3beb5afdf) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")))) (from ocaml/opam:debian-12-ocaml-4.09@sha256:7f5540b4c55cec187b443a7a1fa6da9107f0b232dd3acb68a69301a3beb5afdf) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (shell "sudo mkdir /src")) (copy (src packages) (dst /src/packages)) (copy (src repo) (dst /src/repo)) (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) (run (shell "opam repo remove default && opam repo add opam /src")) (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.16.0 ocamlfind.1.9.6")) (env DUNE_CACHE enabled) (env DUNE_CACHE_TRANSPORT direct) (env DUNE_CACHE_DUPLICATION copy) (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy bap-veri.0.2.5 zed.3.2.1 zarith.1.14 z3.4.13.0-3 variantslib.v0.12.0 uutf.1.0.3 uuseg.15.0.0 uuidm.0.9.8 uucp.15.0.0 utop.2.12.1 uri.3.1.0 uchar.0.0.2 typerep.v0.12.0 trie.1.0.0 topkg.1.0.7 time_now.v0.12.0 textutils_kernel.v0.12.0 text-tags.2.1.0 stringext.1.6.0 stdlib-shims.0.3.0 stdio.v0.12.0 splittable_random.v0.12.0 sexplib0.v0.12.0 sexplib.v0.12.0 seq.base result.1.5 regular.2.1.0 react.1.2.2 re.1.11.0 ppxlib.0.8.1 ppx_variants_conv.v0.12.0 ppx_typerep_conv.v0.12.0 ppx_tools_versioned.5.4.0 ppx_stable.v0.12.0 ppx_sexp_value.v0.12.0 ppx_sexp_message.v0.12.0 ppx_sexp_conv.v0.12.0 ppx_pipebang.v0.12.0 ppx_optional.v0.12.0 ppx_optcomp.v0.12.0 ppx_module_timer.v0.12.0 ppx_let.v0.12.0 ppx_js_style.v0.12.0 ppx_jane.v0.12.0 ppx_inline_test.v0.12.0 ppx_here.v0.12.0 ppx_hash.v0.12.0 ppx_fields_conv.v0.12.0 ppx_fail.v0.12.0 ppx_expect.v0.12.0 ppx_enumerate.v0.12.0 ppx_derivers.1.2.1 ppx_custom_printf.v0.12.1 ppx_compare.v0.12.0 ppx_bin_prot.v0.12.1 ppx_bench.v0.12.0 ppx_base.v0.12.0 ppx_assert.v0.12.0 pcre.7.4.6 parsexp.v0.12.0 ounit2.2.2.7 ounit.2.2.7 ogre.2.1.0 octavius.1.2.2 ocplib-endian.1.2 ocamlmod.0.0.9 ocamlify.0.0.1 ocamlgraph.2.1.0 ocamlfind.1.9.6 ocamlbuild.0.15.0 ocaml-migrate-parsetree.1.8.0 ocaml-compiler-libs.v0.12.4 oasis.0.4.11 num.1.5-1 monads.2.1.0 mmap.1.2.0 mew_vi.0.5.0 mew.0.1.0 lwt_react.1.2.0 lwt.5.7.0 logs.0.7.0 lambda-term.3.3.2 jst-config.v0.12.0 jane-street-headers.v0.12.0 graphlib.2.1.0 fileutils.0.6.4 fieldslib.v0.12.0 FrontC.3.4.3-1 dune-configurator.3.16.0 dune.3.16.0 csexp.1.5.2 cppo.1.7.0 core_kernel.v0.12.3 conf-zlib.1 conf-which.1 conf-python-3.9.0.0 conf-pkg-config.3 conf-libpcre.1 conf-gmp.4 conf-env-travis.1 conf-c++.1.0 conf-binutils.0.2 conf-bap-llvm.1.8 cmdliner.1.3.0 camlzip.1.11 bitvec-sexp.2.1.0 bitvec-order.2.1.0 bitvec-binprot.2.1.0 bitvec.2.1.0 bitstring.3.1.1 bin_prot.v0.12.0 bigarray-compat.1.1.0 base_quickcheck.v0.12.1 base_bigstring.v0.12.0 base-bytes.base base.v0.12.2 bare.2.1.0 bap-x86.2.1.0 bap-warn-unused.2.1.0 bap-trivial-condition-form.2.1.0 bap-traces.2.1.0 bap-trace.2.1.0 bap-term-mapper.2.1.0 bap-taint-propagator.2.1.0 bap-taint.2.1.0 bap-symbol-reader.2.1.0 bap-stub-resolver.2.1.0 bap-strings.2.1.0 bap-std.2.1.0 bap-ssa.2.1.0 bap-signatures.2.5.0 bap-run.2.1.0 bap-report.2.1.0 bap-relocatable.2.1.0 bap-recipe-command.2.1.0 bap-recipe.2.1.0 bap-raw.2.1.0 bap-print.2.1.0 bap-primus-x86.2.1.0 bap-primus-test.2.1.0 bap-primus-systems.2.1.0 bap-primus-symbolic-executor.2.1.0 bap-primus-support.2.1.0 bap-primus-region.2.1.0 bap-primus-random.2.1.0 bap-primus-powerpc.2.1.0 bap-primus-lisp.2.1.0 bap-primus-dictionary.2.1.0 bap-primus.2.1.0 bap-powerpc.2.1.0 bap-plugins.2.1.0 bap-optimization.2.1.0 bap-objdump.2.1.0 bap-mips.2.1.0 bap-microx.2.1.0 bap-mc.2.1.0 bap-main.2.1.0 bap-llvm.2.1.0 bap-knowledge.2.1.0 bap-glibc-runtime.2.1.0 bap-future.2.1.0 bap-frontend.2.1.0 bap-frontc.2.1.0 bap-emacs-mode.0.1 bap-emacs-goodies.0.1 bap-emacs-dot.0.1 bap-elf.2.1.0 bap-elementary.2.1.0 bap-dwarf.2.1.0 bap-dump-symbols.2.1.0 bap-disassemble.2.1.0 bap-demangle.2.1.0 bap-cxxfilt.2.1.0 bap-core-theory.2.1.0 bap-constant-tracker.2.1.0 bap-callsites.2.1.0 bap-cache.2.1.0 bap-c.2.1.0 bap-byteweight.2.1.0 bap-bundle.2.1.0 bap-build.2.1.0 bap-bil.2.1.0 bap-beagle.2.1.0 bap-arm.2.1.0 bap-api.2.1.0 bap-abi.2.1.0 bap.2.1.0 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) (run (shell "opam exec -- ~/voodoo-prep -u bap-veri:5ff4f2b89b9846b2ff14f195b6dcdf95,z3:caab33bbdf5ae7973c205ec4e68adf4f,FrontC:f06857371084eb01bbf1461eed1e6df0,conf-binutils:36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-bap-llvm:36cc8c3f38850ddc44aa1c5bb41a3b1e,bitstring:3dd02b7f1ff56c5bdeb0314620199637,bare:77370c2547cbd1a238841fc3ca3f5af5,bap-x86:96c90e12443487544897528bdafe22dd,bap-warn-unused:7fce3222fc9670fabe8d252ac7293601,bap-trivial-condition-form:7fce3222fc9670fabe8d252ac7293601,bap-traces:7fce3222fc9670fabe8d252ac7293601,bap-trace:580b74d5c082e6ee435ea9bc47102841,bap-term-mapper:7fce3222fc9670fabe8d252ac7293601,bap-taint-propagator:22fbe55783e1e06c61603cf930c4cb94,bap-taint:0f2cd63048850b968bbca92eb55fe310,bap-symbol-reader:7fce3222fc9670fabe8d252ac7293601,bap-stub-resolver:7c575c056e2098e2925cc3daa8490081,bap-strings:77370c2547cbd1a238841fc3ca3f5af5,bap-ssa:7fce3222fc9670fabe8d252ac7293601,bap-run:0f2cd63048850b968bbca92eb55fe310,bap-report:7fce3222fc9670fabe8d252ac7293601,bap-relocatable:7fce3222fc9670fabe8d252ac7293601,bap-recipe-command:7fce3222fc9670fabe8d252ac7293601,bap-raw:7fce3222fc9670fabe8d252ac7293601,bap-print:56a748685f94495095d7a0f3ef442ff6,bap-primus-x86:380077e239bc8efb13c63ac9da2c777a,bap-primus-test:0f2cd63048850b968bbca92eb55fe310,bap-primus-systems:0f2cd63048850b968bbca92eb55fe310,bap-primus-symbolic-executor:9cd3d9d9e68d2ad665ef8b32705dd930,bap-primus-support:730842499f9b429a23e91dc4a3adcfdc,bap-primus-region:0f2cd63048850b968bbca92eb55fe310,bap-primus-random:0f2cd63048850b968bbca92eb55fe310,bap-primus-powerpc:0f2cd63048850b968bbca92eb55fe310,bap-primus-lisp:0f2cd63048850b968bbca92eb55fe310,bap-primus-dictionary:0f2cd63048850b968bbca92eb55fe310,bap-primus:5fb681c121d136e73f4cc7d29da4d44c,bap-powerpc:0f2cd63048850b968bbca92eb55fe310,bap-optimization:7fce3222fc9670fabe8d252ac7293601,bap-objdump:9b9d6a1e58f06ca77a6d5a6bcb92fb0b,bap-mips:2a500d99607e6ca7294825aac1dd2939,bap-microx:7fce3222fc9670fabe8d252ac7293601,bap-mc:7fce3222fc9670fabe8d252ac7293601,bap-llvm:325e15d05a5e83ded28f3667f213493f,bap-glibc-runtime:2a500d99607e6ca7294825aac1dd2939,bap-frontend:7fce3222fc9670fabe8d252ac7293601,bap-frontc:e34d206d9d5b3491f8d1c4b709bc63d5,bap-emacs-mode:f06857371084eb01bbf1461eed1e6df0,bap-emacs-goodies:89052062867b7bd014bd0bcf129305c4,bap-emacs-dot:f06857371084eb01bbf1461eed1e6df0,bap-elf:7cb0ed7cab2c25f7854ef61614ee54ca,bap-elementary:7fce3222fc9670fabe8d252ac7293601,bap-dwarf:7fce3222fc9670fabe8d252ac7293601,bap-dump-symbols:7fce3222fc9670fabe8d252ac7293601,bap-disassemble:7fce3222fc9670fabe8d252ac7293601,bap-demangle:7fce3222fc9670fabe8d252ac7293601,bap-cxxfilt:4b6613aa5a92bd236514b782089ca3f8,bap-constant-tracker:0f2cd63048850b968bbca92eb55fe310,bap-callsites:7fce3222fc9670fabe8d252ac7293601,bap-cache:7fce3222fc9670fabe8d252ac7293601,bap-c:db19270f074bbd06b88e62c17b2ac3ef,bap-bil:7fce3222fc9670fabe8d252ac7293601,bap-beagle:d56cd9d7b5f634e508a87b0075046b0a,bap-arm:96c90e12443487544897528bdafe22dd,bap-api:7fce3222fc9670fabe8d252ac7293601,bap-abi:7fce3222fc9670fabe8d252ac7293601,bap:ae869ebd6c849e928f222691de6d8a3f")) (run (network host) (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config))) (shell "(echo '0.254279') && (for DATA in prep/universes/ae869ebd6c849e928f222691de6d8a3f/bap/2.1.0,bap.2.1.0-ae869ebd6c849e928f222691de6d8a3f,bap.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-abi/2.1.0,bap-abi.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-abi.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-api/2.1.0,bap-api.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-api.2.1.0 prep/universes/96c90e12443487544897528bdafe22dd/bap-arm/2.1.0,bap-arm.2.1.0-96c90e12443487544897528bdafe22dd,bap-arm.2.1.0 prep/universes/d56cd9d7b5f634e508a87b0075046b0a/bap-beagle/2.1.0,bap-beagle.2.1.0-d56cd9d7b5f634e508a87b0075046b0a,bap-beagle.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-bil/2.1.0,bap-bil.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-bil.2.1.0 prep/universes/db19270f074bbd06b88e62c17b2ac3ef/bap-c/2.1.0,bap-c.2.1.0-db19270f074bbd06b88e62c17b2ac3ef,bap-c.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-cache/2.1.0,bap-cache.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-cache.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-callsites/2.1.0,bap-callsites.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-callsites.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-constant-tracker/2.1.0,bap-constant-tracker.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-constant-tracker.2.1.0 prep/universes/4b6613aa5a92bd236514b782089ca3f8/bap-cxxfilt/2.1.0,bap-cxxfilt.2.1.0-4b6613aa5a92bd236514b782089ca3f8,bap-cxxfilt.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-demangle/2.1.0,bap-demangle.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-demangle.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-disassemble/2.1.0,bap-disassemble.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-disassemble.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dump-symbols/2.1.0,bap-dump-symbols.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-dump-symbols.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dwarf/2.1.0,bap-dwarf.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-dwarf.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-elementary/2.1.0,bap-elementary.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-elementary.2.1.0 prep/universes/7cb0ed7cab2c25f7854ef61614ee54ca/bap-elf/2.1.0,bap-elf.2.1.0-7cb0ed7cab2c25f7854ef61614ee54ca,bap-elf.2.1.0 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-dot/0.1,bap-emacs-dot.0.1-f06857371084eb01bbf1461eed1e6df0,bap-emacs-dot.0.1 prep/universes/89052062867b7bd014bd0bcf129305c4/bap-emacs-goodies/0.1,bap-emacs-goodies.0.1-89052062867b7bd014bd0bcf129305c4,bap-emacs-goodies.0.1 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-mode/0.1,bap-emacs-mode.0.1-f06857371084eb01bbf1461eed1e6df0,bap-emacs-mode.0.1 prep/universes/e34d206d9d5b3491f8d1c4b709bc63d5/bap-frontc/2.1.0,bap-frontc.2.1.0-e34d206d9d5b3491f8d1c4b709bc63d5,bap-frontc.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-frontend/2.1.0,bap-frontend.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-frontend.2.1.0 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-glibc-runtime/2.1.0,bap-glibc-runtime.2.1.0-2a500d99607e6ca7294825aac1dd2939,bap-glibc-runtime.2.1.0 prep/universes/325e15d05a5e83ded28f3667f213493f/bap-llvm/2.1.0,bap-llvm.2.1.0-325e15d05a5e83ded28f3667f213493f,bap-llvm.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-mc/2.1.0,bap-mc.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-mc.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-microx/2.1.0,bap-microx.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-microx.2.1.0 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-mips/2.1.0,bap-mips.2.1.0-2a500d99607e6ca7294825aac1dd2939,bap-mips.2.1.0 prep/universes/9b9d6a1e58f06ca77a6d5a6bcb92fb0b/bap-objdump/2.1.0,bap-objdump.2.1.0-9b9d6a1e58f06ca77a6d5a6bcb92fb0b,bap-objdump.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-optimization/2.1.0,bap-optimization.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-optimization.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-powerpc/2.1.0,bap-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-powerpc.2.1.0 prep/universes/5fb681c121d136e73f4cc7d29da4d44c/bap-primus/2.1.0,bap-primus.2.1.0-5fb681c121d136e73f4cc7d29da4d44c,bap-primus.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-dictionary/2.1.0,bap-primus-dictionary.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-dictionary.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-lisp/2.1.0,bap-primus-lisp.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-lisp.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-powerpc/2.1.0,bap-primus-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-powerpc.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-random/2.1.0,bap-primus-random.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-random.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-region/2.1.0,bap-primus-region.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-region.2.1.0 prep/universes/730842499f9b429a23e91dc4a3adcfdc/bap-primus-support/2.1.0,bap-primus-support.2.1.0-730842499f9b429a23e91dc4a3adcfdc,bap-primus-support.2.1.0 prep/universes/9cd3d9d9e68d2ad665ef8b32705dd930/bap-primus-symbolic-executor/2.1.0,bap-primus-symbolic-executor.2.1.0-9cd3d9d9e68d2ad665ef8b32705dd930,bap-primus-symbolic-executor.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-systems/2.1.0,bap-primus-systems.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-systems.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-test/2.1.0,bap-primus-test.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-test.2.1.0 prep/universes/380077e239bc8efb13c63ac9da2c777a/bap-primus-x86/2.1.0,bap-primus-x86.2.1.0-380077e239bc8efb13c63ac9da2c777a,bap-primus-x86.2.1.0 prep/universes/56a748685f94495095d7a0f3ef442ff6/bap-print/2.1.0,bap-print.2.1.0-56a748685f94495095d7a0f3ef442ff6,bap-print.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-raw/2.1.0,bap-raw.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-raw.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-recipe-command/2.1.0,bap-recipe-command.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-recipe-command.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-relocatable/2.1.0,bap-relocatable.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-relocatable.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-report/2.1.0,bap-report.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-report.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-run/2.1.0,bap-run.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-run.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-ssa/2.1.0,bap-ssa.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-ssa.2.1.0 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bap-strings/2.1.0,bap-strings.2.1.0-77370c2547cbd1a238841fc3ca3f5af5,bap-strings.2.1.0 prep/universes/7c575c056e2098e2925cc3daa8490081/bap-stub-resolver/2.1.0,bap-stub-resolver.2.1.0-7c575c056e2098e2925cc3daa8490081,bap-stub-resolver.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-symbol-reader/2.1.0,bap-symbol-reader.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-symbol-reader.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-taint/2.1.0,bap-taint.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-taint.2.1.0 prep/universes/22fbe55783e1e06c61603cf930c4cb94/bap-taint-propagator/2.1.0,bap-taint-propagator.2.1.0-22fbe55783e1e06c61603cf930c4cb94,bap-taint-propagator.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-term-mapper/2.1.0,bap-term-mapper.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-term-mapper.2.1.0 prep/universes/580b74d5c082e6ee435ea9bc47102841/bap-trace/2.1.0,bap-trace.2.1.0-580b74d5c082e6ee435ea9bc47102841,bap-trace.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-traces/2.1.0,bap-traces.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-traces.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-trivial-condition-form/2.1.0,bap-trivial-condition-form.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-trivial-condition-form.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-warn-unused/2.1.0,bap-warn-unused.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-warn-unused.2.1.0 prep/universes/96c90e12443487544897528bdafe22dd/bap-x86/2.1.0,bap-x86.2.1.0-96c90e12443487544897528bdafe22dd,bap-x86.2.1.0 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bare/2.1.0,bare.2.1.0-77370c2547cbd1a238841fc3ca3f5af5,bare.2.1.0 prep/universes/3dd02b7f1ff56c5bdeb0314620199637/bitstring/3.1.1,bitstring.3.1.1-3dd02b7f1ff56c5bdeb0314620199637,bitstring.3.1.1 prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-bap-llvm/1.8,conf-bap-llvm.1.8-36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-bap-llvm.1.8 prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-binutils/0.2,conf-binutils.0.2-36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-binutils.0.2 prep/universes/f06857371084eb01bbf1461eed1e6df0/FrontC/3.4.3-1,FrontC.3.4.3-1-f06857371084eb01bbf1461eed1e6df0,FrontC.3.4.3-1 prep/universes/caab33bbdf5ae7973c205ec4e68adf4f/z3/4.13.0-3,z3.4.13.0-3-caab33bbdf5ae7973c205ec4e68adf4f,z3.4.13.0-3 prep/universes/5ff4f2b89b9846b2ff14f195b6dcdf95/bap-veri/0.2.5,bap-veri.0.2.5-5ff4f2b89b9846b2ff14f195b6dcdf95,bap-veri.0.2.5; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/ae869ebd6c849e928f222691de6d8a3f/bap/2.1.0,bap.2.1.0-ae869ebd6c849e928f222691de6d8a3f,bap.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-abi/2.1.0,bap-abi.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-abi.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-api/2.1.0,bap-api.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-api.2.1.0 prep/universes/96c90e12443487544897528bdafe22dd/bap-arm/2.1.0,bap-arm.2.1.0-96c90e12443487544897528bdafe22dd,bap-arm.2.1.0 prep/universes/d56cd9d7b5f634e508a87b0075046b0a/bap-beagle/2.1.0,bap-beagle.2.1.0-d56cd9d7b5f634e508a87b0075046b0a,bap-beagle.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-bil/2.1.0,bap-bil.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-bil.2.1.0 prep/universes/db19270f074bbd06b88e62c17b2ac3ef/bap-c/2.1.0,bap-c.2.1.0-db19270f074bbd06b88e62c17b2ac3ef,bap-c.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-cache/2.1.0,bap-cache.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-cache.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-callsites/2.1.0,bap-callsites.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-callsites.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-constant-tracker/2.1.0,bap-constant-tracker.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-constant-tracker.2.1.0 prep/universes/4b6613aa5a92bd236514b782089ca3f8/bap-cxxfilt/2.1.0,bap-cxxfilt.2.1.0-4b6613aa5a92bd236514b782089ca3f8,bap-cxxfilt.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-demangle/2.1.0,bap-demangle.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-demangle.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-disassemble/2.1.0,bap-disassemble.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-disassemble.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dump-symbols/2.1.0,bap-dump-symbols.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-dump-symbols.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dwarf/2.1.0,bap-dwarf.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-dwarf.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-elementary/2.1.0,bap-elementary.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-elementary.2.1.0 prep/universes/7cb0ed7cab2c25f7854ef61614ee54ca/bap-elf/2.1.0,bap-elf.2.1.0-7cb0ed7cab2c25f7854ef61614ee54ca,bap-elf.2.1.0 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-dot/0.1,bap-emacs-dot.0.1-f06857371084eb01bbf1461eed1e6df0,bap-emacs-dot.0.1 prep/universes/89052062867b7bd014bd0bcf129305c4/bap-emacs-goodies/0.1,bap-emacs-goodies.0.1-89052062867b7bd014bd0bcf129305c4,bap-emacs-goodies.0.1 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-mode/0.1,bap-emacs-mode.0.1-f06857371084eb01bbf1461eed1e6df0,bap-emacs-mode.0.1 prep/universes/e34d206d9d5b3491f8d1c4b709bc63d5/bap-frontc/2.1.0,bap-frontc.2.1.0-e34d206d9d5b3491f8d1c4b709bc63d5,bap-frontc.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-frontend/2.1.0,bap-frontend.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-frontend.2.1.0 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-glibc-runtime/2.1.0,bap-glibc-runtime.2.1.0-2a500d99607e6ca7294825aac1dd2939,bap-glibc-runtime.2.1.0 prep/universes/325e15d05a5e83ded28f3667f213493f/bap-llvm/2.1.0,bap-llvm.2.1.0-325e15d05a5e83ded28f3667f213493f,bap-llvm.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-mc/2.1.0,bap-mc.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-mc.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-microx/2.1.0,bap-microx.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-microx.2.1.0 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-mips/2.1.0,bap-mips.2.1.0-2a500d99607e6ca7294825aac1dd2939,bap-mips.2.1.0 prep/universes/9b9d6a1e58f06ca77a6d5a6bcb92fb0b/bap-objdump/2.1.0,bap-objdump.2.1.0-9b9d6a1e58f06ca77a6d5a6bcb92fb0b,bap-objdump.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-optimization/2.1.0,bap-optimization.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-optimization.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-powerpc/2.1.0,bap-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-powerpc.2.1.0 prep/universes/5fb681c121d136e73f4cc7d29da4d44c/bap-primus/2.1.0,bap-primus.2.1.0-5fb681c121d136e73f4cc7d29da4d44c,bap-primus.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-dictionary/2.1.0,bap-primus-dictionary.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-dictionary.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-lisp/2.1.0,bap-primus-lisp.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-lisp.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-powerpc/2.1.0,bap-primus-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-powerpc.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-random/2.1.0,bap-primus-random.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-random.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-region/2.1.0,bap-primus-region.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-region.2.1.0 prep/universes/730842499f9b429a23e91dc4a3adcfdc/bap-primus-support/2.1.0,bap-primus-support.2.1.0-730842499f9b429a23e91dc4a3adcfdc,bap-primus-support.2.1.0 prep/universes/9cd3d9d9e68d2ad665ef8b32705dd930/bap-primus-symbolic-executor/2.1.0,bap-primus-symbolic-executor.2.1.0-9cd3d9d9e68d2ad665ef8b32705dd930,bap-primus-symbolic-executor.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-systems/2.1.0,bap-primus-systems.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-systems.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-test/2.1.0,bap-primus-test.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-test.2.1.0 prep/universes/380077e239bc8efb13c63ac9da2c777a/bap-primus-x86/2.1.0,bap-primus-x86.2.1.0-380077e239bc8efb13c63ac9da2c777a,bap-primus-x86.2.1.0 prep/universes/56a748685f94495095d7a0f3ef442ff6/bap-print/2.1.0,bap-print.2.1.0-56a748685f94495095d7a0f3ef442ff6,bap-print.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-raw/2.1.0,bap-raw.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-raw.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-recipe-command/2.1.0,bap-recipe-command.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-recipe-command.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-relocatable/2.1.0,bap-relocatable.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-relocatable.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-report/2.1.0,bap-report.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-report.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-run/2.1.0,bap-run.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-run.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-ssa/2.1.0,bap-ssa.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-ssa.2.1.0 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bap-strings/2.1.0,bap-strings.2.1.0-77370c2547cbd1a238841fc3ca3f5af5,bap-strings.2.1.0 prep/universes/7c575c056e2098e2925cc3daa8490081/bap-stub-resolver/2.1.0,bap-stub-resolver.2.1.0-7c575c056e2098e2925cc3daa8490081,bap-stub-resolver.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-symbol-reader/2.1.0,bap-symbol-reader.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-symbol-reader.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-taint/2.1.0,bap-taint.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-taint.2.1.0 prep/universes/22fbe55783e1e06c61603cf930c4cb94/bap-taint-propagator/2.1.0,bap-taint-propagator.2.1.0-22fbe55783e1e06c61603cf930c4cb94,bap-taint-propagator.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-term-mapper/2.1.0,bap-term-mapper.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-term-mapper.2.1.0 prep/universes/580b74d5c082e6ee435ea9bc47102841/bap-trace/2.1.0,bap-trace.2.1.0-580b74d5c082e6ee435ea9bc47102841,bap-trace.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-traces/2.1.0,bap-traces.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-traces.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-trivial-condition-form/2.1.0,bap-trivial-condition-form.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-trivial-condition-form.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-warn-unused/2.1.0,bap-warn-unused.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-warn-unused.2.1.0 prep/universes/96c90e12443487544897528bdafe22dd/bap-x86/2.1.0,bap-x86.2.1.0-96c90e12443487544897528bdafe22dd,bap-x86.2.1.0 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bare/2.1.0,bare.2.1.0-77370c2547cbd1a238841fc3ca3f5af5,bare.2.1.0 prep/universes/3dd02b7f1ff56c5bdeb0314620199637/bitstring/3.1.1,bitstring.3.1.1-3dd02b7f1ff56c5bdeb0314620199637,bitstring.3.1.1 prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-bap-llvm/1.8,conf-bap-llvm.1.8-36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-bap-llvm.1.8 prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-binutils/0.2,conf-binutils.0.2-36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-binutils.0.2 prep/universes/f06857371084eb01bbf1461eed1e6df0/FrontC/3.4.3-1,FrontC.3.4.3-1-f06857371084eb01bbf1461eed1e6df0,FrontC.3.4.3-1 prep/universes/caab33bbdf5ae7973c205ec4e68adf4f/z3/4.13.0-3,z3.4.13.0-3-caab33bbdf5ae7973c205ec4e68adf4f,z3.4.13.0-3 prep/universes/5ff4f2b89b9846b2ff14f195b6dcdf95/bap-veri/0.2.5,bap-veri.0.2.5-5ff4f2b89b9846b2ff14f195b6dcdf95,bap-veri.0.2.5; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/ae869ebd6c849e928f222691de6d8a3f/bap/2.1.0,bap.2.1.0-ae869ebd6c849e928f222691de6d8a3f,bap.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-abi/2.1.0,bap-abi.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-abi.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-api/2.1.0,bap-api.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-api.2.1.0 prep/universes/96c90e12443487544897528bdafe22dd/bap-arm/2.1.0,bap-arm.2.1.0-96c90e12443487544897528bdafe22dd,bap-arm.2.1.0 prep/universes/d56cd9d7b5f634e508a87b0075046b0a/bap-beagle/2.1.0,bap-beagle.2.1.0-d56cd9d7b5f634e508a87b0075046b0a,bap-beagle.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-bil/2.1.0,bap-bil.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-bil.2.1.0 prep/universes/db19270f074bbd06b88e62c17b2ac3ef/bap-c/2.1.0,bap-c.2.1.0-db19270f074bbd06b88e62c17b2ac3ef,bap-c.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-cache/2.1.0,bap-cache.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-cache.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-callsites/2.1.0,bap-callsites.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-callsites.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-constant-tracker/2.1.0,bap-constant-tracker.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-constant-tracker.2.1.0 prep/universes/4b6613aa5a92bd236514b782089ca3f8/bap-cxxfilt/2.1.0,bap-cxxfilt.2.1.0-4b6613aa5a92bd236514b782089ca3f8,bap-cxxfilt.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-demangle/2.1.0,bap-demangle.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-demangle.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-disassemble/2.1.0,bap-disassemble.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-disassemble.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dump-symbols/2.1.0,bap-dump-symbols.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-dump-symbols.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dwarf/2.1.0,bap-dwarf.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-dwarf.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-elementary/2.1.0,bap-elementary.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-elementary.2.1.0 prep/universes/7cb0ed7cab2c25f7854ef61614ee54ca/bap-elf/2.1.0,bap-elf.2.1.0-7cb0ed7cab2c25f7854ef61614ee54ca,bap-elf.2.1.0 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-dot/0.1,bap-emacs-dot.0.1-f06857371084eb01bbf1461eed1e6df0,bap-emacs-dot.0.1 prep/universes/89052062867b7bd014bd0bcf129305c4/bap-emacs-goodies/0.1,bap-emacs-goodies.0.1-89052062867b7bd014bd0bcf129305c4,bap-emacs-goodies.0.1 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-mode/0.1,bap-emacs-mode.0.1-f06857371084eb01bbf1461eed1e6df0,bap-emacs-mode.0.1 prep/universes/e34d206d9d5b3491f8d1c4b709bc63d5/bap-frontc/2.1.0,bap-frontc.2.1.0-e34d206d9d5b3491f8d1c4b709bc63d5,bap-frontc.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-frontend/2.1.0,bap-frontend.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-frontend.2.1.0 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-glibc-runtime/2.1.0,bap-glibc-runtime.2.1.0-2a500d99607e6ca7294825aac1dd2939,bap-glibc-runtime.2.1.0 prep/universes/325e15d05a5e83ded28f3667f213493f/bap-llvm/2.1.0,bap-llvm.2.1.0-325e15d05a5e83ded28f3667f213493f,bap-llvm.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-mc/2.1.0,bap-mc.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-mc.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-microx/2.1.0,bap-microx.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-microx.2.1.0 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-mips/2.1.0,bap-mips.2.1.0-2a500d99607e6ca7294825aac1dd2939,bap-mips.2.1.0 prep/universes/9b9d6a1e58f06ca77a6d5a6bcb92fb0b/bap-objdump/2.1.0,bap-objdump.2.1.0-9b9d6a1e58f06ca77a6d5a6bcb92fb0b,bap-objdump.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-optimization/2.1.0,bap-optimization.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-optimization.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-powerpc/2.1.0,bap-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-powerpc.2.1.0 prep/universes/5fb681c121d136e73f4cc7d29da4d44c/bap-primus/2.1.0,bap-primus.2.1.0-5fb681c121d136e73f4cc7d29da4d44c,bap-primus.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-dictionary/2.1.0,bap-primus-dictionary.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-dictionary.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-lisp/2.1.0,bap-primus-lisp.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-lisp.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-powerpc/2.1.0,bap-primus-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-powerpc.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-random/2.1.0,bap-primus-random.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-random.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-region/2.1.0,bap-primus-region.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-region.2.1.0 prep/universes/730842499f9b429a23e91dc4a3adcfdc/bap-primus-support/2.1.0,bap-primus-support.2.1.0-730842499f9b429a23e91dc4a3adcfdc,bap-primus-support.2.1.0 prep/universes/9cd3d9d9e68d2ad665ef8b32705dd930/bap-primus-symbolic-executor/2.1.0,bap-primus-symbolic-executor.2.1.0-9cd3d9d9e68d2ad665ef8b32705dd930,bap-primus-symbolic-executor.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-systems/2.1.0,bap-primus-systems.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-systems.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-test/2.1.0,bap-primus-test.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-test.2.1.0 prep/universes/380077e239bc8efb13c63ac9da2c777a/bap-primus-x86/2.1.0,bap-primus-x86.2.1.0-380077e239bc8efb13c63ac9da2c777a,bap-primus-x86.2.1.0 prep/universes/56a748685f94495095d7a0f3ef442ff6/bap-print/2.1.0,bap-print.2.1.0-56a748685f94495095d7a0f3ef442ff6,bap-print.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-raw/2.1.0,bap-raw.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-raw.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-recipe-command/2.1.0,bap-recipe-command.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-recipe-command.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-relocatable/2.1.0,bap-relocatable.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-relocatable.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-report/2.1.0,bap-report.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-report.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-run/2.1.0,bap-run.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-run.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-ssa/2.1.0,bap-ssa.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-ssa.2.1.0 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bap-strings/2.1.0,bap-strings.2.1.0-77370c2547cbd1a238841fc3ca3f5af5,bap-strings.2.1.0 prep/universes/7c575c056e2098e2925cc3daa8490081/bap-stub-resolver/2.1.0,bap-stub-resolver.2.1.0-7c575c056e2098e2925cc3daa8490081,bap-stub-resolver.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-symbol-reader/2.1.0,bap-symbol-reader.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-symbol-reader.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-taint/2.1.0,bap-taint.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-taint.2.1.0 prep/universes/22fbe55783e1e06c61603cf930c4cb94/bap-taint-propagator/2.1.0,bap-taint-propagator.2.1.0-22fbe55783e1e06c61603cf930c4cb94,bap-taint-propagator.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-term-mapper/2.1.0,bap-term-mapper.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-term-mapper.2.1.0 prep/universes/580b74d5c082e6ee435ea9bc47102841/bap-trace/2.1.0,bap-trace.2.1.0-580b74d5c082e6ee435ea9bc47102841,bap-trace.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-traces/2.1.0,bap-traces.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-traces.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-trivial-condition-form/2.1.0,bap-trivial-condition-form.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-trivial-condition-form.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-warn-unused/2.1.0,bap-warn-unused.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-warn-unused.2.1.0 prep/universes/96c90e12443487544897528bdafe22dd/bap-x86/2.1.0,bap-x86.2.1.0-96c90e12443487544897528bdafe22dd,bap-x86.2.1.0 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bare/2.1.0,bare.2.1.0-77370c2547cbd1a238841fc3ca3f5af5,bare.2.1.0 prep/universes/3dd02b7f1ff56c5bdeb0314620199637/bitstring/3.1.1,bitstring.3.1.1-3dd02b7f1ff56c5bdeb0314620199637,bitstring.3.1.1 prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-bap-llvm/1.8,conf-bap-llvm.1.8-36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-bap-llvm.1.8 prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-binutils/0.2,conf-binutils.0.2-36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-binutils.0.2 prep/universes/f06857371084eb01bbf1461eed1e6df0/FrontC/3.4.3-1,FrontC.3.4.3-1-f06857371084eb01bbf1461eed1e6df0,FrontC.3.4.3-1 prep/universes/caab33bbdf5ae7973c205ec4e68adf4f/z3/4.13.0-3,z3.4.13.0-3-caab33bbdf5ae7973c205ec4e68adf4f,z3.4.13.0-3 prep/universes/5ff4f2b89b9846b2ff14f195b6dcdf95/bap-veri/0.2.5,bap-veri.0.2.5-5ff4f2b89b9846b2ff14f195b6dcdf95,bap-veri.0.2.5; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) ) END-OF-SPEC ocluster-client submit-obuilder https://github.com/ocaml/opam-repository.git 0e1db1f4176121955441dd10fd6470b79d8546a9 --local-file prep.spec \ --pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-prep-4.09.1 \ --secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config 2024-09-12 16:23.52: RETRYING: 2024-09-12/083549-voodoo-prep-b3bc50 Number of retries: 0 (retriable error condition) Building on x86-bm-c3.sw.ocaml.org All commits already cached Updating files: 71% (22997/32043) Updating files: 72% (23071/32043) Updating files: 73% (23392/32043) Updating files: 74% (23712/32043) Updating files: 75% (24033/32043) Updating files: 76% (24353/32043) Updating files: 77% (24674/32043) Updating files: 78% (24994/32043) Updating files: 79% (25314/32043) Updating files: 80% (25635/32043) Updating files: 81% (25955/32043) Updating files: 82% (26276/32043) Updating files: 83% (26596/32043) Updating files: 84% (26917/32043) Updating files: 85% (27237/32043) Updating files: 86% (27557/32043) Updating files: 87% (27878/32043) Updating files: 88% (28198/32043) Updating files: 89% (28519/32043) Updating files: 90% (28839/32043) Updating files: 91% (29160/32043) Updating files: 92% (29480/32043) Updating files: 93% (29800/32043) Updating files: 94% (30121/32043) Updating files: 95% (30441/32043) Updating files: 96% (30762/32043) Updating files: 97% (31082/32043) Updating files: 98% (31403/32043) Updating files: 99% (31723/32043) Updating files: 100% (32043/32043) Updating files: 100% (32043/32043), done. HEAD is now at 0e1db1f417 Apply suggestions from code review (build "tools" …) (from ocaml/opam:debian-12-ocaml-4.09@sha256:7f5540b4c55cec187b443a7a1fa6da9107f0b232dd3acb68a69301a3beb5afdf) 2024-09-12 16:16.41 ---> using "b55902cc9743b3a887ce049aabd4cbf0585a5a1bf4deb0fb10f9c26e35e6ab04" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-09-12 16:16.41 ---> using "71f9ce1a3b4ccb7b0859b568b1362df07b5ddbd299d2317494d04a1c9a4112fc" from cache /home/opam: (run (network host) (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config")) Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index [11.7 kB] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [179 kB] Fetched 295 kB in 0s (1133 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libpkgconf3 pkgconf pkgconf-bin Suggested packages: m4-doc The following NEW packages will be installed: libpkgconf3 m4 pkg-config pkgconf pkgconf-bin 0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 392 kB of archives. After this operation, 969 kB of additional disk space will be used. Get:1 http://deb.debian.org/debian bookworm/main amd64 libpkgconf3 amd64 1.8.1-1 [36.1 kB] Get:2 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get:3 http://deb.debian.org/debian bookworm/main amd64 pkgconf-bin amd64 1.8.1-1 [29.5 kB] Get:4 http://deb.debian.org/debian bookworm/main amd64 pkgconf amd64 1.8.1-1 [25.9 kB] Get:5 http://deb.debian.org/debian bookworm/main amd64 pkg-config amd64 1.8.1-1 [13.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 392 kB in 0s (17.9 MB/s) Selecting previously unselected package libpkgconf3: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 ... 18733 files and directories currently installed.) Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ... Unpacking libpkgconf3:amd64 (1.8.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package pkgconf-bin. Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ... Unpacking pkgconf-bin (1.8.1-1) ... Selecting previously unselected package pkgconf:amd64. Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ... Unpacking pkgconf:amd64 (1.8.1-1) ... Selecting previously unselected package pkg-config:amd64. Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ... Unpacking pkg-config:amd64 (1.8.1-1) ... Setting up m4 (1.4.19-3) ... Setting up libpkgconf3:amd64 (1.8.1-1) ... Setting up pkgconf-bin (1.8.1-1) ... Setting up pkgconf:amd64 (1.8.1-1) ... Setting up pkg-config:amd64 (1.8.1-1) ... Processing triggers for libc-bin (2.36-9+deb12u8) ... 2024-09-12 16:16.41 ---> using "1c7a3536e029c8b3fc603560183257ff3deebb08e52aec54b8a8509d961358ea" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 && opam depext -iy voodoo-prep")) [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo: git] [voodoo] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 This will pin the following packages: voodoo-prep, voodoo-lib, voodoo-gen, voodoo-do. Continue? [Y/n] y Package voodoo-prep does not exist, create as a NEW package? [Y/n] y [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev: git] [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-prep is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-lib does not exist, create as a NEW package? [Y/n] y [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev: git] [voodoo-lib.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-lib is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-gen does not exist, create as a NEW package? [Y/n] y [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev: git] [voodoo-gen.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) Package voodoo-do does not exist, create as a NEW package? [Y/n] y [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev: git] [voodoo-do.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [voodoo-prep.~dev] no changes from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 The following actions will be performed: - install ocamlbuild 0.15.0 [required by bos] - install dune 3.16.0 [required by voodoo-prep] - install ocamlfind 1.9.6 [required by bos] - install cmdliner 1.3.0 [required by voodoo-prep] - install seq base [required by re] - install swhid_core 0.1 [required by opam-core] - install stdlib-shims 0.3.0 [required by ocamlgraph, sha] - install opam-file-format 2.1.6 [required by opam-format] - install topkg 1.0.7 [required by bos] - install re 1.11.0 [required by opam-format] - install sha 1.15.4 [required by opam-core] - install ocamlgraph 2.1.0 [required by opam-core] - install uutf 1.0.3 [required by opam-core] - install rresult 0.7.0 [required by bos] - install fmt 0.9.0 [required by bos] - install astring 0.8.5 [required by bos] - install jsonm 1.0.2 [required by opam-core] - install logs 0.7.0 [required by bos] - install fpath 0.7.3 [required by voodoo-prep] - install opam-core 2.2.1 [required by opam-format] - install bos 0.2.1 [required by voodoo-prep] - install opam-format 2.2.1 [required by voodoo-prep] - install voodoo-prep ~dev* ===== 23 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [bos.0.2.1] found in cache [cmdliner.1.3.0] found in cache [dune.3.16.0] found in cache [fmt.0.9.0] found in cache [fpath.0.7.3] found in cache [jsonm.1.0.2] found in cache [logs.0.7.0] found in cache [ocamlbuild.0.15.0] found in cache [ocamlfind.1.9.6] found in cache [ocamlgraph.2.1.0] found in cache [opam-core.2.2.1] found in cache [opam-file-format.2.1.6] found in cache [opam-format.2.2.1] found in cache [re.1.11.0] found in cache [rresult.0.7.0] found in cache [sha.1.15.4] found in cache [stdlib-shims.0.3.0] found in cache [swhid_core.0.1] found in cache [topkg.1.0.7] found in cache [uutf.1.0.3] found in cache [voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed cmdliner.1.3.0 -> installed ocamlfind.1.9.6 -> installed ocamlbuild.0.15.0 -> installed topkg.1.0.7 -> installed rresult.0.7.0 -> installed uutf.1.0.3 -> installed fmt.0.9.0 -> installed astring.0.8.5 -> installed jsonm.1.0.2 -> installed logs.0.7.0 -> installed fpath.0.7.3 -> installed bos.0.2.1 -> installed dune.3.16.0 -> installed swhid_core.0.1 -> installed stdlib-shims.0.3.0 -> installed opam-file-format.2.1.6 -> installed re.1.11.0 -> installed sha.1.15.4 -> installed ocamlgraph.2.1.0 -> installed opam-core.2.2.1 -> installed opam-format.2.2.1 -> installed voodoo-prep.~dev Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 16:16.41 ---> using "0510d679cbf7167e8bbd80028f1d8c92732a67bc792ee41194fe725ce0268096" from cache /home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam")) 2024-09-12 16:16.41 ---> using "4ebe7e6953506982b1e0dee393e704a24868b9d4e7fd245ada2aa6e159410ad6" from cache 2024-09-12 16:16.41 --> finished "tools" (from ocaml/opam:debian-12-ocaml-4.09@sha256:7f5540b4c55cec187b443a7a1fa6da9107f0b232dd3acb68a69301a3beb5afdf) 2024-09-12 16:16.41 ---> using "b55902cc9743b3a887ce049aabd4cbf0585a5a1bf4deb0fb10f9c26e35e6ab04" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo chown opam:opam /home/opam")) 2024-09-12 16:16.41 ---> using "71f9ce1a3b4ccb7b0859b568b1362df07b5ddbd299d2317494d04a1c9a4112fc" from cache /home/opam: (run (shell "sudo mkdir /src")) 2024-09-12 16:16.41 ---> using "a5759316ee19f595ab697cb7d78a1cbf9f3ce20a515b7e17b72c21896cc35221" from cache /home/opam: (copy (src packages) (dst /src/packages)) 2024-09-12 16:16.43 ---> using "c2e6975ac9747ba671e1257ae367618f654150421f23c996d7ae8a15c3495b60" from cache /home/opam: (copy (src repo) (dst /src/repo)) 2024-09-12 16:16.43 ---> using "ab0a22ede78670cb2008b517269c813b5f8c4a8c18c3f5687d7274fccd89c393" from cache /home/opam: (run (network host) (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then 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. Continue? [Y/n] y 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. Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2024-09-12 16:16.43 ---> using "e9ea80333cfc81e897e4d709c9fd2671cf42b9f73959041e590373f086ef0cb9" from cache /home/opam: (run (shell "opam repo remove default && opam repo add opam /src")) Repositories removed from the selections of switch 4.09. Use '--all' to forget about them altogether. [opam] Initialised [NOTE] Repository opam has been added to the selections of switch 4.09 only. Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively. 2024-09-12 16:16.43 ---> using "505708ea3db2754b29a0125fdbc7afdb085da5884c8cba1a8dab8b2b9550492f" from cache /home/opam: (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/)) 2024-09-12 16:16.43 ---> using "ef732b377a924ce6ce427401bfd5f43fc6ca19eb0d19e0bb55da3e23fa0a7f7a" from cache /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "opam install dune.3.16.0 ocamlfind.1.9.6")) The following actions will be performed: - install dune 3.16.0 - install ocamlfind 1.9.6 ===== 2 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocamlfind.1.9.6 (cached) -> retrieved dune.3.16.0 (cached) -> installed ocamlfind.1.9.6 -> installed dune.3.16.0 Done. # Run eval $(opam env) to update the current shell environment 2024-09-12 16:16.43 ---> using "f0c1a873391670f85b932252c4ea1e74414ed0ebe7e04e21a4be818319fe16bb" from cache /home/opam: (env DUNE_CACHE enabled) /home/opam: (env DUNE_CACHE_TRANSPORT direct) /home/opam: (env DUNE_CACHE_DUPLICATION copy) /home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune))) (network host) (shell "(sudo apt update) && ((opam depext -viy bap-veri.0.2.5 zed.3.2.1 zarith.1.14 z3.4.13.0-3 variantslib.v0.12.0 uutf.1.0.3 uuseg.15.0.0 uuidm.0.9.8 uucp.15.0.0 utop.2.12.1 uri.3.1.0 uchar.0.0.2 typerep.v0.12.0 trie.1.0.0 topkg.1.0.7 time_now.v0.12.0 textutils_kernel.v0.12.0 text-tags.2.1.0 stringext.1.6.0 stdlib-shims.0.3.0 stdio.v0.12.0 splittable_random.v0.12.0 sexplib0.v0.12.0 sexplib.v0.12.0 seq.base result.1.5 regular.2.1.0 react.1.2.2 re.1.11.0 ppxlib.0.8.1 ppx_variants_conv.v0.12.0 ppx_typerep_conv.v0.12.0 ppx_tools_versioned.5.4.0 ppx_stable.v0.12.0 ppx_sexp_value.v0.12.0 ppx_sexp_message.v0.12.0 ppx_sexp_conv.v0.12.0 ppx_pipebang.v0.12.0 ppx_optional.v0.12.0 ppx_optcomp.v0.12.0 ppx_module_timer.v0.12.0 ppx_let.v0.12.0 ppx_js_style.v0.12.0 ppx_jane.v0.12.0 ppx_inline_test.v0.12.0 ppx_here.v0.12.0 ppx_hash.v0.12.0 ppx_fields_conv.v0.12.0 ppx_fail.v0.12.0 ppx_expect.v0.12.0 ppx_enumerate.v0.12.0 ppx_derivers.1.2.1 ppx_custom_printf.v0.12.1 ppx_compare.v0.12.0 ppx_bin_prot.v0.12.1 ppx_bench.v0.12.0 ppx_base.v0.12.0 ppx_assert.v0.12.0 pcre.7.4.6 parsexp.v0.12.0 ounit2.2.2.7 ounit.2.2.7 ogre.2.1.0 octavius.1.2.2 ocplib-endian.1.2 ocamlmod.0.0.9 ocamlify.0.0.1 ocamlgraph.2.1.0 ocamlfind.1.9.6 ocamlbuild.0.15.0 ocaml-migrate-parsetree.1.8.0 ocaml-compiler-libs.v0.12.4 oasis.0.4.11 num.1.5-1 monads.2.1.0 mmap.1.2.0 mew_vi.0.5.0 mew.0.1.0 lwt_react.1.2.0 lwt.5.7.0 logs.0.7.0 lambda-term.3.3.2 jst-config.v0.12.0 jane-street-headers.v0.12.0 graphlib.2.1.0 fileutils.0.6.4 fieldslib.v0.12.0 FrontC.3.4.3-1 dune-configurator.3.16.0 dune.3.16.0 csexp.1.5.2 cppo.1.7.0 core_kernel.v0.12.3 conf-zlib.1 conf-which.1 conf-python-3.9.0.0 conf-pkg-config.3 conf-libpcre.1 conf-gmp.4 conf-env-travis.1 conf-c++.1.0 conf-binutils.0.2 conf-bap-llvm.1.8 cmdliner.1.3.0 camlzip.1.11 bitvec-sexp.2.1.0 bitvec-order.2.1.0 bitvec-binprot.2.1.0 bitvec.2.1.0 bitstring.3.1.1 bin_prot.v0.12.0 bigarray-compat.1.1.0 base_quickcheck.v0.12.1 base_bigstring.v0.12.0 base-bytes.base base.v0.12.2 bare.2.1.0 bap-x86.2.1.0 bap-warn-unused.2.1.0 bap-trivial-condition-form.2.1.0 bap-traces.2.1.0 bap-trace.2.1.0 bap-term-mapper.2.1.0 bap-taint-propagator.2.1.0 bap-taint.2.1.0 bap-symbol-reader.2.1.0 bap-stub-resolver.2.1.0 bap-strings.2.1.0 bap-std.2.1.0 bap-ssa.2.1.0 bap-signatures.2.5.0 bap-run.2.1.0 bap-report.2.1.0 bap-relocatable.2.1.0 bap-recipe-command.2.1.0 bap-recipe.2.1.0 bap-raw.2.1.0 bap-print.2.1.0 bap-primus-x86.2.1.0 bap-primus-test.2.1.0 bap-primus-systems.2.1.0 bap-primus-symbolic-executor.2.1.0 bap-primus-support.2.1.0 bap-primus-region.2.1.0 bap-primus-random.2.1.0 bap-primus-powerpc.2.1.0 bap-primus-lisp.2.1.0 bap-primus-dictionary.2.1.0 bap-primus.2.1.0 bap-powerpc.2.1.0 bap-plugins.2.1.0 bap-optimization.2.1.0 bap-objdump.2.1.0 bap-mips.2.1.0 bap-microx.2.1.0 bap-mc.2.1.0 bap-main.2.1.0 bap-llvm.2.1.0 bap-knowledge.2.1.0 bap-glibc-runtime.2.1.0 bap-future.2.1.0 bap-frontend.2.1.0 bap-frontc.2.1.0 bap-emacs-mode.0.1 bap-emacs-goodies.0.1 bap-emacs-dot.0.1 bap-elf.2.1.0 bap-elementary.2.1.0 bap-dwarf.2.1.0 bap-dump-symbols.2.1.0 bap-disassemble.2.1.0 bap-demangle.2.1.0 bap-cxxfilt.2.1.0 bap-core-theory.2.1.0 bap-constant-tracker.2.1.0 bap-callsites.2.1.0 bap-cache.2.1.0 bap-c.2.1.0 bap-byteweight.2.1.0 bap-bundle.2.1.0 bap-build.2.1.0 bap-bil.2.1.0 bap-beagle.2.1.0 bap-arm.2.1.0 bap-api.2.1.0 bap-abi.2.1.0 bap.2.1.0 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')")) WARNING: apt does not have a stable CLI interface. Use with caution in scripts. Hit:1 http://deb.debian.org/debian bookworm InRelease Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] Get:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index [11.7 kB] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-09-10-2011.55-F-2024-09-10-2011.55.pdiff [1116 B] Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [179 kB] Fetched 295 kB in 0s (1122 kB/s) Reading package lists... Building dependency tree... Reading state information... All packages are up to date. Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y The following actions will be performed: - recompile opam-depext 1.2.3 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved opam-depext.1.2.3 (cached) -> removed opam-depext.1.2.3 -> installed opam-depext.1.2.3 Done. <><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><> => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead # Run eval $(opam env) to update the current shell environment <><> Carrying on to "opam depext -viy bap-veri.0.2.5 zed.3.2.1 zarith.1.14 z3.4.13.0-3 variantslib.v0.12.0 uutf.1.0.3 uuseg.15.0.0 uuidm.0.9.8 uucp.15.0.0 utop.2.12.1 uri.3.1.0 uchar.0.0.2 typerep.v0.12.0 trie.1.0.0 topkg.1.0.7 time_now.v0.12.0 textutils_kernel.v0.12.0 text-tags.2.1.0 stringext.1.6.0 stdlib-shims.0.3.0 stdio.v0.12.0 splittable_random.v0.12.0 sexplib0.v0.12.0 sexplib.v0.12.0 seq.base result.1.5 regular.2.1.0 react.1.2.2 re.1.11.0 ppxlib.0.8.1 ppx_variants_conv.v0.12.0 ppx_typerep_conv.v0.12.0 ppx_tools_versioned.5.4.0 ppx_stable.v0.12.0 ppx_sexp_value.v0.12.0 ppx_sexp_message.v0.12.0 ppx_sexp_conv.v0.12.0 ppx_pipebang.v0.12.0 ppx_optional.v0.12.0 ppx_optcomp.v0.12.0 ppx_module_timer.v0.12.0 ppx_let.v0.12.0 ppx_js_style.v0.12.0 ppx_jane.v0.12.0 ppx_inline_test.v0.12.0 ppx_here.v0.12.0 ppx_hash.v0.12.0 ppx_fields_conv.v0.12.0 ppx_fail.v0.12.0 ppx_expect.v0.12.0 ppx_enumerate.v0.12.0 ppx_derivers.1.2.1 ppx_custom_printf.v0.12.1 ppx_compare.v0.12.0 ppx_bin_prot.v0.12.1 ppx_bench.v0.12.0 ppx_base.v0.12.0 ppx_assert.v0.12.0 pcre.7.4.6 parsexp.v0.12.0 ounit2.2.2.7 ounit.2.2.7 ogre.2.1.0 octavius.1.2.2 ocplib-endian.1.2 ocamlmod.0.0.9 ocamlify.0.0.1 ocamlgraph.2.1.0 ocamlfind.1.9.6 ocamlbuild.0.15.0 ocaml-migrate-parsetree.1.8.0 ocaml-compiler-libs.v0.12.4 oasis.0.4.11 num.1.5-1 monads.2.1.0 mmap.1.2.0 mew_vi.0.5.0 mew.0.1.0 lwt_react.1.2.0 lwt.5.7.0 logs.0.7.0 lambda-term.3.3.2 jst-config.v0.12.0 jane-street-headers.v0.12.0 graphlib.2.1.0 fileutils.0.6.4 fieldslib.v0.12.0 FrontC.3.4.3-1 dune-configurator.3.16.0 dune.3.16.0 csexp.1.5.2 cppo.1.7.0 core_kernel.v0.12.3 conf-zlib.1 conf-which.1 conf-python-3.9.0.0 conf-pkg-config.3 conf-libpcre.1 conf-gmp.4 conf-env-travis.1 conf-c++.1.0 conf-binutils.0.2 conf-bap-llvm.1.8 cmdliner.1.3.0 camlzip.1.11 bitvec-sexp.2.1.0 bitvec-order.2.1.0 bitvec-binprot.2.1.0 bitvec.2.1.0 bitstring.3.1.1 bin_prot.v0.12.0 bigarray-compat.1.1.0 base_quickcheck.v0.12.1 base_bigstring.v0.12.0 base-bytes.base base.v0.12.2 bare.2.1.0 bap-x86.2.1.0 bap-warn-unused.2.1.0 bap-trivial-condition-form.2.1.0 bap-traces.2.1.0 bap-trace.2.1.0 bap-term-mapper.2.1.0 bap-taint-propagator.2.1.0 bap-taint.2.1.0 bap-symbol-reader.2.1.0 bap-stub-resolver.2.1.0 bap-strings.2.1.0 bap-std.2.1.0 bap-ssa.2.1.0 bap-signatures.2.5.0 bap-run.2.1.0 bap-report.2.1.0 bap-relocatable.2.1.0 bap-recipe-command.2.1.0 bap-recipe.2.1.0 bap-raw.2.1.0 bap-print.2.1.0 bap-primus-x86.2.1.0 bap-primus-test.2.1.0 bap-primus-systems.2.1.0 bap-primus-symbolic-executor.2.1.0 bap-primus-support.2.1.0 bap-primus-region.2.1.0 bap-primus-random.2.1.0 bap-primus-powerpc.2.1.0 bap-primus-lisp.2.1.0 bap-primus-dictionary.2.1.0 bap-primus.2.1.0 bap-powerpc.2.1.0 bap-plugins.2.1.0 bap-optimization.2.1.0 bap-objdump.2.1.0 bap-mips.2.1.0 bap-microx.2.1.0 bap-mc.2.1.0 bap-main.2.1.0 bap-llvm.2.1.0 bap-knowledge.2.1.0 bap-glibc-runtime.2.1.0 bap-future.2.1.0 bap-frontend.2.1.0 bap-frontc.2.1.0 bap-emacs-mode.0.1 bap-emacs-goodies.0.1 bap-emacs-dot.0.1 bap-elf.2.1.0 bap-elementary.2.1.0 bap-dwarf.2.1.0 bap-dump-symbols.2.1.0 bap-disassemble.2.1.0 bap-demangle.2.1.0 bap-cxxfilt.2.1.0 bap-core-theory.2.1.0 bap-constant-tracker.2.1.0 bap-callsites.2.1.0 bap-cache.2.1.0 bap-c.2.1.0 bap-byteweight.2.1.0 bap-bundle.2.1.0 bap-build.2.1.0 bap-bil.2.1.0 bap-beagle.2.1.0 bap-arm.2.1.0 bap-api.2.1.0 bap-abi.2.1.0 bap.2.1.0" Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies. # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian [ERROR] No solution for bap-veri.0.2.5 & zed.3.2.1 & zarith.1.14 & z3.4.13.0-3 & variantslib.v0.12.0 & uutf.1.0.3 & uuseg.15.0.0 & uuidm.0.9.8 & uucp.15.0.0 & utop.2.12.1 & uri.3.1.0 & uchar.0.0.2 & typerep.v0.12.0 & trie.1.0.0 & topkg.1.0.7 & time_now.v0.12.0 & textutils_kernel.v0.12.0 & text-tags.2.1.0 & stringext.1.6.0 & stdlib-shims.0.3.0 & stdio.v0.12.0 & splittable_random.v0.12.0 & sexplib0.v0.12.0 & sexplib.v0.12.0 & seq.base & result.1.5 & regular.2.1.0 & react.1.2.2 & re.1.11.0 & ppxlib.0.8.1 & ppx_variants_conv.v0.12.0 & ppx_typerep_conv.v0.12.0 & ppx_tools_versioned.5.4.0 & ppx_stable.v0.12.0 & ppx_sexp_value.v0.12.0 & ppx_sexp_message.v0.12.0 & ppx_sexp_conv.v0.12.0 & ppx_pipebang.v0.12.0 & ppx_optional.v0.12.0 & ppx_optcomp.v0.12.0 & ppx_module_timer.v0.12.0 & ppx_let.v0.12.0 & ppx_js_style.v0.12.0 & ppx_jane.v0.12.0 & ppx_inline_test.v0.12.0 & ppx_here.v0.12.0 & ppx_hash.v0.12.0 & ppx_fields_conv.v0.12.0 & ppx_fail.v0.12.0 & ppx_expect.v0.12.0 & ppx_enumerate.v0.12.0 & ppx_derivers.1.2.1 & ppx_custom_printf.v0.12.1 & ppx_compare.v0.12.0 & ppx_bin_prot.v0.12.1 & ppx_bench.v0.12.0 & ppx_base.v0.12.0 & ppx_assert.v0.12.0 & pcre.7.4.6 & parsexp.v0.12.0 & ounit2.2.2.7 & ounit.2.2.7 & ogre.2.1.0 & octavius.1.2.2 & ocplib-endian.1.2 & ocamlmod.0.0.9 & ocamlify.0.0.1 & ocamlgraph.2.1.0 & ocamlfind.1.9.6 & ocamlbuild.0.15.0 & ocaml-migrate-parsetree.1.8.0 & ocaml-compiler-libs.v0.12.4 & oasis.0.4.11 & num.1.5-1 & monads.2.1.0 & mmap.1.2.0 & mew_vi.0.5.0 & mew.0.1.0 & lwt_react.1.2.0 & lwt.5.7.0 & logs.0.7.0 & lambda-term.3.3.2 & jst-config.v0.12.0 & jane-street-headers.v0.12.0 & graphlib.2.1.0 & fileutils.0.6.4 & fieldslib.v0.12.0 & FrontC.3.4.3-1 & dune-configurator.3.16.0 & dune.3.16.0 & csexp.1.5.2 & cppo.1.7.0 & core_kernel.v0.12.3 & conf-zlib.1 & conf-which.1 & conf-python-3.9.0.0 & conf-pkg-config.3 & conf-libpcre.1 & conf-gmp.4 & conf-env-travis.1 & conf-c++.1.0 & conf-binutils.0.2 & conf-bap-llvm.1.8 & cmdliner.1.3.0 & camlzip.1.11 & bitvec-sexp.2.1.0 & bitvec-order.2.1.0 & bitvec-binprot.2.1.0 & bitvec.2.1.0 & bitstring.3.1.1 & bin_prot.v0.12.0 & bigarray-compat.1.1.0 & base_quickcheck.v0.12.1 & base_bigstring.v0.12.0 & base-bytes.base & base.v0.12.2 & bare.2.1.0 & bap-x86.2.1.0 & bap-warn-unused.2.1.0 & bap-trivial-condition-form.2.1.0 & bap-traces.2.1.0 & bap-trace.2.1.0 & bap-term-mapper.2.1.0 & bap-taint-propagator.2.1.0 & bap-taint.2.1.0 & bap-symbol-reader.2.1.0 & bap-stub-resolver.2.1.0 & bap-strings.2.1.0 & bap-std.2.1.0 & bap-ssa.2.1.0 & bap-signatures.2.5.0 & bap-run.2.1.0 & bap-report.2.1.0 & bap-relocatable.2.1.0 & bap-recipe-command.2.1.0 & bap-recipe.2.1.0 & bap-raw.2.1.0 & bap-print.2.1.0 & bap-primus-x86.2.1.0 & bap-primus-test.2.1.0 & bap-primus-systems.2.1.0 & bap-primus-symbolic-executor.2.1.0 & bap-primus-support.2.1.0 & bap-primus-region.2.1.0 & bap-primus-random.2.1.0 & bap-primus-powerpc.2.1.0 & bap-primus-lisp.2.1.0 & bap-primus-dictionary.2.1.0 & bap-primus.2.1.0 & bap-powerpc.2.1.0 & bap-plugins.2.1.0 & bap-optimization.2.1.0 & bap-objdump.2.1.0 & bap-mips.2.1.0 & bap-microx.2.1.0 & bap-mc.2.1.0 & bap-main.2.1.0 & bap-llvm.2.1.0 & bap-knowledge.2.1.0 & bap-glibc-runtime.2.1.0 & bap-future.2.1.0 & bap-frontend.2.1.0 & bap-frontc.2.1.0 & bap-emacs-mode.0.1 & bap-emacs-goodies.0.1 & bap-emacs-dot.0.1 & bap-elf.2.1.0 & bap-elementary.2.1.0 & bap-dwarf.2.1.0 & bap-dump-symbols.2.1.0 & bap-disassemble.2.1.0 & bap-demangle.2.1.0 & bap-cxxfilt.2.1.0 & bap-core-theory.2.1.0 & bap-constant-tracker.2.1.0 & bap-callsites.2.1.0 & bap-cache.2.1.0 & bap-c.2.1.0 & bap-byteweight.2.1.0 & bap-bundle.2.1.0 & bap-build.2.1.0 & bap-bil.2.1.0 & bap-beagle.2.1.0 & bap-arm.2.1.0 & bap-api.2.1.0 & bap-abi.2.1.0 & bap.2.1.0: * Missing dependency: - conf-bap-llvm >= 1.1 depends on the unavailable system package 'llvm-9-dev'. Use `--no-depexts' to attempt installation anyway, or it is possible that a depext package name in the opam file is incorrect. Command failed: opam --cli=2.1 list --readonly --external '--resolve=bap-veri.0.2.5,zed.3.2.1,zarith.1.14,z3.4.13.0-3,variantslib.v0.12.0,uutf.1.0.3,uuseg.15.0.0,uuidm.0.9.8,uucp.15.0.0,utop.2.12.1,uri.3.1.0,uchar.0.0.2,typerep.v0.12.0,trie.1.0.0,topkg.1.0.7,time_now.v0.12.0,textutils_kernel.v0.12.0,text-tags.2.1.0,stringext.1.6.0,stdlib-shims.0.3.0,stdio.v0.12.0,splittable_random.v0.12.0,sexplib0.v0.12.0,sexplib.v0.12.0,seq.base,result.1.5,regular.2.1.0,react.1.2.2,re.1.11.0,ppxlib.0.8.1,ppx_variants_conv.v0.12.0,ppx_typerep_conv.v0.12.0,ppx_tools_versioned.5.4.0,ppx_stable.v0.12.0,ppx_sexp_value.v0.12.0,ppx_sexp_message.v0.12.0,ppx_sexp_conv.v0.12.0,ppx_pipebang.v0.12.0,ppx_optional.v0.12.0,ppx_optcomp.v0.12.0,ppx_module_timer.v0.12.0,ppx_let.v0.12.0,ppx_js_style.v0.12.0,ppx_jane.v0.12.0,ppx_inline_test.v0.12.0,ppx_here.v0.12.0,ppx_hash.v0.12.0,ppx_fields_conv.v0.12.0,ppx_fail.v0.12.0,ppx_expect.v0.12.0,ppx_enumerate.v0.12.0,ppx_derivers.1.2.1,ppx_custom_printf.v0.12.1,ppx_compare.v0.12.0,ppx_bin_prot.v0.12.1,ppx_bench.v0.12.0,ppx_base.v0.12.0,ppx_assert.v0.12.0,pcre.7.4.6,parsexp.v0.12.0,ounit2.2.2.7,ounit.2.2.7,ogre.2.1.0,octavius.1.2.2,ocplib-endian.1.2,ocamlmod.0.0.9,ocamlify.0.0.1,ocamlgraph.2.1.0,ocamlfind.1.9.6,ocamlbuild.0.15.0,ocaml-migrate-parsetree.1.8.0,ocaml-compiler-libs.v0.12.4,oasis.0.4.11,num.1.5-1,monads.2.1.0,mmap.1.2.0,mew_vi.0.5.0,mew.0.1.0,lwt_react.1.2.0,lwt.5.7.0,logs.0.7.0,lambda-term.3.3.2,jst-config.v0.12.0,jane-street-headers.v0.12.0,graphlib.2.1.0,fileutils.0.6.4,fieldslib.v0.12.0,FrontC.3.4.3-1,dune-configurator.3.16.0,dune.3.16.0,csexp.1.5.2,cppo.1.7.0,core_kernel.v0.12.3,conf-zlib.1,conf-which.1,conf-python-3.9.0.0,conf-pkg-config.3,conf-libpcre.1,conf-gmp.4,conf-env-travis.1,conf-c++.1.0,conf-binutils.0.2,conf-bap-llvm.1.8,cmdliner.1.3.0,camlzip.1.11,bitvec-sexp.2.1.0,bitvec-order.2.1.0,bitvec-binprot.2.1.0,bitvec.2.1.0,bitstring.3.1.1,bin_prot.v0.12.0,bigarray-compat.1.1.0,base_quickcheck.v0.12.1,base_bigstring.v0.12.0,base-bytes.base,base.v0.12.2,bare.2.1.0,bap-x86.2.1.0,bap-warn-unused.2.1.0,bap-trivial-condition-form.2.1.0,bap-traces.2.1.0,bap-trace.2.1.0,bap-term-mapper.2.1.0,bap-taint-propagator.2.1.0,bap-taint.2.1.0,bap-symbol-reader.2.1.0,bap-stub-resolver.2.1.0,bap-strings.2.1.0,bap-std.2.1.0,bap-ssa.2.1.0,bap-signatures.2.5.0,bap-run.2.1.0,bap-report.2.1.0,bap-relocatable.2.1.0,bap-recipe-command.2.1.0,bap-recipe.2.1.0,bap-raw.2.1.0,bap-print.2.1.0,bap-primus-x86.2.1.0,bap-primus-test.2.1.0,bap-primus-systems.2.1.0,bap-primus-symbolic-executor.2.1.0,bap-primus-support.2.1.0,bap-primus-region.2.1.0,bap-primus-random.2.1.0,bap-primus-powerpc.2.1.0,bap-primus-lisp.2.1.0,bap-primus-dictionary.2.1.0,bap-primus.2.1.0,bap-powerpc.2.1.0,bap-plugins.2.1.0,bap-optimization.2.1.0,bap-objdump.2.1.0,bap-mips.2.1.0,bap-microx.2.1.0,bap-mc.2.1.0,bap-main.2.1.0,bap-llvm.2.1.0,bap-knowledge.2.1.0,bap-glibc-runtime.2.1.0,bap-future.2.1.0,bap-frontend.2.1.0,bap-frontc.2.1.0,bap-emacs-mode.0.1,bap-emacs-goodies.0.1,bap-emacs-dot.0.1,bap-elf.2.1.0,bap-elementary.2.1.0,bap-dwarf.2.1.0,bap-dump-symbols.2.1.0,bap-disassemble.2.1.0,bap-demangle.2.1.0,bap-cxxfilt.2.1.0,bap-core-theory.2.1.0,bap-constant-tracker.2.1.0,bap-callsites.2.1.0,bap-cache.2.1.0,bap-c.2.1.0,bap-byteweight.2.1.0,bap-bundle.2.1.0,bap-build.2.1.0,bap-bil.2.1.0,bap-beagle.2.1.0,bap-arm.2.1.0,bap-api.2.1.0,bap-abi.2.1.0,bap.2.1.0' --color=never returned 20 2024-09-12 16:17.12 ---> saved as "947d1465ce9504b5f443880030e907c23ebe643835fbff6371d583b2e8c6acfe" /home/opam: (run (shell "opam exec -- ~/voodoo-prep -u bap-veri:5ff4f2b89b9846b2ff14f195b6dcdf95,z3:caab33bbdf5ae7973c205ec4e68adf4f,FrontC:f06857371084eb01bbf1461eed1e6df0,conf-binutils:36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-bap-llvm:36cc8c3f38850ddc44aa1c5bb41a3b1e,bitstring:3dd02b7f1ff56c5bdeb0314620199637,bare:77370c2547cbd1a238841fc3ca3f5af5,bap-x86:96c90e12443487544897528bdafe22dd,bap-warn-unused:7fce3222fc9670fabe8d252ac7293601,bap-trivial-condition-form:7fce3222fc9670fabe8d252ac7293601,bap-traces:7fce3222fc9670fabe8d252ac7293601,bap-trace:580b74d5c082e6ee435ea9bc47102841,bap-term-mapper:7fce3222fc9670fabe8d252ac7293601,bap-taint-propagator:22fbe55783e1e06c61603cf930c4cb94,bap-taint:0f2cd63048850b968bbca92eb55fe310,bap-symbol-reader:7fce3222fc9670fabe8d252ac7293601,bap-stub-resolver:7c575c056e2098e2925cc3daa8490081,bap-strings:77370c2547cbd1a238841fc3ca3f5af5,bap-ssa:7fce3222fc9670fabe8d252ac7293601,bap-run:0f2cd63048850b968bbca92eb55fe310,bap-report:7fce3222fc9670fabe8d252ac7293601,bap-relocatable:7fce3222fc9670fabe8d252ac7293601,bap-recipe-command:7fce3222fc9670fabe8d252ac7293601,bap-raw:7fce3222fc9670fabe8d252ac7293601,bap-print:56a748685f94495095d7a0f3ef442ff6,bap-primus-x86:380077e239bc8efb13c63ac9da2c777a,bap-primus-test:0f2cd63048850b968bbca92eb55fe310,bap-primus-systems:0f2cd63048850b968bbca92eb55fe310,bap-primus-symbolic-executor:9cd3d9d9e68d2ad665ef8b32705dd930,bap-primus-support:730842499f9b429a23e91dc4a3adcfdc,bap-primus-region:0f2cd63048850b968bbca92eb55fe310,bap-primus-random:0f2cd63048850b968bbca92eb55fe310,bap-primus-powerpc:0f2cd63048850b968bbca92eb55fe310,bap-primus-lisp:0f2cd63048850b968bbca92eb55fe310,bap-primus-dictionary:0f2cd63048850b968bbca92eb55fe310,bap-primus:5fb681c121d136e73f4cc7d29da4d44c,bap-powerpc:0f2cd63048850b968bbca92eb55fe310,bap-optimization:7fce3222fc9670fabe8d252ac7293601,bap-objdump:9b9d6a1e58f06ca77a6d5a6bcb92fb0b,bap-mips:2a500d99607e6ca7294825aac1dd2939,bap-microx:7fce3222fc9670fabe8d252ac7293601,bap-mc:7fce3222fc9670fabe8d252ac7293601,bap-llvm:325e15d05a5e83ded28f3667f213493f,bap-glibc-runtime:2a500d99607e6ca7294825aac1dd2939,bap-frontend:7fce3222fc9670fabe8d252ac7293601,bap-frontc:e34d206d9d5b3491f8d1c4b709bc63d5,bap-emacs-mode:f06857371084eb01bbf1461eed1e6df0,bap-emacs-goodies:89052062867b7bd014bd0bcf129305c4,bap-emacs-dot:f06857371084eb01bbf1461eed1e6df0,bap-elf:7cb0ed7cab2c25f7854ef61614ee54ca,bap-elementary:7fce3222fc9670fabe8d252ac7293601,bap-dwarf:7fce3222fc9670fabe8d252ac7293601,bap-dump-symbols:7fce3222fc9670fabe8d252ac7293601,bap-disassemble:7fce3222fc9670fabe8d252ac7293601,bap-demangle:7fce3222fc9670fabe8d252ac7293601,bap-cxxfilt:4b6613aa5a92bd236514b782089ca3f8,bap-constant-tracker:0f2cd63048850b968bbca92eb55fe310,bap-callsites:7fce3222fc9670fabe8d252ac7293601,bap-cache:7fce3222fc9670fabe8d252ac7293601,bap-c:db19270f074bbd06b88e62c17b2ac3ef,bap-bil:7fce3222fc9670fabe8d252ac7293601,bap-beagle:d56cd9d7b5f634e508a87b0075046b0a,bap-arm:96c90e12443487544897528bdafe22dd,bap-api:7fce3222fc9670fabe8d252ac7293601,bap-abi:7fce3222fc9670fabe8d252ac7293601,bap:ae869ebd6c849e928f222691de6d8a3f")) 2024-09-12 16:17.13 ---> saved as "bd7e45f9d40cf5d3505598b6f78165819e061fa75a98d225ce94a33fc0a27a3a" /home/opam: (run (network host) (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config))) (shell "(echo '0.254279') && (for DATA in prep/universes/ae869ebd6c849e928f222691de6d8a3f/bap/2.1.0,bap.2.1.0-ae869ebd6c849e928f222691de6d8a3f,bap.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-abi/2.1.0,bap-abi.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-abi.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-api/2.1.0,bap-api.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-api.2.1.0 prep/universes/96c90e12443487544897528bdafe22dd/bap-arm/2.1.0,bap-arm.2.1.0-96c90e12443487544897528bdafe22dd,bap-arm.2.1.0 prep/universes/d56cd9d7b5f634e508a87b0075046b0a/bap-beagle/2.1.0,bap-beagle.2.1.0-d56cd9d7b5f634e508a87b0075046b0a,bap-beagle.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-bil/2.1.0,bap-bil.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-bil.2.1.0 prep/universes/db19270f074bbd06b88e62c17b2ac3ef/bap-c/2.1.0,bap-c.2.1.0-db19270f074bbd06b88e62c17b2ac3ef,bap-c.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-cache/2.1.0,bap-cache.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-cache.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-callsites/2.1.0,bap-callsites.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-callsites.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-constant-tracker/2.1.0,bap-constant-tracker.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-constant-tracker.2.1.0 prep/universes/4b6613aa5a92bd236514b782089ca3f8/bap-cxxfilt/2.1.0,bap-cxxfilt.2.1.0-4b6613aa5a92bd236514b782089ca3f8,bap-cxxfilt.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-demangle/2.1.0,bap-demangle.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-demangle.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-disassemble/2.1.0,bap-disassemble.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-disassemble.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dump-symbols/2.1.0,bap-dump-symbols.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-dump-symbols.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dwarf/2.1.0,bap-dwarf.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-dwarf.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-elementary/2.1.0,bap-elementary.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-elementary.2.1.0 prep/universes/7cb0ed7cab2c25f7854ef61614ee54ca/bap-elf/2.1.0,bap-elf.2.1.0-7cb0ed7cab2c25f7854ef61614ee54ca,bap-elf.2.1.0 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-dot/0.1,bap-emacs-dot.0.1-f06857371084eb01bbf1461eed1e6df0,bap-emacs-dot.0.1 prep/universes/89052062867b7bd014bd0bcf129305c4/bap-emacs-goodies/0.1,bap-emacs-goodies.0.1-89052062867b7bd014bd0bcf129305c4,bap-emacs-goodies.0.1 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-mode/0.1,bap-emacs-mode.0.1-f06857371084eb01bbf1461eed1e6df0,bap-emacs-mode.0.1 prep/universes/e34d206d9d5b3491f8d1c4b709bc63d5/bap-frontc/2.1.0,bap-frontc.2.1.0-e34d206d9d5b3491f8d1c4b709bc63d5,bap-frontc.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-frontend/2.1.0,bap-frontend.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-frontend.2.1.0 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-glibc-runtime/2.1.0,bap-glibc-runtime.2.1.0-2a500d99607e6ca7294825aac1dd2939,bap-glibc-runtime.2.1.0 prep/universes/325e15d05a5e83ded28f3667f213493f/bap-llvm/2.1.0,bap-llvm.2.1.0-325e15d05a5e83ded28f3667f213493f,bap-llvm.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-mc/2.1.0,bap-mc.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-mc.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-microx/2.1.0,bap-microx.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-microx.2.1.0 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-mips/2.1.0,bap-mips.2.1.0-2a500d99607e6ca7294825aac1dd2939,bap-mips.2.1.0 prep/universes/9b9d6a1e58f06ca77a6d5a6bcb92fb0b/bap-objdump/2.1.0,bap-objdump.2.1.0-9b9d6a1e58f06ca77a6d5a6bcb92fb0b,bap-objdump.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-optimization/2.1.0,bap-optimization.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-optimization.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-powerpc/2.1.0,bap-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-powerpc.2.1.0 prep/universes/5fb681c121d136e73f4cc7d29da4d44c/bap-primus/2.1.0,bap-primus.2.1.0-5fb681c121d136e73f4cc7d29da4d44c,bap-primus.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-dictionary/2.1.0,bap-primus-dictionary.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-dictionary.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-lisp/2.1.0,bap-primus-lisp.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-lisp.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-powerpc/2.1.0,bap-primus-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-powerpc.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-random/2.1.0,bap-primus-random.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-random.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-region/2.1.0,bap-primus-region.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-region.2.1.0 prep/universes/730842499f9b429a23e91dc4a3adcfdc/bap-primus-support/2.1.0,bap-primus-support.2.1.0-730842499f9b429a23e91dc4a3adcfdc,bap-primus-support.2.1.0 prep/universes/9cd3d9d9e68d2ad665ef8b32705dd930/bap-primus-symbolic-executor/2.1.0,bap-primus-symbolic-executor.2.1.0-9cd3d9d9e68d2ad665ef8b32705dd930,bap-primus-symbolic-executor.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-systems/2.1.0,bap-primus-systems.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-systems.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-test/2.1.0,bap-primus-test.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-test.2.1.0 prep/universes/380077e239bc8efb13c63ac9da2c777a/bap-primus-x86/2.1.0,bap-primus-x86.2.1.0-380077e239bc8efb13c63ac9da2c777a,bap-primus-x86.2.1.0 prep/universes/56a748685f94495095d7a0f3ef442ff6/bap-print/2.1.0,bap-print.2.1.0-56a748685f94495095d7a0f3ef442ff6,bap-print.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-raw/2.1.0,bap-raw.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-raw.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-recipe-command/2.1.0,bap-recipe-command.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-recipe-command.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-relocatable/2.1.0,bap-relocatable.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-relocatable.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-report/2.1.0,bap-report.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-report.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-run/2.1.0,bap-run.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-run.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-ssa/2.1.0,bap-ssa.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-ssa.2.1.0 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bap-strings/2.1.0,bap-strings.2.1.0-77370c2547cbd1a238841fc3ca3f5af5,bap-strings.2.1.0 prep/universes/7c575c056e2098e2925cc3daa8490081/bap-stub-resolver/2.1.0,bap-stub-resolver.2.1.0-7c575c056e2098e2925cc3daa8490081,bap-stub-resolver.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-symbol-reader/2.1.0,bap-symbol-reader.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-symbol-reader.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-taint/2.1.0,bap-taint.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-taint.2.1.0 prep/universes/22fbe55783e1e06c61603cf930c4cb94/bap-taint-propagator/2.1.0,bap-taint-propagator.2.1.0-22fbe55783e1e06c61603cf930c4cb94,bap-taint-propagator.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-term-mapper/2.1.0,bap-term-mapper.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-term-mapper.2.1.0 prep/universes/580b74d5c082e6ee435ea9bc47102841/bap-trace/2.1.0,bap-trace.2.1.0-580b74d5c082e6ee435ea9bc47102841,bap-trace.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-traces/2.1.0,bap-traces.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-traces.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-trivial-condition-form/2.1.0,bap-trivial-condition-form.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-trivial-condition-form.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-warn-unused/2.1.0,bap-warn-unused.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-warn-unused.2.1.0 prep/universes/96c90e12443487544897528bdafe22dd/bap-x86/2.1.0,bap-x86.2.1.0-96c90e12443487544897528bdafe22dd,bap-x86.2.1.0 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bare/2.1.0,bare.2.1.0-77370c2547cbd1a238841fc3ca3f5af5,bare.2.1.0 prep/universes/3dd02b7f1ff56c5bdeb0314620199637/bitstring/3.1.1,bitstring.3.1.1-3dd02b7f1ff56c5bdeb0314620199637,bitstring.3.1.1 prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-bap-llvm/1.8,conf-bap-llvm.1.8-36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-bap-llvm.1.8 prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-binutils/0.2,conf-binutils.0.2-36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-binutils.0.2 prep/universes/f06857371084eb01bbf1461eed1e6df0/FrontC/3.4.3-1,FrontC.3.4.3-1-f06857371084eb01bbf1461eed1e6df0,FrontC.3.4.3-1 prep/universes/caab33bbdf5ae7973c205ec4e68adf4f/z3/4.13.0-3,z3.4.13.0-3-caab33bbdf5ae7973c205ec4e68adf4f,z3.4.13.0-3 prep/universes/5ff4f2b89b9846b2ff14f195b6dcdf95/bap-veri/0.2.5,bap-veri.0.2.5-5ff4f2b89b9846b2ff14f195b6dcdf95,bap-veri.0.2.5; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/* && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/ae869ebd6c849e928f222691de6d8a3f/bap/2.1.0,bap.2.1.0-ae869ebd6c849e928f222691de6d8a3f,bap.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-abi/2.1.0,bap-abi.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-abi.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-api/2.1.0,bap-api.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-api.2.1.0 prep/universes/96c90e12443487544897528bdafe22dd/bap-arm/2.1.0,bap-arm.2.1.0-96c90e12443487544897528bdafe22dd,bap-arm.2.1.0 prep/universes/d56cd9d7b5f634e508a87b0075046b0a/bap-beagle/2.1.0,bap-beagle.2.1.0-d56cd9d7b5f634e508a87b0075046b0a,bap-beagle.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-bil/2.1.0,bap-bil.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-bil.2.1.0 prep/universes/db19270f074bbd06b88e62c17b2ac3ef/bap-c/2.1.0,bap-c.2.1.0-db19270f074bbd06b88e62c17b2ac3ef,bap-c.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-cache/2.1.0,bap-cache.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-cache.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-callsites/2.1.0,bap-callsites.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-callsites.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-constant-tracker/2.1.0,bap-constant-tracker.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-constant-tracker.2.1.0 prep/universes/4b6613aa5a92bd236514b782089ca3f8/bap-cxxfilt/2.1.0,bap-cxxfilt.2.1.0-4b6613aa5a92bd236514b782089ca3f8,bap-cxxfilt.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-demangle/2.1.0,bap-demangle.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-demangle.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-disassemble/2.1.0,bap-disassemble.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-disassemble.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dump-symbols/2.1.0,bap-dump-symbols.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-dump-symbols.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dwarf/2.1.0,bap-dwarf.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-dwarf.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-elementary/2.1.0,bap-elementary.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-elementary.2.1.0 prep/universes/7cb0ed7cab2c25f7854ef61614ee54ca/bap-elf/2.1.0,bap-elf.2.1.0-7cb0ed7cab2c25f7854ef61614ee54ca,bap-elf.2.1.0 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-dot/0.1,bap-emacs-dot.0.1-f06857371084eb01bbf1461eed1e6df0,bap-emacs-dot.0.1 prep/universes/89052062867b7bd014bd0bcf129305c4/bap-emacs-goodies/0.1,bap-emacs-goodies.0.1-89052062867b7bd014bd0bcf129305c4,bap-emacs-goodies.0.1 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-mode/0.1,bap-emacs-mode.0.1-f06857371084eb01bbf1461eed1e6df0,bap-emacs-mode.0.1 prep/universes/e34d206d9d5b3491f8d1c4b709bc63d5/bap-frontc/2.1.0,bap-frontc.2.1.0-e34d206d9d5b3491f8d1c4b709bc63d5,bap-frontc.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-frontend/2.1.0,bap-frontend.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-frontend.2.1.0 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-glibc-runtime/2.1.0,bap-glibc-runtime.2.1.0-2a500d99607e6ca7294825aac1dd2939,bap-glibc-runtime.2.1.0 prep/universes/325e15d05a5e83ded28f3667f213493f/bap-llvm/2.1.0,bap-llvm.2.1.0-325e15d05a5e83ded28f3667f213493f,bap-llvm.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-mc/2.1.0,bap-mc.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-mc.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-microx/2.1.0,bap-microx.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-microx.2.1.0 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-mips/2.1.0,bap-mips.2.1.0-2a500d99607e6ca7294825aac1dd2939,bap-mips.2.1.0 prep/universes/9b9d6a1e58f06ca77a6d5a6bcb92fb0b/bap-objdump/2.1.0,bap-objdump.2.1.0-9b9d6a1e58f06ca77a6d5a6bcb92fb0b,bap-objdump.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-optimization/2.1.0,bap-optimization.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-optimization.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-powerpc/2.1.0,bap-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-powerpc.2.1.0 prep/universes/5fb681c121d136e73f4cc7d29da4d44c/bap-primus/2.1.0,bap-primus.2.1.0-5fb681c121d136e73f4cc7d29da4d44c,bap-primus.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-dictionary/2.1.0,bap-primus-dictionary.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-dictionary.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-lisp/2.1.0,bap-primus-lisp.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-lisp.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-powerpc/2.1.0,bap-primus-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-powerpc.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-random/2.1.0,bap-primus-random.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-random.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-region/2.1.0,bap-primus-region.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-region.2.1.0 prep/universes/730842499f9b429a23e91dc4a3adcfdc/bap-primus-support/2.1.0,bap-primus-support.2.1.0-730842499f9b429a23e91dc4a3adcfdc,bap-primus-support.2.1.0 prep/universes/9cd3d9d9e68d2ad665ef8b32705dd930/bap-primus-symbolic-executor/2.1.0,bap-primus-symbolic-executor.2.1.0-9cd3d9d9e68d2ad665ef8b32705dd930,bap-primus-symbolic-executor.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-systems/2.1.0,bap-primus-systems.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-systems.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-test/2.1.0,bap-primus-test.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-test.2.1.0 prep/universes/380077e239bc8efb13c63ac9da2c777a/bap-primus-x86/2.1.0,bap-primus-x86.2.1.0-380077e239bc8efb13c63ac9da2c777a,bap-primus-x86.2.1.0 prep/universes/56a748685f94495095d7a0f3ef442ff6/bap-print/2.1.0,bap-print.2.1.0-56a748685f94495095d7a0f3ef442ff6,bap-print.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-raw/2.1.0,bap-raw.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-raw.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-recipe-command/2.1.0,bap-recipe-command.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-recipe-command.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-relocatable/2.1.0,bap-relocatable.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-relocatable.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-report/2.1.0,bap-report.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-report.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-run/2.1.0,bap-run.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-run.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-ssa/2.1.0,bap-ssa.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-ssa.2.1.0 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bap-strings/2.1.0,bap-strings.2.1.0-77370c2547cbd1a238841fc3ca3f5af5,bap-strings.2.1.0 prep/universes/7c575c056e2098e2925cc3daa8490081/bap-stub-resolver/2.1.0,bap-stub-resolver.2.1.0-7c575c056e2098e2925cc3daa8490081,bap-stub-resolver.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-symbol-reader/2.1.0,bap-symbol-reader.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-symbol-reader.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-taint/2.1.0,bap-taint.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-taint.2.1.0 prep/universes/22fbe55783e1e06c61603cf930c4cb94/bap-taint-propagator/2.1.0,bap-taint-propagator.2.1.0-22fbe55783e1e06c61603cf930c4cb94,bap-taint-propagator.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-term-mapper/2.1.0,bap-term-mapper.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-term-mapper.2.1.0 prep/universes/580b74d5c082e6ee435ea9bc47102841/bap-trace/2.1.0,bap-trace.2.1.0-580b74d5c082e6ee435ea9bc47102841,bap-trace.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-traces/2.1.0,bap-traces.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-traces.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-trivial-condition-form/2.1.0,bap-trivial-condition-form.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-trivial-condition-form.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-warn-unused/2.1.0,bap-warn-unused.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-warn-unused.2.1.0 prep/universes/96c90e12443487544897528bdafe22dd/bap-x86/2.1.0,bap-x86.2.1.0-96c90e12443487544897528bdafe22dd,bap-x86.2.1.0 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bare/2.1.0,bare.2.1.0-77370c2547cbd1a238841fc3ca3f5af5,bare.2.1.0 prep/universes/3dd02b7f1ff56c5bdeb0314620199637/bitstring/3.1.1,bitstring.3.1.1-3dd02b7f1ff56c5bdeb0314620199637,bitstring.3.1.1 prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-bap-llvm/1.8,conf-bap-llvm.1.8-36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-bap-llvm.1.8 prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-binutils/0.2,conf-binutils.0.2-36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-binutils.0.2 prep/universes/f06857371084eb01bbf1461eed1e6df0/FrontC/3.4.3-1,FrontC.3.4.3-1-f06857371084eb01bbf1461eed1e6df0,FrontC.3.4.3-1 prep/universes/caab33bbdf5ae7973c205ec4e68adf4f/z3/4.13.0-3,z3.4.13.0-3-caab33bbdf5ae7973c205ec4e68adf4f,z3.4.13.0-3 prep/universes/5ff4f2b89b9846b2ff14f195b6dcdf95/bap-veri/0.2.5,bap-veri.0.2.5-5ff4f2b89b9846b2ff14f195b6dcdf95,bap-veri.0.2.5; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/ae869ebd6c849e928f222691de6d8a3f/bap/2.1.0,bap.2.1.0-ae869ebd6c849e928f222691de6d8a3f,bap.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-abi/2.1.0,bap-abi.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-abi.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-api/2.1.0,bap-api.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-api.2.1.0 prep/universes/96c90e12443487544897528bdafe22dd/bap-arm/2.1.0,bap-arm.2.1.0-96c90e12443487544897528bdafe22dd,bap-arm.2.1.0 prep/universes/d56cd9d7b5f634e508a87b0075046b0a/bap-beagle/2.1.0,bap-beagle.2.1.0-d56cd9d7b5f634e508a87b0075046b0a,bap-beagle.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-bil/2.1.0,bap-bil.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-bil.2.1.0 prep/universes/db19270f074bbd06b88e62c17b2ac3ef/bap-c/2.1.0,bap-c.2.1.0-db19270f074bbd06b88e62c17b2ac3ef,bap-c.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-cache/2.1.0,bap-cache.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-cache.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-callsites/2.1.0,bap-callsites.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-callsites.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-constant-tracker/2.1.0,bap-constant-tracker.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-constant-tracker.2.1.0 prep/universes/4b6613aa5a92bd236514b782089ca3f8/bap-cxxfilt/2.1.0,bap-cxxfilt.2.1.0-4b6613aa5a92bd236514b782089ca3f8,bap-cxxfilt.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-demangle/2.1.0,bap-demangle.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-demangle.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-disassemble/2.1.0,bap-disassemble.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-disassemble.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dump-symbols/2.1.0,bap-dump-symbols.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-dump-symbols.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dwarf/2.1.0,bap-dwarf.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-dwarf.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-elementary/2.1.0,bap-elementary.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-elementary.2.1.0 prep/universes/7cb0ed7cab2c25f7854ef61614ee54ca/bap-elf/2.1.0,bap-elf.2.1.0-7cb0ed7cab2c25f7854ef61614ee54ca,bap-elf.2.1.0 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-dot/0.1,bap-emacs-dot.0.1-f06857371084eb01bbf1461eed1e6df0,bap-emacs-dot.0.1 prep/universes/89052062867b7bd014bd0bcf129305c4/bap-emacs-goodies/0.1,bap-emacs-goodies.0.1-89052062867b7bd014bd0bcf129305c4,bap-emacs-goodies.0.1 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-mode/0.1,bap-emacs-mode.0.1-f06857371084eb01bbf1461eed1e6df0,bap-emacs-mode.0.1 prep/universes/e34d206d9d5b3491f8d1c4b709bc63d5/bap-frontc/2.1.0,bap-frontc.2.1.0-e34d206d9d5b3491f8d1c4b709bc63d5,bap-frontc.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-frontend/2.1.0,bap-frontend.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-frontend.2.1.0 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-glibc-runtime/2.1.0,bap-glibc-runtime.2.1.0-2a500d99607e6ca7294825aac1dd2939,bap-glibc-runtime.2.1.0 prep/universes/325e15d05a5e83ded28f3667f213493f/bap-llvm/2.1.0,bap-llvm.2.1.0-325e15d05a5e83ded28f3667f213493f,bap-llvm.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-mc/2.1.0,bap-mc.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-mc.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-microx/2.1.0,bap-microx.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-microx.2.1.0 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-mips/2.1.0,bap-mips.2.1.0-2a500d99607e6ca7294825aac1dd2939,bap-mips.2.1.0 prep/universes/9b9d6a1e58f06ca77a6d5a6bcb92fb0b/bap-objdump/2.1.0,bap-objdump.2.1.0-9b9d6a1e58f06ca77a6d5a6bcb92fb0b,bap-objdump.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-optimization/2.1.0,bap-optimization.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-optimization.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-powerpc/2.1.0,bap-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-powerpc.2.1.0 prep/universes/5fb681c121d136e73f4cc7d29da4d44c/bap-primus/2.1.0,bap-primus.2.1.0-5fb681c121d136e73f4cc7d29da4d44c,bap-primus.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-dictionary/2.1.0,bap-primus-dictionary.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-dictionary.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-lisp/2.1.0,bap-primus-lisp.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-lisp.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-powerpc/2.1.0,bap-primus-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-powerpc.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-random/2.1.0,bap-primus-random.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-random.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-region/2.1.0,bap-primus-region.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-region.2.1.0 prep/universes/730842499f9b429a23e91dc4a3adcfdc/bap-primus-support/2.1.0,bap-primus-support.2.1.0-730842499f9b429a23e91dc4a3adcfdc,bap-primus-support.2.1.0 prep/universes/9cd3d9d9e68d2ad665ef8b32705dd930/bap-primus-symbolic-executor/2.1.0,bap-primus-symbolic-executor.2.1.0-9cd3d9d9e68d2ad665ef8b32705dd930,bap-primus-symbolic-executor.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-systems/2.1.0,bap-primus-systems.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-systems.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-test/2.1.0,bap-primus-test.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-primus-test.2.1.0 prep/universes/380077e239bc8efb13c63ac9da2c777a/bap-primus-x86/2.1.0,bap-primus-x86.2.1.0-380077e239bc8efb13c63ac9da2c777a,bap-primus-x86.2.1.0 prep/universes/56a748685f94495095d7a0f3ef442ff6/bap-print/2.1.0,bap-print.2.1.0-56a748685f94495095d7a0f3ef442ff6,bap-print.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-raw/2.1.0,bap-raw.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-raw.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-recipe-command/2.1.0,bap-recipe-command.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-recipe-command.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-relocatable/2.1.0,bap-relocatable.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-relocatable.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-report/2.1.0,bap-report.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-report.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-run/2.1.0,bap-run.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-run.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-ssa/2.1.0,bap-ssa.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-ssa.2.1.0 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bap-strings/2.1.0,bap-strings.2.1.0-77370c2547cbd1a238841fc3ca3f5af5,bap-strings.2.1.0 prep/universes/7c575c056e2098e2925cc3daa8490081/bap-stub-resolver/2.1.0,bap-stub-resolver.2.1.0-7c575c056e2098e2925cc3daa8490081,bap-stub-resolver.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-symbol-reader/2.1.0,bap-symbol-reader.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-symbol-reader.2.1.0 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-taint/2.1.0,bap-taint.2.1.0-0f2cd63048850b968bbca92eb55fe310,bap-taint.2.1.0 prep/universes/22fbe55783e1e06c61603cf930c4cb94/bap-taint-propagator/2.1.0,bap-taint-propagator.2.1.0-22fbe55783e1e06c61603cf930c4cb94,bap-taint-propagator.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-term-mapper/2.1.0,bap-term-mapper.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-term-mapper.2.1.0 prep/universes/580b74d5c082e6ee435ea9bc47102841/bap-trace/2.1.0,bap-trace.2.1.0-580b74d5c082e6ee435ea9bc47102841,bap-trace.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-traces/2.1.0,bap-traces.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-traces.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-trivial-condition-form/2.1.0,bap-trivial-condition-form.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-trivial-condition-form.2.1.0 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-warn-unused/2.1.0,bap-warn-unused.2.1.0-7fce3222fc9670fabe8d252ac7293601,bap-warn-unused.2.1.0 prep/universes/96c90e12443487544897528bdafe22dd/bap-x86/2.1.0,bap-x86.2.1.0-96c90e12443487544897528bdafe22dd,bap-x86.2.1.0 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bare/2.1.0,bare.2.1.0-77370c2547cbd1a238841fc3ca3f5af5,bare.2.1.0 prep/universes/3dd02b7f1ff56c5bdeb0314620199637/bitstring/3.1.1,bitstring.3.1.1-3dd02b7f1ff56c5bdeb0314620199637,bitstring.3.1.1 prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-bap-llvm/1.8,conf-bap-llvm.1.8-36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-bap-llvm.1.8 prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-binutils/0.2,conf-binutils.0.2-36cc8c3f38850ddc44aa1c5bb41a3b1e,conf-binutils.0.2 prep/universes/f06857371084eb01bbf1461eed1e6df0/FrontC/3.4.3-1,FrontC.3.4.3-1-f06857371084eb01bbf1461eed1e6df0,FrontC.3.4.3-1 prep/universes/caab33bbdf5ae7973c205ec4e68adf4f/z3/4.13.0-3,z3.4.13.0-3-caab33bbdf5ae7973c205ec4e68adf4f,z3.4.13.0-3 prep/universes/5ff4f2b89b9846b2ff14f195b6dcdf95/bap-veri/0.2.5,bap-veri.0.2.5-5ff4f2b89b9846b2ff14f195b6dcdf95,bap-veri.0.2.5; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1) || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)")) 0.254279 FAILED:bap.2.1.0-ae869ebd6c849e928f222691de6d8a3f prep/universes/ae869ebd6c849e928f222691de6d8a3f/bap/2.1.0/opam prep/universes/ae869ebd6c849e928f222691de6d8a3f/bap/2.1.0/opam.err.log FAILED:bap-abi.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-abi/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-abi/2.1.0/opam.err.log FAILED:bap-api.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-api/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-api/2.1.0/opam.err.log FAILED:bap-arm.2.1.0-96c90e12443487544897528bdafe22dd prep/universes/96c90e12443487544897528bdafe22dd/bap-arm/2.1.0/opam prep/universes/96c90e12443487544897528bdafe22dd/bap-arm/2.1.0/opam.err.log FAILED:bap-beagle.2.1.0-d56cd9d7b5f634e508a87b0075046b0a prep/universes/d56cd9d7b5f634e508a87b0075046b0a/bap-beagle/2.1.0/opam prep/universes/d56cd9d7b5f634e508a87b0075046b0a/bap-beagle/2.1.0/opam.err.log FAILED:bap-bil.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-bil/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-bil/2.1.0/opam.err.log FAILED:bap-c.2.1.0-db19270f074bbd06b88e62c17b2ac3ef prep/universes/db19270f074bbd06b88e62c17b2ac3ef/bap-c/2.1.0/opam prep/universes/db19270f074bbd06b88e62c17b2ac3ef/bap-c/2.1.0/opam.err.log FAILED:bap-cache.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-cache/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-cache/2.1.0/opam.err.log FAILED:bap-callsites.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-callsites/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-callsites/2.1.0/opam.err.log FAILED:bap-constant-tracker.2.1.0-0f2cd63048850b968bbca92eb55fe310 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-constant-tracker/2.1.0/opam prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-constant-tracker/2.1.0/opam.err.log FAILED:bap-cxxfilt.2.1.0-4b6613aa5a92bd236514b782089ca3f8 prep/universes/4b6613aa5a92bd236514b782089ca3f8/bap-cxxfilt/2.1.0/opam prep/universes/4b6613aa5a92bd236514b782089ca3f8/bap-cxxfilt/2.1.0/opam.err.log FAILED:bap-demangle.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-demangle/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-demangle/2.1.0/opam.err.log FAILED:bap-disassemble.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-disassemble/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-disassemble/2.1.0/opam.err.log FAILED:bap-dump-symbols.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dump-symbols/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dump-symbols/2.1.0/opam.err.log FAILED:bap-dwarf.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dwarf/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-dwarf/2.1.0/opam.err.log FAILED:bap-elementary.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-elementary/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-elementary/2.1.0/opam.err.log FAILED:bap-elf.2.1.0-7cb0ed7cab2c25f7854ef61614ee54ca prep/universes/7cb0ed7cab2c25f7854ef61614ee54ca/bap-elf/2.1.0/opam prep/universes/7cb0ed7cab2c25f7854ef61614ee54ca/bap-elf/2.1.0/opam.err.log FAILED:bap-emacs-dot.0.1-f06857371084eb01bbf1461eed1e6df0 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-dot/0.1/opam prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-dot/0.1/opam.err.log FAILED:bap-emacs-goodies.0.1-89052062867b7bd014bd0bcf129305c4 prep/universes/89052062867b7bd014bd0bcf129305c4/bap-emacs-goodies/0.1/opam prep/universes/89052062867b7bd014bd0bcf129305c4/bap-emacs-goodies/0.1/opam.err.log FAILED:bap-emacs-mode.0.1-f06857371084eb01bbf1461eed1e6df0 prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-mode/0.1/opam prep/universes/f06857371084eb01bbf1461eed1e6df0/bap-emacs-mode/0.1/opam.err.log FAILED:bap-frontc.2.1.0-e34d206d9d5b3491f8d1c4b709bc63d5 prep/universes/e34d206d9d5b3491f8d1c4b709bc63d5/bap-frontc/2.1.0/opam prep/universes/e34d206d9d5b3491f8d1c4b709bc63d5/bap-frontc/2.1.0/opam.err.log FAILED:bap-frontend.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-frontend/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-frontend/2.1.0/opam.err.log FAILED:bap-glibc-runtime.2.1.0-2a500d99607e6ca7294825aac1dd2939 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-glibc-runtime/2.1.0/opam prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-glibc-runtime/2.1.0/opam.err.log FAILED:bap-llvm.2.1.0-325e15d05a5e83ded28f3667f213493f prep/universes/325e15d05a5e83ded28f3667f213493f/bap-llvm/2.1.0/opam prep/universes/325e15d05a5e83ded28f3667f213493f/bap-llvm/2.1.0/opam.err.log FAILED:bap-mc.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-mc/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-mc/2.1.0/opam.err.log FAILED:bap-microx.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-microx/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-microx/2.1.0/opam.err.log FAILED:bap-mips.2.1.0-2a500d99607e6ca7294825aac1dd2939 prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-mips/2.1.0/opam prep/universes/2a500d99607e6ca7294825aac1dd2939/bap-mips/2.1.0/opam.err.log FAILED:bap-objdump.2.1.0-9b9d6a1e58f06ca77a6d5a6bcb92fb0b prep/universes/9b9d6a1e58f06ca77a6d5a6bcb92fb0b/bap-objdump/2.1.0/opam prep/universes/9b9d6a1e58f06ca77a6d5a6bcb92fb0b/bap-objdump/2.1.0/opam.err.log FAILED:bap-optimization.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-optimization/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-optimization/2.1.0/opam.err.log FAILED:bap-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-powerpc/2.1.0/opam prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-powerpc/2.1.0/opam.err.log FAILED:bap-primus.2.1.0-5fb681c121d136e73f4cc7d29da4d44c prep/universes/5fb681c121d136e73f4cc7d29da4d44c/bap-primus/2.1.0/opam prep/universes/5fb681c121d136e73f4cc7d29da4d44c/bap-primus/2.1.0/opam.err.log FAILED:bap-primus-dictionary.2.1.0-0f2cd63048850b968bbca92eb55fe310 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-dictionary/2.1.0/opam prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-dictionary/2.1.0/opam.err.log FAILED:bap-primus-lisp.2.1.0-0f2cd63048850b968bbca92eb55fe310 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-lisp/2.1.0/opam prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-lisp/2.1.0/opam.err.log FAILED:bap-primus-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-powerpc/2.1.0/opam prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-powerpc/2.1.0/opam.err.log FAILED:bap-primus-random.2.1.0-0f2cd63048850b968bbca92eb55fe310 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-random/2.1.0/opam prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-random/2.1.0/opam.err.log FAILED:bap-primus-region.2.1.0-0f2cd63048850b968bbca92eb55fe310 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-region/2.1.0/opam prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-region/2.1.0/opam.err.log FAILED:bap-primus-support.2.1.0-730842499f9b429a23e91dc4a3adcfdc prep/universes/730842499f9b429a23e91dc4a3adcfdc/bap-primus-support/2.1.0/opam prep/universes/730842499f9b429a23e91dc4a3adcfdc/bap-primus-support/2.1.0/opam.err.log FAILED:bap-primus-symbolic-executor.2.1.0-9cd3d9d9e68d2ad665ef8b32705dd930 prep/universes/9cd3d9d9e68d2ad665ef8b32705dd930/bap-primus-symbolic-executor/2.1.0/opam prep/universes/9cd3d9d9e68d2ad665ef8b32705dd930/bap-primus-symbolic-executor/2.1.0/opam.err.log FAILED:bap-primus-systems.2.1.0-0f2cd63048850b968bbca92eb55fe310 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-systems/2.1.0/opam prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-systems/2.1.0/opam.err.log FAILED:bap-primus-test.2.1.0-0f2cd63048850b968bbca92eb55fe310 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-test/2.1.0/opam prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-primus-test/2.1.0/opam.err.log FAILED:bap-primus-x86.2.1.0-380077e239bc8efb13c63ac9da2c777a prep/universes/380077e239bc8efb13c63ac9da2c777a/bap-primus-x86/2.1.0/opam prep/universes/380077e239bc8efb13c63ac9da2c777a/bap-primus-x86/2.1.0/opam.err.log FAILED:bap-print.2.1.0-56a748685f94495095d7a0f3ef442ff6 prep/universes/56a748685f94495095d7a0f3ef442ff6/bap-print/2.1.0/opam prep/universes/56a748685f94495095d7a0f3ef442ff6/bap-print/2.1.0/opam.err.log FAILED:bap-raw.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-raw/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-raw/2.1.0/opam.err.log FAILED:bap-recipe-command.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-recipe-command/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-recipe-command/2.1.0/opam.err.log FAILED:bap-relocatable.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-relocatable/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-relocatable/2.1.0/opam.err.log FAILED:bap-report.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-report/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-report/2.1.0/opam.err.log FAILED:bap-run.2.1.0-0f2cd63048850b968bbca92eb55fe310 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-run/2.1.0/opam prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-run/2.1.0/opam.err.log FAILED:bap-ssa.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-ssa/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-ssa/2.1.0/opam.err.log FAILED:bap-strings.2.1.0-77370c2547cbd1a238841fc3ca3f5af5 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bap-strings/2.1.0/opam prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bap-strings/2.1.0/opam.err.log FAILED:bap-stub-resolver.2.1.0-7c575c056e2098e2925cc3daa8490081 prep/universes/7c575c056e2098e2925cc3daa8490081/bap-stub-resolver/2.1.0/opam prep/universes/7c575c056e2098e2925cc3daa8490081/bap-stub-resolver/2.1.0/opam.err.log FAILED:bap-symbol-reader.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-symbol-reader/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-symbol-reader/2.1.0/opam.err.log FAILED:bap-taint.2.1.0-0f2cd63048850b968bbca92eb55fe310 prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-taint/2.1.0/opam prep/universes/0f2cd63048850b968bbca92eb55fe310/bap-taint/2.1.0/opam.err.log FAILED:bap-taint-propagator.2.1.0-22fbe55783e1e06c61603cf930c4cb94 prep/universes/22fbe55783e1e06c61603cf930c4cb94/bap-taint-propagator/2.1.0/opam prep/universes/22fbe55783e1e06c61603cf930c4cb94/bap-taint-propagator/2.1.0/opam.err.log FAILED:bap-term-mapper.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-term-mapper/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-term-mapper/2.1.0/opam.err.log FAILED:bap-trace.2.1.0-580b74d5c082e6ee435ea9bc47102841 prep/universes/580b74d5c082e6ee435ea9bc47102841/bap-trace/2.1.0/opam prep/universes/580b74d5c082e6ee435ea9bc47102841/bap-trace/2.1.0/opam.err.log FAILED:bap-traces.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-traces/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-traces/2.1.0/opam.err.log FAILED:bap-trivial-condition-form.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-trivial-condition-form/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-trivial-condition-form/2.1.0/opam.err.log FAILED:bap-warn-unused.2.1.0-7fce3222fc9670fabe8d252ac7293601 prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-warn-unused/2.1.0/opam prep/universes/7fce3222fc9670fabe8d252ac7293601/bap-warn-unused/2.1.0/opam.err.log FAILED:bap-x86.2.1.0-96c90e12443487544897528bdafe22dd prep/universes/96c90e12443487544897528bdafe22dd/bap-x86/2.1.0/opam prep/universes/96c90e12443487544897528bdafe22dd/bap-x86/2.1.0/opam.err.log FAILED:bare.2.1.0-77370c2547cbd1a238841fc3ca3f5af5 prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bare/2.1.0/opam prep/universes/77370c2547cbd1a238841fc3ca3f5af5/bare/2.1.0/opam.err.log FAILED:bitstring.3.1.1-3dd02b7f1ff56c5bdeb0314620199637 prep/universes/3dd02b7f1ff56c5bdeb0314620199637/bitstring/3.1.1/opam prep/universes/3dd02b7f1ff56c5bdeb0314620199637/bitstring/3.1.1/opam.err.log FAILED:conf-bap-llvm.1.8-36cc8c3f38850ddc44aa1c5bb41a3b1e prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-bap-llvm/1.8/opam prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-bap-llvm/1.8/opam.err.log FAILED:conf-binutils.0.2-36cc8c3f38850ddc44aa1c5bb41a3b1e prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-binutils/0.2/opam prep/universes/36cc8c3f38850ddc44aa1c5bb41a3b1e/conf-binutils/0.2/opam.err.log FAILED:FrontC.3.4.3-1-f06857371084eb01bbf1461eed1e6df0 prep/universes/f06857371084eb01bbf1461eed1e6df0/FrontC/3.4.3-1/opam prep/universes/f06857371084eb01bbf1461eed1e6df0/FrontC/3.4.3-1/opam.err.log FAILED:z3.4.13.0-3-caab33bbdf5ae7973c205ec4e68adf4f prep/universes/caab33bbdf5ae7973c205ec4e68adf4f/z3/4.13.0-3/opam prep/universes/caab33bbdf5ae7973c205ec4e68adf4f/z3/4.13.0-3/opam.err.log FAILED:bap-veri.0.2.5-5ff4f2b89b9846b2ff14f195b6dcdf95 prep/universes/5ff4f2b89b9846b2ff14f195b6dcdf95/bap-veri/0.2.5/opam prep/universes/5ff4f2b89b9846b2ff14f195b6dcdf95/bap-veri/0.2.5/opam.err.log Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts. HASHES:bap.2.1.0-ae869ebd6c849e928f222691de6d8a3f:91979c9ee4f942671cb8bd3bd1e154ce2b4a095d3ba42df9df4ed62a36ac9d04 HASHES:bap-abi.2.1.0-7fce3222fc9670fabe8d252ac7293601:15c1e32e8cf882653fd38b8857c079ef48d9c9c02a6c15ce1c487ad3efc4c9fb HASHES:bap-api.2.1.0-7fce3222fc9670fabe8d252ac7293601:c232fcc3f63236ba36ad04d171a2212b7039fd8c0ff499314ba237cf27ec7a90 HASHES:bap-arm.2.1.0-96c90e12443487544897528bdafe22dd:fc5d8a9e21e8e9643a5d81df10926b390c70b173f422e5330cb7be911f3ddf55 HASHES:bap-beagle.2.1.0-d56cd9d7b5f634e508a87b0075046b0a:43a0a3954e7510ad0ac06b45021feaf06c0b0317b6fb2e48827f4bf45fd1fca6 HASHES:bap-bil.2.1.0-7fce3222fc9670fabe8d252ac7293601:111391127059602a29e4ea3e083a1c7b9b5f969c371a08d16324fb3e567df3ec HASHES:bap-c.2.1.0-db19270f074bbd06b88e62c17b2ac3ef:f89759520588f0f4ffe00bc5656ff69814792b76c99a1b7d8ea1af5cc01cf54f HASHES:bap-cache.2.1.0-7fce3222fc9670fabe8d252ac7293601:266b5f5b4ea2fc292f9d49001cf3005216f02e504f0d212dd3cfde43ba5aafb4 HASHES:bap-callsites.2.1.0-7fce3222fc9670fabe8d252ac7293601:7014b37565a978c1e428f3380df2daadfe8c98db839076e2ffa12250bbda08b9 HASHES:bap-constant-tracker.2.1.0-0f2cd63048850b968bbca92eb55fe310:d2e6929f2f53b481b35754e7bd6df64de1f12463917a2b7586ec3b979eb70fc7 HASHES:bap-cxxfilt.2.1.0-4b6613aa5a92bd236514b782089ca3f8:7b8458fd83e9de5b38ef8e5185ebe841fa0270e5dffbf1c3260aa78eac16abfd HASHES:bap-demangle.2.1.0-7fce3222fc9670fabe8d252ac7293601:ec01ebf711e6a827fa750159a5028a1c58c0cd868c3419422800cdc534307069 HASHES:bap-disassemble.2.1.0-7fce3222fc9670fabe8d252ac7293601:9a6e7c2c2826a4011e874d96473ccbbc5893f362c39da7c991f6740451423f2c HASHES:bap-dump-symbols.2.1.0-7fce3222fc9670fabe8d252ac7293601:fe1c759e7fe16d5890218548aa75946dc17913baac454a30b6d4d81e5e0a43f8 HASHES:bap-dwarf.2.1.0-7fce3222fc9670fabe8d252ac7293601:bd93065187254eac06ce65553a3d5821fdfb78a001c8aa74f6c53b5828ae1939 HASHES:bap-elementary.2.1.0-7fce3222fc9670fabe8d252ac7293601:43925979906635071e90a578d72ea95af4840925c275b751f74a9dd1ef7cbb93 HASHES:bap-elf.2.1.0-7cb0ed7cab2c25f7854ef61614ee54ca:e882f109896d33df43b2f38f7f1d2fc3f4c55adc650865a60acf01b4052e81e2 HASHES:bap-emacs-dot.0.1-f06857371084eb01bbf1461eed1e6df0:2da5a5e60efeaf6999cdf8a70d4287c20b4b88ed8e3fe5a48ecfdde1179e6c00 HASHES:bap-emacs-goodies.0.1-89052062867b7bd014bd0bcf129305c4:4d654d1a9727458f6ec52de505dd7f2c65e0602cb4d885671fca3493251bc293 HASHES:bap-emacs-mode.0.1-f06857371084eb01bbf1461eed1e6df0:61fee4ffd04548af59146ddba916b7020c6fc4226092aed6aeeb4d548fb19bd5 HASHES:bap-frontc.2.1.0-e34d206d9d5b3491f8d1c4b709bc63d5:fe63e3290e7bad9e98cacac259b283c3cf0e46d66cc054dc5fb5b88859e48bd4 HASHES:bap-frontend.2.1.0-7fce3222fc9670fabe8d252ac7293601:04875fcaae71ae8a25d0b3854f00f5241659801e75d5160994e2f1639f1def63 HASHES:bap-glibc-runtime.2.1.0-2a500d99607e6ca7294825aac1dd2939:7e0ba40eeda3ca753a1cdd5fc8e7b98bfc3db489060f86cd2087d2099abbcef5 HASHES:bap-llvm.2.1.0-325e15d05a5e83ded28f3667f213493f:e0e788e20b953cbf3bbfc82dded895ea373be50ec94357a9cca38a586217ed5b HASHES:bap-mc.2.1.0-7fce3222fc9670fabe8d252ac7293601:53c83fc92c902a3f6e67dbc73940b09b3843584e23c82076d70ac12ff0aaa9b3 HASHES:bap-microx.2.1.0-7fce3222fc9670fabe8d252ac7293601:b0d8dc849c0046f09c194e9600c1fd55a6c612fe67142732293a6a0fa8698a26 HASHES:bap-mips.2.1.0-2a500d99607e6ca7294825aac1dd2939:f24f40f0ba1bc31df1829561454a75a8e4ff1a384e4dbc5a5af0fbd7be604787 HASHES:bap-objdump.2.1.0-9b9d6a1e58f06ca77a6d5a6bcb92fb0b:97aec1fdc0593e9455d0da0b16915cf7c70634f185903f3c88b2d4fb45f1e014 HASHES:bap-optimization.2.1.0-7fce3222fc9670fabe8d252ac7293601:2e9faf6d8e3b2ee7886a0952044cf53c1d51b560685237f70e0af2ee7349f9c7 HASHES:bap-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310:a583d02dbe437980ab8ad80c8f006a8456a9c11fc8bab1185db08b495889f179 HASHES:bap-primus.2.1.0-5fb681c121d136e73f4cc7d29da4d44c:31245bfacd5cb1010fd88f8436a4afc6fd95f6aebb375fc3c7cc185a5b1b7bee HASHES:bap-primus-dictionary.2.1.0-0f2cd63048850b968bbca92eb55fe310:ea1c7843693a02da41f5e80ab8351b34f7e09ea0a49eeb0edd7c4f12c3700ae3 HASHES:bap-primus-lisp.2.1.0-0f2cd63048850b968bbca92eb55fe310:3a1513d516aff465a1220dd153ccb28481c747828cf2c4651b7a784032cf59f1 HASHES:bap-primus-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310:f856baf6af786041dc169b1eb907e94b6419cb82a9b470315345c5ae7d02f021 HASHES:bap-primus-random.2.1.0-0f2cd63048850b968bbca92eb55fe310:b00f736a8f80b38ad6e8e4f2aebcc7de04e1a6f6576dfd739722357c0b531538 HASHES:bap-primus-region.2.1.0-0f2cd63048850b968bbca92eb55fe310:aaa64cf948edd5a916d8d7373b6e9e9bd3c314d9870dd48d170892c497e3017e HASHES:bap-primus-support.2.1.0-730842499f9b429a23e91dc4a3adcfdc:ef853dca391ca54e8a63f27865fa1b6961011c337133e709abbdeeeb680ea8df HASHES:bap-primus-symbolic-executor.2.1.0-9cd3d9d9e68d2ad665ef8b32705dd930:da996225e6691e4800cc25031afde5061c7ecb33d4fcd7815f245176ad169cc6 HASHES:bap-primus-systems.2.1.0-0f2cd63048850b968bbca92eb55fe310:b215a43e4ca1326471d49b7d098af2601d6f8e040fbc5c6e6a760947c17cf68c HASHES:bap-primus-test.2.1.0-0f2cd63048850b968bbca92eb55fe310:22c307767ffe0213aa70eecb7467608a166d08c274b11416726eefe5bdaea650 HASHES:bap-primus-x86.2.1.0-380077e239bc8efb13c63ac9da2c777a:161c3ef2723db7d71a45b8f22cd47d728a2e2d5532f90e8fd4b77e6394a57b57 HASHES:bap-print.2.1.0-56a748685f94495095d7a0f3ef442ff6:7ec9aa5e979dbfe822affda2d018157267d2b17aff6683765a758c1d68df25fa HASHES:bap-raw.2.1.0-7fce3222fc9670fabe8d252ac7293601:becf67e287f42a726f72c85e65238d64eeb584d898a40e9a15f319af9de8ec00 HASHES:bap-recipe-command.2.1.0-7fce3222fc9670fabe8d252ac7293601:c4fff70ac632e0dd977155f80a7dc2be2cb5ddd3da1192f9021737f761ffb1ae HASHES:bap-relocatable.2.1.0-7fce3222fc9670fabe8d252ac7293601:24a0ca96ccc3462b194be566a724e183400170964200e4ac72c6b82c6fa0e0b8 HASHES:bap-report.2.1.0-7fce3222fc9670fabe8d252ac7293601:bdbe5cd3e276d0a402138cab820e7745b8473c96a313eb966fd5cda3904863ee HASHES:bap-run.2.1.0-0f2cd63048850b968bbca92eb55fe310:b73b704e3027228f8dc54ccbdb337c1bf348cc90f13622048d0fa4cee12d9106 HASHES:bap-ssa.2.1.0-7fce3222fc9670fabe8d252ac7293601:5921724b33e80a28018f4eada75c2b2716a2242d522805c46a84ae234e9a225f HASHES:bap-strings.2.1.0-77370c2547cbd1a238841fc3ca3f5af5:0008afb55811648df622c432eb79220ff3d8aef9445220e28b029eeb85182874 HASHES:bap-stub-resolver.2.1.0-7c575c056e2098e2925cc3daa8490081:d04ef359ebbdf5e55589eccc900c7314461730b7affa4300261d72b0e1fb4b8d HASHES:bap-symbol-reader.2.1.0-7fce3222fc9670fabe8d252ac7293601:680d73110693b5bf36a9839f1874f2ef4443034462d911440dfdc80a089ba239 HASHES:bap-taint.2.1.0-0f2cd63048850b968bbca92eb55fe310:9c5b64d2f3a5c128523cde92b78504571d2f2da7243b6c46ac701cfcc671f6e5 HASHES:bap-taint-propagator.2.1.0-22fbe55783e1e06c61603cf930c4cb94:b932b4789ba9fc6f9b7d840090d4e3aeda8a8babbdf7a9737d083d5ed5a57ed9 HASHES:bap-term-mapper.2.1.0-7fce3222fc9670fabe8d252ac7293601:4634d654a2424fe01b087259a6fd681f814f81319cd4f640a8612e5db3909b66 HASHES:bap-trace.2.1.0-580b74d5c082e6ee435ea9bc47102841:3e13ea1fa4f36304ed7cd85d0fae80a93d7182897a678f961c60b9dfa727ba7a HASHES:bap-traces.2.1.0-7fce3222fc9670fabe8d252ac7293601:9529f1a49c9e1aeb618fd316f39f52e09f922125a1cc127c430bfa4be2178146 HASHES:bap-trivial-condition-form.2.1.0-7fce3222fc9670fabe8d252ac7293601:e196a7561143afab29cb145adbb61092589721881c06b9497c8278deec46f327 HASHES:bap-warn-unused.2.1.0-7fce3222fc9670fabe8d252ac7293601:a91e86faf60fcc7e86dd337cfd2ae5725e27915128c238e2fdeac3e265a37373 HASHES:bap-x86.2.1.0-96c90e12443487544897528bdafe22dd:cb6a89358cf4a5262728a4fd393b60605ab241caee14029337c1e08bb1dc8380 HASHES:bare.2.1.0-77370c2547cbd1a238841fc3ca3f5af5:f480605e239eda617ee9c1f84c95cd123e5ca32931b09a0979b847639b4d5f04 HASHES:bitstring.3.1.1-3dd02b7f1ff56c5bdeb0314620199637:b820a55a222289bd19215a83f860d62d7b9103a219c6b7661617b753983a0ae3 HASHES:conf-bap-llvm.1.8-36cc8c3f38850ddc44aa1c5bb41a3b1e:1a77f9f105460377c2936ba01e4a170ffdde1da84e61c8bb1e83bfb1e8b698b7 HASHES:conf-binutils.0.2-36cc8c3f38850ddc44aa1c5bb41a3b1e:bb47d73e959fd07527960c6bd3b333d7c523ebdf68ef3758dcf363f418aca6e9 HASHES:FrontC.3.4.3-1-f06857371084eb01bbf1461eed1e6df0:c6cc893e05a05592c1786ae48c3a3621b27313cfd155c82eb7c3dc6c4289fc5a HASHES:z3.4.13.0-3-caab33bbdf5ae7973c205ec4e68adf4f:3a44c454cc9d23ccd0830323687ed5aca83e52a37fc0a03e3451d46e55974c24 HASHES:bap-veri.0.2.5-5ff4f2b89b9846b2ff14f195b6dcdf95:d689f6fe1f7341dae594d46250a3a3ee843e697c7e5192eca41a1139ec44efc3 2024-09-12 16:19.28 ---> saved as "6a829009c321971b0128b42c4d350c3d1e9e5295199c0ca828d425ee601f7f71" Job succeeded 2024-09-12 16:27.07: Failed: bap.2.1.0-ae869ebd6c849e928f222691de6d8a3f 2024-09-12 16:27.07: Failed: bap-abi.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-api.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-arm.2.1.0-96c90e12443487544897528bdafe22dd 2024-09-12 16:27.07: Failed: bap-beagle.2.1.0-d56cd9d7b5f634e508a87b0075046b0a 2024-09-12 16:27.07: Failed: bap-bil.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-c.2.1.0-db19270f074bbd06b88e62c17b2ac3ef 2024-09-12 16:27.07: Failed: bap-cache.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-callsites.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-constant-tracker.2.1.0-0f2cd63048850b968bbca92eb55fe310 2024-09-12 16:27.07: Failed: bap-cxxfilt.2.1.0-4b6613aa5a92bd236514b782089ca3f8 2024-09-12 16:27.07: Failed: bap-demangle.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-disassemble.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-dump-symbols.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-dwarf.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-elementary.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-elf.2.1.0-7cb0ed7cab2c25f7854ef61614ee54ca 2024-09-12 16:27.07: Failed: bap-emacs-dot.0.1-f06857371084eb01bbf1461eed1e6df0 2024-09-12 16:27.07: Failed: bap-emacs-goodies.0.1-89052062867b7bd014bd0bcf129305c4 2024-09-12 16:27.07: Failed: bap-emacs-mode.0.1-f06857371084eb01bbf1461eed1e6df0 2024-09-12 16:27.07: Failed: bap-frontc.2.1.0-e34d206d9d5b3491f8d1c4b709bc63d5 2024-09-12 16:27.07: Failed: bap-frontend.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-glibc-runtime.2.1.0-2a500d99607e6ca7294825aac1dd2939 2024-09-12 16:27.07: Failed: bap-llvm.2.1.0-325e15d05a5e83ded28f3667f213493f 2024-09-12 16:27.07: Failed: bap-mc.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-microx.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-mips.2.1.0-2a500d99607e6ca7294825aac1dd2939 2024-09-12 16:27.07: Failed: bap-objdump.2.1.0-9b9d6a1e58f06ca77a6d5a6bcb92fb0b 2024-09-12 16:27.07: Failed: bap-optimization.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310 2024-09-12 16:27.07: Failed: bap-primus.2.1.0-5fb681c121d136e73f4cc7d29da4d44c 2024-09-12 16:27.07: Failed: bap-primus-dictionary.2.1.0-0f2cd63048850b968bbca92eb55fe310 2024-09-12 16:27.07: Failed: bap-primus-lisp.2.1.0-0f2cd63048850b968bbca92eb55fe310 2024-09-12 16:27.07: Failed: bap-primus-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310 2024-09-12 16:27.07: Failed: bap-primus-random.2.1.0-0f2cd63048850b968bbca92eb55fe310 2024-09-12 16:27.07: Failed: bap-primus-region.2.1.0-0f2cd63048850b968bbca92eb55fe310 2024-09-12 16:27.07: Failed: bap-primus-support.2.1.0-730842499f9b429a23e91dc4a3adcfdc 2024-09-12 16:27.07: Failed: bap-primus-symbolic-executor.2.1.0-9cd3d9d9e68d2ad665ef8b32705dd930 2024-09-12 16:27.07: Failed: bap-primus-systems.2.1.0-0f2cd63048850b968bbca92eb55fe310 2024-09-12 16:27.07: Failed: bap-primus-test.2.1.0-0f2cd63048850b968bbca92eb55fe310 2024-09-12 16:27.07: Failed: bap-primus-x86.2.1.0-380077e239bc8efb13c63ac9da2c777a 2024-09-12 16:27.07: Failed: bap-print.2.1.0-56a748685f94495095d7a0f3ef442ff6 2024-09-12 16:27.07: Failed: bap-raw.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-recipe-command.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-relocatable.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-report.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-run.2.1.0-0f2cd63048850b968bbca92eb55fe310 2024-09-12 16:27.07: Failed: bap-ssa.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-strings.2.1.0-77370c2547cbd1a238841fc3ca3f5af5 2024-09-12 16:27.07: Failed: bap-stub-resolver.2.1.0-7c575c056e2098e2925cc3daa8490081 2024-09-12 16:27.07: Failed: bap-symbol-reader.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-taint.2.1.0-0f2cd63048850b968bbca92eb55fe310 2024-09-12 16:27.07: Failed: bap-taint-propagator.2.1.0-22fbe55783e1e06c61603cf930c4cb94 2024-09-12 16:27.07: Failed: bap-term-mapper.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-trace.2.1.0-580b74d5c082e6ee435ea9bc47102841 2024-09-12 16:27.07: Failed: bap-traces.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-trivial-condition-form.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-warn-unused.2.1.0-7fce3222fc9670fabe8d252ac7293601 2024-09-12 16:27.07: Failed: bap-x86.2.1.0-96c90e12443487544897528bdafe22dd 2024-09-12 16:27.07: Failed: bare.2.1.0-77370c2547cbd1a238841fc3ca3f5af5 2024-09-12 16:27.07: Failed: bitstring.3.1.1-3dd02b7f1ff56c5bdeb0314620199637 2024-09-12 16:27.07: Failed: conf-bap-llvm.1.8-36cc8c3f38850ddc44aa1c5bb41a3b1e 2024-09-12 16:27.07: Failed: conf-binutils.0.2-36cc8c3f38850ddc44aa1c5bb41a3b1e 2024-09-12 16:27.07: Failed: FrontC.3.4.3-1-f06857371084eb01bbf1461eed1e6df0 2024-09-12 16:27.07: Failed: z3.4.13.0-3-caab33bbdf5ae7973c205ec4e68adf4f 2024-09-12 16:27.07: Failed: bap-veri.0.2.5-5ff4f2b89b9846b2ff14f195b6dcdf95 2024-09-12 16:27.07: bap-veri.0.2.5-5ff4f2b89b9846b2ff14f195b6dcdf95 -> d689f6fe1f7341dae594d46250a3a3ee843e697c7e5192eca41a1139ec44efc3 2024-09-12 16:27.07: z3.4.13.0-3-caab33bbdf5ae7973c205ec4e68adf4f -> 3a44c454cc9d23ccd0830323687ed5aca83e52a37fc0a03e3451d46e55974c24 2024-09-12 16:27.07: FrontC.3.4.3-1-f06857371084eb01bbf1461eed1e6df0 -> c6cc893e05a05592c1786ae48c3a3621b27313cfd155c82eb7c3dc6c4289fc5a 2024-09-12 16:27.07: conf-binutils.0.2-36cc8c3f38850ddc44aa1c5bb41a3b1e -> bb47d73e959fd07527960c6bd3b333d7c523ebdf68ef3758dcf363f418aca6e9 2024-09-12 16:27.07: conf-bap-llvm.1.8-36cc8c3f38850ddc44aa1c5bb41a3b1e -> 1a77f9f105460377c2936ba01e4a170ffdde1da84e61c8bb1e83bfb1e8b698b7 2024-09-12 16:27.07: bitstring.3.1.1-3dd02b7f1ff56c5bdeb0314620199637 -> b820a55a222289bd19215a83f860d62d7b9103a219c6b7661617b753983a0ae3 2024-09-12 16:27.07: bare.2.1.0-77370c2547cbd1a238841fc3ca3f5af5 -> f480605e239eda617ee9c1f84c95cd123e5ca32931b09a0979b847639b4d5f04 2024-09-12 16:27.07: bap-x86.2.1.0-96c90e12443487544897528bdafe22dd -> cb6a89358cf4a5262728a4fd393b60605ab241caee14029337c1e08bb1dc8380 2024-09-12 16:27.07: bap-warn-unused.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> a91e86faf60fcc7e86dd337cfd2ae5725e27915128c238e2fdeac3e265a37373 2024-09-12 16:27.07: bap-trivial-condition-form.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> e196a7561143afab29cb145adbb61092589721881c06b9497c8278deec46f327 2024-09-12 16:27.07: bap-traces.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 9529f1a49c9e1aeb618fd316f39f52e09f922125a1cc127c430bfa4be2178146 2024-09-12 16:27.07: bap-trace.2.1.0-580b74d5c082e6ee435ea9bc47102841 -> 3e13ea1fa4f36304ed7cd85d0fae80a93d7182897a678f961c60b9dfa727ba7a 2024-09-12 16:27.07: bap-term-mapper.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 4634d654a2424fe01b087259a6fd681f814f81319cd4f640a8612e5db3909b66 2024-09-12 16:27.07: bap-taint-propagator.2.1.0-22fbe55783e1e06c61603cf930c4cb94 -> b932b4789ba9fc6f9b7d840090d4e3aeda8a8babbdf7a9737d083d5ed5a57ed9 2024-09-12 16:27.07: bap-taint.2.1.0-0f2cd63048850b968bbca92eb55fe310 -> 9c5b64d2f3a5c128523cde92b78504571d2f2da7243b6c46ac701cfcc671f6e5 2024-09-12 16:27.07: bap-symbol-reader.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 680d73110693b5bf36a9839f1874f2ef4443034462d911440dfdc80a089ba239 2024-09-12 16:27.07: bap-stub-resolver.2.1.0-7c575c056e2098e2925cc3daa8490081 -> d04ef359ebbdf5e55589eccc900c7314461730b7affa4300261d72b0e1fb4b8d 2024-09-12 16:27.07: bap-strings.2.1.0-77370c2547cbd1a238841fc3ca3f5af5 -> 0008afb55811648df622c432eb79220ff3d8aef9445220e28b029eeb85182874 2024-09-12 16:27.07: bap-ssa.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 5921724b33e80a28018f4eada75c2b2716a2242d522805c46a84ae234e9a225f 2024-09-12 16:27.07: bap-run.2.1.0-0f2cd63048850b968bbca92eb55fe310 -> b73b704e3027228f8dc54ccbdb337c1bf348cc90f13622048d0fa4cee12d9106 2024-09-12 16:27.07: bap-report.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> bdbe5cd3e276d0a402138cab820e7745b8473c96a313eb966fd5cda3904863ee 2024-09-12 16:27.07: bap-relocatable.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 24a0ca96ccc3462b194be566a724e183400170964200e4ac72c6b82c6fa0e0b8 2024-09-12 16:27.07: bap-recipe-command.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> c4fff70ac632e0dd977155f80a7dc2be2cb5ddd3da1192f9021737f761ffb1ae 2024-09-12 16:27.07: bap-raw.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> becf67e287f42a726f72c85e65238d64eeb584d898a40e9a15f319af9de8ec00 2024-09-12 16:27.07: bap-print.2.1.0-56a748685f94495095d7a0f3ef442ff6 -> 7ec9aa5e979dbfe822affda2d018157267d2b17aff6683765a758c1d68df25fa 2024-09-12 16:27.07: bap-primus-x86.2.1.0-380077e239bc8efb13c63ac9da2c777a -> 161c3ef2723db7d71a45b8f22cd47d728a2e2d5532f90e8fd4b77e6394a57b57 2024-09-12 16:27.07: bap-primus-test.2.1.0-0f2cd63048850b968bbca92eb55fe310 -> 22c307767ffe0213aa70eecb7467608a166d08c274b11416726eefe5bdaea650 2024-09-12 16:27.07: bap-primus-systems.2.1.0-0f2cd63048850b968bbca92eb55fe310 -> b215a43e4ca1326471d49b7d098af2601d6f8e040fbc5c6e6a760947c17cf68c 2024-09-12 16:27.07: bap-primus-symbolic-executor.2.1.0-9cd3d9d9e68d2ad665ef8b32705dd930 -> da996225e6691e4800cc25031afde5061c7ecb33d4fcd7815f245176ad169cc6 2024-09-12 16:27.07: bap-primus-support.2.1.0-730842499f9b429a23e91dc4a3adcfdc -> ef853dca391ca54e8a63f27865fa1b6961011c337133e709abbdeeeb680ea8df 2024-09-12 16:27.07: bap-primus-region.2.1.0-0f2cd63048850b968bbca92eb55fe310 -> aaa64cf948edd5a916d8d7373b6e9e9bd3c314d9870dd48d170892c497e3017e 2024-09-12 16:27.07: bap-primus-random.2.1.0-0f2cd63048850b968bbca92eb55fe310 -> b00f736a8f80b38ad6e8e4f2aebcc7de04e1a6f6576dfd739722357c0b531538 2024-09-12 16:27.07: bap-primus-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310 -> f856baf6af786041dc169b1eb907e94b6419cb82a9b470315345c5ae7d02f021 2024-09-12 16:27.07: bap-primus-lisp.2.1.0-0f2cd63048850b968bbca92eb55fe310 -> 3a1513d516aff465a1220dd153ccb28481c747828cf2c4651b7a784032cf59f1 2024-09-12 16:27.07: bap-primus-dictionary.2.1.0-0f2cd63048850b968bbca92eb55fe310 -> ea1c7843693a02da41f5e80ab8351b34f7e09ea0a49eeb0edd7c4f12c3700ae3 2024-09-12 16:27.07: bap-primus.2.1.0-5fb681c121d136e73f4cc7d29da4d44c -> 31245bfacd5cb1010fd88f8436a4afc6fd95f6aebb375fc3c7cc185a5b1b7bee 2024-09-12 16:27.07: bap-powerpc.2.1.0-0f2cd63048850b968bbca92eb55fe310 -> a583d02dbe437980ab8ad80c8f006a8456a9c11fc8bab1185db08b495889f179 2024-09-12 16:27.07: bap-optimization.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 2e9faf6d8e3b2ee7886a0952044cf53c1d51b560685237f70e0af2ee7349f9c7 2024-09-12 16:27.07: bap-objdump.2.1.0-9b9d6a1e58f06ca77a6d5a6bcb92fb0b -> 97aec1fdc0593e9455d0da0b16915cf7c70634f185903f3c88b2d4fb45f1e014 2024-09-12 16:27.07: bap-mips.2.1.0-2a500d99607e6ca7294825aac1dd2939 -> f24f40f0ba1bc31df1829561454a75a8e4ff1a384e4dbc5a5af0fbd7be604787 2024-09-12 16:27.07: bap-microx.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> b0d8dc849c0046f09c194e9600c1fd55a6c612fe67142732293a6a0fa8698a26 2024-09-12 16:27.07: bap-mc.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 53c83fc92c902a3f6e67dbc73940b09b3843584e23c82076d70ac12ff0aaa9b3 2024-09-12 16:27.07: bap-llvm.2.1.0-325e15d05a5e83ded28f3667f213493f -> e0e788e20b953cbf3bbfc82dded895ea373be50ec94357a9cca38a586217ed5b 2024-09-12 16:27.07: bap-glibc-runtime.2.1.0-2a500d99607e6ca7294825aac1dd2939 -> 7e0ba40eeda3ca753a1cdd5fc8e7b98bfc3db489060f86cd2087d2099abbcef5 2024-09-12 16:27.07: bap-frontend.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 04875fcaae71ae8a25d0b3854f00f5241659801e75d5160994e2f1639f1def63 2024-09-12 16:27.07: bap-frontc.2.1.0-e34d206d9d5b3491f8d1c4b709bc63d5 -> fe63e3290e7bad9e98cacac259b283c3cf0e46d66cc054dc5fb5b88859e48bd4 2024-09-12 16:27.07: bap-emacs-mode.0.1-f06857371084eb01bbf1461eed1e6df0 -> 61fee4ffd04548af59146ddba916b7020c6fc4226092aed6aeeb4d548fb19bd5 2024-09-12 16:27.07: bap-emacs-goodies.0.1-89052062867b7bd014bd0bcf129305c4 -> 4d654d1a9727458f6ec52de505dd7f2c65e0602cb4d885671fca3493251bc293 2024-09-12 16:27.07: bap-emacs-dot.0.1-f06857371084eb01bbf1461eed1e6df0 -> 2da5a5e60efeaf6999cdf8a70d4287c20b4b88ed8e3fe5a48ecfdde1179e6c00 2024-09-12 16:27.07: bap-elf.2.1.0-7cb0ed7cab2c25f7854ef61614ee54ca -> e882f109896d33df43b2f38f7f1d2fc3f4c55adc650865a60acf01b4052e81e2 2024-09-12 16:27.07: bap-elementary.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 43925979906635071e90a578d72ea95af4840925c275b751f74a9dd1ef7cbb93 2024-09-12 16:27.07: bap-dwarf.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> bd93065187254eac06ce65553a3d5821fdfb78a001c8aa74f6c53b5828ae1939 2024-09-12 16:27.07: bap-dump-symbols.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> fe1c759e7fe16d5890218548aa75946dc17913baac454a30b6d4d81e5e0a43f8 2024-09-12 16:27.07: bap-disassemble.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 9a6e7c2c2826a4011e874d96473ccbbc5893f362c39da7c991f6740451423f2c 2024-09-12 16:27.07: bap-demangle.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> ec01ebf711e6a827fa750159a5028a1c58c0cd868c3419422800cdc534307069 2024-09-12 16:27.07: bap-cxxfilt.2.1.0-4b6613aa5a92bd236514b782089ca3f8 -> 7b8458fd83e9de5b38ef8e5185ebe841fa0270e5dffbf1c3260aa78eac16abfd 2024-09-12 16:27.07: bap-constant-tracker.2.1.0-0f2cd63048850b968bbca92eb55fe310 -> d2e6929f2f53b481b35754e7bd6df64de1f12463917a2b7586ec3b979eb70fc7 2024-09-12 16:27.07: bap-callsites.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 7014b37565a978c1e428f3380df2daadfe8c98db839076e2ffa12250bbda08b9 2024-09-12 16:27.07: bap-cache.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 266b5f5b4ea2fc292f9d49001cf3005216f02e504f0d212dd3cfde43ba5aafb4 2024-09-12 16:27.07: bap-c.2.1.0-db19270f074bbd06b88e62c17b2ac3ef -> f89759520588f0f4ffe00bc5656ff69814792b76c99a1b7d8ea1af5cc01cf54f 2024-09-12 16:27.07: bap-bil.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 111391127059602a29e4ea3e083a1c7b9b5f969c371a08d16324fb3e567df3ec 2024-09-12 16:27.07: bap-beagle.2.1.0-d56cd9d7b5f634e508a87b0075046b0a -> 43a0a3954e7510ad0ac06b45021feaf06c0b0317b6fb2e48827f4bf45fd1fca6 2024-09-12 16:27.07: bap-arm.2.1.0-96c90e12443487544897528bdafe22dd -> fc5d8a9e21e8e9643a5d81df10926b390c70b173f422e5330cb7be911f3ddf55 2024-09-12 16:27.07: bap-api.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> c232fcc3f63236ba36ad04d171a2212b7039fd8c0ff499314ba237cf27ec7a90 2024-09-12 16:27.07: bap-abi.2.1.0-7fce3222fc9670fabe8d252ac7293601 -> 15c1e32e8cf882653fd38b8857c079ef48d9c9c02a6c15ce1c487ad3efc4c9fb 2024-09-12 16:27.07: bap.2.1.0-ae869ebd6c849e928f222691de6d8a3f -> 91979c9ee4f942671cb8bd3bd1e154ce2b4a095d3ba42df9df4ed62a36ac9d04 2024-09-12 16:27.07: Job succeeded