Build:
- 0
2026-02-27 03:59.29: New job: test ocaml-sat-solvers.0.3 with ocaml-secondary-compiler.4.08.1, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29451/head (09d7830dd4a7cd4cfc1725bd69ec5b222eae677d)
on debian-13-ocaml-4.14/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29451/head" && git reset --hard 09d7830d
git fetch origin master
git merge --no-edit 5abb4f44e937819c2e438ab71bc23607a7cad3da
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn ocaml-secondary-compiler.4.08.1 4.08.1
RUN opam reinstall ocaml-secondary-compiler.4.08.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'ocaml-secondary-compiler.4.08.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall ocaml-sat-solvers.0.3; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'ocaml-sat-solvers.0.3' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test ocaml-sat-solvers.0.3) || true
RUN opam reinstall --with-test --verbose ocaml-sat-solvers.0.3; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'ocaml-sat-solvers.0.3' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-02-27 03:59.29: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633-ocaml-secondary-compiler.4.08.1-ocaml-sat-solvers.0.3-09d7830dd4a7cd4cfc1725bd69ec5b222eae677d"
2026-02-27 03:59.29: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn ocaml-secondary-compiler.4.08.1 4.08.1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall ocaml-secondary-compiler.4.08.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocaml-secondary-compiler.4.08.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall ocaml-sat-solvers.0.3;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocaml-sat-solvers.0.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test ocaml-sat-solvers.0.3) || true"))
(run (shell "opam reinstall --with-test --verbose ocaml-sat-solvers.0.3;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocaml-sat-solvers.0.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-02-27 03:59.29: Waiting for resource in pool OCluster
2026-02-28 00:20.37: Waiting for worker…
2026-02-28 00:23.19: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at 5abb4f44e9 Merge pull request #29466 from mseri/release-doi2bib-0.9.1
Merge made by the 'ort' strategy.
.../ocaml-base-compiler.3.07+1/opam | 1 +
.../ocaml-base-compiler.3.07+2/opam | 1 +
.../ocaml-base-compiler/ocaml-base-compiler.3.07/opam | 1 +
.../ocaml-base-compiler.3.08.0/opam | 1 +
.../ocaml-base-compiler.3.08.1/opam | 1 +
.../ocaml-base-compiler.3.08.2/opam | 1 +
.../ocaml-base-compiler.3.08.3/opam | 1 +
.../ocaml-base-compiler.3.08.4/opam | 1 +
.../ocaml-base-compiler.3.09.0/opam | 1 +
.../ocaml-base-compiler.3.09.1/opam | 1 +
.../ocaml-base-compiler.3.09.2/opam | 1 +
.../ocaml-base-compiler.3.09.3/opam | 1 +
.../ocaml-base-compiler.3.10.0/opam | 1 +
.../ocaml-base-compiler.3.10.1/opam | 1 +
.../ocaml-base-compiler.3.10.2/opam | 1 +
.../ocaml-base-compiler.3.11.0/opam | 1 +
.../ocaml-base-compiler.3.11.1/opam | 1 +
.../ocaml-base-compiler.3.11.2/opam | 1 +
.../ocaml-base-compiler.3.12.0/opam | 1 +
.../ocaml-base-compiler.3.12.1/opam | 1 +
.../ocaml-base-compiler.4.00.0/opam | 1 +
.../ocaml-base-compiler.4.00.1/opam | 1 +
.../ocaml-base-compiler.4.01.0/opam | 1 +
.../ocaml-base-compiler.4.02.0/opam | 1 +
.../ocaml-base-compiler.4.02.1/opam | 1 +
.../ocaml-base-compiler.4.02.2/opam | 1 +
.../ocaml-base-compiler.4.02.3/opam | 1 +
.../ocaml-base-compiler.4.03.0/opam | 1 +
.../ocaml-base-compiler.4.04.0/opam | 1 +
.../ocaml-base-compiler.4.04.1/opam | 1 +
.../ocaml-base-compiler.4.04.2/opam | 1 +
.../ocaml-base-compiler.4.05.0/opam | 1 +
.../ocaml-base-compiler.4.06.0/opam | 1 +
.../ocaml-base-compiler.4.06.1/opam | 1 +
.../ocaml-base-compiler.4.07.0/opam | 1 +
.../ocaml-base-compiler.4.07.1/opam | 1 +
.../ocaml-base-compiler.4.08.0/opam | 1 +
.../ocaml-base-compiler.4.08.1/opam | 1 +
.../ocaml-base-compiler.4.09.0/opam | 1 +
.../ocaml-base-compiler.4.09.1/opam | 1 +
.../ocaml-base-compiler.4.10.0/opam | 1 +
.../ocaml-base-compiler.4.10.1/opam | 1 +
.../ocaml-base-compiler.4.10.2/opam | 1 +
.../ocaml-base-compiler.4.11.0/opam | 1 +
.../ocaml-base-compiler.4.11.1/opam | 1 +
.../ocaml-base-compiler.4.11.2/opam | 1 +
.../ocaml-base-compiler.4.12.0/opam | 1 +
.../ocaml-base-compiler.4.12.1/opam | 1 +
.../ocaml-base-compiler.4.13.0/opam | 1 +
.../ocaml-base-compiler.4.13.1/opam | 1 +
.../ocaml-base-compiler.4.14.0/opam | 1 +
.../ocaml-base-compiler.4.14.1/opam | 1 +
.../ocaml-base-compiler.4.14.2/opam | 1 +
.../ocaml-base-compiler.4.14.2~rc1/opam | 1 +
.../ocaml-base-compiler.4.14.3/opam | 1 +
.../ocaml-base-compiler/ocaml-base-compiler.5.0.0/opam | 5 ++++-
.../ocaml-base-compiler/ocaml-base-compiler.5.1.0/opam | 5 ++++-
.../ocaml-base-compiler/ocaml-base-compiler.5.1.1/opam | 5 ++++-
.../ocaml-base-compiler/ocaml-base-compiler.5.2.0/opam | 5 ++++-
.../ocaml-base-compiler/ocaml-base-compiler.5.2.1/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.3.0/opam | 1 +
packages/ocaml-compiler/ocaml-compiler.5.3/opam | 1 +
packages/ocaml-compiler/ocaml-compiler.5.4.0/opam | 1 +
.../ocaml-compiler/ocaml-compiler.5.4.0~alpha1/opam | 1 +
.../ocaml-compiler/ocaml-compiler.5.4.0~beta1/opam | 1 +
.../ocaml-compiler/ocaml-compiler.5.4.0~beta2/opam | 1 +
packages/ocaml-compiler/ocaml-compiler.5.4.0~rc1/opam | 1 +
packages/ocaml-compiler/ocaml-compiler.5.4.1/opam | 1 +
packages/ocaml-compiler/ocaml-compiler.5.4/opam | 1 +
.../ocaml-secondary-compiler.4.08.1-1/opam | 1 +
.../ocaml-secondary-compiler.4.08.1/opam | 1 +
.../ocaml-secondary-compiler.4.14.2/opam | 1 +
.../ocaml-variants.3.09.1+metaocaml/opam | 1 +
.../ocaml-variants.4.00.0+debug-runtime/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.00.1+BER/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.00.1+PIC/opam | 1 +
.../ocaml-variants.4.00.1+debug-runtime/opam | 1 +
.../ocaml-variants.4.00.1+open-types/opam | 1 +
.../ocaml-variants.4.00.1+raspberrypi/opam | 1 +
.../ocaml-variants.4.00.1+short-types/opam | 1 +
.../ocaml-variants/ocaml-variants.4.01.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.01.0+BER/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.01.0+PIC/opam | 1 +
.../ocaml-variants.4.01.0+armv6-freebsd/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.01.0+fp/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.01.0+lsb/opam | 1 +
.../ocaml-variants.4.01.0+musl+static/opam | 1 +
.../ocaml-variants/ocaml-variants.4.01.0+musl/opam | 1 +
.../ocaml-variants.4.01.0+open-types/opam | 1 +
.../ocaml-variants/ocaml-variants.4.01.0+profile/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.02.0+PIC/opam | 1 +
.../ocaml-variants.4.02.0+improved-errors/opam | 1 +
.../ocaml-variants/ocaml-variants.4.02.1+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.02.1+BER/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.02.1+PIC/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.02.1+fp/opam | 1 +
.../ocaml-variants.4.02.1+modular-implicits-ber/opam | 1 +
.../ocaml-variants.4.02.1+modular-implicits/opam | 1 +
.../ocaml-variants.4.02.1+musl+static/opam | 1 +
.../ocaml-variants/ocaml-variants.4.02.1+musl/opam | 1 +
.../ocaml-variants.4.02.2+improved-errors/opam | 1 +
.../ocaml-variants/ocaml-variants.4.02.3+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.02.3+PIC/opam | 1 +
.../ocaml-variants/ocaml-variants.4.02.3+buckle-1/opam | 1 +
.../ocaml-variants.4.02.3+buckle-master/opam | 1 +
.../ocaml-variants.4.02.3+bytecode-only/opam | 1 +
.../ocaml-variants.4.02.3+curried-constr/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.02.3+fp/opam | 1 +
.../ocaml-variants.4.02.3+musl+static/opam | 1 +
.../ocaml-variants/ocaml-variants.4.02.3+musl/opam | 1 +
.../ocaml-variants/ocaml-variants.4.02.4+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.03.0+32bit/opam | 1 +
.../ocaml-variants/ocaml-variants.4.03.0+fPIC/opam | 1 +
.../ocaml-variants/ocaml-variants.4.03.0+flambda/opam | 1 +
.../ocaml-variants.4.03.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.03.0+fp/opam | 1 +
.../ocaml-variants.4.03.0+statistical-memprof/opam | 1 +
.../ocaml-variants/ocaml-variants.4.03.1+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.04.0+BER/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.04.0+afl/opam | 1 +
.../ocaml-variants.4.04.0+bytecode-only/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.0+fPIC/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.0+flambda/opam | 1 +
.../ocaml-variants.4.04.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.04.0+fp/opam | 1 +
.../ocaml-variants.4.04.0+safe-string/opam | 1 +
.../ocaml-variants.4.04.0+spacetime/opam | 1 +
.../ocaml-variants.4.04.0+trunk+forced_lto/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.1+32bit/opam | 1 +
.../ocaml-variants.4.04.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.04.1+copatterns/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.1+fPIC/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.1+flambda/opam | 1 +
.../ocaml-variants.4.04.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.04.1+fp/opam | 1 +
.../ocaml-variants.4.04.1+safe-string/opam | 1 +
.../ocaml-variants.4.04.1+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.2+32bit/opam | 1 +
.../ocaml-variants.4.04.2+bytecode-only/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.2+fPIC/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.2+flambda/opam | 1 +
.../ocaml-variants.4.04.2+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.04.2+fp/opam | 1 +
.../ocaml-variants.4.04.2+safe-string/opam | 1 +
.../ocaml-variants.4.04.2+spacetime/opam | 1 +
.../ocaml-variants.4.04.2+statistical-memprof/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.3+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.05.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.05.0+afl/opam | 1 +
.../ocaml-variants.4.05.0+bytecode-only/opam | 1 +
.../ocaml-variants/ocaml-variants.4.05.0+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.05.0+lto/opam | 1 +
.../ocaml-variants.4.05.0+musl+flambda/opam | 1 +
.../ocaml-variants.4.05.0+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.05.0+safe-string/opam | 1 +
.../ocaml-variants.4.05.0+spacetime/opam | 1 +
.../ocaml-variants.4.05.0+statistical-memprof/opam | 1 +
.../ocaml-variants.4.05.1+trunk+afl/opam | 1 +
.../ocaml-variants.4.05.1+trunk+flambda/opam | 1 +
.../ocaml-variants.4.05.1+trunk+fp+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.05.1+trunk+fp/opam | 1 +
.../ocaml-variants.4.05.1+trunk+safe-string/opam | 1 +
.../ocaml-variants/ocaml-variants.4.05.1+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.06.0+afl/opam | 1 +
.../ocaml-variants.4.06.0+bytecode-only/opam | 1 +
.../ocaml-variants.4.06.0+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.0+flambda/opam | 1 +
.../ocaml-variants.4.06.0+force-safe-string/opam | 1 +
.../ocaml-variants.4.06.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.06.0+fp/opam | 1 +
.../ocaml-variants.4.06.0+musl+flambda/opam | 1 +
.../ocaml-variants.4.06.0+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.06.0+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.06.0+spacetime/opam | 1 +
.../ocaml-variants.4.06.0+statistical-memprof/opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.1+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.06.1+afl/opam | 1 +
.../ocaml-variants.4.06.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.06.1+default-unsafe-string/opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.1+flambda/opam | 1 +
.../ocaml-variants.4.06.1+force-safe-string/opam | 1 +
.../ocaml-variants.4.06.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.06.1+fp/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.06.1+lto/opam | 1 +
.../ocaml-variants.4.06.1+musl+flambda/opam | 1 +
.../ocaml-variants.4.06.1+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.06.1+no-flat-float-array/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.1+rescript/opam | 1 +
.../ocaml-variants.4.06.1+statistical-memprof/opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.1+termux/opam | 1 +
.../ocaml-variants.4.06.2+trunk+afl/opam | 1 +
.../ocaml-variants.4.06.2+trunk+flambda/opam | 1 +
.../ocaml-variants.4.06.2+trunk+force-safe-string/opam | 1 +
.../ocaml-variants.4.06.2+trunk+fp+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.2+trunk+fp/opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.07.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.07.0+afl/opam | 1 +
.../ocaml-variants.4.07.0+bytecode-only/opam | 1 +
.../ocaml-variants.4.07.0+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.07.0+flambda/opam | 1 +
.../ocaml-variants.4.07.0+force-safe-string/opam | 1 +
.../ocaml-variants.4.07.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.07.0+fp/opam | 1 +
.../ocaml-variants.4.07.0+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.07.0+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.07.1+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.07.1+BER/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.07.1+afl/opam | 1 +
.../ocaml-variants.4.07.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.07.1+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.07.1+flambda/opam | 1 +
.../ocaml-variants.4.07.1+force-safe-string/opam | 1 +
.../ocaml-variants.4.07.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.07.1+fp/opam | 1 +
.../ocaml-variants.4.07.1+musl+flambda/opam | 1 +
.../ocaml-variants.4.07.1+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.07.1+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.07.1+spacetime/opam | 1 +
.../ocaml-variants.4.07.1+statistical-memprof/opam | 1 +
.../ocaml-variants.4.07.2+trunk+afl/opam | 1 +
.../opam | 1 +
.../ocaml-variants.4.07.2+trunk+flambda/opam | 1 +
.../ocaml-variants.4.07.2+trunk+fp+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.07.2+trunk+fp/opam | 1 +
.../ocaml-variants/ocaml-variants.4.07.2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.08.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.08.0+afl/opam | 1 +
.../ocaml-variants.4.08.0+bytecode-only/opam | 1 +
.../ocaml-variants.4.08.0+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.08.0+flambda/opam | 1 +
.../ocaml-variants.4.08.0+force-safe-string/opam | 1 +
.../ocaml-variants.4.08.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.08.0+fp/opam | 1 +
.../ocaml-variants.4.08.0+musl+flambda/opam | 1 +
.../ocaml-variants.4.08.0+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.08.0+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.08.0+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.08.1+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.08.1+afl/opam | 1 +
.../ocaml-variants.4.08.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.08.1+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.08.1+flambda/opam | 1 +
.../ocaml-variants.4.08.1+force-safe-string/opam | 1 +
.../ocaml-variants.4.08.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.08.1+fp/opam | 1 +
.../ocaml-variants.4.08.1+musl+flambda/opam | 1 +
.../ocaml-variants.4.08.1+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.08.1+spacetime/opam | 1 +
.../ocaml-variants.4.08.2+trunk+afl/opam | 1 +
.../opam | 1 +
.../ocaml-variants.4.08.2+trunk+flambda/opam | 1 +
.../ocaml-variants.4.08.2+trunk+force-safe-string/opam | 1 +
.../ocaml-variants.4.08.2+trunk+fp+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.08.2+trunk+fp/opam | 1 +
.../ocaml-variants/ocaml-variants.4.08.2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.09.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.09.0+afl/opam | 1 +
.../ocaml-variants.4.09.0+bytecode-only/opam | 1 +
.../ocaml-variants.4.09.0+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.09.0+flambda/opam | 1 +
.../ocaml-variants.4.09.0+force-safe-string/opam | 1 +
.../ocaml-variants.4.09.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.09.0+fp/opam | 1 +
.../ocaml-variants.4.09.0+musl+flambda/opam | 1 +
.../ocaml-variants.4.09.0+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.09.0+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.09.0+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.09.1+32bit/opam | 1 +
.../ocaml-variants.4.09.1+afl+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.09.1+afl/opam | 1 +
.../ocaml-variants.4.09.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.09.1+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.09.1+flambda/opam | 1 +
.../ocaml-variants.4.09.1+force-safe-string/opam | 1 +
.../ocaml-variants.4.09.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.09.1+fp/opam | 1 +
.../ocaml-variants.4.09.1+musl+flambda/opam | 1 +
.../ocaml-variants.4.09.1+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.09.1+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.09.1+spacetime/opam | 1 +
.../ocaml-variants.4.09.2+trunk+afl/opam | 1 +
.../opam | 1 +
.../ocaml-variants.4.09.2+trunk+flambda/opam | 1 +
.../ocaml-variants.4.09.2+trunk+fp+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.09.2+trunk+fp/opam | 1 +
.../ocaml-variants/ocaml-variants.4.09.2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.10.0+afl/opam | 1 +
.../ocaml-variants.4.10.0+bytecode-only/opam | 1 +
.../ocaml-variants.4.10.0+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.0+flambda/opam | 1 +
.../ocaml-variants.4.10.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.10.0+fp/opam | 1 +
.../ocaml-variants.4.10.0+musl+flambda/opam | 1 +
.../ocaml-variants.4.10.0+musl+static+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.0+nnpcheck/opam | 1 +
.../ocaml-variants.4.10.0+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.10.0+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.1+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.10.1+afl/opam | 1 +
.../ocaml-variants.4.10.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.10.1+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.1+flambda/opam | 1 +
.../ocaml-variants.4.10.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.10.1+fp/opam | 1 +
.../ocaml-variants.4.10.1+musl+flambda/opam | 1 +
.../ocaml-variants.4.10.1+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.10.1+no-flat-float-array/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.1+rc1+afl/opam | 1 +
.../ocaml-variants.4.10.1+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.2+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.10.2+afl/opam | 1 +
.../ocaml-variants.4.10.2+bytecode-only/opam | 1 +
.../ocaml-variants.4.10.2+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.2+flambda/opam | 1 +
.../ocaml-variants.4.10.2+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.10.2+fp/opam | 1 +
.../ocaml-variants.4.10.2+musl+flambda/opam | 1 +
.../ocaml-variants.4.10.2+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.10.2+no-flat-float-array/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.2+rescript/opam | 1 +
.../ocaml-variants.4.10.2+spacetime/opam | 1 +
.../ocaml-variants.4.10.3+trunk+afl/opam | 1 +
.../ocaml-variants.4.10.3+trunk+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.3+trunk+fp/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.3+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.0+afl/opam | 1 +
.../ocaml-variants.4.11.0+bytecode-only/opam | 1 +
.../ocaml-variants.4.11.0+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.0+flambda/opam | 1 +
.../ocaml-variants.4.11.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.0+fp/opam | 1 +
.../ocaml-variants.4.11.0+musl+flambda/opam | 1 +
.../ocaml-variants.4.11.0+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.11.0+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.11.0+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.1+32bit/opam | 1 +
.../ocaml-variants.4.11.1+BER+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.1+BER/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.1+afl/opam | 1 +
.../ocaml-variants.4.11.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.11.1+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.1+flambda/opam | 1 +
.../ocaml-variants.4.11.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.1+fp/opam | 1 +
.../ocaml-variants.4.11.1+musl+flambda/opam | 1 +
.../ocaml-variants.4.11.1+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.11.1+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.11.1+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.2+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.2+afl/opam | 1 +
.../ocaml-variants.4.11.2+bytecode-only/opam | 1 +
.../ocaml-variants.4.11.2+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.2+flambda/opam | 1 +
.../ocaml-variants.4.11.2+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.2+fp/opam | 1 +
.../ocaml-variants.4.11.2+musl+flambda/opam | 1 +
.../ocaml-variants.4.11.2+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.11.2+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.11.2+spacetime/opam | 1 +
.../ocaml-variants.4.11.3+trunk+afl/opam | 1 +
.../ocaml-variants.4.11.3+trunk+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.3+trunk+fp/opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.3+trunk/opam | 1 +
.../ocaml-variants.4.12.0+domains+effects/opam | 1 +
.../ocaml-variants/ocaml-variants.4.12.0+domains/opam | 1 +
.../ocaml-variants/ocaml-variants.4.12.0+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.12.1+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.12.2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.13.0+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.13.1+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.13.2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.14.0+options/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.14.1+BER/opam | 1 +
.../ocaml-variants/ocaml-variants.4.14.1+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.14.2+options/opam | 1 +
.../ocaml-variants.4.14.2~rc1+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.14.3+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.14.4+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.5.0.0+options/opam | 1 +
packages/ocaml-variants/ocaml-variants.5.0.0+tsan/opam | 1 +
.../ocaml-variants/ocaml-variants.5.0.1+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.5.1.0+options/opam | 1 +
packages/ocaml-variants/ocaml-variants.5.1.0+tsan/opam | 1 +
.../ocaml-variants.5.1.1+effect-syntax/opam | 1 +
.../ocaml-variants.5.1.1+flambda2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.5.1.1+flambda2/opam | 1 +
.../ocaml-variants/ocaml-variants.5.1.1+options/opam | 1 +
packages/ocaml-variants/ocaml-variants.5.1.1+tsan/opam | 1 +
.../ocaml-variants/ocaml-variants.5.1.2+trunk/opam | 1 +
packages/ocaml-variants/ocaml-variants.5.2.0+msvc/opam | 1 +
.../ocaml-variants/ocaml-variants.5.2.0+options/opam | 1 +
.../ocaml-variants.5.2.0+statmemprof/opam | 1 +
.../ocaml-variants/ocaml-variants.5.2.1+options/opam | 1 +
.../ocaml-variants.5.2.1~rc1+options/opam | 1 +
.../ocaml-variants/ocaml-variants.5.2.2+trunk/opam | 1 +
packages/ocaml-variants/ocaml-variants.5.3.0+BER/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.14.0/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.14.1/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.14.2+win/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.14.2/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.14.3+win/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.14.3/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.15.0/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.16.1/opam | 1 +
packages/ocamlfind/ocamlfind.1.8.0/opam | 1 +
packages/ocamlfind/ocamlfind.1.8.1/opam | 1 +
packages/ocamlfind/ocamlfind.1.9.1/opam | 1 +
packages/ocamlfind/ocamlfind.1.9.2/opam | 1 +
packages/ocamlfind/ocamlfind.1.9.3/opam | 1 +
packages/ocamlfind/ocamlfind.1.9.5/opam | 1 +
packages/ocamlfind/ocamlfind.1.9.6/opam | 1 +
packages/ocamlfind/ocamlfind.1.9.8/opam | 1 +
packages/relocatable/relocatable.packages/opam | 18 ++++++++++++++++++
432 files changed, 464 insertions(+), 5 deletions(-)
create mode 100644 packages/relocatable/relocatable.packages/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633)
2026-02-28 00:23.34 ---> using "d6079ab6cce1b58b34ac9b5ed11aa86b7980ab728c75f5a6ba9271e98dc1ac1c" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-02-28 00:23.34 ---> using "3c00c47f9d923b8bd6ffb2b949e4b9efd562ec1af5385aec1656ef10f01c4450" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=71 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-02-28 00:23.34 ---> using "a92b73fe3956045426c13ac4a0686c952a1f3abe3c88ddfc7b2f3a6ed1e46736" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 255
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2026-02-28 00:23.34 ---> using "cae9d187aa902d60c82d0c2150bbd9c0de1870c923aa0b0063ad5a25247acae5" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2026-02-28 00:23.34 ---> using "feb31a4f8ccbcfb9943e7338a457db5bc00688ce26b7db5634b111626cd4af24" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-02-28 00:23.35 ---> using "b92870a8fb6886bac6050e75eb8fa24a784127e0cc5005f6e7617ee9eaf0fbc1" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-02-28 00:23.35 ---> using "99f9416150e19d4e3f0d87844ce4f5bfe5703b97a6a1e1cd5864eee876c17ec0" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [113 kB]
- Fetched 203 kB in 0s (2146 kB/s)
- Reading package lists...
2026-02-28 00:23.35 ---> using "601bd46762889fe7f0e35beb46822e1a66440be2f8382677d2b4063ddcb53047" from cache
/home/opam: (run (shell "opam pin add -k version -yn ocaml-secondary-compiler.4.08.1 4.08.1"))
ocaml-secondary-compiler is now pinned to version 4.08.1
2026-02-28 00:23.35 ---> using "4c2ea2cdcca8d93d3799e84aa5870d5b3f4ca5be3165b8e26f7bd1c93806776f" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall ocaml-secondary-compiler.4.08.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocaml-secondary-compiler.4.08.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
ocaml-secondary-compiler.4.08.1 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 1 package
- install ocaml-secondary-compiler 4.08.1 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-secondary-compiler.4.08.1 (cached)
-> installed ocaml-secondary-compiler.4.08.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-28 00:23.35 ---> using "3cf2cefb3c91f008cd770501093ccda016b6b56d91cad0e239b1c5916d5431a8" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall ocaml-sat-solvers.0.3;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocaml-sat-solvers.0.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
ocaml-sat-solvers.0.3 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 5 packages
- install dune 3.21.1 [required by minisat]
- install minisat 0.6 [required by ocaml-sat-solvers]
- install ocaml-sat-solvers 0.3
- install ocamlbuild 0.16.1 [required by ocaml-sat-solvers]
- install ocamlfind 1.9.8 [required by ocaml-sat-solvers]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.21.1 (cached)
-> retrieved minisat.0.6 (cached)
-> retrieved ocaml-sat-solvers.0.3 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed dune.3.21.1
-> installed minisat.0.6
-> installed ocaml-sat-solvers.0.3
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-28 00:24.20 ---> saved as "b9a71dcac41ee0474dc1bb60941041dfaec34d30ed9aede079c508e31fc19676"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test ocaml-sat-solvers.0.3) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile ocaml-sat-solvers 0.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-sat-solvers.0.3 (https://opam.ocaml.org/cache)
-> removed ocaml-sat-solvers.0.3
-> installed ocaml-sat-solvers.0.3
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-28 00:24.50 ---> saved as "4d2fdaafa7e12d2c0f8d5ddde0522933a257b290cfae4cf9f76b100969821aa0"
/home/opam: (run (shell "opam reinstall --with-test --verbose ocaml-sat-solvers.0.3;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocaml-sat-solvers.0.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile ocaml-sat-solvers 0.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [ocaml-sat-solvers.0.3: extract]
-> retrieved ocaml-sat-solvers.0.3 (cached)
Processing 2/4: [ocaml-sat-solvers: ocaml setup.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-configure" "--prefix" "/home/opam/.opam/4.14" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocaml-sat-solvers.0.3)
- File "./setup.ml", line 581, characters 4-15:
- 581 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 609, characters 19-36:
- 609 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 616, characters 37-48:
- 616 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 619, characters 17-31:
- 619 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 16-33:
- 1437 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1439, characters 22-38:
- 1439 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1440, characters 14-26:
- 1440 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 11-23:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 28-40:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 11-23:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 28-41:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1443, characters 11-24:
- 1443 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1444, characters 11-23:
- 1444 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1781, characters 22-40:
- 1781 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3182, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3185, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3190, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3193, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3207, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3332, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3351, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3353, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3362, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3375, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3473, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4524, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4526, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-
- Configuration:
- ocamlfind: ........................................... /home/opam/.opam/4.14/bin/ocamlfind
- ocamlc: .............................................. /home/opam/.opam/4.14/bin/ocamlc.opt
- ocamlopt: ............................................ /home/opam/.opam/4.14/bin/ocamlopt.opt
- ocamlbuild: .......................................... /home/opam/.opam/4.14/bin/ocamlbuild
- Package name: ........................................ ocaml-sat-solvers
- Package version: ..................................... 0.3
- os_type: ............................................. Unix
- system: .............................................. linux
- architecture: ........................................ amd64
- ccomp_type: .......................................... cc
- ocaml_version: ....................................... 4.14.2
- standard_library_default: ............................ /home/opam/.opam/4.14/lib/ocaml
- standard_library: .................................... /home/opam/.opam/4.14/lib/ocaml
- bytecomp_c_compiler: ................................. gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64
- native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64
- model: ............................................... default
- ext_obj: ............................................. .o
- ext_asm: ............................................. .s
- ext_lib: ............................................. .a
- ext_dll: ............................................. .so
- default_executable_name: ............................. a.out
- systhread_supported: ................................. true
- Install architecture-independent files dir: .......... /home/opam/.opam/4.14
- Install architecture-dependent files in dir: ......... $prefix
- User executables: .................................... $exec_prefix/bin
- System admin executables: ............................ $exec_prefix/sbin
- Program executables: ................................. $exec_prefix/libexec
- Read-only single-machine data: ....................... $prefix/etc
- Modifiable architecture-independent data: ............ $prefix/com
- Modifiable single-machine data: ...................... $prefix/var
- Object code libraries: ............................... $exec_prefix/lib
- Read-only arch-independent data root: ................ $prefix/share
- Read-only architecture-independent data: ............. $datarootdir
- Info documentation: .................................. $datarootdir/info
- Locale-dependent data: ............................... $datarootdir/locale
- Man documentation: ................................... $datarootdir/man
- Documentation root: .................................. $datarootdir/doc/$pkg_name
- HTML documentation: .................................. $docdir
- DVI documentation: ................................... $docdir
- PDF documentation: ................................... $docdir
- PS documentation: .................................... $docdir
- findlib_version: ..................................... 1.9.8
- is_native: ........................................... true
- suffix_program: ......................................
- Remove a file.: ...................................... rm -f
- Remove a directory.: ................................. rm -rf
- Turn ocaml debug flag on: ............................ true
- Turn ocaml profile flag on: .......................... false
- Compiler support generation of .cmxs.: ............... true
- OCamlbuild additional flags: .........................
- Create documentations: ............................... true
- Compile tests executable and library and run them: ... false
- pkg_minisat: ......................................... /home/opam/.opam/4.14/lib/minisat
-
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-build" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocaml-sat-solvers.0.3)
- File "./setup.ml", line 581, characters 4-15:
- 581 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 609, characters 19-36:
- 609 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 616, characters 37-48:
- 616 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 619, characters 17-31:
- 619 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 16-33:
- 1437 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1439, characters 22-38:
- 1439 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1440, characters 14-26:
- 1440 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 11-23:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 28-40:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 11-23:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 28-41:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1443, characters 11-24:
- 1443 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1444, characters 11-23:
- 1444 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1781, characters 22-40:
- 1781 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3182, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3185, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3190, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3193, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3207, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3332, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3351, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3353, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3362, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3375, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3473, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4524, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4526, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamlc -config
- + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.14/lib/ocamlbuild /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- + ocamlfind ocamlc -config
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/satsolvers.mli > src/satsolvers.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/satwrapper.mli > src/satwrapper.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satwrapper.cmi src/satwrapper.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satsolvers.cmi src/satsolvers.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/satsolvers.ml > src/satsolvers.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/minisat/minisatwrapper.mli > src/minisat/minisatwrapper.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/satsolverregistry.mli > src/satsolverregistry.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/preprocessor -I src/pseudosat -I src/minisat -o src/minisat/minisatwrapper.cmi src/minisat/minisatwrapper.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satsolverregistry.cmi src/satsolverregistry.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/satwrapper.ml > src/satwrapper.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/pseudosat/pseudosatwrapper.mli > src/pseudosat/pseudosatwrapper.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/pseudosat/pseudosatwrapper.cmi src/pseudosat/pseudosatwrapper.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/pseudosat/pseudosatwrapper.ml > src/pseudosat/pseudosatwrapper.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/preprocessor/preprocessor.mli > src/preprocessor/preprocessor.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/pseudosat -I src/preprocessor -o src/preprocessor/preprocessor.cmi src/preprocessor/preprocessor.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/preprocessor/preprocessor.ml > src/preprocessor/preprocessor.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/externalsat/externalsat.mli > src/externalsat/externalsat.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/externalsat.cmi src/externalsat/externalsat.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/externalsat/externalsat.ml > src/externalsat/externalsat.ml.depends
- + /home/opam/.opam/4.14/bin/ocamllex.opt -q src/externalsat/satsolutionlexer.mll
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/externalsat/satsolutionlexer.ml > src/externalsat/satsolutionlexer.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlyacc src/externalsat/satsolutionparser.mly
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/externalsat/satsolutionparser.mli > src/externalsat/satsolutionparser.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/externalsat/satsolutionparserhelper.mli > src/externalsat/satsolutionparserhelper.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/satsolutionparserhelper.cmi src/externalsat/satsolutionparserhelper.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/satsolutionparser.cmi src/externalsat/satsolutionparser.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/satsolutionlexer.cmo src/externalsat/satsolutionlexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/externalsat/satsolutionparser.ml > src/externalsat/satsolutionparser.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/minisat/minisatwrapper.ml > src/minisat/minisatwrapper.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package minisat -modules src/satsolverregistry.ml > src/satsolverregistry.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satsolvers.cmo src/satsolvers.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satwrapper.cmo src/satwrapper.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/pseudosat/pseudosatwrapper.cmo src/pseudosat/pseudosatwrapper.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/pseudosat -I src/preprocessor -o src/preprocessor/preprocessor.cmo src/preprocessor/preprocessor.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/externalsat.cmo src/externalsat/externalsat.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/satsolutionparser.cmo src/externalsat/satsolutionparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/preprocessor -I src/pseudosat -I src/minisat -o src/minisat/minisatwrapper.cmo src/minisat/minisatwrapper.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satsolverregistry.cmo src/satsolverregistry.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -a -I src -I src/minisat -I src/pseudosat -I src/preprocessor -I src/externalsat src/satwrapper.cmo src/minisat/minisatwrapper.cmo src/satsolverregistry.cmo src/satsolvers.cmo src/pseudosat/pseudosatwrapper.cmo src/preprocessor/preprocessor.cmo src/externalsat/satsolutionparser.cmo src/externalsat/satsolutionlexer.cmo src/externalsat/externalsat.cmo -o src/ocaml-sat-solvers.cma
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satwrapper.cmx src/satwrapper.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/preprocessor -I src/pseudosat -I src/minisat -o src/minisat/minisatwrapper.cmx src/minisat/minisatwrapper.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satsolverregistry.cmx src/satsolverregistry.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/pseudosat/pseudosatwrapper.cmx src/pseudosat/pseudosatwrapper.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/satsolutionparser.cmx src/externalsat/satsolutionparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/satsolutionlexer.cmx src/externalsat/satsolutionlexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/preprocessor -I src/pseudosat -o src/satsolvers.cmx src/satsolvers.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/externalsat -I src/minisat -I src/pseudosat -I src/preprocessor -o src/preprocessor/preprocessor.cmx src/preprocessor/preprocessor.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package minisat -I src -I src/minisat -I src/preprocessor -I src/pseudosat -I src/externalsat -o src/externalsat/externalsat.cmx src/externalsat/externalsat.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -a -I src -I src/minisat -I src/pseudosat -I src/preprocessor -I src/externalsat src/satwrapper.cmx src/minisat/minisatwrapper.cmx src/satsolverregistry.cmx src/satsolvers.cmx src/pseudosat/pseudosatwrapper.cmx src/preprocessor/preprocessor.cmx src/externalsat/satsolutionparser.cmx src/externalsat/satsolutionlexer.cmx src/externalsat/externalsat.cmx -o src/ocaml-sat-solvers.cmxa
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -shared -I src -I src/minisat -I src/pseudosat -I src/preprocessor -I src/externalsat src/ocaml-sat-solvers.cmxa src/satwrapper.cmx src/minisat/minisatwrapper.cmx src/satsolverregistry.cmx src/satsolvers.cmx src/pseudosat/pseudosatwrapper.cmx src/preprocessor/preprocessor.cmx src/externalsat/satsolutionparser.cmx src/externalsat/satsolutionlexer.cmx src/externalsat/externalsat.cmx -o src/ocaml-sat-solvers.cmxs
- + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.14/lib/ocamlbuild /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- File "myocamlbuild.ml", line 460, characters 8-19:
- 460 | Stream.from
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 463, characters 21-32:
- 463 | match Stream.next st with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 466, characters 18-32:
- 466 | with Stream.Failure -> None)
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 468, characters 6-23:
- 468 | Genlex.make_lexer ["="] st_line
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 471, characters 12-24:
- 471 | match Stream.npeek 3 lxr with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 472, characters 9-21:
- 472 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] ->
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 472, characters 26-36:
- 472 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] ->
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 472, characters 42-55:
- 472 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] ->
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 473, characters 8-19:
- 473 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 473, characters 25-36:
- 473 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 473, characters 42-53:
- 473 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 485, characters 17-34:
- 485 | let st = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-configure" "--enable-tests" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocaml-sat-solvers.0.3)
- File "./setup.ml", line 581, characters 4-15:
- 581 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 609, characters 19-36:
- 609 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 616, characters 37-48:
- 616 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 619, characters 17-31:
- 619 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 16-33:
- 1437 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1439, characters 22-38:
- 1439 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1440, characters 14-26:
- 1440 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 11-23:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 28-40:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 11-23:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 28-41:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1443, characters 11-24:
- 1443 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1444, characters 11-23:
- 1444 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1781, characters 22-40:
- 1781 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3182, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3185, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3190, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3193, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3207, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3332, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3351, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3353, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3362, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3375, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3473, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4524, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4526, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-
- Configuration:
- ocamlfind: ........................................... /home/opam/.opam/4.14/bin/ocamlfind
- ocamlc: .............................................. /home/opam/.opam/4.14/bin/ocamlc.opt
- ocamlopt: ............................................ /home/opam/.opam/4.14/bin/ocamlopt.opt
- ocamlbuild: .......................................... /home/opam/.opam/4.14/bin/ocamlbuild
- Package name: ........................................ ocaml-sat-solvers
- Package version: ..................................... 0.3
- os_type: ............................................. Unix
- system: .............................................. linux
- architecture: ........................................ amd64
- ccomp_type: .......................................... cc
- ocaml_version: ....................................... 4.14.2
- standard_library_default: ............................ /home/opam/.opam/4.14/lib/ocaml
- standard_library: .................................... /home/opam/.opam/4.14/lib/ocaml
- bytecomp_c_compiler: ................................. gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64
- native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64
- model: ............................................... default
- ext_obj: ............................................. .o
- ext_asm: ............................................. .s
- ext_lib: ............................................. .a
- ext_dll: ............................................. .so
- default_executable_name: ............................. a.out
- systhread_supported: ................................. true
- Install architecture-independent files dir: .......... /home/opam/.opam/4.14
- Install architecture-dependent files in dir: ......... $prefix
- User executables: .................................... $exec_prefix/bin
- System admin executables: ............................ $exec_prefix/sbin
- Program executables: ................................. $exec_prefix/libexec
- Read-only single-machine data: ....................... $prefix/etc
- Modifiable architecture-independent data: ............ $prefix/com
- Modifiable single-machine data: ...................... $prefix/var
- Object code libraries: ............................... $exec_prefix/lib
- Read-only arch-independent data root: ................ $prefix/share
- Read-only architecture-independent data: ............. $datarootdir
- Info documentation: .................................. $datarootdir/info
- Locale-dependent data: ............................... $datarootdir/locale
- Man documentation: ................................... $datarootdir/man
- Documentation root: .................................. $datarootdir/doc/$pkg_name
- HTML documentation: .................................. $docdir
- DVI documentation: ................................... $docdir
- PDF documentation: ................................... $docdir
- PS documentation: .................................... $docdir
- findlib_version: ..................................... 1.9.8
- is_native: ........................................... true
- suffix_program: ......................................
- Remove a file.: ...................................... rm -f
- Remove a directory.: ................................. rm -rf
- Turn ocaml debug flag on: ............................ true
- Turn ocaml profile flag on: .......................... false
- Compiler support generation of .cmxs.: ............... true
- OCamlbuild additional flags: .........................
- Create documentations: ............................... true
- Compile tests executable and library and run them: ... true
- pkg_minisat: ......................................... /home/opam/.opam/4.14/lib/minisat
-
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-build" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocaml-sat-solvers.0.3)
- File "./setup.ml", line 581, characters 4-15:
- 581 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 609, characters 19-36:
- 609 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 616, characters 37-48:
- 616 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 619, characters 17-31:
- 619 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 16-33:
- 1437 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1439, characters 22-38:
- 1439 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1440, characters 14-26:
- 1440 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 11-23:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 28-40:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 11-23:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 28-41:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1443, characters 11-24:
- 1443 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1444, characters 11-23:
- 1444 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1781, characters 22-40:
- 1781 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3182, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3185, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3190, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3193, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3207, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3332, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3351, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3353, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3362, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3375, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3473, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4524, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4526, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamlc -config
- + ocamlfind ocamlc -config
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-test" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocaml-sat-solvers.0.3)
- File "./setup.ml", line 581, characters 4-15:
- 581 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 609, characters 19-36:
- 609 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 616, characters 37-48:
- 616 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 619, characters 17-31:
- 619 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 16-33:
- 1437 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1439, characters 22-38:
- 1439 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1440, characters 14-26:
- 1440 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 11-23:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 28-40:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 11-23:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 28-41:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1443, characters 11-24:
- 1443 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1444, characters 11-23:
- 1444 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1781, characters 22-40:
- 1781 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3182, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3185, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3190, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3193, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3207, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3332, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3351, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3353, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3362, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3375, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3473, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4524, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4526, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-> compiled ocaml-sat-solvers.0.3
Processing 3/4: [ocaml-sat-solvers: ocamlfind remove]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "remove" "ocamlfind" "remove" "ocaml-sat-solvers" (CWD=/home/opam/.opam/4.14/.opam-switch/remove/ocaml-sat-solvers.0.3)
- Removed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/META
- Removed /home/opam/.opam/4.14/lib/ocaml-sat-solvers
-> removed ocaml-sat-solvers.0.3
Processing 4/4: [ocaml-sat-solvers: ocaml setup.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "ocaml" "setup.ml" "-install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocaml-sat-solvers.0.3)
- File "./setup.ml", line 581, characters 4-15:
- 581 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 609, characters 19-36:
- 609 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 616, characters 37-48:
- 616 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 619, characters 17-31:
- 619 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 16-33:
- 1437 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1439, characters 22-38:
- 1439 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1440, characters 14-26:
- 1440 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 11-23:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 28-40:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 11-23:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 28-41:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1443, characters 11-24:
- 1443 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1444, characters 11-23:
- 1444 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1781, characters 22-40:
- 1781 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3182, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3185, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3190, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3193, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3207, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3332, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3351, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3353, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3362, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3375, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3473, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4524, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4526, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- W: Cannot find source header for module library in pseudosat/Pseudosatwrapper ocaml-sat-solvers
- W: Cannot find source header for module library in preprocessor/Preprocessor ocaml-sat-solvers
- W: Cannot find source header for module library in externalsat/Externalsat ocaml-sat-solvers
- W: Cannot find source header for module library in externalsat/Satsolutionlexer ocaml-sat-solvers
- W: Cannot find source header for module library in externalsat/Satsolutionparser ocaml-sat-solvers
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolvers.mli
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satwrapper.mli
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/ocaml-sat-solvers.cma
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/ocaml-sat-solvers.cmxa
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/ocaml-sat-solvers.a
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/ocaml-sat-solvers.cmxs
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolutionparser.cmi
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolutionparser.cmti
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolutionparser.cmt
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolutionparser.annot
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolutionlexer.cmi
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolutionlexer.cmt
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolutionlexer.annot
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/externalsat.cmi
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/externalsat.cmti
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/externalsat.cmt
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/externalsat.annot
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/preprocessor.cmi
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/preprocessor.cmti
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/preprocessor.cmt
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/preprocessor.annot
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/pseudosatwrapper.cmi
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/pseudosatwrapper.cmti
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/pseudosatwrapper.cmt
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/pseudosatwrapper.annot
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satwrapper.cmi
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satwrapper.cmti
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satwrapper.cmt
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satwrapper.annot
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolvers.cmi
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolvers.cmti
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolvers.cmt
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolvers.annot
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolverregistry.cmx
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/minisatwrapper.cmx
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolutionparser.cmx
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolutionlexer.cmx
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/externalsat.cmx
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/preprocessor.cmx
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/pseudosatwrapper.cmx
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satwrapper.cmx
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/satsolvers.cmx
- Installed /home/opam/.opam/4.14/lib/ocaml-sat-solvers/META
-> installed ocaml-sat-solvers.0.3
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-28 00:25.09 ---> saved as "d3c0748e7abfdb956ced0604a5be19160350f7e3c8fee17ea49fb46ebff5b147"
Job succeeded
2026-02-28 00:25.15: Job succeeded