https://launchpad.net/ubuntu/+source/haskell-copilot-theorem/3.10-1/+build/24488924 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux bos02-arm64-045 5.4.0-125-generic #141-Ubuntu SMP Wed Aug 10 14:03:41 UTC 2022 aarch64 Buildd toolchain package versions: launchpad-buildd_221~588~ubuntu20.04.1 python3-lpbuildd_221~588~ubuntu20.04.1 sbuild_0.79.0-1ubuntu1 git-build-recipe_0.3.6 git_1:2.25.1-1ubuntu3.5 dpkg-dev_1.19.7ubuntu3.2 python3-debian_0.1.36ubuntu1. Syncing the system clock with the buildd NTP service... 19 Sep 18:43:48 ntpdate[1811]: adjust time server 10.211.37.1 offset 0.004843 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=kinetic --arch=armhf PACKAGEBUILD-24488924 --image-type chroot /home/buildd/filecache-default/bee0bc12d37b7f8f5575cac6dd1465e088af1717 Creating target for build PACKAGEBUILD-24488924 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=kinetic --arch=armhf PACKAGEBUILD-24488924 Starting target for build PACKAGEBUILD-24488924 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=kinetic --arch=armhf PACKAGEBUILD-24488924 'deb http://ftpmaster.internal/ubuntu kinetic main universe' 'deb http://ftpmaster.internal/ubuntu kinetic-security main universe' 'deb http://ftpmaster.internal/ubuntu kinetic-updates main universe' 'deb http://ftpmaster.internal/ubuntu kinetic-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-24488924 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=kinetic --arch=armhf PACKAGEBUILD-24488924 Updating target for build PACKAGEBUILD-24488924 Get:1 http://ftpmaster.internal/ubuntu kinetic InRelease [267 kB] Get:2 http://ftpmaster.internal/ubuntu kinetic-security InRelease [90.7 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic-updates InRelease [90.7 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic-proposed InRelease [118 kB] Get:5 http://ftpmaster.internal/ubuntu kinetic/main armhf Packages [1334 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic/main Translation-en [515 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic/universe armhf Packages [13.4 MB] Get:8 http://ftpmaster.internal/ubuntu kinetic/universe Translation-en [5793 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic-proposed/main armhf Packages [48.4 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic-proposed/main Translation-en [21.5 kB] Get:11 http://ftpmaster.internal/ubuntu kinetic-proposed/universe armhf Packages [93.0 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic-proposed/universe Translation-en [52.4 kB] Fetched 21.8 MB in 8s (2633 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: bash cpp-12 g++-12 gcc-12 gcc-12-base libasan8 libatomic1 libcc1-0 libgcc-12-dev libgcc-s1 libgomp1 libstdc++-12-dev libstdc++6 libsystemd-shared libsystemd0 libubsan1 libudev1 linux-libc-dev lto-disabled-list systemd systemd-sysv usrmerge 22 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 47.7 MB of archives. After this operation, 427 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu kinetic/main armhf bash armhf 5.2~rc2-2ubuntu1 [676 kB] Get:2 http://ftpmaster.internal/ubuntu kinetic-proposed/main armhf systemd-sysv armhf 251.4-1ubuntu5 [11.2 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic-proposed/main armhf systemd armhf 251.4-1ubuntu5 [2785 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic-proposed/main armhf libsystemd-shared armhf 251.4-1ubuntu5 [1608 kB] Get:5 http://ftpmaster.internal/ubuntu kinetic-proposed/main armhf libsystemd0 armhf 251.4-1ubuntu5 [301 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic/main armhf libcc1-0 armhf 12.2.0-2ubuntu1 [38.8 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic/main armhf libgomp1 armhf 12.2.0-2ubuntu1 [109 kB] Get:8 http://ftpmaster.internal/ubuntu kinetic/main armhf libatomic1 armhf 12.2.0-2ubuntu1 [7666 B] Get:9 http://ftpmaster.internal/ubuntu kinetic/main armhf libasan8 armhf 12.2.0-2ubuntu1 [2382 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic/main armhf libubsan1 armhf 12.2.0-2ubuntu1 [950 kB] Get:11 http://ftpmaster.internal/ubuntu kinetic/main armhf gcc-12-base armhf 12.2.0-2ubuntu1 [19.2 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic/main armhf libstdc++6 armhf 12.2.0-2ubuntu1 [603 kB] Get:13 http://ftpmaster.internal/ubuntu kinetic/main armhf g++-12 armhf 12.2.0-2ubuntu1 [9309 kB] Get:14 http://ftpmaster.internal/ubuntu kinetic/main armhf libstdc++-12-dev armhf 12.2.0-2ubuntu1 [2238 kB] Get:15 http://ftpmaster.internal/ubuntu kinetic/main armhf libgcc-12-dev armhf 12.2.0-2ubuntu1 [857 kB] Get:16 http://ftpmaster.internal/ubuntu kinetic/main armhf gcc-12 armhf 12.2.0-2ubuntu1 [16.2 MB] Get:17 http://ftpmaster.internal/ubuntu kinetic/main armhf cpp-12 armhf 12.2.0-2ubuntu1 [8151 kB] Get:18 http://ftpmaster.internal/ubuntu kinetic/main armhf libgcc-s1 armhf 12.2.0-2ubuntu1 [41.1 kB] Get:19 http://ftpmaster.internal/ubuntu kinetic-proposed/main armhf libudev1 armhf 251.4-1ubuntu5 [72.3 kB] Get:20 http://ftpmaster.internal/ubuntu kinetic/main armhf usrmerge all 29ubuntu2 [55.8 kB] Get:21 http://ftpmaster.internal/ubuntu kinetic-proposed/main armhf linux-libc-dev armhf 5.19.0-17.17 [1302 kB] Get:22 http://ftpmaster.internal/ubuntu kinetic/main armhf lto-disabled-list all 35 [12.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 47.7 MB in 4s (12.1 MB/s) (Reading database ... 13303 files and directories currently installed.) Preparing to unpack .../bash_5.2~rc2-2ubuntu1_armhf.deb ... Unpacking bash (5.2~rc2-2ubuntu1) over (5.1-6ubuntu1) ... Setting up bash (5.2~rc2-2ubuntu1) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 13304 files and directories currently installed.) Preparing to unpack .../systemd-sysv_251.4-1ubuntu5_armhf.deb ... Unpacking systemd-sysv (251.4-1ubuntu5) over (251.4-1ubuntu1) ... Preparing to unpack .../systemd_251.4-1ubuntu5_armhf.deb ... Unpacking systemd (251.4-1ubuntu5) over (251.4-1ubuntu1) ... Preparing to unpack .../libsystemd-shared_251.4-1ubuntu5_armhf.deb ... Unpacking libsystemd-shared:armhf (251.4-1ubuntu5) over (251.4-1ubuntu1) ... Preparing to unpack .../libsystemd0_251.4-1ubuntu5_armhf.deb ... Unpacking libsystemd0:armhf (251.4-1ubuntu5) over (251.4-1ubuntu1) ... Setting up libsystemd0:armhf (251.4-1ubuntu5) ... (Reading database ... 13304 files and directories currently installed.) Preparing to unpack .../0-libcc1-0_12.2.0-2ubuntu1_armhf.deb ... Unpacking libcc1-0:armhf (12.2.0-2ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../1-libgomp1_12.2.0-2ubuntu1_armhf.deb ... Unpacking libgomp1:armhf (12.2.0-2ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../2-libatomic1_12.2.0-2ubuntu1_armhf.deb ... Unpacking libatomic1:armhf (12.2.0-2ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../3-libasan8_12.2.0-2ubuntu1_armhf.deb ... Unpacking libasan8:armhf (12.2.0-2ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../4-libubsan1_12.2.0-2ubuntu1_armhf.deb ... Unpacking libubsan1:armhf (12.2.0-2ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../5-gcc-12-base_12.2.0-2ubuntu1_armhf.deb ... Unpacking gcc-12-base:armhf (12.2.0-2ubuntu1) over (12.2.0-1ubuntu1) ... Setting up gcc-12-base:armhf (12.2.0-2ubuntu1) ... (Reading database ... 13304 files and directories currently installed.) Preparing to unpack .../libstdc++6_12.2.0-2ubuntu1_armhf.deb ... Unpacking libstdc++6:armhf (12.2.0-2ubuntu1) over (12.2.0-1ubuntu1) ... Setting up libstdc++6:armhf (12.2.0-2ubuntu1) ... (Reading database ... 13304 files and directories currently installed.) Preparing to unpack .../0-g++-12_12.2.0-2ubuntu1_armhf.deb ... Unpacking g++-12 (12.2.0-2ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../1-libstdc++-12-dev_12.2.0-2ubuntu1_armhf.deb ... Unpacking libstdc++-12-dev:armhf (12.2.0-2ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../2-libgcc-12-dev_12.2.0-2ubuntu1_armhf.deb ... Unpacking libgcc-12-dev:armhf (12.2.0-2ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../3-gcc-12_12.2.0-2ubuntu1_armhf.deb ... Unpacking gcc-12 (12.2.0-2ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../4-cpp-12_12.2.0-2ubuntu1_armhf.deb ... Unpacking cpp-12 (12.2.0-2ubuntu1) over (12.2.0-1ubuntu1) ... Preparing to unpack .../5-libgcc-s1_12.2.0-2ubuntu1_armhf.deb ... Unpacking libgcc-s1:armhf (12.2.0-2ubuntu1) over (12.2.0-1ubuntu1) ... Setting up libgcc-s1:armhf (12.2.0-2ubuntu1) ... (Reading database ... 13304 files and directories currently installed.) Preparing to unpack .../libudev1_251.4-1ubuntu5_armhf.deb ... Unpacking libudev1:armhf (251.4-1ubuntu5) over (251.4-1ubuntu1) ... Setting up libudev1:armhf (251.4-1ubuntu5) ... (Reading database ... 13304 files and directories currently installed.) Preparing to unpack .../usrmerge_29ubuntu2_all.deb ... Unpacking usrmerge (29ubuntu2) over (29ubuntu1) ... Preparing to unpack .../linux-libc-dev_5.19.0-17.17_armhf.deb ... Unpacking linux-libc-dev:armhf (5.19.0-17.17) over (5.15.0-27.28) ... Preparing to unpack .../lto-disabled-list_35_all.deb ... Unpacking lto-disabled-list (35) over (33) ... Setting up lto-disabled-list (35) ... Setting up cpp-12 (12.2.0-2ubuntu1) ... Setting up linux-libc-dev:armhf (5.19.0-17.17) ... Setting up libgomp1:armhf (12.2.0-2ubuntu1) ... Setting up libatomic1:armhf (12.2.0-2ubuntu1) ... Setting up libsystemd-shared:armhf (251.4-1ubuntu5) ... Setting up usrmerge (29ubuntu2) ... Setting up libubsan1:armhf (12.2.0-2ubuntu1) ... Setting up libasan8:armhf (12.2.0-2ubuntu1) ... Setting up libcc1-0:armhf (12.2.0-2ubuntu1) ... Setting up systemd (251.4-1ubuntu5) ... Initializing machine ID from random generator. Setting up libgcc-12-dev:armhf (12.2.0-2ubuntu1) ... Setting up systemd-sysv (251.4-1ubuntu5) ... Setting up libstdc++-12-dev:armhf (12.2.0-2ubuntu1) ... Setting up gcc-12 (12.2.0-2ubuntu1) ... Setting up g++-12 (12.2.0-2ubuntu1) ... Processing triggers for debianutils (5.7-0.3) ... Processing triggers for libc-bin (2.36-0ubuntu2) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-24488924 armhf kinetic-proposed -c chroot:build-PACKAGEBUILD-24488924 --arch=armhf --dist=kinetic-proposed --nolog haskell-copilot-theorem_3.10-1.dsc Initiating build PACKAGEBUILD-24488924 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 5.4.0-125-generic #141-Ubuntu SMP Wed Aug 10 14:03:41 UTC 2022 armv7l sbuild (Debian sbuild) 0.79.0 (05 February 2020) on bos02-arm64-045.buildd +==============================================================================+ | haskell-copilot-theorem 3.10-1 (armhf) Mon, 19 Sep 2022 18:44:29 +0000 | +==============================================================================+ Package: haskell-copilot-theorem Version: 3.10-1 Source Version: 3.10-1 Distribution: kinetic-proposed Machine Architecture: arm64 Host Architecture: armhf Build Architecture: armhf Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-24488924/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/haskell-copilot-theorem-Fart5r/resolver-iuRgY4' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- haskell-copilot-theorem_3.10-1.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/haskell-copilot-theorem-Fart5r/haskell-copilot-theorem-3.10' with '<>' I: NOTICE: Log filtering will replace 'build/haskell-copilot-theorem-Fart5r' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper (>= 10), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), cdbs, ghc, ghc-prof, libghc-bimap-dev, libghc-bimap-prof, libghc-bv-sized-dev (>= 1.0.2), libghc-bv-sized-dev (<< 1.1), libghc-bv-sized-prof, libghc-copilot-core-dev (>= 3.10), libghc-copilot-core-dev (<< 3.11), libghc-copilot-core-prof, libghc-data-default-dev (>= 0.7), libghc-data-default-dev (<< 0.8), libghc-data-default-prof, libghc-libbf-dev (>= 0.6.2), libghc-libbf-dev (<< 0.7), libghc-libbf-prof, libghc-panic-dev (>= 0.4.0), libghc-panic-dev (<< 0.5), libghc-panic-prof, libghc-parameterized-utils-dev (>= 2.1.1), libghc-parameterized-utils-dev (<< 2.2), libghc-parameterized-utils-prof, libghc-random-dev (>= 1.1), libghc-random-dev (<< 1.3), libghc-random-prof, libghc-what4-dev (>= 1.1), libghc-what4-dev (<< 1.4), libghc-what4-prof, libghc-xml-dev (>= 1.3), libghc-xml-dev (<< 1.4), libghc-xml-prof, build-essential, fakeroot Filtered Build-Depends: debhelper (>= 10), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), cdbs, ghc, ghc-prof, libghc-bimap-dev, libghc-bimap-prof, libghc-bv-sized-dev (>= 1.0.2), libghc-bv-sized-dev (<< 1.1), libghc-bv-sized-prof, libghc-copilot-core-dev (>= 3.10), libghc-copilot-core-dev (<< 3.11), libghc-copilot-core-prof, libghc-data-default-dev (>= 0.7), libghc-data-default-dev (<< 0.8), libghc-data-default-prof, libghc-libbf-dev (>= 0.6.2), libghc-libbf-dev (<< 0.7), libghc-libbf-prof, libghc-panic-dev (>= 0.4.0), libghc-panic-dev (<< 0.5), libghc-panic-prof, libghc-parameterized-utils-dev (>= 2.1.1), libghc-parameterized-utils-dev (<< 2.2), libghc-parameterized-utils-prof, libghc-random-dev (>= 1.1), libghc-random-dev (<< 1.3), libghc-random-prof, libghc-what4-dev (>= 1.1), libghc-what4-dev (<< 1.4), libghc-what4-prof, libghc-xml-dev (>= 1.3), libghc-xml-dev (<< 1.4), libghc-xml-prof, build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [963 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [599 B] Get:5 copy:/<>/apt_archive ./ Packages [679 B] Fetched 2241 B in 0s (53.8 kB/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... Some packages could not be installed. This may mean that you have requested an impossible situation or if you are using the unstable distribution that some required packages have not yet been created or been moved out of Incoming. The following information may help to resolve the situation: The following packages have unmet dependencies: sbuild-build-depends-main-dummy : Depends: libghc-what4-dev (>= 1.1) but it is not installable Depends: libghc-what4-dev (< 1.4) but it is not installable Depends: libghc-what4-prof but it is not installable E: Unable to correct problems, you have held broken packages. apt-get failed. E: Package installation failed Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested E: Package build dependencies not satisfied; skipping +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: armhf Build Type: any Build-Space: n/a Build-Time: 0 Distribution: kinetic-proposed Fail-Stage: install-deps Host Architecture: armhf Install-Time: 0 Job: haskell-copilot-theorem_3.10-1.dsc Machine Architecture: arm64 Package: haskell-copilot-theorem Package-Time: 0 Source-Version: 3.10-1 Space: n/a Status: given-back Version: 3.10-1 -------------------------------------------------------------------------------- Finished at 2022-09-19T18:44:29Z Build needed 00:00:00, no disk space E: Package build dependencies not satisfied; skipping Adding user buildd to group lxd RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=kinetic --arch=armhf PACKAGEBUILD-24488924 Scanning for processes to kill in build PACKAGEBUILD-24488924