2024-05-10 08:53.23: New job: test ocaml-gospel/cameleer https://github.com/ocaml-gospel/cameleer.git#refs/pull/38/head (af1d307a60d010563f90c4a7acb26307abf4bd9c) (freebsd-x86_64:freebsd-4.14_opam-2.1)Base: freebsd-ocaml-4.14Opam project buildTo reproduce locally:git clone --recursive "https://github.com/ocaml-gospel/cameleer.git" && cd "cameleer" && git fetch origin "refs/pull/38/head" && git reset --hard af1d307acat > Dockerfile <<'END-OF-DOCKERFILE'FROM freebsd-ocaml-4.14# freebsd-4.14_opam-2.1USER 1000:1000ENV CLICOLOR_FORCE="1"ENV OPAMCOLOR="always"WORKDIR /srcRUN sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opamRUN opam init --reinit -niRUN uname -rs && opam exec -- ocaml -version && opam --versionWORKDIR /srcRUN sudo chown opam /srcRUN cd ~/opam-repository && (git cat-file -e 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b || git fetch origin master) && git reset -q --hard 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b && git log --no-decorate -n1 --oneline && opam update -uCOPY --chown=1000:1000 cameleer.opam ./RUN opam pin add -yn cameleer.dev './'ENV DEPS="base.v0.16.3 base-bigarray.base base-threads.base base-unix.base cairo2.0.6.4 camlp-streams.5.0.1 cmdliner.1.2.0 conf-bash.1 conf-cairo.1 conf-gtk3.18 conf-gtksourceview3.0+2 conf-pkg-config.3 cppo.1.6.9 csexp.1.5.2 dune.3.15.2 dune-build-info.3.15.2 dune-configurator.3.15.2 fmt.0.9.0 gospel.0.3.0 lablgtk3.3.1.4 lablgtk3-sourceview3.3.1.4 menhir.20231231 menhirCST.20231231 menhirLib.20231231 menhirSdk.20231231 num.1.5 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.14.3 ocamlfind.1.9.6 parsexp.v0.16.0 pp_loc.2.1.0 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.32.1 result.1.5 sexplib.v0.16.0 sexplib0.v0.16.0 stdlib-shims.0.3.0 topkg.1.0.7 why3.1.7.2 why3-ide.1.7.2"ENV CI="true"ENV OCAMLCI="true"RUN opam update --depexts && opam install --cli=2.1 --depext-only -y cameleer.dev $DEPSRUN opam install $DEPSCOPY --chown=1000:1000 . /srcRUN opam exec -- dune build @install @check @runtest && rm -rf _buildEND-OF-DOCKERFILEdocker build .END-REPRO-BLOCK2024-05-10 08:53.23: Using cache hint "ocaml-gospel/cameleer-freebsd-freebsd-ocaml-4.14-freebsd-4.14_opam-2.1-7c178cb4ead43e47208e53f27c567d58"2024-05-10 08:53.23: Using OBuilder spec:((from freebsd-ocaml-4.14)(comment freebsd-4.14_opam-2.1)(user (uid 1000) (gid 1000))(env CLICOLOR_FORCE 1)(env OPAMCOLOR always)(workdir /src)(run (shell "sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam"))(run (shell "opam init --reinit -ni"))(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))(workdir /src)(run (shell "sudo chown opam /src"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b || git fetch origin master) && git reset -q --hard 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b && git log --no-decorate -n1 --oneline && opam update -u"))(copy (src cameleer.opam) (dst ./))(run (network host)(shell "opam pin add -yn cameleer.dev './'"))(env DEPS "base.v0.16.3 base-bigarray.base base-threads.base base-unix.base cairo2.0.6.4 camlp-streams.5.0.1 cmdliner.1.2.0 conf-bash.1 conf-cairo.1 conf-gtk3.18 conf-gtksourceview3.0+2 conf-pkg-config.3 cppo.1.6.9 csexp.1.5.2 dune.3.15.2 dune-build-info.3.15.2 dune-configurator.3.15.2 fmt.0.9.0 gospel.0.3.0 lablgtk3.3.1.4 lablgtk3-sourceview3.3.1.4 menhir.20231231 menhirCST.20231231 menhirLib.20231231 menhirSdk.20231231 num.1.5 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.14.3 ocamlfind.1.9.6 parsexp.v0.16.0 pp_loc.2.1.0 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.32.1 result.1.5 sexplib.v0.16.0 sexplib0.v0.16.0 stdlib-shims.0.3.0 topkg.1.0.7 why3.1.7.2 why3-ide.1.7.2")(env CI true)(env OCAMLCI true)(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam update --depexts && opam install --cli=2.1 --depext-only -y cameleer.dev $DEPS"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install $DEPS"))(copy (src .) (dst /src))(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")))2024-05-10 08:53.23: Waiting for resource in pool OCluster2024-05-10 08:53.24: Waiting for worker…2024-05-10 09:38.23: Got resource from pool OClusterBuilding on summerAll commits already cachedHEAD is now at af1d307 formatting and minor changes(from freebsd-ocaml-4.14)2024-05-10 09:32.03 ---> using "57eeeabfec88366322a66f228a693df277d348dc99f1cc2a63749102c5e1e405" from cache/: (comment freebsd-4.14_opam-2.1)/: (user (uid 1000) (gid 1000))/: (env CLICOLOR_FORCE 1)/: (env OPAMCOLOR always)/: (workdir /src)/src: (run (shell "sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam"))2024-05-10 09:32.04 ---> using "e9fe3959c02c848d2766600d2fd363dc0faa291980b23311949b4972bc5ea188" from cache/src: (run (shell "opam init --reinit -ni"))No configuration file found, using 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.<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>[default] no changes from git+file:///home/opam/opam-repository2024-05-10 09:32.04 ---> using "dba2ef0de478afdbd43a6552d310929f1c3c3ee6b86c81b7ff6f06256f6544c3" from cache/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))FreeBSD 14.0-RELEASE-p5The OCaml toplevel, version 4.14.22.1.52024-05-10 09:32.05 ---> using "fa8577a82f6c8311031f5ac9ddbcefef5d36d0876493f17a1dc5aa96593235c6" from cache/src: (workdir /src)/src: (run (shell "sudo chown opam /src"))2024-05-10 09:32.05 ---> using "1b1f323c7946b3615d1855d65edd6179caf157152d4670670539e49efbdc1d2e" from cache/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b || git fetch origin master) && git reset -q --hard 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b && git log --no-decorate -n1 --oneline && opam update -u"))From https://github.com/ocaml/opam-repository* branch master -> FETCH_HEADac9a846c00..20baedeee4 master -> origin/master307e33d08f @dra27 and @Octachron maintain the 4.08+ packages<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>[default] synchronised from git+file:///home/opam/opam-repositoryConstructing initial basis...Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).The following packages are not being upgraded because the new versions conflict with other installed packages:- ocaml.5.3.0- ocaml-config.3However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.Nothing to do.2024-05-10 09:32.05 ---> using "8500110bb34f5fa0eecc8ffdce35dbb8d679b67af89bb1cba1cce8086b8f5e32" from cache/src: (copy (src cameleer.opam) (dst ./))2024-05-10 09:32.11 ---> saved as "4757fcf7dbe3763600c6931cf48d1f9b4f1ebd0bb6684fb616c84f82bd8d58cd"/src: (run (network host)(shell "opam pin add -yn cameleer.dev './'"))Package cameleer does not exist, create as a NEW package? [Y/n] y[cameleer.dev] synchronised (file:///src)cameleer is now pinned to file:///src (version dev)2024-05-10 09:32.15 ---> saved as "7c1edf98f68cb7662c1a33a1f7cb7be40c52fb32170d30746c3796be94b8bf44"/src: (env DEPS "base.v0.16.3 base-bigarray.base base-threads.base base-unix.base cairo2.0.6.4 camlp-streams.5.0.1 cmdliner.1.2.0 conf-bash.1 conf-cairo.1 conf-gtk3.18 conf-gtksourceview3.0+2 conf-pkg-config.3 cppo.1.6.9 csexp.1.5.2 dune.3.15.2 dune-build-info.3.15.2 dune-configurator.3.15.2 fmt.0.9.0 gospel.0.3.0 lablgtk3.3.1.4 lablgtk3-sourceview3.3.1.4 menhir.20231231 menhirCST.20231231 menhirLib.20231231 menhirSdk.20231231 num.1.5 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.14.3 ocamlfind.1.9.6 parsexp.v0.16.0 pp_loc.2.1.0 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.32.1 result.1.5 sexplib.v0.16.0 sexplib0.v0.16.0 stdlib-shims.0.3.0 topkg.1.0.7 why3.1.7.2 why3-ide.1.7.2")/src: (env CI true)/src: (env OCAMLCI true)/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam update --depexts && opam install --cli=2.1 --depext-only -y cameleer.dev $DEPS"))[WARNING] Unknown update command for bsd, skipping system update<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>[cameleer.dev] synchronised (no changes)[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).[NOTE] Package ocaml-config is already installed (current version is 2).[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).[NOTE] Package ocaml is already installed (current version is 4.14.2).[NOTE] Package base-unix is already installed (current version is base).[NOTE] Package base-threads is already installed (current version is base).[NOTE] Package base-bigarray is already installed (current version is base).Constructing initial basis...Number of 0-1 knapsack inequalities = 3Constructing conflict graph...Conflict graph has 4 + 3 = 7 verticesThe following system packages will first need to be installed:graphics/cairo gtk3 gtksourceview3<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>+ /usr/local/bin/sudo "pkg" "install" "-y" "graphics/cairo" "gtk3" "gtksourceview3"- Updating FreeBSD repository catalogue...- [summer] Fetching meta.conf: . done- [summer] Fetching packagesite.pkg: ..- ....- .... done- Processing entries:- ..- .- ..- .- .- .- .- . done- FreeBSD repository update completed. 34064 packages processed.- All repositories are up to date.- New version of pkg detected; it needs to be installed first.- The following 1 package(s) will be affected (of 0 checked):-- Installed packages to be UPGRADED:- pkg: 1.20.9 -> 1.21.2-- Number of packages to be upgraded: 1-- The process will require 7 MiB more space.- 12 MiB to be downloaded.- [summer] [1/1] Fetching pkg-1.21.2.pkg: .- ....- ....- . done- Checking integrity... done (0 conflicting)- [summer] [1/1] Upgrading pkg from 1.20.9 to 1.21.2...- [summer] [1/1] Extracting pkg-1.21.2: .......... done- Updating FreeBSD repository catalogue...- [summer] Fetching meta.conf: . done- [summer] Fetching data.pkg: .- ....- ..- ..- . done- Processing entries:- ..- .- ..- ..- ..- . done- FreeBSD repository update completed. 34064 packages processed.- All repositories are up to date.- The following 85 package(s) will be affected (of 0 checked):-- New packages to be INSTALLED:- adwaita-icon-theme: 42.0- at-spi2-core: 2.50.2- avahi-app: 0.8_2- brotli: 1.1.0,1- cairo: 1.17.4_2,3- colord: 1.4.7- cups: 2.4.7_2- dbus: 1.14.10_5,1- dbus-glib: 0.112_1- dejavu: 2.37_3- duktape-lib: 2.7.0- encodings: 1.1.0,1- font-bh-ttf: 1.0.3_5- font-misc-ethiopic: 1.0.4- font-misc-meltho: 1.0.3_5- fontconfig: 2.15.0_2,1- freetype2: 2.13.2- fribidi: 1.0.13_1- gdbm: 1.23- gdk-pixbuf2: 2.42.10_2- glib: 2.80.0,2- gmp: 6.3.0- gnome_subr: 1.0- gnutls: 3.8.5_1- graphite2: 1.3.14- gsettings-desktop-schemas: 42.0- gtk-update-icon-cache: 3.24.31_1- gtk3: 3.24.41- gtksourceview3: 3.24.11_4- harfbuzz: 8.4.0- hicolor-icon-theme: 0.17- hwdata: 0.381,1- jbigkit: 2.1_2- jpeg-turbo: 3.0.2- lcms2: 2.16_1- libICE: 1.1.0_2,1- libSM: 1.2.3_1,1- libX11: 1.8.7_1,1- libXau: 1.0.9_1- libXcomposite: 0.4.6_1,1- libXcursor: 1.2.2- libXdamage: 1.1.6- libXdmcp: 1.1.5- libXext: 1.3.6,1- libXfixes: 6.0.0_1- libXft: 2.3.7_1- libXi: 1.8_1,1- libXinerama: 1.1.4_3,1- libXrandr: 1.5.2_1- libXrender: 0.9.10_2- libXtst: 1.2.3_3- libdaemon: 0.14_1- libdatrie: 0.2.13_2- libdeflate: 1.20- libedit: 3.1.20230828_1,1- libepoll-shim: 0.0.20230411- libepoxy: 1.5.9- libevent: 2.1.12- libfontenc: 1.1.8- libglvnd: 1.7.0- libgudev: 237- libgusb: 0.3.10_1- libpaper: 1.1.28_1- librsvg2-rust: 2.58.0_1- libtasn1: 4.19.0_1- libthai: 0.1.29_1- libudev-devd: 0.5.2- libxcb: 1.16.1- libxkbcommon: 1.6.0_2- libxml2: 2.11.7- mkfontscale: 1.2.3- nettle: 3.9.1- p11-kit: 0.25.3_1- pango: 1.50.14- pixman: 0.42.2- png: 1.6.43- polkit: 124_3- py39-packaging: 23.2- shared-mime-info: 2.2_2- sqlite3: 3.45.1,1- tiff: 4.4.0_3- wayland: 1.22.0- xkeyboard-config: 2.41_4- xorg-fonts-truetype: 7.7_1- xorgproto: 2023.2-- Number of packages to be installed: 85-- The process will require 320 MiB more space.- 60 MiB to be downloaded.- [summer] [1/85] Fetching duktape-lib-2.7.0.pkg: .......... done- [summer] [2/85] Fetching png-1.6.43.pkg: .......... done- [summer] [3/85] Fetching libxcb-1.16.1.pkg:- ........- .. done- [summer] [4/85] Fetching libdatrie-0.2.13_2.pkg: ........ done- [summer] [5/85] Fetching freetype2-2.13.2.pkg: ..- ......- . done- [summer] [6/85] Fetching jpeg-turbo-3.0.2.pkg: ........- .. done- [summer] [7/85] Fetching librsvg2-rust-2.58.0_1.pkg: ....- ...- ... done- [summer] [8/85] Fetching libglvnd-1.7.0.pkg: ..- ........ done- [summer] [9/85] Fetching cups-2.4.7_2.pkg: ....- .....- . done- [summer] [10/85] Fetching libXrandr-1.5.2_1.pkg: ......... done- [summer] [11/85] Fetching nettle-3.9.1.pkg: ..- ........ done- [summer] [12/85] Fetching lcms2-2.16_1.pkg: ....- ...... done- [summer] [13/85] Fetching adwaita-icon-theme-42.0.pkg: ......- .... done- [summer] [14/85] Fetching libthai-0.1.29_1.pkg: ....... done- [summer] [15/85] Fetching polkit-124_3.pkg: .......... done- [summer] [16/85] Fetching mkfontscale-1.2.3.pkg: .... done- [summer] [17/85] Fetching gtk-update-icon-cache-3.24.31_1.pkg: .......... done- [summer] [18/85] Fetching libdeflate-1.20.pkg: .......... done- [summer] [19/85] Fetching fribidi-1.0.13_1.pkg: ..... done- [summer] [20/85] Fetching libXdamage-1.1.6.pkg: .... done- [summer] [21/85] Fetching libtasn1-4.19.0_1.pkg: .......... done- [summer] [22/85] Fetching libXfixes-6.0.0_1.pkg: ... done- [summer] [23/85] Fetching libXinerama-1.1.4_3,1.pkg: .... done- [summer] [24/85] Fetching gnome_subr-1.0.pkg: .. done- [summer] [25/85] Fetching libxml2-2.11.7.pkg: .....- ..... done- [summer] [26/85] Fetching wayland-1.22.0.pkg: .......... done- [summer] [27/85] Fetching gdk-pixbuf2-2.42.10_2.pkg: .......... done- [summer] [28/85] Fetching libgusb-0.3.10_1.pkg: ......... done- [summer] [29/85] Fetching gtksourceview3-3.24.11_4.pkg: .......... done- [summer] [30/85] Fetching gnutls-3.8.5_1.pkg: ...- ....... done- [summer] [31/85] Fetching hicolor-icon-theme-0.17.pkg: .. done- [summer] [32/85] Fetching libepoll-shim-0.0.20230411.pkg: ... done- [summer] [33/85] Fetching libpaper-1.1.28_1.pkg: ..... done- [summer] [34/85] Fetching colord-1.4.7.pkg: ......... done- [summer] [35/85] Fetching font-misc-ethiopic-1.0.4.pkg: .......... done- [summer] [36/85] Fetching libX11-1.8.7_1,1.pkg: .......... done- [summer] [37/85] Fetching libXrender-0.9.10_2.pkg: .... done- [summer] [38/85] Fetching xorgproto-2023.2.pkg: .......... done- [summer] [39/85] Fetching libXtst-1.2.3_3.pkg: ........ done- [summer] [40/85] Fetching libXi-1.8_1,1.pkg: ......... done- [summer] [41/85] Fetching gtk3-3.24.41.pkg:- ..- .....- ... done- [summer] [42/85] Fetching libXft-2.3.7_1.pkg: ........ done- [summer] [43/85] Fetching libepoxy-1.5.9.pkg: .- ......... done- [summer] [44/85] Fetching hwdata-0.381,1.pkg: .......... done- [summer] [45/85] Fetching cairo-1.17.4_2,3.pkg: .......... done- [summer] [46/85] Fetching graphite2-1.3.14.pkg: ......... done- [summer] [47/85] Fetching shared-mime-info-2.2_2.pkg:- .......... done- [summer] [48/85] Fetching libgudev-237.pkg: ....... done- [summer] [49/85] Fetching encodings-1.1.0,1.pkg: .......... done- [summer] [50/85] Fetching harfbuzz-8.4.0.pkg: .......... done- [summer] [51/85] Fetching libevent-2.1.12.pkg: .......- ... done- [summer] [52/85] Fetching gdbm-1.23.pkg: .......... done- [summer] [53/85] Fetching avahi-app-0.8_2.pkg: .......... done- [summer] [54/85] Fetching dbus-1.14.10_5,1.pkg: .......... done- [summer] [55/85] Fetching libedit-3.1.20230828_1,1.pkg: .......... done- [summer] [56/85] Fetching libfontenc-1.1.8.pkg: .. done- [summer] [57/85] Fetching libXcursor-1.2.2.pkg: ........ done- [summer] [58/85] Fetching libudev-devd-0.5.2.pkg: ..... done- [summer] [59/85] Fetching font-bh-ttf-1.0.3_5.pkg: ..- ........ done- [summer] [60/85] Fetching pango-1.50.14.pkg: .........- . done- [summer] [61/85] Fetching brotli-1.1.0,1.pkg: .......... done- [summer] [62/85] Fetching py39-packaging-23.2.pkg: ......... done- [summer] [63/85] Fetching gmp-6.3.0.pkg: .......... done- [summer] [64/85] Fetching libXext-1.3.6,1.pkg: .......... done- [summer] [65/85] Fetching p11-kit-0.25.3_1.pkg: .......... done- [summer] [66/85] Fetching dbus-glib-0.112_1.pkg: .......... done- [summer] [67/85] Fetching libXau-1.0.9_1.pkg: ... done- [summer] [68/85] Fetching libICE-1.1.0_2,1.pkg: ......... done- [summer] [69/85] Fetching libXcomposite-0.4.6_1,1.pkg: .. done- [summer] [70/85] Fetching fontconfig-2.15.0_2,1.pkg: ........ done- [summer] [71/85] Fetching pixman-0.42.2.pkg: .......... done- [summer] [72/85] Fetching at-spi2-core-2.50.2.pkg: .......... done- [summer] [73/85] Fetching gsettings-desktop-schemas-42.0.pkg: .......... done- [summer] [74/85] Fetching sqlite3-3.45.1,1.pkg: ......- .... done- [summer] [75/85] Fetching libSM-1.2.3_1,1.pkg: .... done- [summer] [76/85] Fetching glib-2.80.0,2.pkg: ..- ......- .. done- [summer] [77/85] Fetching xkeyboard-config-2.41_4.pkg: .......... done- [summer] [78/85] Fetching libxkbcommon-1.6.0_2.pkg: .......... done- [summer] [79/85] Fetching jbigkit-2.1_2.pkg: .......... done- [summer] [80/85] Fetching font-misc-meltho-1.0.3_5.pkg: .- ......... done- [summer] [81/85] Fetching libdaemon-0.14_1.pkg: ......... done- [summer] [82/85] Fetching libXdmcp-1.1.5.pkg: ... done- [summer] [83/85] Fetching tiff-4.4.0_3.pkg: .......... done- [summer] [84/85] Fetching xorg-fonts-truetype-7.7_1.pkg: . done- [summer] [85/85] Fetching dejavu-2.37_3.pkg: .......... done- Checking integrity...- done (0 conflicting)- [summer] [1/85] Installing xorgproto-2023.2...- [summer] [1/85] Extracting xorgproto-2023.2: .......... done- [summer] [2/85] Installing libXau-1.0.9_1...- [summer] [2/85] Extracting libXau-1.0.9_1: .......... done- [summer] [3/85] Installing libXdmcp-1.1.5...- [summer] [3/85] Extracting libXdmcp-1.1.5: ......... done- [summer] [4/85] Installing png-1.6.43...- [summer] [4/85] Extracting png-1.6.43: .......... done- [summer] [5/85] Installing libxcb-1.16.1...- [summer] [5/85] Extracting libxcb-1.16.1: .......... done- [summer] [6/85] Installing brotli-1.1.0,1...- [summer] [6/85] Extracting brotli-1.1.0,1: .......... done- [summer] [7/85] Installing freetype2-2.13.2...- [summer] [7/85] Extracting freetype2-2.13.2: .......... done- [summer] [8/85] Installing libX11-1.8.7_1,1...- [summer] [8/85] Extracting libX11-1.8.7_1,1: ..- ........ done- [summer] [9/85] Installing libfontenc-1.1.8...- [summer] [9/85] Extracting libfontenc-1.1.8: ......... done- [summer] [10/85] Installing py39-packaging-23.2...- [summer] [10/85] Extracting py39-packaging-23.2: .......... done- [summer] [11/85] Installing libICE-1.1.0_2,1...- [summer] [11/85] Extracting libICE-1.1.0_2,1: .......... done- [summer] [12/85] Installing jpeg-turbo-3.0.2...- [summer] [12/85] Extracting jpeg-turbo-3.0.2: .......... done- [summer] [13/85] Installing mkfontscale-1.2.3...- [summer] [13/85] Extracting mkfontscale-1.2.3: ....... done- [summer] [14/85] Installing libdeflate-1.20...- [summer] [14/85] Extracting libdeflate-1.20: .......... done- [summer] [15/85] Installing libXfixes-6.0.0_1...- [summer] [15/85] Extracting libXfixes-6.0.0_1: .......... done- [summer] [16/85] Installing libxml2-2.11.7...- [summer] [16/85] Extracting libxml2-2.11.7: .......... done- [summer] [17/85] Installing libXext-1.3.6,1...- [summer] [17/85] Extracting libXext-1.3.6,1: .......... done- [summer] [18/85] Installing fontconfig-2.15.0_2,1...- [summer] [18/85] Extracting fontconfig-2.15.0_2,1: .......... done- [summer] [19/85] Installing libSM-1.2.3_1,1...- [summer] [19/85] Extracting libSM-1.2.3_1,1: .......... done- [summer] [20/85] Installing glib-2.80.0,2...- [summer] [20/85] Extracting glib-2.80.0,2: .......... done- [summer] [21/85] Installing jbigkit-2.1_2...- [summer] [21/85] Extracting jbigkit-2.1_2: .......... done- [summer] [22/85] Installing libdatrie-0.2.13_2...- [summer] [22/85] Extracting libdatrie-0.2.13_2: .......... done- [summer] [23/85] Installing libglvnd-1.7.0...- [summer] [23/85] Extracting libglvnd-1.7.0: .......... done- [summer] [24/85] Installing libtasn1-4.19.0_1...- [summer] [24/85] Extracting libtasn1-4.19.0_1: .......... done- [summer] [25/85] Installing font-misc-ethiopic-1.0.4...- [summer] [25/85] Extracting font-misc-ethiopic-1.0.4: ...... done- [summer] [26/85] Installing libXrender-0.9.10_2...- [summer] [26/85] Extracting libXrender-0.9.10_2: .......... done- [summer] [27/85] Installing libXi-1.8_1,1...- [summer] [27/85] Extracting libXi-1.8_1,1: .......... done- [summer] [28/85] Installing graphite2-1.3.14...- [summer] [28/85] Extracting graphite2-1.3.14: .......... done- [summer] [29/85] Installing shared-mime-info-2.2_2...- [summer] [29/85] Extracting shared-mime-info-2.2_2: ......... done- [summer] [30/85] Installing encodings-1.1.0,1...- [summer] [30/85] Extracting encodings-1.1.0,1: .......... done- [summer] [31/85] Installing dbus-1.14.10_5,1...- ===> Creating groups.- Creating group 'messagebus' with gid '556'.- ===> Creating users- Creating user 'messagebus' with uid '556'.- [summer] [31/85] Extracting dbus-1.14.10_5,1: ......... done- [summer] [32/85] Installing font-bh-ttf-1.0.3_5...- [summer] [32/85] Extracting font-bh-ttf-1.0.3_5: .......... done- [summer] [33/85] Installing gmp-6.3.0...- [summer] [33/85] Extracting gmp-6.3.0: .......... done- [summer] [34/85] Installing pixman-0.42.2...- [summer] [34/85] Extracting pixman-0.42.2: .......... done- [summer] [35/85] Installing font-misc-meltho-1.0.3_5...- [summer] [35/85] Extracting font-misc-meltho-1.0.3_5: .......... done- [summer] [36/85] Installing tiff-4.4.0_3...- [summer] [36/85] Extracting tiff-4.4.0_3: .......... done- [summer] [37/85] Installing dejavu-2.37_3...- [summer] [37/85] Extracting dejavu-2.37_3: .......... done- [summer] [38/85] Installing duktape-lib-2.7.0...- [summer] [38/85] Extracting duktape-lib-2.7.0: ......... done- [summer] [39/85] Installing nettle-3.9.1...- [summer] [39/85] Extracting nettle-3.9.1: .......... done- [summer] [40/85] Installing libthai-0.1.29_1...- [summer] [40/85] Extracting libthai-0.1.29_1: .......... done- [summer] [41/85] Installing fribidi-1.0.13_1...- [summer] [41/85] Extracting fribidi-1.0.13_1: .......... done- [summer] [42/85] Installing gnome_subr-1.0...- [summer] [42/85] Extracting gnome_subr-1.0: .... done- [summer] [43/85] Installing gdk-pixbuf2-2.42.10_2...- [summer] [43/85] Extracting gdk-pixbuf2-2.42.10_2: .......... done- [summer] [44/85] Installing libepoll-shim-0.0.20230411...- [summer] [44/85] Extracting libepoll-shim-0.0.20230411: .......... done- [summer] [45/85] Installing libXtst-1.2.3_3...- [summer] [45/85] Extracting libXtst-1.2.3_3: .......... done- [summer] [46/85] Installing libXft-2.3.7_1...- [summer] [46/85] Extracting libXft-2.3.7_1: .......... done- [summer] [47/85] Installing cairo-1.17.4_2,3...- [summer] [47/85] Extracting cairo-1.17.4_2,3: .......... done- [summer] [48/85] Installing harfbuzz-8.4.0...- [summer] [48/85] Extracting harfbuzz-8.4.0: .......... done- [summer] [49/85] Installing libevent-2.1.12...- [summer] [49/85] Extracting libevent-2.1.12: .......... done- [summer] [50/85] Installing gdbm-1.23...- [summer] [50/85] Extracting gdbm-1.23: .......... done- [summer] [51/85] Installing libedit-3.1.20230828_1,1...- [summer] [51/85] Extracting libedit-3.1.20230828_1,1: .......... done- [summer] [52/85] Installing libudev-devd-0.5.2...- [summer] [52/85] Extracting libudev-devd-0.5.2: ........ done- [summer] [53/85] Installing p11-kit-0.25.3_1...- [summer] [53/85] Extracting p11-kit-0.25.3_1: .......... done- [summer] [54/85] Installing dbus-glib-0.112_1...- [summer] [54/85] Extracting dbus-glib-0.112_1: .......... done- [summer] [55/85] Installing libdaemon-0.14_1...- [summer] [55/85] Extracting libdaemon-0.14_1: .......... done- [summer] [56/85] Installing xorg-fonts-truetype-7.7_1...- [summer] [56/85] Extracting xorg-fonts-truetype-7.7_1: ... done- [summer] [57/85] Installing lcms2-2.16_1...- [summer] [57/85] Extracting lcms2-2.16_1: .......... done- [summer] [58/85] Installing polkit-124_3...- ===> Creating groups.- Creating group 'polkitd' with gid '565'.- ===> Creating users- Creating user 'polkitd' with uid '565'.- [summer] [58/85] Extracting polkit-124_3: ......... done- [summer] [59/85] Installing gtk-update-icon-cache-3.24.31_1...- [summer] [59/85] Extracting gtk-update-icon-cache-3.24.31_1: .......... done- [summer] [60/85] Installing wayland-1.22.0...- [summer] [60/85] Extracting wayland-1.22.0: .......... done- [summer] [61/85] Installing libgusb-0.3.10_1...- [summer] [61/85] Extracting libgusb-0.3.10_1: .......... done- [summer] [62/85] Installing gnutls-3.8.5_1...- [summer] [62/85] Extracting gnutls-3.8.5_1: .......... done- [summer] [63/85] Installing libpaper-1.1.28_1...- [summer] [63/85] Extracting libpaper-1.1.28_1: .......... done- [summer] [64/85] Installing hwdata-0.381,1...- [summer] [64/85] Extracting hwdata-0.381,1: .......... done- [summer] [65/85] Installing libgudev-237...- [summer] [65/85] Extracting libgudev-237: .......... done- [summer] [66/85] Installing avahi-app-0.8_2...- ===> Creating groups.- Creating group 'avahi' with gid '558'.- ===> Creating users- Creating user 'avahi' with uid '558'.- [summer] [66/85] Extracting avahi-app-0.8_2: .......... done- [summer] [67/85] Installing pango-1.50.14...- [summer] [67/85] Extracting pango-1.50.14: .......... done- [summer] [68/85] Installing at-spi2-core-2.50.2...- [summer] [68/85] Extracting at-spi2-core-2.50.2: .......... done- [summer] [69/85] Installing sqlite3-3.45.1,1...- [summer] [69/85] Extracting sqlite3-3.45.1,1: .......... done- [summer] [70/85] Installing xkeyboard-config-2.41_4...- [summer] [70/85] Extracting xkeyboard-config-2.41_4: .......... done- [summer] [71/85] Installing librsvg2-rust-2.58.0_1...- [summer] [71/85] Extracting librsvg2-rust-2.58.0_1: .......... done- [summer] [72/85] Installing cups-2.4.7_2...- ===> Creating groups.- Creating group 'cups' with gid '193'.- ===> Creating users- Creating user 'cups' with uid '193'.- [summer] [72/85] Extracting cups-2.4.7_2: .......... done- [summer] [73/85] Installing libXrandr-1.5.2_1...- [summer] [73/85] Extracting libXrandr-1.5.2_1: .......... done- [summer] [74/85] Installing adwaita-icon-theme-42.0...- [summer] [74/85] Extracting adwaita-icon-theme-42.0: .......... done- [summer] [75/85] Installing libXdamage-1.1.6...- [summer] [75/85] Extracting libXdamage-1.1.6: ......... done- [summer] [76/85] Installing libXinerama-1.1.4_3,1...- [summer] [76/85] Extracting libXinerama-1.1.4_3,1: .......... done- [summer] [77/85] Installing hicolor-icon-theme-0.17...- [summer] [77/85] Extracting hicolor-icon-theme-0.17: . done- [summer] [78/85] Installing colord-1.4.7...- ===> Creating groups.- Creating group 'colord' with gid '970'.- ===> Creating users- Creating user 'colord' with uid '970'.- [summer] [78/85] Extracting colord-1.4.7: .......... done- [summer] [79/85] Installing libepoxy-1.5.9...- [summer] [79/85] Extracting libepoxy-1.5.9: .......... done- [summer] [80/85] Installing libXcursor-1.2.2...- [summer] [80/85] Extracting libXcursor-1.2.2: ......- .... done- [summer] [81/85] Installing libXcomposite-0.4.6_1,1...- [summer] [81/85] Extracting libXcomposite-0.4.6_1,1: .......... done- [summer] [82/85] Installing gsettings-desktop-schemas-42.0...- [summer] [82/85] Extracting gsettings-desktop-schemas-42.0: .......... done- [summer] [83/85] Installing libxkbcommon-1.6.0_2...- [summer] [83/85] Extracting libxkbcommon-1.6.0_2: .......... done- [summer] [84/85] Installing gtk3-3.24.41...- [summer] [84/85] Extracting gtk3-3.24.41: .........- . done- [summer] [85/85] Installing gtksourceview3-3.24.11_4...- [summer] [85/85] Extracting gtksourceview3-3.24.11_4: .......... done- ==> Running trigger: gdk-pixbuf-query-loaders.ucl- Generating gdk-pixbuf modules cache- ==> Running trigger: glib-schemas.ucl- Compiling glib schemas- ==> Running trigger: fontconfig.ucl- Running fc-cache to build fontconfig cache...- ==> Running trigger: shared-mime-info.ucl- Building the Shared MIME-Info database cache- ==> Running trigger: gio-modules.ucl- Generating GIO modules cache- ==> Running trigger: gtk-update-icon-cache.ucl- Generating GTK icon cache for /usr/local/share/icons/hicolor- Generating GTK icon cache for /usr/local/share/icons/Adwaita- =====- Message from freetype2-2.13.2:-- --- The 2.7.x series now uses the new subpixel hinting mode (V40 port's option) as- the default, emulating a modern version of ClearType. This change inevitably- leads to different rendering results, and you might change port's options to- adapt it to your taste (or use the new "FREETYPE_PROPERTIES" environment- variable).-- The environment variable "FREETYPE_PROPERTIES" can be used to control the- driver properties. Example:-- FREETYPE_PROPERTIES=truetype:interpreter-version=35 \- cff:no-stem-darkening=1 \- autofitter:warping=1-- This allows to select, say, the subpixel hinting mode at runtime for a given- application.-- If LONG_PCF_NAMES port's option was enabled, the PCF family names may include- the foundry and information whether they contain wide characters. For example,- "Sony Fixed" or "Misc Fixed Wide", instead of "Fixed". This can be disabled at- run time with using pcf:no-long-family-names property, if needed. Example:-- FREETYPE_PROPERTIES=pcf:no-long-family-names=1-- How to recreate fontconfig cache with using such environment variable,- if needed:- # env FREETYPE_PROPERTIES=pcf:no-long-family-names=1 fc-cache -fsv-- The controllable properties are listed in the section "Controlling FreeType- Modules" in the reference's table of contents- (/usr/local/share/doc/freetype2/reference/index.html, if documentation was installed).- =====- Message from dejavu-2.37_3:-- --- Make sure that the freetype module is loaded. If it is not, add the following- line to the "Modules" section of your X Windows configuration file:-- Load "freetype"-- Add the following line to the "Files" section of X Windows configuration file:-- FontPath "/usr/local/share/fonts/dejavu/"-- Note: your X Windows configuration file is typically /etc/X11/XF86Config- if you are using XFree86, and /etc/X11/xorg.conf if you are using X.Org.- =====- Message from duktape-lib-2.7.0:-- --- ===> NOTICE:-- The duktape-lib port currently does not have a maintainer. As a result, it is- more likely to have unresolved issues, not be up-to-date, or even be removed in- the future. To volunteer to maintain this port, please create an issue at:-- https://bugs.freebsd.org/bugzilla-- More information about port maintainership is available at:-- https://docs.freebsd.org/en/articles/contributing/#ports-contributing- =====- Message from wayland-1.22.0:-- --- Wayland requires XDG_RUNTIME_DIR to be defined to a path that will- contain "wayland-%d" unix(4) sockets. This is usually handled by- consolekit2 (via ck-launch-session) or pam_xdg (via login).- =====- Message from libxkbcommon-1.6.0_2:-- --- If arrow keys don't work under X11 switch to legacy rules e.g.,-- For sh/bash/ksh/zsh run and (optionally) add into ~/.profile:- export XKB_DEFAULT_RULES=xorg-- For csh/tcsh run and (optionally) add into ~/.login:- setenv XKB_DEFAULT_RULES xorg2024-05-10 09:34.34 ---> saved as "c0429ad602e0bccb60432e874a6020260b7e96b15a1587245f7a26b74c75b7d5"/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install $DEPS"))[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).[NOTE] Package ocaml-config is already installed (current version is 2).[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).[NOTE] Package ocaml is already installed (current version is 4.14.2).[NOTE] Package base-unix is already installed (current version is base).[NOTE] Package base-threads is already installed (current version is base).[NOTE] Package base-bigarray is already installed (current version is base).Constructing initial basis...Number of 0-1 knapsack inequalities = 3Constructing conflict graph...Conflict graph has 4 + 3 = 7 verticesThe following actions will be performed:∗ install ocamlbuild 0.14.3∗ install conf-bash 1∗ install num 1.5∗ install cmdliner 1.2.0∗ install ocamlfind 1.9.6∗ install conf-pkg-config 3∗ install dune 3.15.2∗ install topkg 1.0.7∗ install conf-gtksourceview3 0+2∗ install conf-gtk3 18∗ install conf-cairo 1∗ install stdlib-shims 0.3.0∗ install sexplib0 v0.16.0∗ install result 1.5∗ install ppx_derivers 1.2.1∗ install pp_loc 2.1.0∗ install ocaml-compiler-libs v0.12.4∗ install menhirSdk 20231231∗ install menhirLib 20231231∗ install menhirCST 20231231∗ install dune-build-info 3.15.2∗ install csexp 1.5.2∗ install cppo 1.6.9∗ install camlp-streams 5.0.1∗ install fmt 0.9.0∗ install parsexp v0.16.0∗ install ppxlib 0.32.1∗ install menhir 20231231∗ install dune-configurator 3.15.2∗ install sexplib v0.16.0∗ install ppx_deriving 5.2.1∗ install cairo2 0.6.4∗ install base v0.16.3∗ install gospel 0.3.0∗ install lablgtk3 3.1.4∗ install ppx_sexp_conv v0.16.0∗ install lablgtk3-sourceview3 3.1.4∗ install why3 1.7.2∗ install why3-ide 1.7.2===== ∗ 39 =====<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>⬇ retrieved base.v0.16.3 (cached)⬇ retrieved camlp-streams.5.0.1 (cached)⬇ retrieved cppo.1.6.9 (cached)∗ installed conf-pkg-config.3⬇ retrieved csexp.1.5.2 (cached)∗ installed conf-gtksourceview3.0+2∗ installed conf-gtk3.18∗ installed conf-cairo.1∗ installed conf-bash.1⬇ retrieved cmdliner.1.2.0 (cached)⬇ retrieved dune-build-info.3.15.2 (cached)⬇ retrieved dune.3.15.2 (cached)⬇ retrieved fmt.0.9.0 (cached)⬇ retrieved dune-configurator.3.15.2 (cached)⬇ retrieved gospel.0.3.0 (cached)⬇ retrieved lablgtk3.3.1.4 (cached)⬇ retrieved menhir.20231231 (cached)⬇ retrieved lablgtk3-sourceview3.3.1.4 (cached)∗ installed cmdliner.1.2.0⬇ retrieved menhirCST.20231231 (cached)⬇ retrieved menhirLib.20231231 (cached)⬇ retrieved menhirSdk.20231231 (cached)⬇ retrieved num.1.5 (cached)⬇ retrieved ocamlbuild.0.14.3 (cached)⬇ retrieved ocamlfind.1.9.6 (cached)⬇ retrieved parsexp.v0.16.0 (cached)⬇ retrieved pp_loc.2.1.0 (cached)⬇ retrieved ocaml-compiler-libs.v0.12.4 (cached)⬇ retrieved ppx_derivers.1.2.1 (cached)⬇ retrieved ppx_deriving.5.2.1 (cached)⬇ retrieved ppx_sexp_conv.v0.16.0 (cached)⬇ retrieved result.1.5 (cached)⬇ retrieved ppxlib.0.32.1 (cached)⬇ retrieved sexplib.v0.16.0 (cached)⬇ retrieved sexplib0.v0.16.0 (cached)⬇ retrieved stdlib-shims.0.3.0 (cached)⬇ retrieved topkg.1.0.7 (cached)∗ installed num.1.5⬇ retrieved cairo2.0.6.4 (cached)⬇ retrieved why3-ide.1.7.2 (cached)⬇ retrieved why3.1.7.2 (cached)∗ installed ocamlfind.1.9.6∗ installed ocamlbuild.0.14.3∗ installed topkg.1.0.7∗ installed fmt.0.9.0∗ installed dune.3.15.2∗ installed ppx_derivers.1.2.1∗ installed result.1.5∗ installed pp_loc.2.1.0∗ installed menhirSdk.20231231∗ installed menhirLib.20231231∗ installed menhirCST.20231231∗ installed stdlib-shims.0.3.0∗ installed sexplib0.v0.16.0∗ installed ocaml-compiler-libs.v0.12.4∗ installed csexp.1.5.2∗ installed parsexp.v0.16.0∗ installed cppo.1.6.9∗ installed camlp-streams.5.0.1∗ installed dune-build-info.3.15.2∗ installed sexplib.v0.16.0∗ installed dune-configurator.3.15.2∗ installed cairo2.0.6.4∗ installed ppxlib.0.32.1∗ installed base.v0.16.3∗ installed ppx_deriving.5.2.1∗ installed lablgtk3.3.1.4∗ installed menhir.20231231∗ installed ppx_sexp_conv.v0.16.0∗ installed lablgtk3-sourceview3.3.1.4∗ installed gospel.0.3.0∗ installed why3.1.7.2∗ installed why3-ide.1.7.2Done.2024-05-10 09:41.52 ---> saved as "9e6684bb18e26a50c42ef18e69a68e389c48003638c1f02cc052a4e42dae6d5c"/src: (copy (src .) (dst /src))2024-05-10 09:41.53 ---> saved as "3025ea68c8265e6fb56d1194c6245017b15a9f2241276ee5b260978281cda654"/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))(cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -I src/.cameleer.objs/byte -I /home/opam/.opam/4.14.2/lib/findlib -I /home/opam/.opam/4.14.2/lib/fmt -I /home/opam/.opam/4.14.2/lib/gospel -I /home/opam/.opam/4.14.2/lib/menhirLib -I /home/opam/.opam/4.14.2/lib/num -I /home/opam/.opam/4.14.2/lib/ocaml-compiler-libs/common -I /home/opam/.opam/4.14.2/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/4.14.2/lib/ocaml/compiler-libs -I /home/opam/.opam/4.14.2/lib/parsexp -I /home/opam/.opam/4.14.2/lib/pp_loc -I /home/opam/.opam/4.14.2/lib/ppx_derivers -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14.2/lib/ppxlib -I /home/opam/.opam/4.14.2/lib/ppxlib/ast -I /home/opam/.opam/4.14.2/lib/ppxlib/astlib -I /home/opam/.opam/4.14.2/lib/ppxlib/print_diff -I /home/opam/.opam/4.14.2/lib/ppxlib/stdppx -I /home/opam/.opam/4.14.2/lib/ppxlib/traverse_builtins -I /home/opam/.opam/4.14.2/lib/result -I /home/opam/.opam/4.14.2/lib/sexplib -I /home/opam/.opam/4.14.2/lib/sexplib/num -I /home/opam/.opam/4.14.2/lib/sexplib0 -I /home/opam/.opam/4.14.2/lib/stdlib-shims -I /home/opam/.opam/4.14.2/lib/why3 -no-alias-deps -opaque -open Cameleer -o src/.cameleer.objs/byte/cameleer__Why3ocaml_driver.cmo -c -impl src/why3ocaml_driver.ml)File "src/why3ocaml_driver.ml", line 12, characters 25-31:12 | type syntax_map = string Hstr.t^^^^^^Error: Unbound module HstrHint: Did you mean Sstr?(cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -I src/.cameleer.objs/byte -I /home/opam/.opam/4.14.2/lib/findlib -I /home/opam/.opam/4.14.2/lib/fmt -I /home/opam/.opam/4.14.2/lib/gospel -I /home/opam/.opam/4.14.2/lib/menhirLib -I /home/opam/.opam/4.14.2/lib/num -I /home/opam/.opam/4.14.2/lib/ocaml-compiler-libs/common -I /home/opam/.opam/4.14.2/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/4.14.2/lib/ocaml/compiler-libs -I /home/opam/.opam/4.14.2/lib/parsexp -I /home/opam/.opam/4.14.2/lib/pp_loc -I /home/opam/.opam/4.14.2/lib/ppx_derivers -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14.2/lib/ppxlib -I /home/opam/.opam/4.14.2/lib/ppxlib/ast -I /home/opam/.opam/4.14.2/lib/ppxlib/astlib -I /home/opam/.opam/4.14.2/lib/ppxlib/print_diff -I /home/opam/.opam/4.14.2/lib/ppxlib/stdppx -I /home/opam/.opam/4.14.2/lib/ppxlib/traverse_builtins -I /home/opam/.opam/4.14.2/lib/result -I /home/opam/.opam/4.14.2/lib/sexplib -I /home/opam/.opam/4.14.2/lib/sexplib/num -I /home/opam/.opam/4.14.2/lib/sexplib0 -I /home/opam/.opam/4.14.2/lib/stdlib-shims -I /home/opam/.opam/4.14.2/lib/why3 -intf-suffix .ml -no-alias-deps -opaque -open Cameleer -o src/.cameleer.objs/byte/cameleer__Vspec.cmo -c -impl src/vspec.ml)File "src/vspec.ml", line 84, characters 65-75:84 | sp_variant = List.map (fun t -> (T.term false t, None)) spec.sp_variant;^^^^^^^^^^Error: This expression has type Uast.val_specThere is no field sp_variant within type Uast.val_spec(cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -I src/.cameleer.objs/byte -I /home/opam/.opam/4.14.2/lib/findlib -I /home/opam/.opam/4.14.2/lib/fmt -I /home/opam/.opam/4.14.2/lib/gospel -I /home/opam/.opam/4.14.2/lib/menhirLib -I /home/opam/.opam/4.14.2/lib/num -I /home/opam/.opam/4.14.2/lib/ocaml-compiler-libs/common -I /home/opam/.opam/4.14.2/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/4.14.2/lib/ocaml/compiler-libs -I /home/opam/.opam/4.14.2/lib/parsexp -I /home/opam/.opam/4.14.2/lib/pp_loc -I /home/opam/.opam/4.14.2/lib/ppx_derivers -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14.2/lib/ppxlib -I /home/opam/.opam/4.14.2/lib/ppxlib/ast -I /home/opam/.opam/4.14.2/lib/ppxlib/astlib -I /home/opam/.opam/4.14.2/lib/ppxlib/print_diff -I /home/opam/.opam/4.14.2/lib/ppxlib/stdppx -I /home/opam/.opam/4.14.2/lib/ppxlib/traverse_builtins -I /home/opam/.opam/4.14.2/lib/result -I /home/opam/.opam/4.14.2/lib/sexplib -I /home/opam/.opam/4.14.2/lib/sexplib/num -I /home/opam/.opam/4.14.2/lib/sexplib0 -I /home/opam/.opam/4.14.2/lib/stdlib-shims -I /home/opam/.opam/4.14.2/lib/why3 -no-alias-deps -opaque -open Cameleer -o src/.cameleer.objs/byte/cameleer__Declaration.cmi -c -intf src/declaration.mli)File "src/declaration.mli", line 4, characters 26-42:4 | val s_structure : info -> Uast.s_structure -> odecl list^^^^^^^^^^^^^^^^Error: Unbound type constructor Uast.s_structure(cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -I src/.cameleer.objs/byte -I /home/opam/.opam/4.14.2/lib/findlib -I /home/opam/.opam/4.14.2/lib/fmt -I /home/opam/.opam/4.14.2/lib/gospel -I /home/opam/.opam/4.14.2/lib/menhirLib -I /home/opam/.opam/4.14.2/lib/num -I /home/opam/.opam/4.14.2/lib/ocaml-compiler-libs/common -I /home/opam/.opam/4.14.2/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/4.14.2/lib/ocaml/compiler-libs -I /home/opam/.opam/4.14.2/lib/parsexp -I /home/opam/.opam/4.14.2/lib/pp_loc -I /home/opam/.opam/4.14.2/lib/ppx_derivers -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14.2/lib/ppxlib -I /home/opam/.opam/4.14.2/lib/ppxlib/ast -I /home/opam/.opam/4.14.2/lib/ppxlib/astlib -I /home/opam/.opam/4.14.2/lib/ppxlib/print_diff -I /home/opam/.opam/4.14.2/lib/ppxlib/stdppx -I /home/opam/.opam/4.14.2/lib/ppxlib/traverse_builtins -I /home/opam/.opam/4.14.2/lib/result -I /home/opam/.opam/4.14.2/lib/sexplib -I /home/opam/.opam/4.14.2/lib/sexplib/num -I /home/opam/.opam/4.14.2/lib/sexplib0 -I /home/opam/.opam/4.14.2/lib/stdlib-shims -I /home/opam/.opam/4.14.2/lib/why3 -no-alias-deps -opaque -open Cameleer -o src/.cameleer.objs/byte/cameleer__Expression.cmi -c -intf src/expression.mli)File "src/expression.mli", line 24, characters 30-50:24 | val s_value_binding : info -> Uast.s_value_binding -> Ptree.ident * Ptree.expr^^^^^^^^^^^^^^^^^^^^Error: Unbound type constructor Uast.s_value_binding(cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -I src/.cameleer.objs/byte -I src/.cameleer.objs/native -I /home/opam/.opam/4.14.2/lib/findlib -I /home/opam/.opam/4.14.2/lib/fmt -I /home/opam/.opam/4.14.2/lib/gospel -I /home/opam/.opam/4.14.2/lib/menhirLib -I /home/opam/.opam/4.14.2/lib/num -I /home/opam/.opam/4.14.2/lib/ocaml-compiler-libs/common -I /home/opam/.opam/4.14.2/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/4.14.2/lib/ocaml/compiler-libs -I /home/opam/.opam/4.14.2/lib/parsexp -I /home/opam/.opam/4.14.2/lib/pp_loc -I /home/opam/.opam/4.14.2/lib/ppx_derivers -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14.2/lib/ppxlib -I /home/opam/.opam/4.14.2/lib/ppxlib/ast -I /home/opam/.opam/4.14.2/lib/ppxlib/astlib -I /home/opam/.opam/4.14.2/lib/ppxlib/print_diff -I /home/opam/.opam/4.14.2/lib/ppxlib/stdppx -I /home/opam/.opam/4.14.2/lib/ppxlib/traverse_builtins -I /home/opam/.opam/4.14.2/lib/result -I /home/opam/.opam/4.14.2/lib/sexplib -I /home/opam/.opam/4.14.2/lib/sexplib/num -I /home/opam/.opam/4.14.2/lib/sexplib0 -I /home/opam/.opam/4.14.2/lib/stdlib-shims -I /home/opam/.opam/4.14.2/lib/why3 -intf-suffix .ml -no-alias-deps -opaque -open Cameleer -o src/.cameleer.objs/native/cameleer__Vspec.cmx -c -impl src/vspec.ml)File "src/vspec.ml", line 84, characters 65-75:84 | sp_variant = List.map (fun t -> (T.term false t, None)) spec.sp_variant;^^^^^^^^^^Error: This expression has type Uast.val_specThere is no field sp_variant within type Uast.val_specjail: /usr/bin/su -l opam -c cd '/src' && env OCAMLCI='true' CI='true' DEPS='base.v0.16.3 base-bigarray.base base-threads.base base-unix.base cairo2.0.6.4 camlp-streams.5.0.1 cmdliner.1.2.0 conf-bash.1 conf-cairo.1 conf-gtk3.18 conf-gtksourceview3.0+2 conf-pkg-config.3 cppo.1.6.9 csexp.1.5.2 dune.3.15.2 dune-build-info.3.15.2 dune-configurator.3.15.2 fmt.0.9.0 gospel.0.3.0 lablgtk3.3.1.4 lablgtk3-sourceview3.3.1.4 menhir.20231231 menhirCST.20231231 menhirLib.20231231 menhirSdk.20231231 num.1.5 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.14.3 ocamlfind.1.9.6 parsexp.v0.16.0 pp_loc.2.1.0 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.32.1 result.1.5 sexplib.v0.16.0 sexplib0.v0.16.0 stdlib-shims.0.3.0 topkg.1.0.7 why3.1.7.2 why3-ide.1.7.2' OPAMCOLOR='always' CLICOLOR_FORCE='1' '/usr/bin/env' 'bash' '-c' 'opam exec -- dune build @install @check @runtest && rm -rf _build': failed"jail" "-c" "name=obuilder_689_7419" "mount.devfs" "path=/obuilder/result/7fe25ad3fff486a1275808ea197f96e30a9de442bf10baeadf6c6f902935ff40/rootfs" "vnet" "exec.start=/sbin/ifconfig lo0 127.0.0.1/8" "command=/usr/bin/su" "-l" "opam" "-c" "cd '/src' && env OCAMLCI='true' CI='true' DEPS='base.v0.16.3 base-bigarray.base base-threads.base base-unix.base cairo2.0.6.4 camlp-streams.5.0.1 cmdliner.1.2.0 conf-bash.1 conf-cairo.1 conf-gtk3.18 conf-gtksourceview3.0+2 conf-pkg-config.3 cppo.1.6.9 csexp.1.5.2 dune.3.15.2 dune-build-info.3.15.2 dune-configurator.3.15.2 fmt.0.9.0 gospel.0.3.0 lablgtk3.3.1.4 lablgtk3-sourceview3.3.1.4 menhir.20231231 menhirCST.20231231 menhirLib.20231231 menhirSdk.20231231 num.1.5 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.14.3 ocamlfind.1.9.6 parsexp.v0.16.0 pp_loc.2.1.0 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_sexp_conv.v0.16.0 ppxlib.0.32.1 result.1.5 sexplib.v0.16.0 sexplib0.v0.16.0 stdlib-shims.0.3.0 topkg.1.0.7 why3.1.7.2 why3-ide.1.7.2' OPAMCOLOR='always' CLICOLOR_FORCE='1' '/usr/bin/env' 'bash' '-c' 'opam exec -- dune build @install @check @runtest && rm -rf _build'" failed with exit status 12024-05-10 09:48.21: Job failed: Failed: Build failed