https://launchpad.net/ubuntu/+archive/test-rebuild-20240502-noble-gcc/+build/28301486 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux bos03-riscv64-111 6.5.0-35-generic #35.1~22.04.1-Ubuntu SMP Thu May 2 05:48:36 UTC 2024 riscv64 Buildd toolchain package versions: launchpad-buildd_237~660~ubuntu22.04.1 python3-lpbuildd_237~660~ubuntu22.04.1 sbuild_0.81.2ubuntu6 git-build-recipe_0.3.6 git_1:2.34.1-1ubuntu1.10 dpkg-dev_1.21.1ubuntu2.3 python3-debian_0.1.43ubuntu1.1. Syncing the system clock with the buildd NTP service... 16 May 23:56:37 ntpdate[2226]: adjust time server 10.211.37.1 offset -0.001678 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=noble --arch=riscv64 PACKAGEBUILD-28301486 --image-type chroot /home/buildd/filecache-default/20a3246b7a16d5658607d7f37229fcda30a33651 Creating target for build PACKAGEBUILD-28301486 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=noble --arch=riscv64 PACKAGEBUILD-28301486 Starting target for build PACKAGEBUILD-28301486 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=noble --arch=riscv64 PACKAGEBUILD-28301486 'deb http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble main' 'deb http://ppa.launchpadcontent.net/ubuntu-toolchain-r/volatile/ubuntu noble main' 'deb http://ftpmaster.internal/ubuntu noble main universe' Overriding sources.list in build-PACKAGEBUILD-28301486 RUN: /usr/share/launchpad-buildd/bin/in-target add-trusted-keys --backend=chroot --series=noble --arch=riscv64 PACKAGEBUILD-28301486 Adding trusted keys to build-PACKAGEBUILD-28301486 pub rsa1024/1E9377A2BA9EF27F 2009-10-22 [SC] Key fingerprint = 60C3 1780 3A41 BA51 845E 371A 1E93 77A2 BA9E F27F uid Launchpad Toolchain builds RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=noble --arch=riscv64 PACKAGEBUILD-28301486 Updating target for build PACKAGEBUILD-28301486 Get:1 http://ftpmaster.internal/ubuntu noble InRelease [256 kB] Get:2 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble InRelease [23.6 kB] Get:3 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/volatile/ubuntu noble InRelease [23.6 kB] Get:4 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 Packages [19.8 kB] Get:5 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main Translation-en [14.9 kB] Get:6 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/volatile/ubuntu noble/main riscv64 Packages [6336 B] Get:7 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/volatile/ubuntu noble/main Translation-en [4996 B] Get:8 http://ftpmaster.internal/ubuntu noble/main riscv64 Packages [1318 kB] Get:9 http://ftpmaster.internal/ubuntu noble/main Translation-en [513 kB] Get:10 http://ftpmaster.internal/ubuntu noble/universe riscv64 Packages [14.3 MB] Get:11 http://ftpmaster.internal/ubuntu noble/universe Translation-en [5982 kB] Fetched 22.5 MB in 35s (647 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: cpp-13 g++-13 g++-13-riscv64-linux-gnu libnsl-dev libperl5.36 libstdc++-13-dev libtirpc-dev libunistring2 perl-modules-5.36 Use 'sudo apt autoremove' to remove them. The following packages will be REMOVED: libapt-pkg6.0* libdb5.3* libext2fs2* libgdbm-compat4* libgdbm6* libgnutls30* libhogweed6* libnettle8* libnpth0* libpng16-16* libreadline8* libssl3* libtirpc3* usrmerge* The following NEW packages will be installed: cpp-13-riscv64-linux-gnu cpp-14 cpp-14-riscv64-linux-gnu cpp-riscv64-linux-gnu g++-13-riscv64-linux-gnu g++-14 g++-14-riscv64-linux-gnu g++-riscv64-linux-gnu gcc-13-riscv64-linux-gnu gcc-14 gcc-14-base gcc-14-riscv64-linux-gnu gcc-riscv64-linux-gnu libapt-pkg6.0t64 libdb5.3t64 libext2fs2t64 libgcc-14-dev libgdbm-compat4t64 libgdbm6t64 libgnutls30t64 libhogweed6t64 liblsan0 libnettle8t64 libnpth0t64 libperl5.38t64 libpng16-16t64 libreadline8t64 libssl3t64 libstdc++-14-dev libtirpc3t64 libtsan2 libubsan1 libunistring5 perl-modules-5.38 The following packages will be upgraded: advancecomp apt apt-utils base-files base-passwd bash bash-completion binutils binutils-common binutils-riscv64-linux-gnu bsdextrautils bsdutils bzip2 ca-certificates coreutils cpp cpp-13 dash debconf debconf-i18n debianutils diffutils dpkg dpkg-dev e2fsprogs fakeroot findutils g++ g++-13 gcc gcc-13 gcc-13-base gpg gpg-agent gpgconf gpgv grep gzip hostname init init-system-helpers krb5-locales libacl1 libapparmor1 libargon2-1 libasan8 libassuan0 libatomic1 libattr1 libaudit-common libaudit1 libbinutils libblkid1 libbz2-1.0 libc-bin libc-dev-bin libc6 libc6-dev libcap-ng0 libcap2 libcc1-0 libcom-err2 libcrypt-dev libcrypt1 libcryptsetup12 libctf-nobfd0 libctf0 libdebconfclient0 libdevmapper1.02.1 libdpkg-perl libfakeroot libfdisk1 libffi8 libgcc-13-dev libgcc-s1 libgcrypt20 libgmp10 libgomp1 libgpg-error-l10n libgpg-error0 libgpm2 libgssapi-krb5-2 libidn2-0 libip4tc2 libisl23 libjansson4 libjson-c5 libk5crypto3 libkeyutils1 libkmod2 libkrb5-3 libkrb5support0 liblocale-gettext-perl liblockfile-bin liblockfile1 liblz4-1 liblzma5 libmd0 libmount1 libmpc3 libmpfr6 libncursesw6 libnsl-dev libnsl2 libnss-nis libnss-nisplus libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre2-8-0 libproc2-0 libseccomp2 libselinux1 libsemanage-common libsemanage2 libsepol2 libsframe1 libsmartcols1 libsqlite3-0 libss2 libstdc++-13-dev libstdc++6 libsystemd-shared libsystemd0 libtasn1-6 libtext-charwidth-perl libtext-iconv-perl libtinfo6 libtirpc-common libtirpc-dev libudev1 libuuid1 libxxhash0 libzstd1 linux-libc-dev lockfile-progs login logsave lto-disabled-list make mawk mount ncurses-base ncurses-bin openssl optipng passwd patch perl perl-base pinentry-curses procps psmisc readline-common rpcsvc-proto sed sensible-utils systemd systemd-dev systemd-sysv sysvinit-utils tar tzdata ubuntu-keyring util-linux uuid-runtime xz-utils zlib1g 170 upgraded, 34 newly installed, 14 to remove and 0 not upgraded. Need to get 436 MB of archives. After this operation, 1353 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu noble/main riscv64 libtirpc-common all 1.3.4+ds-1.1build1 [8094 B] Get:2 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 gcc-14-base riscv64 14-20240429-1ubuntu1 [48.0 kB] Get:3 http://ftpmaster.internal/ubuntu noble/main riscv64 libtirpc-dev riscv64 1.3.4+ds-1.1build1 [350 kB] Get:4 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 libgcc-s1 riscv64 14-20240429-1ubuntu1 [61.1 kB] Get:5 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 libstdc++6 riscv64 14-20240429-1ubuntu1 [806 kB] Get:6 http://ftpmaster.internal/ubuntu noble/main riscv64 libnsl-dev riscv64 1.3.0-3build3 [137 kB] Get:7 http://ftpmaster.internal/ubuntu noble/main riscv64 libnsl2 riscv64 1.3.0-3build3 [43.3 kB] Get:8 http://ftpmaster.internal/ubuntu noble/main riscv64 libtirpc3t64 riscv64 1.3.4+ds-1.1build1 [92.3 kB] Get:9 http://ftpmaster.internal/ubuntu noble/main riscv64 libgssapi-krb5-2 riscv64 1.20.1-6ubuntu2 [153 kB] Get:10 http://ftpmaster.internal/ubuntu noble/main riscv64 libkrb5-3 riscv64 1.20.1-6ubuntu2 [385 kB] Get:11 http://ftpmaster.internal/ubuntu noble/main riscv64 libk5crypto3 riscv64 1.20.1-6ubuntu2 [108 kB] Get:12 http://ftpmaster.internal/ubuntu noble/main riscv64 libkrb5support0 riscv64 1.20.1-6ubuntu2 [36.7 kB] Get:13 http://ftpmaster.internal/ubuntu noble/main riscv64 libacl1 riscv64 2.3.2-1build1 [18.7 kB] Get:14 http://ftpmaster.internal/ubuntu noble/main riscv64 libapparmor1 riscv64 4.0.0-beta3-0ubuntu3 [51.2 kB] Get:15 http://ftpmaster.internal/ubuntu noble/main riscv64 libaudit-common all 1:3.1.2-2.1build1 [5736 B] Get:16 http://ftpmaster.internal/ubuntu noble/main riscv64 libcap-ng0 riscv64 0.8.4-2build2 [15.5 kB] Get:17 http://ftpmaster.internal/ubuntu noble/main riscv64 libaudit1 riscv64 1:3.1.2-2.1build1 [47.9 kB] Get:18 http://ftpmaster.internal/ubuntu noble/main riscv64 libblkid1 riscv64 2.39.3-9ubuntu6 [204 kB] Get:19 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 cpp-14-riscv64-linux-gnu riscv64 14-20240429-1ubuntu1 [93.8 MB] Get:20 http://ftpmaster.internal/ubuntu noble/main riscv64 libcap2 riscv64 1:2.66-5ubuntu2 [31.8 kB] Get:21 http://ftpmaster.internal/ubuntu noble/main riscv64 libcrypt-dev riscv64 1:4.4.36-4build1 [250 kB] Get:22 http://ftpmaster.internal/ubuntu noble/main riscv64 libcrypt1 riscv64 1:4.4.36-4build1 [102 kB] Get:23 http://ftpmaster.internal/ubuntu noble/main riscv64 libgpg-error-l10n all 1.47-3build2 [8064 B] Get:24 http://ftpmaster.internal/ubuntu noble/main riscv64 libgpg-error0 riscv64 1.47-3build2 [75.8 kB] Get:25 http://ftpmaster.internal/ubuntu noble/main riscv64 libgcrypt20 riscv64 1.10.3-2build1 [564 kB] Get:26 http://ftpmaster.internal/ubuntu noble/main riscv64 liblzma5 riscv64 5.6.1+really5.4.5-1 [130 kB] Get:27 http://ftpmaster.internal/ubuntu noble/main riscv64 libzstd1 riscv64 1.5.5+dfsg2-2build1 [353 kB] Get:28 http://ftpmaster.internal/ubuntu noble/main riscv64 libkmod2 riscv64 31+20240202-2ubuntu7 [55.1 kB] Get:29 http://ftpmaster.internal/ubuntu noble/main riscv64 liblz4-1 riscv64 1.9.4-1build1 [85.7 kB] Get:30 http://ftpmaster.internal/ubuntu noble/main riscv64 libpcre2-8-0 riscv64 10.42-4ubuntu2 [152 kB] Get:31 http://ftpmaster.internal/ubuntu noble/main riscv64 libselinux1 riscv64 3.5-2ubuntu2 [86.1 kB] Get:32 http://ftpmaster.internal/ubuntu noble/main riscv64 libmount1 riscv64 2.39.3-9ubuntu6 [212 kB] Get:33 http://ftpmaster.internal/ubuntu noble/main riscv64 perl-modules-5.38 all 5.38.2-3.2build2 [3110 kB] Get:34 http://ftpmaster.internal/ubuntu noble/main riscv64 libdb5.3t64 riscv64 5.3.28+dfsg2-7 [779 kB] Get:35 http://ftpmaster.internal/ubuntu noble/main riscv64 libgdbm6t64 riscv64 1.23-5.1build1 [35.9 kB] Get:36 http://ftpmaster.internal/ubuntu noble/main riscv64 libgdbm-compat4t64 riscv64 1.23-5.1build1 [6884 B] Get:37 http://ftpmaster.internal/ubuntu noble/main riscv64 libperl5.38t64 riscv64 5.38.2-3.2build2 [4469 kB] Get:38 http://ftpmaster.internal/ubuntu noble/main riscv64 perl riscv64 5.38.2-3.2build2 [231 kB] Get:39 http://ftpmaster.internal/ubuntu noble/main riscv64 perl-base riscv64 5.38.2-3.2build2 [1834 kB] Get:40 http://ftpmaster.internal/ubuntu noble/main riscv64 liblocale-gettext-perl riscv64 1.07-6ubuntu5 [15.7 kB] Get:41 http://ftpmaster.internal/ubuntu noble/main riscv64 libtext-iconv-perl riscv64 1.7-8build3 [13.5 kB] Get:42 http://ftpmaster.internal/ubuntu noble/main riscv64 libtext-charwidth-perl riscv64 0.04-11build3 [9272 B] Get:43 http://ftpmaster.internal/ubuntu noble/main riscv64 openssl riscv64 3.0.13-0ubuntu3 [992 kB] Get:44 http://ftpmaster.internal/ubuntu noble/main riscv64 libsystemd-shared riscv64 255.4-1ubuntu8 [2181 kB] Get:45 http://ftpmaster.internal/ubuntu noble/main riscv64 libcryptsetup12 riscv64 2:2.7.0-1ubuntu4 [274 kB] Get:46 http://ftpmaster.internal/ubuntu noble/main riscv64 libssl3t64 riscv64 3.0.13-0ubuntu3 [1735 kB] Get:47 http://ftpmaster.internal/ubuntu noble/main riscv64 systemd-dev all 255.4-1ubuntu8 [104 kB] Get:48 http://ftpmaster.internal/ubuntu noble/main riscv64 systemd-sysv riscv64 255.4-1ubuntu8 [11.9 kB] Get:49 http://ftpmaster.internal/ubuntu noble/main riscv64 systemd riscv64 255.4-1ubuntu8 [3553 kB] Get:50 http://ftpmaster.internal/ubuntu noble/main riscv64 libsystemd0 riscv64 255.4-1ubuntu8 [458 kB] Get:51 http://ftpmaster.internal/ubuntu noble/main riscv64 libpam-modules-bin riscv64 1.5.3-5ubuntu5 [55.0 kB] Get:52 http://ftpmaster.internal/ubuntu noble/main riscv64 libpam-modules riscv64 1.5.3-5ubuntu5 [284 kB] Get:53 http://ftpmaster.internal/ubuntu noble/main riscv64 libnettle8t64 riscv64 3.9.1-2.2build1 [217 kB] Get:54 http://ftpmaster.internal/ubuntu noble/main riscv64 libhogweed6t64 riscv64 3.9.1-2.2build1 [200 kB] Get:55 http://ftpmaster.internal/ubuntu noble/main riscv64 libp11-kit0 riscv64 0.25.3-4ubuntu2 [318 kB] Get:56 http://ftpmaster.internal/ubuntu noble/main riscv64 libunistring5 riscv64 1.1-2build1 [542 kB] Get:57 http://ftpmaster.internal/ubuntu noble/main riscv64 libgnutls30t64 riscv64 3.8.3-1.1ubuntu3 [1012 kB] Get:58 http://ftpmaster.internal/ubuntu noble/main riscv64 libapt-pkg6.0t64 riscv64 2.7.14build2 [1050 kB] Get:59 http://ftpmaster.internal/ubuntu noble/main riscv64 bzip2 riscv64 1.0.8-5.1 [35.0 kB] Get:60 http://ftpmaster.internal/ubuntu noble/main riscv64 libbz2-1.0 riscv64 1.0.8-5.1 [40.2 kB] Get:61 http://ftpmaster.internal/ubuntu noble/main riscv64 libudev1 riscv64 255.4-1ubuntu8 [181 kB] Get:62 http://ftpmaster.internal/ubuntu noble/main riscv64 libxxhash0 riscv64 0.8.2-2build1 [45.5 kB] Get:63 http://ftpmaster.internal/ubuntu noble/main riscv64 zlib1g riscv64 1:1.3.dfsg-3.1ubuntu2 [60.8 kB] Get:64 http://ftpmaster.internal/ubuntu noble/main riscv64 libgmp10 riscv64 2:6.3.0+dfsg-2ubuntu6 [258 kB] Get:65 http://ftpmaster.internal/ubuntu noble/main riscv64 libffi8 riscv64 3.4.6-1build1 [23.1 kB] Get:66 http://ftpmaster.internal/ubuntu noble/main riscv64 libidn2-0 riscv64 2.3.7-2build1 [102 kB] Get:67 http://ftpmaster.internal/ubuntu noble/main riscv64 libtasn1-6 riscv64 4.19.0-3build1 [45.3 kB] Get:68 http://ftpmaster.internal/ubuntu noble/main riscv64 libdebconfclient0 riscv64 0.271ubuntu3 [11.2 kB] Get:69 http://ftpmaster.internal/ubuntu noble/main riscv64 base-passwd riscv64 3.6.3build1 [52.7 kB] Get:70 http://ftpmaster.internal/ubuntu noble/main riscv64 libassuan0 riscv64 2.5.6-1build1 [39.4 kB] Get:71 http://ftpmaster.internal/ubuntu noble/main riscv64 libsqlite3-0 riscv64 3.45.1-1ubuntu2 [739 kB] Get:72 http://ftpmaster.internal/ubuntu noble/main riscv64 gpg riscv64 2.4.4-2ubuntu17 [607 kB] Get:73 http://ftpmaster.internal/ubuntu noble/main riscv64 libreadline8t64 riscv64 8.2-4build1 [156 kB] Get:74 http://ftpmaster.internal/ubuntu noble/main riscv64 readline-common all 8.2-4build1 [56.5 kB] Get:75 http://ftpmaster.internal/ubuntu noble/main riscv64 libncursesw6 riscv64 6.4+20240113-1ubuntu2 [155 kB] Get:76 http://ftpmaster.internal/ubuntu noble/main riscv64 libtinfo6 riscv64 6.4+20240113-1ubuntu2 [109 kB] Get:77 http://ftpmaster.internal/ubuntu noble/main riscv64 gpg-agent riscv64 2.4.4-2ubuntu17 [282 kB] Get:78 http://ftpmaster.internal/ubuntu noble/main riscv64 gpgconf riscv64 2.4.4-2ubuntu17 [133 kB] Get:79 http://ftpmaster.internal/ubuntu noble/main riscv64 pinentry-curses riscv64 1.2.1-3ubuntu5 [40.6 kB] Get:80 http://ftpmaster.internal/ubuntu noble/main riscv64 init-system-helpers all 1.66ubuntu1 [39.4 kB] Get:81 http://ftpmaster.internal/ubuntu noble/main riscv64 libnpth0t64 riscv64 1.6-3.1build1 [8144 B] Get:82 http://ftpmaster.internal/ubuntu noble/main riscv64 gpgv riscv64 2.4.4-2ubuntu17 [276 kB] Get:83 http://ftpmaster.internal/ubuntu noble/main riscv64 ubuntu-keyring all 2023.11.28.1 [11.1 kB] Get:84 http://ftpmaster.internal/ubuntu noble/main riscv64 apt-utils riscv64 2.7.14build2 [226 kB] Get:85 http://ftpmaster.internal/ubuntu noble/main riscv64 apt riscv64 2.7.14build2 [1349 kB] Get:86 http://ftpmaster.internal/ubuntu noble/main riscv64 debconf-i18n all 1.5.86ubuntu1 [205 kB] Get:87 http://ftpmaster.internal/ubuntu noble/main riscv64 debconf all 1.5.86ubuntu1 [124 kB] Get:88 http://ftpmaster.internal/ubuntu noble/main riscv64 libpam0g riscv64 1.5.3-5ubuntu5 [69.1 kB] Get:89 http://ftpmaster.internal/ubuntu noble/main riscv64 libseccomp2 riscv64 2.5.5-1ubuntu3 [52.9 kB] Get:90 http://ftpmaster.internal/ubuntu noble/main riscv64 libargon2-1 riscv64 0~20190702+dfsg-4build1 [25.0 kB] Get:91 http://ftpmaster.internal/ubuntu noble/main riscv64 libdevmapper1.02.1 riscv64 2:1.02.185-3ubuntu3 [145 kB] Get:92 http://ftpmaster.internal/ubuntu noble/main riscv64 libjson-c5 riscv64 0.17-1build1 [37.4 kB] Get:93 http://ftpmaster.internal/ubuntu noble/main riscv64 libuuid1 riscv64 2.39.3-9ubuntu6 [37.7 kB] Get:94 http://ftpmaster.internal/ubuntu noble/main riscv64 libfdisk1 riscv64 2.39.3-9ubuntu6 [238 kB] Get:95 http://ftpmaster.internal/ubuntu noble/main riscv64 mount riscv64 2.39.3-9ubuntu6 [152 kB] Get:96 http://ftpmaster.internal/ubuntu noble/main riscv64 libcom-err2 riscv64 1.47.0-2.4~exp1ubuntu4 [22.5 kB] Get:97 http://ftpmaster.internal/ubuntu noble/main riscv64 libkeyutils1 riscv64 1.6.3-3build1 [9804 B] Get:98 http://ftpmaster.internal/ubuntu noble/universe riscv64 libnss-nisplus riscv64 1.3-5build1 [23.8 kB] Get:99 http://ftpmaster.internal/ubuntu noble/universe riscv64 libnss-nis riscv64 3.1-0ubuntu7 [28.1 kB] Get:100 http://ftpmaster.internal/ubuntu noble/main riscv64 rpcsvc-proto riscv64 1.4.2-0ubuntu7 [65.8 kB] Get:101 http://ftpmaster.internal/ubuntu noble/main riscv64 libc6-dev riscv64 2.39-0ubuntu8 [3458 kB] Get:102 http://ftpmaster.internal/ubuntu noble/main riscv64 libc-dev-bin riscv64 2.39-0ubuntu8 [20.0 kB] Get:103 http://ftpmaster.internal/ubuntu noble/main riscv64 linux-libc-dev riscv64 6.8.0-31.31 [1568 kB] Get:104 http://ftpmaster.internal/ubuntu noble/main riscv64 libc6 riscv64 2.39-0ubuntu8 [2776 kB] Get:105 http://ftpmaster.internal/ubuntu noble/main riscv64 libc-bin riscv64 2.39-0ubuntu8 [609 kB] Get:106 http://ftpmaster.internal/ubuntu noble/main riscv64 base-files riscv64 13ubuntu10 [73.5 kB] Get:107 http://ftpmaster.internal/ubuntu noble/main riscv64 debianutils riscv64 5.17build1 [89.8 kB] Get:108 http://ftpmaster.internal/ubuntu noble/main riscv64 bash riscv64 5.2.21-2ubuntu4 [745 kB] Get:109 http://ftpmaster.internal/ubuntu noble/main riscv64 bsdutils riscv64 1:2.39.3-9ubuntu6 [116 kB] Get:110 http://ftpmaster.internal/ubuntu noble/main riscv64 coreutils riscv64 9.4-3ubuntu6 [1459 kB] Get:111 http://ftpmaster.internal/ubuntu noble/main riscv64 tar riscv64 1.35+dfsg-3build1 [269 kB] Get:112 http://ftpmaster.internal/ubuntu noble/main riscv64 dpkg riscv64 1.22.6ubuntu6 [1285 kB] Get:113 http://ftpmaster.internal/ubuntu noble/main riscv64 dash riscv64 0.5.12-6ubuntu5 [93.2 kB] Get:114 http://ftpmaster.internal/ubuntu noble/main riscv64 diffutils riscv64 1:3.10-1build1 [184 kB] Get:115 http://ftpmaster.internal/ubuntu noble/main riscv64 findutils riscv64 4.9.0-5build1 [315 kB] Get:116 http://ftpmaster.internal/ubuntu noble/main riscv64 grep riscv64 3.11-4build1 [169 kB] Get:117 http://ftpmaster.internal/ubuntu noble/main riscv64 gzip riscv64 1.12-1ubuntu3 [102 kB] Get:118 http://ftpmaster.internal/ubuntu noble/main riscv64 hostname riscv64 3.23+nmu2ubuntu2 [11.4 kB] Get:119 http://ftpmaster.internal/ubuntu noble/main riscv64 login riscv64 1:4.13+dfsg1-4ubuntu3 [204 kB] Get:120 http://ftpmaster.internal/ubuntu noble/main riscv64 ncurses-bin riscv64 6.4+20240113-1ubuntu2 [187 kB] Get:121 http://ftpmaster.internal/ubuntu noble/main riscv64 sed riscv64 4.9-2build1 [200 kB] Get:122 http://ftpmaster.internal/ubuntu noble/main riscv64 util-linux riscv64 2.39.3-9ubuntu6 [1330 kB] Get:123 http://ftpmaster.internal/ubuntu noble/main riscv64 ncurses-base all 6.4+20240113-1ubuntu2 [25.5 kB] Get:124 http://ftpmaster.internal/ubuntu noble/main riscv64 sysvinit-utils riscv64 3.08-6ubuntu3 [35.1 kB] Get:125 http://ftpmaster.internal/ubuntu noble/main riscv64 logsave riscv64 1.47.0-2.4~exp1ubuntu4 [22.3 kB] Get:126 http://ftpmaster.internal/ubuntu noble/main riscv64 libext2fs2t64 riscv64 1.47.0-2.4~exp1ubuntu4 [243 kB] Get:127 http://ftpmaster.internal/ubuntu noble/main riscv64 e2fsprogs riscv64 1.47.0-2.4~exp1ubuntu4 [604 kB] Get:128 http://ftpmaster.internal/ubuntu noble/main riscv64 optipng riscv64 0.7.8+ds-1build2 [115 kB] Get:129 http://ftpmaster.internal/ubuntu noble/main riscv64 libpng16-16t64 riscv64 1.6.43-5build1 [193 kB] Get:130 http://ftpmaster.internal/ubuntu noble/main riscv64 init riscv64 1.66ubuntu1 [6190 B] Get:131 http://ftpmaster.internal/ubuntu noble/main riscv64 libsmartcols1 riscv64 2.39.3-9ubuntu6 [146 kB] Get:132 http://ftpmaster.internal/ubuntu noble/main riscv64 uuid-runtime riscv64 2.39.3-9ubuntu6 [49.2 kB] Get:133 http://ftpmaster.internal/ubuntu noble/main riscv64 libattr1 riscv64 1:2.5.2-1build1 [11.4 kB] Get:134 http://ftpmaster.internal/ubuntu noble/main riscv64 libmd0 riscv64 1.1.0-2build1 [30.5 kB] Get:135 http://ftpmaster.internal/ubuntu noble/main riscv64 libpam-runtime all 1.5.3-5ubuntu5 [40.8 kB] Get:136 http://ftpmaster.internal/ubuntu noble/main riscv64 libsemanage-common all 3.5-1build5 [10.1 kB] Get:137 http://ftpmaster.internal/ubuntu noble/main riscv64 libsepol2 riscv64 3.5-2build1 [319 kB] Get:138 http://ftpmaster.internal/ubuntu noble/main riscv64 libsemanage2 riscv64 3.5-1build5 [101 kB] Get:139 http://ftpmaster.internal/ubuntu noble/main riscv64 passwd riscv64 1:4.13+dfsg1-4ubuntu3 [864 kB] Get:140 http://ftpmaster.internal/ubuntu noble/main riscv64 libproc2-0 riscv64 2:4.0.4-4ubuntu3 [60.9 kB] Get:141 http://ftpmaster.internal/ubuntu noble/main riscv64 libss2 riscv64 1.47.0-2.4~exp1ubuntu4 [17.1 kB] Get:142 http://ftpmaster.internal/ubuntu noble/main riscv64 mawk riscv64 1.3.4.20240123-1build1 [129 kB] Get:143 http://ftpmaster.internal/ubuntu noble/main riscv64 procps riscv64 2:4.0.4-4ubuntu3 [715 kB] Get:144 http://ftpmaster.internal/ubuntu noble/main riscv64 sensible-utils all 0.0.22 [22.5 kB] Get:145 http://ftpmaster.internal/ubuntu noble/main riscv64 ca-certificates all 20240203 [159 kB] Get:146 http://ftpmaster.internal/ubuntu noble/main riscv64 krb5-locales all 1.20.1-6ubuntu2 [13.8 kB] Get:147 http://ftpmaster.internal/ubuntu noble/main riscv64 tzdata all 2024a-2ubuntu1 [273 kB] Get:148 http://ftpmaster.internal/ubuntu noble/main riscv64 bash-completion all 1:2.11-8 [180 kB] Get:149 http://ftpmaster.internal/ubuntu noble/main riscv64 bsdextrautils riscv64 2.39.3-9ubuntu6 [92.2 kB] Get:150 http://ftpmaster.internal/ubuntu noble/main riscv64 libgpm2 riscv64 1.20.7-11 [15.0 kB] Get:151 http://ftpmaster.internal/ubuntu noble/main riscv64 libip4tc2 riscv64 1.8.10-3ubuntu2 [23.9 kB] Get:152 http://ftpmaster.internal/ubuntu noble/main riscv64 libjansson4 riscv64 2.14-2build2 [34.7 kB] Get:153 http://ftpmaster.internal/ubuntu noble/main riscv64 psmisc riscv64 23.7-1build1 [177 kB] Get:154 http://ftpmaster.internal/ubuntu noble/main riscv64 xz-utils riscv64 5.6.1+really5.4.5-1 [269 kB] Get:155 http://ftpmaster.internal/ubuntu noble/main riscv64 advancecomp riscv64 2.5-1build1 [237 kB] Get:156 http://ftpmaster.internal/ubuntu noble/main riscv64 libctf0 riscv64 2.42-4ubuntu2 [104 kB] Get:157 http://ftpmaster.internal/ubuntu noble/main riscv64 libctf-nobfd0 riscv64 2.42-4ubuntu2 [106 kB] Get:158 http://ftpmaster.internal/ubuntu noble/main riscv64 binutils-riscv64-linux-gnu riscv64 2.42-4ubuntu2 [899 kB] Get:159 http://ftpmaster.internal/ubuntu noble/main riscv64 libbinutils riscv64 2.42-4ubuntu2 [566 kB] Get:160 http://ftpmaster.internal/ubuntu noble/main riscv64 binutils riscv64 2.42-4ubuntu2 [2984 B] Get:161 http://ftpmaster.internal/ubuntu noble/main riscv64 binutils-common riscv64 2.42-4ubuntu2 [209 kB] Get:162 http://ftpmaster.internal/ubuntu noble/main riscv64 libsframe1 riscv64 2.42-4ubuntu2 [15.7 kB] Get:163 http://ftpmaster.internal/ubuntu noble/main riscv64 libisl23 riscv64 0.26-3build1 [718 kB] Get:164 http://ftpmaster.internal/ubuntu noble/main riscv64 libmpfr6 riscv64 4.2.1-1build1 [293 kB] Get:165 http://ftpmaster.internal/ubuntu noble/main riscv64 libmpc3 riscv64 1.3.1-1build1 [59.7 kB] Get:166 http://ftpmaster.internal/ubuntu noble/main riscv64 dpkg-dev all 1.22.6ubuntu6 [1074 kB] Get:167 http://ftpmaster.internal/ubuntu noble/main riscv64 libdpkg-perl all 1.22.6ubuntu6 [268 kB] Get:168 http://ftpmaster.internal/ubuntu noble/main riscv64 patch riscv64 2.7.6-7build3 [113 kB] Get:169 http://ftpmaster.internal/ubuntu noble/main riscv64 make riscv64 4.3-4.1build2 [178 kB] Get:170 http://ftpmaster.internal/ubuntu noble/main riscv64 lto-disabled-list all 47 [12.4 kB] Get:171 http://ftpmaster.internal/ubuntu noble/main riscv64 libfakeroot riscv64 1.33-1 [34.6 kB] Get:172 http://ftpmaster.internal/ubuntu noble/main riscv64 fakeroot riscv64 1.33-1 [78.4 kB] Get:173 http://ftpmaster.internal/ubuntu noble/main riscv64 liblockfile-bin riscv64 1.17-1build3 [11.6 kB] Get:174 http://ftpmaster.internal/ubuntu noble/main riscv64 liblockfile1 riscv64 1.17-1build3 [7002 B] Get:175 http://ftpmaster.internal/ubuntu noble/main riscv64 lockfile-progs riscv64 0.1.19build2 [8288 B] Get:176 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/volatile/ubuntu noble/main riscv64 g++ riscv64 4:14-20240120-6ubuntu1 [1088 B] Get:177 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/volatile/ubuntu noble/main riscv64 gcc riscv64 4:14-20240120-6ubuntu1 [4998 B] Get:178 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/volatile/ubuntu noble/main riscv64 cpp riscv64 4:14-20240120-6ubuntu1 [22.5 kB] Get:179 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/volatile/ubuntu noble/main riscv64 cpp-riscv64-linux-gnu riscv64 4:14-20240120-6ubuntu1 [5368 B] Get:180 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 libcc1-0 riscv64 14-20240429-1ubuntu1 [45.2 kB] Get:181 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 libgomp1 riscv64 14-20240429-1ubuntu1 [145 kB] Get:182 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 libatomic1 riscv64 14-20240429-1ubuntu1 [9500 B] Get:183 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 libasan8 riscv64 14-20240429-1ubuntu1 [2624 kB] Get:184 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 liblsan0 riscv64 14-20240429-1ubuntu1 [1184 kB] Get:185 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 g++-13 riscv64 13.2.0-24ubuntu1 [15.0 kB] Get:186 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 gcc-13 riscv64 13.2.0-24ubuntu1 [455 kB] Get:187 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 cpp-13 riscv64 13.2.0-24ubuntu1 [1030 B] Get:188 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 cpp-13-riscv64-linux-gnu riscv64 13.2.0-24ubuntu1 [10.3 MB] Get:189 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 libstdc++-13-dev riscv64 13.2.0-24ubuntu1 [5943 kB] Get:190 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 libgcc-13-dev riscv64 13.2.0-24ubuntu1 [3858 kB] Get:191 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 gcc-13-base riscv64 13.2.0-24ubuntu1 [49.3 kB] Get:192 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 gcc-13-riscv64-linux-gnu riscv64 13.2.0-24ubuntu1 [19.7 MB] Get:193 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 g++-13-riscv64-linux-gnu riscv64 13.2.0-24ubuntu1 [11.7 MB] Get:194 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 libubsan1 riscv64 14-20240429-1ubuntu1 [1079 kB] Get:195 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 libtsan2 riscv64 14-20240429-1ubuntu1 [2502 kB] Get:196 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 libgcc-14-dev riscv64 14-20240429-1ubuntu1 [6216 kB] Get:197 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 gcc-14-riscv64-linux-gnu riscv64 14-20240429-1ubuntu1 [108 MB] Get:198 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 libstdc++-14-dev riscv64 14-20240429-1ubuntu1 [6236 kB] Get:199 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 g++-14-riscv64-linux-gnu riscv64 14-20240429-1ubuntu1 [102 MB] Get:200 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 gcc-14 riscv64 14-20240429-1ubuntu1 [458 kB] Get:201 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 g++-14 riscv64 14-20240429-1ubuntu1 [15.4 kB] Get:202 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/volatile/ubuntu noble/main riscv64 gcc-riscv64-linux-gnu riscv64 4:14-20240120-6ubuntu1 [1208 B] Get:203 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/volatile/ubuntu noble/main riscv64 g++-riscv64-linux-gnu riscv64 4:14-20240120-6ubuntu1 [966 B] Get:204 http://ppa.launchpadcontent.net/ubuntu-toolchain-r/ppa/ubuntu noble/main riscv64 cpp-14 riscv64 14-20240429-1ubuntu1 [1034 B] Preconfiguring packages ... Fetched 436 MB in 47s (9339 kB/s) (Reading database ... 13552 files and directories currently installed.) Preparing to unpack .../libtirpc-common_1.3.4+ds-1.1build1_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1.1build1) over (1.3.3+ds-1) ... Preparing to unpack .../libtirpc-dev_1.3.4+ds-1.1build1_riscv64.deb ... Unpacking libtirpc-dev:riscv64 (1.3.4+ds-1.1build1) over (1.3.3+ds-1) ... Preparing to unpack .../libnsl-dev_1.3.0-3build3_riscv64.deb ... Unpacking libnsl-dev:riscv64 (1.3.0-3build3) over (1.3.0-2build2) ... Preparing to unpack .../libnsl2_1.3.0-3build3_riscv64.deb ... Unpacking libnsl2:riscv64 (1.3.0-3build3) over (1.3.0-2build2) ... dpkg: libtirpc3:riscv64: dependency problems, but removing anyway as you requested: libnss-nisplus:riscv64 depends on libtirpc3 (>= 1.0.2). (Reading database ... 13552 files and directories currently installed.) Removing libtirpc3:riscv64 (1.3.3+ds-1) ... Selecting previously unselected package libtirpc3t64:riscv64. (Reading database ... 13546 files and directories currently installed.) Preparing to unpack .../0-libtirpc3t64_1.3.4+ds-1.1build1_riscv64.deb ... Adding 'diversion of /lib/riscv64-linux-gnu/libtirpc.so.3 to /lib/riscv64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64' Adding 'diversion of /lib/riscv64-linux-gnu/libtirpc.so.3.0.0 to /lib/riscv64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Unpacking libtirpc3t64:riscv64 (1.3.4+ds-1.1build1) ... Preparing to unpack .../1-libgssapi-krb5-2_1.20.1-6ubuntu2_riscv64.deb ... Unpacking libgssapi-krb5-2:riscv64 (1.20.1-6ubuntu2) over (1.20.1-3ubuntu1) ... Preparing to unpack .../2-libkrb5-3_1.20.1-6ubuntu2_riscv64.deb ... Unpacking libkrb5-3:riscv64 (1.20.1-6ubuntu2) over (1.20.1-3ubuntu1) ... Preparing to unpack .../3-libk5crypto3_1.20.1-6ubuntu2_riscv64.deb ... Unpacking libk5crypto3:riscv64 (1.20.1-6ubuntu2) over (1.20.1-3ubuntu1) ... Preparing to unpack .../4-libkrb5support0_1.20.1-6ubuntu2_riscv64.deb ... Unpacking libkrb5support0:riscv64 (1.20.1-6ubuntu2) over (1.20.1-3ubuntu1) ... Preparing to unpack .../5-libacl1_2.3.2-1build1_riscv64.deb ... Unpacking libacl1:riscv64 (2.3.2-1build1) over (2.3.1-3) ... Setting up libacl1:riscv64 (2.3.2-1build1) ... (Reading database ... 13557 files and directories currently installed.) Preparing to unpack .../libapparmor1_4.0.0-beta3-0ubuntu3_riscv64.deb ... Unpacking libapparmor1:riscv64 (4.0.0-beta3-0ubuntu3) over (4.0.0~alpha2-0ubuntu5) ... Preparing to unpack .../libaudit-common_1%3a3.1.2-2.1build1_all.deb ... Unpacking libaudit-common (1:3.1.2-2.1build1) over (1:3.1.1-1) ... Setting up libaudit-common (1:3.1.2-2.1build1) ... (Reading database ... 13557 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.8.4-2build2_riscv64.deb ... Unpacking libcap-ng0:riscv64 (0.8.4-2build2) over (0.8.3-1build2) ... Setting up libcap-ng0:riscv64 (0.8.4-2build2) ... (Reading database ... 13557 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a3.1.2-2.1build1_riscv64.deb ... Unpacking libaudit1:riscv64 (1:3.1.2-2.1build1) over (1:3.1.1-1) ... Setting up libaudit1:riscv64 (1:3.1.2-2.1build1) ... (Reading database ... 13557 files and directories currently installed.) Preparing to unpack .../libblkid1_2.39.3-9ubuntu6_riscv64.deb ... Unpacking libblkid1:riscv64 (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ... Setting up libblkid1:riscv64 (2.39.3-9ubuntu6) ... (Reading database ... 13557 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.66-5ubuntu2_riscv64.deb ... Unpacking libcap2:riscv64 (1:2.66-5ubuntu2) over (1:2.66-4ubuntu1) ... Setting up libcap2:riscv64 (1:2.66-5ubuntu2) ... (Reading database ... 13557 files and directories currently installed.) Preparing to unpack .../libcrypt-dev_1%3a4.4.36-4build1_riscv64.deb ... Unpacking libcrypt-dev:riscv64 (1:4.4.36-4build1) over (1:4.4.36-2) ... Preparing to unpack .../libcrypt1_1%3a4.4.36-4build1_riscv64.deb ... Unpacking libcrypt1:riscv64 (1:4.4.36-4build1) over (1:4.4.36-2) ... Setting up libcrypt1:riscv64 (1:4.4.36-4build1) ... (Reading database ... 13557 files and directories currently installed.) Preparing to unpack .../libgpg-error-l10n_1.47-3build2_all.deb ... Unpacking libgpg-error-l10n (1.47-3build2) over (1.47-2) ... Preparing to unpack .../libgpg-error0_1.47-3build2_riscv64.deb ... Unpacking libgpg-error0:riscv64 (1.47-3build2) over (1.47-2) ... Setting up libgpg-error0:riscv64 (1.47-3build2) ... (Reading database ... 13557 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.10.3-2build1_riscv64.deb ... Unpacking libgcrypt20:riscv64 (1.10.3-2build1) over (1.10.2-3ubuntu1) ... Setting up libgcrypt20:riscv64 (1.10.3-2build1) ... (Reading database ... 13557 files and directories currently installed.) Preparing to unpack .../liblzma5_5.6.1+really5.4.5-1_riscv64.deb ... Unpacking liblzma5:riscv64 (5.6.1+really5.4.5-1) over (5.4.1-0.2) ... Setting up liblzma5:riscv64 (5.6.1+really5.4.5-1) ... (Reading database ... 13557 files and directories currently installed.) Preparing to unpack .../libzstd1_1.5.5+dfsg2-2build1_riscv64.deb ... Unpacking libzstd1:riscv64 (1.5.5+dfsg2-2build1) over (1.5.5+dfsg2-1ubuntu2) ... Setting up libzstd1:riscv64 (1.5.5+dfsg2-2build1) ... (Reading database ... 13557 files and directories currently installed.) Preparing to unpack .../libkmod2_31+20240202-2ubuntu7_riscv64.deb ... Unpacking libkmod2:riscv64 (31+20240202-2ubuntu7) over (30+20230519-1ubuntu3) ... Preparing to unpack .../liblz4-1_1.9.4-1build1_riscv64.deb ... Unpacking liblz4-1:riscv64 (1.9.4-1build1) over (1.9.4-1) ... Setting up liblz4-1:riscv64 (1.9.4-1build1) ... (Reading database ... 13557 files and directories currently installed.) Preparing to unpack .../libpcre2-8-0_10.42-4ubuntu2_riscv64.deb ... Unpacking libpcre2-8-0:riscv64 (10.42-4ubuntu2) over (10.42-4) ... Setting up libpcre2-8-0:riscv64 (10.42-4ubuntu2) ... (Reading database ... 13557 files and directories currently installed.) Preparing to unpack .../libselinux1_3.5-2ubuntu2_riscv64.deb ... Unpacking libselinux1:riscv64 (3.5-2ubuntu2) over (3.5-1) ... Setting up libselinux1:riscv64 (3.5-2ubuntu2) ... (Reading database ... 13558 files and directories currently installed.) Preparing to unpack .../libmount1_2.39.3-9ubuntu6_riscv64.deb ... Unpacking libmount1:riscv64 (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ... Setting up libmount1:riscv64 (2.39.3-9ubuntu6) ... (Reading database ... 13558 files and directories currently installed.) Preparing to unpack .../perl_5.38.2-3.2build2_riscv64.deb ... Unpacking perl (5.38.2-3.2build2) over (5.36.0-9ubuntu1) ... Selecting previously unselected package perl-modules-5.38. Preparing to unpack .../perl-modules-5.38_5.38.2-3.2build2_all.deb ... Unpacking perl-modules-5.38 (5.38.2-3.2build2) ... dpkg: libdb5.3:riscv64: dependency problems, but removing anyway as you requested: libperl5.36:riscv64 depends on libdb5.3. libpam-modules:riscv64 depends on libdb5.3. apt-utils depends on libdb5.3. (Reading database ... 14970 files and directories currently installed.) Removing libdb5.3:riscv64 (5.3.28+dfsg2-2) ... Selecting previously unselected package libdb5.3t64:riscv64. (Reading database ... 14964 files and directories currently installed.) Preparing to unpack .../libdb5.3t64_5.3.28+dfsg2-7_riscv64.deb ... Unpacking libdb5.3t64:riscv64 (5.3.28+dfsg2-7) ... dpkg: libgdbm6:riscv64: dependency problems, but removing anyway as you requested: libperl5.36:riscv64 depends on libgdbm6 (>= 1.21). libgdbm-compat4:riscv64 depends on libgdbm6 (>= 1.16). (Reading database ... 14970 files and directories currently installed.) Removing libgdbm6:riscv64 (1.23-3) ... Selecting previously unselected package libgdbm6t64:riscv64. (Reading database ... 14965 files and directories currently installed.) Preparing to unpack .../libgdbm6t64_1.23-5.1build1_riscv64.deb ... Unpacking libgdbm6t64:riscv64 (1.23-5.1build1) ... dpkg: libgdbm-compat4:riscv64: dependency problems, but removing anyway as you requested: libperl5.36:riscv64 depends on libgdbm-compat4 (>= 1.18-3). (Reading database ... 14971 files and directories currently installed.) Removing libgdbm-compat4:riscv64 (1.23-3) ... Selecting previously unselected package libgdbm-compat4t64:riscv64. (Reading database ... 14966 files and directories currently installed.) Preparing to unpack .../libgdbm-compat4t64_1.23-5.1build1_riscv64.deb ... Unpacking libgdbm-compat4t64:riscv64 (1.23-5.1build1) ... Selecting previously unselected package libperl5.38t64:riscv64. Preparing to unpack .../libperl5.38t64_5.38.2-3.2build2_riscv64.deb ... Unpacking libperl5.38t64:riscv64 (5.38.2-3.2build2) ... Preparing to unpack .../perl-base_5.38.2-3.2build2_riscv64.deb ... Unpacking perl-base (5.38.2-3.2build2) over (5.36.0-9ubuntu1) ... Setting up perl-base (5.38.2-3.2build2) ... (Reading database ... 15492 files and directories currently installed.) Preparing to unpack .../0-liblocale-gettext-perl_1.07-6ubuntu5_riscv64.deb ... Unpacking liblocale-gettext-perl (1.07-6ubuntu5) over (1.07-6) ... Preparing to unpack .../1-libtext-iconv-perl_1.7-8build3_riscv64.deb ... Unpacking libtext-iconv-perl:riscv64 (1.7-8build3) over (1.7-8) ... Preparing to unpack .../2-libtext-charwidth-perl_0.04-11build3_riscv64.deb ... Unpacking libtext-charwidth-perl:riscv64 (0.04-11build3) over (0.04-11) ... Preparing to unpack .../3-openssl_3.0.13-0ubuntu3_riscv64.deb ... Unpacking openssl (3.0.13-0ubuntu3) over (3.0.10-1ubuntu2) ... Preparing to unpack .../4-libsystemd-shared_255.4-1ubuntu8_riscv64.deb ... Unpacking libsystemd-shared:riscv64 (255.4-1ubuntu8) over (253.5-1ubuntu6) ... Preparing to unpack .../5-libcryptsetup12_2%3a2.7.0-1ubuntu4_riscv64.deb ... Unpacking libcryptsetup12:riscv64 (2:2.7.0-1ubuntu4) over (2:2.6.1-4ubuntu3) ... dpkg: libssl3:riscv64: dependency problems, but removing anyway as you requested: systemd depends on libssl3 (>= 3.0.0). (Reading database ... 15491 files and directories currently installed.) Removing libssl3:riscv64 (3.0.10-1ubuntu2) ... Selecting previously unselected package libssl3t64:riscv64. (Reading database ... 15480 files and directories currently installed.) Preparing to unpack .../libssl3t64_3.0.13-0ubuntu3_riscv64.deb ... Unpacking libssl3t64:riscv64 (3.0.13-0ubuntu3) ... Setting up libssl3t64:riscv64 (3.0.13-0ubuntu3) ... (Reading database ... 15493 files and directories currently installed.) Preparing to unpack .../systemd-dev_255.4-1ubuntu8_all.deb ... Unpacking systemd-dev (255.4-1ubuntu8) over (253.5-1ubuntu6) ... Preparing to unpack .../systemd-sysv_255.4-1ubuntu8_riscv64.deb ... Unpacking systemd-sysv (255.4-1ubuntu8) over (253.5-1ubuntu6) ... Preparing to unpack .../systemd_255.4-1ubuntu8_riscv64.deb ... Unpacking systemd (255.4-1ubuntu8) over (253.5-1ubuntu6) ... dpkg: warning: unable to delete old directory '/lib/systemd/system-preset': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system-generators': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/user@0.service.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/user@.service.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/user-.slice.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/timers.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/systemd-localed.service.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/sysinit.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/sockets.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/rescue.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/rc-local.service.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/multi-user.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/initrd.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/initrd-root-fs.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/initrd-root-device.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/graphical.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/getty.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/network': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/journald.conf.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/modprobe.d': Directory not empty Preparing to unpack .../libsystemd0_255.4-1ubuntu8_riscv64.deb ... Unpacking libsystemd0:riscv64 (255.4-1ubuntu8) over (253.5-1ubuntu6) ... Setting up libsystemd0:riscv64 (255.4-1ubuntu8) ... (Reading database ... 15655 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.5.3-5ubuntu5_riscv64.deb ... Unpacking libpam-modules-bin (1.5.3-5ubuntu5) over (1.5.2-6ubuntu1) ... Setting up libpam-modules-bin (1.5.3-5ubuntu5) ... (Reading database ... 15654 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.5.3-5ubuntu5_riscv64.deb ... Unpacking libpam-modules:riscv64 (1.5.3-5ubuntu5) over (1.5.2-6ubuntu1) ... dpkg: warning: unable to delete old directory '/lib/riscv64-linux-gnu/security': Directory not empty Setting up libpam-modules:riscv64 (1.5.3-5ubuntu5) ... Installing new version of config file /etc/security/namespace.init ... dpkg: libhogweed6:riscv64: dependency problems, but removing anyway as you requested: libgnutls30:riscv64 depends on libhogweed6 (>= 3.6). (Reading database ... 15651 files and directories currently installed.) Removing libhogweed6:riscv64 (3.9.1-2) ... dpkg: libnettle8:riscv64: dependency problems, but removing anyway as you requested: libgnutls30:riscv64 depends on libnettle8 (>= 3.7~). Removing libnettle8:riscv64 (3.9.1-2) ... Selecting previously unselected package libnettle8t64:riscv64. (Reading database ... 15639 files and directories currently installed.) Preparing to unpack .../libnettle8t64_3.9.1-2.2build1_riscv64.deb ... Unpacking libnettle8t64:riscv64 (3.9.1-2.2build1) ... Setting up libnettle8t64:riscv64 (3.9.1-2.2build1) ... Selecting previously unselected package libhogweed6t64:riscv64. (Reading database ... 15647 files and directories currently installed.) Preparing to unpack .../libhogweed6t64_3.9.1-2.2build1_riscv64.deb ... Unpacking libhogweed6t64:riscv64 (3.9.1-2.2build1) ... Setting up libhogweed6t64:riscv64 (3.9.1-2.2build1) ... (Reading database ... 15653 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.25.3-4ubuntu2_riscv64.deb ... Unpacking libp11-kit0:riscv64 (0.25.3-4ubuntu2) over (0.25.0-4ubuntu1) ... Setting up libp11-kit0:riscv64 (0.25.3-4ubuntu2) ... Selecting previously unselected package libunistring5:riscv64. (Reading database ... 15653 files and directories currently installed.) Preparing to unpack .../libunistring5_1.1-2build1_riscv64.deb ... Unpacking libunistring5:riscv64 (1.1-2build1) ... Setting up libunistring5:riscv64 (1.1-2build1) ... dpkg: libgnutls30:riscv64: dependency problems, but removing anyway as you requested: apt depends on libgnutls30 (>= 3.7.5). (Reading database ... 15658 files and directories currently installed.) Removing libgnutls30:riscv64 (3.8.1-4ubuntu1) ... Selecting previously unselected package libgnutls30t64:riscv64. (Reading database ... 15648 files and directories currently installed.) Preparing to unpack .../libgnutls30t64_3.8.3-1.1ubuntu3_riscv64.deb ... Unpacking libgnutls30t64:riscv64 (3.8.3-1.1ubuntu3) ... Setting up libgnutls30t64:riscv64 (3.8.3-1.1ubuntu3) ... dpkg: libapt-pkg6.0:riscv64: dependency problems, but removing anyway as you requested: apt-utils depends on libapt-pkg6.0 (>= 2.7.3). apt depends on libapt-pkg6.0 (>= 2.7.3). (Reading database ... 15660 files and directories currently installed.) Removing libapt-pkg6.0:riscv64 (2.7.3) ... Selecting previously unselected package libapt-pkg6.0t64:riscv64. (Reading database ... 15611 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0t64_2.7.14build2_riscv64.deb ... Unpacking libapt-pkg6.0t64:riscv64 (2.7.14build2) ... Setting up libapt-pkg6.0t64:riscv64 (2.7.14build2) ... (Reading database ... 15661 files and directories currently installed.) Preparing to unpack .../bzip2_1.0.8-5.1_riscv64.deb ... Unpacking bzip2 (1.0.8-5.1) over (1.0.8-5build1) ... dpkg: warning: old file '/bin/bzip2' is the same as several new files! (both '/usr/bin/bunzip2' and '/usr/bin/bzcat') dpkg: warning: old file '/bin/bzip2' is the same as several new files! (both '/usr/bin/bzcat' and '/usr/bin/bzip2') dpkg: warning: old file '/bin/bzcat' is the same as several new files! (both '/usr/bin/bunzip2' and '/usr/bin/bzcat') dpkg: warning: old file '/bin/bzcat' is the same as several new files! (both '/usr/bin/bzcat' and '/usr/bin/bzip2') dpkg: warning: old file '/bin/bunzip2' is the same as several new files! (both '/usr/bin/bunzip2' and '/usr/bin/bzcat') dpkg: warning: old file '/bin/bunzip2' is the same as several new files! (both '/usr/bin/bzcat' and '/usr/bin/bzip2') Preparing to unpack .../libbz2-1.0_1.0.8-5.1_riscv64.deb ... Unpacking libbz2-1.0:riscv64 (1.0.8-5.1) over (1.0.8-5build1) ... Setting up libbz2-1.0:riscv64 (1.0.8-5.1) ... Selecting previously unselected package gcc-14-base:riscv64. (Reading database ... 15661 files and directories currently installed.) Preparing to unpack .../gcc-14-base_14-20240429-1ubuntu1_riscv64.deb ... Unpacking gcc-14-base:riscv64 (14-20240429-1ubuntu1) ... Setting up gcc-14-base:riscv64 (14-20240429-1ubuntu1) ... (Reading database ... 15666 files and directories currently installed.) Preparing to unpack .../libgcc-s1_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libgcc-s1:riscv64 (14-20240429-1ubuntu1) over (13.2.0-4ubuntu3) ... Setting up libgcc-s1:riscv64 (14-20240429-1ubuntu1) ... (Reading database ... 15666 files and directories currently installed.) Preparing to unpack .../libstdc++6_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libstdc++6:riscv64 (14-20240429-1ubuntu1) over (13.2.0-4ubuntu3) ... Setting up libstdc++6:riscv64 (14-20240429-1ubuntu1) ... (Reading database ... 15666 files and directories currently installed.) Preparing to unpack .../libudev1_255.4-1ubuntu8_riscv64.deb ... Unpacking libudev1:riscv64 (255.4-1ubuntu8) over (253.5-1ubuntu6) ... Setting up libudev1:riscv64 (255.4-1ubuntu8) ... (Reading database ... 15666 files and directories currently installed.) Preparing to unpack .../libxxhash0_0.8.2-2build1_riscv64.deb ... Unpacking libxxhash0:riscv64 (0.8.2-2build1) over (0.8.1-1) ... Setting up libxxhash0:riscv64 (0.8.2-2build1) ... (Reading database ... 15666 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.3.dfsg-3.1ubuntu2_riscv64.deb ... Unpacking zlib1g:riscv64 (1:1.3.dfsg-3.1ubuntu2) over (1:1.2.13.dfsg-1ubuntu5) ... Setting up zlib1g:riscv64 (1:1.3.dfsg-3.1ubuntu2) ... (Reading database ... 15666 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-2ubuntu6_riscv64.deb ... Unpacking libgmp10:riscv64 (2:6.3.0+dfsg-2ubuntu6) over (2:6.3.0+dfsg-2ubuntu4) ... Setting up libgmp10:riscv64 (2:6.3.0+dfsg-2ubuntu6) ... (Reading database ... 15666 files and directories currently installed.) Preparing to unpack .../libffi8_3.4.6-1build1_riscv64.deb ... Unpacking libffi8:riscv64 (3.4.6-1build1) over (3.4.4-1) ... Setting up libffi8:riscv64 (3.4.6-1build1) ... (Reading database ... 15666 files and directories currently installed.) Preparing to unpack .../libidn2-0_2.3.7-2build1_riscv64.deb ... Unpacking libidn2-0:riscv64 (2.3.7-2build1) over (2.3.4-1) ... Setting up libidn2-0:riscv64 (2.3.7-2build1) ... (Reading database ... 15666 files and directories currently installed.) Preparing to unpack .../libtasn1-6_4.19.0-3build1_riscv64.deb ... Unpacking libtasn1-6:riscv64 (4.19.0-3build1) over (4.19.0-3) ... Setting up libtasn1-6:riscv64 (4.19.0-3build1) ... (Reading database ... 15666 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.271ubuntu3_riscv64.deb ... Unpacking libdebconfclient0:riscv64 (0.271ubuntu3) over (0.270ubuntu1) ... Setting up libdebconfclient0:riscv64 (0.271ubuntu3) ... (Reading database ... 15666 files and directories currently installed.) Preparing to unpack .../base-passwd_3.6.3build1_riscv64.deb ... Unpacking base-passwd (3.6.3build1) over (3.6.1) ... Setting up base-passwd (3.6.3build1) ... (Reading database ... 15666 files and directories currently installed.) Preparing to unpack .../libassuan0_2.5.6-1build1_riscv64.deb ... Unpacking libassuan0:riscv64 (2.5.6-1build1) over (2.5.6-1) ... Setting up libassuan0:riscv64 (2.5.6-1build1) ... (Reading database ... 15666 files and directories currently installed.) Preparing to unpack .../libsqlite3-0_3.45.1-1ubuntu2_riscv64.deb ... Unpacking libsqlite3-0:riscv64 (3.45.1-1ubuntu2) over (3.42.0-1) ... Preparing to unpack .../gpg_2.4.4-2ubuntu17_riscv64.deb ... Unpacking gpg (2.4.4-2ubuntu17) over (2.2.40-1.1ubuntu1) ... dpkg: libreadline8:riscv64: dependency problems, but removing anyway as you requested: gpgconf depends on libreadline8 (>= 6.0). (Reading database ... 15666 files and directories currently installed.) Removing libreadline8:riscv64 (8.2-1.3) ... Selecting previously unselected package libreadline8t64:riscv64. (Reading database ... 15654 files and directories currently installed.) Preparing to unpack .../libreadline8t64_8.2-4build1_riscv64.deb ... Adding 'diversion of /lib/riscv64-linux-gnu/libhistory.so.8 to /lib/riscv64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/riscv64-linux-gnu/libhistory.so.8.2 to /lib/riscv64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/riscv64-linux-gnu/libreadline.so.8 to /lib/riscv64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/riscv64-linux-gnu/libreadline.so.8.2 to /lib/riscv64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:riscv64 (8.2-4build1) ... Preparing to unpack .../readline-common_8.2-4build1_all.deb ... Unpacking readline-common (8.2-4build1) over (8.2-1.3) ... Preparing to unpack .../libncursesw6_6.4+20240113-1ubuntu2_riscv64.deb ... Unpacking libncursesw6:riscv64 (6.4+20240113-1ubuntu2) over (6.4+20230625-2) ... Preparing to unpack .../libtinfo6_6.4+20240113-1ubuntu2_riscv64.deb ... Unpacking libtinfo6:riscv64 (6.4+20240113-1ubuntu2) over (6.4+20230625-2) ... Setting up libtinfo6:riscv64 (6.4+20240113-1ubuntu2) ... (Reading database ... 15674 files and directories currently installed.) Preparing to unpack .../gpg-agent_2.4.4-2ubuntu17_riscv64.deb ... Unpacking gpg-agent (2.4.4-2ubuntu17) over (2.2.40-1.1ubuntu1) ... Preparing to unpack .../gpgconf_2.4.4-2ubuntu17_riscv64.deb ... Unpacking gpgconf (2.4.4-2ubuntu17) over (2.2.40-1.1ubuntu1) ... Preparing to unpack .../pinentry-curses_1.2.1-3ubuntu5_riscv64.deb ... Unpacking pinentry-curses (1.2.1-3ubuntu5) over (1.2.1-1ubuntu1) ... Preparing to unpack .../init-system-helpers_1.66ubuntu1_all.deb ... Unpacking init-system-helpers (1.66ubuntu1) over (1.65.2ubuntu1) ... Setting up init-system-helpers (1.66ubuntu1) ... (Reading database ... 15673 files and directories currently installed.) Removing libnpth0:riscv64 (1.6-3build2) ... Selecting previously unselected package libnpth0t64:riscv64. (Reading database ... 15668 files and directories currently installed.) Preparing to unpack .../libnpth0t64_1.6-3.1build1_riscv64.deb ... Unpacking libnpth0t64:riscv64 (1.6-3.1build1) ... Setting up libnpth0t64:riscv64 (1.6-3.1build1) ... (Reading database ... 15674 files and directories currently installed.) Preparing to unpack .../gpgv_2.4.4-2ubuntu17_riscv64.deb ... Unpacking gpgv (2.4.4-2ubuntu17) over (2.2.40-1.1ubuntu1) ... Setting up gpgv (2.4.4-2ubuntu17) ... (Reading database ... 15674 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 ... 15674 files and directories currently installed.) Preparing to unpack .../apt-utils_2.7.14build2_riscv64.deb ... Unpacking apt-utils (2.7.14build2) over (2.7.3) ... Preparing to unpack .../apt_2.7.14build2_riscv64.deb ... Unpacking apt (2.7.14build2) over (2.7.3) ... Setting up apt (2.7.14build2) ... (Reading database ... 15674 files and directories currently installed.) Preparing to unpack .../debconf-i18n_1.5.86ubuntu1_all.deb ... Unpacking debconf-i18n (1.5.86ubuntu1) over (1.5.82) ... Preparing to unpack .../debconf_1.5.86ubuntu1_all.deb ... Unpacking debconf (1.5.86ubuntu1) over (1.5.82) ... Setting up debconf (1.5.86ubuntu1) ... Installing new version of config file /etc/debconf.conf ... (Reading database ... 15673 files and directories currently installed.) Preparing to unpack .../libpam0g_1.5.3-5ubuntu5_riscv64.deb ... Unpacking libpam0g:riscv64 (1.5.3-5ubuntu5) over (1.5.2-6ubuntu1) ... Setting up libpam0g:riscv64 (1.5.3-5ubuntu5) ... (Reading database ... 15672 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.5.5-1ubuntu3_riscv64.deb ... Unpacking libseccomp2:riscv64 (2.5.5-1ubuntu3) over (2.5.4-1ubuntu3) ... Preparing to unpack .../libargon2-1_0~20190702+dfsg-4build1_riscv64.deb ... Unpacking libargon2-1:riscv64 (0~20190702+dfsg-4build1) over (0~20190702+dfsg-3) ... Preparing to unpack .../libdevmapper1.02.1_2%3a1.02.185-3ubuntu3_riscv64.deb ... Unpacking libdevmapper1.02.1:riscv64 (2:1.02.185-3ubuntu3) over (2:1.02.185-2ubuntu1) ... Preparing to unpack .../libjson-c5_0.17-1build1_riscv64.deb ... Unpacking libjson-c5:riscv64 (0.17-1build1) over (0.17-1) ... Preparing to unpack .../libuuid1_2.39.3-9ubuntu6_riscv64.deb ... Unpacking libuuid1:riscv64 (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ... Setting up libuuid1:riscv64 (2.39.3-9ubuntu6) ... (Reading database ... 15672 files and directories currently installed.) Preparing to unpack .../00-libfdisk1_2.39.3-9ubuntu6_riscv64.deb ... Unpacking libfdisk1:riscv64 (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ... Preparing to unpack .../01-mount_2.39.3-9ubuntu6_riscv64.deb ... Unpacking mount (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ... Preparing to unpack .../02-libcom-err2_1.47.0-2.4~exp1ubuntu4_riscv64.deb ... Unpacking libcom-err2:riscv64 (1.47.0-2.4~exp1ubuntu4) over (1.47.0-2ubuntu1) ... Preparing to unpack .../03-libkeyutils1_1.6.3-3build1_riscv64.deb ... Unpacking libkeyutils1:riscv64 (1.6.3-3build1) over (1.6.3-2) ... Preparing to unpack .../04-libnss-nisplus_1.3-5build1_riscv64.deb ... Unpacking libnss-nisplus:riscv64 (1.3-5build1) over (1.3-0ubuntu6) ... Preparing to unpack .../05-libnss-nis_3.1-0ubuntu7_riscv64.deb ... Unpacking libnss-nis:riscv64 (3.1-0ubuntu7) over (3.1-0ubuntu6) ... Preparing to unpack .../06-rpcsvc-proto_1.4.2-0ubuntu7_riscv64.deb ... Unpacking rpcsvc-proto (1.4.2-0ubuntu7) over (1.4.2-0ubuntu6) ... Preparing to unpack .../07-libc6-dev_2.39-0ubuntu8_riscv64.deb ... Unpacking libc6-dev:riscv64 (2.39-0ubuntu8) over (2.38-1ubuntu6) ... Preparing to unpack .../08-libc-dev-bin_2.39-0ubuntu8_riscv64.deb ... Unpacking libc-dev-bin (2.39-0ubuntu8) over (2.38-1ubuntu6) ... Preparing to unpack .../09-linux-libc-dev_6.8.0-31.31_riscv64.deb ... Unpacking linux-libc-dev:riscv64 (6.8.0-31.31) over (6.5.0-9.9) ... Preparing to unpack .../10-libc6_2.39-0ubuntu8_riscv64.deb ... Unpacking libc6:riscv64 (2.39-0ubuntu8) over (2.38-1ubuntu6) ... Setting up libc6:riscv64 (2.39-0ubuntu8) ... (Reading database ... 15687 files and directories currently installed.) Preparing to unpack .../libc-bin_2.39-0ubuntu8_riscv64.deb ... Unpacking libc-bin (2.39-0ubuntu8) over (2.38-1ubuntu6) ... Setting up libc-bin (2.39-0ubuntu8) ... (Reading database ... 15687 files and directories currently installed.) Preparing to unpack .../base-files_13ubuntu10_riscv64.deb ... Unpacking base-files (13ubuntu10) over (13ubuntu3) ... Setting up base-files (13ubuntu10) ... 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 ... 15696 files and directories currently installed.) Preparing to unpack .../debianutils_5.17build1_riscv64.deb ... Unpacking debianutils (5.17build1) over (5.8-1) ... Setting up debianutils (5.17build1) ... (Reading database ... 15695 files and directories currently installed.) Preparing to unpack .../bash_5.2.21-2ubuntu4_riscv64.deb ... Unpacking bash (5.2.21-2ubuntu4) over (5.2.15-2ubuntu1) ... Setting up bash (5.2.21-2ubuntu4) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 15695 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.39.3-9ubuntu6_riscv64.deb ... Unpacking bsdutils (1:2.39.3-9ubuntu6) over (1:2.39.1-4ubuntu2) ... Setting up bsdutils (1:2.39.3-9ubuntu6) ... (Reading database ... 15695 files and directories currently installed.) Removing usrmerge (35ubuntu1) ... (Reading database ... 15669 files and directories currently installed.) Preparing to unpack .../coreutils_9.4-3ubuntu6_riscv64.deb ... Unpacking coreutils (9.4-3ubuntu6) over (9.1-1ubuntu2) ... Setting up coreutils (9.4-3ubuntu6) ... (Reading database ... 15674 files and directories currently installed.) Preparing to unpack .../tar_1.35+dfsg-3build1_riscv64.deb ... Unpacking tar (1.35+dfsg-3build1) over (1.34+dfsg-1.2ubuntu1) ... Setting up tar (1.35+dfsg-3build1) ... (Reading database ... 15674 files and directories currently installed.) Preparing to unpack .../dpkg_1.22.6ubuntu6_riscv64.deb ... Unpacking dpkg (1.22.6ubuntu6) over (1.22.0ubuntu1) ... Setting up dpkg (1.22.6ubuntu6) ... (Reading database ... 15672 files and directories currently installed.) Preparing to unpack .../dash_0.5.12-6ubuntu5_riscv64.deb ... Unpacking dash (0.5.12-6ubuntu5) over (0.5.12-6ubuntu1) ... Setting up dash (0.5.12-6ubuntu5) ... (Reading database ... 15671 files and directories currently installed.) Preparing to unpack .../diffutils_1%3a3.10-1build1_riscv64.deb ... Unpacking diffutils (1:3.10-1build1) over (1:3.8-4) ... Setting up diffutils (1:3.10-1build1) ... (Reading database ... 15671 files and directories currently installed.) Preparing to unpack .../findutils_4.9.0-5build1_riscv64.deb ... Unpacking findutils (4.9.0-5build1) over (4.9.0-5) ... Setting up findutils (4.9.0-5build1) ... (Reading database ... 15670 files and directories currently installed.) Preparing to unpack .../grep_3.11-4build1_riscv64.deb ... Unpacking grep (3.11-4build1) over (3.11-2) ... Setting up grep (3.11-4build1) ... (Reading database ... 15670 files and directories currently installed.) Preparing to unpack .../gzip_1.12-1ubuntu3_riscv64.deb ... Unpacking gzip (1.12-1ubuntu3) over (1.12-1ubuntu1) ... dpkg: warning: old file '/bin/uncompress' is the same as several new files! (both '/usr/bin/gunzip' and '/usr/bin/uncompress') dpkg: warning: old file '/bin/gunzip' is the same as several new files! (both '/usr/bin/gunzip' and '/usr/bin/uncompress') Setting up gzip (1.12-1ubuntu3) ... (Reading database ... 15670 files and directories currently installed.) Preparing to unpack .../hostname_3.23+nmu2ubuntu2_riscv64.deb ... Unpacking hostname (3.23+nmu2ubuntu2) over (3.23+nmu1ubuntu1) ... Setting up hostname (3.23+nmu2ubuntu2) ... (Reading database ... 15670 files and directories currently installed.) Preparing to unpack .../login_1%3a4.13+dfsg1-4ubuntu3_riscv64.deb ... Unpacking login (1:4.13+dfsg1-4ubuntu3) over (1:4.13+dfsg1-1ubuntu1) ... Setting up login (1:4.13+dfsg1-4ubuntu3) ... Installing new version of config file /etc/login.defs ... Installing new version of config file /etc/pam.d/login ... (Reading database ... 15670 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.4+20240113-1ubuntu2_riscv64.deb ... Unpacking ncurses-bin (6.4+20240113-1ubuntu2) over (6.4+20230625-2) ... Setting up ncurses-bin (6.4+20240113-1ubuntu2) ... (Reading database ... 15670 files and directories currently installed.) Preparing to unpack .../sed_4.9-2build1_riscv64.deb ... Unpacking sed (4.9-2build1) over (4.9-1) ... Setting up sed (4.9-2build1) ... (Reading database ... 15670 files and directories currently installed.) Preparing to unpack .../util-linux_2.39.3-9ubuntu6_riscv64.deb ... Unpacking util-linux (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ... Setting up util-linux (2.39.3-9ubuntu6) ... (Reading database ... 15672 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.4+20240113-1ubuntu2_all.deb ... Unpacking ncurses-base (6.4+20240113-1ubuntu2) over (6.4+20230625-2) ... Setting up ncurses-base (6.4+20240113-1ubuntu2) ... (Reading database ... 15672 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_3.08-6ubuntu3_riscv64.deb ... Unpacking sysvinit-utils (3.08-6ubuntu3) over (3.07-1ubuntu1) ... dpkg: warning: unable to delete old directory '/lib/lsb/init-functions.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/lsb': Directory not empty dpkg: warning: unable to delete old directory '/lib/init': Directory not empty Setting up sysvinit-utils (3.08-6ubuntu3) ... (Reading database ... 15670 files and directories currently installed.) Preparing to unpack .../logsave_1.47.0-2.4~exp1ubuntu4_riscv64.deb ... Unpacking logsave (1.47.0-2.4~exp1ubuntu4) over (1.47.0-2ubuntu1) ... dpkg: libext2fs2:riscv64: dependency problems, but removing anyway as you requested: e2fsprogs depends on libext2fs2 (= 1.47.0-2ubuntu1). (Reading database ... 15670 files and directories currently installed.) Removing libext2fs2:riscv64 (1.47.0-2ubuntu1) ... Selecting previously unselected package libext2fs2t64:riscv64. (Reading database ... 15663 files and directories currently installed.) Preparing to unpack .../libext2fs2t64_1.47.0-2.4~exp1ubuntu4_riscv64.deb ... Adding 'diversion of /lib/riscv64-linux-gnu/libe2p.so.2 to /lib/riscv64-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64' Adding 'diversion of /lib/riscv64-linux-gnu/libe2p.so.2.3 to /lib/riscv64-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64' Adding 'diversion of /lib/riscv64-linux-gnu/libext2fs.so.2 to /lib/riscv64-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64' Adding 'diversion of /lib/riscv64-linux-gnu/libext2fs.so.2.4 to /lib/riscv64-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64' Unpacking libext2fs2t64:riscv64 (1.47.0-2.4~exp1ubuntu4) ... Setting up libcom-err2:riscv64 (1.47.0-2.4~exp1ubuntu4) ... Setting up libext2fs2t64:riscv64 (1.47.0-2.4~exp1ubuntu4) ... (Reading database ... 15679 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.47.0-2.4~exp1ubuntu4_riscv64.deb ... Unpacking e2fsprogs (1.47.0-2.4~exp1ubuntu4) over (1.47.0-2ubuntu1) ... dpkg: warning: unable to delete old directory '/lib/udev/rules.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/udev': Directory not empty Preparing to unpack .../optipng_0.7.8+ds-1build2_riscv64.deb ... Unpacking optipng (0.7.8+ds-1build2) over (0.7.7-2build1) ... (Reading database ... 15677 files and directories currently installed.) Removing libpng16-16:riscv64 (1.6.40-1) ... Selecting previously unselected package libpng16-16t64:riscv64. (Reading database ... 15667 files and directories currently installed.) Preparing to unpack .../libpng16-16t64_1.6.43-5build1_riscv64.deb ... Unpacking libpng16-16t64:riscv64 (1.6.43-5build1) ... Setting up libapparmor1:riscv64 (4.0.0-beta3-0ubuntu3) ... Setting up libargon2-1:riscv64 (0~20190702+dfsg-4build1) ... Setting up libdevmapper1.02.1:riscv64 (2:1.02.185-3ubuntu3) ... Setting up libjson-c5:riscv64 (0.17-1build1) ... Setting up libcryptsetup12:riscv64 (2:2.7.0-1ubuntu4) ... Setting up libfdisk1:riscv64 (2.39.3-9ubuntu6) ... Setting up libkmod2:riscv64 (31+20240202-2ubuntu7) ... Setting up libseccomp2:riscv64 (2.5.5-1ubuntu3) ... Setting up libsystemd-shared:riscv64 (255.4-1ubuntu8) ... Setting up systemd-dev (255.4-1ubuntu8) ... Setting up mount (2.39.3-9ubuntu6) ... Setting up systemd (255.4-1ubuntu8) ... Installing new version of config file /etc/systemd/journald.conf ... Installing new version of config file /etc/systemd/logind.conf ... Installing new version of config file /etc/systemd/networkd.conf ... Installing new version of config file /etc/systemd/pstore.conf ... Installing new version of config file /etc/systemd/sleep.conf ... Installing new version of config file /etc/systemd/system.conf ... Installing new version of config file /etc/systemd/user.conf ... Initializing machine ID from random generator. Setting up systemd-sysv (255.4-1ubuntu8) ... (Reading database ... 15678 files and directories currently installed.) Preparing to unpack .../init_1.66ubuntu1_riscv64.deb ... Unpacking init (1.66ubuntu1) over (1.65.2ubuntu1) ... Preparing to unpack .../libsmartcols1_2.39.3-9ubuntu6_riscv64.deb ... Unpacking libsmartcols1:riscv64 (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ... Setting up libsmartcols1:riscv64 (2.39.3-9ubuntu6) ... (Reading database ... 15679 files and directories currently installed.) Preparing to unpack .../uuid-runtime_2.39.3-9ubuntu6_riscv64.deb ... Unpacking uuid-runtime (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ... dpkg: warning: unable to delete old directory '/lib/systemd/system': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd': Directory not empty Preparing to unpack .../libattr1_1%3a2.5.2-1build1_riscv64.deb ... Unpacking libattr1:riscv64 (1:2.5.2-1build1) over (1:2.5.1-4) ... Setting up libattr1:riscv64 (1:2.5.2-1build1) ... (Reading database ... 15677 files and directories currently installed.) Preparing to unpack .../libmd0_1.1.0-2build1_riscv64.deb ... Unpacking libmd0:riscv64 (1.1.0-2build1) over (1.1.0-1) ... Setting up libmd0:riscv64 (1.1.0-2build1) ... (Reading database ... 15677 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.5.3-5ubuntu5_all.deb ... Unpacking libpam-runtime (1.5.3-5ubuntu5) over (1.5.2-6ubuntu1) ... Setting up libpam-runtime (1.5.3-5ubuntu5) ... (Reading database ... 15676 files and directories currently installed.) Preparing to unpack .../libsemanage-common_3.5-1build5_all.deb ... Unpacking libsemanage-common (3.5-1build5) over (3.5-1) ... Setting up libsemanage-common (3.5-1build5) ... (Reading database ... 15676 files and directories currently installed.) Preparing to unpack .../libsepol2_3.5-2build1_riscv64.deb ... Unpacking libsepol2:riscv64 (3.5-2build1) over (3.5-1) ... Setting up libsepol2:riscv64 (3.5-2build1) ... (Reading database ... 15676 files and directories currently installed.) Preparing to unpack .../libsemanage2_3.5-1build5_riscv64.deb ... Unpacking libsemanage2:riscv64 (3.5-1build5) over (3.5-1) ... Setting up libsemanage2:riscv64 (3.5-1build5) ... (Reading database ... 15676 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.13+dfsg1-4ubuntu3_riscv64.deb ... Unpacking passwd (1:4.13+dfsg1-4ubuntu3) over (1:4.13+dfsg1-1ubuntu1) ... Setting up passwd (1:4.13+dfsg1-4ubuntu3) ... (Reading database ... 15676 files and directories currently installed.) Preparing to unpack .../00-libproc2-0_2%3a4.0.4-4ubuntu3_riscv64.deb ... Unpacking libproc2-0:riscv64 (2:4.0.4-4ubuntu3) over (2:4.0.3-1ubuntu1) ... Preparing to unpack .../01-libss2_1.47.0-2.4~exp1ubuntu4_riscv64.deb ... Unpacking libss2:riscv64 (1.47.0-2.4~exp1ubuntu4) over (1.47.0-2ubuntu1) ... Preparing to unpack .../02-mawk_1.3.4.20240123-1build1_riscv64.deb ... Unpacking mawk (1.3.4.20240123-1build1) over (1.3.4.20230730-1) ... Preparing to unpack .../03-procps_2%3a4.0.4-4ubuntu3_riscv64.deb ... Unpacking procps (2:4.0.4-4ubuntu3) over (2:4.0.3-1ubuntu1) ... Preparing to unpack .../04-sensible-utils_0.0.22_all.deb ... Unpacking sensible-utils (0.0.22) over (0.0.20) ... Preparing to unpack .../05-ca-certificates_20240203_all.deb ... Unpacking ca-certificates (20240203) over (20230311ubuntu1) ... Preparing to unpack .../06-krb5-locales_1.20.1-6ubuntu2_all.deb ... Unpacking krb5-locales (1.20.1-6ubuntu2) over (1.20.1-3ubuntu1) ... Preparing to unpack .../07-tzdata_2024a-2ubuntu1_all.deb ... Unpacking tzdata (2024a-2ubuntu1) over (2023c-9ubuntu1) ... Preparing to unpack .../08-bash-completion_1%3a2.11-8_all.deb ... Unpacking bash-completion (1:2.11-8) over (1:2.11-7) ... Preparing to unpack .../09-bsdextrautils_2.39.3-9ubuntu6_riscv64.deb ... Unpacking bsdextrautils (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ... Preparing to unpack .../10-libgpm2_1.20.7-11_riscv64.deb ... Unpacking libgpm2:riscv64 (1.20.7-11) over (1.20.7-10build1) ... Preparing to unpack .../11-libip4tc2_1.8.10-3ubuntu2_riscv64.deb ... Unpacking libip4tc2:riscv64 (1.8.10-3ubuntu2) over (1.8.9-2ubuntu2) ... Preparing to unpack .../12-libjansson4_2.14-2build2_riscv64.deb ... Unpacking libjansson4:riscv64 (2.14-2build2) over (2.14-2) ... Preparing to unpack .../13-psmisc_23.7-1build1_riscv64.deb ... Unpacking psmisc (23.7-1build1) over (23.6-1) ... Preparing to unpack .../14-xz-utils_5.6.1+really5.4.5-1_riscv64.deb ... Unpacking xz-utils (5.6.1+really5.4.5-1) over (5.4.1-0.2) ... Preparing to unpack .../15-advancecomp_2.5-1build1_riscv64.deb ... Unpacking advancecomp (2.5-1build1) over (2.5-1) ... Preparing to unpack .../16-libctf0_2.42-4ubuntu2_riscv64.deb ... Unpacking libctf0:riscv64 (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../17-libctf-nobfd0_2.42-4ubuntu2_riscv64.deb ... Unpacking libctf-nobfd0:riscv64 (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../18-binutils-riscv64-linux-gnu_2.42-4ubuntu2_riscv64.deb ... Unpacking binutils-riscv64-linux-gnu (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../19-libbinutils_2.42-4ubuntu2_riscv64.deb ... Unpacking libbinutils:riscv64 (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../20-binutils_2.42-4ubuntu2_riscv64.deb ... Unpacking binutils (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../21-binutils-common_2.42-4ubuntu2_riscv64.deb ... Unpacking binutils-common:riscv64 (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../22-libsframe1_2.42-4ubuntu2_riscv64.deb ... Unpacking libsframe1:riscv64 (2.42-4ubuntu2) over (2.41-5ubuntu1) ... Preparing to unpack .../23-libisl23_0.26-3build1_riscv64.deb ... Unpacking libisl23:riscv64 (0.26-3build1) over (0.26-3) ... Preparing to unpack .../24-libmpfr6_4.2.1-1build1_riscv64.deb ... Unpacking libmpfr6:riscv64 (4.2.1-1build1) over (4.2.1-1) ... Preparing to unpack .../25-libmpc3_1.3.1-1build1_riscv64.deb ... Unpacking libmpc3:riscv64 (1.3.1-1build1) over (1.3.1-1) ... Selecting previously unselected package cpp-14-riscv64-linux-gnu. Preparing to unpack .../26-cpp-14-riscv64-linux-gnu_14-20240429-1ubuntu1_riscv64.deb ... Unpacking cpp-14-riscv64-linux-gnu (14-20240429-1ubuntu1) ... Preparing to unpack .../27-g++_4%3a14-20240120-6ubuntu1_riscv64.deb ... Unpacking g++ (4:14-20240120-6ubuntu1) over (4:13.2.0-1ubuntu1) ... Preparing to unpack .../28-gcc_4%3a14-20240120-6ubuntu1_riscv64.deb ... Unpacking gcc (4:14-20240120-6ubuntu1) over (4:13.2.0-1ubuntu1) ... Preparing to unpack .../29-cpp_4%3a14-20240120-6ubuntu1_riscv64.deb ... Unpacking cpp (4:14-20240120-6ubuntu1) over (4:13.2.0-1ubuntu1) ... Selecting previously unselected package cpp-riscv64-linux-gnu. Preparing to unpack .../30-cpp-riscv64-linux-gnu_4%3a14-20240120-6ubuntu1_riscv64.deb ... Unpacking cpp-riscv64-linux-gnu (4:14-20240120-6ubuntu1) ... Preparing to unpack .../31-libcc1-0_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libcc1-0:riscv64 (14-20240429-1ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../32-libgomp1_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libgomp1:riscv64 (14-20240429-1ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../33-libatomic1_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libatomic1:riscv64 (14-20240429-1ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../34-libasan8_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libasan8:riscv64 (14-20240429-1ubuntu1) over (13.2.0-4ubuntu3) ... Selecting previously unselected package liblsan0:riscv64. Preparing to unpack .../35-liblsan0_14-20240429-1ubuntu1_riscv64.deb ... Unpacking liblsan0:riscv64 (14-20240429-1ubuntu1) ... Preparing to unpack .../36-g++-13_13.2.0-24ubuntu1_riscv64.deb ... Unpacking g++-13 (13.2.0-24ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../37-gcc-13_13.2.0-24ubuntu1_riscv64.deb ... Unpacking gcc-13 (13.2.0-24ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../38-cpp-13_13.2.0-24ubuntu1_riscv64.deb ... Unpacking cpp-13 (13.2.0-24ubuntu1) over (13.2.0-4ubuntu3) ... Selecting previously unselected package cpp-13-riscv64-linux-gnu. Preparing to unpack .../39-cpp-13-riscv64-linux-gnu_13.2.0-24ubuntu1_riscv64.deb ... Unpacking cpp-13-riscv64-linux-gnu (13.2.0-24ubuntu1) ... Preparing to unpack .../40-libstdc++-13-dev_13.2.0-24ubuntu1_riscv64.deb ... Unpacking libstdc++-13-dev:riscv64 (13.2.0-24ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../41-libgcc-13-dev_13.2.0-24ubuntu1_riscv64.deb ... Unpacking libgcc-13-dev:riscv64 (13.2.0-24ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../42-gcc-13-base_13.2.0-24ubuntu1_riscv64.deb ... Unpacking gcc-13-base:riscv64 (13.2.0-24ubuntu1) over (13.2.0-4ubuntu3) ... Selecting previously unselected package gcc-13-riscv64-linux-gnu. Preparing to unpack .../43-gcc-13-riscv64-linux-gnu_13.2.0-24ubuntu1_riscv64.deb ... Unpacking gcc-13-riscv64-linux-gnu (13.2.0-24ubuntu1) ... Selecting previously unselected package g++-13-riscv64-linux-gnu. Preparing to unpack .../44-g++-13-riscv64-linux-gnu_13.2.0-24ubuntu1_riscv64.deb ... Unpacking g++-13-riscv64-linux-gnu (13.2.0-24ubuntu1) ... Selecting previously unselected package libubsan1:riscv64. Preparing to unpack .../45-libubsan1_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libubsan1:riscv64 (14-20240429-1ubuntu1) ... Selecting previously unselected package libtsan2:riscv64. Preparing to unpack .../46-libtsan2_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libtsan2:riscv64 (14-20240429-1ubuntu1) ... Selecting previously unselected package libgcc-14-dev:riscv64. Preparing to unpack .../47-libgcc-14-dev_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libgcc-14-dev:riscv64 (14-20240429-1ubuntu1) ... Selecting previously unselected package gcc-14-riscv64-linux-gnu. Preparing to unpack .../48-gcc-14-riscv64-linux-gnu_14-20240429-1ubuntu1_riscv64.deb ... Unpacking gcc-14-riscv64-linux-gnu (14-20240429-1ubuntu1) ... Selecting previously unselected package libstdc++-14-dev:riscv64. Preparing to unpack .../49-libstdc++-14-dev_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libstdc++-14-dev:riscv64 (14-20240429-1ubuntu1) ... Selecting previously unselected package g++-14-riscv64-linux-gnu. Preparing to unpack .../50-g++-14-riscv64-linux-gnu_14-20240429-1ubuntu1_riscv64.deb ... Unpacking g++-14-riscv64-linux-gnu (14-20240429-1ubuntu1) ... Selecting previously unselected package gcc-14. Preparing to unpack .../51-gcc-14_14-20240429-1ubuntu1_riscv64.deb ... Unpacking gcc-14 (14-20240429-1ubuntu1) ... Selecting previously unselected package g++-14. Preparing to unpack .../52-g++-14_14-20240429-1ubuntu1_riscv64.deb ... Unpacking g++-14 (14-20240429-1ubuntu1) ... Selecting previously unselected package gcc-riscv64-linux-gnu. Preparing to unpack .../53-gcc-riscv64-linux-gnu_4%3a14-20240120-6ubuntu1_riscv64.deb ... Unpacking gcc-riscv64-linux-gnu (4:14-20240120-6ubuntu1) ... Selecting previously unselected package g++-riscv64-linux-gnu. Preparing to unpack .../54-g++-riscv64-linux-gnu_4%3a14-20240120-6ubuntu1_riscv64.deb ... Unpacking g++-riscv64-linux-gnu (4:14-20240120-6ubuntu1) ... Selecting previously unselected package cpp-14. Preparing to unpack .../55-cpp-14_14-20240429-1ubuntu1_riscv64.deb ... Unpacking cpp-14 (14-20240429-1ubuntu1) ... Preparing to unpack .../56-dpkg-dev_1.22.6ubuntu6_all.deb ... Unpacking dpkg-dev (1.22.6ubuntu6) over (1.22.0ubuntu1) ... Preparing to unpack .../57-libdpkg-perl_1.22.6ubuntu6_all.deb ... Unpacking libdpkg-perl (1.22.6ubuntu6) over (1.22.0ubuntu1) ... Preparing to unpack .../58-patch_2.7.6-7build3_riscv64.deb ... Unpacking patch (2.7.6-7build3) over (2.7.6-7build2) ... Preparing to unpack .../59-make_4.3-4.1build2_riscv64.deb ... Unpacking make (4.3-4.1build2) over (4.3-4.1build1) ... Preparing to unpack .../60-lto-disabled-list_47_all.deb ... Unpacking lto-disabled-list (47) over (43) ... Preparing to unpack .../61-libfakeroot_1.33-1_riscv64.deb ... Unpacking libfakeroot:riscv64 (1.33-1) over (1.32.1-1) ... Preparing to unpack .../62-fakeroot_1.33-1_riscv64.deb ... Unpacking fakeroot (1.33-1) over (1.32.1-1) ... Preparing to unpack .../63-liblockfile-bin_1.17-1build3_riscv64.deb ... Unpacking liblockfile-bin (1.17-1build3) over (1.17-1build2) ... Preparing to unpack .../64-liblockfile1_1.17-1build3_riscv64.deb ... Unpacking liblockfile1:riscv64 (1.17-1build3) over (1.17-1build2) ... Preparing to unpack .../65-lockfile-progs_0.1.19build2_riscv64.deb ... Unpacking lockfile-progs (0.1.19build2) over (0.1.19build1) ... Setting up libip4tc2:riscv64 (1.8.10-3ubuntu2) ... Setting up libtext-iconv-perl:riscv64 (1.7-8build3) ... Setting up libtext-charwidth-perl:riscv64 (0.04-11build3) ... Setting up libkeyutils1:riscv64 (1.6.3-3build1) ... Setting up lto-disabled-list (47) ... Setting up libgpm2:riscv64 (1.20.7-11) ... Setting up liblockfile-bin (1.17-1build3) ... Setting up libgdbm6t64:riscv64 (1.23-5.1build1) ... Setting up bsdextrautils (2.39.3-9ubuntu6) ... Setting up init (1.66ubuntu1) ... Setting up libgdbm-compat4t64:riscv64 (1.23-5.1build1) ... Setting up psmisc (23.7-1build1) ... Setting up libtirpc-common (1.3.4+ds-1.1build1) ... Setting up libsqlite3-0:riscv64 (3.45.1-1ubuntu2) ... Setting up binutils-common:riscv64 (2.42-4ubuntu2) ... Setting up linux-libc-dev:riscv64 (6.8.0-31.31) ... Setting up libctf-nobfd0:riscv64 (2.42-4ubuntu2) ... Setting up krb5-locales (1.20.1-6ubuntu2) ... Setting up libgomp1:riscv64 (14-20240429-1ubuntu1) ... Setting up bzip2 (1.0.8-5.1) ... Setting up libsframe1:riscv64 (2.42-4ubuntu2) ... Setting up libfakeroot:riscv64 (1.33-1) ... Setting up libjansson4:riscv64 (2.14-2build2) ... Setting up libkrb5support0:riscv64 (1.20.1-6ubuntu2) ... Setting up tzdata (2024a-2ubuntu1) ... Current default time zone: 'Etc/UTC' Local time is now: Fri May 17 00:09:36 UTC 2024. Universal Time is now: Fri May 17 00:09:36 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up fakeroot (1.33-1) ... Setting up rpcsvc-proto (1.4.2-0ubuntu7) ... Setting up gcc-13-base:riscv64 (13.2.0-24ubuntu1) ... Setting up make (4.3-4.1build2) ... Setting up libmpfr6:riscv64 (4.2.1-1build1) ... Setting up bash-completion (1:2.11-8) ... Setting up xz-utils (5.6.1+really5.4.5-1) ... Setting up perl-modules-5.38 (5.38.2-3.2build2) ... Setting up libproc2-0:riscv64 (2:4.0.4-4ubuntu3) ... Setting up libpng16-16t64:riscv64 (1.6.43-5build1) ... Setting up libmpc3:riscv64 (1.3.1-1build1) ... Setting up libatomic1:riscv64 (14-20240429-1ubuntu1) ... Setting up patch (2.7.6-7build3) ... Setting up libss2:riscv64 (1.47.0-2.4~exp1ubuntu4) ... Setting up libncursesw6:riscv64 (6.4+20240113-1ubuntu2) ... Setting up libk5crypto3:riscv64 (1.20.1-6ubuntu2) ... Setting up logsave (1.47.0-2.4~exp1ubuntu4) ... Setting up libdb5.3t64:riscv64 (5.3.28+dfsg2-7) ... Setting up libubsan1:riscv64 (14-20240429-1ubuntu1) ... Setting up advancecomp (2.5-1build1) ... Setting up sensible-utils (0.0.22) ... Setting up uuid-runtime (2.39.3-9ubuntu6) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of restart. Setting up libcrypt-dev:riscv64 (1:4.4.36-4build1) ... Setting up libasan8:riscv64 (14-20240429-1ubuntu1) ... Setting up procps (2:4.0.4-4ubuntu3) ... Installing new version of config file /etc/sysctl.conf ... Setting up mawk (1.3.4.20240123-1build1) ... Setting up libkrb5-3:riscv64 (1.20.1-6ubuntu2) ... Setting up liblockfile1:riscv64 (1.17-1build3) ... Setting up libperl5.38t64:riscv64 (5.38.2-3.2build2) ... Setting up libtsan2:riscv64 (14-20240429-1ubuntu1) ... Setting up libbinutils:riscv64 (2.42-4ubuntu2) ... Setting up libisl23:riscv64 (0.26-3build1) ... Setting up libc-dev-bin (2.39-0ubuntu8) ... Setting up openssl (3.0.13-0ubuntu3) ... Setting up libgpg-error-l10n (1.47-3build2) ... Setting up readline-common (8.2-4build1) ... Setting up libcc1-0:riscv64 (14-20240429-1ubuntu1) ... Setting up liblocale-gettext-perl (1.07-6ubuntu5) ... Setting up liblsan0:riscv64 (14-20240429-1ubuntu1) ... Setting up libctf0:riscv64 (2.42-4ubuntu2) ... Setting up pinentry-curses (1.2.1-3ubuntu5) ... Setting up apt-utils (2.7.14build2) ... Setting up cpp-13-riscv64-linux-gnu (13.2.0-24ubuntu1) ... Setting up binutils-riscv64-linux-gnu (2.42-4ubuntu2) ... Setting up debconf-i18n (1.5.86ubuntu1) ... Setting up e2fsprogs (1.47.0-2.4~exp1ubuntu4) ... Setting up cpp-14-riscv64-linux-gnu (14-20240429-1ubuntu1) ... Setting up binutils (2.42-4ubuntu2) ... Setting up ca-certificates (20240203) ... Updating certificates in /etc/ssl/certs... rehash: warning: skipping ca-certificates.crt,it does not contain exactly one certificate or CRL 14 added, 5 removed; done. Setting up perl (5.38.2-3.2build2) ... Setting up optipng (0.7.8+ds-1build2) ... Setting up lockfile-progs (0.1.19build2) ... Setting up libgssapi-krb5-2:riscv64 (1.20.1-6ubuntu2) ... Setting up libdpkg-perl (1.22.6ubuntu6) ... Setting up cpp-14 (14-20240429-1ubuntu1) ... Setting up libreadline8t64:riscv64 (8.2-4build1) ... Setting up libgcc-13-dev:riscv64 (13.2.0-24ubuntu1) ... Setting up gpgconf (2.4.4-2ubuntu17) ... Setting up libc6-dev:riscv64 (2.39-0ubuntu8) ... Setting up libgcc-14-dev:riscv64 (14-20240429-1ubuntu1) ... Setting up cpp-riscv64-linux-gnu (4:14-20240120-6ubuntu1) ... Setting up libstdc++-14-dev:riscv64 (14-20240429-1ubuntu1) ... Setting up gpg (2.4.4-2ubuntu17) ... Setting up libstdc++-13-dev:riscv64 (13.2.0-24ubuntu1) ... Setting up gpg-agent (2.4.4-2ubuntu17) ... Setting up cpp-13 (13.2.0-24ubuntu1) ... Setting up libtirpc3t64:riscv64 (1.3.4+ds-1.1build1) ... Setting up gcc-13-riscv64-linux-gnu (13.2.0-24ubuntu1) ... Setting up dpkg-dev (1.22.6ubuntu6) ... Setting up libtirpc-dev:riscv64 (1.3.4+ds-1.1build1) ... Setting up gcc-13 (13.2.0-24ubuntu1) ... Setting up gcc-14-riscv64-linux-gnu (14-20240429-1ubuntu1) ... Setting up cpp (4:14-20240120-6ubuntu1) ... Setting up libnsl2:riscv64 (1.3.0-3build3) ... Setting up g++-13-riscv64-linux-gnu (13.2.0-24ubuntu1) ... Setting up g++-13 (13.2.0-24ubuntu1) ... Setting up g++-14-riscv64-linux-gnu (14-20240429-1ubuntu1) ... Setting up libnss-nisplus:riscv64 (1.3-5build1) ... Setting up gcc-14 (14-20240429-1ubuntu1) ... Setting up gcc-riscv64-linux-gnu (4:14-20240120-6ubuntu1) ... Setting up g++-riscv64-linux-gnu (4:14-20240120-6ubuntu1) ... Setting up libnss-nis:riscv64 (3.1-0ubuntu7) ... Setting up libnsl-dev:riscv64 (1.3.0-3build3) ... Setting up g++-14 (14-20240429-1ubuntu1) ... Setting up gcc (4:14-20240120-6ubuntu1) ... Setting up g++ (4:14-20240120-6ubuntu1) ... Processing triggers for libc-bin (2.39-0ubuntu8) ... Processing triggers for debianutils (5.17build1) ... (Reading database ... 16754 files and directories currently installed.) Purging configuration files for libssl3:riscv64 (3.0.10-1ubuntu2) ... Processing triggers for ca-certificates (20240203) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-28301486 riscv64 noble -c chroot:build-PACKAGEBUILD-28301486 --arch=riscv64 --dist=noble --nolog coq-hierarchy-builder_1.6.0-1build5.dsc Initiating build PACKAGEBUILD-28301486 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 6.5.0-35-generic #35.1~22.04.1-Ubuntu SMP Thu May 2 05:48:36 UTC 2024 riscv64 sbuild (Debian sbuild) 0.81.2ubuntu6 (16 February 2022) on bos03-riscv64-111.buildd +===============================================================================+ | coq-hierarchy-builder 1.6.0-1build5 (riscv64) Fri, 17 May 2024 00:12:26 +0000 | +===============================================================================+ Package: coq-hierarchy-builder Version: 1.6.0-1build5 Source Version: 1.6.0-1build5 Distribution: noble Machine Architecture: riscv64 Host Architecture: riscv64 Build Architecture: riscv64 Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-28301486/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/coq-hierarchy-builder-6KYE3T/resolver-DYL6gG' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- coq-hierarchy-builder_1.6.0-1build5.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/coq-hierarchy-builder-6KYE3T/coq-hierarchy-builder-1.6.0' with '<>' I: NOTICE: Log filtering will replace 'build/coq-hierarchy-builder-6KYE3T' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libelpi-ocaml-dev, wdiff, build-essential, fakeroot Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libelpi-ocaml-dev, wdiff, 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 [403 B] Get:5 copy:/<>/apt_archive ./ Packages [487 B] Fetched 1847 B in 1s (3603 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 cpp-13 debconf-i18n g++-13 g++-13-riscv64-linux-gnu krb5-locales libgpg-error-l10n libgpm2 libgssapi-krb5-2 libip4tc2 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblocale-gettext-perl libnsl-dev libnsl2 libnss-nis libnss-nisplus libperl5.36 libstdc++-13-dev libtext-charwidth-perl libtext-iconv-perl libtext-wrapi18n-perl libtirpc-common libtirpc-dev libtirpc3t64 libunistring2 openssl perl-modules-5.36 psmisc uuid-runtime Use 'apt autoremove' to remove them. The following additional packages will be installed: autoconf automake autopoint autotools-dev coq debhelper debugedit dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-elpi libcoq-stdlib libdebhelper-perl libdw1t64 libelf1t64 libelpi-ocaml libelpi-ocaml-dev libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu74 libmagic-mgc libmagic1t64 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-findlib ocaml-interp po-debconf python3 python3-minimal python3.12 python3.12-minimal wdiff 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 wdiff-doc 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-stdlib libdebhelper-perl libdw1t64 libelf1t64 libelpi-ocaml libelpi-ocaml-dev libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu74 libmagic-mgc libmagic1t64 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-findlib ocaml-interp po-debconf python3 python3-minimal python3.12 python3.12-minimal sbuild-build-depends-main-dummy wdiff 0 upgraded, 78 newly installed, 0 to remove and 0 not upgraded. Need to get 432 MB of archives. After this operation, 1709 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [702 B] Get:2 http://ftpmaster.internal/ubuntu noble/main riscv64 libpython3.12-minimal riscv64 3.12.3-1 [829 kB] Get:3 http://ftpmaster.internal/ubuntu noble/main riscv64 libexpat1 riscv64 2.6.1-2build1 [86.0 kB] Get:4 http://ftpmaster.internal/ubuntu noble/main riscv64 python3.12-minimal riscv64 3.12.3-1 [2343 kB] Get:5 http://ftpmaster.internal/ubuntu noble/main riscv64 python3-minimal riscv64 3.12.3-0ubuntu1 [27.2 kB] Get:6 http://ftpmaster.internal/ubuntu noble/main riscv64 media-types all 10.1.0 [27.5 kB] Get:7 http://ftpmaster.internal/ubuntu noble/main riscv64 netbase all 6.4 [13.1 kB] Get:8 http://ftpmaster.internal/ubuntu noble/main riscv64 libpython3.12-stdlib riscv64 3.12.3-1 [2024 kB] Get:9 http://ftpmaster.internal/ubuntu noble/main riscv64 python3.12 riscv64 3.12.3-1 [651 kB] Get:10 http://ftpmaster.internal/ubuntu noble/main riscv64 libpython3-stdlib riscv64 3.12.3-0ubuntu1 [9896 B] Get:11 http://ftpmaster.internal/ubuntu noble/main riscv64 python3 riscv64 3.12.3-0ubuntu1 [24.1 kB] Get:12 http://ftpmaster.internal/ubuntu noble/main riscv64 libelf1t64 riscv64 0.190-1.1build4 [63.5 kB] Get:13 http://ftpmaster.internal/ubuntu noble/main riscv64 libicu74 riscv64 74.2-1ubuntu3 [10.9 MB] Get:14 http://ftpmaster.internal/ubuntu noble/main riscv64 libxml2 riscv64 2.9.14+dfsg-1.3ubuntu3 [719 kB] Get:15 http://ftpmaster.internal/ubuntu noble/main riscv64 libmagic-mgc riscv64 1:5.45-3build1 [307 kB] Get:16 http://ftpmaster.internal/ubuntu noble/main riscv64 libmagic1t64 riscv64 1:5.45-3build1 [96.4 kB] Get:17 http://ftpmaster.internal/ubuntu noble/main riscv64 file riscv64 1:5.45-3build1 [21.9 kB] Get:18 http://ftpmaster.internal/ubuntu noble/main riscv64 gettext-base riscv64 0.21-14ubuntu2 [42.6 kB] Get:19 http://ftpmaster.internal/ubuntu noble/main riscv64 libuchardet0 riscv64 0.0.8-1build1 [77.8 kB] Get:20 http://ftpmaster.internal/ubuntu noble/main riscv64 groff-base riscv64 1.23.0-3build2 [1031 kB] Get:21 http://ftpmaster.internal/ubuntu noble/main riscv64 libncurses6 riscv64 6.4+20240113-1ubuntu2 [116 kB] Get:22 http://ftpmaster.internal/ubuntu noble/main riscv64 libpipeline1 riscv64 1.5.7-2 [30.9 kB] Get:23 http://ftpmaster.internal/ubuntu noble/main riscv64 man-db riscv64 2.12.0-4build2 [1226 kB] Get:24 http://ftpmaster.internal/ubuntu noble/main riscv64 m4 riscv64 1.4.19-4build1 [264 kB] Get:25 http://ftpmaster.internal/ubuntu noble/main riscv64 autoconf all 2.71-3 [339 kB] Get:26 http://ftpmaster.internal/ubuntu noble/main riscv64 autotools-dev all 20220109.1 [44.9 kB] Get:27 http://ftpmaster.internal/ubuntu noble/main riscv64 automake all 1:1.16.5-1.3ubuntu1 [558 kB] Get:28 http://ftpmaster.internal/ubuntu noble/main riscv64 autopoint all 0.21-14ubuntu2 [422 kB] Get:29 http://ftpmaster.internal/ubuntu noble/universe riscv64 libcoq-stdlib riscv64 8.18.0+dfsg-1build2 [26.5 MB] Get:30 http://ftpmaster.internal/ubuntu noble/universe riscv64 libstdlib-ocaml riscv64 4.14.1-1ubuntu1 [381 kB] Get:31 http://ftpmaster.internal/ubuntu noble/universe riscv64 ocaml-base riscv64 4.14.1-1ubuntu1 [260 kB] Get:32 http://ftpmaster.internal/ubuntu noble/universe riscv64 libfindlib-ocaml riscv64 1.9.6-1build4 [201 kB] Get:33 http://ftpmaster.internal/ubuntu noble/universe riscv64 libzarith-ocaml riscv64 1.13-2build4 [123 kB] Get:34 http://ftpmaster.internal/ubuntu noble/universe riscv64 libcoq-core-ocaml riscv64 8.18.0+dfsg-1build2 [27.9 MB] Get:35 http://ftpmaster.internal/ubuntu noble/universe riscv64 libstdlib-ocaml-dev riscv64 4.14.1-1ubuntu1 [10.4 MB] Get:36 http://ftpmaster.internal/ubuntu noble/universe riscv64 libcompiler-libs-ocaml-dev riscv64 4.14.1-1ubuntu1 [41.5 MB] Get:37 http://ftpmaster.internal/ubuntu noble/universe riscv64 ocaml-interp riscv64 4.14.1-1ubuntu1 [7825 kB] Get:38 http://ftpmaster.internal/ubuntu noble/main riscv64 libncurses-dev riscv64 6.4+20240113-1ubuntu2 [1009 kB] Get:39 http://ftpmaster.internal/ubuntu noble/universe riscv64 ocaml riscv64 4.14.1-1ubuntu1 [82.2 MB] Get:40 http://ftpmaster.internal/ubuntu noble/universe riscv64 ocaml-findlib riscv64 1.9.6-1build4 [579 kB] Get:41 http://ftpmaster.internal/ubuntu noble/universe riscv64 coq riscv64 8.18.0+dfsg-1build2 [98.0 MB] Get:42 http://ftpmaster.internal/ubuntu noble/main riscv64 libdebhelper-perl all 13.14.1ubuntu5 [89.8 kB] Get:43 http://ftpmaster.internal/ubuntu noble/main riscv64 libtool all 2.4.7-7build1 [166 kB] Get:44 http://ftpmaster.internal/ubuntu noble/main riscv64 dh-autoreconf all 20 [16.1 kB] Get:45 http://ftpmaster.internal/ubuntu noble/main riscv64 libarchive-zip-perl all 1.68-1 [90.2 kB] Get:46 http://ftpmaster.internal/ubuntu noble/main riscv64 libsub-override-perl all 0.10-1 [10.0 kB] Get:47 http://ftpmaster.internal/ubuntu noble/main riscv64 libfile-stripnondeterminism-perl all 1.13.1-1 [18.1 kB] Get:48 http://ftpmaster.internal/ubuntu noble/main riscv64 dh-strip-nondeterminism all 1.13.1-1 [5362 B] Get:49 http://ftpmaster.internal/ubuntu noble/main riscv64 libdw1t64 riscv64 0.190-1.1build4 [275 kB] Get:50 http://ftpmaster.internal/ubuntu noble/main riscv64 debugedit riscv64 1:5.0-5build2 [49.2 kB] Get:51 http://ftpmaster.internal/ubuntu noble/main riscv64 dwz riscv64 0.15-1build6 [125 kB] Get:52 http://ftpmaster.internal/ubuntu noble/main riscv64 gettext riscv64 0.21-14ubuntu2 [875 kB] Get:53 http://ftpmaster.internal/ubuntu noble/main riscv64 intltool-debian all 0.35.0+20060710.6 [23.2 kB] Get:54 http://ftpmaster.internal/ubuntu noble/main riscv64 po-debconf all 1.0.21+nmu1 [233 kB] Get:55 http://ftpmaster.internal/ubuntu noble/main riscv64 debhelper all 13.14.1ubuntu5 [869 kB] Get:56 http://ftpmaster.internal/ubuntu noble/universe riscv64 dh-coq all 0.8 [6766 B] Get:57 http://ftpmaster.internal/ubuntu noble/universe riscv64 libfindlib-ocaml-dev riscv64 1.9.6-1build4 [228 kB] Get:58 http://ftpmaster.internal/ubuntu noble/main riscv64 libgmpxx4ldbl riscv64 2:6.3.0+dfsg-2ubuntu6 [9966 B] Get:59 http://ftpmaster.internal/ubuntu noble/main riscv64 libgmp-dev riscv64 2:6.3.0+dfsg-2ubuntu6 [798 kB] Get:60 http://ftpmaster.internal/ubuntu noble/main riscv64 libgmp3-dev riscv64 2:6.3.0+dfsg-2ubuntu6 [2314 B] Get:61 http://ftpmaster.internal/ubuntu noble/universe riscv64 libzarith-ocaml-dev riscv64 1.13-2build4 [171 kB] Get:62 http://ftpmaster.internal/ubuntu noble/universe riscv64 libcoq-core-ocaml-dev riscv64 8.18.0+dfsg-1build2 [58.8 MB] Get:63 http://ftpmaster.internal/ubuntu noble/universe riscv64 libresult-ocaml riscv64 1.5-4build1 [7292 B] Get:64 http://ftpmaster.internal/ubuntu noble/universe riscv64 libsexplib0-ocaml riscv64 0.16.0-3build2 [130 kB] Get:65 http://ftpmaster.internal/ubuntu noble/universe riscv64 libppx-deriving-ocaml riscv64 5.2.1-4build2 [4654 kB] Get:66 http://ftpmaster.internal/ubuntu noble/universe riscv64 libelpi-ocaml riscv64 1.17.4-3build1 [4911 kB] Get:67 http://ftpmaster.internal/ubuntu noble/universe riscv64 libmenhir-ocaml-dev riscv64 20231231+ds-1 [802 kB] Get:68 http://ftpmaster.internal/ubuntu noble/universe riscv64 libocaml-compiler-libs-ocaml-dev riscv64 0.12.4-4build2 [98.6 kB] Get:69 http://ftpmaster.internal/ubuntu noble/universe riscv64 libppx-derivers-ocaml-dev riscv64 1.2.1-4build2 [17.8 kB] Get:70 http://ftpmaster.internal/ubuntu noble/universe riscv64 libsexplib0-ocaml-dev riscv64 0.16.0-3build2 [306 kB] Get:71 http://ftpmaster.internal/ubuntu noble/universe riscv64 libppxlib-ocaml-dev riscv64 0.32.0-1 [20.8 MB] Get:72 http://ftpmaster.internal/ubuntu noble/universe riscv64 libresult-ocaml-dev riscv64 1.5-4build1 [11.7 kB] Get:73 http://ftpmaster.internal/ubuntu noble/universe riscv64 libppx-deriving-ocaml-dev riscv64 5.2.1-4build2 [1067 kB] Get:74 http://ftpmaster.internal/ubuntu noble/universe riscv64 libre-ocaml-dev riscv64 1.11.0-1build2 [1187 kB] Get:75 http://ftpmaster.internal/ubuntu noble/universe riscv64 libelpi-ocaml-dev riscv64 1.17.4-3build1 [12.4 MB] Get:76 http://ftpmaster.internal/ubuntu noble/universe riscv64 libcoq-elpi riscv64 1.19.3-2build4 [3273 kB] Get:77 http://ftpmaster.internal/ubuntu noble/main riscv64 wdiff riscv64 1.2.2-6build1 [29.9 kB] Get:78 http://ftpmaster.internal/ubuntu noble/universe riscv64 dh-ocaml all 2.0 [75.7 kB] Preconfiguring packages ... Fetched 432 MB in 59s (7379 kB/s) Selecting previously unselected package libpython3.12-minimal:riscv64. (Reading database ... 16754 files and directories currently installed.) Preparing to unpack .../libpython3.12-minimal_3.12.3-1_riscv64.deb ... Unpacking libpython3.12-minimal:riscv64 (3.12.3-1) ... Selecting previously unselected package libexpat1:riscv64. Preparing to unpack .../libexpat1_2.6.1-2build1_riscv64.deb ... Unpacking libexpat1:riscv64 (2.6.1-2build1) ... Selecting previously unselected package python3.12-minimal. Preparing to unpack .../python3.12-minimal_3.12.3-1_riscv64.deb ... Unpacking python3.12-minimal (3.12.3-1) ... Setting up libpython3.12-minimal:riscv64 (3.12.3-1) ... Setting up libexpat1:riscv64 (2.6.1-2build1) ... Setting up python3.12-minimal (3.12.3-1) ... Selecting previously unselected package python3-minimal. (Reading database ... 17072 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.12.3-0ubuntu1_riscv64.deb ... Unpacking python3-minimal (3.12.3-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:riscv64. Preparing to unpack .../3-libpython3.12-stdlib_3.12.3-1_riscv64.deb ... Unpacking libpython3.12-stdlib:riscv64 (3.12.3-1) ... Selecting previously unselected package python3.12. Preparing to unpack .../4-python3.12_3.12.3-1_riscv64.deb ... Unpacking python3.12 (3.12.3-1) ... Selecting previously unselected package libpython3-stdlib:riscv64. Preparing to unpack .../5-libpython3-stdlib_3.12.3-0ubuntu1_riscv64.deb ... Unpacking libpython3-stdlib:riscv64 (3.12.3-0ubuntu1) ... Setting up python3-minimal (3.12.3-0ubuntu1) ... Selecting previously unselected package python3. (Reading database ... 17513 files and directories currently installed.) Preparing to unpack .../00-python3_3.12.3-0ubuntu1_riscv64.deb ... Unpacking python3 (3.12.3-0ubuntu1) ... Selecting previously unselected package libelf1t64:riscv64. Preparing to unpack .../01-libelf1t64_0.190-1.1build4_riscv64.deb ... Unpacking libelf1t64:riscv64 (0.190-1.1build4) ... Selecting previously unselected package libicu74:riscv64. Preparing to unpack .../02-libicu74_74.2-1ubuntu3_riscv64.deb ... Unpacking libicu74:riscv64 (74.2-1ubuntu3) ... Selecting previously unselected package libxml2:riscv64. Preparing to unpack .../03-libxml2_2.9.14+dfsg-1.3ubuntu3_riscv64.deb ... Unpacking libxml2:riscv64 (2.9.14+dfsg-1.3ubuntu3) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../04-libmagic-mgc_1%3a5.45-3build1_riscv64.deb ... Unpacking libmagic-mgc (1:5.45-3build1) ... Selecting previously unselected package libmagic1t64:riscv64. Preparing to unpack .../05-libmagic1t64_1%3a5.45-3build1_riscv64.deb ... Unpacking libmagic1t64:riscv64 (1:5.45-3build1) ... Selecting previously unselected package file. Preparing to unpack .../06-file_1%3a5.45-3build1_riscv64.deb ... Unpacking file (1:5.45-3build1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../07-gettext-base_0.21-14ubuntu2_riscv64.deb ... Unpacking gettext-base (0.21-14ubuntu2) ... Selecting previously unselected package libuchardet0:riscv64. Preparing to unpack .../08-libuchardet0_0.0.8-1build1_riscv64.deb ... Unpacking libuchardet0:riscv64 (0.0.8-1build1) ... Selecting previously unselected package groff-base. Preparing to unpack .../09-groff-base_1.23.0-3build2_riscv64.deb ... Unpacking groff-base (1.23.0-3build2) ... Selecting previously unselected package libncurses6:riscv64. Preparing to unpack .../10-libncurses6_6.4+20240113-1ubuntu2_riscv64.deb ... Unpacking libncurses6:riscv64 (6.4+20240113-1ubuntu2) ... Selecting previously unselected package libpipeline1:riscv64. Preparing to unpack .../11-libpipeline1_1.5.7-2_riscv64.deb ... Unpacking libpipeline1:riscv64 (1.5.7-2) ... Selecting previously unselected package man-db. Preparing to unpack .../12-man-db_2.12.0-4build2_riscv64.deb ... Unpacking man-db (2.12.0-4build2) ... Selecting previously unselected package m4. Preparing to unpack .../13-m4_1.4.19-4build1_riscv64.deb ... Unpacking m4 (1.4.19-4build1) ... 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-14ubuntu2_all.deb ... Unpacking autopoint (0.21-14ubuntu2) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../18-libcoq-stdlib_8.18.0+dfsg-1build2_riscv64.deb ... Unpacking libcoq-stdlib (8.18.0+dfsg-1build2) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../19-libstdlib-ocaml_4.14.1-1ubuntu1_riscv64.deb ... Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../20-ocaml-base_4.14.1-1ubuntu1_riscv64.deb ... Unpacking ocaml-base (4.14.1-1ubuntu1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../21-libfindlib-ocaml_1.9.6-1build4_riscv64.deb ... Unpacking libfindlib-ocaml (1.9.6-1build4) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../22-libzarith-ocaml_1.13-2build4_riscv64.deb ... Unpacking libzarith-ocaml (1.13-2build4) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../23-libcoq-core-ocaml_8.18.0+dfsg-1build2_riscv64.deb ... Unpacking libcoq-core-ocaml (8.18.0+dfsg-1build2) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../24-libstdlib-ocaml-dev_4.14.1-1ubuntu1_riscv64.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_riscv64.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_riscv64.deb ... Unpacking ocaml-interp (4.14.1-1ubuntu1) ... Selecting previously unselected package libncurses-dev:riscv64. Preparing to unpack .../27-libncurses-dev_6.4+20240113-1ubuntu2_riscv64.deb ... Unpacking libncurses-dev:riscv64 (6.4+20240113-1ubuntu2) ... Selecting previously unselected package ocaml. Preparing to unpack .../28-ocaml_4.14.1-1ubuntu1_riscv64.deb ... Unpacking ocaml (4.14.1-1ubuntu1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../29-ocaml-findlib_1.9.6-1build4_riscv64.deb ... Unpacking ocaml-findlib (1.9.6-1build4) ... Selecting previously unselected package coq. Preparing to unpack .../30-coq_8.18.0+dfsg-1build2_riscv64.deb ... Unpacking coq (8.18.0+dfsg-1build2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../31-libdebhelper-perl_13.14.1ubuntu5_all.deb ... Unpacking libdebhelper-perl (13.14.1ubuntu5) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.4.7-7build1_all.deb ... Unpacking libtool (2.4.7-7build1) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../33-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../34-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../35-libsub-override-perl_0.10-1_all.deb ... Unpacking libsub-override-perl (0.10-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../36-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../37-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libdw1t64:riscv64. Preparing to unpack .../38-libdw1t64_0.190-1.1build4_riscv64.deb ... Unpacking libdw1t64:riscv64 (0.190-1.1build4) ... Selecting previously unselected package debugedit. Preparing to unpack .../39-debugedit_1%3a5.0-5build2_riscv64.deb ... Unpacking debugedit (1:5.0-5build2) ... Selecting previously unselected package dwz. Preparing to unpack .../40-dwz_0.15-1build6_riscv64.deb ... Unpacking dwz (0.15-1build6) ... Selecting previously unselected package gettext. Preparing to unpack .../41-gettext_0.21-14ubuntu2_riscv64.deb ... Unpacking gettext (0.21-14ubuntu2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../42-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../43-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../44-debhelper_13.14.1ubuntu5_all.deb ... Unpacking debhelper (13.14.1ubuntu5) ... Selecting previously unselected package dh-coq. Preparing to unpack .../45-dh-coq_0.8_all.deb ... Unpacking dh-coq (0.8) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../46-libfindlib-ocaml-dev_1.9.6-1build4_riscv64.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-1build4) ... Selecting previously unselected package libgmpxx4ldbl:riscv64. Preparing to unpack .../47-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu6_riscv64.deb ... Unpacking libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-2ubuntu6) ... Selecting previously unselected package libgmp-dev:riscv64. Preparing to unpack .../48-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu6_riscv64.deb ... Unpacking libgmp-dev:riscv64 (2:6.3.0+dfsg-2ubuntu6) ... Selecting previously unselected package libgmp3-dev:riscv64. Preparing to unpack .../49-libgmp3-dev_2%3a6.3.0+dfsg-2ubuntu6_riscv64.deb ... Unpacking libgmp3-dev:riscv64 (2:6.3.0+dfsg-2ubuntu6) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../50-libzarith-ocaml-dev_1.13-2build4_riscv64.deb ... Unpacking libzarith-ocaml-dev (1.13-2build4) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../51-libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_riscv64.deb ... Unpacking libcoq-core-ocaml-dev (8.18.0+dfsg-1build2) ... Selecting previously unselected package libresult-ocaml. Preparing to unpack .../52-libresult-ocaml_1.5-4build1_riscv64.deb ... Unpacking libresult-ocaml (1.5-4build1) ... Selecting previously unselected package libsexplib0-ocaml. Preparing to unpack .../53-libsexplib0-ocaml_0.16.0-3build2_riscv64.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_riscv64.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_riscv64.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_riscv64.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_riscv64.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_riscv64.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_riscv64.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_riscv64.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_riscv64.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_riscv64.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_riscv64.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_riscv64.deb ... Unpacking libelpi-ocaml-dev (1.17.4-3build1) ... Selecting previously unselected package libcoq-elpi. Preparing to unpack .../65-libcoq-elpi_1.19.3-2build4_riscv64.deb ... Unpacking libcoq-elpi (1.19.3-2build4) ... Selecting previously unselected package wdiff. Preparing to unpack .../66-wdiff_1.2.2-6build1_riscv64.deb ... Unpacking wdiff (1.2.2-6build1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../67-dh-ocaml_2.0_all.deb ... Unpacking dh-ocaml (2.0) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../68-sbuild-build-depends-main-dummy_0.invalid.0_riscv64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (10.1.0) ... Setting up libpipeline1:riscv64 (1.5.7-2) ... Setting up wdiff (1.2.2-6build1) ... Setting up libmagic-mgc (1:5.45-3build1) ... Setting up dh-coq (0.8) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.14.1ubuntu5) ... Setting up libmagic1t64:riscv64 (1:5.45-3build1) ... Setting up dh-ocaml (2.0) ... Setting up gettext-base (0.21-14ubuntu2) ... Setting up m4 (1.4.19-4build1) ... Setting up file (1:5.45-3build1) ... Setting up libelf1t64:riscv64 (0.190-1.1build4) ... Setting up libdw1t64:riscv64 (0.190-1.1build4) ... Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.18.0+dfsg-1build2) ... Setting up libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-2ubuntu6) ... Setting up libncurses6:riscv64 (6.4+20240113-1ubuntu2) ... Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... Setting up autopoint (0.21-14ubuntu2) ... Setting up ocaml-base (4.14.1-1ubuntu1) ... Setting up autoconf (2.71-3) ... Setting up libicu74:riscv64 (74.2-1ubuntu3) ... Setting up libsexplib0-ocaml (0.16.0-3build2) ... Setting up dwz (0.15-1build6) ... Setting up libuchardet0:riscv64 (0.0.8-1build1) ... Setting up debugedit (1:5.0-5build2) ... Setting up libsub-override-perl (0.10-1) ... Setting up netbase (6.4) ... Setting up libresult-ocaml (1.5-4build1) ... Setting up libxml2:riscv64 (2.9.14+dfsg-1.3ubuntu3) ... Setting up automake (1:1.16.5-1.3ubuntu1) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up libppx-deriving-ocaml (5.2.1-4build2) ... Setting up libncurses-dev:riscv64 (6.4+20240113-1ubuntu2) ... Setting up gettext (0.21-14ubuntu2) ... Setting up libgmp-dev:riscv64 (2:6.3.0+dfsg-2ubuntu6) ... Setting up libpython3.12-stdlib:riscv64 (3.12.3-1) ... Setting up libtool (2.4.7-7build1) ... Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... Setting up python3.12 (3.12.3-1) ... Setting up libfindlib-ocaml (1.9.6-1build4) ... Setting up libzarith-ocaml (1.13-2build4) ... 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-1build4) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up libelpi-ocaml (1.17.4-3build1) ... Setting up libcoq-core-ocaml (8.18.0+dfsg-1build2) ... Setting up groff-base (1.23.0-3build2) ... Setting up libgmp3-dev:riscv64 (2:6.3.0+dfsg-2ubuntu6) ... Setting up libpython3-stdlib:riscv64 (3.12.3-0ubuntu1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up python3 (3.12.3-0ubuntu1) ... Setting up ocaml (4.14.1-1ubuntu1) ... Setting up man-db (2.12.0-4build2) ... 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-1build4) ... Setting up libsexplib0-ocaml-dev (0.16.0-3build2) ... Setting up coq (8.18.0+dfsg-1build2) ... Setting up libresult-ocaml-dev (1.5-4build1) ... Setting up libzarith-ocaml-dev (1.13-2build4) ... Setting up libppx-derivers-ocaml-dev (1.2.1-4build2) ... Setting up libppxlib-ocaml-dev (0.32.0-1) ... Setting up debhelper (13.14.1ubuntu5) ... Setting up libcoq-core-ocaml-dev (8.18.0+dfsg-1build2) ... 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-2build4) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for systemd (255.4-1ubuntu8) ... Processing triggers for libc-bin (2.39-0ubuntu8) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (riscv64 included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 6.5.0-35-generic #35.1~22.04.1-Ubuntu SMP Thu May 2 05:48:36 UTC 2024 riscv64 (riscv64) Toolchain package versions: binutils_2.42-4ubuntu2 dpkg-dev_1.22.6ubuntu6 g++-13_13.2.0-24ubuntu1 g++-14_14-20240429-1ubuntu1 gcc-13_13.2.0-24ubuntu1 gcc-14_14-20240429-1ubuntu1 libc6-dev_2.39-0ubuntu8 libstdc++-13-dev_13.2.0-24ubuntu1 libstdc++-14-dev_14-20240429-1ubuntu1 libstdc++6_14-20240429-1ubuntu1 linux-libc-dev_6.8.0-31.31 Package versions: adduser_3.137ubuntu1 advancecomp_2.5-1build1 apt_2.7.14build2 apt-utils_2.7.14build2 autoconf_2.71-3 automake_1:1.16.5-1.3ubuntu1 autopoint_0.21-14ubuntu2 autotools-dev_20220109.1 base-files_13ubuntu10 base-passwd_3.6.3build1 bash_5.2.21-2ubuntu4 bash-completion_1:2.11-8 binutils_2.42-4ubuntu2 binutils-common_2.42-4ubuntu2 binutils-riscv64-linux-gnu_2.42-4ubuntu2 bsdextrautils_2.39.3-9ubuntu6 bsdutils_1:2.39.3-9ubuntu6 build-essential_12.10ubuntu1 bzip2_1.0.8-5.1 ca-certificates_20240203 coq_8.18.0+dfsg-1build2 coreutils_9.4-3ubuntu6 cpp_4:14-20240120-6ubuntu1 cpp-13_13.2.0-24ubuntu1 cpp-13-riscv64-linux-gnu_13.2.0-24ubuntu1 cpp-14_14-20240429-1ubuntu1 cpp-14-riscv64-linux-gnu_14-20240429-1ubuntu1 cpp-riscv64-linux-gnu_4:14-20240120-6ubuntu1 dash_0.5.12-6ubuntu5 debconf_1.5.86ubuntu1 debconf-i18n_1.5.86ubuntu1 debhelper_13.14.1ubuntu5 debianutils_5.17build1 debugedit_1:5.0-5build2 dh-autoreconf_20 dh-coq_0.8 dh-ocaml_2.0 dh-strip-nondeterminism_1.13.1-1 diffutils_1:3.10-1build1 dpkg_1.22.6ubuntu6 dpkg-dev_1.22.6ubuntu6 dwz_0.15-1build6 e2fsprogs_1.47.0-2.4~exp1ubuntu4 fakeroot_1.33-1 file_1:5.45-3build1 findutils_4.9.0-5build1 g++_4:14-20240120-6ubuntu1 g++-13_13.2.0-24ubuntu1 g++-13-riscv64-linux-gnu_13.2.0-24ubuntu1 g++-14_14-20240429-1ubuntu1 g++-14-riscv64-linux-gnu_14-20240429-1ubuntu1 g++-riscv64-linux-gnu_4:14-20240120-6ubuntu1 gcc_4:14-20240120-6ubuntu1 gcc-13_13.2.0-24ubuntu1 gcc-13-base_13.2.0-24ubuntu1 gcc-13-riscv64-linux-gnu_13.2.0-24ubuntu1 gcc-14_14-20240429-1ubuntu1 gcc-14-base_14-20240429-1ubuntu1 gcc-14-riscv64-linux-gnu_14-20240429-1ubuntu1 gcc-riscv64-linux-gnu_4:14-20240120-6ubuntu1 gettext_0.21-14ubuntu2 gettext-base_0.21-14ubuntu2 gpg_2.4.4-2ubuntu17 gpg-agent_2.4.4-2ubuntu17 gpgconf_2.4.4-2ubuntu17 gpgv_2.4.4-2ubuntu17 grep_3.11-4build1 groff-base_1.23.0-3build2 gzip_1.12-1ubuntu3 hostname_3.23+nmu2ubuntu2 init_1.66ubuntu1 init-system-helpers_1.66ubuntu1 intltool-debian_0.35.0+20060710.6 krb5-locales_1.20.1-6ubuntu2 libacl1_2.3.2-1build1 libapparmor1_4.0.0-beta3-0ubuntu3 libapt-pkg6.0t64_2.7.14build2 libarchive-zip-perl_1.68-1 libargon2-1_0~20190702+dfsg-4build1 libasan8_14-20240429-1ubuntu1 libassuan0_2.5.6-1build1 libatomic1_14-20240429-1ubuntu1 libattr1_1:2.5.2-1build1 libaudit-common_1:3.1.2-2.1build1 libaudit1_1:3.1.2-2.1build1 libbinutils_2.42-4ubuntu2 libblkid1_2.39.3-9ubuntu6 libbz2-1.0_1.0.8-5.1 libc-bin_2.39-0ubuntu8 libc-dev-bin_2.39-0ubuntu8 libc6_2.39-0ubuntu8 libc6-dev_2.39-0ubuntu8 libcap-ng0_0.8.4-2build2 libcap2_1:2.66-5ubuntu2 libcc1-0_14-20240429-1ubuntu1 libcom-err2_1.47.0-2.4~exp1ubuntu4 libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1 libcoq-core-ocaml_8.18.0+dfsg-1build2 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2 libcoq-elpi_1.19.3-2build4 libcoq-stdlib_8.18.0+dfsg-1build2 libcrypt-dev_1:4.4.36-4build1 libcrypt1_1:4.4.36-4build1 libcryptsetup12_2:2.7.0-1ubuntu4 libctf-nobfd0_2.42-4ubuntu2 libctf0_2.42-4ubuntu2 libdb5.3t64_5.3.28+dfsg2-7 libdebconfclient0_0.271ubuntu3 libdebhelper-perl_13.14.1ubuntu5 libdevmapper1.02.1_2:1.02.185-3ubuntu3 libdpkg-perl_1.22.6ubuntu6 libdw1t64_0.190-1.1build4 libelf1t64_0.190-1.1build4 libelpi-ocaml_1.17.4-3build1 libelpi-ocaml-dev_1.17.4-3build1 libexpat1_2.6.1-2build1 libext2fs2t64_1.47.0-2.4~exp1ubuntu4 libfakeroot_1.33-1 libfdisk1_2.39.3-9ubuntu6 libffi8_3.4.6-1build1 libfile-stripnondeterminism-perl_1.13.1-1 libfindlib-ocaml_1.9.6-1build4 libfindlib-ocaml-dev_1.9.6-1build4 libgcc-13-dev_13.2.0-24ubuntu1 libgcc-14-dev_14-20240429-1ubuntu1 libgcc-s1_14-20240429-1ubuntu1 libgcrypt20_1.10.3-2build1 libgdbm-compat4t64_1.23-5.1build1 libgdbm6t64_1.23-5.1build1 libgmp-dev_2:6.3.0+dfsg-2ubuntu6 libgmp10_2:6.3.0+dfsg-2ubuntu6 libgmp3-dev_2:6.3.0+dfsg-2ubuntu6 libgmpxx4ldbl_2:6.3.0+dfsg-2ubuntu6 libgnutls30t64_3.8.3-1.1ubuntu3 libgomp1_14-20240429-1ubuntu1 libgpg-error-l10n_1.47-3build2 libgpg-error0_1.47-3build2 libgpm2_1.20.7-11 libgssapi-krb5-2_1.20.1-6ubuntu2 libhogweed6t64_3.9.1-2.2build1 libicu74_74.2-1ubuntu3 libidn2-0_2.3.7-2build1 libip4tc2_1.8.10-3ubuntu2 libisl23_0.26-3build1 libjansson4_2.14-2build2 libjson-c5_0.17-1build1 libk5crypto3_1.20.1-6ubuntu2 libkeyutils1_1.6.3-3build1 libkmod2_31+20240202-2ubuntu7 libkrb5-3_1.20.1-6ubuntu2 libkrb5support0_1.20.1-6ubuntu2 liblocale-gettext-perl_1.07-6ubuntu5 liblockfile-bin_1.17-1build3 liblockfile1_1.17-1build3 liblsan0_14-20240429-1ubuntu1 liblz4-1_1.9.4-1build1 liblzma5_5.6.1+really5.4.5-1 libmagic-mgc_1:5.45-3build1 libmagic1t64_1:5.45-3build1 libmd0_1.1.0-2build1 libmenhir-ocaml-dev_20231231+ds-1 libmount1_2.39.3-9ubuntu6 libmpc3_1.3.1-1build1 libmpfr6_4.2.1-1build1 libncurses-dev_6.4+20240113-1ubuntu2 libncurses6_6.4+20240113-1ubuntu2 libncursesw6_6.4+20240113-1ubuntu2 libnettle8t64_3.9.1-2.2build1 libnpth0t64_1.6-3.1build1 libnsl-dev_1.3.0-3build3 libnsl2_1.3.0-3build3 libnss-nis_3.1-0ubuntu7 libnss-nisplus_1.3-5build1 libocaml-compiler-libs-ocaml-dev_0.12.4-4build2 libp11-kit0_0.25.3-4ubuntu2 libpam-modules_1.5.3-5ubuntu5 libpam-modules-bin_1.5.3-5ubuntu5 libpam-runtime_1.5.3-5ubuntu5 libpam0g_1.5.3-5ubuntu5 libpcre2-8-0_10.42-4ubuntu2 libperl5.36_5.36.0-9ubuntu1 libperl5.38t64_5.38.2-3.2build2 libpipeline1_1.5.7-2 libpng16-16t64_1.6.43-5build1 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-4ubuntu3 libpython3-stdlib_3.12.3-0ubuntu1 libpython3.12-minimal_3.12.3-1 libpython3.12-stdlib_3.12.3-1 libre-ocaml-dev_1.11.0-1build2 libreadline8t64_8.2-4build1 libresult-ocaml_1.5-4build1 libresult-ocaml-dev_1.5-4build1 libseccomp2_2.5.5-1ubuntu3 libselinux1_3.5-2ubuntu2 libsemanage-common_3.5-1build5 libsemanage2_3.5-1build5 libsepol2_3.5-2build1 libsexplib0-ocaml_0.16.0-3build2 libsexplib0-ocaml-dev_0.16.0-3build2 libsframe1_2.42-4ubuntu2 libsmartcols1_2.39.3-9ubuntu6 libsqlite3-0_3.45.1-1ubuntu2 libss2_1.47.0-2.4~exp1ubuntu4 libssl3t64_3.0.13-0ubuntu3 libstdc++-13-dev_13.2.0-24ubuntu1 libstdc++-14-dev_14-20240429-1ubuntu1 libstdc++6_14-20240429-1ubuntu1 libstdlib-ocaml_4.14.1-1ubuntu1 libstdlib-ocaml-dev_4.14.1-1ubuntu1 libsub-override-perl_0.10-1 libsystemd-shared_255.4-1ubuntu8 libsystemd0_255.4-1ubuntu8 libtasn1-6_4.19.0-3build1 libtext-charwidth-perl_0.04-11build3 libtext-iconv-perl_1.7-8build3 libtext-wrapi18n-perl_0.06-10 libtinfo6_6.4+20240113-1ubuntu2 libtirpc-common_1.3.4+ds-1.1build1 libtirpc-dev_1.3.4+ds-1.1build1 libtirpc3t64_1.3.4+ds-1.1build1 libtool_2.4.7-7build1 libtsan2_14-20240429-1ubuntu1 libubsan1_14-20240429-1ubuntu1 libuchardet0_0.0.8-1build1 libudev1_255.4-1ubuntu8 libunistring2_1.0-2 libunistring5_1.1-2build1 libuuid1_2.39.3-9ubuntu6 libxml2_2.9.14+dfsg-1.3ubuntu3 libxxhash0_0.8.2-2build1 libzarith-ocaml_1.13-2build4 libzarith-ocaml-dev_1.13-2build4 libzstd1_1.5.5+dfsg2-2build1 linux-libc-dev_6.8.0-31.31 lockfile-progs_0.1.19build2 login_1:4.13+dfsg1-4ubuntu3 logsave_1.47.0-2.4~exp1ubuntu4 lto-disabled-list_47 m4_1.4.19-4build1 make_4.3-4.1build2 man-db_2.12.0-4build2 mawk_1.3.4.20240123-1build1 media-types_10.1.0 mount_2.39.3-9ubuntu6 ncurses-base_6.4+20240113-1ubuntu2 ncurses-bin_6.4+20240113-1ubuntu2 netbase_6.4 ocaml_4.14.1-1ubuntu1 ocaml-base_4.14.1-1ubuntu1 ocaml-findlib_1.9.6-1build4 ocaml-interp_4.14.1-1ubuntu1 openssl_3.0.13-0ubuntu3 optipng_0.7.8+ds-1build2 passwd_1:4.13+dfsg1-4ubuntu3 patch_2.7.6-7build3 perl_5.38.2-3.2build2 perl-base_5.38.2-3.2build2 perl-modules-5.36_5.36.0-9ubuntu1 perl-modules-5.38_5.38.2-3.2build2 pinentry-curses_1.2.1-3ubuntu5 pkgbinarymangler_154 po-debconf_1.0.21+nmu1 policyrcd-script-zg2_0.1-3.1 procps_2:4.0.4-4ubuntu3 psmisc_23.7-1build1 python3_3.12.3-0ubuntu1 python3-minimal_3.12.3-0ubuntu1 python3.12_3.12.3-1 python3.12-minimal_3.12.3-1 readline-common_8.2-4build1 rpcsvc-proto_1.4.2-0ubuntu7 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2build1 sensible-utils_0.0.22 systemd_255.4-1ubuntu8 systemd-dev_255.4-1ubuntu8 systemd-sysv_255.4-1ubuntu8 sysvinit-utils_3.08-6ubuntu3 tar_1.35+dfsg-3build1 tzdata_2024a-2ubuntu1 ubuntu-keyring_2023.11.28.1 util-linux_2.39.3-9ubuntu6 uuid-runtime_2.39.3-9ubuntu6 wdiff_1.2.2-6build1 xz-utils_5.6.1+really5.4.5-1 zlib1g_1:1.3.dfsg-3.1ubuntu2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: coq-hierarchy-builder Binary: libcoq-hierarchy-builder, coq-hierarchy-builder Architecture: any Version: 1.6.0-1build5 Maintainer: Ubuntu Developers Uploaders: Julien Puydt Homepage: https://github.com/math-comp/hierarchy-builder Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hierarchy-builder Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hierarchy-builder.git Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libelpi-ocaml-dev, wdiff Package-List: coq-hierarchy-builder deb ocaml optional arch=any libcoq-hierarchy-builder deb ocaml optional arch=any Checksums-Sha1: 16339cebe64b37a98e60db99261d0f29a2ccd3e4 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz a39635f53f6fb0e04e23be1ef780a573ac0edf0a 3676 coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz Checksums-Sha256: 18904a8bcd945adbf083bfc5af3bd98afa182d950253fba8733b638913738d22 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz 5bb723d6eb51ffeccb89db0f4b5b14b6c9121e035d71896a30bed110f8eb50e5 3676 coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz Files: cf7c99cfa85c6efbeb69a232fd1012b7 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz 5c2d7d439a9f5a2429d1439b23063011 3676 coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz Original-Maintainer: Debian OCaml Maintainers -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmggACgkQ808JdE6f XdluRA/9FPbWyAiYJ/Fqin8p4AcIkYk6bSyd14FMQNsGPJhU/pNF8qwpqJeB62fT JnZtibiKolwoDY+tU3GmLrPgeHjA/wUpC39xKWQOGdfayfF8EVVXI08hMw7++8Cj o49JIL00hlfkkZNB/rLy5GyBm2MXWLjL0pCmeozO085YqvRxENQBEA81/zr0xRUB s+qKwTsU/9rEs210YeKs1h+80YyQvbpVPAPQZAF3OgMFwvaFiweye8KazXXSdyHu 6tQoaNst+bXgAjOxsbqT/hFGFDVnMvAZ+PHkg1t6AIfDJDt9J9TOhXaR/YbaL8Je KcnnciHkemm3keQJqDGhvFvN1skGr9w2j/Qo/3bzuZ+ovV5et1fUC0rnNJSqGu6u O70DgrS5IGhh16Rr1dr3Xki4XDFPJSRn5NN6jQweGzURDiw3XqtJCX0cK0aGDgdq RVqoSpuM7SAayCdU5AGSC76YctFtUnFvGD725JYzumDrM0i0n8E8NM8dY/AxLMnm /y6NNyOqTwcsnN/dT7raDc9aZKnV59MYM3DB4tdiiV+wuq9jlheD+++Sj/rXAo3k tQMRfPLs99DoiuthdJMnlF8pLa7RgElp7KBkVZht6sKGCXpGdGF0J1zoJBd1leOi o6dBD6y8YSYwy9xXx9qhi4MmY3U6W83YX01QKchfeWeOeRAHR44= =rZ5/ -----END PGP SIGNATURE----- gpgv: Signature made Mon Apr 8 07:17:28 2024 UTC gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./coq-hierarchy-builder_1.6.0-1build5.dsc: no acceptable signature found dpkg-source: info: extracting coq-hierarchy-builder in /<> dpkg-source: info: unpacking coq-hierarchy-builder_1.6.0.orig.tar.gz dpkg-source: info: unpacking coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=noautodbgsym 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-28301486 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-28301486 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-28301486 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -us -uc -mLaunchpad Build Daemon -B -rfakeroot dpkg-buildpackage: info: source package coq-hierarchy-builder dpkg-buildpackage: info: source version 1.6.0-1build5 dpkg-buildpackage: info: source distribution noble dpkg-source --before-build . dpkg-buildpackage: info: host architecture riscv64 debian/rules clean dh clean --with coq,ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' make clean make[2]: Entering directory '/<>' rm -f coq.hb make[2]: Leaving directory '/<>' find . -name "*.cm*" -delete find . -name "*.aux" -delete rm -f Makefile.coq Makefile.coq.conf rm -f Makefile.test-suite.coq Makefile.test-suite.coq.conf rm -f *dot make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with coq,ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a dh_auto_configure -a dh_auto_build -a make -j4 "INSTALL=install --strip-program=true" make[1]: Entering directory '/<>' make config make[2]: Entering directory '/<>' make[2]: Leaving directory '/<>' make build make[2]: Entering directory '/<>' ocamlc unix.cma str.cma -g hb.ml -o coq.hb /usr/bin/coq_makefile -f _CoqProject -o Makefile.coq make -f Makefile.coq make[3]: Entering directory '/<>' COQDEP VFILES COQC structures.v make[3]: Leaving directory '/<>' make[2]: Leaving directory '/<>' make test-suite make[2]: Entering directory '/<>' make -f Makefile.coq /usr/bin/coq_makefile -f _CoqProject.test-suite -o Makefile.test-suite.coq make[3]: Entering directory '/<>' Warning: . and tests overlap (used in -R or -Q) Warning: . and examples overlap (used in -R or -Q) make[4]: Nothing to be done for 'real-all'. make[3]: Leaving directory '/<>' make -f Makefile.test-suite.coq make[3]: Entering directory '/<>' COQDEP VFILES COQC examples/readme.v COQC examples/hulk.v COQC examples/demo1/hierarchy_0.v COQC examples/demo1/hierarchy_1.v [1715905412.645381] HB: start module and section AddComoid_of_Type [1715905412.696096] HB: converting arguments indt-decl (parameter A explicit X0 c0 \ record AddComoid_of_Type (sort (typ X1)) Build_AddComoid_of_Type (field [coercion off, canonical tt] zero c0 c1 \ field [coercion off, canonical tt] add (prod `_` c0 c2 \ prod `_` c0 c3 \ c0) c2 \ field [coercion off, canonical tt] addrA (prod `x` (X2 c0 c1 c2) c3 \ prod `y` (X3 c0 c1 c2 c3) c4 \ prod `z` (X4 c0 c1 c2 c3 c4) c5 \ app [global (indt «eq»), X5 c0 c1 c2 c3 c4 c5, app [c2, c3, app [c2, c4, c5]], app [c2, app [c2, c3, c4], c5]]) c3 \ field [coercion off, canonical tt] addrC (prod `x` (X6 c0 c1 c2 c3) c4 \ prod `y` (X7 c0 c1 c2 c3 c4) c5 \ app [global (indt «eq»), X8 c0 c1 c2 c3 c4 c5, app [c2, c4, c5], app [c2, c5, c4]]) c4 \ field [coercion off, canonical tt] add0r (prod `x` (X9 c0 c1 c2 c3 c4) c5 \ app [global (indt «eq»), X10 c0 c1 c2 c3 c4 c5, app [c2, c1, c5], c5]) c5 \ end-record)) to factories [1715905412.739224] HB: processing key parameter [1715905412.779853] HB: converting factories w-params.nil A (sort (typ «HB.examples.readme.2»)) c0 \ [] to mixins [1715905412.786834] HB: declaring context w-params.nil A (sort (typ «HB.examples.readme.2»)) c0 \ [] [1715905412.793675] HB: declaring parameters and key as section variables Here is the list of mixins to declare (the order matters): [] [1715905413.101227] HB: declare mixin or factory [1715905413.103590] HB: declare record axioms_ [1715905414.178506] HB: declare notation Build [1715905414.684114] HB: declare notation axioms [1715905415.397438] HB: start module Exports COQC examples/demo1/hierarchy_2.v [1715905416.434692] HB: end modules and sections; export «HB.examples.readme.AddComoid_of_Type.Exports» (* Module AddComoid_of_Type. Section AddComoid_of_Type. Variable A : Type. Local Arguments A : clear implicits. Section axioms_. Local Unset Implicit Arguments. Record axioms_ (elpi_ctx_entry_0_ : Type) : Type := Axioms_ { zero : elpi_ctx_entry_0_; add : elpi_ctx_entry_0_ -> elpi_ctx_entry_0_ -> elpi_ctx_entry_0_; addrA : forall x y z : elpi_ctx_entry_0_, add x (add y z) = add (add x y) z; addrC : forall x y : elpi_ctx_entry_0_, add x y = add y x; add0r : forall x : elpi_ctx_entry_0_, add zero x = x; }. End axioms_. Global Arguments axioms_ : clear implicits. Global Arguments Axioms_ : clear implicits. Global Arguments zero : clear implicits. Global Arguments add : clear implicits. Global Arguments addrA : clear implicits. Global Arguments addrC : clear implicits. Global Arguments add0r : clear implicits. End AddComoid_of_Type. Global Arguments axioms_ : clear implicits. Global Arguments Axioms_ : clear implicits. Definition phant_Build : forall (A : Type) (zero : A) (add : A -> A -> A), (forall x y z : A, add x (add y z) = add (add x y) z) -> (forall x y : A, add x y = add y x) -> (forall x : A, add zero x = x) -> axioms_ A := fun (A : Type) (zero : A) (add : A -> A -> A) (addrA : forall x y z : A, add x (add y z) = add (add x y) z) (addrC : forall x y : A, add x y = add y x) (add0r : forall x : A, add zero x = x) => {| zero := zero; add := add; addrA := addrA; addrC := addrC; add0r := add0r |}. Local Arguments phant_Build : clear implicits. Notation Build X1 := ( phant_Build X1). Definition phant_axioms : Type -> Type := fun A : Type => axioms_ A. Local Arguments phant_axioms : clear implicits. Notation axioms X1 := ( phant_axioms X1). Definition identity_builder : forall A : Type, axioms_ A -> axioms_ A := fun (A : Type) (x : axioms_ A) => x. Local Arguments identity_builder : clear implicits. Module Exports. Global Arguments Axioms_ {_}. End Exports. End AddComoid_of_Type. Export AddComoid_of_Type.Exports. Notation AddComoid_of_Type X1 := ( AddComoid_of_Type.phant_axioms X1). *) [1715905416.597980] HB: start module AddComoid [1715905416.599972] HB: declare axioms record w-params.nil A (sort (typ «HB.examples.readme.25»)) c0 \ [triple (indt «AddComoid_of_Type.axioms_») [] c0] [1715905416.602539] HB: typing class field indt «AddComoid_of_Type.axioms_» [1715905416.654475] HB: declare type record [1715905416.708379] HB: structure: new mixins [indt «AddComoid_of_Type.axioms_»] [1715905416.710853] HB: structure: mixin first class [mixin-first-class (indt «AddComoid_of_Type.axioms_») (indt «axioms_»)] [1715905416.712743] HB: declaring clone abbreviation [1715905416.776782] HB: declaring pack_ constant [1715905416.783991] HB: declaring pack_ constant = fun `A` (sort (typ «axioms_.u0»)) c0 \ fun `m` (app [global (indt «AddComoid_of_Type.axioms_»), c0]) c1 \ app [global (indc «Pack»), c0, app [global (indc «Class»), c0, c1]] [1715905416.798732] HB: start module Exports [1715905416.801037] HB: making coercion from type to target [1715905416.802367] HB: declare sort coercion [1715905416.806503] HB: exporting unification hints [1715905416.808709] HB: exporting coercions from class to mixins [1715905416.811796] HB: export class to mixin coercion for mixin readme_AddComoid_of_Type [1715905416.816166] HB: accumulating various props [1715905416.860553] HB: stop module Exports [1715905416.889520] HB: declaring on_ abbreviation [1715905416.938663] HB: declaring `copy` abbreviation [1715905416.947234] HB: declaring on abbreviation [1715905416.981109] HB: end modules; export «HB.examples.readme.AddComoid.Exports» [1715905416.991250] HB: exporting operations [1715905417.002824] HB: export operation zero [1715905417.025876] HB: export operation add [1715905417.051508] HB: export operation addrA [1715905417.082570] HB: export operation addrC [1715905417.110221] HB: export operation add0r [1715905417.132744] HB: operations meta-data module: ElpiOperations [1715905417.194649] HB: abbreviation factory-by-classname (* Module AddComoid. Section axioms_. Local Unset Implicit Arguments. Record axioms_ (A : Type) : Type := Class { readme_AddComoid_of_Type_mixin : AddComoid_of_Type.axioms_ A; }. End axioms_. Global Arguments axioms_ : clear implicits. Global Arguments Class : clear implicits. Global Arguments readme_AddComoid_of_Type_mixin : clear implicits. Section type. Local Unset Implicit Arguments. Record type : Type := Pack { sort : Type; class : axioms_ sort; }. End type. Global Arguments type : clear implicits. Global Arguments Pack : clear implicits. Global Arguments sort : clear implicits. Global Arguments class : clear implicits. Definition phant_clone : forall (A : Type) (cT : type) (c : axioms_ A) (_ : unify Type Type A (sort cT) nomsg) (_ : unify type type cT (Pack A c) nomsg), type := fun (A : Type) (cT : type) (c : axioms_ A) (_ : unify Type Type A (sort cT) nomsg) (_ : unify type type cT (Pack A c) nomsg) => Pack A c. Local Arguments phant_clone : clear implicits. Notation clone X2 X1 := ( phant_clone X2 X1 _ (@id_phant _ _) (@id_phant _ _)). Definition pack_ := fun (A : Type) (m : AddComoid_of_Type.axioms_ A) => Pack A (Class A m). Local Arguments pack_ : clear implicits. Module Exports. #[reversible] Coercion sort : readme.AddComoid.type >-> Sortclass. #[reversible] Coercion readme_AddComoid_of_Type_mixin : readme.AddComoid.axioms_ >-> readme.AddComoid_of_Type.axioms_. End Exports. Import Exports. Definition phant_on_ : forall (A : type) (_ : phant (sort A)), axioms_ (sort A) := fun (A : type) (_ : phant (sort A)) => class A. Local Arguments phant_on_ : clear implicits. Notation on_ X1 := ( phant_on_ _ (Phant X1)). Notation copy X2 X1 := ( phant_on_ _ (Phant X1) : axioms_ X2). Notation on X1 := ( phant_on_ _ (Phant _) : axioms_ X1). End AddComoid. Export AddComoid.Exports. Definition zero : forall s : AddComoid.type, AddComoid.sort s := fun s : AddComoid.type => AddComoid_of_Type.zero (AddComoid.sort s) (AddComoid.readme_AddComoid_of_Type_mixin (AddComoid.sort s) (AddComoid.class s)). Local Arguments zero : clear implicits. Global Arguments zero {_}. Definition add : forall (s : AddComoid.type) (_ : AddComoid.sort s) (_ : AddComoid.sort s), AddComoid.sort s := fun (s : AddComoid.type) (H H0 : AddComoid.sort s) => AddComoid_of_Type.add (AddComoid.sort s) (AddComoid.readme_AddComoid_of_Type_mixin (AddComoid.sort s) (AddComoid.class s)) H H0. Local Arguments add : clear implicits. Global Arguments add {_}. Definition addrA : forall (s : AddComoid.type) (x y z : AddComoid.sort s), @eq (AddComoid.sort s) (@add s x (@add s y z)) (@add s (@add s x y) z) := fun (s : AddComoid.type) (x y z : AddComoid.sort s) => AddComoid_of_Type.addrA (AddComoid.sort s) (AddComoid.readme_AddComoid_of_Type_mixin (AddComoid.sort s) (AddComoid.class s)) x y z. Local Arguments addrA : clear implicits. Global Arguments addrA {_}. Definition addrC : forall (s : AddComoid.type) (x y : AddComoid.sort s), @eq (AddComoid.sort s) (@add s x y) (@add s y x) := fun (s : AddComoid.type) (x y : AddComoid.sort s) => AddComoid_of_Type.addrC (AddComoid.sort s) (AddComoid.readme_AddComoid_of_Type_mixin (AddComoid.sort s) (AddComoid.class s)) x y. Local Arguments addrC : clear implicits. Global Arguments addrC {_}. Definition add0r : forall (s : AddComoid.type) (x : AddComoid.sort s), @eq (AddComoid.sort s) (@add s (@zero s) x) x := fun (s : AddComoid.type) (x : AddComoid.sort s) => AddComoid_of_Type.add0r (AddComoid.sort s) (AddComoid.readme_AddComoid_of_Type_mixin (AddComoid.sort s) (AddComoid.class s)) x. Local Arguments add0r : clear implicits. Global Arguments add0r {_}. Module ElpiOperations1. End ElpiOperations1. Export ElpiOperations1. Notation AddComoid X1 := ( AddComoid.axioms_ X1). *) forall (M : AddComoid.type) (x : M), x + x = 0 : Prop [1715905417.581800] HB: begin module for builders [1715905417.588757] HB: postulating factories [1715905417.591484] HB: processing key context-item [1715905417.594426] HB: processing mixin parameter a [1715905417.597799] HB: declaring parameters and key as section variables Here is the list of mixins to declare (the order matters): [] AbelianGrp.phant_on_ BinNums_Z__canonical__readme_AbelianGrp (Phant BinNums_Z__canonical__readme_AbelianGrp) : AbelianGrp.axioms_ Z : AbelianGrp.axioms_ Z COQC examples/demo1/hierarchy_3.v HB: Z is canonically equipped with structures: - AbelianGrp (from "./examples/readme.v", line 32) - AddComoid (from "./examples/readme.v", line 31) COQC examples/demo1/hierarchy_4.v File "./examples/hulk.v", line 143, characters 0-63: Warning: pulling in dependencies: [Feather_HasEqDec] Please list them or end the declaration with '&' [HB.implicit-structure-dependency,HB,elpi,default] HB: A is canonically equipped with structures: - Equality Singleton (from "./examples/hulk.v", line 216) File "./examples/demo1/hierarchy_2.v", line 57, characters 0-57: Warning: pulling in dependencies: [hierarchy_2_AddComoid_of_TYPE, hierarchy_2_AddAG_of_AddComoid] Please list them or end the declaration with '&' [HB.implicit-structure-dependency,HB,elpi,default] [1715905434.490838] HB: declare builder from hierarchy_2_Ring_of_AddComoid to hierarchy_2_AddAG_of_AddComoid [1715905434.499010] HB: declare builder from hierarchy_2_Ring_of_AddComoid to hierarchy_2_Ring_of_AddAG COQC examples/demo1/hierarchy_5.v COQC examples/demo1/test_0_0.v COQC examples/demo1/test_1_0.v COQC examples/demo1/test_2_0.v COQC examples/demo1/test_3_0.v HB.check: SemiRing_of_AddComoid.axioms_ : (forall (A : Type) (m : AddMonoid_of_TYPE.axioms_ A), AddComoid_of_AddMonoid.axioms_ A m -> Type) : forall (A : Type) (m : AddMonoid_of_TYPE.axioms_ A), AddComoid_of_AddMonoid.axioms_ A m -> Type COQC examples/demo1/test_3_3.v COQC examples/demo1/test_4_0.v COQC examples/demo1/test_4_3.v COQC examples/demo1/test_5_0.v COQC examples/demo1/test_5_3.v COQC examples/demo2/classical.v COQC examples/demo3/hierarchy_0.v COQC examples/demo3/hierarchy_1.v COQC examples/demo3/hierarchy_2.v COQC examples/demo3/test_0_0.v COQC examples/demo3/test_1_0.v COQC examples/demo4/hierarchy_0.v COQC examples/demo5/hierarchy_0.v COQC examples/FSCD2020_material/V1.v Finished transaction in 114.255 secs (100.688u,13.342s) (successful) Finished transaction in 0.019 secs (0.019u,0.s) (successful) inhab : ?s where ?T : [ |- Type] ?s : [ |- s1.type ?T] eq_refl : inhab = 7 : inhab = 7 eq_refl : inhab = (7 :: nil)%list : inhab = (7 :: nil)%list where ?T : [ |- Type] fun X : s2.type nat => inhab : X : forall X : s2.type nat, X fun X : s2.type nat => inj : nat -> X : forall X : s2.type nat, nat -> X s2_to_s1 not a defined object. COQC examples/FSCD2020_material/V2.v Record type : Type := Pack { sort : Type; class : Monoid.axioms_ sort }. Arguments Monoid.Pack sort%type_scope class @add : forall s : Monoid.type, s -> s -> s @addNr : forall s : Ring.type, left_inverse 0 opp add COQC examples/FSCD2020_material/V3.v COQC examples/FSCD2020_material/V4.v Record type : Type := Pack { sort : Type; class : Monoid.axioms_ sort }. Arguments Monoid.Pack sort%type_scope class @add : forall s : Monoid.type, s -> s -> s @addNr : forall s : AbelianGroup.type, left_inverse 0 opp add @addrC : forall s : AbelianGroup.type, commutative add COQC examples/FSCD2020_talk/V1.v Record type : Type := Pack { sort : Type; class : Monoid.axioms_ sort }. Arguments Monoid.Pack sort%type_scope class @add : forall s : Monoid.type, s -> s -> s @addNr : forall s : AbelianGroup.type, left_inverse 0 opp add @addrC : forall s : AbelianGroup.type, commutative add COQC examples/FSCD2020_talk/V2.v COQC examples/FSCD2020_talk/V3.v Record type : Type := Pack { sort : Type; class : Monoid.axioms_ sort }. Arguments Monoid.Pack sort%type_scope class @add : forall s : Monoid.type, s -> s -> s @addNr : forall s : AbelianGroup.type, left_inverse 0 opp add @addrC : forall s : AbelianGroup.type, commutative add COQC examples/Coq2020_material/CoqWS_demo.v File "./examples/FSCD2020_talk/V2.v", line 17, characters 0-66: Warning: pulling in dependencies: [V2_is_semigroup] Please list them or end the declaration with '&' [HB.implicit-structure-dependency,HB,elpi,default] COQC examples/Coq2020_material/CoqWS_abstract.v COQC examples/Coq2020_material/CoqWS_expansion/withHB.v add : ?s -> ?s -> ?s where ?s : [ |- CMonoid.type] addrC : commutative add where ?s : [ |- CMonoid.type] File "./examples/Coq2020_material/CoqWS_demo.v", line 73, characters 0-73: Warning: pulling in dependencies: [CoqWS_demo_CMonoid_of_Type] Please list them or end the declaration with '&' [HB.implicit-structure-dependency,HB,elpi,default] forall x y : ?t, x - (y + 0) = x : Prop where ?t : [x : ?t y : ?t |- AbelianGrp.type] (x, y cannot be used) forall x y : ?t, 1 + x = y * x : Prop where ?t : [x : ?t y : ?t |- SemiRing.type] (x, y cannot be used) forall (R : Ring.type) (x y : R), 1 * x = y - x : Prop forall (x : join_CoqWS_demo_Ring_between_CoqWS_demo_AbelianGrp_and_CoqWS_demo_SemiRing ?t) (y : ?t), 1 * x = y - x : Prop where ?t : [x : join_CoqWS_demo_Ring_between_CoqWS_demo_AbelianGrp_and_CoqWS_demo_SemiRing ?t y : ?t |- Ring.type] (x, y cannot be used) addrC : commutative add where ?s : [ |- CMonoid.type] forall x : Z, x * - (1 + x) = 0 + 1 : Prop File "./examples/Coq2020_material/CoqWS_abstract.v", line 23, characters 0-71: Warning: pulling in dependencies: [CoqWS_abstract_CMonoid_of_Type] Please list them or end the declaration with '&' [HB.implicit-structure-dependency,HB,elpi,default] add : A -> A -> A forall x : Z, x * - (1 + x) = 0 + 1 : Prop COQC examples/Coq2020_material/CoqWS_expansion/withoutHB.v forall (G : AbelianGrp.type) (x : G), x - x = 0 : Prop forall (S : SemiRing.type) (x : S), x * 1 + 0 = x : Prop forall (R : Ring.type) (x y : R), x * - (1 * y) = - x * y : Prop forall x : Z, x * - (1 + x) = 0 + 1 : Prop COQC tests/type_of_exported_ops.v COQC tests/duplicate_structure.v File "./examples/Coq2020_material/CoqWS_expansion/withoutHB.v", line 10, characters 50-62: Warning: The format modifier has no effect for only-parsing notations. [discarded-format-only-parsing,parsing,default] COQC tests/instance_params_no_type.v COQC tests/test_CS_db_filtering.v COQC tests/subtype.v COQC tests/infer.v Finished transaction in 94.074 secs (83.124u,10.503s) (successful) Module Type new_conceptLocked = Sig Parameter body : nat. Parameter unlock : body = Init.Nat.of_num_uint (Number.UIntDecimal (Decimal.D9 (Decimal.D9 (Decimal.D9 (Decimal.D9 (Decimal.D9 (Decimal.D9 Decimal.Nil))))))). End Module new_concept : new_conceptLocked := Struct Definition body : nat. Parameter unlock : new_concept = Init.Nat.of_num_uint (Number.UIntDecimal (Decimal.D9 (Decimal.D9 (Decimal.D9 (Decimal.D9 (Decimal.D9 (Decimal.D9 Decimal.Nil))))))). End Notation new_concept := new_concept.body COQC tests/exports.v File "./examples/hulk.v", line 315, characters 0-55: Warning: pulling in dependencies: [MissingJoin_isTop] Please list them or end the declaration with '&' [HB.implicit-structure-dependency,HB,elpi,default] [1715905646.263081] HB: start module SubInhab [1715905646.271565] HB: declare axioms record w-params.cons T (sort (typ «HB.tests.subtype.280»)) c0 \ w-params.cons P (app [global (const «pred»), c0]) c1 \ w-params.nil sT (sort (typ «HB.tests.subtype.282»)) c2 \ [triple (indt «is_inhab.axioms_») [] c2, triple (indt «is_SUB.axioms_») [c0, c1] c2] [1715905646.279167] HB: typing class field indt «is_inhab.axioms_» [1715905646.283311] HB: typing class field indt «is_SUB.axioms_» [1715905646.361070] HB: declare type record [1715905646.437765] HB: structure: new mixins [] [1715905646.439774] HB: structure: mixin first class [] [1715905646.441236] HB: declaring clone abbreviation [1715905646.526369] HB: declaring pack_ constant [1715905646.551696] HB: declaring pack_ constant = fun `T` (sort (typ «axioms_.u0»)) c0 \ fun `P` (app [global (const «pred»), c0]) c1 \ fun `sT` (sort (typ «axioms_.u1»)) c2 \ fun `m` (app [global (indt «is_inhab.axioms_»), c2]) c3 \ fun `m` (app [global (indt «is_SUB.axioms_»), c0, c1, c2]) c4 \ app [global (indc «Pack»), c0, c1, c2, app [global (indc «Class»), c0, c1, c2, c3, c4]] [1715905646.574658] HB: start module Exports [1715905646.577947] HB: making coercion from type to target [1715905646.579780] HB: declare sort coercion [1715905646.584122] HB: exporting unification hints [1715905646.593492] HB: declare coercion subtype_SubInhab__to__subtype_SUB [1715905646.605476] HB: declare coercion hint subtype_SubInhab_class__to__subtype_SUB_class [1715905646.671628] HB: declare unification hint subtype_SubInhab__to__subtype_SUB [1715905646.749158] HB: declare coercion subtype_SubInhab__to__subtype_Inhab [1715905646.760454] HB: declare coercion hint subtype_SubInhab_class__to__subtype_Inhab_class [1715905646.827553] HB: declare unification hint subtype_SubInhab__to__subtype_Inhab [1715905646.912875] HB: declare unification hint join_subtype_SubInhab_between_subtype_Inhab_and_subtype_SUB [1715905646.990746] HB: exporting coercions from class to mixins [1715905646.997683] HB: export class to mixin coercion for mixin subtype_is_inhab [1715905647.014728] HB: export class to mixin coercion for mixin subtype_is_SUB [1715905647.029017] HB: accumulating various props [1715905647.114946] HB: stop module Exports [1715905647.176138] HB: declaring on_ abbreviation [1715905647.257773] HB: declaring `copy` abbreviation [1715905647.276834] HB: declaring on abbreviation [1715905647.330848] HB: end modules; export «HB.tests.subtype.SubInhab.Exports» [1715905647.366934] HB: exporting operations [1715905647.369480] HB: operations meta-data module: ElpiOperations [1715905647.399944] HB: abbreviation factory-by-classname HB.check: bar.type_ bool nat bool : Type File "./tests/infer.v", line 20, characters 0-62: Warning: Skipping test on Coq 8.18.0 as requested [HB.skip,HB,elpi,default] bar.phant_type = fun (A : Type) (P : foo.type) (_ : ssreflect.phant P) (B : Type) => bar.type_ A P B : Type -> forall P : foo.type, ssreflect.phant P -> Type -> Type Arguments bar.phant_type A%type_scope P _ B%type_scope Notation bar.type _elpi_ctx_entry_3_was_A_ _elpi_ctx_entry_2_was_P_ _elpi_ctx_entry_1_was_B_ := (bar.phant_type _elpi_ctx_entry_3_was_A_ _ (ssreflect.Phant _elpi_ctx_entry_2_was_P_) _elpi_ctx_entry_1_was_B_) bar.phant_type bool Datatypes_nat__canonical__infer_foo (ssreflect.Phant nat) bool : Type bar1.phant_type Datatypes_nat__canonical__infer_foo (ssreflect.Phant nat) : Type COQC tests/log_impargs_record.v COQC tests/compress_coe.v File "./examples/hulk.v", line 341, characters 0-55: Warning: pulling in dependencies: [GoodJoin_isTop] Please list them or end the declaration with '&' [HB.implicit-structure-dependency,HB,elpi,default] COQC tests/funclass.v (* Module A. Section A. Variable T : Type. Local Arguments T : clear implicits. Section axioms_. Local Unset Implicit Arguments. Record axioms_ (elpi_ctx_entry_0_ : Type) : Type := Axioms_ { a : elpi_ctx_entry_0_; f : elpi_ctx_entry_0_ -> elpi_ctx_entry_0_; p : forall x : elpi_ctx_entry_0_, f x = x -> True; q : forall h : f a = a, p a h = p a h; }. End axioms_. Global Arguments axioms_ : clear implicits. Global Arguments Axioms_ [_] [_] _ _ _. Global Arguments a [_] _. Global Arguments f [_] _ _. Global Arguments p [_] _ [_] _. Global Arguments q [_] _ _. End A. Global Arguments axioms_ : clear implicits. Global Arguments Axioms_ : clear implicits. Definition phant_Build : forall (T : Type) (a : T) (f : T -> T) (p : forall x : T, f x = x -> True), (forall h : f a = a, p a h = p a h) -> axioms_ T := fun (T : Type) (a : T) (f : T -> T) (p : forall x : T, f x = x -> True) (q : forall h : f a = a, p a h = p a h) => {| a := a; f := f; p := p; q := q |}. Local Arguments phant_Build : clear implicits. Notation Build X1 := ( phant_Build X1). Definition phant_axioms : Type -> Type := fun T : Type => axioms_ T. Local Arguments phant_axioms : clear implicits. Notation axioms X1 := ( phant_axioms X1). Definition identity_builder : forall T : Type, axioms_ T -> axioms_ T := fun (T : Type) (x : axioms_ T) => x. Local Arguments identity_builder : clear implicits. Module Exports. Global Arguments Axioms_ {_}. End Exports. End A. Export A.Exports. Notation A X1 := ( A.phant_axioms X1). *) [1715905661.164196] HB: exporting under the module path [] [1715905661.169110] HB: exporting modules [Ring_of_TYPE.Exports, Ring.Exports, ElpiOperations1, RingExports, Dummy.Exports, URing.Exports, ElpiOperations2, dummy.Exports, Builders_3.dummy_Exports] [1715905661.184525] HB: exporting CS instances [«Z_ring_axioms», «BinNums_Z__canonical__Enclosing_Ring»] [1715905661.189710] HB: exporting Abbreviations [addr0, addrNK] forall (R : Enclosing.Ring.type) (x : R), x = x : Prop 0%G : ?s where ?s : [ |- Enclosing.Ring.type] Enclosing.zero : Z : Z COQC tests/grefclass.v A.p : forall [T : Type] (record : A.axioms_ T) [x : T], A.f record x = x -> True A.p is not universe polymorphic Arguments A.p [T]%type_scope record [x] _ A.p is transparent Expands to: Constant HB.tests.log_impargs_record.A.p COQC tests/local_instance.v Datatypes_prod__canonical__compress_coe_D = fun D D' : D.type => {| D.sort := D.sort D * D.sort D'; D.class := {| D.compress_coe_hasA_mixin := prodA (compress_coe_D__to__compress_coe_A D) (compress_coe_D__to__compress_coe_A D'); D.compress_coe_hasB_mixin := prodB tt (compress_coe_D__to__compress_coe_B D) (compress_coe_D__to__compress_coe_B D'); D.compress_coe_hasC_mixin := prodC tt tt (compress_coe_D__to__compress_coe_C D) (compress_coe_D__to__compress_coe_C D'); D.compress_coe_hasD_mixin := prodD D D' |} |} : D.type -> D.type -> D.type Arguments Datatypes_prod__canonical__compress_coe_D D D' COQC tests/lock.v id : forall {T : Type}, Monoid.type T -> T id is not universe polymorphic Arguments id {T}%type_scope {s} id is transparent Expands to: Constant HB.tests.funclass.id File "./tests/funclass.v", line 19, characters 54-64: Warning: Notation plus_assoc is deprecated since 8.16. The Arith.Plus file is obsolete. Use Nat.add_assoc instead. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] Monoid.phant_on_ nat Nat_add__canonical__funclass_Monoid (Phantom (nat -> nat -> nat) Nat_add__canonical__funclass_Monoid) : Monoid.axioms_ nat Init.Nat.add : Monoid.axioms_ nat Init.Nat.add p : pred nat : pred nat Monoid.phant_on_ nat Nat_mul__canonical__funclass_Monoid (Phantom (nat -> nat -> nat) Nat_mul__canonical__funclass_Monoid) : Monoid.axioms_ nat Init.Nat.mul : Monoid.axioms_ nat Init.Nat.mul COQC tests/interleave_context.v default : nat : nat HB.check: forall w : wp.phant_type nat Nat_mul__canonical__funclass_Monoid (Phantom (nat -> nat -> nat) Init.Nat.mul), w = w : Prop The command did fail as expected with message: The term "default" has type "nonempty.sort ?t" while it is expected to have type "nat". COQC tests/not_same_key.v COQC tests/hb_pack.v Notation big := big.body Expands to: Notation HB.tests.lock.X.big COQC tests/declare.v [1715905683.811483] HB: start module and section hasA [1715905683.827716] HB: converting arguments indt-decl (parameter T explicit X0 c0 \ record hasA (sort (typ X1)) Build_hasA (field [coercion off, canonical tt] a c0 c1 \ end-record)) to factories [1715905683.833953] HB: processing key parameter [1715905683.856793] HB: converting factories w-params.nil T (sort (typ «HB.tests.hb_pack.8»)) c0 \ [] to mixins [1715905683.860520] HB: declaring context w-params.nil T (sort (typ «HB.tests.hb_pack.8»)) c0 \ [] [1715905683.864541] HB: declaring parameters and key as section variables Here is the list of mixins to declare (the order matters): [] [1715905683.966462] HB: declare mixin or factory [1715905683.968409] HB: declare record axioms_ [1715905684.249242] HB: declare notation Build [1715905684.383790] HB: declare notation axioms [1715905684.635073] HB: start module Exports [1715905684.949441] HB: end modules and sections; export «HB.tests.hb_pack.hasA.Exports» hasA.type not a defined object. COQC tests/short.v hasB.type not a defined object. File "./tests/interleave_context.v", line 16, characters 0-52: Warning: pulling in dependencies: [interleave_context_HasA, interleave_context_HasB] Please list them or end the declaration with '&' [HB.implicit-structure-dependency,HB,elpi,default] hasAB.type not a defined object. hasA'.type not a defined object. COQC tests/primitive_records.v forall T : AB.type, unkeyed {| AB.sort := T; AB.class := let hb_pack_hasA_mixin := AB.hb_pack_hasA_mixin T (AB.class T) in let hb_pack_hasB_mixin := AB.hb_pack_hasB_mixin T (AB.class T) in {| AB.hb_pack_hasA_mixin := hb_pack_hasA_mixin; AB.hb_pack_hasB_mixin := hb_pack_hasB_mixin |} |} : Type A : A.type : A.type A : A.type : A.type AB1 : hasB.phant_axioms A -> AB.type : hasB.phant_axioms A -> AB.type Bm : hasB.phant_axioms A : hasB.phant_axioms A AB2 : AB.type : AB.type pB : T * T : T * T AB3 : AB.type : AB.type X : Foo.type A P : Foo.type A P T : Fun.type nat : Fun.type nat COQC tests/non_forgetful_inheritance.v aType : Type hasB.type not a defined object. COQC tests/fix_loop.v hasAB.type not a defined object. hasA'.type not a defined object. COQC tests/test_synthesis_params.v Query assignments: Ind = «hasA.axioms_» File "./tests/non_forgetful_inheritance.v", line 35, characters 0-45: Warning: Could not enable unknown warning HB.non-forgetful-inheritance [unknown-warning,default] COQC tests/hnf.v Query assignments: Ind = «A.axioms_» COQC tests/fun_instance.v Query assignments: Ind = «A.type» erefl ?t : ?t = ?t : ?t = ?t where ?t : [ |- Sq.type] COQC tests/issue284.v COQC tests/issue287.v Datatypes_nat__canonical__hnf_S = {| S.sort := nat; S.class := {| S.hnf_M_mixin := HB_unnamed_mixin_8 |} |} : S.type HB_unnamed_mixin_8 = {| M.x := f.y nat HB_unnamed_factory_6 + 1 |} : M.axioms_ nat Datatypes_bool__canonical__hnf_S = {| S.sort := bool; S.class := {| S.hnf_M_mixin := HB_unnamed_mixin_12 |} |} : S.type HB_unnamed_mixin_12 = Builders_2.HB_unnamed_factory_4 bool HB_unnamed_factory_9 : M.axioms_ bool COQC examples/demo2/stage10.v COQC examples/demo2/stage11.v COQC examples/demo3/test_2_0.v COQC tests/exports2.v File "./examples/demo2/stage11.v", line 3, characters 0-25: Warning: Hiding binding of key Q to Q_scope [hiding-delimiting-key,parsing,default] File "./examples/demo2/stage10.v", line 4, characters 0-25: Warning: Hiding binding of key Q to Q_scope [hiding-delimiting-key,parsing,default] [1715905744.119397] HB: exporting under the module path [] [1715905744.127207] HB: exporting modules [] [1715905744.130198] HB: exporting CS instances [] [1715905744.133117] HB: exporting Abbreviations [] Qcplus_opp_r: forall q : Qc, q + - q = Q2Qc 0 File "./examples/demo2/stage10.v", line 233, characters 0-27: Warning: The default and global localities for this command outside sections are currently equivalent to the combination of the standard meaning of "global" (as described in the reference manual), "export" and re-exporting for every surrounding module. It will change to just "global" (with the meaning used by the "Set" command) in a future release. To preserve the current meaning in a forward compatible way, use the attribute "#[global,export]" and repeat the command with just "#[export]" in any surrounding modules. If you are fine with the change of semantics, disable this warning. [deprecated-tacopt-without-locality,deprecated-since-8.17,deprecated,default] File "./examples/demo2/stage11.v", line 364, characters 0-27: Warning: The default and global localities for this command outside sections are currently equivalent to the combination of the standard meaning of "global" (as described in the reference manual), "export" and re-exporting for every surrounding module. It will change to just "global" (with the meaning used by the "Set" command) in a future release. To preserve the current meaning in a forward compatible way, use the attribute "#[global,export]" and repeat the command with just "#[export]" in any surrounding modules. If you are fine with the change of semantics, disable this warning. [deprecated-tacopt-without-locality,deprecated-since-8.17,deprecated,default] HB: skipping section opening [1715905770.433809] HB: declare mixin instance Stage11_JoinTAddAG__to__Stage11_Uniform_wo_Topology [1715905770.453205] HB: declare canonical mixin instance «Stage11_JoinTAddAG__to__Stage11_Uniform_wo_Topology» [1715905770.463715] HB: declare mixin instance Stage11_JoinTAddAG__to__Stage11_Join_TAddAG_Uniform [1715905770.507783] HB: declare canonical mixin instance «Stage11_JoinTAddAG__to__Stage11_Join_TAddAG_Uniform» [1715905770.517198] HB: declare mixin instance Stage11_JoinTAddAG__to__Stage11_Join_Uniform_Topology [1715905770.551647] HB: declare canonical mixin instance «Stage11_JoinTAddAG__to__Stage11_Join_Uniform_Topology» [1715905770.560644] HB: declare mixin instance Stage11_JoinTAddAG__to__Stage11_JoinTAddAG_wo_Uniform [1715905770.588114] HB: declare canonical mixin instance «Stage11_JoinTAddAG__to__Stage11_JoinTAddAG_wo_Uniform» [1715905770.600648] HB: we can build a Stage11_UniformSpace_wo_Topology on Qc [1715905770.602299] HB: declare canonical structure instance Qcanon_Qc__canonical__Stage11_UniformSpace_wo_Topology [1715905770.604263] HB: Giving name HB_unnamed_mixin_49 to mixin instance Builders_25.Stage11_JoinTAddAG__to__Stage11_Uniform_wo_Topology Qc HB_unnamed_mixin_38 HB_unnamed_mixin_43 HB_unnamed_factory_44 [1715905770.622226] HB: structure instance for Qcanon_Qc__canonical__Stage11_UniformSpace_wo_Topology is {| UniformSpace_wo_Topology.sort := Qc; UniformSpace_wo_Topology.class := {| UniformSpace_wo_Topology.Stage11_Uniform_wo_Topology_mixin := HB_unnamed_mixin_49 |} |} [1715905770.647118] HB: structure instance Qcanon_Qc__canonical__Stage11_UniformSpace_wo_Topology declared [1715905770.655070] HB: we can build a Stage11_UniformSpace on Qc [1715905770.656783] HB: declare canonical structure instance Qcanon_Qc__canonical__Stage11_UniformSpace [1715905770.661513] HB: structure instance for Qcanon_Qc__canonical__Stage11_UniformSpace is {| UniformSpace.sort := Qc; UniformSpace.class := {| UniformSpace.Stage11_Topological_mixin := HB_unnamed_mixin_43; UniformSpace.Stage11_Uniform_wo_Topology_mixin := HB_unnamed_mixin_49 |} |} [1715905770.685512] HB: structure instance Qcanon_Qc__canonical__Stage11_UniformSpace declared [1715905770.694116] HB: we can build a Stage11_TAddAG_wo_Uniform on Qc [1715905770.695824] HB: declare canonical structure instance Qcanon_Qc__canonical__Stage11_TAddAG_wo_Uniform [1715905770.700663] HB: Giving name HB_unnamed_mixin_50 to mixin instance Builders_25.to_JoinTAddAG_wo_Uniform Qc HB_unnamed_mixin_38 HB_unnamed_mixin_43 HB_unnamed_factory_44 [1715905770.718276] HB: structure instance for Qcanon_Qc__canonical__Stage11_TAddAG_wo_Uniform is {| TAddAG_wo_Uniform.sort := Qc; TAddAG_wo_Uniform.class := {| TAddAG_wo_Uniform.Stage11_AddAG_of_TYPE_mixin := HB_unnamed_mixin_38; TAddAG_wo_Uniform.Stage11_Topological_mixin := HB_unnamed_mixin_43; TAddAG_wo_Uniform.Stage11_JoinTAddAG_wo_Uniform_mixin := HB_unnamed_mixin_50 |} |} [1715905770.742353] HB: structure instance Qcanon_Qc__canonical__Stage11_TAddAG_wo_Uniform declared [1715905770.754081] HB: we can build a Stage11_Uniform_TAddAG_unjoined on Qc [1715905770.755786] HB: declare canonical structure instance Qcanon_Qc__canonical__Stage11_Uniform_TAddAG_unjoined [1715905770.762121] HB: structure instance for Qcanon_Qc__canonical__Stage11_Uniform_TAddAG_unjoined is {| Uniform_TAddAG_unjoined.sort := Qc; Uniform_TAddAG_unjoined.class := {| Uniform_TAddAG_unjoined.Stage11_AddAG_of_TYPE_mixin := HB_unnamed_mixin_38; Uniform_TAddAG_unjoined.Stage11_Topological_mixin := HB_unnamed_mixin_43; Uniform_TAddAG_unjoined.Stage11_JoinTAddAG_wo_Uniform_mixin := HB_unnamed_mixin_50; Uniform_TAddAG_unjoined.Stage11_Uniform_wo_Topology_mixin := HB_unnamed_mixin_49 |} |} [1715905770.786551] HB: structure instance Qcanon_Qc__canonical__Stage11_Uniform_TAddAG_unjoined declared [1715905770.804978] HB: we can build a Stage11_TAddAG on Qc [1715905770.806716] HB: declare canonical structure instance Qcanon_Qc__canonical__Stage11_TAddAG [1715905770.812286] HB: Giving name HB_unnamed_mixin_51 to mixin instance Builders_25.Stage11_JoinTAddAG__to__Stage11_Join_Uniform_Topology Qc HB_unnamed_mixin_38 HB_unnamed_mixin_43 HB_unnamed_factory_44 [1715905770.831542] HB: Giving name HB_unnamed_mixin_52 to mixin instance Builders_25.Stage11_JoinTAddAG__to__Stage11_Join_TAddAG_Uniform Qc HB_unnamed_mixin_38 HB_unnamed_mixin_43 HB_unnamed_factory_44 [1715905770.850398] HB: structure instance for Qcanon_Qc__canonical__Stage11_TAddAG is {| TAddAG.sort := Qc; TAddAG.class := {| TAddAG.Stage11_Uniform_wo_Topology_mixin := HB_unnamed_mixin_49; TAddAG.Stage11_AddAG_of_TYPE_mixin := HB_unnamed_mixin_38; TAddAG.Stage11_Topological_mixin := HB_unnamed_mixin_43; TAddAG.Stage11_Join_Uniform_Topology_mixin := HB_unnamed_mixin_51; TAddAG.Stage11_JoinTAddAG_wo_Uniform_mixin := HB_unnamed_mixin_50; TAddAG.Stage11_Join_TAddAG_Uniform_mixin := HB_unnamed_mixin_52 |} |} [1715905770.876908] HB: structure instance Qcanon_Qc__canonical__Stage11_TAddAG declared entourage : set (set (Qc * Qc)) : set (set (Qc * Qc)) OUTPUT DIFF tests/compress_coe.v OUTPUT DIFF tests/about.v OUTPUT DIFF tests/howto.v OUTPUT DIFF tests/missing_join_error.v OUTPUT DIFF tests/not_same_key.v OUTPUT DIFF tests/hnf.v make[3]: Leaving directory '/<>' make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' dh: command-omitted: The call to "dh_auto_test -a" was omitted due to "DEB_BUILD_OPTIONS=nocheck" create-stamp debian/debhelper-build-stamp dh_prep -a dh_auto_install -a make -j4 install DESTDIR=/<>/debian/tmp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[1]: Entering directory '/<>' make -f Makefile.coq install make[2]: Entering directory '/<>' make[2]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. INSTALL structures.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/HB/ INSTALL structures.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/HB/ INSTALL structures.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/HB/ make[3]: Entering directory '/<>' make[3]: Leaving directory '/<>' make[2]: Leaving directory '/<>' install -d /<>/debian/tmp/bin install -m 0755 coq.hb /<>/debian/tmp/bin make[1]: Leaving directory '/<>' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a debian/rules override_dh_installman make[1]: Entering directory '/<>' dh_installman --language='C' make[1]: Leaving directory '/<>' dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_coq -a dh_ocaml -a W: coq-hierarchy-builder doesn't resolve dependency on unit Hb dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package coq-hierarchy-builder: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: package coq-hierarchy-builder: substitution variable ${ocaml:Depends} unused, but is defined dpkg-gencontrol: warning: Depends field of package libcoq-hierarchy-builder: substitution variable ${ocaml:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package libcoq-hierarchy-builder: substitution variable ${shlibs:Depends} used, but is not defined dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 154 INFO: pkgstriptranslations version 154 pkgstriptranslations: processing coq-hierarchy-builder (in debian/coq-hierarchy-builder); do_strip: , oemstrip: pkgstriptranslations: processing libcoq-hierarchy-builder (in debian/libcoq-hierarchy-builder); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/coq-hierarchy-builder/DEBIAN/control, package coq-hierarchy-builder, directory debian/coq-hierarchy-builder INFO: pkgstripfiles: waiting for lock (coq-hierarchy-builder) ... pkgstripfiles: processing control file: debian/libcoq-hierarchy-builder/DEBIAN/control, package libcoq-hierarchy-builder, directory debian/libcoq-hierarchy-builder pkgstripfiles: Truncating usr/share/doc/libcoq-hierarchy-builder/changelog.Debian.gz to topmost ten records INFO: pkgstripfiles: waiting for lock (coq-hierarchy-builder) ... pkgstripfiles: Running PNG optimization (using 4 cpus) for package libcoq-hierarchy-builder ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libcoq-hierarchy-builder' in '../libcoq-hierarchy-builder_1.6.0-1build5_riscv64.deb'. Searching for duplicated docs in dependency libcoq-hierarchy-builder... symlinking changelog.Debian.gz in coq-hierarchy-builder to file in libcoq-hierarchy-builder pkgstripfiles: Running PNG optimization (using 4 cpus) for package coq-hierarchy-builder ... pkgstripfiles: No PNG files. dpkg-deb: building package 'coq-hierarchy-builder' in '../coq-hierarchy-builder_1.6.0-1build5_riscv64.deb'. dpkg-genbuildinfo --build=any -O../coq-hierarchy-builder_1.6.0-1build5_riscv64.buildinfo dpkg-genchanges --build=any -mLaunchpad Build Daemon -O../coq-hierarchy-builder_1.6.0-1build5_riscv64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 2024-05-17T00:32:41Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ coq-hierarchy-builder_1.6.0-1build5_riscv64.changes: ---------------------------------------------------- Format: 1.8 Date: Mon, 08 Apr 2024 09:17:26 +0200 Source: coq-hierarchy-builder Binary: coq-hierarchy-builder libcoq-hierarchy-builder Built-For-Profiles: noudeb Architecture: riscv64 Version: 1.6.0-1build5 Distribution: noble Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna Description: coq-hierarchy-builder - build hierarchies of algebraic structures in Coq (tool) libcoq-hierarchy-builder - build hierarchies of algebraic structures in Coq (runtime files) Changes: coq-hierarchy-builder (1.6.0-1build5) noble; urgency=medium . * Rebuild against new OCAML ABIs. Checksums-Sha1: 4146d5124c0f099767eeb9b878c6649514e1c432 8163 coq-hierarchy-builder_1.6.0-1build5_riscv64.buildinfo f72392f7e30e0bccc4883bfb26723f9ff0c7c3e5 831476 coq-hierarchy-builder_1.6.0-1build5_riscv64.deb ca9ec4ed879d18a6695f93467edd87aa5ed4eab0 267818 libcoq-hierarchy-builder_1.6.0-1build5_riscv64.deb Checksums-Sha256: 063839ab9f55e68c7450c408e1d8ca42b80e6905ecbd2994426cc90e1e309e09 8163 coq-hierarchy-builder_1.6.0-1build5_riscv64.buildinfo 6460534bdefbdefada69c2352b6aa22d3f10d8d888924c9fec78343a185a95bd 831476 coq-hierarchy-builder_1.6.0-1build5_riscv64.deb dfbdd0902f01d71e25c80c4bb3acd35fc1e825bfa6349d93326e49e16daf149f 267818 libcoq-hierarchy-builder_1.6.0-1build5_riscv64.deb Files: 4062327c441915ee41fecb84d5dd0c6c 8163 ocaml optional coq-hierarchy-builder_1.6.0-1build5_riscv64.buildinfo 7d2c330804d2dadec42db03755f6870f 831476 ocaml optional coq-hierarchy-builder_1.6.0-1build5_riscv64.deb d6d4e456f75a871448cb724b0b5a1742 267818 ocaml optional libcoq-hierarchy-builder_1.6.0-1build5_riscv64.deb Original-Maintainer: Debian OCaml Maintainers /<>/coq-hierarchy-builder_1.6.0-1build5_riscv64.changes.new could not be renamed to /<>/coq-hierarchy-builder_1.6.0-1build5_riscv64.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: coq-hierarchy-builder Binary: coq-hierarchy-builder libcoq-hierarchy-builder Architecture: riscv64 Version: 1.6.0-1build5 Checksums-Md5: 7d2c330804d2dadec42db03755f6870f 831476 coq-hierarchy-builder_1.6.0-1build5_riscv64.deb d6d4e456f75a871448cb724b0b5a1742 267818 libcoq-hierarchy-builder_1.6.0-1build5_riscv64.deb Checksums-Sha1: f72392f7e30e0bccc4883bfb26723f9ff0c7c3e5 831476 coq-hierarchy-builder_1.6.0-1build5_riscv64.deb ca9ec4ed879d18a6695f93467edd87aa5ed4eab0 267818 libcoq-hierarchy-builder_1.6.0-1build5_riscv64.deb Checksums-Sha256: 6460534bdefbdefada69c2352b6aa22d3f10d8d888924c9fec78343a185a95bd 831476 coq-hierarchy-builder_1.6.0-1build5_riscv64.deb dfbdd0902f01d71e25c80c4bb3acd35fc1e825bfa6349d93326e49e16daf149f 267818 libcoq-hierarchy-builder_1.6.0-1build5_riscv64.deb Build-Origin: Ubuntu Build-Architecture: riscv64 Build-Date: Fri, 17 May 2024 00:32:36 +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-14ubuntu2), autotools-dev (= 20220109.1), base-files (= 13ubuntu10), base-passwd (= 3.6.3build1), bash (= 5.2.21-2ubuntu4), binutils (= 2.42-4ubuntu2), binutils-common (= 2.42-4ubuntu2), binutils-riscv64-linux-gnu (= 2.42-4ubuntu2), bsdextrautils (= 2.39.3-9ubuntu6), bsdutils (= 1:2.39.3-9ubuntu6), build-essential (= 12.10ubuntu1), bzip2 (= 1.0.8-5.1), coq (= 8.18.0+dfsg-1build2), coreutils (= 9.4-3ubuntu6), cpp (= 4:14-20240120-6ubuntu1), cpp-13-riscv64-linux-gnu (= 13.2.0-24ubuntu1), cpp-14 (= 14-20240429-1ubuntu1), cpp-14-riscv64-linux-gnu (= 14-20240429-1ubuntu1), cpp-riscv64-linux-gnu (= 4:14-20240120-6ubuntu1), dash (= 0.5.12-6ubuntu5), debconf (= 1.5.86ubuntu1), debhelper (= 13.14.1ubuntu5), debianutils (= 5.17build1), debugedit (= 1:5.0-5build2), dh-autoreconf (= 20), dh-coq (= 0.8), dh-ocaml (= 2.0), dh-strip-nondeterminism (= 1.13.1-1), diffutils (= 1:3.10-1build1), dpkg (= 1.22.6ubuntu6), dpkg-dev (= 1.22.6ubuntu6), dwz (= 0.15-1build6), file (= 1:5.45-3build1), findutils (= 4.9.0-5build1), g++ (= 4:14-20240120-6ubuntu1), g++-14 (= 14-20240429-1ubuntu1), g++-14-riscv64-linux-gnu (= 14-20240429-1ubuntu1), g++-riscv64-linux-gnu (= 4:14-20240120-6ubuntu1), gcc (= 4:14-20240120-6ubuntu1), gcc-13 (= 13.2.0-24ubuntu1), gcc-13-base (= 13.2.0-24ubuntu1), gcc-13-riscv64-linux-gnu (= 13.2.0-24ubuntu1), gcc-14 (= 14-20240429-1ubuntu1), gcc-14-base (= 14-20240429-1ubuntu1), gcc-14-riscv64-linux-gnu (= 14-20240429-1ubuntu1), gcc-riscv64-linux-gnu (= 4:14-20240120-6ubuntu1), gettext (= 0.21-14ubuntu2), gettext-base (= 0.21-14ubuntu2), grep (= 3.11-4build1), groff-base (= 1.23.0-3build2), gzip (= 1.12-1ubuntu3), hostname (= 3.23+nmu2ubuntu2), init-system-helpers (= 1.66ubuntu1), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-1build1), libarchive-zip-perl (= 1.68-1), libasan8 (= 14-20240429-1ubuntu1), libatomic1 (= 14-20240429-1ubuntu1), libattr1 (= 1:2.5.2-1build1), libaudit-common (= 1:3.1.2-2.1build1), libaudit1 (= 1:3.1.2-2.1build1), libbinutils (= 2.42-4ubuntu2), libblkid1 (= 2.39.3-9ubuntu6), libbz2-1.0 (= 1.0.8-5.1), libc-bin (= 2.39-0ubuntu8), libc-dev-bin (= 2.39-0ubuntu8), libc6 (= 2.39-0ubuntu8), libc6-dev (= 2.39-0ubuntu8), libcap-ng0 (= 0.8.4-2build2), libcap2 (= 1:2.66-5ubuntu2), libcc1-0 (= 14-20240429-1ubuntu1), libcompiler-libs-ocaml-dev (= 4.14.1-1ubuntu1), libcoq-core-ocaml (= 8.18.0+dfsg-1build2), libcoq-core-ocaml-dev (= 8.18.0+dfsg-1build2), libcoq-elpi (= 1.19.3-2build4), libcoq-stdlib (= 8.18.0+dfsg-1build2), libcrypt-dev (= 1:4.4.36-4build1), libcrypt1 (= 1:4.4.36-4build1), libctf-nobfd0 (= 2.42-4ubuntu2), libctf0 (= 2.42-4ubuntu2), libdb5.3t64 (= 5.3.28+dfsg2-7), libdebconfclient0 (= 0.271ubuntu3), libdebhelper-perl (= 13.14.1ubuntu5), libdpkg-perl (= 1.22.6ubuntu6), libdw1t64 (= 0.190-1.1build4), libelf1t64 (= 0.190-1.1build4), libelpi-ocaml (= 1.17.4-3build1), libelpi-ocaml-dev (= 1.17.4-3build1), libexpat1 (= 2.6.1-2build1), libffi8 (= 3.4.6-1build1), libfile-stripnondeterminism-perl (= 1.13.1-1), libfindlib-ocaml (= 1.9.6-1build4), libfindlib-ocaml-dev (= 1.9.6-1build4), libgcc-13-dev (= 13.2.0-24ubuntu1), libgcc-14-dev (= 14-20240429-1ubuntu1), libgcc-s1 (= 14-20240429-1ubuntu1), libgcrypt20 (= 1.10.3-2build1), libgdbm-compat4t64 (= 1.23-5.1build1), libgdbm6t64 (= 1.23-5.1build1), libgmp-dev (= 2:6.3.0+dfsg-2ubuntu6), libgmp10 (= 2:6.3.0+dfsg-2ubuntu6), libgmp3-dev (= 2:6.3.0+dfsg-2ubuntu6), libgmpxx4ldbl (= 2:6.3.0+dfsg-2ubuntu6), libgomp1 (= 14-20240429-1ubuntu1), libgpg-error0 (= 1.47-3build2), libicu74 (= 74.2-1ubuntu3), libisl23 (= 0.26-3build1), libjansson4 (= 2.14-2build2), liblsan0 (= 14-20240429-1ubuntu1), liblz4-1 (= 1.9.4-1build1), liblzma5 (= 5.6.1+really5.4.5-1), libmagic-mgc (= 1:5.45-3build1), libmagic1t64 (= 1:5.45-3build1), libmd0 (= 1.1.0-2build1), libmenhir-ocaml-dev (= 20231231+ds-1), libmount1 (= 2.39.3-9ubuntu6), libmpc3 (= 1.3.1-1build1), libmpfr6 (= 4.2.1-1build1), libncurses-dev (= 6.4+20240113-1ubuntu2), libncurses6 (= 6.4+20240113-1ubuntu2), libncursesw6 (= 6.4+20240113-1ubuntu2), libocaml-compiler-libs-ocaml-dev (= 0.12.4-4build2), libpam-modules (= 1.5.3-5ubuntu5), libpam-modules-bin (= 1.5.3-5ubuntu5), libpam-runtime (= 1.5.3-5ubuntu5), libpam0g (= 1.5.3-5ubuntu5), libpcre2-8-0 (= 10.42-4ubuntu2), libperl5.38t64 (= 5.38.2-3.2build2), libpipeline1 (= 1.5.7-2), 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.3-0ubuntu1), libpython3.12-minimal (= 3.12.3-1), libpython3.12-stdlib (= 3.12.3-1), libre-ocaml-dev (= 1.11.0-1build2), libreadline8t64 (= 8.2-4build1), libresult-ocaml (= 1.5-4build1), libresult-ocaml-dev (= 1.5-4build1), libselinux1 (= 3.5-2ubuntu2), libsexplib0-ocaml (= 0.16.0-3build2), libsexplib0-ocaml-dev (= 0.16.0-3build2), libsframe1 (= 2.42-4ubuntu2), libsmartcols1 (= 2.39.3-9ubuntu6), libsqlite3-0 (= 3.45.1-1ubuntu2), libssl3t64 (= 3.0.13-0ubuntu3), libstdc++-14-dev (= 14-20240429-1ubuntu1), libstdc++6 (= 14-20240429-1ubuntu1), libstdlib-ocaml (= 4.14.1-1ubuntu1), libstdlib-ocaml-dev (= 4.14.1-1ubuntu1), libsub-override-perl (= 0.10-1), libsystemd0 (= 255.4-1ubuntu8), libtinfo6 (= 6.4+20240113-1ubuntu2), libtool (= 2.4.7-7build1), libtsan2 (= 14-20240429-1ubuntu1), libubsan1 (= 14-20240429-1ubuntu1), libuchardet0 (= 0.0.8-1build1), libudev1 (= 255.4-1ubuntu8), libunistring5 (= 1.1-2build1), libuuid1 (= 2.39.3-9ubuntu6), libxml2 (= 2.9.14+dfsg-1.3ubuntu3), libzarith-ocaml (= 1.13-2build4), libzarith-ocaml-dev (= 1.13-2build4), libzstd1 (= 1.5.5+dfsg2-2build1), linux-libc-dev (= 6.8.0-31.31), login (= 1:4.13+dfsg1-4ubuntu3), lto-disabled-list (= 47), m4 (= 1.4.19-4build1), make (= 4.3-4.1build2), man-db (= 2.12.0-4build2), mawk (= 1.3.4.20240123-1build1), media-types (= 10.1.0), ncurses-base (= 6.4+20240113-1ubuntu2), ncurses-bin (= 6.4+20240113-1ubuntu2), netbase (= 6.4), ocaml (= 4.14.1-1ubuntu1), ocaml-base (= 4.14.1-1ubuntu1), ocaml-findlib (= 1.9.6-1build4), ocaml-interp (= 4.14.1-1ubuntu1), patch (= 2.7.6-7build3), perl (= 5.38.2-3.2build2), perl-base (= 5.38.2-3.2build2), perl-modules-5.38 (= 5.38.2-3.2build2), po-debconf (= 1.0.21+nmu1), python3 (= 3.12.3-0ubuntu1), python3-minimal (= 3.12.3-0ubuntu1), python3.12 (= 3.12.3-1), python3.12-minimal (= 3.12.3-1), readline-common (= 8.2-4build1), rpcsvc-proto (= 1.4.2-0ubuntu7), sed (= 4.9-2build1), sensible-utils (= 0.0.22), sysvinit-utils (= 3.08-6ubuntu3), tar (= 1.35+dfsg-3build1), tzdata (= 2024a-2ubuntu1), util-linux (= 2.39.3-9ubuntu6), wdiff (= 1.2.2-6build1), xz-utils (= 5.6.1+really5.4.5-1), zlib1g (= 1:1.3.dfsg-3.1ubuntu2) Environment: DEB_BUILD_OPTIONS="noautodbgsym nocheck parallel=4" DEB_BUILD_PROFILES="noudeb" LANG="C.UTF-8" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1712560646" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ coq-hierarchy-builder_1.6.0-1build5_riscv64.deb ----------------------------------------------- new Debian package, version 2.0. size 831476 bytes: control archive=608 bytes. 628 bytes, 15 lines control 190 bytes, 3 lines md5sums Package: coq-hierarchy-builder Version: 1.6.0-1build5 Architecture: riscv64 Maintainer: Ubuntu Developers Installed-Size: 2235 Depends: libcoq-hierarchy-builder (= 1.6.0-1build5), ocaml Section: ocaml Priority: optional Homepage: https://github.com/math-comp/hierarchy-builder Description: build hierarchies of algebraic structures in Coq (tool) This software provides high-level commands to build hierarchies of algebraic structures in the Coq system. . This package provides the command-line tool. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2024-04-08 07:17 ./ drwxr-xr-x root/root 0 2024-04-08 07:17 ./bin/ -rwxr-xr-x root/root 2273476 2024-04-08 07:17 ./bin/coq.hb drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/share/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/share/doc/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/share/doc/coq-hierarchy-builder/ lrwxrwxrwx root/root 0 2024-04-08 07:17 ./usr/share/doc/coq-hierarchy-builder/changelog.Debian.gz -> ../libcoq-hierarchy-builder/changelog.Debian.gz -rw-r--r-- root/root 1319 2023-12-21 15:58 ./usr/share/doc/coq-hierarchy-builder/copyright drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/share/man/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/share/man/man1/ -rw-r--r-- root/root 631 2024-04-08 07:17 ./usr/share/man/man1/coq.hb.1.gz libcoq-hierarchy-builder_1.6.0-1build5_riscv64.deb -------------------------------------------------- new Debian package, version 2.0. size 267818 bytes: control archive=753 bytes. 700 bytes, 18 lines control 511 bytes, 6 lines md5sums Package: libcoq-hierarchy-builder Source: coq-hierarchy-builder Version: 1.6.0-1build5 Architecture: riscv64 Maintainer: Ubuntu Developers Installed-Size: 694 Depends: libcoq-elpi-a8yx3 Recommends: ocaml-findlib Provides: libcoq-hierarchy-builder-tp6z7 Section: ocaml Priority: optional Homepage: https://github.com/math-comp/hierarchy-builder Description: build hierarchies of algebraic structures in Coq (runtime files) This software provides high-level commands to build hierarchies of algebraic structures in the Coq system. . This package provides the runtime files. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2024-04-08 07:17 ./ drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/lib/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/lib/ocaml/coq/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/lib/ocaml/coq/user-contrib/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/lib/ocaml/coq/user-contrib/HB/ -rw-r--r-- root/root 6370 2024-04-08 07:17 ./usr/lib/ocaml/coq/user-contrib/HB/structures.glob -rw-r--r-- root/root 40597 2024-04-08 07:17 ./usr/lib/ocaml/coq/user-contrib/HB/structures.v -rw-r--r-- root/root 641974 2024-04-08 07:17 ./usr/lib/ocaml/coq/user-contrib/HB/structures.vo drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/share/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/share/doc/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./usr/share/doc/libcoq-hierarchy-builder/ -rw-r--r-- root/root 737 2024-04-08 07:17 ./usr/share/doc/libcoq-hierarchy-builder/changelog.Debian.gz -rw-r--r-- root/root 1319 2023-12-21 15:58 ./usr/share/doc/libcoq-hierarchy-builder/copyright drwxr-xr-x root/root 0 2024-04-08 07:17 ./var/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./var/lib/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./var/lib/coq/ drwxr-xr-x root/root 0 2024-04-08 07:17 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2024-04-08 07:17 ./var/lib/coq/md5sums/libcoq-hierarchy-builder.checksum +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: riscv64 Build Type: any Build-Space: 19708 Build-Time: 737 Distribution: noble Host Architecture: riscv64 Install-Time: 451 Job: coq-hierarchy-builder_1.6.0-1build5.dsc Machine Architecture: riscv64 Package: coq-hierarchy-builder Package-Time: 1215 Source-Version: 1.6.0-1build5 Space: 19708 Status: successful Version: 1.6.0-1build5 -------------------------------------------------------------------------------- Finished at 2024-05-17T00:32:41Z Build needed 00:20:15, 19708k disk space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=noble --arch=riscv64 PACKAGEBUILD-28301486 Scanning for processes to kill in build PACKAGEBUILD-28301486