https://launchpad.net/ubuntu/+source/coq-hierarchy-builder/1.7.0-1build1/+build/28156880
RUN: /usr/share/launchpad-buildd/bin/builder-prep 
Kernel version: Linux bos01-ppc64el-010 5.4.0-177-generic #197-Ubuntu SMP Thu Mar 28 22:55:42 UTC 2024 ppc64le
Buildd toolchain package versions: launchpad-buildd_237~660~ubuntu20.04.1 python3-lpbuildd_237~660~ubuntu20.04.1 sbuild_0.79.0-1ubuntu1 git-build-recipe_0.3.6 git_1:2.25.1-1ubuntu3.11 dpkg-dev_1.19.7ubuntu3.2 python3-debian_0.1.36ubuntu1.1.
Syncing the system clock with the buildd NTP service...
 3 May 10:59:45 ntpdate[1967]: adjust time server 10.211.37.1 offset -0.001744 sec
RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=oracular --arch=ppc64el PACKAGEBUILD-28156880 --image-type chroot /home/buildd/filecache-default/d42c54d6e204d222772cc047f01d282d9c30a0e5
Creating target for build PACKAGEBUILD-28156880
RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=oracular --arch=ppc64el PACKAGEBUILD-28156880
Starting target for build PACKAGEBUILD-28156880
RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=oracular --arch=ppc64el PACKAGEBUILD-28156880 '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-28156880
RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=oracular --arch=ppc64el PACKAGEBUILD-28156880
Updating target for build PACKAGEBUILD-28156880
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 ppc64el Packages [1335 kB]
Get:6 http://ftpmaster.internal/ubuntu oracular/main Translation-en [512 kB]
Get:7 http://ftpmaster.internal/ubuntu oracular/universe ppc64el Packages [14.7 MB]
Get:8 http://ftpmaster.internal/ubuntu oracular/universe Translation-en [5980 kB]
Get:9 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el Packages [199 kB]
Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/main Translation-en [73.7 kB]
Get:11 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el Packages [1265 kB]
Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/universe Translation-en [579 kB]
Fetched 24.9 MB in 7s (3471 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-powerpc64le-linux-gnu cpp-powerpc64le-linux-gnu
  g++-13-powerpc64le-linux-gnu g++-powerpc64le-linux-gnu
  gcc-13-powerpc64le-linux-gnu gcc-14-base gcc-powerpc64le-linux-gnu
  libapt-pkg6.0t64 libdb5.3t64 libext2fs2t64 libgdbm-compat4t64 libgdbm6t64
  libgnutls30t64 libhogweed6t64 libnettle8t64 libnpth0t64 libperl5.38t64
  libpng16-16t64 libreadline8t64 libssl3t64 libtirpc3t64 libunistring5
  perl-modules-5.38
The following packages will be upgraded:
  advancecomp apt apt-utils base-files base-passwd bash bash-completion
  binutils binutils-common binutils-powerpc64le-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 libitm1 libjansson4 libjson-c5
  libk5crypto3 libkeyutils1 libkmod2 libkrb5-3 libkrb5support0
  liblocale-gettext-perl liblockfile-bin liblockfile1 liblsan0 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 libquadmath0 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 libtsan2 libubsan1
  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
175 upgraded, 23 newly installed, 14 to remove and 0 not upgraded.
Need to get 121 MB of archives.
After this operation, 84.2 MB of additional disk space will be used.
Get:1 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libtirpc-common all 1.3.4+ds-1.3 [8106 B]
Get:2 http://ftpmaster.internal/ubuntu oracular/main ppc64el libtirpc-dev ppc64el 1.3.4+ds-1.1build1 [225 kB]
Get:3 http://ftpmaster.internal/ubuntu oracular/main ppc64el libnsl-dev ppc64el 1.3.0-3build3 [80.3 kB]
Get:4 http://ftpmaster.internal/ubuntu oracular/main ppc64el libnsl2 ppc64el 1.3.0-3build3 [48.9 kB]
Get:5 http://ftpmaster.internal/ubuntu oracular/main ppc64el libtirpc3t64 ppc64el 1.3.4+ds-1.1build1 [102 kB]
Get:6 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgssapi-krb5-2 ppc64el 1.20.1-6ubuntu2 [185 kB]
Get:7 http://ftpmaster.internal/ubuntu oracular/main ppc64el libkrb5-3 ppc64el 1.20.1-6ubuntu2 [432 kB]
Get:8 http://ftpmaster.internal/ubuntu oracular/main ppc64el libk5crypto3 ppc64el 1.20.1-6ubuntu2 [108 kB]
Get:9 http://ftpmaster.internal/ubuntu oracular/main ppc64el libkrb5support0 ppc64el 1.20.1-6ubuntu2 [38.6 kB]
Get:10 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libacl1 ppc64el 2.3.2-2 [21.1 kB]
Get:11 http://ftpmaster.internal/ubuntu oracular/main ppc64el libapparmor1 ppc64el 4.0.0-beta3-0ubuntu3 [55.1 kB]
Get:12 http://ftpmaster.internal/ubuntu oracular/main ppc64el libaudit-common all 1:3.1.2-2.1build1 [5736 B]
Get:13 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libcap-ng0 ppc64el 0.8.5-1 [16.0 kB]
Get:14 http://ftpmaster.internal/ubuntu oracular/main ppc64el libaudit1 ppc64el 1:3.1.2-2.1build1 [52.9 kB]
Get:15 http://ftpmaster.internal/ubuntu oracular/main ppc64el libblkid1 ppc64el 2.39.3-9ubuntu6 [155 kB]
Get:16 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcap2 ppc64el 1:2.66-5ubuntu2 [35.6 kB]
Get:17 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcrypt-dev ppc64el 1:4.4.36-4build1 [145 kB]
Get:18 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcrypt1 ppc64el 1:4.4.36-4build1 [110 kB]
Get:19 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgpg-error-l10n all 1.47-3build2 [8064 B]
Get:20 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgpg-error0 ppc64el 1.47-3build2 [88.4 kB]
Get:21 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgcrypt20 ppc64el 1.10.3-2build1 [748 kB]
Get:22 http://ftpmaster.internal/ubuntu oracular/main ppc64el liblzma5 ppc64el 5.6.1+really5.4.5-1 [160 kB]
Get:23 http://ftpmaster.internal/ubuntu oracular/main ppc64el libzstd1 ppc64el 1.5.5+dfsg2-2build1 [397 kB]
Get:24 http://ftpmaster.internal/ubuntu oracular/main ppc64el libkmod2 ppc64el 31+20240202-2ubuntu7 [64.5 kB]
Get:25 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el liblz4-1 ppc64el 1.9.4-2 [105 kB]
Get:26 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpcre2-8-0 ppc64el 10.42-4ubuntu2 [265 kB]
Get:27 http://ftpmaster.internal/ubuntu oracular/main ppc64el libselinux1 ppc64el 3.5-2ubuntu2 [101 kB]
Get:28 http://ftpmaster.internal/ubuntu oracular/main ppc64el libmount1 ppc64el 2.39.3-9ubuntu6 [169 kB]
Get:29 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el perl-modules-5.38 all 5.38.2-4 [3110 kB]
Get:30 http://ftpmaster.internal/ubuntu oracular/main ppc64el libdb5.3t64 ppc64el 5.3.28+dfsg2-7 [868 kB]
Get:31 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgdbm6t64 ppc64el 1.23-5.1build1 [42.0 kB]
Get:32 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgdbm-compat4t64 ppc64el 1.23-5.1build1 [6982 B]
Get:33 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libperl5.38t64 ppc64el 5.38.2-4 [4938 kB]
Get:34 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el perl ppc64el 5.38.2-4 [231 kB]
Get:35 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el perl-base ppc64el 5.38.2-4 [1906 kB]
Get:36 http://ftpmaster.internal/ubuntu oracular/main ppc64el liblocale-gettext-perl ppc64el 1.07-6ubuntu5 [16.1 kB]
Get:37 http://ftpmaster.internal/ubuntu oracular/main ppc64el libtext-iconv-perl ppc64el 1.7-8build3 [13.7 kB]
Get:38 http://ftpmaster.internal/ubuntu oracular/main ppc64el libtext-charwidth-perl ppc64el 0.04-11build3 [9536 B]
Get:39 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libnss-nisplus ppc64el 1.3-5build1 [27.5 kB]
Get:40 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libnss-nis ppc64el 3.1-0ubuntu7 [30.8 kB]
Get:41 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-dev-bin ppc64el 2.39-0ubuntu8.1 [21.3 kB]
Get:42 http://ftpmaster.internal/ubuntu oracular/main ppc64el rpcsvc-proto ppc64el 1.4.2-0ubuntu7 [82.4 kB]
Get:43 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6-dev ppc64el 2.39-0ubuntu8.1 [2104 kB]
Get:44 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc6 ppc64el 2.39-0ubuntu8.1 [3275 kB]
Get:45 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libc-bin ppc64el 2.39-0ubuntu8.1 [751 kB]
Get:46 http://ftpmaster.internal/ubuntu oracular/main ppc64el openssl ppc64el 3.0.13-0ubuntu3 [1025 kB]
Get:47 http://ftpmaster.internal/ubuntu oracular/main ppc64el libsystemd-shared ppc64el 255.4-1ubuntu8 [2351 kB]
Get:48 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcryptsetup12 ppc64el 2:2.7.0-1ubuntu4 [376 kB]
Get:49 http://ftpmaster.internal/ubuntu oracular/main ppc64el libssl3t64 ppc64el 3.0.13-0ubuntu3 [2125 kB]
Get:50 http://ftpmaster.internal/ubuntu oracular/main ppc64el systemd-dev all 255.4-1ubuntu8 [104 kB]
Get:51 http://ftpmaster.internal/ubuntu oracular/main ppc64el systemd-sysv ppc64el 255.4-1ubuntu8 [11.9 kB]
Get:52 http://ftpmaster.internal/ubuntu oracular/main ppc64el systemd ppc64el 255.4-1ubuntu8 [3771 kB]
Get:53 http://ftpmaster.internal/ubuntu oracular/main ppc64el libsystemd0 ppc64el 255.4-1ubuntu8 [526 kB]
Get:54 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libapt-pkg6.0t64 ppc64el 2.9.2 [1063 kB]
Get:55 http://ftpmaster.internal/ubuntu oracular/main ppc64el libnettle8t64 ppc64el 3.9.1-2.2build1 [226 kB]
Get:56 http://ftpmaster.internal/ubuntu oracular/main ppc64el libhogweed6t64 ppc64el 3.9.1-2.2build1 [208 kB]
Get:57 http://ftpmaster.internal/ubuntu oracular/main ppc64el libp11-kit0 ppc64el 0.25.3-4ubuntu2 [312 kB]
Get:58 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libunistring5 ppc64el 1.2-1 [562 kB]
Get:59 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libgnutls30t64 ppc64el 3.8.3-1.1ubuntu3.1 [1057 kB]
Get:60 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el apt ppc64el 2.9.2 [1430 kB]
Get:61 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el apt-utils ppc64el 2.9.2 [231 kB]
Get:62 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libpam-modules-bin ppc64el 1.5.3-7ubuntu1 [57.8 kB]
Get:63 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libpam-modules ppc64el 1.5.3-7ubuntu1 [325 kB]
Get:64 http://ftpmaster.internal/ubuntu oracular/main ppc64el bzip2 ppc64el 1.0.8-5.1 [37.6 kB]
Get:65 http://ftpmaster.internal/ubuntu oracular/main ppc64el libbz2-1.0 ppc64el 1.0.8-5.1 [48.7 kB]
Get:66 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc-14-base ppc64el 14-20240412-0ubuntu1 [47.6 kB]
Get:67 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgcc-s1 ppc64el 14-20240412-0ubuntu1 [39.3 kB]
Get:68 http://ftpmaster.internal/ubuntu oracular/main ppc64el libstdc++6 ppc64el 14-20240412-0ubuntu1 [893 kB]
Get:69 http://ftpmaster.internal/ubuntu oracular/main ppc64el libudev1 ppc64el 255.4-1ubuntu8 [201 kB]
Get:70 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxxhash0 ppc64el 0.8.2-2build1 [31.3 kB]
Get:71 http://ftpmaster.internal/ubuntu oracular/main ppc64el zlib1g ppc64el 1:1.3.dfsg-3.1ubuntu2 [72.8 kB]
Get:72 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgmp10 ppc64el 2:6.3.0+dfsg-2ubuntu6 [282 kB]
Get:73 http://ftpmaster.internal/ubuntu oracular/main ppc64el libffi8 ppc64el 3.4.6-1build1 [27.9 kB]
Get:74 http://ftpmaster.internal/ubuntu oracular/main ppc64el libidn2-0 ppc64el 2.3.7-2build1 [69.9 kB]
Get:75 http://ftpmaster.internal/ubuntu oracular/main ppc64el libtasn1-6 ppc64el 4.19.0-3build1 [55.1 kB]
Get:76 http://ftpmaster.internal/ubuntu oracular/main ppc64el libdebconfclient0 ppc64el 0.271ubuntu3 [11.3 kB]
Get:77 http://ftpmaster.internal/ubuntu oracular/main ppc64el base-passwd ppc64el 3.6.3build1 [53.0 kB]
Get:78 http://ftpmaster.internal/ubuntu oracular/main ppc64el libassuan0 ppc64el 2.5.6-1build1 [43.3 kB]
Get:79 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libsqlite3-0 ppc64el 3.45.3-1 [803 kB]
Get:80 http://ftpmaster.internal/ubuntu oracular/main ppc64el gpg ppc64el 2.4.4-2ubuntu17 [706 kB]
Get:81 http://ftpmaster.internal/ubuntu oracular/main ppc64el libreadline8t64 ppc64el 8.2-4build1 [182 kB]
Get:82 http://ftpmaster.internal/ubuntu oracular/main ppc64el readline-common all 8.2-4build1 [56.5 kB]
Get:83 http://ftpmaster.internal/ubuntu oracular/main ppc64el libncursesw6 ppc64el 6.4+20240113-1ubuntu2 [186 kB]
Get:84 http://ftpmaster.internal/ubuntu oracular/main ppc64el libtinfo6 ppc64el 6.4+20240113-1ubuntu2 [130 kB]
Get:85 http://ftpmaster.internal/ubuntu oracular/main ppc64el gpg-agent ppc64el 2.4.4-2ubuntu17 [275 kB]
Get:86 http://ftpmaster.internal/ubuntu oracular/main ppc64el gpgconf ppc64el 2.4.4-2ubuntu17 [115 kB]
Get:87 http://ftpmaster.internal/ubuntu oracular/main ppc64el pinentry-curses ppc64el 1.2.1-3ubuntu5 [38.8 kB]
Get:88 http://ftpmaster.internal/ubuntu oracular/main ppc64el init-system-helpers all 1.66ubuntu1 [39.4 kB]
Get:89 http://ftpmaster.internal/ubuntu oracular/main ppc64el libnpth0t64 ppc64el 1.6-3.1build1 [8914 B]
Get:90 http://ftpmaster.internal/ubuntu oracular/main ppc64el gpgv ppc64el 2.4.4-2ubuntu17 [198 kB]
Get:91 http://ftpmaster.internal/ubuntu oracular/main ppc64el ubuntu-keyring all 2023.11.28.1 [11.1 kB]
Get:92 http://ftpmaster.internal/ubuntu oracular/main ppc64el libseccomp2 ppc64el 2.5.5-1ubuntu3 [62.5 kB]
Get:93 http://ftpmaster.internal/ubuntu oracular/main ppc64el debconf-i18n all 1.5.86ubuntu1 [205 kB]
Get:94 http://ftpmaster.internal/ubuntu oracular/main ppc64el debconf all 1.5.86ubuntu1 [124 kB]
Get:95 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libpam0g ppc64el 1.5.3-7ubuntu1 [75.7 kB]
Get:96 http://ftpmaster.internal/ubuntu oracular/main ppc64el libargon2-1 ppc64el 0~20190702+dfsg-4build1 [27.5 kB]
Get:97 http://ftpmaster.internal/ubuntu oracular/main ppc64el libdevmapper1.02.1 ppc64el 2:1.02.185-3ubuntu3 [182 kB]
Get:98 http://ftpmaster.internal/ubuntu oracular/main ppc64el libjson-c5 ppc64el 0.17-1build1 [44.7 kB]
Get:99 http://ftpmaster.internal/ubuntu oracular/main ppc64el libuuid1 ppc64el 2.39.3-9ubuntu6 [39.6 kB]
Get:100 http://ftpmaster.internal/ubuntu oracular/main ppc64el libfdisk1 ppc64el 2.39.3-9ubuntu6 [171 kB]
Get:101 http://ftpmaster.internal/ubuntu oracular/main ppc64el mount ppc64el 2.39.3-9ubuntu6 [125 kB]
Get:102 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcom-err2 ppc64el 1.47.0-2.4~exp1ubuntu4 [22.9 kB]
Get:103 http://ftpmaster.internal/ubuntu oracular/main ppc64el libkeyutils1 ppc64el 1.6.3-3build1 [11.0 kB]
Get:104 http://ftpmaster.internal/ubuntu oracular/main ppc64el linux-libc-dev ppc64el 6.8.0-31.31 [1588 kB]
Get:105 http://ftpmaster.internal/ubuntu oracular/main ppc64el base-files ppc64el 13.1ubuntu1 [74.1 kB]
Get:106 http://ftpmaster.internal/ubuntu oracular/main ppc64el debianutils ppc64el 5.17build1 [90.5 kB]
Get:107 http://ftpmaster.internal/ubuntu oracular/main ppc64el bash ppc64el 5.2.21-2ubuntu4 [977 kB]
Get:108 http://ftpmaster.internal/ubuntu oracular/main ppc64el bsdutils ppc64el 1:2.39.3-9ubuntu6 [99.1 kB]
Get:109 http://ftpmaster.internal/ubuntu oracular/main ppc64el coreutils ppc64el 9.4-3ubuntu6 [1524 kB]
Get:110 http://ftpmaster.internal/ubuntu oracular/main ppc64el tar ppc64el 1.35+dfsg-3build1 [309 kB]
Get:111 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el dpkg ppc64el 1.22.6ubuntu10 [1339 kB]
Get:112 http://ftpmaster.internal/ubuntu oracular/main ppc64el dash ppc64el 0.5.12-6ubuntu5 [108 kB]
Get:113 http://ftpmaster.internal/ubuntu oracular/main ppc64el diffutils ppc64el 1:3.10-1build1 [202 kB]
Get:114 http://ftpmaster.internal/ubuntu oracular/main ppc64el findutils ppc64el 4.9.0-5build1 [330 kB]
Get:115 http://ftpmaster.internal/ubuntu oracular/main ppc64el grep ppc64el 3.11-4build1 [174 kB]
Get:116 http://ftpmaster.internal/ubuntu oracular/main ppc64el gzip ppc64el 1.12-1ubuntu3 [115 kB]
Get:117 http://ftpmaster.internal/ubuntu oracular/main ppc64el hostname ppc64el 3.23+nmu2ubuntu2 [11.3 kB]
Get:118 http://ftpmaster.internal/ubuntu oracular/main ppc64el login ppc64el 1:4.13+dfsg1-4ubuntu3 [205 kB]
Get:119 http://ftpmaster.internal/ubuntu oracular/main ppc64el ncurses-bin ppc64el 6.4+20240113-1ubuntu2 [202 kB]
Get:120 http://ftpmaster.internal/ubuntu oracular/main ppc64el sed ppc64el 4.9-2build1 [210 kB]
Get:121 http://ftpmaster.internal/ubuntu oracular/main ppc64el util-linux ppc64el 2.39.3-9ubuntu6 [1195 kB]
Get:122 http://ftpmaster.internal/ubuntu oracular/main ppc64el ncurses-base all 6.4+20240113-1ubuntu2 [25.5 kB]
Get:123 http://ftpmaster.internal/ubuntu oracular/main ppc64el sysvinit-utils ppc64el 3.08-6ubuntu3 [35.8 kB]
Get:124 http://ftpmaster.internal/ubuntu oracular/main ppc64el logsave ppc64el 1.47.0-2.4~exp1ubuntu4 [23.0 kB]
Get:125 http://ftpmaster.internal/ubuntu oracular/main ppc64el libext2fs2t64 ppc64el 1.47.0-2.4~exp1ubuntu4 [270 kB]
Get:126 http://ftpmaster.internal/ubuntu oracular/main ppc64el e2fsprogs ppc64el 1.47.0-2.4~exp1ubuntu4 [663 kB]
Get:127 http://ftpmaster.internal/ubuntu oracular/main ppc64el optipng ppc64el 0.7.8+ds-1build2 [118 kB]
Get:128 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpng16-16t64 ppc64el 1.6.43-5build1 [242 kB]
Get:129 http://ftpmaster.internal/ubuntu oracular/main ppc64el init ppc64el 1.66ubuntu1 [6190 B]
Get:130 http://ftpmaster.internal/ubuntu oracular/main ppc64el libsmartcols1 ppc64el 2.39.3-9ubuntu6 [79.3 kB]
Get:131 http://ftpmaster.internal/ubuntu oracular/main ppc64el uuid-runtime ppc64el 2.39.3-9ubuntu6 [33.8 kB]
Get:132 http://ftpmaster.internal/ubuntu oracular/main ppc64el libattr1 ppc64el 1:2.5.2-1build1 [12.6 kB]
Get:133 http://ftpmaster.internal/ubuntu oracular/main ppc64el libmd0 ppc64el 1.1.0-2build1 [30.5 kB]
Get:134 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libpam-runtime all 1.5.3-7ubuntu1 [40.8 kB]
Get:135 http://ftpmaster.internal/ubuntu oracular/main ppc64el libsemanage-common all 3.5-1build5 [10.1 kB]
Get:136 http://ftpmaster.internal/ubuntu oracular/main ppc64el libsepol2 ppc64el 3.5-2build1 [388 kB]
Get:137 http://ftpmaster.internal/ubuntu oracular/main ppc64el libsemanage2 ppc64el 3.5-1build5 [115 kB]
Get:138 http://ftpmaster.internal/ubuntu oracular/main ppc64el passwd ppc64el 1:4.13+dfsg1-4ubuntu3 [878 kB]
Get:139 http://ftpmaster.internal/ubuntu oracular/main ppc64el libproc2-0 ppc64el 2:4.0.4-4ubuntu3 [68.7 kB]
Get:140 http://ftpmaster.internal/ubuntu oracular/main ppc64el libss2 ppc64el 1.47.0-2.4~exp1ubuntu4 [18.0 kB]
Get:141 http://ftpmaster.internal/ubuntu oracular/main ppc64el mawk ppc64el 1.3.4.20240123-1build1 [139 kB]
Get:142 http://ftpmaster.internal/ubuntu oracular/main ppc64el procps ppc64el 2:4.0.4-4ubuntu3 [736 kB]
Get:143 http://ftpmaster.internal/ubuntu oracular/main ppc64el sensible-utils all 0.0.22 [22.5 kB]
Get:144 http://ftpmaster.internal/ubuntu oracular/main ppc64el ca-certificates all 20240203 [159 kB]
Get:145 http://ftpmaster.internal/ubuntu oracular/main ppc64el krb5-locales all 1.20.1-6ubuntu2 [13.8 kB]
Get:146 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el tzdata all 2024a-4ubuntu1 [274 kB]
Get:147 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el bash-completion all 1:2.12.0-1 [204 kB]
Get:148 http://ftpmaster.internal/ubuntu oracular/main ppc64el bsdextrautils ppc64el 2.39.3-9ubuntu6 [78.6 kB]
Get:149 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgpm2 ppc64el 1.20.7-11 [15.9 kB]
Get:150 http://ftpmaster.internal/ubuntu oracular/main ppc64el libip4tc2 ppc64el 1.8.10-3ubuntu2 [27.0 kB]
Get:151 http://ftpmaster.internal/ubuntu oracular/main ppc64el libjansson4 ppc64el 2.14-2build2 [40.4 kB]
Get:152 http://ftpmaster.internal/ubuntu oracular/main ppc64el psmisc ppc64el 23.7-1build1 [192 kB]
Get:153 http://ftpmaster.internal/ubuntu oracular/main ppc64el xz-utils ppc64el 5.6.1+really5.4.5-1 [276 kB]
Get:154 http://ftpmaster.internal/ubuntu oracular/main ppc64el advancecomp ppc64el 2.5-1build1 [244 kB]
Get:155 http://ftpmaster.internal/ubuntu oracular/main ppc64el libctf0 ppc64el 2.42-4ubuntu2 [112 kB]
Get:156 http://ftpmaster.internal/ubuntu oracular/main ppc64el libctf-nobfd0 ppc64el 2.42-4ubuntu2 [112 kB]
Get:157 http://ftpmaster.internal/ubuntu oracular/main ppc64el binutils-powerpc64le-linux-gnu ppc64el 2.42-4ubuntu2 [2473 kB]
Get:158 http://ftpmaster.internal/ubuntu oracular/main ppc64el libbinutils ppc64el 2.42-4ubuntu2 [699 kB]
Get:159 http://ftpmaster.internal/ubuntu oracular/main ppc64el binutils ppc64el 2.42-4ubuntu2 [3080 B]
Get:160 http://ftpmaster.internal/ubuntu oracular/main ppc64el binutils-common ppc64el 2.42-4ubuntu2 [217 kB]
Get:161 http://ftpmaster.internal/ubuntu oracular/main ppc64el libsframe1 ppc64el 2.42-4ubuntu2 [16.0 kB]
Get:162 http://ftpmaster.internal/ubuntu oracular/main ppc64el libubsan1 ppc64el 14-20240412-0ubuntu1 [1196 kB]
Get:163 http://ftpmaster.internal/ubuntu oracular/main ppc64el g++-13 ppc64el 13.2.0-23ubuntu4 [14.5 kB]
Get:164 http://ftpmaster.internal/ubuntu oracular/main ppc64el libstdc++-13-dev ppc64el 13.2.0-23ubuntu4 [2512 kB]
Get:165 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgomp1 ppc64el 14-20240412-0ubuntu1 [161 kB]
Get:166 http://ftpmaster.internal/ubuntu oracular/main ppc64el libitm1 ppc64el 14-20240412-0ubuntu1 [32.4 kB]
Get:167 http://ftpmaster.internal/ubuntu oracular/main ppc64el libatomic1 ppc64el 14-20240412-0ubuntu1 [10.7 kB]
Get:168 http://ftpmaster.internal/ubuntu oracular/main ppc64el libasan8 ppc64el 14-20240412-0ubuntu1 [2971 kB]
Get:169 http://ftpmaster.internal/ubuntu oracular/main ppc64el liblsan0 ppc64el 14-20240412-0ubuntu1 [1327 kB]
Get:170 http://ftpmaster.internal/ubuntu oracular/main ppc64el libquadmath0 ppc64el 14-20240412-0ubuntu1 [158 kB]
Get:171 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc-13 ppc64el 13.2.0-23ubuntu4 [482 kB]
Get:172 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgcc-13-dev ppc64el 13.2.0-23ubuntu4 [1580 kB]
Get:173 http://ftpmaster.internal/ubuntu oracular/main ppc64el libtsan2 ppc64el 14-20240412-0ubuntu1 [2709 kB]
Get:174 http://ftpmaster.internal/ubuntu oracular/main ppc64el libcc1-0 ppc64el 14-20240412-0ubuntu1 [48.1 kB]
Get:175 http://ftpmaster.internal/ubuntu oracular/main ppc64el cpp-13 ppc64el 13.2.0-23ubuntu4 [1038 B]
Get:176 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc-13-base ppc64el 13.2.0-23ubuntu4 [49.0 kB]
Get:177 http://ftpmaster.internal/ubuntu oracular/main ppc64el libisl23 ppc64el 0.26-3build1 [886 kB]
Get:178 http://ftpmaster.internal/ubuntu oracular/main ppc64el libmpfr6 ppc64el 4.2.1-1build1 [350 kB]
Get:179 http://ftpmaster.internal/ubuntu oracular/main ppc64el libmpc3 ppc64el 1.3.1-1build1 [62.1 kB]
Get:180 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc-13-powerpc64le-linux-gnu ppc64el 13.2.0-23ubuntu4 [20.6 MB]
Get:181 http://ftpmaster.internal/ubuntu oracular/main ppc64el g++-13-powerpc64le-linux-gnu ppc64el 13.2.0-23ubuntu4 [12.2 MB]
Get:182 http://ftpmaster.internal/ubuntu oracular/main ppc64el cpp-13-powerpc64le-linux-gnu ppc64el 13.2.0-23ubuntu4 [10.7 MB]
Get:183 http://ftpmaster.internal/ubuntu oracular/main ppc64el g++ ppc64el 4:13.2.0-7ubuntu1 [1086 B]
Get:184 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc ppc64el 4:13.2.0-7ubuntu1 [5022 B]
Get:185 http://ftpmaster.internal/ubuntu oracular/main ppc64el cpp ppc64el 4:13.2.0-7ubuntu1 [22.5 kB]
Get:186 http://ftpmaster.internal/ubuntu oracular/main ppc64el cpp-powerpc64le-linux-gnu ppc64el 4:13.2.0-7ubuntu1 [5330 B]
Get:187 http://ftpmaster.internal/ubuntu oracular/main ppc64el gcc-powerpc64le-linux-gnu ppc64el 4:13.2.0-7ubuntu1 [1224 B]
Get:188 http://ftpmaster.internal/ubuntu oracular/main ppc64el g++-powerpc64le-linux-gnu ppc64el 4:13.2.0-7ubuntu1 [968 B]
Get:189 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el dpkg-dev all 1.22.6ubuntu10 [1074 kB]
Get:190 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libdpkg-perl all 1.22.6ubuntu10 [269 kB]
Get:191 http://ftpmaster.internal/ubuntu oracular/main ppc64el patch ppc64el 2.7.6-7build3 [124 kB]
Get:192 http://ftpmaster.internal/ubuntu oracular/main ppc64el make ppc64el 4.3-4.1build2 [214 kB]
Get:193 http://ftpmaster.internal/ubuntu oracular/main ppc64el lto-disabled-list all 47 [12.4 kB]
Get:194 http://ftpmaster.internal/ubuntu oracular/main ppc64el libfakeroot ppc64el 1.34-1 [34.6 kB]
Get:195 http://ftpmaster.internal/ubuntu oracular/main ppc64el fakeroot ppc64el 1.34-1 [69.4 kB]
Get:196 http://ftpmaster.internal/ubuntu oracular/main ppc64el liblockfile-bin ppc64el 1.17-1build3 [11.7 kB]
Get:197 http://ftpmaster.internal/ubuntu oracular/main ppc64el liblockfile1 ppc64el 1.17-1build3 [7692 B]
Get:198 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el lockfile-progs ppc64el 0.1.19+nmu1 [9026 B]
Preconfiguring packages ...
Fetched 121 MB in 11s (10.7 MB/s)
(Reading database ... 13550 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.1build1_ppc64el.deb ...
Unpacking libtirpc-dev:ppc64el (1.3.4+ds-1.1build1) over (1.3.3+ds-1) ...
Preparing to unpack .../libnsl-dev_1.3.0-3build3_ppc64el.deb ...
Unpacking libnsl-dev:ppc64el (1.3.0-3build3) over (1.3.0-2build2) ...
Preparing to unpack .../libnsl2_1.3.0-3build3_ppc64el.deb ...
Unpacking libnsl2:ppc64el (1.3.0-3build3) over (1.3.0-2build2) ...
dpkg: libtirpc3:ppc64el: dependency problems, but removing anyway as you requested:
 libnss-nisplus:ppc64el depends on libtirpc3 (>= 1.0.2).

(Reading database ... 13550 files and directories currently installed.)
Removing libtirpc3:ppc64el (1.3.3+ds-1) ...
Selecting previously unselected package libtirpc3t64:ppc64el.
(Reading database ... 13544 files and directories currently installed.)
Preparing to unpack .../0-libtirpc3t64_1.3.4+ds-1.1build1_ppc64el.deb ...
Adding 'diversion of /lib/powerpc64le-linux-gnu/libtirpc.so.3 to /lib/powerpc64le-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64'
Adding 'diversion of /lib/powerpc64le-linux-gnu/libtirpc.so.3.0.0 to /lib/powerpc64le-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64'
Unpacking libtirpc3t64:ppc64el (1.3.4+ds-1.1build1) ...
Preparing to unpack .../1-libgssapi-krb5-2_1.20.1-6ubuntu2_ppc64el.deb ...
Unpacking libgssapi-krb5-2:ppc64el (1.20.1-6ubuntu2) over (1.20.1-3ubuntu1) ...
Preparing to unpack .../2-libkrb5-3_1.20.1-6ubuntu2_ppc64el.deb ...
Unpacking libkrb5-3:ppc64el (1.20.1-6ubuntu2) over (1.20.1-3ubuntu1) ...
Preparing to unpack .../3-libk5crypto3_1.20.1-6ubuntu2_ppc64el.deb ...
Unpacking libk5crypto3:ppc64el (1.20.1-6ubuntu2) over (1.20.1-3ubuntu1) ...
Preparing to unpack .../4-libkrb5support0_1.20.1-6ubuntu2_ppc64el.deb ...
Unpacking libkrb5support0:ppc64el (1.20.1-6ubuntu2) over (1.20.1-3ubuntu1) ...
Preparing to unpack .../5-libacl1_2.3.2-2_ppc64el.deb ...
Unpacking libacl1:ppc64el (2.3.2-2) over (2.3.1-3) ...
Setting up libacl1:ppc64el (2.3.2-2) ...
(Reading database ... 13555 files and directories currently installed.)
Preparing to unpack .../libapparmor1_4.0.0-beta3-0ubuntu3_ppc64el.deb ...
Unpacking libapparmor1:ppc64el (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 ... 13555 files and directories currently installed.)
Preparing to unpack .../libcap-ng0_0.8.5-1_ppc64el.deb ...
Unpacking libcap-ng0:ppc64el (0.8.5-1) over (0.8.3-1build2) ...
Setting up libcap-ng0:ppc64el (0.8.5-1) ...
(Reading database ... 13555 files and directories currently installed.)
Preparing to unpack .../libaudit1_1%3a3.1.2-2.1build1_ppc64el.deb ...
Unpacking libaudit1:ppc64el (1:3.1.2-2.1build1) over (1:3.1.1-1) ...
Setting up libaudit1:ppc64el (1:3.1.2-2.1build1) ...
(Reading database ... 13555 files and directories currently installed.)
Preparing to unpack .../libblkid1_2.39.3-9ubuntu6_ppc64el.deb ...
Unpacking libblkid1:ppc64el (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ...
Setting up libblkid1:ppc64el (2.39.3-9ubuntu6) ...
(Reading database ... 13555 files and directories currently installed.)
Preparing to unpack .../libcap2_1%3a2.66-5ubuntu2_ppc64el.deb ...
Unpacking libcap2:ppc64el (1:2.66-5ubuntu2) over (1:2.66-4ubuntu1) ...
Setting up libcap2:ppc64el (1:2.66-5ubuntu2) ...
(Reading database ... 13555 files and directories currently installed.)
Preparing to unpack .../libcrypt-dev_1%3a4.4.36-4build1_ppc64el.deb ...
Unpacking libcrypt-dev:ppc64el (1:4.4.36-4build1) over (1:4.4.36-2) ...
Preparing to unpack .../libcrypt1_1%3a4.4.36-4build1_ppc64el.deb ...
Unpacking libcrypt1:ppc64el (1:4.4.36-4build1) over (1:4.4.36-2) ...
Setting up libcrypt1:ppc64el (1:4.4.36-4build1) ...
(Reading database ... 13555 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_ppc64el.deb ...
Unpacking libgpg-error0:ppc64el (1.47-3build2) over (1.47-2) ...
Setting up libgpg-error0:ppc64el (1.47-3build2) ...
(Reading database ... 13555 files and directories currently installed.)
Preparing to unpack .../libgcrypt20_1.10.3-2build1_ppc64el.deb ...
Unpacking libgcrypt20:ppc64el (1.10.3-2build1) over (1.10.2-3ubuntu1) ...
Setting up libgcrypt20:ppc64el (1.10.3-2build1) ...
(Reading database ... 13555 files and directories currently installed.)
Preparing to unpack .../liblzma5_5.6.1+really5.4.5-1_ppc64el.deb ...
Unpacking liblzma5:ppc64el (5.6.1+really5.4.5-1) over (5.4.1-0.2) ...
Setting up liblzma5:ppc64el (5.6.1+really5.4.5-1) ...
(Reading database ... 13555 files and directories currently installed.)
Preparing to unpack .../libzstd1_1.5.5+dfsg2-2build1_ppc64el.deb ...
Unpacking libzstd1:ppc64el (1.5.5+dfsg2-2build1) over (1.5.5+dfsg2-1ubuntu2) ...
Setting up libzstd1:ppc64el (1.5.5+dfsg2-2build1) ...
(Reading database ... 13555 files and directories currently installed.)
Preparing to unpack .../libkmod2_31+20240202-2ubuntu7_ppc64el.deb ...
Unpacking libkmod2:ppc64el (31+20240202-2ubuntu7) over (30+20230519-1ubuntu3) ...
Preparing to unpack .../liblz4-1_1.9.4-2_ppc64el.deb ...
Unpacking liblz4-1:ppc64el (1.9.4-2) over (1.9.4-1) ...
Setting up liblz4-1:ppc64el (1.9.4-2) ...
(Reading database ... 13555 files and directories currently installed.)
Preparing to unpack .../libpcre2-8-0_10.42-4ubuntu2_ppc64el.deb ...
Unpacking libpcre2-8-0:ppc64el (10.42-4ubuntu2) over (10.42-4) ...
Setting up libpcre2-8-0:ppc64el (10.42-4ubuntu2) ...
(Reading database ... 13555 files and directories currently installed.)
Preparing to unpack .../libselinux1_3.5-2ubuntu2_ppc64el.deb ...
Unpacking libselinux1:ppc64el (3.5-2ubuntu2) over (3.5-1) ...
Setting up libselinux1:ppc64el (3.5-2ubuntu2) ...
(Reading database ... 13556 files and directories currently installed.)
Preparing to unpack .../libmount1_2.39.3-9ubuntu6_ppc64el.deb ...
Unpacking libmount1:ppc64el (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ...
Setting up libmount1:ppc64el (2.39.3-9ubuntu6) ...
(Reading database ... 13556 files and directories currently installed.)
Preparing to unpack .../perl_5.38.2-4_ppc64el.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:ppc64el: dependency problems, but removing anyway as you requested:
 libperl5.36:ppc64el depends on libdb5.3.
 libpam-modules:ppc64el depends on libdb5.3.
 apt-utils depends on libdb5.3.

(Reading database ... 14968 files and directories currently installed.)
Removing libdb5.3:ppc64el (5.3.28+dfsg2-2) ...
Selecting previously unselected package libdb5.3t64:ppc64el.
(Reading database ... 14962 files and directories currently installed.)
Preparing to unpack .../libdb5.3t64_5.3.28+dfsg2-7_ppc64el.deb ...
Unpacking libdb5.3t64:ppc64el (5.3.28+dfsg2-7) ...
Setting up libdb5.3t64:ppc64el (5.3.28+dfsg2-7) ...
dpkg: libgdbm6:ppc64el: dependency problems, but removing anyway as you requested:
 libperl5.36:ppc64el depends on libgdbm6 (>= 1.21).
 libgdbm-compat4:ppc64el depends on libgdbm6 (>= 1.16).

(Reading database ... 14968 files and directories currently installed.)
Removing libgdbm6:ppc64el (1.23-3) ...
Selecting previously unselected package libgdbm6t64:ppc64el.
(Reading database ... 14963 files and directories currently installed.)
Preparing to unpack .../libgdbm6t64_1.23-5.1build1_ppc64el.deb ...
Unpacking libgdbm6t64:ppc64el (1.23-5.1build1) ...
dpkg: libgdbm-compat4:ppc64el: dependency problems, but removing anyway as you requested:
 libperl5.36:ppc64el depends on libgdbm-compat4 (>= 1.18-3).

(Reading database ... 14969 files and directories currently installed.)
Removing libgdbm-compat4:ppc64el (1.23-3) ...
Selecting previously unselected package libgdbm-compat4t64:ppc64el.
(Reading database ... 14964 files and directories currently installed.)
Preparing to unpack .../libgdbm-compat4t64_1.23-5.1build1_ppc64el.deb ...
Unpacking libgdbm-compat4t64:ppc64el (1.23-5.1build1) ...
Selecting previously unselected package libperl5.38t64:ppc64el.
Preparing to unpack .../libperl5.38t64_5.38.2-4_ppc64el.deb ...
Unpacking libperl5.38t64:ppc64el (5.38.2-4) ...
Preparing to unpack .../perl-base_5.38.2-4_ppc64el.deb ...
Unpacking perl-base (5.38.2-4) over (5.36.0-9ubuntu1) ...
Setting up perl-base (5.38.2-4) ...
(Reading database ... 15496 files and directories currently installed.)
Preparing to unpack .../0-liblocale-gettext-perl_1.07-6ubuntu5_ppc64el.deb ...
Unpacking liblocale-gettext-perl (1.07-6ubuntu5) over (1.07-6) ...
Preparing to unpack .../1-libtext-iconv-perl_1.7-8build3_ppc64el.deb ...
Unpacking libtext-iconv-perl:ppc64el (1.7-8build3) over (1.7-8) ...
Preparing to unpack .../2-libtext-charwidth-perl_0.04-11build3_ppc64el.deb ...
Unpacking libtext-charwidth-perl:ppc64el (0.04-11build3) over (0.04-11) ...
Preparing to unpack .../3-libnss-nisplus_1.3-5build1_ppc64el.deb ...
Unpacking libnss-nisplus:ppc64el (1.3-5build1) over (1.3-0ubuntu6) ...
Preparing to unpack .../4-libnss-nis_3.1-0ubuntu7_ppc64el.deb ...
Unpacking libnss-nis:ppc64el (3.1-0ubuntu7) over (3.1-0ubuntu6) ...
Preparing to unpack .../5-libc-dev-bin_2.39-0ubuntu8.1_ppc64el.deb ...
Unpacking libc-dev-bin (2.39-0ubuntu8.1) over (2.38-1ubuntu6) ...
Preparing to unpack .../6-rpcsvc-proto_1.4.2-0ubuntu7_ppc64el.deb ...
Unpacking rpcsvc-proto (1.4.2-0ubuntu7) over (1.4.2-0ubuntu6) ...
Preparing to unpack .../7-libc6-dev_2.39-0ubuntu8.1_ppc64el.deb ...
Unpacking libc6-dev:ppc64el (2.39-0ubuntu8.1) over (2.38-1ubuntu6) ...
Preparing to unpack .../8-libc6_2.39-0ubuntu8.1_ppc64el.deb ...
Unpacking libc6:ppc64el (2.39-0ubuntu8.1) over (2.38-1ubuntu6) ...
Setting up libc6:ppc64el (2.39-0ubuntu8.1) ...
(Reading database ... 15503 files and directories currently installed.)
Preparing to unpack .../libc-bin_2.39-0ubuntu8.1_ppc64el.deb ...
Unpacking libc-bin (2.39-0ubuntu8.1) over (2.38-1ubuntu6) ...
Setting up libc-bin (2.39-0ubuntu8.1) ...
(Reading database ... 15503 files and directories currently installed.)
Preparing to unpack .../openssl_3.0.13-0ubuntu3_ppc64el.deb ...
Unpacking openssl (3.0.13-0ubuntu3) over (3.0.10-1ubuntu2) ...
Preparing to unpack .../libsystemd-shared_255.4-1ubuntu8_ppc64el.deb ...
Unpacking libsystemd-shared:ppc64el (255.4-1ubuntu8) over (253.5-1ubuntu6) ...
Preparing to unpack .../libcryptsetup12_2%3a2.7.0-1ubuntu4_ppc64el.deb ...
Unpacking libcryptsetup12:ppc64el (2:2.7.0-1ubuntu4) over (2:2.6.1-4ubuntu3) ...
dpkg: libssl3:ppc64el: dependency problems, but removing anyway as you requested:
 systemd depends on libssl3 (>= 3.0.0).

(Reading database ... 15502 files and directories currently installed.)
Removing libssl3:ppc64el (3.0.10-1ubuntu2) ...
Selecting previously unselected package libssl3t64:ppc64el.
(Reading database ... 15491 files and directories currently installed.)
Preparing to unpack .../libssl3t64_3.0.13-0ubuntu3_ppc64el.deb ...
Unpacking libssl3t64:ppc64el (3.0.13-0ubuntu3) ...
Setting up libssl3t64:ppc64el (3.0.13-0ubuntu3) ...
(Reading database ... 15504 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_ppc64el.deb ...
Unpacking systemd-sysv (255.4-1ubuntu8) over (253.5-1ubuntu6) ...
Preparing to unpack .../systemd_255.4-1ubuntu8_ppc64el.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-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_ppc64el.deb ...
Unpacking libsystemd0:ppc64el (255.4-1ubuntu8) over (253.5-1ubuntu6) ...
Setting up libsystemd0:ppc64el (255.4-1ubuntu8) ...
dpkg: libgnutls30:ppc64el: dependency problems, but removing anyway as you requested:
 apt depends on libgnutls30 (>= 3.7.5).

(Reading database ... 15643 files and directories currently installed.)
Removing libgnutls30:ppc64el (3.8.1-4ubuntu1) ...
Removing libhogweed6:ppc64el (3.9.1-2) ...
Removing libnettle8:ppc64el (3.9.1-2) ...
dpkg: libapt-pkg6.0:ppc64el: 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:ppc64el (2.7.3) ...
Selecting previously unselected package libapt-pkg6.0t64:ppc64el.
(Reading database ... 15572 files and directories currently installed.)
Preparing to unpack .../libapt-pkg6.0t64_2.9.2_ppc64el.deb ...
Unpacking libapt-pkg6.0t64:ppc64el (2.9.2) ...
Setting up libapt-pkg6.0t64:ppc64el (2.9.2) ...
Selecting previously unselected package libnettle8t64:ppc64el.
(Reading database ... 15622 files and directories currently installed.)
Preparing to unpack .../libnettle8t64_3.9.1-2.2build1_ppc64el.deb ...
Unpacking libnettle8t64:ppc64el (3.9.1-2.2build1) ...
Setting up libnettle8t64:ppc64el (3.9.1-2.2build1) ...
Selecting previously unselected package libhogweed6t64:ppc64el.
(Reading database ... 15630 files and directories currently installed.)
Preparing to unpack .../libhogweed6t64_3.9.1-2.2build1_ppc64el.deb ...
Unpacking libhogweed6t64:ppc64el (3.9.1-2.2build1) ...
Setting up libhogweed6t64:ppc64el (3.9.1-2.2build1) ...
(Reading database ... 15636 files and directories currently installed.)
Preparing to unpack .../libp11-kit0_0.25.3-4ubuntu2_ppc64el.deb ...
Unpacking libp11-kit0:ppc64el (0.25.3-4ubuntu2) over (0.25.0-4ubuntu1) ...
Setting up libp11-kit0:ppc64el (0.25.3-4ubuntu2) ...
Selecting previously unselected package libunistring5:ppc64el.
(Reading database ... 15636 files and directories currently installed.)
Preparing to unpack .../libunistring5_1.2-1_ppc64el.deb ...
Unpacking libunistring5:ppc64el (1.2-1) ...
Setting up libunistring5:ppc64el (1.2-1) ...
Selecting previously unselected package libgnutls30t64:ppc64el.
(Reading database ... 15641 files and directories currently installed.)
Preparing to unpack .../libgnutls30t64_3.8.3-1.1ubuntu3.1_ppc64el.deb ...
Unpacking libgnutls30t64:ppc64el (3.8.3-1.1ubuntu3.1) ...
Setting up libgnutls30t64:ppc64el (3.8.3-1.1ubuntu3.1) ...
(Reading database ... 15653 files and directories currently installed.)
Preparing to unpack .../archives/apt_2.9.2_ppc64el.deb ...
Unpacking apt (2.9.2) over (2.7.3) ...
Setting up apt (2.9.2) ...
(Reading database ... 15653 files and directories currently installed.)
Preparing to unpack .../apt-utils_2.9.2_ppc64el.deb ...
Unpacking apt-utils (2.9.2) over (2.7.3) ...
Preparing to unpack .../libpam-modules-bin_1.5.3-7ubuntu1_ppc64el.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 ... 15652 files and directories currently installed.)
Preparing to unpack .../libpam-modules_1.5.3-7ubuntu1_ppc64el.deb ...
Unpacking libpam-modules:ppc64el (1.5.3-7ubuntu1) over (1.5.2-6ubuntu1) ...
dpkg: warning: unable to delete old directory '/lib/powerpc64le-linux-gnu/security': Directory not empty
Setting up libpam-modules:ppc64el (1.5.3-7ubuntu1) ...
Installing new version of config file /etc/security/namespace.init ...
(Reading database ... 15652 files and directories currently installed.)
Preparing to unpack .../bzip2_1.0.8-5.1_ppc64el.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_ppc64el.deb ...
Unpacking libbz2-1.0:ppc64el (1.0.8-5.1) over (1.0.8-5build1) ...
Setting up libbz2-1.0:ppc64el (1.0.8-5.1) ...
Selecting previously unselected package gcc-14-base:ppc64el.
(Reading database ... 15652 files and directories currently installed.)
Preparing to unpack .../gcc-14-base_14-20240412-0ubuntu1_ppc64el.deb ...
Unpacking gcc-14-base:ppc64el (14-20240412-0ubuntu1) ...
Setting up gcc-14-base:ppc64el (14-20240412-0ubuntu1) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../libgcc-s1_14-20240412-0ubuntu1_ppc64el.deb ...
Unpacking libgcc-s1:ppc64el (14-20240412-0ubuntu1) over (13.2.0-4ubuntu3) ...
Setting up libgcc-s1:ppc64el (14-20240412-0ubuntu1) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../libstdc++6_14-20240412-0ubuntu1_ppc64el.deb ...
Unpacking libstdc++6:ppc64el (14-20240412-0ubuntu1) over (13.2.0-4ubuntu3) ...
Setting up libstdc++6:ppc64el (14-20240412-0ubuntu1) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../libudev1_255.4-1ubuntu8_ppc64el.deb ...
Unpacking libudev1:ppc64el (255.4-1ubuntu8) over (253.5-1ubuntu6) ...
Setting up libudev1:ppc64el (255.4-1ubuntu8) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../libxxhash0_0.8.2-2build1_ppc64el.deb ...
Unpacking libxxhash0:ppc64el (0.8.2-2build1) over (0.8.1-1) ...
Setting up libxxhash0:ppc64el (0.8.2-2build1) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../zlib1g_1%3a1.3.dfsg-3.1ubuntu2_ppc64el.deb ...
Unpacking zlib1g:ppc64el (1:1.3.dfsg-3.1ubuntu2) over (1:1.2.13.dfsg-1ubuntu5) ...
Setting up zlib1g:ppc64el (1:1.3.dfsg-3.1ubuntu2) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../libgmp10_2%3a6.3.0+dfsg-2ubuntu6_ppc64el.deb ...
Unpacking libgmp10:ppc64el (2:6.3.0+dfsg-2ubuntu6) over (2:6.3.0+dfsg-2ubuntu4) ...
Setting up libgmp10:ppc64el (2:6.3.0+dfsg-2ubuntu6) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../libffi8_3.4.6-1build1_ppc64el.deb ...
Unpacking libffi8:ppc64el (3.4.6-1build1) over (3.4.4-1) ...
Setting up libffi8:ppc64el (3.4.6-1build1) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../libidn2-0_2.3.7-2build1_ppc64el.deb ...
Unpacking libidn2-0:ppc64el (2.3.7-2build1) over (2.3.4-1) ...
Setting up libidn2-0:ppc64el (2.3.7-2build1) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../libtasn1-6_4.19.0-3build1_ppc64el.deb ...
Unpacking libtasn1-6:ppc64el (4.19.0-3build1) over (4.19.0-3) ...
Setting up libtasn1-6:ppc64el (4.19.0-3build1) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../libdebconfclient0_0.271ubuntu3_ppc64el.deb ...
Unpacking libdebconfclient0:ppc64el (0.271ubuntu3) over (0.270ubuntu1) ...
Setting up libdebconfclient0:ppc64el (0.271ubuntu3) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../base-passwd_3.6.3build1_ppc64el.deb ...
Unpacking base-passwd (3.6.3build1) over (3.6.1) ...
Setting up base-passwd (3.6.3build1) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../libassuan0_2.5.6-1build1_ppc64el.deb ...
Unpacking libassuan0:ppc64el (2.5.6-1build1) over (2.5.6-1) ...
Setting up libassuan0:ppc64el (2.5.6-1build1) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../libsqlite3-0_3.45.3-1_ppc64el.deb ...
Unpacking libsqlite3-0:ppc64el (3.45.3-1) over (3.42.0-1) ...
Preparing to unpack .../gpg_2.4.4-2ubuntu17_ppc64el.deb ...
Unpacking gpg (2.4.4-2ubuntu17) over (2.2.40-1.1ubuntu1) ...
dpkg: libreadline8:ppc64el: dependency problems, but removing anyway as you requested:
 gpgconf depends on libreadline8 (>= 6.0).

(Reading database ... 15657 files and directories currently installed.)
Removing libreadline8:ppc64el (8.2-1.3) ...
Selecting previously unselected package libreadline8t64:ppc64el.
(Reading database ... 15645 files and directories currently installed.)
Preparing to unpack .../libreadline8t64_8.2-4build1_ppc64el.deb ...
Adding 'diversion of /lib/powerpc64le-linux-gnu/libhistory.so.8 to /lib/powerpc64le-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/powerpc64le-linux-gnu/libhistory.so.8.2 to /lib/powerpc64le-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/powerpc64le-linux-gnu/libreadline.so.8 to /lib/powerpc64le-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/powerpc64le-linux-gnu/libreadline.so.8.2 to /lib/powerpc64le-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
Unpacking libreadline8t64:ppc64el (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_ppc64el.deb ...
Unpacking libncursesw6:ppc64el (6.4+20240113-1ubuntu2) over (6.4+20230625-2) ...
Preparing to unpack .../libtinfo6_6.4+20240113-1ubuntu2_ppc64el.deb ...
Unpacking libtinfo6:ppc64el (6.4+20240113-1ubuntu2) over (6.4+20230625-2) ...
Setting up libtinfo6:ppc64el (6.4+20240113-1ubuntu2) ...
(Reading database ... 15665 files and directories currently installed.)
Preparing to unpack .../gpg-agent_2.4.4-2ubuntu17_ppc64el.deb ...
Unpacking gpg-agent (2.4.4-2ubuntu17) over (2.2.40-1.1ubuntu1) ...
Preparing to unpack .../gpgconf_2.4.4-2ubuntu17_ppc64el.deb ...
Unpacking gpgconf (2.4.4-2ubuntu17) over (2.2.40-1.1ubuntu1) ...
Preparing to unpack .../pinentry-curses_1.2.1-3ubuntu5_ppc64el.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 ... 15664 files and directories currently installed.)
Removing libnpth0:ppc64el (1.6-3build2) ...
Selecting previously unselected package libnpth0t64:ppc64el.
(Reading database ... 15659 files and directories currently installed.)
Preparing to unpack .../libnpth0t64_1.6-3.1build1_ppc64el.deb ...
Unpacking libnpth0t64:ppc64el (1.6-3.1build1) ...
Setting up libnpth0t64:ppc64el (1.6-3.1build1) ...
(Reading database ... 15665 files and directories currently installed.)
Preparing to unpack .../gpgv_2.4.4-2ubuntu17_ppc64el.deb ...
Unpacking gpgv (2.4.4-2ubuntu17) over (2.2.40-1.1ubuntu1) ...
Setting up gpgv (2.4.4-2ubuntu17) ...
(Reading database ... 15665 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 ... 15665 files and directories currently installed.)
Preparing to unpack .../libseccomp2_2.5.5-1ubuntu3_ppc64el.deb ...
Unpacking libseccomp2:ppc64el (2.5.5-1ubuntu3) over (2.5.4-1ubuntu3) ...
Setting up libseccomp2:ppc64el (2.5.5-1ubuntu3) ...
(Reading database ... 15665 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 ... 15664 files and directories currently installed.)
Preparing to unpack .../libpam0g_1.5.3-7ubuntu1_ppc64el.deb ...
Unpacking libpam0g:ppc64el (1.5.3-7ubuntu1) over (1.5.2-6ubuntu1) ...
Setting up libpam0g:ppc64el (1.5.3-7ubuntu1) ...
(Reading database ... 15663 files and directories currently installed.)
Preparing to unpack .../libargon2-1_0~20190702+dfsg-4build1_ppc64el.deb ...
Unpacking libargon2-1:ppc64el (0~20190702+dfsg-4build1) over (0~20190702+dfsg-3) ...
Preparing to unpack .../libdevmapper1.02.1_2%3a1.02.185-3ubuntu3_ppc64el.deb ...
Unpacking libdevmapper1.02.1:ppc64el (2:1.02.185-3ubuntu3) over (2:1.02.185-2ubuntu1) ...
Preparing to unpack .../libjson-c5_0.17-1build1_ppc64el.deb ...
Unpacking libjson-c5:ppc64el (0.17-1build1) over (0.17-1) ...
Preparing to unpack .../libuuid1_2.39.3-9ubuntu6_ppc64el.deb ...
Unpacking libuuid1:ppc64el (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ...
Setting up libuuid1:ppc64el (2.39.3-9ubuntu6) ...
(Reading database ... 15663 files and directories currently installed.)
Preparing to unpack .../0-libfdisk1_2.39.3-9ubuntu6_ppc64el.deb ...
Unpacking libfdisk1:ppc64el (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ...
Preparing to unpack .../1-mount_2.39.3-9ubuntu6_ppc64el.deb ...
Unpacking mount (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ...
Preparing to unpack .../2-libcom-err2_1.47.0-2.4~exp1ubuntu4_ppc64el.deb ...
Unpacking libcom-err2:ppc64el (1.47.0-2.4~exp1ubuntu4) over (1.47.0-2ubuntu1) ...
Preparing to unpack .../3-libkeyutils1_1.6.3-3build1_ppc64el.deb ...
Unpacking libkeyutils1:ppc64el (1.6.3-3build1) over (1.6.3-2) ...
Preparing to unpack .../4-linux-libc-dev_6.8.0-31.31_ppc64el.deb ...
Unpacking linux-libc-dev:ppc64el (6.8.0-31.31) over (6.5.0-9.9) ...
Preparing to unpack .../5-base-files_13.1ubuntu1_ppc64el.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 ... 15683 files and directories currently installed.)
Preparing to unpack .../debianutils_5.17build1_ppc64el.deb ...
Unpacking debianutils (5.17build1) over (5.8-1) ...
Setting up debianutils (5.17build1) ...
(Reading database ... 15682 files and directories currently installed.)
Preparing to unpack .../bash_5.2.21-2ubuntu4_ppc64el.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 ... 15682 files and directories currently installed.)
Preparing to unpack .../bsdutils_1%3a2.39.3-9ubuntu6_ppc64el.deb ...
Unpacking bsdutils (1:2.39.3-9ubuntu6) over (1:2.39.1-4ubuntu2) ...
Setting up bsdutils (1:2.39.3-9ubuntu6) ...
(Reading database ... 15682 files and directories currently installed.)
Removing usrmerge (35ubuntu1) ...
(Reading database ... 15656 files and directories currently installed.)
Preparing to unpack .../coreutils_9.4-3ubuntu6_ppc64el.deb ...
Unpacking coreutils (9.4-3ubuntu6) over (9.1-1ubuntu2) ...
Setting up coreutils (9.4-3ubuntu6) ...
(Reading database ... 15661 files and directories currently installed.)
Preparing to unpack .../tar_1.35+dfsg-3build1_ppc64el.deb ...
Unpacking tar (1.35+dfsg-3build1) over (1.34+dfsg-1.2ubuntu1) ...
Setting up tar (1.35+dfsg-3build1) ...
(Reading database ... 15661 files and directories currently installed.)
Preparing to unpack .../dpkg_1.22.6ubuntu10_ppc64el.deb ...
Unpacking dpkg (1.22.6ubuntu10) over (1.22.0ubuntu1) ...
Setting up dpkg (1.22.6ubuntu10) ...
(Reading database ... 15659 files and directories currently installed.)
Preparing to unpack .../dash_0.5.12-6ubuntu5_ppc64el.deb ...
Unpacking dash (0.5.12-6ubuntu5) over (0.5.12-6ubuntu1) ...
Setting up dash (0.5.12-6ubuntu5) ...
(Reading database ... 15658 files and directories currently installed.)
Preparing to unpack .../diffutils_1%3a3.10-1build1_ppc64el.deb ...
Unpacking diffutils (1:3.10-1build1) over (1:3.8-4) ...
Setting up diffutils (1:3.10-1build1) ...
(Reading database ... 15658 files and directories currently installed.)
Preparing to unpack .../findutils_4.9.0-5build1_ppc64el.deb ...
Unpacking findutils (4.9.0-5build1) over (4.9.0-5) ...
Setting up findutils (4.9.0-5build1) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../grep_3.11-4build1_ppc64el.deb ...
Unpacking grep (3.11-4build1) over (3.11-2) ...
Setting up grep (3.11-4build1) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../gzip_1.12-1ubuntu3_ppc64el.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 ... 15657 files and directories currently installed.)
Preparing to unpack .../hostname_3.23+nmu2ubuntu2_ppc64el.deb ...
Unpacking hostname (3.23+nmu2ubuntu2) over (3.23+nmu1ubuntu1) ...
Setting up hostname (3.23+nmu2ubuntu2) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../login_1%3a4.13+dfsg1-4ubuntu3_ppc64el.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 ... 15657 files and directories currently installed.)
Preparing to unpack .../ncurses-bin_6.4+20240113-1ubuntu2_ppc64el.deb ...
Unpacking ncurses-bin (6.4+20240113-1ubuntu2) over (6.4+20230625-2) ...
Setting up ncurses-bin (6.4+20240113-1ubuntu2) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../sed_4.9-2build1_ppc64el.deb ...
Unpacking sed (4.9-2build1) over (4.9-1) ...
Setting up sed (4.9-2build1) ...
(Reading database ... 15657 files and directories currently installed.)
Preparing to unpack .../util-linux_2.39.3-9ubuntu6_ppc64el.deb ...
Unpacking util-linux (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ...
Setting up util-linux (2.39.3-9ubuntu6) ...
(Reading database ... 15659 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 ... 15659 files and directories currently installed.)
Preparing to unpack .../sysvinit-utils_3.08-6ubuntu3_ppc64el.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 ... 15657 files and directories currently installed.)
Preparing to unpack .../logsave_1.47.0-2.4~exp1ubuntu4_ppc64el.deb ...
Unpacking logsave (1.47.0-2.4~exp1ubuntu4) over (1.47.0-2ubuntu1) ...
dpkg: libext2fs2:ppc64el: dependency problems, but removing anyway as you requested:
 e2fsprogs depends on libext2fs2 (= 1.47.0-2ubuntu1).

(Reading database ... 15657 files and directories currently installed.)
Removing libext2fs2:ppc64el (1.47.0-2ubuntu1) ...
Selecting previously unselected package libext2fs2t64:ppc64el.
(Reading database ... 15650 files and directories currently installed.)
Preparing to unpack .../libext2fs2t64_1.47.0-2.4~exp1ubuntu4_ppc64el.deb ...
Adding 'diversion of /lib/powerpc64le-linux-gnu/libe2p.so.2 to /lib/powerpc64le-linux-gnu/libe2p.so.2.usr-is-merged by libext2fs2t64'
Adding 'diversion of /lib/powerpc64le-linux-gnu/libe2p.so.2.3 to /lib/powerpc64le-linux-gnu/libe2p.so.2.3.usr-is-merged by libext2fs2t64'
Adding 'diversion of /lib/powerpc64le-linux-gnu/libext2fs.so.2 to /lib/powerpc64le-linux-gnu/libext2fs.so.2.usr-is-merged by libext2fs2t64'
Adding 'diversion of /lib/powerpc64le-linux-gnu/libext2fs.so.2.4 to /lib/powerpc64le-linux-gnu/libext2fs.so.2.4.usr-is-merged by libext2fs2t64'
Unpacking libext2fs2t64:ppc64el (1.47.0-2.4~exp1ubuntu4) ...
Setting up libcom-err2:ppc64el (1.47.0-2.4~exp1ubuntu4) ...
Setting up libext2fs2t64:ppc64el (1.47.0-2.4~exp1ubuntu4) ...
(Reading database ... 15666 files and directories currently installed.)
Preparing to unpack .../e2fsprogs_1.47.0-2.4~exp1ubuntu4_ppc64el.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_ppc64el.deb ...
Unpacking optipng (0.7.8+ds-1build2) over (0.7.7-2build1) ...
(Reading database ... 15664 files and directories currently installed.)
Removing libpng16-16:ppc64el (1.6.40-1) ...
Selecting previously unselected package libpng16-16t64:ppc64el.
(Reading database ... 15654 files and directories currently installed.)
Preparing to unpack .../libpng16-16t64_1.6.43-5build1_ppc64el.deb ...
Unpacking libpng16-16t64:ppc64el (1.6.43-5build1) ...
Setting up libapparmor1:ppc64el (4.0.0-beta3-0ubuntu3) ...
Setting up libargon2-1:ppc64el (0~20190702+dfsg-4build1) ...
Setting up libdevmapper1.02.1:ppc64el (2:1.02.185-3ubuntu3) ...
Setting up libjson-c5:ppc64el (0.17-1build1) ...
Setting up libcryptsetup12:ppc64el (2:2.7.0-1ubuntu4) ...
Setting up libfdisk1:ppc64el (2.39.3-9ubuntu6) ...
Setting up libkmod2:ppc64el (31+20240202-2ubuntu7) ...
Setting up libsystemd-shared:ppc64el (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 ... 15665 files and directories currently installed.)
Preparing to unpack .../init_1.66ubuntu1_ppc64el.deb ...
Unpacking init (1.66ubuntu1) over (1.65.2ubuntu1) ...
Preparing to unpack .../libsmartcols1_2.39.3-9ubuntu6_ppc64el.deb ...
Unpacking libsmartcols1:ppc64el (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ...
Setting up libsmartcols1:ppc64el (2.39.3-9ubuntu6) ...
(Reading database ... 15666 files and directories currently installed.)
Preparing to unpack .../uuid-runtime_2.39.3-9ubuntu6_ppc64el.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_ppc64el.deb ...
Unpacking libattr1:ppc64el (1:2.5.2-1build1) over (1:2.5.1-4) ...
Setting up libattr1:ppc64el (1:2.5.2-1build1) ...
(Reading database ... 15664 files and directories currently installed.)
Preparing to unpack .../libmd0_1.1.0-2build1_ppc64el.deb ...
Unpacking libmd0:ppc64el (1.1.0-2build1) over (1.1.0-1) ...
Setting up libmd0:ppc64el (1.1.0-2build1) ...
(Reading database ... 15664 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 ... 15663 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 ... 15663 files and directories currently installed.)
Preparing to unpack .../libsepol2_3.5-2build1_ppc64el.deb ...
Unpacking libsepol2:ppc64el (3.5-2build1) over (3.5-1) ...
Setting up libsepol2:ppc64el (3.5-2build1) ...
(Reading database ... 15663 files and directories currently installed.)
Preparing to unpack .../libsemanage2_3.5-1build5_ppc64el.deb ...
Unpacking libsemanage2:ppc64el (3.5-1build5) over (3.5-1) ...
Setting up libsemanage2:ppc64el (3.5-1build5) ...
(Reading database ... 15663 files and directories currently installed.)
Preparing to unpack .../passwd_1%3a4.13+dfsg1-4ubuntu3_ppc64el.deb ...
Unpacking passwd (1:4.13+dfsg1-4ubuntu3) over (1:4.13+dfsg1-1ubuntu1) ...
Setting up passwd (1:4.13+dfsg1-4ubuntu3) ...
(Reading database ... 15663 files and directories currently installed.)
Preparing to unpack .../00-libproc2-0_2%3a4.0.4-4ubuntu3_ppc64el.deb ...
Unpacking libproc2-0:ppc64el (2:4.0.4-4ubuntu3) over (2:4.0.3-1ubuntu1) ...
Preparing to unpack .../01-libss2_1.47.0-2.4~exp1ubuntu4_ppc64el.deb ...
Unpacking libss2:ppc64el (1.47.0-2.4~exp1ubuntu4) over (1.47.0-2ubuntu1) ...
Preparing to unpack .../02-mawk_1.3.4.20240123-1build1_ppc64el.deb ...
Unpacking mawk (1.3.4.20240123-1build1) over (1.3.4.20230730-1) ...
Preparing to unpack .../03-procps_2%3a4.0.4-4ubuntu3_ppc64el.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.12.0-1_all.deb ...
Unpacking bash-completion (1:2.12.0-1) over (1:2.11-7) ...
Preparing to unpack .../09-bsdextrautils_2.39.3-9ubuntu6_ppc64el.deb ...
Unpacking bsdextrautils (2.39.3-9ubuntu6) over (2.39.1-4ubuntu2) ...
Preparing to unpack .../10-libgpm2_1.20.7-11_ppc64el.deb ...
Unpacking libgpm2:ppc64el (1.20.7-11) over (1.20.7-10build1) ...
Preparing to unpack .../11-libip4tc2_1.8.10-3ubuntu2_ppc64el.deb ...
Unpacking libip4tc2:ppc64el (1.8.10-3ubuntu2) over (1.8.9-2ubuntu2) ...
Preparing to unpack .../12-libjansson4_2.14-2build2_ppc64el.deb ...
Unpacking libjansson4:ppc64el (2.14-2build2) over (2.14-2) ...
Preparing to unpack .../13-psmisc_23.7-1build1_ppc64el.deb ...
Unpacking psmisc (23.7-1build1) over (23.6-1) ...
Preparing to unpack .../14-xz-utils_5.6.1+really5.4.5-1_ppc64el.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_ppc64el.deb ...
Unpacking advancecomp (2.5-1build1) over (2.5-1) ...
Preparing to unpack .../16-libctf0_2.42-4ubuntu2_ppc64el.deb ...
Unpacking libctf0:ppc64el (2.42-4ubuntu2) over (2.41-5ubuntu1) ...
Preparing to unpack .../17-libctf-nobfd0_2.42-4ubuntu2_ppc64el.deb ...
Unpacking libctf-nobfd0:ppc64el (2.42-4ubuntu2) over (2.41-5ubuntu1) ...
Preparing to unpack .../18-binutils-powerpc64le-linux-gnu_2.42-4ubuntu2_ppc64el.deb ...
Unpacking binutils-powerpc64le-linux-gnu (2.42-4ubuntu2) over (2.41-5ubuntu1) ...
Preparing to unpack .../19-libbinutils_2.42-4ubuntu2_ppc64el.deb ...
Unpacking libbinutils:ppc64el (2.42-4ubuntu2) over (2.41-5ubuntu1) ...
Preparing to unpack .../20-binutils_2.42-4ubuntu2_ppc64el.deb ...
Unpacking binutils (2.42-4ubuntu2) over (2.41-5ubuntu1) ...
Preparing to unpack .../21-binutils-common_2.42-4ubuntu2_ppc64el.deb ...
Unpacking binutils-common:ppc64el (2.42-4ubuntu2) over (2.41-5ubuntu1) ...
Preparing to unpack .../22-libsframe1_2.42-4ubuntu2_ppc64el.deb ...
Unpacking libsframe1:ppc64el (2.42-4ubuntu2) over (2.41-5ubuntu1) ...
Preparing to unpack .../23-libubsan1_14-20240412-0ubuntu1_ppc64el.deb ...
Unpacking libubsan1:ppc64el (14-20240412-0ubuntu1) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../24-g++-13_13.2.0-23ubuntu4_ppc64el.deb ...
Unpacking g++-13 (13.2.0-23ubuntu4) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../25-libstdc++-13-dev_13.2.0-23ubuntu4_ppc64el.deb ...
Unpacking libstdc++-13-dev:ppc64el (13.2.0-23ubuntu4) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../26-libgomp1_14-20240412-0ubuntu1_ppc64el.deb ...
Unpacking libgomp1:ppc64el (14-20240412-0ubuntu1) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../27-libitm1_14-20240412-0ubuntu1_ppc64el.deb ...
Unpacking libitm1:ppc64el (14-20240412-0ubuntu1) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../28-libatomic1_14-20240412-0ubuntu1_ppc64el.deb ...
Unpacking libatomic1:ppc64el (14-20240412-0ubuntu1) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../29-libasan8_14-20240412-0ubuntu1_ppc64el.deb ...
Unpacking libasan8:ppc64el (14-20240412-0ubuntu1) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../30-liblsan0_14-20240412-0ubuntu1_ppc64el.deb ...
Unpacking liblsan0:ppc64el (14-20240412-0ubuntu1) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../31-libquadmath0_14-20240412-0ubuntu1_ppc64el.deb ...
Unpacking libquadmath0:ppc64el (14-20240412-0ubuntu1) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../32-gcc-13_13.2.0-23ubuntu4_ppc64el.deb ...
Unpacking gcc-13 (13.2.0-23ubuntu4) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../33-libgcc-13-dev_13.2.0-23ubuntu4_ppc64el.deb ...
Unpacking libgcc-13-dev:ppc64el (13.2.0-23ubuntu4) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../34-libtsan2_14-20240412-0ubuntu1_ppc64el.deb ...
Unpacking libtsan2:ppc64el (14-20240412-0ubuntu1) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../35-libcc1-0_14-20240412-0ubuntu1_ppc64el.deb ...
Unpacking libcc1-0:ppc64el (14-20240412-0ubuntu1) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../36-cpp-13_13.2.0-23ubuntu4_ppc64el.deb ...
Unpacking cpp-13 (13.2.0-23ubuntu4) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../37-gcc-13-base_13.2.0-23ubuntu4_ppc64el.deb ...
Unpacking gcc-13-base:ppc64el (13.2.0-23ubuntu4) over (13.2.0-4ubuntu3) ...
Preparing to unpack .../38-libisl23_0.26-3build1_ppc64el.deb ...
Unpacking libisl23:ppc64el (0.26-3build1) over (0.26-3) ...
Preparing to unpack .../39-libmpfr6_4.2.1-1build1_ppc64el.deb ...
Unpacking libmpfr6:ppc64el (4.2.1-1build1) over (4.2.1-1) ...
Preparing to unpack .../40-libmpc3_1.3.1-1build1_ppc64el.deb ...
Unpacking libmpc3:ppc64el (1.3.1-1build1) over (1.3.1-1) ...
Selecting previously unselected package gcc-13-powerpc64le-linux-gnu.
Preparing to unpack .../41-gcc-13-powerpc64le-linux-gnu_13.2.0-23ubuntu4_ppc64el.deb ...
Unpacking gcc-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ...
Selecting previously unselected package g++-13-powerpc64le-linux-gnu.
Preparing to unpack .../42-g++-13-powerpc64le-linux-gnu_13.2.0-23ubuntu4_ppc64el.deb ...
Unpacking g++-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ...
Selecting previously unselected package cpp-13-powerpc64le-linux-gnu.
Preparing to unpack .../43-cpp-13-powerpc64le-linux-gnu_13.2.0-23ubuntu4_ppc64el.deb ...
Unpacking cpp-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ...
Preparing to unpack .../44-g++_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
Unpacking g++ (4:13.2.0-7ubuntu1) over (4:13.2.0-1ubuntu1) ...
Preparing to unpack .../45-gcc_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
Unpacking gcc (4:13.2.0-7ubuntu1) over (4:13.2.0-1ubuntu1) ...
Preparing to unpack .../46-cpp_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
Unpacking cpp (4:13.2.0-7ubuntu1) over (4:13.2.0-1ubuntu1) ...
Selecting previously unselected package cpp-powerpc64le-linux-gnu.
Preparing to unpack .../47-cpp-powerpc64le-linux-gnu_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
Unpacking cpp-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
Selecting previously unselected package gcc-powerpc64le-linux-gnu.
Preparing to unpack .../48-gcc-powerpc64le-linux-gnu_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
Unpacking gcc-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
Selecting previously unselected package g++-powerpc64le-linux-gnu.
Preparing to unpack .../49-g++-powerpc64le-linux-gnu_4%3a13.2.0-7ubuntu1_ppc64el.deb ...
Unpacking g++-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
Preparing to unpack .../50-dpkg-dev_1.22.6ubuntu10_all.deb ...
Unpacking dpkg-dev (1.22.6ubuntu10) over (1.22.0ubuntu1) ...
Preparing to unpack .../51-libdpkg-perl_1.22.6ubuntu10_all.deb ...
Unpacking libdpkg-perl (1.22.6ubuntu10) over (1.22.0ubuntu1) ...
Preparing to unpack .../52-patch_2.7.6-7build3_ppc64el.deb ...
Unpacking patch (2.7.6-7build3) over (2.7.6-7build2) ...
Preparing to unpack .../53-make_4.3-4.1build2_ppc64el.deb ...
Unpacking make (4.3-4.1build2) over (4.3-4.1build1) ...
Preparing to unpack .../54-lto-disabled-list_47_all.deb ...
Unpacking lto-disabled-list (47) over (43) ...
Preparing to unpack .../55-libfakeroot_1.34-1_ppc64el.deb ...
Unpacking libfakeroot:ppc64el (1.34-1) over (1.32.1-1) ...
Preparing to unpack .../56-fakeroot_1.34-1_ppc64el.deb ...
Unpacking fakeroot (1.34-1) over (1.32.1-1) ...
Preparing to unpack .../57-liblockfile-bin_1.17-1build3_ppc64el.deb ...
Unpacking liblockfile-bin (1.17-1build3) over (1.17-1build2) ...
Preparing to unpack .../58-liblockfile1_1.17-1build3_ppc64el.deb ...
Unpacking liblockfile1:ppc64el (1.17-1build3) over (1.17-1build2) ...
Preparing to unpack .../59-lockfile-progs_0.1.19+nmu1_ppc64el.deb ...
Unpacking lockfile-progs (0.1.19+nmu1) over (0.1.19build1) ...
Setting up libip4tc2:ppc64el (1.8.10-3ubuntu2) ...
Setting up libtext-iconv-perl:ppc64el (1.7-8build3) ...
Setting up libtext-charwidth-perl:ppc64el (0.04-11build3) ...
Setting up libkeyutils1:ppc64el (1.6.3-3build1) ...
Setting up lto-disabled-list (47) ...
Setting up apt-utils (2.9.2) ...
Setting up libgpm2:ppc64el (1.20.7-11) ...
Setting up liblockfile-bin (1.17-1build3) ...
Setting up libgdbm6t64:ppc64el (1.23-5.1build1) ...
Setting up bsdextrautils (2.39.3-9ubuntu6) ...
Setting up init (1.66ubuntu1) ...
Setting up libgdbm-compat4t64:ppc64el (1.23-5.1build1) ...
Setting up psmisc (23.7-1build1) ...
Setting up libtirpc-common (1.3.4+ds-1.3) ...
Setting up libsqlite3-0:ppc64el (3.45.3-1) ...
Setting up binutils-common:ppc64el (2.42-4ubuntu2) ...
Setting up linux-libc-dev:ppc64el (6.8.0-31.31) ...
Setting up libctf-nobfd0:ppc64el (2.42-4ubuntu2) ...
Setting up krb5-locales (1.20.1-6ubuntu2) ...
Setting up libgomp1:ppc64el (14-20240412-0ubuntu1) ...
Setting up bzip2 (1.0.8-5.1) ...
Setting up libsframe1:ppc64el (2.42-4ubuntu2) ...
Setting up libfakeroot:ppc64el (1.34-1) ...
Setting up libjansson4:ppc64el (2.14-2build2) ...
Setting up libkrb5support0:ppc64el (1.20.1-6ubuntu2) ...
Setting up tzdata (2024a-4ubuntu1) ...

Current default time zone: 'Etc/UTC'
Local time is now:      Fri May  3 11:00:48 UTC 2024.
Universal Time is now:  Fri May  3 11:00:48 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:ppc64el (13.2.0-23ubuntu4) ...
Setting up make (4.3-4.1build2) ...
Setting up libmpfr6:ppc64el (4.2.1-1build1) ...
Setting up bash-completion (1:2.12.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 libquadmath0:ppc64el (14-20240412-0ubuntu1) ...
Setting up libproc2-0:ppc64el (2:4.0.4-4ubuntu3) ...
Setting up libpng16-16t64:ppc64el (1.6.43-5build1) ...
Setting up libmpc3:ppc64el (1.3.1-1build1) ...
Setting up libatomic1:ppc64el (14-20240412-0ubuntu1) ...
Setting up patch (2.7.6-7build3) ...
Setting up libss2:ppc64el (1.47.0-2.4~exp1ubuntu4) ...
Setting up libncursesw6:ppc64el (6.4+20240113-1ubuntu2) ...
Setting up libk5crypto3:ppc64el (1.20.1-6ubuntu2) ...
Setting up logsave (1.47.0-2.4~exp1ubuntu4) ...
Setting up libubsan1:ppc64el (14-20240412-0ubuntu1) ...
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:ppc64el (1:4.4.36-4build1) ...
Setting up libasan8:ppc64el (14-20240412-0ubuntu1) ...
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:ppc64el (1.20.1-6ubuntu2) ...
Setting up liblockfile1:ppc64el (1.17-1build3) ...
Setting up libperl5.38t64:ppc64el (5.38.2-4) ...
Setting up libtsan2:ppc64el (14-20240412-0ubuntu1) ...
Setting up libbinutils:ppc64el (2.42-4ubuntu2) ...
Setting up libisl23:ppc64el (0.26-3build1) ...
Setting up libc-dev-bin (2.39-0ubuntu8.1) ...
Setting up cpp-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ...
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:ppc64el (14-20240412-0ubuntu1) ...
Setting up liblocale-gettext-perl (1.07-6ubuntu5) ...
Setting up liblsan0:ppc64el (14-20240412-0ubuntu1) ...
Setting up libitm1:ppc64el (14-20240412-0ubuntu1) ...
Setting up cpp-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
Setting up libctf0:ppc64el (2.42-4ubuntu2) ...
Setting up pinentry-curses (1.2.1-3ubuntu5) ...
Setting up cpp-13 (13.2.0-23ubuntu4) ...
Setting up debconf-i18n (1.5.86ubuntu1) ...
Setting up e2fsprogs (1.47.0-2.4~exp1ubuntu4) ...
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:ppc64el (1.20.1-6ubuntu2) ...
Setting up libdpkg-perl (1.22.6ubuntu10) ...
Setting up libreadline8t64:ppc64el (8.2-4build1) ...
Setting up libgcc-13-dev:ppc64el (13.2.0-23ubuntu4) ...
Setting up cpp (4:13.2.0-7ubuntu1) ...
Setting up gpgconf (2.4.4-2ubuntu17) ...
Setting up libc6-dev:ppc64el (2.39-0ubuntu8.1) ...
Setting up binutils-powerpc64le-linux-gnu (2.42-4ubuntu2) ...
Setting up gpg (2.4.4-2ubuntu17) ...
Setting up libstdc++-13-dev:ppc64el (13.2.0-23ubuntu4) ...
Setting up gpg-agent (2.4.4-2ubuntu17) ...
Setting up libtirpc3t64:ppc64el (1.3.4+ds-1.1build1) ...
Setting up binutils (2.42-4ubuntu2) ...
Setting up dpkg-dev (1.22.6ubuntu10) ...
Setting up libtirpc-dev:ppc64el (1.3.4+ds-1.1build1) ...
Setting up gcc-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ...
Setting up gcc-13 (13.2.0-23ubuntu4) ...
Setting up libnsl2:ppc64el (1.3.0-3build3) ...
Setting up libnss-nisplus:ppc64el (1.3-5build1) ...
Setting up g++-13-powerpc64le-linux-gnu (13.2.0-23ubuntu4) ...
Setting up gcc-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
Setting up libnss-nis:ppc64el (3.1-0ubuntu7) ...
Setting up libnsl-dev:ppc64el (1.3.0-3build3) ...
Setting up g++-powerpc64le-linux-gnu (4:13.2.0-7ubuntu1) ...
Setting up g++-13 (13.2.0-23ubuntu4) ...
Setting up gcc (4:13.2.0-7ubuntu1) ...
Setting up g++ (4:13.2.0-7ubuntu1) ...
Processing triggers for libc-bin (2.39-0ubuntu8.1) ...
Processing triggers for debianutils (5.17build1) ...
(Reading database ... 15877 files and directories currently installed.)
Purging configuration files for libssl3:ppc64el (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-28156880 ppc64el oracular-proposed -c chroot:build-PACKAGEBUILD-28156880 --arch=ppc64el --dist=oracular-proposed --nolog coq-hierarchy-builder_1.7.0-1build1.dsc
Initiating build PACKAGEBUILD-28156880 with 4 jobs across 4 processor cores.
Kernel reported to sbuild: 5.4.0-177-generic #197-Ubuntu SMP Thu Mar 28 22:55:42 UTC 2024 ppc64le
sbuild (Debian sbuild) 0.79.0 (05 February 2020) on bos01-ppc64el-010.buildd

+===============================================================================+
| coq-hierarchy-builder 1.7.0-1build1 (ppc64el) Fri, 03 May 2024 11:00:57 +0000 |
+===============================================================================+

Package: coq-hierarchy-builder
Version: 1.7.0-1build1
Source Version: 1.7.0-1build1
Distribution: oracular-proposed
Machine Architecture: ppc64el
Host Architecture: ppc64el
Build Architecture: ppc64el
Build Type: any

I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-28156880/chroot-autobuild' with '<<CHROOT>>'
I: NOTICE: Log filtering will replace 'build/coq-hierarchy-builder-PuKajQ/resolver-0foCRN' with '<<RESOLVERDIR>>'

+------------------------------------------------------------------------------+
| Fetch source files                                                           |
+------------------------------------------------------------------------------+


Local sources
-------------

coq-hierarchy-builder_1.7.0-1build1.dsc exists in .; copying to chroot
I: NOTICE: Log filtering will replace 'build/coq-hierarchy-builder-PuKajQ/coq-hierarchy-builder-1.7.0' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/coq-hierarchy-builder-PuKajQ' with '<<BUILDDIR>>'

+------------------------------------------------------------------------------+
| Install package build dependencies                                           |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libelpi-ocaml-dev, wdiff, build-essential, fakeroot
Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libelpi-ocaml-dev, wdiff, build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<<RESOLVERDIR>>/apt_archive/sbuild-build-depends-main-dummy.deb'.
Ign:1 copy:/<<RESOLVERDIR>>/apt_archive ./ InRelease
Get:2 copy:/<<RESOLVERDIR>>/apt_archive ./ Release [957 B]
Ign:3 copy:/<<RESOLVERDIR>>/apt_archive ./ Release.gpg
Get:4 copy:/<<RESOLVERDIR>>/apt_archive ./ Sources [403 B]
Get:5 copy:/<<RESOLVERDIR>>/apt_archive ./ Packages [485 B]
Fetched 1845 B in 0s (123 kB/s)
Reading package lists...
Reading package lists...

Install main build dependencies (apt-based resolver)
----------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
  apt-utils bash-completion ca-certificates debconf-i18n krb5-locales
  libgpg-error-l10n libgpm2 libgssapi-krb5-2 libip4tc2 libk5crypto3
  libkeyutils1 libkrb5-3 libkrb5support0 liblocale-gettext-perl libnsl-dev
  libnsl2 libnss-nis libnss-nisplus 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-core-ocaml libcoq-core-ocaml-dev
  libcoq-elpi libcoq-stdlib libdebhelper-perl libdw1t64 libelf1t64
  libelpi-ocaml libelpi-ocaml-dev libexpat1 libfile-stripnondeterminism-perl
  libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl
  libicu74 libmagic-mgc libmagic1t64 libmenhir-ocaml-dev libncurses-dev
  libncurses6 libocaml-compiler-libs-ocaml-dev libpipeline1
  libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev
  libppxlib-ocaml-dev libpython3-stdlib libpython3.12-minimal
  libpython3.12-stdlib libre-ocaml-dev libresult-ocaml libresult-ocaml-dev
  libsexplib0-ocaml libsexplib0-ocaml-dev libstdlib-ocaml libstdlib-ocaml-dev
  libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml
  libzarith-ocaml-dev m4 man-db media-types netbase ocaml ocaml-base
  ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.12
  python3.12-minimal wdiff
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit
  | readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev
  libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc
  libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less
  www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc
  python3-tk python3-venv python3.12-venv python3.12-doc binfmt-support
  wdiff-doc
Recommended packages:
  curl | wget | lynx libarchive-cpio-perl ocaml-man libltdl-dev ledit
  | readline-editor libmail-sendmail-perl
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev coq debhelper debugedit
  dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base intltool-debian libarchive-zip-perl
  libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-core-ocaml-dev
  libcoq-elpi libcoq-stdlib libdebhelper-perl libdw1t64 libelf1t64
  libelpi-ocaml libelpi-ocaml-dev libexpat1 libfile-stripnondeterminism-perl
  libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl
  libicu74 libmagic-mgc libmagic1t64 libmenhir-ocaml-dev libncurses-dev
  libncurses6 libocaml-compiler-libs-ocaml-dev libpipeline1
  libppx-derivers-ocaml-dev libppx-deriving-ocaml libppx-deriving-ocaml-dev
  libppxlib-ocaml-dev libpython3-stdlib libpython3.12-minimal
  libpython3.12-stdlib libre-ocaml-dev libresult-ocaml libresult-ocaml-dev
  libsexplib0-ocaml libsexplib0-ocaml-dev libstdlib-ocaml libstdlib-ocaml-dev
  libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml
  libzarith-ocaml-dev m4 man-db media-types netbase ocaml ocaml-base
  ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.12
  python3.12-minimal sbuild-build-depends-main-dummy wdiff
0 upgraded, 78 newly installed, 0 to remove and 0 not upgraded.
Need to get 425 MB of archives.
After this operation, 1599 MB of additional disk space will be used.
Get:1 copy:/<<RESOLVERDIR>>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [702 B]
Get:2 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpython3.12-minimal ppc64el 3.12.3-1 [834 kB]
Get:3 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libexpat1 ppc64el 2.6.2-1 [98.5 kB]
Get:4 http://ftpmaster.internal/ubuntu oracular/main ppc64el python3.12-minimal ppc64el 3.12.3-1 [2494 kB]
Get:5 http://ftpmaster.internal/ubuntu oracular/main ppc64el python3-minimal ppc64el 3.12.3-0ubuntu1 [27.2 kB]
Get:6 http://ftpmaster.internal/ubuntu oracular/main ppc64el media-types all 10.1.0 [27.5 kB]
Get:7 http://ftpmaster.internal/ubuntu oracular/main ppc64el netbase all 6.4 [13.1 kB]
Get:8 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpython3.12-stdlib ppc64el 3.12.3-1 [2122 kB]
Get:9 http://ftpmaster.internal/ubuntu oracular/main ppc64el python3.12 ppc64el 3.12.3-1 [651 kB]
Get:10 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpython3-stdlib ppc64el 3.12.3-0ubuntu1 [9890 B]
Get:11 http://ftpmaster.internal/ubuntu oracular/main ppc64el python3 ppc64el 3.12.3-0ubuntu1 [24.1 kB]
Get:12 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libelf1t64 ppc64el 0.191-1 [68.0 kB]
Get:13 http://ftpmaster.internal/ubuntu oracular/main ppc64el libicu74 ppc64el 74.2-1ubuntu3 [11.3 MB]
Get:14 http://ftpmaster.internal/ubuntu oracular/main ppc64el libxml2 ppc64el 2.9.14+dfsg-1.3ubuntu3 [840 kB]
Get:15 http://ftpmaster.internal/ubuntu oracular/main ppc64el libmagic-mgc ppc64el 1:5.45-3build1 [307 kB]
Get:16 http://ftpmaster.internal/ubuntu oracular/main ppc64el libmagic1t64 ppc64el 1:5.45-3build1 [106 kB]
Get:17 http://ftpmaster.internal/ubuntu oracular/main ppc64el file ppc64el 1:5.45-3build1 [22.7 kB]
Get:18 http://ftpmaster.internal/ubuntu oracular/main ppc64el gettext-base ppc64el 0.21-14ubuntu2 [42.8 kB]
Get:19 http://ftpmaster.internal/ubuntu oracular/main ppc64el libuchardet0 ppc64el 0.0.8-1build1 [79.3 kB]
Get:20 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el groff-base ppc64el 1.23.0-4 [1106 kB]
Get:21 http://ftpmaster.internal/ubuntu oracular/main ppc64el libncurses6 ppc64el 6.4+20240113-1ubuntu2 [148 kB]
Get:22 http://ftpmaster.internal/ubuntu oracular/main ppc64el libpipeline1 ppc64el 1.5.7-2 [26.9 kB]
Get:23 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el man-db ppc64el 2.12.1-1 [1278 kB]
Get:24 http://ftpmaster.internal/ubuntu oracular/main ppc64el m4 ppc64el 1.4.19-4build1 [278 kB]
Get:25 http://ftpmaster.internal/ubuntu oracular/main ppc64el autoconf all 2.71-3 [339 kB]
Get:26 http://ftpmaster.internal/ubuntu oracular/main ppc64el autotools-dev all 20220109.1 [44.9 kB]
Get:27 http://ftpmaster.internal/ubuntu oracular/main ppc64el automake all 1:1.16.5-1.3ubuntu1 [558 kB]
Get:28 http://ftpmaster.internal/ubuntu oracular/main ppc64el autopoint all 0.21-14ubuntu2 [422 kB]
Get:29 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el libcoq-stdlib ppc64el 8.19.1+dfsg-1 [27.1 MB]
Get:30 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libstdlib-ocaml ppc64el 4.14.1-1ubuntu1 [416 kB]
Get:31 http://ftpmaster.internal/ubuntu oracular/universe ppc64el ocaml-base ppc64el 4.14.1-1ubuntu1 [315 kB]
Get:32 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libfindlib-ocaml ppc64el 1.9.6-1build4 [201 kB]
Get:33 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libzarith-ocaml ppc64el 1.13-2build4 [132 kB]
Get:34 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el libcoq-core-ocaml ppc64el 8.19.1+dfsg-1 [28.2 MB]
Get:35 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libstdlib-ocaml-dev ppc64el 4.14.1-1ubuntu1 [8533 kB]
Get:36 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libcompiler-libs-ocaml-dev ppc64el 4.14.1-1ubuntu1 [38.4 MB]
Get:37 http://ftpmaster.internal/ubuntu oracular/universe ppc64el ocaml-interp ppc64el 4.14.1-1ubuntu1 [7826 kB]
Get:38 http://ftpmaster.internal/ubuntu oracular/main ppc64el libncurses-dev ppc64el 6.4+20240113-1ubuntu2 [485 kB]
Get:39 http://ftpmaster.internal/ubuntu oracular/universe ppc64el ocaml ppc64el 4.14.1-1ubuntu1 [82.9 MB]
Get:40 http://ftpmaster.internal/ubuntu oracular/universe ppc64el ocaml-findlib ppc64el 1.9.6-1build4 [616 kB]
Get:41 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el coq ppc64el 8.19.1+dfsg-1 [99.4 MB]
Get:42 http://ftpmaster.internal/ubuntu oracular/main ppc64el libdebhelper-perl all 13.14.1ubuntu5 [89.8 kB]
Get:43 http://ftpmaster.internal/ubuntu oracular/main ppc64el libtool all 2.4.7-7build1 [166 kB]
Get:44 http://ftpmaster.internal/ubuntu oracular/main ppc64el dh-autoreconf all 20 [16.1 kB]
Get:45 http://ftpmaster.internal/ubuntu oracular/main ppc64el libarchive-zip-perl all 1.68-1 [90.2 kB]
Get:46 http://ftpmaster.internal/ubuntu oracular/main ppc64el libsub-override-perl all 0.10-1 [10.0 kB]
Get:47 http://ftpmaster.internal/ubuntu oracular/main ppc64el libfile-stripnondeterminism-perl all 1.13.1-1 [18.1 kB]
Get:48 http://ftpmaster.internal/ubuntu oracular/main ppc64el dh-strip-nondeterminism all 1.13.1-1 [5362 B]
Get:49 http://ftpmaster.internal/ubuntu oracular-proposed/main ppc64el libdw1t64 ppc64el 0.191-1 [303 kB]
Get:50 http://ftpmaster.internal/ubuntu oracular/main ppc64el debugedit ppc64el 1:5.0-5build2 [51.4 kB]
Get:51 http://ftpmaster.internal/ubuntu oracular/main ppc64el dwz ppc64el 0.15-1build6 [142 kB]
Get:52 http://ftpmaster.internal/ubuntu oracular/main ppc64el gettext ppc64el 0.21-14ubuntu2 [985 kB]
Get:53 http://ftpmaster.internal/ubuntu oracular/main ppc64el intltool-debian all 0.35.0+20060710.6 [23.2 kB]
Get:54 http://ftpmaster.internal/ubuntu oracular/main ppc64el po-debconf all 1.0.21+nmu1 [233 kB]
Get:55 http://ftpmaster.internal/ubuntu oracular/main ppc64el debhelper all 13.14.1ubuntu5 [869 kB]
Get:56 http://ftpmaster.internal/ubuntu oracular/universe ppc64el dh-coq all 0.8 [6766 B]
Get:57 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libfindlib-ocaml-dev ppc64el 1.9.6-1build4 [188 kB]
Get:58 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgmpxx4ldbl ppc64el 2:6.3.0+dfsg-2ubuntu6 [10.3 kB]
Get:59 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgmp-dev ppc64el 2:6.3.0+dfsg-2ubuntu6 [372 kB]
Get:60 http://ftpmaster.internal/ubuntu oracular/main ppc64el libgmp3-dev ppc64el 2:6.3.0+dfsg-2ubuntu6 [2312 B]
Get:61 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libzarith-ocaml-dev ppc64el 1.13-2build4 [129 kB]
Get:62 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el libcoq-core-ocaml-dev ppc64el 8.19.1+dfsg-1 [53.7 MB]
Get:63 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libresult-ocaml ppc64el 1.5-4build1 [7550 B]
Get:64 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libsexplib0-ocaml ppc64el 0.16.0-3build2 [131 kB]
Get:65 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libppx-deriving-ocaml ppc64el 5.2.1-4build2 [4855 kB]
Get:66 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el libelpi-ocaml ppc64el 1.18.2-1 [5001 kB]
Get:67 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libmenhir-ocaml-dev ppc64el 20231231+ds-1 [764 kB]
Get:68 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libocaml-compiler-libs-ocaml-dev ppc64el 0.12.4-4build2 [98.9 kB]
Get:69 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libppx-derivers-ocaml-dev ppc64el 1.2.1-4build2 [17.6 kB]
Get:70 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libsexplib0-ocaml-dev ppc64el 0.16.0-3build2 [289 kB]
Get:71 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libppxlib-ocaml-dev ppc64el 0.32.0-1 [20.0 MB]
Get:72 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libresult-ocaml-dev ppc64el 1.5-4build1 [11.4 kB]
Get:73 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libppx-deriving-ocaml-dev ppc64el 5.2.1-4build2 [983 kB]
Get:74 http://ftpmaster.internal/ubuntu oracular/universe ppc64el libre-ocaml-dev ppc64el 1.11.0-1build2 [1101 kB]
Get:75 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el libelpi-ocaml-dev ppc64el 1.18.2-1 [12.1 MB]
Get:76 http://ftpmaster.internal/ubuntu oracular-proposed/universe ppc64el libcoq-elpi ppc64el 2.1.0-1build1 [4298 kB]
Get:77 http://ftpmaster.internal/ubuntu oracular/main ppc64el wdiff ppc64el 1.2.2-6build1 [29.0 kB]
Get:78 http://ftpmaster.internal/ubuntu oracular/universe ppc64el dh-ocaml all 2.0 [75.7 kB]
Preconfiguring packages ...
Fetched 425 MB in 19s (22.1 MB/s)
Selecting previously unselected package libpython3.12-minimal:ppc64el.
(Reading database ... 15877 files and directories currently installed.)
Preparing to unpack .../libpython3.12-minimal_3.12.3-1_ppc64el.deb ...
Unpacking libpython3.12-minimal:ppc64el (3.12.3-1) ...
Selecting previously unselected package libexpat1:ppc64el.
Preparing to unpack .../libexpat1_2.6.2-1_ppc64el.deb ...
Unpacking libexpat1:ppc64el (2.6.2-1) ...
Selecting previously unselected package python3.12-minimal.
Preparing to unpack .../python3.12-minimal_3.12.3-1_ppc64el.deb ...
Unpacking python3.12-minimal (3.12.3-1) ...
Setting up libpython3.12-minimal:ppc64el (3.12.3-1) ...
Setting up libexpat1:ppc64el (2.6.2-1) ...
Setting up python3.12-minimal (3.12.3-1) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 16195 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.12.3-0ubuntu1_ppc64el.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:ppc64el.
Preparing to unpack .../3-libpython3.12-stdlib_3.12.3-1_ppc64el.deb ...
Unpacking libpython3.12-stdlib:ppc64el (3.12.3-1) ...
Selecting previously unselected package python3.12.
Preparing to unpack .../4-python3.12_3.12.3-1_ppc64el.deb ...
Unpacking python3.12 (3.12.3-1) ...
Selecting previously unselected package libpython3-stdlib:ppc64el.
Preparing to unpack .../5-libpython3-stdlib_3.12.3-0ubuntu1_ppc64el.deb ...
Unpacking libpython3-stdlib:ppc64el (3.12.3-0ubuntu1) ...
Setting up python3-minimal (3.12.3-0ubuntu1) ...
Selecting previously unselected package python3.
(Reading database ... 16636 files and directories currently installed.)
Preparing to unpack .../00-python3_3.12.3-0ubuntu1_ppc64el.deb ...
Unpacking python3 (3.12.3-0ubuntu1) ...
Selecting previously unselected package libelf1t64:ppc64el.
Preparing to unpack .../01-libelf1t64_0.191-1_ppc64el.deb ...
Unpacking libelf1t64:ppc64el (0.191-1) ...
Selecting previously unselected package libicu74:ppc64el.
Preparing to unpack .../02-libicu74_74.2-1ubuntu3_ppc64el.deb ...
Unpacking libicu74:ppc64el (74.2-1ubuntu3) ...
Selecting previously unselected package libxml2:ppc64el.
Preparing to unpack .../03-libxml2_2.9.14+dfsg-1.3ubuntu3_ppc64el.deb ...
Unpacking libxml2:ppc64el (2.9.14+dfsg-1.3ubuntu3) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../04-libmagic-mgc_1%3a5.45-3build1_ppc64el.deb ...
Unpacking libmagic-mgc (1:5.45-3build1) ...
Selecting previously unselected package libmagic1t64:ppc64el.
Preparing to unpack .../05-libmagic1t64_1%3a5.45-3build1_ppc64el.deb ...
Unpacking libmagic1t64:ppc64el (1:5.45-3build1) ...
Selecting previously unselected package file.
Preparing to unpack .../06-file_1%3a5.45-3build1_ppc64el.deb ...
Unpacking file (1:5.45-3build1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../07-gettext-base_0.21-14ubuntu2_ppc64el.deb ...
Unpacking gettext-base (0.21-14ubuntu2) ...
Selecting previously unselected package libuchardet0:ppc64el.
Preparing to unpack .../08-libuchardet0_0.0.8-1build1_ppc64el.deb ...
Unpacking libuchardet0:ppc64el (0.0.8-1build1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../09-groff-base_1.23.0-4_ppc64el.deb ...
Unpacking groff-base (1.23.0-4) ...
Selecting previously unselected package libncurses6:ppc64el.
Preparing to unpack .../10-libncurses6_6.4+20240113-1ubuntu2_ppc64el.deb ...
Unpacking libncurses6:ppc64el (6.4+20240113-1ubuntu2) ...
Selecting previously unselected package libpipeline1:ppc64el.
Preparing to unpack .../11-libpipeline1_1.5.7-2_ppc64el.deb ...
Unpacking libpipeline1:ppc64el (1.5.7-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../12-man-db_2.12.1-1_ppc64el.deb ...
Unpacking man-db (2.12.1-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../13-m4_1.4.19-4build1_ppc64el.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_ppc64el.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_ppc64el.deb ...
Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../20-ocaml-base_4.14.1-1ubuntu1_ppc64el.deb ...
Unpacking ocaml-base (4.14.1-1ubuntu1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../21-libfindlib-ocaml_1.9.6-1build4_ppc64el.deb ...
Unpacking libfindlib-ocaml (1.9.6-1build4) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../22-libzarith-ocaml_1.13-2build4_ppc64el.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_ppc64el.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_ppc64el.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_ppc64el.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_ppc64el.deb ...
Unpacking ocaml-interp (4.14.1-1ubuntu1) ...
Selecting previously unselected package libncurses-dev:ppc64el.
Preparing to unpack .../27-libncurses-dev_6.4+20240113-1ubuntu2_ppc64el.deb ...
Unpacking libncurses-dev:ppc64el (6.4+20240113-1ubuntu2) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../28-ocaml_4.14.1-1ubuntu1_ppc64el.deb ...
Unpacking ocaml (4.14.1-1ubuntu1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../29-ocaml-findlib_1.9.6-1build4_ppc64el.deb ...
Unpacking ocaml-findlib (1.9.6-1build4) ...
Selecting previously unselected package coq.
Preparing to unpack .../30-coq_8.19.1+dfsg-1_ppc64el.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:ppc64el.
Preparing to unpack .../38-libdw1t64_0.191-1_ppc64el.deb ...
Unpacking libdw1t64:ppc64el (0.191-1) ...
Selecting previously unselected package debugedit.
Preparing to unpack .../39-debugedit_1%3a5.0-5build2_ppc64el.deb ...
Unpacking debugedit (1:5.0-5build2) ...
Selecting previously unselected package dwz.
Preparing to unpack .../40-dwz_0.15-1build6_ppc64el.deb ...
Unpacking dwz (0.15-1build6) ...
Selecting previously unselected package gettext.
Preparing to unpack .../41-gettext_0.21-14ubuntu2_ppc64el.deb ...
Unpacking gettext (0.21-14ubuntu2) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../42-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../43-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../44-debhelper_13.14.1ubuntu5_all.deb ...
Unpacking debhelper (13.14.1ubuntu5) ...
Selecting previously unselected package dh-coq.
Preparing to unpack .../45-dh-coq_0.8_all.deb ...
Unpacking dh-coq (0.8) ...
Selecting previously unselected package libfindlib-ocaml-dev.
Preparing to unpack .../46-libfindlib-ocaml-dev_1.9.6-1build4_ppc64el.deb ...
Unpacking libfindlib-ocaml-dev (1.9.6-1build4) ...
Selecting previously unselected package libgmpxx4ldbl:ppc64el.
Preparing to unpack .../47-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu6_ppc64el.deb ...
Unpacking libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu6) ...
Selecting previously unselected package libgmp-dev:ppc64el.
Preparing to unpack .../48-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu6_ppc64el.deb ...
Unpacking libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu6) ...
Selecting previously unselected package libgmp3-dev:ppc64el.
Preparing to unpack .../49-libgmp3-dev_2%3a6.3.0+dfsg-2ubuntu6_ppc64el.deb ...
Unpacking libgmp3-dev:ppc64el (2:6.3.0+dfsg-2ubuntu6) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../50-libzarith-ocaml-dev_1.13-2build4_ppc64el.deb ...
Unpacking libzarith-ocaml-dev (1.13-2build4) ...
Selecting previously unselected package libcoq-core-ocaml-dev.
Preparing to unpack .../51-libcoq-core-ocaml-dev_8.19.1+dfsg-1_ppc64el.deb ...
Unpacking libcoq-core-ocaml-dev (8.19.1+dfsg-1) ...
Selecting previously unselected package libresult-ocaml.
Preparing to unpack .../52-libresult-ocaml_1.5-4build1_ppc64el.deb ...
Unpacking libresult-ocaml (1.5-4build1) ...
Selecting previously unselected package libsexplib0-ocaml.
Preparing to unpack .../53-libsexplib0-ocaml_0.16.0-3build2_ppc64el.deb ...
Unpacking libsexplib0-ocaml (0.16.0-3build2) ...
Selecting previously unselected package libppx-deriving-ocaml.
Preparing to unpack .../54-libppx-deriving-ocaml_5.2.1-4build2_ppc64el.deb ...
Unpacking libppx-deriving-ocaml (5.2.1-4build2) ...
Selecting previously unselected package libelpi-ocaml.
Preparing to unpack .../55-libelpi-ocaml_1.18.2-1_ppc64el.deb ...
Unpacking libelpi-ocaml (1.18.2-1) ...
Selecting previously unselected package libmenhir-ocaml-dev.
Preparing to unpack .../56-libmenhir-ocaml-dev_20231231+ds-1_ppc64el.deb ...
Unpacking libmenhir-ocaml-dev (20231231+ds-1) ...
Selecting previously unselected package libocaml-compiler-libs-ocaml-dev.
Preparing to unpack .../57-libocaml-compiler-libs-ocaml-dev_0.12.4-4build2_ppc64el.deb ...
Unpacking libocaml-compiler-libs-ocaml-dev (0.12.4-4build2) ...
Selecting previously unselected package libppx-derivers-ocaml-dev.
Preparing to unpack .../58-libppx-derivers-ocaml-dev_1.2.1-4build2_ppc64el.deb ...
Unpacking libppx-derivers-ocaml-dev (1.2.1-4build2) ...
Selecting previously unselected package libsexplib0-ocaml-dev.
Preparing to unpack .../59-libsexplib0-ocaml-dev_0.16.0-3build2_ppc64el.deb ...
Unpacking libsexplib0-ocaml-dev (0.16.0-3build2) ...
Selecting previously unselected package libppxlib-ocaml-dev.
Preparing to unpack .../60-libppxlib-ocaml-dev_0.32.0-1_ppc64el.deb ...
Unpacking libppxlib-ocaml-dev (0.32.0-1) ...
Selecting previously unselected package libresult-ocaml-dev.
Preparing to unpack .../61-libresult-ocaml-dev_1.5-4build1_ppc64el.deb ...
Unpacking libresult-ocaml-dev (1.5-4build1) ...
Selecting previously unselected package libppx-deriving-ocaml-dev.
Preparing to unpack .../62-libppx-deriving-ocaml-dev_5.2.1-4build2_ppc64el.deb ...
Unpacking libppx-deriving-ocaml-dev (5.2.1-4build2) ...
Selecting previously unselected package libre-ocaml-dev.
Preparing to unpack .../63-libre-ocaml-dev_1.11.0-1build2_ppc64el.deb ...
Unpacking libre-ocaml-dev (1.11.0-1build2) ...
Selecting previously unselected package libelpi-ocaml-dev.
Preparing to unpack .../64-libelpi-ocaml-dev_1.18.2-1_ppc64el.deb ...
Unpacking libelpi-ocaml-dev (1.18.2-1) ...
Selecting previously unselected package libcoq-elpi.
Preparing to unpack .../65-libcoq-elpi_2.1.0-1build1_ppc64el.deb ...
Unpacking libcoq-elpi (2.1.0-1build1) ...
Selecting previously unselected package wdiff.
Preparing to unpack .../66-wdiff_1.2.2-6build1_ppc64el.deb ...
Unpacking wdiff (1.2.2-6build1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../67-dh-ocaml_2.0_all.deb ...
Unpacking dh-ocaml (2.0) ...
Selecting previously unselected package sbuild-build-depends-main-dummy.
Preparing to unpack .../68-sbuild-build-depends-main-dummy_0.invalid.0_ppc64el.deb ...
Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ...
Setting up media-types (10.1.0) ...
Setting up libpipeline1:ppc64el (1.5.7-2) ...
Setting up wdiff (1.2.2-6build1) ...
Setting up libmagic-mgc (1:5.45-3build1) ...
Setting up dh-coq (0.8) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.14.1ubuntu5) ...
Setting up libmagic1t64:ppc64el (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:ppc64el (0.191-1) ...
Setting up libdw1t64:ppc64el (0.191-1) ...
Setting up autotools-dev (20220109.1) ...
Setting up libcoq-stdlib (8.19.1+dfsg-1) ...
Setting up libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu6) ...
Setting up libncurses6:ppc64el (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:ppc64el (74.2-1ubuntu3) ...
Setting up libsexplib0-ocaml (0.16.0-3build2) ...
Setting up dwz (0.15-1build6) ...
Setting up libuchardet0:ppc64el (0.0.8-1build1) ...
Setting up debugedit (1:5.0-5build2) ...
Setting up libsub-override-perl (0.10-1) ...
Setting up netbase (6.4) ...
Setting up libresult-ocaml (1.5-4build1) ...
Setting up libxml2:ppc64el (2.9.14+dfsg-1.3ubuntu3) ...
Setting up automake (1:1.16.5-1.3ubuntu1) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.13.1-1) ...
Setting up libppx-deriving-ocaml (5.2.1-4build2) ...
Setting up libncurses-dev:ppc64el (6.4+20240113-1ubuntu2) ...
Setting up gettext (0.21-14ubuntu2) ...
Setting up libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu6) ...
Setting up libpython3.12-stdlib:ppc64el (3.12.3-1) ...
Setting up libtool (2.4.7-7build1) ...
Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ...
Setting up python3.12 (3.12.3-1) ...
Setting up libfindlib-ocaml (1.9.6-1build4) ...
Setting up libzarith-ocaml (1.13-2build4) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (20) ...
Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ...
Setting up ocaml-interp (4.14.1-1ubuntu1) ...
Setting up ocaml-findlib (1.9.6-1build4) ...
Setting up dh-strip-nondeterminism (1.13.1-1) ...
Setting up libelpi-ocaml (1.18.2-1) ...
Setting up libcoq-core-ocaml (8.19.1+dfsg-1) ...
Setting up groff-base (1.23.0-4) ...
Setting up libgmp3-dev:ppc64el (2:6.3.0+dfsg-2ubuntu6) ...
Setting up libpython3-stdlib:ppc64el (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 libre-ocaml-dev (1.11.0-1build2) ...
Setting up libmenhir-ocaml-dev (20231231+ds-1) ...
Setting up libocaml-compiler-libs-ocaml-dev (0.12.4-4build2) ...
Setting up libfindlib-ocaml-dev (1.9.6-1build4) ...
Setting up libsexplib0-ocaml-dev (0.16.0-3build2) ...
Setting up coq (8.19.1+dfsg-1) ...
Setting up libresult-ocaml-dev (1.5-4build1) ...
Setting up libzarith-ocaml-dev (1.13-2build4) ...
Setting up libppx-derivers-ocaml-dev (1.2.1-4build2) ...
Setting up libppxlib-ocaml-dev (0.32.0-1) ...
Setting up debhelper (13.14.1ubuntu5) ...
Setting up libcoq-core-ocaml-dev (8.19.1+dfsg-1) ...
Setting up libppx-deriving-ocaml-dev (5.2.1-4build2) ...
Setting up libelpi-ocaml-dev (1.18.2-1) ...
Setting up libcoq-elpi (2.1.0-1build1) ...
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 (ppc64el included in any)

+------------------------------------------------------------------------------+
| Build environment                                                            |
+------------------------------------------------------------------------------+

Kernel: Linux 5.4.0-177-generic #197-Ubuntu SMP Thu Mar 28 22:55:42 UTC 2024 ppc64el (ppc64le)
Toolchain package versions: binutils_2.42-4ubuntu2 dpkg-dev_1.22.6ubuntu10 g++-13_13.2.0-23ubuntu4 gcc-13_13.2.0-23ubuntu4 libc6-dev_2.39-0ubuntu8.1 libstdc++-13-dev_13.2.0-23ubuntu4 libstdc++6_14-20240412-0ubuntu1 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.12.0-1 binutils_2.42-4ubuntu2 binutils-common_2.42-4ubuntu2 binutils-powerpc64le-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-23ubuntu4 cpp-13-powerpc64le-linux-gnu_13.2.0-23ubuntu4 cpp-powerpc64le-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-23ubuntu4 g++-13-powerpc64le-linux-gnu_13.2.0-23ubuntu4 g++-powerpc64le-linux-gnu_4:13.2.0-7ubuntu1 gcc_4:13.2.0-7ubuntu1 gcc-13_13.2.0-23ubuntu4 gcc-13-base_13.2.0-23ubuntu4 gcc-13-powerpc64le-linux-gnu_13.2.0-23ubuntu4 gcc-14-base_14-20240412-0ubuntu1 gcc-powerpc64le-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-20240412-0ubuntu1 libassuan0_2.5.6-1build1 libatomic1_14-20240412-0ubuntu1 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-20240412-0ubuntu1 libcom-err2_1.47.0-2.4~exp1ubuntu4 libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1 libcoq-core-ocaml_8.19.1+dfsg-1 libcoq-core-ocaml-dev_8.19.1+dfsg-1 libcoq-elpi_2.1.0-1build1 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 libelf1t64_0.191-1 libelpi-ocaml_1.18.2-1 libelpi-ocaml-dev_1.18.2-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-23ubuntu4 libgcc-s1_14-20240412-0ubuntu1 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-20240412-0ubuntu1 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 libitm1_14-20240412-0ubuntu1 libjansson4_2.14-2build2 libjson-c5_0.17-1build1 libk5crypto3_1.20.1-6ubuntu2 libkeyutils1_1.6.3-3build1 libkmod2_31+20240202-2ubuntu7 libkrb5-3_1.20.1-6ubuntu2 libkrb5support0_1.20.1-6ubuntu2 liblocale-gettext-perl_1.07-6ubuntu5 liblockfile-bin_1.17-1build3 liblockfile1_1.17-1build3 liblsan0_14-20240412-0ubuntu1 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 libmenhir-ocaml-dev_20231231+ds-1 libmount1_2.39.3-9ubuntu6 libmpc3_1.3.1-1build1 libmpfr6_4.2.1-1build1 libncurses-dev_6.4+20240113-1ubuntu2 libncurses6_6.4+20240113-1ubuntu2 libncursesw6_6.4+20240113-1ubuntu2 libnettle8t64_3.9.1-2.2build1 libnpth0t64_1.6-3.1build1 libnsl-dev_1.3.0-3build3 libnsl2_1.3.0-3build3 libnss-nis_3.1-0ubuntu7 libnss-nisplus_1.3-5build1 libocaml-compiler-libs-ocaml-dev_0.12.4-4build2 libp11-kit0_0.25.3-4ubuntu2 libpam-modules_1.5.3-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 libppx-derivers-ocaml-dev_1.2.1-4build2 libppx-deriving-ocaml_5.2.1-4build2 libppx-deriving-ocaml-dev_5.2.1-4build2 libppxlib-ocaml-dev_0.32.0-1 libproc2-0_2:4.0.4-4ubuntu3 libpython3-stdlib_3.12.3-0ubuntu1 libpython3.12-minimal_3.12.3-1 libpython3.12-stdlib_3.12.3-1 libquadmath0_14-20240412-0ubuntu1 libre-ocaml-dev_1.11.0-1build2 libreadline8t64_8.2-4build1 libresult-ocaml_1.5-4build1 libresult-ocaml-dev_1.5-4build1 libseccomp2_2.5.5-1ubuntu3 libselinux1_3.5-2ubuntu2 libsemanage-common_3.5-1build5 libsemanage2_3.5-1build5 libsepol2_3.5-2build1 libsexplib0-ocaml_0.16.0-3build2 libsexplib0-ocaml-dev_0.16.0-3build2 libsframe1_2.42-4ubuntu2 libsmartcols1_2.39.3-9ubuntu6 libsqlite3-0_3.45.3-1 libss2_1.47.0-2.4~exp1ubuntu4 libssl3t64_3.0.13-0ubuntu3 libstdc++-13-dev_13.2.0-23ubuntu4 libstdc++6_14-20240412-0ubuntu1 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.1build1 libtirpc3t64_1.3.4+ds-1.1build1 libtool_2.4.7-7build1 libtsan2_14-20240412-0ubuntu1 libubsan1_14-20240412-0ubuntu1 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_47 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 wdiff_1.2.2-6build1 xz-utils_5.6.1+really5.4.5-1 zlib1g_1:1.3.dfsg-3.1ubuntu2

+------------------------------------------------------------------------------+
| Build                                                                        |
+------------------------------------------------------------------------------+


Unpack source
-------------

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.7.0-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/hierarchy-builder
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hierarchy-builder
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hierarchy-builder.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libelpi-ocaml-dev, wdiff
Package-List:
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 4725abac8eadd73b813aac6accdac884eec28503 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 3a10cd6516a05bbb580e5e0589efd6e5eaac6039 2836 coq-hierarchy-builder_1.7.0-1build1.debian.tar.xz
Checksums-Sha256:
 c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 63b70be384cc5ec54049c3deb0142babd2f240f0a30a1df58995e23b07c29610 2836 coq-hierarchy-builder_1.7.0-1build1.debian.tar.xz
Files:
 ce0cc24816a0ce0ceb05cf819084b34e 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 802096444f942965ca03ae2985d097d0 2836 coq-hierarchy-builder_1.7.0-1build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz86wACgkQ808JdE6f
XdmS6g//TDFhJC7ekIJt8hyvT81T20ybheDCXjJHp5hHIyJhnwslRyoH345dQfDE
5B6H0bKzGlW7F+OQfrqPbSOLQ/MmNVIQemZeRh+cAINDyaL3pjHlRNmKK5JM530j
ajgDNrsqi7ZnifbvvfcvNypAWHsYaJkqU3kYhmbCHI7uWnC6Wbcrf4OkIKtbjHfx
4ytmSTiSBYfz9EuzlDaLr1Un0OZQ4+wfu2+QKG3Fmx7vl9qOcMs1RHFExDi3WxQW
hZ6dr2fhHwxwrnpSawSY6QfNvxb8ClfY7EyH1vwY5enLh8IWBJF3erSDOrOOJsY+
Q7ju4Qd8XTuyCej0gB/12kyV9r+HCV8k5HUVpvtBuYg9N0PilbgewXnz5/yBUmEM
ryypE+CiaxxB/9uadYp2OT42S77+UsDaP8rFOwHTGULIP04RiU3ZZx2tAec/8qEG
WfvkjDiO4gCFqEg8hQQUs5lEnC8PPBAo51suomy8tWMJRONZ3XoITkoJt7WbQTuS
S0clH0b0KZG/wH7sLJnBYotlkXsv02tgI2yota3Cf/T+dP9GJEh3Hfb/IkTJCJcT
zw5KlhMo5b3Ts/qZQFvHlf2MoD1FaFGZtZdOJZCE46TlJyKXp4PkCfEbaxzRsc3Z
B+VlNjKjkbJtAlJiv/qLJ1DVHQ7oAYjt2BPSuFvqi2B5crUatLo=
=5g4Y
-----END PGP SIGNATURE-----

gpgv: Signature made Thu May  2 20:12:28 2024 UTC
gpgv:                using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify inline signature for ./coq-hierarchy-builder_1.7.0-1build1.dsc: no acceptable signature found
dpkg-source: info: extracting coq-hierarchy-builder in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking coq-hierarchy-builder_1.7.0.orig.tar.gz
dpkg-source: info: unpacking coq-hierarchy-builder_1.7.0-1build1.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-28156880
SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-28156880
SCHROOT_COMMAND=env
SCHROOT_GID=2501
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=build-PACKAGEBUILD-28156880
SCHROOT_UID=2001
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=unknown
USER=buildd
V=1

dpkg-buildpackage
-----------------

Command: dpkg-buildpackage -us -uc -mLaunchpad Build Daemon <buildd@bos01-ppc64el-010.buildd> -B -rfakeroot
dpkg-buildpackage: info: source package coq-hierarchy-builder
dpkg-buildpackage: info: source version 1.7.0-1build1
dpkg-buildpackage: info: source distribution oracular
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture ppc64el
 debian/rules clean
dh clean --with coq,ocaml
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
make clean
make[2]: Entering directory '/<<PKGBUILDDIR>>'
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
find . -name "*.cm*" -delete
find . -name "*.aux" -delete
rm -f Makefile.coq Makefile.coq.conf
rm -f Makefile.test-suite.coq Makefile.test-suite.coq.conf
rm -f *dot
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_ocamlclean
   dh_clean
 debian/rules binary-arch
dh binary-arch --with coq,ocaml
   dh_update_autotools_config -a
   dh_autoreconf -a
   dh_ocamlinit -a
   dh_auto_configure -a
   dh_auto_build -a
	make -j4 "INSTALL=install --strip-program=true"
make[1]: Entering directory '/<<PKGBUILDDIR>>'
make config
make[2]: Entering directory '/<<PKGBUILDDIR>>'
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make build
make[2]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/coq_makefile  -f _CoqProject -o Makefile.coq
Warning: . and tests overlap (used in -R or -Q)

Warning: . and examples overlap (used in -R or -Q)

make -f Makefile.coq 
make[3]: Entering directory '/<<PKGBUILDDIR>>'
COQDEP VFILES
COQC structures.v
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make test-suite
make[2]: Entering directory '/<<PKGBUILDDIR>>'
make -f Makefile.coq 
/usr/bin/coq_makefile  -f _CoqProject.test-suite -o Makefile.test-suite.coq
make[3]: Entering directory '/<<PKGBUILDDIR>>'
Warning: . and tests overlap (used in -R or -Q)

Warning: . and examples overlap (used in -R or -Q)

make[4]: Nothing to be done for 'real-all'.
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make -f Makefile.test-suite.coq 
make[3]: Entering directory '/<<PKGBUILDDIR>>'
COQDEP VFILES
COQC examples/readme.v
COQC examples/hulk.v
COQC examples/demo1/hierarchy_0.v
COQC examples/demo1/hierarchy_1.v
[1714734121.562547] HB:  start module and section AddComoid_of_Type
[1714734121.563167] HB:  converting arguments 
indt-decl
 (parameter A explicit X0 c0 \
   record AddComoid_of_Type (sort (typ X1)) Build_AddComoid_of_Type 
    (field [coercion off, canonical tt] zero c0 c1 \
      field [coercion off, canonical tt] add 
       (prod `_` c0 c2 \ prod `_` c0 c3 \ c0) c2 \
       field [coercion off, canonical tt] addrA 
        (prod `x` (X2 c0 c1 c2) c3 \
          prod `y` (X3 c0 c1 c2 c3) c4 \
           prod `z` (X4 c0 c1 c2 c3 c4) c5 \
            app
             [global (indt «eq»), X5 c0 c1 c2 c3 c4 c5, 
              app [c2, c3, app [c2, c4, c5]], app [c2, app [c2, c3, c4], c5]]) 
        c3 \
        field [coercion off, canonical tt] addrC 
         (prod `x` (X6 c0 c1 c2 c3) c4 \
           prod `y` (X7 c0 c1 c2 c3 c4) c5 \
            app
             [global (indt «eq»), X8 c0 c1 c2 c3 c4 c5, app [c2, c4, c5], 
              app [c2, c5, c4]]) c4 \
         field [coercion off, canonical tt] add0r 
          (prod `x` (X9 c0 c1 c2 c3 c4) c5 \
            app
             [global (indt «eq»), X10 c0 c1 c2 c3 c4 c5, app [c2, c1, c5], 
              c5]) c5 \ end-record)) to factories
[1714734121.563927] HB:  processing key parameter
[1714734121.564283] HB:  converting factories 
w-params.nil A (sort (typ «HB.examples.readme.2»)) c0 \ [] to mixins
[1714734121.564361] HB:  declaring context 
w-params.nil A (sort (typ «HB.examples.readme.2»)) c0 \ []
[1714734121.564501] HB:  declaring parameters and key as section variables
Here is the list of mixins to declare (the order matters):  []
[1714734121.570752] HB:  declare mixin or factory
[1714734121.570861] HB:  declare record axioms_
COQC examples/demo1/hierarchy_2.v
[1714734121.705596] HB:  declare notation Build
[1714734121.715705] HB:  declare notation axioms
[1714734121.729212] HB:  start module Exports
[1714734121.795382] HB:  end modules and sections; export 
«HB.examples.readme.AddComoid_of_Type.Exports»
(* 
 
Module AddComoid_of_Type.
Section AddComoid_of_Type.
Variable A : Type.
Local Arguments A : clear implicits.
Section axioms_.
Local Unset Implicit Arguments.
Record axioms_ (A : Type) : Type := Axioms_
  {
    zero : A;
    add : A -> A -> A;
    addrA : forall x y z : A, add x (add y z) = add (add x y) z;
    addrC : forall x y : A, add x y = add y x;
    add0r : forall x : A, add zero x = x;
    }.
End axioms_.

Global Arguments axioms_ : clear implicits.
Global Arguments Axioms_ : clear implicits.
Global Arguments zero : clear implicits.
Global Arguments add : clear implicits.
Global Arguments addrA : clear implicits.
Global Arguments addrC : clear implicits.
Global Arguments add0r : clear implicits.
End AddComoid_of_Type.
Global Arguments axioms_ : clear implicits.
Global Arguments Axioms_ : clear implicits.
Definition phant_Build : forall (A : Type) (zero : A) (add : A -> A -> A),
                         (forall x y z : A, add x (add y z) = add (add x y) z) ->
                         (forall x y : A, add x y = add y x) ->
                         (forall x : A, add zero x = x) -> axioms_ A :=
  fun (A : Type) (zero : A) (add : A -> A -> A)
    (addrA : forall x y z : A, add x (add y z) = add (add x y) z)
    (addrC : forall x y : A, add x y = add y x)
    (add0r : forall x : A, add zero x = x) =>
  {|
    zero := zero; add := add; addrA := addrA; addrC := addrC; add0r := add0r
  |}.
Local Arguments phant_Build : clear implicits.
Notation Build X1 := ( phant_Build X1).
Definition phant_axioms : Type -> Type := fun A : Type => axioms_ A.
Local Arguments phant_axioms : clear implicits.
Notation axioms X1 := ( phant_axioms X1).
Definition identity_builder : forall A : Type, axioms_ A -> axioms_ A :=
  fun (A : Type) (x : axioms_ A) => x.
Local Arguments identity_builder : clear implicits.
Module Exports.
Global Arguments Axioms_ {_}.
End Exports.
End AddComoid_of_Type.
Export AddComoid_of_Type.Exports.
Notation AddComoid_of_Type X1 := ( AddComoid_of_Type.phant_axioms X1). 

*)
[1714734121.838506] HB:  start module AddComoid
[1714734121.838826] HB:  declare axioms record 
w-params.nil A (sort (typ «HB.examples.readme.25»)) c0 \
 [triple (indt «AddComoid_of_Type.axioms_») [] c0]
[1714734121.839030] HB:  typing class field 
indt «AddComoid_of_Type.axioms_»
[1714734121.846348] HB:  declare type record
[1714734121.854536] HB:  structure: new mixins 
[indt «AddComoid_of_Type.axioms_»]
[1714734121.854754] HB:  structure: mixin first class 
[mixin-first-class (indt «AddComoid_of_Type.axioms_») (indt «axioms_»)]
[1714734121.854841] HB:  declaring clone abbreviation
[1714734121.863077] HB:  declaring pack_ constant
[1714734121.863907] HB:  declaring pack_ constant = 
fun `A` (sort (typ «axioms_.u0»)) c0 \
 fun `m` (app [global (indt «AddComoid_of_Type.axioms_»), c0]) c1 \
  app [global (indc «Pack»), c0, app [global (indc «Class»), c0, c1]]
[1714734121.865644] HB:  start module Exports
[1714734121.865871] HB:  making coercion from type to target
[1714734121.865949] HB:  declare sort coercion
[1714734121.866223] HB:  exporting unification hints
[1714734121.866353] HB:  exporting coercions from class to mixins
[1714734121.866673] HB:  export class to mixin coercion for mixin 
readme_AddComoid_of_Type
[1714734121.867088] HB:  accumulating various props
[1714734121.874613] HB:  stop module Exports
[1714734121.879400] HB:  declaring on_ abbreviation
[1714734121.962466] HB:  declaring `copy` abbreviation
[1714734121.964090] HB:  declaring on abbreviation
[1714734121.971395] HB:  end modules; export 
«HB.examples.readme.AddComoid.Exports»
[1714734121.973227] HB:  exporting operations
[1714734121.974633] HB:  export operation zero
[1714734121.978707] HB:  export operation add
[1714734121.983255] HB:  export operation addrA
[1714734121.988357] HB:  export operation addrC
[1714734121.993296] HB:  export operation add0r
[1714734121.997090] HB:  operations meta-data module: ElpiOperations
[1714734122.011069] HB:  abbreviation factory-by-classname
(* 
 
Module AddComoid.
Set Primitive Projections. Section axioms_.
                           Local Unset Implicit Arguments.
                           Record axioms_ (A : Type) : Type := Class
                             {
                               readme_AddComoid_of_Type_mixin : AddComoid_of_Type.axioms_
                                                                  A;
                               }.
                           End axioms_.
                           Unset Primitive Projections. 
Global Arguments axioms_ : clear implicits.
Global Arguments Class : clear implicits.
Global Arguments readme_AddComoid_of_Type_mixin : clear implicits.
Section type.
Local Unset Implicit Arguments.
Record type  : Type := Pack { sort : Type; class : axioms_ sort; }.
End type.

Global Arguments type : clear implicits.
Global Arguments Pack : clear implicits.
Global Arguments sort : clear implicits.
Global Arguments class : clear implicits.
Definition phant_clone : forall (A : Type) (cT : type) (c : axioms_ A)
                           (_ : unify Type Type A (sort cT) nomsg)
                           (_ : unify type type cT (Pack A c) nomsg), type :=
  fun (A : Type) (cT : type) (c : axioms_ A)
    (_ : unify Type Type A (sort cT) nomsg)
    (_ : unify type type cT (Pack A c) nomsg) => Pack A c.
Local Arguments phant_clone : clear implicits.
Notation clone X2 X1 := ( phant_clone X2 X1 _ (@id_phant _ _) (@id_phant _ _)).
Definition pack_ :=
  fun (A : Type) (m : AddComoid_of_Type.axioms_ A) => Pack A (Class A m).
Local Arguments pack_ : clear implicits.
Module Exports.
#[reversible] Coercion sort : readme.AddComoid.type >-> Sortclass.
#[reversible] Coercion readme_AddComoid_of_Type_mixin : readme.AddComoid.axioms_ >-> readme.AddComoid_of_Type.axioms_.
End Exports.
Import Exports.
Definition phant_on_ : forall (A : type) (_ : phant (sort A)), axioms_ (sort A) :=
  fun (A : type) (_ : phant (sort A)) => class A.
Local Arguments phant_on_ : clear implicits.
Notation on_ X1 := ( phant_on_ _ (Phant X1)).
Notation copy X2 X1 := ( phant_on_ _ (Phant X1) : axioms_ X2).
Notation on X1 := ( phant_on_ _ (Phant _) : axioms_ X1).
End AddComoid.
Export AddComoid.Exports.
Definition zero : forall s : AddComoid.type, AddComoid.sort s :=
  fun s : AddComoid.type =>
  AddComoid_of_Type.zero (AddComoid.sort s)
    (AddComoid.readme_AddComoid_of_Type_mixin (AddComoid.sort s)
       (AddComoid.class s)).
Local Arguments zero : clear implicits.
Global Arguments zero {_}.
Definition add : forall (s : AddComoid.type) (_ : AddComoid.sort s)
                   (_ : AddComoid.sort s), AddComoid.sort s :=
  fun (s : AddComoid.type) (H H0 : AddComoid.sort s) =>
  AddComoid_of_Type.add (AddComoid.sort s)
    (AddComoid.readme_AddComoid_of_Type_mixin (AddComoid.sort s)
       (AddComoid.class s)) H H0.
Local Arguments add : clear implicits.
Global Arguments add {_}.
Definition addrA : forall (s : AddComoid.type) (x y z : AddComoid.sort s),
                   @eq (AddComoid.sort s) (@add s x (@add s y z))
                     (@add s (@add s x y) z) :=
  fun (s : AddComoid.type) (x y z : AddComoid.sort s) =>
  AddComoid_of_Type.addrA (AddComoid.sort s)
    (AddComoid.readme_AddComoid_of_Type_mixin (AddComoid.sort s)
       (AddComoid.class s)) x y z.
Local Arguments addrA : clear implicits.
Global Arguments addrA {_}.
Definition addrC : forall (s : AddComoid.type) (x y : AddComoid.sort s),
                   @eq (AddComoid.sort s) (@add s x y) (@add s y x) :=
  fun (s : AddComoid.type) (x y : AddComoid.sort s) =>
  AddComoid_of_Type.addrC (AddComoid.sort s)
    (AddComoid.readme_AddComoid_of_Type_mixin (AddComoid.sort s)
       (AddComoid.class s)) x y.
Local Arguments addrC : clear implicits.
Global Arguments addrC {_}.
Definition add0r : forall (s : AddComoid.type) (x : AddComoid.sort s),
                   @eq (AddComoid.sort s) (@add s (@zero s) x) x :=
  fun (s : AddComoid.type) (x : AddComoid.sort s) =>
  AddComoid_of_Type.add0r (AddComoid.sort s)
    (AddComoid.readme_AddComoid_of_Type_mixin (AddComoid.sort s)
       (AddComoid.class s)) x.
Local Arguments add0r : clear implicits.
Global Arguments add0r {_}.
Module AddComoidElpiOperations.
End AddComoidElpiOperations.
Export AddComoidElpiOperations.
Notation AddComoid X1 := ( AddComoid.axioms_ X1). 

*)
[1714734122.021363] HB:  begin module for builders
[1714734122.021625] HB:  begin module Super
[1714734122.021781] HB:  ended module Super
forall (M : AddComoid.type) (x : M), x + x = 0
     : Prop
[1714734122.030143] HB:  postulating factories
[1714734122.030476] HB:  processing key context-item
[1714734122.030710] HB:  processing mixin parameter a
[1714734122.030977] HB:  declaring parameters and key as section variables
Here is the list of mixins to declare (the order matters):  []
COQC examples/demo1/hierarchy_3.v
AbelianGrp.phant_on_ BinNums_Z__canonical__readme_AbelianGrp
  (Phant BinNums_Z__canonical__readme_AbelianGrp)
:
AbelianGrp.axioms_ Z
     : AbelianGrp.axioms_ Z
HB: Z is canonically equipped with structures:
    - AbelianGrp
      (from "./examples/readme.v", line 32)
    - AddComoid
      (from "./examples/readme.v", line 31)

COQC examples/demo1/hierarchy_4.v
File "./examples/hulk.v", line 143, characters 0-63:
Warning:
pulling in dependencies: [Feather_HasEqDec] 

Please list them or end the declaration with '&'
[HB.implicit-structure-dependency,HB,elpi,default]
File "./examples/demo1/hierarchy_2.v", line 57, characters 0-57:
Warning:
pulling in dependencies: 
[hierarchy_2_AddComoid_of_TYPE, hierarchy_2_AddAG_of_AddComoid] 

Please list them or end the declaration with '&'
[HB.implicit-structure-dependency,HB,elpi,default]
HB: A is canonically equipped with structures:
    - Equality
      Singleton
      (from "./examples/hulk.v", line 216)

[1714734123.155436] HB:  declare builder from hierarchy_2_Ring_of_AddComoid 
to hierarchy_2_AddAG_of_AddComoid
[1714734123.155690] HB:  declare builder from hierarchy_2_Ring_of_AddComoid 
to hierarchy_2_Ring_of_AddAG
COQC examples/demo1/hierarchy_5.v
COQC examples/demo1/test_0_0.v
COQC examples/demo1/test_1_0.v
COQC examples/demo1/test_2_0.v
COQC examples/demo1/test_3_0.v
COQC examples/demo1/test_3_3.v
COQC examples/demo1/test_4_0.v
COQC examples/demo1/test_4_3.v
HB.check: 
SemiRing_of_AddComoid.axioms_
:
forall (A : Type) (m : AddMonoid_of_TYPE.axioms_ A),
AddComoid_of_AddMonoid.axioms_ A m -> Type 
: 
forall (A : Type) (m : AddMonoid_of_TYPE.axioms_ A),
AddComoid_of_AddMonoid.axioms_ A m -> Type
COQC examples/demo2/classical.v
COQC examples/demo3/hierarchy_0.v
COQC examples/demo3/hierarchy_1.v
COQC examples/demo3/hierarchy_2.v
COQC examples/demo3/test_0_0.v
COQC examples/demo4/hierarchy_0.v
COQC examples/demo5/hierarchy_0.v
inhab
     : ?s
where
?T : [ |- Type]
?s : [ |- s1.type ?T]
eq_refl : inhab = 7
     : inhab = 7
eq_refl : inhab = (7 :: nil)%list
     : inhab = (7 :: nil)%list
where
?T : [ |- Type]
COQC examples/FSCD2020_material/V1.v
fun X : s2.type nat => inhab : X
     : forall X : s2.type nat, X
fun X : s2.type nat => inj : nat -> X
     : forall X : s2.type nat, nat -> X
s2_to_s1 not a defined object.
COQC examples/FSCD2020_material/V2.v
Record type : Type := Pack { sort : Type;  class : Monoid.axioms_ sort }.

Arguments Monoid.Pack sort%type_scope class
@add
     : forall s : Monoid.type, s -> s -> s
@addNr
     : forall s : Ring.type, left_inverse 0 opp add
COQC examples/FSCD2020_material/V3.v
Record type : Type := Pack { sort : Type;  class : Monoid.axioms_ sort }.

Arguments Monoid.Pack sort%type_scope class
@add
     : forall s : Monoid.type, s -> s -> s
@addNr
     : forall s : AbelianGroup.type, left_inverse 0 opp add
@addrC
     : forall s : AbelianGroup.type, commutative add
COQC examples/FSCD2020_material/V4.v
COQC examples/FSCD2020_talk/V1.v
Record type : Type := Pack { sort : Type;  class : Monoid.axioms_ sort }.

Arguments Monoid.Pack sort%type_scope class
@add
     : forall s : Monoid.type, s -> s -> s
@addNr
     : forall s : AbelianGroup.type, left_inverse 0 opp add
@addrC
     : forall s : AbelianGroup.type, commutative add
COQC examples/FSCD2020_talk/V2.v
COQC examples/FSCD2020_talk/V3.v
Finished transaction in 10.353 secs (10.185u,0.14s) (successful)
Finished transaction in 0. secs (0.u,0.s) (successful)
Record type : Type := Pack { sort : Type;  class : Monoid.axioms_ sort }.

Arguments Monoid.Pack sort%type_scope class
@add
     : forall s : Monoid.type, s -> s -> s
@addNr
     : forall s : AbelianGroup.type, left_inverse 0 opp add
@addrC
     : forall s : AbelianGroup.type, commutative add
COQC examples/Coq2020_material/CoqWS_demo.v
File "./examples/FSCD2020_talk/V2.v", line 17, characters 0-66:
Warning:
pulling in dependencies: [V2_is_semigroup] 

Please list them or end the declaration with '&'
[HB.implicit-structure-dependency,HB,elpi,default]
COQC examples/Coq2020_material/CoqWS_abstract.v
COQC examples/Coq2020_material/CoqWS_expansion/withHB.v
add
     : ?s -> ?s -> ?s
where
?s : [ |- CMonoid.type]
addrC
     : commutative add
where
?s : [ |- CMonoid.type]
File "./examples/Coq2020_material/CoqWS_demo.v", line 73, characters 0-73:
Warning:
pulling in dependencies: [CoqWS_demo_CMonoid_of_Type] 

Please list them or end the declaration with '&'
[HB.implicit-structure-dependency,HB,elpi,default]
forall x y : ?t, x - (y + 0) = x
     : Prop
where
?t : [x : ?t  y : ?t |- AbelianGrp.type] (x, y cannot be used)
forall x y : ?t, 1 + x = y * x
     : Prop
where
?t : [x : ?t  y : ?t |- SemiRing.type] (x, y cannot be used)
addrC
     : commutative add
where
?s : [ |- CMonoid.type]
forall (R : Ring.type) (x y : R), 1 * x = y - x
     : Prop
forall
  (x : join_CoqWS_demo_Ring_between_CoqWS_demo_AbelianGrp_and_CoqWS_demo_SemiRing
         ?t) (y : ?t), 1 * x = y - x
     : Prop
where
?t : [x : join_CoqWS_demo_Ring_between_CoqWS_demo_AbelianGrp_and_CoqWS_demo_SemiRing
            ?t
      y : ?t |- Ring.type] (x, y cannot be used)
COQC examples/Coq2020_material/CoqWS_expansion/withoutHB.v
forall x : Z, x * - (1 + x) = 0 + 1
     : Prop
File "./examples/Coq2020_material/CoqWS_abstract.v", line 23, characters 0-71:
Warning:
pulling in dependencies: [CoqWS_abstract_CMonoid_of_Type] 

Please list them or end the declaration with '&'
[HB.implicit-structure-dependency,HB,elpi,default]
add
     : A -> A -> A
forall x : Z, x * - (1 + x) = 0 + 1
     : Prop
COQC tests/type_of_exported_ops.v
File "./examples/Coq2020_material/CoqWS_expansion/withoutHB.v", line 10, characters 50-62:
Warning: The format modifier has no effect for only-parsing notations.
[discarded-format-only-parsing,parsing,default]
COQC tests/duplicate_structure.v
forall (G : AbelianGrp.type) (x : G), x - x = 0
     : Prop
forall (S : SemiRing.type) (x : S), x * 1 + 0 = x
     : Prop
forall (R : Ring.type) (x y : R), x * - (1 * y) = - x * y
     : Prop
forall x : Z, x * - (1 + x) = 0 + 1
     : Prop
COQC tests/instance_params_no_type.v
COQC tests/test_CS_db_filtering.v
COQC tests/subtype.v
list_foo' : forall P A : Type, is_foo.axioms_ P (list A)

list_foo' is not universe polymorphic
Arguments list_foo' (P A)%type_scope
list_foo' is transparent
Expands to: Constant HB.tests.instance_params_no_type.list_foo'
nat_foo
     : forall P : Type, is_foo.axioms_ P nat
list_foo
     : forall P : Type, is_foo.axioms_ P (list P)
foo.type
     : Type -> Type
Record type (P : Type) : Type := Pack
  { sort : Type;  class : foo.axioms_ P sort }.

Arguments foo.type P%type_scope
Arguments foo.Pack (P sort)%type_scope class
Module
foo
:= Struct
     Record axioms_ (P A : Type) : Type := Class
       { instance_params_no_type_is_foo_mixin : is_foo.axioms_ P A }.
     Definition instance_params_no_type_is_foo_mixin :
       forall P A : Type, axioms_ P A -> is_foo.axioms_ P A.
     Record type (P : Type) : Type := Pack
       { sort : Type;  class : axioms_ P sort }.
     Definition sort : forall P : Type, type P -> Type.
     Definition class :
       forall (P : Type) (record : type P), axioms_ P record.
     Definition phant_clone :
       forall (P A : Type) (cT : type P) (c : axioms_ P A),
       unify Type Type A cT nomsg ->
       unify (type P) (type P) cT {| sort := A; class := c |} nomsg -> type P.
     Definition pack_ : forall P A : Type, is_foo.axioms_ P A -> type P.
     Module Exports
     Definition phant_on_ :
       forall (P : Type) (A : type P), ssreflect.phant A -> axioms_ P A.
   End

Record axioms_ (P A : Type) : Type := Class
  { instance_params_no_type_is_foo_mixin : is_foo.axioms_ P A }.

axioms_ has primitive projections with eta conversion.
Arguments foo.axioms_ (P A)%type_scope
Arguments foo.Class (P A)%type_scope instance_params_no_type_is_foo_mixin
list_bar
     : forall P : b.type, is_bar.axioms_ P (list P)
COQC tests/exports.v
COQC tests/log_impargs_record.v
[1714734137.814061] HB:  start module SubInhab
[1714734137.814438] HB:  declare axioms record 
w-params.cons T (sort (typ «HB.tests.subtype.280»)) c0 \
 w-params.cons P (app [global (const «pred»), c0]) c1 \
  w-params.nil sT (sort (typ «HB.tests.subtype.282»)) c2 \
   [triple (indt «is_inhab.axioms_») [] c2, 
    triple (indt «is_SUB.axioms_») [c0, c1] c2]
[1714734137.814729] HB:  typing class field indt «is_inhab.axioms_»
[1714734137.814948] HB:  typing class field indt «is_SUB.axioms_»
[1714734137.821930] HB:  declare type record
[1714734137.828485] HB:  structure: new mixins []
[1714734137.828718] HB:  structure: mixin first class []
[1714734137.828807] HB:  declaring clone abbreviation
[1714734137.835604] HB:  declaring pack_ constant
[1714734137.837144] HB:  declaring pack_ constant = 
fun `T` (sort (typ «axioms_.u0»)) c0 \
 fun `P` (app [global (const «pred»), c0]) c1 \
  fun `sT` (sort (typ «axioms_.u1»)) c2 \
   fun `m` (app [global (indt «is_inhab.axioms_»), c2]) c3 \
    fun `m` (app [global (indt «is_SUB.axioms_»), c0, c1, c2]) c4 \
     app
      [global (indc «Pack»), c0, c1, c2, 
       app [global (indc «Class»), c0, c1, c2, c3, c4]]
[1714734137.839043] HB:  start module Exports
[1714734137.839287] HB:  making coercion from type to target
[1714734137.839403] HB:  declare sort coercion
[1714734137.839672] HB:  exporting unification hints
[1714734137.840325] HB:  declare coercion subtype_SubInhab__to__subtype_SUB
[1714734137.841203] HB:  declare coercion hint 
subtype_SubInhab_class__to__subtype_SUB_class
[1714734137.847305] HB:  declare unification hint 
subtype_SubInhab__to__subtype_SUB
[1714734137.859888] HB:  declare coercion subtype_SubInhab__to__subtype_Inhab
[1714734137.860981] HB:  declare coercion hint 
subtype_SubInhab_class__to__subtype_Inhab_class
[1714734137.867700] HB:  declare unification hint 
subtype_SubInhab__to__subtype_Inhab
[1714734137.878596] HB:  declare unification hint 
join_subtype_SubInhab_between_subtype_Inhab_and_subtype_SUB
[1714734137.885526] HB:  exporting coercions from class to mixins
[1714734137.886526] HB:  export class to mixin coercion for mixin 
subtype_is_inhab
[1714734137.901598] HB:  export class to mixin coercion for mixin 
subtype_is_SUB
[1714734137.903068] HB:  accumulating various props
[1714734137.924544] HB:  stop module Exports
[1714734137.946427] HB:  declaring on_ abbreviation
[1714734137.959805] HB:  declaring `copy` abbreviation
[1714734137.969850] HB:  declaring on abbreviation
[1714734137.974699] HB:  end modules; export 
«HB.tests.subtype.SubInhab.Exports»
[1714734137.978445] HB:  exporting operations
[1714734137.978912] HB:  operations meta-data module: ElpiOperations
[1714734137.984275] HB:  abbreviation factory-by-classname
(* 
 
Module A.
Section A.
Variable T : Type.
Local Arguments T : clear implicits.
Section axioms_.
Local Unset Implicit Arguments.
Record axioms_ (T : Type) : Type := Axioms_
  {
    a : T;
    f : T -> T;
    p : forall x : T, f x = x -> True;
    q : forall h : f a = a, p a h = p a h;
    }.
End axioms_.

Global Arguments axioms_ : clear implicits.
Global Arguments Axioms_ [_] [_] _ _ _.
Global Arguments a [_] _.
Global Arguments f [_] _ _.
Global Arguments p [_] _ [_] _.
Global Arguments q [_] _ _.
End A.
Global Arguments axioms_ : clear implicits.
Global Arguments Axioms_ : clear implicits.
Definition phant_Build : forall (T : Type) (a : T) (f : T -> T)
                           (p : forall x : T, f x = x -> True),
                         (forall h : f a = a, p a h = p a h) -> axioms_ T :=
  fun (T : Type) (a : T) (f : T -> T) (p : forall x : T, f x = x -> True)
    (q : forall h : f a = a, p a h = p a h) =>
  {| a := a; f := f; p := p; q := q |}.
Local Arguments phant_Build : clear implicits.
Notation Build X1 := ( phant_Build X1).
Definition phant_axioms : Type -> Type := fun T : Type => axioms_ T.
Local Arguments phant_axioms : clear implicits.
Notation axioms X1 := ( phant_axioms X1).
Definition identity_builder : forall T : Type, axioms_ T -> axioms_ T :=
  fun (T : Type) (x : axioms_ T) => x.
Local Arguments identity_builder : clear implicits.
Module Exports.
Global Arguments Axioms_ {_}.
End Exports.
End A.
Export A.Exports.
Notation A X1 := ( A.phant_axioms X1). 

*)
A.p :
forall [T : Type] (record : A.axioms_ T) [x : T], A.f record x = x -> True

A.p is not universe polymorphic
Arguments A.p [T]%type_scope record [x] _
A.p is transparent
Expands to: Constant HB.tests.log_impargs_record.A.p
COQC tests/compress_coe.v
COQC tests/funclass.v
[1714734138.843856] HB:  exporting under the module path []
[1714734138.844197] HB:  exporting modules 
[Ring_of_TYPE.Exports, Ring.Exports, RingElpiOperations, RingExports, 
 Dummy.Exports, URing.Exports, URingElpiOperations, dummy.Exports, 
 Builders_1.Builders_Export_5]
[1714734138.846214] HB:  exporting CS instances 
[«Z_ring_axioms», «BinNums_Z__canonical__Enclosing_Ring»]
[1714734138.846792] HB:  exporting Abbreviations [addr0, addrNK]
forall (R : Enclosing.Ring.type) (x : R), x = x
     : Prop
0%G
     : ?s
where
?s : [ |- Enclosing.Ring.type]
Enclosing.zero : Z
     : Z
COQC tests/grefclass.v
id : forall {T : Type}, Monoid.type T -> T

id is not universe polymorphic
Arguments id {T}%type_scope {s}
id is transparent
Expands to: Constant HB.tests.funclass.id
p : pred nat
     : pred nat
COQC tests/local_instance.v
Monoid.phant_on_ nat Nat_add__canonical__funclass_Monoid
  (Phantom (nat -> nat -> nat) Nat_add__canonical__funclass_Monoid)
:
Monoid.axioms_ nat Init.Nat.add
     : Monoid.axioms_ nat Init.Nat.add
Monoid.phant_on_ nat Nat_mul__canonical__funclass_Monoid
  (Phantom (nat -> nat -> nat) Nat_mul__canonical__funclass_Monoid)
:
Monoid.axioms_ nat Init.Nat.mul
     : Monoid.axioms_ nat Init.Nat.mul
HB.check: forall w : wp.type nat Init.Nat.mul, w = w : Prop
COQC tests/lock.v
default : nat
     : nat
The command did fail as expected with message: 
The term "default" has type "nonempty.sort ?t"
while it is expected to have type "nat".
COQC tests/interleave_context.v
Datatypes_prod__canonical__compress_coe_D =
fun D D' : D.type =>
{|
  D.sort := D.sort D * D.sort D';
  D.class :=
    {|
      D.compress_coe_hasA_mixin :=
        prodA (compress_coe_D__to__compress_coe_A D)
          (compress_coe_D__to__compress_coe_A D');
      D.compress_coe_hasB_mixin :=
        prodB tt (compress_coe_D__to__compress_coe_B D)
          (compress_coe_D__to__compress_coe_B D');
      D.compress_coe_hasC_mixin :=
        prodC tt tt (compress_coe_D__to__compress_coe_C D)
          (compress_coe_D__to__compress_coe_C D');
      D.compress_coe_hasD_mixin := prodD D D'
    |}
|}
     : D.type -> D.type -> D.type

Arguments Datatypes_prod__canonical__compress_coe_D D D'
COQC tests/not_same_key.v
Notation big := big.body
Expands to: Notation HB.tests.lock.X.big
COQC tests/hb_pack.v
COQC tests/declare.v
[1714734140.796685] HB:  start module and section hasA
[1714734140.797189] HB:  converting arguments 
indt-decl
 (parameter T explicit X0 c0 \
   record hasA (sort (typ X1)) Build_hasA 
    (field [coercion off, canonical tt] a c0 c1 \ end-record)) to factories
[1714734140.797538] HB:  processing key parameter
[1714734140.797899] HB:  converting factories 
w-params.nil T (sort (typ «HB.tests.hb_pack.8»)) c0 \ [] to mixins
[1714734140.798060] HB:  declaring context 
w-params.nil T (sort (typ «HB.tests.hb_pack.8»)) c0 \ []
[1714734140.798317] HB:  declaring parameters and key as section variables
Here is the list of mixins to declare (the order matters):  []
[1714734140.802580] HB:  declare mixin or factory
[1714734140.802717] HB:  declare record axioms_
[1714734140.812981] HB:  declare notation Build
[1714734140.818426] HB:  declare notation axioms
[1714734140.828731] HB:  start module Exports
[1714734140.843069] HB:  end modules and sections; export 
«HB.tests.hb_pack.hasA.Exports»
hasA.type not a defined object.
File "./tests/interleave_context.v", line 16, characters 0-52:
Warning:
pulling in dependencies: [interleave_context_HasA, interleave_context_HasB] 

Please list them or end the declaration with '&'
[HB.implicit-structure-dependency,HB,elpi,default]
hasB.type not a defined object.
COQC tests/short.v
hasAB.type not a defined object.
hasA'.type not a defined object.
forall T : AB.type,
unkeyed
  {|
    AB.sort := T;
    AB.class :=
      let hb_pack_hasA_mixin := AB.hb_pack_hasA_mixin _ (AB.class T) in
      let hb_pack_hasB_mixin := AB.hb_pack_hasB_mixin _ (AB.class T) in
      {|
        AB.hb_pack_hasA_mixin := hb_pack_hasA_mixin;
        AB.hb_pack_hasB_mixin := hb_pack_hasB_mixin
      |}
  |}
     : Type
A : A.type
     : A.type
A : A.type
     : A.type
AB1 : hasB.phant_axioms A -> AB.type
     : hasB.phant_axioms A -> AB.type
Bm : hasB.phant_axioms A
     : hasB.phant_axioms A
AB2 : AB.type
     : AB.type
pB : T * T
     : T * T
AB3 : AB.type
     : AB.type
X : Foo.type A P
     : Foo.type A P
COQC tests/instance_before_structure.v
aType
     : Type
hasB.type not a defined object.
T : Fun.type nat
     : Fun.type nat
COQC tests/primitive_records.v
hasAB.type not a defined object.
hasA'.type not a defined object.
COQC tests/non_forgetful_inheritance.v
HB: nat is canonically equipped with structures:
    - s1
      (from "./tests/instance_before_structure.v", line 11)

HB: nat is canonically equipped with structures:
    - s1
      (from "./tests/instance_before_structure.v", line 11)

Query assignments:
  Ind = «hasA.axioms_»
HB: nat is canonically equipped with structures:
    - s1
      (from "./tests/instance_before_structure.v", line 11)

HB: nat is canonically equipped with structures:
    - s1
      (from "./tests/instance_before_structure.v", line 11)

HB: nat is canonically equipped with structures:
    - s3
      s2
      (from "./tests/instance_before_structure.v", line 30)
    - s1
      (from "./tests/instance_before_structure.v", line 11)

default1
     : nat
default2
     : nat
default3
     : nat
COQC tests/fix_loop.v
Query assignments:
  Ind = «A.axioms_»
File "./tests/non_forgetful_inheritance.v", line 35, characters 0-45:
Warning: Could not enable unknown warning HB.non-forgetful-inheritance
[unknown-warning,default]
Debug:
elpi lets escape exception: non forgetful inheritance detected.
 You have two solutions: 
1. (Best practice) Reorganize your hierarchy to make 
non_forgetful_inheritance_HasSq depend on non_forgetful_inheritance_Mul. 
See the paper "Competing inheritance paths in 
dependent type theory" (https://hal.inria.fr/hal-02463336) for more 
explanations 
2. Use the attribute #[non_forgetful_inheritance] to disable this check. 
We strongly advise you encapsulate this instance inside a module, 
in order to isolate it from the rest of the code, and to be able 
to import it on demand. See the above paper and the file 
https://github.com/math-comp/hierarchy-builder/blob/master/tests/non_forgetful_inheritance.v 
to witness devastating effects.
[HB.non-forgetful-inheritance,HB,elpi,default]
COQC tests/test_synthesis_params.v
Query assignments:
  Ind = «A.type»
COQC tests/hnf.v
erefl ?t : ?t = ?t
     : ?t = ?t
where
?t : [ |- Sq.type]
COQC tests/fun_instance.v
Datatypes_nat__canonical__hnf_S =
{| S.sort := nat; S.class := {| S.hnf_M_mixin := HB_unnamed_mixin_8 |} |}
     : S.type
HB_unnamed_mixin_8 =
{| M.x := f.y nat HB_unnamed_factory_6 + 1 |}
     : M.axioms_ nat
Datatypes_bool__canonical__hnf_S =
{| S.sort := bool; S.class := {| S.hnf_M_mixin := HB_unnamed_mixin_12 |} |}
     : S.type
HB_unnamed_mixin_12 =
Builders_1.HB_unnamed_factory_3 bool HB_unnamed_factory_9
     : M.axioms_ bool
COQC tests/issue284.v
COQC tests/issue287.v
COQC tests/two_hier.v
COQC tests/instance_merge_with_param.v
COQC tests/instance_merge_with_distinct_param.v
Finished transaction in 12.341 secs (12.141u,0.19s) (successful)
Module Type
 new_concept_Locked =
 Sig
   Parameter body : nat.
   Parameter unlock :
     body =
     Init.Nat.of_num_uint
       (Number.UIntDecimal
          (Decimal.D9
             (Decimal.D9
                (Decimal.D9
                   (Decimal.D9 (Decimal.D9 (Decimal.D9 Decimal.Nil))))))).
 End
Module
new_concept
 : new_concept_Locked
:= Struct
     Definition body : nat.
     Parameter unlock :
       new_concept =
       Init.Nat.of_num_uint
         (Number.UIntDecimal
            (Decimal.D9
               (Decimal.D9
                  (Decimal.D9
                     (Decimal.D9 (Decimal.D9 (Decimal.D9 Decimal.Nil))))))).
   End

Notation new_concept := new_concept.body
nat : s3.type
     : s3.type
list nat : s3.type
     : s3.type
list (list nat) : s3.type
     : s3.type
fun t : s3.type => list t : s3.type
     : s3.type -> s3.type
HB: list is canonically equipped with structures:
    - s2
      (from "./tests/instance_merge_with_param.v", line 12)
    - s1
      (from "./tests/instance_merge_with_param.v", line 10)

HB: list is canonically equipped with structures:
    - s3
      (from "./tests/instance_merge_with_param.v", line 23)
    - s2
      (from "./tests/instance_merge_with_param.v", line 12)
    - s1
      (from "./tests/instance_merge_with_param.v", line 10)

COQC tests/instance_merge.v
COQC tests/unit/enrich_type.v
nat : s3.type
     : s3.type
list nat : s3.type
     : s3.type
list (list nat) : s3.type
     : s3.type
fun t : s3.type => list t : s3.type
     : s3.type -> s3.type
COQC tests/unit/mixin_src_has_mixin_instance.v
nat : s3'.type Datatypes_nat__canonical__two_hier_s3
     : s3'.type Datatypes_nat__canonical__two_hier_s3
list nat : s3'.type Datatypes_nat__canonical__two_hier_s3
     : s3'.type Datatypes_nat__canonical__two_hier_s3
Datatypes_list__canonical__two_hier_s3'
     : forall x : s3.type, s3'.type x -> s3'.type x
list (list nat) : s3'.type Datatypes_nat__canonical__two_hier_s3
     : s3'.type Datatypes_nat__canonical__two_hier_s3
COQC tests/unit/mk_src_map.v
File "./examples/hulk.v", line 315, characters 0-55:
Warning:
pulling in dependencies: [MissingJoin_isTop] 

Please list them or end the declaration with '&'
[HB.implicit-structure-dependency,HB,elpi,default]
list_foo'
     : forall P A : Type, is_foo.axioms_ P (list A)
list_foo
     : forall P : Type, is_foo.axioms_ P (list P)
Query assignments:
  X = global (indt «nat»)
File "./examples/hulk.v", line 341, characters 0-55:
Warning:
pulling in dependencies: [GoodJoin_isTop] 

Please list them or end the declaration with '&'
[HB.implicit-structure-dependency,HB,elpi,default]
Query assignments:
  M1 = const «m1.phant_axioms»
  Y = has-mixin-instance (cs-gref (indt «nat»)) (const «m1.phant_axioms») 
 (const «nat_m1»)
Query assignments:
  MS = pi c0 \
 pi c1 \
  mixin-src (app [global (indt «list»), c1]) (indt «is_foo.axioms_») 
   (app [global (const «list_foo»), c0]) :- [coq.unify-eq c0 c1 ok]
Query assignments:
  X = app [global (indt «list»), X0]
  Y = X0
Universe constraints:
UNIVERSES:
 {HB.tests.unit.enrich_type.1} |=
   Set <= HB.tests.unit.enrich_type.1
   list.u0 <= HB.tests.unit.enrich_type.1
ALGEBRAIC UNIVERSES:
 {}
FLEXIBLE UNIVERSES:
 
SORTS:
 
WEAK CONSTRAINTS:
 

COQC tests/unit/close_hole_term.v
Query assignments:
  M1 = const «m1.phant_axioms»
  Y = has-mixin-instance (cs-gref (indt «list»)) (const «m1.phant_axioms») 
 (const «i1»)
COQC tests/unit/struct.v
Query assignments:
  MS' = pi c0 \
 pi c1 \
  pi c2 \
   mixin-src (app [global (indt «list»), c2]) (indt «is_foo.axioms_») 
    (app [global (const «list_foo'»), c0, c1]) :- [coq.unify-eq c1 c2 ok]
COQC tests/factory_when_notation.v
Query assignments:
  C = X0
  X = app
 [global (indt «prod»), app [global (indt «list»), X1], 
  app [global (indt «list»), X0]]
  X1 = X1
  Y = c0 \ c1 \
app
 [global (indt «prod»), app [global (indt «list»), c0], 
  app [global (indt «list»), c1]]
Syntactic constraints:
 evar (X2) (sort (typ «HB.tests.unit.enrich_type.5»)) (X2)  /* suspended on X2 */
 evar (X3) (sort (typ «HB.tests.unit.enrich_type.4»)) (X3)  /* suspended on X3 */
Universe constraints:
UNIVERSES:
 {HB.tests.unit.enrich_type.6 HB.tests.unit.enrich_type.5
  HB.tests.unit.enrich_type.4 HB.tests.unit.enrich_type.3
  HB.tests.unit.enrich_type.2} |=
   HB.tests.unit.enrich_type.4 < HB.tests.unit.enrich_type.2
   HB.tests.unit.enrich_type.5 < HB.tests.unit.enrich_type.3
   Set <= HB.tests.unit.enrich_type.6
   Set <= prod.u0
   Set <= prod.u1
   HB.tests.unit.enrich_type.4 <= HB.tests.unit.enrich_type.6
   HB.tests.unit.enrich_type.4 <= prod.u0
   HB.tests.unit.enrich_type.4 <= list.u0
   HB.tests.unit.enrich_type.5 <= HB.tests.unit.enrich_type.6
   HB.tests.unit.enrich_type.5 <= prod.u1
   HB.tests.unit.enrich_type.5 <= list.u0
ALGEBRAIC UNIVERSES:
 {}
FLEXIBLE UNIVERSES:
 
SORTS:
 α1 := Type
 α2 := Type
WEAK CONSTRAINTS:
 

Query assignments:
  X = app [global (indt «list»), X0]
  Y = X0
  Z = fun `x` X1 c0 \ app [global (indt «list»), c0]
  _uvk_1_ = X1
Syntactic constraints:
 evar (X0) (sort (typ «HB.tests.unit.close_hole_term.2»)) (X0)  /* suspended on X0 */
Universe constraints:
UNIVERSES:
 {HB.tests.unit.close_hole_term.3 HB.tests.unit.close_hole_term.2
  HB.tests.unit.close_hole_term.1} |=
   HB.tests.unit.close_hole_term.2 < HB.tests.unit.close_hole_term.1
   Set <= HB.tests.unit.close_hole_term.3
   HB.tests.unit.close_hole_term.2 <= HB.tests.unit.close_hole_term.3
   HB.tests.unit.close_hole_term.2 <= list.u0
ALGEBRAIC UNIVERSES:
 {}
FLEXIBLE UNIVERSES:
 
SORTS:
 α1 := Type
WEAK CONSTRAINTS:
 

COQC examples/demo1/test_5_0.v
Query assignments:
  Z = global (indt «nat»)
Query assignments:
  A = X0
  B = X1
  F = X2
  Inj = «Inj»
  R = X3
  S = X4
  X = app [global (const «Inj»), X0, X1, X3, X4, X2]
  _uvk_10_ = X1
  _uvk_9_ = X0
Syntactic constraints:
 evar (X1) (sort (typ «HB.tests.unit.enrich_type.16»)) (X1)  /* suspended on X1 */
 evar (X0) (sort (typ «HB.tests.unit.enrich_type.15»)) (X0)  /* suspended on X0 */
Universe constraints:
UNIVERSES:
 {HB.tests.unit.enrich_type.16 HB.tests.unit.enrich_type.15
  HB.tests.unit.enrich_type.14 HB.tests.unit.enrich_type.13} |=
   HB.tests.unit.enrich_type.15 < HB.tests.unit.enrich_type.13
   HB.tests.unit.enrich_type.16 < HB.tests.unit.enrich_type.14
   HB.tests.unit.enrich_type.15 <= Inj.u0
   HB.tests.unit.enrich_type.16 <= Inj.u1
ALGEBRAIC UNIVERSES:
 {}
FLEXIBLE UNIVERSES:
 
SORTS:
 α7 := Type
 α8 := Type
WEAK CONSTRAINTS:
 

COQC examples/demo1/test_5_3.v
Query assignments:
  H = []
struct_foo1__to__struct_foo =
fun s : foo1.type => {| foo.sort := s; foo.class := foo1.class s |}
     : foo1.type -> foo.type (option nat)

Arguments struct_foo1__to__struct_foo s
struct_foo1__to__struct_foo is a reversible coercion
COQC examples/demo2/stage10.v
COQC examples/demo2/stage11.v
COQC examples/demo3/test_1_0.v
File "./examples/demo2/stage10.v", line 4, characters 0-25:
Warning: Hiding binding of key Q to Q_scope
[hiding-delimiting-key,parsing,default]
Query assignments:
  X = app [global (const «Inj»), X0, X1, X2, X3, X4]
  Y = app [global (const «Inj»), X0, X1]
  Z = fun `x` X5 c0 \
 fun `x` (X6 c0) c1 \
  fun `x` (X7 c0 c1) c2 \
   fun `x` (X8 c0 c1 c2) c3 \
    fun `x` (X9 c0 c1 c2 c3) c4 \
     app [global (const «Inj»), c0, c1, c2, c3, c4]
  _uvk_10_ = X7
  _uvk_11_ = X8
  _uvk_12_ = X9
  _uvk_6_ = X0
  _uvk_7_ = X1
  _uvk_8_ = X5
  _uvk_9_ = X6
Syntactic constraints:
 evar (X4) (prod `_` X0 c0 \ X1) (X4)  /* suspended on X4 */
 evar (X3) (app [global (const «relation»), X1]) (X3)  /* suspended on X3 */
 evar (X2) (app [global (const «relation»), X0]) (X2)  /* suspended on X2 */
 evar (X1) (sort (typ «HB.tests.unit.close_hole_term.13»)) (X1)  /* suspended on X1 */
 evar (X0) (sort (typ «HB.tests.unit.close_hole_term.12»)) (X0)  /* suspended on X0 */
Universe constraints:
UNIVERSES:
 {HB.tests.unit.close_hole_term.16 HB.tests.unit.close_hole_term.15
  HB.tests.unit.close_hole_term.14 HB.tests.unit.close_hole_term.13
  HB.tests.unit.close_hole_term.12 HB.tests.unit.close_hole_term.11
  HB.tests.unit.close_hole_term.10} |=
   Set < HB.tests.unit.close_hole_term.14
   Set < HB.tests.unit.close_hole_term.15
   HB.tests.unit.close_hole_term.12 < HB.tests.unit.close_hole_term.10
   HB.tests.unit.close_hole_term.13 < HB.tests.unit.close_hole_term.11
   Coq.Relations.Relation_Definitions.1 <= HB.tests.unit.close_hole_term.14
   Coq.Relations.Relation_Definitions.1 <= HB.tests.unit.close_hole_term.15
   HB.tests.unit.close_hole_term.12 <= Coq.Relations.Relation_Definitions.1
   HB.tests.unit.close_hole_term.12 <= Inj.u0
   HB.tests.unit.close_hole_term.12 <= HB.tests.unit.close_hole_term.16
   HB.tests.unit.close_hole_term.13 <= Coq.Relations.Relation_Definitions.1
   HB.tests.unit.close_hole_term.13 <= Inj.u1
   HB.tests.unit.close_hole_term.13 <= HB.tests.unit.close_hole_term.16
ALGEBRAIC UNIVERSES:
 {}
FLEXIBLE UNIVERSES:
 
SORTS:
 α6 := Type
 α7 := Type
 α8 := Type
 α9 := Type
 α10 := Type
WEAK CONSTRAINTS:
 

COQC examples/demo3/test_2_0.v
File "./examples/demo2/stage11.v", line 3, characters 0-25:
Warning: Hiding binding of key Q to Q_scope
[hiding-delimiting-key,parsing,default]
COQC tests/exports2.v
[1714734153.195128] HB:  exporting under the module path []
[1714734153.195373] HB:  exporting modules []
[1714734153.195447] HB:  exporting CS instances []
[1714734153.195510] HB:  exporting Abbreviations []
Qcplus_opp_r: forall q : Qc, q + - q = Q2Qc 0
File "./examples/demo2/stage10.v", line 233, characters 0-27:
Warning: The default and global localities for this command outside sections
are currently equivalent to the combination of the standard meaning of
"global" (as described in the reference manual), "export" and re-exporting
for every surrounding module. It will change to just "global" (with the
meaning used by the "Set" command) in a future release.
To preserve the current meaning in a forward compatible way, use the
attribute "#[global,export]" and repeat the command with just "#[export]" in
any surrounding modules. If you are fine with the change of semantics,
disable this warning.
[deprecated-tacopt-without-locality,deprecated-since-8.17,deprecated,default]
File "./examples/demo2/stage11.v", line 364, characters 0-27:
Warning: The default and global localities for this command outside sections
are currently equivalent to the combination of the standard meaning of
"global" (as described in the reference manual), "export" and re-exporting
for every surrounding module. It will change to just "global" (with the
meaning used by the "Set" command) in a future release.
To preserve the current meaning in a forward compatible way, use the
attribute "#[global,export]" and repeat the command with just "#[export]" in
any surrounding modules. If you are fine with the change of semantics,
disable this warning.
[deprecated-tacopt-without-locality,deprecated-since-8.17,deprecated,default]
HB: skipping section opening
[1714734157.918593] HB:  declare mixin instance 
Stage11_JoinTAddAG__to__Stage11_Uniform_wo_Topology
[1714734157.929933] HB:  declare canonical mixin instance 
«Stage11_JoinTAddAG__to__Stage11_Uniform_wo_Topology»
[1714734157.931480] HB:  declare mixin instance 
Stage11_JoinTAddAG__to__Stage11_Join_TAddAG_Uniform
[1714734157.937784] HB:  declare canonical mixin instance 
«Stage11_JoinTAddAG__to__Stage11_Join_TAddAG_Uniform»
[1714734157.939130] HB:  declare mixin instance 
Stage11_JoinTAddAG__to__Stage11_Join_Uniform_Topology
[1714734157.943980] HB:  declare canonical mixin instance 
«Stage11_JoinTAddAG__to__Stage11_Join_Uniform_Topology»
[1714734157.945226] HB:  declare mixin instance 
Stage11_JoinTAddAG__to__Stage11_JoinTAddAG_wo_Uniform
[1714734157.948865] HB:  declare canonical mixin instance 
«Stage11_JoinTAddAG__to__Stage11_JoinTAddAG_wo_Uniform»
[1714734157.950625] HB:  we can build a Stage11_UniformSpace_wo_Topology on 
Qc
[1714734157.950915] HB:  declare canonical structure instance 
Qcanon_Qc__canonical__Stage11_UniformSpace_wo_Topology
[1714734157.951138] HB:  Giving name HB_unnamed_mixin_46 to mixin instance 
Builders_21.Stage11_JoinTAddAG__to__Stage11_Uniform_wo_Topology Qc
  HB_unnamed_mixin_35 HB_unnamed_mixin_40 HB_unnamed_factory_41
[1714734157.953371] HB:  structure instance for 
Qcanon_Qc__canonical__Stage11_UniformSpace_wo_Topology is 
{|
  UniformSpace_wo_Topology.sort := Qc;
  UniformSpace_wo_Topology.class :=
    {|
      UniformSpace_wo_Topology.Stage11_Uniform_wo_Topology_mixin :=
        HB_unnamed_mixin_46
    |}
|}
[1714734157.956739] HB:  structure instance 
Qcanon_Qc__canonical__Stage11_UniformSpace_wo_Topology declared
[1714734157.957809] HB:  we can build a Stage11_UniformSpace on Qc
[1714734157.958060] HB:  declare canonical structure instance 
Qcanon_Qc__canonical__Stage11_UniformSpace
[1714734157.958518] HB:  structure instance for 
Qcanon_Qc__canonical__Stage11_UniformSpace is 
{|
  UniformSpace.sort := Qc;
  UniformSpace.class :=
    {|
      UniformSpace.Stage11_Topological_mixin := HB_unnamed_mixin_40;
      UniformSpace.Stage11_Uniform_wo_Topology_mixin := HB_unnamed_mixin_46
    |}
|}
[1714734157.961912] HB:  structure instance 
Qcanon_Qc__canonical__Stage11_UniformSpace declared
[1714734157.963077] HB:  we can build a Stage11_TAddAG_wo_Uniform on Qc
[1714734157.963343] HB:  declare canonical structure instance 
Qcanon_Qc__canonical__Stage11_TAddAG_wo_Uniform
[1714734157.963944] HB:  Giving name HB_unnamed_mixin_47 to mixin instance 
Builders_21.to_JoinTAddAG_wo_Uniform Qc HB_unnamed_mixin_35 HB_unnamed_mixin_40
  HB_unnamed_factory_41
[1714734157.966403] HB:  structure instance for 
Qcanon_Qc__canonical__Stage11_TAddAG_wo_Uniform is 
{|
  TAddAG_wo_Uniform.sort := Qc;
  TAddAG_wo_Uniform.class :=
    {|
      TAddAG_wo_Uniform.Stage11_AddAG_of_TYPE_mixin := HB_unnamed_mixin_35;
      TAddAG_wo_Uniform.Stage11_Topological_mixin := HB_unnamed_mixin_40;
      TAddAG_wo_Uniform.Stage11_JoinTAddAG_wo_Uniform_mixin :=
        HB_unnamed_mixin_47
    |}
|}
[1714734157.969860] HB:  structure instance 
Qcanon_Qc__canonical__Stage11_TAddAG_wo_Uniform declared
[1714734157.971421] HB:  we can build a Stage11_Uniform_TAddAG_unjoined on Qc
[1714734157.971667] HB:  declare canonical structure instance 
Qcanon_Qc__canonical__Stage11_Uniform_TAddAG_unjoined
[1714734157.972417] HB:  structure instance for 
Qcanon_Qc__canonical__Stage11_Uniform_TAddAG_unjoined is 
{|
  Uniform_TAddAG_unjoined.sort := Qc;
  Uniform_TAddAG_unjoined.class :=
    {|
      Uniform_TAddAG_unjoined.Stage11_AddAG_of_TYPE_mixin :=
        HB_unnamed_mixin_35;
      Uniform_TAddAG_unjoined.Stage11_Topological_mixin := HB_unnamed_mixin_40;
      Uniform_TAddAG_unjoined.Stage11_JoinTAddAG_wo_Uniform_mixin :=
        HB_unnamed_mixin_47;
      Uniform_TAddAG_unjoined.Stage11_Uniform_wo_Topology_mixin :=
        HB_unnamed_mixin_46
    |}
|}
[1714734157.975833] HB:  structure instance 
Qcanon_Qc__canonical__Stage11_Uniform_TAddAG_unjoined declared
[1714734157.978373] HB:  we can build a Stage11_TAddAG on Qc
[1714734157.978612] HB:  declare canonical structure instance 
Qcanon_Qc__canonical__Stage11_TAddAG
[1714734157.979283] HB:  Giving name HB_unnamed_mixin_48 to mixin instance 
Builders_21.Stage11_JoinTAddAG__to__Stage11_Join_Uniform_Topology Qc
  HB_unnamed_mixin_35 HB_unnamed_mixin_40 HB_unnamed_factory_41
[1714734157.982405] HB:  Giving name HB_unnamed_mixin_49 to mixin instance 
Builders_21.Stage11_JoinTAddAG__to__Stage11_Join_TAddAG_Uniform Qc
  HB_unnamed_mixin_35 HB_unnamed_mixin_40 HB_unnamed_factory_41
[1714734157.985097] HB:  structure instance for 
Qcanon_Qc__canonical__Stage11_TAddAG is 
{|
  TAddAG.sort := Qc;
  TAddAG.class :=
    {|
      TAddAG.Stage11_Uniform_wo_Topology_mixin := HB_unnamed_mixin_46;
      TAddAG.Stage11_AddAG_of_TYPE_mixin := HB_unnamed_mixin_35;
      TAddAG.Stage11_Topological_mixin := HB_unnamed_mixin_40;
      TAddAG.Stage11_Join_Uniform_Topology_mixin := HB_unnamed_mixin_48;
      TAddAG.Stage11_JoinTAddAG_wo_Uniform_mixin := HB_unnamed_mixin_47;
      TAddAG.Stage11_Join_TAddAG_Uniform_mixin := HB_unnamed_mixin_49
    |}
|}
[1714734157.988763] HB:  structure instance 
Qcanon_Qc__canonical__Stage11_TAddAG declared
entourage : set (set (Qc * Qc))
     : set (set (Qc * Qc))
OUTPUT DIFF tests/compress_coe.v
OUTPUT DIFF tests/about.v
OUTPUT DIFF tests/howto.v
OUTPUT DIFF tests/missing_join_error.v
OUTPUT DIFF tests/not_same_key.v
OUTPUT DIFF tests/hnf.v
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_auto_test -a
   create-stamp debian/debhelper-build-stamp
   dh_prep -a
   debian/rules override_dh_auto_install
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_auto_install --destdir=debian/tmp/
	make -j4 install DESTDIR=/<<PKGBUILDDIR>>/debian/tmp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true"
make[2]: Entering directory '/<<PKGBUILDDIR>>'
make -f Makefile.coq  install
make[3]: Entering directory '/<<PKGBUILDDIR>>'
make[3]: warning: jobserver unavailable: using -j1.  Add '+' to parent make rule.
INSTALL structures.vo /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/coq//user-contrib/HB/
INSTALL structures.v /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/coq//user-contrib/HB/
INSTALL structures.glob /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/coq//user-contrib/HB/
make[4]: Entering directory '/<<PKGBUILDDIR>>'
make[4]: Leaving directory '/<<PKGBUILDDIR>>'
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
install -d /<<PKGBUILDDIR>>/debian/tmp/bin
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_install -a
   dh_ocamldoc -a
   dh_installdocs -a
   dh_installchangelogs -a
   debian/rules override_dh_installman
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_installman --language='C'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_perl -a
   dh_link -a
   dh_strip_nondeterminism -a
   dh_compress -a
   dh_fixperms -a
   dh_missing -a
   dh_dwz -a
   dh_strip -a
   dh_makeshlibs -a
   dh_shlibdeps -a
   dh_installdeb -a
   dh_coq -a
   dh_ocaml -a
   dh_gencontrol -a
dpkg-gencontrol: warning: Depends field of package libcoq-hierarchy-builder: substitution variable ${ocaml:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package libcoq-hierarchy-builder: substitution variable ${shlibs:Depends} used, but is not defined
   dh_md5sums -a
   dh_builddeb -a
INFO: pkgstriptranslations version 154
pkgstriptranslations: processing libcoq-hierarchy-builder (in debian/libcoq-hierarchy-builder); do_strip: , oemstrip: 
pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>"
pkgstripfiles: processing control file: debian/libcoq-hierarchy-builder/DEBIAN/control, package libcoq-hierarchy-builder, directory debian/libcoq-hierarchy-builder
pkgstripfiles: Truncating usr/share/doc/libcoq-hierarchy-builder/changelog.Debian.gz to topmost ten records
pkgstripfiles: Running PNG optimization (using 4 cpus) for package libcoq-hierarchy-builder ...
pkgstripfiles: No PNG files.
dpkg-deb: building package 'libcoq-hierarchy-builder' in '../libcoq-hierarchy-builder_1.7.0-1build1_ppc64el.deb'.
 dpkg-genbuildinfo --build=any -O../coq-hierarchy-builder_1.7.0-1build1_ppc64el.buildinfo
 dpkg-genchanges --build=any -mLaunchpad Build Daemon <buildd@bos01-ppc64el-010.buildd> -O../coq-hierarchy-builder_1.7.0-1build1_ppc64el.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-03T11:02:49Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Changes                                                                      |
+------------------------------------------------------------------------------+


coq-hierarchy-builder_1.7.0-1build1_ppc64el.changes:
----------------------------------------------------

Format: 1.8
Date: Thu, 02 May 2024 22:12:27 +0200
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 1.7.0-1build1
Distribution: oracular-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-010.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-hierarchy-builder - build hierarchies of algebraic structures in Coq
Changes:
 coq-hierarchy-builder (1.7.0-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 f042c06474d332b12a2bfab50e805f24fc3bce06 7580 coq-hierarchy-builder_1.7.0-1build1_ppc64el.buildinfo
 ccb7fa3d2ff3f05e791087546bfc51509fd19cdd 288526 libcoq-hierarchy-builder_1.7.0-1build1_ppc64el.deb
Checksums-Sha256:
 38e82f8c8dcc1297a113e0bbe4770f0a4459a7a8ebfd982012476b9c2b0fc0b9 7580 coq-hierarchy-builder_1.7.0-1build1_ppc64el.buildinfo
 4f3364f41a5075f4dc0d8c0befa3d3b0c76805ff7c37033b60eac5bd6bdcb7fd 288526 libcoq-hierarchy-builder_1.7.0-1build1_ppc64el.deb
Files:
 c854a0814341e3dbcf4108160de6f28a 7580 ocaml optional coq-hierarchy-builder_1.7.0-1build1_ppc64el.buildinfo
 3859c1d13056c34eef7ea972ba916502 288526 ocaml optional libcoq-hierarchy-builder_1.7.0-1build1_ppc64el.deb
/<<BUILDDIR>>/coq-hierarchy-builder_1.7.0-1build1_ppc64el.changes.new could not be renamed to /<<BUILDDIR>>/coq-hierarchy-builder_1.7.0-1build1_ppc64el.changes: Illegal seek
Distribution field may be wrong!!!
+------------------------------------------------------------------------------+
| Buildinfo                                                                    |
+------------------------------------------------------------------------------+

Format: 1.0
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: ppc64el
Version: 1.7.0-1build1
Checksums-Md5:
 3859c1d13056c34eef7ea972ba916502 288526 libcoq-hierarchy-builder_1.7.0-1build1_ppc64el.deb
Checksums-Sha1:
 ccb7fa3d2ff3f05e791087546bfc51509fd19cdd 288526 libcoq-hierarchy-builder_1.7.0-1build1_ppc64el.deb
Checksums-Sha256:
 4f3364f41a5075f4dc0d8c0befa3d3b0c76805ff7c37033b60eac5bd6bdcb7fd 288526 libcoq-hierarchy-builder_1.7.0-1build1_ppc64el.deb
Build-Origin: Ubuntu
Build-Architecture: ppc64el
Build-Date: Fri, 03 May 2024 11:02:48 +0000
Build-Path: /<<PKGBUILDDIR>>
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-powerpc64le-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-23ubuntu4),
 cpp-13-powerpc64le-linux-gnu (= 13.2.0-23ubuntu4),
 cpp-powerpc64le-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-23ubuntu4),
 g++-13-powerpc64le-linux-gnu (= 13.2.0-23ubuntu4),
 g++-powerpc64le-linux-gnu (= 4:13.2.0-7ubuntu1),
 gcc (= 4:13.2.0-7ubuntu1),
 gcc-13 (= 13.2.0-23ubuntu4),
 gcc-13-base (= 13.2.0-23ubuntu4),
 gcc-13-powerpc64le-linux-gnu (= 13.2.0-23ubuntu4),
 gcc-14-base (= 14-20240412-0ubuntu1),
 gcc-powerpc64le-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-20240412-0ubuntu1),
 libatomic1 (= 14-20240412-0ubuntu1),
 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-20240412-0ubuntu1),
 libcompiler-libs-ocaml-dev (= 4.14.1-1ubuntu1),
 libcoq-core-ocaml (= 8.19.1+dfsg-1),
 libcoq-core-ocaml-dev (= 8.19.1+dfsg-1),
 libcoq-elpi (= 2.1.0-1build1),
 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),
 libelf1t64 (= 0.191-1),
 libelpi-ocaml (= 1.18.2-1),
 libelpi-ocaml-dev (= 1.18.2-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-23ubuntu4),
 libgcc-s1 (= 14-20240412-0ubuntu1),
 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-20240412-0ubuntu1),
 libgpg-error0 (= 1.47-3build2),
 libicu74 (= 74.2-1ubuntu3),
 libisl23 (= 0.26-3build1),
 libitm1 (= 14-20240412-0ubuntu1),
 libjansson4 (= 2.14-2build2),
 liblsan0 (= 14-20240412-0ubuntu1),
 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),
 libmenhir-ocaml-dev (= 20231231+ds-1),
 libmount1 (= 2.39.3-9ubuntu6),
 libmpc3 (= 1.3.1-1build1),
 libmpfr6 (= 4.2.1-1build1),
 libncurses-dev (= 6.4+20240113-1ubuntu2),
 libncurses6 (= 6.4+20240113-1ubuntu2),
 libncursesw6 (= 6.4+20240113-1ubuntu2),
 libocaml-compiler-libs-ocaml-dev (= 0.12.4-4build2),
 libpam-modules (= 1.5.3-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),
 libppx-derivers-ocaml-dev (= 1.2.1-4build2),
 libppx-deriving-ocaml (= 5.2.1-4build2),
 libppx-deriving-ocaml-dev (= 5.2.1-4build2),
 libppxlib-ocaml-dev (= 0.32.0-1),
 libpython3-stdlib (= 3.12.3-0ubuntu1),
 libpython3.12-minimal (= 3.12.3-1),
 libpython3.12-stdlib (= 3.12.3-1),
 libquadmath0 (= 14-20240412-0ubuntu1),
 libre-ocaml-dev (= 1.11.0-1build2),
 libreadline8t64 (= 8.2-4build1),
 libresult-ocaml (= 1.5-4build1),
 libresult-ocaml-dev (= 1.5-4build1),
 libseccomp2 (= 2.5.5-1ubuntu3),
 libselinux1 (= 3.5-2ubuntu2),
 libsexplib0-ocaml (= 0.16.0-3build2),
 libsexplib0-ocaml-dev (= 0.16.0-3build2),
 libsframe1 (= 2.42-4ubuntu2),
 libsmartcols1 (= 2.39.3-9ubuntu6),
 libsqlite3-0 (= 3.45.3-1),
 libssl3t64 (= 3.0.13-0ubuntu3),
 libstdc++-13-dev (= 13.2.0-23ubuntu4),
 libstdc++6 (= 14-20240412-0ubuntu1),
 libstdlib-ocaml (= 4.14.1-1ubuntu1),
 libstdlib-ocaml-dev (= 4.14.1-1ubuntu1),
 libsub-override-perl (= 0.10-1),
 libsystemd0 (= 255.4-1ubuntu8),
 libtinfo6 (= 6.4+20240113-1ubuntu2),
 libtool (= 2.4.7-7build1),
 libtsan2 (= 14-20240412-0ubuntu1),
 libubsan1 (= 14-20240412-0ubuntu1),
 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 (= 47),
 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),
 wdiff (= 1.2.2-6build1),
 xz-utils (= 5.6.1+really5.4.5-1),
 zlib1g (= 1:1.3.dfsg-3.1ubuntu2)
Environment:
 DEB_BUILD_OPTIONS="parallel=4"
 DEB_BUILD_PROFILES="noudeb"
 LANG="C.UTF-8"
 LC_ALL="C.UTF-8"
 SOURCE_DATE_EPOCH="1714680747"


+------------------------------------------------------------------------------+
| Package contents                                                             |
+------------------------------------------------------------------------------+


libcoq-hierarchy-builder_1.7.0-1build1_ppc64el.deb
--------------------------------------------------

 new Debian package, version 2.0.
 size 288526 bytes: control archive=719 bytes.
     639 bytes,    16 lines      control
     511 bytes,     6 lines      md5sums
 Package: libcoq-hierarchy-builder
 Source: coq-hierarchy-builder
 Version: 1.7.0-1build1
 Architecture: ppc64el
 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
 Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 751
 Depends: libcoq-elpi-h9sp2
 Recommends: ocaml-findlib
 Provides: libcoq-hierarchy-builder-7uhn5
 Section: ocaml
 Priority: optional
 Homepage: https://github.com/math-comp/hierarchy-builder
 Description: build hierarchies of algebraic structures in Coq
  This software provides high-level commands to build hierarchies of algebraic
  structures in the Coq system.

drwxr-xr-x root/root         0 2024-05-02 20:12 ./
drwxr-xr-x root/root         0 2024-05-02 20:12 ./usr/
drwxr-xr-x root/root         0 2024-05-02 20:12 ./usr/lib/
drwxr-xr-x root/root         0 2024-05-02 20:12 ./usr/lib/ocaml/
drwxr-xr-x root/root         0 2024-05-02 20:12 ./usr/lib/ocaml/coq/
drwxr-xr-x root/root         0 2024-05-02 20:12 ./usr/lib/ocaml/coq/user-contrib/
drwxr-xr-x root/root         0 2024-05-02 20:12 ./usr/lib/ocaml/coq/user-contrib/HB/
-rw-r--r-- root/root      6010 2024-05-02 20:12 ./usr/lib/ocaml/coq/user-contrib/HB/structures.glob
-rw-r--r-- root/root     45990 2024-05-02 20:12 ./usr/lib/ocaml/coq/user-contrib/HB/structures.v
-rw-r--r-- root/root    696285 2024-05-02 20:12 ./usr/lib/ocaml/coq/user-contrib/HB/structures.vo
drwxr-xr-x root/root         0 2024-05-02 20:12 ./usr/share/
drwxr-xr-x root/root         0 2024-05-02 20:12 ./usr/share/doc/
drwxr-xr-x root/root         0 2024-05-02 20:12 ./usr/share/doc/libcoq-hierarchy-builder/
-rw-r--r-- root/root       662 2024-05-02 20:12 ./usr/share/doc/libcoq-hierarchy-builder/changelog.Debian.gz
-rw-r--r-- root/root      1319 2024-01-25 05:33 ./usr/share/doc/libcoq-hierarchy-builder/copyright
drwxr-xr-x root/root         0 2024-05-02 20:12 ./var/
drwxr-xr-x root/root         0 2024-05-02 20:12 ./var/lib/
drwxr-xr-x root/root         0 2024-05-02 20:12 ./var/lib/coq/
drwxr-xr-x root/root         0 2024-05-02 20:12 ./var/lib/coq/md5sums/
-rw-r--r-- root/root         5 2024-05-02 20:12 ./var/lib/coq/md5sums/libcoq-hierarchy-builder.checksum


+------------------------------------------------------------------------------+
| Post Build                                                                   |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Cleanup                                                                      |
+------------------------------------------------------------------------------+

Purging /<<BUILDDIR>>
Not removing build depends: as requested

+------------------------------------------------------------------------------+
| Summary                                                                      |
+------------------------------------------------------------------------------+

Build Architecture: ppc64el
Build Type: any
Build-Space: 13124
Build-Time: 65
Distribution: oracular-proposed
Host Architecture: ppc64el
Install-Time: 47
Job: coq-hierarchy-builder_1.7.0-1build1.dsc
Machine Architecture: ppc64el
Package: coq-hierarchy-builder
Package-Time: 112
Source-Version: 1.7.0-1build1
Space: 13124
Status: successful
Version: 1.7.0-1build1
--------------------------------------------------------------------------------
Finished at 2024-05-03T11:02:49Z
Build needed 00:01:52, 13124k disk space
RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=oracular --arch=ppc64el PACKAGEBUILD-28156880
Scanning for processes to kill in build PACKAGEBUILD-28156880