Build Log: conf-ppl.1

Processing: [default: loading data] The following system packages will first need to be installed: libppl-dev <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libppl-dev" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package libgmpxx4ldbl:amd64. - (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 ... 15872 files and directories currently installed.) - Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu6.1_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu6.1) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-2ubuntu6.1_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu6.1) ... - Selecting previously unselected package libppl14:amd64. - Preparing to unpack .../libppl14_1%3a1.2-8.1build5_amd64.deb ... - Unpacking libppl14:amd64 (1:1.2-8.1build5) ... - Selecting previously unselected package libppl-c4:amd64. - Preparing to unpack .../libppl-c4_1%3a1.2-8.1build5_amd64.deb ... - Unpacking libppl-c4:amd64 (1:1.2-8.1build5) ... - Selecting previously unselected package libppl-dev:amd64. - Preparing to unpack .../libppl-dev_1%3a1.2-8.1build5_amd64.deb ... - Unpacking libppl-dev:amd64 (1:1.2-8.1build5) ... - Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu6.1) ... - Setting up libppl14:amd64 (1:1.2-8.1build5) ... - Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu6.1) ... - Setting up libppl-c4:amd64 (1:1.2-8.1build5) ... - Setting up libppl-dev:amd64 (1:1.2-8.1build5) ... - Processing triggers for libc-bin (2.39-0ubuntu8.6) ... [conf-ppl.1/test.c: dl] -> retrieved conf-ppl.1 (https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-ppl/test.c) [conf-ppl: sh cc test.c -lppl_c -lppl] + /usr/bin/sh "-c" "cc test.c -lppl_c -lppl" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-ppl.1) -> compiled conf-ppl.1 -> installed conf-ppl.1