https://launchpad.net/ubuntu/+source/prooftree/0.13-1build9/+build/19109406 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux riscv64-qemu-lcy01-074 5.3.0-13-generic #14+riscv64.5-Ubuntu SMP Wed Nov 13 20:10:41 UTC 2019 riscv64 Buildd toolchain package versions: launchpad-buildd_188 python-lpbuildd_188 sbuild_0.79.0-1ubuntu1 git_1:2.25.1-1ubuntu1 dpkg-dev_1.19.7ubuntu2 python-debian_0.1.36build1. Syncing the system clock with the buildd NTP service... 5 Apr 13:30:08 ntpdate[106878]: adjust time server 10.211.37.1 offset 0.000244 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19109406 --image-type chroot /home/buildd/filecache-default/88ad86cb2b525f1abddded96eadf8014548f7845 Creating target for build PACKAGEBUILD-19109406 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19109406 Starting target for build PACKAGEBUILD-19109406 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19109406 'deb http://ftpmaster.internal/ubuntu focal main universe' Overriding sources.list in build-PACKAGEBUILD-19109406 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19109406 Updating target for build PACKAGEBUILD-19109406 Ign:1 http://archive-team.internal/bootstrap/riscv64 focal InRelease Get:2 http://ftpmaster.internal/ubuntu focal InRelease [265 kB] Get:3 http://archive-team.internal/bootstrap/riscv64 focal Release [757 B] Ign:4 http://archive-team.internal/bootstrap/riscv64 focal Release.gpg Get:5 http://archive-team.internal/bootstrap/riscv64 focal/main riscv64 Packages [602 kB] Get:6 http://ftpmaster.internal/ubuntu focal-proposed InRelease [265 kB] Get:7 http://ftpmaster.internal/ubuntu focal/main riscv64 Packages [780 kB] Get:8 http://ftpmaster.internal/ubuntu focal/main Translation-en [501 kB] Get:9 http://ftpmaster.internal/ubuntu focal/universe riscv64 Packages [6237 kB] Get:10 http://ftpmaster.internal/ubuntu focal/universe Translation-en [5128 kB] Get:11 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 Packages [28.4 kB] Get:12 http://ftpmaster.internal/ubuntu focal-proposed/main Translation-en [30.9 kB] Get:13 http://ftpmaster.internal/ubuntu focal-proposed/restricted Translation-en [860 B] Get:14 http://ftpmaster.internal/ubuntu focal-proposed/universe riscv64 Packages [162 kB] Get:15 http://ftpmaster.internal/ubuntu focal-proposed/universe Translation-en [123 kB] Get:16 http://ftpmaster.internal/ubuntu focal-proposed/multiverse riscv64 Packages [1140 B] Fetched 14.1 MB in 31s (455 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: coreutils gcc-8-base libc-bin libc-dev-bin libc6 libc6-dev liblocale-gettext-perl libperl5.30 libtext-charwidth-perl libtext-iconv-perl perl-base 11 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 12.6 MB of archives. After this operation, 6144 B of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu focal/main riscv64 coreutils riscv64 8.30-3ubuntu2 [1158 kB] Get:2 http://ftpmaster.internal/ubuntu focal/main riscv64 perl-base riscv64 5.30.0-9build1 [1419 kB] Get:3 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 libc6-dev riscv64 2.31-0ubuntu7 [3659 kB] Get:4 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 libc-dev-bin riscv64 2.31-0ubuntu7 [62.5 kB] Get:5 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 libc6 riscv64 2.31-0ubuntu7 [2272 kB] Get:6 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 libc-bin riscv64 2.31-0ubuntu7 [505 kB] Get:7 http://ftpmaster.internal/ubuntu focal/main riscv64 liblocale-gettext-perl riscv64 1.07-4 [16.5 kB] Get:8 http://ftpmaster.internal/ubuntu focal/main riscv64 libtext-charwidth-perl riscv64 0.04-10 [9460 B] Get:9 http://ftpmaster.internal/ubuntu focal/main riscv64 libtext-iconv-perl riscv64 1.7-7 [13.2 kB] Get:10 http://ftpmaster.internal/ubuntu focal-proposed/universe riscv64 gcc-8-base riscv64 8.4.0-3ubuntu2 [18.4 kB] Get:11 http://ftpmaster.internal/ubuntu focal/main riscv64 libperl5.30 riscv64 5.30.0-9build1 [3422 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 12.6 MB in 3s (4512 kB/s) (Reading database ... 9818 files and directories currently installed.) Preparing to unpack .../coreutils_8.30-3ubuntu2_riscv64.deb ... Unpacking coreutils (8.30-3ubuntu2) over (8.30-3ubuntu2) ... Setting up coreutils (8.30-3ubuntu2) ... (Reading database ... 9818 files and directories currently installed.) Preparing to unpack .../perl-base_5.30.0-9build1_riscv64.deb ... Unpacking perl-base (5.30.0-9build1) over (5.30.0-9build1) ... Setting up perl-base (5.30.0-9build1) ... (Reading database ... 9818 files and directories currently installed.) Preparing to unpack .../libc6-dev_2.31-0ubuntu7_riscv64.deb ... Unpacking libc6-dev:riscv64 (2.31-0ubuntu7) over (2.31-0ubuntu6~riscv64.1) ... Preparing to unpack .../libc-dev-bin_2.31-0ubuntu7_riscv64.deb ... Unpacking libc-dev-bin (2.31-0ubuntu7) over (2.31-0ubuntu6~riscv64.1) ... Preparing to unpack .../libc6_2.31-0ubuntu7_riscv64.deb ... Unpacking libc6:riscv64 (2.31-0ubuntu7) over (2.31-0ubuntu6~riscv64.1) ... Setting up libc6:riscv64 (2.31-0ubuntu7) ... (Reading database ... 9818 files and directories currently installed.) Preparing to unpack .../libc-bin_2.31-0ubuntu7_riscv64.deb ... Unpacking libc-bin (2.31-0ubuntu7) over (2.31-0ubuntu6~riscv64.1) ... Setting up libc-bin (2.31-0ubuntu7) ... (Reading database ... 9818 files and directories currently installed.) Preparing to unpack .../liblocale-gettext-perl_1.07-4_riscv64.deb ... Unpacking liblocale-gettext-perl (1.07-4) over (1.07-4) ... Preparing to unpack .../libtext-charwidth-perl_0.04-10_riscv64.deb ... Unpacking libtext-charwidth-perl (0.04-10) over (0.04-10) ... Preparing to unpack .../libtext-iconv-perl_1.7-7_riscv64.deb ... Unpacking libtext-iconv-perl (1.7-7) over (1.7-7) ... Preparing to unpack .../gcc-8-base_8.4.0-3ubuntu2_riscv64.deb ... Unpacking gcc-8-base:riscv64 (8.4.0-3ubuntu2) over (8.4.0-3ubuntu1) ... Preparing to unpack .../libperl5.30_5.30.0-9build1_riscv64.deb ... Unpacking libperl5.30:riscv64 (5.30.0-9build1) over (5.30.0-9build1) ... Setting up libtext-iconv-perl (1.7-7) ... Setting up libtext-charwidth-perl (0.04-10) ... Setting up gcc-8-base:riscv64 (8.4.0-3ubuntu2) ... Setting up libperl5.30:riscv64 (5.30.0-9build1) ... Setting up libc-dev-bin (2.31-0ubuntu7) ... Setting up liblocale-gettext-perl (1.07-4) ... Setting up libc6-dev:riscv64 (2.31-0ubuntu7) ... Processing triggers for libc-bin (2.31-0ubuntu7) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-19109406 riscv64 focal -c chroot:build-PACKAGEBUILD-19109406 --arch=riscv64 --dist=focal --nolog prooftree_0.13-1build9.dsc Initiating build PACKAGEBUILD-19109406 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 5.3.0-13-generic #14+riscv64.5-Ubuntu SMP Wed Nov 13 20:10:41 UTC 2019 riscv64 sbuild (Debian sbuild) 0.79.0 (05 February 2020) on riscv64-qemu-lcy01-074 +==============================================================================+ | prooftree 0.13-1build9 (riscv64) Sun, 05 Apr 2020 13:32:59 +0000 | +==============================================================================+ Package: prooftree Version: 0.13-1build9 Source Version: 0.13-1build9 Distribution: focal Machine Architecture: riscv64 Host Architecture: riscv64 Build Architecture: riscv64 Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-19109406/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/prooftree-at3UXX/resolver-06nhk3' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- prooftree_0.13-1build9.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/prooftree-at3UXX/prooftree-0.13' with '<>' I: NOTICE: Log filtering will replace 'build/prooftree-at3UXX' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper (>= 9.0.0), dh-ocaml (>= 0.9~), ocaml-best-compilers, liblablgtk2-ocaml-dev, build-essential, fakeroot Filtered Build-Depends: debhelper (>= 9.0.0), dh-ocaml (>= 0.9~), ocaml-best-compilers, liblablgtk2-ocaml-dev, build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [957 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [406 B] Get:5 copy:/<>/apt_archive ./ Packages [494 B] Fetched 1857 B in 0s (5885 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libgpm2 Use 'apt autoremove' to remove it. The following additional packages will be installed: adwaita-icon-theme autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dictionaries-common dwz emacsen-common file fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-harfbuzz-0.0 gir1.2-pango-1.0 groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme hunspell-en-us icu-devtools intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libblkid-dev libbsd0 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcroco3 libcups2 libdatrie-dev libdatrie1 libdbus-1-3 libdebhelper-perl libelf1 libenchant-2-2 libenchant-2-dev libexpat1 libexpat1-dev libffi-dev libfile-stripnondeterminism-perl libfontconfig1 libfontconfig1-dev libfreetype-dev libfreetype6 libfreetype6-dev libfribidi-dev libfribidi0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-bin libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libglib2.0-dev-bin libgraphite2-3 libgraphite2-dev libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.7-0 libice-dev libice6 libicu-dev libicu66 libjbig0 libjpeg-turbo8 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblzo2-2 libmagic-mgc libmagic1 libmount-dev libmpdec2 libncurses-dev libncurses5-dev libncurses6 libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3 libpcre2-16-0 libpcre2-32-0 libpcre2-dev libpcre2-posix2 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libpthread-stubs0-dev libpython2-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.8-minimal libpython3.8-stdlib librsvg2-2 librsvg2-common libselinux1-dev libsepol1-dev libsigsegv2 libsm-dev libsm6 libsub-override-perl libthai-data libthai-dev libthai0 libtiff5 libtool libuchardet0 libwebp6 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox pango1.0-tools pkg-config po-debconf python2 python2-minimal python2.7 python2.7-minimal python3 python3-distutils python3-lib2to3 python3-minimal python3.8 python3.8-minimal shared-mime-info tzdata ubuntu-mono ucf uuid-dev x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-dev x11proto-fixes-dev x11proto-input-dev x11proto-randr-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation dh-make git ispell | aspell | hunspell wordlist gettext-doc libasprintf-dev libgettextpo-dev groff hunspell openoffice.org-hunspell | openoffice.org-core aspell libcairo2-doc cups-common libdatrie-doc libenchant-2-voikko freetype2-doc glade | glade-gnome libgirepository1.0-dev libglib2.0-doc libgraphite2-utils krb5-doc krb5-user gvfs libgtk2.0-doc libice-doc icu-doc liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocaml-dev ncurses-doc imagemagick libpango1.0-doc librsvg2-bin libsm-doc libthai-doc libtool-doc gfortran | fortran95-compiler gcj-jdk libx11-doc libxcb-doc libxext-doc m4-doc apparmor less www-browser ocaml-doc tuareg-mode libmail-box-perl python2-doc python-tk python2.7-doc binfmt-support python3-doc python3-tk python3-venv python3.8-venv python3.8-doc Recommended packages: curl | wget | lynx aspell-en | aspell-dictionary | aspell6a-dictionary dbus enchant-2 libarchive-cpio-perl xdg-user-dirs libgail-common libgtk2.0-bin krb5-locales liblablgtk2-ocaml-doc libpng-tools libltdl-dev ocaml-man ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: adwaita-icon-theme autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dictionaries-common dwz emacsen-common file fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-harfbuzz-0.0 gir1.2-pango-1.0 groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme hunspell-en-us icu-devtools intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libblkid-dev libbsd0 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcroco3 libcups2 libdatrie-dev libdatrie1 libdbus-1-3 libdebhelper-perl libelf1 libenchant-2-2 libenchant-2-dev libexpat1 libexpat1-dev libffi-dev libfile-stripnondeterminism-perl libfontconfig1 libfontconfig1-dev libfreetype-dev libfreetype6 libfreetype6-dev libfribidi-dev libfribidi0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-bin libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libglib2.0-dev-bin libgraphite2-3 libgraphite2-dev libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.7-0 libice-dev libice6 libicu-dev libicu66 libjbig0 libjpeg-turbo8 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblzo2-2 libmagic-mgc libmagic1 libmount-dev libmpdec2 libncurses-dev libncurses5-dev libncurses6 libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3 libpcre2-16-0 libpcre2-32-0 libpcre2-dev libpcre2-posix2 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libpthread-stubs0-dev libpython2-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.8-minimal libpython3.8-stdlib librsvg2-2 librsvg2-common libselinux1-dev libsepol1-dev libsigsegv2 libsm-dev libsm6 libsub-override-perl libthai-data libthai-dev libthai0 libtiff5 libtool libuchardet0 libwebp6 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox pango1.0-tools pkg-config po-debconf python2 python2-minimal python2.7 python2.7-minimal python3 python3-distutils python3-lib2to3 python3-minimal python3.8 python3.8-minimal sbuild-build-depends-main-dummy shared-mime-info tzdata ubuntu-mono ucf uuid-dev x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-dev x11proto-fixes-dev x11proto-input-dev x11proto-randr-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev 0 upgraded, 227 newly installed, 0 to remove and 0 not upgraded. Need to get 129 MB of archives. After this operation, 669 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [916 B] Get:2 http://ftpmaster.internal/ubuntu focal/main riscv64 libpython3.8-minimal riscv64 3.8.2-1ubuntu1 [698 kB] Get:3 http://archive-team.internal/bootstrap/riscv64 focal/main riscv64 gtk-update-icon-cache riscv64 3.24.14-1ubuntu1 [28.5 kB] Get:4 http://archive-team.internal/bootstrap/riscv64 focal/main riscv64 libharfbuzz0b riscv64 2.6.4-1ubuntu2+riscv64.1 [397 kB] Get:5 http://ftpmaster.internal/ubuntu focal/main riscv64 libexpat1 riscv64 2.2.9-1build1 [68.8 kB] Get:6 http://archive-team.internal/bootstrap/riscv64 focal/main riscv64 librsvg2-2 riscv64 2.40.20-3+riscv64.1 [88.1 kB] Get:7 http://ftpmaster.internal/ubuntu focal/main riscv64 python3.8-minimal riscv64 3.8.2-1ubuntu1 [1447 kB] Get:8 http://archive-team.internal/bootstrap/riscv64 focal/main riscv64 librsvg2-common riscv64 2.40.20-3+riscv64.1 [4440 B] Get:9 http://archive-team.internal/bootstrap/riscv64 focal/main riscv64 gir1.2-harfbuzz-0.0 riscv64 2.6.4-1ubuntu2+riscv64.1 [26.4 kB] Get:10 http://archive-team.internal/bootstrap/riscv64 focal/main riscv64 libharfbuzz-icu0 riscv64 2.6.4-1ubuntu2+riscv64.1 [5044 B] Get:11 http://archive-team.internal/bootstrap/riscv64 focal/main riscv64 libharfbuzz-gobject0 riscv64 2.6.4-1ubuntu2+riscv64.1 [17.6 kB] Get:12 http://archive-team.internal/bootstrap/riscv64 focal/main riscv64 libharfbuzz-dev riscv64 2.6.4-1ubuntu2+riscv64.1 [1874 kB] Get:13 http://ftpmaster.internal/ubuntu focal/main riscv64 python3-minimal riscv64 3.8.2-0ubuntu2 [23.6 kB] Get:14 http://ftpmaster.internal/ubuntu focal/main riscv64 mime-support all 3.64ubuntu1 [30.6 kB] Get:15 http://ftpmaster.internal/ubuntu focal/main riscv64 libmpdec2 riscv64 2.4.2-3 [79.2 kB] Get:16 http://ftpmaster.internal/ubuntu focal/main riscv64 libpython3.8-stdlib riscv64 3.8.2-1ubuntu1 [1557 kB] Get:17 http://ftpmaster.internal/ubuntu focal/main riscv64 python3.8 riscv64 3.8.2-1ubuntu1 [364 kB] Get:18 http://ftpmaster.internal/ubuntu focal/main riscv64 libpython3-stdlib riscv64 3.8.2-0ubuntu2 [7072 B] Get:19 http://ftpmaster.internal/ubuntu focal/main riscv64 python3 riscv64 3.8.2-0ubuntu2 [47.6 kB] Get:20 http://ftpmaster.internal/ubuntu focal/main riscv64 libbsd0 riscv64 0.10.0-1 [42.0 kB] Get:21 http://ftpmaster.internal/ubuntu focal/main riscv64 bsdmainutils riscv64 11.1.2ubuntu3 [176 kB] Get:22 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 libuchardet0 riscv64 0.0.6-3build1 [64.9 kB] Get:23 http://ftpmaster.internal/ubuntu focal/main riscv64 groff-base riscv64 1.22.4-4build1 [816 kB] Get:24 http://ftpmaster.internal/ubuntu focal/main riscv64 libpipeline1 riscv64 1.5.2-2build1 [23.9 kB] Get:25 http://ftpmaster.internal/ubuntu focal/main riscv64 man-db riscv64 2.9.1-1 [1075 kB] Get:26 http://ftpmaster.internal/ubuntu focal/universe riscv64 libpython2.7-minimal riscv64 2.7.17-1ubuntu6 [335 kB] Get:27 http://ftpmaster.internal/ubuntu focal/universe riscv64 python2.7-minimal riscv64 2.7.17-1ubuntu6 [948 kB] Get:28 http://ftpmaster.internal/ubuntu focal/universe riscv64 python2-minimal riscv64 2.7.17-2ubuntu4 [27.5 kB] Get:29 http://ftpmaster.internal/ubuntu focal/universe riscv64 libpython2.7-stdlib riscv64 2.7.17-1ubuntu6 [1774 kB] Get:30 http://ftpmaster.internal/ubuntu focal/universe riscv64 python2.7 riscv64 2.7.17-1ubuntu6 [248 kB] Get:31 http://ftpmaster.internal/ubuntu focal/universe riscv64 libpython2-stdlib riscv64 2.7.17-2ubuntu4 [7072 B] Get:32 http://ftpmaster.internal/ubuntu focal/universe riscv64 python2 riscv64 2.7.17-2ubuntu4 [26.5 kB] Get:33 http://ftpmaster.internal/ubuntu focal/main riscv64 libncurses6 riscv64 6.2-0ubuntu2 [86.2 kB] Get:34 http://ftpmaster.internal/ubuntu focal/main riscv64 libmagic-mgc riscv64 1:5.38-4 [218 kB] Get:35 http://ftpmaster.internal/ubuntu focal/main riscv64 libmagic1 riscv64 1:5.38-4 [70.5 kB] Get:36 http://ftpmaster.internal/ubuntu focal/main riscv64 file riscv64 1:5.38-4 [22.5 kB] Get:37 http://ftpmaster.internal/ubuntu focal/main riscv64 libglib2.0-0 riscv64 2.64.1-1 [1122 kB] Get:38 http://ftpmaster.internal/ubuntu focal/main riscv64 libgirepository-1.0-1 riscv64 1.64.0-2 [74.8 kB] Get:39 http://ftpmaster.internal/ubuntu focal/main riscv64 gir1.2-glib-2.0 riscv64 1.64.0-2 [134 kB] Get:40 http://ftpmaster.internal/ubuntu focal/main riscv64 libdbus-1-3 riscv64 1.12.16-2ubuntu2 [161 kB] Get:41 http://ftpmaster.internal/ubuntu focal/main riscv64 libelf1 riscv64 0.176-1.1build1 [41.8 kB] Get:42 http://ftpmaster.internal/ubuntu focal/main riscv64 libfribidi0 riscv64 1.0.8-2 [23.8 kB] Get:43 http://ftpmaster.internal/ubuntu focal/main riscv64 libglib2.0-data all 2.64.1-1 [6540 B] Get:44 http://ftpmaster.internal/ubuntu focal/main riscv64 tzdata all 2019c-3ubuntu1 [294 kB] Get:45 http://ftpmaster.internal/ubuntu focal/main riscv64 libicu66 riscv64 66.1-2ubuntu2 [8406 kB] Get:46 http://ftpmaster.internal/ubuntu focal/main riscv64 libxml2 riscv64 2.9.10+dfsg-4build1 [558 kB] Get:47 http://ftpmaster.internal/ubuntu focal/main riscv64 shared-mime-info riscv64 1.15-1 [428 kB] Get:48 http://ftpmaster.internal/ubuntu focal/main riscv64 ucf all 3.0038+nmu1 [51.6 kB] Get:49 http://ftpmaster.internal/ubuntu focal/main riscv64 gettext-base riscv64 0.19.8.1-10build1 [47.4 kB] Get:50 http://ftpmaster.internal/ubuntu focal/main riscv64 libkrb5support0 riscv64 1.17-6ubuntu4 [28.3 kB] Get:51 http://ftpmaster.internal/ubuntu focal/main riscv64 libk5crypto3 riscv64 1.17-6ubuntu4 [91.8 kB] Get:52 http://ftpmaster.internal/ubuntu focal/main riscv64 libkeyutils1 riscv64 1.6-6ubuntu1 [9316 B] Get:53 http://ftpmaster.internal/ubuntu focal/main riscv64 libkrb5-3 riscv64 1.17-6ubuntu4 [295 kB] Get:54 http://ftpmaster.internal/ubuntu focal/main riscv64 libgssapi-krb5-2 riscv64 1.17-6ubuntu4 [107 kB] Get:55 http://ftpmaster.internal/ubuntu focal/main riscv64 libxau6 riscv64 1:1.0.9-0ubuntu1 [6788 B] Get:56 http://ftpmaster.internal/ubuntu focal/main riscv64 libxdmcp6 riscv64 1:1.1.3-0ubuntu1 [9952 B] Get:57 http://ftpmaster.internal/ubuntu focal/main riscv64 libxcb1 riscv64 1.14-2 [37.9 kB] Get:58 http://ftpmaster.internal/ubuntu focal/main riscv64 libx11-data all 2:1.6.9-2ubuntu1 [113 kB] Get:59 http://ftpmaster.internal/ubuntu focal/main riscv64 libx11-6 riscv64 2:1.6.9-2ubuntu1 [537 kB] Get:60 http://ftpmaster.internal/ubuntu focal/main riscv64 libxext6 riscv64 2:1.3.4-0ubuntu1 [25.6 kB] Get:61 http://ftpmaster.internal/ubuntu focal/main riscv64 hicolor-icon-theme all 0.17-2 [9976 B] Get:62 http://ftpmaster.internal/ubuntu focal/main riscv64 libjpeg-turbo8 riscv64 2.0.3-0ubuntu1 [101 kB] Get:63 http://ftpmaster.internal/ubuntu focal/main riscv64 libjpeg8 riscv64 8c-2ubuntu8 [2224 B] Get:64 http://ftpmaster.internal/ubuntu focal/main riscv64 libjbig0 riscv64 2.1-3.1build1 [25.7 kB] Get:65 http://ftpmaster.internal/ubuntu focal/main riscv64 libwebp6 riscv64 0.6.1-2 [150 kB] Get:66 http://ftpmaster.internal/ubuntu focal/main riscv64 libtiff5 riscv64 4.1.0+git191117-2build1 [147 kB] Get:67 http://ftpmaster.internal/ubuntu focal/main riscv64 libgdk-pixbuf2.0-common all 2.40.0+dfsg-3 [4896 B] Get:68 http://ftpmaster.internal/ubuntu focal/main riscv64 libgdk-pixbuf2.0-0 riscv64 2.40.0+dfsg-3 [151 kB] Get:69 http://ftpmaster.internal/ubuntu focal/main riscv64 libfreetype6 riscv64 2.10.1-2 [313 kB] Get:70 http://ftpmaster.internal/ubuntu focal/main riscv64 fonts-dejavu-core all 2.37-1 [1041 kB] Get:71 http://ftpmaster.internal/ubuntu focal/main riscv64 fontconfig-config all 2.13.1-2ubuntu2 [28.9 kB] Get:72 http://ftpmaster.internal/ubuntu focal/main riscv64 libfontconfig1 riscv64 2.13.1-2ubuntu2 [104 kB] Get:73 http://ftpmaster.internal/ubuntu focal/main riscv64 libpixman-1-0 riscv64 0.38.4-0ubuntu1 [146 kB] Get:74 http://ftpmaster.internal/ubuntu focal/main riscv64 libxcb-render0 riscv64 1.14-2 [12.8 kB] Get:75 http://ftpmaster.internal/ubuntu focal/main riscv64 libxcb-shm0 riscv64 1.14-2 [5032 B] Get:76 http://ftpmaster.internal/ubuntu focal/main riscv64 libxrender1 riscv64 1:0.9.10-1 [16.8 kB] Get:77 http://ftpmaster.internal/ubuntu focal/main riscv64 libcairo2 riscv64 1.16.0-4ubuntu1 [531 kB] Get:78 http://ftpmaster.internal/ubuntu focal/main riscv64 libcroco3 riscv64 0.6.13-1 [71.1 kB] Get:79 http://ftpmaster.internal/ubuntu focal/main riscv64 fontconfig riscv64 2.13.1-2ubuntu2 [169 kB] Get:80 http://ftpmaster.internal/ubuntu focal/main riscv64 libgraphite2-3 riscv64 1.3.13-11build1 [70.4 kB] Get:81 http://ftpmaster.internal/ubuntu focal/main riscv64 libthai-data all 0.1.28-3 [134 kB] Get:82 http://ftpmaster.internal/ubuntu focal/main riscv64 libdatrie1 riscv64 0.2.12-3 [16.3 kB] Get:83 http://ftpmaster.internal/ubuntu focal/main riscv64 libthai0 riscv64 0.1.28-3 [15.8 kB] Get:84 http://ftpmaster.internal/ubuntu focal/main riscv64 libpango-1.0-0 riscv64 1.44.7-2ubuntu2 [148 kB] Get:85 http://ftpmaster.internal/ubuntu focal/main riscv64 libpangoft2-1.0-0 riscv64 1.44.7-2ubuntu2 [29.3 kB] Get:86 http://ftpmaster.internal/ubuntu focal/main riscv64 libpangocairo-1.0-0 riscv64 1.44.7-2ubuntu2 [21.0 kB] Get:87 http://ftpmaster.internal/ubuntu focal/main riscv64 humanity-icon-theme all 0.6.15 [1250 kB] Get:88 http://ftpmaster.internal/ubuntu focal/main riscv64 ubuntu-mono all 19.04-0ubuntu3 [147 kB] Get:89 http://ftpmaster.internal/ubuntu focal/main riscv64 adwaita-icon-theme all 3.36.0-1ubuntu1 [3170 kB] Get:90 http://ftpmaster.internal/ubuntu focal/main riscv64 libsigsegv2 riscv64 2.12-2 [13.0 kB] Get:91 http://ftpmaster.internal/ubuntu focal/main riscv64 m4 riscv64 1.4.18-4 [188 kB] Get:92 http://ftpmaster.internal/ubuntu focal/main riscv64 autoconf all 2.69-11.1 [321 kB] Get:93 http://ftpmaster.internal/ubuntu focal/main riscv64 autotools-dev all 20180224.1 [39.6 kB] Get:94 http://ftpmaster.internal/ubuntu focal/main riscv64 automake all 1:1.16.1-4ubuntu6 [522 kB] Get:95 http://ftpmaster.internal/ubuntu focal/main riscv64 autopoint all 0.19.8.1-10build1 [412 kB] Get:96 http://ftpmaster.internal/ubuntu focal/main riscv64 libtool all 2.4.6-13 [161 kB] Get:97 http://ftpmaster.internal/ubuntu focal/main riscv64 dh-autoreconf all 19 [16.1 kB] Get:98 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 libdebhelper-perl all 12.10ubuntu1 [62.1 kB] Get:99 http://ftpmaster.internal/ubuntu focal/main riscv64 libarchive-zip-perl all 1.67-2 [90.5 kB] Get:100 http://ftpmaster.internal/ubuntu focal/main riscv64 libsub-override-perl all 0.09-2 [9532 B] Get:101 http://ftpmaster.internal/ubuntu focal/main riscv64 libfile-stripnondeterminism-perl all 1.6.3-2 [16.0 kB] Get:102 http://ftpmaster.internal/ubuntu focal/main riscv64 dh-strip-nondeterminism all 1.6.3-2 [5228 B] Get:103 http://ftpmaster.internal/ubuntu focal/main riscv64 dwz riscv64 0.13-5 [147 kB] Get:104 http://ftpmaster.internal/ubuntu focal/main riscv64 gettext riscv64 0.19.8.1-10build1 [844 kB] Get:105 http://ftpmaster.internal/ubuntu focal/main riscv64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:106 http://ftpmaster.internal/ubuntu focal/main riscv64 po-debconf all 1.0.21 [233 kB] Get:107 http://ftpmaster.internal/ubuntu focal-proposed/main riscv64 debhelper all 12.10ubuntu1 [877 kB] Get:108 http://ftpmaster.internal/ubuntu focal/main riscv64 emacsen-common all 3.0.4 [14.9 kB] Get:109 http://ftpmaster.internal/ubuntu focal/main riscv64 dictionaries-common all 1.28.1 [178 kB] Get:110 http://ftpmaster.internal/ubuntu focal/main riscv64 libatk1.0-data all 2.35.1-1ubuntu1 [2824 B] Get:111 http://ftpmaster.internal/ubuntu focal/main riscv64 libatk1.0-0 riscv64 2.35.1-1ubuntu1 [37.9 kB] Get:112 http://ftpmaster.internal/ubuntu focal/main riscv64 gir1.2-atk-1.0 riscv64 2.35.1-1ubuntu1 [18.2 kB] Get:113 http://ftpmaster.internal/ubuntu focal/main riscv64 gir1.2-freedesktop riscv64 1.64.0-2 [19.2 kB] Get:114 http://ftpmaster.internal/ubuntu focal/main riscv64 gir1.2-gdkpixbuf-2.0 riscv64 2.40.0+dfsg-3 [8256 B] Get:115 http://ftpmaster.internal/ubuntu focal/main riscv64 libgtk2.0-common all 2.24.32-4ubuntu4 [126 kB] Get:116 http://ftpmaster.internal/ubuntu focal/main riscv64 libxft2 riscv64 2.3.3-0ubuntu1 [34.4 kB] Get:117 http://ftpmaster.internal/ubuntu focal/main riscv64 libpangoxft-1.0-0 riscv64 1.44.7-2ubuntu2 [15.6 kB] Get:118 http://ftpmaster.internal/ubuntu focal/main riscv64 gir1.2-pango-1.0 riscv64 1.44.7-2ubuntu2 [26.6 kB] Get:119 http://ftpmaster.internal/ubuntu focal/main riscv64 libavahi-common-data riscv64 0.7-4ubuntu6 [21.3 kB] Get:120 http://ftpmaster.internal/ubuntu focal/main riscv64 libavahi-common3 riscv64 0.7-4ubuntu6 [18.3 kB] Get:121 http://ftpmaster.internal/ubuntu focal/main riscv64 libavahi-client3 riscv64 0.7-4ubuntu6 [22.2 kB] Get:122 http://ftpmaster.internal/ubuntu focal/main riscv64 libcups2 riscv64 2.3.1-9ubuntu1 [210 kB] Get:123 http://ftpmaster.internal/ubuntu focal/main riscv64 libxcomposite1 riscv64 1:0.4.5-0ubuntu1 [6308 B] Get:124 http://ftpmaster.internal/ubuntu focal/main riscv64 libxfixes3 riscv64 1:5.0.3-1 [9712 B] Get:125 http://ftpmaster.internal/ubuntu focal/main riscv64 libxcursor1 riscv64 1:1.2.0-2 [17.7 kB] Get:126 http://ftpmaster.internal/ubuntu focal/main riscv64 libxdamage1 riscv64 1:1.1.5-1 [6280 B] Get:127 http://ftpmaster.internal/ubuntu focal/main riscv64 libxi6 riscv64 2:1.7.10-0ubuntu1 [27.2 kB] Get:128 http://ftpmaster.internal/ubuntu focal/main riscv64 libxinerama1 riscv64 2:1.1.4-2 [6328 B] Get:129 http://ftpmaster.internal/ubuntu focal/main riscv64 libxrandr2 riscv64 2:1.5.2-0ubuntu1 [16.4 kB] Get:130 http://ftpmaster.internal/ubuntu focal/main riscv64 libgtk2.0-0 riscv64 2.24.32-4ubuntu4 [1554 kB] Get:131 http://ftpmaster.internal/ubuntu focal/universe riscv64 gir1.2-gtk-2.0 riscv64 2.24.32-4ubuntu4 [172 kB] Get:132 http://ftpmaster.internal/ubuntu focal/main riscv64 hunspell-en-us all 1:2018.04.16-1 [170 kB] Get:133 http://ftpmaster.internal/ubuntu focal/main riscv64 icu-devtools riscv64 66.1-2ubuntu2 [177 kB] Get:134 http://ftpmaster.internal/ubuntu focal/main riscv64 libaspell15 riscv64 0.60.8-1build1 [297 kB] Get:135 http://ftpmaster.internal/ubuntu focal/main riscv64 pkg-config riscv64 0.29.1-0ubuntu4 [43.0 kB] Get:136 http://ftpmaster.internal/ubuntu focal/main riscv64 libffi-dev riscv64 3.3-4 [72.2 kB] Get:137 http://ftpmaster.internal/ubuntu focal/main riscv64 libglib2.0-bin riscv64 2.64.1-1 [65.3 kB] Get:138 http://ftpmaster.internal/ubuntu focal/main riscv64 python3-lib2to3 all 3.8.2-1ubuntu1 [74.1 kB] Get:139 http://ftpmaster.internal/ubuntu focal/main riscv64 python3-distutils all 3.8.2-1ubuntu1 [140 kB] Get:140 http://ftpmaster.internal/ubuntu focal/main riscv64 libglib2.0-dev-bin riscv64 2.64.1-1 [106 kB] Get:141 http://ftpmaster.internal/ubuntu focal/main riscv64 uuid-dev riscv64 2.34-0.1ubuntu8 [47.1 kB] Get:142 http://ftpmaster.internal/ubuntu focal/main riscv64 libblkid-dev riscv64 2.34-0.1ubuntu8 [357 kB] Get:143 http://ftpmaster.internal/ubuntu focal/main riscv64 libmount-dev riscv64 2.34-0.1ubuntu8 [376 kB] Get:144 http://ftpmaster.internal/ubuntu focal/main riscv64 libpcre16-3 riscv64 2:8.39-12build1 [81.1 kB] Get:145 http://ftpmaster.internal/ubuntu focal/main riscv64 libpcre32-3 riscv64 2:8.39-12build1 [74.6 kB] Get:146 http://ftpmaster.internal/ubuntu focal/main riscv64 libpcrecpp0v5 riscv64 2:8.39-12build1 [14.7 kB] Get:147 http://ftpmaster.internal/ubuntu focal/main riscv64 libpcre3-dev riscv64 2:8.39-12build1 [710 kB] Get:148 http://ftpmaster.internal/ubuntu focal/main riscv64 libsepol1-dev riscv64 3.0-1 [734 kB] Get:149 http://ftpmaster.internal/ubuntu focal/main riscv64 libpcre2-16-0 riscv64 10.34-7 [107 kB] Get:150 http://ftpmaster.internal/ubuntu focal/main riscv64 libpcre2-32-0 riscv64 10.34-7 [99.3 kB] Get:151 http://ftpmaster.internal/ubuntu focal/main riscv64 libpcre2-posix2 riscv64 10.34-7 [5308 B] Get:152 http://ftpmaster.internal/ubuntu focal/main riscv64 libpcre2-dev riscv64 10.34-7 [905 kB] Get:153 http://ftpmaster.internal/ubuntu focal/main riscv64 libselinux1-dev riscv64 3.0-1build2 [230 kB] Get:154 http://ftpmaster.internal/ubuntu focal/main riscv64 zlib1g-dev riscv64 1:1.2.11.dfsg-2ubuntu1 [207 kB] Get:155 http://ftpmaster.internal/ubuntu focal/main riscv64 libglib2.0-dev riscv64 2.64.1-1 [3092 kB] Get:156 http://ftpmaster.internal/ubuntu focal/main riscv64 libatk1.0-dev riscv64 2.35.1-1ubuntu1 [95.1 kB] Get:157 http://ftpmaster.internal/ubuntu focal/main riscv64 libcairo-gobject2 riscv64 1.16.0-4ubuntu1 [16.2 kB] Get:158 http://ftpmaster.internal/ubuntu focal/main riscv64 liblzo2-2 riscv64 2.10-2 [49.8 kB] Get:159 http://ftpmaster.internal/ubuntu focal/main riscv64 libcairo-script-interpreter2 riscv64 1.16.0-4ubuntu1 [47.5 kB] Get:160 http://ftpmaster.internal/ubuntu focal/main riscv64 libexpat1-dev riscv64 2.2.9-1build1 [224 kB] Get:161 http://ftpmaster.internal/ubuntu focal/main riscv64 libpng-dev riscv64 1.6.37-2 [287 kB] Get:162 http://ftpmaster.internal/ubuntu focal/main riscv64 libfreetype-dev riscv64 2.10.1-2 [859 kB] Get:163 http://ftpmaster.internal/ubuntu focal/main riscv64 libfreetype6-dev riscv64 2.10.1-2 [9796 B] Get:164 http://ftpmaster.internal/ubuntu focal/main riscv64 libfontconfig1-dev riscv64 2.13.1-2ubuntu2 [852 kB] Get:165 http://ftpmaster.internal/ubuntu focal/main riscv64 xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:166 http://ftpmaster.internal/ubuntu focal/main riscv64 x11proto-dev all 2019.2-1ubuntu1 [594 kB] Get:167 http://ftpmaster.internal/ubuntu focal/main riscv64 x11proto-core-dev all 2019.2-1ubuntu1 [2620 B] Get:168 http://ftpmaster.internal/ubuntu focal/main riscv64 libxau-dev riscv64 1:1.0.9-0ubuntu1 [12.1 kB] Get:169 http://ftpmaster.internal/ubuntu focal/main riscv64 libxdmcp-dev riscv64 1:1.1.3-0ubuntu1 [31.7 kB] Get:170 http://ftpmaster.internal/ubuntu focal/main riscv64 xtrans-dev all 1.4.0-1 [68.9 kB] Get:171 http://ftpmaster.internal/ubuntu focal/main riscv64 libpthread-stubs0-dev riscv64 0.4-1 [5380 B] Get:172 http://ftpmaster.internal/ubuntu focal/main riscv64 libxcb1-dev riscv64 1.14-2 [125 kB] Get:173 http://ftpmaster.internal/ubuntu focal/main riscv64 libx11-dev riscv64 2:1.6.9-2ubuntu1 [1031 kB] Get:174 http://ftpmaster.internal/ubuntu focal/main riscv64 libxrender-dev riscv64 1:0.9.10-1 [41.2 kB] Get:175 http://ftpmaster.internal/ubuntu focal/main riscv64 x11proto-xext-dev all 2019.2-1ubuntu1 [2616 B] Get:176 http://ftpmaster.internal/ubuntu focal/main riscv64 libxext-dev riscv64 2:1.3.4-0ubuntu1 [113 kB] Get:177 http://ftpmaster.internal/ubuntu focal/main riscv64 x11-common all 1:7.7+19ubuntu14 [22.3 kB] Get:178 http://ftpmaster.internal/ubuntu focal/main riscv64 libice6 riscv64 2:1.0.10-0ubuntu1 [34.7 kB] Get:179 http://ftpmaster.internal/ubuntu focal/main riscv64 libsm6 riscv64 2:1.2.3-1 [14.6 kB] Get:180 http://ftpmaster.internal/ubuntu focal/main riscv64 libice-dev riscv64 2:1.0.10-0ubuntu1 [87.5 kB] Get:181 http://ftpmaster.internal/ubuntu focal/main riscv64 libsm-dev riscv64 2:1.2.3-1 [30.1 kB] Get:182 http://ftpmaster.internal/ubuntu focal/main riscv64 libpixman-1-dev riscv64 0.38.4-0ubuntu1 [481 kB] Get:183 http://ftpmaster.internal/ubuntu focal/main riscv64 libxcb-render0-dev riscv64 1.14-2 [29.0 kB] Get:184 http://ftpmaster.internal/ubuntu focal/main riscv64 libxcb-shm0-dev riscv64 1.14-2 [8368 B] Get:185 http://ftpmaster.internal/ubuntu focal/main riscv64 libcairo2-dev riscv64 1.16.0-4ubuntu1 [1349 kB] Get:186 http://ftpmaster.internal/ubuntu focal/main riscv64 libdatrie-dev riscv64 0.2.12-3 [30.3 kB] Get:187 http://ftpmaster.internal/ubuntu focal/main riscv64 libhunspell-1.7-0 riscv64 1.7.0-2build2 [140 kB] Get:188 http://ftpmaster.internal/ubuntu focal/main riscv64 libenchant-2-2 riscv64 2.2.8-1 [40.7 kB] Get:189 http://ftpmaster.internal/ubuntu focal/main riscv64 libenchant-2-dev riscv64 2.2.8-1 [13.7 kB] Get:190 http://ftpmaster.internal/ubuntu focal/main riscv64 libfribidi-dev riscv64 1.0.8-2 [67.9 kB] Get:191 http://ftpmaster.internal/ubuntu focal/main riscv64 libgdk-pixbuf2.0-bin riscv64 2.40.0+dfsg-3 [13.1 kB] Get:192 http://ftpmaster.internal/ubuntu focal/main riscv64 libgdk-pixbuf2.0-dev riscv64 2.40.0+dfsg-3 [43.6 kB] Get:193 http://ftpmaster.internal/ubuntu focal/universe riscv64 libglade2-0 riscv64 1:2.6.4-2ubuntu2 [39.6 kB] Get:194 http://ftpmaster.internal/ubuntu focal/main riscv64 libgraphite2-dev riscv64 1.3.13-11build1 [14.7 kB] Get:195 http://ftpmaster.internal/ubuntu focal/main riscv64 libicu-dev riscv64 66.1-2ubuntu2 [12.5 MB] Get:196 http://ftpmaster.internal/ubuntu focal/main riscv64 libthai-dev riscv64 0.1.28-3 [37.2 kB] Get:197 http://ftpmaster.internal/ubuntu focal/main riscv64 libxft-dev riscv64 2.3.3-0ubuntu1 [87.4 kB] Get:198 http://ftpmaster.internal/ubuntu focal/main riscv64 pango1.0-tools riscv64 1.44.7-2ubuntu2 [23.3 kB] Get:199 http://ftpmaster.internal/ubuntu focal/main riscv64 libpango1.0-dev riscv64 1.44.7-2ubuntu2 [132 kB] Get:200 http://ftpmaster.internal/ubuntu focal/main riscv64 x11proto-xinerama-dev all 2019.2-1ubuntu1 [2628 B] Get:201 http://ftpmaster.internal/ubuntu focal/main riscv64 libxinerama-dev riscv64 2:1.1.4-2 [9616 B] Get:202 http://ftpmaster.internal/ubuntu focal/main riscv64 x11proto-fixes-dev all 1:2019.2-1ubuntu1 [2624 B] Get:203 http://ftpmaster.internal/ubuntu focal/main riscv64 libxfixes-dev riscv64 1:5.0.3-1 [17.6 kB] Get:204 http://ftpmaster.internal/ubuntu focal/main riscv64 x11proto-input-dev all 2019.2-1ubuntu1 [2628 B] Get:205 http://ftpmaster.internal/ubuntu focal/main riscv64 libxi-dev riscv64 2:1.7.10-0ubuntu1 [218 kB] Get:206 http://ftpmaster.internal/ubuntu focal/main riscv64 x11proto-randr-dev all 2019.2-1ubuntu1 [2620 B] Get:207 http://ftpmaster.internal/ubuntu focal/main riscv64 libxrandr-dev riscv64 2:1.5.2-0ubuntu1 [40.6 kB] Get:208 http://ftpmaster.internal/ubuntu focal/main riscv64 libxcursor-dev riscv64 1:1.2.0-2 [42.8 kB] Get:209 http://ftpmaster.internal/ubuntu focal/main riscv64 x11proto-composite-dev all 1:2019.2-1ubuntu1 [2624 B] Get:210 http://ftpmaster.internal/ubuntu focal/main riscv64 libxcomposite-dev riscv64 1:0.4.5-0ubuntu1 [11.0 kB] Get:211 http://ftpmaster.internal/ubuntu focal/main riscv64 x11proto-damage-dev all 1:2019.2-1ubuntu1 [2624 B] Get:212 http://ftpmaster.internal/ubuntu focal/main riscv64 libxdamage-dev riscv64 1:1.1.5-1 [6828 B] Get:213 http://ftpmaster.internal/ubuntu focal/main riscv64 libxml2-utils riscv64 2.9.10+dfsg-4build1 [34.3 kB] Get:214 http://ftpmaster.internal/ubuntu focal/universe riscv64 libgtk2.0-dev riscv64 2.24.32-4ubuntu4 [782 kB] Get:215 http://ftpmaster.internal/ubuntu focal/main riscv64 libxml2-dev riscv64 2.9.10+dfsg-4build1 [1642 kB] Get:216 http://ftpmaster.internal/ubuntu focal/universe riscv64 libglade2-dev riscv64 1:2.6.4-2ubuntu2 [110 kB] Get:217 http://ftpmaster.internal/ubuntu focal/universe riscv64 libgtkspell0 riscv64 2.0.16-1.3 [19.3 kB] Get:218 http://ftpmaster.internal/ubuntu focal/universe riscv64 libgtkspell-dev riscv64 2.0.16-1.3 [25.7 kB] Get:219 http://ftpmaster.internal/ubuntu focal/universe riscv64 ocaml-base-nox riscv64 4.08.1-8 [337 kB] Get:220 http://ftpmaster.internal/ubuntu focal/universe riscv64 liblablgtk2-ocaml riscv64 2.18.8+dfsg-1build1 [221 kB] Get:221 http://ftpmaster.internal/ubuntu focal/main riscv64 libncurses-dev riscv64 6.2-0ubuntu2 [696 kB] Get:222 http://ftpmaster.internal/ubuntu focal/main riscv64 libncurses5-dev riscv64 6.2-0ubuntu2 [980 B] Get:223 http://ftpmaster.internal/ubuntu focal/universe riscv64 ocaml-compiler-libs riscv64 4.08.1-8 [15.2 MB] Get:224 http://ftpmaster.internal/ubuntu focal/universe riscv64 ocaml-interp riscv64 4.08.1-8 [4636 kB] Get:225 http://ftpmaster.internal/ubuntu focal/universe riscv64 ocaml-nox riscv64 4.08.1-8 [35.8 MB] Get:226 http://ftpmaster.internal/ubuntu focal/universe riscv64 liblablgtk2-ocaml-dev riscv64 2.18.8+dfsg-1build1 [834 kB] Get:227 http://ftpmaster.internal/ubuntu focal/universe riscv64 dh-ocaml all 1.1.1 [79.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 129 MB in 28s (4609 kB/s) Selecting previously unselected package libpython3.8-minimal:riscv64. (Reading database ... 9818 files and directories currently installed.) Preparing to unpack .../libpython3.8-minimal_3.8.2-1ubuntu1_riscv64.deb ... Unpacking libpython3.8-minimal:riscv64 (3.8.2-1ubuntu1) ... Selecting previously unselected package libexpat1:riscv64. Preparing to unpack .../libexpat1_2.2.9-1build1_riscv64.deb ... Unpacking libexpat1:riscv64 (2.2.9-1build1) ... Selecting previously unselected package python3.8-minimal. Preparing to unpack .../python3.8-minimal_3.8.2-1ubuntu1_riscv64.deb ... Unpacking python3.8-minimal (3.8.2-1ubuntu1) ... Setting up libpython3.8-minimal:riscv64 (3.8.2-1ubuntu1) ... Setting up libexpat1:riscv64 (2.2.9-1build1) ... Setting up python3.8-minimal (3.8.2-1ubuntu1) ... Selecting previously unselected package python3-minimal. (Reading database ... 10109 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.8.2-0ubuntu2_riscv64.deb ... Unpacking python3-minimal (3.8.2-0ubuntu2) ... Selecting previously unselected package mime-support. Preparing to unpack .../1-mime-support_3.64ubuntu1_all.deb ... Unpacking mime-support (3.64ubuntu1) ... Selecting previously unselected package libmpdec2:riscv64. Preparing to unpack .../2-libmpdec2_2.4.2-3_riscv64.deb ... Unpacking libmpdec2:riscv64 (2.4.2-3) ... Selecting previously unselected package libpython3.8-stdlib:riscv64. Preparing to unpack .../3-libpython3.8-stdlib_3.8.2-1ubuntu1_riscv64.deb ... Unpacking libpython3.8-stdlib:riscv64 (3.8.2-1ubuntu1) ... Selecting previously unselected package python3.8. Preparing to unpack .../4-python3.8_3.8.2-1ubuntu1_riscv64.deb ... Unpacking python3.8 (3.8.2-1ubuntu1) ... Selecting previously unselected package libpython3-stdlib:riscv64. Preparing to unpack .../5-libpython3-stdlib_3.8.2-0ubuntu2_riscv64.deb ... Unpacking libpython3-stdlib:riscv64 (3.8.2-0ubuntu2) ... Setting up python3-minimal (3.8.2-0ubuntu2) ... Selecting previously unselected package python3. (Reading database ... 10511 files and directories currently installed.) Preparing to unpack .../00-python3_3.8.2-0ubuntu2_riscv64.deb ... Unpacking python3 (3.8.2-0ubuntu2) ... Selecting previously unselected package libbsd0:riscv64. Preparing to unpack .../01-libbsd0_0.10.0-1_riscv64.deb ... Unpacking libbsd0:riscv64 (0.10.0-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../02-bsdmainutils_11.1.2ubuntu3_riscv64.deb ... Unpacking bsdmainutils (11.1.2ubuntu3) ... Selecting previously unselected package libuchardet0:riscv64. Preparing to unpack .../03-libuchardet0_0.0.6-3build1_riscv64.deb ... Unpacking libuchardet0:riscv64 (0.0.6-3build1) ... Selecting previously unselected package groff-base. Preparing to unpack .../04-groff-base_1.22.4-4build1_riscv64.deb ... Unpacking groff-base (1.22.4-4build1) ... Selecting previously unselected package libpipeline1:riscv64. Preparing to unpack .../05-libpipeline1_1.5.2-2build1_riscv64.deb ... Unpacking libpipeline1:riscv64 (1.5.2-2build1) ... Selecting previously unselected package man-db. Preparing to unpack .../06-man-db_2.9.1-1_riscv64.deb ... Unpacking man-db (2.9.1-1) ... Selecting previously unselected package libpython2.7-minimal:riscv64. Preparing to unpack .../07-libpython2.7-minimal_2.7.17-1ubuntu6_riscv64.deb ... Unpacking libpython2.7-minimal:riscv64 (2.7.17-1ubuntu6) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../08-python2.7-minimal_2.7.17-1ubuntu6_riscv64.deb ... Unpacking python2.7-minimal (2.7.17-1ubuntu6) ... Selecting previously unselected package python2-minimal. Preparing to unpack .../09-python2-minimal_2.7.17-2ubuntu4_riscv64.deb ... Unpacking python2-minimal (2.7.17-2ubuntu4) ... Selecting previously unselected package libpython2.7-stdlib:riscv64. Preparing to unpack .../10-libpython2.7-stdlib_2.7.17-1ubuntu6_riscv64.deb ... Unpacking libpython2.7-stdlib:riscv64 (2.7.17-1ubuntu6) ... Selecting previously unselected package python2.7. Preparing to unpack .../11-python2.7_2.7.17-1ubuntu6_riscv64.deb ... Unpacking python2.7 (2.7.17-1ubuntu6) ... Selecting previously unselected package libpython2-stdlib:riscv64. Preparing to unpack .../12-libpython2-stdlib_2.7.17-2ubuntu4_riscv64.deb ... Unpacking libpython2-stdlib:riscv64 (2.7.17-2ubuntu4) ... Setting up libpython2.7-minimal:riscv64 (2.7.17-1ubuntu6) ... Setting up python2.7-minimal (2.7.17-1ubuntu6) ... Setting up python2-minimal (2.7.17-2ubuntu4) ... Selecting previously unselected package python2. (Reading database ... 11879 files and directories currently installed.) Preparing to unpack .../000-python2_2.7.17-2ubuntu4_riscv64.deb ... Unpacking python2 (2.7.17-2ubuntu4) ... Selecting previously unselected package libncurses6:riscv64. Preparing to unpack .../001-libncurses6_6.2-0ubuntu2_riscv64.deb ... Unpacking libncurses6:riscv64 (6.2-0ubuntu2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../002-libmagic-mgc_1%3a5.38-4_riscv64.deb ... Unpacking libmagic-mgc (1:5.38-4) ... Selecting previously unselected package libmagic1:riscv64. Preparing to unpack .../003-libmagic1_1%3a5.38-4_riscv64.deb ... Unpacking libmagic1:riscv64 (1:5.38-4) ... Selecting previously unselected package file. Preparing to unpack .../004-file_1%3a5.38-4_riscv64.deb ... Unpacking file (1:5.38-4) ... Selecting previously unselected package libglib2.0-0:riscv64. Preparing to unpack .../005-libglib2.0-0_2.64.1-1_riscv64.deb ... Unpacking libglib2.0-0:riscv64 (2.64.1-1) ... Selecting previously unselected package libgirepository-1.0-1:riscv64. Preparing to unpack .../006-libgirepository-1.0-1_1.64.0-2_riscv64.deb ... Unpacking libgirepository-1.0-1:riscv64 (1.64.0-2) ... Selecting previously unselected package gir1.2-glib-2.0:riscv64. Preparing to unpack .../007-gir1.2-glib-2.0_1.64.0-2_riscv64.deb ... Unpacking gir1.2-glib-2.0:riscv64 (1.64.0-2) ... Selecting previously unselected package libdbus-1-3:riscv64. Preparing to unpack .../008-libdbus-1-3_1.12.16-2ubuntu2_riscv64.deb ... Unpacking libdbus-1-3:riscv64 (1.12.16-2ubuntu2) ... Selecting previously unselected package libelf1:riscv64. Preparing to unpack .../009-libelf1_0.176-1.1build1_riscv64.deb ... Unpacking libelf1:riscv64 (0.176-1.1build1) ... Selecting previously unselected package libfribidi0:riscv64. Preparing to unpack .../010-libfribidi0_1.0.8-2_riscv64.deb ... Unpacking libfribidi0:riscv64 (1.0.8-2) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../011-libglib2.0-data_2.64.1-1_all.deb ... Unpacking libglib2.0-data (2.64.1-1) ... Selecting previously unselected package tzdata. Preparing to unpack .../012-tzdata_2019c-3ubuntu1_all.deb ... Unpacking tzdata (2019c-3ubuntu1) ... Selecting previously unselected package libicu66:riscv64. Preparing to unpack .../013-libicu66_66.1-2ubuntu2_riscv64.deb ... Unpacking libicu66:riscv64 (66.1-2ubuntu2) ... Selecting previously unselected package libxml2:riscv64. Preparing to unpack .../014-libxml2_2.9.10+dfsg-4build1_riscv64.deb ... Unpacking libxml2:riscv64 (2.9.10+dfsg-4build1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../015-shared-mime-info_1.15-1_riscv64.deb ... Unpacking shared-mime-info (1.15-1) ... Selecting previously unselected package ucf. Preparing to unpack .../016-ucf_3.0038+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0038+nmu1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../017-gettext-base_0.19.8.1-10build1_riscv64.deb ... Unpacking gettext-base (0.19.8.1-10build1) ... Selecting previously unselected package libkrb5support0:riscv64. Preparing to unpack .../018-libkrb5support0_1.17-6ubuntu4_riscv64.deb ... Unpacking libkrb5support0:riscv64 (1.17-6ubuntu4) ... Selecting previously unselected package libk5crypto3:riscv64. Preparing to unpack .../019-libk5crypto3_1.17-6ubuntu4_riscv64.deb ... Unpacking libk5crypto3:riscv64 (1.17-6ubuntu4) ... Selecting previously unselected package libkeyutils1:riscv64. Preparing to unpack .../020-libkeyutils1_1.6-6ubuntu1_riscv64.deb ... Unpacking libkeyutils1:riscv64 (1.6-6ubuntu1) ... Selecting previously unselected package libkrb5-3:riscv64. Preparing to unpack .../021-libkrb5-3_1.17-6ubuntu4_riscv64.deb ... Unpacking libkrb5-3:riscv64 (1.17-6ubuntu4) ... Selecting previously unselected package libgssapi-krb5-2:riscv64. Preparing to unpack .../022-libgssapi-krb5-2_1.17-6ubuntu4_riscv64.deb ... Unpacking libgssapi-krb5-2:riscv64 (1.17-6ubuntu4) ... Selecting previously unselected package libxau6:riscv64. Preparing to unpack .../023-libxau6_1%3a1.0.9-0ubuntu1_riscv64.deb ... Unpacking libxau6:riscv64 (1:1.0.9-0ubuntu1) ... Selecting previously unselected package libxdmcp6:riscv64. Preparing to unpack .../024-libxdmcp6_1%3a1.1.3-0ubuntu1_riscv64.deb ... Unpacking libxdmcp6:riscv64 (1:1.1.3-0ubuntu1) ... Selecting previously unselected package libxcb1:riscv64. Preparing to unpack .../025-libxcb1_1.14-2_riscv64.deb ... Unpacking libxcb1:riscv64 (1.14-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../026-libx11-data_2%3a1.6.9-2ubuntu1_all.deb ... Unpacking libx11-data (2:1.6.9-2ubuntu1) ... Selecting previously unselected package libx11-6:riscv64. Preparing to unpack .../027-libx11-6_2%3a1.6.9-2ubuntu1_riscv64.deb ... Unpacking libx11-6:riscv64 (2:1.6.9-2ubuntu1) ... Selecting previously unselected package libxext6:riscv64. Preparing to unpack .../028-libxext6_2%3a1.3.4-0ubuntu1_riscv64.deb ... Unpacking libxext6:riscv64 (2:1.3.4-0ubuntu1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../029-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package libjpeg-turbo8:riscv64. Preparing to unpack .../030-libjpeg-turbo8_2.0.3-0ubuntu1_riscv64.deb ... Unpacking libjpeg-turbo8:riscv64 (2.0.3-0ubuntu1) ... Selecting previously unselected package libjpeg8:riscv64. Preparing to unpack .../031-libjpeg8_8c-2ubuntu8_riscv64.deb ... Unpacking libjpeg8:riscv64 (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:riscv64. Preparing to unpack .../032-libjbig0_2.1-3.1build1_riscv64.deb ... Unpacking libjbig0:riscv64 (2.1-3.1build1) ... Selecting previously unselected package libwebp6:riscv64. Preparing to unpack .../033-libwebp6_0.6.1-2_riscv64.deb ... Unpacking libwebp6:riscv64 (0.6.1-2) ... Selecting previously unselected package libtiff5:riscv64. Preparing to unpack .../034-libtiff5_4.1.0+git191117-2build1_riscv64.deb ... Unpacking libtiff5:riscv64 (4.1.0+git191117-2build1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../035-libgdk-pixbuf2.0-common_2.40.0+dfsg-3_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.40.0+dfsg-3) ... Selecting previously unselected package libgdk-pixbuf2.0-0:riscv64. Preparing to unpack .../036-libgdk-pixbuf2.0-0_2.40.0+dfsg-3_riscv64.deb ... Unpacking libgdk-pixbuf2.0-0:riscv64 (2.40.0+dfsg-3) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../037-gtk-update-icon-cache_3.24.14-1ubuntu1_riscv64.deb ... No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. Unpacking gtk-update-icon-cache (3.24.14-1ubuntu1) ... Selecting previously unselected package libfreetype6:riscv64. Preparing to unpack .../038-libfreetype6_2.10.1-2_riscv64.deb ... Unpacking libfreetype6:riscv64 (2.10.1-2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../039-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../040-fontconfig-config_2.13.1-2ubuntu2_all.deb ... Unpacking fontconfig-config (2.13.1-2ubuntu2) ... Selecting previously unselected package libfontconfig1:riscv64. Preparing to unpack .../041-libfontconfig1_2.13.1-2ubuntu2_riscv64.deb ... Unpacking libfontconfig1:riscv64 (2.13.1-2ubuntu2) ... Selecting previously unselected package libpixman-1-0:riscv64. Preparing to unpack .../042-libpixman-1-0_0.38.4-0ubuntu1_riscv64.deb ... Unpacking libpixman-1-0:riscv64 (0.38.4-0ubuntu1) ... Selecting previously unselected package libxcb-render0:riscv64. Preparing to unpack .../043-libxcb-render0_1.14-2_riscv64.deb ... Unpacking libxcb-render0:riscv64 (1.14-2) ... Selecting previously unselected package libxcb-shm0:riscv64. Preparing to unpack .../044-libxcb-shm0_1.14-2_riscv64.deb ... Unpacking libxcb-shm0:riscv64 (1.14-2) ... Selecting previously unselected package libxrender1:riscv64. Preparing to unpack .../045-libxrender1_1%3a0.9.10-1_riscv64.deb ... Unpacking libxrender1:riscv64 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:riscv64. Preparing to unpack .../046-libcairo2_1.16.0-4ubuntu1_riscv64.deb ... Unpacking libcairo2:riscv64 (1.16.0-4ubuntu1) ... Selecting previously unselected package libcroco3:riscv64. Preparing to unpack .../047-libcroco3_0.6.13-1_riscv64.deb ... Unpacking libcroco3:riscv64 (0.6.13-1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../048-fontconfig_2.13.1-2ubuntu2_riscv64.deb ... Unpacking fontconfig (2.13.1-2ubuntu2) ... Selecting previously unselected package libgraphite2-3:riscv64. Preparing to unpack .../049-libgraphite2-3_1.3.13-11build1_riscv64.deb ... Unpacking libgraphite2-3:riscv64 (1.3.13-11build1) ... Selecting previously unselected package libharfbuzz0b:riscv64. Preparing to unpack .../050-libharfbuzz0b_2.6.4-1ubuntu2+riscv64.1_riscv64.deb ... Unpacking libharfbuzz0b:riscv64 (2.6.4-1ubuntu2+riscv64.1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../051-libthai-data_0.1.28-3_all.deb ... Unpacking libthai-data (0.1.28-3) ... Selecting previously unselected package libdatrie1:riscv64. Preparing to unpack .../052-libdatrie1_0.2.12-3_riscv64.deb ... Unpacking libdatrie1:riscv64 (0.2.12-3) ... Selecting previously unselected package libthai0:riscv64. Preparing to unpack .../053-libthai0_0.1.28-3_riscv64.deb ... Unpacking libthai0:riscv64 (0.1.28-3) ... Selecting previously unselected package libpango-1.0-0:riscv64. Preparing to unpack .../054-libpango-1.0-0_1.44.7-2ubuntu2_riscv64.deb ... Unpacking libpango-1.0-0:riscv64 (1.44.7-2ubuntu2) ... Selecting previously unselected package libpangoft2-1.0-0:riscv64. Preparing to unpack .../055-libpangoft2-1.0-0_1.44.7-2ubuntu2_riscv64.deb ... Unpacking libpangoft2-1.0-0:riscv64 (1.44.7-2ubuntu2) ... Selecting previously unselected package libpangocairo-1.0-0:riscv64. Preparing to unpack .../056-libpangocairo-1.0-0_1.44.7-2ubuntu2_riscv64.deb ... Unpacking libpangocairo-1.0-0:riscv64 (1.44.7-2ubuntu2) ... Selecting previously unselected package librsvg2-2:riscv64. Preparing to unpack .../057-librsvg2-2_2.40.20-3+riscv64.1_riscv64.deb ... Unpacking librsvg2-2:riscv64 (2.40.20-3+riscv64.1) ... Selecting previously unselected package librsvg2-common:riscv64. Preparing to unpack .../058-librsvg2-common_2.40.20-3+riscv64.1_riscv64.deb ... Unpacking librsvg2-common:riscv64 (2.40.20-3+riscv64.1) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../059-humanity-icon-theme_0.6.15_all.deb ... Unpacking humanity-icon-theme (0.6.15) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../060-ubuntu-mono_19.04-0ubuntu3_all.deb ... Unpacking ubuntu-mono (19.04-0ubuntu3) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../061-adwaita-icon-theme_3.36.0-1ubuntu1_all.deb ... Unpacking adwaita-icon-theme (3.36.0-1ubuntu1) ... Selecting previously unselected package libsigsegv2:riscv64. Preparing to unpack .../062-libsigsegv2_2.12-2_riscv64.deb ... Unpacking libsigsegv2:riscv64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../063-m4_1.4.18-4_riscv64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../064-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../065-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../066-automake_1%3a1.16.1-4ubuntu6_all.deb ... Unpacking automake (1:1.16.1-4ubuntu6) ... Selecting previously unselected package autopoint. Preparing to unpack .../067-autopoint_0.19.8.1-10build1_all.deb ... Unpacking autopoint (0.19.8.1-10build1) ... Selecting previously unselected package libtool. Preparing to unpack .../068-libtool_2.4.6-13_all.deb ... Unpacking libtool (2.4.6-13) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../069-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../070-libdebhelper-perl_12.10ubuntu1_all.deb ... Unpacking libdebhelper-perl (12.10ubuntu1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../071-libarchive-zip-perl_1.67-2_all.deb ... Unpacking libarchive-zip-perl (1.67-2) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../072-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../073-libfile-stripnondeterminism-perl_1.6.3-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.6.3-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../074-dh-strip-nondeterminism_1.6.3-2_all.deb ... Unpacking dh-strip-nondeterminism (1.6.3-2) ... Selecting previously unselected package dwz. Preparing to unpack .../075-dwz_0.13-5_riscv64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package gettext. Preparing to unpack .../076-gettext_0.19.8.1-10build1_riscv64.deb ... Unpacking gettext (0.19.8.1-10build1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../077-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../078-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../079-debhelper_12.10ubuntu1_all.deb ... Unpacking debhelper (12.10ubuntu1) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../080-emacsen-common_3.0.4_all.deb ... Unpacking emacsen-common (3.0.4) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../081-dictionaries-common_1.28.1_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.28.1) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../082-libatk1.0-data_2.35.1-1ubuntu1_all.deb ... Unpacking libatk1.0-data (2.35.1-1ubuntu1) ... Selecting previously unselected package libatk1.0-0:riscv64. Preparing to unpack .../083-libatk1.0-0_2.35.1-1ubuntu1_riscv64.deb ... Unpacking libatk1.0-0:riscv64 (2.35.1-1ubuntu1) ... Selecting previously unselected package gir1.2-atk-1.0:riscv64. Preparing to unpack .../084-gir1.2-atk-1.0_2.35.1-1ubuntu1_riscv64.deb ... Unpacking gir1.2-atk-1.0:riscv64 (2.35.1-1ubuntu1) ... Selecting previously unselected package gir1.2-freedesktop:riscv64. Preparing to unpack .../085-gir1.2-freedesktop_1.64.0-2_riscv64.deb ... Unpacking gir1.2-freedesktop:riscv64 (1.64.0-2) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0:riscv64. Preparing to unpack .../086-gir1.2-gdkpixbuf-2.0_2.40.0+dfsg-3_riscv64.deb ... Unpacking gir1.2-gdkpixbuf-2.0:riscv64 (2.40.0+dfsg-3) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../087-libgtk2.0-common_2.24.32-4ubuntu4_all.deb ... Unpacking libgtk2.0-common (2.24.32-4ubuntu4) ... Selecting previously unselected package libxft2:riscv64. Preparing to unpack .../088-libxft2_2.3.3-0ubuntu1_riscv64.deb ... Unpacking libxft2:riscv64 (2.3.3-0ubuntu1) ... Selecting previously unselected package libpangoxft-1.0-0:riscv64. Preparing to unpack .../089-libpangoxft-1.0-0_1.44.7-2ubuntu2_riscv64.deb ... Unpacking libpangoxft-1.0-0:riscv64 (1.44.7-2ubuntu2) ... Selecting previously unselected package gir1.2-pango-1.0:riscv64. Preparing to unpack .../090-gir1.2-pango-1.0_1.44.7-2ubuntu2_riscv64.deb ... Unpacking gir1.2-pango-1.0:riscv64 (1.44.7-2ubuntu2) ... Selecting previously unselected package libavahi-common-data:riscv64. Preparing to unpack .../091-libavahi-common-data_0.7-4ubuntu6_riscv64.deb ... Unpacking libavahi-common-data:riscv64 (0.7-4ubuntu6) ... Selecting previously unselected package libavahi-common3:riscv64. Preparing to unpack .../092-libavahi-common3_0.7-4ubuntu6_riscv64.deb ... Unpacking libavahi-common3:riscv64 (0.7-4ubuntu6) ... Selecting previously unselected package libavahi-client3:riscv64. Preparing to unpack .../093-libavahi-client3_0.7-4ubuntu6_riscv64.deb ... Unpacking libavahi-client3:riscv64 (0.7-4ubuntu6) ... Selecting previously unselected package libcups2:riscv64. Preparing to unpack .../094-libcups2_2.3.1-9ubuntu1_riscv64.deb ... Unpacking libcups2:riscv64 (2.3.1-9ubuntu1) ... Selecting previously unselected package libxcomposite1:riscv64. Preparing to unpack .../095-libxcomposite1_1%3a0.4.5-0ubuntu1_riscv64.deb ... Unpacking libxcomposite1:riscv64 (1:0.4.5-0ubuntu1) ... Selecting previously unselected package libxfixes3:riscv64. Preparing to unpack .../096-libxfixes3_1%3a5.0.3-1_riscv64.deb ... Unpacking libxfixes3:riscv64 (1:5.0.3-1) ... Selecting previously unselected package libxcursor1:riscv64. Preparing to unpack .../097-libxcursor1_1%3a1.2.0-2_riscv64.deb ... Unpacking libxcursor1:riscv64 (1:1.2.0-2) ... Selecting previously unselected package libxdamage1:riscv64. Preparing to unpack .../098-libxdamage1_1%3a1.1.5-1_riscv64.deb ... Unpacking libxdamage1:riscv64 (1:1.1.5-1) ... Selecting previously unselected package libxi6:riscv64. Preparing to unpack .../099-libxi6_2%3a1.7.10-0ubuntu1_riscv64.deb ... Unpacking libxi6:riscv64 (2:1.7.10-0ubuntu1) ... Selecting previously unselected package libxinerama1:riscv64. Preparing to unpack .../100-libxinerama1_2%3a1.1.4-2_riscv64.deb ... Unpacking libxinerama1:riscv64 (2:1.1.4-2) ... Selecting previously unselected package libxrandr2:riscv64. Preparing to unpack .../101-libxrandr2_2%3a1.5.2-0ubuntu1_riscv64.deb ... Unpacking libxrandr2:riscv64 (2:1.5.2-0ubuntu1) ... Selecting previously unselected package libgtk2.0-0:riscv64. Preparing to unpack .../102-libgtk2.0-0_2.24.32-4ubuntu4_riscv64.deb ... Unpacking libgtk2.0-0:riscv64 (2.24.32-4ubuntu4) ... Selecting previously unselected package gir1.2-gtk-2.0:riscv64. Preparing to unpack .../103-gir1.2-gtk-2.0_2.24.32-4ubuntu4_riscv64.deb ... Unpacking gir1.2-gtk-2.0:riscv64 (2.24.32-4ubuntu4) ... Selecting previously unselected package gir1.2-harfbuzz-0.0:riscv64. Preparing to unpack .../104-gir1.2-harfbuzz-0.0_2.6.4-1ubuntu2+riscv64.1_riscv64.deb ... Unpacking gir1.2-harfbuzz-0.0:riscv64 (2.6.4-1ubuntu2+riscv64.1) ... Selecting previously unselected package hunspell-en-us. Preparing to unpack .../105-hunspell-en-us_1%3a2018.04.16-1_all.deb ... Unpacking hunspell-en-us (1:2018.04.16-1) ... Selecting previously unselected package icu-devtools. Preparing to unpack .../106-icu-devtools_66.1-2ubuntu2_riscv64.deb ... Unpacking icu-devtools (66.1-2ubuntu2) ... Selecting previously unselected package libaspell15:riscv64. Preparing to unpack .../107-libaspell15_0.60.8-1build1_riscv64.deb ... Unpacking libaspell15:riscv64 (0.60.8-1build1) ... Selecting previously unselected package pkg-config. Preparing to unpack .../108-pkg-config_0.29.1-0ubuntu4_riscv64.deb ... Unpacking pkg-config (0.29.1-0ubuntu4) ... Selecting previously unselected package libffi-dev:riscv64. Preparing to unpack .../109-libffi-dev_3.3-4_riscv64.deb ... Unpacking libffi-dev:riscv64 (3.3-4) ... Selecting previously unselected package libglib2.0-bin. Preparing to unpack .../110-libglib2.0-bin_2.64.1-1_riscv64.deb ... Unpacking libglib2.0-bin (2.64.1-1) ... Selecting previously unselected package python3-lib2to3. Preparing to unpack .../111-python3-lib2to3_3.8.2-1ubuntu1_all.deb ... Unpacking python3-lib2to3 (3.8.2-1ubuntu1) ... Selecting previously unselected package python3-distutils. Preparing to unpack .../112-python3-distutils_3.8.2-1ubuntu1_all.deb ... Unpacking python3-distutils (3.8.2-1ubuntu1) ... Selecting previously unselected package libglib2.0-dev-bin. Preparing to unpack .../113-libglib2.0-dev-bin_2.64.1-1_riscv64.deb ... Unpacking libglib2.0-dev-bin (2.64.1-1) ... Selecting previously unselected package uuid-dev:riscv64. Preparing to unpack .../114-uuid-dev_2.34-0.1ubuntu8_riscv64.deb ... Unpacking uuid-dev:riscv64 (2.34-0.1ubuntu8) ... Selecting previously unselected package libblkid-dev:riscv64. Preparing to unpack .../115-libblkid-dev_2.34-0.1ubuntu8_riscv64.deb ... Unpacking libblkid-dev:riscv64 (2.34-0.1ubuntu8) ... Selecting previously unselected package libmount-dev:riscv64. Preparing to unpack .../116-libmount-dev_2.34-0.1ubuntu8_riscv64.deb ... Unpacking libmount-dev:riscv64 (2.34-0.1ubuntu8) ... Selecting previously unselected package libpcre16-3:riscv64. Preparing to unpack .../117-libpcre16-3_2%3a8.39-12build1_riscv64.deb ... Unpacking libpcre16-3:riscv64 (2:8.39-12build1) ... Selecting previously unselected package libpcre32-3:riscv64. Preparing to unpack .../118-libpcre32-3_2%3a8.39-12build1_riscv64.deb ... Unpacking libpcre32-3:riscv64 (2:8.39-12build1) ... Selecting previously unselected package libpcrecpp0v5:riscv64. Preparing to unpack .../119-libpcrecpp0v5_2%3a8.39-12build1_riscv64.deb ... Unpacking libpcrecpp0v5:riscv64 (2:8.39-12build1) ... Selecting previously unselected package libpcre3-dev:riscv64. Preparing to unpack .../120-libpcre3-dev_2%3a8.39-12build1_riscv64.deb ... Unpacking libpcre3-dev:riscv64 (2:8.39-12build1) ... Selecting previously unselected package libsepol1-dev:riscv64. Preparing to unpack .../121-libsepol1-dev_3.0-1_riscv64.deb ... Unpacking libsepol1-dev:riscv64 (3.0-1) ... Selecting previously unselected package libpcre2-16-0:riscv64. Preparing to unpack .../122-libpcre2-16-0_10.34-7_riscv64.deb ... Unpacking libpcre2-16-0:riscv64 (10.34-7) ... Selecting previously unselected package libpcre2-32-0:riscv64. Preparing to unpack .../123-libpcre2-32-0_10.34-7_riscv64.deb ... Unpacking libpcre2-32-0:riscv64 (10.34-7) ... Selecting previously unselected package libpcre2-posix2:riscv64. Preparing to unpack .../124-libpcre2-posix2_10.34-7_riscv64.deb ... Unpacking libpcre2-posix2:riscv64 (10.34-7) ... Selecting previously unselected package libpcre2-dev:riscv64. Preparing to unpack .../125-libpcre2-dev_10.34-7_riscv64.deb ... Unpacking libpcre2-dev:riscv64 (10.34-7) ... Selecting previously unselected package libselinux1-dev:riscv64. Preparing to unpack .../126-libselinux1-dev_3.0-1build2_riscv64.deb ... Unpacking libselinux1-dev:riscv64 (3.0-1build2) ... Selecting previously unselected package zlib1g-dev:riscv64. Preparing to unpack .../127-zlib1g-dev_1%3a1.2.11.dfsg-2ubuntu1_riscv64.deb ... Unpacking zlib1g-dev:riscv64 (1:1.2.11.dfsg-2ubuntu1) ... Selecting previously unselected package libglib2.0-dev:riscv64. Preparing to unpack .../128-libglib2.0-dev_2.64.1-1_riscv64.deb ... Unpacking libglib2.0-dev:riscv64 (2.64.1-1) ... Selecting previously unselected package libatk1.0-dev:riscv64. Preparing to unpack .../129-libatk1.0-dev_2.35.1-1ubuntu1_riscv64.deb ... Unpacking libatk1.0-dev:riscv64 (2.35.1-1ubuntu1) ... Selecting previously unselected package libcairo-gobject2:riscv64. Preparing to unpack .../130-libcairo-gobject2_1.16.0-4ubuntu1_riscv64.deb ... Unpacking libcairo-gobject2:riscv64 (1.16.0-4ubuntu1) ... Selecting previously unselected package liblzo2-2:riscv64. Preparing to unpack .../131-liblzo2-2_2.10-2_riscv64.deb ... Unpacking liblzo2-2:riscv64 (2.10-2) ... Selecting previously unselected package libcairo-script-interpreter2:riscv64. Preparing to unpack .../132-libcairo-script-interpreter2_1.16.0-4ubuntu1_riscv64.deb ... Unpacking libcairo-script-interpreter2:riscv64 (1.16.0-4ubuntu1) ... Selecting previously unselected package libexpat1-dev:riscv64. Preparing to unpack .../133-libexpat1-dev_2.2.9-1build1_riscv64.deb ... Unpacking libexpat1-dev:riscv64 (2.2.9-1build1) ... Selecting previously unselected package libpng-dev:riscv64. Preparing to unpack .../134-libpng-dev_1.6.37-2_riscv64.deb ... Unpacking libpng-dev:riscv64 (1.6.37-2) ... Selecting previously unselected package libfreetype-dev:riscv64. Preparing to unpack .../135-libfreetype-dev_2.10.1-2_riscv64.deb ... Unpacking libfreetype-dev:riscv64 (2.10.1-2) ... Selecting previously unselected package libfreetype6-dev:riscv64. Preparing to unpack .../136-libfreetype6-dev_2.10.1-2_riscv64.deb ... Unpacking libfreetype6-dev:riscv64 (2.10.1-2) ... Selecting previously unselected package libfontconfig1-dev:riscv64. Preparing to unpack .../137-libfontconfig1-dev_2.13.1-2ubuntu2_riscv64.deb ... Unpacking libfontconfig1-dev:riscv64 (2.13.1-2ubuntu2) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../138-xorg-sgml-doctools_1%3a1.11-1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1) ... Selecting previously unselected package x11proto-dev. Preparing to unpack .../139-x11proto-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-dev (2019.2-1ubuntu1) ... Selecting previously unselected package x11proto-core-dev. Preparing to unpack .../140-x11proto-core-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-core-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxau-dev:riscv64. Preparing to unpack .../141-libxau-dev_1%3a1.0.9-0ubuntu1_riscv64.deb ... Unpacking libxau-dev:riscv64 (1:1.0.9-0ubuntu1) ... Selecting previously unselected package libxdmcp-dev:riscv64. Preparing to unpack .../142-libxdmcp-dev_1%3a1.1.3-0ubuntu1_riscv64.deb ... Unpacking libxdmcp-dev:riscv64 (1:1.1.3-0ubuntu1) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../143-xtrans-dev_1.4.0-1_all.deb ... Unpacking xtrans-dev (1.4.0-1) ... Selecting previously unselected package libpthread-stubs0-dev:riscv64. Preparing to unpack .../144-libpthread-stubs0-dev_0.4-1_riscv64.deb ... Unpacking libpthread-stubs0-dev:riscv64 (0.4-1) ... Selecting previously unselected package libxcb1-dev:riscv64. Preparing to unpack .../145-libxcb1-dev_1.14-2_riscv64.deb ... Unpacking libxcb1-dev:riscv64 (1.14-2) ... Selecting previously unselected package libx11-dev:riscv64. Preparing to unpack .../146-libx11-dev_2%3a1.6.9-2ubuntu1_riscv64.deb ... Unpacking libx11-dev:riscv64 (2:1.6.9-2ubuntu1) ... Selecting previously unselected package libxrender-dev:riscv64. Preparing to unpack .../147-libxrender-dev_1%3a0.9.10-1_riscv64.deb ... Unpacking libxrender-dev:riscv64 (1:0.9.10-1) ... Selecting previously unselected package x11proto-xext-dev. Preparing to unpack .../148-x11proto-xext-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-xext-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxext-dev:riscv64. Preparing to unpack .../149-libxext-dev_2%3a1.3.4-0ubuntu1_riscv64.deb ... Unpacking libxext-dev:riscv64 (2:1.3.4-0ubuntu1) ... Selecting previously unselected package x11-common. Preparing to unpack .../150-x11-common_1%3a7.7+19ubuntu14_all.deb ... dpkg-query: no packages found matching nux-tools Unpacking x11-common (1:7.7+19ubuntu14) ... Selecting previously unselected package libice6:riscv64. Preparing to unpack .../151-libice6_2%3a1.0.10-0ubuntu1_riscv64.deb ... Unpacking libice6:riscv64 (2:1.0.10-0ubuntu1) ... Selecting previously unselected package libsm6:riscv64. Preparing to unpack .../152-libsm6_2%3a1.2.3-1_riscv64.deb ... Unpacking libsm6:riscv64 (2:1.2.3-1) ... Selecting previously unselected package libice-dev:riscv64. Preparing to unpack .../153-libice-dev_2%3a1.0.10-0ubuntu1_riscv64.deb ... Unpacking libice-dev:riscv64 (2:1.0.10-0ubuntu1) ... Selecting previously unselected package libsm-dev:riscv64. Preparing to unpack .../154-libsm-dev_2%3a1.2.3-1_riscv64.deb ... Unpacking libsm-dev:riscv64 (2:1.2.3-1) ... Selecting previously unselected package libpixman-1-dev:riscv64. Preparing to unpack .../155-libpixman-1-dev_0.38.4-0ubuntu1_riscv64.deb ... Unpacking libpixman-1-dev:riscv64 (0.38.4-0ubuntu1) ... Selecting previously unselected package libxcb-render0-dev:riscv64. Preparing to unpack .../156-libxcb-render0-dev_1.14-2_riscv64.deb ... Unpacking libxcb-render0-dev:riscv64 (1.14-2) ... Selecting previously unselected package libxcb-shm0-dev:riscv64. Preparing to unpack .../157-libxcb-shm0-dev_1.14-2_riscv64.deb ... Unpacking libxcb-shm0-dev:riscv64 (1.14-2) ... Selecting previously unselected package libcairo2-dev:riscv64. Preparing to unpack .../158-libcairo2-dev_1.16.0-4ubuntu1_riscv64.deb ... Unpacking libcairo2-dev:riscv64 (1.16.0-4ubuntu1) ... Selecting previously unselected package libdatrie-dev:riscv64. Preparing to unpack .../159-libdatrie-dev_0.2.12-3_riscv64.deb ... Unpacking libdatrie-dev:riscv64 (0.2.12-3) ... Selecting previously unselected package libhunspell-1.7-0:riscv64. Preparing to unpack .../160-libhunspell-1.7-0_1.7.0-2build2_riscv64.deb ... Unpacking libhunspell-1.7-0:riscv64 (1.7.0-2build2) ... Selecting previously unselected package libenchant-2-2:riscv64. Preparing to unpack .../161-libenchant-2-2_2.2.8-1_riscv64.deb ... Unpacking libenchant-2-2:riscv64 (2.2.8-1) ... Selecting previously unselected package libenchant-2-dev:riscv64. Preparing to unpack .../162-libenchant-2-dev_2.2.8-1_riscv64.deb ... Unpacking libenchant-2-dev:riscv64 (2.2.8-1) ... Selecting previously unselected package libfribidi-dev:riscv64. Preparing to unpack .../163-libfribidi-dev_1.0.8-2_riscv64.deb ... Unpacking libfribidi-dev:riscv64 (1.0.8-2) ... Selecting previously unselected package libgdk-pixbuf2.0-bin. Preparing to unpack .../164-libgdk-pixbuf2.0-bin_2.40.0+dfsg-3_riscv64.deb ... Unpacking libgdk-pixbuf2.0-bin (2.40.0+dfsg-3) ... Selecting previously unselected package libgdk-pixbuf2.0-dev:riscv64. Preparing to unpack .../165-libgdk-pixbuf2.0-dev_2.40.0+dfsg-3_riscv64.deb ... Unpacking libgdk-pixbuf2.0-dev:riscv64 (2.40.0+dfsg-3) ... Selecting previously unselected package libglade2-0:riscv64. Preparing to unpack .../166-libglade2-0_1%3a2.6.4-2ubuntu2_riscv64.deb ... Unpacking libglade2-0:riscv64 (1:2.6.4-2ubuntu2) ... Selecting previously unselected package libharfbuzz-icu0:riscv64. Preparing to unpack .../167-libharfbuzz-icu0_2.6.4-1ubuntu2+riscv64.1_riscv64.deb ... Unpacking libharfbuzz-icu0:riscv64 (2.6.4-1ubuntu2+riscv64.1) ... Selecting previously unselected package libharfbuzz-gobject0:riscv64. Preparing to unpack .../168-libharfbuzz-gobject0_2.6.4-1ubuntu2+riscv64.1_riscv64.deb ... Unpacking libharfbuzz-gobject0:riscv64 (2.6.4-1ubuntu2+riscv64.1) ... Selecting previously unselected package libgraphite2-dev:riscv64. Preparing to unpack .../169-libgraphite2-dev_1.3.13-11build1_riscv64.deb ... Unpacking libgraphite2-dev:riscv64 (1.3.13-11build1) ... Selecting previously unselected package libicu-dev:riscv64. Preparing to unpack .../170-libicu-dev_66.1-2ubuntu2_riscv64.deb ... Unpacking libicu-dev:riscv64 (66.1-2ubuntu2) ... Selecting previously unselected package libharfbuzz-dev:riscv64. Preparing to unpack .../171-libharfbuzz-dev_2.6.4-1ubuntu2+riscv64.1_riscv64.deb ... Unpacking libharfbuzz-dev:riscv64 (2.6.4-1ubuntu2+riscv64.1) ... Selecting previously unselected package libthai-dev:riscv64. Preparing to unpack .../172-libthai-dev_0.1.28-3_riscv64.deb ... Unpacking libthai-dev:riscv64 (0.1.28-3) ... Selecting previously unselected package libxft-dev:riscv64. Preparing to unpack .../173-libxft-dev_2.3.3-0ubuntu1_riscv64.deb ... Unpacking libxft-dev:riscv64 (2.3.3-0ubuntu1) ... Selecting previously unselected package pango1.0-tools. Preparing to unpack .../174-pango1.0-tools_1.44.7-2ubuntu2_riscv64.deb ... Unpacking pango1.0-tools (1.44.7-2ubuntu2) ... Selecting previously unselected package libpango1.0-dev:riscv64. Preparing to unpack .../175-libpango1.0-dev_1.44.7-2ubuntu2_riscv64.deb ... Unpacking libpango1.0-dev:riscv64 (1.44.7-2ubuntu2) ... Selecting previously unselected package x11proto-xinerama-dev. Preparing to unpack .../176-x11proto-xinerama-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-xinerama-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxinerama-dev:riscv64. Preparing to unpack .../177-libxinerama-dev_2%3a1.1.4-2_riscv64.deb ... Unpacking libxinerama-dev:riscv64 (2:1.1.4-2) ... Selecting previously unselected package x11proto-fixes-dev. Preparing to unpack .../178-x11proto-fixes-dev_1%3a2019.2-1ubuntu1_all.deb ... Unpacking x11proto-fixes-dev (1:2019.2-1ubuntu1) ... Selecting previously unselected package libxfixes-dev:riscv64. Preparing to unpack .../179-libxfixes-dev_1%3a5.0.3-1_riscv64.deb ... Unpacking libxfixes-dev:riscv64 (1:5.0.3-1) ... Selecting previously unselected package x11proto-input-dev. Preparing to unpack .../180-x11proto-input-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-input-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxi-dev:riscv64. Preparing to unpack .../181-libxi-dev_2%3a1.7.10-0ubuntu1_riscv64.deb ... Unpacking libxi-dev:riscv64 (2:1.7.10-0ubuntu1) ... Selecting previously unselected package x11proto-randr-dev. Preparing to unpack .../182-x11proto-randr-dev_2019.2-1ubuntu1_all.deb ... Unpacking x11proto-randr-dev (2019.2-1ubuntu1) ... Selecting previously unselected package libxrandr-dev:riscv64. Preparing to unpack .../183-libxrandr-dev_2%3a1.5.2-0ubuntu1_riscv64.deb ... Unpacking libxrandr-dev:riscv64 (2:1.5.2-0ubuntu1) ... Selecting previously unselected package libxcursor-dev:riscv64. Preparing to unpack .../184-libxcursor-dev_1%3a1.2.0-2_riscv64.deb ... Unpacking libxcursor-dev:riscv64 (1:1.2.0-2) ... Selecting previously unselected package x11proto-composite-dev. Preparing to unpack .../185-x11proto-composite-dev_1%3a2019.2-1ubuntu1_all.deb ... Unpacking x11proto-composite-dev (1:2019.2-1ubuntu1) ... Selecting previously unselected package libxcomposite-dev:riscv64. Preparing to unpack .../186-libxcomposite-dev_1%3a0.4.5-0ubuntu1_riscv64.deb ... Unpacking libxcomposite-dev:riscv64 (1:0.4.5-0ubuntu1) ... Selecting previously unselected package x11proto-damage-dev. Preparing to unpack .../187-x11proto-damage-dev_1%3a2019.2-1ubuntu1_all.deb ... Unpacking x11proto-damage-dev (1:2019.2-1ubuntu1) ... Selecting previously unselected package libxdamage-dev:riscv64. Preparing to unpack .../188-libxdamage-dev_1%3a1.1.5-1_riscv64.deb ... Unpacking libxdamage-dev:riscv64 (1:1.1.5-1) ... Selecting previously unselected package libxml2-utils. Preparing to unpack .../189-libxml2-utils_2.9.10+dfsg-4build1_riscv64.deb ... Unpacking libxml2-utils (2.9.10+dfsg-4build1) ... Selecting previously unselected package libgtk2.0-dev:riscv64. Preparing to unpack .../190-libgtk2.0-dev_2.24.32-4ubuntu4_riscv64.deb ... Unpacking libgtk2.0-dev:riscv64 (2.24.32-4ubuntu4) ... Selecting previously unselected package libxml2-dev:riscv64. Preparing to unpack .../191-libxml2-dev_2.9.10+dfsg-4build1_riscv64.deb ... Unpacking libxml2-dev:riscv64 (2.9.10+dfsg-4build1) ... Selecting previously unselected package libglade2-dev:riscv64. Preparing to unpack .../192-libglade2-dev_1%3a2.6.4-2ubuntu2_riscv64.deb ... Unpacking libglade2-dev:riscv64 (1:2.6.4-2ubuntu2) ... Selecting previously unselected package libgtkspell0:riscv64. Preparing to unpack .../193-libgtkspell0_2.0.16-1.3_riscv64.deb ... Unpacking libgtkspell0:riscv64 (2.0.16-1.3) ... Selecting previously unselected package libgtkspell-dev. Preparing to unpack .../194-libgtkspell-dev_2.0.16-1.3_riscv64.deb ... Unpacking libgtkspell-dev (2.0.16-1.3) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../195-ocaml-base-nox_4.08.1-8_riscv64.deb ... Unpacking ocaml-base-nox (4.08.1-8) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../196-liblablgtk2-ocaml_2.18.8+dfsg-1build1_riscv64.deb ... Unpacking liblablgtk2-ocaml (2.18.8+dfsg-1build1) ... Selecting previously unselected package libncurses-dev:riscv64. Preparing to unpack .../197-libncurses-dev_6.2-0ubuntu2_riscv64.deb ... Unpacking libncurses-dev:riscv64 (6.2-0ubuntu2) ... Selecting previously unselected package libncurses5-dev:riscv64. Preparing to unpack .../198-libncurses5-dev_6.2-0ubuntu2_riscv64.deb ... Unpacking libncurses5-dev:riscv64 (6.2-0ubuntu2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../199-ocaml-compiler-libs_4.08.1-8_riscv64.deb ... Unpacking ocaml-compiler-libs (4.08.1-8) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../200-ocaml-interp_4.08.1-8_riscv64.deb ... Unpacking ocaml-interp (4.08.1-8) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../201-ocaml-nox_4.08.1-8_riscv64.deb ... Unpacking ocaml-nox (4.08.1-8) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Preparing to unpack .../202-liblablgtk2-ocaml-dev_2.18.8+dfsg-1build1_riscv64.deb ... Unpacking liblablgtk2-ocaml-dev (2.18.8+dfsg-1build1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../203-dh-ocaml_1.1.1_all.deb ... Unpacking dh-ocaml (1.1.1) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../204-sbuild-build-depends-main-dummy_0.invalid.0_riscv64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up libpcrecpp0v5:riscv64 (2:8.39-12build1) ... Setting up libpipeline1:riscv64 (1.5.2-2build1) ... Setting up libgraphite2-3:riscv64 (1.3.13-11build1) ... Setting up libpixman-1-0:riscv64 (0.38.4-0ubuntu1) ... Setting up libxau6:riscv64 (1:1.0.9-0ubuntu1) ... Setting up libkeyutils1:riscv64 (1.6-6ubuntu1) ... Setting up libpixman-1-dev:riscv64 (0.38.4-0ubuntu1) ... Setting up mime-support (3.64ubuntu1) ... Setting up libpcre16-3:riscv64 (2:8.39-12build1) ... Setting up hicolor-icon-theme (0.17-2) ... Setting up libdatrie1:riscv64 (0.2.12-3) ... Setting up libmagic-mgc (1:5.38-4) ... Setting up libarchive-zip-perl (1.67-2) ... Setting up libglib2.0-0:riscv64 (2.64.1-1) ... No schema files found: doing nothing. Setting up libaspell15:riscv64 (0.60.8-1build1) ... Setting up libdebhelper-perl (12.10ubuntu1) ... Setting up libgdk-pixbuf2.0-common (2.40.0+dfsg-3) ... Setting up x11-common (1:7.7+19ubuntu14) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults invoke-rc.d: could not determine current runlevel invoke-rc.d: policy-rc.d denied execution of start. Setting up dh-ocaml (1.1.1) ... Setting up libmagic1:riscv64 (1:5.38-4) ... Setting up libsepol1-dev:riscv64 (3.0-1) ... Setting up gettext-base (0.19.8.1-10build1) ... Setting up liblzo2-2:riscv64 (2.10-2) ... Setting up file (1:5.38-4) ... Setting up libffi-dev:riscv64 (3.3-4) ... Setting up libpthread-stubs0-dev:riscv64 (0.4-1) ... Setting up libjbig0:riscv64 (2.1-3.1build1) ... Setting up libpcre2-16-0:riscv64 (10.34-7) ... Setting up libkrb5support0:riscv64 (1.17-6ubuntu4) ... Setting up libpython2.7-stdlib:riscv64 (2.7.17-1ubuntu6) ... Setting up tzdata (2019c-3ubuntu1) ... Current default time zone: 'Etc/UTC' Local time is now: Sun Apr 5 13:41:40 UTC 2020. Universal Time is now: Sun Apr 5 13:41:40 UTC 2020. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up xtrans-dev (1.4.0-1) ... Setting up libgraphite2-dev:riscv64 (1.3.13-11build1) ... Setting up autotools-dev (20180224.1) ... Setting up libpcre2-32-0:riscv64 (10.34-7) ... Setting up libglib2.0-data (2.64.1-1) ... Setting up libexpat1-dev:riscv64 (2.2.9-1build1) ... Setting up emacsen-common (3.0.4) ... Setting up libfreetype6:riscv64 (2.10.1-2) ... Setting up libx11-data (2:1.6.9-2ubuntu1) ... Setting up uuid-dev:riscv64 (2.34-0.1ubuntu8) ... Setting up libavahi-common-data:riscv64 (0.7-4ubuntu6) ... Setting up libncurses6:riscv64 (6.2-0ubuntu2) ... Setting up libdbus-1-3:riscv64 (1.12.16-2ubuntu2) ... Setting up libsigsegv2:riscv64 (2.12-2) ... Setting up libfribidi0:riscv64 (1.0.8-2) ... Setting up libpcre32-3:riscv64 (2:8.39-12build1) ... Setting up autopoint (0.19.8.1-10build1) ... Setting up libwebp6:riscv64 (0.6.1-2) ... Setting up pkg-config (0.29.1-0ubuntu4) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up ucf (3.0038+nmu1) ... Setting up libpcre2-posix2:riscv64 (10.34-7) ... Setting up libk5crypto3:riscv64 (1.17-6ubuntu4) ... Setting up libjpeg-turbo8:riscv64 (2.0.3-0ubuntu1) ... Setting up zlib1g-dev:riscv64 (1:1.2.11.dfsg-2ubuntu1) ... Setting up libatk1.0-data (2.35.1-1ubuntu1) ... Setting up libdatrie-dev:riscv64 (0.2.12-3) ... Setting up libuchardet0:riscv64 (0.0.6-3build1) ... Setting up libsub-override-perl (0.09-2) ... Setting up libharfbuzz0b:riscv64 (2.6.4-1ubuntu2+riscv64.1) ... Setting up libthai-data (0.1.28-3) ... Setting up libgirepository-1.0-1:riscv64 (1.64.0-2) ... Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up libgtk2.0-common (2.24.32-4ubuntu4) ... Setting up libatk1.0-0:riscv64 (2.35.1-1ubuntu1) ... Setting up libkrb5-3:riscv64 (1.17-6ubuntu4) ... Setting up ocaml-base-nox (4.08.1-8) ... Setting up libmpdec2:riscv64 (2.4.2-3) ... Setting up libhunspell-1.7-0:riscv64 (1.7.0-2build2) ... Setting up libpython3.8-stdlib:riscv64 (3.8.2-1ubuntu1) ... Setting up python3.8 (3.8.2-1ubuntu1) ... Setting up libbsd0:riscv64 (0.10.0-1) ... Setting up libelf1:riscv64 (0.176-1.1build1) ... Setting up libpython3-stdlib:riscv64 (3.8.2-0ubuntu2) ... Setting up libjpeg8:riscv64 (8c-2ubuntu8) ... Setting up x11proto-dev (2019.2-1ubuntu1) ... Setting up libfile-stripnondeterminism-perl (1.6.3-2) ... Setting up libblkid-dev:riscv64 (2.34-0.1ubuntu8) ... Setting up libice6:riscv64 (2:1.0.10-0ubuntu1) ... Setting up libxdmcp6:riscv64 (1:1.1.3-0ubuntu1) ... Setting up libncurses-dev:riscv64 (6.2-0ubuntu2) ... Setting up libxcb1:riscv64 (1.14-2) ... Setting up libxau-dev:riscv64 (1:1.0.9-0ubuntu1) ... Setting up libpcre2-dev:riscv64 (10.34-7) ... Setting up python2.7 (2.7.17-1ubuntu6) ... Setting up libice-dev:riscv64 (2:1.0.10-0ubuntu1) ... Setting up dictionaries-common (1.28.1) ... Setting up libtool (2.4.6-13) ... Setting up libpython2-stdlib:riscv64 (2.7.17-2ubuntu4) ... Setting up libxcb-render0:riscv64 (1.14-2) ... Setting up libselinux1-dev:riscv64 (3.0-1build2) ... Setting up libpcre3-dev:riscv64 (2:8.39-12build1) ... Setting up fontconfig-config (2.13.1-2ubuntu2) ... Setting up libicu66:riscv64 (66.1-2ubuntu2) ... Setting up x11proto-randr-dev (2019.2-1ubuntu1) ... Setting up libfribidi-dev:riscv64 (1.0.8-2) ... Setting up libpng-dev:riscv64 (1.6.37-2) ... Setting up libavahi-common3:riscv64 (0.7-4ubuntu6) ... Setting up libglib2.0-bin (2.64.1-1) ... Setting up m4 (1.4.18-4) ... Setting up python3 (3.8.2-0ubuntu2) ... Setting up libxcb-shm0:riscv64 (1.14-2) ... Setting up libharfbuzz-gobject0:riscv64 (2.6.4-1ubuntu2+riscv64.1) ... Setting up x11proto-xinerama-dev (2019.2-1ubuntu1) ... Setting up python2 (2.7.17-2ubuntu4) ... Setting up libfreetype-dev:riscv64 (2.10.1-2) ... Setting up libthai0:riscv64 (0.1.28-3) ... Setting up libxdmcp-dev:riscv64 (1:1.1.3-0ubuntu1) ... Setting up x11proto-damage-dev (1:2019.2-1ubuntu1) ... Setting up x11proto-composite-dev (1:2019.2-1ubuntu1) ... Setting up x11proto-core-dev (2019.2-1ubuntu1) ... Setting up bsdmainutils (11.1.2ubuntu3) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libgssapi-krb5-2:riscv64 (1.17-6ubuntu4) ... Setting up x11proto-input-dev (2019.2-1ubuntu1) ... Setting up icu-devtools (66.1-2ubuntu2) ... Setting up gir1.2-glib-2.0:riscv64 (1.64.0-2) ... Setting up autoconf (2.69-11.1) ... Setting up libthai-dev:riscv64 (0.1.28-3) ... Setting up dh-strip-nondeterminism (1.6.3-2) ... Setting up x11proto-xext-dev (2019.2-1ubuntu1) ... Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-4build1) ... Setting up libncurses5-dev:riscv64 (6.2-0ubuntu2) ... Setting up hunspell-en-us (1:2018.04.16-1) ... Setting up libx11-6:riscv64 (2:1.6.9-2ubuntu1) ... Setting up libtiff5:riscv64 (4.1.0+git191117-2build1) ... Setting up libfontconfig1:riscv64 (2.13.1-2ubuntu2) ... Setting up x11proto-fixes-dev (1:2019.2-1ubuntu1) ... Setting up python3-lib2to3 (3.8.2-1ubuntu1) ... Setting up libxcomposite1:riscv64 (1:0.4.5-0ubuntu1) ... Setting up libsm6:riscv64 (2:1.2.3-1) ... Setting up libicu-dev:riscv64 (66.1-2ubuntu2) ... Setting up libxml2:riscv64 (2.9.10+dfsg-4build1) ... Setting up libavahi-client3:riscv64 (0.7-4ubuntu6) ... Setting up libmount-dev:riscv64 (2.34-0.1ubuntu8) ... Setting up automake (1:1.16.1-4ubuntu6) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up python3-distutils (3.8.2-1ubuntu1) ... Setting up libglib2.0-dev-bin (2.64.1-1) ... Setting up fontconfig (2.13.1-2ubuntu2) ... Regenerating fonts cache... done. Setting up gir1.2-freedesktop:riscv64 (1.64.0-2) ... Setting up libharfbuzz-icu0:riscv64 (2.6.4-1ubuntu2+riscv64.1) ... Setting up libxdamage1:riscv64 (1:1.1.5-1) ... Setting up libxcb1-dev:riscv64 (1.14-2) ... Setting up libxrender1:riscv64 (1:0.9.10-1) ... Setting up libenchant-2-2:riscv64 (2.2.8-1) ... Setting up gir1.2-atk-1.0:riscv64 (2.35.1-1ubuntu1) ... Setting up libsm-dev:riscv64 (2:1.2.3-1) ... Setting up libpango-1.0-0:riscv64 (1.44.7-2ubuntu2) ... Setting up libx11-dev:riscv64 (2:1.6.9-2ubuntu1) ... Setting up libxext6:riscv64 (2:1.3.4-0ubuntu1) ... Setting up man-db (2.9.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up gir1.2-harfbuzz-0.0:riscv64 (2.6.4-1ubuntu2+riscv64.1) ... Setting up libcairo2:riscv64 (1.16.0-4ubuntu1) ... Setting up libfreetype6-dev:riscv64 (2.10.1-2) ... Setting up libxcb-shm0-dev:riscv64 (1.14-2) ... Setting up libxml2-dev:riscv64 (2.9.10+dfsg-4build1) ... Setting up libglib2.0-dev:riscv64 (2.64.1-1) ... Setting up libxfixes3:riscv64 (1:5.0.3-1) ... Setting up shared-mime-info (1.15-1) ... Setting up libxinerama1:riscv64 (2:1.1.4-2) ... Setting up libxrandr2:riscv64 (2:1.5.2-0ubuntu1) ... Setting up libcroco3:riscv64 (0.6.13-1) ... Setting up libxcb-render0-dev:riscv64 (1.14-2) ... Setting up libxext-dev:riscv64 (2:1.3.4-0ubuntu1) ... Setting up libcups2:riscv64 (2.3.1-9ubuntu1) ... Setting up libcairo-gobject2:riscv64 (1.16.0-4ubuntu1) ... Setting up libpangoft2-1.0-0:riscv64 (1.44.7-2ubuntu2) ... Setting up libxml2-utils (2.9.10+dfsg-4build1) ... Setting up libxrender-dev:riscv64 (1:0.9.10-1) ... Setting up libatk1.0-dev:riscv64 (2.35.1-1ubuntu1) ... Setting up libpangocairo-1.0-0:riscv64 (1.44.7-2ubuntu2) ... Setting up libcairo-script-interpreter2:riscv64 (1.16.0-4ubuntu1) ... Setting up libharfbuzz-dev:riscv64 (2.6.4-1ubuntu2+riscv64.1) ... Setting up libxft2:riscv64 (2.3.3-0ubuntu1) ... Setting up gettext (0.19.8.1-10build1) ... Setting up libfontconfig1-dev:riscv64 (2.13.1-2ubuntu2) ... Setting up libpangoxft-1.0-0:riscv64 (1.44.7-2ubuntu2) ... Setting up libxi6:riscv64 (2:1.7.10-0ubuntu1) ... Setting up libenchant-2-dev:riscv64 (2.2.8-1) ... Setting up libxcursor1:riscv64 (1:1.2.0-2) ... Setting up pango1.0-tools (1.44.7-2ubuntu2) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libxfixes-dev:riscv64 (1:5.0.3-1) ... Setting up gir1.2-pango-1.0:riscv64 (1.44.7-2ubuntu2) ... Setting up libxrandr-dev:riscv64 (2:1.5.2-0ubuntu1) ... Setting up libgdk-pixbuf2.0-0:riscv64 (2.40.0+dfsg-3) ... Setting up libxinerama-dev:riscv64 (2:1.1.4-2) ... Setting up libgdk-pixbuf2.0-bin (2.40.0+dfsg-3) ... Setting up libcairo2-dev:riscv64 (1.16.0-4ubuntu1) ... Setting up libxi-dev:riscv64 (2:1.7.10-0ubuntu1) ... Setting up libxft-dev:riscv64 (2.3.3-0ubuntu1) ... Setting up libxdamage-dev:riscv64 (1:1.1.5-1) ... Setting up gtk-update-icon-cache (3.24.14-1ubuntu1) ... Setting up gir1.2-gdkpixbuf-2.0:riscv64 (2.40.0+dfsg-3) ... Setting up libxcomposite-dev:riscv64 (1:0.4.5-0ubuntu1) ... Setting up libxcursor-dev:riscv64 (1:1.2.0-2) ... Setting up po-debconf (1.0.21) ... Setting up libgdk-pixbuf2.0-dev:riscv64 (2.40.0+dfsg-3) ... Setting up librsvg2-2:riscv64 (2.40.20-3+riscv64.1) ... Setting up libpango1.0-dev:riscv64 (1.44.7-2ubuntu2) ... Setting up librsvg2-common:riscv64 (2.40.20-3+riscv64.1) ... Setting up ocaml-compiler-libs (4.08.1-8) ... Setting up dh-autoreconf (19) ... Setting up ocaml-interp (4.08.1-8) ... Setting up adwaita-icon-theme (3.36.0-1ubuntu1) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up ocaml-nox (4.08.1-8) ... Setting up libgtk2.0-0:riscv64 (2.24.32-4ubuntu4) ... Setting up debhelper (12.10ubuntu1) ... Setting up humanity-icon-theme (0.6.15) ... Setting up gir1.2-gtk-2.0:riscv64 (2.24.32-4ubuntu4) ... Setting up libgtk2.0-dev:riscv64 (2.24.32-4ubuntu4) ... Setting up libgtkspell0:riscv64 (2.0.16-1.3) ... Setting up libglade2-0:riscv64 (1:2.6.4-2ubuntu2) ... Setting up ubuntu-mono (19.04-0ubuntu3) ... Setting up libglade2-dev:riscv64 (1:2.6.4-2ubuntu2) ... Setting up liblablgtk2-ocaml (2.18.8+dfsg-1build1) ... Setting up libgtkspell-dev (2.0.16-1.3) ... Setting up liblablgtk2-ocaml-dev (2.18.8+dfsg-1build1) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.31-0ubuntu7) ... Processing triggers for dictionaries-common (1.28.1) ... Processing triggers for libgdk-pixbuf2.0-0:riscv64 (2.40.0+dfsg-3) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (riscv64 included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 5.3.0-13-generic #14+riscv64.5-Ubuntu SMP Wed Nov 13 20:10:41 UTC 2019 riscv64 (riscv64) Toolchain package versions: binutils_2.34-5ubuntu1 dpkg-dev_1.19.7ubuntu3 g++-9_9.3.0-8ubuntu1 gcc-9_9.3.0-8ubuntu1 libc6-dev_2.31-0ubuntu7 libstdc++-9-dev_9.3.0-8ubuntu1 libstdc++6_10-20200324-1ubuntu1 linux-libc-dev_5.4.0-21.25 Package versions: adduser_3.118ubuntu1 advancecomp_2.1-2.1build1 adwaita-icon-theme_3.36.0-1ubuntu1 apt_2.0.1 autoconf_2.69-11.1 automake_1:1.16.1-4ubuntu6 autopoint_0.19.8.1-10build1 autotools-dev_20180224.1 base-files_11ubuntu4 base-passwd_3.5.47 bash_5.0-6ubuntu1 binutils_2.34-5ubuntu1 binutils-common_2.34-5ubuntu1 binutils-riscv64-linux-gnu_2.34-5ubuntu1 bsdmainutils_11.1.2ubuntu3 bsdutils_1:2.34-0.1ubuntu8 build-essential_12.8ubuntu1 bzip2_1.0.8-2 ca-certificates_20190110ubuntu1 coreutils_8.30-3ubuntu2 cpp_4:9.3.0-1ubuntu2 cpp-9_9.3.0-8ubuntu1 dash_0.5.10.2-6 debconf_1.5.73 debhelper_12.10ubuntu1 debianutils_4.9.1 dh-autoreconf_19 dh-ocaml_1.1.1 dh-strip-nondeterminism_1.6.3-2 dictionaries-common_1.28.1 diffutils_1:3.7-3 dpkg_1.19.7ubuntu3 dpkg-dev_1.19.7ubuntu3 dwz_0.13-5 e2fsprogs_1.45.5-2ubuntu1 emacsen-common_3.0.4 fakeroot_1.24-1 file_1:5.38-4 findutils_4.7.0-1ubuntu1 fontconfig_2.13.1-2ubuntu2 fontconfig-config_2.13.1-2ubuntu2 fonts-dejavu-core_2.37-1 g++_4:9.3.0-1ubuntu2 g++-9_9.3.0-8ubuntu1 gcc_4:9.3.0-1ubuntu2 gcc-10-base_10-20200324-1ubuntu1 gcc-8-base_8.4.0-3ubuntu2 gcc-9_9.3.0-8ubuntu1 gcc-9-base_9.3.0-8ubuntu1 gettext_0.19.8.1-10build1 gettext-base_0.19.8.1-10build1 gir1.2-atk-1.0_2.35.1-1ubuntu1 gir1.2-freedesktop_1.64.0-2 gir1.2-gdkpixbuf-2.0_2.40.0+dfsg-3 gir1.2-glib-2.0_1.64.0-2 gir1.2-gtk-2.0_2.24.32-4ubuntu4 gir1.2-harfbuzz-0.0_2.6.4-1ubuntu2+riscv64.1 gir1.2-pango-1.0_1.44.7-2ubuntu2 gpg_2.2.19-3ubuntu2 gpg-agent_2.2.19-3ubuntu2 gpgconf_2.2.19-3ubuntu2 gpgv_2.2.19-3ubuntu2 grep_3.4-1 groff-base_1.22.4-4build1 gtk-update-icon-cache_3.24.14-1ubuntu1 gzip_1.10-0ubuntu4 hicolor-icon-theme_0.17-2 hostname_3.23 humanity-icon-theme_0.6.15 hunspell-en-us_1:2018.04.16-1 icu-devtools_66.1-2ubuntu2 init-system-helpers_1.57 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-6 libapt-pkg6.0_2.0.1 libarchive-zip-perl_1.67-2 libaspell15_0.60.8-1build1 libassuan0_2.5.3-7ubuntu2 libatk1.0-0_2.35.1-1ubuntu1 libatk1.0-data_2.35.1-1ubuntu1 libatk1.0-dev_2.35.1-1ubuntu1 libatomic1_10-20200324-1ubuntu1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-2ubuntu6 libaudit1_1:2.8.5-2ubuntu6 libavahi-client3_0.7-4ubuntu6 libavahi-common-data_0.7-4ubuntu6 libavahi-common3_0.7-4ubuntu6 libbinutils_2.34-5ubuntu1 libblkid-dev_2.34-0.1ubuntu8 libblkid1_2.34-0.1ubuntu8 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-2 libc-bin_2.31-0ubuntu7 libc-dev-bin_2.31-0ubuntu7 libc6_2.31-0ubuntu7 libc6-dev_2.31-0ubuntu7 libcairo-gobject2_1.16.0-4ubuntu1 libcairo-script-interpreter2_1.16.0-4ubuntu1 libcairo2_1.16.0-4ubuntu1 libcairo2-dev_1.16.0-4ubuntu1 libcap-ng0_0.7.9-2.1build1 libcc1-0_10-20200324-1ubuntu1 libcom-err2_1.45.5-2ubuntu1 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.10-10ubuntu4 libcrypt1_1:4.4.10-10ubuntu4 libctf-nobfd0_2.34-5ubuntu1 libctf0_2.34-5ubuntu1 libcups2_2.3.1-9ubuntu1 libdatrie-dev_0.2.12-3 libdatrie1_0.2.12-3 libdb5.3_5.3.28+dfsg1-0.6ubuntu2 libdbus-1-3_1.12.16-2ubuntu2 libdebconfclient0_0.251ubuntu1 libdebhelper-perl_12.10ubuntu1 libdpkg-perl_1.19.7ubuntu3 libelf1_0.176-1.1build1 libenchant-2-2_2.2.8-1 libenchant-2-dev_2.2.8-1 libexpat1_2.2.9-1build1 libexpat1-dev_2.2.9-1build1 libext2fs2_1.45.5-2ubuntu1 libfakeroot_1.24-1 libffi-dev_3.3-4 libffi7_3.3-4 libfile-stripnondeterminism-perl_1.6.3-2 libfontconfig1_2.13.1-2ubuntu2 libfontconfig1-dev_2.13.1-2ubuntu2 libfreetype-dev_2.10.1-2 libfreetype6_2.10.1-2 libfreetype6-dev_2.10.1-2 libfribidi-dev_1.0.8-2 libfribidi0_1.0.8-2 libgcc-9-dev_9.3.0-8ubuntu1 libgcc-s1_10-20200324-1ubuntu1 libgcc1_1:10-20200324-1ubuntu1 libgcrypt20_1.8.5-5ubuntu1 libgdbm-compat4_1.18.1-5 libgdbm6_1.18.1-5 libgdk-pixbuf2.0-0_2.40.0+dfsg-3 libgdk-pixbuf2.0-bin_2.40.0+dfsg-3 libgdk-pixbuf2.0-common_2.40.0+dfsg-3 libgdk-pixbuf2.0-dev_2.40.0+dfsg-3 libgirepository-1.0-1_1.64.0-2 libglade2-0_1:2.6.4-2ubuntu2 libglade2-dev_1:2.6.4-2ubuntu2 libglib2.0-0_2.64.1-1 libglib2.0-bin_2.64.1-1 libglib2.0-data_2.64.1-1 libglib2.0-dev_2.64.1-1 libglib2.0-dev-bin_2.64.1-1 libgmp10_2:6.2.0+dfsg-4 libgnutls30_3.6.11.1-2ubuntu2 libgomp1_10-20200324-1ubuntu1 libgpg-error0_1.37-1 libgpm2_1.20.7-5 libgraphite2-3_1.3.13-11build1 libgraphite2-dev_1.3.13-11build1 libgssapi-krb5-2_1.17-6ubuntu4 libgtk2.0-0_2.24.32-4ubuntu4 libgtk2.0-common_2.24.32-4ubuntu4 libgtk2.0-dev_2.24.32-4ubuntu4 libgtkspell-dev_2.0.16-1.3 libgtkspell0_2.0.16-1.3 libharfbuzz-dev_2.6.4-1ubuntu2+riscv64.1 libharfbuzz-gobject0_2.6.4-1ubuntu2+riscv64.1 libharfbuzz-icu0_2.6.4-1ubuntu2+riscv64.1 libharfbuzz0b_2.6.4-1ubuntu2+riscv64.1 libhogweed5_3.5.1+really3.5.1-2 libhunspell-1.7-0_1.7.0-2build2 libice-dev_2:1.0.10-0ubuntu1 libice6_2:1.0.10-0ubuntu1 libicu-dev_66.1-2ubuntu2 libicu66_66.1-2ubuntu2 libidn2-0_2.2.0-2 libisl22_0.22.1-1 libjbig0_2.1-3.1build1 libjpeg-turbo8_2.0.3-0ubuntu1 libjpeg8_8c-2ubuntu8 libk5crypto3_1.17-6ubuntu4 libkeyutils1_1.6-6ubuntu1 libkrb5-3_1.17-6ubuntu4 libkrb5support0_1.17-6ubuntu4 liblablgtk2-ocaml_2.18.8+dfsg-1build1 liblablgtk2-ocaml-dev_2.18.8+dfsg-1build1 liblocale-gettext-perl_1.07-4 liblockfile-bin_1.16-1.1 liblockfile1_1.16-1.1 liblz4-1_1.9.2-2 liblzma5_5.2.4-1 liblzo2-2_2.10-2 libmagic-mgc_1:5.38-4 libmagic1_1:5.38-4 libmount-dev_2.34-0.1ubuntu8 libmount1_2.34-0.1ubuntu8 libmpc3_1.1.0-1 libmpdec2_2.4.2-3 libmpfr6_4.0.2-1 libncurses-dev_6.2-0ubuntu2 libncurses5-dev_6.2-0ubuntu2 libncurses6_6.2-0ubuntu2 libncursesw6_6.2-0ubuntu2 libnettle7_3.5.1+really3.5.1-2 libnpth0_1.6-1 libp11-kit0_0.23.20-1build1 libpam-modules_1.3.1-5ubuntu4 libpam-modules-bin_1.3.1-5ubuntu4 libpam-runtime_1.3.1-5ubuntu4 libpam0g_1.3.1-5ubuntu4 libpango-1.0-0_1.44.7-2ubuntu2 libpango1.0-dev_1.44.7-2ubuntu2 libpangocairo-1.0-0_1.44.7-2ubuntu2 libpangoft2-1.0-0_1.44.7-2ubuntu2 libpangoxft-1.0-0_1.44.7-2ubuntu2 libpcre16-3_2:8.39-12build1 libpcre2-16-0_10.34-7 libpcre2-32-0_10.34-7 libpcre2-8-0_10.34-7 libpcre2-dev_10.34-7 libpcre2-posix2_10.34-7 libpcre3_2:8.39-12build1 libpcre3-dev_2:8.39-12build1 libpcre32-3_2:8.39-12build1 libpcrecpp0v5_2:8.39-12build1 libperl5.30_5.30.0-9build1 libpipeline1_1.5.2-2build1 libpixman-1-0_0.38.4-0ubuntu1 libpixman-1-dev_0.38.4-0ubuntu1 libpng-dev_1.6.37-2 libpng16-16_1.6.37-2 libpthread-stubs0-dev_0.4-1 libpython2-stdlib_2.7.17-2ubuntu4 libpython2.7-minimal_2.7.17-1ubuntu6 libpython2.7-stdlib_2.7.17-1ubuntu6 libpython3-stdlib_3.8.2-0ubuntu2 libpython3.8-minimal_3.8.2-1ubuntu1 libpython3.8-stdlib_3.8.2-1ubuntu1 libreadline8_8.0-4 librsvg2-2_2.40.20-3+riscv64.1 librsvg2-common_2.40.20-3+riscv64.1 libselinux1_3.0-1build2 libselinux1-dev_3.0-1build2 libsemanage-common_3.0-1build2 libsemanage1_3.0-1build2 libsepol1_3.0-1 libsepol1-dev_3.0-1 libsigsegv2_2.12-2 libsm-dev_2:1.2.3-1 libsm6_2:1.2.3-1 libsmartcols1_2.34-0.1ubuntu8 libsqlite3-0_3.31.1-4 libss2_1.45.5-2ubuntu1 libssl1.1_1.1.1d-2ubuntu6 libstdc++-9-dev_9.3.0-8ubuntu1 libstdc++6_10-20200324-1ubuntu1 libsub-override-perl_0.09-2 libsystemd0_244.3-1ubuntu1 libtasn1-6_4.16.0-2 libtext-charwidth-perl_0.04-10 libtext-iconv-perl_1.7-7 libthai-data_0.1.28-3 libthai-dev_0.1.28-3 libthai0_0.1.28-3 libtiff5_4.1.0+git191117-2build1 libtinfo6_6.2-0ubuntu2 libtool_2.4.6-13 libuchardet0_0.0.6-3build1 libudev1_244.3-1ubuntu1 libunistring2_0.9.10-2 libuuid1_2.34-0.1ubuntu8 libwebp6_0.6.1-2 libx11-6_2:1.6.9-2ubuntu1 libx11-data_2:1.6.9-2ubuntu1 libx11-dev_2:1.6.9-2ubuntu1 libxau-dev_1:1.0.9-0ubuntu1 libxau6_1:1.0.9-0ubuntu1 libxcb-render0_1.14-2 libxcb-render0-dev_1.14-2 libxcb-shm0_1.14-2 libxcb-shm0-dev_1.14-2 libxcb1_1.14-2 libxcb1-dev_1.14-2 libxcomposite-dev_1:0.4.5-0ubuntu1 libxcomposite1_1:0.4.5-0ubuntu1 libxcursor-dev_1:1.2.0-2 libxcursor1_1:1.2.0-2 libxdamage-dev_1:1.1.5-1 libxdamage1_1:1.1.5-1 libxdmcp-dev_1:1.1.3-0ubuntu1 libxdmcp6_1:1.1.3-0ubuntu1 libxext-dev_2:1.3.4-0ubuntu1 libxext6_2:1.3.4-0ubuntu1 libxfixes-dev_1:5.0.3-1 libxfixes3_1:5.0.3-1 libxft-dev_2.3.3-0ubuntu1 libxft2_2.3.3-0ubuntu1 libxi-dev_2:1.7.10-0ubuntu1 libxi6_2:1.7.10-0ubuntu1 libxinerama-dev_2:1.1.4-2 libxinerama1_2:1.1.4-2 libxml2_2.9.10+dfsg-4build1 libxml2-dev_2.9.10+dfsg-4build1 libxml2-utils_2.9.10+dfsg-4build1 libxrandr-dev_2:1.5.2-0ubuntu1 libxrandr2_2:1.5.2-0ubuntu1 libxrender-dev_1:0.9.10-1 libxrender1_1:0.9.10-1 libzstd1_1.4.4+dfsg-3 linux-libc-dev_5.4.0-21.25 lockfile-progs_0.1.18 login_1:4.8.1-1ubuntu3 logsave_1.45.5-2ubuntu1 lsb-base_11.1.0ubuntu2 m4_1.4.18-4 make_4.2.1-1.2 man-db_2.9.1-1 mawk_1.3.4.20200120-2 mime-support_3.64ubuntu1 mount_2.34-0.1ubuntu8 ncurses-base_6.2-0ubuntu2 ncurses-bin_6.2-0ubuntu2 ocaml-base-nox_4.08.1-8 ocaml-compiler-libs_4.08.1-8 ocaml-interp_4.08.1-8 ocaml-nox_4.08.1-8 openssl_1.1.1d-2ubuntu6 optipng_0.7.7-1 pango1.0-tools_1.44.7-2ubuntu2 passwd_1:4.8.1-1ubuntu3 patch_2.7.6-6 perl_5.30.0-9build1 perl-base_5.30.0-9build1 perl-modules-5.30_5.30.0-9build1 pinentry-curses_1.1.0-3build1 pkg-config_0.29.1-0ubuntu4 pkgbinarymangler_144 po-debconf_1.0.21 policyrcd-script-zg2_0.1-3 python2_2.7.17-2ubuntu4 python2-minimal_2.7.17-2ubuntu4 python2.7_2.7.17-1ubuntu6 python2.7-minimal_2.7.17-1ubuntu6 python3_3.8.2-0ubuntu2 python3-distutils_3.8.2-1ubuntu1 python3-lib2to3_3.8.2-1ubuntu1 python3-minimal_3.8.2-0ubuntu2 python3.8_3.8.2-1ubuntu1 python3.8-minimal_3.8.2-1ubuntu1 readline-common_8.0-4 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 shared-mime-info_1.15-1 sysvinit-utils_2.96-2.1ubuntu1 tar_1.30+dfsg-7 tzdata_2019c-3ubuntu1 ubuntu-keyring_2020.02.11.1 ubuntu-mono_19.04-0ubuntu3 ucf_3.0038+nmu1 util-linux_2.34-0.1ubuntu8 uuid-dev_2.34-0.1ubuntu8 x11-common_1:7.7+19ubuntu14 x11proto-composite-dev_1:2019.2-1ubuntu1 x11proto-core-dev_2019.2-1ubuntu1 x11proto-damage-dev_1:2019.2-1ubuntu1 x11proto-dev_2019.2-1ubuntu1 x11proto-fixes-dev_1:2019.2-1ubuntu1 x11proto-input-dev_2019.2-1ubuntu1 x11proto-randr-dev_2019.2-1ubuntu1 x11proto-xext-dev_2019.2-1ubuntu1 x11proto-xinerama-dev_2019.2-1ubuntu1 xorg-sgml-doctools_1:1.11-1 xtrans-dev_1.4.0-1 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-2ubuntu1 zlib1g-dev_1:1.2.11.dfsg-2ubuntu1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: prooftree Binary: prooftree Architecture: any Version: 0.13-1build9 Maintainer: Ubuntu Developers Uploaders: Hendrik Tews Homepage: http://askra.de/software/prooftree Standards-Version: 3.9.8 Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/prooftree.git Build-Depends: debhelper (>= 9.0.0), dh-ocaml (>= 0.9~), ocaml-best-compilers, liblablgtk2-ocaml-dev Package-List: prooftree deb science optional arch=any Checksums-Sha1: 7a594f25f09301fb8318c2b84dba515fd3f6ae60 113178 prooftree_0.13.orig.tar.gz dc86a62526a9ab5dc03edb4d64ba564f242175f9 2692 prooftree_0.13-1build9.debian.tar.xz Checksums-Sha256: b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz 39d2055ca0ba9824aa2de7f261b7d372c2fe612dc55fcfb7ffa651a187bfe9a4 2692 prooftree_0.13-1build9.debian.tar.xz Files: c6a984cbdb0c631a2fceda2541df02b2 113178 prooftree_0.13.orig.tar.gz da30a02141f4fa6a0bd371d6d910e3c4 2692 prooftree_0.13-1build9.debian.tar.xz Original-Maintainer: Debian OCaml Maintainers -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl5qPuUACgkQ808JdE6f XdnFpg//Ws9P72McYhSmGCPDAgrjiB8c6twIoD9VK6XllXw7FAJIS50VX5fnZ8Mr Sde16xRPvDTgGcn/J++8JQ/Gi0WrnIJ0v2YgfEJRFykG8dCT0qEu8RTZVqy4G2I4 Z9n7f8s9DtbK1UJ4bzLQQG9Q7tgVs08e1alK3qCqNa5J4jz7FMWgEYwIKp5iv30H JemQvlnirlhw1z/W1CcgjZE/blX988s88US8EGL34DYjb8jn1a9+Y3/umtLkEONz /F4Y4NQxUkaOisBdrQJ7BzD6NznpuH+jFudD1OHpgpHJJdlXZh+RurisgB/o+KYg YwAdo8/HLTI79PMjTFqHW235hFt/YPZ9c+I2soCHi84XM+B/vk8UWjr3SiPoSGzO QeyZO7uxC0yl4xkoAwtUOg7x56bRmtYaP0rISHuXOj1drOFj7h5thqzC+beTkXPn umThjrVuHEjOuAIxU6nzGNtzu8BAZeHF6AEq3HjEb1xRFM1ZKzIUwm77z8m7Vfp/ N/UvhjbOEFNcYKLCNqV1ZdfqYGri8g6ETjbxGpypH1wbbt+P9CPfCRTgDKU5vmfl 8Z2IMwseYySh0uucX8VWCSYooMxMOlTecXyFNU+dC1gi1zhPh/WvSTzwFN2s+6mC iwknzYvi2KoeJLI2MJNtbRlSgInWSw/Uob4Ohfn9pzu5Rd2bDvI= =8fIL -----END PGP SIGNATURE----- gpgv: Signature made Thu Mar 12 13:53:41 2020 UTC gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./prooftree_0.13-1build9.dsc dpkg-source: info: extracting prooftree in /<> dpkg-source: info: unpacking prooftree_0.13.orig.tar.gz dpkg-source: info: unpacking prooftree_0.13-1build9.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-19109406 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-19109406 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-19109406 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- Command: dpkg-buildpackage -us -uc -mLaunchpad Build Daemon -B -rfakeroot dpkg-buildpackage: info: source package prooftree dpkg-buildpackage: info: source version 0.13-1build9 dpkg-buildpackage: info: source distribution focal dpkg-source --before-build . dpkg-buildpackage: info: host architecture riscv64 fakeroot debian/rules clean dh clean --with ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' dh_auto_clean rm -f Makefile make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules build-arch dh build-arch --with ocaml dh_update_autotools_config -a dh_ocamlinit -a debian/rules override_dh_auto_configure make[1]: Entering directory '/<>' ./configure --prefix /usr ocamlc version 4.08.1 found. ./configure: 79: ocamlopt.opt: not found ocamlopt.opt not found. Native compilation disabled. test ocamlc -I +lablgtk2 Configuration summary: binaries will be copied to /usr/bin man pages will be copied to /usr/share/man native-code compilation disabled with ocamlc LablGtk2 at +lablgtk2 make[1]: Leaving directory '/<>' dh_auto_build -a make -j1 make[1]: Entering directory '/<>' echo '(* This file is automatically generated from version.txt *)' > version.ml echo '(* DO NOT EDIT! *)' >> version.ml echo "let version = \"`head -1 version.txt`\"" >> version.ml ocamldep version.mli proof_tree.mli input.mli version.ml util.ml gtk_ext.ml configuration.ml draw_tree.ml tree_layers.ml about_window.ml help_window.ml node_window.ml ext_dialog.ml emacs_commands.ml proof_window.ml proof_tree.ml coq.ml input.ml main.ml > Makefile.deps ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 version.mli ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 version.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 util.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 gtk_ext.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 configuration.ml File "configuration.ml", line 504, characters 16-57: 504 | | Failure "Incompatible configuration file version" -> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "configuration.ml", line 929, characters 16-57: 929 | | Failure "Incompatible configuration file version" -> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "configuration.ml", line 934, characters 16-44: 934 | | Failure "Invalid configuration file" -> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "_none_", line 1: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 draw_tree.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 ext_dialog.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 tree_layers.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 about_window.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 help_window.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 node_window.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 emacs_commands.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 proof_window.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 proof_tree.mli ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 proof_tree.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 coq.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 input.mli ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 input.ml ocamlc -c -safe-string -w Aem-48 -g -I +lablgtk2 main.ml ocamlc -g -I +lablgtk2 -o prooftree \ unix.cma lablgtk.cma gtkInit.cmo version.cmo util.cmo gtk_ext.cmo configuration.cmo draw_tree.cmo tree_layers.cmo about_window.cmo help_window.cmo node_window.cmo ext_dialog.cmo emacs_commands.cmo proof_window.cmo proof_tree.cmo coq.cmo input.cmo main.cmo make[1]: Leaving directory '/<>' dh_auto_test -a fakeroot debian/rules binary-arch dh binary-arch --with ocaml dh_testroot -a dh_prep -a dh_auto_install -a make -j1 install DESTDIR=/<>/debian/prooftree AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/<>' mkdir -p /<>/debian/prooftree/usr/bin cp prooftree /<>/debian/prooftree/usr/bin mkdir -p /<>/debian/prooftree/usr/share/man/man1 cp prooftree.1 /<>/debian/prooftree/usr/share/man/man1 make[1]: Leaving directory '/<>' dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installman -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_ocaml -a W: prooftree doesn't resolve dependency on unit Proof_tree W: prooftree doesn't resolve dependency on unit About_window W: prooftree doesn't resolve dependency on unit Coq W: prooftree doesn't resolve dependency on unit Node_window W: prooftree doesn't resolve dependency on unit Main W: prooftree doesn't resolve dependency on unit Draw_tree W: prooftree doesn't resolve dependency on unit Input W: prooftree doesn't resolve dependency on unit Configuration W: prooftree doesn't resolve dependency on unit Proof_window W: prooftree doesn't resolve dependency on unit Emacs_commands W: prooftree doesn't resolve dependency on unit Tree_layers W: prooftree doesn't resolve dependency on unit Ext_dialog W: prooftree doesn't resolve dependency on unit Gtk_ext W: prooftree doesn't resolve dependency on unit Version W: prooftree doesn't resolve dependency on unit Util W: prooftree doesn't resolve dependency on unit Help_window dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package prooftree: substitution variable ${shlibs:Depends} used, but is not defined dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 144 pkgstriptranslations: processing prooftree (in debian/prooftree); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/prooftree/DEBIAN/control, package prooftree, directory debian/prooftree pkgstripfiles: Truncating usr/share/doc/prooftree/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package prooftree ... pkgstripfiles: No PNG files. dpkg-deb: building package 'prooftree' in '../prooftree_0.13-1build9_riscv64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any -mLaunchpad Build Daemon >../prooftree_0.13-1build9_riscv64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 2020-04-05T13:47:11Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ prooftree_0.13-1build9_riscv64.changes: --------------------------------------- Format: 1.8 Date: Thu, 12 Mar 2020 14:53:39 +0100 Source: prooftree Binary: prooftree Architecture: riscv64 Version: 0.13-1build9 Distribution: focal Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna Description: prooftree - proof-tree visualization for Proof General Changes: prooftree (0.13-1build9) focal; urgency=medium . * Rebuild against new OCAML ABIs. Checksums-Sha1: 469f0f632d71cb680ecce69b1384c94a1dd50977 11793 prooftree_0.13-1build9_riscv64.buildinfo 3d1288c113700e26242125967d97cf0dd952cfc0 999764 prooftree_0.13-1build9_riscv64.deb Checksums-Sha256: c5b72abfa7c6386d42f19836795b93496218067861f6eacf428c49d205921d0b 11793 prooftree_0.13-1build9_riscv64.buildinfo 0e4c30ec4df8ffc14a0429d8605a146cd88529d6d56461197e0472eff60c2253 999764 prooftree_0.13-1build9_riscv64.deb Files: 9a1f65dedfd88654a753060d3f0a670a 11793 science optional prooftree_0.13-1build9_riscv64.buildinfo 2f3fdfcd21ef6e38272d9882a61675e5 999764 science optional prooftree_0.13-1build9_riscv64.deb Original-Maintainer: Debian OCaml Maintainers /<>/prooftree_0.13-1build9_riscv64.changes.new could not be renamed to /<>/prooftree_0.13-1build9_riscv64.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: prooftree Binary: prooftree Architecture: riscv64 Version: 0.13-1build9 Checksums-Md5: 2f3fdfcd21ef6e38272d9882a61675e5 999764 prooftree_0.13-1build9_riscv64.deb Checksums-Sha1: 3d1288c113700e26242125967d97cf0dd952cfc0 999764 prooftree_0.13-1build9_riscv64.deb Checksums-Sha256: 0e4c30ec4df8ffc14a0429d8605a146cd88529d6d56461197e0472eff60c2253 999764 prooftree_0.13-1build9_riscv64.deb Build-Origin: Ubuntu Build-Architecture: riscv64 Build-Date: Sun, 05 Apr 2020 13:47:00 +0000 Build-Path: /<> Build-Tainted-By: usr-local-has-programs Installed-Build-Depends: adwaita-icon-theme (= 3.36.0-1ubuntu1), autoconf (= 2.69-11.1), automake (= 1:1.16.1-4ubuntu6), autopoint (= 0.19.8.1-10build1), autotools-dev (= 20180224.1), base-files (= 11ubuntu4), base-passwd (= 3.5.47), bash (= 5.0-6ubuntu1), binutils (= 2.34-5ubuntu1), binutils-common (= 2.34-5ubuntu1), binutils-riscv64-linux-gnu (= 2.34-5ubuntu1), bsdmainutils (= 11.1.2ubuntu3), bsdutils (= 1:2.34-0.1ubuntu8), build-essential (= 12.8ubuntu1), bzip2 (= 1.0.8-2), coreutils (= 8.30-3ubuntu2), cpp (= 4:9.3.0-1ubuntu2), cpp-9 (= 9.3.0-8ubuntu1), dash (= 0.5.10.2-6), debconf (= 1.5.73), debhelper (= 12.10ubuntu1), debianutils (= 4.9.1), dh-autoreconf (= 19), dh-ocaml (= 1.1.1), dh-strip-nondeterminism (= 1.6.3-2), dictionaries-common (= 1.28.1), diffutils (= 1:3.7-3), dpkg (= 1.19.7ubuntu3), dpkg-dev (= 1.19.7ubuntu3), dwz (= 0.13-5), emacsen-common (= 3.0.4), file (= 1:5.38-4), findutils (= 4.7.0-1ubuntu1), fontconfig (= 2.13.1-2ubuntu2), fontconfig-config (= 2.13.1-2ubuntu2), fonts-dejavu-core (= 2.37-1), g++ (= 4:9.3.0-1ubuntu2), g++-9 (= 9.3.0-8ubuntu1), gcc (= 4:9.3.0-1ubuntu2), gcc-10-base (= 10-20200324-1ubuntu1), gcc-9 (= 9.3.0-8ubuntu1), gcc-9-base (= 9.3.0-8ubuntu1), gettext (= 0.19.8.1-10build1), gettext-base (= 0.19.8.1-10build1), gir1.2-atk-1.0 (= 2.35.1-1ubuntu1), gir1.2-freedesktop (= 1.64.0-2), gir1.2-gdkpixbuf-2.0 (= 2.40.0+dfsg-3), gir1.2-glib-2.0 (= 1.64.0-2), gir1.2-gtk-2.0 (= 2.24.32-4ubuntu4), gir1.2-harfbuzz-0.0 (= 2.6.4-1ubuntu2+riscv64.1), gir1.2-pango-1.0 (= 1.44.7-2ubuntu2), grep (= 3.4-1), groff-base (= 1.22.4-4build1), gtk-update-icon-cache (= 3.24.14-1ubuntu1), gzip (= 1.10-0ubuntu4), hicolor-icon-theme (= 0.17-2), hostname (= 3.23), humanity-icon-theme (= 0.6.15), hunspell-en-us (= 1:2018.04.16-1), icu-devtools (= 66.1-2ubuntu2), init-system-helpers (= 1.57), intltool-debian (= 0.35.0+20060710.5), libacl1 (= 2.2.53-6), libarchive-zip-perl (= 1.67-2), libaspell15 (= 0.60.8-1build1), libatk1.0-0 (= 2.35.1-1ubuntu1), libatk1.0-data (= 2.35.1-1ubuntu1), libatk1.0-dev (= 2.35.1-1ubuntu1), libatomic1 (= 10-20200324-1ubuntu1), libattr1 (= 1:2.4.48-5), libaudit-common (= 1:2.8.5-2ubuntu6), libaudit1 (= 1:2.8.5-2ubuntu6), libavahi-client3 (= 0.7-4ubuntu6), libavahi-common-data (= 0.7-4ubuntu6), libavahi-common3 (= 0.7-4ubuntu6), libbinutils (= 2.34-5ubuntu1), libblkid-dev (= 2.34-0.1ubuntu8), libblkid1 (= 2.34-0.1ubuntu8), libbsd0 (= 0.10.0-1), libbz2-1.0 (= 1.0.8-2), libc-bin (= 2.31-0ubuntu7), libc-dev-bin (= 2.31-0ubuntu7), libc6 (= 2.31-0ubuntu7), libc6-dev (= 2.31-0ubuntu7), libcairo-gobject2 (= 1.16.0-4ubuntu1), libcairo-script-interpreter2 (= 1.16.0-4ubuntu1), libcairo2 (= 1.16.0-4ubuntu1), libcairo2-dev (= 1.16.0-4ubuntu1), libcap-ng0 (= 0.7.9-2.1build1), libcc1-0 (= 10-20200324-1ubuntu1), libcom-err2 (= 1.45.5-2ubuntu1), libcroco3 (= 0.6.13-1), libcrypt-dev (= 1:4.4.10-10ubuntu4), libcrypt1 (= 1:4.4.10-10ubuntu4), libctf-nobfd0 (= 2.34-5ubuntu1), libctf0 (= 2.34-5ubuntu1), libcups2 (= 2.3.1-9ubuntu1), libdatrie-dev (= 0.2.12-3), libdatrie1 (= 0.2.12-3), libdb5.3 (= 5.3.28+dfsg1-0.6ubuntu2), libdbus-1-3 (= 1.12.16-2ubuntu2), libdebconfclient0 (= 0.251ubuntu1), libdebhelper-perl (= 12.10ubuntu1), libdpkg-perl (= 1.19.7ubuntu3), libelf1 (= 0.176-1.1build1), libenchant-2-2 (= 2.2.8-1), libenchant-2-dev (= 2.2.8-1), libexpat1 (= 2.2.9-1build1), libexpat1-dev (= 2.2.9-1build1), libffi-dev (= 3.3-4), libffi7 (= 3.3-4), libfile-stripnondeterminism-perl (= 1.6.3-2), libfontconfig1 (= 2.13.1-2ubuntu2), libfontconfig1-dev (= 2.13.1-2ubuntu2), libfreetype-dev (= 2.10.1-2), libfreetype6 (= 2.10.1-2), libfreetype6-dev (= 2.10.1-2), libfribidi-dev (= 1.0.8-2), libfribidi0 (= 1.0.8-2), libgcc-9-dev (= 9.3.0-8ubuntu1), libgcc-s1 (= 10-20200324-1ubuntu1), libgcc1 (= 1:10-20200324-1ubuntu1), libgcrypt20 (= 1.8.5-5ubuntu1), libgdbm-compat4 (= 1.18.1-5), libgdbm6 (= 1.18.1-5), libgdk-pixbuf2.0-0 (= 2.40.0+dfsg-3), libgdk-pixbuf2.0-bin (= 2.40.0+dfsg-3), libgdk-pixbuf2.0-common (= 2.40.0+dfsg-3), libgdk-pixbuf2.0-dev (= 2.40.0+dfsg-3), libgirepository-1.0-1 (= 1.64.0-2), libglade2-0 (= 1:2.6.4-2ubuntu2), libglade2-dev (= 1:2.6.4-2ubuntu2), libglib2.0-0 (= 2.64.1-1), libglib2.0-bin (= 2.64.1-1), libglib2.0-data (= 2.64.1-1), libglib2.0-dev (= 2.64.1-1), libglib2.0-dev-bin (= 2.64.1-1), libgmp10 (= 2:6.2.0+dfsg-4), libgnutls30 (= 3.6.11.1-2ubuntu2), libgomp1 (= 10-20200324-1ubuntu1), libgpg-error0 (= 1.37-1), libgraphite2-3 (= 1.3.13-11build1), libgraphite2-dev (= 1.3.13-11build1), libgssapi-krb5-2 (= 1.17-6ubuntu4), libgtk2.0-0 (= 2.24.32-4ubuntu4), libgtk2.0-common (= 2.24.32-4ubuntu4), libgtk2.0-dev (= 2.24.32-4ubuntu4), libgtkspell-dev (= 2.0.16-1.3), libgtkspell0 (= 2.0.16-1.3), libharfbuzz-dev (= 2.6.4-1ubuntu2+riscv64.1), libharfbuzz-gobject0 (= 2.6.4-1ubuntu2+riscv64.1), libharfbuzz-icu0 (= 2.6.4-1ubuntu2+riscv64.1), libharfbuzz0b (= 2.6.4-1ubuntu2+riscv64.1), libhogweed5 (= 3.5.1+really3.5.1-2), libhunspell-1.7-0 (= 1.7.0-2build2), libice-dev (= 2:1.0.10-0ubuntu1), libice6 (= 2:1.0.10-0ubuntu1), libicu-dev (= 66.1-2ubuntu2), libicu66 (= 66.1-2ubuntu2), libidn2-0 (= 2.2.0-2), libisl22 (= 0.22.1-1), libjbig0 (= 2.1-3.1build1), libjpeg-turbo8 (= 2.0.3-0ubuntu1), libjpeg8 (= 8c-2ubuntu8), libk5crypto3 (= 1.17-6ubuntu4), libkeyutils1 (= 1.6-6ubuntu1), libkrb5-3 (= 1.17-6ubuntu4), libkrb5support0 (= 1.17-6ubuntu4), liblablgtk2-ocaml (= 2.18.8+dfsg-1build1), liblablgtk2-ocaml-dev (= 2.18.8+dfsg-1build1), liblz4-1 (= 1.9.2-2), liblzma5 (= 5.2.4-1), liblzo2-2 (= 2.10-2), libmagic-mgc (= 1:5.38-4), libmagic1 (= 1:5.38-4), libmount-dev (= 2.34-0.1ubuntu8), libmount1 (= 2.34-0.1ubuntu8), libmpc3 (= 1.1.0-1), libmpdec2 (= 2.4.2-3), libmpfr6 (= 4.0.2-1), libncurses-dev (= 6.2-0ubuntu2), libncurses5-dev (= 6.2-0ubuntu2), libncurses6 (= 6.2-0ubuntu2), libncursesw6 (= 6.2-0ubuntu2), libnettle7 (= 3.5.1+really3.5.1-2), libp11-kit0 (= 0.23.20-1build1), libpam-modules (= 1.3.1-5ubuntu4), libpam-modules-bin (= 1.3.1-5ubuntu4), libpam-runtime (= 1.3.1-5ubuntu4), libpam0g (= 1.3.1-5ubuntu4), libpango-1.0-0 (= 1.44.7-2ubuntu2), libpango1.0-dev (= 1.44.7-2ubuntu2), libpangocairo-1.0-0 (= 1.44.7-2ubuntu2), libpangoft2-1.0-0 (= 1.44.7-2ubuntu2), libpangoxft-1.0-0 (= 1.44.7-2ubuntu2), libpcre16-3 (= 2:8.39-12build1), libpcre2-16-0 (= 10.34-7), libpcre2-32-0 (= 10.34-7), libpcre2-8-0 (= 10.34-7), libpcre2-dev (= 10.34-7), libpcre2-posix2 (= 10.34-7), libpcre3 (= 2:8.39-12build1), libpcre3-dev (= 2:8.39-12build1), libpcre32-3 (= 2:8.39-12build1), libpcrecpp0v5 (= 2:8.39-12build1), libperl5.30 (= 5.30.0-9build1), libpipeline1 (= 1.5.2-2build1), libpixman-1-0 (= 0.38.4-0ubuntu1), libpixman-1-dev (= 0.38.4-0ubuntu1), libpng-dev (= 1.6.37-2), libpng16-16 (= 1.6.37-2), libpthread-stubs0-dev (= 0.4-1), libpython2-stdlib (= 2.7.17-2ubuntu4), libpython2.7-minimal (= 2.7.17-1ubuntu6), libpython2.7-stdlib (= 2.7.17-1ubuntu6), libpython3-stdlib (= 3.8.2-0ubuntu2), libpython3.8-minimal (= 3.8.2-1ubuntu1), libpython3.8-stdlib (= 3.8.2-1ubuntu1), libreadline8 (= 8.0-4), librsvg2-2 (= 2.40.20-3+riscv64.1), librsvg2-common (= 2.40.20-3+riscv64.1), libselinux1 (= 3.0-1build2), libselinux1-dev (= 3.0-1build2), libsepol1 (= 3.0-1), libsepol1-dev (= 3.0-1), libsigsegv2 (= 2.12-2), libsm-dev (= 2:1.2.3-1), libsm6 (= 2:1.2.3-1), libsmartcols1 (= 2.34-0.1ubuntu8), libsqlite3-0 (= 3.31.1-4), libssl1.1 (= 1.1.1d-2ubuntu6), libstdc++-9-dev (= 9.3.0-8ubuntu1), libstdc++6 (= 10-20200324-1ubuntu1), libsub-override-perl (= 0.09-2), libsystemd0 (= 244.3-1ubuntu1), libtasn1-6 (= 4.16.0-2), libtext-iconv-perl (= 1.7-7), libthai-data (= 0.1.28-3), libthai-dev (= 0.1.28-3), libthai0 (= 0.1.28-3), libtiff5 (= 4.1.0+git191117-2build1), libtinfo6 (= 6.2-0ubuntu2), libtool (= 2.4.6-13), libuchardet0 (= 0.0.6-3build1), libudev1 (= 244.3-1ubuntu1), libunistring2 (= 0.9.10-2), libuuid1 (= 2.34-0.1ubuntu8), libwebp6 (= 0.6.1-2), libx11-6 (= 2:1.6.9-2ubuntu1), libx11-data (= 2:1.6.9-2ubuntu1), libx11-dev (= 2:1.6.9-2ubuntu1), libxau-dev (= 1:1.0.9-0ubuntu1), libxau6 (= 1:1.0.9-0ubuntu1), libxcb-render0 (= 1.14-2), libxcb-render0-dev (= 1.14-2), libxcb-shm0 (= 1.14-2), libxcb-shm0-dev (= 1.14-2), libxcb1 (= 1.14-2), libxcb1-dev (= 1.14-2), libxcomposite-dev (= 1:0.4.5-0ubuntu1), libxcomposite1 (= 1:0.4.5-0ubuntu1), libxcursor-dev (= 1:1.2.0-2), libxcursor1 (= 1:1.2.0-2), libxdamage-dev (= 1:1.1.5-1), libxdamage1 (= 1:1.1.5-1), libxdmcp-dev (= 1:1.1.3-0ubuntu1), libxdmcp6 (= 1:1.1.3-0ubuntu1), libxext-dev (= 2:1.3.4-0ubuntu1), libxext6 (= 2:1.3.4-0ubuntu1), libxfixes-dev (= 1:5.0.3-1), libxfixes3 (= 1:5.0.3-1), libxft-dev (= 2.3.3-0ubuntu1), libxft2 (= 2.3.3-0ubuntu1), libxi-dev (= 2:1.7.10-0ubuntu1), libxi6 (= 2:1.7.10-0ubuntu1), libxinerama-dev (= 2:1.1.4-2), libxinerama1 (= 2:1.1.4-2), libxml2 (= 2.9.10+dfsg-4build1), libxml2-dev (= 2.9.10+dfsg-4build1), libxml2-utils (= 2.9.10+dfsg-4build1), libxrandr-dev (= 2:1.5.2-0ubuntu1), libxrandr2 (= 2:1.5.2-0ubuntu1), libxrender-dev (= 1:0.9.10-1), libxrender1 (= 1:0.9.10-1), libzstd1 (= 1.4.4+dfsg-3), linux-libc-dev (= 5.4.0-21.25), login (= 1:4.8.1-1ubuntu3), lsb-base (= 11.1.0ubuntu2), m4 (= 1.4.18-4), make (= 4.2.1-1.2), man-db (= 2.9.1-1), mawk (= 1.3.4.20200120-2), mime-support (= 3.64ubuntu1), ncurses-base (= 6.2-0ubuntu2), ncurses-bin (= 6.2-0ubuntu2), ocaml-base-nox (= 4.08.1-8), ocaml-compiler-libs (= 4.08.1-8), ocaml-interp (= 4.08.1-8), ocaml-nox (= 4.08.1-8), pango1.0-tools (= 1.44.7-2ubuntu2), patch (= 2.7.6-6), perl (= 5.30.0-9build1), perl-base (= 5.30.0-9build1), perl-modules-5.30 (= 5.30.0-9build1), pkg-config (= 0.29.1-0ubuntu4), po-debconf (= 1.0.21), python2 (= 2.7.17-2ubuntu4), python2-minimal (= 2.7.17-2ubuntu4), python2.7 (= 2.7.17-1ubuntu6), python2.7-minimal (= 2.7.17-1ubuntu6), python3 (= 3.8.2-0ubuntu2), python3-distutils (= 3.8.2-1ubuntu1), python3-lib2to3 (= 3.8.2-1ubuntu1), python3-minimal (= 3.8.2-0ubuntu2), python3.8 (= 3.8.2-1ubuntu1), python3.8-minimal (= 3.8.2-1ubuntu1), readline-common (= 8.0-4), sed (= 4.7-1), sensible-utils (= 0.0.12+nmu1), shared-mime-info (= 1.15-1), sysvinit-utils (= 2.96-2.1ubuntu1), tar (= 1.30+dfsg-7), tzdata (= 2019c-3ubuntu1), ubuntu-mono (= 19.04-0ubuntu3), ucf (= 3.0038+nmu1), util-linux (= 2.34-0.1ubuntu8), uuid-dev (= 2.34-0.1ubuntu8), x11-common (= 1:7.7+19ubuntu14), x11proto-composite-dev (= 1:2019.2-1ubuntu1), x11proto-core-dev (= 2019.2-1ubuntu1), x11proto-damage-dev (= 1:2019.2-1ubuntu1), x11proto-dev (= 2019.2-1ubuntu1), x11proto-fixes-dev (= 1:2019.2-1ubuntu1), x11proto-input-dev (= 2019.2-1ubuntu1), x11proto-randr-dev (= 2019.2-1ubuntu1), x11proto-xext-dev (= 2019.2-1ubuntu1), x11proto-xinerama-dev (= 2019.2-1ubuntu1), xorg-sgml-doctools (= 1:1.11-1), xtrans-dev (= 1.4.0-1), xz-utils (= 5.2.4-1), zlib1g (= 1:1.2.11.dfsg-2ubuntu1), zlib1g-dev (= 1:1.2.11.dfsg-2ubuntu1) Environment: DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1584021219" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ prooftree_0.13-1build9_riscv64.deb ---------------------------------- new Debian package, version 2.0. size 999764 bytes: control archive=932 bytes. 725 bytes, 15 lines control 473 bytes, 7 lines md5sums Package: prooftree Version: 0.13-1build9 Architecture: riscv64 Maintainer: Ubuntu Developers Installed-Size: 3940 Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), liblablgtk2-ocaml-gt6o8, ocaml-base-nox-4.08.1 Section: science Priority: optional Homepage: http://askra.de/software/prooftree Description: proof-tree visualization for Proof General Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2020-03-12 13:53 ./ drwxr-xr-x root/root 0 2020-03-12 13:53 ./usr/ drwxr-xr-x root/root 0 2020-03-12 13:53 ./usr/bin/ -rwxr-xr-x root/root 4008757 2020-03-12 13:53 ./usr/bin/prooftree drwxr-xr-x root/root 0 2020-03-12 13:53 ./usr/share/ drwxr-xr-x root/root 0 2020-03-12 13:53 ./usr/share/doc-base/ -rw-r--r-- root/root 245 2017-01-03 15:29 ./usr/share/doc-base/prooftree-changes drwxr-xr-x root/root 0 2020-03-12 13:53 ./usr/share/doc/ drwxr-xr-x root/root 0 2020-03-12 13:53 ./usr/share/doc/prooftree/ -rw-r--r-- root/root 2162 2017-01-03 10:35 ./usr/share/doc/prooftree/README -rw-r--r-- root/root 613 2020-03-12 13:53 ./usr/share/doc/prooftree/changelog.Debian.gz -rw-r--r-- root/root 4281 2017-01-03 10:35 ./usr/share/doc/prooftree/changes.html -rw-r--r-- root/root 1023 2017-01-03 15:29 ./usr/share/doc/prooftree/copyright drwxr-xr-x root/root 0 2020-03-12 13:53 ./usr/share/man/ drwxr-xr-x root/root 0 2020-03-12 13:53 ./usr/share/man/man1/ -rw-r--r-- root/root 3925 2020-03-12 13:53 ./usr/share/man/man1/prooftree.1.gz +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: riscv64 Build Type: any Build-Space: 10780 Build-Time: 191 Distribution: focal Host Architecture: riscv64 Install-Time: 635 Job: prooftree_0.13-1build9.dsc Machine Architecture: riscv64 Package: prooftree Package-Time: 852 Source-Version: 0.13-1build9 Space: 10780 Status: successful Version: 0.13-1build9 -------------------------------------------------------------------------------- Finished at 2020-04-05T13:47:11Z Build needed 00:14:12, 10780k disk space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19109406 Scanning for processes to kill in build PACKAGEBUILD-19109406 RUN: /usr/share/launchpad-buildd/bin/in-target umount-chroot --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19109406 Stopping target for build PACKAGEBUILD-19109406 RUN: /usr/share/launchpad-buildd/bin/in-target remove-build --backend=chroot --series=focal --arch=riscv64 PACKAGEBUILD-19109406 Removing build PACKAGEBUILD-19109406