=>> Building devel/ocaml-dolmen build started at Wed Mar 11 02:38:50 EDT 2026 port directory: /usr/ports/devel/ocaml-dolmen package name: ocaml-dolmen-0.9_2 building for: FreeBSD pkg.DaveG.ca 14.4-RELEASE FreeBSD 14.4-RELEASE 1404000 amd64 maintained by: freebsd@dev.thsi.be Makefile datestamp: -rw-r--r-- 1 root wheel 3185 Jan 14 2025 /usr/ports/devel/ocaml-dolmen/Makefile Ports top last git commit: 26b198eb3ee3 Ports top unclean checkout: no Port dir last git commit: c79c88017bf5 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1404000 Job Id: 15 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1404000 UNAME_v=FreeBSD 14.4-RELEASE 1404000 UNAME_r=14.4-RELEASE BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.2 MASTERMNT=/usr/local/poudriere/data/.m/freebsd_14_4_x64-HEAD-ALL/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/freebsd_14_4_x64-HEAD-ALL/15/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_14_4_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_14_4_x64-HEAD-ALL/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ===> The following configuration options are available for ocaml-dolmen-0.9_2: DOCS=on: Build and/or install documentation MANPAGES=off: Build and/or install manual pages ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- freebsd@dev.thsi.be --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/devel/ocaml-dolmen/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/ocaml-dolmen/work XDG_CACHE_HOME=/wrkdirs/usr/ports/devel/ocaml-dolmen/work/.cache HOME=/wrkdirs/usr/ports/devel/ocaml-dolmen/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/devel/ocaml-dolmen/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/devel/ocaml-dolmen/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/devel/ocaml-dolmen/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/ocaml-dolmen/work XDG_CACHE_HOME=/wrkdirs/usr/ports/devel/ocaml-dolmen/work/.cache HOME=/wrkdirs/usr/ports/devel/ocaml-dolmen/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/devel/ocaml-dolmen/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/devel/ocaml-dolmen/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- PORTDOCS="" DOCS="" NO_DOCS="@comment " MANPAGES="@comment " NO_MANPAGES="" OCAML_SITELIBDIR="lib/ocaml/site-lib" OSREL=14.4 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/ocaml" EXAMPLESDIR="share/examples/dolmen" DATADIR="share/dolmen" WWWDIR="www/dolmen" ETCDIR="etc/dolmen" --End PLIST_SUB-- --SUB_LIST-- DOCS="" NO_DOCS="@comment " MANPAGES="@comment " NO_MANPAGES="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/dolmen DOCSDIR=/usr/local/share/doc/ocaml EXAMPLESDIR=/usr/local/share/examples/dolmen WWWDIR=/usr/local/www/dolmen ETCDIR=/usr/local/etc/dolmen --End SUB_LIST-- ---Begin make.conf--- DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited pipebuf (-y) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.6.2.pkg [pkg.DaveG.ca] Installing pkg-2.6.2... [pkg.DaveG.ca] Extracting pkg-2.6.2: .......... done ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of ocaml-dolmen-0.9_2 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by ocaml-dolmen-0.9_2 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by ocaml-dolmen-0.9_2 for building => SHA256 Checksum OK for Gbury-dolmen-v0.9_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/bin/ocamlc - not found ===> Installing existing package /packages/All/ocaml-4.14.2.pkg [pkg.DaveG.ca] Installing ocaml-4.14.2... [pkg.DaveG.ca] Extracting ocaml-4.14.2: .......... done ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/bin/ocamlc - found ===> Returning to build of ocaml-dolmen-0.9_2 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by ocaml-dolmen-0.9_2 for building ===> Extracting for ocaml-dolmen-0.9_2 => SHA256 Checksum OK for Gbury-dolmen-v0.9_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for ocaml-dolmen-0.9_2 ===> Applying FreeBSD patches for ocaml-dolmen-0.9_2 from /usr/ports/devel/ocaml-dolmen/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/bin/menhir - not found ===> Installing existing package /packages/All/menhir-20240715.pkg [pkg.DaveG.ca] Installing menhir-20240715... [pkg.DaveG.ca] Extracting menhir-20240715: .......... done ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/bin/menhir - found ===> Returning to build of ocaml-dolmen-0.9_2 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/farith/META - not found ===> Installing existing package /packages/All/ocaml-farith-0.1_1.pkg [pkg.DaveG.ca] Installing ocaml-farith-0.1_1... [pkg.DaveG.ca] `-- Installing ocaml-base-0.16.3_2... [pkg.DaveG.ca] | `-- Installing ocaml-sexplib0-0.17.0... [pkg.DaveG.ca] | `-- Extracting ocaml-sexplib0-0.17.0: .......... done [pkg.DaveG.ca] `-- Extracting ocaml-base-0.16.3_2: .......... done [pkg.DaveG.ca] `-- Installing ocaml-ppx_deriving-6.0.2_1... [pkg.DaveG.ca] | `-- Installing ocaml-findlib-1.9.6_3... [pkg.DaveG.ca] | | `-- Installing ocaml-labltk-8.06.12_1... [pkg.DaveG.ca] | | `-- Installing tcl86-8.6.17... [pkg.DaveG.ca] | | `-- Extracting tcl86-8.6.17: .......... done [pkg.DaveG.ca] | | `-- Installing tk86-8.6.17... [pkg.DaveG.ca] | | | `-- Installing fontconfig-2.17.1,1... [pkg.DaveG.ca] | | | `-- Installing expat-2.7.4... [pkg.DaveG.ca] | | | `-- Extracting expat-2.7.4: .......... done [pkg.DaveG.ca] | | | `-- Installing freetype2-2.14.1... [pkg.DaveG.ca] | | | | `-- Installing brotli-1.2.0,1... [pkg.DaveG.ca] | | | | `-- Extracting brotli-1.2.0,1: .......... done [pkg.DaveG.ca] | | | | `-- Installing png-1.6.55... [pkg.DaveG.ca] | | | | `-- Extracting png-1.6.55: .......... done [pkg.DaveG.ca] | | | `-- Extracting freetype2-2.14.1: .......... done [pkg.DaveG.ca] | | | `-- Installing gettext-runtime-0.26... [pkg.DaveG.ca] | | | | `-- Installing indexinfo-0.3.1_1... [pkg.DaveG.ca] | | | | `-- Extracting indexinfo-0.3.1_1: . done [pkg.DaveG.ca] | | | `-- Extracting gettext-runtime-0.26: .......... done [pkg.DaveG.ca] | | | `-- Extracting fontconfig-2.17.1,1: .......... done [pkg.DaveG.ca] | | | `-- Installing libX11-1.8.12,1... [pkg.DaveG.ca] | | | `-- Installing libxcb-1.17.0... [pkg.DaveG.ca] | | | | `-- Installing libXau-1.0.12... [pkg.DaveG.ca] | | | | `-- Extracting libXau-1.0.12: .......... done [pkg.DaveG.ca] | | | | `-- Installing libXdmcp-1.1.5... [pkg.DaveG.ca] | | | | `-- Installing xorgproto-2024.1... [pkg.DaveG.ca] | | | | `-- Extracting xorgproto-2024.1: .......... done [pkg.DaveG.ca] | | | | `-- Extracting libXdmcp-1.1.5: ...... done [pkg.DaveG.ca] | | | `-- Extracting libxcb-1.17.0: .......... done [pkg.DaveG.ca] | | | `-- Extracting libX11-1.8.12,1: .......... done [pkg.DaveG.ca] | | | `-- Installing libXScrnSaver-1.2.4_1... [pkg.DaveG.ca] | | | `-- Installing libXext-1.3.6,1... [pkg.DaveG.ca] | | | `-- Extracting libXext-1.3.6,1: .......... done [pkg.DaveG.ca] | | | `-- Extracting libXScrnSaver-1.2.4_1: .......... done [pkg.DaveG.ca] | | | `-- Installing libXft-2.3.8... [pkg.DaveG.ca] | | | `-- Installing libXrender-0.9.12... [pkg.DaveG.ca] | | | `-- Extracting libXrender-0.9.12: ....... done [pkg.DaveG.ca] | | | `-- Extracting libXft-2.3.8: .......... done [pkg.DaveG.ca] | | `-- Extracting tk86-8.6.17: .......... done [pkg.DaveG.ca] | | `-- Extracting ocaml-labltk-8.06.12_1: .......... done [pkg.DaveG.ca] | `-- Extracting ocaml-findlib-1.9.6_3: .......... done [pkg.DaveG.ca] | `-- Installing ocaml-ppx_derivers-1.2.1... [pkg.DaveG.ca] | `-- Extracting ocaml-ppx_derivers-1.2.1: .......... done [pkg.DaveG.ca] | `-- Installing ocaml-ppxlib-0.33.0_1... [pkg.DaveG.ca] | | `-- Installing ocaml-compiler-libs-0.12.4... [pkg.DaveG.ca] | | `-- Extracting ocaml-compiler-libs-0.12.4: .......... done [pkg.DaveG.ca] | `-- Extracting ocaml-ppxlib-0.33.0_1: .......... done [pkg.DaveG.ca] `-- Extracting ocaml-ppx_deriving-6.0.2_1: .......... done [pkg.DaveG.ca] `-- Installing ocaml-ppx_hash-0.16.0_1... [pkg.DaveG.ca] | `-- Installing ocaml-ppx_compare-0.16.0_1... [pkg.DaveG.ca] | `-- Extracting ocaml-ppx_compare-0.16.0_1: .......... done [pkg.DaveG.ca] | `-- Installing ocaml-ppx_sexp_conv-0.16.0_2... [pkg.DaveG.ca] | `-- Extracting ocaml-ppx_sexp_conv-0.16.0_2: .......... done [pkg.DaveG.ca] `-- Extracting ocaml-ppx_hash-0.16.0_1: .......... done [pkg.DaveG.ca] `-- Installing ocaml-zarith-1.13_2... [pkg.DaveG.ca] | `-- Installing gmp-6.3.0... [pkg.DaveG.ca] | `-- Extracting gmp-6.3.0: .......... done [pkg.DaveG.ca] `-- Extracting ocaml-zarith-1.13_2: .......... done [pkg.DaveG.ca] Extracting ocaml-farith-0.1_1: .......... done ==> Running trigger: fontconfig.ucl Running fc-cache to build fontconfig cache... ===== Message from freetype2-2.14.1: -- 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). ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/farith/META - found ===> Returning to build of ocaml-dolmen-0.9_2 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/fmt/META - not found ===> Installing existing package /packages/All/ocaml-fmt-0.9.0_1.pkg [pkg.DaveG.ca] Installing ocaml-fmt-0.9.0_1... [pkg.DaveG.ca] `-- Installing ocaml-cmdliner-1.0.4_4... [pkg.DaveG.ca] `-- Extracting ocaml-cmdliner-1.0.4_4: .......... done [pkg.DaveG.ca] Extracting ocaml-fmt-0.9.0_1: .......... done ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/fmt/META - found ===> Returning to build of ocaml-dolmen-0.9_2 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/gen/META - not found ===> Installing existing package /packages/All/ocaml-gen-1.1.pkg [pkg.DaveG.ca] Installing ocaml-gen-1.1... [pkg.DaveG.ca] Extracting ocaml-gen-1.1: .......... done ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/gen/META - found ===> Returning to build of ocaml-dolmen-0.9_2 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/linol/META - not found ===> Installing existing package /packages/All/ocaml-linol-0.6_2.pkg [pkg.DaveG.ca] Installing ocaml-linol-0.6_2... [pkg.DaveG.ca] `-- Installing ocaml-logs-0.7.0_3... [pkg.DaveG.ca] | `-- Installing ocaml-lwt-5.7.0_2... [pkg.DaveG.ca] | | `-- Installing libev-4.33_1,1... [pkg.DaveG.ca] | | `-- Extracting libev-4.33_1,1: ....... done [pkg.DaveG.ca] | | `-- Installing ocaml-ocplib-endian-1.2... [pkg.DaveG.ca] | | `-- Extracting ocaml-ocplib-endian-1.2: .......... done [pkg.DaveG.ca] | | `-- Installing ocaml-react-1.2.2... [pkg.DaveG.ca] | | `-- Installing ocaml-cppo-1.6.9_3... [pkg.DaveG.ca] | | `-- Extracting ocaml-cppo-1.6.9_3: .......... done [pkg.DaveG.ca] | | `-- Extracting ocaml-react-1.2.2: ........ done [pkg.DaveG.ca] | `-- Extracting ocaml-lwt-5.7.0_2: .......... done [pkg.DaveG.ca] `-- Extracting ocaml-logs-0.7.0_3: .......... done [pkg.DaveG.ca] `-- Installing ocaml-lsp-1.19.0_2... [pkg.DaveG.ca] | `-- Installing ocaml-ppx_yojson_conv_lib-0.17.0_1... [pkg.DaveG.ca] | | `-- Installing ocaml-yojson-2.2.2_1... [pkg.DaveG.ca] | | `-- Extracting ocaml-yojson-2.2.2_1: .......... done [pkg.DaveG.ca] | `-- Extracting ocaml-ppx_yojson_conv_lib-0.17.0_1: .......... done [pkg.DaveG.ca] | `-- Installing ocaml-uutf-1.0.3_3... [pkg.DaveG.ca] | `-- Extracting ocaml-uutf-1.0.3_3: .......... done [pkg.DaveG.ca] `-- Extracting ocaml-lsp-1.19.0_2: .......... done [pkg.DaveG.ca] `-- Installing ocaml-trace-0.7_1... [pkg.DaveG.ca] | `-- Installing ocaml-hmap-0.8.1... [pkg.DaveG.ca] | `-- Extracting ocaml-hmap-0.8.1: .......... done [pkg.DaveG.ca] | `-- Installing ocaml-mtime-2.0.0_1... [pkg.DaveG.ca] | `-- Extracting ocaml-mtime-2.0.0_1: .......... done [pkg.DaveG.ca] `-- Extracting ocaml-trace-0.7_1: .......... done [pkg.DaveG.ca] Extracting ocaml-linol-0.6_2: .......... done ===== Message from ocaml-react-1.2.2: -- ===> NOTICE: The ocaml-react 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 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/linol/META - found ===> Returning to build of ocaml-dolmen-0.9_2 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/logs/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/lsp/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/pp_loc/META - not found ===> Installing existing package /packages/All/ocaml-pp_loc-2.1.0.pkg [pkg.DaveG.ca] Installing ocaml-pp_loc-2.1.0... [pkg.DaveG.ca] Extracting ocaml-pp_loc-2.1.0: .......... done ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/pp_loc/META - found ===> Returning to build of ocaml-dolmen-0.9_2 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/ppx_deriving/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/ppx_hash/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/ppx_yojson_conv/META - not found ===> Installing existing package /packages/All/ocaml-ppx_yojson_conv-0.17.0_2.pkg [pkg.DaveG.ca] Installing ocaml-ppx_yojson_conv-0.17.0_2... [pkg.DaveG.ca] Extracting ocaml-ppx_yojson_conv-0.17.0_2: .......... done ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/ppx_yojson_conv/META - found ===> Returning to build of ocaml-dolmen-0.9_2 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/spelll/META - not found ===> Installing existing package /packages/All/ocaml-spelll-0.4.pkg [pkg.DaveG.ca] Installing ocaml-spelll-0.4... [pkg.DaveG.ca] Extracting ocaml-spelll-0.4: .......... done ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/spelll/META - found ===> Returning to build of ocaml-dolmen-0.9_2 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/uutf/META - found ===> ocaml-dolmen-0.9_2 depends on package: ocaml-dune>=3.7.1_2 - not found ===> Installing existing package /packages/All/ocaml-dune-3.7.1_3.pkg [pkg.DaveG.ca] Installing ocaml-dune-3.7.1_3... [pkg.DaveG.ca] Extracting ocaml-dune-3.7.1_3: .......... done ===> ocaml-dolmen-0.9_2 depends on package: ocaml-dune>=3.7.1_2 - found ===> Returning to build of ocaml-dolmen-0.9_2 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/bin/ocamlc - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/bin/ccache - not found ===> Installing existing package /packages/All/ccache-3.7.12_8.pkg [pkg.DaveG.ca] Installing ccache-3.7.12_8... [pkg.DaveG.ca] Extracting ccache-3.7.12_8: ......... done Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for clang create symlink for clang (world) create symlink for clang++ create symlink for clang++ (world) ===== Message from ccache-3.7.12_8: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/bin/ccache - found ===> Returning to build of ocaml-dolmen-0.9_2 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ocaml-dolmen-0.9_2 depends on shared library: libev.so - found (/usr/local/lib/libev.so) ===> ocaml-dolmen-0.9_2 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for ocaml-dolmen-0.9_2 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for ocaml-dolmen-0.9_2 ocamldep src/bin/.main.eobjs/dune__exe__Main.impl.d ocamldep src/lsp/.main.eobjs/dune__exe__Main.impl.d ocamldep src/interface/.dolmen_intf.objs/dolmen_intf__Ty.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Vec.impl.d ocamldep src/classes/.dolmen_class.objs/dolmen_class__Response.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Thf_intf.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Typer_intf.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Value.impl.d menhir src/languages/ae/tokens.{ml,mli} menhir src/languages/dimacs/tokens.{ml,mli} menhir src/languages/tptp/v6.3.0/tokens.{ml,mli} menhir src/languages/icnf/tokens.{ml,mli} menhir src/languages/smtlib2/v2.6/script/tokens.{ml,mli} menhir src/languages/smtlib2/v2.6/response/tokens.{ml,mli} menhir src/languages/smtlib2/poly/tokens.{ml,mli} menhir src/languages/zf/tokens.{ml,mli} ocamldep src/languages/ae/.dolmen_ae.objs/dolmen_ae__Tokens.impl.d ocamldep src/languages/dimacs/.dolmen_dimacs.objs/dolmen_dimacs__Tokens.impl.d ocamldep src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/dolmen_tptp_v6_3_0__Tokens.impl.d ocamldep src/languages/icnf/.dolmen_icnf.objs/dolmen_icnf__Tokens.impl.d ocamldep src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/dolmen_smtlib2_v6_response__Tokens.impl.d ocamldep src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/dolmen_smtlib2_v6_script__Tokens.impl.d ocamldep src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/dolmen_smtlib2_poly__Tokens.impl.d ocamldep src/languages/zf/.dolmen_zf.objs/dolmen_zf__Tokens.impl.d ocamlc src/interface/.dolmen_intf.objs/byte/dolmen_intf.{cmi,cmo,cmt} ocamldep src/languages/line/.dolmen_line.objs/dolmen_line.impl.d ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std.{cmi,cmo,cmt} ocamldep src/languages/ae/.dolmen_ae.objs/dolmen_ae.impl.d ocamldep src/languages/dimacs/.dolmen_dimacs.objs/dolmen_dimacs.impl.d ocamldep src/languages/icnf/.dolmen_icnf.objs/dolmen_icnf.impl.d ocamldep src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/dolmen_tptp_v6_3_0.impl.d ocamldep src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/dolmen_smtlib2_v6_script.impl.d ocamldep src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/dolmen_smtlib2_v6_response.impl.d ocamldep src/languages/zf/.dolmen_zf.objs/dolmen_zf.impl.d ocamldep src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/dolmen_smtlib2_poly.impl.d ocamlc src/classes/.dolmen_class.objs/byte/dolmen_class.{cmi,cmo,cmt} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type.{cmi,cmo,cmt} ocamldep src/interface/.dolmen_intf.objs/dolmen_intf__Location.impl.d ocamldep src/interface/.dolmen_intf.objs/dolmen_intf__Language.impl.d ocamlc src/model/.dolmen_model.objs/byte/dolmen_model.{cmi,cmo,cmt} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop.{cmi,cmo,cmt} ocamldep src/interface/.dolmen_intf.objs/dolmen_intf__Id.impl.d ocamldep src/interface/.dolmen_intf.objs/dolmen_intf__Lex.impl.d ocamldep src/interface/.dolmen_intf.objs/dolmen_intf__Msg.impl.d ocamldep src/interface/.dolmen_intf.objs/dolmen_intf__Term.impl.d ocamldep src/interface/.dolmen_intf.objs/dolmen_intf__Tag.impl.d ocamldep src/interface/.dolmen_intf.objs/dolmen_intf__Stmt.impl.d ocamldep src/interface/.dolmen_intf.objs/dolmen_intf__Map.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Builtin.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Answer.impl.d ocamldep src/interface/.dolmen_intf.objs/dolmen_intf__Parse.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Escape.impl.d ocamldep src/interface/.dolmen_intf.objs/dolmen_intf__Tok.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Hmap.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Expr.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Id.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Loc.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Maps.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Maps_string.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Misc.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Name.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Msg.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Namespace.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Normalize.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Pretty.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Path.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Statement.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Tag.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Stats.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Timer.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Term.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Tok.impl.d ocamldep src/languages/ae/.dolmen_ae.objs/dolmen_ae__Ast.impl.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Transformer.impl.d ocamldep src/languages/icnf/.dolmen_icnf.objs/dolmen_icnf__Ast.impl.d ocamldep src/languages/dimacs/.dolmen_dimacs.objs/dolmen_dimacs__Ast.impl.d menhir src/languages/ae/syntax_messages.ml (cd _build/default/src/languages/ae && /usr/local/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/ae/syntax_messages.ml Read 241 sample input sentences and 241 error messages. menhir src/languages/dimacs/syntax_messages.ml (cd _build/default/src/languages/dimacs && /usr/local/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/dimacs/syntax_messages.ml Read 18 sample input sentences and 18 error messages. menhir src/languages/icnf/syntax_messages.ml (cd _build/default/src/languages/icnf && /usr/local/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/icnf/syntax_messages.ml Read 20 sample input sentences and 20 error messages. ocamldep src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/dolmen_tptp_v6_3_0__Ast.impl.d ocamldep src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/dolmen_smtlib2_v6_script__Ast.impl.d menhir src/languages/tptp/v6.3.0/syntax_messages.ml (cd _build/default/src/languages/tptp/v6.3.0 && /usr/local/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/tptp/v6.3.0/syntax_messages.ml Read 342 sample input sentences and 342 error messages. menhir src/languages/smtlib2/v2.6/script/syntax_messages.ml (cd _build/default/src/languages/smtlib2/v2.6/script && /usr/local/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/smtlib2/v2.6/script/syntax_messages.ml Read 253 sample input sentences and 253 error messages. ocamldep src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/dolmen_smtlib2_v6_response__Ast.impl.d ocamldep src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/dolmen_smtlib2_poly__Ast.impl.d menhir src/languages/smtlib2/v2.6/response/syntax_messages.ml (cd _build/default/src/languages/smtlib2/v2.6/response && /usr/local/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/smtlib2/v2.6/response/syntax_messages.ml Read 109 sample input sentences and 109 error messages. ocamldep src/languages/zf/.dolmen_zf.objs/dolmen_zf__Ast.impl.d menhir src/languages/smtlib2/poly/syntax_messages.ml (cd _build/default/src/languages/smtlib2/poly && /usr/local/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/smtlib2/poly/syntax_messages.ml Read 319 sample input sentences and 319 error messages. ocamldep src/classes/.dolmen_class.objs/dolmen_class__Logic.impl.d menhir src/languages/zf/syntax_messages.ml (cd _build/default/src/languages/zf && /usr/local/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/zf/syntax_messages.ml Read 128 sample input sentences and 128 error messages. ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Arrays.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Arith.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Base.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Bitv.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Core.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Def.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Float.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Logic.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Tff_intf.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Tff.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Strings.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Misc.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Intf.impl.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Thf.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Alarm.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Code.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Expr_intf.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Flow.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Flow_intf.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Logic.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Headers.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Parser.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Report.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Pipeline.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Parser_intf.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Headers_intf.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Response.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__State.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Typer.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Adt.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Bitv.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Bool.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Array.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Coercion.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Core.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Env.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Eval.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Fun.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Int.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Fp.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Model.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Loop.impl.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Rat.impl.d ocamlc src/languages/line/.dolmen_line.objs/byte/dolmen_line__.{cmi,cmo,cmt} ocamlc src/languages/ae/.dolmen_ae.objs/byte/dolmen_ae__.{cmi,cmo,cmt} ocamldep src/model/.dolmen_model.objs/dolmen_model__Real.impl.d ocamlc src/languages/dimacs/.dolmen_dimacs.objs/byte/dolmen_dimacs__.{cmi,cmo,cmt} ocamlc src/languages/zf/.dolmen_zf.objs/byte/dolmen_zf__.{cmi,cmo,cmt} ocamlc src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/byte/dolmen_smtlib2_poly__.{cmi,cmo,cmt} ocamlc src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/byte/dolmen_smtlib2_v6_script__.{cmi,cmo,cmt} ocamlc src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/byte/dolmen_tptp_v6_3_0__.{cmi,cmo,cmt} ocamlc src/languages/icnf/.dolmen_icnf.objs/byte/dolmen_icnf__.{cmi,cmo,cmt} ocamlc src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/byte/dolmen_smtlib2_v6_response__.{cmi,cmo,cmt} ocamldep src/languages/icnf/.dolmen_icnf.objs/dolmen_icnf__Syntax_messages.impl.d ocamldep src/languages/ae/.dolmen_ae.objs/dolmen_ae__Syntax_messages.impl.d ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type.{cmx,o} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std.{cmx,o} ocamlopt src/interface/.dolmen_intf.objs/native/dolmen_intf.{cmx,o} ocamldep src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/dolmen_smtlib2_poly__Syntax_messages.impl.d ocamldep src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/dolmen_smtlib2_v6_response__Syntax_messages.impl.d ocamldep src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/dolmen_smtlib2_v6_script__Syntax_messages.impl.d ocamldep src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/dolmen_tptp_v6_3_0__Syntax_messages.impl.d ocamldep src/languages/dimacs/.dolmen_dimacs.objs/dolmen_dimacs__Syntax_messages.impl.d ocamlopt src/classes/.dolmen_class.objs/native/dolmen_class.{cmx,o} ocamldep src/languages/zf/.dolmen_zf.objs/dolmen_zf__Syntax_messages.impl.d ocamlopt src/languages/line/.dolmen_line.objs/native/dolmen_line__.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model.{cmx,o} ocamlopt src/languages/ae/.dolmen_ae.objs/native/dolmen_ae__.{cmx,o} ocamlopt src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/native/dolmen_smtlib2_v6_response__.{cmx,o} menhir src/languages/ae/parser__mock.ml.mock ocamlopt src/languages/dimacs/.dolmen_dimacs.objs/native/dolmen_dimacs__.{cmx,o} ocamlopt src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/native/dolmen_tptp_v6_3_0__.{cmx,o} ocamlopt src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/native/dolmen_smtlib2_poly__.{cmx,o} ocamlopt src/languages/icnf/.dolmen_icnf.objs/native/dolmen_icnf__.{cmx,o} menhir src/languages/tptp/v6.3.0/parser__mock.ml.mock menhir src/languages/icnf/parser__mock.ml.mock menhir src/languages/dimacs/parser__mock.ml.mock menhir src/languages/smtlib2/v2.6/script/parser__mock.ml.mock menhir src/languages/smtlib2/v2.6/response/parser__mock.ml.mock ocamlopt src/languages/zf/.dolmen_zf.objs/native/dolmen_zf__.{cmx,o} menhir src/languages/smtlib2/poly/parser__mock.ml.mock menhir src/languages/zf/parser__mock.ml.mock ocamlopt src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/native/dolmen_smtlib2_v6_script__.{cmx,o} ocamlc src/interface/.dolmen_intf.objs/byte/dolmen_intf__Id.{cmi,cmo,cmt} ocamlc src/interface/.dolmen_intf.objs/byte/dolmen_intf__Msg.{cmi,cmo,cmt} ocamlc src/interface/.dolmen_intf.objs/byte/dolmen_intf__Parse.{cmi,cmo,cmt} ocamlc src/interface/.dolmen_intf.objs/byte/dolmen_intf__Map.{cmi,cmo,cmt} ocamlc src/interface/.dolmen_intf.objs/byte/dolmen_intf__Tag.{cmi,cmo,cmt} ocamlc src/interface/.dolmen_intf.objs/byte/dolmen_intf__Stmt.{cmi,cmo,cmt} ocamlc src/interface/.dolmen_intf.objs/byte/dolmen_intf__Ty.{cmi,cmo,cmt} ocamlc src/interface/.dolmen_intf.objs/byte/dolmen_intf__Tok.{cmi,cmo,cmt} ocamlc src/interface/.dolmen_intf.objs/byte/dolmen_intf__Term.{cmi,cmo,cmt} ocamlopt src/interface/.dolmen_intf.objs/native/dolmen_intf__Id.{cmx,o} ocamlopt src/interface/.dolmen_intf.objs/native/dolmen_intf__Msg.{cmx,o} ocamlc src/interface/.dolmen_intf.objs/byte/dolmen_intf__Location.{cmi,cmo,cmt} ocamlopt src/interface/.dolmen_intf.objs/native/dolmen_intf__Stmt.{cmx,o} ocamlopt src/interface/.dolmen_intf.objs/native/dolmen_intf__Parse.{cmx,o} ocamlopt src/interface/.dolmen_intf.objs/native/dolmen_intf__Map.{cmx,o} ocamlc src/interface/.dolmen_intf.objs/byte/dolmen_intf__Lex.{cmi,cmo,cmt} ocamlopt src/interface/.dolmen_intf.objs/native/dolmen_intf__Ty.{cmx,o} ocamlopt src/interface/.dolmen_intf.objs/native/dolmen_intf__Tok.{cmx,o} ocamlopt src/interface/.dolmen_intf.objs/native/dolmen_intf__Location.{cmx,o} ocamlopt src/interface/.dolmen_intf.objs/native/dolmen_intf__Tag.{cmx,o} ocamlc src/interface/.dolmen_intf.objs/byte/dolmen_intf__Language.{cmi,cmo,cmt} ocamlopt src/interface/.dolmen_intf.objs/native/dolmen_intf__Term.{cmx,o} ocamldep src/languages/ae/.dolmen_ae.objs/parser__mock.impl.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Logic.intf.d ocamldep src/languages/dimacs/.dolmen_dimacs.objs/parser__mock.impl.d ocamldep src/languages/icnf/.dolmen_icnf.objs/parser__mock.impl.d ocamlopt src/interface/.dolmen_intf.objs/native/dolmen_intf__Lex.{cmx,o} ocamldep src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/parser__mock.impl.d ocamldep src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/parser__mock.impl.d ocamldep src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/parser__mock.impl.d ocamldep src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/parser__mock.impl.d ocamldep src/languages/zf/.dolmen_zf.objs/parser__mock.impl.d ocamldep src/bin/.main.eobjs/dune__exe__Errors.impl.d ocamldep src/bin/.main.eobjs/dune__exe__Loop.impl.d ocamldep src/bin/.main.eobjs/dune__exe__Man.impl.d ocamlopt src/interface/.dolmen_intf.objs/native/dolmen_intf__Language.{cmx,o} ocamldep src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/dolmen_tptp_v6_3_0__Tokens.intf.d ocamldep src/languages/dimacs/.dolmen_dimacs.objs/dolmen_dimacs__Tokens.intf.d ocamldep src/languages/ae/.dolmen_ae.objs/dolmen_ae__Tokens.intf.d ocamlopt src/interface/dolmen_intf.{a,cmxa} ocamldep src/lsp/.main.eobjs/dune__exe__Server.impl.d ocamldep src/bin/.main.eobjs/dune__exe__Options.impl.d ocamldep src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/dolmen_smtlib2_v6_script__Tokens.intf.d ocamldep src/languages/zf/.dolmen_zf.objs/dolmen_zf__Tokens.intf.d ocamldep src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/dolmen_smtlib2_v6_response__Tokens.intf.d ocamldep src/languages/icnf/.dolmen_icnf.objs/dolmen_icnf__Tokens.intf.d ocamldep src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/dolmen_smtlib2_poly__Tokens.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Id.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Loc.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Term.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Statement.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Builtin.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Misc.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Path.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Tag.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Name.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Namespace.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Maps_string.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Vec.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Maps.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Hmap.intf.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Base.intf.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Misc.intf.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Arith.intf.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Arrays.intf.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Code.intf.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Thf.intf.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Report.intf.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Alarm.intf.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Pipeline.intf.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Env.intf.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Bool.intf.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Model.intf.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Value.intf.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Real.intf.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Rat.intf.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Int.intf.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Bitv.intf.d ocamldep src/model/.dolmen_model.objs/dolmen_model__Fp.intf.d ocamldep src/languages/line/.dolmen_line.objs/dolmen_line.intf.d ocamldep src/languages/ae/.dolmen_ae.objs/dolmen_ae.intf.d ocamldep src/languages/dimacs/.dolmen_dimacs.objs/dolmen_dimacs.intf.d ocamldep src/languages/icnf/.dolmen_icnf.objs/dolmen_icnf.intf.d ocamldep src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/dolmen_smtlib2_v6_script.intf.d ocamldep src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/dolmen_tptp_v6_3_0.intf.d ocamldep src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/dolmen_smtlib2_v6_response.intf.d ocamldep src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/dolmen_smtlib2_poly.intf.d ocamllex src/languages/line/lexLine.ml ocamldep src/languages/zf/.dolmen_zf.objs/dolmen_zf.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Answer.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Escape.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Timer.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Stats.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Normalize.intf.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Core.intf.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Bitv.intf.d ocamldep src/classes/.dolmen_class.objs/dolmen_class__Response.intf.d ocamldep src/classes/.dolmen_class.objs/dolmen_class__Logic.intf.d ocamldep src/standard/.dolmen_std.objs/dolmen_std__Expr.intf.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Def.intf.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Float.intf.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Logic.intf.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Tff.intf.d ocamldep src/typecheck/.dolmen_type.objs/dolmen_type__Strings.intf.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Headers.intf.d ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Flow.intf.d ocamllex src/languages/tptp/v6.3.0/lexer.ml ocamllex src/languages/icnf/lexer.ml ocamllex src/languages/dimacs/lexer.ml ocamllex src/languages/ae/lexer.ml ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Typer.intf.d ocamllex src/languages/smtlib2/poly/lexer.ml ocamllex src/languages/smtlib2/v2.6/response/lexer.ml ocamllex src/languages/smtlib2/v2.6/script/lexer.ml ocamldep src/loop/.dolmen_loop.objs/dolmen_loop__Parser.intf.d ocamllex src/languages/zf/lexer.ml ocamlc src/languages/line/.dolmen_line.objs/byte/dolmen_line.{cmi,cmti} ocamldep src/languages/line/.dolmen_line.objs/dolmen_line__LexLine.impl.d ocamldep src/languages/icnf/.dolmen_icnf.objs/dolmen_icnf__Lexer.impl.d ocamldep src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/dolmen_tptp_v6_3_0__Lexer.impl.d ocamldep src/languages/dimacs/.dolmen_dimacs.objs/dolmen_dimacs__Lexer.impl.d ocamldep src/languages/ae/.dolmen_ae.objs/dolmen_ae__Lexer.impl.d ocamldep src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/dolmen_smtlib2_v6_response__Lexer.impl.d ocamldep src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/dolmen_smtlib2_poly__Lexer.impl.d ocamldep src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/dolmen_smtlib2_v6_script__Lexer.impl.d ocamlc src/languages/line/.dolmen_line.objs/byte/dolmen_line__LexLine.{cmi,cmo,cmt} ocamldep src/languages/zf/.dolmen_zf.objs/dolmen_zf__Lexer.impl.d ocamldep src/lsp/.main.eobjs/dune__exe__Loop.impl.d ocamldep src/bin/.main.eobjs/dune__exe__Hints.impl.d ocamldep src/lsp/.main.eobjs/dune__exe__State.impl.d ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Builtin.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Misc.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Maps.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Loc.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Escape.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Path.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Msg.{cmi,cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Maps_string.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Hmap.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Pretty.{cmi,cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Stats.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Timer.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Tag.{cmi,cmti} ocamlopt src/languages/line/.dolmen_line.objs/native/dolmen_line__LexLine.{cmx,o} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Tok.{cmi,cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Namespace.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Name.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Vec.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Transformer.{cmi,cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Expr.{cmi,cmti} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Id.{cmi,cmti} ocamldep src/bin/.main.eobjs/dune__exe__Memory_profiler.impl.d ocamlopt src/languages/line/.dolmen_line.objs/native/dolmen_line.{cmx,o} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Term.{cmi,cmti} ocamlopt src/languages/line/dolmen_line.{a,cmxa} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Maps_string.{cmx,o} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Hmap.{cmx,o} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Escape.{cmx,o} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Builtin.{cmx,o} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Pretty.{cmx,o} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Msg.{cmx,o} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Misc.{cmx,o} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Normalize.{cmi,cmti} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Path.{cmx,o} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Maps.{cmx,o} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Statement.{cmi,cmti} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Vec.{cmx,o} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Tok.{cmx,o} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Stats.{cmx,o} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Tag.{cmx,o} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Answer.{cmi,cmti} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Name.{cmx,o} ocamlc src/languages/ae/.dolmen_ae.objs/byte/dolmen_ae__Ast.{cmi,cmo,cmt} ocamlc src/languages/ae/.dolmen_ae.objs/byte/dolmen_ae__Tokens.{cmi,cmti} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Namespace.{cmx,o} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Timer.{cmx,o} ocamlc src/languages/dimacs/.dolmen_dimacs.objs/byte/dolmen_dimacs__Tokens.{cmi,cmti} ocamlc src/languages/dimacs/.dolmen_dimacs.objs/byte/dolmen_dimacs__Syntax_messages.{cmi,cmo,cmt} ocamlc src/languages/icnf/.dolmen_icnf.objs/byte/dolmen_icnf__Syntax_messages.{cmi,cmo,cmt} ocamlc src/languages/ae/.dolmen_ae.objs/byte/dolmen_ae__Syntax_messages.{cmi,cmo,cmt} ocamlc src/languages/icnf/.dolmen_icnf.objs/byte/dolmen_icnf__Ast.{cmi,cmo,cmt} ocamlc src/languages/dimacs/.dolmen_dimacs.objs/byte/dolmen_dimacs__Ast.{cmi,cmo,cmt} ocamlc src/languages/icnf/.dolmen_icnf.objs/byte/dolmen_icnf__Tokens.{cmi,cmti} ocamlc src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/byte/dolmen_tptp_v6_3_0__Ast.{cmi,cmo,cmt} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Loc.{cmx,o} ocamlc src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/byte/dolmen_tptp_v6_3_0__Tokens.{cmi,cmti} ocamlc src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/byte/dolmen_tptp_v6_3_0__Syntax_messages.{cmi,cmo,cmt} ocamlc src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/byte/dolmen_smtlib2_v6_script__Ast.{cmi,cmo,cmt} ocamlc src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/byte/dolmen_smtlib2_v6_script__Tokens.{cmi,cmti} ocamlc src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/byte/dolmen_smtlib2_v6_script__Syntax_messages.{cmi,cmo,cmt} ocamlc src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/byte/dolmen_smtlib2_v6_response__Ast.{cmi,cmo,cmt} ocamlc src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/byte/dolmen_smtlib2_poly__Ast.{cmi,cmo,cmt} ocamlc src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/byte/dolmen_smtlib2_v6_response__Tokens.{cmi,cmti} ocamlc src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/byte/dolmen_smtlib2_v6_response__Syntax_messages.{cmi,cmo,cmt} ocamlc src/languages/zf/.dolmen_zf.objs/byte/dolmen_zf__Ast.{cmi,cmo,cmt} ocamlc src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/byte/dolmen_smtlib2_poly__Tokens.{cmi,cmti} ocamlc src/languages/zf/.dolmen_zf.objs/byte/dolmen_zf__Tokens.{cmi,cmti} ocamlc src/languages/ae/.dolmen_ae.objs/byte/dolmen_ae__Lexer.{cmi,cmo,cmt} ocamlc src/languages/ae/.dolmen_ae.objs/byte/dolmen_ae.{cmi,cmti} ocamlc src/languages/zf/.dolmen_zf.objs/byte/dolmen_zf__Syntax_messages.{cmi,cmo,cmt} ocamlc src/languages/dimacs/.dolmen_dimacs.objs/byte/dolmen_dimacs__Lexer.{cmi,cmo,cmt} ocamlc src/languages/ae/parser__mock.mli.inferred ocamlc src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/byte/dolmen_smtlib2_poly__Syntax_messages.{cmi,cmo,cmt} ocamlc src/languages/icnf/.dolmen_icnf.objs/byte/dolmen_icnf.{cmi,cmti} ocamlc src/languages/dimacs/.dolmen_dimacs.objs/byte/dolmen_dimacs.{cmi,cmti} ocamlc src/languages/dimacs/parser__mock.mli.inferred ocamlc src/languages/icnf/parser__mock.mli.inferred ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Id.{cmx,o} ocamlc src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/byte/dolmen_tptp_v6_3_0.{cmi,cmti} ocamlc src/languages/icnf/.dolmen_icnf.objs/byte/dolmen_icnf__Lexer.{cmi,cmo,cmt} ocamlc src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/byte/dolmen_tptp_v6_3_0__Lexer.{cmi,cmo,cmt} ocamlc src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/byte/dolmen_smtlib2_v6_script.{cmi,cmti} ocamlc src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/byte/dolmen_smtlib2_v6_script__Lexer.{cmi,cmo,cmt} ocamlc src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/byte/dolmen_smtlib2_v6_response.{cmi,cmti} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Transformer.{cmx,o} ocamlc src/languages/smtlib2/v2.6/script/parser__mock.mli.inferred ocamlc src/languages/tptp/v6.3.0/parser__mock.mli.inferred ocamlc src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/byte/dolmen_smtlib2_poly.{cmi,cmti} ocamlc src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/byte/dolmen_smtlib2_v6_response__Lexer.{cmi,cmo,cmt} ocamlc src/languages/smtlib2/v2.6/response/parser__mock.mli.inferred ocamlc src/languages/zf/.dolmen_zf.objs/byte/dolmen_zf.{cmi,cmti} ocamlc src/languages/smtlib2/poly/parser__mock.mli.inferred ocamlc src/languages/zf/.dolmen_zf.objs/byte/dolmen_zf__Lexer.{cmi,cmo,cmt} ocamlc src/languages/zf/parser__mock.mli.inferred ocamlc src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/byte/dolmen_smtlib2_poly__Lexer.{cmi,cmo,cmt} menhir src/languages/dimacs/parser.{ml,mli} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Expr.{cmx,o} menhir src/languages/ae/parser.{ml,mli} menhir src/languages/icnf/parser.{ml,mli} menhir src/languages/smtlib2/v2.6/response/parser.{ml,mli} ocamldep src/languages/dimacs/.dolmen_dimacs.objs/dolmen_dimacs__Parser.impl.d menhir src/languages/zf/parser.{ml,mli} menhir src/languages/smtlib2/v2.6/script/parser.{ml,mli} ocamldep src/languages/dimacs/.dolmen_dimacs.objs/dolmen_dimacs__Parser.intf.d ocamldep src/languages/ae/.dolmen_ae.objs/dolmen_ae__Parser.intf.d menhir src/languages/smtlib2/poly/parser.{ml,mli} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Term.{cmx,o} ocamldep src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/dolmen_smtlib2_v6_response__Parser.intf.d ocamldep src/languages/icnf/.dolmen_icnf.objs/dolmen_icnf__Parser.intf.d ocamldep src/languages/icnf/.dolmen_icnf.objs/dolmen_icnf__Parser.impl.d ocamldep src/languages/ae/.dolmen_ae.objs/dolmen_ae__Parser.impl.d ocamldep src/languages/zf/.dolmen_zf.objs/dolmen_zf__Parser.intf.d ocamldep src/languages/zf/.dolmen_zf.objs/dolmen_zf__Parser.impl.d menhir src/languages/tptp/v6.3.0/parser.{ml,mli} ocamldep src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/dolmen_smtlib2_v6_response__Parser.impl.d ocamlc src/languages/dimacs/.dolmen_dimacs.objs/byte/dolmen_dimacs__Parser.{cmi,cmti} ocamldep src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/dolmen_smtlib2_v6_script__Parser.intf.d ocamldep src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/dolmen_smtlib2_poly__Parser.intf.d ocamldep src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/dolmen_smtlib2_poly__Parser.impl.d ocamlc src/languages/ae/.dolmen_ae.objs/byte/dolmen_ae__Parser.{cmi,cmti} ocamldep src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/dolmen_smtlib2_v6_script__Parser.impl.d ocamlc src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/byte/dolmen_smtlib2_v6_response__Parser.{cmi,cmti} ocamlc src/languages/zf/.dolmen_zf.objs/byte/dolmen_zf__Parser.{cmi,cmti} ocamlc src/languages/icnf/.dolmen_icnf.objs/byte/dolmen_icnf__Parser.{cmi,cmti} ocamlc src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/byte/dolmen_smtlib2_poly__Parser.{cmi,cmti} ocamlc src/languages/ae/.dolmen_ae.objs/byte/dolmen_ae.{cmo,cmt} ocamlc src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/byte/dolmen_smtlib2_v6_script__Parser.{cmi,cmti} ocamldep src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/dolmen_tptp_v6_3_0__Parser.intf.d ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Normalize.{cmx,o} ocamlc src/languages/ae/.dolmen_ae.objs/byte/dolmen_ae__Tokens.{cmo,cmt} ocamldep src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/dolmen_tptp_v6_3_0__Parser.impl.d ocamlc src/languages/dimacs/.dolmen_dimacs.objs/byte/dolmen_dimacs.{cmo,cmt} ocamlc src/languages/icnf/.dolmen_icnf.objs/byte/dolmen_icnf.{cmo,cmt} ocamlc src/languages/dimacs/.dolmen_dimacs.objs/byte/dolmen_dimacs__Tokens.{cmo,cmt} ocamlc src/languages/dimacs/.dolmen_dimacs.objs/byte/dolmen_dimacs__Parser.{cmo,cmt} ocamlc src/languages/icnf/.dolmen_icnf.objs/byte/dolmen_icnf__Tokens.{cmo,cmt} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Statement.{cmx,o} ocamlc src/languages/line/.dolmen_line.objs/byte/dolmen_line.{cmo,cmt} ocamlc src/languages/icnf/.dolmen_icnf.objs/byte/dolmen_icnf__Parser.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Answer.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Escape.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Builtin.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Hmap.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Id.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Maps_string.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Maps.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Misc.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Normalize.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Name.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Loc.{cmo,cmt} ocamlopt src/interface/dolmen_intf.cmxs ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Expr.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Stats.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Tag.{cmo,cmt} ocamlc src/languages/zf/.dolmen_zf.objs/byte/dolmen_zf.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Vec.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Timer.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Statement.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Namespace.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Term.{cmo,cmt} ocamlc src/standard/.dolmen_std.objs/byte/dolmen_std__Path.{cmo,cmt} ocamlc src/languages/smtlib2/v2.6/.dolmen_smtlib2_v6.objs/byte/dolmen_smtlib2_v6.{cmi,cmo,cmt} ocamlc src/languages/zf/.dolmen_zf.objs/byte/dolmen_zf__Tokens.{cmo,cmt} ocamlopt src/languages/line/dolmen_line.cmxs ocamlc src/languages/ae/.dolmen_ae.objs/byte/dolmen_ae__Parser.{cmo,cmt} ocamlc src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/byte/dolmen_tptp_v6_3_0__Parser.{cmi,cmti} ocamlc src/languages/smtlib2/.dolmen_smtlib2.objs/byte/dolmen_smtlib2.{cmi,cmo,cmt} ocamlopt src/standard/.dolmen_std.objs/native/dolmen_std__Answer.{cmx,o} ocamlc src/languages/line/dolmen_line.cma ocamlc src/standard/dolmen_std.cma ocamlc src/interface/dolmen_intf.cma ocamlc src/languages/icnf/dolmen_icnf.cma ocamlc src/languages/dimacs/dolmen_dimacs.cma ocamlc src/languages/ae/dolmen_ae.cma ocamlc src/languages/tptp/.dolmen_tptp.objs/byte/dolmen_tptp.{cmi,cmo,cmt} ocamlopt src/standard/dolmen_std.{a,cmxa} ocamlopt src/languages/ae/.dolmen_ae.objs/native/dolmen_ae__Tokens.{cmx,o} ocamlopt src/languages/ae/.dolmen_ae.objs/native/dolmen_ae__Ast.{cmx,o} ocamlopt src/languages/dimacs/.dolmen_dimacs.objs/native/dolmen_dimacs__Ast.{cmx,o} ocamlopt src/languages/dimacs/.dolmen_dimacs.objs/native/dolmen_dimacs__Syntax_messages.{cmx,o} ocamlc src/languages/zf/.dolmen_zf.objs/byte/dolmen_zf__Parser.{cmo,cmt} ocamlopt src/languages/icnf/.dolmen_icnf.objs/native/dolmen_icnf__Ast.{cmx,o} ocamlopt src/languages/icnf/.dolmen_icnf.objs/native/dolmen_icnf__Tokens.{cmx,o} ocamlopt src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/native/dolmen_smtlib2_v6_script__Ast.{cmx,o} ocamlopt src/languages/dimacs/.dolmen_dimacs.objs/native/dolmen_dimacs__Tokens.{cmx,o} ocamlopt src/languages/ae/.dolmen_ae.objs/native/dolmen_ae__Syntax_messages.{cmx,o} ocamlopt src/languages/icnf/.dolmen_icnf.objs/native/dolmen_icnf__Syntax_messages.{cmx,o} ocamlopt src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/native/dolmen_smtlib2_v6_script__Syntax_messages.{cmx,o} ocamlopt src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/native/dolmen_tptp_v6_3_0__Syntax_messages.{cmx,o} ocamlopt src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/native/dolmen_smtlib2_v6_script__Tokens.{cmx,o} ocamlopt src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/native/dolmen_smtlib2_poly__Ast.{cmx,o} ocamlopt src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/native/dolmen_tptp_v6_3_0__Ast.{cmx,o} ocamlc src/classes/.dolmen_class.objs/byte/dolmen_class__Logic.{cmi,cmti} ocamlopt src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/native/dolmen_smtlib2_poly__Tokens.{cmx,o} ocamlopt src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/native/dolmen_smtlib2_v6_response__Syntax_messages.{cmx,o} ocamlopt src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/native/dolmen_smtlib2_v6_response__Ast.{cmx,o} ocamlopt src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/native/dolmen_tptp_v6_3_0__Tokens.{cmx,o} ocamlopt src/languages/zf/.dolmen_zf.objs/native/dolmen_zf__Tokens.{cmx,o} ocamlopt src/languages/zf/.dolmen_zf.objs/native/dolmen_zf__Ast.{cmx,o} ocamlc src/classes/.dolmen_class.objs/byte/dolmen_class__Response.{cmi,cmti} ocamlopt src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/native/dolmen_smtlib2_poly__Syntax_messages.{cmx,o} ocamlopt src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/native/dolmen_smtlib2_v6_response__Tokens.{cmx,o} ocamlc src/languages/zf/dolmen_zf.cma ocamlopt src/languages/zf/.dolmen_zf.objs/native/dolmen_zf__Syntax_messages.{cmx,o} ocamlopt src/languages/ae/.dolmen_ae.objs/native/dolmen_ae__Lexer.{cmx,o} ocamlopt src/languages/dimacs/.dolmen_dimacs.objs/native/dolmen_dimacs__Lexer.{cmx,o} ocamlopt src/languages/icnf/.dolmen_icnf.objs/native/dolmen_icnf__Lexer.{cmx,o} ocamlc src/classes/.dolmen_class.objs/byte/dolmen_class__Logic.{cmo,cmt} ocamlopt src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/native/dolmen_tptp_v6_3_0__Lexer.{cmx,o} ocamlopt src/standard/dolmen_std.cmxs ocamlopt src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/native/dolmen_smtlib2_v6_script__Lexer.{cmx,o} ocamlc src/classes/.dolmen_class.objs/byte/dolmen_class__Response.{cmo,cmt} ocamlopt src/languages/icnf/.dolmen_icnf.objs/native/dolmen_icnf__Parser.{cmx,o} ocamlc src/.dolmen.objs/byte/dolmen.{cmi,cmo,cmt} ocamlc src/classes/dolmen_class.cma ocamlopt src/languages/zf/.dolmen_zf.objs/native/dolmen_zf__Lexer.{cmx,o} ocamlopt src/languages/dimacs/.dolmen_dimacs.objs/native/dolmen_dimacs__Parser.{cmx,o} ocamlc src/dolmen.cma ocamlopt src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/native/dolmen_smtlib2_poly__Lexer.{cmx,o} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Misc.{cmi,cmti} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Intf.{cmi,cmo,cmt} ocamlopt src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/native/dolmen_smtlib2_v6_response__Lexer.{cmx,o} ocamldep src/lsp/.main.eobjs/dune__exe__Diagnostic.impl.d ocamlopt src/languages/icnf/.dolmen_icnf.objs/native/dolmen_icnf.{cmx,o} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Misc.{cmo,cmt} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Thf_intf.{cmi,cmo,cmt} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Tff_intf.{cmi,cmo,cmt} ocamlopt src/languages/icnf/dolmen_icnf.{a,cmxa} ocamlopt src/languages/dimacs/.dolmen_dimacs.objs/native/dolmen_dimacs.{cmx,o} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Thf.{cmi,cmti} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Arith.{cmi,cmti} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Arrays.{cmi,cmti} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Def.{cmi,cmti} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Bitv.{cmi,cmti} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Core.{cmi,cmti} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Base.{cmi,cmti} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Strings.{cmi,cmti} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Float.{cmi,cmti} ocamlopt src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/native/dolmen_smtlib2_v6_response__Parser.{cmx,o} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Tff.{cmi,cmti} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Logic.{cmi,cmti} ocamlopt src/languages/dimacs/dolmen_dimacs.{a,cmxa} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Arrays.{cmo,cmt} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Thf.{cmo,cmt} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Def.{cmo,cmt} ocamlopt src/languages/zf/.dolmen_zf.objs/native/dolmen_zf__Parser.{cmx,o} ocamlopt src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/native/dolmen_smtlib2_v6_response.{cmx,o} ocamlopt src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/native/dolmen_smtlib2_v6_script__Parser.{cmx,o} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Logic.{cmo,cmt} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Alarm.{cmi,cmti} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Expr_intf.{cmi,cmo,cmt} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Code.{cmi,cmti} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Flow_intf.{cmi,cmo,cmt} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Tff.{cmo,cmt} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Base.{cmo,cmt} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Core.{cmo,cmt} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Headers_intf.{cmi,cmo,cmt} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Strings.{cmo,cmt} ocamlopt src/languages/icnf/dolmen_icnf.cmxs ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Logic.{cmi,cmti} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Response.{cmi,cmo,cmt} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Float.{cmo,cmt} ocamlopt src/languages/smtlib2/v2.6/response/dolmen_smtlib2_v6_response.{a,cmxa} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Arith.{cmo,cmt} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Report.{cmi,cmti} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Alarm.{cmo,cmt} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Code.{cmo,cmt} ocamlopt src/languages/zf/.dolmen_zf.objs/native/dolmen_zf.{cmx,o} ocamlopt src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/native/dolmen_smtlib2_v6_script.{cmx,o} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Logic.{cmo,cmt} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Report.{cmo,cmt} ocamlc src/typecheck/.dolmen_type.objs/byte/dolmen_type__Bitv.{cmo,cmt} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__State.{cmi,cmo,cmt} ocamlopt src/languages/ae/.dolmen_ae.objs/native/dolmen_ae__Parser.{cmx,o} ocamlopt src/languages/zf/dolmen_zf.{a,cmxa} ocamlopt src/languages/smtlib2/v2.6/script/dolmen_smtlib2_v6_script.{a,cmxa} ocamlopt src/languages/dimacs/dolmen_dimacs.cmxs ocamlc src/typecheck/dolmen_type.cma ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Typer_intf.{cmi,cmo,cmt} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Pipeline.{cmi,cmti} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Parser_intf.{cmi,cmo,cmt} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Headers.{cmi,cmti} ocamlopt src/languages/smtlib2/v2.6/.dolmen_smtlib2_v6.objs/native/dolmen_smtlib2_v6.{cmx,o} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Flow.{cmi,cmti} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Typer.{cmi,cmti} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Pipeline.{cmo,cmt} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Parser.{cmi,cmti} ocamlopt src/languages/ae/.dolmen_ae.objs/native/dolmen_ae.{cmx,o} ocamlopt src/languages/smtlib2/v2.6/dolmen_smtlib2_v6.{a,cmxa} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Headers.{cmo,cmt} ocamlopt src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/native/dolmen_smtlib2_poly__Parser.{cmx,o} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Flow.{cmo,cmt} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Value.{cmi,cmti} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Parser.{cmo,cmt} ocamlopt src/languages/ae/dolmen_ae.{a,cmxa} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Model.{cmi,cmti} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Value.{cmo,cmt} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Model.{cmo,cmt} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Env.{cmi,cmti} ocamlopt src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/native/dolmen_smtlib2_poly.{cmx,o} ocamlc src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/byte/dolmen_tptp_v6_3_0.{cmo,cmt} ocamlopt src/languages/zf/dolmen_zf.cmxs ocamlc src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/byte/dolmen_tptp_v6_3_0__Tokens.{cmo,cmt} ocamlc src/languages/tptp/dolmen_tptp.cma ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Env.{cmo,cmt} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Bool.{cmi,cmti} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Fun.{cmi,cmo,cmt} ocamlc src/loop/.dolmen_loop.objs/byte/dolmen_loop__Typer.{cmo,cmt} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Real.{cmi,cmti} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Rat.{cmi,cmti} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Int.{cmi,cmti} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Bitv.{cmi,cmti} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Fp.{cmi,cmti} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Adt.{cmi,cmo,cmt} ocamlopt src/languages/ae/dolmen_ae.cmxs ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Core.{cmi,cmo,cmt} ocamlopt src/languages/smtlib2/poly/dolmen_smtlib2_poly.{a,cmxa} ocamlc src/loop/dolmen_loop.cma ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Bool.{cmo,cmt} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Int.{cmo,cmt} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Coercion.{cmi,cmo,cmt} ocamlopt src/languages/smtlib2/.dolmen_smtlib2.objs/native/dolmen_smtlib2.{cmx,o} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Rat.{cmo,cmt} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Real.{cmo,cmt} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Eval.{cmi,cmo,cmt} ocamlopt src/languages/smtlib2/dolmen_smtlib2.{a,cmxa} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Fp.{cmo,cmt} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Bitv.{cmo,cmt} ocamlc src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/byte/dolmen_smtlib2_poly.{cmo,cmt} ocamlc src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/byte/dolmen_smtlib2_poly__Tokens.{cmo,cmt} ocamlc src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/byte/dolmen_smtlib2_v6_response.{cmo,cmt} ocamlc src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/byte/dolmen_smtlib2_v6_response__Tokens.{cmo,cmt} ocamlopt src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/native/dolmen_tptp_v6_3_0__Parser.{cmx,o} ocamlc src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/byte/dolmen_smtlib2_v6_script.{cmo,cmt} ocamlc src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/byte/dolmen_smtlib2_v6_script__Tokens.{cmo,cmt} ocamlc src/languages/smtlib2/dolmen_smtlib2.cma ocamlc src/languages/smtlib2/v2.6/dolmen_smtlib2_v6.cma ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Array.{cmi,cmo,cmt} ocamlc src/bin/.main.eobjs/byte/dune__exe.{cmi,cmo,cmt} ocamlc src/lsp/.main.eobjs/byte/dune__exe.{cmi,cmo,cmt} ocamlopt src/languages/smtlib2/v2.6/response/dolmen_smtlib2_v6_response.cmxs ocamlopt src/languages/smtlib2/v2.6/dolmen_smtlib2_v6.cmxs ocamlc src/languages/smtlib2/v2.6/response/.dolmen_smtlib2_v6_response.objs/byte/dolmen_smtlib2_v6_response__Parser.{cmo,cmt} ocamlopt src/bin/.main.eobjs/native/dune__exe.{cmx,o} ocamlopt src/languages/smtlib2/poly/dolmen_smtlib2_poly.cmxs ocamlc src/languages/smtlib2/v2.6/response/dolmen_smtlib2_v6_response.cma ocamlopt src/lsp/.main.eobjs/native/dune__exe.{cmx,o} ocamlopt src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/native/dolmen_tptp_v6_3_0.{cmx,o} ocamlc src/model/.dolmen_model.objs/byte/dolmen_model__Loop.{cmi,cmo,cmt} ocamlc src/languages/tptp/v6.3.0/.dolmen_tptp_v6_3_0.objs/byte/dolmen_tptp_v6_3_0__Parser.{cmo,cmt} ocamlopt src/languages/tptp/v6.3.0/dolmen_tptp_v6_3_0.{a,cmxa} ocamlc src/lsp/.main.eobjs/byte/dune__exe__Diagnostic.{cmi,cmo,cmt} ocamlc src/languages/smtlib2/poly/.dolmen_smtlib2_poly.objs/byte/dolmen_smtlib2_poly__Parser.{cmo,cmt} ocamlc src/model/dolmen_model.cma ocamlc src/bin/.main.eobjs/byte/dune__exe__Hints.{cmi,cmo,cmt} ocamlopt src/languages/smtlib2/v2.6/script/dolmen_smtlib2_v6_script.cmxs ocamlc src/bin/.main.eobjs/byte/dune__exe__Loop.{cmi,cmo,cmt} ocamlc src/bin/.main.eobjs/byte/dune__exe__Memory_profiler.{cmi,cmo,cmt} ocamlopt src/languages/tptp/.dolmen_tptp.objs/native/dolmen_tptp.{cmx,o} ocamlc src/languages/tptp/v6.3.0/dolmen_tptp_v6_3_0.cma ocamlopt src/languages/smtlib2/dolmen_smtlib2.cmxs ocamlc src/languages/smtlib2/poly/dolmen_smtlib2_poly.cma ocamlc src/languages/smtlib2/v2.6/script/.dolmen_smtlib2_v6_script.objs/byte/dolmen_smtlib2_v6_script__Parser.{cmo,cmt} ocamlc src/bin/.main.eobjs/byte/dune__exe__Errors.{cmi,cmo,cmt} ocamlc src/lsp/.main.eobjs/byte/dune__exe__State.{cmi,cmo,cmt} ocamlopt src/languages/tptp/dolmen_tptp.{a,cmxa} ocamlc src/languages/smtlib2/v2.6/script/dolmen_smtlib2_v6_script.cma ocamlc src/bin/.main.eobjs/byte/dune__exe__Options.{cmi,cmo,cmt} ocamlc src/lsp/.main.eobjs/byte/dune__exe__Loop.{cmi,cmo,cmt} ocamlc src/bin/.main.eobjs/byte/dune__exe__Man.{cmi,cmo,cmt} ocamlopt src/classes/.dolmen_class.objs/native/dolmen_class__Response.{cmx,o} ocamldep src/lsp/.main.eobjs/dune__exe__Main.intf.d ocamldep src/bin/.main.eobjs/dune__exe__Main.intf.d ocamlopt src/classes/.dolmen_class.objs/native/dolmen_class__Logic.{cmx,o} ocamlc src/bin/.main.eobjs/byte/dune__exe__Main.{cmi,cmti} ocamlc src/lsp/.main.eobjs/byte/dune__exe__Main.{cmi,cmti} ocamlopt src/languages/tptp/v6.3.0/dolmen_tptp_v6_3_0.cmxs ocamlopt src/classes/dolmen_class.{a,cmxa} ocamlc src/lsp/.main.eobjs/byte/dune__exe__Server.{cmi,cmo,cmt} ocamlopt src/.dolmen.objs/native/dolmen.{cmx,o} ocamlopt src/dolmen.{a,cmxa} ocamlopt src/languages/tptp/dolmen_tptp.cmxs ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Intf.{cmx,o} ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Misc.{cmx,o} ocamlopt src/classes/dolmen_class.cmxs ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Tff_intf.{cmx,o} ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Thf_intf.{cmx,o} ocamlopt src/dolmen.cmxs ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Base.{cmx,o} ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Def.{cmx,o} ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Arrays.{cmx,o} ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Strings.{cmx,o} ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Thf.{cmx,o} ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Core.{cmx,o} ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Float.{cmx,o} ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Tff.{cmx,o} ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Bitv.{cmx,o} ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Arith.{cmx,o} ocamlopt src/typecheck/.dolmen_type.objs/native/dolmen_type__Logic.{cmx,o} ocamlopt src/typecheck/dolmen_type.{a,cmxa} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Alarm.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Flow_intf.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Code.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Headers_intf.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Expr_intf.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Logic.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Response.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Report.{cmx,o} ocamlopt src/typecheck/dolmen_type.cmxs ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__State.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Parser_intf.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Typer_intf.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Flow.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Pipeline.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Headers.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Parser.{cmx,o} ocamlopt src/loop/.dolmen_loop.objs/native/dolmen_loop__Typer.{cmx,o} ocamlopt src/loop/dolmen_loop.{a,cmxa} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Value.{cmx,o} ocamlopt src/lsp/.main.eobjs/native/dune__exe__Diagnostic.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Model.{cmx,o} ocamlopt src/lsp/.main.eobjs/native/dune__exe__State.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Env.{cmx,o} ocamlopt src/loop/dolmen_loop.cmxs ocamlopt src/lsp/.main.eobjs/native/dune__exe__Loop.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Fun.{cmx,o} ocamlopt src/lsp/.main.eobjs/native/dune__exe__Server.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Bool.{cmx,o} ocamlopt src/lsp/.main.eobjs/native/dune__exe__Main.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Adt.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Core.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Bitv.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Int.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Eval.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Rat.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Real.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Array.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Coercion.{cmx,o} ocamlopt src/lsp/main.exe ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Fp.{cmx,o} ocamlopt src/model/.dolmen_model.objs/native/dolmen_model__Loop.{cmx,o} ocamlopt src/model/dolmen_model.{a,cmxa} ocamlopt src/bin/.main.eobjs/native/dune__exe__Hints.{cmx,o} ocamlopt src/bin/.main.eobjs/native/dune__exe__Memory_profiler.{cmx,o} ocamlopt src/bin/.main.eobjs/native/dune__exe__Loop.{cmx,o} ocamlopt src/bin/.main.eobjs/native/dune__exe__Errors.{cmx,o} ocamlopt src/bin/.main.eobjs/native/dune__exe__Options.{cmx,o} ocamlopt src/model/dolmen_model.cmxs ocamlopt src/bin/.main.eobjs/native/dune__exe__Man.{cmx,o} ocamlopt src/bin/.main.eobjs/native/dune__exe__Main.{cmx,o} ocamlopt src/bin/main.exe dolmen src/bin/dolmen.1 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/farith/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/fmt/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/gen/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/linol/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/logs/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/lsp/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/menhirLib/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/pp_loc/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/ppx_deriving/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/ppx_hash/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/ppx_yojson_conv_lib/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/spelll/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/lib/ocaml/site-lib/uutf/META - found ===> ocaml-dolmen-0.9_2 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for ocaml-dolmen-0.9_2 ===> Generating temporary packing list Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/META Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/ast.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Ast.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Ast.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Ast.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Lexer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Lexer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Lexer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Parser.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Parser.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Parser.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Parser.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Syntax_messages.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Syntax_messages.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Syntax_messages.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Tokens.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Tokens.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Tokens.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae__Tokens.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/lexer.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/parser.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/parser.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/syntax_messages.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/tokens.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/tokens.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class__Logic.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class__Logic.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class__Logic.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class__Logic.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class__Response.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class__Response.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class__Response.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class__Response.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/logic.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/logic.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/response.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/response.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/ast.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Ast.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Ast.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Ast.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Lexer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Lexer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Lexer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Parser.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Parser.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Parser.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Parser.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Syntax_messages.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Syntax_messages.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Syntax_messages.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Tokens.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Tokens.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Tokens.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs__Tokens.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/lexer.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/parser.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/parser.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/syntax_messages.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/tokens.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/tokens.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dolmen.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dolmen.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dolmen.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dolmen.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dolmen.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dolmen.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dolmen.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dune-package Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/ast.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Ast.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Ast.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Ast.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Lexer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Lexer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Lexer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Parser.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Parser.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Parser.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Parser.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Syntax_messages.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Syntax_messages.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Syntax_messages.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Tokens.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Tokens.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Tokens.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf__Tokens.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/lexer.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/parser.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/parser.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/syntax_messages.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/tokens.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/tokens.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Id.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Id.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Id.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Language.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Language.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Language.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Lex.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Lex.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Lex.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Location.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Location.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Location.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Map.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Map.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Map.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Msg.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Msg.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Msg.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Parse.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Parse.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Parse.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Stmt.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Stmt.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Stmt.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Tag.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Tag.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Tag.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Term.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Term.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Term.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Tok.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Tok.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Tok.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Ty.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Ty.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf__Ty.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/id.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/language.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/lex.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/location.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/map.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/msg.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/parse.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/stmt.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/tag.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/term.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/tok.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/ty.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line__.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line__.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line__.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line__.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line__LexLine.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line__LexLine.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line__LexLine.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/lexLine.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/opam Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/dolmen_smtlib2.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/dolmen_smtlib2.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/dolmen_smtlib2.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/dolmen_smtlib2.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/dolmen_smtlib2.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/dolmen_smtlib2.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/dolmen_smtlib2.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/ast.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Ast.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Ast.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Ast.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Lexer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Lexer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Lexer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Parser.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Parser.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Parser.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Parser.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Syntax_messages.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Syntax_messages.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Syntax_messages.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Tokens.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Tokens.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Tokens.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Tokens.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/lexer.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/parser.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/parser.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/syntax_messages.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/tokens.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/tokens.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6/dolmen_smtlib2_v6.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6/dolmen_smtlib2_v6.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/ast.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Ast.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Ast.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Ast.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Lexer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Lexer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Lexer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Parser.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Parser.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Parser.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Parser.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Syntax_messages.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Syntax_messages.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Syntax_messages.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Tokens.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Tokens.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Tokens.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Tokens.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/lexer.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/parser.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/parser.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/syntax_messages.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/tokens.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/tokens.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/ast.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Ast.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Ast.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Ast.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Lexer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Lexer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Lexer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Parser.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Parser.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Parser.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Parser.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Syntax_messages.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Syntax_messages.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Syntax_messages.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Tokens.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Tokens.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Tokens.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Tokens.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/lexer.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/parser.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/parser.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/syntax_messages.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/tokens.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/tokens.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/answer.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/answer.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/builtin.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/builtin.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Answer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Answer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Answer.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Answer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Builtin.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Builtin.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Builtin.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Builtin.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Escape.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Escape.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Escape.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Escape.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Expr.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Expr.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Expr.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Expr.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Hmap.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Hmap.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Hmap.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Hmap.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Id.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Id.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Id.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Id.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Loc.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Loc.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Loc.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Loc.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Maps.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Maps.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Maps.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Maps.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Maps_string.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Maps_string.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Maps_string.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Maps_string.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Misc.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Misc.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Misc.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Misc.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Msg.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Msg.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Msg.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Name.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Name.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Name.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Name.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Namespace.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Namespace.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Namespace.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Namespace.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Normalize.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Normalize.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Normalize.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Normalize.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Path.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Path.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Path.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Path.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Pretty.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Pretty.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Pretty.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Statement.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Statement.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Statement.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Statement.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Stats.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Stats.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Stats.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Stats.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Tag.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Tag.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Tag.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Tag.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Term.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Term.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Term.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Term.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Timer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Timer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Timer.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Timer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Tok.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Tok.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Tok.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Transformer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Transformer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Transformer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Vec.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Vec.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Vec.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std__Vec.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/escape.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/escape.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/expr.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/expr.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/hmap.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/hmap.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/id.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/id.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/loc.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/loc.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/maps.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/maps.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/maps_string.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/maps_string.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/misc.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/misc.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/msg.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/name.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/name.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/namespace.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/namespace.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/normalize.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/normalize.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/path.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/path.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/pretty.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/statement.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/statement.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/stats.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/stats.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/tag.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/tag.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/term.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/term.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/timer.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/timer.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/tok.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/transformer.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/vec.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/vec.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/dolmen_tptp.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/dolmen_tptp.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/dolmen_tptp.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/dolmen_tptp.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/dolmen_tptp.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/dolmen_tptp.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/dolmen_tptp.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/ast.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Ast.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Ast.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Ast.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Lexer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Lexer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Lexer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Parser.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Parser.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Parser.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Parser.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Syntax_messages.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Syntax_messages.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Syntax_messages.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Tokens.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Tokens.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Tokens.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Tokens.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/lexer.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/parser.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/parser.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/syntax_messages.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/tokens.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/tokens.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/ast.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Ast.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Ast.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Ast.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Lexer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Lexer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Lexer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Parser.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Parser.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Parser.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Parser.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Syntax_messages.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Syntax_messages.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Syntax_messages.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Tokens.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Tokens.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Tokens.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf__Tokens.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/lexer.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/parser.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/parser.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/syntax_messages.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/tokens.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/tokens.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/ae/dolmen_ae.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/class/dolmen_class.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dimacs/dolmen_dimacs.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/dolmen.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/icnf/dolmen_icnf.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/intf/dolmen_intf.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/line/dolmen_line.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/dolmen_smtlib2.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/std/dolmen_std.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/dolmen_tptp.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen/zf/dolmen_zf.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen/CHANGES.md Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen/LICENSE Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen/README.md Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen/odoc-pages/index.mld Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_bin/META Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_bin/dune-package Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_bin/opam Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/bin/dolmen Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_bin/CHANGES.md Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_bin/LICENSE Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_bin/README.md Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/man/man1/dolmen.1 Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/META Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/alarm.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/alarm.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/code.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/code.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Alarm.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Alarm.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Alarm.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Alarm.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Code.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Code.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Code.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Code.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Expr_intf.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Expr_intf.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Expr_intf.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Flow.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Flow.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Flow.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Flow.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Flow_intf.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Flow_intf.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Flow_intf.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Headers.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Headers.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Headers.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Headers.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Headers_intf.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Headers_intf.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Headers_intf.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Logic.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Logic.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Logic.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Logic.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Parser.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Parser.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Parser.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Parser.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Parser_intf.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Parser_intf.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Parser_intf.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Pipeline.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Pipeline.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Pipeline.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Pipeline.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Report.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Report.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Report.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Report.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Response.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Response.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Response.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__State.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__State.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__State.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Typer.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Typer.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Typer.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Typer.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Typer_intf.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Typer_intf.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop__Typer_intf.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dune-package Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/expr_intf.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/flow.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/flow.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/flow_intf.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/headers.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/headers.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/headers_intf.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/logic.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/logic.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/opam Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/parser.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/parser.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/parser_intf.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/pipeline.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/pipeline.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/report.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/report.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/response.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/state.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/typer.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/typer.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/typer_intf.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_loop/dolmen_loop.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_loop/CHANGES.md Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_loop/LICENSE Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_loop/README.md Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_lsp/META Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_lsp/dune-package Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_lsp/opam Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/bin/dolmenls Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_lsp/CHANGES.md Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_lsp/LICENSE Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_lsp/README.md Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/META Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/adt.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/array.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/bitv.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/bitv.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/bool.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/bool.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/coercion.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/core.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Adt.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Adt.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Adt.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Array.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Array.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Array.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Bitv.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Bitv.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Bitv.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Bitv.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Bool.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Bool.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Bool.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Bool.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Coercion.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Coercion.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Coercion.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Core.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Core.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Core.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Env.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Env.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Env.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Env.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Eval.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Eval.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Eval.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Fp.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Fp.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Fp.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Fp.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Fun.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Fun.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Fun.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Int.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Int.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Int.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Int.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Loop.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Loop.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Loop.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Model.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Model.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Model.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Model.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Rat.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Rat.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Rat.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Rat.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Real.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Real.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Real.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Real.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Value.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Value.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Value.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model__Value.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dune-package Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/env.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/env.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/eval.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/fp.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/fp.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/fun.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/int.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/int.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/loop.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/model.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/model.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/opam Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/rat.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/rat.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/real.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/real.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/value.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/value.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_model/dolmen_model.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_model/CHANGES.md Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_model/LICENSE Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_model/README.md Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/META Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/arith.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/arith.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/arrays.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/arrays.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/base.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/base.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/bitv.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/bitv.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/core.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/core.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/def.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/def.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type.a Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type.cma Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type.cmxa Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Arith.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Arith.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Arith.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Arith.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Arrays.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Arrays.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Arrays.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Arrays.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Base.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Base.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Base.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Base.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Bitv.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Bitv.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Bitv.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Bitv.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Core.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Core.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Core.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Core.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Def.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Def.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Def.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Def.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Float.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Float.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Float.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Float.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Intf.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Intf.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Intf.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Logic.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Logic.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Logic.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Logic.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Misc.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Misc.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Misc.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Misc.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Strings.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Strings.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Strings.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Strings.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Tff.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Tff.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Tff.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Tff.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Tff_intf.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Tff_intf.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Tff_intf.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Thf.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Thf.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Thf.cmti Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Thf.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Thf_intf.cmi Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Thf_intf.cmt Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type__Thf_intf.cmx Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dune-package Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/float.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/float.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/intf.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/logic.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/logic.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/misc.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/misc.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/opam Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/strings.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/strings.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/tff.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/tff.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/tff_intf.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/thf.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/thf.mli Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/thf_intf.ml Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/lib/ocaml/site-lib/dolmen_type/dolmen_type.cmxs Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_type/CHANGES.md Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_type/LICENSE Installing /wrkdirs/usr/ports/devel/ocaml-dolmen/work/stage/usr/local/share/doc/ocaml/dolmen_type/README.md ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2026-03-11T06:38:50+0000' 'PKG_NOTE_ports_top_git_hash=26b198eb3ee3' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=c79c88017bf5' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for ocaml-dolmen-0.9_2 ===> Building ocaml-dolmen-0.9_2 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for ocaml-dolmen-0.9_2 build of devel/ocaml-dolmen | ocaml-dolmen-0.9_2 ended at Wed Mar 11 02:44:29 EDT 2026 build time: 00:05:43