https://launchpad.net/ubuntu/+source/mathcomp-multinomials/2.2.0-1build2/+build/27784932 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux lcy02-amd64-095 5.4.0-171-generic #189-Ubuntu SMP Fri Jan 5 14:23:02 UTC 2024 x86_64 Buildd toolchain package versions: launchpad-buildd_235~645~ubuntu20.04.1 python3-lpbuildd_235~645~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... 17 Feb 16:22:51 ntpdate[1844]: adjust time server 10.131.248.1 offset 0.000579 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=noble --arch=amd64 PACKAGEBUILD-27784932 --image-type chroot /home/buildd/filecache-default/1fe94ca8758119221c8de2550665a1bb335bd6a9 Creating target for build PACKAGEBUILD-27784932 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=noble --arch=amd64 PACKAGEBUILD-27784932 Starting target for build PACKAGEBUILD-27784932 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=noble --arch=amd64 PACKAGEBUILD-27784932 '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-27784932 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=noble --arch=amd64 PACKAGEBUILD-27784932 Updating target for build PACKAGEBUILD-27784932 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 [90.7 kB] Get:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] Get:5 http://ftpmaster.internal/ubuntu noble/main amd64 Packages [1435 kB] Get:6 http://ftpmaster.internal/ubuntu noble/main Translation-en [519 kB] Get:7 http://ftpmaster.internal/ubuntu noble/universe amd64 Packages [15.1 MB] Get:8 http://ftpmaster.internal/ubuntu noble/universe Translation-en [6028 kB] Get:9 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 Packages [233 kB] Get:10 http://ftpmaster.internal/ubuntu noble-proposed/main Translation-en [71.5 kB] Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 Packages [1027 kB] Get:12 http://ftpmaster.internal/ubuntu noble-proposed/universe Translation-en [414 kB] Fetched 25.4 MB in 3s (9269 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: libperl5.36 libunistring2 perl-modules-5.36 Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: cpp-13-x86-64-linux-gnu cpp-x86-64-linux-gnu g++-13-x86-64-linux-gnu g++-x86-64-linux-gnu gcc-13-x86-64-linux-gnu gcc-14-base gcc-x86-64-linux-gnu libperl5.38 libunistring5 perl-modules-5.38 The following packages will be upgraded: apt apt-utils base-files base-passwd bash bash-completion binutils binutils-common binutils-x86-64-linux-gnu bsdextrautils bsdutils ca-certificates coreutils cpp cpp-13 debconf debconf-i18n debianutils diffutils dpkg dpkg-dev fakeroot g++ g++-13 gcc gcc-13 gcc-13-base gpg gpg-agent gpgconf gpgv grep init init-system-helpers krb5-locales libacl1 libapparmor1 libapt-pkg6.0 libargon2-1 libasan8 libatomic1 libattr1 libaudit-common libaudit1 libbinutils libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcap-ng0 libcc1-0 libcrypt-dev libcrypt1 libcryptsetup12 libctf-nobfd0 libctf0 libdb5.3 libdebconfclient0 libdpkg-perl libfakeroot libfdisk1 libffi8 libgcc-13-dev libgcc-s1 libgcrypt20 libgdbm-compat4 libgdbm6 libgnutls30 libgomp1 libgpg-error-l10n libgpg-error0 libgprofng0 libgssapi-krb5-2 libhwasan0 libidn2-0 libip4tc2 libitm1 libk5crypto3 libkeyutils1 libkmod2 libkrb5-3 libkrb5support0 liblocale-gettext-perl liblsan0 liblzma5 libmd0 libmount1 libncursesw6 libnsl-dev libnsl2 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre2-8-0 libperl5.36 libpng16-16 libproc2-0 libquadmath0 libreadline8 libseccomp2 libselinux1 libsemanage-common libsemanage2 libsepol2 libsframe1 libsmartcols1 libsqlite3-0 libssl3 libstdc++-13-dev libstdc++6 libsystemd-shared libsystemd0 libtext-charwidth-perl libtext-iconv-perl libtinfo6 libtirpc-common libtirpc-dev libtirpc3 libtsan2 libubsan1 libudev1 libuuid1 libxxhash0 libzstd1 linux-libc-dev login lto-disabled-list mawk mount ncurses-base ncurses-bin openssl optipng passwd perl perl-base perl-modules-5.36 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 157 upgraded, 10 newly installed, 0 to remove and 0 not upgraded. Need to get 125 MB of archives. After this operation, 78.0 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu noble/main amd64 libnsl-dev amd64 1.3.0-3 [71.2 kB] Get:2 http://ftpmaster.internal/ubuntu noble/main amd64 libcrypt-dev amd64 1:4.4.36-4 [128 kB] Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 libc6-dev amd64 2.39-0ubuntu1 [2126 kB] Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 libc-dev-bin amd64 2.39-0ubuntu1 [20.4 kB] Get:5 http://ftpmaster.internal/ubuntu noble/main amd64 libtirpc-common all 1.3.4+ds-1build1 [8566 B] Get:6 http://ftpmaster.internal/ubuntu noble/main amd64 libtirpc-dev amd64 1.3.4+ds-1build1 [222 kB] Get:7 http://ftpmaster.internal/ubuntu noble/main amd64 libgssapi-krb5-2 amd64 1.20.1-5build1 [142 kB] Get:8 http://ftpmaster.internal/ubuntu noble/main amd64 libkrb5-3 amd64 1.20.1-5build1 [346 kB] Get:9 http://ftpmaster.internal/ubuntu noble/main amd64 libk5crypto3 amd64 1.20.1-5build1 [81.3 kB] Get:10 http://ftpmaster.internal/ubuntu noble/main amd64 libkrb5support0 amd64 1.20.1-5build1 [33.2 kB] Get:11 http://ftpmaster.internal/ubuntu noble/main amd64 libkeyutils1 amd64 1.6.3-3 [9386 B] Get:12 http://ftpmaster.internal/ubuntu noble/main amd64 libssl3 amd64 3.0.10-1ubuntu4 [1909 kB] Get:13 http://ftpmaster.internal/ubuntu noble/main amd64 libtirpc3 amd64 1.3.4+ds-1build1 [95.7 kB] Get:14 http://ftpmaster.internal/ubuntu noble/main amd64 libnsl2 amd64 1.3.0-3 [41.3 kB] Get:15 http://ftpmaster.internal/ubuntu noble/main amd64 libcrypt1 amd64 1:4.4.36-4 [95.3 kB] Get:16 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 linux-libc-dev amd64 6.8.0-11.11 [1595 kB] Get:17 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 libc6 amd64 2.39-0ubuntu1 [3261 kB] Get:18 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 libc-bin amd64 2.39-0ubuntu1 [679 kB] Get:19 http://ftpmaster.internal/ubuntu noble/main amd64 gcc-14-base amd64 14-20240201-3ubuntu1 [46.4 kB] Get:20 http://ftpmaster.internal/ubuntu noble/main amd64 libgcc-s1 amd64 14-20240201-3ubuntu1 [77.5 kB] Get:21 http://ftpmaster.internal/ubuntu noble/main amd64 base-files amd64 13ubuntu6 [84.5 kB] Get:22 http://ftpmaster.internal/ubuntu noble/main amd64 debianutils amd64 5.16 [93.9 kB] Get:23 http://ftpmaster.internal/ubuntu noble/main amd64 bash amd64 5.2.21-2ubuntu1 [795 kB] Get:24 http://ftpmaster.internal/ubuntu noble/main amd64 bsdutils amd64 1:2.39.2-6ubuntu1 [93.9 kB] Get:25 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 coreutils amd64 9.4-2ubuntu3 [1412 kB] Get:26 http://ftpmaster.internal/ubuntu noble/main amd64 diffutils amd64 1:3.10-1 [176 kB] Get:27 http://ftpmaster.internal/ubuntu noble/main amd64 libgpg-error-l10n all 1.47-3build1 [8024 B] Get:28 http://ftpmaster.internal/ubuntu noble/main amd64 libgpg-error0 amd64 1.47-3build1 [70.0 kB] Get:29 http://ftpmaster.internal/ubuntu noble/main amd64 libgcrypt20 amd64 1.10.3-2 [532 kB] Get:30 http://ftpmaster.internal/ubuntu noble/main amd64 liblzma5 amd64 5.4.5-0.3 [141 kB] Get:31 http://ftpmaster.internal/ubuntu noble/main amd64 libstdc++6 amd64 14-20240201-3ubuntu1 [795 kB] Get:32 http://ftpmaster.internal/ubuntu noble/main amd64 libacl1 amd64 2.3.1-4ubuntu1 [18.6 kB] Get:33 http://ftpmaster.internal/ubuntu noble/main amd64 libapparmor1 amd64 4.0.0~alpha4-0ubuntu1 [49.0 kB] Get:34 http://ftpmaster.internal/ubuntu noble/main amd64 libaudit-common all 1:3.1.2-2 [5594 B] Get:35 http://ftpmaster.internal/ubuntu noble/main amd64 libcap-ng0 amd64 0.8.4-2 [15.0 kB] Get:36 http://ftpmaster.internal/ubuntu noble/main amd64 libaudit1 amd64 1:3.1.2-2 [46.7 kB] Get:37 http://ftpmaster.internal/ubuntu noble/main amd64 libblkid1 amd64 2.39.2-6ubuntu1 [122 kB] Get:38 http://ftpmaster.internal/ubuntu noble/main amd64 libzstd1 amd64 1.5.5+dfsg2-2 [297 kB] Get:39 http://ftpmaster.internal/ubuntu noble/main amd64 libkmod2 amd64 30+20230601-2ubuntu1 [51.4 kB] Get:40 http://ftpmaster.internal/ubuntu noble/main amd64 libpcre2-8-0 amd64 10.42-4ubuntu1 [228 kB] Get:41 http://ftpmaster.internal/ubuntu noble/main amd64 libselinux1 amd64 3.5-2build1 [79.2 kB] Get:42 http://ftpmaster.internal/ubuntu noble/main amd64 libmount1 amd64 2.39.2-6ubuntu1 [132 kB] Get:43 http://ftpmaster.internal/ubuntu noble/main amd64 perl-modules-5.38 all 5.38.2-3 [3110 kB] Get:44 http://ftpmaster.internal/ubuntu noble/main amd64 libperl5.38 amd64 5.38.2-3 [4871 kB] Get:45 http://ftpmaster.internal/ubuntu noble/main amd64 perl amd64 5.38.2-3 [231 kB] Get:46 http://ftpmaster.internal/ubuntu noble/main amd64 perl-base amd64 5.38.2-3 [1823 kB] Get:47 http://ftpmaster.internal/ubuntu noble/main amd64 liblocale-gettext-perl amd64 1.07-6build1 [15.5 kB] Get:48 http://ftpmaster.internal/ubuntu noble/main amd64 libtext-iconv-perl amd64 1.7-8build1 [13.4 kB] Get:49 http://ftpmaster.internal/ubuntu noble/main amd64 libtext-charwidth-perl amd64 0.04-11build1 [9266 B] Get:50 http://ftpmaster.internal/ubuntu noble/main amd64 perl-modules-5.36 all 5.36.0-10ubuntu1 [2984 kB] Get:51 http://ftpmaster.internal/ubuntu noble/main amd64 libperl5.36 amd64 5.36.0-10ubuntu1 [4782 kB] Get:52 http://ftpmaster.internal/ubuntu noble/main amd64 libdb5.3 amd64 5.3.28+dfsg2-4 [736 kB] Get:53 http://ftpmaster.internal/ubuntu noble/main amd64 libgdbm6 amd64 1.23-5 [33.3 kB] Get:54 http://ftpmaster.internal/ubuntu noble/main amd64 libgdbm-compat4 amd64 1.23-5 [6498 B] Get:55 http://ftpmaster.internal/ubuntu noble/main amd64 zlib1g amd64 1:1.3.dfsg-3ubuntu1 [63.3 kB] Get:56 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 debconf-i18n all 1.5.86 [205 kB] Get:57 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 debconf all 1.5.86 [124 kB] Get:58 http://ftpmaster.internal/ubuntu noble/main amd64 libpam0g amd64 1.5.2-9.1ubuntu2 [65.7 kB] Get:59 http://ftpmaster.internal/ubuntu noble/main amd64 libseccomp2 amd64 2.5.5-1ubuntu1 [50.3 kB] Get:60 http://ftpmaster.internal/ubuntu noble/main amd64 systemd-sysv amd64 255.2-3ubuntu2 [11.9 kB] Get:61 http://ftpmaster.internal/ubuntu noble/main amd64 systemd-dev all 255.2-3ubuntu2 [101 kB] Get:62 http://ftpmaster.internal/ubuntu noble/main amd64 systemd amd64 255.2-3ubuntu2 [3466 kB] Get:63 http://ftpmaster.internal/ubuntu noble/main amd64 libsystemd-shared amd64 255.2-3ubuntu2 [2064 kB] Get:64 http://ftpmaster.internal/ubuntu noble/main amd64 libargon2-1 amd64 0~20190702+dfsg-4 [21.4 kB] Get:65 http://ftpmaster.internal/ubuntu noble/main amd64 libuuid1 amd64 2.39.2-6ubuntu1 [34.1 kB] Get:66 http://ftpmaster.internal/ubuntu noble/main amd64 libcryptsetup12 amd64 2:2.6.1-6ubuntu1 [242 kB] Get:67 http://ftpmaster.internal/ubuntu noble/main amd64 libfdisk1 amd64 2.39.2-6ubuntu1 [145 kB] Get:68 http://ftpmaster.internal/ubuntu noble/main amd64 mount amd64 2.39.2-6ubuntu1 [118 kB] Get:69 http://ftpmaster.internal/ubuntu noble/main amd64 libsystemd0 amd64 255.2-3ubuntu2 [426 kB] Get:70 http://ftpmaster.internal/ubuntu noble/main amd64 libudev1 amd64 255.2-3ubuntu2 [172 kB] Get:71 http://ftpmaster.internal/ubuntu noble/main amd64 libxxhash0 amd64 0.8.2-2 [25.5 kB] Get:72 http://ftpmaster.internal/ubuntu noble/main amd64 libapt-pkg6.0 amd64 2.7.11 [981 kB] Get:73 http://ftpmaster.internal/ubuntu noble/main amd64 tar amd64 1.35+dfsg-3 [253 kB] Get:74 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 dpkg amd64 1.22.4ubuntu3 [1285 kB] Get:75 http://ftpmaster.internal/ubuntu noble/main amd64 grep amd64 3.11-4 [176 kB] Get:76 http://ftpmaster.internal/ubuntu noble/main amd64 login amd64 1:4.13+dfsg1-3ubuntu1 [201 kB] Get:77 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 ncurses-bin amd64 6.4+20240113-1ubuntu1 [188 kB] Get:78 http://ftpmaster.internal/ubuntu noble/main amd64 sed amd64 4.9-2 [204 kB] Get:79 http://ftpmaster.internal/ubuntu noble/main amd64 util-linux amd64 2.39.2-6ubuntu1 [1120 kB] Get:80 http://ftpmaster.internal/ubuntu noble/main amd64 libdebconfclient0 amd64 0.271ubuntu1 [11.3 kB] Get:81 http://ftpmaster.internal/ubuntu noble/main amd64 base-passwd amd64 3.6.3 [51.2 kB] Get:82 http://ftpmaster.internal/ubuntu noble/main amd64 init-system-helpers all 1.66ubuntu1 [39.4 kB] Get:83 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 ncurses-base all 6.4+20240113-1ubuntu1 [25.4 kB] Get:84 http://ftpmaster.internal/ubuntu noble/main amd64 sysvinit-utils amd64 3.08-3ubuntu1 [33.7 kB] Get:85 http://ftpmaster.internal/ubuntu noble/main amd64 apt amd64 2.7.11 [1372 kB] Get:86 http://ftpmaster.internal/ubuntu noble/main amd64 apt-utils amd64 2.7.11 [217 kB] Get:87 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 gpgv amd64 2.4.4-2ubuntu3 [156 kB] Get:88 http://ftpmaster.internal/ubuntu noble/main amd64 ubuntu-keyring all 2023.11.28.1 [11.1 kB] Get:89 http://ftpmaster.internal/ubuntu noble/main amd64 libffi8 amd64 3.4.4-2 [24.4 kB] Get:90 http://ftpmaster.internal/ubuntu noble/main amd64 libp11-kit0 amd64 0.25.3-4ubuntu1 [299 kB] Get:91 http://ftpmaster.internal/ubuntu noble/main amd64 libunistring5 amd64 1.1-2 [537 kB] Get:92 http://ftpmaster.internal/ubuntu noble/main amd64 libidn2-0 amd64 2.3.7-2 [66.0 kB] Get:93 http://ftpmaster.internal/ubuntu noble/main amd64 libgnutls30 amd64 3.8.3-1ubuntu1 [996 kB] Get:94 http://ftpmaster.internal/ubuntu noble/main amd64 libpam-modules-bin amd64 1.5.2-9.1ubuntu2 [48.3 kB] Get:95 http://ftpmaster.internal/ubuntu noble/main amd64 libpam-modules amd64 1.5.2-9.1ubuntu2 [285 kB] Get:96 http://ftpmaster.internal/ubuntu noble/main amd64 init amd64 1.66ubuntu1 [6186 B] Get:97 http://ftpmaster.internal/ubuntu noble/main amd64 libsmartcols1 amd64 2.39.2-6ubuntu1 [63.3 kB] Get:98 http://ftpmaster.internal/ubuntu noble/main amd64 uuid-runtime amd64 2.39.2-6ubuntu1 [32.9 kB] Get:99 http://ftpmaster.internal/ubuntu noble/main amd64 libattr1 amd64 1:2.5.2-1 [11.4 kB] Get:100 http://ftpmaster.internal/ubuntu noble/main amd64 libmd0 amd64 1.1.0-2 [27.1 kB] Get:101 http://ftpmaster.internal/ubuntu noble/main amd64 libpam-runtime all 1.5.2-9.1ubuntu2 [40.6 kB] Get:102 http://ftpmaster.internal/ubuntu noble/main amd64 libsemanage-common all 3.5-1build2 [10.0 kB] Get:103 http://ftpmaster.internal/ubuntu noble/main amd64 libsepol2 amd64 3.5-2 [300 kB] Get:104 http://ftpmaster.internal/ubuntu noble/main amd64 libsemanage2 amd64 3.5-1build2 [92.9 kB] Get:105 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 libncursesw6 amd64 6.4+20240113-1ubuntu1 [148 kB] Get:106 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 libtinfo6 amd64 6.4+20240113-1ubuntu1 [108 kB] Get:107 http://ftpmaster.internal/ubuntu noble/main amd64 passwd amd64 1:4.13+dfsg1-3ubuntu1 [844 kB] Get:108 http://ftpmaster.internal/ubuntu noble/main amd64 g++-13 amd64 13.2.0-13ubuntu1 [14.0 kB] Get:109 http://ftpmaster.internal/ubuntu noble/main amd64 gcc-13 amd64 13.2.0-13ubuntu1 [473 kB] Get:110 http://ftpmaster.internal/ubuntu noble/main amd64 cpp-13 amd64 13.2.0-13ubuntu1 [1032 B] Get:111 http://ftpmaster.internal/ubuntu noble/main amd64 cpp-13-x86-64-linux-gnu amd64 13.2.0-13ubuntu1 [11.2 MB] Get:112 http://ftpmaster.internal/ubuntu noble/main amd64 libcc1-0 amd64 14-20240201-3ubuntu1 [47.5 kB] Get:113 http://ftpmaster.internal/ubuntu noble/main amd64 libgprofng0 amd64 2.42-2ubuntu1 [851 kB] Get:114 http://ftpmaster.internal/ubuntu noble/main amd64 libctf0 amd64 2.42-2ubuntu1 [94.6 kB] Get:115 http://ftpmaster.internal/ubuntu noble/main amd64 libctf-nobfd0 amd64 2.42-2ubuntu1 [96.8 kB] Get:116 http://ftpmaster.internal/ubuntu noble/main amd64 libsframe1 amd64 2.42-2ubuntu1 [14.5 kB] Get:117 http://ftpmaster.internal/ubuntu noble/main amd64 binutils-x86-64-linux-gnu amd64 2.42-2ubuntu1 [2467 kB] Get:118 http://ftpmaster.internal/ubuntu noble/main amd64 libbinutils amd64 2.42-2ubuntu1 [571 kB] Get:119 http://ftpmaster.internal/ubuntu noble/main amd64 binutils amd64 2.42-2ubuntu1 [18.1 kB] Get:120 http://ftpmaster.internal/ubuntu noble/main amd64 binutils-common amd64 2.42-2ubuntu1 [239 kB] Get:121 http://ftpmaster.internal/ubuntu noble/main amd64 libstdc++-13-dev amd64 13.2.0-13ubuntu1 [2337 kB] Get:122 http://ftpmaster.internal/ubuntu noble/main amd64 libgomp1 amd64 14-20240201-3ubuntu1 [147 kB] Get:123 http://ftpmaster.internal/ubuntu noble/main amd64 libitm1 amd64 14-20240201-3ubuntu1 [29.1 kB] Get:124 http://ftpmaster.internal/ubuntu noble/main amd64 libatomic1 amd64 14-20240201-3ubuntu1 [10.5 kB] Get:125 http://ftpmaster.internal/ubuntu noble/main amd64 libasan8 amd64 14-20240201-3ubuntu1 [3026 kB] Get:126 http://ftpmaster.internal/ubuntu noble/main amd64 liblsan0 amd64 14-20240201-3ubuntu1 [1309 kB] Get:127 http://ftpmaster.internal/ubuntu noble/main amd64 libgcc-13-dev amd64 13.2.0-13ubuntu1 [2687 kB] Get:128 http://ftpmaster.internal/ubuntu noble/main amd64 libtsan2 amd64 14-20240201-3ubuntu1 [2731 kB] Get:129 http://ftpmaster.internal/ubuntu noble/main amd64 libubsan1 amd64 14-20240201-3ubuntu1 [1171 kB] Get:130 http://ftpmaster.internal/ubuntu noble/main amd64 libhwasan0 amd64 14-20240201-3ubuntu1 [1629 kB] Get:131 http://ftpmaster.internal/ubuntu noble/main amd64 libquadmath0 amd64 14-20240201-3ubuntu1 [155 kB] Get:132 http://ftpmaster.internal/ubuntu noble/main amd64 gcc-13-x86-64-linux-gnu amd64 13.2.0-13ubuntu1 [21.8 MB] Get:133 http://ftpmaster.internal/ubuntu noble/main amd64 g++-13-x86-64-linux-gnu amd64 13.2.0-13ubuntu1 [12.5 MB] Get:134 http://ftpmaster.internal/ubuntu noble/main amd64 gcc-13-base amd64 13.2.0-13ubuntu1 [46.6 kB] Get:135 http://ftpmaster.internal/ubuntu noble/main amd64 libproc2-0 amd64 2:4.0.4-2ubuntu1 [59.0 kB] Get:136 http://ftpmaster.internal/ubuntu noble/main amd64 mawk amd64 1.3.4.20240123-1 [127 kB] Get:137 http://ftpmaster.internal/ubuntu noble/main amd64 procps amd64 2:4.0.4-2ubuntu1 [708 kB] Get:138 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 sensible-utils all 0.0.22 [22.5 kB] Get:139 http://ftpmaster.internal/ubuntu noble/main amd64 openssl amd64 3.0.10-1ubuntu4 [1002 kB] Get:140 http://ftpmaster.internal/ubuntu noble/main amd64 ca-certificates all 20240203 [159 kB] Get:141 http://ftpmaster.internal/ubuntu noble/main amd64 krb5-locales all 1.20.1-5build1 [13.7 kB] Get:142 http://ftpmaster.internal/ubuntu noble/main amd64 libip4tc2 amd64 1.8.10-3ubuntu1 [23.3 kB] Get:143 http://ftpmaster.internal/ubuntu noble/main amd64 readline-common all 8.2-3 [56.2 kB] Get:144 http://ftpmaster.internal/ubuntu noble/main amd64 libreadline8 amd64 8.2-3 [152 kB] Get:145 http://ftpmaster.internal/ubuntu noble/main amd64 libsqlite3-0 amd64 3.45.1-1 [701 kB] Get:146 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 tzdata all 2024a-1ubuntu1 [273 kB] Get:147 http://ftpmaster.internal/ubuntu noble/main amd64 bash-completion all 1:2.11-8 [180 kB] Get:148 http://ftpmaster.internal/ubuntu noble/main amd64 bsdextrautils amd64 2.39.2-6ubuntu1 [73.5 kB] Get:149 http://ftpmaster.internal/ubuntu noble/main amd64 libpng16-16 amd64 1.6.42-1 [186 kB] Get:150 http://ftpmaster.internal/ubuntu noble/main amd64 psmisc amd64 23.6-2 [178 kB] Get:151 http://ftpmaster.internal/ubuntu noble/main amd64 xz-utils amd64 5.4.5-0.3 [276 kB] Get:152 http://ftpmaster.internal/ubuntu noble/main amd64 g++ amd64 4:13.2.0-7ubuntu1 [1100 B] Get:153 http://ftpmaster.internal/ubuntu noble/main amd64 gcc amd64 4:13.2.0-7ubuntu1 [5018 B] Get:154 http://ftpmaster.internal/ubuntu noble/main amd64 cpp amd64 4:13.2.0-7ubuntu1 [22.4 kB] Get:155 http://ftpmaster.internal/ubuntu noble/main amd64 cpp-x86-64-linux-gnu amd64 4:13.2.0-7ubuntu1 [5326 B] Get:156 http://ftpmaster.internal/ubuntu noble/main amd64 gcc-x86-64-linux-gnu amd64 4:13.2.0-7ubuntu1 [1212 B] Get:157 http://ftpmaster.internal/ubuntu noble/main amd64 g++-x86-64-linux-gnu amd64 4:13.2.0-7ubuntu1 [964 B] Get:158 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 dpkg-dev all 1.22.4ubuntu3 [1078 kB] Get:159 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 libdpkg-perl all 1.22.4ubuntu3 [268 kB] Get:160 http://ftpmaster.internal/ubuntu noble/main amd64 lto-disabled-list all 46 [12.3 kB] Get:161 http://ftpmaster.internal/ubuntu noble/main amd64 libfakeroot amd64 1.33-1 [32.4 kB] Get:162 http://ftpmaster.internal/ubuntu noble/main amd64 fakeroot amd64 1.33-1 [67.2 kB] Get:163 http://ftpmaster.internal/ubuntu noble/main amd64 pinentry-curses amd64 1.2.1-3ubuntu1 [34.9 kB] Get:164 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 gpg amd64 2.4.4-2ubuntu3 [563 kB] Get:165 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 gpgconf amd64 2.4.4-2ubuntu3 [103 kB] Get:166 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 gpg-agent amd64 2.4.4-2ubuntu3 [227 kB] Get:167 http://ftpmaster.internal/ubuntu noble/main amd64 optipng amd64 0.7.8+ds-1 [110 kB] Preconfiguring packages ... Fetched 125 MB in 1s (116 MB/s) (Reading database ... 13648 files and directories currently installed.) Preparing to unpack .../00-libnsl-dev_1.3.0-3_amd64.deb ... Unpacking libnsl-dev:amd64 (1.3.0-3) over (1.3.0-2build2) ... Preparing to unpack .../01-libcrypt-dev_1%3a4.4.36-4_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.36-4) over (1:4.4.36-2) ... Preparing to unpack .../02-libc6-dev_2.39-0ubuntu1_amd64.deb ... Unpacking libc6-dev:amd64 (2.39-0ubuntu1) over (2.38-1ubuntu6) ... Preparing to unpack .../03-libc-dev-bin_2.39-0ubuntu1_amd64.deb ... Unpacking libc-dev-bin (2.39-0ubuntu1) over (2.38-1ubuntu6) ... Preparing to unpack .../04-libtirpc-common_1.3.4+ds-1build1_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1build1) over (1.3.3+ds-1) ... Preparing to unpack .../05-libtirpc-dev_1.3.4+ds-1build1_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.3.4+ds-1build1) over (1.3.3+ds-1) ... Preparing to unpack .../06-libgssapi-krb5-2_1.20.1-5build1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.20.1-5build1) over (1.20.1-3ubuntu1) ... Preparing to unpack .../07-libkrb5-3_1.20.1-5build1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.20.1-5build1) over (1.20.1-3ubuntu1) ... Preparing to unpack .../08-libk5crypto3_1.20.1-5build1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.20.1-5build1) over (1.20.1-3ubuntu1) ... Preparing to unpack .../09-libkrb5support0_1.20.1-5build1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.20.1-5build1) over (1.20.1-3ubuntu1) ... Preparing to unpack .../10-libkeyutils1_1.6.3-3_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-3) over (1.6.3-2) ... Preparing to unpack .../11-libssl3_3.0.10-1ubuntu4_amd64.deb ... Unpacking libssl3:amd64 (3.0.10-1ubuntu4) over (3.0.10-1ubuntu2) ... Setting up libssl3:amd64 (3.0.10-1ubuntu4) ... (Reading database ... 13652 files and directories currently installed.) Preparing to unpack .../libtirpc3_1.3.4+ds-1build1_amd64.deb ... Unpacking libtirpc3:amd64 (1.3.4+ds-1build1) over (1.3.3+ds-1) ... Preparing to unpack .../libnsl2_1.3.0-3_amd64.deb ... Unpacking libnsl2:amd64 (1.3.0-3) over (1.3.0-2build2) ... Preparing to unpack .../libcrypt1_1%3a4.4.36-4_amd64.deb ... Unpacking libcrypt1:amd64 (1:4.4.36-4) over (1:4.4.36-2) ... Setting up libcrypt1:amd64 (1:4.4.36-4) ... (Reading database ... 13652 files and directories currently installed.) Preparing to unpack .../linux-libc-dev_6.8.0-11.11_amd64.deb ... Unpacking linux-libc-dev:amd64 (6.8.0-11.11) over (6.5.0-9.9) ... Preparing to unpack .../libc6_2.39-0ubuntu1_amd64.deb ... Unpacking libc6:amd64 (2.39-0ubuntu1) over (2.38-1ubuntu6) ... Setting up libc6:amd64 (2.39-0ubuntu1) ... (Reading database ... 13662 files and directories currently installed.) Preparing to unpack .../libc-bin_2.39-0ubuntu1_amd64.deb ... Unpacking libc-bin (2.39-0ubuntu1) over (2.38-1ubuntu6) ... Setting up libc-bin (2.39-0ubuntu1) ... Selecting previously unselected package gcc-14-base:amd64. (Reading database ... 13662 files and directories currently installed.) Preparing to unpack .../gcc-14-base_14-20240201-3ubuntu1_amd64.deb ... Unpacking gcc-14-base:amd64 (14-20240201-3ubuntu1) ... Setting up gcc-14-base:amd64 (14-20240201-3ubuntu1) ... (Reading database ... 13667 files and directories currently installed.) Preparing to unpack .../libgcc-s1_14-20240201-3ubuntu1_amd64.deb ... Unpacking libgcc-s1:amd64 (14-20240201-3ubuntu1) over (13.2.0-4ubuntu3) ... Setting up libgcc-s1:amd64 (14-20240201-3ubuntu1) ... (Reading database ... 13667 files and directories currently installed.) Preparing to unpack .../base-files_13ubuntu6_amd64.deb ... Unpacking base-files (13ubuntu6) over (13ubuntu3) ... Setting up base-files (13ubuntu6) ... 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 ... 13667 files and directories currently installed.) Preparing to unpack .../debianutils_5.16_amd64.deb ... Unpacking debianutils (5.16) over (5.8-1) ... Setting up debianutils (5.16) ... (Reading database ... 13666 files and directories currently installed.) Preparing to unpack .../bash_5.2.21-2ubuntu1_amd64.deb ... Unpacking bash (5.2.21-2ubuntu1) over (5.2.15-2ubuntu1) ... Setting up bash (5.2.21-2ubuntu1) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 13666 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.39.2-6ubuntu1_amd64.deb ... Unpacking bsdutils (1:2.39.2-6ubuntu1) over (1:2.39.1-4ubuntu2) ... Setting up bsdutils (1:2.39.2-6ubuntu1) ... (Reading database ... 13666 files and directories currently installed.) Preparing to unpack .../coreutils_9.4-2ubuntu3_amd64.deb ... Unpacking coreutils (9.4-2ubuntu3) over (9.1-1ubuntu2) ... Setting up coreutils (9.4-2ubuntu3) ... (Reading database ... 13671 files and directories currently installed.) Preparing to unpack .../diffutils_1%3a3.10-1_amd64.deb ... Unpacking diffutils (1:3.10-1) over (1:3.8-4) ... Setting up diffutils (1:3.10-1) ... (Reading database ... 13671 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_amd64.deb ... Unpacking libgpg-error0:amd64 (1.47-3build1) over (1.47-2) ... Setting up libgpg-error0:amd64 (1.47-3build1) ... (Reading database ... 13671 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.10.3-2_amd64.deb ... Unpacking libgcrypt20:amd64 (1.10.3-2) over (1.10.2-3ubuntu1) ... Setting up libgcrypt20:amd64 (1.10.3-2) ... (Reading database ... 13671 files and directories currently installed.) Preparing to unpack .../liblzma5_5.4.5-0.3_amd64.deb ... Unpacking liblzma5:amd64 (5.4.5-0.3) over (5.4.1-0.2) ... Setting up liblzma5:amd64 (5.4.5-0.3) ... (Reading database ... 13671 files and directories currently installed.) Preparing to unpack .../libstdc++6_14-20240201-3ubuntu1_amd64.deb ... Unpacking libstdc++6:amd64 (14-20240201-3ubuntu1) over (13.2.0-4ubuntu3) ... Setting up libstdc++6:amd64 (14-20240201-3ubuntu1) ... (Reading database ... 13671 files and directories currently installed.) Preparing to unpack .../libacl1_2.3.1-4ubuntu1_amd64.deb ... Unpacking libacl1:amd64 (2.3.1-4ubuntu1) over (2.3.1-3) ... Setting up libacl1:amd64 (2.3.1-4ubuntu1) ... (Reading database ... 13671 files and directories currently installed.) Preparing to unpack .../libapparmor1_4.0.0~alpha4-0ubuntu1_amd64.deb ... Unpacking libapparmor1:amd64 (4.0.0~alpha4-0ubuntu1) over (4.0.0~alpha2-0ubuntu5) ... Preparing to unpack .../libaudit-common_1%3a3.1.2-2_all.deb ... Unpacking libaudit-common (1:3.1.2-2) over (1:3.1.1-1) ... Setting up libaudit-common (1:3.1.2-2) ... (Reading database ... 13671 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.8.4-2_amd64.deb ... Unpacking libcap-ng0:amd64 (0.8.4-2) over (0.8.3-1build2) ... Setting up libcap-ng0:amd64 (0.8.4-2) ... (Reading database ... 13671 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a3.1.2-2_amd64.deb ... Unpacking libaudit1:amd64 (1:3.1.2-2) over (1:3.1.1-1) ... Setting up libaudit1:amd64 (1:3.1.2-2) ... (Reading database ... 13671 files and directories currently installed.) Preparing to unpack .../libblkid1_2.39.2-6ubuntu1_amd64.deb ... Unpacking libblkid1:amd64 (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Setting up libblkid1:amd64 (2.39.2-6ubuntu1) ... (Reading database ... 13671 files and directories currently installed.) Preparing to unpack .../libzstd1_1.5.5+dfsg2-2_amd64.deb ... Unpacking libzstd1:amd64 (1.5.5+dfsg2-2) over (1.5.5+dfsg2-1ubuntu2) ... Setting up libzstd1:amd64 (1.5.5+dfsg2-2) ... (Reading database ... 13671 files and directories currently installed.) Preparing to unpack .../libkmod2_30+20230601-2ubuntu1_amd64.deb ... Unpacking libkmod2:amd64 (30+20230601-2ubuntu1) over (30+20230519-1ubuntu3) ... Preparing to unpack .../libpcre2-8-0_10.42-4ubuntu1_amd64.deb ... Unpacking libpcre2-8-0:amd64 (10.42-4ubuntu1) over (10.42-4) ... Setting up libpcre2-8-0:amd64 (10.42-4ubuntu1) ... (Reading database ... 13671 files and directories currently installed.) Preparing to unpack .../libselinux1_3.5-2build1_amd64.deb ... Unpacking libselinux1:amd64 (3.5-2build1) over (3.5-1) ... Setting up libselinux1:amd64 (3.5-2build1) ... (Reading database ... 13672 files and directories currently installed.) Preparing to unpack .../libmount1_2.39.2-6ubuntu1_amd64.deb ... Unpacking libmount1:amd64 (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Setting up libmount1:amd64 (2.39.2-6ubuntu1) ... (Reading database ... 13672 files and directories currently installed.) Preparing to unpack .../perl_5.38.2-3_amd64.deb ... Unpacking perl (5.38.2-3) over (5.36.0-9ubuntu1) ... Selecting previously unselected package perl-modules-5.38. Preparing to unpack .../perl-modules-5.38_5.38.2-3_all.deb ... Unpacking perl-modules-5.38 (5.38.2-3) ... Selecting previously unselected package libperl5.38:amd64. Preparing to unpack .../libperl5.38_5.38.2-3_amd64.deb ... Unpacking libperl5.38:amd64 (5.38.2-3) ... Preparing to unpack .../perl-base_5.38.2-3_amd64.deb ... Unpacking perl-base (5.38.2-3) over (5.36.0-9ubuntu1) ... Setting up perl-base (5.38.2-3) ... (Reading database ... 15609 files and directories currently installed.) Preparing to unpack .../0-liblocale-gettext-perl_1.07-6build1_amd64.deb ... Unpacking liblocale-gettext-perl (1.07-6build1) over (1.07-6) ... Preparing to unpack .../1-libtext-iconv-perl_1.7-8build1_amd64.deb ... Unpacking libtext-iconv-perl:amd64 (1.7-8build1) over (1.7-8) ... Preparing to unpack .../2-libtext-charwidth-perl_0.04-11build1_amd64.deb ... Unpacking libtext-charwidth-perl:amd64 (0.04-11build1) over (0.04-11) ... Preparing to unpack .../3-perl-modules-5.36_5.36.0-10ubuntu1_all.deb ... Unpacking perl-modules-5.36 (5.36.0-10ubuntu1) over (5.36.0-9ubuntu1) ... Preparing to unpack .../4-libperl5.36_5.36.0-10ubuntu1_amd64.deb ... Unpacking libperl5.36:amd64 (5.36.0-10ubuntu1) over (5.36.0-9ubuntu1) ... Preparing to unpack .../5-libdb5.3_5.3.28+dfsg2-4_amd64.deb ... Unpacking libdb5.3:amd64 (5.3.28+dfsg2-4) over (5.3.28+dfsg2-2) ... Setting up libdb5.3:amd64 (5.3.28+dfsg2-4) ... (Reading database ... 15609 files and directories currently installed.) Preparing to unpack .../libgdbm6_1.23-5_amd64.deb ... Unpacking libgdbm6:amd64 (1.23-5) over (1.23-3) ... Preparing to unpack .../libgdbm-compat4_1.23-5_amd64.deb ... Unpacking libgdbm-compat4:amd64 (1.23-5) over (1.23-3) ... Preparing to unpack .../zlib1g_1%3a1.3.dfsg-3ubuntu1_amd64.deb ... Unpacking zlib1g:amd64 (1:1.3.dfsg-3ubuntu1) over (1:1.2.13.dfsg-1ubuntu5) ... Setting up zlib1g:amd64 (1:1.3.dfsg-3ubuntu1) ... (Reading database ... 15609 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 ... 15608 files and directories currently installed.) Preparing to unpack .../libpam0g_1.5.2-9.1ubuntu2_amd64.deb ... Unpacking libpam0g:amd64 (1.5.2-9.1ubuntu2) over (1.5.2-6ubuntu1) ... Setting up libpam0g:amd64 (1.5.2-9.1ubuntu2) ... (Reading database ... 15607 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.5.5-1ubuntu1_amd64.deb ... Unpacking libseccomp2:amd64 (2.5.5-1ubuntu1) over (2.5.4-1ubuntu3) ... Setting up libseccomp2:amd64 (2.5.5-1ubuntu1) ... (Reading database ... 15607 files and directories currently installed.) Preparing to unpack .../0-systemd-sysv_255.2-3ubuntu2_amd64.deb ... Unpacking systemd-sysv (255.2-3ubuntu2) over (253.5-1ubuntu6) ... Preparing to unpack .../1-systemd-dev_255.2-3ubuntu2_all.deb ... Unpacking systemd-dev (255.2-3ubuntu2) over (253.5-1ubuntu6) ... Preparing to unpack .../2-systemd_255.2-3ubuntu2_amd64.deb ... Unpacking systemd (255.2-3ubuntu2) 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 .../3-libsystemd-shared_255.2-3ubuntu2_amd64.deb ... Unpacking libsystemd-shared:amd64 (255.2-3ubuntu2) over (253.5-1ubuntu6) ... Preparing to unpack .../4-libargon2-1_0~20190702+dfsg-4_amd64.deb ... Unpacking libargon2-1:amd64 (0~20190702+dfsg-4) over (0~20190702+dfsg-3) ... Preparing to unpack .../5-libuuid1_2.39.2-6ubuntu1_amd64.deb ... Unpacking libuuid1:amd64 (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Setting up libuuid1:amd64 (2.39.2-6ubuntu1) ... (Reading database ... 15769 files and directories currently installed.) Preparing to unpack .../libcryptsetup12_2%3a2.6.1-6ubuntu1_amd64.deb ... Unpacking libcryptsetup12:amd64 (2:2.6.1-6ubuntu1) over (2:2.6.1-4ubuntu3) ... Preparing to unpack .../libfdisk1_2.39.2-6ubuntu1_amd64.deb ... Unpacking libfdisk1:amd64 (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Preparing to unpack .../mount_2.39.2-6ubuntu1_amd64.deb ... Unpacking mount (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Preparing to unpack .../libsystemd0_255.2-3ubuntu2_amd64.deb ... Unpacking libsystemd0:amd64 (255.2-3ubuntu2) over (253.5-1ubuntu6) ... Setting up libsystemd0:amd64 (255.2-3ubuntu2) ... (Reading database ... 15769 files and directories currently installed.) Preparing to unpack .../libudev1_255.2-3ubuntu2_amd64.deb ... Unpacking libudev1:amd64 (255.2-3ubuntu2) over (253.5-1ubuntu6) ... Setting up libudev1:amd64 (255.2-3ubuntu2) ... (Reading database ... 15769 files and directories currently installed.) Preparing to unpack .../libxxhash0_0.8.2-2_amd64.deb ... Unpacking libxxhash0:amd64 (0.8.2-2) over (0.8.1-1) ... Setting up libxxhash0:amd64 (0.8.2-2) ... (Reading database ... 15769 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.7.11_amd64.deb ... Unpacking libapt-pkg6.0:amd64 (2.7.11) over (2.7.3) ... Setting up libapt-pkg6.0:amd64 (2.7.11) ... (Reading database ... 15769 files and directories currently installed.) Preparing to unpack .../tar_1.35+dfsg-3_amd64.deb ... Unpacking tar (1.35+dfsg-3) over (1.34+dfsg-1.2ubuntu1) ... Setting up tar (1.35+dfsg-3) ... (Reading database ... 15769 files and directories currently installed.) Preparing to unpack .../dpkg_1.22.4ubuntu3_amd64.deb ... Unpacking dpkg (1.22.4ubuntu3) over (1.22.0ubuntu1) ... Setting up dpkg (1.22.4ubuntu3) ... (Reading database ... 15767 files and directories currently installed.) Preparing to unpack .../archives/grep_3.11-4_amd64.deb ... Unpacking grep (3.11-4) over (3.11-2) ... Setting up grep (3.11-4) ... (Reading database ... 15767 files and directories currently installed.) Preparing to unpack .../login_1%3a4.13+dfsg1-3ubuntu1_amd64.deb ... Unpacking login (1:4.13+dfsg1-3ubuntu1) over (1:4.13+dfsg1-1ubuntu1) ... Setting up login (1:4.13+dfsg1-3ubuntu1) ... Installing new version of config file /etc/login.defs ... Installing new version of config file /etc/pam.d/login ... (Reading database ... 15767 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.4+20240113-1ubuntu1_amd64.deb ... Unpacking ncurses-bin (6.4+20240113-1ubuntu1) over (6.4+20230625-2) ... Setting up ncurses-bin (6.4+20240113-1ubuntu1) ... (Reading database ... 15767 files and directories currently installed.) Preparing to unpack .../archives/sed_4.9-2_amd64.deb ... Unpacking sed (4.9-2) over (4.9-1) ... Setting up sed (4.9-2) ... (Reading database ... 15767 files and directories currently installed.) Preparing to unpack .../util-linux_2.39.2-6ubuntu1_amd64.deb ... Unpacking util-linux (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Setting up util-linux (2.39.2-6ubuntu1) ... (Reading database ... 15768 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.271ubuntu1_amd64.deb ... Unpacking libdebconfclient0:amd64 (0.271ubuntu1) over (0.270ubuntu1) ... Setting up libdebconfclient0:amd64 (0.271ubuntu1) ... (Reading database ... 15768 files and directories currently installed.) Preparing to unpack .../base-passwd_3.6.3_amd64.deb ... Unpacking base-passwd (3.6.3) over (3.6.1) ... Setting up base-passwd (3.6.3) ... (Reading database ... 15768 files and directories currently installed.) 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 ... 15768 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 ... 15768 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_3.08-3ubuntu1_amd64.deb ... Unpacking sysvinit-utils (3.08-3ubuntu1) over (3.07-1ubuntu1) ... Setting up sysvinit-utils (3.08-3ubuntu1) ... (Reading database ... 15768 files and directories currently installed.) Preparing to unpack .../archives/apt_2.7.11_amd64.deb ... Unpacking apt (2.7.11) over (2.7.3) ... Setting up apt (2.7.11) ... (Reading database ... 15768 files and directories currently installed.) Preparing to unpack .../apt-utils_2.7.11_amd64.deb ... Unpacking apt-utils (2.7.11) over (2.7.3) ... Preparing to unpack .../gpgv_2.4.4-2ubuntu3_amd64.deb ... Unpacking gpgv (2.4.4-2ubuntu3) over (2.2.40-1.1ubuntu1) ... Setting up gpgv (2.4.4-2ubuntu3) ... (Reading database ... 15768 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 ... 15768 files and directories currently installed.) Preparing to unpack .../libffi8_3.4.4-2_amd64.deb ... Unpacking libffi8:amd64 (3.4.4-2) over (3.4.4-1) ... Setting up libffi8:amd64 (3.4.4-2) ... (Reading database ... 15768 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.25.3-4ubuntu1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.25.3-4ubuntu1) over (0.25.0-4ubuntu1) ... Setting up libp11-kit0:amd64 (0.25.3-4ubuntu1) ... Selecting previously unselected package libunistring5:amd64. (Reading database ... 15768 files and directories currently installed.) Preparing to unpack .../libunistring5_1.1-2_amd64.deb ... Unpacking libunistring5:amd64 (1.1-2) ... Setting up libunistring5:amd64 (1.1-2) ... (Reading database ... 15773 files and directories currently installed.) Preparing to unpack .../libidn2-0_2.3.7-2_amd64.deb ... Unpacking libidn2-0:amd64 (2.3.7-2) over (2.3.4-1) ... Setting up libidn2-0:amd64 (2.3.7-2) ... (Reading database ... 15773 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.8.3-1ubuntu1_amd64.deb ... Unpacking libgnutls30:amd64 (3.8.3-1ubuntu1) over (3.8.1-4ubuntu1) ... Setting up libgnutls30:amd64 (3.8.3-1ubuntu1) ... (Reading database ... 15774 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.5.2-9.1ubuntu2_amd64.deb ... Unpacking libpam-modules-bin (1.5.2-9.1ubuntu2) over (1.5.2-6ubuntu1) ... Setting up libpam-modules-bin (1.5.2-9.1ubuntu2) ... (Reading database ... 15773 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.5.2-9.1ubuntu2_amd64.deb ... Unpacking libpam-modules:amd64 (1.5.2-9.1ubuntu2) over (1.5.2-6ubuntu1) ... Setting up libpam-modules:amd64 (1.5.2-9.1ubuntu2) ... Setting up libapparmor1:amd64 (4.0.0~alpha4-0ubuntu1) ... Setting up libargon2-1:amd64 (0~20190702+dfsg-4) ... Setting up libcryptsetup12:amd64 (2:2.6.1-6ubuntu1) ... Setting up libfdisk1:amd64 (2.39.2-6ubuntu1) ... Setting up libkmod2:amd64 (30+20230601-2ubuntu1) ... Setting up libsystemd-shared:amd64 (255.2-3ubuntu2) ... Setting up systemd-dev (255.2-3ubuntu2) ... Setting up mount (2.39.2-6ubuntu1) ... Setting up systemd (255.2-3ubuntu2) ... 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.2-3ubuntu2) ... (Reading database ... 15772 files and directories currently installed.) Preparing to unpack .../init_1.66ubuntu1_amd64.deb ... Unpacking init (1.66ubuntu1) over (1.65.2ubuntu1) ... Preparing to unpack .../libsmartcols1_2.39.2-6ubuntu1_amd64.deb ... Unpacking libsmartcols1:amd64 (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Setting up libsmartcols1:amd64 (2.39.2-6ubuntu1) ... (Reading database ... 15773 files and directories currently installed.) Preparing to unpack .../uuid-runtime_2.39.2-6ubuntu1_amd64.deb ... Unpacking uuid-runtime (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Preparing to unpack .../libattr1_1%3a2.5.2-1_amd64.deb ... Unpacking libattr1:amd64 (1:2.5.2-1) over (1:2.5.1-4) ... Setting up libattr1:amd64 (1:2.5.2-1) ... (Reading database ... 15773 files and directories currently installed.) Preparing to unpack .../libmd0_1.1.0-2_amd64.deb ... Unpacking libmd0:amd64 (1.1.0-2) over (1.1.0-1) ... Setting up libmd0:amd64 (1.1.0-2) ... (Reading database ... 15773 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.5.2-9.1ubuntu2_all.deb ... Unpacking libpam-runtime (1.5.2-9.1ubuntu2) over (1.5.2-6ubuntu1) ... Setting up libpam-runtime (1.5.2-9.1ubuntu2) ... (Reading database ... 15772 files and directories currently installed.) Preparing to unpack .../libsemanage-common_3.5-1build2_all.deb ... Unpacking libsemanage-common (3.5-1build2) over (3.5-1) ... Setting up libsemanage-common (3.5-1build2) ... (Reading database ... 15772 files and directories currently installed.) Preparing to unpack .../libsepol2_3.5-2_amd64.deb ... Unpacking libsepol2:amd64 (3.5-2) over (3.5-1) ... Setting up libsepol2:amd64 (3.5-2) ... (Reading database ... 15772 files and directories currently installed.) Preparing to unpack .../libsemanage2_3.5-1build2_amd64.deb ... Unpacking libsemanage2:amd64 (3.5-1build2) over (3.5-1) ... Setting up libsemanage2:amd64 (3.5-1build2) ... (Reading database ... 15772 files and directories currently installed.) Preparing to unpack .../libncursesw6_6.4+20240113-1ubuntu1_amd64.deb ... Unpacking libncursesw6:amd64 (6.4+20240113-1ubuntu1) over (6.4+20230625-2) ... Preparing to unpack .../libtinfo6_6.4+20240113-1ubuntu1_amd64.deb ... Unpacking libtinfo6:amd64 (6.4+20240113-1ubuntu1) over (6.4+20230625-2) ... Setting up libtinfo6:amd64 (6.4+20240113-1ubuntu1) ... (Reading database ... 15772 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.13+dfsg1-3ubuntu1_amd64.deb ... Unpacking passwd (1:4.13+dfsg1-3ubuntu1) over (1:4.13+dfsg1-1ubuntu1) ... Setting up passwd (1:4.13+dfsg1-3ubuntu1) ... (Reading database ... 15772 files and directories currently installed.) Preparing to unpack .../00-g++-13_13.2.0-13ubuntu1_amd64.deb ... Unpacking g++-13 (13.2.0-13ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../01-gcc-13_13.2.0-13ubuntu1_amd64.deb ... Unpacking gcc-13 (13.2.0-13ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../02-cpp-13_13.2.0-13ubuntu1_amd64.deb ... Unpacking cpp-13 (13.2.0-13ubuntu1) over (13.2.0-4ubuntu3) ... Selecting previously unselected package cpp-13-x86-64-linux-gnu. Preparing to unpack .../03-cpp-13-x86-64-linux-gnu_13.2.0-13ubuntu1_amd64.deb ... Unpacking cpp-13-x86-64-linux-gnu (13.2.0-13ubuntu1) ... Preparing to unpack .../04-libcc1-0_14-20240201-3ubuntu1_amd64.deb ... Unpacking libcc1-0:amd64 (14-20240201-3ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../05-libgprofng0_2.42-2ubuntu1_amd64.deb ... Unpacking libgprofng0:amd64 (2.42-2ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../06-libctf0_2.42-2ubuntu1_amd64.deb ... Unpacking libctf0:amd64 (2.42-2ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../07-libctf-nobfd0_2.42-2ubuntu1_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.42-2ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../08-libsframe1_2.42-2ubuntu1_amd64.deb ... Unpacking libsframe1:amd64 (2.42-2ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../09-binutils-x86-64-linux-gnu_2.42-2ubuntu1_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.42-2ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../10-libbinutils_2.42-2ubuntu1_amd64.deb ... Unpacking libbinutils:amd64 (2.42-2ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../11-binutils_2.42-2ubuntu1_amd64.deb ... Unpacking binutils (2.42-2ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../12-binutils-common_2.42-2ubuntu1_amd64.deb ... Unpacking binutils-common:amd64 (2.42-2ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../13-libstdc++-13-dev_13.2.0-13ubuntu1_amd64.deb ... Unpacking libstdc++-13-dev:amd64 (13.2.0-13ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../14-libgomp1_14-20240201-3ubuntu1_amd64.deb ... Unpacking libgomp1:amd64 (14-20240201-3ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../15-libitm1_14-20240201-3ubuntu1_amd64.deb ... Unpacking libitm1:amd64 (14-20240201-3ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../16-libatomic1_14-20240201-3ubuntu1_amd64.deb ... Unpacking libatomic1:amd64 (14-20240201-3ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../17-libasan8_14-20240201-3ubuntu1_amd64.deb ... Unpacking libasan8:amd64 (14-20240201-3ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../18-liblsan0_14-20240201-3ubuntu1_amd64.deb ... Unpacking liblsan0:amd64 (14-20240201-3ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../19-libgcc-13-dev_13.2.0-13ubuntu1_amd64.deb ... Unpacking libgcc-13-dev:amd64 (13.2.0-13ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../20-libtsan2_14-20240201-3ubuntu1_amd64.deb ... Unpacking libtsan2:amd64 (14-20240201-3ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../21-libubsan1_14-20240201-3ubuntu1_amd64.deb ... Unpacking libubsan1:amd64 (14-20240201-3ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../22-libhwasan0_14-20240201-3ubuntu1_amd64.deb ... Unpacking libhwasan0:amd64 (14-20240201-3ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../23-libquadmath0_14-20240201-3ubuntu1_amd64.deb ... Unpacking libquadmath0:amd64 (14-20240201-3ubuntu1) over (13.2.0-4ubuntu3) ... Selecting previously unselected package gcc-13-x86-64-linux-gnu. Preparing to unpack .../24-gcc-13-x86-64-linux-gnu_13.2.0-13ubuntu1_amd64.deb ... Unpacking gcc-13-x86-64-linux-gnu (13.2.0-13ubuntu1) ... Selecting previously unselected package g++-13-x86-64-linux-gnu. Preparing to unpack .../25-g++-13-x86-64-linux-gnu_13.2.0-13ubuntu1_amd64.deb ... Unpacking g++-13-x86-64-linux-gnu (13.2.0-13ubuntu1) ... Preparing to unpack .../26-gcc-13-base_13.2.0-13ubuntu1_amd64.deb ... Unpacking gcc-13-base:amd64 (13.2.0-13ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../27-libproc2-0_2%3a4.0.4-2ubuntu1_amd64.deb ... Unpacking libproc2-0:amd64 (2:4.0.4-2ubuntu1) over (2:4.0.3-1ubuntu1) ... Preparing to unpack .../28-mawk_1.3.4.20240123-1_amd64.deb ... Unpacking mawk (1.3.4.20240123-1) over (1.3.4.20230730-1) ... Preparing to unpack .../29-procps_2%3a4.0.4-2ubuntu1_amd64.deb ... Unpacking procps (2:4.0.4-2ubuntu1) over (2:4.0.3-1ubuntu1) ... Preparing to unpack .../30-sensible-utils_0.0.22_all.deb ... Unpacking sensible-utils (0.0.22) over (0.0.20) ... Preparing to unpack .../31-openssl_3.0.10-1ubuntu4_amd64.deb ... Unpacking openssl (3.0.10-1ubuntu4) over (3.0.10-1ubuntu2) ... Preparing to unpack .../32-ca-certificates_20240203_all.deb ... Unpacking ca-certificates (20240203) over (20230311ubuntu1) ... Preparing to unpack .../33-krb5-locales_1.20.1-5build1_all.deb ... Unpacking krb5-locales (1.20.1-5build1) over (1.20.1-3ubuntu1) ... Preparing to unpack .../34-libip4tc2_1.8.10-3ubuntu1_amd64.deb ... Unpacking libip4tc2:amd64 (1.8.10-3ubuntu1) over (1.8.9-2ubuntu2) ... Preparing to unpack .../35-readline-common_8.2-3_all.deb ... Unpacking readline-common (8.2-3) over (8.2-1.3) ... Preparing to unpack .../36-libreadline8_8.2-3_amd64.deb ... Unpacking libreadline8:amd64 (8.2-3) over (8.2-1.3) ... Preparing to unpack .../37-libsqlite3-0_3.45.1-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.45.1-1) over (3.42.0-1) ... Preparing to unpack .../38-tzdata_2024a-1ubuntu1_all.deb ... Unpacking tzdata (2024a-1ubuntu1) over (2023c-9ubuntu1) ... Preparing to unpack .../39-bash-completion_1%3a2.11-8_all.deb ... Unpacking bash-completion (1:2.11-8) over (1:2.11-7) ... Preparing to unpack .../40-bsdextrautils_2.39.2-6ubuntu1_amd64.deb ... Unpacking bsdextrautils (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Preparing to unpack .../41-libpng16-16_1.6.42-1_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.42-1) over (1.6.40-1) ... Preparing to unpack .../42-psmisc_23.6-2_amd64.deb ... Unpacking psmisc (23.6-2) over (23.6-1) ... Preparing to unpack .../43-xz-utils_5.4.5-0.3_amd64.deb ... Unpacking xz-utils (5.4.5-0.3) over (5.4.1-0.2) ... Preparing to unpack .../44-g++_4%3a13.2.0-7ubuntu1_amd64.deb ... Unpacking g++ (4:13.2.0-7ubuntu1) over (4:13.2.0-1ubuntu1) ... Preparing to unpack .../45-gcc_4%3a13.2.0-7ubuntu1_amd64.deb ... Unpacking gcc (4:13.2.0-7ubuntu1) over (4:13.2.0-1ubuntu1) ... Preparing to unpack .../46-cpp_4%3a13.2.0-7ubuntu1_amd64.deb ... Unpacking cpp (4:13.2.0-7ubuntu1) over (4:13.2.0-1ubuntu1) ... Selecting previously unselected package cpp-x86-64-linux-gnu. Preparing to unpack .../47-cpp-x86-64-linux-gnu_4%3a13.2.0-7ubuntu1_amd64.deb ... Unpacking cpp-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ... Selecting previously unselected package gcc-x86-64-linux-gnu. Preparing to unpack .../48-gcc-x86-64-linux-gnu_4%3a13.2.0-7ubuntu1_amd64.deb ... Unpacking gcc-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ... Selecting previously unselected package g++-x86-64-linux-gnu. Preparing to unpack .../49-g++-x86-64-linux-gnu_4%3a13.2.0-7ubuntu1_amd64.deb ... Unpacking g++-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ... Preparing to unpack .../50-dpkg-dev_1.22.4ubuntu3_all.deb ... Unpacking dpkg-dev (1.22.4ubuntu3) over (1.22.0ubuntu1) ... Preparing to unpack .../51-libdpkg-perl_1.22.4ubuntu3_all.deb ... Unpacking libdpkg-perl (1.22.4ubuntu3) over (1.22.0ubuntu1) ... Preparing to unpack .../52-lto-disabled-list_46_all.deb ... Unpacking lto-disabled-list (46) over (43) ... Preparing to unpack .../53-libfakeroot_1.33-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.33-1) over (1.32.1-1) ... Preparing to unpack .../54-fakeroot_1.33-1_amd64.deb ... Unpacking fakeroot (1.33-1) over (1.32.1-1) ... Preparing to unpack .../55-pinentry-curses_1.2.1-3ubuntu1_amd64.deb ... Unpacking pinentry-curses (1.2.1-3ubuntu1) over (1.2.1-1ubuntu1) ... Preparing to unpack .../56-gpg_2.4.4-2ubuntu3_amd64.deb ... Unpacking gpg (2.4.4-2ubuntu3) over (2.2.40-1.1ubuntu1) ... Preparing to unpack .../57-gpgconf_2.4.4-2ubuntu3_amd64.deb ... Unpacking gpgconf (2.4.4-2ubuntu3) over (2.2.40-1.1ubuntu1) ... Preparing to unpack .../58-gpg-agent_2.4.4-2ubuntu3_amd64.deb ... Unpacking gpg-agent (2.4.4-2ubuntu3) over (2.2.40-1.1ubuntu1) ... Preparing to unpack .../59-optipng_0.7.8+ds-1_amd64.deb ... Unpacking optipng (0.7.8+ds-1) over (0.7.7-2build1) ... Setting up libip4tc2:amd64 (1.8.10-3ubuntu1) ... Setting up libtext-iconv-perl:amd64 (1.7-8build1) ... Setting up libtext-charwidth-perl:amd64 (0.04-11build1) ... Setting up libkeyutils1:amd64 (1.6.3-3) ... Setting up lto-disabled-list (46) ... Setting up apt-utils (2.7.11) ... Setting up bsdextrautils (2.39.2-6ubuntu1) ... Setting up init (1.66ubuntu1) ... Setting up psmisc (23.6-2) ... Setting up libtirpc-common (1.3.4+ds-1build1) ... Setting up libsqlite3-0:amd64 (3.45.1-1) ... Setting up binutils-common:amd64 (2.42-2ubuntu1) ... Installing new version of config file /etc/gprofng.rc ... Setting up linux-libc-dev:amd64 (6.8.0-11.11) ... Setting up libctf-nobfd0:amd64 (2.42-2ubuntu1) ... Setting up krb5-locales (1.20.1-5build1) ... Setting up libgomp1:amd64 (14-20240201-3ubuntu1) ... Setting up libsframe1:amd64 (2.42-2ubuntu1) ... Setting up libfakeroot:amd64 (1.33-1) ... Setting up libkrb5support0:amd64 (1.20.1-5build1) ... Setting up tzdata (2024a-1ubuntu1) ... Current default time zone: 'Etc/UTC' Local time is now: Sat Feb 17 16:23:15 UTC 2024. Universal Time is now: Sat Feb 17 16:23:15 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up fakeroot (1.33-1) ... Setting up perl-modules-5.36 (5.36.0-10ubuntu1) ... Setting up gcc-13-base:amd64 (13.2.0-13ubuntu1) ... Setting up bash-completion (1:2.11-8) ... Setting up xz-utils (5.4.5-0.3) ... Setting up perl-modules-5.38 (5.38.2-3) ... Setting up libquadmath0:amd64 (14-20240201-3ubuntu1) ... Setting up libproc2-0:amd64 (2:4.0.4-2ubuntu1) ... Setting up libpng16-16:amd64 (1.6.42-1) ... Setting up libatomic1:amd64 (14-20240201-3ubuntu1) ... Setting up libncursesw6:amd64 (6.4+20240113-1ubuntu1) ... Setting up libk5crypto3:amd64 (1.20.1-5build1) ... Setting up libubsan1:amd64 (14-20240201-3ubuntu1) ... Setting up sensible-utils (0.0.22) ... Setting up uuid-runtime (2.39.2-6ubuntu1) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of restart. Setting up libhwasan0:amd64 (14-20240201-3ubuntu1) ... Setting up libcrypt-dev:amd64 (1:4.4.36-4) ... Setting up libasan8:amd64 (14-20240201-3ubuntu1) ... Setting up procps (2:4.0.4-2ubuntu1) ... Installing new version of config file /etc/sysctl.conf ... Setting up mawk (1.3.4.20240123-1) ... Setting up libkrb5-3:amd64 (1.20.1-5build1) ... Setting up libtsan2:amd64 (14-20240201-3ubuntu1) ... Setting up libbinutils:amd64 (2.42-2ubuntu1) ... Setting up libc-dev-bin (2.39-0ubuntu1) ... Setting up openssl (3.0.10-1ubuntu4) ... Setting up libgpg-error-l10n (1.47-3build1) ... Setting up readline-common (8.2-3) ... Setting up libcc1-0:amd64 (14-20240201-3ubuntu1) ... Setting up liblocale-gettext-perl (1.07-6build1) ... Setting up liblsan0:amd64 (14-20240201-3ubuntu1) ... Setting up libitm1:amd64 (14-20240201-3ubuntu1) ... Setting up libgdbm6:amd64 (1.23-5) ... Setting up libctf0:amd64 (2.42-2ubuntu1) ... Setting up pinentry-curses (1.2.1-3ubuntu1) ... Setting up cpp-13-x86-64-linux-gnu (13.2.0-13ubuntu1) ... Setting up libreadline8:amd64 (8.2-3) ... Setting up debconf-i18n (1.5.86) ... 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 libgprofng0:amd64 (2.42-2ubuntu1) ... Setting up optipng (0.7.8+ds-1) ... Setting up libgssapi-krb5-2:amd64 (1.20.1-5build1) ... Setting up libgdbm-compat4:amd64 (1.23-5) ... Setting up libgcc-13-dev:amd64 (13.2.0-13ubuntu1) ... Setting up gpgconf (2.4.4-2ubuntu3) ... Setting up libperl5.36:amd64 (5.36.0-10ubuntu1) ... Setting up gpg (2.4.4-2ubuntu3) ... Setting up binutils-x86-64-linux-gnu (2.42-2ubuntu1) ... Setting up cpp-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ... Setting up libtirpc3:amd64 (1.3.4+ds-1build1) ... Setting up gpg-agent (2.4.4-2ubuntu3) ... Setting up cpp-13 (13.2.0-13ubuntu1) ... Setting up gcc-13-x86-64-linux-gnu (13.2.0-13ubuntu1) ... Setting up libperl5.38:amd64 (5.38.2-3) ... Setting up binutils (2.42-2ubuntu1) ... Setting up perl (5.38.2-3) ... Setting up libtirpc-dev:amd64 (1.3.4+ds-1build1) ... Setting up gcc-13 (13.2.0-13ubuntu1) ... Setting up libdpkg-perl (1.22.4ubuntu3) ... Setting up cpp (4:13.2.0-7ubuntu1) ... Setting up libnsl2:amd64 (1.3.0-3) ... Setting up gcc-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ... Setting up gcc (4:13.2.0-7ubuntu1) ... Setting up dpkg-dev (1.22.4ubuntu3) ... Setting up libnsl-dev:amd64 (1.3.0-3) ... Setting up libc6-dev:amd64 (2.39-0ubuntu1) ... Setting up libstdc++-13-dev:amd64 (13.2.0-13ubuntu1) ... Setting up g++-13-x86-64-linux-gnu (13.2.0-13ubuntu1) ... Setting up g++-x86-64-linux-gnu (4:13.2.0-7ubuntu1) ... Setting up g++-13 (13.2.0-13ubuntu1) ... Setting up g++ (4:13.2.0-7ubuntu1) ... Processing triggers for libc-bin (2.39-0ubuntu1) ... Processing triggers for debianutils (5.16) ... 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-27784932 amd64 noble-proposed -c chroot:build-PACKAGEBUILD-27784932 --arch=amd64 --dist=noble-proposed --nolog -A mathcomp-multinomials_2.2.0-1build2.dsc Initiating build PACKAGEBUILD-27784932 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 5.4.0-171-generic #189-Ubuntu SMP Fri Jan 5 14:23:02 UTC 2024 x86_64 sbuild (Debian sbuild) 0.79.0 (05 February 2020) on lcy02-amd64-095.buildd +==============================================================================+ | mathcomp-multinomials 2.2.0-1build2 (amd64) Sat, 17 Feb 2024 16:23:19 +0000 | +==============================================================================+ Package: mathcomp-multinomials Version: 2.2.0-1build2 Source Version: 2.2.0-1build2 Distribution: noble-proposed Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: binary I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-27784932/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/mathcomp-multinomials-OlgY1f/resolver-aoJWex' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- mathcomp-multinomials_2.2.0-1build2.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/mathcomp-multinomials-OlgY1f/mathcomp-multinomials-2.2.0' with '<>' I: NOTICE: Log filtering will replace 'build/mathcomp-multinomials-OlgY1f' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, libcoq-mathcomp-ssreflect, ocaml-dune, build-essential, fakeroot Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, libcoq-mathcomp-ssreflect, ocaml-dune, 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 [427 B] Get:5 copy:/<>/apt_archive ./ Packages [510 B] Fetched 1894 B in 0s (0 B/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 libip4tc2 liblocale-gettext-perl libnss-nis libnss-nisplus libperl5.36 libtext-charwidth-perl libtext-iconv-perl libtext-wrapi18n-perl 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-elpi libcoq-hierarchy-builder libcoq-mathcomp-algebra libcoq-mathcomp-bigenough libcoq-mathcomp-fingroup libcoq-mathcomp-finmap libcoq-mathcomp-ssreflect libcoq-stdlib libdebhelper-perl libdw1 libelf1 libelpi-ocaml libelpi-ocaml-dev libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu74 libmagic-mgc libmagic1 libmenhir-ocaml-dev libncurses-dev libncurses6 libocaml-compiler-libs-ocaml-dev libpipeline1 libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libre-ocaml-dev libresult-ocaml libresult-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev 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-dune 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-elpi libcoq-hierarchy-builder libcoq-mathcomp-algebra libcoq-mathcomp-bigenough libcoq-mathcomp-fingroup libcoq-mathcomp-finmap libcoq-mathcomp-ssreflect libcoq-stdlib libdebhelper-perl libdw1 libelf1 libelpi-ocaml libelpi-ocaml-dev libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu74 libmagic-mgc libmagic1 libmenhir-ocaml-dev libncurses-dev libncurses6 libocaml-compiler-libs-ocaml-dev libpipeline1 libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev libppxlib-ocaml-dev libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libre-ocaml-dev libresult-ocaml libresult-ocaml-dev libsexplib0-ocaml libsexplib0-ocaml-dev 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-dune ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.12 python3.12-minimal sbuild-build-depends-main-dummy 0 upgraded, 84 newly installed, 0 to remove and 0 not upgraded. Need to get 490 MB of archives. After this operation, 1616 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [726 B] Get:2 http://ftpmaster.internal/ubuntu noble/main amd64 libpython3.12-minimal amd64 3.12.2-1 [830 kB] Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 libexpat1 amd64 2.6.0-1 [86.0 kB] Get:4 http://ftpmaster.internal/ubuntu noble/main amd64 python3.12-minimal amd64 3.12.2-1 [2365 kB] Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 python3-minimal amd64 3.12.1-0ubuntu1 [26.9 kB] Get:6 http://ftpmaster.internal/ubuntu noble/main amd64 media-types all 10.1.0 [27.5 kB] Get:7 http://ftpmaster.internal/ubuntu noble/main amd64 netbase all 6.4 [13.1 kB] Get:8 http://ftpmaster.internal/ubuntu noble/main amd64 libpython3.12-stdlib amd64 3.12.2-1 [2042 kB] Get:9 http://ftpmaster.internal/ubuntu noble/main amd64 python3.12 amd64 3.12.2-1 [645 kB] Get:10 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 libpython3-stdlib amd64 3.12.1-0ubuntu1 [9654 B] Get:11 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 python3 amd64 3.12.1-0ubuntu1 [22.9 kB] Get:12 http://ftpmaster.internal/ubuntu noble/main amd64 libelf1 amd64 0.190-1 [57.0 kB] Get:13 http://ftpmaster.internal/ubuntu noble/main amd64 libicu74 amd64 74.2-1ubuntu1 [10.9 MB] Get:14 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 libxml2 amd64 2.9.14+dfsg-1.3ubuntu1 [762 kB] Get:15 http://ftpmaster.internal/ubuntu noble/main amd64 libmagic-mgc amd64 1:5.45-2 [307 kB] Get:16 http://ftpmaster.internal/ubuntu noble/main amd64 libmagic1 amd64 1:5.45-2 [86.1 kB] Get:17 http://ftpmaster.internal/ubuntu noble/main amd64 file amd64 1:5.45-2 [21.9 kB] Get:18 http://ftpmaster.internal/ubuntu noble/main amd64 gettext-base amd64 0.21-14ubuntu1 [38.3 kB] Get:19 http://ftpmaster.internal/ubuntu noble/main amd64 libuchardet0 amd64 0.0.8-1 [75.3 kB] Get:20 http://ftpmaster.internal/ubuntu noble/main amd64 groff-base amd64 1.23.0-3 [1023 kB] Get:21 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 libncurses6 amd64 6.4+20240113-1ubuntu1 [112 kB] Get:22 http://ftpmaster.internal/ubuntu noble/main amd64 libpipeline1 amd64 1.5.7-1 [23.3 kB] Get:23 http://ftpmaster.internal/ubuntu noble/main amd64 man-db amd64 2.12.0-3 [1230 kB] Get:24 http://ftpmaster.internal/ubuntu noble/main amd64 m4 amd64 1.4.19-4 [243 kB] Get:25 http://ftpmaster.internal/ubuntu noble/main amd64 autoconf all 2.71-3 [339 kB] Get:26 http://ftpmaster.internal/ubuntu noble/main amd64 autotools-dev all 20220109.1 [44.9 kB] Get:27 http://ftpmaster.internal/ubuntu noble/main amd64 automake all 1:1.16.5-1.3ubuntu1 [558 kB] Get:28 http://ftpmaster.internal/ubuntu noble/main amd64 autopoint all 0.21-14ubuntu1 [422 kB] Get:29 http://ftpmaster.internal/ubuntu noble/universe amd64 libcoq-stdlib amd64 8.18.0+dfsg-1 [35.2 MB] Get:30 http://ftpmaster.internal/ubuntu noble/universe amd64 libstdlib-ocaml amd64 4.14.1-1ubuntu1 [378 kB] Get:31 http://ftpmaster.internal/ubuntu noble/universe amd64 ocaml-base amd64 4.14.1-1ubuntu1 [256 kB] Get:32 http://ftpmaster.internal/ubuntu noble/universe amd64 libfindlib-ocaml amd64 1.9.6-1build3 [198 kB] Get:33 http://ftpmaster.internal/ubuntu noble/universe amd64 libzarith-ocaml amd64 1.13-2build3 [120 kB] Get:34 http://ftpmaster.internal/ubuntu noble/universe amd64 libcoq-core-ocaml amd64 8.18.0+dfsg-1 [34.1 MB] Get:35 http://ftpmaster.internal/ubuntu noble/universe amd64 libstdlib-ocaml-dev amd64 4.14.1-1ubuntu1 [8453 kB] Get:36 http://ftpmaster.internal/ubuntu noble/universe amd64 libcompiler-libs-ocaml-dev amd64 4.14.1-1ubuntu1 [38.4 MB] Get:37 http://ftpmaster.internal/ubuntu noble/universe amd64 ocaml-interp amd64 4.14.1-1ubuntu1 [7825 kB] Get:38 http://ftpmaster.internal/ubuntu noble-proposed/main amd64 libncurses-dev amd64 6.4+20240113-1ubuntu1 [384 kB] Get:39 http://ftpmaster.internal/ubuntu noble/universe amd64 ocaml amd64 4.14.1-1ubuntu1 [81.4 MB] Get:40 http://ftpmaster.internal/ubuntu noble/universe amd64 ocaml-findlib amd64 1.9.6-1build3 [554 kB] Get:41 http://ftpmaster.internal/ubuntu noble/universe amd64 coq amd64 8.18.0+dfsg-1 [119 MB] Get:42 http://ftpmaster.internal/ubuntu noble/main amd64 libdebhelper-perl all 13.13ubuntu1 [88.9 kB] Get:43 http://ftpmaster.internal/ubuntu noble/main amd64 libtool all 2.4.7-7 [166 kB] Get:44 http://ftpmaster.internal/ubuntu noble/main amd64 dh-autoreconf all 20 [16.1 kB] Get:45 http://ftpmaster.internal/ubuntu noble/main amd64 libarchive-zip-perl all 1.68-1 [90.2 kB] Get:46 http://ftpmaster.internal/ubuntu noble/main amd64 libsub-override-perl all 0.10-1 [10.0 kB] Get:47 http://ftpmaster.internal/ubuntu noble/main amd64 libfile-stripnondeterminism-perl all 1.13.1-1 [18.1 kB] Get:48 http://ftpmaster.internal/ubuntu noble/main amd64 dh-strip-nondeterminism all 1.13.1-1 [5362 B] Get:49 http://ftpmaster.internal/ubuntu noble/main amd64 libdw1 amd64 0.190-1 [260 kB] Get:50 http://ftpmaster.internal/ubuntu noble/main amd64 debugedit amd64 1:5.0-5 [46.1 kB] Get:51 http://ftpmaster.internal/ubuntu noble/main amd64 dwz amd64 0.15-1 [112 kB] Get:52 http://ftpmaster.internal/ubuntu noble/main amd64 gettext amd64 0.21-14ubuntu1 [864 kB] Get:53 http://ftpmaster.internal/ubuntu noble/main amd64 intltool-debian all 0.35.0+20060710.6 [23.2 kB] Get:54 http://ftpmaster.internal/ubuntu noble/main amd64 po-debconf all 1.0.21+nmu1 [233 kB] Get:55 http://ftpmaster.internal/ubuntu noble/main amd64 debhelper all 13.13ubuntu1 [868 kB] Get:56 http://ftpmaster.internal/ubuntu noble/universe amd64 dh-coq all 0.8 [6766 B] Get:57 http://ftpmaster.internal/ubuntu noble/universe amd64 libfindlib-ocaml-dev amd64 1.9.6-1build3 [178 kB] Get:58 http://ftpmaster.internal/ubuntu noble/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-2ubuntu4 [9956 B] Get:59 http://ftpmaster.internal/ubuntu noble/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-2ubuntu4 [342 kB] Get:60 http://ftpmaster.internal/ubuntu noble/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-2ubuntu4 [2306 B] Get:61 http://ftpmaster.internal/ubuntu noble/universe amd64 libzarith-ocaml-dev amd64 1.13-2build3 [114 kB] Get:62 http://ftpmaster.internal/ubuntu noble/universe amd64 libcoq-core-ocaml-dev amd64 8.18.0+dfsg-1 [65.4 MB] Get:63 http://ftpmaster.internal/ubuntu noble/universe amd64 libresult-ocaml amd64 1.5-4build1 [7354 B] Get:64 http://ftpmaster.internal/ubuntu noble/universe amd64 libsexplib0-ocaml amd64 0.16.0-3build2 [128 kB] Get:65 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 libppx-deriving-ocaml amd64 5.2.1-4build2 [4532 kB] Get:66 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 libelpi-ocaml amd64 1.17.4-3build1 [4843 kB] Get:67 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 libmenhir-ocaml-dev amd64 20231231+ds-1 [751 kB] Get:68 http://ftpmaster.internal/ubuntu noble/universe amd64 libocaml-compiler-libs-ocaml-dev amd64 0.12.4-4build2 [99.2 kB] Get:69 http://ftpmaster.internal/ubuntu noble/universe amd64 libppx-derivers-ocaml-dev amd64 1.2.1-4build2 [17.4 kB] Get:70 http://ftpmaster.internal/ubuntu noble/universe amd64 libsexplib0-ocaml-dev amd64 0.16.0-3build2 [282 kB] Get:71 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 libppxlib-ocaml-dev amd64 0.32.0-1 [19.4 MB] Get:72 http://ftpmaster.internal/ubuntu noble/universe amd64 libresult-ocaml-dev amd64 1.5-4build1 [11.2 kB] Get:73 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 libppx-deriving-ocaml-dev amd64 5.2.1-4build2 [940 kB] Get:74 http://ftpmaster.internal/ubuntu noble/universe amd64 libre-ocaml-dev amd64 1.11.0-1build2 [1080 kB] Get:75 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 libelpi-ocaml-dev amd64 1.17.4-3build1 [11.4 MB] Get:76 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 libcoq-elpi amd64 1.19.3-2build1 [3179 kB] Get:77 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 libcoq-hierarchy-builder amd64 1.6.0-1build2 [268 kB] Get:78 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 libcoq-mathcomp-ssreflect amd64 2.1.0-1build2 [6619 kB] Get:79 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 libcoq-mathcomp-fingroup amd64 2.1.0-1build2 [2233 kB] Get:80 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 libcoq-mathcomp-algebra amd64 2.1.0-1build2 [10.3 MB] Get:81 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 libcoq-mathcomp-bigenough amd64 1.0.1-12build2 [27.3 kB] Get:82 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 libcoq-mathcomp-finmap amd64 2.0.0-2build2 [730 kB] Get:83 http://ftpmaster.internal/ubuntu noble-proposed/universe amd64 ocaml-dune amd64 3.14.0-1 [5014 kB] Get:84 http://ftpmaster.internal/ubuntu noble/universe amd64 dh-ocaml all 2.0 [75.7 kB] Preconfiguring packages ... Fetched 490 MB in 3s (151 MB/s) Selecting previously unselected package libpython3.12-minimal:amd64. (Reading database ... 15816 files and directories currently installed.) Preparing to unpack .../libpython3.12-minimal_3.12.2-1_amd64.deb ... Unpacking libpython3.12-minimal:amd64 (3.12.2-1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.6.0-1_amd64.deb ... Unpacking libexpat1:amd64 (2.6.0-1) ... Selecting previously unselected package python3.12-minimal. Preparing to unpack .../python3.12-minimal_3.12.2-1_amd64.deb ... Unpacking python3.12-minimal (3.12.2-1) ... Setting up libpython3.12-minimal:amd64 (3.12.2-1) ... Setting up libexpat1:amd64 (2.6.0-1) ... Setting up python3.12-minimal (3.12.2-1) ... Selecting previously unselected package python3-minimal. (Reading database ... 16134 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.12.1-0ubuntu1_amd64.deb ... Unpacking python3-minimal (3.12.1-0ubuntu1) ... 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:amd64. Preparing to unpack .../3-libpython3.12-stdlib_3.12.2-1_amd64.deb ... Unpacking libpython3.12-stdlib:amd64 (3.12.2-1) ... Selecting previously unselected package python3.12. Preparing to unpack .../4-python3.12_3.12.2-1_amd64.deb ... Unpacking python3.12 (3.12.2-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../5-libpython3-stdlib_3.12.1-0ubuntu1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.12.1-0ubuntu1) ... Setting up python3-minimal (3.12.1-0ubuntu1) ... Selecting previously unselected package python3. (Reading database ... 16576 files and directories currently installed.) Preparing to unpack .../00-python3_3.12.1-0ubuntu1_amd64.deb ... Unpacking python3 (3.12.1-0ubuntu1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../01-libelf1_0.190-1_amd64.deb ... Unpacking libelf1:amd64 (0.190-1) ... Selecting previously unselected package libicu74:amd64. Preparing to unpack .../02-libicu74_74.2-1ubuntu1_amd64.deb ... Unpacking libicu74:amd64 (74.2-1ubuntu1) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../03-libxml2_2.9.14+dfsg-1.3ubuntu1_amd64.deb ... Unpacking libxml2:amd64 (2.9.14+dfsg-1.3ubuntu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../04-libmagic-mgc_1%3a5.45-2_amd64.deb ... Unpacking libmagic-mgc (1:5.45-2) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../05-libmagic1_1%3a5.45-2_amd64.deb ... Unpacking libmagic1:amd64 (1:5.45-2) ... Selecting previously unselected package file. Preparing to unpack .../06-file_1%3a5.45-2_amd64.deb ... Unpacking file (1:5.45-2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../07-gettext-base_0.21-14ubuntu1_amd64.deb ... Unpacking gettext-base (0.21-14ubuntu1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../08-libuchardet0_0.0.8-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../09-groff-base_1.23.0-3_amd64.deb ... Unpacking groff-base (1.23.0-3) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../10-libncurses6_6.4+20240113-1ubuntu1_amd64.deb ... Unpacking libncurses6:amd64 (6.4+20240113-1ubuntu1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../11-libpipeline1_1.5.7-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../12-man-db_2.12.0-3_amd64.deb ... Unpacking man-db (2.12.0-3) ... Selecting previously unselected package m4. Preparing to unpack .../13-m4_1.4.19-4_amd64.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-1_amd64.deb ... Unpacking libcoq-stdlib (8.18.0+dfsg-1) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../19-libstdlib-ocaml_4.14.1-1ubuntu1_amd64.deb ... Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../20-ocaml-base_4.14.1-1ubuntu1_amd64.deb ... Unpacking ocaml-base (4.14.1-1ubuntu1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../21-libfindlib-ocaml_1.9.6-1build3_amd64.deb ... Unpacking libfindlib-ocaml (1.9.6-1build3) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../22-libzarith-ocaml_1.13-2build3_amd64.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-1_amd64.deb ... Unpacking libcoq-core-ocaml (8.18.0+dfsg-1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../24-libstdlib-ocaml-dev_4.14.1-1ubuntu1_amd64.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_amd64.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_amd64.deb ... Unpacking ocaml-interp (4.14.1-1ubuntu1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../27-libncurses-dev_6.4+20240113-1ubuntu1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4+20240113-1ubuntu1) ... Selecting previously unselected package ocaml. Preparing to unpack .../28-ocaml_4.14.1-1ubuntu1_amd64.deb ... Unpacking ocaml (4.14.1-1ubuntu1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../29-ocaml-findlib_1.9.6-1build3_amd64.deb ... Unpacking ocaml-findlib (1.9.6-1build3) ... Selecting previously unselected package coq. Preparing to unpack .../30-coq_8.18.0+dfsg-1_amd64.deb ... Unpacking coq (8.18.0+dfsg-1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../31-libdebhelper-perl_13.13ubuntu1_all.deb ... Unpacking libdebhelper-perl (13.13ubuntu1) ... 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 libdw1:amd64. Preparing to unpack .../38-libdw1_0.190-1_amd64.deb ... Unpacking libdw1:amd64 (0.190-1) ... Selecting previously unselected package debugedit. Preparing to unpack .../39-debugedit_1%3a5.0-5_amd64.deb ... Unpacking debugedit (1:5.0-5) ... Selecting previously unselected package dwz. Preparing to unpack .../40-dwz_0.15-1_amd64.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package gettext. Preparing to unpack .../41-gettext_0.21-14ubuntu1_amd64.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.13ubuntu1_all.deb ... Unpacking debhelper (13.13ubuntu1) ... 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_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-1build3) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../47-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu4_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu4) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../48-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu4_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu4) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../49-libgmp3-dev_2%3a6.3.0+dfsg-2ubuntu4_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-2ubuntu4) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../50-libzarith-ocaml-dev_1.13-2build3_amd64.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-1_amd64.deb ... Unpacking libcoq-core-ocaml-dev (8.18.0+dfsg-1) ... Selecting previously unselected package libresult-ocaml. Preparing to unpack .../52-libresult-ocaml_1.5-4build1_amd64.deb ... Unpacking libresult-ocaml (1.5-4build1) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../53-libsexplib0-ocaml_0.16.0-3build2_amd64.deb ... Unpacking libsexplib0-ocaml (0.16.0-3build2) ... Selecting previously unselected package libppx-deriving-ocaml. Preparing to unpack .../54-libppx-deriving-ocaml_5.2.1-4build2_amd64.deb ... Unpacking libppx-deriving-ocaml (5.2.1-4build2) ... Selecting previously unselected package libelpi-ocaml. Preparing to unpack .../55-libelpi-ocaml_1.17.4-3build1_amd64.deb ... Unpacking libelpi-ocaml (1.17.4-3build1) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../56-libmenhir-ocaml-dev_20231231+ds-1_amd64.deb ... Unpacking libmenhir-ocaml-dev (20231231+ds-1) ... Selecting previously unselected package libocaml-compiler-libs-ocaml-dev. Preparing to unpack .../57-libocaml-compiler-libs-ocaml-dev_0.12.4-4build2_amd64.deb ... Unpacking libocaml-compiler-libs-ocaml-dev (0.12.4-4build2) ... Selecting previously unselected package libppx-derivers-ocaml-dev. Preparing to unpack .../58-libppx-derivers-ocaml-dev_1.2.1-4build2_amd64.deb ... Unpacking libppx-derivers-ocaml-dev (1.2.1-4build2) ... Selecting previously unselected package libsexplib0-ocaml-dev. Preparing to unpack .../59-libsexplib0-ocaml-dev_0.16.0-3build2_amd64.deb ... Unpacking libsexplib0-ocaml-dev (0.16.0-3build2) ... Selecting previously unselected package libppxlib-ocaml-dev. Preparing to unpack .../60-libppxlib-ocaml-dev_0.32.0-1_amd64.deb ... Unpacking libppxlib-ocaml-dev (0.32.0-1) ... Selecting previously unselected package libresult-ocaml-dev. Preparing to unpack .../61-libresult-ocaml-dev_1.5-4build1_amd64.deb ... Unpacking libresult-ocaml-dev (1.5-4build1) ... Selecting previously unselected package libppx-deriving-ocaml-dev. Preparing to unpack .../62-libppx-deriving-ocaml-dev_5.2.1-4build2_amd64.deb ... Unpacking libppx-deriving-ocaml-dev (5.2.1-4build2) ... Selecting previously unselected package libre-ocaml-dev. Preparing to unpack .../63-libre-ocaml-dev_1.11.0-1build2_amd64.deb ... Unpacking libre-ocaml-dev (1.11.0-1build2) ... Selecting previously unselected package libelpi-ocaml-dev. Preparing to unpack .../64-libelpi-ocaml-dev_1.17.4-3build1_amd64.deb ... Unpacking libelpi-ocaml-dev (1.17.4-3build1) ... Selecting previously unselected package libcoq-elpi. Preparing to unpack .../65-libcoq-elpi_1.19.3-2build1_amd64.deb ... Unpacking libcoq-elpi (1.19.3-2build1) ... Selecting previously unselected package libcoq-hierarchy-builder. Preparing to unpack .../66-libcoq-hierarchy-builder_1.6.0-1build2_amd64.deb ... Unpacking libcoq-hierarchy-builder (1.6.0-1build2) ... Selecting previously unselected package libcoq-mathcomp-ssreflect. Preparing to unpack .../67-libcoq-mathcomp-ssreflect_2.1.0-1build2_amd64.deb ... Unpacking libcoq-mathcomp-ssreflect (2.1.0-1build2) ... Selecting previously unselected package libcoq-mathcomp-fingroup. Preparing to unpack .../68-libcoq-mathcomp-fingroup_2.1.0-1build2_amd64.deb ... Unpacking libcoq-mathcomp-fingroup (2.1.0-1build2) ... Selecting previously unselected package libcoq-mathcomp-algebra. Preparing to unpack .../69-libcoq-mathcomp-algebra_2.1.0-1build2_amd64.deb ... Unpacking libcoq-mathcomp-algebra (2.1.0-1build2) ... Selecting previously unselected package libcoq-mathcomp-bigenough. Preparing to unpack .../70-libcoq-mathcomp-bigenough_1.0.1-12build2_amd64.deb ... Unpacking libcoq-mathcomp-bigenough (1.0.1-12build2) ... Selecting previously unselected package libcoq-mathcomp-finmap. Preparing to unpack .../71-libcoq-mathcomp-finmap_2.0.0-2build2_amd64.deb ... Unpacking libcoq-mathcomp-finmap (2.0.0-2build2) ... Selecting previously unselected package ocaml-dune. Preparing to unpack .../72-ocaml-dune_3.14.0-1_amd64.deb ... Unpacking ocaml-dune (3.14.0-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../73-dh-ocaml_2.0_all.deb ... Unpacking dh-ocaml (2.0) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../74-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (10.1.0) ... Setting up libpipeline1:amd64 (1.5.7-1) ... Setting up libmagic-mgc (1:5.45-2) ... Setting up dh-coq (0.8) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.13ubuntu1) ... Setting up dh-ocaml (2.0) ... Setting up libmagic1:amd64 (1:5.45-2) ... Setting up gettext-base (0.21-14ubuntu1) ... Setting up m4 (1.4.19-4) ... Setting up file (1:5.45-2) ... Setting up ocaml-dune (3.14.0-1) ... Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.18.0+dfsg-1) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu4) ... Setting up libncurses6:amd64 (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:amd64 (74.2-1ubuntu1) ... Setting up libsexplib0-ocaml (0.16.0-3build2) ... Setting up libuchardet0:amd64 (0.0.8-1) ... Setting up libsub-override-perl (0.10-1) ... Setting up netbase (6.4) ... Setting up libresult-ocaml (1.5-4build1) ... Setting up libelf1:amd64 (0.190-1) ... Setting up libxml2:amd64 (2.9.14+dfsg-1.3ubuntu1) ... 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 libppx-deriving-ocaml (5.2.1-4build2) ... Setting up libdw1:amd64 (0.190-1) ... Setting up libncurses-dev:amd64 (6.4+20240113-1ubuntu1) ... Setting up gettext (0.21-14ubuntu1) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu4) ... Setting up libpython3.12-stdlib:amd64 (3.12.2-1) ... Setting up libtool (2.4.7-7) ... Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... Setting up python3.12 (3.12.2-1) ... 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 libelpi-ocaml (1.17.4-3build1) ... Setting up dwz (0.15-1) ... Setting up libcoq-core-ocaml (8.18.0+dfsg-1) ... Setting up groff-base (1.23.0-3) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-2ubuntu4) ... Setting up debugedit (1:5.0-5) ... Setting up libpython3-stdlib:amd64 (3.12.1-0ubuntu1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up python3 (3.12.1-0ubuntu1) ... Setting up ocaml (4.14.1-1ubuntu1) ... Setting up man-db (2.12.0-3) ... 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 libre-ocaml-dev (1.11.0-1build2) ... Setting up libmenhir-ocaml-dev (20231231+ds-1) ... Setting up libocaml-compiler-libs-ocaml-dev (0.12.4-4build2) ... Setting up libfindlib-ocaml-dev (1.9.6-1build3) ... Setting up libsexplib0-ocaml-dev (0.16.0-3build2) ... Setting up coq (8.18.0+dfsg-1) ... Setting up libresult-ocaml-dev (1.5-4build1) ... Setting up libzarith-ocaml-dev (1.13-2build3) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4build2) ... Setting up libppxlib-ocaml-dev (0.32.0-1) ... Setting up debhelper (13.13ubuntu1) ... Setting up libcoq-core-ocaml-dev (8.18.0+dfsg-1) ... Setting up libppx-deriving-ocaml-dev (5.2.1-4build2) ... Setting up libelpi-ocaml-dev (1.17.4-3build1) ... Setting up libcoq-elpi (1.19.3-2build1) ... Setting up libcoq-hierarchy-builder (1.6.0-1build2) ... Setting up libcoq-mathcomp-ssreflect (2.1.0-1build2) ... Setting up libcoq-mathcomp-bigenough (1.0.1-12build2) ... Setting up libcoq-mathcomp-fingroup (2.1.0-1build2) ... Setting up libcoq-mathcomp-algebra (2.1.0-1build2) ... Setting up libcoq-mathcomp-finmap (2.0.0-2build2) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for systemd (255.2-3ubuntu2) ... Processing triggers for libc-bin (2.39-0ubuntu1) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 5.4.0-171-generic #189-Ubuntu SMP Fri Jan 5 14:23:02 UTC 2024 amd64 (x86_64) Toolchain package versions: binutils_2.42-2ubuntu1 dpkg-dev_1.22.4ubuntu3 g++-13_13.2.0-13ubuntu1 gcc-13_13.2.0-13ubuntu1 libc6-dev_2.39-0ubuntu1 libstdc++-13-dev_13.2.0-13ubuntu1 libstdc++6_14-20240201-3ubuntu1 linux-libc-dev_6.8.0-11.11 Package versions: adduser_3.137ubuntu1 advancecomp_2.5-1 apt_2.7.11 apt-utils_2.7.11 autoconf_2.71-3 automake_1:1.16.5-1.3ubuntu1 autopoint_0.21-14ubuntu1 autotools-dev_20220109.1 base-files_13ubuntu6 base-passwd_3.6.3 bash_5.2.21-2ubuntu1 bash-completion_1:2.11-8 binutils_2.42-2ubuntu1 binutils-common_2.42-2ubuntu1 binutils-x86-64-linux-gnu_2.42-2ubuntu1 bsdextrautils_2.39.2-6ubuntu1 bsdutils_1:2.39.2-6ubuntu1 build-essential_12.10ubuntu1 bzip2_1.0.8-5build1 ca-certificates_20240203 coq_8.18.0+dfsg-1 coreutils_9.4-2ubuntu3 cpp_4:13.2.0-7ubuntu1 cpp-13_13.2.0-13ubuntu1 cpp-13-x86-64-linux-gnu_13.2.0-13ubuntu1 cpp-x86-64-linux-gnu_4:13.2.0-7ubuntu1 dash_0.5.12-6ubuntu1 debconf_1.5.86 debconf-i18n_1.5.86 debhelper_13.13ubuntu1 debianutils_5.16 debugedit_1:5.0-5 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.4ubuntu3 dpkg-dev_1.22.4ubuntu3 dwz_0.15-1 e2fsprogs_1.47.0-2ubuntu1 fakeroot_1.33-1 file_1:5.45-2 findutils_4.9.0-5 g++_4:13.2.0-7ubuntu1 g++-13_13.2.0-13ubuntu1 g++-13-x86-64-linux-gnu_13.2.0-13ubuntu1 g++-x86-64-linux-gnu_4:13.2.0-7ubuntu1 gcc_4:13.2.0-7ubuntu1 gcc-13_13.2.0-13ubuntu1 gcc-13-base_13.2.0-13ubuntu1 gcc-13-x86-64-linux-gnu_13.2.0-13ubuntu1 gcc-14-base_14-20240201-3ubuntu1 gcc-x86-64-linux-gnu_4:13.2.0-7ubuntu1 gettext_0.21-14ubuntu1 gettext-base_0.21-14ubuntu1 gpg_2.4.4-2ubuntu3 gpg-agent_2.4.4-2ubuntu3 gpgconf_2.4.4-2ubuntu3 gpgv_2.4.4-2ubuntu3 grep_3.11-4 groff-base_1.23.0-3 gzip_1.12-1ubuntu1 hostname_3.23+nmu1ubuntu1 init_1.66ubuntu1 init-system-helpers_1.66ubuntu1 intltool-debian_0.35.0+20060710.6 krb5-locales_1.20.1-5build1 libacl1_2.3.1-4ubuntu1 libapparmor1_4.0.0~alpha4-0ubuntu1 libapt-pkg6.0_2.7.11 libarchive-zip-perl_1.68-1 libargon2-1_0~20190702+dfsg-4 libasan8_14-20240201-3ubuntu1 libassuan0_2.5.6-1 libatomic1_14-20240201-3ubuntu1 libattr1_1:2.5.2-1 libaudit-common_1:3.1.2-2 libaudit1_1:3.1.2-2 libbinutils_2.42-2ubuntu1 libblkid1_2.39.2-6ubuntu1 libbz2-1.0_1.0.8-5build1 libc-bin_2.39-0ubuntu1 libc-dev-bin_2.39-0ubuntu1 libc6_2.39-0ubuntu1 libc6-dev_2.39-0ubuntu1 libcap-ng0_0.8.4-2 libcap2_1:2.66-4ubuntu1 libcc1-0_14-20240201-3ubuntu1 libcom-err2_1.47.0-2ubuntu1 libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1 libcoq-core-ocaml_8.18.0+dfsg-1 libcoq-core-ocaml-dev_8.18.0+dfsg-1 libcoq-elpi_1.19.3-2build1 libcoq-hierarchy-builder_1.6.0-1build2 libcoq-mathcomp-algebra_2.1.0-1build2 libcoq-mathcomp-bigenough_1.0.1-12build2 libcoq-mathcomp-fingroup_2.1.0-1build2 libcoq-mathcomp-finmap_2.0.0-2build2 libcoq-mathcomp-ssreflect_2.1.0-1build2 libcoq-stdlib_8.18.0+dfsg-1 libcrypt-dev_1:4.4.36-4 libcrypt1_1:4.4.36-4 libcryptsetup12_2:2.6.1-6ubuntu1 libctf-nobfd0_2.42-2ubuntu1 libctf0_2.42-2ubuntu1 libdb5.3_5.3.28+dfsg2-4 libdebconfclient0_0.271ubuntu1 libdebhelper-perl_13.13ubuntu1 libdevmapper1.02.1_2:1.02.185-2ubuntu1 libdpkg-perl_1.22.4ubuntu3 libdw1_0.190-1 libelf1_0.190-1 libelpi-ocaml_1.17.4-3build1 libelpi-ocaml-dev_1.17.4-3build1 libexpat1_2.6.0-1 libext2fs2_1.47.0-2ubuntu1 libfakeroot_1.33-1 libfdisk1_2.39.2-6ubuntu1 libffi8_3.4.4-2 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-13ubuntu1 libgcc-s1_14-20240201-3ubuntu1 libgcrypt20_1.10.3-2 libgdbm-compat4_1.23-5 libgdbm6_1.23-5 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 libgnutls30_3.8.3-1ubuntu1 libgomp1_14-20240201-3ubuntu1 libgpg-error-l10n_1.47-3build1 libgpg-error0_1.47-3build1 libgpm2_1.20.7-10build1 libgprofng0_2.42-2ubuntu1 libgssapi-krb5-2_1.20.1-5build1 libhogweed6_3.9.1-2 libhwasan0_14-20240201-3ubuntu1 libicu74_74.2-1ubuntu1 libidn2-0_2.3.7-2 libip4tc2_1.8.10-3ubuntu1 libisl23_0.26-3 libitm1_14-20240201-3ubuntu1 libjansson4_2.14-2 libjson-c5_0.17-1 libk5crypto3_1.20.1-5build1 libkeyutils1_1.6.3-3 libkmod2_30+20230601-2ubuntu1 libkrb5-3_1.20.1-5build1 libkrb5support0_1.20.1-5build1 liblocale-gettext-perl_1.07-6build1 liblockfile-bin_1.17-1build2 liblockfile1_1.17-1build2 liblsan0_14-20240201-3ubuntu1 liblz4-1_1.9.4-1 liblzma5_5.4.5-0.3 libmagic-mgc_1:5.45-2 libmagic1_1:5.45-2 libmd0_1.1.0-2 libmenhir-ocaml-dev_20231231+ds-1 libmount1_2.39.2-6ubuntu1 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 libnettle8_3.9.1-2 libnpth0_1.6-3build2 libnsl-dev_1.3.0-3 libnsl2_1.3.0-3 libnss-nis_3.1-0ubuntu6 libnss-nisplus_1.3-0ubuntu6 libocaml-compiler-libs-ocaml-dev_0.12.4-4build2 libp11-kit0_0.25.3-4ubuntu1 libpam-modules_1.5.2-9.1ubuntu2 libpam-modules-bin_1.5.2-9.1ubuntu2 libpam-runtime_1.5.2-9.1ubuntu2 libpam0g_1.5.2-9.1ubuntu2 libpcre2-8-0_10.42-4ubuntu1 libperl5.36_5.36.0-10ubuntu1 libperl5.38_5.38.2-3 libpipeline1_1.5.7-1 libpng16-16_1.6.42-1 libppx-derivers-ocaml-dev_1.2.1-4build2 libppx-deriving-ocaml_5.2.1-4build2 libppx-deriving-ocaml-dev_5.2.1-4build2 libppxlib-ocaml-dev_0.32.0-1 libproc2-0_2:4.0.4-2ubuntu1 libpython3-stdlib_3.12.1-0ubuntu1 libpython3.12-minimal_3.12.2-1 libpython3.12-stdlib_3.12.2-1 libquadmath0_14-20240201-3ubuntu1 libre-ocaml-dev_1.11.0-1build2 libreadline8_8.2-3 libresult-ocaml_1.5-4build1 libresult-ocaml-dev_1.5-4build1 libseccomp2_2.5.5-1ubuntu1 libselinux1_3.5-2build1 libsemanage-common_3.5-1build2 libsemanage2_3.5-1build2 libsepol2_3.5-2 libsexplib0-ocaml_0.16.0-3build2 libsexplib0-ocaml-dev_0.16.0-3build2 libsframe1_2.42-2ubuntu1 libsmartcols1_2.39.2-6ubuntu1 libsqlite3-0_3.45.1-1 libss2_1.47.0-2ubuntu1 libssl3_3.0.10-1ubuntu4 libstdc++-13-dev_13.2.0-13ubuntu1 libstdc++6_14-20240201-3ubuntu1 libstdlib-ocaml_4.14.1-1ubuntu1 libstdlib-ocaml-dev_4.14.1-1ubuntu1 libsub-override-perl_0.10-1 libsystemd-shared_255.2-3ubuntu2 libsystemd0_255.2-3ubuntu2 libtasn1-6_4.19.0-3 libtext-charwidth-perl_0.04-11build1 libtext-iconv-perl_1.7-8build1 libtext-wrapi18n-perl_0.06-10 libtinfo6_6.4+20240113-1ubuntu1 libtirpc-common_1.3.4+ds-1build1 libtirpc-dev_1.3.4+ds-1build1 libtirpc3_1.3.4+ds-1build1 libtool_2.4.7-7 libtsan2_14-20240201-3ubuntu1 libubsan1_14-20240201-3ubuntu1 libuchardet0_0.0.8-1 libudev1_255.2-3ubuntu2 libunistring2_1.0-2 libunistring5_1.1-2 libuuid1_2.39.2-6ubuntu1 libxml2_2.9.14+dfsg-1.3ubuntu1 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-11.11 lockfile-progs_0.1.19build1 login_1:4.13+dfsg1-3ubuntu1 logsave_1.47.0-2ubuntu1 lto-disabled-list_46 m4_1.4.19-4 make_4.3-4.1build1 man-db_2.12.0-3 mawk_1.3.4.20240123-1 media-types_10.1.0 mount_2.39.2-6ubuntu1 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-dune_3.14.0-1 ocaml-findlib_1.9.6-1build3 ocaml-interp_4.14.1-1ubuntu1 openssl_3.0.10-1ubuntu4 optipng_0.7.8+ds-1 passwd_1:4.13+dfsg1-3ubuntu1 patch_2.7.6-7build2 perl_5.38.2-3 perl-base_5.38.2-3 perl-modules-5.36_5.36.0-10ubuntu1 perl-modules-5.38_5.38.2-3 pinentry-curses_1.2.1-3ubuntu1 pkgbinarymangler_154 po-debconf_1.0.21+nmu1 policyrcd-script-zg2_0.1-3.1 procps_2:4.0.4-2ubuntu1 psmisc_23.6-2 python3_3.12.1-0ubuntu1 python3-minimal_3.12.1-0ubuntu1 python3.12_3.12.2-1 python3.12-minimal_3.12.2-1 readline-common_8.2-3 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.2-3ubuntu2 systemd-dev_255.2-3ubuntu2 systemd-sysv_255.2-3ubuntu2 sysvinit-utils_3.08-3ubuntu1 tar_1.35+dfsg-3 tzdata_2024a-1ubuntu1 ubuntu-keyring_2023.11.28.1 usrmerge_35ubuntu1 util-linux_2.39.2-6ubuntu1 uuid-runtime_2.39.2-6ubuntu1 xz-utils_5.4.5-0.3 zlib1g_1:1.3.dfsg-3ubuntu1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: mathcomp-multinomials Binary: libcoq-mathcomp-multinomials Architecture: any Version: 2.2.0-1build2 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/math-comp/multinomials Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-multinomials Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-multinomials.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, libcoq-mathcomp-ssreflect, ocaml-dune Package-List: libcoq-mathcomp-multinomials deb ocaml optional arch=any Checksums-Sha1: 011476804b08b0380b0b47608f480d8c4bcb6a8d 81190 mathcomp-multinomials_2.2.0.orig.tar.gz 2eb6ef0222c0933b17e72ed9d2d0a93713df6f6e 8976 mathcomp-multinomials_2.2.0-1build2.debian.tar.xz Checksums-Sha256: d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz 7147917040db3832f461cb1f2d731d2cfa025fddbecaa6fd613e75d57ba68957 8976 mathcomp-multinomials_2.2.0-1build2.debian.tar.xz Files: ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz eb8ed12ce0b85fb76dab0330250e6223 8976 mathcomp-multinomials_2.2.0-1build2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/U0ACgkQ808JdE6f XdmEFxAApUjm8fGp1uv95dKcrBqy9lqo7HNmFPcnEBtvvtb96bxE2aDBRJunSvlC Ol+FfedTqsNLZ4CB/uXMumvyWUPQTsJYkSBWa5dzzWc8wCEwVE4LkphFuEtP1tRV fyxPs5KrxwNxJe7NQneGlDdy+AP/9o0d0UdNYiI/bBz7DUYNFEWe2FR30DNJjwzl 8SfaxrnXudNWRcvjsJjuZTOBc7qvy/kFniLb3sOGp20qNisN1PzFhV9T3zAL8p9/ 2VsAAzNPwgHoTtwny0iMwx1pK0xlbtIdPsG+BOM6Yp0wIs0joLpVwqkrPoofktwz e0ob/Sb4HkO4SuKkB5NwjwmtIkLzB/vsbvB9LUweJZ3LL1vvB/A3xP5vnPTtd4AO lID5NWT0O32zrkK/psu1vegqdYXPQvDP6vfeRRrs1ykoxHaISaovAASoDVXI+IcC p4TkaDJDZQkuNYrxbGrLCbRWnJPfTL1D+heUOMHkn8DUUOpd2RhcIkwPkO8RARgz HOSC/EKAa925nOqLfVSGh4w7uyZvP0TwQ5JgW539i6fX9s3Cu3V84Togge2mUv6R VdculVCAmGFp0rcLIqP7zuxZP9PbZINYgoBPLbuWEn5KTiQ/k4fhG0p01CbchBMD l/6Cx/QEedlNhIZ19LeC609RgzZZHVau7+FsQBnqexb//ymYArQ= =4ajM -----END PGP SIGNATURE----- gpgv: Signature made Sat Feb 17 00:26:53 2024 UTC gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./mathcomp-multinomials_2.2.0-1build2.dsc: no acceptable signature found dpkg-source: info: extracting mathcomp-multinomials in /<> dpkg-source: info: unpacking mathcomp-multinomials_2.2.0.orig.tar.gz dpkg-source: info: unpacking mathcomp-multinomials_2.2.0-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-27784932 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-27784932 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-27784932 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 mathcomp-multinomials dpkg-buildpackage: info: source version 2.2.0-1build2 dpkg-buildpackage: info: source distribution noble dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with coq,ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' dune clean make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules binary dh binary --with coq,ocaml dh_update_autotools_config dh_autoreconf dh_ocamlinit dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory '/<>' dune build File "./src/mpoly.v", line 3732, characters 0-4: Warning: card_mesymlmnm 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 "./src/mpoly.v", line 3735, characters 48-52: Warning: mesymlmE 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 "./src/mpoly.v", line 3765, characters 0-4: Warning: mesymlm_max 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 "./src/mpoly.v", line 4030, characters 0-4: Warning: XE 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 "./src/mpoly.v", line 4105, characters 59-63: Warning: inj_widen 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 "./src/mpoly.v", line 4116, characters 0-4: Warning: inj_swiden 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 "./src/mpoly.v", line 4129, characters 0-4: Warning: inj_mDswiden 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 "./src/mpoly.v", line 4139, characters 0-4: Warning: disjoint_S 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 "./src/mpoly.v", line 4158, characters 0-4: Warning: union_S 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 "./src/mpoly.v", line 4285, characters 0-4: Warning: mlead_XS 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 "./src/mpoly.v", line 4298, characters 0-4: Warning: mleadc_XS 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 "./src/mpoly.v", line 4319, characters 0-4: Warning: free_XS 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 "./src/mpoly.v", line 4345, characters 0-4: Warning: mlead_XLS 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 "./src/mpoly.v", line 4364, characters 0-4: Warning: mweight_XLS 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[1]: Leaving directory '/<>' dh_auto_test create-stamp debian/debhelper-build-stamp dh_prep debian/rules override_dh_auto_install make[1]: Entering directory '/<>' dune install --destdir /<>/debian/tmp --prefix=/usr --libdir=/usr/lib/ocaml find /<>/debian/tmp -name LICENSE -delete make[1]: Leaving directory '/<>' dh_install dh_ocamldoc dh_installdocs dh_installchangelogs dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb dh_coq dh_ocaml dh_gencontrol dh_md5sums dh_builddeb INFO: pkgstriptranslations version 154 pkgstriptranslations: processing libcoq-mathcomp-multinomials (in debian/libcoq-mathcomp-multinomials); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libcoq-mathcomp-multinomials/DEBIAN/control, package libcoq-mathcomp-multinomials, directory debian/libcoq-mathcomp-multinomials pkgstripfiles: Truncating usr/share/doc/libcoq-mathcomp-multinomials/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package libcoq-mathcomp-multinomials ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libcoq-mathcomp-multinomials' in '../libcoq-mathcomp-multinomials_2.2.0-1build2_amd64.deb'. dpkg-genbuildinfo --build=binary -O../mathcomp-multinomials_2.2.0-1build2_amd64.buildinfo dpkg-genchanges --build=binary -mLaunchpad Build Daemon -O../mathcomp-multinomials_2.2.0-1build2_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 2024-02-17T16:24:57Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ mathcomp-multinomials_2.2.0-1build2_amd64.changes: -------------------------------------------------- Format: 1.8 Date: Sat, 17 Feb 2024 01:26:52 +0100 Source: mathcomp-multinomials Binary: libcoq-mathcomp-multinomials Built-For-Profiles: noudeb Architecture: amd64 Version: 2.2.0-1build2 Distribution: noble-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna Description: libcoq-mathcomp-multinomials - Multivariate polynomials for Mathematical Components Changes: mathcomp-multinomials (2.2.0-1build2) noble; urgency=medium . * Rebuild against new OCAML ABIs. Checksums-Sha1: 9b3977af12eb582b413cf578c9ff5ffec51fce67 1629438 libcoq-mathcomp-multinomials_2.2.0-1build2_amd64.deb 9cecc15476efe990d5949c5565915741d788cf2c 8006 mathcomp-multinomials_2.2.0-1build2_amd64.buildinfo Checksums-Sha256: 0d7d81deddc8aa35d721c4f1f2c6ec76a9f752e89c2332eb5cf062155d0bea9d 1629438 libcoq-mathcomp-multinomials_2.2.0-1build2_amd64.deb c53bf5987d15fafad6e7e99133f9dd00b6851d9d1a144d45458816b85161a29e 8006 mathcomp-multinomials_2.2.0-1build2_amd64.buildinfo Files: 3f781b06cd5db9db959c32db0633059d 1629438 ocaml optional libcoq-mathcomp-multinomials_2.2.0-1build2_amd64.deb b68ba8ebb022b682230149fc100617cf 8006 ocaml optional mathcomp-multinomials_2.2.0-1build2_amd64.buildinfo /<>/mathcomp-multinomials_2.2.0-1build2_amd64.changes.new could not be renamed to /<>/mathcomp-multinomials_2.2.0-1build2_amd64.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: mathcomp-multinomials Binary: libcoq-mathcomp-multinomials Architecture: amd64 Version: 2.2.0-1build2 Checksums-Md5: 3f781b06cd5db9db959c32db0633059d 1629438 libcoq-mathcomp-multinomials_2.2.0-1build2_amd64.deb Checksums-Sha1: 9b3977af12eb582b413cf578c9ff5ffec51fce67 1629438 libcoq-mathcomp-multinomials_2.2.0-1build2_amd64.deb Checksums-Sha256: 0d7d81deddc8aa35d721c4f1f2c6ec76a9f752e89c2332eb5cf062155d0bea9d 1629438 libcoq-mathcomp-multinomials_2.2.0-1build2_amd64.deb Build-Origin: Ubuntu Build-Architecture: amd64 Build-Date: Sat, 17 Feb 2024 16:24:57 +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 (= 13ubuntu6), base-passwd (= 3.6.3), bash (= 5.2.21-2ubuntu1), binutils (= 2.42-2ubuntu1), binutils-common (= 2.42-2ubuntu1), binutils-x86-64-linux-gnu (= 2.42-2ubuntu1), bsdextrautils (= 2.39.2-6ubuntu1), bsdutils (= 1:2.39.2-6ubuntu1), build-essential (= 12.10ubuntu1), bzip2 (= 1.0.8-5build1), coq (= 8.18.0+dfsg-1), coreutils (= 9.4-2ubuntu3), cpp (= 4:13.2.0-7ubuntu1), cpp-13 (= 13.2.0-13ubuntu1), cpp-13-x86-64-linux-gnu (= 13.2.0-13ubuntu1), cpp-x86-64-linux-gnu (= 4:13.2.0-7ubuntu1), dash (= 0.5.12-6ubuntu1), debconf (= 1.5.86), debhelper (= 13.13ubuntu1), debianutils (= 5.16), debugedit (= 1:5.0-5), 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.4ubuntu3), dpkg-dev (= 1.22.4ubuntu3), dwz (= 0.15-1), file (= 1:5.45-2), findutils (= 4.9.0-5), g++ (= 4:13.2.0-7ubuntu1), g++-13 (= 13.2.0-13ubuntu1), g++-13-x86-64-linux-gnu (= 13.2.0-13ubuntu1), g++-x86-64-linux-gnu (= 4:13.2.0-7ubuntu1), gcc (= 4:13.2.0-7ubuntu1), gcc-13 (= 13.2.0-13ubuntu1), gcc-13-base (= 13.2.0-13ubuntu1), gcc-13-x86-64-linux-gnu (= 13.2.0-13ubuntu1), gcc-14-base (= 14-20240201-3ubuntu1), gcc-x86-64-linux-gnu (= 4:13.2.0-7ubuntu1), gettext (= 0.21-14ubuntu1), gettext-base (= 0.21-14ubuntu1), grep (= 3.11-4), groff-base (= 1.23.0-3), gzip (= 1.12-1ubuntu1), hostname (= 3.23+nmu1ubuntu1), init-system-helpers (= 1.66ubuntu1), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.1-4ubuntu1), libarchive-zip-perl (= 1.68-1), libasan8 (= 14-20240201-3ubuntu1), libatomic1 (= 14-20240201-3ubuntu1), libattr1 (= 1:2.5.2-1), libaudit-common (= 1:3.1.2-2), libaudit1 (= 1:3.1.2-2), libbinutils (= 2.42-2ubuntu1), libblkid1 (= 2.39.2-6ubuntu1), libbz2-1.0 (= 1.0.8-5build1), libc-bin (= 2.39-0ubuntu1), libc-dev-bin (= 2.39-0ubuntu1), libc6 (= 2.39-0ubuntu1), libc6-dev (= 2.39-0ubuntu1), libcap-ng0 (= 0.8.4-2), libcap2 (= 1:2.66-4ubuntu1), libcc1-0 (= 14-20240201-3ubuntu1), libcom-err2 (= 1.47.0-2ubuntu1), libcompiler-libs-ocaml-dev (= 4.14.1-1ubuntu1), libcoq-core-ocaml (= 8.18.0+dfsg-1), libcoq-core-ocaml-dev (= 8.18.0+dfsg-1), libcoq-elpi (= 1.19.3-2build1), libcoq-hierarchy-builder (= 1.6.0-1build2), libcoq-mathcomp-algebra (= 2.1.0-1build2), libcoq-mathcomp-bigenough (= 1.0.1-12build2), libcoq-mathcomp-fingroup (= 2.1.0-1build2), libcoq-mathcomp-finmap (= 2.0.0-2build2), libcoq-mathcomp-ssreflect (= 2.1.0-1build2), libcoq-stdlib (= 8.18.0+dfsg-1), libcrypt-dev (= 1:4.4.36-4), libcrypt1 (= 1:4.4.36-4), libctf-nobfd0 (= 2.42-2ubuntu1), libctf0 (= 2.42-2ubuntu1), libdb5.3 (= 5.3.28+dfsg2-4), libdebconfclient0 (= 0.271ubuntu1), libdebhelper-perl (= 13.13ubuntu1), libdpkg-perl (= 1.22.4ubuntu3), libdw1 (= 0.190-1), libelf1 (= 0.190-1), libelpi-ocaml (= 1.17.4-3build1), libelpi-ocaml-dev (= 1.17.4-3build1), libexpat1 (= 2.6.0-1), libffi8 (= 3.4.4-2), 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-13ubuntu1), libgcc-s1 (= 14-20240201-3ubuntu1), libgcrypt20 (= 1.10.3-2), libgdbm-compat4 (= 1.23-5), libgdbm6 (= 1.23-5), 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-20240201-3ubuntu1), libgpg-error0 (= 1.47-3build1), libgprofng0 (= 2.42-2ubuntu1), libgssapi-krb5-2 (= 1.20.1-5build1), libhwasan0 (= 14-20240201-3ubuntu1), libicu74 (= 74.2-1ubuntu1), libisl23 (= 0.26-3), libitm1 (= 14-20240201-3ubuntu1), libjansson4 (= 2.14-2), libk5crypto3 (= 1.20.1-5build1), libkeyutils1 (= 1.6.3-3), libkrb5-3 (= 1.20.1-5build1), libkrb5support0 (= 1.20.1-5build1), liblsan0 (= 14-20240201-3ubuntu1), liblz4-1 (= 1.9.4-1), liblzma5 (= 5.4.5-0.3), libmagic-mgc (= 1:5.45-2), libmagic1 (= 1:5.45-2), libmd0 (= 1.1.0-2), libmenhir-ocaml-dev (= 20231231+ds-1), libmount1 (= 2.39.2-6ubuntu1), 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), libnsl-dev (= 1.3.0-3), libnsl2 (= 1.3.0-3), libocaml-compiler-libs-ocaml-dev (= 0.12.4-4build2), libpam-modules (= 1.5.2-9.1ubuntu2), libpam-modules-bin (= 1.5.2-9.1ubuntu2), libpam-runtime (= 1.5.2-9.1ubuntu2), libpam0g (= 1.5.2-9.1ubuntu2), libpcre2-8-0 (= 10.42-4ubuntu1), libperl5.38 (= 5.38.2-3), libpipeline1 (= 1.5.7-1), libppx-derivers-ocaml-dev (= 1.2.1-4build2), libppx-deriving-ocaml (= 5.2.1-4build2), libppx-deriving-ocaml-dev (= 5.2.1-4build2), libppxlib-ocaml-dev (= 0.32.0-1), libpython3-stdlib (= 3.12.1-0ubuntu1), libpython3.12-minimal (= 3.12.2-1), libpython3.12-stdlib (= 3.12.2-1), libquadmath0 (= 14-20240201-3ubuntu1), libre-ocaml-dev (= 1.11.0-1build2), libreadline8 (= 8.2-3), libresult-ocaml (= 1.5-4build1), libresult-ocaml-dev (= 1.5-4build1), libseccomp2 (= 2.5.5-1ubuntu1), libselinux1 (= 3.5-2build1), libsexplib0-ocaml (= 0.16.0-3build2), libsexplib0-ocaml-dev (= 0.16.0-3build2), libsframe1 (= 2.42-2ubuntu1), libsmartcols1 (= 2.39.2-6ubuntu1), libsqlite3-0 (= 3.45.1-1), libssl3 (= 3.0.10-1ubuntu4), libstdc++-13-dev (= 13.2.0-13ubuntu1), libstdc++6 (= 14-20240201-3ubuntu1), libstdlib-ocaml (= 4.14.1-1ubuntu1), libstdlib-ocaml-dev (= 4.14.1-1ubuntu1), libsub-override-perl (= 0.10-1), libsystemd0 (= 255.2-3ubuntu2), libtinfo6 (= 6.4+20240113-1ubuntu1), libtirpc-common (= 1.3.4+ds-1build1), libtirpc-dev (= 1.3.4+ds-1build1), libtirpc3 (= 1.3.4+ds-1build1), libtool (= 2.4.7-7), libtsan2 (= 14-20240201-3ubuntu1), libubsan1 (= 14-20240201-3ubuntu1), libuchardet0 (= 0.0.8-1), libudev1 (= 255.2-3ubuntu2), libunistring5 (= 1.1-2), libuuid1 (= 2.39.2-6ubuntu1), libxml2 (= 2.9.14+dfsg-1.3ubuntu1), libzarith-ocaml (= 1.13-2build3), libzarith-ocaml-dev (= 1.13-2build3), libzstd1 (= 1.5.5+dfsg2-2), linux-libc-dev (= 6.8.0-11.11), login (= 1:4.13+dfsg1-3ubuntu1), lto-disabled-list (= 46), m4 (= 1.4.19-4), make (= 4.3-4.1build1), man-db (= 2.12.0-3), 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-dune (= 3.14.0-1), ocaml-findlib (= 1.9.6-1build3), ocaml-interp (= 4.14.1-1ubuntu1), patch (= 2.7.6-7build2), perl (= 5.38.2-3), perl-base (= 5.38.2-3), perl-modules-5.38 (= 5.38.2-3), po-debconf (= 1.0.21+nmu1), python3 (= 3.12.1-0ubuntu1), python3-minimal (= 3.12.1-0ubuntu1), python3.12 (= 3.12.2-1), python3.12-minimal (= 3.12.2-1), readline-common (= 8.2-3), rpcsvc-proto (= 1.4.2-0ubuntu6), sed (= 4.9-2), sensible-utils (= 0.0.22), sysvinit-utils (= 3.08-3ubuntu1), tar (= 1.35+dfsg-3), tzdata (= 2024a-1ubuntu1), util-linux (= 2.39.2-6ubuntu1), xz-utils (= 5.4.5-0.3), zlib1g (= 1:1.3.dfsg-3ubuntu1) Environment: DEB_BUILD_OPTIONS="parallel=4" DEB_BUILD_PROFILES="noudeb" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1708129612" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libcoq-mathcomp-multinomials_2.2.0-1build2_amd64.deb ---------------------------------------------------- new Debian package, version 2.0. size 1629438 bytes: control archive=1223 bytes. 1026 bytes, 22 lines control 1587 bytes, 17 lines md5sums Package: libcoq-mathcomp-multinomials Source: mathcomp-multinomials Version: 2.2.0-1build2 Architecture: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 3780 Depends: libcoq-mathcomp-algebra-rarb2, libcoq-mathcomp-bigenough-z7cm6, libcoq-mathcomp-finmap-p8fe4, libcoq-mathcomp-ssreflect-s8sz2 Suggests: ocaml-findlib Provides: libcoq-mathcomp-multinomials-gzn90 Section: ocaml Priority: optional Homepage: https://github.com/math-comp/multinomials Description: Multivariate polynomials for Mathematical Components This package provides an extension to Mathematical Components for monomial algebra, multivariate polynomials over ring structures and an extended theory for polynomials whose coefficients live in abelian rings and integral domains. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant. drwxr-xr-x root/root 0 2024-02-17 00:26 ./ drwxr-xr-x root/root 0 2024-02-17 00:26 ./usr/ drwxr-xr-x root/root 0 2024-02-17 00:26 ./usr/lib/ drwxr-xr-x root/root 0 2024-02-17 00:26 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2024-02-17 00:26 ./usr/lib/ocaml/coq-mathcomp-multinomials/ -rw-r--r-- root/root 0 2024-02-17 00:26 ./usr/lib/ocaml/coq-mathcomp-multinomials/META -rw-r--r-- root/root 787 2024-02-17 00:26 ./usr/lib/ocaml/coq-mathcomp-multinomials/dune-package -rw-r--r-- root/root 936 2024-02-17 00:26 ./usr/lib/ocaml/coq-mathcomp-multinomials/opam drwxr-xr-x root/root 0 2024-02-17 00:26 ./usr/lib/ocaml/coq/ drwxr-xr-x root/root 0 2024-02-17 00:26 ./usr/lib/ocaml/coq/user-contrib/ drwxr-xr-x root/root 0 2024-02-17 00:26 ./usr/lib/ocaml/coq/user-contrib/mathcomp/ drwxr-xr-x root/root 0 2024-02-17 00:26 ./usr/lib/ocaml/coq/user-contrib/mathcomp/multinomials/ -rw-r--r-- root/root 44654 2024-02-17 00:26 ./usr/lib/ocaml/coq/user-contrib/mathcomp/multinomials/freeg.v -rw-r--r-- root/root 358643 2024-02-17 00:26 ./usr/lib/ocaml/coq/user-contrib/mathcomp/multinomials/freeg.vo -rw-r--r-- root/root 52505 2024-02-17 00:26 ./usr/lib/ocaml/coq/user-contrib/mathcomp/multinomials/monalg.v -rw-r--r-- root/root 543550 2024-02-17 00:26 ./usr/lib/ocaml/coq/user-contrib/mathcomp/multinomials/monalg.vo -rw-r--r-- root/root 180585 2024-02-17 00:26 ./usr/lib/ocaml/coq/user-contrib/mathcomp/multinomials/mpoly.v -rw-r--r-- root/root 2483612 2024-02-17 00:26 ./usr/lib/ocaml/coq/user-contrib/mathcomp/multinomials/mpoly.vo -rw-r--r-- root/root 11338 2024-02-17 00:26 ./usr/lib/ocaml/coq/user-contrib/mathcomp/multinomials/ssrcomplements.v -rw-r--r-- root/root 114757 2024-02-17 00:26 ./usr/lib/ocaml/coq/user-contrib/mathcomp/multinomials/ssrcomplements.vo -rw-r--r-- root/root 1304 2024-02-17 00:26 ./usr/lib/ocaml/coq/user-contrib/mathcomp/multinomials/xfinmap.v -rw-r--r-- root/root 27084 2024-02-17 00:26 ./usr/lib/ocaml/coq/user-contrib/mathcomp/multinomials/xfinmap.vo drwxr-xr-x root/root 0 2024-02-17 00:26 ./usr/share/ drwxr-xr-x root/root 0 2024-02-17 00:26 ./usr/share/doc/ drwxr-xr-x root/root 0 2024-02-17 00:26 ./usr/share/doc/libcoq-mathcomp-multinomials/ -rw-r--r-- root/root 1383 2024-02-17 00:26 ./usr/share/doc/libcoq-mathcomp-multinomials/README.md -rw-r--r-- root/root 611 2024-02-17 00:26 ./usr/share/doc/libcoq-mathcomp-multinomials/changelog.Debian.gz -rw-r--r-- root/root 22387 2024-01-20 19:33 ./usr/share/doc/libcoq-mathcomp-multinomials/copyright drwxr-xr-x root/root 0 2024-02-17 00:26 ./var/ drwxr-xr-x root/root 0 2024-02-17 00:26 ./var/lib/ drwxr-xr-x root/root 0 2024-02-17 00:26 ./var/lib/coq/ drwxr-xr-x root/root 0 2024-02-17 00:26 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2024-02-17 00:26 ./var/lib/coq/md5sums/libcoq-mathcomp-multinomials.checksum +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: binary Build-Space: 16424 Build-Time: 80 Distribution: noble-proposed Host Architecture: amd64 Install-Time: 18 Job: mathcomp-multinomials_2.2.0-1build2.dsc Machine Architecture: amd64 Package: mathcomp-multinomials Package-Time: 98 Source-Version: 2.2.0-1build2 Space: 16424 Status: successful Version: 2.2.0-1build2 -------------------------------------------------------------------------------- Finished at 2024-02-17T16:24:57Z Build needed 00:01:38, 16424k disk space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=noble --arch=amd64 PACKAGEBUILD-27784932 Scanning for processes to kill in build PACKAGEBUILD-27784932