https://launchpad.net/ubuntu/+source/coq-gappa/1.5.2-5/+build/25524060 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux bos02-arm64-060 5.4.0-137-generic #154-Ubuntu SMP Thu Jan 5 17:03:02 UTC 2023 aarch64 Buildd toolchain package versions: launchpad-buildd_228~614~ubuntu20.04.1 python3-lpbuildd_228~614~ubuntu20.04.1 sbuild_0.79.0-1ubuntu1 git-build-recipe_0.3.6 git_1:2.25.1-1ubuntu3.8 dpkg-dev_1.19.7ubuntu3.2 python3-debian_0.1.36ubuntu1. Syncing the system clock with the buildd NTP service... 26 Jan 17:21:57 ntpdate[1952]: adjust time server 10.211.37.1 offset 0.010682 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=lunar --arch=armhf PACKAGEBUILD-25524060 --image-type chroot /home/buildd/filecache-default/232c5f007faca678b94fe1cafd15f5ae1164056a Creating target for build PACKAGEBUILD-25524060 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=lunar --arch=armhf PACKAGEBUILD-25524060 Starting target for build PACKAGEBUILD-25524060 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=lunar --arch=armhf PACKAGEBUILD-25524060 'deb http://ftpmaster.internal/ubuntu lunar main universe' 'deb http://ftpmaster.internal/ubuntu lunar-security main universe' 'deb http://ftpmaster.internal/ubuntu lunar-updates main universe' 'deb http://ftpmaster.internal/ubuntu lunar-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-25524060 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=lunar --arch=armhf PACKAGEBUILD-25524060 Updating target for build PACKAGEBUILD-25524060 Get:1 http://ftpmaster.internal/ubuntu lunar InRelease [267 kB] Get:2 http://ftpmaster.internal/ubuntu lunar-security InRelease [90.7 kB] Get:3 http://ftpmaster.internal/ubuntu lunar-updates InRelease [90.7 kB] Get:4 http://ftpmaster.internal/ubuntu lunar-proposed InRelease [118 kB] Get:5 http://ftpmaster.internal/ubuntu lunar/main armhf Packages [1320 kB] Get:6 http://ftpmaster.internal/ubuntu lunar/main Translation-en [508 kB] Get:7 http://ftpmaster.internal/ubuntu lunar/universe armhf Packages [14.3 MB] Get:8 http://ftpmaster.internal/ubuntu lunar/universe Translation-en [5890 kB] Get:9 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf Packages [182 kB] Get:10 http://ftpmaster.internal/ubuntu lunar-proposed/main Translation-en [67.0 kB] Get:11 http://ftpmaster.internal/ubuntu lunar-proposed/universe armhf Packages [888 kB] Get:12 http://ftpmaster.internal/ubuntu lunar-proposed/universe Translation-en [382 kB] Fetched 24.1 MB in 33s (719 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: adduser advancecomp apt bash binutils binutils-arm-linux-gnueabihf binutils-common coreutils cpp-12 debconf diffutils dpkg dpkg-dev fakeroot g++-12 gcc-12 gcc-12-base gpg gpg-agent gpgconf gpgv libacl1 libapt-pkg6.0 libasan8 libatomic1 libattr1 libaudit-common libaudit1 libbinutils libcap2 libcc1-0 libcrypt-dev libcrypt1 libctf-nobfd0 libctf0 libdb5.3 libdpkg-perl libfakeroot libgcc-12-dev libgcc-s1 libgcrypt20 libgnutls30 libgomp1 liblzma5 libmpfr6 libncurses6 libncursesw6 libp11-kit0 libpcre2-8-0 libperl5.36 libreadline8 libselinux1 libsemanage-common libsemanage2 libsqlite3-0 libssl3 libstdc++-12-dev libstdc++6 libsystemd-shared libsystemd0 libtinfo6 libubsan1 libudev1 libzstd1 linux-libc-dev lsb-base ncurses-base ncurses-bin openssl perl perl-base perl-modules-5.36 pkgbinarymangler readline-common sed sensible-utils systemd systemd-sysv sysvinit-utils tzdata xz-utils zlib1g 82 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 76.8 MB of archives. After this operation, 1224 kB disk space will be freed. Get:1 http://ftpmaster.internal/ubuntu lunar/main armhf bash armhf 5.2.15-2ubuntu1 [671 kB] Get:2 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf coreutils armhf 9.1-1ubuntu2 [1290 kB] Get:3 http://ftpmaster.internal/ubuntu lunar/main armhf diffutils armhf 1:3.8-3 [167 kB] Get:4 http://ftpmaster.internal/ubuntu lunar/main armhf liblzma5 armhf 5.4.1-0.0 [109 kB] Get:5 http://ftpmaster.internal/ubuntu lunar/main armhf libcc1-0 armhf 12.2.0-14ubuntu1 [38.8 kB] Get:6 http://ftpmaster.internal/ubuntu lunar/main armhf libctf0 armhf 2.40-2ubuntu1 [85.9 kB] Get:7 http://ftpmaster.internal/ubuntu lunar/main armhf libctf-nobfd0 armhf 2.40-2ubuntu1 [85.8 kB] Get:8 http://ftpmaster.internal/ubuntu lunar/main armhf binutils-arm-linux-gnueabihf armhf 2.40-2ubuntu1 [2778 kB] Get:9 http://ftpmaster.internal/ubuntu lunar/main armhf libbinutils armhf 2.40-2ubuntu1 [485 kB] Get:10 http://ftpmaster.internal/ubuntu lunar/main armhf binutils-common armhf 2.40-2ubuntu1 [226 kB] Get:11 http://ftpmaster.internal/ubuntu lunar/main armhf binutils armhf 2.40-2ubuntu1 [3080 B] Get:12 http://ftpmaster.internal/ubuntu lunar/main armhf gcc-12-base armhf 12.2.0-14ubuntu1 [19.3 kB] Get:13 http://ftpmaster.internal/ubuntu lunar/main armhf libgcc-s1 armhf 12.2.0-14ubuntu1 [41.4 kB] Get:14 http://ftpmaster.internal/ubuntu lunar/main armhf libgomp1 armhf 12.2.0-14ubuntu1 [109 kB] Get:15 http://ftpmaster.internal/ubuntu lunar/main armhf libatomic1 armhf 12.2.0-14ubuntu1 [7628 B] Get:16 http://ftpmaster.internal/ubuntu lunar/main armhf libasan8 armhf 12.2.0-14ubuntu1 [2409 kB] Get:17 http://ftpmaster.internal/ubuntu lunar/main armhf libubsan1 armhf 12.2.0-14ubuntu1 [949 kB] Get:18 http://ftpmaster.internal/ubuntu lunar/main armhf g++-12 armhf 12.2.0-14ubuntu1 [9308 kB] Get:19 http://ftpmaster.internal/ubuntu lunar/main armhf libstdc++-12-dev armhf 12.2.0-14ubuntu1 [2239 kB] Get:20 http://ftpmaster.internal/ubuntu lunar/main armhf libgcc-12-dev armhf 12.2.0-14ubuntu1 [857 kB] Get:21 http://ftpmaster.internal/ubuntu lunar/main armhf gcc-12 armhf 12.2.0-14ubuntu1 [16.2 MB] Get:22 http://ftpmaster.internal/ubuntu lunar/main armhf cpp-12 armhf 12.2.0-14ubuntu1 [8153 kB] Get:23 http://ftpmaster.internal/ubuntu lunar/main armhf libstdc++6 armhf 12.2.0-14ubuntu1 [603 kB] Get:24 http://ftpmaster.internal/ubuntu lunar/main armhf zlib1g armhf 1:1.2.13.dfsg-1ubuntu4 [48.9 kB] Get:25 http://ftpmaster.internal/ubuntu lunar/main armhf libmpfr6 armhf 4.2.0-1 [228 kB] Get:26 http://ftpmaster.internal/ubuntu lunar/main armhf libzstd1 armhf 1.5.2+dfsg2-3 [254 kB] Get:27 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libgcrypt20 armhf 1.10.1-3ubuntu1 [448 kB] Get:28 http://ftpmaster.internal/ubuntu lunar/main armhf libacl1 armhf 2.3.1-3 [15.1 kB] Get:29 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libaudit-common all 1:3.0.7-1.1 [5108 B] Get:30 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libaudit1 armhf 1:3.0.7-1.1 [42.5 kB] Get:31 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libcap2 armhf 1:2.66-3ubuntu1 [23.9 kB] Get:32 http://ftpmaster.internal/ubuntu lunar/main armhf libcrypt-dev armhf 1:4.4.33-2 [120 kB] Get:33 http://ftpmaster.internal/ubuntu lunar/main armhf libcrypt1 armhf 1:4.4.33-2 [91.3 kB] Get:34 http://ftpmaster.internal/ubuntu lunar/main armhf libpcre2-8-0 armhf 10.42-1 [197 kB] Get:35 http://ftpmaster.internal/ubuntu lunar/main armhf libselinux1 armhf 3.4-1build2 [69.0 kB] Get:36 http://ftpmaster.internal/ubuntu lunar/main armhf libperl5.36 armhf 5.36.0-7 [4036 kB] Get:37 http://ftpmaster.internal/ubuntu lunar/main armhf perl armhf 5.36.0-7 [235 kB] Get:38 http://ftpmaster.internal/ubuntu lunar/main armhf perl-base armhf 5.36.0-7 [1633 kB] Get:39 http://ftpmaster.internal/ubuntu lunar/main armhf perl-modules-5.36 all 5.36.0-7 [2984 kB] Get:40 http://ftpmaster.internal/ubuntu lunar/main armhf libdb5.3 armhf 5.3.28+dfsg2-1 [662 kB] Get:41 http://ftpmaster.internal/ubuntu lunar/main armhf debconf all 1.5.82 [125 kB] Get:42 http://ftpmaster.internal/ubuntu lunar/main armhf libssl3 armhf 3.0.7-1ubuntu1 [1563 kB] Get:43 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf systemd-sysv armhf 252.4-1ubuntu1 [11.4 kB] Get:44 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf systemd armhf 252.4-1ubuntu1 [2991 kB] Get:45 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libsystemd-shared armhf 252.4-1ubuntu1 [1683 kB] Get:46 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libp11-kit0 armhf 0.24.1-2ubuntu1 [212 kB] Get:47 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libsystemd0 armhf 252.4-1ubuntu1 [309 kB] Get:48 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libudev1 armhf 252.4-1ubuntu1 [81.8 kB] Get:49 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libapt-pkg6.0 armhf 2.5.5 [910 kB] Get:50 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf dpkg armhf 1.21.18ubuntu3 [1287 kB] Get:51 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf ncurses-bin armhf 6.4-2 [175 kB] Get:52 http://ftpmaster.internal/ubuntu lunar/main armhf sed armhf 4.9-1 [191 kB] Get:53 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf ncurses-base all 6.4-2 [21.3 kB] Get:54 http://ftpmaster.internal/ubuntu lunar/main armhf sysvinit-utils armhf 3.05-7ubuntu2 [26.9 kB] Get:55 http://ftpmaster.internal/ubuntu lunar/main armhf lsb-base all 11.5 [4296 B] Get:56 http://ftpmaster.internal/ubuntu lunar/main armhf adduser all 3.129ubuntu1 [59.0 kB] Get:57 http://ftpmaster.internal/ubuntu lunar/main armhf gpgv armhf 2.2.40-1ubuntu2 [193 kB] Get:58 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libgnutls30 armhf 3.7.8-4ubuntu1 [938 kB] Get:59 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf apt armhf 2.5.5 [1374 kB] Get:60 http://ftpmaster.internal/ubuntu lunar/main armhf libattr1 armhf 1:2.5.1-4 [11.2 kB] Get:61 http://ftpmaster.internal/ubuntu lunar/main armhf libsemanage-common all 3.4-1build2 [9774 B] Get:62 http://ftpmaster.internal/ubuntu lunar/main armhf libsemanage2 armhf 3.4-1build2 [83.7 kB] Get:63 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libncurses6 armhf 6.4-2 [88.9 kB] Get:64 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libncursesw6 armhf 6.4-2 [117 kB] Get:65 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libtinfo6 armhf 6.4-2 [84.4 kB] Get:66 http://ftpmaster.internal/ubuntu lunar/main armhf sensible-utils all 0.0.17+nmu1 [19.3 kB] Get:67 http://ftpmaster.internal/ubuntu lunar/main armhf readline-common all 8.2-1.3 [55.7 kB] Get:68 http://ftpmaster.internal/ubuntu lunar/main armhf libreadline8 armhf 8.2-1.3 [128 kB] Get:69 http://ftpmaster.internal/ubuntu lunar/main armhf libsqlite3-0 armhf 3.40.1-1 [564 kB] Get:70 http://ftpmaster.internal/ubuntu lunar/main armhf openssl armhf 3.0.7-1ubuntu1 [1149 kB] Get:71 http://ftpmaster.internal/ubuntu lunar/main armhf tzdata all 2022g-2ubuntu1 [397 kB] Get:72 http://ftpmaster.internal/ubuntu lunar/main armhf xz-utils armhf 5.4.1-0.0 [239 kB] Get:73 http://ftpmaster.internal/ubuntu lunar/main armhf advancecomp armhf 2.5-1 [192 kB] Get:74 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf dpkg-dev all 1.21.18ubuntu3 [1067 kB] Get:75 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libdpkg-perl all 1.21.18ubuntu3 [247 kB] Get:76 http://ftpmaster.internal/ubuntu lunar/main armhf libfakeroot armhf 1.30.1-1.1ubuntu1 [26.4 kB] Get:77 http://ftpmaster.internal/ubuntu lunar/main armhf fakeroot armhf 1.30.1-1.1ubuntu1 [61.6 kB] Get:78 http://ftpmaster.internal/ubuntu lunar/main armhf gpg armhf 2.2.40-1ubuntu2 [482 kB] Get:79 http://ftpmaster.internal/ubuntu lunar/main armhf gpgconf armhf 2.2.40-1ubuntu2 [117 kB] Get:80 http://ftpmaster.internal/ubuntu lunar/main armhf gpg-agent armhf 2.2.40-1ubuntu2 [236 kB] Get:81 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf linux-libc-dev armhf 5.19.0-23.24 [1306 kB] Get:82 http://ftpmaster.internal/ubuntu lunar/main armhf pkgbinarymangler all 151 [16.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 76.8 MB in 60s (1278 kB/s) (Reading database ... 12825 files and directories currently installed.) Preparing to unpack .../bash_5.2.15-2ubuntu1_armhf.deb ... Unpacking bash (5.2.15-2ubuntu1) over (5.2-1ubuntu2) ... Setting up bash (5.2.15-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 ... 12825 files and directories currently installed.) Preparing to unpack .../coreutils_9.1-1ubuntu2_armhf.deb ... Unpacking coreutils (9.1-1ubuntu2) over (8.32-4.1ubuntu1) ... Setting up coreutils (9.1-1ubuntu2) ... (Reading database ... 12825 files and directories currently installed.) Preparing to unpack .../diffutils_1%3a3.8-3_armhf.deb ... Unpacking diffutils (1:3.8-3) over (1:3.8-1) ... Setting up diffutils (1:3.8-3) ... (Reading database ... 12825 files and directories currently installed.) Preparing to unpack .../liblzma5_5.4.1-0.0_armhf.deb ... Unpacking liblzma5:armhf (5.4.1-0.0) over (5.2.9-0.0) ... Setting up liblzma5:armhf (5.4.1-0.0) ... (Reading database ... 12825 files and directories currently installed.) Preparing to unpack .../0-libcc1-0_12.2.0-14ubuntu1_armhf.deb ... Unpacking libcc1-0:armhf (12.2.0-14ubuntu1) over (12.2.0-10ubuntu1) ... Preparing to unpack .../1-libctf0_2.40-2ubuntu1_armhf.deb ... Unpacking libctf0:armhf (2.40-2ubuntu1) over (2.39.50.20221224-1ubuntu1) ... Preparing to unpack .../2-libctf-nobfd0_2.40-2ubuntu1_armhf.deb ... Unpacking libctf-nobfd0:armhf (2.40-2ubuntu1) over (2.39.50.20221224-1ubuntu1) ... Preparing to unpack .../3-binutils-arm-linux-gnueabihf_2.40-2ubuntu1_armhf.deb ... Unpacking binutils-arm-linux-gnueabihf (2.40-2ubuntu1) over (2.39.50.20221224-1ubuntu1) ... Preparing to unpack .../4-libbinutils_2.40-2ubuntu1_armhf.deb ... Unpacking libbinutils:armhf (2.40-2ubuntu1) over (2.39.50.20221224-1ubuntu1) ... Preparing to unpack .../5-binutils-common_2.40-2ubuntu1_armhf.deb ... Unpacking binutils-common:armhf (2.40-2ubuntu1) over (2.39.50.20221224-1ubuntu1) ... Preparing to unpack .../6-binutils_2.40-2ubuntu1_armhf.deb ... Unpacking binutils (2.40-2ubuntu1) over (2.39.50.20221224-1ubuntu1) ... Preparing to unpack .../7-gcc-12-base_12.2.0-14ubuntu1_armhf.deb ... Unpacking gcc-12-base:armhf (12.2.0-14ubuntu1) over (12.2.0-10ubuntu1) ... Setting up gcc-12-base:armhf (12.2.0-14ubuntu1) ... (Reading database ... 12825 files and directories currently installed.) Preparing to unpack .../libgcc-s1_12.2.0-14ubuntu1_armhf.deb ... Unpacking libgcc-s1:armhf (12.2.0-14ubuntu1) over (12.2.0-10ubuntu1) ... Setting up libgcc-s1:armhf (12.2.0-14ubuntu1) ... (Reading database ... 12825 files and directories currently installed.) Preparing to unpack .../0-libgomp1_12.2.0-14ubuntu1_armhf.deb ... Unpacking libgomp1:armhf (12.2.0-14ubuntu1) over (12.2.0-10ubuntu1) ... Preparing to unpack .../1-libatomic1_12.2.0-14ubuntu1_armhf.deb ... Unpacking libatomic1:armhf (12.2.0-14ubuntu1) over (12.2.0-10ubuntu1) ... Preparing to unpack .../2-libasan8_12.2.0-14ubuntu1_armhf.deb ... Unpacking libasan8:armhf (12.2.0-14ubuntu1) over (12.2.0-10ubuntu1) ... Preparing to unpack .../3-libubsan1_12.2.0-14ubuntu1_armhf.deb ... Unpacking libubsan1:armhf (12.2.0-14ubuntu1) over (12.2.0-10ubuntu1) ... Preparing to unpack .../4-g++-12_12.2.0-14ubuntu1_armhf.deb ... Unpacking g++-12 (12.2.0-14ubuntu1) over (12.2.0-10ubuntu1) ... Preparing to unpack .../5-libstdc++-12-dev_12.2.0-14ubuntu1_armhf.deb ... Unpacking libstdc++-12-dev:armhf (12.2.0-14ubuntu1) over (12.2.0-10ubuntu1) ... Preparing to unpack .../6-libgcc-12-dev_12.2.0-14ubuntu1_armhf.deb ... Unpacking libgcc-12-dev:armhf (12.2.0-14ubuntu1) over (12.2.0-10ubuntu1) ... Preparing to unpack .../7-gcc-12_12.2.0-14ubuntu1_armhf.deb ... Unpacking gcc-12 (12.2.0-14ubuntu1) over (12.2.0-10ubuntu1) ... Preparing to unpack .../8-cpp-12_12.2.0-14ubuntu1_armhf.deb ... Unpacking cpp-12 (12.2.0-14ubuntu1) over (12.2.0-10ubuntu1) ... Preparing to unpack .../9-libstdc++6_12.2.0-14ubuntu1_armhf.deb ... Unpacking libstdc++6:armhf (12.2.0-14ubuntu1) over (12.2.0-10ubuntu1) ... Setting up libstdc++6:armhf (12.2.0-14ubuntu1) ... (Reading database ... 12825 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.2.13.dfsg-1ubuntu4_armhf.deb ... Unpacking zlib1g:armhf (1:1.2.13.dfsg-1ubuntu4) over (1:1.2.11.dfsg-4.1ubuntu1) ... Setting up zlib1g:armhf (1:1.2.13.dfsg-1ubuntu4) ... (Reading database ... 12825 files and directories currently installed.) Preparing to unpack .../libmpfr6_4.2.0-1_armhf.deb ... Unpacking libmpfr6:armhf (4.2.0-1) over (4.1.0-3build3) ... Preparing to unpack .../libzstd1_1.5.2+dfsg2-3_armhf.deb ... Unpacking libzstd1:armhf (1.5.2+dfsg2-3) over (1.5.2+dfsg-1) ... Setting up libzstd1:armhf (1.5.2+dfsg2-3) ... (Reading database ... 12825 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.10.1-3ubuntu1_armhf.deb ... Unpacking libgcrypt20:armhf (1.10.1-3ubuntu1) over (1.10.1-2ubuntu1) ... Setting up libgcrypt20:armhf (1.10.1-3ubuntu1) ... (Reading database ... 12825 files and directories currently installed.) Preparing to unpack .../libacl1_2.3.1-3_armhf.deb ... Unpacking libacl1:armhf (2.3.1-3) over (2.3.1-2) ... Setting up libacl1:armhf (2.3.1-3) ... (Reading database ... 12825 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a3.0.7-1.1_all.deb ... Unpacking libaudit-common (1:3.0.7-1.1) over (1:3.0.7-1ubuntu3) ... Setting up libaudit-common (1:3.0.7-1.1) ... (Reading database ... 12825 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a3.0.7-1.1_armhf.deb ... Unpacking libaudit1:armhf (1:3.0.7-1.1) over (1:3.0.7-1ubuntu3) ... Setting up libaudit1:armhf (1:3.0.7-1.1) ... (Reading database ... 12825 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.66-3ubuntu1_armhf.deb ... Unpacking libcap2:armhf (1:2.66-3ubuntu1) over (1:2.44-1build3) ... Setting up libcap2:armhf (1:2.66-3ubuntu1) ... (Reading database ... 12827 files and directories currently installed.) Preparing to unpack .../libcrypt-dev_1%3a4.4.33-2_armhf.deb ... Unpacking libcrypt-dev:armhf (1:4.4.33-2) over (1:4.4.33-1) ... Preparing to unpack .../libcrypt1_1%3a4.4.33-2_armhf.deb ... Unpacking libcrypt1:armhf (1:4.4.33-2) over (1:4.4.33-1) ... Setting up libcrypt1:armhf (1:4.4.33-2) ... (Reading database ... 12827 files and directories currently installed.) Preparing to unpack .../libpcre2-8-0_10.42-1_armhf.deb ... Unpacking libpcre2-8-0:armhf (10.42-1) over (10.40-1ubuntu1) ... Setting up libpcre2-8-0:armhf (10.42-1) ... (Reading database ... 12827 files and directories currently installed.) Preparing to unpack .../libselinux1_3.4-1build2_armhf.deb ... Unpacking libselinux1:armhf (3.4-1build2) over (3.4-1build1) ... Setting up libselinux1:armhf (3.4-1build2) ... (Reading database ... 12827 files and directories currently installed.) Preparing to unpack .../libperl5.36_5.36.0-7_armhf.deb ... Unpacking libperl5.36:armhf (5.36.0-7) over (5.36.0-4ubuntu2) ... Preparing to unpack .../perl_5.36.0-7_armhf.deb ... Unpacking perl (5.36.0-7) over (5.36.0-4ubuntu2) ... Preparing to unpack .../perl-base_5.36.0-7_armhf.deb ... Unpacking perl-base (5.36.0-7) over (5.36.0-4ubuntu2) ... Setting up perl-base (5.36.0-7) ... (Reading database ... 12827 files and directories currently installed.) Preparing to unpack .../perl-modules-5.36_5.36.0-7_all.deb ... Unpacking perl-modules-5.36 (5.36.0-7) over (5.36.0-4ubuntu2) ... Preparing to unpack .../libdb5.3_5.3.28+dfsg2-1_armhf.deb ... Unpacking libdb5.3:armhf (5.3.28+dfsg2-1) over (5.3.28+dfsg1-0.10) ... Setting up libdb5.3:armhf (5.3.28+dfsg2-1) ... (Reading database ... 12827 files and directories currently installed.) Preparing to unpack .../debconf_1.5.82_all.deb ... Unpacking debconf (1.5.82) over (1.5.79ubuntu1) ... Setting up debconf (1.5.82) ... (Reading database ... 12827 files and directories currently installed.) Preparing to unpack .../libssl3_3.0.7-1ubuntu1_armhf.deb ... Unpacking libssl3:armhf (3.0.7-1ubuntu1) over (3.0.5-2ubuntu2) ... Preparing to unpack .../systemd-sysv_252.4-1ubuntu1_armhf.deb ... Unpacking systemd-sysv (252.4-1ubuntu1) over (251.4-1ubuntu7) ... Setting up libssl3:armhf (3.0.7-1ubuntu1) ... (Reading database ... 12828 files and directories currently installed.) Preparing to unpack .../systemd_252.4-1ubuntu1_armhf.deb ... Unpacking systemd (252.4-1ubuntu1) over (251.4-1ubuntu7) ... Preparing to unpack .../libsystemd-shared_252.4-1ubuntu1_armhf.deb ... Unpacking libsystemd-shared:armhf (252.4-1ubuntu1) over (251.4-1ubuntu7) ... Preparing to unpack .../libp11-kit0_0.24.1-2ubuntu1_armhf.deb ... Unpacking libp11-kit0:armhf (0.24.1-2ubuntu1) over (0.24.1-1ubuntu2) ... Setting up libp11-kit0:armhf (0.24.1-2ubuntu1) ... (Reading database ... 12854 files and directories currently installed.) Preparing to unpack .../libsystemd0_252.4-1ubuntu1_armhf.deb ... Unpacking libsystemd0:armhf (252.4-1ubuntu1) over (251.4-1ubuntu7) ... Setting up libsystemd0:armhf (252.4-1ubuntu1) ... (Reading database ... 12855 files and directories currently installed.) Preparing to unpack .../libudev1_252.4-1ubuntu1_armhf.deb ... Unpacking libudev1:armhf (252.4-1ubuntu1) over (251.4-1ubuntu7) ... Setting up libudev1:armhf (252.4-1ubuntu1) ... (Reading database ... 12856 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.5.5_armhf.deb ... Unpacking libapt-pkg6.0:armhf (2.5.5) over (2.5.4) ... Setting up libapt-pkg6.0:armhf (2.5.5) ... (Reading database ... 12856 files and directories currently installed.) Preparing to unpack .../dpkg_1.21.18ubuntu3_armhf.deb ... Unpacking dpkg (1.21.18ubuntu3) over (1.21.11ubuntu2) ... Setting up dpkg (1.21.18ubuntu3) ... (Reading database ... 12855 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.4-2_armhf.deb ... Unpacking ncurses-bin (6.4-2) over (6.3+20220423-2) ... Setting up ncurses-bin (6.4-2) ... (Reading database ... 12855 files and directories currently installed.) Preparing to unpack .../archives/sed_4.9-1_armhf.deb ... Unpacking sed (4.9-1) over (4.8-1ubuntu2) ... Setting up sed (4.9-1) ... (Reading database ... 12855 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.4-2_all.deb ... Unpacking ncurses-base (6.4-2) over (6.3+20220423-2) ... Setting up ncurses-base (6.4-2) ... (Reading database ... 12855 files and directories currently installed.) Preparing to unpack .../archives/lsb-base_11.5_all.deb ... Unpacking lsb-base (11.5) over (11.2ubuntu1) ... Preparing to unpack .../sysvinit-utils_3.05-7ubuntu2_armhf.deb ... Unpacking sysvinit-utils (3.05-7ubuntu2) over (3.04-1ubuntu1) ... Setting up sysvinit-utils (3.05-7ubuntu2) ... (Reading database ... 12855 files and directories currently installed.) Preparing to unpack .../adduser_3.129ubuntu1_all.deb ... moving unchanged adduser.conf to adduser.conf.update-old. New dpkg-conffile will come from the package. Unpacking adduser (3.129ubuntu1) over (3.121ubuntu1) ... Setting up adduser (3.129ubuntu1) ... Installing new version of config file /etc/deluser.conf ... (Reading database ... 12822 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.40-1ubuntu2_armhf.deb ... Unpacking gpgv (2.2.40-1ubuntu2) over (2.2.40-1ubuntu1) ... Setting up gpgv (2.2.40-1ubuntu2) ... (Reading database ... 12822 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.7.8-4ubuntu1_armhf.deb ... Unpacking libgnutls30:armhf (3.7.8-4ubuntu1) over (3.7.7-2ubuntu2) ... Setting up libgnutls30:armhf (3.7.8-4ubuntu1) ... (Reading database ... 12822 files and directories currently installed.) Preparing to unpack .../archives/apt_2.5.5_armhf.deb ... Unpacking apt (2.5.5) over (2.5.4) ... Setting up apt (2.5.5) ... Installing new version of config file /etc/apt/apt.conf.d/01autoremove ... (Reading database ... 12822 files and directories currently installed.) Preparing to unpack .../libattr1_1%3a2.5.1-4_armhf.deb ... Unpacking libattr1:armhf (1:2.5.1-4) over (1:2.5.1-3) ... Setting up libattr1:armhf (1:2.5.1-4) ... (Reading database ... 12822 files and directories currently installed.) Preparing to unpack .../libsemanage-common_3.4-1build2_all.deb ... Unpacking libsemanage-common (3.4-1build2) over (3.4-1build1) ... Setting up libsemanage-common (3.4-1build2) ... (Reading database ... 12822 files and directories currently installed.) Preparing to unpack .../libsemanage2_3.4-1build2_armhf.deb ... Unpacking libsemanage2:armhf (3.4-1build2) over (3.4-1build1) ... Setting up libsemanage2:armhf (3.4-1build2) ... (Reading database ... 12822 files and directories currently installed.) Preparing to unpack .../libncurses6_6.4-2_armhf.deb ... Unpacking libncurses6:armhf (6.4-2) over (6.3+20220423-2) ... Preparing to unpack .../libncursesw6_6.4-2_armhf.deb ... Unpacking libncursesw6:armhf (6.4-2) over (6.3+20220423-2) ... Preparing to unpack .../libtinfo6_6.4-2_armhf.deb ... Unpacking libtinfo6:armhf (6.4-2) over (6.3+20220423-2) ... Setting up libtinfo6:armhf (6.4-2) ... (Reading database ... 12822 files and directories currently installed.) Preparing to unpack .../00-sensible-utils_0.0.17+nmu1_all.deb ... Unpacking sensible-utils (0.0.17+nmu1) over (0.0.17) ... Preparing to unpack .../01-readline-common_8.2-1.3_all.deb ... Unpacking readline-common (8.2-1.3) over (8.2-1.2) ... Preparing to unpack .../02-libreadline8_8.2-1.3_armhf.deb ... Unpacking libreadline8:armhf (8.2-1.3) over (8.2-1.2) ... Preparing to unpack .../03-libsqlite3-0_3.40.1-1_armhf.deb ... Unpacking libsqlite3-0:armhf (3.40.1-1) over (3.40.0-1) ... Preparing to unpack .../04-openssl_3.0.7-1ubuntu1_armhf.deb ... Unpacking openssl (3.0.7-1ubuntu1) over (3.0.5-2ubuntu2) ... Preparing to unpack .../05-tzdata_2022g-2ubuntu1_all.deb ... Unpacking tzdata (2022g-2ubuntu1) over (2022g-1ubuntu1) ... Preparing to unpack .../06-xz-utils_5.4.1-0.0_armhf.deb ... Unpacking xz-utils (5.4.1-0.0) over (5.2.9-0.0) ... Preparing to unpack .../07-advancecomp_2.5-1_armhf.deb ... Unpacking advancecomp (2.5-1) over (2.4-1) ... Preparing to unpack .../08-dpkg-dev_1.21.18ubuntu3_all.deb ... Unpacking dpkg-dev (1.21.18ubuntu3) over (1.21.11ubuntu2) ... Preparing to unpack .../09-libdpkg-perl_1.21.18ubuntu3_all.deb ... Unpacking libdpkg-perl (1.21.18ubuntu3) over (1.21.11ubuntu2) ... Preparing to unpack .../10-libfakeroot_1.30.1-1.1ubuntu1_armhf.deb ... Unpacking libfakeroot:armhf (1.30.1-1.1ubuntu1) over (1.30.1-1ubuntu1) ... Preparing to unpack .../11-fakeroot_1.30.1-1.1ubuntu1_armhf.deb ... Unpacking fakeroot (1.30.1-1.1ubuntu1) over (1.30.1-1ubuntu1) ... Preparing to unpack .../12-gpg_2.2.40-1ubuntu2_armhf.deb ... Unpacking gpg (2.2.40-1ubuntu2) over (2.2.40-1ubuntu1) ... Preparing to unpack .../13-gpgconf_2.2.40-1ubuntu2_armhf.deb ... Unpacking gpgconf (2.2.40-1ubuntu2) over (2.2.40-1ubuntu1) ... Preparing to unpack .../14-gpg-agent_2.2.40-1ubuntu2_armhf.deb ... Unpacking gpg-agent (2.2.40-1ubuntu2) over (2.2.40-1ubuntu1) ... Preparing to unpack .../15-linux-libc-dev_5.19.0-23.24_armhf.deb ... Unpacking linux-libc-dev:armhf (5.19.0-23.24) over (5.19.0-21.21) ... Preparing to unpack .../16-pkgbinarymangler_151_all.deb ... Unpacking pkgbinarymangler (151) over (149) ... Setting up lsb-base (11.5) ... Setting up libsqlite3-0:armhf (3.40.1-1) ... Setting up binutils-common:armhf (2.40-2ubuntu1) ... Setting up linux-libc-dev:armhf (5.19.0-23.24) ... Setting up libctf-nobfd0:armhf (2.40-2ubuntu1) ... Setting up libgomp1:armhf (12.2.0-14ubuntu1) ... Setting up libfakeroot:armhf (1.30.1-1.1ubuntu1) ... Setting up tzdata (2022g-2ubuntu1) ... Current default time zone: 'Etc/UTC' Local time is now: Thu Jan 26 17:24:02 UTC 2023. Universal Time is now: Thu Jan 26 17:24:02 UTC 2023. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up fakeroot (1.30.1-1.1ubuntu1) ... Setting up perl-modules-5.36 (5.36.0-7) ... Setting up libmpfr6:armhf (4.2.0-1) ... Setting up libncurses6:armhf (6.4-2) ... Setting up xz-utils (5.4.1-0.0) ... Setting up libatomic1:armhf (12.2.0-14ubuntu1) ... Setting up libsystemd-shared:armhf (252.4-1ubuntu1) ... Setting up libncursesw6:armhf (6.4-2) ... Setting up libubsan1:armhf (12.2.0-14ubuntu1) ... Setting up advancecomp (2.5-1) ... Setting up sensible-utils (0.0.17+nmu1) ... Setting up libcrypt-dev:armhf (1:4.4.33-2) ... Setting up libasan8:armhf (12.2.0-14ubuntu1) ... Setting up libbinutils:armhf (2.40-2ubuntu1) ... Setting up openssl (3.0.7-1ubuntu1) ... Installing new version of config file /etc/ssl/openssl.cnf ... Setting up readline-common (8.2-1.3) ... Setting up libcc1-0:armhf (12.2.0-14ubuntu1) ... Setting up libperl5.36:armhf (5.36.0-7) ... Setting up libctf0:armhf (2.40-2ubuntu1) ... Setting up cpp-12 (12.2.0-14ubuntu1) ... Setting up pkgbinarymangler (151) ... Setting up libreadline8:armhf (8.2-1.3) ... Setting up systemd (252.4-1ubuntu1) ... Installing new version of config file /etc/systemd/logind.conf ... Installing new version of config file /etc/systemd/system.conf ... Installing new version of config file /etc/systemd/user.conf ... Initializing machine ID from random generator. Setting up perl (5.36.0-7) ... Setting up libgcc-12-dev:armhf (12.2.0-14ubuntu1) ... Setting up libdpkg-perl (1.21.18ubuntu3) ... Setting up gpgconf (2.2.40-1ubuntu2) ... Setting up binutils-arm-linux-gnueabihf (2.40-2ubuntu1) ... Setting up gpg (2.2.40-1ubuntu2) ... Setting up systemd-sysv (252.4-1ubuntu1) ... Setting up gpg-agent (2.2.40-1ubuntu2) ... Setting up libstdc++-12-dev:armhf (12.2.0-14ubuntu1) ... Setting up binutils (2.40-2ubuntu1) ... Setting up dpkg-dev (1.21.18ubuntu3) ... Setting up gcc-12 (12.2.0-14ubuntu1) ... Setting up g++-12 (12.2.0-14ubuntu1) ... Processing triggers for debianutils (5.7-0.4) ... Processing triggers for libc-bin (2.36-0ubuntu4) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-25524060 armhf lunar-proposed -c chroot:build-PACKAGEBUILD-25524060 --arch=armhf --dist=lunar-proposed --nolog coq-gappa_1.5.2-5.dsc Initiating build PACKAGEBUILD-25524060 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 5.4.0-137-generic #154-Ubuntu SMP Thu Jan 5 17:03:02 UTC 2023 armv7l sbuild (Debian sbuild) 0.79.0 (05 February 2020) on bos02-arm64-060.buildd +==============================================================================+ | coq-gappa 1.5.2-5 (armhf) Thu, 26 Jan 2023 17:24:06 +0000 | +==============================================================================+ Package: coq-gappa Version: 1.5.2-5 Source Version: 1.5.2-5 Distribution: lunar-proposed Machine Architecture: arm64 Host Architecture: armhf Build Architecture: armhf Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-25524060/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/coq-gappa-krOABv/resolver-IUmDAm' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- coq-gappa_1.5.2-5.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/coq-gappa-krOABv/coq-gappa-1.5.2' with '<>' I: NOTICE: Log filtering will replace 'build/coq-gappa-krOABv' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), dh-coq, gappa, libcoq-flocq, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-findlib, build-essential, fakeroot Filtered Build-Depends: debhelper-compat (= 13), dh-coq, gappa, libcoq-flocq, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-findlib, 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 [957 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [412 B] Get:5 copy:/<>/apt_archive ./ Packages [494 B] Fetched 1863 B in 0s (36.6 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... The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper debugedit dh-autoreconf dh-coq dh-strip-nondeterminism dwz file gappa gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-flocq libcoq-stdlib libdebhelper-perl libdw1 libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu71 libjs-jquery libjs-sphinxdoc libjs-underscore libmagic-mgc libmagic1 libmpdec3 libncurses-dev libncurses5-dev libpipeline1 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev m4 man-db media-types ocaml ocaml-base ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox po-debconf python3 python3-minimal python3.11 python3.11-minimal Suggested packages: autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit | readline-editor why coq-doc dh-make gettext-doc libasprintf-dev libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc python3-tk python3-venv python3.11-venv python3.11-doc binfmt-support Recommended packages: curl | wget | lynx libarchive-cpio-perl javascript-common libltdl-dev ocaml-man ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper debugedit dh-autoreconf dh-coq dh-strip-nondeterminism dwz file gappa gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-flocq libcoq-stdlib libdebhelper-perl libdw1 libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu71 libjs-jquery libjs-sphinxdoc libjs-underscore libmagic-mgc libmagic1 libmpdec3 libncurses-dev libncurses5-dev libpipeline1 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev m4 man-db media-types ocaml ocaml-base ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox po-debconf python3 python3-minimal python3.11 python3.11-minimal sbuild-build-depends-main-dummy 0 upgraded, 67 newly installed, 0 to remove and 0 not upgraded. Need to get 366 MB of archives. After this operation, 1196 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [720 B] Get:2 http://ftpmaster.internal/ubuntu lunar/main armhf libpython3.11-minimal armhf 3.11.1-2 [816 kB] Get:3 http://ftpmaster.internal/ubuntu lunar/main armhf libexpat1 armhf 2.5.0-1 [63.4 kB] Get:4 http://ftpmaster.internal/ubuntu lunar/main armhf python3.11-minimal armhf 3.11.1-2 [1922 kB] Get:5 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf python3-minimal armhf 3.11.1-0ubuntu1 [24.2 kB] Get:6 http://ftpmaster.internal/ubuntu lunar/main armhf media-types all 8.0.0 [24.9 kB] Get:7 http://ftpmaster.internal/ubuntu lunar/main armhf libmpdec3 armhf 2.5.1-2build2 [76.5 kB] Get:8 http://ftpmaster.internal/ubuntu lunar/main armhf libpython3.11-stdlib armhf 3.11.1-2 [1735 kB] Get:9 http://ftpmaster.internal/ubuntu lunar/main armhf python3.11 armhf 3.11.1-2 [561 kB] Get:10 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libpython3-stdlib armhf 3.11.1-0ubuntu1 [6872 B] Get:11 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf python3 armhf 3.11.1-0ubuntu1 [22.5 kB] Get:12 http://ftpmaster.internal/ubuntu lunar/main armhf libelf1 armhf 0.188-2.1 [46.0 kB] Get:13 http://ftpmaster.internal/ubuntu lunar/main armhf libicu71 armhf 71.1-3ubuntu1 [10.3 MB] Get:14 http://ftpmaster.internal/ubuntu lunar/main armhf libxml2 armhf 2.9.14+dfsg-1.1 [588 kB] Get:15 http://ftpmaster.internal/ubuntu lunar/main armhf bsdextrautils armhf 2.38.1-4ubuntu1 [76.4 kB] Get:16 http://ftpmaster.internal/ubuntu lunar/main armhf libmagic-mgc armhf 1:5.44-2 [293 kB] Get:17 http://ftpmaster.internal/ubuntu lunar/main armhf libmagic1 armhf 1:5.44-2 [80.4 kB] Get:18 http://ftpmaster.internal/ubuntu lunar/main armhf file armhf 1:5.44-2 [20.9 kB] Get:19 http://ftpmaster.internal/ubuntu lunar/main armhf gettext-base armhf 0.21-10 [37.3 kB] Get:20 http://ftpmaster.internal/ubuntu lunar/main armhf libuchardet0 armhf 0.0.7-1build2 [75.7 kB] Get:21 http://ftpmaster.internal/ubuntu lunar/main armhf groff-base armhf 1.22.4-9 [849 kB] Get:22 http://ftpmaster.internal/ubuntu lunar/main armhf libpipeline1 armhf 1.5.7-1 [26.2 kB] Get:23 http://ftpmaster.internal/ubuntu lunar/main armhf man-db armhf 2.11.2-1 [1183 kB] Get:24 http://ftpmaster.internal/ubuntu lunar/main armhf m4 armhf 1.4.19-2 [235 kB] Get:25 http://ftpmaster.internal/ubuntu lunar/main armhf autoconf all 2.71-3 [339 kB] Get:26 http://ftpmaster.internal/ubuntu lunar/main armhf autotools-dev all 20220109.1 [44.9 kB] Get:27 http://ftpmaster.internal/ubuntu lunar/main armhf automake all 1:1.16.5-1.3 [558 kB] Get:28 http://ftpmaster.internal/ubuntu lunar/main armhf autopoint all 0.21-10 [421 kB] Get:29 http://ftpmaster.internal/ubuntu lunar-proposed/universe armhf libcoq-stdlib armhf 8.16.1+dfsg-1build1 [24.5 MB] Get:30 http://ftpmaster.internal/ubuntu lunar/universe armhf ocaml-base armhf 4.13.1-3ubuntu1 [509 kB] Get:31 http://ftpmaster.internal/ubuntu lunar-proposed/universe armhf libfindlib-ocaml armhf 1.9.6-1 [197 kB] Get:32 http://ftpmaster.internal/ubuntu lunar/universe armhf libzarith-ocaml armhf 1.12-1build1 [54.7 kB] Get:33 http://ftpmaster.internal/ubuntu lunar-proposed/universe armhf libcoq-core-ocaml armhf 8.16.1+dfsg-1build1 [26.8 MB] Get:34 http://ftpmaster.internal/ubuntu lunar/universe armhf ocaml-compiler-libs armhf 4.13.1-3ubuntu1 [34.8 MB] Get:35 http://ftpmaster.internal/ubuntu lunar/universe armhf ocaml-interp armhf 4.13.1-3ubuntu1 [7488 kB] Get:36 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libncurses-dev armhf 6.4-2 [344 kB] Get:37 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libncurses5-dev armhf 6.4-2 [782 B] Get:38 http://ftpmaster.internal/ubuntu lunar/universe armhf ocaml armhf 4.13.1-3ubuntu1 [84.9 MB] Get:39 http://ftpmaster.internal/ubuntu lunar/universe armhf ocaml-nox all 4.13.1-3ubuntu1 [3082 B] Get:40 http://ftpmaster.internal/ubuntu lunar-proposed/universe armhf ocaml-findlib armhf 1.9.6-1 [517 kB] Get:41 http://ftpmaster.internal/ubuntu lunar-proposed/universe armhf coq armhf 8.16.1+dfsg-1build1 [107 MB] Get:42 http://ftpmaster.internal/ubuntu lunar/main armhf libdebhelper-perl all 13.11.4ubuntu3 [66.1 kB] Get:43 http://ftpmaster.internal/ubuntu lunar/main armhf libtool all 2.4.7-5 [166 kB] Get:44 http://ftpmaster.internal/ubuntu lunar/main armhf dh-autoreconf all 20 [16.1 kB] Get:45 http://ftpmaster.internal/ubuntu lunar/main armhf libarchive-zip-perl all 1.68-1 [90.2 kB] Get:46 http://ftpmaster.internal/ubuntu lunar/main armhf libsub-override-perl all 0.09-4 [8706 B] Get:47 http://ftpmaster.internal/ubuntu lunar/main armhf libfile-stripnondeterminism-perl all 1.13.1-1 [18.1 kB] Get:48 http://ftpmaster.internal/ubuntu lunar/main armhf dh-strip-nondeterminism all 1.13.1-1 [5362 B] Get:49 http://ftpmaster.internal/ubuntu lunar/main armhf libdw1 armhf 0.188-2.1 [227 kB] Get:50 http://ftpmaster.internal/ubuntu lunar/main armhf debugedit armhf 1:5.0-5 [42.8 kB] Get:51 http://ftpmaster.internal/ubuntu lunar/main armhf dwz armhf 0.15-1 [109 kB] Get:52 http://ftpmaster.internal/ubuntu lunar/main armhf gettext armhf 0.21-10 [802 kB] Get:53 http://ftpmaster.internal/ubuntu lunar/main armhf intltool-debian all 0.35.0+20060710.6 [23.2 kB] Get:54 http://ftpmaster.internal/ubuntu lunar/main armhf po-debconf all 1.0.21+nmu1 [233 kB] Get:55 http://ftpmaster.internal/ubuntu lunar/main armhf debhelper all 13.11.4ubuntu3 [925 kB] Get:56 http://ftpmaster.internal/ubuntu lunar/universe armhf dh-coq all 0.5 [7382 B] Get:57 http://ftpmaster.internal/ubuntu lunar/main armhf libjs-jquery all 3.6.1+dfsg+~3.5.14-1 [328 kB] Get:58 http://ftpmaster.internal/ubuntu lunar/main armhf libjs-underscore all 1.13.4~dfsg+~1.11.4-3 [118 kB] Get:59 http://ftpmaster.internal/ubuntu lunar-proposed/main armhf libjs-sphinxdoc all 5.3.0-3 [129 kB] Get:60 http://ftpmaster.internal/ubuntu lunar/universe armhf gappa armhf 1.4.1-1 [420 kB] Get:61 http://ftpmaster.internal/ubuntu lunar-proposed/universe armhf libfindlib-ocaml-dev armhf 1.9.6-1 [181 kB] Get:62 http://ftpmaster.internal/ubuntu lunar/main armhf libgmpxx4ldbl armhf 2:6.2.1+dfsg1-1.1ubuntu1 [9134 B] Get:63 http://ftpmaster.internal/ubuntu lunar/main armhf libgmp-dev armhf 2:6.2.1+dfsg1-1.1ubuntu1 [284 kB] Get:64 http://ftpmaster.internal/ubuntu lunar/main armhf libgmp3-dev armhf 2:6.2.1+dfsg1-1.1ubuntu1 [2298 B] Get:65 http://ftpmaster.internal/ubuntu lunar/universe armhf libzarith-ocaml-dev armhf 1.12-1build1 [101 kB] Get:66 http://ftpmaster.internal/ubuntu lunar-proposed/universe armhf libcoq-core-ocaml-dev armhf 8.16.1+dfsg-1build1 [50.0 MB] Get:67 http://ftpmaster.internal/ubuntu lunar-proposed/universe armhf libcoq-flocq armhf 4.1.0-3build1 [3788 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 366 MB in 3min 19s (1839 kB/s) Selecting previously unselected package libpython3.11-minimal:armhf. (Reading database ... 12887 files and directories currently installed.) Preparing to unpack .../libpython3.11-minimal_3.11.1-2_armhf.deb ... Unpacking libpython3.11-minimal:armhf (3.11.1-2) ... Selecting previously unselected package libexpat1:armhf. Preparing to unpack .../libexpat1_2.5.0-1_armhf.deb ... Unpacking libexpat1:armhf (2.5.0-1) ... Selecting previously unselected package python3.11-minimal. Preparing to unpack .../python3.11-minimal_3.11.1-2_armhf.deb ... Unpacking python3.11-minimal (3.11.1-2) ... Setting up libpython3.11-minimal:armhf (3.11.1-2) ... Setting up libexpat1:armhf (2.5.0-1) ... Setting up python3.11-minimal (3.11.1-2) ... Selecting previously unselected package python3-minimal. (Reading database ... 13201 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.11.1-0ubuntu1_armhf.deb ... Unpacking python3-minimal (3.11.1-0ubuntu1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_8.0.0_all.deb ... Unpacking media-types (8.0.0) ... Selecting previously unselected package libmpdec3:armhf. Preparing to unpack .../2-libmpdec3_2.5.1-2build2_armhf.deb ... Unpacking libmpdec3:armhf (2.5.1-2build2) ... Selecting previously unselected package libpython3.11-stdlib:armhf. Preparing to unpack .../3-libpython3.11-stdlib_3.11.1-2_armhf.deb ... Unpacking libpython3.11-stdlib:armhf (3.11.1-2) ... Selecting previously unselected package python3.11. Preparing to unpack .../4-python3.11_3.11.1-2_armhf.deb ... Unpacking python3.11 (3.11.1-2) ... Selecting previously unselected package libpython3-stdlib:armhf. Preparing to unpack .../5-libpython3-stdlib_3.11.1-0ubuntu1_armhf.deb ... Unpacking libpython3-stdlib:armhf (3.11.1-0ubuntu1) ... Setting up python3-minimal (3.11.1-0ubuntu1) ... Selecting previously unselected package python3. (Reading database ... 13613 files and directories currently installed.) Preparing to unpack .../00-python3_3.11.1-0ubuntu1_armhf.deb ... Unpacking python3 (3.11.1-0ubuntu1) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../01-libelf1_0.188-2.1_armhf.deb ... Unpacking libelf1:armhf (0.188-2.1) ... Selecting previously unselected package libicu71:armhf. Preparing to unpack .../02-libicu71_71.1-3ubuntu1_armhf.deb ... Unpacking libicu71:armhf (71.1-3ubuntu1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../03-libxml2_2.9.14+dfsg-1.1_armhf.deb ... Unpacking libxml2:armhf (2.9.14+dfsg-1.1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../04-bsdextrautils_2.38.1-4ubuntu1_armhf.deb ... Unpacking bsdextrautils (2.38.1-4ubuntu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../05-libmagic-mgc_1%3a5.44-2_armhf.deb ... Unpacking libmagic-mgc (1:5.44-2) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../06-libmagic1_1%3a5.44-2_armhf.deb ... Unpacking libmagic1:armhf (1:5.44-2) ... Selecting previously unselected package file. Preparing to unpack .../07-file_1%3a5.44-2_armhf.deb ... Unpacking file (1:5.44-2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../08-gettext-base_0.21-10_armhf.deb ... Unpacking gettext-base (0.21-10) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../09-libuchardet0_0.0.7-1build2_armhf.deb ... Unpacking libuchardet0:armhf (0.0.7-1build2) ... Selecting previously unselected package groff-base. Preparing to unpack .../10-groff-base_1.22.4-9_armhf.deb ... Unpacking groff-base (1.22.4-9) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../11-libpipeline1_1.5.7-1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../12-man-db_2.11.2-1_armhf.deb ... Unpacking man-db (2.11.2-1) ... Selecting previously unselected package m4. Preparing to unpack .../13-m4_1.4.19-2_armhf.deb ... Unpacking m4 (1.4.19-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../14-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../15-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../16-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../17-autopoint_0.21-10_all.deb ... Unpacking autopoint (0.21-10) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../18-libcoq-stdlib_8.16.1+dfsg-1build1_armhf.deb ... Unpacking libcoq-stdlib (8.16.1+dfsg-1build1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../19-ocaml-base_4.13.1-3ubuntu1_armhf.deb ... Unpacking ocaml-base (4.13.1-3ubuntu1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../20-libfindlib-ocaml_1.9.6-1_armhf.deb ... Unpacking libfindlib-ocaml (1.9.6-1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../21-libzarith-ocaml_1.12-1build1_armhf.deb ... Unpacking libzarith-ocaml (1.12-1build1) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../22-libcoq-core-ocaml_8.16.1+dfsg-1build1_armhf.deb ... Unpacking libcoq-core-ocaml (8.16.1+dfsg-1build1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../23-ocaml-compiler-libs_4.13.1-3ubuntu1_armhf.deb ... Unpacking ocaml-compiler-libs (4.13.1-3ubuntu1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../24-ocaml-interp_4.13.1-3ubuntu1_armhf.deb ... Unpacking ocaml-interp (4.13.1-3ubuntu1) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../25-libncurses-dev_6.4-2_armhf.deb ... Unpacking libncurses-dev:armhf (6.4-2) ... Selecting previously unselected package libncurses5-dev:armhf. Preparing to unpack .../26-libncurses5-dev_6.4-2_armhf.deb ... Unpacking libncurses5-dev:armhf (6.4-2) ... Selecting previously unselected package ocaml. Preparing to unpack .../27-ocaml_4.13.1-3ubuntu1_armhf.deb ... Unpacking ocaml (4.13.1-3ubuntu1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../28-ocaml-nox_4.13.1-3ubuntu1_all.deb ... Unpacking ocaml-nox (4.13.1-3ubuntu1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../29-ocaml-findlib_1.9.6-1_armhf.deb ... Unpacking ocaml-findlib (1.9.6-1) ... Selecting previously unselected package coq. Preparing to unpack .../30-coq_8.16.1+dfsg-1build1_armhf.deb ... Unpacking coq (8.16.1+dfsg-1build1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../31-libdebhelper-perl_13.11.4ubuntu3_all.deb ... Unpacking libdebhelper-perl (13.11.4ubuntu3) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.4.7-5_all.deb ... Unpacking libtool (2.4.7-5) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../33-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../34-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../35-libsub-override-perl_0.09-4_all.deb ... Unpacking libsub-override-perl (0.09-4) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../36-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../37-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libdw1:armhf. Preparing to unpack .../38-libdw1_0.188-2.1_armhf.deb ... Unpacking libdw1:armhf (0.188-2.1) ... Selecting previously unselected package debugedit. Preparing to unpack .../39-debugedit_1%3a5.0-5_armhf.deb ... Unpacking debugedit (1:5.0-5) ... Selecting previously unselected package dwz. Preparing to unpack .../40-dwz_0.15-1_armhf.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package gettext. Preparing to unpack .../41-gettext_0.21-10_armhf.deb ... Unpacking gettext (0.21-10) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../42-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../43-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../44-debhelper_13.11.4ubuntu3_all.deb ... Unpacking debhelper (13.11.4ubuntu3) ... Selecting previously unselected package dh-coq. Preparing to unpack .../45-dh-coq_0.5_all.deb ... Unpacking dh-coq (0.5) ... Selecting previously unselected package libjs-jquery. Preparing to unpack .../46-libjs-jquery_3.6.1+dfsg+~3.5.14-1_all.deb ... Unpacking libjs-jquery (3.6.1+dfsg+~3.5.14-1) ... Selecting previously unselected package libjs-underscore. Preparing to unpack .../47-libjs-underscore_1.13.4~dfsg+~1.11.4-3_all.deb ... Unpacking libjs-underscore (1.13.4~dfsg+~1.11.4-3) ... Selecting previously unselected package libjs-sphinxdoc. Preparing to unpack .../48-libjs-sphinxdoc_5.3.0-3_all.deb ... Unpacking libjs-sphinxdoc (5.3.0-3) ... Selecting previously unselected package gappa. Preparing to unpack .../49-gappa_1.4.1-1_armhf.deb ... Unpacking gappa (1.4.1-1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../50-libfindlib-ocaml-dev_1.9.6-1_armhf.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-1) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Preparing to unpack .../51-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1ubuntu1_armhf.deb ... Unpacking libgmpxx4ldbl:armhf (2:6.2.1+dfsg1-1.1ubuntu1) ... Selecting previously unselected package libgmp-dev:armhf. Preparing to unpack .../52-libgmp-dev_2%3a6.2.1+dfsg1-1.1ubuntu1_armhf.deb ... Unpacking libgmp-dev:armhf (2:6.2.1+dfsg1-1.1ubuntu1) ... Selecting previously unselected package libgmp3-dev:armhf. Preparing to unpack .../53-libgmp3-dev_2%3a6.2.1+dfsg1-1.1ubuntu1_armhf.deb ... Unpacking libgmp3-dev:armhf (2:6.2.1+dfsg1-1.1ubuntu1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../54-libzarith-ocaml-dev_1.12-1build1_armhf.deb ... Unpacking libzarith-ocaml-dev (1.12-1build1) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../55-libcoq-core-ocaml-dev_8.16.1+dfsg-1build1_armhf.deb ... Unpacking libcoq-core-ocaml-dev (8.16.1+dfsg-1build1) ... Selecting previously unselected package libcoq-flocq. Preparing to unpack .../56-libcoq-flocq_4.1.0-3build1_armhf.deb ... Unpacking libcoq-flocq (4.1.0-3build1) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../57-sbuild-build-depends-main-dummy_0.invalid.0_armhf.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (8.0.0) ... Setting up libpipeline1:armhf (1.5.7-1) ... Setting up libicu71:armhf (71.1-3ubuntu1) ... Setting up libncurses-dev:armhf (6.4-2) ... Setting up bsdextrautils (2.38.1-4ubuntu1) ... Setting up libmagic-mgc (1:5.44-2) ... Setting up dh-coq (0.5) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.11.4ubuntu3) ... Setting up libmagic1:armhf (1:5.44-2) ... Setting up gettext-base (0.21-10) ... Setting up m4 (1.4.19-2) ... Setting up file (1:5.44-2) ... Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.16.1+dfsg-1build1) ... Setting up libgmpxx4ldbl:armhf (2:6.2.1+dfsg1-1.1ubuntu1) ... Setting up libcoq-flocq (4.1.0-3build1) ... Setting up autopoint (0.21-10) ... Setting up ocaml-base (4.13.1-3ubuntu1) ... Setting up autoconf (2.71-3) ... Setting up libuchardet0:armhf (0.0.7-1build2) ... Setting up libncurses5-dev:armhf (6.4-2) ... Setting up libmpdec3:armhf (2.5.1-2build2) ... Setting up libsub-override-perl (0.09-4) ... Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ... Setting up libelf1:armhf (0.188-2.1) ... Setting up libxml2:armhf (2.9.14+dfsg-1.1) ... Setting up libjs-underscore (1.13.4~dfsg+~1.11.4-3) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up libdw1:armhf (0.188-2.1) ... Setting up gettext (0.21-10) ... Setting up libgmp-dev:armhf (2:6.2.1+dfsg1-1.1ubuntu1) ... Setting up libtool (2.4.7-5) ... Setting up libpython3.11-stdlib:armhf (3.11.1-2) ... Setting up libfindlib-ocaml (1.9.6-1) ... Setting up libzarith-ocaml (1.12-1build1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up ocaml-findlib (1.9.6-1) ... Setting up libjs-sphinxdoc (5.3.0-3) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up dwz (0.15-1) ... Setting up libcoq-core-ocaml (8.16.1+dfsg-1build1) ... Setting up groff-base (1.22.4-9) ... Setting up libgmp3-dev:armhf (2:6.2.1+dfsg1-1.1ubuntu1) ... Setting up debugedit (1:5.0-5) ... Setting up libpython3-stdlib:armhf (3.11.1-0ubuntu1) ... Setting up gappa (1.4.1-1) ... Setting up python3.11 (3.11.1-2) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up python3 (3.11.1-0ubuntu1) ... Setting up man-db (2.11.2-1) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer → /lib/systemd/system/man-db.timer. Setting up debhelper (13.11.4ubuntu3) ... Setting up ocaml-compiler-libs (4.13.1-3ubuntu1) ... Setting up ocaml-interp (4.13.1-3ubuntu1) ... Setting up ocaml (4.13.1-3ubuntu1) ... Setting up libfindlib-ocaml-dev (1.9.6-1) ... Setting up ocaml-nox (4.13.1-3ubuntu1) ... Setting up coq (8.16.1+dfsg-1build1) ... Setting up libzarith-ocaml-dev (1.12-1build1) ... Setting up libcoq-core-ocaml-dev (8.16.1+dfsg-1build1) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.36-0ubuntu4) ... Processing triggers for systemd (252.4-1ubuntu1) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (armhf included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 5.4.0-137-generic #154-Ubuntu SMP Thu Jan 5 17:03:02 UTC 2023 arm64 (armv7l) Toolchain package versions: binutils_2.40-2ubuntu1 dpkg-dev_1.21.18ubuntu3 g++-12_12.2.0-14ubuntu1 gcc-12_12.2.0-14ubuntu1 libc6-dev_2.36-0ubuntu4 libstdc++-12-dev_12.2.0-14ubuntu1 libstdc++6_12.2.0-14ubuntu1 linux-libc-dev_5.19.0-23.24 Package versions: adduser_3.129ubuntu1 advancecomp_2.5-1 apt_2.5.5 autoconf_2.71-3 automake_1:1.16.5-1.3 autopoint_0.21-10 autotools-dev_20220109.1 base-files_12.3ubuntu1 base-passwd_3.6.1 bash_5.2.15-2ubuntu1 binutils_2.40-2ubuntu1 binutils-arm-linux-gnueabihf_2.40-2ubuntu1 binutils-common_2.40-2ubuntu1 bsdextrautils_2.38.1-4ubuntu1 bsdutils_1:2.38.1-4ubuntu1 build-essential_12.9ubuntu3 bzip2_1.0.8-5build1 ca-certificates_20211016ubuntu1 coq_8.16.1+dfsg-1build1 coreutils_9.1-1ubuntu2 cpp_4:12.2.0-1ubuntu1 cpp-12_12.2.0-14ubuntu1 dash_0.5.11+git20210903+057cd650a4ed-9ubuntu1 debconf_1.5.82 debhelper_13.11.4ubuntu3 debianutils_5.7-0.4 debugedit_1:5.0-5 dh-autoreconf_20 dh-coq_0.5 dh-strip-nondeterminism_1.13.1-1 diffutils_1:3.8-3 dpkg_1.21.18ubuntu3 dpkg-dev_1.21.18ubuntu3 dwz_0.15-1 e2fsprogs_1.46.6~rc1-1ubuntu1 fakeroot_1.30.1-1.1ubuntu1 file_1:5.44-2 findutils_4.9.0-3ubuntu1 g++_4:12.2.0-1ubuntu1 g++-12_12.2.0-14ubuntu1 gappa_1.4.1-1 gcc_4:12.2.0-1ubuntu1 gcc-12_12.2.0-14ubuntu1 gcc-12-base_12.2.0-14ubuntu1 gettext_0.21-10 gettext-base_0.21-10 gpg_2.2.40-1ubuntu2 gpg-agent_2.2.40-1ubuntu2 gpgconf_2.2.40-1ubuntu2 gpgv_2.2.40-1ubuntu2 grep_3.8-3 groff-base_1.22.4-9 gzip_1.12-1ubuntu1 hostname_3.23ubuntu2 init_1.65.2 init-system-helpers_1.65.2 intltool-debian_0.35.0+20060710.6 libacl1_2.3.1-3 libapparmor1_3.0.8-1ubuntu1 libapt-pkg6.0_2.5.5 libarchive-zip-perl_1.68-1 libargon2-1_0~20171227-0.3 libasan8_12.2.0-14ubuntu1 libassuan0_2.5.5-5 libatomic1_12.2.0-14ubuntu1 libattr1_1:2.5.1-4 libaudit-common_1:3.0.7-1.1 libaudit1_1:3.0.7-1.1 libbinutils_2.40-2ubuntu1 libblkid1_2.38.1-4ubuntu1 libbz2-1.0_1.0.8-5build1 libc-bin_2.36-0ubuntu4 libc-dev-bin_2.36-0ubuntu4 libc6_2.36-0ubuntu4 libc6-dev_2.36-0ubuntu4 libcap-ng0_0.8.3-1build1 libcap2_1:2.66-3ubuntu1 libcc1-0_12.2.0-14ubuntu1 libcom-err2_1.46.6~rc1-1ubuntu1 libcoq-core-ocaml_8.16.1+dfsg-1build1 libcoq-core-ocaml-dev_8.16.1+dfsg-1build1 libcoq-flocq_4.1.0-3build1 libcoq-stdlib_8.16.1+dfsg-1build1 libcrypt-dev_1:4.4.33-2 libcrypt1_1:4.4.33-2 libcryptsetup12_2:2.5.0-6ubuntu3 libctf-nobfd0_2.40-2ubuntu1 libctf0_2.40-2ubuntu1 libdb5.3_5.3.28+dfsg2-1 libdebconfclient0_0.264ubuntu1 libdebhelper-perl_13.11.4ubuntu3 libdevmapper1.02.1_2:1.02.185-1ubuntu1 libdpkg-perl_1.21.18ubuntu3 libdw1_0.188-2.1 libelf1_0.188-2.1 libexpat1_2.5.0-1 libext2fs2_1.46.6~rc1-1ubuntu1 libfakeroot_1.30.1-1.1ubuntu1 libfdisk1_2.38.1-4ubuntu1 libffi8_3.4.4-1 libfile-stripnondeterminism-perl_1.13.1-1 libfindlib-ocaml_1.9.6-1 libfindlib-ocaml-dev_1.9.6-1 libgcc-12-dev_12.2.0-14ubuntu1 libgcc-s1_12.2.0-14ubuntu1 libgcrypt20_1.10.1-3ubuntu1 libgdbm-compat4_1.23-3 libgdbm6_1.23-3 libgmp-dev_2:6.2.1+dfsg1-1.1ubuntu1 libgmp10_2:6.2.1+dfsg1-1.1ubuntu1 libgmp3-dev_2:6.2.1+dfsg1-1.1ubuntu1 libgmpxx4ldbl_2:6.2.1+dfsg1-1.1ubuntu1 libgnutls30_3.7.8-4ubuntu1 libgomp1_12.2.0-14ubuntu1 libgpg-error0_1.46-1 libgssapi-krb5-2_1.20.1-1build1 libhogweed6_3.8.1-2 libicu71_71.1-3ubuntu1 libidn2-0_2.3.3-1build1 libip4tc2_1.8.7-1ubuntu7 libisl23_0.25-1 libjansson4_2.14-2 libjs-jquery_3.6.1+dfsg+~3.5.14-1 libjs-sphinxdoc_5.3.0-3 libjs-underscore_1.13.4~dfsg+~1.11.4-3 libjson-c5_0.16-2 libk5crypto3_1.20.1-1build1 libkeyutils1_1.6.3-2 libkmod2_30+20220905-1ubuntu1 libkrb5-3_1.20.1-1build1 libkrb5support0_1.20.1-1build1 liblockfile-bin_1.17-1build2 liblockfile1_1.17-1build2 liblz4-1_1.9.4-1 liblzma5_5.4.1-0.0 libmagic-mgc_1:5.44-2 libmagic1_1:5.44-2 libmd0_1.0.4-2 libmount1_2.38.1-4ubuntu1 libmpc3_1.3.1-1 libmpdec3_2.5.1-2build2 libmpfr6_4.2.0-1 libncurses-dev_6.4-2 libncurses5-dev_6.4-2 libncurses6_6.4-2 libncursesw6_6.4-2 libnettle8_3.8.1-2 libnpth0_1.6-3build2 libnsl-dev_1.3.0-2build2 libnsl2_1.3.0-2build2 libp11-kit0_0.24.1-2ubuntu1 libpam-modules_1.5.2-5ubuntu1 libpam-modules-bin_1.5.2-5ubuntu1 libpam-runtime_1.5.2-5ubuntu1 libpam0g_1.5.2-5ubuntu1 libpcre2-8-0_10.42-1 libperl5.36_5.36.0-7 libpipeline1_1.5.7-1 libpng16-16_1.6.39-2 libprocps8_2:3.3.17-7ubuntu1 libpython3-stdlib_3.11.1-0ubuntu1 libpython3.11-minimal_3.11.1-2 libpython3.11-stdlib_3.11.1-2 libreadline8_8.2-1.3 libseccomp2_2.5.4-1ubuntu2 libselinux1_3.4-1build2 libsemanage-common_3.4-1build2 libsemanage2_3.4-1build2 libsepol2_3.4-2 libsmartcols1_2.38.1-4ubuntu1 libsqlite3-0_3.40.1-1 libss2_1.46.6~rc1-1ubuntu1 libssl3_3.0.7-1ubuntu1 libstdc++-12-dev_12.2.0-14ubuntu1 libstdc++6_12.2.0-14ubuntu1 libsub-override-perl_0.09-4 libsystemd-shared_252.4-1ubuntu1 libsystemd0_252.4-1ubuntu1 libtasn1-6_4.19.0-2 libtinfo6_6.4-2 libtirpc-common_1.3.3+ds-1 libtirpc-dev_1.3.3+ds-1 libtirpc3_1.3.3+ds-1 libtool_2.4.7-5 libubsan1_12.2.0-14ubuntu1 libuchardet0_0.0.7-1build2 libudev1_252.4-1ubuntu1 libunistring2_1.0-2 libuuid1_2.38.1-4ubuntu1 libxml2_2.9.14+dfsg-1.1 libxxhash0_0.8.1-1 libzarith-ocaml_1.12-1build1 libzarith-ocaml-dev_1.12-1build1 libzstd1_1.5.2+dfsg2-3 linux-libc-dev_5.19.0-23.24 lockfile-progs_0.1.19build1 login_1:4.13+dfsg1-1ubuntu1 logsave_1.46.6~rc1-1ubuntu1 lsb-base_11.5 lto-disabled-list_37 m4_1.4.19-2 make_4.3-4.1build1 man-db_2.11.2-1 mawk_1.3.4.20200120-3.1 media-types_8.0.0 mount_2.38.1-4ubuntu1 ncurses-base_6.4-2 ncurses-bin_6.4-2 ocaml_4.13.1-3ubuntu1 ocaml-base_4.13.1-3ubuntu1 ocaml-compiler-libs_4.13.1-3ubuntu1 ocaml-findlib_1.9.6-1 ocaml-interp_4.13.1-3ubuntu1 ocaml-nox_4.13.1-3ubuntu1 openssl_3.0.7-1ubuntu1 optipng_0.7.7-2build1 passwd_1:4.13+dfsg1-1ubuntu1 patch_2.7.6-7build2 perl_5.36.0-7 perl-base_5.36.0-7 perl-modules-5.36_5.36.0-7 pinentry-curses_1.2.1-1ubuntu1 pkgbinarymangler_151 po-debconf_1.0.21+nmu1 policyrcd-script-zg2_0.1-3.1 procps_2:3.3.17-7ubuntu1 python3_3.11.1-0ubuntu1 python3-minimal_3.11.1-0ubuntu1 python3.11_3.11.1-2 python3.11-minimal_3.11.1-2 readline-common_8.2-1.3 rpcsvc-proto_1.4.2-0ubuntu6 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-1 sensible-utils_0.0.17+nmu1 systemd_252.4-1ubuntu1 systemd-sysv_252.4-1ubuntu1 sysvinit-utils_3.05-7ubuntu2 tar_1.34+dfsg-1.1 tzdata_2022g-2ubuntu1 ubuntu-keyring_2021.03.26 usrmerge_33ubuntu1 util-linux_2.38.1-4ubuntu1 util-linux-extra_2.38.1-4ubuntu1 xz-utils_5.4.1-0.0 zlib1g_1:1.2.13.dfsg-1ubuntu4 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: coq-gappa Binary: libcoq-gappa Architecture: any Version: 1.5.2-5 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://gappa.gitlabpages.inria.fr Standards-Version: 4.6.1 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-gappa Vcs-Git: https://salsa.debian.org/ocaml-team/coq-gappa.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: debhelper-compat (= 13), dh-coq, gappa, libcoq-flocq, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-findlib Package-List: libcoq-gappa deb math optional arch=any Checksums-Sha1: fd1bc27343ba1771ddc5baee93ec92275f7f9061 73542 coq-gappa_1.5.2.orig.tar.bz2 bd4e66b67a182c979b18d33fb66a25429e76e15a 2008 coq-gappa_1.5.2-5.debian.tar.xz Checksums-Sha256: a8e43645ebb796851ddd5f6fc9abb4745401af265286ad57b4ebc425631f3da0 73542 coq-gappa_1.5.2.orig.tar.bz2 6f74d633e84e9e4efd1b814b74cc06951dd825bdb14fc31a7987372ce4d98305 2008 coq-gappa_1.5.2-5.debian.tar.xz Files: 826d7d56a103fc2c822f26e4db87e493 73542 coq-gappa_1.5.2.orig.tar.bz2 e8afa5036be67bee1682a0ebdb738a51 2008 coq-gappa_1.5.2-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRGpQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRDEgP/3iq1aC1udsF6V7/JbqcALN6AZyzWPiG r8s8rDfNigjYZsp2kjg9WGwizlfR7psgwJtmJrR3q2JJqzmVew2CJlkLYwaNi2Fg KRbDqfpyczbd0JR6TpTPDQW3+BGJmgNP/ZbLJKQqtAAS2U0zztu2sg8TLpjntS0k 5EdzRamSMdSyV1nuMzLwDl/8GmzKnecfa8z29DxxPsipi+A1NTk9qre342KQ+aWj A1zjnsKpUETLl8Ls6QsVXpYFPoEOcPKJPMoYTzJiiucWaU552xWQRFtuLL0xtLRl 7mTRtzZC9z9EwBKm+LWXX8jx1CbuYzvt/euTDnSN5Rk+saplb0ChmIjWpJNFkkLD JuLmupmMu5V2sBJwz5Yp7ZsRCj4lx4cJmbujxQmedP40+tCxsJLM8lkUpFdCAfWG rhuIvbalxOn7PytJXC6b5ZEYXabh/avCPcROAgyprJRGun/ensnEmol7AbY5arCP zh14PHjGxmYDhoePAYxD3mAeja3IflMNJ650DI1O41iX5mG5MZwKZYuJZhrHXyD3 x3Xar9f555GBmHdafzCUS/kaEnD1E81BE/If7E8vZkdqHDrM4egf8WrKoqiDzrG8 dafxr7oHAWmEIfQ9d19/Oy6NRXR8NHLcmU8LRETGqooaEpqS0BeFX8f/HXs15ch/ pY5sYjKz3/4G =Ee0c -----END PGP SIGNATURE----- gpgv: Signature made Wed Jan 25 12:03:32 2023 UTC gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 gpgv: issuer "jpuydt@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./coq-gappa_1.5.2-5.dsc: no acceptable signature found dpkg-source: info: extracting coq-gappa in /<> dpkg-source: info: unpacking coq-gappa_1.5.2.orig.tar.bz2 dpkg-source: info: unpacking coq-gappa_1.5.2-5.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying coq_8.16.patch Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-25524060 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-25524060 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-25524060 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- Command: dpkg-buildpackage -us -uc -mLaunchpad Build Daemon -B -rfakeroot dpkg-buildpackage: info: source package coq-gappa dpkg-buildpackage: info: source version 1.5.2-5 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf debian/rules clean dh clean --with coq dh_clean debian/rules binary-arch dh binary-arch --with coq dh_update_autotools_config -a dh_autoreconf -a autoreconf: warning: autoconf input should be named 'configure.ac', not 'configure.in' aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' configure.in:5: warning: prefer named diversions dh_auto_configure -a ./configure --build=arm-linux-gnueabihf --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-option-checking --disable-silent-rules --libdir=\${prefix}/lib/arm-linux-gnueabihf --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking how to run the C preprocessor... gcc -E checking for coqc >= 8.8... /usr/bin/coqc checking for coqdep... /usr/bin/coqdep checking for ocamlfind... /usr/bin/ocamlfind checking for Flocq >= 3.0... yes checking for native development files... yes checking for bytecode development files... yes checking for g++... g++ checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed configure: building remake... /usr/bin/ld: /tmp/ccrAr6iS.o: in function `main': remake.cpp:(.text.startup+0x7a4): warning: the use of `tempnam' is dangerous, better use `mkstemp' === Summary === Vernacular directory /usr/lib/ocaml/coq/user-contrib Plugin directory /usr/lib/ocaml/coq-gappa Plugin compilation native bytecode configure: creating ./config.status config.status: creating Remakefile debian/rules override_dh_auto_build make[1]: Entering directory '/<>' ./remake Building src/Gappa_common.vo Building src/Gappa_definitions.vo Finished src/Gappa_definitions.vo Building src/Gappa_dyadic.vo Finished src/Gappa_dyadic.vo Building src/Gappa_real.vo File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] Finished src/Gappa_real.vo Finished src/Gappa_common.vo Building src/Gappa_decimal.vo Finished src/Gappa_decimal.vo Building src/Gappa_fixed.vo Building src/Gappa_pred_bnd.vo Finished src/Gappa_pred_bnd.vo Building src/Gappa_round.vo Building src/Gappa_round_aux.vo Finished src/Gappa_round_aux.vo Building src/Gappa_round_def.vo Finished src/Gappa_round_def.vo Finished src/Gappa_round.vo Finished src/Gappa_fixed.vo Building src/Gappa_float.vo Finished src/Gappa_float.vo Building src/Gappa_library.vo Building src/Gappa_pred_abs.vo Building src/Gappa_pred_nzr.vo Finished src/Gappa_pred_nzr.vo File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition,deprecated] Finished src/Gappa_pred_abs.vo Building src/Gappa_pred_fixflt.vo Finished src/Gappa_pred_fixflt.vo Building src/Gappa_pred_rel.vo Finished src/Gappa_pred_rel.vo Building src/Gappa_rewriting.vo Finished src/Gappa_rewriting.vo Building src/Gappa_tree.vo Finished src/Gappa_tree.vo Building src/Gappa_user.vo Finished src/Gappa_user.vo Finished src/Gappa_library.vo Building src/Gappa_obfuscate.vo Finished src/Gappa_obfuscate.vo Building src/Gappa_tactic_loader.v Finished src/Gappa_tactic_loader.v Building src/Gappa_tactic.vo Building src/gappatac.ml Finished src/gappatac.ml Building src/gappatac.cmxs File "src/gappatac.c", line 125, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 830, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 833, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 888, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 891, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. Finished src/gappatac.cmxs Building src/gappatac.cmo File "src/gappatac.c", line 125, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 830, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 833, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 888, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 891, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. Finished src/gappatac.cmo Building src/Gappa_tactic_loader.vo *** Warning: in file src/Gappa_tactic_loader.v, declared ML module ././gappatac has not been found! Finished src/Gappa_tactic_loader.vo Finished src/Gappa_tactic.vo Building all Finished all make[1]: Leaving directory '/<>' create-stamp debian/debhelper-build-stamp dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/<>' DESTDIR=/<>/debian/tmp ./remake install Building install Finished install make[1]: Leaving directory '/<>' dh_install -a dh_installdocs -a dh_installchangelogs -a dh_installexamples -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_dwz -a dwz: debian/libcoq-gappa/usr/lib/ocaml/coq-gappa/gappatac.cmxs: .debug_info section not present dh_strip -a b0121d979edca381efc2828af5b79934f0967d03 dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_coq -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 151 INFO: pkgstriptranslations version 151 pkgstriptranslations: processing libcoq-gappa-dbgsym (in debian/.debhelper/libcoq-gappa/dbgsym-root); do_strip: , oemstrip: pkgstriptranslations: processing libcoq-gappa (in debian/libcoq-gappa); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/.debhelper/libcoq-gappa/dbgsym-root/DEBIAN/control, package libcoq-gappa-dbgsym, directory debian/.debhelper/libcoq-gappa/dbgsym-root dpkg-deb: building package 'libcoq-gappa-dbgsym' in 'debian/.debhelper/scratch-space/build-libcoq-gappa/libcoq-gappa-dbgsym_1.5.2-5_armhf.deb'. Renaming libcoq-gappa-dbgsym_1.5.2-5_armhf.deb to libcoq-gappa-dbgsym_1.5.2-5_armhf.ddeb pkgstripfiles: processing control file: debian/libcoq-gappa/DEBIAN/control, package libcoq-gappa, directory debian/libcoq-gappa pkgstripfiles: Running PNG optimization (using 4 cpus) for package libcoq-gappa ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libcoq-gappa' in '../libcoq-gappa_1.5.2-5_armhf.deb'. dpkg-genbuildinfo --build=any -O../coq-gappa_1.5.2-5_armhf.buildinfo dpkg-genchanges --build=any -mLaunchpad Build Daemon -O../coq-gappa_1.5.2-5_armhf.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 2023-01-26T17:29:09Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ coq-gappa_1.5.2-5_armhf.changes: -------------------------------- Format: 1.8 Date: Wed, 25 Jan 2023 13:03:05 +0100 Source: coq-gappa Binary: libcoq-gappa Built-For-Profiles: noudeb Architecture: armhf Version: 1.5.2-5 Distribution: lunar-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Julien Puydt Description: libcoq-gappa - Coq tactic to use Gappa for floating-point goals Changes: coq-gappa (1.5.2-5) unstable; urgency=medium . * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1: ea6d8f99b9bcb34d8370b162fd34868647d4fe24 6828 coq-gappa_1.5.2-5_armhf.buildinfo 174c2c4cbe8a466df6d7b00e3bc4f78ca50df130 7472 libcoq-gappa-dbgsym_1.5.2-5_armhf.ddeb 1d4a2a5e8f78363a58413f54f9c3b9ac2932fe83 599412 libcoq-gappa_1.5.2-5_armhf.deb Checksums-Sha256: 124418d36edb91d6c9446f631dc4cdba2ea5ca3204bfb3b99be93fc927a8f275 6828 coq-gappa_1.5.2-5_armhf.buildinfo e393ecb80ccc3a9e666e31c3d9cd070d8a33b8e8ce82d2325a7b9fe68759bb75 7472 libcoq-gappa-dbgsym_1.5.2-5_armhf.ddeb c6e6e8cd80664cb169654355a8248ff9fa25fd2ae1fc92c437e39d3876fa72a8 599412 libcoq-gappa_1.5.2-5_armhf.deb Files: dad194c2d3560aca53caae31f067b717 6828 math optional coq-gappa_1.5.2-5_armhf.buildinfo 90c9068ce3be97f485efbc2050d8ea82 7472 debug optional libcoq-gappa-dbgsym_1.5.2-5_armhf.ddeb aa83f8b9212e9c3902a985c3fc9123f3 599412 math optional libcoq-gappa_1.5.2-5_armhf.deb /<>/coq-gappa_1.5.2-5_armhf.changes.new could not be renamed to /<>/coq-gappa_1.5.2-5_armhf.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: coq-gappa Binary: libcoq-gappa libcoq-gappa-dbgsym Architecture: armhf Version: 1.5.2-5 Checksums-Md5: 90c9068ce3be97f485efbc2050d8ea82 7472 libcoq-gappa-dbgsym_1.5.2-5_armhf.ddeb aa83f8b9212e9c3902a985c3fc9123f3 599412 libcoq-gappa_1.5.2-5_armhf.deb Checksums-Sha1: 174c2c4cbe8a466df6d7b00e3bc4f78ca50df130 7472 libcoq-gappa-dbgsym_1.5.2-5_armhf.ddeb 1d4a2a5e8f78363a58413f54f9c3b9ac2932fe83 599412 libcoq-gappa_1.5.2-5_armhf.deb Checksums-Sha256: e393ecb80ccc3a9e666e31c3d9cd070d8a33b8e8ce82d2325a7b9fe68759bb75 7472 libcoq-gappa-dbgsym_1.5.2-5_armhf.ddeb c6e6e8cd80664cb169654355a8248ff9fa25fd2ae1fc92c437e39d3876fa72a8 599412 libcoq-gappa_1.5.2-5_armhf.deb Build-Origin: Ubuntu Build-Architecture: armhf Build-Date: Thu, 26 Jan 2023 17:29:08 +0000 Build-Path: /<> Build-Tainted-By: merged-usr-via-aliased-dirs usr-local-has-programs Installed-Build-Depends: autoconf (= 2.71-3), automake (= 1:1.16.5-1.3), autopoint (= 0.21-10), autotools-dev (= 20220109.1), base-files (= 12.3ubuntu1), base-passwd (= 3.6.1), bash (= 5.2.15-2ubuntu1), binutils (= 2.40-2ubuntu1), binutils-arm-linux-gnueabihf (= 2.40-2ubuntu1), binutils-common (= 2.40-2ubuntu1), bsdextrautils (= 2.38.1-4ubuntu1), bsdutils (= 1:2.38.1-4ubuntu1), build-essential (= 12.9ubuntu3), bzip2 (= 1.0.8-5build1), coq (= 8.16.1+dfsg-1build1), coreutils (= 9.1-1ubuntu2), cpp (= 4:12.2.0-1ubuntu1), cpp-12 (= 12.2.0-14ubuntu1), dash (= 0.5.11+git20210903+057cd650a4ed-9ubuntu1), debconf (= 1.5.82), debhelper (= 13.11.4ubuntu3), debianutils (= 5.7-0.4), debugedit (= 1:5.0-5), dh-autoreconf (= 20), dh-coq (= 0.5), dh-strip-nondeterminism (= 1.13.1-1), diffutils (= 1:3.8-3), dpkg (= 1.21.18ubuntu3), dpkg-dev (= 1.21.18ubuntu3), dwz (= 0.15-1), file (= 1:5.44-2), findutils (= 4.9.0-3ubuntu1), g++ (= 4:12.2.0-1ubuntu1), g++-12 (= 12.2.0-14ubuntu1), gappa (= 1.4.1-1), gcc (= 4:12.2.0-1ubuntu1), gcc-12 (= 12.2.0-14ubuntu1), gcc-12-base (= 12.2.0-14ubuntu1), gettext (= 0.21-10), gettext-base (= 0.21-10), grep (= 3.8-3), groff-base (= 1.22.4-9), gzip (= 1.12-1ubuntu1), hostname (= 3.23ubuntu2), init-system-helpers (= 1.65.2), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.1-3), libarchive-zip-perl (= 1.68-1), libasan8 (= 12.2.0-14ubuntu1), libatomic1 (= 12.2.0-14ubuntu1), libattr1 (= 1:2.5.1-4), libaudit-common (= 1:3.0.7-1.1), libaudit1 (= 1:3.0.7-1.1), libbinutils (= 2.40-2ubuntu1), libblkid1 (= 2.38.1-4ubuntu1), libbz2-1.0 (= 1.0.8-5build1), libc-bin (= 2.36-0ubuntu4), libc-dev-bin (= 2.36-0ubuntu4), libc6 (= 2.36-0ubuntu4), libc6-dev (= 2.36-0ubuntu4), libcap-ng0 (= 0.8.3-1build1), libcap2 (= 1:2.66-3ubuntu1), libcc1-0 (= 12.2.0-14ubuntu1), libcom-err2 (= 1.46.6~rc1-1ubuntu1), libcoq-core-ocaml (= 8.16.1+dfsg-1build1), libcoq-core-ocaml-dev (= 8.16.1+dfsg-1build1), libcoq-flocq (= 4.1.0-3build1), libcoq-stdlib (= 8.16.1+dfsg-1build1), libcrypt-dev (= 1:4.4.33-2), libcrypt1 (= 1:4.4.33-2), libctf-nobfd0 (= 2.40-2ubuntu1), libctf0 (= 2.40-2ubuntu1), libdb5.3 (= 5.3.28+dfsg2-1), libdebconfclient0 (= 0.264ubuntu1), libdebhelper-perl (= 13.11.4ubuntu3), libdpkg-perl (= 1.21.18ubuntu3), libdw1 (= 0.188-2.1), libelf1 (= 0.188-2.1), libexpat1 (= 2.5.0-1), libffi8 (= 3.4.4-1), libfile-stripnondeterminism-perl (= 1.13.1-1), libfindlib-ocaml (= 1.9.6-1), libfindlib-ocaml-dev (= 1.9.6-1), libgcc-12-dev (= 12.2.0-14ubuntu1), libgcc-s1 (= 12.2.0-14ubuntu1), libgcrypt20 (= 1.10.1-3ubuntu1), libgdbm-compat4 (= 1.23-3), libgdbm6 (= 1.23-3), libgmp-dev (= 2:6.2.1+dfsg1-1.1ubuntu1), libgmp10 (= 2:6.2.1+dfsg1-1.1ubuntu1), libgmp3-dev (= 2:6.2.1+dfsg1-1.1ubuntu1), libgmpxx4ldbl (= 2:6.2.1+dfsg1-1.1ubuntu1), libgomp1 (= 12.2.0-14ubuntu1), libgpg-error0 (= 1.46-1), libgssapi-krb5-2 (= 1.20.1-1build1), libicu71 (= 71.1-3ubuntu1), libisl23 (= 0.25-1), libjansson4 (= 2.14-2), libjs-jquery (= 3.6.1+dfsg+~3.5.14-1), libjs-sphinxdoc (= 5.3.0-3), libjs-underscore (= 1.13.4~dfsg+~1.11.4-3), libk5crypto3 (= 1.20.1-1build1), libkeyutils1 (= 1.6.3-2), libkrb5-3 (= 1.20.1-1build1), libkrb5support0 (= 1.20.1-1build1), liblz4-1 (= 1.9.4-1), liblzma5 (= 5.4.1-0.0), libmagic-mgc (= 1:5.44-2), libmagic1 (= 1:5.44-2), libmd0 (= 1.0.4-2), libmount1 (= 2.38.1-4ubuntu1), libmpc3 (= 1.3.1-1), libmpdec3 (= 2.5.1-2build2), libmpfr6 (= 4.2.0-1), libncurses-dev (= 6.4-2), libncurses5-dev (= 6.4-2), libncurses6 (= 6.4-2), libncursesw6 (= 6.4-2), libnsl-dev (= 1.3.0-2build2), libnsl2 (= 1.3.0-2build2), libpam-modules (= 1.5.2-5ubuntu1), libpam-modules-bin (= 1.5.2-5ubuntu1), libpam-runtime (= 1.5.2-5ubuntu1), libpam0g (= 1.5.2-5ubuntu1), libpcre2-8-0 (= 10.42-1), libperl5.36 (= 5.36.0-7), libpipeline1 (= 1.5.7-1), libpython3-stdlib (= 3.11.1-0ubuntu1), libpython3.11-minimal (= 3.11.1-2), libpython3.11-stdlib (= 3.11.1-2), libreadline8 (= 8.2-1.3), libseccomp2 (= 2.5.4-1ubuntu2), libselinux1 (= 3.4-1build2), libsmartcols1 (= 2.38.1-4ubuntu1), libsqlite3-0 (= 3.40.1-1), libssl3 (= 3.0.7-1ubuntu1), libstdc++-12-dev (= 12.2.0-14ubuntu1), libstdc++6 (= 12.2.0-14ubuntu1), libsub-override-perl (= 0.09-4), libsystemd0 (= 252.4-1ubuntu1), libtinfo6 (= 6.4-2), libtirpc-common (= 1.3.3+ds-1), libtirpc-dev (= 1.3.3+ds-1), libtirpc3 (= 1.3.3+ds-1), libtool (= 2.4.7-5), libubsan1 (= 12.2.0-14ubuntu1), libuchardet0 (= 0.0.7-1build2), libudev1 (= 252.4-1ubuntu1), libunistring2 (= 1.0-2), libuuid1 (= 2.38.1-4ubuntu1), libxml2 (= 2.9.14+dfsg-1.1), libzarith-ocaml (= 1.12-1build1), libzarith-ocaml-dev (= 1.12-1build1), libzstd1 (= 1.5.2+dfsg2-3), linux-libc-dev (= 5.19.0-23.24), login (= 1:4.13+dfsg1-1ubuntu1), lto-disabled-list (= 37), m4 (= 1.4.19-2), make (= 4.3-4.1build1), man-db (= 2.11.2-1), mawk (= 1.3.4.20200120-3.1), media-types (= 8.0.0), ncurses-base (= 6.4-2), ncurses-bin (= 6.4-2), ocaml (= 4.13.1-3ubuntu1), ocaml-base (= 4.13.1-3ubuntu1), ocaml-compiler-libs (= 4.13.1-3ubuntu1), ocaml-findlib (= 1.9.6-1), ocaml-interp (= 4.13.1-3ubuntu1), ocaml-nox (= 4.13.1-3ubuntu1), patch (= 2.7.6-7build2), perl (= 5.36.0-7), perl-base (= 5.36.0-7), perl-modules-5.36 (= 5.36.0-7), po-debconf (= 1.0.21+nmu1), python3 (= 3.11.1-0ubuntu1), python3-minimal (= 3.11.1-0ubuntu1), python3.11 (= 3.11.1-2), python3.11-minimal (= 3.11.1-2), readline-common (= 8.2-1.3), rpcsvc-proto (= 1.4.2-0ubuntu6), sed (= 4.9-1), sensible-utils (= 0.0.17+nmu1), sysvinit-utils (= 3.05-7ubuntu2), tar (= 1.34+dfsg-1.1), usrmerge (= 33ubuntu1), util-linux (= 2.38.1-4ubuntu1), util-linux-extra (= 2.38.1-4ubuntu1), xz-utils (= 5.4.1-0.0), zlib1g (= 1:1.2.13.dfsg-1ubuntu4) Environment: DEB_BUILD_OPTIONS="parallel=4" DEB_BUILD_PROFILES="noudeb" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1674648185" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libcoq-gappa_1.5.2-5_armhf.deb ------------------------------ new Debian package, version 2.0. size 599412 bytes: control archive=1484 bytes. 697 bytes, 19 lines control 2645 bytes, 31 lines md5sums Package: libcoq-gappa Source: coq-gappa Version: 1.5.2-5 Architecture: armhf Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 2070 Depends: gappa, libcoq-flocq-3y155, libcoq-stdlib-vd1z2 Provides: libcoq-gappa-pu884 Section: math Priority: optional Homepage: https://gappa.gitlabpages.inria.fr Description: Coq tactic to use Gappa for floating-point goals This package provides a Coq tactic to discharge goals about floating-point arithmetic and round-off errors to Gappa. . Gappa is a prover for numerical properties. . Coq is a proof assistant for higher-order logic. drwxr-xr-x root/root 0 2023-01-25 12:03 ./ drwxr-xr-x root/root 0 2023-01-25 12:03 ./usr/ drwxr-xr-x root/root 0 2023-01-25 12:03 ./usr/lib/ drwxr-xr-x root/root 0 2023-01-25 12:03 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2023-01-25 12:03 ./usr/lib/ocaml/coq-gappa/ -rw-r--r-- root/root 222 2023-01-25 12:03 ./usr/lib/ocaml/coq-gappa/META -rw-r--r-- root/root 47100 2023-01-25 12:03 ./usr/lib/ocaml/coq-gappa/gappatac.cmo -rw-r--r-- root/root 85752 2023-01-25 12:03 ./usr/lib/ocaml/coq-gappa/gappatac.cmxs drwxr-xr-x root/root 0 2023-01-25 12:03 ./usr/lib/ocaml/coq/ drwxr-xr-x root/root 0 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/ drwxr-xr-x root/root 0 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/ -rw-r--r-- root/root 30569 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_common.vo -rw-r--r-- root/root 40428 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_decimal.vo -rw-r--r-- root/root 35110 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_definitions.vo -rw-r--r-- root/root 57815 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_dyadic.vo -rw-r--r-- root/root 52062 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_fixed.vo -rw-r--r-- root/root 126317 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_float.vo -rw-r--r-- root/root 31745 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_library.vo -rw-r--r-- root/root 6388 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_obfuscate.vo -rw-r--r-- root/root 57935 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_pred_abs.vo -rw-r--r-- root/root 82974 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_pred_bnd.vo -rw-r--r-- root/root 77645 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_pred_fixflt.vo -rw-r--r-- root/root 33330 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_pred_nzr.vo -rw-r--r-- root/root 94484 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_pred_rel.vo -rw-r--r-- root/root 78070 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_real.vo -rw-r--r-- root/root 83073 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_rewriting.vo -rw-r--r-- root/root 95894 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_round.vo -rw-r--r-- root/root 40092 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_round_aux.vo -rw-r--r-- root/root 40678 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_round_def.vo -rw-r--r-- root/root 558206 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_tactic.vo -rw-r--r-- root/root 1892 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_tactic_loader.vo -rw-r--r-- root/root 287930 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_tree.vo -rw-r--r-- root/root 36257 2023-01-25 12:03 ./usr/lib/ocaml/coq/user-contrib/Gappa/Gappa_user.vo drwxr-xr-x root/root 0 2023-01-25 12:03 ./usr/share/ drwxr-xr-x root/root 0 2023-01-25 12:03 ./usr/share/doc/ drwxr-xr-x root/root 0 2023-01-25 12:03 ./usr/share/doc/libcoq-gappa/ -rw-r--r-- root/root 317 2023-01-25 12:03 ./usr/share/doc/libcoq-gappa/changelog.Debian.gz -rw-r--r-- root/root 535 2023-01-25 12:03 ./usr/share/doc/libcoq-gappa/copyright drwxr-xr-x root/root 0 2023-01-25 12:03 ./usr/share/doc/libcoq-gappa/examples/ -rw-r--r-- root/root 469 2022-07-01 15:10 ./usr/share/doc/libcoq-gappa/examples/example-20080417.v -rw-r--r-- root/root 287 2022-07-01 15:10 ./usr/share/doc/libcoq-gappa/examples/example-20090706.v -rw-r--r-- root/root 354 2022-07-01 15:10 ./usr/share/doc/libcoq-gappa/examples/example-20101018.v drwxr-xr-x root/root 0 2023-01-25 12:03 ./var/ drwxr-xr-x root/root 0 2023-01-25 12:03 ./var/lib/ drwxr-xr-x root/root 0 2023-01-25 12:03 ./var/lib/coq/ drwxr-xr-x root/root 0 2023-01-25 12:03 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2023-01-25 12:03 ./var/lib/coq/md5sums/libcoq-gappa.checksum +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: armhf Build Type: any Build-Space: 10164 Build-Time: 69 Distribution: lunar-proposed Host Architecture: armhf Install-Time: 232 Job: coq-gappa_1.5.2-5.dsc Machine Architecture: arm64 Package: coq-gappa Package-Time: 303 Source-Version: 1.5.2-5 Space: 10164 Status: successful Version: 1.5.2-5 -------------------------------------------------------------------------------- Finished at 2023-01-26T17:29:09Z Build needed 00:05:03, 10164k disk space Adding user buildd to group lxd RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=lunar --arch=armhf PACKAGEBUILD-25524060 Scanning for processes to kill in build PACKAGEBUILD-25524060