https://launchpad.net/ubuntu/+source/coq-bignums/9.0.0+coq8.18-1build2/+build/27987615 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux bos02-arm64-022 5.4.0-173-generic #191-Ubuntu SMP Fri Feb 2 13:54:37 UTC 2024 aarch64 Buildd toolchain package versions: launchpad-buildd_236~650~ubuntu20.04.1 python3-lpbuildd_236~650~ubuntu20.04.1 sbuild_0.79.0-1ubuntu1 git-build-recipe_0.3.6 git_1:2.25.1-1ubuntu3.11 dpkg-dev_1.19.7ubuntu3.2 python3-debian_0.1.36ubuntu1.1. Syncing the system clock with the buildd NTP service... 31 Mar 18:09:31 ntpdate[1839]: adjust time server 10.211.37.1 offset 0.003091 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=noble --arch=armhf PACKAGEBUILD-27987615 --image-type chroot /home/buildd/filecache-default/59612f0fc5bae33f6226b6e60c2e882b82c04bd0 Creating target for build PACKAGEBUILD-27987615 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=noble --arch=armhf PACKAGEBUILD-27987615 Starting target for build PACKAGEBUILD-27987615 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=noble --arch=armhf PACKAGEBUILD-27987615 'deb http://ftpmaster.internal/ubuntu noble main universe' 'deb http://ftpmaster.internal/ubuntu noble-security main universe' 'deb http://ftpmaster.internal/ubuntu noble-updates main universe' 'deb http://ftpmaster.internal/ubuntu noble-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-27987615 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=noble --arch=armhf PACKAGEBUILD-27987615 Updating target for build PACKAGEBUILD-27987615 Get:1 http://ftpmaster.internal/ubuntu noble InRelease [255 kB] Get:2 http://ftpmaster.internal/ubuntu noble-security InRelease [90.7 kB] Get:3 http://ftpmaster.internal/ubuntu noble-updates InRelease [89.7 kB] Get:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] Get:5 http://ftpmaster.internal/ubuntu noble/main armhf Packages [1336 kB] Get:6 http://ftpmaster.internal/ubuntu noble/main Translation-en [512 kB] Get:7 http://ftpmaster.internal/ubuntu noble/universe armhf Packages [14.3 MB] Get:8 http://ftpmaster.internal/ubuntu noble/universe Translation-en [6118 kB] Get:9 http://ftpmaster.internal/ubuntu noble-updates/main armhf Packages [666 kB] Get:10 http://ftpmaster.internal/ubuntu noble-updates/main Translation-en [242 kB] Get:11 http://ftpmaster.internal/ubuntu noble-updates/universe armhf Packages [4423 kB] Get:12 http://ftpmaster.internal/ubuntu noble-updates/universe Translation-en [1693 kB] Get:13 http://ftpmaster.internal/ubuntu noble-proposed/main armhf Packages [424 kB] Get:14 http://ftpmaster.internal/ubuntu noble-proposed/main Translation-en [171 kB] Get:15 http://ftpmaster.internal/ubuntu noble-proposed/universe armhf Packages [1251 kB] Get:16 http://ftpmaster.internal/ubuntu noble-proposed/universe Translation-en [528 kB] Fetched 32.3 MB in 7s (4792 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: libnsl-dev libtirpc-dev libunistring2 perl-modules-5.36 Use 'sudo apt autoremove' to remove them. The following packages will be REMOVED: libapt-pkg6.0* libdb5.3* libext2fs2* libgdbm-compat4* libgdbm6* libgnutls30* libhogweed6* libnettle8* libnpth0* libperl5.36* libpng16-16* libreadline8* libssl3* libtirpc3* usrmerge* The following NEW packages will be installed: cpp-13-arm-linux-gnueabihf cpp-arm-linux-gnueabihf g++-13-arm-linux-gnueabihf g++-arm-linux-gnueabihf gcc-13-arm-linux-gnueabihf gcc-14-base gcc-arm-linux-gnueabihf libapt-pkg6.0t64 libdb5.3t64 libext2fs2t64 libgdbm-compat4t64 libgdbm6t64 libgnutls30t64 libhogweed6t64 libnettle8t64 libnpth0t64 libperl5.38t64 libpng16-16t64 libreadline8t64 libssl3t64 libtirpc3t64 libunistring5 perl-modules-5.38 The following packages have been kept back: libaudit1 The following packages will be upgraded: apt apt-utils base-files base-passwd bash bash-completion binutils binutils-arm-linux-gnueabihf binutils-common bsdextrautils bsdutils bzip2 ca-certificates coreutils cpp cpp-13 dash debconf debconf-i18n debianutils diffutils dpkg dpkg-dev e2fsprogs fakeroot g++ g++-13 gcc gcc-13 gcc-13-base gpg gpg-agent gpgconf gpgv grep gzip hostname init init-system-helpers krb5-locales libacl1 libapparmor1 libargon2-1 libasan8 libatomic1 libattr1 libaudit-common libbinutils libblkid1 libbz2-1.0 libc-bin libc-dev-bin libc6 libc6-dev libcap-ng0 libcap2 libcc1-0 libcom-err2 libcrypt-dev libcrypt1 libcryptsetup12 libctf-nobfd0 libctf0 libdebconfclient0 libdevmapper1.02.1 libdpkg-perl libfakeroot libfdisk1 libffi8 libgcc-13-dev libgcc-s1 libgcrypt20 libgomp1 libgpg-error-l10n libgpg-error0 libgpm2 libgssapi-krb5-2 libidn2-0 libip4tc2 libjansson4 libk5crypto3 libkeyutils1 libkmod2 libkrb5-3 libkrb5support0 liblocale-gettext-perl liblzma5 libmd0 libmount1 libncursesw6 libnsl-dev libnsl2 libnss-nisplus libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre2-8-0 libproc2-0 libseccomp2 libselinux1 libsemanage-common libsemanage2 libsepol2 libsframe1 libsmartcols1 libsqlite3-0 libss2 libstdc++-13-dev libstdc++6 libsystemd-shared libsystemd0 libtext-charwidth-perl libtext-iconv-perl libtinfo6 libtirpc-common libtirpc-dev libubsan1 libudev1 libuuid1 libxxhash0 libzstd1 linux-libc-dev login logsave lto-disabled-list mawk mount ncurses-base ncurses-bin openssl optipng passwd perl perl-base pinentry-curses procps psmisc readline-common sed sensible-utils systemd systemd-dev systemd-sysv sysvinit-utils tar tzdata ubuntu-keyring util-linux uuid-runtime xz-utils zlib1g 153 upgraded, 23 newly installed, 15 to remove and 1 not upgraded. Need to get 96.8 MB of archives. After this operation, 24.8 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libnsl-dev armhf 1.3.0-3build3 [66.2 kB] Get:2 http://ftpmaster.internal/ubuntu noble/main armhf libcrypt-dev armhf 1:4.4.36-4 [136 kB] Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libc6-dev armhf 2.39-0ubuntu8 [1352 kB] Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libc-dev-bin armhf 2.39-0ubuntu8 [19.1 kB] Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libtirpc-common all 1.3.4+ds-1.1build1 [8094 B] Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libtirpc-dev armhf 1.3.4+ds-1.1build1 [184 kB] Get:7 http://ftpmaster.internal/ubuntu noble/universe armhf libnss-nisplus armhf 1.3-5 [20.0 kB] Get:8 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libnsl2 armhf 1.3.0-3build3 [36.5 kB] Get:9 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libgssapi-krb5-2 armhf 1.20.1-6ubuntu2 [119 kB] Get:10 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libkrb5-3 armhf 1.20.1-6ubuntu2 [321 kB] Get:11 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libk5crypto3 armhf 1.20.1-6ubuntu2 [78.6 kB] Get:12 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libkrb5support0 armhf 1.20.1-6ubuntu2 [31.4 kB] Get:13 http://ftpmaster.internal/ubuntu noble/main armhf libacl1 armhf 2.3.2-1 [15.1 kB] Get:14 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libapparmor1 armhf 4.0.0-beta3-0ubuntu3 [45.1 kB] Get:15 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libblkid1 armhf 2.39.3-9ubuntu3 [160 kB] Get:16 http://ftpmaster.internal/ubuntu noble/main armhf libcap2 armhf 1:2.66-5ubuntu1 [25.8 kB] Get:17 http://ftpmaster.internal/ubuntu noble/main armhf libcrypt1 armhf 1:4.4.36-4 [104 kB] Get:18 http://ftpmaster.internal/ubuntu noble/main armhf libgpg-error-l10n all 1.47-3build1 [8024 B] Get:19 http://ftpmaster.internal/ubuntu noble/main armhf libgpg-error0 armhf 1.47-3build1 [61.6 kB] Get:20 http://ftpmaster.internal/ubuntu noble/main armhf libgcrypt20 armhf 1.10.3-2 [454 kB] Get:21 http://ftpmaster.internal/ubuntu noble-proposed/main armhf liblzma5 armhf 5.6.1+really5.4.5-1build1 [112 kB] Get:22 http://ftpmaster.internal/ubuntu noble/main armhf libzstd1 armhf 1.5.5+dfsg2-2 [265 kB] Get:23 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libkmod2 armhf 31+20240202-2ubuntu5 [45.0 kB] Get:24 http://ftpmaster.internal/ubuntu noble/main armhf libpcre2-8-0 armhf 10.42-4ubuntu1 [198 kB] Get:25 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libselinux1 armhf 3.5-2ubuntu2 [70.9 kB] Get:26 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libmount1 armhf 2.39.3-9ubuntu3 [171 kB] Get:27 http://ftpmaster.internal/ubuntu noble-proposed/main armhf perl-modules-5.38 all 5.38.2-3.2build1 [3110 kB] Get:28 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libdb5.3t64 armhf 5.3.28+dfsg2-6build1 [661 kB] Get:29 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libgdbm6t64 armhf 1.23-5.1build1 [30.3 kB] Get:30 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libgdbm-compat4t64 armhf 1.23-5.1build1 [6216 B] Get:31 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libperl5.38t64 armhf 5.38.2-3.2build1 [4109 kB] Get:32 http://ftpmaster.internal/ubuntu noble-proposed/main armhf perl armhf 5.38.2-3.2build1 [231 kB] Get:33 http://ftpmaster.internal/ubuntu noble-proposed/main armhf perl-base armhf 5.38.2-3.2build1 [1671 kB] Get:34 http://ftpmaster.internal/ubuntu noble-proposed/main armhf liblocale-gettext-perl armhf 1.07-6ubuntu5 [15.1 kB] Get:35 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libtext-iconv-perl armhf 1.7-8build3 [12.7 kB] Get:36 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libtext-charwidth-perl armhf 0.04-11build3 [8992 B] Get:37 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libc6 armhf 2.39-0ubuntu8 [2828 kB] Get:38 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libc-bin armhf 2.39-0ubuntu8 [530 kB] Get:39 http://ftpmaster.internal/ubuntu noble-proposed/main armhf openssl armhf 3.0.13-0ubuntu3 [974 kB] Get:40 http://ftpmaster.internal/ubuntu noble/main armhf libsystemd-shared armhf 255.4-1ubuntu5 [2009 kB] Get:41 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libcryptsetup12 armhf 2:2.7.0-1ubuntu3 [238 kB] Get:42 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libssl3t64 armhf 3.0.13-0ubuntu3 [1558 kB] Get:43 http://ftpmaster.internal/ubuntu noble-proposed/main armhf systemd-dev all 255.4-1ubuntu6 [104 kB] Get:44 http://ftpmaster.internal/ubuntu noble/main armhf systemd-sysv armhf 255.4-1ubuntu5 [11.9 kB] Get:45 http://ftpmaster.internal/ubuntu noble/main armhf systemd armhf 255.4-1ubuntu5 [3502 kB] Get:46 http://ftpmaster.internal/ubuntu noble/main armhf libsystemd0 armhf 255.4-1ubuntu5 [410 kB] Get:47 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libpam-modules-bin armhf 1.5.3-5ubuntu4 [47.1 kB] Get:48 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libpam-modules armhf 1.5.3-5ubuntu4 [260 kB] Get:49 http://ftpmaster.internal/ubuntu noble/main armhf libapt-pkg6.0t64 armhf 2.7.14 [986 kB] Get:50 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libnettle8t64 armhf 3.9.1-2.2build1 [187 kB] Get:51 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libhogweed6t64 armhf 3.9.1-2.2build1 [187 kB] Get:52 http://ftpmaster.internal/ubuntu noble/main armhf libp11-kit0 armhf 0.25.3-4ubuntu1 [258 kB] Get:53 http://ftpmaster.internal/ubuntu noble/main armhf libunistring5 armhf 1.1-2 [512 kB] Get:54 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libgnutls30t64 armhf 3.8.3-1.1ubuntu3 [947 kB] Get:55 http://ftpmaster.internal/ubuntu noble/main armhf apt armhf 2.7.14 [1368 kB] Get:56 http://ftpmaster.internal/ubuntu noble/main armhf apt-utils armhf 2.7.14 [210 kB] Get:57 http://ftpmaster.internal/ubuntu noble-proposed/main armhf bzip2 armhf 1.0.8-5.1 [33.5 kB] Get:58 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libbz2-1.0 armhf 1.0.8-5.1 [31.1 kB] Get:59 http://ftpmaster.internal/ubuntu noble-proposed/main armhf zlib1g armhf 1:1.3.dfsg-3.1ubuntu2 [49.2 kB] Get:60 http://ftpmaster.internal/ubuntu noble/main armhf debconf-i18n all 1.5.86 [205 kB] Get:61 http://ftpmaster.internal/ubuntu noble/main armhf debconf all 1.5.86 [124 kB] Get:62 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libpam0g armhf 1.5.3-5ubuntu4 [62.0 kB] Get:63 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libseccomp2 armhf 2.5.5-1ubuntu3 [49.5 kB] Get:64 http://ftpmaster.internal/ubuntu noble/main armhf libargon2-1 armhf 0~20190702+dfsg-4 [22.3 kB] Get:65 http://ftpmaster.internal/ubuntu noble/main armhf libudev1 armhf 255.4-1ubuntu5 [166 kB] Get:66 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libdevmapper1.02.1 armhf 2:1.02.185-3ubuntu3 [135 kB] Get:67 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libuuid1 armhf 2.39.3-9ubuntu3 [34.5 kB] Get:68 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libfdisk1 armhf 2.39.3-9ubuntu3 [196 kB] Get:69 http://ftpmaster.internal/ubuntu noble-proposed/main armhf mount armhf 2.39.3-9ubuntu3 [133 kB] Get:70 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libcom-err2 armhf 1.47.0-2.4~exp1ubuntu3 [21.9 kB] Get:71 http://ftpmaster.internal/ubuntu noble/main armhf libkeyutils1 armhf 1.6.3-3 [8120 B] Get:72 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libtirpc3t64 armhf 1.3.4+ds-1.1build1 [73.3 kB] Get:73 http://ftpmaster.internal/ubuntu noble/main armhf linux-libc-dev armhf 6.8.0-20.20 [1555 kB] Get:74 http://ftpmaster.internal/ubuntu noble-proposed/main armhf gcc-14-base armhf 14-20240330-1ubuntu2 [47.4 kB] Get:75 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libgcc-s1 armhf 14-20240330-1ubuntu2 [41.5 kB] Get:76 http://ftpmaster.internal/ubuntu noble-proposed/main armhf base-files armhf 13ubuntu9 [73.4 kB] Get:77 http://ftpmaster.internal/ubuntu noble-proposed/main armhf debianutils armhf 5.17build1 [89.0 kB] Get:78 http://ftpmaster.internal/ubuntu noble-proposed/main armhf bash armhf 5.2.21-2ubuntu4 [668 kB] Get:79 http://ftpmaster.internal/ubuntu noble-proposed/main armhf bsdutils armhf 1:2.39.3-9ubuntu3 [102 kB] Get:80 http://ftpmaster.internal/ubuntu noble/main armhf coreutils armhf 9.4-3ubuntu3 [1280 kB] Get:81 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libstdc++6 armhf 14-20240330-1ubuntu2 [714 kB] Get:82 http://ftpmaster.internal/ubuntu noble/main armhf libxxhash0 armhf 0.8.2-2 [31.3 kB] Get:83 http://ftpmaster.internal/ubuntu noble/main armhf libffi8 armhf 3.4.6-1 [21.0 kB] Get:84 http://ftpmaster.internal/ubuntu noble/main armhf libidn2-0 armhf 2.3.7-2 [96.1 kB] Get:85 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libdebconfclient0 armhf 0.271ubuntu3 [10.9 kB] Get:86 http://ftpmaster.internal/ubuntu noble/main armhf base-passwd armhf 3.6.3 [51.0 kB] Get:87 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libsqlite3-0 armhf 3.45.1-1ubuntu2 [590 kB] Get:88 http://ftpmaster.internal/ubuntu noble-proposed/main armhf gpg armhf 2.4.4-2ubuntu16 [524 kB] Get:89 http://ftpmaster.internal/ubuntu noble-proposed/main armhf gpg-agent armhf 2.4.4-2ubuntu16 [235 kB] Get:90 http://ftpmaster.internal/ubuntu noble-proposed/main armhf gpgconf armhf 2.4.4-2ubuntu16 [115 kB] Get:91 http://ftpmaster.internal/ubuntu noble-proposed/main armhf readline-common all 8.2-4build1 [56.5 kB] Get:92 http://ftpmaster.internal/ubuntu noble/main armhf libncursesw6 armhf 6.4+20240113-1ubuntu1 [118 kB] Get:93 http://ftpmaster.internal/ubuntu noble/main armhf libtinfo6 armhf 6.4+20240113-1ubuntu1 [90.5 kB] Get:94 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libreadline8t64 armhf 8.2-4build1 [129 kB] Get:95 http://ftpmaster.internal/ubuntu noble/main armhf pinentry-curses armhf 1.2.1-3ubuntu4 [36.7 kB] Get:96 http://ftpmaster.internal/ubuntu noble/main armhf init-system-helpers all 1.66ubuntu1 [39.4 kB] Get:97 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libnpth0t64 armhf 1.6-3.1build1 [6998 B] Get:98 http://ftpmaster.internal/ubuntu noble-proposed/main armhf gpgv armhf 2.4.4-2ubuntu16 [224 kB] Get:99 http://ftpmaster.internal/ubuntu noble/main armhf ubuntu-keyring all 2023.11.28.1 [11.1 kB] Get:100 http://ftpmaster.internal/ubuntu noble/main armhf tar armhf 1.35+dfsg-3 [236 kB] Get:101 http://ftpmaster.internal/ubuntu noble-proposed/main armhf dpkg armhf 1.22.6ubuntu6 [1230 kB] Get:102 http://ftpmaster.internal/ubuntu noble-proposed/main armhf dash armhf 0.5.12-6ubuntu5 [80.8 kB] Get:103 http://ftpmaster.internal/ubuntu noble/main armhf diffutils armhf 1:3.10-1 [167 kB] Get:104 http://ftpmaster.internal/ubuntu noble/main armhf grep armhf 3.11-4 [166 kB] Get:105 http://ftpmaster.internal/ubuntu noble/main armhf gzip armhf 1.12-1ubuntu2 [95.8 kB] Get:106 http://ftpmaster.internal/ubuntu noble/main armhf hostname armhf 3.23+nmu2ubuntu1 [10.3 kB] Get:107 http://ftpmaster.internal/ubuntu noble/main armhf login armhf 1:4.13+dfsg1-4ubuntu1 [200 kB] Get:108 http://ftpmaster.internal/ubuntu noble/main armhf ncurses-bin armhf 6.4+20240113-1ubuntu1 [178 kB] Get:109 http://ftpmaster.internal/ubuntu noble/main armhf sed armhf 4.9-2 [198 kB] Get:110 http://ftpmaster.internal/ubuntu noble-proposed/main armhf util-linux armhf 2.39.3-9ubuntu3 [1216 kB] Get:111 http://ftpmaster.internal/ubuntu noble/main armhf ncurses-base all 6.4+20240113-1ubuntu1 [25.4 kB] Get:112 http://ftpmaster.internal/ubuntu noble/main armhf sysvinit-utils armhf 3.08-6ubuntu2 [33.7 kB] Get:113 http://ftpmaster.internal/ubuntu noble-proposed/main armhf logsave armhf 1.47.0-2.4~exp1ubuntu3 [21.9 kB] Get:114 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libext2fs2t64 armhf 1.47.0-2.4~exp1ubuntu3 [201 kB] Get:115 http://ftpmaster.internal/ubuntu noble-proposed/main armhf e2fsprogs armhf 1.47.0-2.4~exp1ubuntu3 [571 kB] Get:116 http://ftpmaster.internal/ubuntu noble-proposed/main armhf optipng armhf 0.7.8+ds-1build2 [109 kB] Get:117 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libpng16-16t64 armhf 1.6.43-5build1 [166 kB] Get:118 http://ftpmaster.internal/ubuntu noble/main armhf init armhf 1.66ubuntu1 [6186 B] Get:119 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libsmartcols1 armhf 2.39.3-9ubuntu3 [117 kB] Get:120 http://ftpmaster.internal/ubuntu noble-proposed/main armhf uuid-runtime armhf 2.39.3-9ubuntu3 [41.8 kB] Get:121 http://ftpmaster.internal/ubuntu noble/main armhf libattr1 armhf 1:2.5.2-1 [10.3 kB] Get:122 http://ftpmaster.internal/ubuntu noble/main armhf libaudit-common all 1:3.1.2-2.1 [5674 B] Get:123 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libcap-ng0 armhf 0.8.4-2build2 [13.6 kB] Get:124 http://ftpmaster.internal/ubuntu noble/main armhf libmd0 armhf 1.1.0-2 [23.1 kB] Get:125 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libpam-runtime all 1.5.3-5ubuntu4 [40.8 kB] Get:126 http://ftpmaster.internal/ubuntu noble/main armhf libsemanage-common all 3.5-1build4 [10.1 kB] Get:127 http://ftpmaster.internal/ubuntu noble/main armhf libsepol2 armhf 3.5-2 [262 kB] Get:128 http://ftpmaster.internal/ubuntu noble/main armhf libsemanage2 armhf 3.5-1build4 [84.5 kB] Get:129 http://ftpmaster.internal/ubuntu noble/main armhf passwd armhf 1:4.13+dfsg1-4ubuntu1 [817 kB] Get:130 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libproc2-0 armhf 2:4.0.4-4ubuntu3 [49.0 kB] Get:131 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libss2 armhf 1.47.0-2.4~exp1ubuntu3 [14.7 kB] Get:132 http://ftpmaster.internal/ubuntu noble/main armhf mawk armhf 1.3.4.20240123-1 [115 kB] Get:133 http://ftpmaster.internal/ubuntu noble-proposed/main armhf procps armhf 2:4.0.4-4ubuntu3 [700 kB] Get:134 http://ftpmaster.internal/ubuntu noble/main armhf sensible-utils all 0.0.22 [22.5 kB] Get:135 http://ftpmaster.internal/ubuntu noble/main armhf ca-certificates all 20240203 [159 kB] Get:136 http://ftpmaster.internal/ubuntu noble/main armhf krb5-locales all 1.20.1-6ubuntu1 [13.8 kB] Get:137 http://ftpmaster.internal/ubuntu noble/main armhf tzdata all 2024a-1ubuntu1 [273 kB] Get:138 http://ftpmaster.internal/ubuntu noble/main armhf bash-completion all 1:2.11-8 [180 kB] Get:139 http://ftpmaster.internal/ubuntu noble-proposed/main armhf bsdextrautils armhf 2.39.3-9ubuntu3 [78.7 kB] Get:140 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libgpm2 armhf 1.20.7-11 [13.6 kB] Get:141 http://ftpmaster.internal/ubuntu noble/main armhf libip4tc2 armhf 1.8.10-3ubuntu1 [21.2 kB] Get:142 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libjansson4 armhf 2.14-2build2 [28.2 kB] Get:143 http://ftpmaster.internal/ubuntu noble/main armhf psmisc armhf 23.7-1 [176 kB] Get:144 http://ftpmaster.internal/ubuntu noble-proposed/main armhf xz-utils armhf 5.6.1+really5.4.5-1build1 [267 kB] Get:145 http://ftpmaster.internal/ubuntu noble/main armhf libctf0 armhf 2.42-4ubuntu2 [87.7 kB] Get:146 http://ftpmaster.internal/ubuntu noble/main armhf libctf-nobfd0 armhf 2.42-4ubuntu2 [88.0 kB] Get:147 http://ftpmaster.internal/ubuntu noble/main armhf binutils-arm-linux-gnueabihf armhf 2.42-4ubuntu2 [2925 kB] Get:148 http://ftpmaster.internal/ubuntu noble/main armhf libbinutils armhf 2.42-4ubuntu2 [460 kB] Get:149 http://ftpmaster.internal/ubuntu noble/main armhf binutils armhf 2.42-4ubuntu2 [3072 B] Get:150 http://ftpmaster.internal/ubuntu noble/main armhf binutils-common armhf 2.42-4ubuntu2 [217 kB] Get:151 http://ftpmaster.internal/ubuntu noble/main armhf libsframe1 armhf 2.42-4ubuntu2 [13.1 kB] Get:152 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libubsan1 armhf 14-20240330-1ubuntu2 [1153 kB] Get:153 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libgomp1 armhf 14-20240330-1ubuntu2 [125 kB] Get:154 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libatomic1 armhf 14-20240330-1ubuntu2 [7846 B] Get:155 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libasan8 armhf 14-20240330-1ubuntu2 [2940 kB] Get:156 http://ftpmaster.internal/ubuntu noble-proposed/main armhf g++-13 armhf 13.2.0-23ubuntu3 [14.5 kB] Get:157 http://ftpmaster.internal/ubuntu noble-proposed/main armhf gcc-13 armhf 13.2.0-23ubuntu3 [450 kB] Get:158 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libstdc++-13-dev armhf 13.2.0-23ubuntu3 [2455 kB] Get:159 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libgcc-13-dev armhf 13.2.0-23ubuntu3 [899 kB] Get:160 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libcc1-0 armhf 14-20240330-1ubuntu2 [39.1 kB] Get:161 http://ftpmaster.internal/ubuntu noble-proposed/main armhf cpp-13 armhf 13.2.0-23ubuntu3 [1034 B] Get:162 http://ftpmaster.internal/ubuntu noble-proposed/main armhf gcc-13-base armhf 13.2.0-23ubuntu3 [48.6 kB] Get:163 http://ftpmaster.internal/ubuntu noble-proposed/main armhf gcc-13-arm-linux-gnueabihf armhf 13.2.0-23ubuntu3 [16.8 MB] Get:164 http://ftpmaster.internal/ubuntu noble-proposed/main armhf g++-13-arm-linux-gnueabihf armhf 13.2.0-23ubuntu3 [9939 kB] Get:165 http://ftpmaster.internal/ubuntu noble-proposed/main armhf cpp-13-arm-linux-gnueabihf armhf 13.2.0-23ubuntu3 [8759 kB] Get:166 http://ftpmaster.internal/ubuntu noble/main armhf g++ armhf 4:13.2.0-7ubuntu1 [1090 B] Get:167 http://ftpmaster.internal/ubuntu noble/main armhf gcc armhf 4:13.2.0-7ubuntu1 [5022 B] Get:168 http://ftpmaster.internal/ubuntu noble/main armhf cpp armhf 4:13.2.0-7ubuntu1 [22.4 kB] Get:169 http://ftpmaster.internal/ubuntu noble/main armhf cpp-arm-linux-gnueabihf armhf 4:13.2.0-7ubuntu1 [5320 B] Get:170 http://ftpmaster.internal/ubuntu noble/main armhf gcc-arm-linux-gnueabihf armhf 4:13.2.0-7ubuntu1 [1220 B] Get:171 http://ftpmaster.internal/ubuntu noble/main armhf g++-arm-linux-gnueabihf armhf 4:13.2.0-7ubuntu1 [966 B] Get:172 http://ftpmaster.internal/ubuntu noble-proposed/main armhf dpkg-dev all 1.22.6ubuntu6 [1074 kB] Get:173 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libdpkg-perl all 1.22.6ubuntu6 [268 kB] Get:174 http://ftpmaster.internal/ubuntu noble/main armhf lto-disabled-list all 47 [12.4 kB] Get:175 http://ftpmaster.internal/ubuntu noble/main armhf libfakeroot armhf 1.33-1 [28.7 kB] Get:176 http://ftpmaster.internal/ubuntu noble/main armhf fakeroot armhf 1.33-1 [68.6 kB] Preconfiguring packages ... Fetched 96.8 MB in 5s (19.8 MB/s) (Reading database ... 13362 files and directories currently installed.) Preparing to unpack .../0-libnsl-dev_1.3.0-3build3_armhf.deb ... Unpacking libnsl-dev:armhf (1.3.0-3build3) over (1.3.0-2build2) ... Preparing to unpack .../1-libcrypt-dev_1%3a4.4.36-4_armhf.deb ... Unpacking libcrypt-dev:armhf (1:4.4.36-4) over (1:4.4.36-2) ... Preparing to unpack .../2-libc6-dev_2.39-0ubuntu8_armhf.deb ... Unpacking libc6-dev:armhf (2.39-0ubuntu8) over (2.38-1ubuntu6) ... Preparing to unpack .../3-libc-dev-bin_2.39-0ubuntu8_armhf.deb ... Unpacking libc-dev-bin (2.39-0ubuntu8) over (2.38-1ubuntu6) ... Preparing to unpack .../4-libtirpc-common_1.3.4+ds-1.1build1_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1.1build1) over (1.3.3+ds-1) ... Preparing to unpack .../5-libtirpc-dev_1.3.4+ds-1.1build1_armhf.deb ... Unpacking libtirpc-dev:armhf (1.3.4+ds-1.1build1) over (1.3.3+ds-1) ... Preparing to unpack .../6-libnss-nisplus_1.3-5_armhf.deb ... Unpacking libnss-nisplus:armhf (1.3-5) over (1.3-0ubuntu6) ... Preparing to unpack .../7-libnsl2_1.3.0-3build3_armhf.deb ... Unpacking libnsl2:armhf (1.3.0-3build3) over (1.3.0-2build2) ... (Reading database ... 13365 files and directories currently installed.) Removing libtirpc3:armhf (1.3.3+ds-1) ... (Reading database ... 13359 files and directories currently installed.) Preparing to unpack .../libgssapi-krb5-2_1.20.1-6ubuntu2_armhf.deb ... Unpacking libgssapi-krb5-2:armhf (1.20.1-6ubuntu2) over (1.20.1-3ubuntu1) ... Preparing to unpack .../libkrb5-3_1.20.1-6ubuntu2_armhf.deb ... Unpacking libkrb5-3:armhf (1.20.1-6ubuntu2) over (1.20.1-3ubuntu1) ... Preparing to unpack .../libk5crypto3_1.20.1-6ubuntu2_armhf.deb ... Unpacking libk5crypto3:armhf (1.20.1-6ubuntu2) over (1.20.1-3ubuntu1) ... Preparing to unpack .../libkrb5support0_1.20.1-6ubuntu2_armhf.deb ... Unpacking libkrb5support0:armhf (1.20.1-6ubuntu2) over (1.20.1-3ubuntu1) ... Preparing to unpack .../libacl1_2.3.2-1_armhf.deb ... Unpacking libacl1:armhf (2.3.2-1) over (2.3.1-3) ... Setting up libacl1:armhf (2.3.2-1) ... (Reading database ... 13359 files and directories currently installed.) Preparing to unpack .../libapparmor1_4.0.0-beta3-0ubuntu3_armhf.deb ... Unpacking libapparmor1:armhf (4.0.0-beta3-0ubuntu3) over (4.0.0~alpha2-0ubuntu5) ... Preparing to unpack .../libblkid1_2.39.3-9ubuntu3_armhf.deb ... Unpacking libblkid1:armhf (2.39.3-9ubuntu3) over (2.39.1-4ubuntu2) ... Setting up libblkid1:armhf (2.39.3-9ubuntu3) ... (Reading database ... 13359 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.66-5ubuntu1_armhf.deb ... Unpacking libcap2:armhf (1:2.66-5ubuntu1) over (1:2.66-4ubuntu1) ... Setting up libcap2:armhf (1:2.66-5ubuntu1) ... (Reading database ... 13359 files and directories currently installed.) Preparing to unpack .../libcrypt1_1%3a4.4.36-4_armhf.deb ... Unpacking libcrypt1:armhf (1:4.4.36-4) over (1:4.4.36-2) ... Setting up libcrypt1:armhf (1:4.4.36-4) ... (Reading database ... 13359 files and directories currently installed.) Preparing to unpack .../libgpg-error-l10n_1.47-3build1_all.deb ... Unpacking libgpg-error-l10n (1.47-3build1) over (1.47-2) ... Preparing to unpack .../libgpg-error0_1.47-3build1_armhf.deb ... Unpacking libgpg-error0:armhf (1.47-3build1) over (1.47-2) ... Setting up libgpg-error0:armhf (1.47-3build1) ... (Reading database ... 13359 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.10.3-2_armhf.deb ... Unpacking libgcrypt20:armhf (1.10.3-2) over (1.10.2-3ubuntu1) ... Setting up libgcrypt20:armhf (1.10.3-2) ... (Reading database ... 13359 files and directories currently installed.) Preparing to unpack .../liblzma5_5.6.1+really5.4.5-1build1_armhf.deb ... Unpacking liblzma5:armhf (5.6.1+really5.4.5-1build1) over (5.4.1-0.2) ... Setting up liblzma5:armhf (5.6.1+really5.4.5-1build1) ... (Reading database ... 13359 files and directories currently installed.) Preparing to unpack .../libzstd1_1.5.5+dfsg2-2_armhf.deb ... Unpacking libzstd1:armhf (1.5.5+dfsg2-2) over (1.5.5+dfsg2-1ubuntu2) ... Setting up libzstd1:armhf (1.5.5+dfsg2-2) ... (Reading database ... 13359 files and directories currently installed.) Preparing to unpack .../libkmod2_31+20240202-2ubuntu5_armhf.deb ... Unpacking libkmod2:armhf (31+20240202-2ubuntu5) over (30+20230519-1ubuntu3) ... Preparing to unpack .../libpcre2-8-0_10.42-4ubuntu1_armhf.deb ... Unpacking libpcre2-8-0:armhf (10.42-4ubuntu1) over (10.42-4) ... Setting up libpcre2-8-0:armhf (10.42-4ubuntu1) ... (Reading database ... 13359 files and directories currently installed.) Preparing to unpack .../libselinux1_3.5-2ubuntu2_armhf.deb ... Unpacking libselinux1:armhf (3.5-2ubuntu2) over (3.5-1) ... Setting up libselinux1:armhf (3.5-2ubuntu2) ... (Reading database ... 13360 files and directories currently installed.) Preparing to unpack .../libmount1_2.39.3-9ubuntu3_armhf.deb ... Unpacking libmount1:armhf (2.39.3-9ubuntu3) over (2.39.1-4ubuntu2) ... Setting up libmount1:armhf (2.39.3-9ubuntu3) ... (Reading database ... 13360 files and directories currently installed.) Preparing to unpack .../perl_5.38.2-3.2build1_armhf.deb ... Unpacking perl (5.38.2-3.2build1) over (5.36.0-9ubuntu1) ... Selecting previously unselected package perl-modules-5.38. Preparing to unpack .../perl-modules-5.38_5.38.2-3.2build1_all.deb ... Unpacking perl-modules-5.38 (5.38.2-3.2build1) ... dpkg: libdb5.3:armhf: dependency problems, but removing anyway as you requested: libperl5.36:armhf depends on libdb5.3. libpam-modules:armhf depends on libdb5.3. apt-utils depends on libdb5.3. (Reading database ... 14772 files and directories currently installed.) Removing libdb5.3:armhf (5.3.28+dfsg2-2) ... Selecting previously unselected package libdb5.3t64:armhf. (Reading database ... 14766 files and directories currently installed.) Preparing to unpack .../libdb5.3t64_5.3.28+dfsg2-6build1_armhf.deb ... Unpacking libdb5.3t64:armhf (5.3.28+dfsg2-6build1) ... dpkg: libgdbm6:armhf: dependency problems, but removing anyway as you requested: libperl5.36:armhf depends on libgdbm6 (>= 1.21). libgdbm-compat4:armhf depends on libgdbm6 (>= 1.16). (Reading database ... 14772 files and directories currently installed.) Removing libgdbm6:armhf (1.23-3) ... Selecting previously unselected package libgdbm6t64:armhf. (Reading database ... 14767 files and directories currently installed.) Preparing to unpack .../libgdbm6t64_1.23-5.1build1_armhf.deb ... Unpacking libgdbm6t64:armhf (1.23-5.1build1) ... dpkg: libgdbm-compat4:armhf: dependency problems, but removing anyway as you requested: libperl5.36:armhf depends on libgdbm-compat4 (>= 1.18-3). (Reading database ... 14773 files and directories currently installed.) Removing libgdbm-compat4:armhf (1.23-3) ... Selecting previously unselected package libgdbm-compat4t64:armhf. (Reading database ... 14768 files and directories currently installed.) Preparing to unpack .../libgdbm-compat4t64_1.23-5.1build1_armhf.deb ... Unpacking libgdbm-compat4t64:armhf (1.23-5.1build1) ... Selecting previously unselected package libperl5.38t64:armhf. Preparing to unpack .../libperl5.38t64_5.38.2-3.2build1_armhf.deb ... Unpacking libperl5.38t64:armhf (5.38.2-3.2build1) ... Preparing to unpack .../perl-base_5.38.2-3.2build1_armhf.deb ... Unpacking perl-base (5.38.2-3.2build1) over (5.36.0-9ubuntu1) ... Setting up perl-base (5.38.2-3.2build1) ... (Reading database ... 15296 files and directories currently installed.) Preparing to unpack .../liblocale-gettext-perl_1.07-6ubuntu5_armhf.deb ... Unpacking liblocale-gettext-perl (1.07-6ubuntu5) over (1.07-6) ... Preparing to unpack .../libtext-iconv-perl_1.7-8build3_armhf.deb ... Unpacking libtext-iconv-perl:armhf (1.7-8build3) over (1.7-8) ... Preparing to unpack .../libtext-charwidth-perl_0.04-11build3_armhf.deb ... Unpacking libtext-charwidth-perl:armhf (0.04-11build3) over (0.04-11) ... (Reading database ... 15296 files and directories currently installed.) Removing libperl5.36:armhf (5.36.0-9ubuntu1) ... (Reading database ... 14782 files and directories currently installed.) Preparing to unpack .../libc6_2.39-0ubuntu8_armhf.deb ... Unpacking libc6:armhf (2.39-0ubuntu8) over (2.38-1ubuntu6) ... Setting up libc6:armhf (2.39-0ubuntu8) ... (Reading database ... 14784 files and directories currently installed.) Preparing to unpack .../libc-bin_2.39-0ubuntu8_armhf.deb ... Unpacking libc-bin (2.39-0ubuntu8) over (2.38-1ubuntu6) ... Setting up libc-bin (2.39-0ubuntu8) ... (Reading database ... 14784 files and directories currently installed.) Preparing to unpack .../openssl_3.0.13-0ubuntu3_armhf.deb ... Unpacking openssl (3.0.13-0ubuntu3) over (3.0.10-1ubuntu2) ... Preparing to unpack .../libsystemd-shared_255.4-1ubuntu5_armhf.deb ... Unpacking libsystemd-shared:armhf (255.4-1ubuntu5) over (253.5-1ubuntu6) ... Preparing to unpack .../libcryptsetup12_2%3a2.7.0-1ubuntu3_armhf.deb ... Unpacking libcryptsetup12:armhf (2:2.7.0-1ubuntu3) over (2:2.6.1-4ubuntu3) ... dpkg: libssl3:armhf: dependency problems, but removing anyway as you requested: systemd depends on libssl3 (>= 3.0.0). (Reading database ... 14783 files and directories currently installed.) Removing libssl3:armhf (3.0.10-1ubuntu2) ... Selecting previously unselected package libssl3t64:armhf. (Reading database ... 14772 files and directories currently installed.) Preparing to unpack .../libssl3t64_3.0.13-0ubuntu3_armhf.deb ... Unpacking libssl3t64:armhf (3.0.13-0ubuntu3) ... Setting up libssl3t64:armhf (3.0.13-0ubuntu3) ... (Reading database ... 14785 files and directories currently installed.) Preparing to unpack .../systemd-dev_255.4-1ubuntu6_all.deb ... Unpacking systemd-dev (255.4-1ubuntu6) over (253.5-1ubuntu6) ... Preparing to unpack .../systemd-sysv_255.4-1ubuntu5_armhf.deb ... Unpacking systemd-sysv (255.4-1ubuntu5) over (253.5-1ubuntu6) ... Preparing to unpack .../systemd_255.4-1ubuntu5_armhf.deb ... Unpacking systemd (255.4-1ubuntu5) over (253.5-1ubuntu6) ... dpkg: warning: unable to delete old directory '/lib/systemd/system-preset': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system-generators': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/user@0.service.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/user@.service.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/user-.slice.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/timers.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/systemd-localed.service.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/sysinit.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/sockets.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/rescue.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/rc-local.service.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/multi-user.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/initrd.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/initrd-root-fs.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/initrd-root-device.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/graphical.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/getty.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/network': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/journald.conf.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/modprobe.d': Directory not empty Preparing to unpack .../libsystemd0_255.4-1ubuntu5_armhf.deb ... Unpacking libsystemd0:armhf (255.4-1ubuntu5) over (253.5-1ubuntu6) ... Setting up libsystemd0:armhf (255.4-1ubuntu5) ... (Reading database ... 14947 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.5.3-5ubuntu4_armhf.deb ... Unpacking libpam-modules-bin (1.5.3-5ubuntu4) over (1.5.2-6ubuntu1) ... Setting up libpam-modules-bin (1.5.3-5ubuntu4) ... (Reading database ... 14946 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.5.3-5ubuntu4_armhf.deb ... Unpacking libpam-modules:armhf (1.5.3-5ubuntu4) over (1.5.2-6ubuntu1) ... dpkg: warning: unable to delete old directory '/lib/arm-linux-gnueabihf/security': Directory not empty Setting up libpam-modules:armhf (1.5.3-5ubuntu4) ... Installing new version of config file /etc/security/namespace.init ... dpkg: libnettle8:armhf: dependency problems, but removing anyway as you requested: libhogweed6:armhf depends on libnettle8. libgnutls30:armhf depends on libnettle8 (>= 3.7~). (Reading database ... 14943 files and directories currently installed.) Removing libnettle8:armhf (3.9.1-2) ... dpkg: libapt-pkg6.0:armhf: dependency problems, but removing anyway as you requested: apt-utils depends on libapt-pkg6.0 (>= 2.7.3). apt depends on libapt-pkg6.0 (>= 2.7.3). Removing libapt-pkg6.0:armhf (2.7.3) ... dpkg: libgnutls30:armhf: dependency problems, but removing anyway as you requested: apt depends on libgnutls30 (>= 3.7.5). Removing libgnutls30:armhf (3.8.1-4ubuntu1) ... Selecting previously unselected package libapt-pkg6.0t64:armhf. (Reading database ... 14877 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0t64_2.7.14_armhf.deb ... Unpacking libapt-pkg6.0t64:armhf (2.7.14) ... Setting up libapt-pkg6.0t64:armhf (2.7.14) ... Selecting previously unselected package libnettle8t64:armhf. (Reading database ... 14927 files and directories currently installed.) Preparing to unpack .../libnettle8t64_3.9.1-2.2build1_armhf.deb ... Unpacking libnettle8t64:armhf (3.9.1-2.2build1) ... Setting up libnettle8t64:armhf (3.9.1-2.2build1) ... (Reading database ... 14935 files and directories currently installed.) Removing libhogweed6:armhf (3.9.1-2) ... Selecting previously unselected package libhogweed6t64:armhf. (Reading database ... 14930 files and directories currently installed.) Preparing to unpack .../libhogweed6t64_3.9.1-2.2build1_armhf.deb ... Unpacking libhogweed6t64:armhf (3.9.1-2.2build1) ... Setting up libhogweed6t64:armhf (3.9.1-2.2build1) ... (Reading database ... 14936 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.25.3-4ubuntu1_armhf.deb ... Unpacking libp11-kit0:armhf (0.25.3-4ubuntu1) over (0.25.0-4ubuntu1) ... Setting up libp11-kit0:armhf (0.25.3-4ubuntu1) ... Selecting previously unselected package libunistring5:armhf. (Reading database ... 14936 files and directories currently installed.) Preparing to unpack .../libunistring5_1.1-2_armhf.deb ... Unpacking libunistring5:armhf (1.1-2) ... Setting up libunistring5:armhf (1.1-2) ... Selecting previously unselected package libgnutls30t64:armhf. (Reading database ... 14941 files and directories currently installed.) Preparing to unpack .../libgnutls30t64_3.8.3-1.1ubuntu3_armhf.deb ... Unpacking libgnutls30t64:armhf (3.8.3-1.1ubuntu3) ... Setting up libgnutls30t64:armhf (3.8.3-1.1ubuntu3) ... (Reading database ... 14953 files and directories currently installed.) Preparing to unpack .../archives/apt_2.7.14_armhf.deb ... Unpacking apt (2.7.14) over (2.7.3) ... Setting up apt (2.7.14) ... (Reading database ... 14953 files and directories currently installed.) Preparing to unpack .../apt-utils_2.7.14_armhf.deb ... Unpacking apt-utils (2.7.14) over (2.7.3) ... Preparing to unpack .../bzip2_1.0.8-5.1_armhf.deb ... Unpacking bzip2 (1.0.8-5.1) over (1.0.8-5build1) ... dpkg: warning: old file '/bin/bzip2' is the same as several new files! (both '/usr/bin/bunzip2' and '/usr/bin/bzcat') dpkg: warning: old file '/bin/bzip2' is the same as several new files! (both '/usr/bin/bzcat' and '/usr/bin/bzip2') dpkg: warning: old file '/bin/bzcat' is the same as several new files! (both '/usr/bin/bunzip2' and '/usr/bin/bzcat') dpkg: warning: old file '/bin/bzcat' is the same as several new files! (both '/usr/bin/bzcat' and '/usr/bin/bzip2') dpkg: warning: old file '/bin/bunzip2' is the same as several new files! (both '/usr/bin/bunzip2' and '/usr/bin/bzcat') dpkg: warning: old file '/bin/bunzip2' is the same as several new files! (both '/usr/bin/bzcat' and '/usr/bin/bzip2') Preparing to unpack .../libbz2-1.0_1.0.8-5.1_armhf.deb ... Unpacking libbz2-1.0:armhf (1.0.8-5.1) over (1.0.8-5build1) ... Setting up libbz2-1.0:armhf (1.0.8-5.1) ... (Reading database ... 14953 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.3.dfsg-3.1ubuntu2_armhf.deb ... Unpacking zlib1g:armhf (1:1.3.dfsg-3.1ubuntu2) over (1:1.2.13.dfsg-1ubuntu5) ... Setting up zlib1g:armhf (1:1.3.dfsg-3.1ubuntu2) ... (Reading database ... 14953 files and directories currently installed.) Preparing to unpack .../debconf-i18n_1.5.86_all.deb ... Unpacking debconf-i18n (1.5.86) over (1.5.82) ... Preparing to unpack .../debconf_1.5.86_all.deb ... Unpacking debconf (1.5.86) over (1.5.82) ... Setting up debconf (1.5.86) ... Installing new version of config file /etc/debconf.conf ... (Reading database ... 14952 files and directories currently installed.) Preparing to unpack .../libpam0g_1.5.3-5ubuntu4_armhf.deb ... Unpacking libpam0g:armhf (1.5.3-5ubuntu4) over (1.5.2-6ubuntu1) ... Setting up libpam0g:armhf (1.5.3-5ubuntu4) ... (Reading database ... 14951 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.5.5-1ubuntu3_armhf.deb ... Unpacking libseccomp2:armhf (2.5.5-1ubuntu3) over (2.5.4-1ubuntu3) ... Setting up libseccomp2:armhf (2.5.5-1ubuntu3) ... (Reading database ... 14951 files and directories currently installed.) Preparing to unpack .../libargon2-1_0~20190702+dfsg-4_armhf.deb ... Unpacking libargon2-1:armhf (0~20190702+dfsg-4) over (0~20190702+dfsg-3) ... Preparing to unpack .../libudev1_255.4-1ubuntu5_armhf.deb ... Unpacking libudev1:armhf (255.4-1ubuntu5) over (253.5-1ubuntu6) ... Setting up libudev1:armhf (255.4-1ubuntu5) ... (Reading database ... 14951 files and directories currently installed.) Preparing to unpack .../libdevmapper1.02.1_2%3a1.02.185-3ubuntu3_armhf.deb ... Unpacking libdevmapper1.02.1:armhf (2:1.02.185-3ubuntu3) over (2:1.02.185-2ubuntu1) ... Preparing to unpack .../libuuid1_2.39.3-9ubuntu3_armhf.deb ... Unpacking libuuid1:armhf (2.39.3-9ubuntu3) over (2.39.1-4ubuntu2) ... Setting up libuuid1:armhf (2.39.3-9ubuntu3) ... (Reading database ... 14951 files and directories currently installed.) Preparing to unpack .../0-libfdisk1_2.39.3-9ubuntu3_armhf.deb ... Unpacking libfdisk1:armhf (2.39.3-9ubuntu3) over (2.39.1-4ubuntu2) ... Preparing to unpack .../1-mount_2.39.3-9ubuntu3_armhf.deb ... Unpacking mount (2.39.3-9ubuntu3) over (2.39.1-4ubuntu2) ... Preparing to unpack .../2-libcom-err2_1.47.0-2.4~exp1ubuntu3_armhf.deb ... Unpacking libcom-err2:armhf (1.47.0-2.4~exp1ubuntu3) over (1.47.0-2ubuntu1) ... Preparing to unpack .../3-libkeyutils1_1.6.3-3_armhf.deb ... Unpacking libkeyutils1:armhf (1.6.3-3) over (1.6.3-2) ... Selecting previously unselected package libtirpc3t64:armhf. Preparing to unpack .../4-libtirpc3t64_1.3.4+ds-1.1build1_armhf.deb ... Adding 'diversion of /lib/arm-linux-gnueabihf/libtirpc.so.3 to /lib/arm-linux-gnueabihf/libtirpc.so.3.usr-is-merged by libtirpc3t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libtirpc.so.3.0.0 to /lib/arm-linux-gnueabihf/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Unpacking libtirpc3t64:armhf (1.3.4+ds-1.1build1) ... Preparing to unpack .../5-linux-libc-dev_6.8.0-20.20_armhf.deb ... Unpacking linux-libc-dev:armhf (6.8.0-20.20) over (6.5.0-9.9) ... Selecting previously unselected package gcc-14-base:armhf. Preparing to unpack .../6-gcc-14-base_14-20240330-1ubuntu2_armhf.deb ... Unpacking gcc-14-base:armhf (14-20240330-1ubuntu2) ... Setting up gcc-14-base:armhf (14-20240330-1ubuntu2) ... (Reading database ... 14977 files and directories currently installed.) Preparing to unpack .../libgcc-s1_14-20240330-1ubuntu2_armhf.deb ... Unpacking libgcc-s1:armhf (14-20240330-1ubuntu2) over (13.2.0-4ubuntu3) ... Setting up libgcc-s1:armhf (14-20240330-1ubuntu2) ... (Reading database ... 14977 files and directories currently installed.) Preparing to unpack .../base-files_13ubuntu9_armhf.deb ... Unpacking base-files (13ubuntu9) over (13ubuntu3) ... Setting up base-files (13ubuntu9) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... Installing new version of config file /etc/update-motd.d/10-help-text ... (Reading database ... 14986 files and directories currently installed.) Preparing to unpack .../debianutils_5.17build1_armhf.deb ... Unpacking debianutils (5.17build1) over (5.8-1) ... Setting up debianutils (5.17build1) ... (Reading database ... 14985 files and directories currently installed.) Preparing to unpack .../bash_5.2.21-2ubuntu4_armhf.deb ... Unpacking bash (5.2.21-2ubuntu4) over (5.2.15-2ubuntu1) ... Setting up bash (5.2.21-2ubuntu4) ... 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 ... 14985 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.39.3-9ubuntu3_armhf.deb ... Unpacking bsdutils (1:2.39.3-9ubuntu3) over (1:2.39.1-4ubuntu2) ... Setting up bsdutils (1:2.39.3-9ubuntu3) ... (Reading database ... 14985 files and directories currently installed.) Removing usrmerge (35ubuntu1) ... (Reading database ... 14959 files and directories currently installed.) Preparing to unpack .../coreutils_9.4-3ubuntu3_armhf.deb ... Unpacking coreutils (9.4-3ubuntu3) over (9.1-1ubuntu2) ... Setting up coreutils (9.4-3ubuntu3) ... (Reading database ... 14964 files and directories currently installed.) Preparing to unpack .../libstdc++6_14-20240330-1ubuntu2_armhf.deb ... Unpacking libstdc++6:armhf (14-20240330-1ubuntu2) over (13.2.0-4ubuntu3) ... Setting up libstdc++6:armhf (14-20240330-1ubuntu2) ... (Reading database ... 14964 files and directories currently installed.) Preparing to unpack .../libxxhash0_0.8.2-2_armhf.deb ... Unpacking libxxhash0:armhf (0.8.2-2) over (0.8.1-1) ... Setting up libxxhash0:armhf (0.8.2-2) ... (Reading database ... 14964 files and directories currently installed.) Preparing to unpack .../libffi8_3.4.6-1_armhf.deb ... Unpacking libffi8:armhf (3.4.6-1) over (3.4.4-1) ... Setting up libffi8:armhf (3.4.6-1) ... (Reading database ... 14964 files and directories currently installed.) Preparing to unpack .../libidn2-0_2.3.7-2_armhf.deb ... Unpacking libidn2-0:armhf (2.3.7-2) over (2.3.4-1) ... Setting up libidn2-0:armhf (2.3.7-2) ... (Reading database ... 14964 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.271ubuntu3_armhf.deb ... Unpacking libdebconfclient0:armhf (0.271ubuntu3) over (0.270ubuntu1) ... Setting up libdebconfclient0:armhf (0.271ubuntu3) ... (Reading database ... 14964 files and directories currently installed.) Preparing to unpack .../base-passwd_3.6.3_armhf.deb ... Unpacking base-passwd (3.6.3) over (3.6.1) ... Setting up base-passwd (3.6.3) ... (Reading database ... 14964 files and directories currently installed.) Preparing to unpack .../libsqlite3-0_3.45.1-1ubuntu2_armhf.deb ... Unpacking libsqlite3-0:armhf (3.45.1-1ubuntu2) over (3.42.0-1) ... Preparing to unpack .../gpg_2.4.4-2ubuntu16_armhf.deb ... Unpacking gpg (2.4.4-2ubuntu16) over (2.2.40-1.1ubuntu1) ... Preparing to unpack .../gpg-agent_2.4.4-2ubuntu16_armhf.deb ... Unpacking gpg-agent (2.4.4-2ubuntu16) over (2.2.40-1.1ubuntu1) ... Preparing to unpack .../gpgconf_2.4.4-2ubuntu16_armhf.deb ... Unpacking gpgconf (2.4.4-2ubuntu16) over (2.2.40-1.1ubuntu1) ... (Reading database ... 14963 files and directories currently installed.) Removing libreadline8:armhf (8.2-1.3) ... (Reading database ... 14951 files and directories currently installed.) Preparing to unpack .../readline-common_8.2-4build1_all.deb ... Unpacking readline-common (8.2-4build1) over (8.2-1.3) ... Preparing to unpack .../libncursesw6_6.4+20240113-1ubuntu1_armhf.deb ... Unpacking libncursesw6:armhf (6.4+20240113-1ubuntu1) over (6.4+20230625-2) ... Preparing to unpack .../libtinfo6_6.4+20240113-1ubuntu1_armhf.deb ... Unpacking libtinfo6:armhf (6.4+20240113-1ubuntu1) over (6.4+20230625-2) ... Setting up libtinfo6:armhf (6.4+20240113-1ubuntu1) ... Selecting previously unselected package libreadline8t64:armhf. (Reading database ... 14951 files and directories currently installed.) Preparing to unpack .../libreadline8t64_8.2-4build1_armhf.deb ... Adding 'diversion of /lib/arm-linux-gnueabihf/libhistory.so.8 to /lib/arm-linux-gnueabihf/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libhistory.so.8.2 to /lib/arm-linux-gnueabihf/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libreadline.so.8 to /lib/arm-linux-gnueabihf/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libreadline.so.8.2 to /lib/arm-linux-gnueabihf/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:armhf (8.2-4build1) ... Preparing to unpack .../pinentry-curses_1.2.1-3ubuntu4_armhf.deb ... Unpacking pinentry-curses (1.2.1-3ubuntu4) over (1.2.1-1ubuntu1) ... Preparing to unpack .../init-system-helpers_1.66ubuntu1_all.deb ... Unpacking init-system-helpers (1.66ubuntu1) over (1.65.2ubuntu1) ... Setting up init-system-helpers (1.66ubuntu1) ... (Reading database ... 14971 files and directories currently installed.) Removing libnpth0:armhf (1.6-3build2) ... Selecting previously unselected package libnpth0t64:armhf. (Reading database ... 14966 files and directories currently installed.) Preparing to unpack .../libnpth0t64_1.6-3.1build1_armhf.deb ... Unpacking libnpth0t64:armhf (1.6-3.1build1) ... Setting up libnpth0t64:armhf (1.6-3.1build1) ... (Reading database ... 14972 files and directories currently installed.) Preparing to unpack .../gpgv_2.4.4-2ubuntu16_armhf.deb ... Unpacking gpgv (2.4.4-2ubuntu16) over (2.2.40-1.1ubuntu1) ... Setting up gpgv (2.4.4-2ubuntu16) ... (Reading database ... 14972 files and directories currently installed.) Preparing to unpack .../ubuntu-keyring_2023.11.28.1_all.deb ... Unpacking ubuntu-keyring (2023.11.28.1) over (2021.03.26) ... Setting up ubuntu-keyring (2023.11.28.1) ... (Reading database ... 14972 files and directories currently installed.) Preparing to unpack .../tar_1.35+dfsg-3_armhf.deb ... Unpacking tar (1.35+dfsg-3) over (1.34+dfsg-1.2ubuntu1) ... Setting up tar (1.35+dfsg-3) ... (Reading database ... 14972 files and directories currently installed.) Preparing to unpack .../dpkg_1.22.6ubuntu6_armhf.deb ... Unpacking dpkg (1.22.6ubuntu6) over (1.22.0ubuntu1) ... Setting up dpkg (1.22.6ubuntu6) ... (Reading database ... 14970 files and directories currently installed.) Preparing to unpack .../dash_0.5.12-6ubuntu5_armhf.deb ... Unpacking dash (0.5.12-6ubuntu5) over (0.5.12-6ubuntu1) ... Setting up dash (0.5.12-6ubuntu5) ... (Reading database ... 14969 files and directories currently installed.) Preparing to unpack .../diffutils_1%3a3.10-1_armhf.deb ... Unpacking diffutils (1:3.10-1) over (1:3.8-4) ... Setting up diffutils (1:3.10-1) ... (Reading database ... 14969 files and directories currently installed.) Preparing to unpack .../archives/grep_3.11-4_armhf.deb ... Unpacking grep (3.11-4) over (3.11-2) ... Setting up grep (3.11-4) ... (Reading database ... 14969 files and directories currently installed.) Preparing to unpack .../gzip_1.12-1ubuntu2_armhf.deb ... Unpacking gzip (1.12-1ubuntu2) over (1.12-1ubuntu1) ... dpkg: warning: old file '/bin/uncompress' is the same as several new files! (both '/usr/bin/gunzip' and '/usr/bin/uncompress') dpkg: warning: old file '/bin/gunzip' is the same as several new files! (both '/usr/bin/gunzip' and '/usr/bin/uncompress') Setting up gzip (1.12-1ubuntu2) ... (Reading database ... 14969 files and directories currently installed.) Preparing to unpack .../hostname_3.23+nmu2ubuntu1_armhf.deb ... Unpacking hostname (3.23+nmu2ubuntu1) over (3.23+nmu1ubuntu1) ... Setting up hostname (3.23+nmu2ubuntu1) ... (Reading database ... 14969 files and directories currently installed.) Preparing to unpack .../login_1%3a4.13+dfsg1-4ubuntu1_armhf.deb ... Unpacking login (1:4.13+dfsg1-4ubuntu1) over (1:4.13+dfsg1-1ubuntu1) ... Setting up login (1:4.13+dfsg1-4ubuntu1) ... Installing new version of config file /etc/login.defs ... Installing new version of config file /etc/pam.d/login ... (Reading database ... 14969 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.4+20240113-1ubuntu1_armhf.deb ... Unpacking ncurses-bin (6.4+20240113-1ubuntu1) over (6.4+20230625-2) ... Setting up ncurses-bin (6.4+20240113-1ubuntu1) ... (Reading database ... 14969 files and directories currently installed.) Preparing to unpack .../archives/sed_4.9-2_armhf.deb ... Unpacking sed (4.9-2) over (4.9-1) ... Setting up sed (4.9-2) ... (Reading database ... 14969 files and directories currently installed.) Preparing to unpack .../util-linux_2.39.3-9ubuntu3_armhf.deb ... Unpacking util-linux (2.39.3-9ubuntu3) over (2.39.1-4ubuntu2) ... Setting up util-linux (2.39.3-9ubuntu3) ... (Reading database ... 14971 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.4+20240113-1ubuntu1_all.deb ... Unpacking ncurses-base (6.4+20240113-1ubuntu1) over (6.4+20230625-2) ... Setting up ncurses-base (6.4+20240113-1ubuntu1) ... (Reading database ... 14971 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_3.08-6ubuntu2_armhf.deb ... Unpacking sysvinit-utils (3.08-6ubuntu2) over (3.07-1ubuntu1) ... dpkg: warning: unable to delete old directory '/lib/lsb/init-functions.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/lsb': Directory not empty dpkg: warning: unable to delete old directory '/lib/init': Directory not empty Setting up sysvinit-utils (3.08-6ubuntu2) ... (Reading database ... 14969 files and directories currently installed.) Preparing to unpack .../logsave_1.47.0-2.4~exp1ubuntu3_armhf.deb ... Unpacking logsave (1.47.0-2.4~exp1ubuntu3) over (1.47.0-2ubuntu1) ... dpkg: libext2fs2:armhf: dependency problems, but removing anyway as you requested: e2fsprogs depends on libext2fs2 (= 1.47.0-2ubuntu1). (Reading database ... 14969 files and directories currently installed.) Removing libext2fs2:armhf (1.47.0-2ubuntu1) ... Selecting previously unselected package libext2fs2t64:armhf. (Reading database ... 14962 files and directories currently installed.) Preparing to unpack .../libext2fs2t64_1.47.0-2.4~exp1ubuntu3_armhf.deb ... Adding 'diversion of /lib/arm-linux-gnueabihf/libe2p.so.2 to /lib/arm-linux-gnueabihf/libe2p.so.2.usr-is-merged by libext2fs2t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libe2p.so.2.3 to /lib/arm-linux-gnueabihf/libe2p.so.2.3.usr-is-merged by libext2fs2t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libext2fs.so.2 to /lib/arm-linux-gnueabihf/libext2fs.so.2.usr-is-merged by libext2fs2t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libext2fs.so.2.4 to /lib/arm-linux-gnueabihf/libext2fs.so.2.4.usr-is-merged by libext2fs2t64' Unpacking libext2fs2t64:armhf (1.47.0-2.4~exp1ubuntu3) ... Setting up libcom-err2:armhf (1.47.0-2.4~exp1ubuntu3) ... Setting up libext2fs2t64:armhf (1.47.0-2.4~exp1ubuntu3) ... (Reading database ... 14978 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.47.0-2.4~exp1ubuntu3_armhf.deb ... Unpacking e2fsprogs (1.47.0-2.4~exp1ubuntu3) over (1.47.0-2ubuntu1) ... dpkg: warning: unable to delete old directory '/lib/udev/rules.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/udev': Directory not empty Preparing to unpack .../optipng_0.7.8+ds-1build2_armhf.deb ... Unpacking optipng (0.7.8+ds-1build2) over (0.7.7-2build1) ... (Reading database ... 14976 files and directories currently installed.) Removing libpng16-16:armhf (1.6.40-1) ... Selecting previously unselected package libpng16-16t64:armhf. (Reading database ... 14966 files and directories currently installed.) Preparing to unpack .../libpng16-16t64_1.6.43-5build1_armhf.deb ... Unpacking libpng16-16t64:armhf (1.6.43-5build1) ... Setting up libapparmor1:armhf (4.0.0-beta3-0ubuntu3) ... Setting up libargon2-1:armhf (0~20190702+dfsg-4) ... Setting up libdevmapper1.02.1:armhf (2:1.02.185-3ubuntu3) ... Setting up libcryptsetup12:armhf (2:2.7.0-1ubuntu3) ... Setting up libfdisk1:armhf (2.39.3-9ubuntu3) ... Setting up libkmod2:armhf (31+20240202-2ubuntu5) ... Setting up libsystemd-shared:armhf (255.4-1ubuntu5) ... Setting up systemd-dev (255.4-1ubuntu6) ... Setting up mount (2.39.3-9ubuntu3) ... Setting up systemd (255.4-1ubuntu5) ... Installing new version of config file /etc/systemd/journald.conf ... Installing new version of config file /etc/systemd/logind.conf ... Installing new version of config file /etc/systemd/networkd.conf ... Installing new version of config file /etc/systemd/pstore.conf ... Installing new version of config file /etc/systemd/sleep.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 systemd-sysv (255.4-1ubuntu5) ... (Reading database ... 14977 files and directories currently installed.) Preparing to unpack .../init_1.66ubuntu1_armhf.deb ... Unpacking init (1.66ubuntu1) over (1.65.2ubuntu1) ... Preparing to unpack .../libsmartcols1_2.39.3-9ubuntu3_armhf.deb ... Unpacking libsmartcols1:armhf (2.39.3-9ubuntu3) over (2.39.1-4ubuntu2) ... Setting up libsmartcols1:armhf (2.39.3-9ubuntu3) ... (Reading database ... 14978 files and directories currently installed.) Preparing to unpack .../uuid-runtime_2.39.3-9ubuntu3_armhf.deb ... Unpacking uuid-runtime (2.39.3-9ubuntu3) over (2.39.1-4ubuntu2) ... dpkg: warning: unable to delete old directory '/lib/systemd/system': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd': Directory not empty Preparing to unpack .../libattr1_1%3a2.5.2-1_armhf.deb ... Unpacking libattr1:armhf (1:2.5.2-1) over (1:2.5.1-4) ... Setting up libattr1:armhf (1:2.5.2-1) ... (Reading database ... 14976 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a3.1.2-2.1_all.deb ... Unpacking libaudit-common (1:3.1.2-2.1) over (1:3.1.1-1) ... Setting up libaudit-common (1:3.1.2-2.1) ... (Reading database ... 14976 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.8.4-2build2_armhf.deb ... Unpacking libcap-ng0:armhf (0.8.4-2build2) over (0.8.3-1build2) ... Setting up libcap-ng0:armhf (0.8.4-2build2) ... (Reading database ... 14976 files and directories currently installed.) Preparing to unpack .../libmd0_1.1.0-2_armhf.deb ... Unpacking libmd0:armhf (1.1.0-2) over (1.1.0-1) ... Setting up libmd0:armhf (1.1.0-2) ... (Reading database ... 14976 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.5.3-5ubuntu4_all.deb ... Unpacking libpam-runtime (1.5.3-5ubuntu4) over (1.5.2-6ubuntu1) ... Setting up libpam-runtime (1.5.3-5ubuntu4) ... (Reading database ... 14975 files and directories currently installed.) Preparing to unpack .../libsemanage-common_3.5-1build4_all.deb ... Unpacking libsemanage-common (3.5-1build4) over (3.5-1) ... Setting up libsemanage-common (3.5-1build4) ... (Reading database ... 14975 files and directories currently installed.) Preparing to unpack .../libsepol2_3.5-2_armhf.deb ... Unpacking libsepol2:armhf (3.5-2) over (3.5-1) ... Setting up libsepol2:armhf (3.5-2) ... (Reading database ... 14975 files and directories currently installed.) Preparing to unpack .../libsemanage2_3.5-1build4_armhf.deb ... Unpacking libsemanage2:armhf (3.5-1build4) over (3.5-1) ... Setting up libsemanage2:armhf (3.5-1build4) ... (Reading database ... 14975 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.13+dfsg1-4ubuntu1_armhf.deb ... Unpacking passwd (1:4.13+dfsg1-4ubuntu1) over (1:4.13+dfsg1-1ubuntu1) ... Setting up passwd (1:4.13+dfsg1-4ubuntu1) ... (Reading database ... 14975 files and directories currently installed.) Preparing to unpack .../00-libproc2-0_2%3a4.0.4-4ubuntu3_armhf.deb ... Unpacking libproc2-0:armhf (2:4.0.4-4ubuntu3) over (2:4.0.3-1ubuntu1) ... Preparing to unpack .../01-libss2_1.47.0-2.4~exp1ubuntu3_armhf.deb ... Unpacking libss2:armhf (1.47.0-2.4~exp1ubuntu3) over (1.47.0-2ubuntu1) ... Preparing to unpack .../02-mawk_1.3.4.20240123-1_armhf.deb ... Unpacking mawk (1.3.4.20240123-1) over (1.3.4.20230730-1) ... Preparing to unpack .../03-procps_2%3a4.0.4-4ubuntu3_armhf.deb ... Unpacking procps (2:4.0.4-4ubuntu3) over (2:4.0.3-1ubuntu1) ... Preparing to unpack .../04-sensible-utils_0.0.22_all.deb ... Unpacking sensible-utils (0.0.22) over (0.0.20) ... Preparing to unpack .../05-ca-certificates_20240203_all.deb ... Unpacking ca-certificates (20240203) over (20230311ubuntu1) ... Preparing to unpack .../06-krb5-locales_1.20.1-6ubuntu1_all.deb ... Unpacking krb5-locales (1.20.1-6ubuntu1) over (1.20.1-3ubuntu1) ... Preparing to unpack .../07-tzdata_2024a-1ubuntu1_all.deb ... Unpacking tzdata (2024a-1ubuntu1) over (2023c-9ubuntu1) ... Preparing to unpack .../08-bash-completion_1%3a2.11-8_all.deb ... Unpacking bash-completion (1:2.11-8) over (1:2.11-7) ... Preparing to unpack .../09-bsdextrautils_2.39.3-9ubuntu3_armhf.deb ... Unpacking bsdextrautils (2.39.3-9ubuntu3) over (2.39.1-4ubuntu2) ... Preparing to unpack .../10-libgpm2_1.20.7-11_armhf.deb ... Unpacking libgpm2:armhf (1.20.7-11) over (1.20.7-10build1) ... Preparing to unpack .../11-libip4tc2_1.8.10-3ubuntu1_armhf.deb ... Unpacking libip4tc2:armhf (1.8.10-3ubuntu1) over (1.8.9-2ubuntu2) ... Preparing to unpack .../12-libjansson4_2.14-2build2_armhf.deb ... Unpacking libjansson4:armhf (2.14-2build2) over (2.14-2) ... Preparing to unpack .../13-psmisc_23.7-1_armhf.deb ... Unpacking psmisc (23.7-1) over (23.6-1) ... Preparing to unpack .../14-xz-utils_5.6.1+really5.4.5-1build1_armhf.deb ... Unpacking xz-utils (5.6.1+really5.4.5-1build1) over (5.4.1-0.2) ... Preparing to unpack .../15-libctf0_2.42-4ubuntu2_armhf.deb ... Unpacking libctf0:armhf (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../16-libctf-nobfd0_2.42-4ubuntu2_armhf.deb ... Unpacking libctf-nobfd0:armhf (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../17-binutils-arm-linux-gnueabihf_2.42-4ubuntu2_armhf.deb ... Unpacking binutils-arm-linux-gnueabihf (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../18-libbinutils_2.42-4ubuntu2_armhf.deb ... Unpacking libbinutils:armhf (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../19-binutils_2.42-4ubuntu2_armhf.deb ... Unpacking binutils (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../20-binutils-common_2.42-4ubuntu2_armhf.deb ... Unpacking binutils-common:armhf (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../21-libsframe1_2.42-4ubuntu2_armhf.deb ... Unpacking libsframe1:armhf (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../22-libubsan1_14-20240330-1ubuntu2_armhf.deb ... Unpacking libubsan1:armhf (14-20240330-1ubuntu2) over (13.2.0-4ubuntu3) ... Preparing to unpack .../23-libgomp1_14-20240330-1ubuntu2_armhf.deb ... Unpacking libgomp1:armhf (14-20240330-1ubuntu2) over (13.2.0-4ubuntu3) ... Preparing to unpack .../24-libatomic1_14-20240330-1ubuntu2_armhf.deb ... Unpacking libatomic1:armhf (14-20240330-1ubuntu2) over (13.2.0-4ubuntu3) ... Preparing to unpack .../25-libasan8_14-20240330-1ubuntu2_armhf.deb ... Unpacking libasan8:armhf (14-20240330-1ubuntu2) over (13.2.0-4ubuntu3) ... Preparing to unpack .../26-g++-13_13.2.0-23ubuntu3_armhf.deb ... Unpacking g++-13 (13.2.0-23ubuntu3) over (13.2.0-4ubuntu3) ... Preparing to unpack .../27-gcc-13_13.2.0-23ubuntu3_armhf.deb ... Unpacking gcc-13 (13.2.0-23ubuntu3) over (13.2.0-4ubuntu3) ... Preparing to unpack .../28-libstdc++-13-dev_13.2.0-23ubuntu3_armhf.deb ... Unpacking libstdc++-13-dev:armhf (13.2.0-23ubuntu3) over (13.2.0-4ubuntu3) ... Preparing to unpack .../29-libgcc-13-dev_13.2.0-23ubuntu3_armhf.deb ... Unpacking libgcc-13-dev:armhf (13.2.0-23ubuntu3) over (13.2.0-4ubuntu3) ... Preparing to unpack .../30-libcc1-0_14-20240330-1ubuntu2_armhf.deb ... Unpacking libcc1-0:armhf (14-20240330-1ubuntu2) over (13.2.0-4ubuntu3) ... Preparing to unpack .../31-cpp-13_13.2.0-23ubuntu3_armhf.deb ... Unpacking cpp-13 (13.2.0-23ubuntu3) over (13.2.0-4ubuntu3) ... Preparing to unpack .../32-gcc-13-base_13.2.0-23ubuntu3_armhf.deb ... Unpacking gcc-13-base:armhf (13.2.0-23ubuntu3) over (13.2.0-4ubuntu3) ... Selecting previously unselected package gcc-13-arm-linux-gnueabihf. Preparing to unpack .../33-gcc-13-arm-linux-gnueabihf_13.2.0-23ubuntu3_armhf.deb ... Unpacking gcc-13-arm-linux-gnueabihf (13.2.0-23ubuntu3) ... Selecting previously unselected package g++-13-arm-linux-gnueabihf. Preparing to unpack .../34-g++-13-arm-linux-gnueabihf_13.2.0-23ubuntu3_armhf.deb ... Unpacking g++-13-arm-linux-gnueabihf (13.2.0-23ubuntu3) ... Selecting previously unselected package cpp-13-arm-linux-gnueabihf. Preparing to unpack .../35-cpp-13-arm-linux-gnueabihf_13.2.0-23ubuntu3_armhf.deb ... Unpacking cpp-13-arm-linux-gnueabihf (13.2.0-23ubuntu3) ... Preparing to unpack .../36-g++_4%3a13.2.0-7ubuntu1_armhf.deb ... Unpacking g++ (4:13.2.0-7ubuntu1) over (4:13.2.0-1ubuntu1) ... Preparing to unpack .../37-gcc_4%3a13.2.0-7ubuntu1_armhf.deb ... Unpacking gcc (4:13.2.0-7ubuntu1) over (4:13.2.0-1ubuntu1) ... Preparing to unpack .../38-cpp_4%3a13.2.0-7ubuntu1_armhf.deb ... Unpacking cpp (4:13.2.0-7ubuntu1) over (4:13.2.0-1ubuntu1) ... Selecting previously unselected package cpp-arm-linux-gnueabihf. Preparing to unpack .../39-cpp-arm-linux-gnueabihf_4%3a13.2.0-7ubuntu1_armhf.deb ... Unpacking cpp-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... Selecting previously unselected package gcc-arm-linux-gnueabihf. Preparing to unpack .../40-gcc-arm-linux-gnueabihf_4%3a13.2.0-7ubuntu1_armhf.deb ... Unpacking gcc-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... Selecting previously unselected package g++-arm-linux-gnueabihf. Preparing to unpack .../41-g++-arm-linux-gnueabihf_4%3a13.2.0-7ubuntu1_armhf.deb ... Unpacking g++-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... Preparing to unpack .../42-dpkg-dev_1.22.6ubuntu6_all.deb ... Unpacking dpkg-dev (1.22.6ubuntu6) over (1.22.0ubuntu1) ... Preparing to unpack .../43-libdpkg-perl_1.22.6ubuntu6_all.deb ... Unpacking libdpkg-perl (1.22.6ubuntu6) over (1.22.0ubuntu1) ... Preparing to unpack .../44-lto-disabled-list_47_all.deb ... Unpacking lto-disabled-list (47) over (43) ... Preparing to unpack .../45-libfakeroot_1.33-1_armhf.deb ... Unpacking libfakeroot:armhf (1.33-1) over (1.32.1-1) ... Preparing to unpack .../46-fakeroot_1.33-1_armhf.deb ... Unpacking fakeroot (1.33-1) over (1.32.1-1) ... Setting up libip4tc2:armhf (1.8.10-3ubuntu1) ... Setting up libtext-iconv-perl:armhf (1.7-8build3) ... Setting up libtext-charwidth-perl:armhf (0.04-11build3) ... Setting up libkeyutils1:armhf (1.6.3-3) ... Setting up lto-disabled-list (47) ... Setting up libgpm2:armhf (1.20.7-11) ... Setting up libgdbm6t64:armhf (1.23-5.1build1) ... Setting up bsdextrautils (2.39.3-9ubuntu3) ... Setting up init (1.66ubuntu1) ... Setting up libgdbm-compat4t64:armhf (1.23-5.1build1) ... Setting up psmisc (23.7-1) ... Setting up libtirpc-common (1.3.4+ds-1.1build1) ... Setting up libsqlite3-0:armhf (3.45.1-1ubuntu2) ... Setting up binutils-common:armhf (2.42-4ubuntu2) ... Setting up linux-libc-dev:armhf (6.8.0-20.20) ... Setting up libctf-nobfd0:armhf (2.42-4ubuntu2) ... Setting up krb5-locales (1.20.1-6ubuntu1) ... Setting up libgomp1:armhf (14-20240330-1ubuntu2) ... Setting up bzip2 (1.0.8-5.1) ... Setting up libsframe1:armhf (2.42-4ubuntu2) ... Setting up libfakeroot:armhf (1.33-1) ... Setting up libjansson4:armhf (2.14-2build2) ... Setting up libkrb5support0:armhf (1.20.1-6ubuntu2) ... Setting up tzdata (2024a-1ubuntu1) ... Current default time zone: 'Etc/UTC' Local time is now: Sun Mar 31 18:10:28 UTC 2024. Universal Time is now: Sun Mar 31 18:10:28 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up fakeroot (1.33-1) ... Setting up gcc-13-base:armhf (13.2.0-23ubuntu3) ... Setting up bash-completion (1:2.11-8) ... Setting up xz-utils (5.6.1+really5.4.5-1build1) ... Setting up perl-modules-5.38 (5.38.2-3.2build1) ... Setting up libproc2-0:armhf (2:4.0.4-4ubuntu3) ... Setting up libpng16-16t64:armhf (1.6.43-5build1) ... Setting up libatomic1:armhf (14-20240330-1ubuntu2) ... Setting up libss2:armhf (1.47.0-2.4~exp1ubuntu3) ... Setting up libncursesw6:armhf (6.4+20240113-1ubuntu1) ... Setting up libk5crypto3:armhf (1.20.1-6ubuntu2) ... Setting up logsave (1.47.0-2.4~exp1ubuntu3) ... Setting up libdb5.3t64:armhf (5.3.28+dfsg2-6build1) ... Setting up libubsan1:armhf (14-20240330-1ubuntu2) ... Setting up sensible-utils (0.0.22) ... Setting up uuid-runtime (2.39.3-9ubuntu3) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of restart. Setting up libcrypt-dev:armhf (1:4.4.36-4) ... Setting up libasan8:armhf (14-20240330-1ubuntu2) ... Setting up procps (2:4.0.4-4ubuntu3) ... Installing new version of config file /etc/sysctl.conf ... Setting up mawk (1.3.4.20240123-1) ... Setting up libkrb5-3:armhf (1.20.1-6ubuntu2) ... Setting up libperl5.38t64:armhf (5.38.2-3.2build1) ... Setting up libbinutils:armhf (2.42-4ubuntu2) ... Setting up libc-dev-bin (2.39-0ubuntu8) ... Setting up openssl (3.0.13-0ubuntu3) ... Setting up libgpg-error-l10n (1.47-3build1) ... Setting up readline-common (8.2-4build1) ... Setting up libcc1-0:armhf (14-20240330-1ubuntu2) ... Setting up liblocale-gettext-perl (1.07-6ubuntu5) ... Setting up libctf0:armhf (2.42-4ubuntu2) ... Setting up pinentry-curses (1.2.1-3ubuntu4) ... Setting up apt-utils (2.7.14) ... Setting up cpp-13-arm-linux-gnueabihf (13.2.0-23ubuntu3) ... Setting up debconf-i18n (1.5.86) ... Setting up e2fsprogs (1.47.0-2.4~exp1ubuntu3) ... Setting up ca-certificates (20240203) ... Updating certificates in /etc/ssl/certs... rehash: warning: skipping ca-certificates.crt,it does not contain exactly one certificate or CRL 14 added, 5 removed; done. Setting up perl (5.38.2-3.2build1) ... Setting up optipng (0.7.8+ds-1build2) ... Setting up libgssapi-krb5-2:armhf (1.20.1-6ubuntu2) ... Setting up libdpkg-perl (1.22.6ubuntu6) ... Setting up libreadline8t64:armhf (8.2-4build1) ... Setting up libgcc-13-dev:armhf (13.2.0-23ubuntu3) ... Setting up gpgconf (2.4.4-2ubuntu16) ... Setting up libc6-dev:armhf (2.39-0ubuntu8) ... Setting up binutils-arm-linux-gnueabihf (2.42-4ubuntu2) ... Setting up gpg (2.4.4-2ubuntu16) ... Setting up cpp-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... Setting up libstdc++-13-dev:armhf (13.2.0-23ubuntu3) ... Setting up gpg-agent (2.4.4-2ubuntu16) ... Setting up cpp-13 (13.2.0-23ubuntu3) ... Setting up libtirpc3t64:armhf (1.3.4+ds-1.1build1) ... Setting up binutils (2.42-4ubuntu2) ... Setting up gcc-13-arm-linux-gnueabihf (13.2.0-23ubuntu3) ... Setting up dpkg-dev (1.22.6ubuntu6) ... Setting up libtirpc-dev:armhf (1.3.4+ds-1.1build1) ... Setting up gcc-13 (13.2.0-23ubuntu3) ... Setting up cpp (4:13.2.0-7ubuntu1) ... Setting up libnsl2:armhf (1.3.0-3build3) ... Setting up gcc-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... Setting up g++-13-arm-linux-gnueabihf (13.2.0-23ubuntu3) ... Setting up g++-arm-linux-gnueabihf (4:13.2.0-7ubuntu1) ... Setting up g++-13 (13.2.0-23ubuntu3) ... Setting up libnss-nisplus:armhf (1.3-5) ... Setting up gcc (4:13.2.0-7ubuntu1) ... Setting up g++ (4:13.2.0-7ubuntu1) ... Setting up libnsl-dev:armhf (1.3.0-3build3) ... Processing triggers for libc-bin (2.39-0ubuntu8) ... Processing triggers for debianutils (5.17build1) ... (Reading database ... 15022 files and directories currently installed.) Purging configuration files for libssl3:armhf (3.0.10-1ubuntu2) ... Processing triggers for ca-certificates (20240203) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-27987615 armhf noble-proposed -c chroot:build-PACKAGEBUILD-27987615 --arch=armhf --dist=noble-proposed --nolog coq-bignums_9.0.0+coq8.18-1build2.dsc Initiating build PACKAGEBUILD-27987615 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 5.4.0-173-generic #191-Ubuntu SMP Fri Feb 2 13:54:37 UTC 2024 armv7l sbuild (Debian sbuild) 0.79.0 (05 February 2020) on bos02-arm64-022.buildd +==============================================================================+ | coq-bignums 9.0.0+coq8.18-1build2 (armhf) Sun, 31 Mar 2024 18:10:38 +0000 | +==============================================================================+ Package: coq-bignums Version: 9.0.0+coq8.18-1build2 Source Version: 9.0.0+coq8.18-1build2 Distribution: noble-proposed Machine Architecture: arm64 Host Architecture: armhf Build Architecture: armhf Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-27987615/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/coq-bignums-CbwjIi/resolver-lK44kz' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- coq-bignums_9.0.0+coq8.18-1build2.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/coq-bignums-CbwjIi/coq-bignums-9.0.0+coq8.18' with '<>' I: NOTICE: Log filtering will replace 'build/coq-bignums-CbwjIi' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq (>= 0.3), dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential, fakeroot Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq (>= 0.3), dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, 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 [404 B] Get:5 copy:/<>/apt_archive ./ Packages [486 B] Fetched 1847 B in 0s (77.9 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 packages were automatically installed and are no longer required: apt-utils bash-completion ca-certificates debconf-i18n krb5-locales libgpg-error-l10n libgpm2 libgssapi-krb5-2 libip4tc2 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblocale-gettext-perl libnsl-dev libnsl2 libnss-nis libnss-nisplus libtext-charwidth-perl libtext-iconv-perl libtext-wrapi18n-perl libtirpc-common libtirpc-dev libtirpc3t64 libunistring2 openssl perl-modules-5.36 psmisc uuid-runtime Use 'apt autoremove' to remove them. The following additional packages will be installed: autoconf automake autopoint autotools-dev coq debhelper debugedit dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libdw1t64 libelf1t64 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu74 libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libpipeline1 libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.12 python3.12-minimal Suggested packages: autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit | readline-editor why coq-doc dh-make git 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.12-venv python3.12-doc binfmt-support Recommended packages: curl | wget | lynx libarchive-cpio-perl ocaml-man libltdl-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev coq debhelper debugedit dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libdw1t64 libelf1t64 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu74 libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libpipeline1 libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.12 python3.12-minimal sbuild-build-depends-main-dummy 0 upgraded, 63 newly installed, 0 to remove and 1 not upgraded. Need to get 358 MB of archives. After this operation, 1189 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [706 B] Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libpython3.12-minimal armhf 3.12.2-4build4 [816 kB] Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libexpat1 armhf 2.6.1-2build1 [65.9 kB] Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main armhf python3.12-minimal armhf 3.12.2-4build4 [1942 kB] Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main armhf python3-minimal armhf 3.12.2-0ubuntu2 [27.1 kB] Get:6 http://ftpmaster.internal/ubuntu noble/main armhf media-types all 10.1.0 [27.5 kB] Get:7 http://ftpmaster.internal/ubuntu noble/main armhf netbase all 6.4 [13.1 kB] Get:8 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libpython3.12-stdlib armhf 3.12.2-4build4 [1906 kB] Get:9 http://ftpmaster.internal/ubuntu noble-proposed/main armhf python3.12 armhf 3.12.2-4build4 [645 kB] Get:10 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libpython3-stdlib armhf 3.12.2-0ubuntu2 [9854 B] Get:11 http://ftpmaster.internal/ubuntu noble-proposed/main armhf python3 armhf 3.12.2-0ubuntu2 [24.1 kB] Get:12 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libelf1t64 armhf 0.190-1.1build3 [49.9 kB] Get:13 http://ftpmaster.internal/ubuntu noble/main armhf libicu74 armhf 74.2-1ubuntu1 [10.5 MB] Get:14 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libxml2 armhf 2.9.14+dfsg-1.3ubuntu3 [595 kB] Get:15 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libmagic-mgc armhf 1:5.45-3build1 [307 kB] Get:16 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libmagic1t64 armhf 1:5.45-3build1 [81.4 kB] Get:17 http://ftpmaster.internal/ubuntu noble-proposed/main armhf file armhf 1:5.45-3build1 [21.1 kB] Get:18 http://ftpmaster.internal/ubuntu noble/main armhf gettext-base armhf 0.21-14ubuntu1 [38.0 kB] Get:19 http://ftpmaster.internal/ubuntu noble/main armhf libuchardet0 armhf 0.0.8-1 [73.9 kB] Get:20 http://ftpmaster.internal/ubuntu noble-proposed/main armhf groff-base armhf 1.23.0-3build2 [946 kB] Get:21 http://ftpmaster.internal/ubuntu noble/main armhf libncurses6 armhf 6.4+20240113-1ubuntu1 [88.1 kB] Get:22 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libpipeline1 armhf 1.5.7-2 [26.2 kB] Get:23 http://ftpmaster.internal/ubuntu noble-proposed/main armhf man-db armhf 2.12.0-4build1 [1202 kB] Get:24 http://ftpmaster.internal/ubuntu noble/main armhf m4 armhf 1.4.19-4 [235 kB] Get:25 http://ftpmaster.internal/ubuntu noble/main armhf autoconf all 2.71-3 [339 kB] Get:26 http://ftpmaster.internal/ubuntu noble/main armhf autotools-dev all 20220109.1 [44.9 kB] Get:27 http://ftpmaster.internal/ubuntu noble/main armhf automake all 1:1.16.5-1.3ubuntu1 [558 kB] Get:28 http://ftpmaster.internal/ubuntu noble/main armhf autopoint all 0.21-14ubuntu1 [422 kB] Get:29 http://ftpmaster.internal/ubuntu noble/universe armhf libcoq-stdlib armhf 8.18.0+dfsg-1build1 [26.5 MB] Get:30 http://ftpmaster.internal/ubuntu noble/universe armhf libstdlib-ocaml armhf 4.14.1-1ubuntu1 [344 kB] Get:31 http://ftpmaster.internal/ubuntu noble/universe armhf ocaml-base armhf 4.14.1-1ubuntu1 [216 kB] Get:32 http://ftpmaster.internal/ubuntu noble/universe armhf libfindlib-ocaml armhf 1.9.6-1build3 [197 kB] Get:33 http://ftpmaster.internal/ubuntu noble/universe armhf libzarith-ocaml armhf 1.13-2build3 [115 kB] Get:34 http://ftpmaster.internal/ubuntu noble/universe armhf libcoq-core-ocaml armhf 8.18.0+dfsg-1build1 [27.5 MB] Get:35 http://ftpmaster.internal/ubuntu noble/universe armhf libstdlib-ocaml-dev armhf 4.14.1-1ubuntu1 [8297 kB] Get:36 http://ftpmaster.internal/ubuntu noble/universe armhf libcompiler-libs-ocaml-dev armhf 4.14.1-1ubuntu1 [36.9 MB] Get:37 http://ftpmaster.internal/ubuntu noble/universe armhf ocaml-interp armhf 4.14.1-1ubuntu1 [7825 kB] Get:38 http://ftpmaster.internal/ubuntu noble/main armhf libncurses-dev armhf 6.4+20240113-1ubuntu1 [501 kB] Get:39 http://ftpmaster.internal/ubuntu noble/universe armhf ocaml armhf 4.14.1-1ubuntu1 [78.7 MB] Get:40 http://ftpmaster.internal/ubuntu noble/universe armhf ocaml-findlib armhf 1.9.6-1build3 [532 kB] Get:41 http://ftpmaster.internal/ubuntu noble/universe armhf coq armhf 8.18.0+dfsg-1build1 [93.7 MB] Get:42 http://ftpmaster.internal/ubuntu noble/main armhf libdebhelper-perl all 13.14.1ubuntu5 [89.8 kB] Get:43 http://ftpmaster.internal/ubuntu noble/main armhf libtool all 2.4.7-7 [166 kB] Get:44 http://ftpmaster.internal/ubuntu noble/main armhf dh-autoreconf all 20 [16.1 kB] Get:45 http://ftpmaster.internal/ubuntu noble/main armhf libarchive-zip-perl all 1.68-1 [90.2 kB] Get:46 http://ftpmaster.internal/ubuntu noble/main armhf libsub-override-perl all 0.10-1 [10.0 kB] Get:47 http://ftpmaster.internal/ubuntu noble/main armhf libfile-stripnondeterminism-perl all 1.13.1-1 [18.1 kB] Get:48 http://ftpmaster.internal/ubuntu noble/main armhf dh-strip-nondeterminism all 1.13.1-1 [5362 B] Get:49 http://ftpmaster.internal/ubuntu noble-proposed/main armhf libdw1t64 armhf 0.190-1.1build3 [235 kB] Get:50 http://ftpmaster.internal/ubuntu noble-proposed/main armhf debugedit armhf 1:5.0-5build1 [42.2 kB] Get:51 http://ftpmaster.internal/ubuntu noble/main armhf dwz armhf 0.15-1build5 [116 kB] Get:52 http://ftpmaster.internal/ubuntu noble/main armhf gettext armhf 0.21-14ubuntu1 [800 kB] Get:53 http://ftpmaster.internal/ubuntu noble/main armhf intltool-debian all 0.35.0+20060710.6 [23.2 kB] Get:54 http://ftpmaster.internal/ubuntu noble/main armhf po-debconf all 1.0.21+nmu1 [233 kB] Get:55 http://ftpmaster.internal/ubuntu noble/main armhf debhelper all 13.14.1ubuntu5 [869 kB] Get:56 http://ftpmaster.internal/ubuntu noble/universe armhf dh-coq all 0.8 [6766 B] Get:57 http://ftpmaster.internal/ubuntu noble/universe armhf libfindlib-ocaml-dev armhf 1.9.6-1build3 [181 kB] Get:58 http://ftpmaster.internal/ubuntu noble/main armhf libgmpxx4ldbl armhf 2:6.3.0+dfsg-2ubuntu4 [9040 B] Get:59 http://ftpmaster.internal/ubuntu noble/main armhf libgmp-dev armhf 2:6.3.0+dfsg-2ubuntu4 [289 kB] Get:60 http://ftpmaster.internal/ubuntu noble/main armhf libgmp3-dev armhf 2:6.3.0+dfsg-2ubuntu4 [2310 B] Get:61 http://ftpmaster.internal/ubuntu noble/universe armhf libzarith-ocaml-dev armhf 1.13-2build3 [113 kB] Get:62 http://ftpmaster.internal/ubuntu noble/universe armhf libcoq-core-ocaml-dev armhf 8.18.0+dfsg-1build1 [52.0 MB] Get:63 http://ftpmaster.internal/ubuntu noble/universe armhf dh-ocaml all 2.0 [75.7 kB] Preconfiguring packages ... Fetched 358 MB in 18s (20.2 MB/s) Selecting previously unselected package libpython3.12-minimal:armhf. (Reading database ... 15022 files and directories currently installed.) Preparing to unpack .../libpython3.12-minimal_3.12.2-4build4_armhf.deb ... Unpacking libpython3.12-minimal:armhf (3.12.2-4build4) ... Selecting previously unselected package libexpat1:armhf. Preparing to unpack .../libexpat1_2.6.1-2build1_armhf.deb ... Unpacking libexpat1:armhf (2.6.1-2build1) ... Selecting previously unselected package python3.12-minimal. Preparing to unpack .../python3.12-minimal_3.12.2-4build4_armhf.deb ... Unpacking python3.12-minimal (3.12.2-4build4) ... Setting up libpython3.12-minimal:armhf (3.12.2-4build4) ... Setting up libexpat1:armhf (2.6.1-2build1) ... Setting up python3.12-minimal (3.12.2-4build4) ... Selecting previously unselected package python3-minimal. (Reading database ... 15340 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.12.2-0ubuntu2_armhf.deb ... Unpacking python3-minimal (3.12.2-0ubuntu2) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_10.1.0_all.deb ... Unpacking media-types (10.1.0) ... Selecting previously unselected package netbase. Preparing to unpack .../2-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Selecting previously unselected package libpython3.12-stdlib:armhf. Preparing to unpack .../3-libpython3.12-stdlib_3.12.2-4build4_armhf.deb ... Unpacking libpython3.12-stdlib:armhf (3.12.2-4build4) ... Selecting previously unselected package python3.12. Preparing to unpack .../4-python3.12_3.12.2-4build4_armhf.deb ... Unpacking python3.12 (3.12.2-4build4) ... Selecting previously unselected package libpython3-stdlib:armhf. Preparing to unpack .../5-libpython3-stdlib_3.12.2-0ubuntu2_armhf.deb ... Unpacking libpython3-stdlib:armhf (3.12.2-0ubuntu2) ... Setting up python3-minimal (3.12.2-0ubuntu2) ... Selecting previously unselected package python3. (Reading database ... 15780 files and directories currently installed.) Preparing to unpack .../00-python3_3.12.2-0ubuntu2_armhf.deb ... Unpacking python3 (3.12.2-0ubuntu2) ... Selecting previously unselected package libelf1t64:armhf. Preparing to unpack .../01-libelf1t64_0.190-1.1build3_armhf.deb ... Unpacking libelf1t64:armhf (0.190-1.1build3) ... Selecting previously unselected package libicu74:armhf. Preparing to unpack .../02-libicu74_74.2-1ubuntu1_armhf.deb ... Unpacking libicu74:armhf (74.2-1ubuntu1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../03-libxml2_2.9.14+dfsg-1.3ubuntu3_armhf.deb ... Unpacking libxml2:armhf (2.9.14+dfsg-1.3ubuntu3) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../04-libmagic-mgc_1%3a5.45-3build1_armhf.deb ... Unpacking libmagic-mgc (1:5.45-3build1) ... Selecting previously unselected package libmagic1t64:armhf. Preparing to unpack .../05-libmagic1t64_1%3a5.45-3build1_armhf.deb ... Unpacking libmagic1t64:armhf (1:5.45-3build1) ... Selecting previously unselected package file. Preparing to unpack .../06-file_1%3a5.45-3build1_armhf.deb ... Unpacking file (1:5.45-3build1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../07-gettext-base_0.21-14ubuntu1_armhf.deb ... Unpacking gettext-base (0.21-14ubuntu1) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../08-libuchardet0_0.0.8-1_armhf.deb ... Unpacking libuchardet0:armhf (0.0.8-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../09-groff-base_1.23.0-3build2_armhf.deb ... Unpacking groff-base (1.23.0-3build2) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../10-libncurses6_6.4+20240113-1ubuntu1_armhf.deb ... Unpacking libncurses6:armhf (6.4+20240113-1ubuntu1) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../11-libpipeline1_1.5.7-2_armhf.deb ... Unpacking libpipeline1:armhf (1.5.7-2) ... Selecting previously unselected package man-db. Preparing to unpack .../12-man-db_2.12.0-4build1_armhf.deb ... Unpacking man-db (2.12.0-4build1) ... Selecting previously unselected package m4. Preparing to unpack .../13-m4_1.4.19-4_armhf.deb ... Unpacking m4 (1.4.19-4) ... 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.3ubuntu1_all.deb ... Unpacking automake (1:1.16.5-1.3ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../17-autopoint_0.21-14ubuntu1_all.deb ... Unpacking autopoint (0.21-14ubuntu1) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../18-libcoq-stdlib_8.18.0+dfsg-1build1_armhf.deb ... Unpacking libcoq-stdlib (8.18.0+dfsg-1build1) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../19-libstdlib-ocaml_4.14.1-1ubuntu1_armhf.deb ... Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../20-ocaml-base_4.14.1-1ubuntu1_armhf.deb ... Unpacking ocaml-base (4.14.1-1ubuntu1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../21-libfindlib-ocaml_1.9.6-1build3_armhf.deb ... Unpacking libfindlib-ocaml (1.9.6-1build3) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../22-libzarith-ocaml_1.13-2build3_armhf.deb ... Unpacking libzarith-ocaml (1.13-2build3) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../23-libcoq-core-ocaml_8.18.0+dfsg-1build1_armhf.deb ... Unpacking libcoq-core-ocaml (8.18.0+dfsg-1build1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../24-libstdlib-ocaml-dev_4.14.1-1ubuntu1_armhf.deb ... Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../25-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_armhf.deb ... Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../26-ocaml-interp_4.14.1-1ubuntu1_armhf.deb ... Unpacking ocaml-interp (4.14.1-1ubuntu1) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../27-libncurses-dev_6.4+20240113-1ubuntu1_armhf.deb ... Unpacking libncurses-dev:armhf (6.4+20240113-1ubuntu1) ... Selecting previously unselected package ocaml. Preparing to unpack .../28-ocaml_4.14.1-1ubuntu1_armhf.deb ... Unpacking ocaml (4.14.1-1ubuntu1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../29-ocaml-findlib_1.9.6-1build3_armhf.deb ... Unpacking ocaml-findlib (1.9.6-1build3) ... Selecting previously unselected package coq. Preparing to unpack .../30-coq_8.18.0+dfsg-1build1_armhf.deb ... Unpacking coq (8.18.0+dfsg-1build1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../31-libdebhelper-perl_13.14.1ubuntu5_all.deb ... Unpacking libdebhelper-perl (13.14.1ubuntu5) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.4.7-7_all.deb ... Unpacking libtool (2.4.7-7) ... 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.10-1_all.deb ... Unpacking libsub-override-perl (0.10-1) ... 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 libdw1t64:armhf. Preparing to unpack .../38-libdw1t64_0.190-1.1build3_armhf.deb ... Unpacking libdw1t64:armhf (0.190-1.1build3) ... Selecting previously unselected package debugedit. Preparing to unpack .../39-debugedit_1%3a5.0-5build1_armhf.deb ... Unpacking debugedit (1:5.0-5build1) ... Selecting previously unselected package dwz. Preparing to unpack .../40-dwz_0.15-1build5_armhf.deb ... Unpacking dwz (0.15-1build5) ... Selecting previously unselected package gettext. Preparing to unpack .../41-gettext_0.21-14ubuntu1_armhf.deb ... Unpacking gettext (0.21-14ubuntu1) ... 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.14.1ubuntu5_all.deb ... Unpacking debhelper (13.14.1ubuntu5) ... Selecting previously unselected package dh-coq. Preparing to unpack .../45-dh-coq_0.8_all.deb ... Unpacking dh-coq (0.8) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../46-libfindlib-ocaml-dev_1.9.6-1build3_armhf.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-1build3) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Preparing to unpack .../47-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu4_armhf.deb ... Unpacking libgmpxx4ldbl:armhf (2:6.3.0+dfsg-2ubuntu4) ... Selecting previously unselected package libgmp-dev:armhf. Preparing to unpack .../48-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu4_armhf.deb ... Unpacking libgmp-dev:armhf (2:6.3.0+dfsg-2ubuntu4) ... Selecting previously unselected package libgmp3-dev:armhf. Preparing to unpack .../49-libgmp3-dev_2%3a6.3.0+dfsg-2ubuntu4_armhf.deb ... Unpacking libgmp3-dev:armhf (2:6.3.0+dfsg-2ubuntu4) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../50-libzarith-ocaml-dev_1.13-2build3_armhf.deb ... Unpacking libzarith-ocaml-dev (1.13-2build3) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../51-libcoq-core-ocaml-dev_8.18.0+dfsg-1build1_armhf.deb ... Unpacking libcoq-core-ocaml-dev (8.18.0+dfsg-1build1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../52-dh-ocaml_2.0_all.deb ... Unpacking dh-ocaml (2.0) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../53-sbuild-build-depends-main-dummy_0.invalid.0_armhf.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (10.1.0) ... Setting up libpipeline1:armhf (1.5.7-2) ... Setting up libmagic-mgc (1:5.45-3build1) ... Setting up dh-coq (0.8) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.14.1ubuntu5) ... Setting up libmagic1t64:armhf (1:5.45-3build1) ... Setting up dh-ocaml (2.0) ... Setting up gettext-base (0.21-14ubuntu1) ... Setting up m4 (1.4.19-4) ... Setting up file (1:5.45-3build1) ... Setting up libelf1t64:armhf (0.190-1.1build3) ... Setting up libdw1t64:armhf (0.190-1.1build3) ... Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.18.0+dfsg-1build1) ... Setting up libgmpxx4ldbl:armhf (2:6.3.0+dfsg-2ubuntu4) ... Setting up libncurses6:armhf (6.4+20240113-1ubuntu1) ... Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... Setting up autopoint (0.21-14ubuntu1) ... Setting up ocaml-base (4.14.1-1ubuntu1) ... Setting up autoconf (2.71-3) ... Setting up libicu74:armhf (74.2-1ubuntu1) ... Setting up dwz (0.15-1build5) ... Setting up libuchardet0:armhf (0.0.8-1) ... Setting up debugedit (1:5.0-5build1) ... Setting up libsub-override-perl (0.10-1) ... Setting up netbase (6.4) ... Setting up libxml2:armhf (2.9.14+dfsg-1.3ubuntu3) ... Setting up automake (1:1.16.5-1.3ubuntu1) ... 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 libncurses-dev:armhf (6.4+20240113-1ubuntu1) ... Setting up gettext (0.21-14ubuntu1) ... Setting up libgmp-dev:armhf (2:6.3.0+dfsg-2ubuntu4) ... Setting up libpython3.12-stdlib:armhf (3.12.2-4build4) ... Setting up libtool (2.4.7-7) ... Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... Setting up python3.12 (3.12.2-4build4) ... Setting up libfindlib-ocaml (1.9.6-1build3) ... Setting up libzarith-ocaml (1.13-2build3) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... Setting up ocaml-interp (4.14.1-1ubuntu1) ... Setting up ocaml-findlib (1.9.6-1build3) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up libcoq-core-ocaml (8.18.0+dfsg-1build1) ... Setting up groff-base (1.23.0-3build2) ... Setting up libgmp3-dev:armhf (2:6.3.0+dfsg-2ubuntu4) ... Setting up libpython3-stdlib:armhf (3.12.2-0ubuntu2) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up python3 (3.12.2-0ubuntu2) ... Setting up ocaml (4.14.1-1ubuntu1) ... Setting up man-db (2.12.0-4build1) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer → /usr/lib/systemd/system/man-db.timer. Setting up libfindlib-ocaml-dev (1.9.6-1build3) ... Setting up coq (8.18.0+dfsg-1build1) ... Setting up libzarith-ocaml-dev (1.13-2build3) ... Setting up debhelper (13.14.1ubuntu5) ... Setting up libcoq-core-ocaml-dev (8.18.0+dfsg-1build1) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for systemd (255.4-1ubuntu5) ... Processing triggers for libc-bin (2.39-0ubuntu8) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (armhf included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 5.4.0-173-generic #191-Ubuntu SMP Fri Feb 2 13:54:37 UTC 2024 arm64 (armv7l) Toolchain package versions: binutils_2.42-4ubuntu2 dpkg-dev_1.22.6ubuntu6 g++-13_13.2.0-23ubuntu3 gcc-13_13.2.0-23ubuntu3 libc6-dev_2.39-0ubuntu8 libstdc++-13-dev_13.2.0-23ubuntu3 libstdc++6_14-20240330-1ubuntu2 linux-libc-dev_6.8.0-20.20 Package versions: adduser_3.137ubuntu1 advancecomp_2.5-1 apt_2.7.14 apt-utils_2.7.14 autoconf_2.71-3 automake_1:1.16.5-1.3ubuntu1 autopoint_0.21-14ubuntu1 autotools-dev_20220109.1 base-files_13ubuntu9 base-passwd_3.6.3 bash_5.2.21-2ubuntu4 bash-completion_1:2.11-8 binutils_2.42-4ubuntu2 binutils-arm-linux-gnueabihf_2.42-4ubuntu2 binutils-common_2.42-4ubuntu2 bsdextrautils_2.39.3-9ubuntu3 bsdutils_1:2.39.3-9ubuntu3 build-essential_12.10ubuntu1 bzip2_1.0.8-5.1 ca-certificates_20240203 coq_8.18.0+dfsg-1build1 coreutils_9.4-3ubuntu3 cpp_4:13.2.0-7ubuntu1 cpp-13_13.2.0-23ubuntu3 cpp-13-arm-linux-gnueabihf_13.2.0-23ubuntu3 cpp-arm-linux-gnueabihf_4:13.2.0-7ubuntu1 dash_0.5.12-6ubuntu5 debconf_1.5.86 debconf-i18n_1.5.86 debhelper_13.14.1ubuntu5 debianutils_5.17build1 debugedit_1:5.0-5build1 dh-autoreconf_20 dh-coq_0.8 dh-ocaml_2.0 dh-strip-nondeterminism_1.13.1-1 diffutils_1:3.10-1 dpkg_1.22.6ubuntu6 dpkg-dev_1.22.6ubuntu6 dwz_0.15-1build5 e2fsprogs_1.47.0-2.4~exp1ubuntu3 fakeroot_1.33-1 file_1:5.45-3build1 findutils_4.9.0-5 g++_4:13.2.0-7ubuntu1 g++-13_13.2.0-23ubuntu3 g++-13-arm-linux-gnueabihf_13.2.0-23ubuntu3 g++-arm-linux-gnueabihf_4:13.2.0-7ubuntu1 gcc_4:13.2.0-7ubuntu1 gcc-13_13.2.0-23ubuntu3 gcc-13-arm-linux-gnueabihf_13.2.0-23ubuntu3 gcc-13-base_13.2.0-23ubuntu3 gcc-14-base_14-20240330-1ubuntu2 gcc-arm-linux-gnueabihf_4:13.2.0-7ubuntu1 gettext_0.21-14ubuntu1 gettext-base_0.21-14ubuntu1 gpg_2.4.4-2ubuntu16 gpg-agent_2.4.4-2ubuntu16 gpgconf_2.4.4-2ubuntu16 gpgv_2.4.4-2ubuntu16 grep_3.11-4 groff-base_1.23.0-3build2 gzip_1.12-1ubuntu2 hostname_3.23+nmu2ubuntu1 init_1.66ubuntu1 init-system-helpers_1.66ubuntu1 intltool-debian_0.35.0+20060710.6 krb5-locales_1.20.1-6ubuntu1 libacl1_2.3.2-1 libapparmor1_4.0.0-beta3-0ubuntu3 libapt-pkg6.0t64_2.7.14 libarchive-zip-perl_1.68-1 libargon2-1_0~20190702+dfsg-4 libasan8_14-20240330-1ubuntu2 libassuan0_2.5.6-1 libatomic1_14-20240330-1ubuntu2 libattr1_1:2.5.2-1 libaudit-common_1:3.1.2-2.1 libaudit1_1:3.1.1-1 libbinutils_2.42-4ubuntu2 libblkid1_2.39.3-9ubuntu3 libbz2-1.0_1.0.8-5.1 libc-bin_2.39-0ubuntu8 libc-dev-bin_2.39-0ubuntu8 libc6_2.39-0ubuntu8 libc6-dev_2.39-0ubuntu8 libcap-ng0_0.8.4-2build2 libcap2_1:2.66-5ubuntu1 libcc1-0_14-20240330-1ubuntu2 libcom-err2_1.47.0-2.4~exp1ubuntu3 libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1 libcoq-core-ocaml_8.18.0+dfsg-1build1 libcoq-core-ocaml-dev_8.18.0+dfsg-1build1 libcoq-stdlib_8.18.0+dfsg-1build1 libcrypt-dev_1:4.4.36-4 libcrypt1_1:4.4.36-4 libcryptsetup12_2:2.7.0-1ubuntu3 libctf-nobfd0_2.42-4ubuntu2 libctf0_2.42-4ubuntu2 libdb5.3t64_5.3.28+dfsg2-6build1 libdebconfclient0_0.271ubuntu3 libdebhelper-perl_13.14.1ubuntu5 libdevmapper1.02.1_2:1.02.185-3ubuntu3 libdpkg-perl_1.22.6ubuntu6 libdw1t64_0.190-1.1build3 libelf1t64_0.190-1.1build3 libexpat1_2.6.1-2build1 libext2fs2t64_1.47.0-2.4~exp1ubuntu3 libfakeroot_1.33-1 libfdisk1_2.39.3-9ubuntu3 libffi8_3.4.6-1 libfile-stripnondeterminism-perl_1.13.1-1 libfindlib-ocaml_1.9.6-1build3 libfindlib-ocaml-dev_1.9.6-1build3 libgcc-13-dev_13.2.0-23ubuntu3 libgcc-s1_14-20240330-1ubuntu2 libgcrypt20_1.10.3-2 libgdbm-compat4t64_1.23-5.1build1 libgdbm6t64_1.23-5.1build1 libgmp-dev_2:6.3.0+dfsg-2ubuntu4 libgmp10_2:6.3.0+dfsg-2ubuntu4 libgmp3-dev_2:6.3.0+dfsg-2ubuntu4 libgmpxx4ldbl_2:6.3.0+dfsg-2ubuntu4 libgnutls30t64_3.8.3-1.1ubuntu3 libgomp1_14-20240330-1ubuntu2 libgpg-error-l10n_1.47-3build1 libgpg-error0_1.47-3build1 libgpm2_1.20.7-11 libgssapi-krb5-2_1.20.1-6ubuntu2 libhogweed6t64_3.9.1-2.2build1 libicu74_74.2-1ubuntu1 libidn2-0_2.3.7-2 libip4tc2_1.8.10-3ubuntu1 libisl23_0.26-3 libjansson4_2.14-2build2 libjson-c5_0.17-1 libk5crypto3_1.20.1-6ubuntu2 libkeyutils1_1.6.3-3 libkmod2_31+20240202-2ubuntu5 libkrb5-3_1.20.1-6ubuntu2 libkrb5support0_1.20.1-6ubuntu2 liblocale-gettext-perl_1.07-6ubuntu5 liblockfile-bin_1.17-1build2 liblockfile1_1.17-1build2 liblz4-1_1.9.4-1 liblzma5_5.6.1+really5.4.5-1build1 libmagic-mgc_1:5.45-3build1 libmagic1t64_1:5.45-3build1 libmd0_1.1.0-2 libmount1_2.39.3-9ubuntu3 libmpc3_1.3.1-1 libmpfr6_4.2.1-1 libncurses-dev_6.4+20240113-1ubuntu1 libncurses6_6.4+20240113-1ubuntu1 libncursesw6_6.4+20240113-1ubuntu1 libnettle8t64_3.9.1-2.2build1 libnpth0t64_1.6-3.1build1 libnsl-dev_1.3.0-3build3 libnsl2_1.3.0-3build3 libnss-nis_3.1-0ubuntu6 libnss-nisplus_1.3-5 libp11-kit0_0.25.3-4ubuntu1 libpam-modules_1.5.3-5ubuntu4 libpam-modules-bin_1.5.3-5ubuntu4 libpam-runtime_1.5.3-5ubuntu4 libpam0g_1.5.3-5ubuntu4 libpcre2-8-0_10.42-4ubuntu1 libperl5.38t64_5.38.2-3.2build1 libpipeline1_1.5.7-2 libpng16-16t64_1.6.43-5build1 libproc2-0_2:4.0.4-4ubuntu3 libpython3-stdlib_3.12.2-0ubuntu2 libpython3.12-minimal_3.12.2-4build4 libpython3.12-stdlib_3.12.2-4build4 libreadline8t64_8.2-4build1 libseccomp2_2.5.5-1ubuntu3 libselinux1_3.5-2ubuntu2 libsemanage-common_3.5-1build4 libsemanage2_3.5-1build4 libsepol2_3.5-2 libsframe1_2.42-4ubuntu2 libsmartcols1_2.39.3-9ubuntu3 libsqlite3-0_3.45.1-1ubuntu2 libss2_1.47.0-2.4~exp1ubuntu3 libssl3t64_3.0.13-0ubuntu3 libstdc++-13-dev_13.2.0-23ubuntu3 libstdc++6_14-20240330-1ubuntu2 libstdlib-ocaml_4.14.1-1ubuntu1 libstdlib-ocaml-dev_4.14.1-1ubuntu1 libsub-override-perl_0.10-1 libsystemd-shared_255.4-1ubuntu5 libsystemd0_255.4-1ubuntu5 libtasn1-6_4.19.0-3 libtext-charwidth-perl_0.04-11build3 libtext-iconv-perl_1.7-8build3 libtext-wrapi18n-perl_0.06-10 libtinfo6_6.4+20240113-1ubuntu1 libtirpc-common_1.3.4+ds-1.1build1 libtirpc-dev_1.3.4+ds-1.1build1 libtirpc3t64_1.3.4+ds-1.1build1 libtool_2.4.7-7 libubsan1_14-20240330-1ubuntu2 libuchardet0_0.0.8-1 libudev1_255.4-1ubuntu5 libunistring2_1.0-2 libunistring5_1.1-2 libuuid1_2.39.3-9ubuntu3 libxml2_2.9.14+dfsg-1.3ubuntu3 libxxhash0_0.8.2-2 libzarith-ocaml_1.13-2build3 libzarith-ocaml-dev_1.13-2build3 libzstd1_1.5.5+dfsg2-2 linux-libc-dev_6.8.0-20.20 lockfile-progs_0.1.19build1 login_1:4.13+dfsg1-4ubuntu1 logsave_1.47.0-2.4~exp1ubuntu3 lto-disabled-list_47 m4_1.4.19-4 make_4.3-4.1build1 man-db_2.12.0-4build1 mawk_1.3.4.20240123-1 media-types_10.1.0 mount_2.39.3-9ubuntu3 ncurses-base_6.4+20240113-1ubuntu1 ncurses-bin_6.4+20240113-1ubuntu1 netbase_6.4 ocaml_4.14.1-1ubuntu1 ocaml-base_4.14.1-1ubuntu1 ocaml-findlib_1.9.6-1build3 ocaml-interp_4.14.1-1ubuntu1 openssl_3.0.13-0ubuntu3 optipng_0.7.8+ds-1build2 passwd_1:4.13+dfsg1-4ubuntu1 patch_2.7.6-7build2 perl_5.38.2-3.2build1 perl-base_5.38.2-3.2build1 perl-modules-5.36_5.36.0-9ubuntu1 perl-modules-5.38_5.38.2-3.2build1 pinentry-curses_1.2.1-3ubuntu4 pkgbinarymangler_154 po-debconf_1.0.21+nmu1 policyrcd-script-zg2_0.1-3.1 procps_2:4.0.4-4ubuntu3 psmisc_23.7-1 python3_3.12.2-0ubuntu2 python3-minimal_3.12.2-0ubuntu2 python3.12_3.12.2-4build4 python3.12-minimal_3.12.2-4build4 readline-common_8.2-4build1 rpcsvc-proto_1.4.2-0ubuntu6 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2 sensible-utils_0.0.22 systemd_255.4-1ubuntu5 systemd-dev_255.4-1ubuntu6 systemd-sysv_255.4-1ubuntu5 sysvinit-utils_3.08-6ubuntu2 tar_1.35+dfsg-3 tzdata_2024a-1ubuntu1 ubuntu-keyring_2023.11.28.1 util-linux_2.39.3-9ubuntu3 uuid-runtime_2.39.3-9ubuntu3 xz-utils_5.6.1+really5.4.5-1build1 zlib1g_1:1.3.dfsg-3.1ubuntu2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: coq-bignums Binary: libcoq-bignums Architecture: any Version: 9.0.0+coq8.18-1build2 Maintainer: Ubuntu Developers Uploaders: Julien Puydt Homepage: https://github.com/coq-community/bignums Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-bignums Vcs-Git: https://salsa.debian.org/ocaml-team/coq-bignums.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, debhelper-compat (= 13), dh-coq (>= 0.3), dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib Package-List: libcoq-bignums deb ocaml optional arch=any Checksums-Sha1: 5a2ad6feff5d7ae82891e723f2eaee7048a24f1e 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz f979d72387629642505b4eb0ae145f289dc6a8a7 2188 coq-bignums_9.0.0+coq8.18-1build2.debian.tar.xz Checksums-Sha256: 63f4bcb57ebc7ac8d2b6e6ec5938f556b029529bbc03340d872f3c728fa175e3 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz 1bf39af92851eb4f0c61a585f18cb8aa28678cdc718a257b7e2c878c85b48670 2188 coq-bignums_9.0.0+coq8.18-1build2.debian.tar.xz Files: b89c4155bacceaa8ef4f7dddb787c182 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz cadce79021582f2d6186dc4689bbac50 2188 coq-bignums_9.0.0+coq8.18-1build2.debian.tar.xz Original-Maintainer: Debian OCaml Maintainers -----BEGIN PGP SIGNATURE----- iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYJovMaHHN0ZXZlLmxh bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz3JdA//V2QyNoppWPx8M8Ix3c1s /9JZ9F8rrThl+ptkwhvl57xX8CMUVX2X/2IdJlBj2gi4ziUD0Zf9Bry2O+gGykq9 K5pMhJkvHneE65ogKIh00jvoaAiZGVlopOhbKPjWA18tcJ8Yf5P6ekP9Z/iNU39t YVsVPzP6zI1BUcrgL8qIVQhm0iXwrXlXJzi8YNgAUaK8OybUOUgO8ibFDt07GSjo 033s0tRB401aMpkeHgfE+uzKNdiWlTU7Mxvwx9nSAlMy+6AvlfCUdu3AfAQGbt3m RVQUQi8in9umTH5XwwbGQY6sIwHuDSrM9Hd7wIK1209C9t4lUKCjLlhA9MlzoGT2 Bhh4UcQyMRpbHkTvFV1mIg11phpz0NX6lQ2vUXsCIp5B5FWqYxkdvT4aEPlemh7l obV8rDRwZHM7PZZoFxP6DCgwWVe7yGccEMjlH4quXM8uEchtWhiLzXdSmeJddkzw EhnojCApzXIFN5770+kJgGUgCnL81Djs6zEhJQ0LqE0YurIeJIL18XHzeZUIebyO TceXP20QofJ3dlMr1RjX5Lid8v9vWNqtCw/ufRMyOJQBRZf8P4Scj9ArEUuSfBgY OIyjVJLVwtdNnWROGiyAERqWSgxisGcHLeZJLk5HJPfJQPXEk0PADjOp+PtKijDj 4zaeHbErQVtRJFL0FLNfBWg= =SeXa -----END PGP SIGNATURE----- gpgv: Signature made Sun Mar 31 17:52:51 2024 UTC gpgv: using RSA key AC483F68DE728F43F2202FCA568D30F321B2133D gpgv: issuer "steve.langasek@ubuntu.com" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./coq-bignums_9.0.0+coq8.18-1build2.dsc: no acceptable signature found dpkg-source: info: extracting coq-bignums in /<> dpkg-source: info: unpacking coq-bignums_9.0.0+coq8.18.orig.tar.gz dpkg-source: info: unpacking coq-bignums_9.0.0+coq8.18-1build2.debian.tar.xz 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-27987615 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-27987615 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-27987615 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-bignums dpkg-buildpackage: info: source version 9.0.0+coq8.18-1build2 dpkg-buildpackage: info: source distribution noble dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf debian/rules clean dh clean --with coq,ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' make clean make[2]: Entering directory '/<>' coq_makefile -f _CoqProject -o Makefile.coq make -f Makefile.coq Makefile make[3]: Entering directory '/<>' ocaml BigN/gen/NMake_gen.ml > BigN/NMake_gen.v || (RV=$?; rm -f BigN/NMake_gen.v; exit ${RV}) COQDEP VFILES OCAMLLIBDEP plugin/bignums_syntax_plugin.mlpack CAMLDEP plugin/bignums_syntax.ml make[3]: Nothing to be done for 'Makefile'. make[3]: Leaving directory '/<>' make -f Makefile.coq clean make[3]: Entering directory '/<>' rm -f BigN/NMake_gen.v CLEAN make[3]: Leaving directory '/<>' rm -f Makefile.coq Makefile.coq.conf make[2]: Leaving directory '/<>' rm -f plugin/META.coq-bignums .lia.cache .nia.cache find . -name "*.aux" -delete make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with coq,ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a dh_auto_configure -a dh_auto_build -a make -j4 "INSTALL=install --strip-program=true" make[1]: Entering directory '/<>' coq_makefile -f _CoqProject -o Makefile.coq make -f Makefile.coq Makefile make[2]: Entering directory '/<>' ocaml BigN/gen/NMake_gen.ml > BigN/NMake_gen.v || (RV=$?; rm -f BigN/NMake_gen.v; exit ${RV}) OCAMLLIBDEP plugin/bignums_syntax_plugin.mlpack CAMLDEP plugin/bignums_syntax.ml COQDEP VFILES make[2]: Nothing to be done for 'Makefile'. make[2]: Leaving directory '/<>' make -f Makefile.coq all make[2]: Entering directory '/<>' CAMLOPT -c -for-pack Bignums_syntax_plugin plugin/bignums_syntax.ml COQC SpecViaQ/QSig.v CAMLOPT -pack -o plugin/bignums_syntax_plugin.cmx CAMLOPT -a -o plugin/bignums_syntax_plugin.cmxa CAMLOPT -shared -o plugin/bignums_syntax_plugin.cmxs COQC BigNumPrelude.v COQC CyclicDouble/DoubleBase.v COQC CyclicDouble/DoubleAdd.v COQC CyclicDouble/DoubleSub.v COQC CyclicDouble/DoubleMul.v COQC CyclicDouble/DoubleSqrt.v File "./CyclicDouble/DoubleSqrt.v", line 262, characters 59-63: Warning: spec_ww_Bm1 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] COQC CyclicDouble/DoubleLift.v COQC CyclicDouble/DoubleDivn1.v COQC SpecViaZ/NSig.v COQC SpecViaZ/ZSig.v COQC CyclicDouble/DoubleDiv.v COQC SpecViaZ/NSigNAxioms.v COQC SpecViaZ/ZSigZAxioms.v COQC BigQ/QMake.v COQC BigZ/ZMake.v File "./CyclicDouble/DoubleDiv.v", line 1143, characters 28-46: Warning: Notation Zis_gcd_for_euclid is deprecated since 8.17. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 1143, characters 28-46: Warning: Notation Zis_gcd_for_euclid is deprecated since 8.17. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 1493, characters 9-27: Warning: Notation Zis_gcd_for_euclid is deprecated since 8.17. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default] File "./CyclicDouble/DoubleDiv.v", line 1493, characters 9-27: Warning: Notation Zis_gcd_for_euclid is deprecated since 8.17. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default] COQC CyclicDouble/DoubleCyclic.v File "./CyclicDouble/DoubleCyclic.v", line 419, characters 57-61: Warning: spec_ww_to_Z is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 437, characters 1-5: Warning: spec_ww_of_pos is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 440, characters 21-25: Warning: spec_ww_0 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 443, characters 63-67: Warning: spec_ww_1 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 446, characters 61-65: Warning: spec_ww_Bm1 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 452, characters 1-5: Warning: spec_ww_compare is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 455, characters 54-58: Warning: spec_ww_eq0 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 461, characters 1-5: Warning: spec_ww_opp_c is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 468, characters 1-5: Warning: spec_ww_opp is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 474, characters 1-5: Warning: spec_ww_opp_carry is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 479, characters 1-5: Warning: spec_ww_succ_c is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 484, characters 1-5: Warning: spec_ww_add_c is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 490, characters 1-5: Warning: spec_ww_add_carry_c is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 496, characters 1-5: Warning: spec_ww_succ is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 501, characters 1-5: Warning: spec_ww_add is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 507, characters 1-5: Warning: spec_ww_add_carry is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 513, characters 1-5: Warning: spec_ww_pred_c is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 519, characters 1-5: Warning: spec_ww_sub_c is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 525, characters 1-5: Warning: spec_ww_sub_carry_c is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 531, characters 1-5: Warning: spec_ww_pred is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 537, characters 1-5: Warning: spec_ww_sub is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 544, characters 1-5: Warning: spec_ww_sub_carry is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 550, characters 1-5: Warning: spec_ww_mul_c is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 557, characters 1-5: Warning: spec_ww_karatsuba_c is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 563, characters 1-5: Warning: spec_ww_mul is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 569, characters 1-5: Warning: spec_ww_square_c is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 587, characters 1-5: Warning: spec_w_div32 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 598, characters 1-5: Warning: spec_ww_div21 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 610, characters 1-5: Warning: spec_add2 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 621, characters 1-5: Warning: spec_low is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 631, characters 1-5: Warning: spec_ww_digits is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 641, characters 1-5: Warning: spec_ww_head00 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 650, characters 1-5: Warning: spec_ww_head0 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 659, characters 1-5: Warning: spec_ww_tail00 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 668, characters 1-5: Warning: spec_ww_tail0 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 714, characters 1-5: Warning: spec_ww_div_gt is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 722, characters 1-5: Warning: spec_ww_div is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 737, characters 1-5: Warning: spec_ww_mod_gt is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 742, characters 1-5: Warning: spec_ww_mod is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 759, characters 1-5: Warning: spec_ww_gcd_gt is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 774, characters 1-5: Warning: spec_ww_gcd is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 784, characters 1-5: Warning: spec_ww_is_even is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 804, characters 1-5: Warning: spec_ww_sqrt2 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 818, characters 1-5: Warning: spec_ww_sqrt is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 823, characters 1-5: Warning: wB_pos is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 841, characters 1-5: Warning: ww_testbit_high is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 853, characters 1-5: Warning: ww_testbit_low is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 867, characters 1-5: Warning: spec_lor is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 881, characters 1-5: Warning: spec_land is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./CyclicDouble/DoubleCyclic.v", line 895, characters 1-5: Warning: spec_lxor is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] COQC BigN/Nbasic.v File "./BigN/Nbasic.v", line 379, characters 1-5: Warning: double_wB_lt is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] COQC BigN/NMake_gen.v File "./BigN/NMake_gen.v", line 272, characters 1-179: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,vernacular,default] File "./BigN/NMake_gen.v", line 593, characters 1-68: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,vernacular,default] File "./BigN/NMake_gen.v", line 603, characters 1-76: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,vernacular,default] File "./BigN/NMake_gen.v", line 611, characters 1-119: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,vernacular,default] File "./BigN/NMake_gen.v", line 619, characters 1-119: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,vernacular,default] File "./BigN/NMake_gen.v", line 659, characters 2-6: Warning: Pf' is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./BigN/NMake_gen.v", line 797, characters 2-6: Warning: Pf' is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./BigN/NMake_gen.v", line 803, characters 2-6: Warning: Pfd' is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./BigN/NMake_gen.v", line 809, characters 2-6: Warning: Pfg' is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] COQC BigN/NMake.v File "./BigN/NMake.v", line 250, characters 1-141: Warning: Interpreting this declaration as if a global declaration prefixed by "Local", i.e. as a global declaration which shall not be available without qualification when imported. [local-declaration,vernacular,default] COQC BigN/BigN.v File "./BigN/BigN.v", line 180, characters 0-4: Warning: test is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./BigN/BigN.v", line 189, characters 19-23: Warning: test is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./BigN/BigN.v", line 196, characters 35-39: Warning: test is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] COQC BigZ/BigZ.v File "./BigZ/BigZ.v", line 187, characters 0-4: Warning: test is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./BigZ/BigZ.v", line 191, characters 0-4: Warning: test' is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./BigZ/BigZ.v", line 200, characters 19-23: Warning: test is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./BigZ/BigZ.v", line 207, characters 39-43: Warning: test is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] COQC BigQ/BigQ.v File "./BigQ/BigQ.v", line 148, characters 0-4: Warning: ex1 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./BigQ/BigQ.v", line 153, characters 0-4: Warning: ex8 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./BigQ/BigQ.v", line 159, characters 0-4: Warning: ex10 is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./BigQ/BigQ.v", line 169, characters 19-23: Warning: test is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] File "./BigQ/BigQ.v", line 177, characters 33-37: Warning: test is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default] make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' dh_auto_test -a create-stamp debian/debhelper-build-stamp dh_prep -a dh_auto_install --destdir=debian/libcoq-bignums/ -a make -j4 install DESTDIR=/<>/coq-bignums-9.0.0\+coq8.18/debian/libcoq-bignums AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[1]: Entering directory '/<>' make -f Makefile.coq Makefile make[2]: Entering directory '/<>' make[2]: Nothing to be done for 'Makefile'. make[2]: Leaving directory '/<>' make -f Makefile.coq install make[2]: Entering directory '/<>' INSTALL BigN/Nbasic.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigN INSTALL BigN/NMake.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigN INSTALL BigN/NMake_gen.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigN INSTALL BigN/BigN.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigN INSTALL SpecViaZ/NSig.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/ZSig.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/NSigNAxioms.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/ZSigZAxioms.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaQ/QSig.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaQ INSTALL BigQ/QMake.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigQ INSTALL BigQ/BigQ.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigQ INSTALL CyclicDouble/DoubleBase.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleAdd.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleDiv.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleMul.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleSub.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleDivn1.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleSqrt.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleCyclic.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleLift.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL BigNumPrelude.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums/ INSTALL BigZ/ZMake.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigZ INSTALL BigZ/BigZ.vo /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigZ INSTALL BigN/Nbasic.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigN INSTALL BigN/NMake.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigN INSTALL BigN/NMake_gen.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigN INSTALL BigN/BigN.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigN INSTALL SpecViaZ/NSig.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/ZSig.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/NSigNAxioms.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/ZSigZAxioms.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaQ/QSig.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaQ INSTALL BigQ/QMake.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigQ INSTALL BigQ/BigQ.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigQ INSTALL CyclicDouble/DoubleBase.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleAdd.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleDiv.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleMul.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleSub.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleDivn1.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleSqrt.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleCyclic.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleLift.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL BigNumPrelude.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums/ INSTALL BigZ/ZMake.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigZ INSTALL BigZ/BigZ.v /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigZ INSTALL BigN/Nbasic.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigN INSTALL BigN/NMake.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigN INSTALL BigN/NMake_gen.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigN INSTALL BigN/BigN.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigN INSTALL SpecViaZ/NSig.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/ZSig.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/NSigNAxioms.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaZ/ZSigZAxioms.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaZ INSTALL SpecViaQ/QSig.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//SpecViaQ INSTALL BigQ/QMake.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigQ INSTALL BigQ/BigQ.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigQ INSTALL CyclicDouble/DoubleBase.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleAdd.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleDiv.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleMul.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleSub.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleDivn1.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleSqrt.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleCyclic.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL CyclicDouble/DoubleLift.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//CyclicDouble INSTALL BigNumPrelude.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums/ INSTALL BigZ/ZMake.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigZ INSTALL BigZ/BigZ.glob /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//BigZ INSTALL plugin/bignums_syntax_plugin.cmxs /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//plugin INSTALL plugin/bignums_syntax_plugin.cmxs /<>/debian/libcoq-bignums//usr/lib/ocaml/coq//user-contrib/Bignums//plugin ocamlfind: [WARNING] No such file: /<>/debian/libcoq-bignums//usr/lib/ocaml/coq/../coq-core//../coq-bignums/META Installed /<>/debian/libcoq-bignums//usr/lib/ocaml/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmx Installed /<>/debian/libcoq-bignums//usr/lib/ocaml/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmxa Installed /<>/debian/libcoq-bignums//usr/lib/ocaml/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmxs ocamlfind: [WARNING] Overwriting file /<>/debian/libcoq-bignums//usr/lib/ocaml/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmxs Installed /<>/debian/libcoq-bignums//usr/lib/ocaml/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmxs Installed /<>/debian/libcoq-bignums//usr/lib/ocaml/coq/../coq-core//../coq-bignums/bignums_syntax_plugin.cmi Installed /<>/debian/libcoq-bignums//usr/lib/ocaml/coq/../coq-core//../coq-bignums/META make[3]: Entering directory '/<>' make[3]: Leaving directory '/<>' make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_lintian -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-bignums/usr/lib/ocaml/coq-bignums/bignums_syntax_plugin.cmxs: .debug_info section not present dwz: debian/libcoq-bignums/usr/lib/ocaml/coq/user-contrib/Bignums/plugin/bignums_syntax_plugin.cmxs: .debug_info section not present dwz: Too few files for multifile optimization dh_dwz: warning: No dwz multifile created, but not explicitly requested either so ignoring it. dh_dwz: warning: Common issues include no debug information at all (missing -g) and dh_dwz: warning: compressed debug information (#931891). dh_strip -a bb3ae54b120acf222e503e3606b3e9893fce2d01 bb3ae54b120acf222e503e3606b3e9893fce2d01 dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_coq -a dh_ocaml -a dh_gencontrol -a dpkg-gencontrol: warning: package libcoq-bignums: substitution variable ${ocaml:Depends} unused, but is defined dpkg-gencontrol: warning: package libcoq-bignums: substitution variable ${ocaml:Depends} unused, but is defined dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 154 INFO: pkgstriptranslations version 154 pkgstriptranslations: processing libcoq-bignums (in debian/libcoq-bignums); do_strip: , oemstrip: pkgstriptranslations: processing libcoq-bignums-dbgsym (in debian/.debhelper/libcoq-bignums/dbgsym-root); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/libcoq-bignums/DEBIAN/control, package libcoq-bignums, directory debian/libcoq-bignums pkgstripfiles: Truncating usr/share/doc/libcoq-bignums/changelog.Debian.gz to topmost ten records pkgstripfiles: processing control file: debian/.debhelper/libcoq-bignums/dbgsym-root/DEBIAN/control, package libcoq-bignums-dbgsym, directory debian/.debhelper/libcoq-bignums/dbgsym-root dpkg-deb: building package 'libcoq-bignums-dbgsym' in 'debian/.debhelper/scratch-space/build-libcoq-bignums/libcoq-bignums-dbgsym_9.0.0+coq8.18-1build2_armhf.deb'. pkgstripfiles: Running PNG optimization (using 4 cpus) for package libcoq-bignums ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libcoq-bignums' in '../libcoq-bignums_9.0.0+coq8.18-1build2_armhf.deb'. Renaming libcoq-bignums-dbgsym_9.0.0+coq8.18-1build2_armhf.deb to libcoq-bignums-dbgsym_9.0.0+coq8.18-1build2_armhf.ddeb dpkg-genbuildinfo --build=any -O../coq-bignums_9.0.0+coq8.18-1build2_armhf.buildinfo dpkg-genchanges --build=any -mLaunchpad Build Daemon -O../coq-bignums_9.0.0+coq8.18-1build2_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 2024-03-31T18:13:08Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ coq-bignums_9.0.0+coq8.18-1build2_armhf.changes: ------------------------------------------------ Format: 1.8 Date: Sun, 31 Mar 2024 17:52:50 +0000 Source: coq-bignums Binary: libcoq-bignums Built-For-Profiles: noudeb Architecture: armhf Version: 9.0.0+coq8.18-1build2 Distribution: noble-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Steve Langasek Description: libcoq-bignums - Coq library for big numbers Changes: coq-bignums (9.0.0+coq8.18-1build2) noble; urgency=medium . * No-change rebuild for CVE-2024-3094 Checksums-Sha1: bd686414da9ccc3a40974056a66d7eb0a45c8846 7143 coq-bignums_9.0.0+coq8.18-1build2_armhf.buildinfo 0c3b32386b2b4c903ce64ce45ac96920126ac437 4076 libcoq-bignums-dbgsym_9.0.0+coq8.18-1build2_armhf.ddeb 04a0e6cce38ab9d8e3b03ea2abec292076d845fb 2108524 libcoq-bignums_9.0.0+coq8.18-1build2_armhf.deb Checksums-Sha256: 043c07c70854c39e73aefb2b8762b14010582db25265e82af84696b55de9db79 7143 coq-bignums_9.0.0+coq8.18-1build2_armhf.buildinfo f835f9b8dc9f35182d7470e84fd2d0d191e7b889dfadef8905362a7b13e5ec71 4076 libcoq-bignums-dbgsym_9.0.0+coq8.18-1build2_armhf.ddeb 521a9e1dbb7eda957d67971bb5e1db9709044415b20e1d39a3fe47a7e6d8a90a 2108524 libcoq-bignums_9.0.0+coq8.18-1build2_armhf.deb Files: 23f62c3317c25e705e49408e03721085 7143 ocaml optional coq-bignums_9.0.0+coq8.18-1build2_armhf.buildinfo 56347096c5ce4e53ae9d064162440bfd 4076 debug optional libcoq-bignums-dbgsym_9.0.0+coq8.18-1build2_armhf.ddeb dd85ca903249106d2c75d50758aeb7f5 2108524 ocaml optional libcoq-bignums_9.0.0+coq8.18-1build2_armhf.deb Original-Maintainer: Debian OCaml Maintainers /<>/coq-bignums_9.0.0+coq8.18-1build2_armhf.changes.new could not be renamed to /<>/coq-bignums_9.0.0+coq8.18-1build2_armhf.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: coq-bignums Binary: libcoq-bignums libcoq-bignums-dbgsym Architecture: armhf Version: 9.0.0+coq8.18-1build2 Checksums-Md5: 56347096c5ce4e53ae9d064162440bfd 4076 libcoq-bignums-dbgsym_9.0.0+coq8.18-1build2_armhf.ddeb dd85ca903249106d2c75d50758aeb7f5 2108524 libcoq-bignums_9.0.0+coq8.18-1build2_armhf.deb Checksums-Sha1: 0c3b32386b2b4c903ce64ce45ac96920126ac437 4076 libcoq-bignums-dbgsym_9.0.0+coq8.18-1build2_armhf.ddeb 04a0e6cce38ab9d8e3b03ea2abec292076d845fb 2108524 libcoq-bignums_9.0.0+coq8.18-1build2_armhf.deb Checksums-Sha256: f835f9b8dc9f35182d7470e84fd2d0d191e7b889dfadef8905362a7b13e5ec71 4076 libcoq-bignums-dbgsym_9.0.0+coq8.18-1build2_armhf.ddeb 521a9e1dbb7eda957d67971bb5e1db9709044415b20e1d39a3fe47a7e6d8a90a 2108524 libcoq-bignums_9.0.0+coq8.18-1build2_armhf.deb Build-Origin: Ubuntu Build-Architecture: armhf Build-Date: Sun, 31 Mar 2024 18:13:07 +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.3ubuntu1), autopoint (= 0.21-14ubuntu1), autotools-dev (= 20220109.1), base-files (= 13ubuntu9), base-passwd (= 3.6.3), bash (= 5.2.21-2ubuntu4), binutils (= 2.42-4ubuntu2), binutils-arm-linux-gnueabihf (= 2.42-4ubuntu2), binutils-common (= 2.42-4ubuntu2), bsdextrautils (= 2.39.3-9ubuntu3), bsdutils (= 1:2.39.3-9ubuntu3), build-essential (= 12.10ubuntu1), bzip2 (= 1.0.8-5.1), coq (= 8.18.0+dfsg-1build1), coreutils (= 9.4-3ubuntu3), cpp (= 4:13.2.0-7ubuntu1), cpp-13 (= 13.2.0-23ubuntu3), cpp-13-arm-linux-gnueabihf (= 13.2.0-23ubuntu3), cpp-arm-linux-gnueabihf (= 4:13.2.0-7ubuntu1), dash (= 0.5.12-6ubuntu5), debconf (= 1.5.86), debhelper (= 13.14.1ubuntu5), debianutils (= 5.17build1), debugedit (= 1:5.0-5build1), dh-autoreconf (= 20), dh-coq (= 0.8), dh-ocaml (= 2.0), dh-strip-nondeterminism (= 1.13.1-1), diffutils (= 1:3.10-1), dpkg (= 1.22.6ubuntu6), dpkg-dev (= 1.22.6ubuntu6), dwz (= 0.15-1build5), file (= 1:5.45-3build1), findutils (= 4.9.0-5), g++ (= 4:13.2.0-7ubuntu1), g++-13 (= 13.2.0-23ubuntu3), g++-13-arm-linux-gnueabihf (= 13.2.0-23ubuntu3), g++-arm-linux-gnueabihf (= 4:13.2.0-7ubuntu1), gcc (= 4:13.2.0-7ubuntu1), gcc-13 (= 13.2.0-23ubuntu3), gcc-13-arm-linux-gnueabihf (= 13.2.0-23ubuntu3), gcc-13-base (= 13.2.0-23ubuntu3), gcc-14-base (= 14-20240330-1ubuntu2), gcc-arm-linux-gnueabihf (= 4:13.2.0-7ubuntu1), gettext (= 0.21-14ubuntu1), gettext-base (= 0.21-14ubuntu1), grep (= 3.11-4), groff-base (= 1.23.0-3build2), gzip (= 1.12-1ubuntu2), hostname (= 3.23+nmu2ubuntu1), init-system-helpers (= 1.66ubuntu1), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-1), libarchive-zip-perl (= 1.68-1), libasan8 (= 14-20240330-1ubuntu2), libatomic1 (= 14-20240330-1ubuntu2), libattr1 (= 1:2.5.2-1), libaudit-common (= 1:3.1.2-2.1), libaudit1 (= 1:3.1.1-1), libbinutils (= 2.42-4ubuntu2), libblkid1 (= 2.39.3-9ubuntu3), libbz2-1.0 (= 1.0.8-5.1), libc-bin (= 2.39-0ubuntu8), libc-dev-bin (= 2.39-0ubuntu8), libc6 (= 2.39-0ubuntu8), libc6-dev (= 2.39-0ubuntu8), libcap-ng0 (= 0.8.4-2build2), libcap2 (= 1:2.66-5ubuntu1), libcc1-0 (= 14-20240330-1ubuntu2), libcompiler-libs-ocaml-dev (= 4.14.1-1ubuntu1), libcoq-core-ocaml (= 8.18.0+dfsg-1build1), libcoq-core-ocaml-dev (= 8.18.0+dfsg-1build1), libcoq-stdlib (= 8.18.0+dfsg-1build1), libcrypt-dev (= 1:4.4.36-4), libcrypt1 (= 1:4.4.36-4), libctf-nobfd0 (= 2.42-4ubuntu2), libctf0 (= 2.42-4ubuntu2), libdb5.3t64 (= 5.3.28+dfsg2-6build1), libdebconfclient0 (= 0.271ubuntu3), libdebhelper-perl (= 13.14.1ubuntu5), libdpkg-perl (= 1.22.6ubuntu6), libdw1t64 (= 0.190-1.1build3), libelf1t64 (= 0.190-1.1build3), libexpat1 (= 2.6.1-2build1), libffi8 (= 3.4.6-1), libfile-stripnondeterminism-perl (= 1.13.1-1), libfindlib-ocaml (= 1.9.6-1build3), libfindlib-ocaml-dev (= 1.9.6-1build3), libgcc-13-dev (= 13.2.0-23ubuntu3), libgcc-s1 (= 14-20240330-1ubuntu2), libgcrypt20 (= 1.10.3-2), libgdbm-compat4t64 (= 1.23-5.1build1), libgdbm6t64 (= 1.23-5.1build1), libgmp-dev (= 2:6.3.0+dfsg-2ubuntu4), libgmp10 (= 2:6.3.0+dfsg-2ubuntu4), libgmp3-dev (= 2:6.3.0+dfsg-2ubuntu4), libgmpxx4ldbl (= 2:6.3.0+dfsg-2ubuntu4), libgomp1 (= 14-20240330-1ubuntu2), libgpg-error0 (= 1.47-3build1), libicu74 (= 74.2-1ubuntu1), libisl23 (= 0.26-3), libjansson4 (= 2.14-2build2), liblz4-1 (= 1.9.4-1), liblzma5 (= 5.6.1+really5.4.5-1build1), libmagic-mgc (= 1:5.45-3build1), libmagic1t64 (= 1:5.45-3build1), libmd0 (= 1.1.0-2), libmount1 (= 2.39.3-9ubuntu3), libmpc3 (= 1.3.1-1), libmpfr6 (= 4.2.1-1), libncurses-dev (= 6.4+20240113-1ubuntu1), libncurses6 (= 6.4+20240113-1ubuntu1), libncursesw6 (= 6.4+20240113-1ubuntu1), libpam-modules (= 1.5.3-5ubuntu4), libpam-modules-bin (= 1.5.3-5ubuntu4), libpam-runtime (= 1.5.3-5ubuntu4), libpam0g (= 1.5.3-5ubuntu4), libpcre2-8-0 (= 10.42-4ubuntu1), libperl5.38t64 (= 5.38.2-3.2build1), libpipeline1 (= 1.5.7-2), libpython3-stdlib (= 3.12.2-0ubuntu2), libpython3.12-minimal (= 3.12.2-4build4), libpython3.12-stdlib (= 3.12.2-4build4), libreadline8t64 (= 8.2-4build1), libseccomp2 (= 2.5.5-1ubuntu3), libselinux1 (= 3.5-2ubuntu2), libsframe1 (= 2.42-4ubuntu2), libsmartcols1 (= 2.39.3-9ubuntu3), libsqlite3-0 (= 3.45.1-1ubuntu2), libssl3t64 (= 3.0.13-0ubuntu3), libstdc++-13-dev (= 13.2.0-23ubuntu3), libstdc++6 (= 14-20240330-1ubuntu2), libstdlib-ocaml (= 4.14.1-1ubuntu1), libstdlib-ocaml-dev (= 4.14.1-1ubuntu1), libsub-override-perl (= 0.10-1), libsystemd0 (= 255.4-1ubuntu5), libtinfo6 (= 6.4+20240113-1ubuntu1), libtool (= 2.4.7-7), libubsan1 (= 14-20240330-1ubuntu2), libuchardet0 (= 0.0.8-1), libudev1 (= 255.4-1ubuntu5), libunistring5 (= 1.1-2), libuuid1 (= 2.39.3-9ubuntu3), libxml2 (= 2.9.14+dfsg-1.3ubuntu3), libzarith-ocaml (= 1.13-2build3), libzarith-ocaml-dev (= 1.13-2build3), libzstd1 (= 1.5.5+dfsg2-2), linux-libc-dev (= 6.8.0-20.20), login (= 1:4.13+dfsg1-4ubuntu1), lto-disabled-list (= 47), m4 (= 1.4.19-4), make (= 4.3-4.1build1), man-db (= 2.12.0-4build1), mawk (= 1.3.4.20240123-1), media-types (= 10.1.0), ncurses-base (= 6.4+20240113-1ubuntu1), ncurses-bin (= 6.4+20240113-1ubuntu1), netbase (= 6.4), ocaml (= 4.14.1-1ubuntu1), ocaml-base (= 4.14.1-1ubuntu1), ocaml-findlib (= 1.9.6-1build3), ocaml-interp (= 4.14.1-1ubuntu1), patch (= 2.7.6-7build2), perl (= 5.38.2-3.2build1), perl-base (= 5.38.2-3.2build1), perl-modules-5.38 (= 5.38.2-3.2build1), po-debconf (= 1.0.21+nmu1), python3 (= 3.12.2-0ubuntu2), python3-minimal (= 3.12.2-0ubuntu2), python3.12 (= 3.12.2-4build4), python3.12-minimal (= 3.12.2-4build4), readline-common (= 8.2-4build1), rpcsvc-proto (= 1.4.2-0ubuntu6), sed (= 4.9-2), sensible-utils (= 0.0.22), sysvinit-utils (= 3.08-6ubuntu2), tar (= 1.35+dfsg-3), tzdata (= 2024a-1ubuntu1), util-linux (= 2.39.3-9ubuntu3), xz-utils (= 5.6.1+really5.4.5-1build1), zlib1g (= 1:1.3.dfsg-3.1ubuntu2) Environment: DEB_BUILD_OPTIONS="parallel=4" DEB_BUILD_PROFILES="noudeb" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1711907570" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libcoq-bignums_9.0.0+coq8.18-1build2_armhf.deb ---------------------------------------------- new Debian package, version 2.0. size 2108524 bytes: control archive=2556 bytes. 667 bytes, 18 lines control 7305 bytes, 79 lines md5sums Package: libcoq-bignums Source: coq-bignums Version: 9.0.0+coq8.18-1build2 Architecture: armhf Maintainer: Ubuntu Developers Installed-Size: 8364 Depends: libcoq-stdlib-6bhy3 Provides: libcoq-bignums-zzch2 Section: ocaml Priority: optional Homepage: https://github.com/coq-community/bignums Description: Coq library for big numbers This package provides big numbers (natural numbers, integers and rationals) in Coq, as BigN, BigZ and BigQ, which used to be part of the standard library. . Coq is a proof assistant for higher-order logic. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2024-03-31 17:52 ./ drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/ drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ocaml/coq-bignums/ -rw-r--r-- root/root 247 2024-03-31 17:52 ./usr/lib/ocaml/coq-bignums/META -rw-r--r-- root/root 9829 2024-03-31 17:52 ./usr/lib/ocaml/coq-bignums/bignums_syntax_plugin.cmi -rw-r--r-- root/root 8036 2024-03-31 17:52 ./usr/lib/ocaml/coq-bignums/bignums_syntax_plugin.cmx -rw-r--r-- root/root 4724 2024-03-31 17:52 ./usr/lib/ocaml/coq-bignums/bignums_syntax_plugin.cmxa -rw-r--r-- root/root 31984 2024-03-31 17:52 ./usr/lib/ocaml/coq-bignums/bignums_syntax_plugin.cmxs drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ocaml/coq-core/ drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ocaml/coq/ drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/ drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/ drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigN/ -rw-r--r-- root/root 13719 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigN/BigN.glob -rw-r--r-- root/root 6050 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigN/BigN.v -rw-r--r-- root/root 935209 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigN/BigN.vo -rw-r--r-- root/root 285116 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigN/NMake.glob -rw-r--r-- root/root 53484 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigN/NMake.v -rw-r--r-- root/root 489212 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigN/NMake.vo -rw-r--r-- root/root 216823 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigN/NMake_gen.glob -rw-r--r-- root/root 34263 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigN/NMake_gen.v -rw-r--r-- root/root 246257 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigN/NMake_gen.vo -rw-r--r-- root/root 76924 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigN/Nbasic.glob -rw-r--r-- root/root 16677 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigN/Nbasic.v -rw-r--r-- root/root 79112 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigN/Nbasic.vo -rw-r--r-- root/root 65752 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigNumPrelude.glob -rw-r--r-- root/root 11310 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigNumPrelude.v -rw-r--r-- root/root 68062 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigNumPrelude.vo drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigQ/ -rw-r--r-- root/root 12475 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigQ/BigQ.glob -rw-r--r-- root/root 5133 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigQ/BigQ.v -rw-r--r-- root/root 164150 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigQ/BigQ.vo -rw-r--r-- root/root 155387 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigQ/QMake.glob -rw-r--r-- root/root 35546 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigQ/QMake.v -rw-r--r-- root/root 260242 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigQ/QMake.vo drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigZ/ -rw-r--r-- root/root 16027 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigZ/BigZ.glob -rw-r--r-- root/root 6625 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigZ/BigZ.v -rw-r--r-- root/root 529662 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigZ/BigZ.vo -rw-r--r-- root/root 125245 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigZ/ZMake.glob -rw-r--r-- root/root 22309 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigZ/ZMake.v -rw-r--r-- root/root 150562 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/BigZ/ZMake.vo drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/ -rw-r--r-- root/root 75388 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.glob -rw-r--r-- root/root 11474 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.v -rw-r--r-- root/root 58827 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleAdd.vo -rw-r--r-- root/root 78532 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.glob -rw-r--r-- root/root 13399 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.v -rw-r--r-- root/root 68211 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleBase.vo -rw-r--r-- root/root 208747 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.glob -rw-r--r-- root/root 28617 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.v -rw-r--r-- root/root 288719 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleCyclic.vo -rw-r--r-- root/root 578434 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.glob -rw-r--r-- root/root 56064 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.v -rw-r--r-- root/root 268295 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleDiv.vo -rw-r--r-- root/root 209148 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.glob -rw-r--r-- root/root 20338 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.v -rw-r--r-- root/root 111812 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleDivn1.vo -rw-r--r-- root/root 157675 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.glob -rw-r--r-- root/root 19307 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.v -rw-r--r-- root/root 101438 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleLift.vo -rw-r--r-- root/root 192140 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.glob -rw-r--r-- root/root 24242 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.v -rw-r--r-- root/root 126957 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleMul.vo -rw-r--r-- root/root 353953 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.glob -rw-r--r-- root/root 44784 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.v -rw-r--r-- root/root 203265 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleSqrt.vo -rw-r--r-- root/root 92258 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.glob -rw-r--r-- root/root 12862 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.v -rw-r--r-- root/root 68044 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/CyclicDouble/DoubleSub.vo drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaQ/ -rw-r--r-- root/root 40621 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaQ/QSig.glob -rw-r--r-- root/root 7614 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaQ/QSig.v -rw-r--r-- root/root 120995 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaQ/QSig.vo drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaZ/ -rw-r--r-- root/root 34201 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaZ/NSig.glob -rw-r--r-- root/root 4646 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaZ/NSig.v -rw-r--r-- root/root 51028 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaZ/NSig.vo -rw-r--r-- root/root 67728 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.glob -rw-r--r-- root/root 11929 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.v -rw-r--r-- root/root 164984 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaZ/NSigNAxioms.vo -rw-r--r-- root/root 38146 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaZ/ZSig.glob -rw-r--r-- root/root 5038 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaZ/ZSig.v -rw-r--r-- root/root 54281 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaZ/ZSig.vo -rw-r--r-- root/root 67384 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.glob -rw-r--r-- root/root 12164 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.v -rw-r--r-- root/root 172644 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/SpecViaZ/ZSigZAxioms.vo drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/plugin/ -rw-r--r-- root/root 31984 2024-03-31 17:52 ./usr/lib/ocaml/coq/user-contrib/Bignums/plugin/bignums_syntax_plugin.cmxs drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/share/ drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/share/doc/ drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/share/doc/libcoq-bignums/ -rw-r--r-- root/root 685 2024-03-31 17:52 ./usr/share/doc/libcoq-bignums/changelog.Debian.gz -rw-r--r-- root/root 503 2023-12-21 14:21 ./usr/share/doc/libcoq-bignums/copyright drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/share/lintian/ drwxr-xr-x root/root 0 2024-03-31 17:52 ./usr/share/lintian/overrides/ -rw-r--r-- root/root 400 2023-12-21 14:21 ./usr/share/lintian/overrides/libcoq-bignums drwxr-xr-x root/root 0 2024-03-31 17:52 ./var/ drwxr-xr-x root/root 0 2024-03-31 17:52 ./var/lib/ drwxr-xr-x root/root 0 2024-03-31 17:52 ./var/lib/coq/ drwxr-xr-x root/root 0 2024-03-31 17:52 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2024-03-31 17:52 ./var/lib/coq/md5sums/libcoq-bignums.checksum +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: armhf Build Type: any Build-Space: 20348 Build-Time: 96 Distribution: noble-proposed Host Architecture: armhf Install-Time: 52 Job: coq-bignums_9.0.0+coq8.18-1build2.dsc Machine Architecture: arm64 Package: coq-bignums Package-Time: 150 Source-Version: 9.0.0+coq8.18-1build2 Space: 20348 Status: successful Version: 9.0.0+coq8.18-1build2 -------------------------------------------------------------------------------- Finished at 2024-03-31T18:13:08Z Build needed 00:02:30, 20348k disk space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=noble --arch=armhf PACKAGEBUILD-27987615 Scanning for processes to kill in build PACKAGEBUILD-27987615