Build:
  1. 0
2026-08-05 17:08.39: New job: build conf-libportmidi.1 (879cc7c3c366)
2026-08-05 17:08.39: Waiting for resource in pool day11-builds
2026-08-05 17:18.17: Got resource from pool day11-builds
2026-08-05 17:18.17: [profile full] build conf-libportmidi.1
2026-08-05 17:18.17: build conf-libportmidi.1 (879cc7c3c366)
=== DEPENDENCIES (1 transitive) ===
  conf-pkg-config.5                                  4a77ab8734e0
=== STDOUT ===
Processing: [default: loading data]

The following system packages will first need to be installed:
    libportmidi-dev

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libportmidi-dev"
- Selecting previously unselected package alsa-topology-conf.
- (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 ... 20146 files and directories currently installed.)
- Preparing to unpack .../0-alsa-topology-conf_1.2.5.1-3_all.deb ...
- Unpacking alsa-topology-conf (1.2.5.1-3) ...
- Selecting previously unselected package libasound2-data.
- Preparing to unpack .../1-libasound2-data_1.2.14-1_all.deb ...
- Unpacking libasound2-data (1.2.14-1) ...
- Selecting previously unselected package libasound2t64:amd64.
- Preparing to unpack .../2-libasound2t64_1.2.14-1_amd64.deb ...
- Unpacking libasound2t64:amd64 (1.2.14-1) ...
- Selecting previously unselected package alsa-ucm-conf.
- Preparing to unpack .../3-alsa-ucm-conf_1.2.14-1_all.deb ...
- Unpacking alsa-ucm-conf (1.2.14-1) ...
- Selecting previously unselected package libportmidi0:amd64.
- Preparing to unpack .../4-libportmidi0_1%3a217-6.1+b4_amd64.deb ...
- Unpacking libportmidi0:amd64 (1:217-6.1+b4) ...
- Selecting previously unselected package libportmidi-dev.
- Preparing to unpack .../5-libportmidi-dev_1%3a217-6.1+b4_amd64.deb ...
- Unpacking libportmidi-dev (1:217-6.1+b4) ...
- Setting up libasound2-data (1.2.14-1) ...
- Setting up libasound2t64:amd64 (1.2.14-1) ...
- Setting up libportmidi0:amd64 (1:217-6.1+b4) ...
- Setting up libportmidi-dev (1:217-6.1+b4) ...
- Setting up alsa-topology-conf (1.2.5.1-3) ...
- Setting up alsa-ucm-conf (1.2.14-1) ...
- Processing triggers for libc-bin (2.41-12+deb13u3) ...
[conf-libportmidi.1/check.sh: dl]
-> retrieved conf-libportmidi.1  (https://opam.ocaml.org/cache)
[conf-libportmidi: sh check.sh]
+ /usr/bin/sh "check.sh" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-libportmidi.1)
- /usr/include/portmidi.h
-> compiled  conf-libportmidi.1
-> installed conf-libportmidi.1

=== STDERR ===

2026-08-05 17:19.28: OK: build conf-libportmidi.1 (runc: 4.6s, disk: 0KB)
2026-08-05 17:19.28: Job succeeded