On This Page
package owi
owi 0.2
Error log
The package failed to build. The error log from opam follows.
[NOTE] Package dune is already installed (current version is 3.17.2).
[NOTE] Package ocamlfind is already installed (current version is 1.9.8).
The following actions will be performed:
=== install 121 packages
- install astring 0.8.5
- install base v0.17.1
- install base_bigstring v0.17.0
- install base_quickcheck v0.17.0
- install bin_prot v0.17.0
- install bos 0.2.1
- install capitalization v0.17.0
- install cmdliner 1.3.0
- install conf-autoconf 0.2
- install conf-clang 1
- install conf-g++ 1.0
- install conf-gmp 4
- install conf-pkg-config 4
- install conf-python-3-dev 1
- install core v0.17.1
- install cppo 1.8.0
- install csexp 1.5.2
- install digestif 1.2.0
- install dolmen 0.10
- install dolmen_loop 0.10
- install dolmen_model 0.10
- install dolmen_type 0.10
- install dune-configurator 3.17.2
- install dune-private-libs 3.17.2
- install dune-site 3.17.2
- install dyn 3.17.2
- install eqaf 0.10
- install farith 0.1
- install fieldslib v0.17.0
- install fmt 0.9.0
- install fpath 0.7.3
- install gel v0.17.0
- install gen 1.1
- install hc 0.4
- install hmap 0.8.1
- install int_repr v0.17.0
- install integers 0.7.0
- install jane-street-headers v0.17.0
- install jane_rope v0.17.0
- install jst-config v0.17.0
- install logs 0.7.0
- install menhir 20240715
- install menhirCST 20240715
- install menhirLib 20240715
- install menhirSdk 20240715
- install num 1.5-1
- install ocaml-compiler-libs v0.12.4
- install ocaml_intrinsics v0.17.0
- install ocaml_intrinsics_kernel v0.17.1
- install ocamlbuild 0.15.0
- install ordering 3.17.2
- install owi 0.2
- install parsexp v0.17.0
- install patricia-tree 0.11.0
- install pp 2.0.0
- install pp_loc 2.1.0
- install ppx_assert v0.17.0
- install ppx_base v0.17.0
- install ppx_bench v0.17.0
- install ppx_bin_prot v0.17.0
- install ppx_cold v0.17.0
- install ppx_compare v0.17.0
- install ppx_custom_printf v0.17.0
- install ppx_derivers 1.2.1
- install ppx_deriving 6.0.3
- install ppx_diff v0.17.0
- install ppx_disable_unused_warnings v0.17.0
- install ppx_enumerate v0.17.0
- install ppx_expect v0.17.2
- install ppx_fields_conv v0.17.0
- install ppx_fixed_literal v0.17.0
- install ppx_globalize v0.17.0
- install ppx_hash v0.17.0
- install ppx_here v0.17.0
- install ppx_ignore_instrumentation v0.17.0
- install ppx_inline_test v0.17.0
- install ppx_jane v0.17.0
- install ppx_let v0.17.0
- install ppx_log v0.17.0
- install ppx_module_timer v0.17.0
- install ppx_optcomp v0.17.0
- install ppx_optional v0.17.0
- install ppx_pipebang v0.17.0
- install ppx_sexp_conv v0.17.0
- install ppx_sexp_message v0.17.0
- install ppx_sexp_value v0.17.0
- install ppx_stable v0.17.0
- install ppx_stable_witness v0.17.0
- install ppx_string v0.17.0
- install ppx_string_conv v0.17.0
- install ppx_tydi v0.17.0
- install ppx_typerep_conv v0.17.0
- install ppx_variants_conv v0.17.0
- install ppxlib 0.35.0
- install ppxlib_jane v0.17.0
- install prelude 0.3
- install pyml 20231101
- install re2 v0.17.0
- install regex_parser_intf v0.17.0
- install rresult 0.7.0
- install rusage 1.0.0
- install scfg 0.3
- install sedlex 3.3
- install seq base
- install sexplib v0.17.0
- install sexplib0 v0.17.0
- install smtml 0.4.1
- install spelll 0.4
- install splittable_random v0.17.0
- install stdcompat 19
- install stdio v0.17.0
- install stdlib-shims 0.3.0
- install stdune 3.17.2
- install time_now v0.17.0
- install topkg 1.0.7
- install typerep v0.17.1
- install uutf 1.0.3
- install variantslib v0.17.0
- install xmlm 1.4.0
- install yojson 2.2.2
- install zarith 1.14
The following system packages will first need to be installed:
autoconf clang libgmp-dev lld llvm pkg-config python3-dev wabt
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf" "clang" "libgmp-dev" "lld" "llvm" "pkg-config" "python3-dev" "wabt"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpipeline1: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 ... 18776 files and directories currently installed.)
- Preparing to unpack .../libpipeline1_1.5.7-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.7-1) ...
- Selecting previously unselected package binfmt-support.
- Preparing to unpack .../binfmt-support_2.2.2-2_amd64.deb ...
- Unpacking binfmt-support (2.2.2-2) ...
- Selecting previously unselected package libpython3.11-minimal:amd64.
- Preparing to unpack .../libpython3.11-minimal_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3.11-minimal.
- Preparing to unpack .../python3.11-minimal_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking python3.11-minimal (3.11.2-6+deb12u5) ...
- Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ...
- Setting up python3.11-minimal (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3-minimal.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19105 files and directories currently installed.)
- Preparing to unpack .../python3-minimal_3.11.2-1+b1_amd64.deb ...
- Unpacking python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../media-types_10.0.0_all.deb ...
- Unpacking media-types (10.0.0) ...
- Selecting previously unselected package libpython3.11-stdlib:amd64.
- Preparing to unpack .../libpython3.11-stdlib_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3.11.
- Preparing to unpack .../python3.11_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking python3.11 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../libpython3-stdlib_3.11.2-1+b1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package python3.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19515 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ...
- Unpacking python3 (3.11.2-1+b1) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../01-m4_1.4.19-3_amd64.deb ...
- Unpacking m4 (1.4.19-3) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../02-autoconf_2.71-3_all.deb ...
- Unpacking autoconf (2.71-3) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../03-autotools-dev_20220109.1_all.deb ...
- Unpacking autotools-dev (20220109.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../04-automake_1%3a1.16.5-1.3_all.deb ...
- Unpacking automake (1:1.16.5-1.3) ...
- Selecting previously unselected package libicu72:amd64.
- Preparing to unpack .../05-libicu72_72.1-3_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-3) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../06-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Selecting previously unselected package libz3-4:amd64.
- Preparing to unpack .../07-libz3-4_4.8.12-3.1_amd64.deb ...
- Unpacking libz3-4:amd64 (4.8.12-3.1) ...
- Selecting previously unselected package libllvm14:amd64.
- Preparing to unpack .../08-libllvm14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libllvm14:amd64 (1:14.0.6-12) ...
- Selecting previously unselected package libclang-cpp14.
- Preparing to unpack .../09-libclang-cpp14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-cpp14 (1:14.0.6-12) ...
- Selecting previously unselected package libgc1:amd64.
- Preparing to unpack .../10-libgc1_1%3a8.2.2-3_amd64.deb ...
- Unpacking libgc1:amd64 (1:8.2.2-3) ...
- Selecting previously unselected package libobjc4:amd64.
- Preparing to unpack .../11-libobjc4_12.2.0-14_amd64.deb ...
- Unpacking libobjc4:amd64 (12.2.0-14) ...
- Selecting previously unselected package libobjc-12-dev:amd64.
- Preparing to unpack .../12-libobjc-12-dev_12.2.0-14_amd64.deb ...
- Unpacking libobjc-12-dev:amd64 (12.2.0-14) ...
- Selecting previously unselected package libclang-common-14-dev.
- Preparing to unpack .../13-libclang-common-14-dev_1%3a14.0.6-12_all.deb ...
- Unpacking libclang-common-14-dev (1:14.0.6-12) ...
- Selecting previously unselected package llvm-14-linker-tools.
- Preparing to unpack .../14-llvm-14-linker-tools_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-linker-tools (1:14.0.6-12) ...
- Selecting previously unselected package libclang1-14.
- Preparing to unpack .../15-libclang1-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang1-14 (1:14.0.6-12) ...
- Selecting previously unselected package clang-14.
- Preparing to unpack .../16-clang-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking clang-14 (1:14.0.6-12) ...
- Selecting previously unselected package clang.
- Preparing to unpack .../17-clang_1%3a14.0-55.7~deb12u1_amd64.deb ...
- Unpacking clang (1:14.0-55.7~deb12u1) ...
- Selecting previously unselected package icu-devtools.
- Preparing to unpack .../18-icu-devtools_72.1-3_amd64.deb ...
- Unpacking icu-devtools (72.1-3) ...
- Selecting previously unselected package javascript-common.
- Preparing to unpack .../19-javascript-common_11+nmu1_all.deb ...
- Unpacking javascript-common (11+nmu1) ...
- Selecting previously unselected package libc6-i386.
- Preparing to unpack .../20-libc6-i386_2.36-9+deb12u9_amd64.deb ...
- Unpacking libc6-i386 (2.36-9+deb12u9) ...
- Selecting previously unselected package lib32gcc-s1.
- Preparing to unpack .../21-lib32gcc-s1_12.2.0-14_amd64.deb ...
- Unpacking lib32gcc-s1 (12.2.0-14) ...
- Selecting previously unselected package lib32stdc++6.
- Preparing to unpack .../22-lib32stdc++6_12.2.0-14_amd64.deb ...
- Unpacking lib32stdc++6 (12.2.0-14) ...
- Selecting previously unselected package libclang-rt-14-dev:amd64.
- Preparing to unpack .../23-libclang-rt-14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-rt-14-dev:amd64 (1:14.0.6-12) ...
- Selecting previously unselected package libnspr4:amd64.
- Preparing to unpack .../24-libnspr4_2%3a4.35-1_amd64.deb ...
- Unpacking libnspr4:amd64 (2:4.35-1) ...
- Selecting previously unselected package libnss3:amd64.
- Preparing to unpack .../25-libnss3_2%3a3.87.1-1+deb12u1_amd64.deb ...
- Unpacking libnss3:amd64 (2:3.87.1-1+deb12u1) ...
- Selecting previously unselected package nss-plugin-pem:amd64.
- Preparing to unpack .../26-nss-plugin-pem_1.0.8+1-1_amd64.deb ...
- Unpacking nss-plugin-pem:amd64 (1.0.8+1-1) ...
- Selecting previously unselected package libcurl3-nss:amd64.
- Preparing to unpack .../27-libcurl3-nss_7.88.1-10+deb12u8_amd64.deb ...
- Unpacking libcurl3-nss:amd64 (7.88.1-10+deb12u8) ...
- Selecting previously unselected package libexpat1-dev:amd64.
- Preparing to unpack .../28-libexpat1-dev_2.5.0-1+deb12u1_amd64.deb ...
- Unpacking libexpat1-dev:amd64 (2.5.0-1+deb12u1) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../29-libffi-dev_3.4.4-1_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.4-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../30-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../31-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libicu-dev:amd64.
- Preparing to unpack .../32-libicu-dev_72.1-3_amd64.deb ...
- Unpacking libicu-dev:amd64 (72.1-3) ...
- Selecting previously unselected package libjs-jquery.
- Preparing to unpack .../33-libjs-jquery_3.6.1+dfsg+~3.5.14-1_all.deb ...
- Unpacking libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Selecting previously unselected package libjs-underscore.
- Preparing to unpack .../34-libjs-underscore_1.13.4~dfsg+~1.11.4-3_all.deb ...
- Unpacking libjs-underscore (1.13.4~dfsg+~1.11.4-3) ...
- Selecting previously unselected package libjs-sphinxdoc.
- Preparing to unpack .../35-libjs-sphinxdoc_5.3.0-4_all.deb ...
- Unpacking libjs-sphinxdoc (5.3.0-4) ...
- Selecting previously unselected package libncurses6:amd64.
- Preparing to unpack .../36-libncurses6_6.4-4_amd64.deb ...
- Unpacking libncurses6:amd64 (6.4-4) ...
- Selecting previously unselected package libncurses-dev:amd64.
- Preparing to unpack .../37-libncurses-dev_6.4-4_amd64.deb ...
- Unpacking libncurses-dev:amd64 (6.4-4) ...
- Selecting previously unselected package libpfm4:amd64.
- Preparing to unpack .../38-libpfm4_4.13.0-1_amd64.deb ...
- Unpacking libpfm4:amd64 (4.13.0-1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../39-libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package libpython3.11:amd64.
- Preparing to unpack .../40-libpython3.11_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking libpython3.11:amd64 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../41-zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Selecting previously unselected package libpython3.11-dev:amd64.
- Preparing to unpack .../42-libpython3.11-dev_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking libpython3.11-dev:amd64 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package libpython3-dev:amd64.
- Preparing to unpack .../43-libpython3-dev_3.11.2-1+b1_amd64.deb ...
- Unpacking libpython3-dev:amd64 (3.11.2-1+b1) ...
- Selecting previously unselected package libtinfo-dev:amd64.
- Preparing to unpack .../44-libtinfo-dev_6.4-4_amd64.deb ...
- Unpacking libtinfo-dev:amd64 (6.4-4) ...
- Selecting previously unselected package libxml2-dev:amd64.
- Preparing to unpack .../45-libxml2-dev_2.9.14+dfsg-1.3~deb12u1_amd64.deb ...
- Unpacking libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../46-libyaml-0-2_0.2.5-1_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-1) ...
- Selecting previously unselected package libz3-dev:amd64.
- Preparing to unpack .../47-libz3-dev_4.8.12-3.1_amd64.deb ...
- Unpacking libz3-dev:amd64 (4.8.12-3.1) ...
- Selecting previously unselected package lld-14.
- Preparing to unpack .../48-lld-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking lld-14 (1:14.0.6-12) ...
- Selecting previously unselected package lld:amd64.
- Preparing to unpack .../49-lld_1%3a14.0-55.7~deb12u1_amd64.deb ...
- Unpacking lld:amd64 (1:14.0-55.7~deb12u1) ...
- Selecting previously unselected package llvm-14-runtime.
- Preparing to unpack .../50-llvm-14-runtime_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-runtime (1:14.0.6-12) ...
- Selecting previously unselected package llvm-runtime:amd64.
- Preparing to unpack .../51-llvm-runtime_1%3a14.0-55.7~deb12u1_amd64.deb ...
- Unpacking llvm-runtime:amd64 (1:14.0-55.7~deb12u1) ...
- Selecting previously unselected package llvm-14.
- Preparing to unpack .../52-llvm-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14 (1:14.0.6-12) ...
- Selecting previously unselected package llvm.
- Preparing to unpack .../53-llvm_1%3a14.0-55.7~deb12u1_amd64.deb ...
- Unpacking llvm (1:14.0-55.7~deb12u1) ...
- Selecting previously unselected package python3-pkg-resources.
- Preparing to unpack .../54-python3-pkg-resources_66.1.1-1+deb12u1_all.deb ...
- Unpacking python3-pkg-resources (66.1.1-1+deb12u1) ...
- Selecting previously unselected package python3-pygments.
- Preparing to unpack .../55-python3-pygments_2.14.0+dfsg-1_all.deb ...
- Unpacking python3-pygments (2.14.0+dfsg-1) ...
- Selecting previously unselected package python3-yaml.
- Preparing to unpack .../56-python3-yaml_6.0-3+b2_amd64.deb ...
- Unpacking python3-yaml (6.0-3+b2) ...
- Selecting previously unselected package llvm-14-tools.
- Preparing to unpack .../57-llvm-14-tools_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-tools (1:14.0.6-12) ...
- Selecting previously unselected package llvm-14-dev.
- Preparing to unpack .../58-llvm-14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-dev (1:14.0.6-12) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../59-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../60-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../61-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Selecting previously unselected package python3.11-dev.
- Preparing to unpack .../62-python3.11-dev_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking python3.11-dev (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3-lib2to3.
- Preparing to unpack .../63-python3-lib2to3_3.11.2-3_all.deb ...
- Unpacking python3-lib2to3 (3.11.2-3) ...
- Selecting previously unselected package python3-distutils.
- Preparing to unpack .../64-python3-distutils_3.11.2-3_all.deb ...
- Unpacking python3-distutils (3.11.2-3) ...
- Selecting previously unselected package python3-dev.
- Preparing to unpack .../65-python3-dev_3.11.2-1+b1_amd64.deb ...
- Unpacking python3-dev (3.11.2-1+b1) ...
- Selecting previously unselected package wabt.
- Preparing to unpack .../66-wabt_1.0.32-1_amd64.deb ...
- Unpacking wabt (1.0.32-1) ...
- Setting up media-types (10.0.0) ...
- Setting up libpipeline1:amd64 (1.5.7-1) ...
- Setting up javascript-common (11+nmu1) ...
- Setting up libicu72:amd64 (72.1-3) ...
- Setting up libyaml-0-2:amd64 (0.2.5-1) ...
- Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ...
- Setting up m4 (1.4.19-3) ...
- Setting up libffi-dev:amd64 (3.4.4-1) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up libz3-4:amd64 (4.8.12-3.1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libpfm4:amd64 (4.13.0-1) ...
- Setting up libexpat1-dev:amd64 (2.5.0-1+deb12u1) ...
- Setting up libnspr4:amd64 (2:4.35-1) ...
- Setting up libncurses6:amd64 (6.4-4) ...
- Setting up binfmt-support (2.2.2-2) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of start.
- Setting up icu-devtools (72.1-3) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up wabt (1.0.32-1) ...
- Setting up libgc1:amd64 (1:8.2.2-3) ...
- Setting up autoconf (2.71-3) ...
- Setting up zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Setting up libc6-i386 (2.36-9+deb12u9) ...
- Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Setting up libicu-dev:amd64 (72.1-3) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up libjs-underscore (1.13.4~dfsg+~1.11.4-3) ...
- Setting up automake (1:1.16.5-1.3) ...
- update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
- Setting up libz3-dev:amd64 (4.8.12-3.1) ...
- Setting up python3.11 (3.11.2-6+deb12u5) ...
- Setting up libncurses-dev:amd64 (6.4-4) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libpython3.11:amd64 (3.11.2-6+deb12u5) ...
- Setting up libobjc4:amd64 (12.2.0-14) ...
- Setting up python3 (3.11.2-1+b1) ...
- running python rtupdate hooks for python3.11...
- running python post-rtupdate hooks for python3.11...
- Setting up libnss3:amd64 (2:3.87.1-1+deb12u1) ...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Setting up lib32gcc-s1 (12.2.0-14) ...
- Setting up lib32stdc++6 (12.2.0-14) ...
- Setting up libpython3.11-dev:amd64 (3.11.2-6+deb12u5) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Setting up libjs-sphinxdoc (5.3.0-4) ...
- Setting up libllvm14:amd64 (1:14.0.6-12) ...
- Setting up libobjc-12-dev:amd64 (12.2.0-14) ...
- Setting up llvm-14-linker-tools (1:14.0.6-12) ...
- Setting up python3-lib2to3 (3.11.2-3) ...
- Setting up python3-pkg-resources (66.1.1-1+deb12u1) ...
- Setting up python3-distutils (3.11.2-3) ...
- Setting up libtinfo-dev:amd64 (6.4-4) ...
- Setting up libpython3-dev:amd64 (3.11.2-1+b1) ...
- Setting up python3.11-dev (3.11.2-6+deb12u5) ...
- Setting up nss-plugin-pem:amd64 (1.0.8+1-1) ...
- Setting up libclang1-14 (1:14.0.6-12) ...
- Setting up python3-yaml (6.0-3+b2) ...
- Setting up python3-pygments (2.14.0+dfsg-1) ...
- Setting up llvm-14-runtime (1:14.0.6-12) ...
- Setting up libclang-rt-14-dev:amd64 (1:14.0.6-12) ...
- Setting up llvm-runtime:amd64 (1:14.0-55.7~deb12u1) ...
- Setting up python3-dev (3.11.2-1+b1) ...
- Setting up libclang-common-14-dev (1:14.0.6-12) ...
- Setting up libclang-cpp14 (1:14.0.6-12) ...
- Setting up lld-14 (1:14.0.6-12) ...
- Setting up libcurl3-nss:amd64 (7.88.1-10+deb12u8) ...
- Setting up llvm-14 (1:14.0.6-12) ...
- Setting up llvm-14-tools (1:14.0.6-12) ...
- Setting up clang-14 (1:14.0.6-12) ...
- Setting up lld:amd64 (1:14.0-55.7~deb12u1) ...
- Setting up clang (1:14.0-55.7~deb12u1) ...
- Setting up llvm (1:14.0-55.7~deb12u1) ...
- Setting up llvm-14-dev (1:14.0.6-12) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5 (cached)
-> retrieved base_bigstring.v0.17.0 (cached)
-> retrieved base_quickcheck.v0.17.0 (cached)
-> retrieved base.v0.17.1 (cached)
-> retrieved bin_prot.v0.17.0 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved conf-gmp.4 (cached)
-> retrieved conf-python-3-dev.1 (cached)
-> retrieved capitalization.v0.17.0 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved core.v0.17.1 (cached)
-> installed conf-autoconf.0.2
-> installed conf-clang.1
-> installed conf-g++.1.0
-> installed conf-gmp.4
-> installed conf-pkg-config.4
-> retrieved cppo.1.8.0 (cached)
-> installed conf-python-3-dev.1
-> retrieved csexp.1.5.2 (cached)
-> retrieved dolmen.0.10, dolmen_loop.0.10, dolmen_model.0.10, dolmen_type.0.10 (cached)
-> retrieved digestif.1.2.0 (cached)
-> installed cppo.1.8.0
-> retrieved dune-configurator.3.17.2, dune-private-libs.3.17.2, dune-site.3.17.2, dyn.3.17.2, ordering.3.17.2, stdune.3.17.2 (cached)
-> retrieved eqaf.0.10 (cached)
-> retrieved farith.0.1 (cached)
-> retrieved fieldslib.v0.17.0 (cached)
-> retrieved fmt.0.9.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved gel.v0.17.0 (cached)
-> retrieved gen.1.1 (cached)
-> retrieved hc.0.4 (cached)
-> retrieved hmap.0.8.1 (cached)
-> retrieved int_repr.v0.17.0 (cached)
-> retrieved integers.0.7.0 (cached)
-> installed cmdliner.1.3.0
-> installed csexp.1.5.2
-> installed eqaf.0.10
-> installed ordering.3.17.2
-> installed hc.0.4
-> retrieved jane-street-headers.v0.17.0 (cached)
-> retrieved jane_rope.v0.17.0 (cached)
-> retrieved jst-config.v0.17.0 (cached)
-> retrieved logs.0.7.0 (cached)
-> retrieved num.1.5-1 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocaml_intrinsics.v0.17.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached)
-> installed jane-street-headers.v0.17.0
-> retrieved ocamlbuild.0.15.0 (cached)
-> retrieved owi.0.2 (cached)
-> installed ocaml_intrinsics_kernel.v0.17.1
-> retrieved parsexp.v0.17.0 (cached)
-> installed menhirCST.20240715
-> retrieved patricia-tree.0.11.0 (cached)
-> retrieved pp.2.0.0 (cached)
-> installed digestif.1.2.0
-> retrieved pp_loc.2.1.0 (cached)
-> retrieved ppx_assert.v0.17.0 (cached)
-> retrieved ppx_base.v0.17.0 (cached)
-> retrieved ppx_bench.v0.17.0 (cached)
-> retrieved ppx_bin_prot.v0.17.0 (cached)
-> retrieved ppx_cold.v0.17.0 (cached)
-> retrieved ppx_compare.v0.17.0 (cached)
-> retrieved ppx_custom_printf.v0.17.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_disable_unused_warnings.v0.17.0 (cached)
-> retrieved ppx_deriving.6.0.3 (cached)
-> retrieved ppx_diff.v0.17.0 (cached)
-> retrieved ppx_enumerate.v0.17.0 (cached)
-> retrieved ppx_expect.v0.17.2 (cached)
-> retrieved ppx_fields_conv.v0.17.0 (cached)
-> installed ocaml-compiler-libs.v0.12.4
-> retrieved ppx_fixed_literal.v0.17.0 (cached)
-> retrieved ppx_globalize.v0.17.0 (cached)
-> retrieved ppx_hash.v0.17.0 (cached)
-> retrieved ppx_here.v0.17.0 (cached)
-> retrieved ppx_ignore_instrumentation.v0.17.0 (cached)
-> retrieved ppx_inline_test.v0.17.0 (cached)
-> installed menhirSdk.20240715
-> installed pp.2.0.0
-> installed dune-configurator.3.17.2
-> installed num.1.5-1
-> installed menhirLib.20240715
-> installed pp_loc.2.1.0
-> installed ppx_derivers.1.2.1
-> retrieved ppx_jane.v0.17.0 (cached)
-> retrieved ppx_let.v0.17.0 (cached)
-> retrieved ppx_log.v0.17.0 (cached)
-> retrieved ppx_module_timer.v0.17.0 (cached)
-> retrieved ppx_optcomp.v0.17.0 (cached)
-> retrieved ppx_optional.v0.17.0 (cached)
-> retrieved ppx_pipebang.v0.17.0 (cached)
-> retrieved ppx_sexp_conv.v0.17.0 (cached)
-> retrieved ppx_sexp_message.v0.17.0 (cached)
-> retrieved ppx_sexp_value.v0.17.0 (cached)
-> retrieved ppx_stable.v0.17.0 (cached)
-> retrieved ppx_stable_witness.v0.17.0 (cached)
-> retrieved ppx_string.v0.17.0 (cached)
-> retrieved ppx_string_conv.v0.17.0 (cached)
-> retrieved ppx_tydi.v0.17.0 (cached)
-> retrieved ppx_typerep_conv.v0.17.0 (cached)
-> retrieved ppx_variants_conv.v0.17.0 (cached)
-> retrieved prelude.0.3 (cached)
-> retrieved ppxlib_jane.v0.17.0 (cached)
-> installed patricia-tree.0.11.0
-> retrieved pyml.20231101 (cached)
-> retrieved re2.v0.17.0 (cached)
-> retrieved rresult.0.7.0 (cached)
-> retrieved regex_parser_intf.v0.17.0 (cached)
-> retrieved rusage.1.0.0 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved scfg.0.3 (cached)
-> retrieved sedlex.3.3 (cached)
-> retrieved sexplib.v0.17.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved spelll.0.4 (cached)
-> retrieved splittable_random.v0.17.0 (cached)
-> retrieved smtml.0.4.1 (cached)
-> retrieved stdio.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved stdcompat.19 (cached)
-> installed rusage.1.0.0
-> retrieved time_now.v0.17.0 (cached)
-> retrieved topkg.1.0.7 (cached)
-> installed stdlib-shims.0.3.0
-> retrieved typerep.v0.17.1 (cached)
-> retrieved uutf.1.0.3 (cached)
-> retrieved variantslib.v0.17.0 (cached)
-> retrieved xmlm.1.4.0 (cached)
-> retrieved zarith.1.14 (cached)
-> installed dyn.3.17.2
-> installed ocaml_intrinsics.v0.17.0
-> installed gen.1.1
-> installed sexplib0.v0.17.0
-> installed integers.0.7.0
-> installed spelll.0.4
-> retrieved yojson.2.2.2 (cached)
-> installed parsexp.v0.17.0
-> installed yojson.2.2.2
-> installed ocamlbuild.0.15.0
-> installed sexplib.v0.17.0
-> installed zarith.1.14
-> installed stdune.3.17.2
-> installed dune-private-libs.3.17.2
-> installed base.v0.17.1
-> installed topkg.1.0.7
-> installed regex_parser_intf.v0.17.0
-> installed fieldslib.v0.17.0
-> installed variantslib.v0.17.0
-> installed stdio.v0.17.0
-> installed hmap.0.8.1
-> installed rresult.0.7.0
-> installed typerep.v0.17.1
-> installed dune-site.3.17.2
-> installed uutf.1.0.3
-> installed xmlm.1.4.0
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed logs.0.7.0
-> installed stdcompat.19
-> installed menhir.20240715
-> installed bos.0.2.1
-> installed prelude.0.3
-> installed pyml.20231101
-> installed ppxlib.0.35.0
-> installed ppx_optcomp.v0.17.0
-> installed ppx_here.v0.17.0
-> installed ppx_cold.v0.17.0
-> installed ppx_disable_unused_warnings.v0.17.0
-> installed ppx_tydi.v0.17.0
-> installed ppxlib_jane.v0.17.0
-> installed ppx_pipebang.v0.17.0
-> installed ppx_stable_witness.v0.17.0
-> installed ppx_variants_conv.v0.17.0
-> installed ppx_typerep_conv.v0.17.0
-> installed ppx_fields_conv.v0.17.0
-> installed ppx_fixed_literal.v0.17.0
-> installed ppx_ignore_instrumentation.v0.17.0
-> installed ppx_stable.v0.17.0
-> installed sedlex.3.3
-> installed ppx_deriving.6.0.3
-> installed ppx_enumerate.v0.17.0
-> installed ppx_globalize.v0.17.0
-> installed ppx_let.v0.17.0
-> installed ppx_compare.v0.17.0
-> installed ppx_optional.v0.17.0
-> installed ppx_sexp_conv.v0.17.0
-> installed scfg.0.3
-> installed ppx_hash.v0.17.0
-> installed dolmen.0.10
-> installed ppx_assert.v0.17.0
-> installed ppx_sexp_message.v0.17.0
-> installed ppx_sexp_value.v0.17.0
-> installed ppx_custom_printf.v0.17.0
-> installed ppx_base.v0.17.0
-> installed farith.0.1
-> installed capitalization.v0.17.0
-> installed dolmen_type.0.10
-> installed jst-config.v0.17.0
-> installed bin_prot.v0.17.0
-> installed ppx_string.v0.17.0
-> installed time_now.v0.17.0
-> installed dolmen_loop.0.10
-> installed ppx_bin_prot.v0.17.0
-> installed ppx_string_conv.v0.17.0
-> installed dolmen_model.0.10
-> installed ppx_module_timer.v0.17.0
-> installed ppx_inline_test.v0.17.0
-> installed smtml.0.4.1
-> installed ppx_bench.v0.17.0
-> installed ppx_expect.v0.17.2
-> installed splittable_random.v0.17.0
-> installed base_quickcheck.v0.17.0
-> installed ppx_log.v0.17.0
-> installed ppx_jane.v0.17.0
-> installed gel.v0.17.0
-> installed jane_rope.v0.17.0
-> installed int_repr.v0.17.0
-> installed base_bigstring.v0.17.0
-> installed ppx_diff.v0.17.0
-> installed core.v0.17.1
-> installed re2.v0.17.0
[ERROR] The compilation of owi.0.2 failed at "dune build -p owi -j 39 --promote-install-files=false @install".
#=== ERROR while compiling owi.0.2 ============================================#
# context 2.3.0 | linux/x86_64 | ocaml-base-compiler.5.1.1 | file:///src
# path ~/.opam/5.1/.opam-switch/build/owi.0.2
# command ~/.opam/5.1/bin/dune build -p owi -j 39 --promote-install-files=false @install
# exit-code 1
# env-file ~/.opam/log/owi-113-a46810.env
# output-file ~/.opam/log/owi-113-a46810.out
### output ###
# (cd _build/default && /home/opam/.opam/5.1/bin/ocamlc.opt -w +a-4-40-41-42-44-45-70-73 -warn-error +a -g -bin-annot -I src/.owi.objs/byte -I src/.owi.objs/public_cmi -I /home/opam/.opam/5.1/lib/astring -I /home/opam/.opam/5.1/lib/base -I /home/opam/.opam/5.1/lib/base/base_internalhash_types -I /home/opam/.opam/5.1/lib/base/md5 -I /home/opam/.opam/5.1/lib/base/shadow_stdlib -I /home/opam/.opam/5.1/lib/base_bigstring -I /home/opam/.opam/5.1/lib/base_quickcheck -I /home/opam/.opam/5.1/lib/base_quickcheck/ppx_quickcheck/runtime -I /home/opam/.opam/5.1/lib/bin_prot -I /home/opam/.opam/5.1/lib/bin_prot/shape -I /home/opam/.opam/5.1/lib/bos -I /home/opam/.opam/5.1/lib/cmdliner -I /home/opam/.opam/5.1/lib/core -I /home/opam/.opam/5.1/lib/core/base_for_tests -I /home/opam/.opam/5.1/lib/core/command -I /home/opam/.opam/5.1/lib/core/filename_base -I /home/opam/.opam/5.1/lib/core/heap_block -I /home/opam/.opam/5.1/lib/core/univ_map -I /home/opam/.opam/5.1/lib/core/validate -I /home/opam/.opam/5.1/lib/digestif -I /home/opam/.opam/5.1/lib/dolmen -I /home/opam/.opam/5.1/lib/dolmen/ae -I /home/opam/.opam/5.1/lib/dolmen/class -I /home/opam/.opam/5.1/lib/dolmen/dimacs -I /home/opam/.opam/5.1/lib/dolmen/icnf -I /home/opam/.opam/5.1/lib/dolmen/intf -I /home/opam/.opam/5.1/lib/dolmen/line -I /home/opam/.opam/5.1/lib/dolmen/smtlib2 -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/poly -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/v6_response -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/v6_script -I /home/opam/.opam/5.1/lib/dolmen/std -I /home/opam/.opam/5.1/lib/dolmen/tptp -I /home/opam/.opam/5.1/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/5.1/lib/dolmen/zf -I /home/opam/.opam/5.1/lib/dolmen_type -I /home/opam/.opam/5.1/lib/dune-private-libs/dune-section -I /home/opam/.opam/5.1/lib/dune-site -I /home/opam/.opam/5.1/lib/dune-site/private -I /home/opam/.opam/5.1/lib/eqaf -I /home/opam/.opam/5.1/lib/fieldslib -I /home/opam/.opam/5.1/lib/fmt -I /home/opam/.opam/5.1/lib/fpath -I /home/opam/.opam/5.1/lib/gel -I /home/opam/.opam/5.1/lib/gen -I /home/opam/.opam/5.1/lib/hc -I /home/opam/.opam/5.1/lib/hmap -I /home/opam/.opam/5.1/lib/int_repr -I /home/opam/.opam/5.1/lib/integers -I /home/opam/.opam/5.1/lib/jane-street-headers -I /home/opam/.opam/5.1/lib/jane_rope -I /home/opam/.opam/5.1/lib/logs -I /home/opam/.opam/5.1/lib/menhirLib -I /home/opam/.opam/5.1/lib/ocaml-compiler-libs/common -I /home/opam/.opam/5.1/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/5.1/lib/ocaml/compiler-libs -I /home/opam/.opam/5.1/lib/ocaml/runtime_events -I /home/opam/.opam/5.1/lib/ocaml/unix -I /home/opam/.opam/5.1/lib/ocaml_intrinsics -I /home/opam/.opam/5.1/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/5.1/lib/parsexp -I /home/opam/.opam/5.1/lib/patricia-tree -I /home/opam/.opam/5.1/lib/ppx_assert/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_bench/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_compare/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_derivers -I /home/opam/.opam/5.1/lib/ppx_diff/diffable -I /home/opam/.opam/5.1/lib/ppx_diff/diffable_cinaps -I /home/opam/.opam/5.1/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_expect/config -I /home/opam/.opam/5.1/lib/ppx_expect/config_types -I /home/opam/.opam/5.1/lib/ppx_expect/make_corrected_file -I /home/opam/.opam/5.1/lib/ppx_expect/runtime -I /home/opam/.opam/5.1/lib/ppx_hash/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_here/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_inline_test/config -I /home/opam/.opam/5.1/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_log/syntax -I /home/opam/.opam/5.1/lib/ppx_log/types -I /home/opam/.opam/5.1/lib/ppx_module_timer/runtime -I /home/opam/.opam/5.1/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_stable_witness/runtime -I /home/opam/.opam/5.1/lib/ppx_stable_witness/stable_witness -I /home/opam/.opam/5.1/lib/ppx_string/runtime -I /home/opam/.opam/5.1/lib/ppxlib -I /home/opam/.opam/5.1/lib/ppxlib/ast -I /home/opam/.opam/5.1/lib/ppxlib/astlib -I /home/opam/.opam/5.1/lib/ppxlib/print_diff -I /home/opam/.opam/5.1/lib/ppxlib/stdppx -I /home/opam/.opam/5.1/lib/ppxlib/traverse_builtins -I /home/opam/.opam/5.1/lib/prelude -I /home/opam/.opam/5.1/lib/pyml -I /home/opam/.opam/5.1/lib/re2 -I /home/opam/.opam/5.1/lib/re2/c -I /home/opam/.opam/5.1/lib/regex_parser_intf -I /home/opam/.opam/5.1/lib/rresult -I /home/opam/.opam/5.1/lib/rusage -I /home/opam/.opam/5.1/lib/scfg -I /home/opam/.opam/5.1/lib/sedlex -I /home/opam/.opam/5.1/lib/seq -I /home/opam/.opam/5.1/lib/sexplib -I /home/opam/.opam/5.1/lib/sexplib0 -I /home/opam/.opam/5.1/lib/smtml -I /home/opam/.opam/5.1/lib/smtml/prelude -I /home/opam/.opam/5.1/lib/spelll -I /home/opam/.opam/5.1/lib/splittable_random -I /home/opam/.opam/5.1/lib/stdcompat -I /home/opam/.opam/5.1/lib/stdio -I /home/opam/.opam/5.1/lib/stdlib-shims -I /home/opam/.opam/5.1/lib/time_now -I /home/opam/.opam/5.1/lib/typerep -I /home/opam/.opam/5.1/lib/uutf -I /home/opam/.opam/5.1/lib/variantslib -I /home/opam/.opam/5.1/lib/xmlm -I /home/opam/.opam/5.1/lib/yojson -I /home/opam/.opam/5.1/lib/zarith -intf-suffix .ml -no-alias-deps -open Owi -o src/.owi.objs/byte/owi__Symbolic_memory.cmo -c -impl src/symbolic/symbolic_memory.pp.ml)
# File "src/symbolic/symbolic_memory.ml", line 182, characters 8-22:
# 182 | | Ptr (base, offset) -> (
# ^^^^^^^^^^^^^^
# Error: This pattern matches values of type 'a * 'b
# but a pattern was expected which matches values of type
# Expr.expr.Ptr = Smtml.Expr.expr.Ptr
# (cd _build/default && /home/opam/.opam/5.1/bin/ocamlc.opt -w +a-4-40-41-42-44-45-70-73 -warn-error +a -g -bin-annot -I src/.owi.objs/byte -I src/.owi.objs/public_cmi -I /home/opam/.opam/5.1/lib/astring -I /home/opam/.opam/5.1/lib/base -I /home/opam/.opam/5.1/lib/base/base_internalhash_types -I /home/opam/.opam/5.1/lib/base/md5 -I /home/opam/.opam/5.1/lib/base/shadow_stdlib -I /home/opam/.opam/5.1/lib/base_bigstring -I /home/opam/.opam/5.1/lib/base_quickcheck -I /home/opam/.opam/5.1/lib/base_quickcheck/ppx_quickcheck/runtime -I /home/opam/.opam/5.1/lib/bin_prot -I /home/opam/.opam/5.1/lib/bin_prot/shape -I /home/opam/.opam/5.1/lib/bos -I /home/opam/.opam/5.1/lib/cmdliner -I /home/opam/.opam/5.1/lib/core -I /home/opam/.opam/5.1/lib/core/base_for_tests -I /home/opam/.opam/5.1/lib/core/command -I /home/opam/.opam/5.1/lib/core/filename_base -I /home/opam/.opam/5.1/lib/core/heap_block -I /home/opam/.opam/5.1/lib/core/univ_map -I /home/opam/.opam/5.1/lib/core/validate -I /home/opam/.opam/5.1/lib/digestif -I /home/opam/.opam/5.1/lib/dolmen -I /home/opam/.opam/5.1/lib/dolmen/ae -I /home/opam/.opam/5.1/lib/dolmen/class -I /home/opam/.opam/5.1/lib/dolmen/dimacs -I /home/opam/.opam/5.1/lib/dolmen/icnf -I /home/opam/.opam/5.1/lib/dolmen/intf -I /home/opam/.opam/5.1/lib/dolmen/line -I /home/opam/.opam/5.1/lib/dolmen/smtlib2 -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/poly -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/v6_response -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/v6_script -I /home/opam/.opam/5.1/lib/dolmen/std -I /home/opam/.opam/5.1/lib/dolmen/tptp -I /home/opam/.opam/5.1/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/5.1/lib/dolmen/zf -I /home/opam/.opam/5.1/lib/dolmen_type -I /home/opam/.opam/5.1/lib/dune-private-libs/dune-section -I /home/opam/.opam/5.1/lib/dune-site -I /home/opam/.opam/5.1/lib/dune-site/private -I /home/opam/.opam/5.1/lib/eqaf -I /home/opam/.opam/5.1/lib/fieldslib -I /home/opam/.opam/5.1/lib/fmt -I /home/opam/.opam/5.1/lib/fpath -I /home/opam/.opam/5.1/lib/gel -I /home/opam/.opam/5.1/lib/gen -I /home/opam/.opam/5.1/lib/hc -I /home/opam/.opam/5.1/lib/hmap -I /home/opam/.opam/5.1/lib/int_repr -I /home/opam/.opam/5.1/lib/integers -I /home/opam/.opam/5.1/lib/jane-street-headers -I /home/opam/.opam/5.1/lib/jane_rope -I /home/opam/.opam/5.1/lib/logs -I /home/opam/.opam/5.1/lib/menhirLib -I /home/opam/.opam/5.1/lib/ocaml-compiler-libs/common -I /home/opam/.opam/5.1/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/5.1/lib/ocaml/compiler-libs -I /home/opam/.opam/5.1/lib/ocaml/runtime_events -I /home/opam/.opam/5.1/lib/ocaml/unix -I /home/opam/.opam/5.1/lib/ocaml_intrinsics -I /home/opam/.opam/5.1/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/5.1/lib/parsexp -I /home/opam/.opam/5.1/lib/patricia-tree -I /home/opam/.opam/5.1/lib/ppx_assert/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_bench/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_compare/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_derivers -I /home/opam/.opam/5.1/lib/ppx_diff/diffable -I /home/opam/.opam/5.1/lib/ppx_diff/diffable_cinaps -I /home/opam/.opam/5.1/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_expect/config -I /home/opam/.opam/5.1/lib/ppx_expect/config_types -I /home/opam/.opam/5.1/lib/ppx_expect/make_corrected_file -I /home/opam/.opam/5.1/lib/ppx_expect/runtime -I /home/opam/.opam/5.1/lib/ppx_hash/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_here/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_inline_test/config -I /home/opam/.opam/5.1/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_log/syntax -I /home/opam/.opam/5.1/lib/ppx_log/types -I /home/opam/.opam/5.1/lib/ppx_module_timer/runtime -I /home/opam/.opam/5.1/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_stable_witness/runtime -I /home/opam/.opam/5.1/lib/ppx_stable_witness/stable_witness -I /home/opam/.opam/5.1/lib/ppx_string/runtime -I /home/opam/.opam/5.1/lib/ppxlib -I /home/opam/.opam/5.1/lib/ppxlib/ast -I /home/opam/.opam/5.1/lib/ppxlib/astlib -I /home/opam/.opam/5.1/lib/ppxlib/print_diff -I /home/opam/.opam/5.1/lib/ppxlib/stdppx -I /home/opam/.opam/5.1/lib/ppxlib/traverse_builtins -I /home/opam/.opam/5.1/lib/prelude -I /home/opam/.opam/5.1/lib/pyml -I /home/opam/.opam/5.1/lib/re2 -I /home/opam/.opam/5.1/lib/re2/c -I /home/opam/.opam/5.1/lib/regex_parser_intf -I /home/opam/.opam/5.1/lib/rresult -I /home/opam/.opam/5.1/lib/rusage -I /home/opam/.opam/5.1/lib/scfg -I /home/opam/.opam/5.1/lib/sedlex -I /home/opam/.opam/5.1/lib/seq -I /home/opam/.opam/5.1/lib/sexplib -I /home/opam/.opam/5.1/lib/sexplib0 -I /home/opam/.opam/5.1/lib/smtml -I /home/opam/.opam/5.1/lib/smtml/prelude -I /home/opam/.opam/5.1/lib/spelll -I /home/opam/.opam/5.1/lib/splittable_random -I /home/opam/.opam/5.1/lib/stdcompat -I /home/opam/.opam/5.1/lib/stdio -I /home/opam/.opam/5.1/lib/stdlib-shims -I /home/opam/.opam/5.1/lib/time_now -I /home/opam/.opam/5.1/lib/typerep -I /home/opam/.opam/5.1/lib/uutf -I /home/opam/.opam/5.1/lib/variantslib -I /home/opam/.opam/5.1/lib/xmlm -I /home/opam/.opam/5.1/lib/yojson -I /home/opam/.opam/5.1/lib/zarith -no-alias-deps -open Owi -o src/.owi.objs/byte/owi__Symbolic.cmo -c -impl src/symbolic/symbolic.pp.ml)
# File "src/symbolic/symbolic.ml", line 68, characters 20-44:
# 68 | | Val _ | Ptr (_, { node = Val _; _ }) -> return a
# ^^^^^^^^^^^^^^^^^^^^^^^^
# Error: This pattern matches values of type 'a * 'b
# but a pattern was expected which matches values of type
# Smtml.Expr.expr.Ptr
# (cd _build/default && /home/opam/.opam/5.1/bin/ocamlc.opt -w +a-4-40-41-42-44-45-70-73 -warn-error +a -g -bin-annot -I src/.owi.objs/byte -I src/.owi.objs/public_cmi -I /home/opam/.opam/5.1/lib/astring -I /home/opam/.opam/5.1/lib/base -I /home/opam/.opam/5.1/lib/base/base_internalhash_types -I /home/opam/.opam/5.1/lib/base/md5 -I /home/opam/.opam/5.1/lib/base/shadow_stdlib -I /home/opam/.opam/5.1/lib/base_bigstring -I /home/opam/.opam/5.1/lib/base_quickcheck -I /home/opam/.opam/5.1/lib/base_quickcheck/ppx_quickcheck/runtime -I /home/opam/.opam/5.1/lib/bin_prot -I /home/opam/.opam/5.1/lib/bin_prot/shape -I /home/opam/.opam/5.1/lib/bos -I /home/opam/.opam/5.1/lib/cmdliner -I /home/opam/.opam/5.1/lib/core -I /home/opam/.opam/5.1/lib/core/base_for_tests -I /home/opam/.opam/5.1/lib/core/command -I /home/opam/.opam/5.1/lib/core/filename_base -I /home/opam/.opam/5.1/lib/core/heap_block -I /home/opam/.opam/5.1/lib/core/univ_map -I /home/opam/.opam/5.1/lib/core/validate -I /home/opam/.opam/5.1/lib/digestif -I /home/opam/.opam/5.1/lib/dolmen -I /home/opam/.opam/5.1/lib/dolmen/ae -I /home/opam/.opam/5.1/lib/dolmen/class -I /home/opam/.opam/5.1/lib/dolmen/dimacs -I /home/opam/.opam/5.1/lib/dolmen/icnf -I /home/opam/.opam/5.1/lib/dolmen/intf -I /home/opam/.opam/5.1/lib/dolmen/line -I /home/opam/.opam/5.1/lib/dolmen/smtlib2 -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/poly -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/v6_response -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/v6_script -I /home/opam/.opam/5.1/lib/dolmen/std -I /home/opam/.opam/5.1/lib/dolmen/tptp -I /home/opam/.opam/5.1/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/5.1/lib/dolmen/zf -I /home/opam/.opam/5.1/lib/dolmen_type -I /home/opam/.opam/5.1/lib/dune-private-libs/dune-section -I /home/opam/.opam/5.1/lib/dune-site -I /home/opam/.opam/5.1/lib/dune-site/private -I /home/opam/.opam/5.1/lib/eqaf -I /home/opam/.opam/5.1/lib/fieldslib -I /home/opam/.opam/5.1/lib/fmt -I /home/opam/.opam/5.1/lib/fpath -I /home/opam/.opam/5.1/lib/gel -I /home/opam/.opam/5.1/lib/gen -I /home/opam/.opam/5.1/lib/hc -I /home/opam/.opam/5.1/lib/hmap -I /home/opam/.opam/5.1/lib/int_repr -I /home/opam/.opam/5.1/lib/integers -I /home/opam/.opam/5.1/lib/jane-street-headers -I /home/opam/.opam/5.1/lib/jane_rope -I /home/opam/.opam/5.1/lib/logs -I /home/opam/.opam/5.1/lib/menhirLib -I /home/opam/.opam/5.1/lib/ocaml-compiler-libs/common -I /home/opam/.opam/5.1/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/5.1/lib/ocaml/compiler-libs -I /home/opam/.opam/5.1/lib/ocaml/runtime_events -I /home/opam/.opam/5.1/lib/ocaml/unix -I /home/opam/.opam/5.1/lib/ocaml_intrinsics -I /home/opam/.opam/5.1/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/5.1/lib/parsexp -I /home/opam/.opam/5.1/lib/patricia-tree -I /home/opam/.opam/5.1/lib/ppx_assert/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_bench/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_compare/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_derivers -I /home/opam/.opam/5.1/lib/ppx_diff/diffable -I /home/opam/.opam/5.1/lib/ppx_diff/diffable_cinaps -I /home/opam/.opam/5.1/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_expect/config -I /home/opam/.opam/5.1/lib/ppx_expect/config_types -I /home/opam/.opam/5.1/lib/ppx_expect/make_corrected_file -I /home/opam/.opam/5.1/lib/ppx_expect/runtime -I /home/opam/.opam/5.1/lib/ppx_hash/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_here/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_inline_test/config -I /home/opam/.opam/5.1/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_log/syntax -I /home/opam/.opam/5.1/lib/ppx_log/types -I /home/opam/.opam/5.1/lib/ppx_module_timer/runtime -I /home/opam/.opam/5.1/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_stable_witness/runtime -I /home/opam/.opam/5.1/lib/ppx_stable_witness/stable_witness -I /home/opam/.opam/5.1/lib/ppx_string/runtime -I /home/opam/.opam/5.1/lib/ppxlib -I /home/opam/.opam/5.1/lib/ppxlib/ast -I /home/opam/.opam/5.1/lib/ppxlib/astlib -I /home/opam/.opam/5.1/lib/ppxlib/print_diff -I /home/opam/.opam/5.1/lib/ppxlib/stdppx -I /home/opam/.opam/5.1/lib/ppxlib/traverse_builtins -I /home/opam/.opam/5.1/lib/prelude -I /home/opam/.opam/5.1/lib/pyml -I /home/opam/.opam/5.1/lib/re2 -I /home/opam/.opam/5.1/lib/re2/c -I /home/opam/.opam/5.1/lib/regex_parser_intf -I /home/opam/.opam/5.1/lib/rresult -I /home/opam/.opam/5.1/lib/rusage -I /home/opam/.opam/5.1/lib/scfg -I /home/opam/.opam/5.1/lib/sedlex -I /home/opam/.opam/5.1/lib/seq -I /home/opam/.opam/5.1/lib/sexplib -I /home/opam/.opam/5.1/lib/sexplib0 -I /home/opam/.opam/5.1/lib/smtml -I /home/opam/.opam/5.1/lib/smtml/prelude -I /home/opam/.opam/5.1/lib/spelll -I /home/opam/.opam/5.1/lib/splittable_random -I /home/opam/.opam/5.1/lib/stdcompat -I /home/opam/.opam/5.1/lib/stdio -I /home/opam/.opam/5.1/lib/stdlib-shims -I /home/opam/.opam/5.1/lib/time_now -I /home/opam/.opam/5.1/lib/typerep -I /home/opam/.opam/5.1/lib/uutf -I /home/opam/.opam/5.1/lib/variantslib -I /home/opam/.opam/5.1/lib/xmlm -I /home/opam/.opam/5.1/lib/yojson -I /home/opam/.opam/5.1/lib/zarith -intf-suffix .ml -no-alias-deps -open Owi -o src/.owi.objs/byte/owi__Symbolic_choice.cmo -c -impl src/symbolic/symbolic_choice.pp.ml)
# File "src/symbolic/symbolic_choice.ml", line 539, characters 43-52:
# 539 | let assign = Expr.(relop Ty_bool Eq (mk_symbol sym) e) in
# ^^^^^^^^^
# Error: Unbound value mk_symbol
# Hint: Did you mean symbol?
# (cd _build/default && /home/opam/.opam/5.1/bin/ocamlopt.opt -w +a-4-40-41-42-44-45-70-73 -warn-error +a -g -I src/.owi.objs/byte -I src/.owi.objs/native -I src/.owi.objs/public_cmi -I /home/opam/.opam/5.1/lib/astring -I /home/opam/.opam/5.1/lib/base -I /home/opam/.opam/5.1/lib/base/base_internalhash_types -I /home/opam/.opam/5.1/lib/base/md5 -I /home/opam/.opam/5.1/lib/base/shadow_stdlib -I /home/opam/.opam/5.1/lib/base_bigstring -I /home/opam/.opam/5.1/lib/base_quickcheck -I /home/opam/.opam/5.1/lib/base_quickcheck/ppx_quickcheck/runtime -I /home/opam/.opam/5.1/lib/bin_prot -I /home/opam/.opam/5.1/lib/bin_prot/shape -I /home/opam/.opam/5.1/lib/bos -I /home/opam/.opam/5.1/lib/cmdliner -I /home/opam/.opam/5.1/lib/core -I /home/opam/.opam/5.1/lib/core/base_for_tests -I /home/opam/.opam/5.1/lib/core/command -I /home/opam/.opam/5.1/lib/core/filename_base -I /home/opam/.opam/5.1/lib/core/heap_block -I /home/opam/.opam/5.1/lib/core/univ_map -I /home/opam/.opam/5.1/lib/core/validate -I /home/opam/.opam/5.1/lib/digestif -I /home/opam/.opam/5.1/lib/dolmen -I /home/opam/.opam/5.1/lib/dolmen/ae -I /home/opam/.opam/5.1/lib/dolmen/class -I /home/opam/.opam/5.1/lib/dolmen/dimacs -I /home/opam/.opam/5.1/lib/dolmen/icnf -I /home/opam/.opam/5.1/lib/dolmen/intf -I /home/opam/.opam/5.1/lib/dolmen/line -I /home/opam/.opam/5.1/lib/dolmen/smtlib2 -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/poly -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/v6_response -I /home/opam/.opam/5.1/lib/dolmen/smtlib2/v6_script -I /home/opam/.opam/5.1/lib/dolmen/std -I /home/opam/.opam/5.1/lib/dolmen/tptp -I /home/opam/.opam/5.1/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/5.1/lib/dolmen/zf -I /home/opam/.opam/5.1/lib/dolmen_type -I /home/opam/.opam/5.1/lib/dune-private-libs/dune-section -I /home/opam/.opam/5.1/lib/dune-site -I /home/opam/.opam/5.1/lib/dune-site/private -I /home/opam/.opam/5.1/lib/eqaf -I /home/opam/.opam/5.1/lib/fieldslib -I /home/opam/.opam/5.1/lib/fmt -I /home/opam/.opam/5.1/lib/fpath -I /home/opam/.opam/5.1/lib/gel -I /home/opam/.opam/5.1/lib/gen -I /home/opam/.opam/5.1/lib/hc -I /home/opam/.opam/5.1/lib/hmap -I /home/opam/.opam/5.1/lib/int_repr -I /home/opam/.opam/5.1/lib/integers -I /home/opam/.opam/5.1/lib/jane-street-headers -I /home/opam/.opam/5.1/lib/jane_rope -I /home/opam/.opam/5.1/lib/logs -I /home/opam/.opam/5.1/lib/menhirLib -I /home/opam/.opam/5.1/lib/ocaml-compiler-libs/common -I /home/opam/.opam/5.1/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/5.1/lib/ocaml/compiler-libs -I /home/opam/.opam/5.1/lib/ocaml/runtime_events -I /home/opam/.opam/5.1/lib/ocaml/unix -I /home/opam/.opam/5.1/lib/ocaml_intrinsics -I /home/opam/.opam/5.1/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/5.1/lib/parsexp -I /home/opam/.opam/5.1/lib/patricia-tree -I /home/opam/.opam/5.1/lib/ppx_assert/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_bench/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_compare/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_derivers -I /home/opam/.opam/5.1/lib/ppx_diff/diffable -I /home/opam/.opam/5.1/lib/ppx_diff/diffable_cinaps -I /home/opam/.opam/5.1/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_expect/config -I /home/opam/.opam/5.1/lib/ppx_expect/config_types -I /home/opam/.opam/5.1/lib/ppx_expect/make_corrected_file -I /home/opam/.opam/5.1/lib/ppx_expect/runtime -I /home/opam/.opam/5.1/lib/ppx_hash/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_here/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_inline_test/config -I /home/opam/.opam/5.1/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_log/syntax -I /home/opam/.opam/5.1/lib/ppx_log/types -I /home/opam/.opam/5.1/lib/ppx_module_timer/runtime -I /home/opam/.opam/5.1/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/5.1/lib/ppx_stable_witness/runtime -I /home/opam/.opam/5.1/lib/ppx_stable_witness/stable_witness -I /home/opam/.opam/5.1/lib/ppx_string/runtime -I /home/opam/.opam/5.1/lib/ppxlib -I /home/opam/.opam/5.1/lib/ppxlib/ast -I /home/opam/.opam/5.1/lib/ppxlib/astlib -I /home/opam/.opam/5.1/lib/ppxlib/print_diff -I /home/opam/.opam/5.1/lib/ppxlib/stdppx -I /home/opam/.opam/5.1/lib/ppxlib/traverse_builtins -I /home/opam/.opam/5.1/lib/prelude -I /home/opam/.opam/5.1/lib/pyml -I /home/opam/.opam/5.1/lib/re2 -I /home/opam/.opam/5.1/lib/re2/c -I /home/opam/.opam/5.1/lib/regex_parser_intf -I /home/opam/.opam/5.1/lib/rresult -I /home/opam/.opam/5.1/lib/rusage -I /home/opam/.opam/5.1/lib/scfg -I /home/opam/.opam/5.1/lib/sedlex -I /home/opam/.opam/5.1/lib/seq -I /home/opam/.opam/5.1/lib/sexplib -I /home/opam/.opam/5.1/lib/sexplib0 -I /home/opam/.opam/5.1/lib/smtml -I /home/opam/.opam/5.1/lib/smtml/prelude -I /home/opam/.opam/5.1/lib/spelll -I /home/opam/.opam/5.1/lib/splittable_random -I /home/opam/.opam/5.1/lib/stdcompat -I /home/opam/.opam/5.1/lib/stdio -I /home/opam/.opam/5.1/lib/stdlib-shims -I /home/opam/.opam/5.1/lib/time_now -I /home/opam/.opam/5.1/lib/typerep -I /home/opam/.opam/5.1/lib/uutf -I /home/opam/.opam/5.1/lib/variantslib -I /home/opam/.opam/5.1/lib/xmlm -I /home/opam/.opam/5.1/lib/yojson -I /home/opam/.opam/5.1/lib/zarith -intf-suffix .ml -no-alias-deps -open Owi -o src/.owi.objs/native/owi__Symbolic_memory.cmx -c -impl src/symbolic/symbolic_memory.pp.ml)
# File "src/symbolic/symbolic_memory.ml", line 182, characters 8-22:
# 182 | | Ptr (base, offset) -> (
# ^^^^^^^^^^^^^^
# Error: This pattern matches values of type 'a * 'b
# but a pattern was expected which matches values of type
# Expr.expr.Ptr = Smtml.Expr.expr.Ptr
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build owi 0.2
+-
+- The following changes have been performed
| - install astring 0.8.5
| - install base v0.17.1
| - install base_bigstring v0.17.0
| - install base_quickcheck v0.17.0
| - install bin_prot v0.17.0
| - install bos 0.2.1
| - install capitalization v0.17.0
| - install cmdliner 1.3.0
| - install conf-autoconf 0.2
| - install conf-clang 1
| - install conf-g++ 1.0
| - install conf-gmp 4
| - install conf-pkg-config 4
| - install conf-python-3-dev 1
| - install core v0.17.1
| - install cppo 1.8.0
| - install csexp 1.5.2
| - install digestif 1.2.0
| - install dolmen 0.10
| - install dolmen_loop 0.10
| - install dolmen_model 0.10
| - install dolmen_type 0.10
| - install dune-configurator 3.17.2
| - install dune-private-libs 3.17.2
| - install dune-site 3.17.2
| - install dyn 3.17.2
| - install eqaf 0.10
| - install farith 0.1
| - install fieldslib v0.17.0
| - install fmt 0.9.0
| - install fpath 0.7.3
| - install gel v0.17.0
| - install gen 1.1
| - install hc 0.4
| - install hmap 0.8.1
| - install int_repr v0.17.0
| - install integers 0.7.0
| - install jane-street-headers v0.17.0
| - install jane_rope v0.17.0
| - install jst-config v0.17.0
| - install logs 0.7.0
| - install menhir 20240715
| - install menhirCST 20240715
| - install menhirLib 20240715
| - install menhirSdk 20240715
| - install num 1.5-1
| - install ocaml-compiler-libs v0.12.4
| - install ocaml_intrinsics v0.17.0
| - install ocaml_intrinsics_kernel v0.17.1
| - install ocamlbuild 0.15.0
| - install ordering 3.17.2
| - install parsexp v0.17.0
| - install patricia-tree 0.11.0
| - install pp 2.0.0
| - install pp_loc 2.1.0
| - install ppx_assert v0.17.0
| - install ppx_base v0.17.0
| - install ppx_bench v0.17.0
| - install ppx_bin_prot v0.17.0
| - install ppx_cold v0.17.0
| - install ppx_compare v0.17.0
| - install ppx_custom_printf v0.17.0
| - install ppx_derivers 1.2.1
| - install ppx_deriving 6.0.3
| - install ppx_diff v0.17.0
| - install ppx_disable_unused_warnings v0.17.0
| - install ppx_enumerate v0.17.0
| - install ppx_expect v0.17.2
| - install ppx_fields_conv v0.17.0
| - install ppx_fixed_literal v0.17.0
| - install ppx_globalize v0.17.0
| - install ppx_hash v0.17.0
| - install ppx_here v0.17.0
| - install ppx_ignore_instrumentation v0.17.0
| - install ppx_inline_test v0.17.0
| - install ppx_jane v0.17.0
| - install ppx_let v0.17.0
| - install ppx_log v0.17.0
| - install ppx_module_timer v0.17.0
| - install ppx_optcomp v0.17.0
| - install ppx_optional v0.17.0
| - install ppx_pipebang v0.17.0
| - install ppx_sexp_conv v0.17.0
| - install ppx_sexp_message v0.17.0
| - install ppx_sexp_value v0.17.0
| - install ppx_stable v0.17.0
| - install ppx_stable_witness v0.17.0
| - install ppx_string v0.17.0
| - install ppx_string_conv v0.17.0
| - install ppx_tydi v0.17.0
| - install ppx_typerep_conv v0.17.0
| - install ppx_variants_conv v0.17.0
| - install ppxlib 0.35.0
| - install ppxlib_jane v0.17.0
| - install prelude 0.3
| - install pyml 20231101
| - install re2 v0.17.0
| - install regex_parser_intf v0.17.0
| - install rresult 0.7.0
| - install rusage 1.0.0
| - install scfg 0.3
| - install sedlex 3.3
| - install seq base
| - install sexplib v0.17.0
| - install sexplib0 v0.17.0
| - install smtml 0.4.1
| - install spelll 0.4
| - install splittable_random v0.17.0
| - install stdcompat 19
| - install stdio v0.17.0
| - install stdlib-shims 0.3.0
| - install stdune 3.17.2
| - install time_now v0.17.0
| - install topkg 1.0.7
| - install typerep v0.17.1
| - install uutf 1.0.3
| - install variantslib v0.17.0
| - install xmlm 1.4.0
| - install yojson 2.2.2
| - install zarith 1.14
+-
# To update the current shell environment, run: eval $(opam env)
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/5.1/.opam-switch/backup/state-20250206012100.export"
On This Page