https://launchpad.net/ubuntu/+source/coqprime/8.19-1/+build/28282319 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux bos03-riscv64-029 6.5.0-28-generic #29.1~22.04.1-Ubuntu SMP Wed Apr 10 02:20:48 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... 5 May 10:52:00 ntpdate[2233]: adjust time server 10.211.37.1 offset -0.003624 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=oracular --arch=riscv64 PACKAGEBUILD-28282319 --image-type chroot /home/buildd/filecache-default/20a3246b7a16d5658607d7f37229fcda30a33651 Creating target for build PACKAGEBUILD-28282319 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=oracular --arch=riscv64 PACKAGEBUILD-28282319 Starting target for build PACKAGEBUILD-28282319 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=oracular --arch=riscv64 PACKAGEBUILD-28282319 'deb http://ftpmaster.internal/ubuntu oracular main universe' 'deb http://ftpmaster.internal/ubuntu oracular-security main universe' 'deb http://ftpmaster.internal/ubuntu oracular-updates main universe' 'deb http://ftpmaster.internal/ubuntu oracular-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-28282319 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=oracular --arch=riscv64 PACKAGEBUILD-28282319 Updating target for build PACKAGEBUILD-28282319 Get:1 http://ftpmaster.internal/ubuntu oracular InRelease [64.6 kB] Get:2 http://ftpmaster.internal/ubuntu oracular-security InRelease [64.6 kB] Get:3 http://ftpmaster.internal/ubuntu oracular-updates InRelease [64.6 kB] Get:4 http://ftpmaster.internal/ubuntu oracular-proposed InRelease [64.7 kB] Get:5 http://ftpmaster.internal/ubuntu oracular/main riscv64 Packages [1317 kB] Get:6 http://ftpmaster.internal/ubuntu oracular/main Translation-en [512 kB] Get:7 http://ftpmaster.internal/ubuntu oracular/universe riscv64 Packages [14.3 MB] Get:8 http://ftpmaster.internal/ubuntu oracular/universe Translation-en [5997 kB] Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 Packages [176 kB] Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/main Translation-en [67.0 kB] Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe riscv64 Packages [811 kB] Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/universe Translation-en [559 kB] Fetched 24.0 MB in 25s (977 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: libnsl-dev libperl5.36 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-riscv64-linux-gnu g++-13-riscv64-linux-gnu g++-riscv64-linux-gnu gcc-13-riscv64-linux-gnu gcc-14-base gcc-riscv64-linux-gnu libapt-pkg6.0t64 libdb5.3t64 libext2fs2t64 libgdbm-compat4t64 libgdbm6t64 libgnutls30t64 libhogweed6t64 libnettle8t64 libnpth0t64 libperl5.38t64 libpng16-16t64 libreadline8t64 libssl3t64 libtirpc3t64 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, 24 newly installed, 14 to remove and 0 not upgraded. Need to get 116 MB of archives. After this operation, 76.5 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libtirpc-common all 1.3.4+ds-1.3 [8106 B] Get:2 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libtirpc-dev riscv64 1.3.4+ds-1.3 [350 kB] Get:3 http://ftpmaster.internal/ubuntu oracular/main riscv64 libnsl-dev riscv64 1.3.0-3build3 [137 kB] Get:4 http://ftpmaster.internal/ubuntu oracular/main riscv64 libnsl2 riscv64 1.3.0-3build3 [43.3 kB] Get:5 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libtirpc3t64 riscv64 1.3.4+ds-1.3 [92.3 kB] Get:6 http://ftpmaster.internal/ubuntu oracular/main riscv64 libgssapi-krb5-2 riscv64 1.20.1-6ubuntu2 [153 kB] Get:7 http://ftpmaster.internal/ubuntu oracular/main riscv64 libkrb5-3 riscv64 1.20.1-6ubuntu2 [385 kB] Get:8 http://ftpmaster.internal/ubuntu oracular/main riscv64 libk5crypto3 riscv64 1.20.1-6ubuntu2 [108 kB] Get:9 http://ftpmaster.internal/ubuntu oracular/main riscv64 libkrb5support0 riscv64 1.20.1-6ubuntu2 [36.7 kB] Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libacl1 riscv64 2.3.2-2 [18.7 kB] Get:11 http://ftpmaster.internal/ubuntu oracular/main riscv64 libapparmor1 riscv64 4.0.0-beta3-0ubuntu3 [51.2 kB] Get:12 http://ftpmaster.internal/ubuntu oracular/main riscv64 libaudit-common all 1:3.1.2-2.1build1 [5736 B] Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libcap-ng0 riscv64 0.8.5-1 [15.4 kB] Get:14 http://ftpmaster.internal/ubuntu oracular/main riscv64 libaudit1 riscv64 1:3.1.2-2.1build1 [47.9 kB] Get:15 http://ftpmaster.internal/ubuntu oracular/main riscv64 libblkid1 riscv64 2.39.3-9ubuntu6 [204 kB] Get:16 http://ftpmaster.internal/ubuntu oracular/main riscv64 libcap2 riscv64 1:2.66-5ubuntu2 [31.8 kB] Get:17 http://ftpmaster.internal/ubuntu oracular/main riscv64 libcrypt-dev riscv64 1:4.4.36-4build1 [250 kB] Get:18 http://ftpmaster.internal/ubuntu oracular/main riscv64 libcrypt1 riscv64 1:4.4.36-4build1 [102 kB] Get:19 http://ftpmaster.internal/ubuntu oracular/main riscv64 libgpg-error-l10n all 1.47-3build2 [8064 B] Get:20 http://ftpmaster.internal/ubuntu oracular/main riscv64 libgpg-error0 riscv64 1.47-3build2 [75.8 kB] Get:21 http://ftpmaster.internal/ubuntu oracular/main riscv64 libgcrypt20 riscv64 1.10.3-2build1 [564 kB] Get:22 http://ftpmaster.internal/ubuntu oracular/main riscv64 liblzma5 riscv64 5.6.1+really5.4.5-1 [130 kB] Get:23 http://ftpmaster.internal/ubuntu oracular/main riscv64 libzstd1 riscv64 1.5.5+dfsg2-2build1 [353 kB] Get:24 http://ftpmaster.internal/ubuntu oracular/main riscv64 libkmod2 riscv64 31+20240202-2ubuntu7 [55.1 kB] Get:25 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 liblz4-1 riscv64 1.9.4-2 [85.7 kB] Get:26 http://ftpmaster.internal/ubuntu oracular/main riscv64 libpcre2-8-0 riscv64 10.42-4ubuntu2 [152 kB] Get:27 http://ftpmaster.internal/ubuntu oracular/main riscv64 libselinux1 riscv64 3.5-2ubuntu2 [86.1 kB] Get:28 http://ftpmaster.internal/ubuntu oracular/main riscv64 libmount1 riscv64 2.39.3-9ubuntu6 [212 kB] Get:29 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 perl-modules-5.38 all 5.38.2-4 [3110 kB] Get:30 http://ftpmaster.internal/ubuntu oracular/main riscv64 libdb5.3t64 riscv64 5.3.28+dfsg2-7 [779 kB] Get:31 http://ftpmaster.internal/ubuntu oracular/main riscv64 libgdbm6t64 riscv64 1.23-5.1build1 [35.9 kB] Get:32 http://ftpmaster.internal/ubuntu oracular/main riscv64 libgdbm-compat4t64 riscv64 1.23-5.1build1 [6884 B] Get:33 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libperl5.38t64 riscv64 5.38.2-4 [4469 kB] Get:34 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 perl riscv64 5.38.2-4 [231 kB] Get:35 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 perl-base riscv64 5.38.2-4 [1834 kB] Get:36 http://ftpmaster.internal/ubuntu oracular/main riscv64 liblocale-gettext-perl riscv64 1.07-6ubuntu5 [15.7 kB] Get:37 http://ftpmaster.internal/ubuntu oracular/main riscv64 libtext-iconv-perl riscv64 1.7-8build3 [13.5 kB] Get:38 http://ftpmaster.internal/ubuntu oracular/main riscv64 libtext-charwidth-perl riscv64 0.04-11build3 [9272 B] Get:39 http://ftpmaster.internal/ubuntu oracular/main riscv64 openssl riscv64 3.0.13-0ubuntu3 [992 kB] Get:40 http://ftpmaster.internal/ubuntu oracular/main riscv64 libsystemd-shared riscv64 255.4-1ubuntu8 [2181 kB] Get:41 http://ftpmaster.internal/ubuntu oracular/main riscv64 libcryptsetup12 riscv64 2:2.7.0-1ubuntu4 [274 kB] Get:42 http://ftpmaster.internal/ubuntu oracular/main riscv64 libssl3t64 riscv64 3.0.13-0ubuntu3 [1735 kB] Get:43 http://ftpmaster.internal/ubuntu oracular/main riscv64 systemd-dev all 255.4-1ubuntu8 [104 kB] Get:44 http://ftpmaster.internal/ubuntu oracular/main riscv64 systemd-sysv riscv64 255.4-1ubuntu8 [11.9 kB] Get:45 http://ftpmaster.internal/ubuntu oracular/main riscv64 systemd riscv64 255.4-1ubuntu8 [3553 kB] Get:46 http://ftpmaster.internal/ubuntu oracular/main riscv64 libsystemd0 riscv64 255.4-1ubuntu8 [458 kB] Get:47 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libapt-pkg6.0t64 riscv64 2.9.2 [1056 kB] Get:48 http://ftpmaster.internal/ubuntu oracular/main riscv64 libnettle8t64 riscv64 3.9.1-2.2build1 [217 kB] Get:49 http://ftpmaster.internal/ubuntu oracular/main riscv64 libhogweed6t64 riscv64 3.9.1-2.2build1 [200 kB] Get:50 http://ftpmaster.internal/ubuntu oracular/main riscv64 libp11-kit0 riscv64 0.25.3-4ubuntu2 [318 kB] Get:51 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libunistring5 riscv64 1.2-1 [551 kB] Get:52 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libgnutls30t64 riscv64 3.8.3-1.1ubuntu3.1 [1012 kB] Get:53 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 apt riscv64 2.9.2 [1377 kB] Get:54 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 apt-utils riscv64 2.9.2 [232 kB] Get:55 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libpam-modules-bin riscv64 1.5.3-7ubuntu1 [55.0 kB] Get:56 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libpam-modules riscv64 1.5.3-7ubuntu1 [289 kB] Get:57 http://ftpmaster.internal/ubuntu oracular/main riscv64 bzip2 riscv64 1.0.8-5.1 [35.0 kB] Get:58 http://ftpmaster.internal/ubuntu oracular/main riscv64 libbz2-1.0 riscv64 1.0.8-5.1 [40.2 kB] Get:59 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 gcc-14-base riscv64 14-20240429-1ubuntu1 [48.0 kB] Get:60 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libgcc-s1 riscv64 14-20240429-1ubuntu1 [61.1 kB] Get:61 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libstdc++6 riscv64 14-20240429-1ubuntu1 [806 kB] Get:62 http://ftpmaster.internal/ubuntu oracular/main riscv64 libudev1 riscv64 255.4-1ubuntu8 [181 kB] Get:63 http://ftpmaster.internal/ubuntu oracular/main riscv64 libxxhash0 riscv64 0.8.2-2build1 [45.5 kB] Get:64 http://ftpmaster.internal/ubuntu oracular/main riscv64 zlib1g riscv64 1:1.3.dfsg-3.1ubuntu2 [60.8 kB] Get:65 http://ftpmaster.internal/ubuntu oracular/main riscv64 libgmp10 riscv64 2:6.3.0+dfsg-2ubuntu6 [258 kB] Get:66 http://ftpmaster.internal/ubuntu oracular/main riscv64 libffi8 riscv64 3.4.6-1build1 [23.1 kB] Get:67 http://ftpmaster.internal/ubuntu oracular/main riscv64 libidn2-0 riscv64 2.3.7-2build1 [102 kB] Get:68 http://ftpmaster.internal/ubuntu oracular/main riscv64 libtasn1-6 riscv64 4.19.0-3build1 [45.3 kB] Get:69 http://ftpmaster.internal/ubuntu oracular/main riscv64 libdebconfclient0 riscv64 0.271ubuntu3 [11.2 kB] Get:70 http://ftpmaster.internal/ubuntu oracular/main riscv64 base-passwd riscv64 3.6.3build1 [52.7 kB] Get:71 http://ftpmaster.internal/ubuntu oracular/main riscv64 libassuan0 riscv64 2.5.6-1build1 [39.4 kB] Get:72 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libsqlite3-0 riscv64 3.45.3-1 [740 kB] Get:73 http://ftpmaster.internal/ubuntu oracular/main riscv64 gpg riscv64 2.4.4-2ubuntu17 [607 kB] Get:74 http://ftpmaster.internal/ubuntu oracular/main riscv64 libreadline8t64 riscv64 8.2-4build1 [156 kB] Get:75 http://ftpmaster.internal/ubuntu oracular/main riscv64 readline-common all 8.2-4build1 [56.5 kB] Get:76 http://ftpmaster.internal/ubuntu oracular/main riscv64 libncursesw6 riscv64 6.4+20240113-1ubuntu2 [155 kB] Get:77 http://ftpmaster.internal/ubuntu oracular/main riscv64 libtinfo6 riscv64 6.4+20240113-1ubuntu2 [109 kB] Get:78 http://ftpmaster.internal/ubuntu oracular/main riscv64 gpg-agent riscv64 2.4.4-2ubuntu17 [282 kB] Get:79 http://ftpmaster.internal/ubuntu oracular/main riscv64 gpgconf riscv64 2.4.4-2ubuntu17 [133 kB] Get:80 http://ftpmaster.internal/ubuntu oracular/main riscv64 pinentry-curses riscv64 1.2.1-3ubuntu5 [40.6 kB] Get:81 http://ftpmaster.internal/ubuntu oracular/main riscv64 init-system-helpers all 1.66ubuntu1 [39.4 kB] Get:82 http://ftpmaster.internal/ubuntu oracular/main riscv64 libnpth0t64 riscv64 1.6-3.1build1 [8144 B] Get:83 http://ftpmaster.internal/ubuntu oracular/main riscv64 gpgv riscv64 2.4.4-2ubuntu17 [276 kB] Get:84 http://ftpmaster.internal/ubuntu oracular/main riscv64 ubuntu-keyring all 2023.11.28.1 [11.1 kB] Get:85 http://ftpmaster.internal/ubuntu oracular/main riscv64 debconf-i18n all 1.5.86ubuntu1 [205 kB] Get:86 http://ftpmaster.internal/ubuntu oracular/main riscv64 debconf all 1.5.86ubuntu1 [124 kB] Get:87 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libpam0g riscv64 1.5.3-7ubuntu1 [69.6 kB] Get:88 http://ftpmaster.internal/ubuntu oracular/main riscv64 libseccomp2 riscv64 2.5.5-1ubuntu3 [52.9 kB] Get:89 http://ftpmaster.internal/ubuntu oracular/main riscv64 libargon2-1 riscv64 0~20190702+dfsg-4build1 [25.0 kB] Get:90 http://ftpmaster.internal/ubuntu oracular/main riscv64 libdevmapper1.02.1 riscv64 2:1.02.185-3ubuntu3 [145 kB] Get:91 http://ftpmaster.internal/ubuntu oracular/main riscv64 libjson-c5 riscv64 0.17-1build1 [37.4 kB] Get:92 http://ftpmaster.internal/ubuntu oracular/main riscv64 libuuid1 riscv64 2.39.3-9ubuntu6 [37.7 kB] Get:93 http://ftpmaster.internal/ubuntu oracular/main riscv64 libfdisk1 riscv64 2.39.3-9ubuntu6 [238 kB] Get:94 http://ftpmaster.internal/ubuntu oracular/main riscv64 mount riscv64 2.39.3-9ubuntu6 [152 kB] Get:95 http://ftpmaster.internal/ubuntu oracular/main riscv64 libcom-err2 riscv64 1.47.0-2.4~exp1ubuntu4 [22.5 kB] Get:96 http://ftpmaster.internal/ubuntu oracular/main riscv64 libkeyutils1 riscv64 1.6.3-3build1 [9804 B] Get:97 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libnss-nisplus riscv64 1.3-5build1 [23.8 kB] Get:98 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libnss-nis riscv64 3.1-0ubuntu7 [28.1 kB] Get:99 http://ftpmaster.internal/ubuntu oracular/main riscv64 rpcsvc-proto riscv64 1.4.2-0ubuntu7 [65.8 kB] Get:100 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libc6-dev riscv64 2.39-0ubuntu8.1 [3459 kB] Get:101 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libc-dev-bin riscv64 2.39-0ubuntu8.1 [20.0 kB] Get:102 http://ftpmaster.internal/ubuntu oracular/main riscv64 linux-libc-dev riscv64 6.8.0-31.31 [1568 kB] Get:103 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libc6 riscv64 2.39-0ubuntu8.1 [2777 kB] Get:104 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libc-bin riscv64 2.39-0ubuntu8.1 [609 kB] Get:105 http://ftpmaster.internal/ubuntu oracular/main riscv64 base-files riscv64 13.1ubuntu1 [73.7 kB] Get:106 http://ftpmaster.internal/ubuntu oracular/main riscv64 debianutils riscv64 5.17build1 [89.8 kB] Get:107 http://ftpmaster.internal/ubuntu oracular/main riscv64 bash riscv64 5.2.21-2ubuntu4 [745 kB] Get:108 http://ftpmaster.internal/ubuntu oracular/main riscv64 bsdutils riscv64 1:2.39.3-9ubuntu6 [116 kB] Get:109 http://ftpmaster.internal/ubuntu oracular/main riscv64 coreutils riscv64 9.4-3ubuntu6 [1459 kB] Get:110 http://ftpmaster.internal/ubuntu oracular/main riscv64 tar riscv64 1.35+dfsg-3build1 [269 kB] Get:111 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 dpkg riscv64 1.22.6ubuntu10 [1283 kB] Get:112 http://ftpmaster.internal/ubuntu oracular/main riscv64 dash riscv64 0.5.12-6ubuntu5 [93.2 kB] Get:113 http://ftpmaster.internal/ubuntu oracular/main riscv64 diffutils riscv64 1:3.10-1build1 [184 kB] Get:114 http://ftpmaster.internal/ubuntu oracular/main riscv64 findutils riscv64 4.9.0-5build1 [315 kB] Get:115 http://ftpmaster.internal/ubuntu oracular/main riscv64 grep riscv64 3.11-4build1 [169 kB] Get:116 http://ftpmaster.internal/ubuntu oracular/main riscv64 gzip riscv64 1.12-1ubuntu3 [102 kB] Get:117 http://ftpmaster.internal/ubuntu oracular/main riscv64 hostname riscv64 3.23+nmu2ubuntu2 [11.4 kB] Get:118 http://ftpmaster.internal/ubuntu oracular/main riscv64 login riscv64 1:4.13+dfsg1-4ubuntu3 [204 kB] Get:119 http://ftpmaster.internal/ubuntu oracular/main riscv64 ncurses-bin riscv64 6.4+20240113-1ubuntu2 [187 kB] Get:120 http://ftpmaster.internal/ubuntu oracular/main riscv64 sed riscv64 4.9-2build1 [200 kB] Get:121 http://ftpmaster.internal/ubuntu oracular/main riscv64 util-linux riscv64 2.39.3-9ubuntu6 [1330 kB] Get:122 http://ftpmaster.internal/ubuntu oracular/main riscv64 ncurses-base all 6.4+20240113-1ubuntu2 [25.5 kB] Get:123 http://ftpmaster.internal/ubuntu oracular/main riscv64 sysvinit-utils riscv64 3.08-6ubuntu3 [35.1 kB] Get:124 http://ftpmaster.internal/ubuntu oracular/main riscv64 logsave riscv64 1.47.0-2.4~exp1ubuntu4 [22.3 kB] Get:125 http://ftpmaster.internal/ubuntu oracular/main riscv64 libext2fs2t64 riscv64 1.47.0-2.4~exp1ubuntu4 [243 kB] Get:126 http://ftpmaster.internal/ubuntu oracular/main riscv64 e2fsprogs riscv64 1.47.0-2.4~exp1ubuntu4 [604 kB] Get:127 http://ftpmaster.internal/ubuntu oracular/main riscv64 optipng riscv64 0.7.8+ds-1build2 [115 kB] Get:128 http://ftpmaster.internal/ubuntu oracular/main riscv64 libpng16-16t64 riscv64 1.6.43-5build1 [193 kB] Get:129 http://ftpmaster.internal/ubuntu oracular/main riscv64 init riscv64 1.66ubuntu1 [6190 B] Get:130 http://ftpmaster.internal/ubuntu oracular/main riscv64 libsmartcols1 riscv64 2.39.3-9ubuntu6 [146 kB] Get:131 http://ftpmaster.internal/ubuntu oracular/main riscv64 uuid-runtime riscv64 2.39.3-9ubuntu6 [49.2 kB] Get:132 http://ftpmaster.internal/ubuntu oracular/main riscv64 libattr1 riscv64 1:2.5.2-1build1 [11.4 kB] Get:133 http://ftpmaster.internal/ubuntu oracular/main riscv64 libmd0 riscv64 1.1.0-2build1 [30.5 kB] Get:134 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libpam-runtime all 1.5.3-7ubuntu1 [40.8 kB] Get:135 http://ftpmaster.internal/ubuntu oracular/main riscv64 libsemanage-common all 3.5-1build5 [10.1 kB] Get:136 http://ftpmaster.internal/ubuntu oracular/main riscv64 libsepol2 riscv64 3.5-2build1 [319 kB] Get:137 http://ftpmaster.internal/ubuntu oracular/main riscv64 libsemanage2 riscv64 3.5-1build5 [101 kB] Get:138 http://ftpmaster.internal/ubuntu oracular/main riscv64 passwd riscv64 1:4.13+dfsg1-4ubuntu3 [864 kB] Get:139 http://ftpmaster.internal/ubuntu oracular/main riscv64 libproc2-0 riscv64 2:4.0.4-4ubuntu3 [60.9 kB] Get:140 http://ftpmaster.internal/ubuntu oracular/main riscv64 libss2 riscv64 1.47.0-2.4~exp1ubuntu4 [17.1 kB] Get:141 http://ftpmaster.internal/ubuntu oracular/main riscv64 mawk riscv64 1.3.4.20240123-1build1 [129 kB] Get:142 http://ftpmaster.internal/ubuntu oracular/main riscv64 procps riscv64 2:4.0.4-4ubuntu3 [715 kB] Get:143 http://ftpmaster.internal/ubuntu oracular/main riscv64 sensible-utils all 0.0.22 [22.5 kB] Get:144 http://ftpmaster.internal/ubuntu oracular/main riscv64 ca-certificates all 20240203 [159 kB] Get:145 http://ftpmaster.internal/ubuntu oracular/main riscv64 krb5-locales all 1.20.1-6ubuntu2 [13.8 kB] Get:146 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 tzdata all 2024a-4ubuntu1 [274 kB] Get:147 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 bash-completion all 1:2.13.0-1 [205 kB] Get:148 http://ftpmaster.internal/ubuntu oracular/main riscv64 bsdextrautils riscv64 2.39.3-9ubuntu6 [92.2 kB] Get:149 http://ftpmaster.internal/ubuntu oracular/main riscv64 libgpm2 riscv64 1.20.7-11 [15.0 kB] Get:150 http://ftpmaster.internal/ubuntu oracular/main riscv64 libip4tc2 riscv64 1.8.10-3ubuntu2 [23.9 kB] Get:151 http://ftpmaster.internal/ubuntu oracular/main riscv64 libjansson4 riscv64 2.14-2build2 [34.7 kB] Get:152 http://ftpmaster.internal/ubuntu oracular/main riscv64 psmisc riscv64 23.7-1build1 [177 kB] Get:153 http://ftpmaster.internal/ubuntu oracular/main riscv64 xz-utils riscv64 5.6.1+really5.4.5-1 [269 kB] Get:154 http://ftpmaster.internal/ubuntu oracular/main riscv64 advancecomp riscv64 2.5-1build1 [237 kB] Get:155 http://ftpmaster.internal/ubuntu oracular/main riscv64 libctf0 riscv64 2.42-4ubuntu2 [104 kB] Get:156 http://ftpmaster.internal/ubuntu oracular/main riscv64 libctf-nobfd0 riscv64 2.42-4ubuntu2 [106 kB] Get:157 http://ftpmaster.internal/ubuntu oracular/main riscv64 binutils-riscv64-linux-gnu riscv64 2.42-4ubuntu2 [899 kB] Get:158 http://ftpmaster.internal/ubuntu oracular/main riscv64 libbinutils riscv64 2.42-4ubuntu2 [566 kB] Get:159 http://ftpmaster.internal/ubuntu oracular/main riscv64 binutils riscv64 2.42-4ubuntu2 [2984 B] Get:160 http://ftpmaster.internal/ubuntu oracular/main riscv64 binutils-common riscv64 2.42-4ubuntu2 [209 kB] Get:161 http://ftpmaster.internal/ubuntu oracular/main riscv64 libsframe1 riscv64 2.42-4ubuntu2 [15.7 kB] Get:162 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libgomp1 riscv64 14-20240429-1ubuntu1 [145 kB] Get:163 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libatomic1 riscv64 14-20240429-1ubuntu1 [9500 B] Get:164 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libasan8 riscv64 14-20240429-1ubuntu1 [2624 kB] Get:165 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libubsan1 riscv64 14-20240429-1ubuntu1 [1079 kB] Get:166 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 g++-13 riscv64 13.2.0-24ubuntu1 [15.0 kB] Get:167 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 gcc-13 riscv64 13.2.0-24ubuntu1 [455 kB] Get:168 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libstdc++-13-dev riscv64 13.2.0-24ubuntu1 [5943 kB] Get:169 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libgcc-13-dev riscv64 13.2.0-24ubuntu1 [3858 kB] Get:170 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libcc1-0 riscv64 14-20240429-1ubuntu1 [45.2 kB] Get:171 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 cpp-13 riscv64 13.2.0-24ubuntu1 [1030 B] Get:172 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 gcc-13-base riscv64 13.2.0-24ubuntu1 [49.3 kB] Get:173 http://ftpmaster.internal/ubuntu oracular/main riscv64 libisl23 riscv64 0.26-3build1 [718 kB] Get:174 http://ftpmaster.internal/ubuntu oracular/main riscv64 libmpfr6 riscv64 4.2.1-1build1 [293 kB] Get:175 http://ftpmaster.internal/ubuntu oracular/main riscv64 libmpc3 riscv64 1.3.1-1build1 [59.7 kB] Get:176 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 gcc-13-riscv64-linux-gnu riscv64 13.2.0-24ubuntu1 [19.7 MB] Get:177 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 g++-13-riscv64-linux-gnu riscv64 13.2.0-24ubuntu1 [11.7 MB] Get:178 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 cpp-13-riscv64-linux-gnu riscv64 13.2.0-24ubuntu1 [10.3 MB] Get:179 http://ftpmaster.internal/ubuntu oracular/main riscv64 g++ riscv64 4:13.2.0-7ubuntu1 [1082 B] Get:180 http://ftpmaster.internal/ubuntu oracular/main riscv64 gcc riscv64 4:13.2.0-7ubuntu1 [5016 B] Get:181 http://ftpmaster.internal/ubuntu oracular/main riscv64 cpp riscv64 4:13.2.0-7ubuntu1 [22.4 kB] Get:182 http://ftpmaster.internal/ubuntu oracular/main riscv64 cpp-riscv64-linux-gnu riscv64 4:13.2.0-7ubuntu1 [5316 B] Get:183 http://ftpmaster.internal/ubuntu oracular/main riscv64 gcc-riscv64-linux-gnu riscv64 4:13.2.0-7ubuntu1 [1202 B] Get:184 http://ftpmaster.internal/ubuntu oracular/main riscv64 g++-riscv64-linux-gnu riscv64 4:13.2.0-7ubuntu1 [960 B] Get:185 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 dpkg-dev all 1.22.6ubuntu10 [1074 kB] Get:186 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libdpkg-perl all 1.22.6ubuntu10 [269 kB] Get:187 http://ftpmaster.internal/ubuntu oracular/main riscv64 patch riscv64 2.7.6-7build3 [113 kB] Get:188 http://ftpmaster.internal/ubuntu oracular/main riscv64 make riscv64 4.3-4.1build2 [178 kB] Get:189 http://ftpmaster.internal/ubuntu oracular/main riscv64 lto-disabled-list all 48 [12.3 kB] Get:190 http://ftpmaster.internal/ubuntu oracular/main riscv64 libfakeroot riscv64 1.34-1 [34.3 kB] Get:191 http://ftpmaster.internal/ubuntu oracular/main riscv64 fakeroot riscv64 1.34-1 [78.3 kB] Get:192 http://ftpmaster.internal/ubuntu oracular/main riscv64 liblockfile-bin riscv64 1.17-1build3 [11.6 kB] Get:193 http://ftpmaster.internal/ubuntu oracular/main riscv64 liblockfile1 riscv64 1.17-1build3 [7002 B] Get:194 http://ftpmaster.internal/ubuntu oracular/main riscv64 lockfile-progs riscv64 0.1.19+nmu1 [8622 B] Preconfiguring packages ... Fetched 116 MB in 14s (8155 kB/s) (Reading database ... 13552 files and directories currently installed.) Preparing to unpack .../libtirpc-common_1.3.4+ds-1.3_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1.3) over (1.3.3+ds-1) ... Preparing to unpack .../libtirpc-dev_1.3.4+ds-1.3_riscv64.deb ... Unpacking libtirpc-dev:riscv64 (1.3.4+ds-1.3) 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.3_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.3) ... 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-2_riscv64.deb ... Unpacking libacl1:riscv64 (2.3.2-2) over (2.3.1-3) ... Setting up libacl1:riscv64 (2.3.2-2) ... (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.5-1_riscv64.deb ... Unpacking libcap-ng0:riscv64 (0.8.5-1) over (0.8.3-1build2) ... Setting up libcap-ng0:riscv64 (0.8.5-1) ... (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-2_riscv64.deb ... Unpacking liblz4-1:riscv64 (1.9.4-2) over (1.9.4-1) ... Setting up liblz4-1:riscv64 (1.9.4-2) ... (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-4_riscv64.deb ... Unpacking perl (5.38.2-4) over (5.36.0-9ubuntu1) ... Selecting previously unselected package perl-modules-5.38. Preparing to unpack .../perl-modules-5.38_5.38.2-4_all.deb ... Unpacking perl-modules-5.38 (5.38.2-4) ... 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) ... Setting up 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-4_riscv64.deb ... Unpacking libperl5.38t64:riscv64 (5.38.2-4) ... Preparing to unpack .../perl-base_5.38.2-4_riscv64.deb ... Unpacking perl-base (5.38.2-4) over (5.36.0-9ubuntu1) ... Setting up perl-base (5.38.2-4) ... (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) ... dpkg: libgnutls30:riscv64: dependency problems, but removing anyway as you requested: apt depends on libgnutls30 (>= 3.7.5). (Reading database ... 15655 files and directories currently installed.) Removing libgnutls30:riscv64 (3.8.1-4ubuntu1) ... Removing libhogweed6:riscv64 (3.9.1-2) ... Removing libnettle8:riscv64 (3.9.1-2) ... 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). Removing libapt-pkg6.0:riscv64 (2.7.3) ... Selecting previously unselected package libapt-pkg6.0t64:riscv64. (Reading database ... 15584 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0t64_2.9.2_riscv64.deb ... Unpacking libapt-pkg6.0t64:riscv64 (2.9.2) ... Setting up libapt-pkg6.0t64:riscv64 (2.9.2) ... Selecting previously unselected package libnettle8t64:riscv64. (Reading database ... 15634 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 ... 15642 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 ... 15648 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 ... 15648 files and directories currently installed.) Preparing to unpack .../libunistring5_1.2-1_riscv64.deb ... Unpacking libunistring5:riscv64 (1.2-1) ... Setting up libunistring5:riscv64 (1.2-1) ... Selecting previously unselected package libgnutls30t64:riscv64. (Reading database ... 15653 files and directories currently installed.) Preparing to unpack .../libgnutls30t64_3.8.3-1.1ubuntu3.1_riscv64.deb ... Unpacking libgnutls30t64:riscv64 (3.8.3-1.1ubuntu3.1) ... Setting up libgnutls30t64:riscv64 (3.8.3-1.1ubuntu3.1) ... (Reading database ... 15665 files and directories currently installed.) Preparing to unpack .../archives/apt_2.9.2_riscv64.deb ... Unpacking apt (2.9.2) over (2.7.3) ... Setting up apt (2.9.2) ... (Reading database ... 15665 files and directories currently installed.) Preparing to unpack .../apt-utils_2.9.2_riscv64.deb ... Unpacking apt-utils (2.9.2) over (2.7.3) ... Preparing to unpack .../libpam-modules-bin_1.5.3-7ubuntu1_riscv64.deb ... Unpacking libpam-modules-bin (1.5.3-7ubuntu1) over (1.5.2-6ubuntu1) ... Setting up libpam-modules-bin (1.5.3-7ubuntu1) ... (Reading database ... 15664 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.5.3-7ubuntu1_riscv64.deb ... Unpacking libpam-modules:riscv64 (1.5.3-7ubuntu1) 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-7ubuntu1) ... Installing new version of config file /etc/security/namespace.init ... (Reading database ... 15664 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 ... 15664 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 ... 15669 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 ... 15669 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 ... 15669 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 ... 15669 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 ... 15669 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 ... 15669 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 ... 15669 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 ... 15669 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 ... 15669 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 ... 15669 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 ... 15669 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 ... 15669 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 ... 15669 files and directories currently installed.) Preparing to unpack .../libsqlite3-0_3.45.3-1_riscv64.deb ... Unpacking libsqlite3-0:riscv64 (3.45.3-1) 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 ... 15669 files and directories currently installed.) Removing libreadline8:riscv64 (8.2-1.3) ... Selecting previously unselected package libreadline8t64:riscv64. (Reading database ... 15657 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 ... 15677 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 ... 15676 files and directories currently installed.) Removing libnpth0:riscv64 (1.6-3build2) ... Selecting previously unselected package libnpth0t64:riscv64. (Reading database ... 15671 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 ... 15677 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 ... 15677 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 ... 15677 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 ... 15676 files and directories currently installed.) Preparing to unpack .../libpam0g_1.5.3-7ubuntu1_riscv64.deb ... Unpacking libpam0g:riscv64 (1.5.3-7ubuntu1) over (1.5.2-6ubuntu1) ... Setting up libpam0g:riscv64 (1.5.3-7ubuntu1) ... (Reading database ... 15675 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 ... 15675 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.1_riscv64.deb ... Unpacking libc6-dev:riscv64 (2.39-0ubuntu8.1) over (2.38-1ubuntu6) ... Preparing to unpack .../08-libc-dev-bin_2.39-0ubuntu8.1_riscv64.deb ... Unpacking libc-dev-bin (2.39-0ubuntu8.1) 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.1_riscv64.deb ... Unpacking libc6:riscv64 (2.39-0ubuntu8.1) over (2.38-1ubuntu6) ... Setting up libc6:riscv64 (2.39-0ubuntu8.1) ... (Reading database ... 15690 files and directories currently installed.) Preparing to unpack .../libc-bin_2.39-0ubuntu8.1_riscv64.deb ... Unpacking libc-bin (2.39-0ubuntu8.1) over (2.38-1ubuntu6) ... Setting up libc-bin (2.39-0ubuntu8.1) ... (Reading database ... 15690 files and directories currently installed.) Preparing to unpack .../base-files_13.1ubuntu1_riscv64.deb ... Unpacking base-files (13.1ubuntu1) over (13ubuntu3) ... Setting up base-files (13.1ubuntu1) ... 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 ... 15699 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 ... 15698 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 ... 15698 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 ... 15698 files and directories currently installed.) Removing usrmerge (35ubuntu1) ... (Reading database ... 15672 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 ... 15677 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 ... 15677 files and directories currently installed.) Preparing to unpack .../dpkg_1.22.6ubuntu10_riscv64.deb ... Unpacking dpkg (1.22.6ubuntu10) over (1.22.0ubuntu1) ... Setting up dpkg (1.22.6ubuntu10) ... (Reading database ... 15675 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 ... 15674 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 ... 15674 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 ... 15673 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 ... 15673 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 ... 15673 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 ... 15673 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 ... 15673 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 ... 15673 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 ... 15673 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 ... 15675 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 ... 15675 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 ... 15673 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 ... 15673 files and directories currently installed.) Removing libext2fs2:riscv64 (1.47.0-2ubuntu1) ... Selecting previously unselected package libext2fs2t64:riscv64. (Reading database ... 15666 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 ... 15682 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 ... 15680 files and directories currently installed.) Removing libpng16-16:riscv64 (1.6.40-1) ... Selecting previously unselected package libpng16-16t64:riscv64. (Reading database ... 15670 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 ... 15681 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 ... 15682 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 ... 15680 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 ... 15680 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.5.3-7ubuntu1_all.deb ... Unpacking libpam-runtime (1.5.3-7ubuntu1) over (1.5.2-6ubuntu1) ... Setting up libpam-runtime (1.5.3-7ubuntu1) ... (Reading database ... 15679 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 ... 15679 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 ... 15679 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 ... 15679 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 ... 15679 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-4ubuntu1_all.deb ... Unpacking tzdata (2024a-4ubuntu1) over (2023c-9ubuntu1) ... Preparing to unpack .../08-bash-completion_1%3a2.13.0-1_all.deb ... Unpacking bash-completion (1:2.13.0-1) 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-libgomp1_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libgomp1:riscv64 (14-20240429-1ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../24-libatomic1_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libatomic1:riscv64 (14-20240429-1ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../25-libasan8_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libasan8:riscv64 (14-20240429-1ubuntu1) over (13.2.0-4ubuntu3) ... Selecting previously unselected package libubsan1:riscv64. Preparing to unpack .../26-libubsan1_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libubsan1:riscv64 (14-20240429-1ubuntu1) ... Preparing to unpack .../27-g++-13_13.2.0-24ubuntu1_riscv64.deb ... Unpacking g++-13 (13.2.0-24ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../28-gcc-13_13.2.0-24ubuntu1_riscv64.deb ... Unpacking gcc-13 (13.2.0-24ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../29-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 .../30-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 .../31-libcc1-0_14-20240429-1ubuntu1_riscv64.deb ... Unpacking libcc1-0:riscv64 (14-20240429-1ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../32-cpp-13_13.2.0-24ubuntu1_riscv64.deb ... Unpacking cpp-13 (13.2.0-24ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../33-gcc-13-base_13.2.0-24ubuntu1_riscv64.deb ... Unpacking gcc-13-base:riscv64 (13.2.0-24ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../34-libisl23_0.26-3build1_riscv64.deb ... Unpacking libisl23:riscv64 (0.26-3build1) over (0.26-3) ... Preparing to unpack .../35-libmpfr6_4.2.1-1build1_riscv64.deb ... Unpacking libmpfr6:riscv64 (4.2.1-1build1) over (4.2.1-1) ... Preparing to unpack .../36-libmpc3_1.3.1-1build1_riscv64.deb ... Unpacking libmpc3:riscv64 (1.3.1-1build1) over (1.3.1-1) ... Selecting previously unselected package gcc-13-riscv64-linux-gnu. Preparing to unpack .../37-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 .../38-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 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-g++_4%3a13.2.0-7ubuntu1_riscv64.deb ... Unpacking g++ (4:13.2.0-7ubuntu1) over (4:13.2.0-1ubuntu1) ... Preparing to unpack .../41-gcc_4%3a13.2.0-7ubuntu1_riscv64.deb ... Unpacking gcc (4:13.2.0-7ubuntu1) over (4:13.2.0-1ubuntu1) ... Preparing to unpack .../42-cpp_4%3a13.2.0-7ubuntu1_riscv64.deb ... Unpacking cpp (4:13.2.0-7ubuntu1) over (4:13.2.0-1ubuntu1) ... Selecting previously unselected package cpp-riscv64-linux-gnu. Preparing to unpack .../43-cpp-riscv64-linux-gnu_4%3a13.2.0-7ubuntu1_riscv64.deb ... Unpacking cpp-riscv64-linux-gnu (4:13.2.0-7ubuntu1) ... Selecting previously unselected package gcc-riscv64-linux-gnu. Preparing to unpack .../44-gcc-riscv64-linux-gnu_4%3a13.2.0-7ubuntu1_riscv64.deb ... Unpacking gcc-riscv64-linux-gnu (4:13.2.0-7ubuntu1) ... Selecting previously unselected package g++-riscv64-linux-gnu. Preparing to unpack .../45-g++-riscv64-linux-gnu_4%3a13.2.0-7ubuntu1_riscv64.deb ... Unpacking g++-riscv64-linux-gnu (4:13.2.0-7ubuntu1) ... Preparing to unpack .../46-dpkg-dev_1.22.6ubuntu10_all.deb ... Unpacking dpkg-dev (1.22.6ubuntu10) over (1.22.0ubuntu1) ... Preparing to unpack .../47-libdpkg-perl_1.22.6ubuntu10_all.deb ... Unpacking libdpkg-perl (1.22.6ubuntu10) over (1.22.0ubuntu1) ... Preparing to unpack .../48-patch_2.7.6-7build3_riscv64.deb ... Unpacking patch (2.7.6-7build3) over (2.7.6-7build2) ... Preparing to unpack .../49-make_4.3-4.1build2_riscv64.deb ... Unpacking make (4.3-4.1build2) over (4.3-4.1build1) ... Preparing to unpack .../50-lto-disabled-list_48_all.deb ... Unpacking lto-disabled-list (48) over (43) ... Preparing to unpack .../51-libfakeroot_1.34-1_riscv64.deb ... Unpacking libfakeroot:riscv64 (1.34-1) over (1.32.1-1) ... Preparing to unpack .../52-fakeroot_1.34-1_riscv64.deb ... Unpacking fakeroot (1.34-1) over (1.32.1-1) ... Preparing to unpack .../53-liblockfile-bin_1.17-1build3_riscv64.deb ... Unpacking liblockfile-bin (1.17-1build3) over (1.17-1build2) ... Preparing to unpack .../54-liblockfile1_1.17-1build3_riscv64.deb ... Unpacking liblockfile1:riscv64 (1.17-1build3) over (1.17-1build2) ... Preparing to unpack .../55-lockfile-progs_0.1.19+nmu1_riscv64.deb ... Unpacking lockfile-progs (0.1.19+nmu1) 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 (48) ... Setting up apt-utils (2.9.2) ... 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.3) ... Setting up libsqlite3-0:riscv64 (3.45.3-1) ... 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.34-1) ... Setting up libjansson4:riscv64 (2.14-2build2) ... Setting up libkrb5support0:riscv64 (1.20.1-6ubuntu2) ... Setting up tzdata (2024a-4ubuntu1) ... Current default time zone: 'Etc/UTC' Local time is now: Sun May 5 10:58:36 UTC 2024. Universal Time is now: Sun May 5 10:58:36 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up fakeroot (1.34-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.13.0-1) ... Installing new version of config file /etc/profile.d/bash_completion.sh ... Setting up xz-utils (5.6.1+really5.4.5-1) ... Setting up perl-modules-5.38 (5.38.2-4) ... 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 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-4) ... Setting up libbinutils:riscv64 (2.42-4ubuntu2) ... Setting up libisl23:riscv64 (0.26-3build1) ... Setting up libc-dev-bin (2.39-0ubuntu8.1) ... 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 libctf0:riscv64 (2.42-4ubuntu2) ... Setting up pinentry-curses (1.2.1-3ubuntu5) ... 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 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-4) ... Setting up optipng (0.7.8+ds-1build2) ... Setting up lockfile-progs (0.1.19+nmu1) ... Setting up libgssapi-krb5-2:riscv64 (1.20.1-6ubuntu2) ... Setting up libdpkg-perl (1.22.6ubuntu10) ... 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.1) ... Setting up cpp-riscv64-linux-gnu (4:13.2.0-7ubuntu1) ... 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.3) ... Setting up gcc-13-riscv64-linux-gnu (13.2.0-24ubuntu1) ... Setting up dpkg-dev (1.22.6ubuntu10) ... Setting up gcc-riscv64-linux-gnu (4:13.2.0-7ubuntu1) ... Setting up libtirpc-dev:riscv64 (1.3.4+ds-1.3) ... Setting up gcc-13 (13.2.0-24ubuntu1) ... Setting up cpp (4:13.2.0-7ubuntu1) ... 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 libnss-nisplus:riscv64 (1.3-5build1) ... Setting up gcc (4:13.2.0-7ubuntu1) ... Setting up g++-riscv64-linux-gnu (4:13.2.0-7ubuntu1) ... Setting up libnss-nis:riscv64 (3.1-0ubuntu7) ... Setting up g++ (4:13.2.0-7ubuntu1) ... Setting up libnsl-dev:riscv64 (1.3.0-3build3) ... Processing triggers for libc-bin (2.39-0ubuntu8.1) ... Processing triggers for debianutils (5.17build1) ... (Reading database ... 15903 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-28282319 riscv64 oracular-proposed -c chroot:build-PACKAGEBUILD-28282319 --arch=riscv64 --dist=oracular-proposed --nolog coqprime_8.19-1.dsc Initiating build PACKAGEBUILD-28282319 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 6.5.0-28-generic #29.1~22.04.1-Ubuntu SMP Wed Apr 10 02:20:48 UTC 2024 riscv64 sbuild (Debian sbuild) 0.81.2ubuntu6 (16 February 2022) on bos03-riscv64-029.buildd +==============================================================================+ | coqprime 8.19-1 (riscv64) Sun, 05 May 2024 11:00:42 +0000 | +==============================================================================+ Package: coqprime Version: 8.19-1 Source Version: 8.19-1 Distribution: oracular-proposed Machine Architecture: riscv64 Host Architecture: riscv64 Build Architecture: riscv64 Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-28282319/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/coqprime-ue09oc/resolver-bMSMae' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- coqprime_8.19-1.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/coqprime-ue09oc/coqprime-8.19' with '<>' I: NOTICE: Log filtering will replace 'build/coqprime-ue09oc' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-stdlib, libecm1-dev, libnum-ocaml-dev, build-essential, fakeroot Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-stdlib, libecm1-dev, libnum-ocaml-dev, 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 [416 B] Get:5 copy:/<>/apt_archive ./ Packages [500 B] Fetched 1873 B in 0s (4304 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: apt-utils bash-completion ca-certificates debconf-i18n krb5-locales libgpg-error-l10n libgpm2 libgssapi-krb5-2 libip4tc2 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblocale-gettext-perl libnsl-dev libnsl2 libnss-nis libnss-nisplus libperl5.36 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-bignums libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libdw1t64 libecm1 libecm1-dev libecm1-dev-common libelf1t64 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu74 libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libnum-ocaml libnum-ocaml-dev libpipeline1 libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.12 python3.12-minimal Suggested packages: autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit | readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc python3-tk python3-venv python3.12-venv python3.12-doc binfmt-support Recommended packages: curl | wget | lynx libarchive-cpio-perl ocaml-man libltdl-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev coq debhelper debugedit dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libcoq-bignums libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libdw1t64 libecm1 libecm1-dev libecm1-dev-common libelf1t64 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu74 libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libnum-ocaml libnum-ocaml-dev libpipeline1 libpython3-stdlib libpython3.12-minimal libpython3.12-stdlib libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.12 python3.12-minimal sbuild-build-depends-main-dummy 0 upgraded, 69 newly installed, 0 to remove and 0 not upgraded. Need to get 388 MB of archives. After this operation, 1493 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [716 B] Get:2 http://ftpmaster.internal/ubuntu oracular/main riscv64 libpython3.12-minimal riscv64 3.12.3-1 [829 kB] Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libexpat1 riscv64 2.6.2-1 [85.9 kB] Get:4 http://ftpmaster.internal/ubuntu oracular/main riscv64 python3.12-minimal riscv64 3.12.3-1 [2343 kB] Get:5 http://ftpmaster.internal/ubuntu oracular/main riscv64 python3-minimal riscv64 3.12.3-0ubuntu1 [27.2 kB] Get:6 http://ftpmaster.internal/ubuntu oracular/main riscv64 media-types all 10.1.0 [27.5 kB] Get:7 http://ftpmaster.internal/ubuntu oracular/main riscv64 netbase all 6.4 [13.1 kB] Get:8 http://ftpmaster.internal/ubuntu oracular/main riscv64 libpython3.12-stdlib riscv64 3.12.3-1 [2024 kB] Get:9 http://ftpmaster.internal/ubuntu oracular/main riscv64 python3.12 riscv64 3.12.3-1 [651 kB] Get:10 http://ftpmaster.internal/ubuntu oracular/main riscv64 libpython3-stdlib riscv64 3.12.3-0ubuntu1 [9896 B] Get:11 http://ftpmaster.internal/ubuntu oracular/main riscv64 python3 riscv64 3.12.3-0ubuntu1 [24.1 kB] Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libelf1t64 riscv64 0.191-1 [63.4 kB] Get:13 http://ftpmaster.internal/ubuntu oracular/main riscv64 libicu74 riscv64 74.2-1ubuntu3 [10.9 MB] Get:14 http://ftpmaster.internal/ubuntu oracular/main riscv64 libxml2 riscv64 2.9.14+dfsg-1.3ubuntu3 [719 kB] Get:15 http://ftpmaster.internal/ubuntu oracular/main riscv64 libmagic-mgc riscv64 1:5.45-3build1 [307 kB] Get:16 http://ftpmaster.internal/ubuntu oracular/main riscv64 libmagic1t64 riscv64 1:5.45-3build1 [96.4 kB] Get:17 http://ftpmaster.internal/ubuntu oracular/main riscv64 file riscv64 1:5.45-3build1 [21.9 kB] Get:18 http://ftpmaster.internal/ubuntu oracular/main riscv64 gettext-base riscv64 0.21-14ubuntu2 [42.6 kB] Get:19 http://ftpmaster.internal/ubuntu oracular/main riscv64 libuchardet0 riscv64 0.0.8-1build1 [77.8 kB] Get:20 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 groff-base riscv64 1.23.0-4 [1031 kB] Get:21 http://ftpmaster.internal/ubuntu oracular/main riscv64 libncurses6 riscv64 6.4+20240113-1ubuntu2 [116 kB] Get:22 http://ftpmaster.internal/ubuntu oracular/main riscv64 libpipeline1 riscv64 1.5.7-2 [30.9 kB] Get:23 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 man-db riscv64 2.12.1-1 [1225 kB] Get:24 http://ftpmaster.internal/ubuntu oracular/main riscv64 m4 riscv64 1.4.19-4build1 [264 kB] Get:25 http://ftpmaster.internal/ubuntu oracular/main riscv64 autoconf all 2.71-3 [339 kB] Get:26 http://ftpmaster.internal/ubuntu oracular/main riscv64 autotools-dev all 20220109.1 [44.9 kB] Get:27 http://ftpmaster.internal/ubuntu oracular/main riscv64 automake all 1:1.16.5-1.3ubuntu1 [558 kB] Get:28 http://ftpmaster.internal/ubuntu oracular/main riscv64 autopoint all 0.21-14ubuntu2 [422 kB] Get:29 http://ftpmaster.internal/ubuntu oracular-proposed/universe riscv64 libcoq-stdlib riscv64 8.19.1+dfsg-1 [27.1 MB] Get:30 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libstdlib-ocaml riscv64 4.14.1-1ubuntu1 [381 kB] Get:31 http://ftpmaster.internal/ubuntu oracular/universe riscv64 ocaml-base riscv64 4.14.1-1ubuntu1 [260 kB] Get:32 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libfindlib-ocaml riscv64 1.9.6-1build4 [201 kB] Get:33 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libzarith-ocaml riscv64 1.13-2build4 [123 kB] Get:34 http://ftpmaster.internal/ubuntu oracular-proposed/universe riscv64 libcoq-core-ocaml riscv64 8.19.1+dfsg-1 [28.2 MB] Get:35 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libstdlib-ocaml-dev riscv64 4.14.1-1ubuntu1 [10.4 MB] Get:36 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libcompiler-libs-ocaml-dev riscv64 4.14.1-1ubuntu1 [41.5 MB] Get:37 http://ftpmaster.internal/ubuntu oracular/universe riscv64 ocaml-interp riscv64 4.14.1-1ubuntu1 [7825 kB] Get:38 http://ftpmaster.internal/ubuntu oracular/main riscv64 libncurses-dev riscv64 6.4+20240113-1ubuntu2 [1009 kB] Get:39 http://ftpmaster.internal/ubuntu oracular/universe riscv64 ocaml riscv64 4.14.1-1ubuntu1 [82.2 MB] Get:40 http://ftpmaster.internal/ubuntu oracular/universe riscv64 ocaml-findlib riscv64 1.9.6-1build4 [579 kB] Get:41 http://ftpmaster.internal/ubuntu oracular-proposed/universe riscv64 coq riscv64 8.19.1+dfsg-1 [98.7 MB] Get:42 http://ftpmaster.internal/ubuntu oracular/main riscv64 libdebhelper-perl all 13.14.1ubuntu5 [89.8 kB] Get:43 http://ftpmaster.internal/ubuntu oracular/main riscv64 libtool all 2.4.7-7build1 [166 kB] Get:44 http://ftpmaster.internal/ubuntu oracular/main riscv64 dh-autoreconf all 20 [16.1 kB] Get:45 http://ftpmaster.internal/ubuntu oracular/main riscv64 libarchive-zip-perl all 1.68-1 [90.2 kB] Get:46 http://ftpmaster.internal/ubuntu oracular/main riscv64 libsub-override-perl all 0.10-1 [10.0 kB] Get:47 http://ftpmaster.internal/ubuntu oracular/main riscv64 libfile-stripnondeterminism-perl all 1.13.1-1 [18.1 kB] Get:48 http://ftpmaster.internal/ubuntu oracular/main riscv64 dh-strip-nondeterminism all 1.13.1-1 [5362 B] Get:49 http://ftpmaster.internal/ubuntu oracular-proposed/main riscv64 libdw1t64 riscv64 0.191-1 [280 kB] Get:50 http://ftpmaster.internal/ubuntu oracular/main riscv64 debugedit riscv64 1:5.0-5build2 [49.2 kB] Get:51 http://ftpmaster.internal/ubuntu oracular/main riscv64 dwz riscv64 0.15-1build6 [125 kB] Get:52 http://ftpmaster.internal/ubuntu oracular/main riscv64 gettext riscv64 0.21-14ubuntu2 [875 kB] Get:53 http://ftpmaster.internal/ubuntu oracular/main riscv64 intltool-debian all 0.35.0+20060710.6 [23.2 kB] Get:54 http://ftpmaster.internal/ubuntu oracular/main riscv64 po-debconf all 1.0.21+nmu1 [233 kB] Get:55 http://ftpmaster.internal/ubuntu oracular/main riscv64 debhelper all 13.14.1ubuntu5 [869 kB] Get:56 http://ftpmaster.internal/ubuntu oracular/universe riscv64 dh-coq all 0.8 [6766 B] Get:57 http://ftpmaster.internal/ubuntu oracular-proposed/universe riscv64 libcoq-bignums riscv64 9.0.0+coq8.19-1 [2267 kB] Get:58 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libfindlib-ocaml-dev riscv64 1.9.6-1build4 [228 kB] Get:59 http://ftpmaster.internal/ubuntu oracular/main riscv64 libgmpxx4ldbl riscv64 2:6.3.0+dfsg-2ubuntu6 [9966 B] Get:60 http://ftpmaster.internal/ubuntu oracular/main riscv64 libgmp-dev riscv64 2:6.3.0+dfsg-2ubuntu6 [798 kB] Get:61 http://ftpmaster.internal/ubuntu oracular/main riscv64 libgmp3-dev riscv64 2:6.3.0+dfsg-2ubuntu6 [2314 B] Get:62 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libzarith-ocaml-dev riscv64 1.13-2build4 [171 kB] Get:63 http://ftpmaster.internal/ubuntu oracular-proposed/universe riscv64 libcoq-core-ocaml-dev riscv64 8.19.1+dfsg-1 [59.8 MB] Get:64 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libecm1 riscv64 7.0.5+ds-1build1 [234 kB] Get:65 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libecm1-dev-common all 7.0.5+ds-1build1 [7128 B] Get:66 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libecm1-dev riscv64 7.0.5+ds-1build1 [534 kB] Get:67 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libnum-ocaml riscv64 1.5-1 [204 kB] Get:68 http://ftpmaster.internal/ubuntu oracular/universe riscv64 libnum-ocaml-dev riscv64 1.5-1 [176 kB] Get:69 http://ftpmaster.internal/ubuntu oracular/universe riscv64 dh-ocaml all 2.0 [75.7 kB] Preconfiguring packages ... Fetched 388 MB in 44s (8916 kB/s) Selecting previously unselected package libpython3.12-minimal:riscv64. (Reading database ... 15903 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.2-1_riscv64.deb ... Unpacking libexpat1:riscv64 (2.6.2-1) ... 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.2-1) ... Setting up python3.12-minimal (3.12.3-1) ... Selecting previously unselected package python3-minimal. (Reading database ... 16221 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 ... 16662 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.191-1_riscv64.deb ... Unpacking libelf1t64:riscv64 (0.191-1) ... 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-4_riscv64.deb ... Unpacking groff-base (1.23.0-4) ... 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.1-1_riscv64.deb ... Unpacking man-db (2.12.1-1) ... 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.19.1+dfsg-1_riscv64.deb ... Unpacking libcoq-stdlib (8.19.1+dfsg-1) ... 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.19.1+dfsg-1_riscv64.deb ... Unpacking libcoq-core-ocaml (8.19.1+dfsg-1) ... 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.19.1+dfsg-1_riscv64.deb ... Unpacking coq (8.19.1+dfsg-1) ... 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.191-1_riscv64.deb ... Unpacking libdw1t64:riscv64 (0.191-1) ... 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 libcoq-bignums. Preparing to unpack .../46-libcoq-bignums_9.0.0+coq8.19-1_riscv64.deb ... Unpacking libcoq-bignums (9.0.0+coq8.19-1) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../47-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 .../48-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 .../49-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 .../50-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 .../51-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 .../52-libcoq-core-ocaml-dev_8.19.1+dfsg-1_riscv64.deb ... Unpacking libcoq-core-ocaml-dev (8.19.1+dfsg-1) ... Selecting previously unselected package libecm1:riscv64. Preparing to unpack .../53-libecm1_7.0.5+ds-1build1_riscv64.deb ... Unpacking libecm1:riscv64 (7.0.5+ds-1build1) ... Selecting previously unselected package libecm1-dev-common. Preparing to unpack .../54-libecm1-dev-common_7.0.5+ds-1build1_all.deb ... Unpacking libecm1-dev-common (7.0.5+ds-1build1) ... Selecting previously unselected package libecm1-dev:riscv64. Preparing to unpack .../55-libecm1-dev_7.0.5+ds-1build1_riscv64.deb ... Unpacking libecm1-dev:riscv64 (7.0.5+ds-1build1) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../56-libnum-ocaml_1.5-1_riscv64.deb ... Unpacking libnum-ocaml (1.5-1) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../57-libnum-ocaml-dev_1.5-1_riscv64.deb ... Unpacking libnum-ocaml-dev (1.5-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../58-dh-ocaml_2.0_all.deb ... Unpacking dh-ocaml (2.0) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../59-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 libmagic-mgc (1:5.45-3build1) ... Setting up libecm1-dev-common (7.0.5+ds-1build1) ... 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.191-1) ... Setting up libdw1t64:riscv64 (0.191-1) ... Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.19.1+dfsg-1) ... Setting up libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-2ubuntu6) ... Setting up libecm1:riscv64 (7.0.5+ds-1build1) ... 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 libnum-ocaml (1.5-1) ... 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 libxml2:riscv64 (2.9.14+dfsg-1.3ubuntu3) ... Setting up libcoq-bignums (9.0.0+coq8.19-1) ... Setting up automake (1:1.16.5-1.3ubuntu1) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up libncurses-dev: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 libecm1-dev:riscv64 (7.0.5+ds-1build1) ... 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 libcoq-core-ocaml (8.19.1+dfsg-1) ... Setting up groff-base (1.23.0-4) ... 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.1-1) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer → /usr/lib/systemd/system/man-db.timer. Setting up libfindlib-ocaml-dev (1.9.6-1build4) ... Setting up coq (8.19.1+dfsg-1) ... Setting up libzarith-ocaml-dev (1.13-2build4) ... Setting up libnum-ocaml-dev (1.5-1) ... Setting up debhelper (13.14.1ubuntu5) ... Setting up libcoq-core-ocaml-dev (8.19.1+dfsg-1) ... 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.1) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (riscv64 included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 6.5.0-28-generic #29.1~22.04.1-Ubuntu SMP Wed Apr 10 02:20:48 UTC 2024 riscv64 (riscv64) Toolchain package versions: binutils_2.42-4ubuntu2 dpkg-dev_1.22.6ubuntu10 g++-13_13.2.0-24ubuntu1 gcc-13_13.2.0-24ubuntu1 libc6-dev_2.39-0ubuntu8.1 libstdc++-13-dev_13.2.0-24ubuntu1 libstdc++6_14-20240429-1ubuntu1 linux-libc-dev_6.8.0-31.31 Package versions: adduser_3.137ubuntu1 advancecomp_2.5-1build1 apt_2.9.2 apt-utils_2.9.2 autoconf_2.71-3 automake_1:1.16.5-1.3ubuntu1 autopoint_0.21-14ubuntu2 autotools-dev_20220109.1 base-files_13.1ubuntu1 base-passwd_3.6.3build1 bash_5.2.21-2ubuntu4 bash-completion_1:2.13.0-1 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.19.1+dfsg-1 coreutils_9.4-3ubuntu6 cpp_4:13.2.0-7ubuntu1 cpp-13_13.2.0-24ubuntu1 cpp-13-riscv64-linux-gnu_13.2.0-24ubuntu1 cpp-riscv64-linux-gnu_4:13.2.0-7ubuntu1 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.6ubuntu10 dpkg-dev_1.22.6ubuntu10 dwz_0.15-1build6 e2fsprogs_1.47.0-2.4~exp1ubuntu4 fakeroot_1.34-1 file_1:5.45-3build1 findutils_4.9.0-5build1 g++_4:13.2.0-7ubuntu1 g++-13_13.2.0-24ubuntu1 g++-13-riscv64-linux-gnu_13.2.0-24ubuntu1 g++-riscv64-linux-gnu_4:13.2.0-7ubuntu1 gcc_4:13.2.0-7ubuntu1 gcc-13_13.2.0-24ubuntu1 gcc-13-base_13.2.0-24ubuntu1 gcc-13-riscv64-linux-gnu_13.2.0-24ubuntu1 gcc-14-base_14-20240429-1ubuntu1 gcc-riscv64-linux-gnu_4:13.2.0-7ubuntu1 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-4 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-2 libapparmor1_4.0.0-beta3-0ubuntu3 libapt-pkg6.0t64_2.9.2 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.1 libc-dev-bin_2.39-0ubuntu8.1 libc6_2.39-0ubuntu8.1 libc6-dev_2.39-0ubuntu8.1 libcap-ng0_0.8.5-1 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-bignums_9.0.0+coq8.19-1 libcoq-core-ocaml_8.19.1+dfsg-1 libcoq-core-ocaml-dev_8.19.1+dfsg-1 libcoq-stdlib_8.19.1+dfsg-1 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.6ubuntu10 libdw1t64_0.191-1 libecm1_7.0.5+ds-1build1 libecm1-dev_7.0.5+ds-1build1 libecm1-dev-common_7.0.5+ds-1build1 libelf1t64_0.191-1 libexpat1_2.6.2-1 libext2fs2t64_1.47.0-2.4~exp1ubuntu4 libfakeroot_1.34-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-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.1 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 liblz4-1_1.9.4-2 liblzma5_5.6.1+really5.4.5-1 libmagic-mgc_1:5.45-3build1 libmagic1t64_1:5.45-3build1 libmd0_1.1.0-2build1 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 libnum-ocaml_1.5-1 libnum-ocaml-dev_1.5-1 libp11-kit0_0.25.3-4ubuntu2 libpam-modules_1.5.3-7ubuntu1 libpam-modules-bin_1.5.3-7ubuntu1 libpam-runtime_1.5.3-7ubuntu1 libpam0g_1.5.3-7ubuntu1 libpcre2-8-0_10.42-4ubuntu2 libperl5.36_5.36.0-9ubuntu1 libperl5.38t64_5.38.2-4 libpipeline1_1.5.7-2 libpng16-16t64_1.6.43-5build1 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 libreadline8t64_8.2-4build1 libseccomp2_2.5.5-1ubuntu3 libselinux1_3.5-2ubuntu2 libsemanage-common_3.5-1build5 libsemanage2_3.5-1build5 libsepol2_3.5-2build1 libsframe1_2.42-4ubuntu2 libsmartcols1_2.39.3-9ubuntu6 libsqlite3-0_3.45.3-1 libss2_1.47.0-2.4~exp1ubuntu4 libssl3t64_3.0.13-0ubuntu3 libstdc++-13-dev_13.2.0-24ubuntu1 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.3 libtirpc-dev_1.3.4+ds-1.3 libtirpc3t64_1.3.4+ds-1.3 libtool_2.4.7-7build1 libubsan1_14-20240429-1ubuntu1 libuchardet0_0.0.8-1build1 libudev1_255.4-1ubuntu8 libunistring2_1.0-2 libunistring5_1.2-1 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.19+nmu1 login_1:4.13+dfsg1-4ubuntu3 logsave_1.47.0-2.4~exp1ubuntu4 lto-disabled-list_48 m4_1.4.19-4build1 make_4.3-4.1build2 man-db_2.12.1-1 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-4 perl-base_5.38.2-4 perl-modules-5.36_5.36.0-9ubuntu1 perl-modules-5.38_5.38.2-4 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-4ubuntu1 ubuntu-keyring_2023.11.28.1 util-linux_2.39.3-9ubuntu6 uuid-runtime_2.39.3-9ubuntu6 xz-utils_5.6.1+really5.4.5-1 zlib1g_1:1.3.dfsg-3.1ubuntu2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: coqprime Binary: libcoq-coqprime, coqprime-tools Architecture: any Version: 8.19-1 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/thery/coqprime Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/ocaml-team/coqprime Vcs-Git: https://salsa.debian.org/ocaml-team/coqprime.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-stdlib, libecm1-dev, libnum-ocaml-dev Package-List: coqprime-tools deb ocaml optional arch=any libcoq-coqprime deb ocaml optional arch=any Checksums-Sha1: e0804288ae24fe2c8c231430428a8b5cc4dcb40a 996563 coqprime_8.19.orig.tar.gz ea0682e64c0ce3f3c3fe166f17da7086aeaaf013 3304 coqprime_8.19-1.debian.tar.xz Checksums-Sha256: bc70208f591c3f4489fffad3ad58d3457e8e0abdb1894fc84383c957f1c0918d 996563 coqprime_8.19.orig.tar.gz 077e61465808c67b7d5f6f566793b9975be636d0d99b2e1828614f7c29eb8270 3304 coqprime_8.19-1.debian.tar.xz Files: 839f8440c7c1b952be0c806d1869a9eb 996563 coqprime_8.19.orig.tar.gz cd9286404692d667be8bc437d55bb6e6 3304 coqprime_8.19-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH1KASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRoI0P/ifHnyMtmVHZmhSTGslrakgG7+T8YqWU EoVywzc1Zi0PiH87UD+7vgcsrefzgaf1KueI91WRGG/Y5fQLG5oXq5uhOo7aX225 2UM+hhhBBQ882SrbGJ1p+YrjlbJXIwYpQxfLdjr0250dCI6FDpsRdcp+Bzxye/Z4 rFKwKOmGFIzkUZ0l1MkQqtrdP20Helh9SEf9xqYZR7TB+lplx0UQnxAqax89UJLJ oi4x0SrE+ph/au/1U+HzAdUh9/qw0plMu4lQK1y8+maZtpnRg+uRrmaI1Twx0sUt ONFcw40Y0ZipYE54zhzQMSx3p04SCdWorbg6MmQOJmUfzXlviTxDH0eWGA521RHe N2ndyD3qBm4ipst36+CrQDrmUGH7K26PKmbDOgGI17rLYuHbxinCI9oal/Jptuye J0s47GJHDfZUpDYaw5APy2TaA8dl5C1cBjqSKLK7V6g2RqWZYqJVO69irSJwvl/x 1a46jkxfrzsg/mne9ITQ4ijUPT93oOtA/R/GzS7VFdAGVFW4uja+UI8/4aJcLPQa ItKlwMliyfavRbkoHz88xvxELwgQyPWdp7QQs7sQwImEKXiMqCLVUZszxwPAh+et lY1fKaN9h9RJPwlNHWLN69yG1B5gB51TrzJ5mtgPG38Z7txdMC7Vw08wjZ9uY+rb s1zqSEPNeXB0 =c41f -----END PGP SIGNATURE----- gpgv: Signature made Sat Mar 30 09:00:16 2024 UTC gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 gpgv: issuer "jpuydt@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./coqprime_8.19-1.dsc: no acceptable signature found dpkg-source: info: extracting coqprime in /<> dpkg-source: info: unpacking coqprime_8.19.orig.tar.gz dpkg-source: info: unpacking coqprime_8.19-1.debian.tar.xz Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-28282319 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-28282319 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-28282319 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 coqprime dpkg-buildpackage: info: source version 8.19-1 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build . dpkg-buildpackage: info: host architecture riscv64 debian/rules clean dh clean --with coq debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' make clean make[2]: Entering directory '/<>' /usr/bin//coq_makefile -f _CoqProject -o Makefile.coq CLEAN rm -f .coq-version make[2]: Leaving directory '/<>' rm -f Makefile.coq Makefile.coq.conf .lia.cache .nia.cache rm -f config.status configure rm -f gencertif/Makefile gencertif/config.* gencertif/configure rm -f gencertif/o2v gencertif/pocklington gencertif/firstprimes rm -f src/Coqprime/num/Int63Compat.v find . -name "*.aux" -delete find . -name "*.cm*" -delete find . -name "*.o" -delete make[1]: Leaving directory '/<>' dh_clean debian/rules binary-arch dh binary-arch --with coq dh_update_autotools_config -a dh_autoreconf -a dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/<>' make make[2]: Entering directory '/<>' /usr/bin//coq_makefile -f _CoqProject -o Makefile.coq echo $COQ_VERSION_INFO (8.19.1) > .coq-version CP src/Coqprime/num/Int63Compat.v{.v816,} COQDEP VFILES COQC src/Coqprime/Tactic/Tactic.v COQC src/Coqprime/N/NatAux.v COQC src/Coqprime/Z/ZCAux.v COQC src/Coqprime/Z/ZCmisc.v COQC src/Coqprime/List/ListAux.v COQC src/Coqprime/List/Permutation.v File "./src/Coqprime/List/Permutation.v", line 138, characters 19-30: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 138, characters 19-30: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 138, characters 19-30: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 151, characters 7-14: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 151, characters 7-14: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 152, characters 7-14: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 152, characters 7-14: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 167, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 167, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 167, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 167, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 167, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 167, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 167, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 167, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 167, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 167, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 171, characters 15-22: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 171, characters 15-22: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 171, characters 15-22: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 171, characters 15-22: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 503, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 503, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 503, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 503, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 503, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/Permutation.v", line 503, characters 18-25: Warning: Notation app_ass is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] COQC src/Coqprime/List/Iterator.v COQC src/Coqprime/List/UList.v File "./src/Coqprime/List/UList.v", line 151, characters 20-31: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 151, characters 20-31: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 151, characters 20-31: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 178, characters 11-22: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 178, characters 11-22: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 178, characters 11-22: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 229, characters 20-27: Warning: Notation ass_app is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 229, characters 20-27: Warning: Notation ass_app is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 229, characters 20-27: Warning: Notation ass_app is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 229, characters 20-27: Warning: Notation ass_app is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 229, characters 20-27: Warning: Notation ass_app is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 229, characters 20-27: Warning: Notation ass_app is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 234, characters 20-27: Warning: Notation ass_app is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 234, characters 20-27: Warning: Notation ass_app is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 242, characters 22-29: Warning: Notation ass_app is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 242, characters 22-29: Warning: Notation ass_app is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 242, characters 22-29: Warning: Notation ass_app is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/List/UList.v", line 242, characters 22-29: Warning: Notation ass_app is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] COQC src/Coqprime/List/ZProgression.v COQC src/Coqprime/Z/ZSum.v COQC src/Coqprime/Z/Pmod.v COQC src/Coqprime/Z/Ppow.v COQC src/Coqprime/N/ChineseRem.v COQC src/Coqprime/Z/Zmod.v COQC src/Coqprime/PrimalityTest/Root.v COQC src/Coqprime/PrimalityTest/FGroup.v COQC src/Coqprime/PrimalityTest/IGroup.v COQC src/Coqprime/PrimalityTest/Lagrange.v COQC src/Coqprime/PrimalityTest/EGroup.v COQC src/Coqprime/PrimalityTest/Cyclic.v COQC src/Coqprime/PrimalityTest/Euler.v COQC src/Coqprime/PrimalityTest/PGroup.v File "./src/Coqprime/PrimalityTest/PGroup.v", line 181, characters 22-33: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/PrimalityTest/PGroup.v", line 181, characters 22-33: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/PrimalityTest/PGroup.v", line 181, characters 22-33: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/PrimalityTest/PGroup.v", line 188, characters 11-22: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/PrimalityTest/PGroup.v", line 188, characters 11-22: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/PrimalityTest/PGroup.v", line 188, characters 11-22: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/PrimalityTest/PGroup.v", line 197, characters 11-22: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/PrimalityTest/PGroup.v", line 197, characters 11-22: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/PrimalityTest/PGroup.v", line 197, characters 11-22: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/PrimalityTest/PGroup.v", line 212, characters 22-33: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/PrimalityTest/PGroup.v", line 212, characters 22-33: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./src/Coqprime/PrimalityTest/PGroup.v", line 212, characters 22-33: Warning: Notation app_nil_end is deprecated since 8.18. Use app_nil_r instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] COQC src/Coqprime/PrimalityTest/LucasLehmer.v COQC src/Coqprime/PrimalityTest/Zp.v COQC src/Coqprime/PrimalityTest/Pocklington.v COQC src/Coqprime/PrimalityTest/Pepin.v COQC src/Coqprime/PrimalityTest/PocklingtonCertificat.v COQC src/Coqprime/PrimalityTest/Proth.v COQC src/Coqprime/elliptic/GZnZ.v COQC src/Coqprime/elliptic/SMain.v Finished transaction in 0.136 secs (0.131u,0.004s) (successful) Finished transaction in 0.337 secs (0.336u,0.s) (successful) Finished transaction in 0.418 secs (0.417u,0.s) (successful) Finished transaction in 2.181 secs (2.152u,0.027s) (successful) Finished transaction in 10.664 secs (10.512u,0.146s) (successful) Finished transaction in 0.901 secs (0.9u,0.s) (successful) Finished transaction in 2.425 secs (2.42u,0.003s) (successful) Finished transaction in 2.615 secs (2.614u,0.s) (successful) Finished transaction in 3.633 secs (3.622u,0.008s) (successful) Finished transaction in 7.626 secs (7.421u,0.2s) (successful) Finished transaction in 6.92 secs (6.88u,0.035s) (successful) COQC src/Coqprime/elliptic/ZEll.v COQC src/Coqprime/num/Bits.v COQC src/Coqprime/num/Int63Compat.v COQC src/Coqprime/num/Mod_op.v COQC src/Coqprime/num/W.v COQC src/Coqprime/num/Lucas.v COQC src/Coqprime/num/NEll.v = true : bool Finished transaction in 0.937 secs (0.937u,0.s) (successful) = true : bool Finished transaction in 1.462 secs (1.462u,0.s) (successful) COQC src/Coqprime/num/montgomery.v = 5350354106554705665 :: 3406121 :: nil : number = 2147483648 :: nil : number = 31415926535897932384626433%Z : Z COQC src/Coqprime/num/MEll.v COQC src/Coqprime/num/Pock.v COQC src/Coqprime/examples/BasePrimes.v COQC src/Coqprime/examples/PocklingtonRefl.v make[2]: Leaving directory '/<>' cd gencertif ; autoreconf ; ./configure --prefix=/usr ; make checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking for log in -lm... yes checking for __gmpz_init in -lgmp... yes checking for ecm_init in -lecm... yes configure: creating ./config.status config.status: creating Makefile make[2]: Entering directory '/<>/gencertif' gcc -Wdate-time -D_FORTIFY_SOURCE=3 -g -O2 -fno-omit-frame-pointer -ffile-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fno-stack-clash-protection -fdebug-prefix-map=/<>=/usr/src/coqprime-8.19-1 -I -I -Wall -pedantic -c certif.c gcc -Wdate-time -D_FORTIFY_SOURCE=3 -g -O2 -fno-omit-frame-pointer -ffile-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fno-stack-clash-protection -fdebug-prefix-map=/<>=/usr/src/coqprime-8.19-1 -I -I -Wall -pedantic -c factorize.c gcc -Wdate-time -D_FORTIFY_SOURCE=3 -g -O2 -fno-omit-frame-pointer -ffile-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fno-stack-clash-protection -fdebug-prefix-map=/<>=/usr/src/coqprime-8.19-1 -I -I -Wall -pedantic -c pocklington.c pocklington.c: In function ‘main’: pocklington.c:255:3: warning: ‘p’ may be used uninitialized [-Wmaybe-uninitialized] 255 | print_file(filename, lemmaname, p, lc); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pocklington.c:54:16: note: ‘p’ was declared here 54 | pre_certif_t p; | ^ pocklington.c:255:3: warning: ‘filename’ may be used uninitialized [-Wmaybe-uninitialized] 255 | print_file(filename, lemmaname, p, lc); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pocklington.c:57:9: note: ‘filename’ was declared here 57 | char *filename; | ^~~~~~~~ gcc -Wdate-time -D_FORTIFY_SOURCE=3 -Wl,-Bsymbolic-functions -Wl,-z,relro -g -O2 -fno-omit-frame-pointer -ffile-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fno-stack-clash-protection -fdebug-prefix-map=/<>=/usr/src/coqprime-8.19-1 -o pocklington certif.o factorize.o pocklington.o -lecm -lgmp -lm gcc -Wdate-time -D_FORTIFY_SOURCE=3 -g -O2 -fno-omit-frame-pointer -ffile-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fno-stack-clash-protection -fdebug-prefix-map=/<>=/usr/src/coqprime-8.19-1 -I -I -Wall -pedantic -c firstprimes.c gcc -Wdate-time -D_FORTIFY_SOURCE=3 -Wl,-Bsymbolic-functions -Wl,-z,relro -g -O2 -fno-omit-frame-pointer -ffile-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fno-stack-clash-protection -fdebug-prefix-map=/<>=/usr/src/coqprime-8.19-1 -o firstprimes certif.o factorize.o firstprimes.o -lecm -lgmp -lm ocamlc -o o2v nums.cma str.cma parser.ml make[2]: Leaving directory '/<>/gencertif' 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 debian/rules override_dh_auto_install make[1]: Entering directory '/<>' DESTDIR=/<>/debian/tmp make install make[2]: Entering directory '/<>' INSTALL src/Coqprime/Tactic/Tactic.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Tactic INSTALL src/Coqprime/N/NatAux.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/N/ChineseRem.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/List/Iterator.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ListAux.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/Permutation.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/UList.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ZProgression.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/Z/Pmod.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCAux.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Zmod.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Ppow.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCmisc.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZSum.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/PrimalityTest/Cyclic.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/EGroup.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Euler.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/FGroup.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/IGroup.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Lagrange.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/LucasLehmer.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pepin.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PGroup.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PocklingtonCertificat.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pocklington.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Proth.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Root.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Zp.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/elliptic/GZnZ.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/SMain.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/ZEll.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/num/Bits.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Int63Compat.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Lucas.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/NEll.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/MEll.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Mod_op.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Pock.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/montgomery.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/W.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/examples/BasePrimes.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/examples/PocklingtonRefl.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/Tactic/Tactic.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Tactic INSTALL src/Coqprime/N/NatAux.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/N/ChineseRem.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/List/Iterator.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ListAux.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/Permutation.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/UList.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ZProgression.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/Z/Pmod.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCAux.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Zmod.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Ppow.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCmisc.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZSum.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/PrimalityTest/Cyclic.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/EGroup.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Euler.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/FGroup.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/IGroup.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Lagrange.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/LucasLehmer.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pepin.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PGroup.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PocklingtonCertificat.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pocklington.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Proth.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Root.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Zp.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/elliptic/GZnZ.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/SMain.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/ZEll.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/num/Bits.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Int63Compat.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Lucas.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/NEll.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/MEll.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Mod_op.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Pock.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/montgomery.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/W.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/examples/BasePrimes.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/examples/PocklingtonRefl.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/Tactic/Tactic.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Tactic INSTALL src/Coqprime/N/NatAux.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/N/ChineseRem.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/List/Iterator.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ListAux.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/Permutation.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/UList.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ZProgression.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/Z/Pmod.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCAux.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Zmod.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Ppow.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCmisc.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZSum.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/PrimalityTest/Cyclic.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/EGroup.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Euler.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/FGroup.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/IGroup.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Lagrange.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/LucasLehmer.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pepin.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PGroup.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PocklingtonCertificat.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pocklington.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Proth.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Root.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Zp.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/elliptic/GZnZ.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/SMain.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/ZEll.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/num/Bits.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Int63Compat.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Lucas.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/NEll.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/MEll.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Mod_op.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Pock.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/montgomery.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/W.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/examples/BasePrimes.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/examples/PocklingtonRefl.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//examples make[3]: Entering directory '/<>' make[3]: Leaving directory '/<>' make[2]: Leaving directory '/<>' rm -rf /<>/debian/tmp/usr/lib/ocaml/coq/user-contrib/Coqprime/examples mkdir -p /<>/debian/tmp/usr/bin cp gencertif/firstprimes gencertif/o2v gencertif/pocklington /<>/debian/tmp/usr/bin make[1]: Leaving directory '/<>' dh_install -a dh_installdocs -a dh_installchangelogs -a dh_installman -a 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 debugedit: debian/coqprime-tools/usr/bin/firstprimes: Unknown DWARF DW_FORM_0x1f21 a55d7eea6e1ecf9c01198825c76563a072aa8434 debugedit: debian/coqprime-tools/usr/bin/pocklington: Unknown DWARF DW_FORM_0x1f21 db99522dd99f67b58e8a36d8fef0b96e2ea56dfe dh_makeshlibs -a dh_shlibdeps -a dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 from: /lib/ld-linux-riscv64-lp64d.so.1 dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 to: /lib/ld-linux-riscv64-lp64d.so.1.usr-is-merged dh_installdeb -a dh_coq -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 154 INFO: pkgstriptranslations version 154 INFO: pkgstriptranslations version 154 pkgstriptranslations: processing coqprime-tools (in debian/coqprime-tools); do_strip: , oemstrip: pkgstriptranslations: processing libcoq-coqprime (in debian/libcoq-coqprime); do_strip: , oemstrip: pkgstriptranslations: processing coqprime-tools-dbgsym (in debian/.debhelper/coqprime-tools/dbgsym-root); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/coqprime-tools/DEBIAN/control, package coqprime-tools, directory debian/coqprime-tools INFO: pkgstripfiles: waiting for lock (coqprime-tools) ... INFO: pkgstripfiles: waiting for lock (coqprime-tools) ... pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " INFO: pkgstripfiles: waiting for lock (coqprime-tools) ... INFO: pkgstripfiles: waiting for lock (coqprime-tools) ... INFO: pkgstripfiles: waiting for lock (coqprime-tools) ... pkgstripfiles: processing control file: debian/libcoq-coqprime/DEBIAN/control, package libcoq-coqprime, directory debian/libcoq-coqprime pkgstripfiles: Running PNG optimization (using 4 cpus) for package libcoq-coqprime ... INFO: pkgstripfiles: waiting for lock (coqprime-tools) ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libcoq-coqprime' in '../libcoq-coqprime_8.19-1_riscv64.deb'. Searching for duplicated docs in dependency libcoq-coqprime... symlinking changelog.Debian.gz in coqprime-tools to file in libcoq-coqprime pkgstripfiles: Running PNG optimization (using 4 cpus) for package coqprime-tools ... pkgstripfiles: No PNG files. dpkg-deb: building package 'coqprime-tools' in '../coqprime-tools_8.19-1_riscv64.deb'. pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/.debhelper/coqprime-tools/dbgsym-root/DEBIAN/control, package coqprime-tools-dbgsym, directory debian/.debhelper/coqprime-tools/dbgsym-root dpkg-deb: building package 'coqprime-tools-dbgsym' in 'debian/.debhelper/scratch-space/build-coqprime-tools/coqprime-tools-dbgsym_8.19-1_riscv64.deb'. Renaming coqprime-tools-dbgsym_8.19-1_riscv64.deb to coqprime-tools-dbgsym_8.19-1_riscv64.ddeb dpkg-genbuildinfo --build=any -O../coqprime_8.19-1_riscv64.buildinfo dpkg-genchanges --build=any -mLaunchpad Build Daemon -O../coqprime_8.19-1_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-05T11:31:34Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ coqprime_8.19-1_riscv64.changes: -------------------------------- Format: 1.8 Date: Sat, 30 Mar 2024 09:59:45 +0100 Source: coqprime Binary: coqprime-tools libcoq-coqprime Built-For-Profiles: noudeb Architecture: riscv64 Version: 8.19-1 Distribution: oracular-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Julien Puydt Description: coqprime-tools - Primality certification for Coq (tools) libcoq-coqprime - Primality certification for Coq (library) Changes: coqprime (8.19-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 11b4c499869e27ec91fa1ee6c01dd1469ed467fb 56280 coqprime-tools-dbgsym_8.19-1_riscv64.ddeb 55a2eb31c8e3c18265fff584390693a7c8b5010e 179818 coqprime-tools_8.19-1_riscv64.deb a75c4f8bbb74ffe7b6397e0ddc48572e3ae2521e 7514 coqprime_8.19-1_riscv64.buildinfo 7ea41d6e7754ba5bb22c484a2608d917f7b766c6 2072284 libcoq-coqprime_8.19-1_riscv64.deb Checksums-Sha256: 689cb7983d8c646dc0ee53c7b3fe284ff3cafda4f6ead90cc18ca0bc6b7c8914 56280 coqprime-tools-dbgsym_8.19-1_riscv64.ddeb 673a3fc7bb42a7cb883ea32f62a1b094be81fe30a0cb4a3fdfd033449e1d0147 179818 coqprime-tools_8.19-1_riscv64.deb 31fa72ac9c01f80f4a905779b638e6bfb9b03870909c699799f03b2deb8a1d18 7514 coqprime_8.19-1_riscv64.buildinfo a502b7e2cd3fa1f47fda3a95f5c04c1dbfe68c010d0154603dd71cc0e4c14ab7 2072284 libcoq-coqprime_8.19-1_riscv64.deb Files: eba632c80fad4c3e7fbbe30f0b7e4c41 56280 debug optional coqprime-tools-dbgsym_8.19-1_riscv64.ddeb 54a30681685df7f0ef299b785b9c183a 179818 ocaml optional coqprime-tools_8.19-1_riscv64.deb 84f20b0eec2a46f2027210c7a2fba808 7514 ocaml optional coqprime_8.19-1_riscv64.buildinfo f9459fe45372b59099883679d6f27570 2072284 ocaml optional libcoq-coqprime_8.19-1_riscv64.deb /<>/coqprime_8.19-1_riscv64.changes.new could not be renamed to /<>/coqprime_8.19-1_riscv64.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: coqprime Binary: coqprime-tools coqprime-tools-dbgsym libcoq-coqprime Architecture: riscv64 Version: 8.19-1 Checksums-Md5: eba632c80fad4c3e7fbbe30f0b7e4c41 56280 coqprime-tools-dbgsym_8.19-1_riscv64.ddeb 54a30681685df7f0ef299b785b9c183a 179818 coqprime-tools_8.19-1_riscv64.deb f9459fe45372b59099883679d6f27570 2072284 libcoq-coqprime_8.19-1_riscv64.deb Checksums-Sha1: 11b4c499869e27ec91fa1ee6c01dd1469ed467fb 56280 coqprime-tools-dbgsym_8.19-1_riscv64.ddeb 55a2eb31c8e3c18265fff584390693a7c8b5010e 179818 coqprime-tools_8.19-1_riscv64.deb 7ea41d6e7754ba5bb22c484a2608d917f7b766c6 2072284 libcoq-coqprime_8.19-1_riscv64.deb Checksums-Sha256: 689cb7983d8c646dc0ee53c7b3fe284ff3cafda4f6ead90cc18ca0bc6b7c8914 56280 coqprime-tools-dbgsym_8.19-1_riscv64.ddeb 673a3fc7bb42a7cb883ea32f62a1b094be81fe30a0cb4a3fdfd033449e1d0147 179818 coqprime-tools_8.19-1_riscv64.deb a502b7e2cd3fa1f47fda3a95f5c04c1dbfe68c010d0154603dd71cc0e4c14ab7 2072284 libcoq-coqprime_8.19-1_riscv64.deb Build-Origin: Ubuntu Build-Architecture: riscv64 Build-Date: Sun, 05 May 2024 11:31:30 +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 (= 13.1ubuntu1), 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.19.1+dfsg-1), coreutils (= 9.4-3ubuntu6), cpp (= 4:13.2.0-7ubuntu1), cpp-13 (= 13.2.0-24ubuntu1), cpp-13-riscv64-linux-gnu (= 13.2.0-24ubuntu1), cpp-riscv64-linux-gnu (= 4:13.2.0-7ubuntu1), 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.6ubuntu10), dpkg-dev (= 1.22.6ubuntu10), dwz (= 0.15-1build6), file (= 1:5.45-3build1), findutils (= 4.9.0-5build1), g++ (= 4:13.2.0-7ubuntu1), g++-13 (= 13.2.0-24ubuntu1), g++-13-riscv64-linux-gnu (= 13.2.0-24ubuntu1), g++-riscv64-linux-gnu (= 4:13.2.0-7ubuntu1), gcc (= 4:13.2.0-7ubuntu1), gcc-13 (= 13.2.0-24ubuntu1), gcc-13-base (= 13.2.0-24ubuntu1), gcc-13-riscv64-linux-gnu (= 13.2.0-24ubuntu1), gcc-14-base (= 14-20240429-1ubuntu1), gcc-riscv64-linux-gnu (= 4:13.2.0-7ubuntu1), gettext (= 0.21-14ubuntu2), gettext-base (= 0.21-14ubuntu2), grep (= 3.11-4build1), groff-base (= 1.23.0-4), gzip (= 1.12-1ubuntu3), hostname (= 3.23+nmu2ubuntu2), init-system-helpers (= 1.66ubuntu1), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-2), 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.1), libc-dev-bin (= 2.39-0ubuntu8.1), libc6 (= 2.39-0ubuntu8.1), libc6-dev (= 2.39-0ubuntu8.1), libcap-ng0 (= 0.8.5-1), libcap2 (= 1:2.66-5ubuntu2), libcc1-0 (= 14-20240429-1ubuntu1), libcompiler-libs-ocaml-dev (= 4.14.1-1ubuntu1), libcoq-bignums (= 9.0.0+coq8.19-1), libcoq-core-ocaml (= 8.19.1+dfsg-1), libcoq-core-ocaml-dev (= 8.19.1+dfsg-1), libcoq-stdlib (= 8.19.1+dfsg-1), 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.6ubuntu10), libdw1t64 (= 0.191-1), libecm1 (= 7.0.5+ds-1build1), libecm1-dev (= 7.0.5+ds-1build1), libecm1-dev-common (= 7.0.5+ds-1build1), libelf1t64 (= 0.191-1), libexpat1 (= 2.6.2-1), 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-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), liblz4-1 (= 1.9.4-2), liblzma5 (= 5.6.1+really5.4.5-1), libmagic-mgc (= 1:5.45-3build1), libmagic1t64 (= 1:5.45-3build1), libmd0 (= 1.1.0-2build1), 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), libnum-ocaml (= 1.5-1), libnum-ocaml-dev (= 1.5-1), libpam-modules (= 1.5.3-7ubuntu1), libpam-modules-bin (= 1.5.3-7ubuntu1), libpam-runtime (= 1.5.3-7ubuntu1), libpam0g (= 1.5.3-7ubuntu1), libpcre2-8-0 (= 10.42-4ubuntu2), libperl5.38t64 (= 5.38.2-4), libpipeline1 (= 1.5.7-2), libpython3-stdlib (= 3.12.3-0ubuntu1), libpython3.12-minimal (= 3.12.3-1), libpython3.12-stdlib (= 3.12.3-1), libreadline8t64 (= 8.2-4build1), libselinux1 (= 3.5-2ubuntu2), libsframe1 (= 2.42-4ubuntu2), libsmartcols1 (= 2.39.3-9ubuntu6), libsqlite3-0 (= 3.45.3-1), libssl3t64 (= 3.0.13-0ubuntu3), libstdc++-13-dev (= 13.2.0-24ubuntu1), 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), libubsan1 (= 14-20240429-1ubuntu1), libuchardet0 (= 0.0.8-1build1), libudev1 (= 255.4-1ubuntu8), libunistring5 (= 1.2-1), 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 (= 48), m4 (= 1.4.19-4build1), make (= 4.3-4.1build2), man-db (= 2.12.1-1), 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-4), perl-base (= 5.38.2-4), perl-modules-5.38 (= 5.38.2-4), 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-4ubuntu1), util-linux (= 2.39.3-9ubuntu6), xz-utils (= 5.6.1+really5.4.5-1), zlib1g (= 1:1.3.dfsg-3.1ubuntu2) Environment: DEB_BUILD_OPTIONS="nocheck parallel=4" DEB_BUILD_PROFILES="noudeb" LANG="C.UTF-8" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1711789185" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ coqprime-tools_8.19-1_riscv64.deb --------------------------------- new Debian package, version 2.0. size 179818 bytes: control archive=840 bytes. 797 bytes, 20 lines control 429 bytes, 7 lines md5sums Package: coqprime-tools Source: coqprime Version: 8.19-1 Architecture: riscv64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 769 Depends: libcoq-coqprime (= 8.19-1), ocaml-base-nox | ocaml-base, libc6 (>= 2.34), libecm1 (>= 7.0.5+ds), libgmp10 (>= 2:6.3.0+dfsg) Section: ocaml Priority: optional Homepage: https://github.com/thery/coqprime Description: Primality certification for Coq (tools) Coqprime consists in: - a library of facts from number theory - a library for elliptic curves - an efficient library for modular arithmetic - tools to generate Pocklington and elliptic curve certificates of primality . Coq is a proof assistant for higher-order logic. drwxr-xr-x root/root 0 2024-03-30 08:59 ./ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/bin/ -rwxr-xr-x root/root 428256 2024-03-30 08:59 ./usr/bin/firstprimes -rwxr-xr-x root/root 310761 2024-03-30 08:59 ./usr/bin/o2v -rwxr-xr-x root/root 30944 2024-03-30 08:59 ./usr/bin/pocklington drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/share/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/share/doc/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/share/doc/coqprime-tools/ lrwxrwxrwx root/root 0 2024-03-30 08:59 ./usr/share/doc/coqprime-tools/changelog.Debian.gz -> ../libcoq-coqprime/changelog.Debian.gz -rw-r--r-- root/root 1048 2024-03-30 08:59 ./usr/share/doc/coqprime-tools/copyright drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/share/man/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/share/man/man1/ -rw-r--r-- root/root 443 2024-03-30 08:59 ./usr/share/man/man1/firstprimes.1.gz -rw-r--r-- root/root 348 2024-03-30 08:59 ./usr/share/man/man1/o2v.1.gz -rw-r--r-- root/root 661 2024-03-30 08:59 ./usr/share/man/man1/pocklington.1.gz libcoq-coqprime_8.19-1_riscv64.deb ---------------------------------- new Debian package, version 2.0. size 2072284 bytes: control archive=3616 bytes. 799 bytes, 23 lines control 11326 bytes, 123 lines md5sums Package: libcoq-coqprime Source: coqprime Version: 8.19-1 Architecture: riscv64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 7438 Depends: libcoq-bignums-asgv7, libcoq-stdlib-d0sj4 Provides: libcoq-coqprime-ibga1 Section: ocaml Priority: optional Homepage: https://github.com/thery/coqprime Description: Primality certification for Coq (library) Coqprime consists in: - a library of facts from number theory - a library for elliptic curves - an efficient library for modular arithmetic - tools to generate Pocklington and elliptic curve certificates of primality . Coq is a proof assistant for higher-order logic. . This package contains the Coq library part. drwxr-xr-x root/root 0 2024-03-30 08:59 ./ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/lib/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/lib/ocaml/coq/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/ -rw-r--r-- root/root 29754 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/Iterator.glob -rw-r--r-- root/root 6144 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/Iterator.v -rw-r--r-- root/root 35288 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/Iterator.vo -rw-r--r-- root/root 32551 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/ListAux.glob -rw-r--r-- root/root 8517 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/ListAux.v -rw-r--r-- root/root 57667 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/ListAux.vo -rw-r--r-- root/root 58600 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/Permutation.glob -rw-r--r-- root/root 16983 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/Permutation.v -rw-r--r-- root/root 72486 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/Permutation.vo -rw-r--r-- root/root 35163 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/UList.glob -rw-r--r-- root/root 9762 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/UList.v -rw-r--r-- root/root 61366 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/UList.vo -rw-r--r-- root/root 13251 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/ZProgression.glob -rw-r--r-- root/root 3589 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/ZProgression.v -rw-r--r-- root/root 32399 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/List/ZProgression.vo drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/N/ -rw-r--r-- root/root 160207 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/N/ChineseRem.glob -rw-r--r-- root/root 36970 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/N/ChineseRem.v -rw-r--r-- root/root 189999 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/N/ChineseRem.vo -rw-r--r-- root/root 6206 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/N/NatAux.glob -rw-r--r-- root/root 2477 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/N/NatAux.v -rw-r--r-- root/root 19048 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/N/NatAux.vo drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/ -rw-r--r-- root/root 61416 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.glob -rw-r--r-- root/root 10311 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.v -rw-r--r-- root/root 75874 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Cyclic.vo -rw-r--r-- root/root 154999 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/EGroup.glob -rw-r--r-- root/root 24186 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/EGroup.v -rw-r--r-- root/root 112807 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/EGroup.vo -rw-r--r-- root/root 12707 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Euler.glob -rw-r--r-- root/root 3478 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Euler.v -rw-r--r-- root/root 33471 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Euler.vo -rw-r--r-- root/root 20824 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/FGroup.glob -rw-r--r-- root/root 4273 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/FGroup.v -rw-r--r-- root/root 38401 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/FGroup.vo -rw-r--r-- root/root 41945 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/IGroup.glob -rw-r--r-- root/root 8806 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/IGroup.v -rw-r--r-- root/root 57136 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/IGroup.vo -rw-r--r-- root/root 30413 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.glob -rw-r--r-- root/root 6261 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.v -rw-r--r-- root/root 36354 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Lagrange.vo -rw-r--r-- root/root 127912 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.glob -rw-r--r-- root/root 20058 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.v -rw-r--r-- root/root 82916 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/LucasLehmer.vo -rw-r--r-- root/root 64838 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/PGroup.glob -rw-r--r-- root/root 12211 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/PGroup.v -rw-r--r-- root/root 85151 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/PGroup.vo -rw-r--r-- root/root 18804 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Pepin.glob -rw-r--r-- root/root 4606 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Pepin.v -rw-r--r-- root/root 37890 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Pepin.vo -rw-r--r-- root/root 69378 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.glob -rw-r--r-- root/root 11755 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.v -rw-r--r-- root/root 70432 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Pocklington.vo -rw-r--r-- root/root 126781 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.glob -rw-r--r-- root/root 22920 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.v -rw-r--r-- root/root 166104 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/PocklingtonCertificat.vo -rw-r--r-- root/root 18374 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Proth.glob -rw-r--r-- root/root 4329 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Proth.v -rw-r--r-- root/root 43415 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Proth.vo -rw-r--r-- root/root 83432 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Root.glob -rw-r--r-- root/root 9641 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Root.v -rw-r--r-- root/root 53836 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Root.vo -rw-r--r-- root/root 57905 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Zp.glob -rw-r--r-- root/root 13047 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Zp.v -rw-r--r-- root/root 66823 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/PrimalityTest/Zp.vo drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Tactic/ -rw-r--r-- root/root 1965 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Tactic/Tactic.glob -rw-r--r-- root/root 3120 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Tactic/Tactic.v -rw-r--r-- root/root 10718 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Tactic/Tactic.vo drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/ -rw-r--r-- root/root 95418 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/Pmod.glob -rw-r--r-- root/root 19894 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/Pmod.v -rw-r--r-- root/root 148566 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/Pmod.vo -rw-r--r-- root/root 7242 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/Ppow.glob -rw-r--r-- root/root 1712 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/Ppow.v -rw-r--r-- root/root 25118 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/Ppow.vo -rw-r--r-- root/root 46207 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/ZCAux.glob -rw-r--r-- root/root 12135 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/ZCAux.v -rw-r--r-- root/root 73142 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/ZCAux.vo -rw-r--r-- root/root 16797 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/ZCmisc.glob -rw-r--r-- root/root 5175 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/ZCmisc.v -rw-r--r-- root/root 47567 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/ZCmisc.vo -rw-r--r-- root/root 72848 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/ZSum.glob -rw-r--r-- root/root 11454 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/ZSum.v -rw-r--r-- root/root 67785 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/ZSum.vo -rw-r--r-- root/root 11788 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/Zmod.glob -rw-r--r-- root/root 2566 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/Zmod.v -rw-r--r-- root/root 28509 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/Z/Zmod.vo drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/elliptic/ -rw-r--r-- root/root 33218 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/elliptic/GZnZ.glob -rw-r--r-- root/root 8108 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/elliptic/GZnZ.v -rw-r--r-- root/root 98271 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/elliptic/GZnZ.vo -rw-r--r-- root/root 259174 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/elliptic/SMain.glob -rw-r--r-- root/root 63942 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/elliptic/SMain.v -rw-r--r-- root/root 491641 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/elliptic/SMain.vo -rw-r--r-- root/root 212841 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/elliptic/ZEll.glob -rw-r--r-- root/root 46721 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/elliptic/ZEll.v -rw-r--r-- root/root 332784 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/elliptic/ZEll.vo drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/ -rw-r--r-- root/root 14241 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Bits.glob -rw-r--r-- root/root 3243 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Bits.v -rw-r--r-- root/root 35164 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Bits.vo -rw-r--r-- root/root 115 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Int63Compat.glob -rw-r--r-- root/root 32 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Int63Compat.v -rw-r--r-- root/root 19759 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Int63Compat.vo -rw-r--r-- root/root 89695 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Lucas.glob -rw-r--r-- root/root 14482 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Lucas.v -rw-r--r-- root/root 78557 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Lucas.vo -rw-r--r-- root/root 3549 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/MEll.glob -rw-r--r-- root/root 36391 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/MEll.v -rw-r--r-- root/root 29677 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/MEll.vo -rw-r--r-- root/root 267570 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Mod_op.glob -rw-r--r-- root/root 42242 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Mod_op.v -rw-r--r-- root/root 215309 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Mod_op.vo -rw-r--r-- root/root 179127 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/NEll.glob -rw-r--r-- root/root 30782 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/NEll.v -rw-r--r-- root/root 212327 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/NEll.vo -rw-r--r-- root/root 157024 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Pock.glob -rw-r--r-- root/root 33899 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Pock.v -rw-r--r-- root/root 183237 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/Pock.vo -rw-r--r-- root/root 20139 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/W.glob -rw-r--r-- root/root 6285 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/W.v -rw-r--r-- root/root 63455 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/W.vo -rw-r--r-- root/root 325890 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/montgomery.glob -rw-r--r-- root/root 47184 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/montgomery.v -rw-r--r-- root/root 264558 2024-03-30 08:59 ./usr/lib/ocaml/coq/user-contrib/Coqprime/num/montgomery.vo drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/share/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/share/doc/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./usr/share/doc/libcoq-coqprime/ -rw-r--r-- root/root 382 2024-03-30 08:59 ./usr/share/doc/libcoq-coqprime/changelog.Debian.gz -rw-r--r-- root/root 1048 2024-03-30 08:59 ./usr/share/doc/libcoq-coqprime/copyright drwxr-xr-x root/root 0 2024-03-30 08:59 ./var/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./var/lib/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./var/lib/coq/ drwxr-xr-x root/root 0 2024-03-30 08:59 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2024-03-30 08:59 ./var/lib/coq/md5sums/libcoq-coqprime.checksum +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: riscv64 Build Type: any Build-Space: 55296 Build-Time: 1517 Distribution: oracular-proposed Host Architecture: riscv64 Install-Time: 313 Job: coqprime_8.19-1.dsc Machine Architecture: riscv64 Package: coqprime Package-Time: 1852 Source-Version: 8.19-1 Space: 55296 Status: successful Version: 8.19-1 -------------------------------------------------------------------------------- Finished at 2024-05-05T11:31:34Z Build needed 00:30:52, 55296k disk space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=oracular --arch=riscv64 PACKAGEBUILD-28282319 Scanning for processes to kill in build PACKAGEBUILD-28282319