- github
- ocaml
- opam-repository
- 65fa29
- compilers,5.1,gappa.1.6.0
(not at the head of any monitored branch or PR)
2025-11-17 14:07.10: New job: build gappa.1.6.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/28914/head (65fa29ce602d4d463a170e0c6d224858a4a186f4)
on debian-13-ocaml-5.1/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/28914/head" && git reset --hard 65fa29ce
git fetch origin master
git merge --no-edit 1c92c86556d4b9c73229d94763be9715317321bc
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.1@sha256:ef3bd03550dd55aca765c1fa6843c35b635b0a59f309878c134832f9f58a2a4e
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 gappa.1.6.0 1.6.0
RUN opam reinstall gappa.1.6.0; \
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" != 'gappa.1.6.0' && 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 .
2025-11-17 14:07.10: Using cache hint "ocaml/opam:debian-13-ocaml-5.1@sha256:ef3bd03550dd55aca765c1fa6843c35b635b0a59f309878c134832f9f58a2a4e-gappa.1.6.0-65fa29ce602d4d463a170e0c6d224858a4a186f4"
2025-11-17 14:07.10: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.1@sha256:ef3bd03550dd55aca765c1fa6843c35b635b0a59f309878c134832f9f58a2a4e)
(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 gappa.1.6.0 1.6.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall gappa.1.6.0;\
\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\" != 'gappa.1.6.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-11-17 14:07.10: Waiting for resource in pool OCluster
2025-11-17 14:07.10: Waiting for worker…
2025-11-17 14:07.10: Got resource from pool OCluster
Building on laodoke.caelum.ci.dev
All commits already cached
HEAD is now at 1c92c86556 Merge pull request #28847 from nikochiko/opam-publish-raga.0.1.0
Updating 1c92c86556..65fa29ce60
Fast-forward
packages/gappa/gappa.1.6.0/opam | 53 +++++++++++++++++++++++++++++++++++++++++
1 file changed, 53 insertions(+)
create mode 100644 packages/gappa/gappa.1.6.0/opam
(from ocaml/opam:debian-13-ocaml-5.1@sha256:ef3bd03550dd55aca765c1fa6843c35b635b0a59f309878c134832f9f58a2a4e)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.1@sha256:ef3bd03550dd55aca765c1fa6843c35b635b0a59f309878c134832f9f58a2a4e' locally
docker.io/ocaml/opam@sha256:ef3bd03550dd55aca765c1fa6843c35b635b0a59f309878c134832f9f58a2a4e: Pulling from ocaml/opam
13cc39f8244a: Pulling fs layer
9d7c1cac6af4: Pulling fs layer
979e6521bf84: Pulling fs layer
b129e961d700: Pulling fs layer
9d7c1cac6af4: Download complete
979e6521bf84: Download complete
9288fc69cd29: Pulling fs layer
b129e961d700: Download complete
b232c90b1855: Pulling fs layer
658a78f60f44: Pulling fs layer
9288fc69cd29: Download complete
b3e6010fbc4c: Pulling fs layer
e75ac7b73fdb: Pulling fs layer
f1dbfc01d8b6: Pulling fs layer
42e8958c94a5: Pulling fs layer
1c77fd15fa4b: Pulling fs layer
e75ac7b73fdb: Waiting
f1dbfc01d8b6: Waiting
42e8958c94a5: Waiting
f8ae0ec2765e: Pulling fs layer
87b5808a8709: Pulling fs layer
1c77fd15fa4b: Waiting
6551add7b2f4: Pulling fs layer
f8ae0ec2765e: Waiting
a050a941214a: Pulling fs layer
87b5808a8709: Waiting
6551add7b2f4: Waiting
da6cadefa7ea: Pulling fs layer
a050a941214a: Waiting
0a3e89137cf8: Pulling fs layer
cc34154fc322: Pulling fs layer
da6cadefa7ea: Waiting
eb7661180f3a: Pulling fs layer
0a3e89137cf8: Waiting
faad806bf7c5: Pulling fs layer
4f4fb700ef54: Pulling fs layer
fe5692607199: Pulling fs layer
eb7661180f3a: Waiting
cc34154fc322: Waiting
faad806bf7c5: Waiting
caa548e7f855: Pulling fs layer
4f4fb700ef54: Waiting
fe5692607199: Waiting
8ad66e641b14: Pulling fs layer
b9d5d27dc0b6: Pulling fs layer
caa548e7f855: Waiting
788961b65661: Pulling fs layer
8ad66e641b14: Waiting
b9d5d27dc0b6: Waiting
9ed95272e11f: Pulling fs layer
82c1497059a3: Pulling fs layer
8abbeded2fb9: Pulling fs layer
788961b65661: Waiting
9ed95272e11f: Waiting
1276181ef5dc: Pulling fs layer
82c1497059a3: Waiting
8abbeded2fb9: Waiting
0bd63c9342a5: Pulling fs layer
0294cf425d8c: Pulling fs layer
1276181ef5dc: Waiting
0bd63c9342a5: Waiting
def43d8fc04c: Pulling fs layer
0294cf425d8c: Waiting
c87ed18f9ca6: Pulling fs layer
def43d8fc04c: Waiting
056f995b50a2: Pulling fs layer
c9f03af6c585: Pulling fs layer
c87ed18f9ca6: Waiting
4e0df0b17574: Pulling fs layer
056f995b50a2: Waiting
1fcd55c53252: Pulling fs layer
9fe15f147c9c: Pulling fs layer
c9f03af6c585: Waiting
4e0df0b17574: Waiting
6b14d69a0b93: Pulling fs layer
1fcd55c53252: Waiting
9fe15f147c9c: Waiting
4a0c6b6ba289: Pulling fs layer
6b14d69a0b93: Waiting
dceecc6517cc: Pulling fs layer
4a0c6b6ba289: Waiting
2352c55be35a: Pulling fs layer
dceecc6517cc: Waiting
2352c55be35a: Waiting
c7bb91a945f5: Pulling fs layer
d1fb6befd9c1: Pulling fs layer
c7bb91a945f5: Waiting
8ffba3c76d13: Pulling fs layer
d1fb6befd9c1: Waiting
8ffba3c76d13: Waiting
658a78f60f44: Verifying Checksum
658a78f60f44: Download complete
13cc39f8244a: Pull complete
9d7c1cac6af4: Pull complete
979e6521bf84: Pull complete
e75ac7b73fdb: Verifying Checksum
e75ac7b73fdb: Download complete
b129e961d700: Pull complete
9288fc69cd29: Pull complete
f1dbfc01d8b6: Verifying Checksum
f1dbfc01d8b6: Download complete
b232c90b1855: Verifying Checksum
b232c90b1855: Download complete
42e8958c94a5: Verifying Checksum
42e8958c94a5: Download complete
f8ae0ec2765e: Download complete
1c77fd15fa4b: Verifying Checksum
1c77fd15fa4b: Download complete
6551add7b2f4: Download complete
87b5808a8709: Download complete
a050a941214a: Verifying Checksum
a050a941214a: Download complete
0a3e89137cf8: Download complete
da6cadefa7ea: Download complete
eb7661180f3a: Download complete
cc34154fc322: Download complete
4f4fb700ef54: Download complete
faad806bf7c5: Verifying Checksum
faad806bf7c5: Download complete
fe5692607199: Verifying Checksum
fe5692607199: Download complete
8ad66e641b14: Verifying Checksum
8ad66e641b14: Download complete
b3e6010fbc4c: Verifying Checksum
b3e6010fbc4c: Download complete
caa548e7f855: Download complete
b9d5d27dc0b6: Download complete
788961b65661: Verifying Checksum
788961b65661: Download complete
8abbeded2fb9: Verifying Checksum
82c1497059a3: Verifying Checksum
82c1497059a3: Download complete
9ed95272e11f: Verifying Checksum
9ed95272e11f: Download complete
0294cf425d8c: Verifying Checksum
0294cf425d8c: Download complete
0bd63c9342a5: Download complete
1276181ef5dc: Download complete
def43d8fc04c: Download complete
056f995b50a2: Download complete
4e0df0b17574: Verifying Checksum
4e0df0b17574: Download complete
1fcd55c53252: Verifying Checksum
1fcd55c53252: Download complete
9fe15f147c9c: Download complete
b232c90b1855: Pull complete
658a78f60f44: Pull complete
b3e6010fbc4c: Pull complete
e75ac7b73fdb: Pull complete
f1dbfc01d8b6: Pull complete
42e8958c94a5: Pull complete
1c77fd15fa4b: Pull complete
f8ae0ec2765e: Pull complete
87b5808a8709: Pull complete
6551add7b2f4: Pull complete
a050a941214a: Pull complete
da6cadefa7ea: Pull complete
0a3e89137cf8: Pull complete
cc34154fc322: Pull complete
eb7661180f3a: Pull complete
faad806bf7c5: Pull complete
4f4fb700ef54: Pull complete
fe5692607199: Pull complete
caa548e7f855: Pull complete
8ad66e641b14: Pull complete
b9d5d27dc0b6: Pull complete
788961b65661: Pull complete
9ed95272e11f: Pull complete
82c1497059a3: Pull complete
8abbeded2fb9: Pull complete
1276181ef5dc: Pull complete
0bd63c9342a5: Pull complete
0294cf425d8c: Pull complete
def43d8fc04c: Pull complete
c9f03af6c585: Verifying Checksum
c9f03af6c585: Download complete
6b14d69a0b93: Verifying Checksum
6b14d69a0b93: Download complete
4a0c6b6ba289: Download complete
dceecc6517cc: Verifying Checksum
dceecc6517cc: Download complete
2352c55be35a: Verifying Checksum
2352c55be35a: Download complete
c7bb91a945f5: Verifying Checksum
c7bb91a945f5: Download complete
8ffba3c76d13: Verifying Checksum
8ffba3c76d13: Download complete
d1fb6befd9c1: Download complete
c87ed18f9ca6: Download complete
c87ed18f9ca6: Pull complete
056f995b50a2: Pull complete
c9f03af6c585: Pull complete
4e0df0b17574: Pull complete
1fcd55c53252: Pull complete
9fe15f147c9c: Pull complete
6b14d69a0b93: Pull complete
4a0c6b6ba289: Pull complete
dceecc6517cc: Pull complete
2352c55be35a: Pull complete
c7bb91a945f5: Pull complete
d1fb6befd9c1: Pull complete
8ffba3c76d13: Pull complete
Digest: sha256:ef3bd03550dd55aca765c1fa6843c35b635b0a59f309878c134832f9f58a2a4e
Status: Downloaded newer image for ocaml/opam@sha256:ef3bd03550dd55aca765c1fa6843c35b635b0a59f309878c134832f9f58a2a4e
2025-11-17 14:11.57 ---> saved as "45f4a4cb9488d3f242465043b202fc2df6e6978cf979fd1765b51d3de4111677"
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-11-17 14:11.58 ---> saved as "6237150a55a61572fff44471b5f5c7ad67ad0e4fa6ed2f664309fe1c7fe39de9"
/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
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-11-17 14:12.23 ---> saved as "9e90cd9acb7d1c74ff1d88d6c07dc5eec858c0b1a4f4465f9b830cb8423fdb16"
/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~beta1
# 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 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.1
# invariant ["ocaml-base-compiler" {= "5.1.1"}]
# compiler-packages ocaml-base-compiler.5.1.1, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.1/lib/ocaml/stublibs:/home/opam/.opam/5.1/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.1.1
2025-11-17 14:12.24 ---> saved as "f7ab75400b13a8335d8947bb7d727221476a3401d3d0c8937789ef79cce0ac71"
/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/"))
2025-11-17 14:12.44 ---> saved as "227c57b0f417b543801950927d9df773a3fb232cb5069930fe45665ddceb46d4"
/home/opam: (copy (src .) (dst opam-repository/))
2025-11-17 14:12.58 ---> saved as "6e0a8a32b0da36bc547a874625d50162c745a2a856209289d7c24f095bf2f423"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-11-17 14:13.20 ---> saved as "3a82c8fa78e94d62a071f10b5211e838b454e18383b43c47595edfce4498083c"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
- 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 trixie/main amd64 Packages [9670 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [71.8 kB]
- Fetched 9973 kB in 1s (7139 kB/s)
- Reading package lists...
-
2025-11-17 14:13.23 ---> saved as "be2b45721ea7df69d6fee23311fabd69952fddee65456f47d12f72202e932ba7"
/home/opam: (run (shell "opam pin add -k version -yn gappa.1.6.0 1.6.0"))
gappa is now pinned to version 1.6.0
2025-11-17 14:13.24 ---> saved as "82f69f03cbfc5ecde889e0cb07d753c673cb1668a0dc31d583b1859123551df7"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall gappa.1.6.0;\
\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\" != 'gappa.1.6.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
gappa.1.6.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 10 packages
- install conf-autoconf 0.2 [required by gappa]
- install conf-automake 1 [required by gappa]
- install conf-bison 2 [required by gappa]
- install conf-boost 1 [required by gappa]
- install conf-flex 2 [required by gappa]
- install conf-g++ 1.0 [required by gappa]
- install conf-gmp 5 [required by gappa]
- install conf-mpfr 3 [required by gappa]
- install conf-pkg-config 4 [required by conf-mpfr]
- install gappa 1.6.0 (pinned)
The following system packages will first need to be installed:
autoconf automake bison flex libboost-dev libgmp-dev libmpfr-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf" "automake" "bison" "flex" "libboost-dev" "libgmp-dev" "libmpfr-dev" "pkg-config"
- Selecting previously unselected package m4.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20653 files and directories currently installed.)
- Preparing to unpack .../00-m4_1.4.19-8_amd64.deb ...
- Unpacking m4 (1.4.19-8) ...
- Selecting previously unselected package flex.
- Preparing to unpack .../01-flex_2.6.4-8.2+b4_amd64.deb ...
- Unpacking flex (2.6.4-8.2+b4) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../02-autoconf_2.72-3.1_all.deb ...
- Unpacking autoconf (2.72-3.1) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../03-autotools-dev_20240727.1_all.deb ...
- Unpacking autotools-dev (20240727.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../04-automake_1%3a1.17-4_all.deb ...
- Unpacking automake (1:1.17-4) ...
- Selecting previously unselected package bison.
- Preparing to unpack .../05-bison_2%3a3.8.2+dfsg-1+b2_amd64.deb ...
- Unpacking bison (2:3.8.2+dfsg-1+b2) ...
- Selecting previously unselected package libboost1.83-dev:amd64.
- Preparing to unpack .../06-libboost1.83-dev_1.83.0-4.2_amd64.deb ...
- Unpacking libboost1.83-dev:amd64 (1.83.0-4.2) ...
- Selecting previously unselected package libboost-dev:amd64.
- Preparing to unpack .../07-libboost-dev_1.83.0.2+b2_amd64.deb ...
- Unpacking libboost-dev:amd64 (1.83.0.2+b2) ...
- Selecting previously unselected package libfl2:amd64.
- Preparing to unpack .../08-libfl2_2.6.4-8.2+b4_amd64.deb ...
- Unpacking libfl2:amd64 (2.6.4-8.2+b4) ...
- Selecting previously unselected package libfl-dev:amd64.
- Preparing to unpack .../09-libfl-dev_2.6.4-8.2+b4_amd64.deb ...
- Unpacking libfl-dev:amd64 (2.6.4-8.2+b4) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../10-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../11-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libmpfr-dev:amd64.
- Preparing to unpack .../12-libmpfr-dev_4.2.2-1_amd64.deb ...
- Unpacking libmpfr-dev:amd64 (4.2.2-1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../13-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../14-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../15-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../16-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libboost1.83-dev:amd64 (1.83.0-4.2) ...
- Setting up m4 (1.4.19-8) ...
- Setting up autotools-dev (20240727.1) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libfl2:amd64 (2.6.4-8.2+b4) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up autoconf (2.72-3.1) ...
- Setting up bison (2:3.8.2+dfsg-1+b2) ...
- update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode
- Setting up libboost-dev:amd64 (1.83.0.2+b2) ...
- Setting up automake (1:1.17-4) ...
- update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode
- Setting up flex (2.6.4-8.2+b4) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libmpfr-dev:amd64 (4.2.2-1) ...
- Setting up libfl-dev:amd64 (2.6.4-8.2+b4) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-mpfr.3 (cached)
-> installed conf-boost.1
-> retrieved gappa.1.6.0 (cached)
-> installed conf-autoconf.0.2
-> installed conf-bison.2
-> installed conf-flex.2
-> installed conf-g++.1.0
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> installed conf-mpfr.3
-> installed conf-automake.1
-> installed gappa.1.6.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-11-17 14:13.55 ---> saved as "d7f9da5cddb4f582a277b6f4011c3a18e9fd758fe63388114848b2f34c5ceade"
Job succeeded
2025-11-17 14:14.00: Job succeeded