RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux bos01-ppc64el-006 4.4.0-53-generic #74-Ubuntu SMP Fri Dec 2 15:59:36 UTC 2016 ppc64le Buildd toolchain package versions: launchpad-buildd_141 python-lpbuildd_141 sbuild_0.67.0-2ubuntu7 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3 git-build-recipe_0.3.4~git201611291343.dcee459~ubuntu16.04.1 git_1:2.7.4-0ubuntu1 dpkg-dev_1.18.4ubuntu1.1 python-debian_0.1.27ubuntu2 qemu-user-static_1:2.5+dfsg-5ubuntu10.6. Syncing the system clock with the buildd NTP service... 13 Dec 03:23:26 ntpdate[1854]: adjust time server 10.211.37.1 offset -0.008973 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-11395897', '/home/buildd/filecache-default/13c837fa8f013503c65d7b6fd85343da86753929'] Unpacking chroot for build PACKAGEBUILD-11395897 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-11395897'] Mounting chroot for build PACKAGEBUILD-11395897 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-11395897', 'deb http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty main', 'deb http://ftpmaster.internal/ubuntu zesty main universe'] Overriding sources.list in build-PACKAGEBUILD-11395897 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-11395897', 'ppc64el'] Updating debian chroot for build PACKAGEBUILD-11395897 Get:1 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty InRelease [17.5 kB] Get:2 http://ftpmaster.internal/ubuntu zesty InRelease [253 kB] Ign:1 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty InRelease Get:3 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el Packages [13.8 kB] Get:4 http://ftpmaster.internal/ubuntu zesty/main ppc64el Packages [1177 kB] Get:5 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main Translation-en [12.1 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main Translation-en [584 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/universe ppc64el Packages [7688 kB] Get:8 http://ftpmaster.internal/ubuntu zesty/universe Translation-en [4616 kB] Fetched 14.4 MB in 5s (2735 kB/s) Reading package lists... W: GPG error: http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty InRelease: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 1E9377A2BA9EF27F W: The repository 'http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty InRelease' is not signed. Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: g++-6 libperl5.22 libstdc++-6-dev perl-modules-5.22 Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: cpp-7 g++-7 gcc-7 gcc-7-base libasan4 libgcc-7-dev libperl5.24 libstdc++-7-dev perl-modules-5.24 The following packages will be upgraded: adduser base-files base-passwd bash binutils bsdutils cpp cpp-6 debianutils diffutils dmsetup findutils g++ g++-6 gcc gcc-6 gcc-6-base grep init init-system-helpers libapparmor1 libasan3 libasn1-8-heimdal libassuan0 libatomic1 libblkid1 libcc1-0 libcurl3-gnutls libdevmapper1.02.1 libfdisk1 libgcc-6-dev libgcc1 libgcrypt20 libgnutls30 libgomp1 libgpg-error0 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhogweed4 libhx509-5-heimdal libitm1 libk5crypto3 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libksba8 libldap-2.4-2 liblzma5 libmount1 libnettle6 libnpth0 libpng16-16 libroken18-heimdal libsasl2-2 libsasl2-modules-db libselinux1 libsemanage-common libsemanage1 libsepol1 libslang2 libsmartcols1 libsqlite3-0 libssl1.0.0 libstdc++-6-dev libstdc++6 libsystemd0 libubsan0 libudev1 libustr-1.0-1 libuuid1 libwind0-heimdal linux-libc-dev mount openssl perl perl-base pinentry-curses pkg-create-dbgsym systemd systemd-sysv tar tzdata ubuntu-keyring util-linux xz-utils 88 upgraded, 9 newly installed, 0 to remove and 0 not upgraded. Need to get 144 MB of archives. After this operation, 524 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! gcc-7-base libgcc1 libstdc++6 libgomp1 libitm1 libatomic1 libubsan0 libcc1-0 cpp-7 cpp libasan4 libgcc-7-dev gcc-7 gcc libstdc++-7-dev g++-7 g++ Authentication warning overridden. Get:1 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el gcc-7-base ppc64el 7-20161212-0ubuntu2 [14.2 kB] Get:2 http://ftpmaster.internal/ubuntu zesty/main ppc64el base-files ppc64el 9.6ubuntu8 [56.9 kB] Get:3 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el libgcc1 ppc64el 1:7-20161212-0ubuntu2 [29.5 kB] Get:4 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el libstdc++6 ppc64el 7-20161212-0ubuntu2 [438 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main ppc64el debianutils ppc64el 4.8.1 [86.0 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main ppc64el bash ppc64el 4.4-2ubuntu1 [644 kB] Get:7 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el libgomp1 ppc64el 7-20161212-0ubuntu2 [68.5 kB] Get:8 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el libitm1 ppc64el 7-20161212-0ubuntu2 [29.4 kB] Get:9 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el libatomic1 ppc64el 7-20161212-0ubuntu2 [8534 B] Get:10 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el libubsan0 ppc64el 7-20161212-0ubuntu2 [126 kB] Get:11 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el libcc1-0 ppc64el 7-20161212-0ubuntu2 [31.4 kB] Get:12 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el cpp-7 ppc64el 7-20161212-0ubuntu2 [31.7 MB] Get:13 http://ftpmaster.internal/ubuntu zesty/main ppc64el bsdutils ppc64el 1:2.29-1ubuntu2 [54.9 kB] Get:14 http://ftpmaster.internal/ubuntu zesty/main ppc64el diffutils ppc64el 1:3.5-1 [171 kB] Get:15 http://ftpmaster.internal/ubuntu zesty/main ppc64el findutils ppc64el 4.6.0+git+20161106-1 [289 kB] Get:16 http://ftpmaster.internal/ubuntu zesty/main ppc64el grep ppc64el 2.27-1 [145 kB] Get:17 http://ftpmaster.internal/ubuntu zesty/main ppc64el libuuid1 ppc64el 2.29-1ubuntu2 [15.1 kB] Get:18 http://ftpmaster.internal/ubuntu zesty/main ppc64el libblkid1 ppc64el 2.29-1ubuntu2 [102 kB] Get:19 http://ftpmaster.internal/ubuntu zesty/main ppc64el libfdisk1 ppc64el 2.29-1ubuntu2 [132 kB] Get:20 http://ftpmaster.internal/ubuntu zesty/main ppc64el libselinux1 ppc64el 2.6-3 [67.3 kB] Get:21 http://ftpmaster.internal/ubuntu zesty/main ppc64el util-linux ppc64el 2.29-1ubuntu2 [881 kB] Get:22 http://ftpmaster.internal/ubuntu zesty/main ppc64el mount ppc64el 2.29-1ubuntu2 [126 kB] Get:23 http://ftpmaster.internal/ubuntu zesty/main ppc64el perl-modules-5.24 all 5.24.1~rc4-1 [2663 kB] Get:24 http://ftpmaster.internal/ubuntu zesty/main ppc64el libperl5.24 ppc64el 5.24.1~rc4-1 [3310 kB] Get:25 http://ftpmaster.internal/ubuntu zesty/main ppc64el perl ppc64el 5.24.1~rc4-1 [219 kB] Get:26 http://ftpmaster.internal/ubuntu zesty/main ppc64el perl-base ppc64el 5.24.1~rc4-1 [1228 kB] Get:27 http://ftpmaster.internal/ubuntu zesty/main ppc64el tar ppc64el 1.29b-1.1 [241 kB] Get:28 http://ftpmaster.internal/ubuntu zesty/main ppc64el base-passwd ppc64el 3.5.42 [49.4 kB] Get:29 http://ftpmaster.internal/ubuntu zesty/main ppc64el init-system-helpers all 1.46 [37.3 kB] Get:30 http://ftpmaster.internal/ubuntu zesty/main ppc64el libapparmor1 ppc64el 2.10.95-4ubuntu5.2 [30.0 kB] Get:31 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgpg-error0 ppc64el 1.25-2 [36.6 kB] Get:32 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgcrypt20 ppc64el 1.7.3-2 [417 kB] Get:33 http://ftpmaster.internal/ubuntu zesty/main ppc64el liblzma5 ppc64el 5.2.2-1.2 [101 kB] Get:34 http://ftpmaster.internal/ubuntu zesty/main ppc64el libmount1 ppc64el 2.29-1ubuntu2 [107 kB] Get:35 http://ftpmaster.internal/ubuntu zesty/main ppc64el adduser all 3.113+nmu3ubuntu5 [161 kB] Get:36 http://ftpmaster.internal/ubuntu zesty/main ppc64el systemd ppc64el 232-7 [2174 kB] Get:37 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsystemd0 ppc64el 232-7 [205 kB] Get:38 http://ftpmaster.internal/ubuntu zesty/main ppc64el init ppc64el 1.46 [5320 B] Get:39 http://ftpmaster.internal/ubuntu zesty/main ppc64el systemd-sysv ppc64el 232-7 [13.9 kB] Get:40 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsepol1 ppc64el 2.6-2 [205 kB] Get:41 http://ftpmaster.internal/ubuntu zesty/main ppc64el libustr-1.0-1 ppc64el 1.0.4-6 [55.2 kB] Get:42 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsemanage-common all 2.6-1 [6832 B] Get:43 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsemanage1 ppc64el 2.6-1 [75.4 kB] Get:44 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsmartcols1 ppc64el 2.29-1ubuntu2 [64.2 kB] Get:45 http://ftpmaster.internal/ubuntu zesty/main ppc64el libudev1 ppc64el 232-7 [54.5 kB] Get:46 http://ftpmaster.internal/ubuntu zesty/main ppc64el ubuntu-keyring all 2016.10.27 [16.6 kB] Get:47 http://ftpmaster.internal/ubuntu zesty/main ppc64el libasan3 ppc64el 6.2.1-5ubuntu1 [280 kB] Get:48 http://ftpmaster.internal/ubuntu zesty/main ppc64el g++-6 ppc64el 6.2.1-5ubuntu1 [6432 kB] Get:49 http://ftpmaster.internal/ubuntu zesty/main ppc64el libstdc++-6-dev ppc64el 6.2.1-5ubuntu1 [1453 kB] Get:50 http://ftpmaster.internal/ubuntu zesty/main ppc64el gcc-6 ppc64el 6.2.1-5ubuntu1 [6197 kB] Get:51 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgcc-6-dev ppc64el 6.2.1-5ubuntu1 [656 kB] Get:52 http://ftpmaster.internal/ubuntu zesty/main ppc64el binutils ppc64el 2.27.51.20161201-1ubuntu1 [2321 kB] Get:53 http://ftpmaster.internal/ubuntu zesty/main ppc64el cpp-6 ppc64el 6.2.1-5ubuntu1 [5671 kB] Get:54 http://ftpmaster.internal/ubuntu zesty/main ppc64el gcc-6-base ppc64el 6.2.1-5ubuntu1 [16.8 kB] Get:55 http://ftpmaster.internal/ubuntu zesty/main ppc64el tzdata all 2016j-2 [204 kB] Get:56 http://ftpmaster.internal/ubuntu zesty/main ppc64el libdevmapper1.02.1 ppc64el 2:1.02.136-1ubuntu1 [128 kB] Get:57 http://ftpmaster.internal/ubuntu zesty/main ppc64el dmsetup ppc64el 2:1.02.136-1ubuntu1 [69.8 kB] Get:58 http://ftpmaster.internal/ubuntu zesty/main ppc64el libroken18-heimdal ppc64el 1.7~git20160703+dfsg-1ubuntu1 [39.0 kB] Get:59 http://ftpmaster.internal/ubuntu zesty/main ppc64el libasn1-8-heimdal ppc64el 1.7~git20160703+dfsg-1ubuntu1 [137 kB] Get:60 http://ftpmaster.internal/ubuntu zesty/main ppc64el libassuan0 ppc64el 2.4.3-2 [31.5 kB] Get:61 http://ftpmaster.internal/ubuntu zesty/main ppc64el libhogweed4 ppc64el 3.3-1 [133 kB] Get:62 http://ftpmaster.internal/ubuntu zesty/main ppc64el libnettle6 ppc64el 3.3-1 [121 kB] Get:63 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgnutls30 ppc64el 3.5.6-4ubuntu2 [527 kB] Get:64 http://ftpmaster.internal/ubuntu zesty/main ppc64el libheimbase1-heimdal ppc64el 1.7~git20160703+dfsg-1ubuntu1 [28.7 kB] Get:65 http://ftpmaster.internal/ubuntu zesty/main ppc64el libhcrypto4-heimdal ppc64el 1.7~git20160703+dfsg-1ubuntu1 [95.1 kB] Get:66 http://ftpmaster.internal/ubuntu zesty/main ppc64el libwind0-heimdal ppc64el 1.7~git20160703+dfsg-1ubuntu1 [47.8 kB] Get:67 http://ftpmaster.internal/ubuntu zesty/main ppc64el libhx509-5-heimdal ppc64el 1.7~git20160703+dfsg-1ubuntu1 [101 kB] Get:68 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsqlite3-0 ppc64el 3.15.1-1 [437 kB] Get:69 http://ftpmaster.internal/ubuntu zesty/main ppc64el libkrb5-26-heimdal ppc64el 1.7~git20160703+dfsg-1ubuntu1 [189 kB] Get:70 http://ftpmaster.internal/ubuntu zesty/main ppc64el libheimntlm0-heimdal ppc64el 1.7~git20160703+dfsg-1ubuntu1 [15.6 kB] Get:71 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgssapi3-heimdal ppc64el 1.7~git20160703+dfsg-1ubuntu1 [86.1 kB] Get:72 http://ftpmaster.internal/ubuntu zesty/main ppc64el libksba8 ppc64el 1.3.5-2 [90.7 kB] Get:73 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsasl2-modules-db ppc64el 2.1.27~72-g88d82a3+dfsg-1 [14.7 kB] Get:74 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsasl2-2 ppc64el 2.1.27~72-g88d82a3+dfsg-1 [47.6 kB] Get:75 http://ftpmaster.internal/ubuntu zesty/main ppc64el libldap-2.4-2 ppc64el 2.4.42+dfsg-2ubuntu5 [151 kB] Get:76 http://ftpmaster.internal/ubuntu zesty/main ppc64el libnpth0 ppc64el 1.3-1 [8046 B] Get:77 http://ftpmaster.internal/ubuntu zesty/main ppc64el libslang2 ppc64el 2.3.1-5ubuntu1 [383 kB] Get:78 http://ftpmaster.internal/ubuntu zesty/main ppc64el libssl1.0.0 ppc64el 1.0.2g-1ubuntu10 [824 kB] Get:79 http://ftpmaster.internal/ubuntu zesty/main ppc64el pinentry-curses ppc64el 1.0.0-1 [31.9 kB] Get:80 http://ftpmaster.internal/ubuntu zesty/main ppc64el xz-utils ppc64el 5.2.2-1.2 [82.5 kB] Get:81 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgssapi-krb5-2 ppc64el 1.15~beta1-1 [109 kB] Get:82 http://ftpmaster.internal/ubuntu zesty/main ppc64el libkrb5-3 ppc64el 1.15~beta1-1 [268 kB] Get:83 http://ftpmaster.internal/ubuntu zesty/main ppc64el libkrb5support0 ppc64el 1.15~beta1-1 [30.9 kB] Get:84 http://ftpmaster.internal/ubuntu zesty/main ppc64el libk5crypto3 ppc64el 1.15~beta1-1 [98.9 kB] Get:85 http://ftpmaster.internal/ubuntu zesty/main ppc64el libcurl3-gnutls ppc64el 7.51.0-1ubuntu1 [179 kB] Get:86 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpng16-16 ppc64el 1.6.26-2ubuntu1 [188 kB] Get:87 http://ftpmaster.internal/ubuntu zesty/main ppc64el openssl ppc64el 1.0.2g-1ubuntu10 [483 kB] Get:88 http://ftpmaster.internal/ubuntu zesty/main ppc64el linux-libc-dev ppc64el 4.8.0-30.32 [854 kB] Get:89 http://ftpmaster.internal/ubuntu zesty/main ppc64el pkg-create-dbgsym all 0.73 [8952 B] Get:90 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el cpp ppc64el 4:7-20161116-1ubuntu2 [27.4 kB] Get:91 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el libasan4 ppc64el 7-20161212-0ubuntu2 [358 kB] Get:92 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el libgcc-7-dev ppc64el 7-20161212-0ubuntu2 [754 kB] Get:93 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el gcc-7 ppc64el 7-20161212-0ubuntu2 [31.4 MB] Get:94 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el gcc ppc64el 4:7-20161116-1ubuntu2 [5188 B] Get:95 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el libstdc++-7-dev ppc64el 7-20161212-0ubuntu2 [1535 kB] Get:96 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el g++-7 ppc64el 7-20161212-0ubuntu2 [34.3 MB] Get:97 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu zesty/main ppc64el g++ ppc64el 4:7-20161116-1ubuntu2 [1474 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 144 MB in 19s (7451 kB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12166 files and directories currently installed.) Preparing to unpack .../base-files_9.6ubuntu8_ppc64el.deb ... Unpacking base-files (9.6ubuntu8) over (9.6ubuntu5) ... Setting up base-files (9.6ubuntu8) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12168 files and directories currently installed.) Preparing to unpack .../debianutils_4.8.1_ppc64el.deb ... Unpacking debianutils (4.8.1) over (4.8) ... Setting up debianutils (4.8.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12168 files and directories currently installed.) Preparing to unpack .../bash_4.4-2ubuntu1_ppc64el.deb ... Unpacking bash (4.4-2ubuntu1) over (4.3-15ubuntu1) ... Setting up bash (4.4-2ubuntu1) ... Installing new version of config file /etc/skel/.profile ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12168 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.29-1ubuntu2_ppc64el.deb ... Unpacking bsdutils (1:2.29-1ubuntu2) over (1:2.28.2-1ubuntu1) ... Setting up bsdutils (1:2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12168 files and directories currently installed.) Preparing to unpack .../diffutils_1%3a3.5-1_ppc64el.deb ... Unpacking diffutils (1:3.5-1) over (1:3.3-3) ... Setting up diffutils (1:3.5-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12168 files and directories currently installed.) Preparing to unpack .../findutils_4.6.0+git+20161106-1_ppc64el.deb ... Unpacking findutils (4.6.0+git+20161106-1) over (4.6.0+git+20160703-2) ... Setting up findutils (4.6.0+git+20161106-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12168 files and directories currently installed.) Preparing to unpack .../grep_2.27-1_ppc64el.deb ... Unpacking grep (2.27-1) over (2.25-6) ... Setting up grep (2.27-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12168 files and directories currently installed.) Preparing to unpack .../libuuid1_2.29-1ubuntu2_ppc64el.deb ... Unpacking libuuid1:ppc64el (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libuuid1:ppc64el (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12168 files and directories currently installed.) Preparing to unpack .../libblkid1_2.29-1ubuntu2_ppc64el.deb ... Unpacking libblkid1:ppc64el (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libblkid1:ppc64el (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12168 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.29-1ubuntu2_ppc64el.deb ... Unpacking libfdisk1:ppc64el (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libfdisk1:ppc64el (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12168 files and directories currently installed.) Preparing to unpack .../libselinux1_2.6-3_ppc64el.deb ... Unpacking libselinux1:ppc64el (2.6-3) over (2.5-3) ... Setting up libselinux1:ppc64el (2.6-3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12168 files and directories currently installed.) Preparing to unpack .../util-linux_2.29-1ubuntu2_ppc64el.deb ... Unpacking util-linux (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up util-linux (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12167 files and directories currently installed.) Preparing to unpack .../mount_2.29-1ubuntu2_ppc64el.deb ... Unpacking mount (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up mount (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12167 files and directories currently installed.) Preparing to unpack .../0-perl_5.24.1~rc4-1_ppc64el.deb ... Unpacking perl (5.24.1~rc4-1) over (5.22.2-3) ... Selecting previously unselected package perl-modules-5.24. Preparing to unpack .../1-perl-modules-5.24_5.24.1~rc4-1_all.deb ... Unpacking perl-modules-5.24 (5.24.1~rc4-1) ... Selecting previously unselected package libperl5.24:ppc64el. Preparing to unpack .../2-libperl5.24_5.24.1~rc4-1_ppc64el.deb ... Unpacking libperl5.24:ppc64el (5.24.1~rc4-1) ... Preparing to unpack .../3-perl-base_5.24.1~rc4-1_ppc64el.deb ... Unpacking perl-base (5.24.1~rc4-1) over (5.22.2-3) ... Setting up perl-base (5.24.1~rc4-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13957 files and directories currently installed.) Preparing to unpack .../tar_1.29b-1.1_ppc64el.deb ... Unpacking tar (1.29b-1.1) over (1.29b-1) ... Setting up tar (1.29b-1.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13957 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.42_ppc64el.deb ... Unpacking base-passwd (3.5.42) over (3.5.40) ... Setting up base-passwd (3.5.42) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13957 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.46_all.deb ... Unpacking init-system-helpers (1.46) over (1.45) ... Setting up init-system-helpers (1.46) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13957 files and directories currently installed.) Preparing to unpack .../0-libapparmor1_2.10.95-4ubuntu5.2_ppc64el.deb ... Unpacking libapparmor1:ppc64el (2.10.95-4ubuntu5.2) over (2.10.95-4ubuntu5) ... Preparing to unpack .../1-libgpg-error0_1.25-2_ppc64el.deb ... Unpacking libgpg-error0:ppc64el (1.25-2) over (1.24-1) ... Setting up libgpg-error0:ppc64el (1.25-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13957 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.7.3-2_ppc64el.deb ... Unpacking libgcrypt20:ppc64el (1.7.3-2) over (1.7.2-2ubuntu1) ... Setting up libgcrypt20:ppc64el (1.7.3-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13957 files and directories currently installed.) Preparing to unpack .../liblzma5_5.2.2-1.2_ppc64el.deb ... Unpacking liblzma5:ppc64el (5.2.2-1.2) over (5.1.1alpha+20120614-2.1ubuntu1) ... Setting up liblzma5:ppc64el (5.2.2-1.2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13957 files and directories currently installed.) Preparing to unpack .../libmount1_2.29-1ubuntu2_ppc64el.deb ... Unpacking libmount1:ppc64el (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libmount1:ppc64el (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13957 files and directories currently installed.) Preparing to unpack .../adduser_3.113+nmu3ubuntu5_all.deb ... Unpacking adduser (3.113+nmu3ubuntu5) over (3.113+nmu3ubuntu4) ... Setting up adduser (3.113+nmu3ubuntu5) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13957 files and directories currently installed.) Preparing to unpack .../0-systemd_232-7_ppc64el.deb ... Unpacking systemd (232-7) over (231-9git1) ... Preparing to unpack .../1-libsystemd0_232-7_ppc64el.deb ... Unpacking libsystemd0:ppc64el (232-7) over (231-9git1) ... Setting up libsystemd0:ppc64el (232-7) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13953 files and directories currently installed.) Preparing to unpack .../archives/init_1.46_ppc64el.deb ... Unpacking init (1.46) over (1.45) ... Setting up libapparmor1:ppc64el (2.10.95-4ubuntu5.2) ... Setting up systemd (232-7) ... Installing new version of config file /etc/dbus-1/system.d/org.freedesktop.systemd1.conf ... Installing new version of config file /etc/systemd/resolved.conf ... Installing new version of config file /etc/systemd/system.conf ... addgroup: The group `systemd-journal' already exists as a system group. Exiting. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13953 files and directories currently installed.) Preparing to unpack .../0-systemd-sysv_232-7_ppc64el.deb ... Unpacking systemd-sysv (232-7) over (231-9git1) ... Selecting previously unselected package gcc-7-base:ppc64el. Preparing to unpack .../1-gcc-7-base_7-20161212-0ubuntu2_ppc64el.deb ... Unpacking gcc-7-base:ppc64el (7-20161212-0ubuntu2) ... Setting up gcc-7-base:ppc64el (7-20161212-0ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a7-20161212-0ubuntu2_ppc64el.deb ... Unpacking libgcc1:ppc64el (1:7-20161212-0ubuntu2) over (1:6.2.0-5ubuntu12) ... Setting up libgcc1:ppc64el (1:7-20161212-0ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libsepol1_2.6-2_ppc64el.deb ... Unpacking libsepol1:ppc64el (2.6-2) over (2.5-1) ... Setting up libsepol1:ppc64el (2.6-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libustr-1.0-1_1.0.4-6_ppc64el.deb ... Unpacking libustr-1.0-1:ppc64el (1.0.4-6) over (1.0.4-5) ... Setting up libustr-1.0-1:ppc64el (1.0.4-6) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libsemanage-common_2.6-1_all.deb ... Unpacking libsemanage-common (2.6-1) over (2.5-1) ... Setting up libsemanage-common (2.6-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.6-1_ppc64el.deb ... Unpacking libsemanage1:ppc64el (2.6-1) over (2.5-1) ... Setting up libsemanage1:ppc64el (2.6-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.29-1ubuntu2_ppc64el.deb ... Unpacking libsmartcols1:ppc64el (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libsmartcols1:ppc64el (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libudev1_232-7_ppc64el.deb ... Unpacking libudev1:ppc64el (232-7) over (231-9git1) ... Setting up libudev1:ppc64el (232-7) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../libstdc++6_7-20161212-0ubuntu2_ppc64el.deb ... Unpacking libstdc++6:ppc64el (7-20161212-0ubuntu2) over (6.2.0-5ubuntu12) ... Setting up libstdc++6:ppc64el (7-20161212-0ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13960 files and directories currently installed.) Preparing to unpack .../ubuntu-keyring_2016.10.27_all.deb ... Unpacking ubuntu-keyring (2016.10.27) over (2016.09.19) ... Setting up ubuntu-keyring (2016.10.27) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13958 files and directories currently installed.) Preparing to unpack .../00-libgomp1_7-20161212-0ubuntu2_ppc64el.deb ... Unpacking libgomp1:ppc64el (7-20161212-0ubuntu2) over (6.2.0-5ubuntu12) ... Preparing to unpack .../01-libitm1_7-20161212-0ubuntu2_ppc64el.deb ... Unpacking libitm1:ppc64el (7-20161212-0ubuntu2) over (6.2.0-5ubuntu12) ... Preparing to unpack .../02-libatomic1_7-20161212-0ubuntu2_ppc64el.deb ... Unpacking libatomic1:ppc64el (7-20161212-0ubuntu2) over (6.2.0-5ubuntu12) ... Preparing to unpack .../03-libasan3_6.2.1-5ubuntu1_ppc64el.deb ... Unpacking libasan3:ppc64el (6.2.1-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../04-libubsan0_7-20161212-0ubuntu2_ppc64el.deb ... Unpacking libubsan0:ppc64el (7-20161212-0ubuntu2) over (6.2.0-5ubuntu12) ... Preparing to unpack .../05-g++-6_6.2.1-5ubuntu1_ppc64el.deb ... Unpacking g++-6 (6.2.1-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../06-libstdc++-6-dev_6.2.1-5ubuntu1_ppc64el.deb ... Unpacking libstdc++-6-dev:ppc64el (6.2.1-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../07-gcc-6_6.2.1-5ubuntu1_ppc64el.deb ... Unpacking gcc-6 (6.2.1-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../08-libgcc-6-dev_6.2.1-5ubuntu1_ppc64el.deb ... Unpacking libgcc-6-dev:ppc64el (6.2.1-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../09-libcc1-0_7-20161212-0ubuntu2_ppc64el.deb ... Unpacking libcc1-0:ppc64el (7-20161212-0ubuntu2) over (6.2.0-5ubuntu12) ... Preparing to unpack .../10-binutils_2.27.51.20161201-1ubuntu1_ppc64el.deb ... Unpacking binutils (2.27.51.20161201-1ubuntu1) over (2.27-8ubuntu2) ... Preparing to unpack .../11-cpp-6_6.2.1-5ubuntu1_ppc64el.deb ... Unpacking cpp-6 (6.2.1-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../12-gcc-6-base_6.2.1-5ubuntu1_ppc64el.deb ... Unpacking gcc-6-base:ppc64el (6.2.1-5ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../13-tzdata_2016j-2_all.deb ... Unpacking tzdata (2016j-2) over (2016g-1) ... Preparing to unpack .../14-libdevmapper1.02.1_2%3a1.02.136-1ubuntu1_ppc64el.deb ... Unpacking libdevmapper1.02.1:ppc64el (2:1.02.136-1ubuntu1) over (2:1.02.130-1ubuntu1) ... Preparing to unpack .../15-dmsetup_2%3a1.02.136-1ubuntu1_ppc64el.deb ... Unpacking dmsetup (2:1.02.136-1ubuntu1) over (2:1.02.130-1ubuntu1) ... Preparing to unpack .../16-libroken18-heimdal_1.7~git20160703+dfsg-1ubuntu1_ppc64el.deb ... Unpacking libroken18-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../17-libasn1-8-heimdal_1.7~git20160703+dfsg-1ubuntu1_ppc64el.deb ... Unpacking libasn1-8-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../18-libassuan0_2.4.3-2_ppc64el.deb ... Unpacking libassuan0:ppc64el (2.4.3-2) over (2.4.3-1) ... Preparing to unpack .../19-libhogweed4_3.3-1_ppc64el.deb ... Unpacking libhogweed4:ppc64el (3.3-1) over (3.2-1) ... Preparing to unpack .../20-libnettle6_3.3-1_ppc64el.deb ... Unpacking libnettle6:ppc64el (3.3-1) over (3.2-1) ... Preparing to unpack .../21-libgnutls30_3.5.6-4ubuntu2_ppc64el.deb ... Unpacking libgnutls30:ppc64el (3.5.6-4ubuntu2) over (3.5.3-5ubuntu1) ... Preparing to unpack .../22-libheimbase1-heimdal_1.7~git20160703+dfsg-1ubuntu1_ppc64el.deb ... Unpacking libheimbase1-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../23-libhcrypto4-heimdal_1.7~git20160703+dfsg-1ubuntu1_ppc64el.deb ... Unpacking libhcrypto4-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../24-libwind0-heimdal_1.7~git20160703+dfsg-1ubuntu1_ppc64el.deb ... Unpacking libwind0-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../25-libhx509-5-heimdal_1.7~git20160703+dfsg-1ubuntu1_ppc64el.deb ... Unpacking libhx509-5-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../26-libsqlite3-0_3.15.1-1_ppc64el.deb ... Unpacking libsqlite3-0:ppc64el (3.15.1-1) over (3.14.1-1build1) ... Preparing to unpack .../27-libkrb5-26-heimdal_1.7~git20160703+dfsg-1ubuntu1_ppc64el.deb ... Unpacking libkrb5-26-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../28-libheimntlm0-heimdal_1.7~git20160703+dfsg-1ubuntu1_ppc64el.deb ... Unpacking libheimntlm0-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../29-libgssapi3-heimdal_1.7~git20160703+dfsg-1ubuntu1_ppc64el.deb ... Unpacking libgssapi3-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../30-libksba8_1.3.5-2_ppc64el.deb ... Unpacking libksba8:ppc64el (1.3.5-2) over (1.3.4-4) ... Preparing to unpack .../31-libsasl2-modules-db_2.1.27~72-g88d82a3+dfsg-1_ppc64el.deb ... Unpacking libsasl2-modules-db:ppc64el (2.1.27~72-g88d82a3+dfsg-1) over (2.1.26.dfsg1-15) ... Preparing to unpack .../32-libsasl2-2_2.1.27~72-g88d82a3+dfsg-1_ppc64el.deb ... Unpacking libsasl2-2:ppc64el (2.1.27~72-g88d82a3+dfsg-1) over (2.1.26.dfsg1-15) ... Preparing to unpack .../33-libldap-2.4-2_2.4.42+dfsg-2ubuntu5_ppc64el.deb ... Unpacking libldap-2.4-2:ppc64el (2.4.42+dfsg-2ubuntu5) over (2.4.42+dfsg-2ubuntu4) ... Preparing to unpack .../34-libnpth0_1.3-1_ppc64el.deb ... Unpacking libnpth0:ppc64el (1.3-1) over (1.2-3) ... Preparing to unpack .../35-libslang2_2.3.1-5ubuntu1_ppc64el.deb ... Unpacking libslang2:ppc64el (2.3.1-5ubuntu1) over (2.3.0-2.3ubuntu1) ... Preparing to unpack .../36-libssl1.0.0_1.0.2g-1ubuntu10_ppc64el.deb ... Unpacking libssl1.0.0:ppc64el (1.0.2g-1ubuntu10) over (1.0.2g-1ubuntu9) ... Preparing to unpack .../37-pinentry-curses_1.0.0-1_ppc64el.deb ... Unpacking pinentry-curses (1.0.0-1) over (0.9.7-5) ... Preparing to unpack .../38-xz-utils_5.2.2-1.2_ppc64el.deb ... Unpacking xz-utils (5.2.2-1.2) over (5.1.1alpha+20120614-2.1ubuntu1) ... Preparing to unpack .../39-libgssapi-krb5-2_1.15~beta1-1_ppc64el.deb ... Unpacking libgssapi-krb5-2:ppc64el (1.15~beta1-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../40-libkrb5-3_1.15~beta1-1_ppc64el.deb ... Unpacking libkrb5-3:ppc64el (1.15~beta1-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../41-libkrb5support0_1.15~beta1-1_ppc64el.deb ... Unpacking libkrb5support0:ppc64el (1.15~beta1-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../42-libk5crypto3_1.15~beta1-1_ppc64el.deb ... Unpacking libk5crypto3:ppc64el (1.15~beta1-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../43-libcurl3-gnutls_7.51.0-1ubuntu1_ppc64el.deb ... Unpacking libcurl3-gnutls:ppc64el (7.51.0-1ubuntu1) over (7.50.1-1ubuntu1) ... Preparing to unpack .../44-libpng16-16_1.6.26-2ubuntu1_ppc64el.deb ... Unpacking libpng16-16:ppc64el (1.6.26-2ubuntu1) over (1.6.25-1) ... Preparing to unpack .../45-openssl_1.0.2g-1ubuntu10_ppc64el.deb ... Unpacking openssl (1.0.2g-1ubuntu10) over (1.0.2g-1ubuntu9) ... Selecting previously unselected package cpp-7. Preparing to unpack .../46-cpp-7_7-20161212-0ubuntu2_ppc64el.deb ... Unpacking cpp-7 (7-20161212-0ubuntu2) ... Preparing to unpack .../47-cpp_4%3a7-20161116-1ubuntu2_ppc64el.deb ... Unpacking cpp (4:7-20161116-1ubuntu2) over (4:6.1.1-1ubuntu2) ... Selecting previously unselected package libasan4:ppc64el. Preparing to unpack .../48-libasan4_7-20161212-0ubuntu2_ppc64el.deb ... Unpacking libasan4:ppc64el (7-20161212-0ubuntu2) ... Selecting previously unselected package libgcc-7-dev:ppc64el. Preparing to unpack .../49-libgcc-7-dev_7-20161212-0ubuntu2_ppc64el.deb ... Unpacking libgcc-7-dev:ppc64el (7-20161212-0ubuntu2) ... Selecting previously unselected package gcc-7. Preparing to unpack .../50-gcc-7_7-20161212-0ubuntu2_ppc64el.deb ... Unpacking gcc-7 (7-20161212-0ubuntu2) ... Preparing to unpack .../51-gcc_4%3a7-20161116-1ubuntu2_ppc64el.deb ... Removing old gcc doc directory. Unpacking gcc (4:7-20161116-1ubuntu2) over (4:6.1.1-1ubuntu2) ... Selecting previously unselected package libstdc++-7-dev:ppc64el. Preparing to unpack .../52-libstdc++-7-dev_7-20161212-0ubuntu2_ppc64el.deb ... Unpacking libstdc++-7-dev:ppc64el (7-20161212-0ubuntu2) ... Selecting previously unselected package g++-7. Preparing to unpack .../53-g++-7_7-20161212-0ubuntu2_ppc64el.deb ... Unpacking g++-7 (7-20161212-0ubuntu2) ... Preparing to unpack .../54-g++_4%3a7-20161116-1ubuntu2_ppc64el.deb ... Unpacking g++ (4:7-20161116-1ubuntu2) over (4:6.1.1-1ubuntu2) ... Preparing to unpack .../55-linux-libc-dev_4.8.0-30.32_ppc64el.deb ... Unpacking linux-libc-dev:ppc64el (4.8.0-30.32) over (4.8.0-22.24) ... Preparing to unpack .../56-pkg-create-dbgsym_0.73_all.deb ... Unpacking pkg-create-dbgsym (0.73) over (0.72) ... Setting up libnpth0:ppc64el (1.3-1) ... Setting up libgomp1:ppc64el (7-20161212-0ubuntu2) ... Setting up libatomic1:ppc64el (7-20161212-0ubuntu2) ... Setting up perl-modules-5.24 (5.24.1~rc4-1) ... Setting up libperl5.24:ppc64el (5.24.1~rc4-1) ... Setting up libnettle6:ppc64el (3.3-1) ... Setting up libcc1-0:ppc64el (7-20161212-0ubuntu2) ... Setting up libssl1.0.0:ppc64el (1.0.2g-1ubuntu10) ... Setting up libasan4:ppc64el (7-20161212-0ubuntu2) ... Setting up libpng16-16:ppc64el (1.6.26-2ubuntu1) ... Setting up tzdata (2016j-2) ... Current default time zone: 'Etc/UTC' Local time is now: Tue Dec 13 03:24:16 UTC 2016. Universal Time is now: Tue Dec 13 03:24:16 UTC 2016. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up systemd-sysv (232-7) ... Setting up libubsan0:ppc64el (7-20161212-0ubuntu2) ... Setting up gcc-6-base:ppc64el (6.2.1-5ubuntu1) ... Setting up libsasl2-modules-db:ppc64el (2.1.27~72-g88d82a3+dfsg-1) ... Setting up linux-libc-dev:ppc64el (4.8.0-30.32) ... Setting up libsasl2-2:ppc64el (2.1.27~72-g88d82a3+dfsg-1) ... Setting up libroken18-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libksba8:ppc64el (1.3.5-2) ... Setting up libdevmapper1.02.1:ppc64el (2:1.02.136-1ubuntu1) ... Setting up libkrb5support0:ppc64el (1.15~beta1-1) ... Setting up cpp-7 (7-20161212-0ubuntu2) ... Setting up libhogweed4:ppc64el (3.3-1) ... Setting up perl (5.24.1~rc4-1) ... Installing new version of config file /etc/perl/sitecustomize.pl ... Processing triggers for libc-bin (2.24-3ubuntu1) ... Setting up pkg-create-dbgsym (0.73) ... Setting up xz-utils (5.2.2-1.2) ... Setting up libheimbase1-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) ... Setting up openssl (1.0.2g-1ubuntu10) ... Setting up libsqlite3-0:ppc64el (3.15.1-1) ... Setting up dmsetup (2:1.02.136-1ubuntu1) ... Setting up binutils (2.27.51.20161201-1ubuntu1) ... Setting up cpp-6 (6.2.1-5ubuntu1) ... Setting up libslang2:ppc64el (2.3.1-5ubuntu1) ... Setting up libassuan0:ppc64el (2.4.3-2) ... Setting up libitm1:ppc64el (7-20161212-0ubuntu2) ... Setting up cpp (4:7-20161116-1ubuntu2) ... Setting up libk5crypto3:ppc64el (1.15~beta1-1) ... Setting up libasan3:ppc64el (6.2.1-5ubuntu1) ... Setting up libgcc-6-dev:ppc64el (6.2.1-5ubuntu1) ... Setting up libstdc++-6-dev:ppc64el (6.2.1-5ubuntu1) ... Setting up libwind0-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) ... Setting up init (1.46) ... Setting up libasn1-8-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libhcrypto4-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libgnutls30:ppc64el (3.5.6-4ubuntu2) ... Setting up libhx509-5-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libgcc-7-dev:ppc64el (7-20161212-0ubuntu2) ... Setting up gcc-6 (6.2.1-5ubuntu1) ... Setting up g++-6 (6.2.1-5ubuntu1) ... Setting up libstdc++-7-dev:ppc64el (7-20161212-0ubuntu2) ... Setting up pinentry-curses (1.0.0-1) ... Setting up libkrb5-3:ppc64el (1.15~beta1-1) ... Setting up libkrb5-26-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libheimntlm0-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) ... Setting up gcc-7 (7-20161212-0ubuntu2) ... Setting up g++-7 (7-20161212-0ubuntu2) ... Setting up gcc (4:7-20161116-1ubuntu2) ... Setting up libgssapi-krb5-2:ppc64el (1.15~beta1-1) ... Setting up g++ (4:7-20161116-1ubuntu2) ... Setting up libgssapi3-heimdal:ppc64el (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libldap-2.4-2:ppc64el (2.4.42+dfsg-2ubuntu5) ... Setting up libcurl3-gnutls:ppc64el (7.51.0-1ubuntu1) ... Processing triggers for libc-bin (2.24-3ubuntu1) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-11395897', 'ppc64el', 'zesty', '-c', 'chroot:autobuild', '--arch=ppc64el', '--dist=zesty', '--purge=never', '--nolog', 'acl2_7.2dfsg-2.dsc'] Initiating build PACKAGEBUILD-11395897 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-53-generic #74-Ubuntu SMP Fri Dec 2 15:59:36 UTC 2016 ppc64le sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on bos01-ppc64el-006.buildd +==============================================================================+ | acl2 7.2dfsg-2 (ppc64el) 13 Dec 2016 03:24 | +==============================================================================+ Package: acl2 Version: 7.2dfsg-2 Source Version: 7.2dfsg-2 Distribution: zesty Machine Architecture: ppc64el Host Architecture: ppc64el Build Architecture: ppc64el I: NOTICE: Log filtering will replace 'build/acl2-WkBK4v/acl2-7.2dfsg' with '<>' I: NOTICE: Log filtering will replace 'build/acl2-WkBK4v' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-11395897/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- acl2_7.2dfsg-2.dsc exists in .; copying to chroot Check architectures ------------------- Check dependencies ------------------ Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-qxYBqq/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-qxYBqq/apt_archive ./ InRelease Get:2 copy:/<>/resolver-qxYBqq/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-qxYBqq/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-qxYBqq/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-qxYBqq/apt_archive ./ Packages [526 B] Fetched 2859 B in 0s (0 B/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install core build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: g++-6 libperl5.22 libstdc++-6-dev perl-modules-5.22 Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 772 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-qxYBqq/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [772 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 772 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 14896 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_ppc64el.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: gcl (>= 2.6.12-32), libgmp3-dev, libreadline-dev, emacs24 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo Filtered Build-Depends: gcl (>= 2.6.12-32), libgmp3-dev, libreadline-dev, emacs24 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo dpkg-deb: building package 'sbuild-build-depends-acl2-dummy' in '/<>/resolver-kYnLq2/apt_archive/sbuild-build-depends-acl2-dummy.deb'. Ign:1 copy:/<>/resolver-kYnLq2/apt_archive ./ InRelease Get:2 copy:/<>/resolver-kYnLq2/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-kYnLq2/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-kYnLq2/apt_archive ./ Sources [289 B] Get:5 copy:/<>/resolver-kYnLq2/apt_archive ./ Packages [608 B] Fetched 3016 B in 0s (0 B/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install acl2 build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: g++-6 libperl5.22 libstdc++-6-dev perl-modules-5.22 Use 'sudo apt autoremove' to remove them. The following additional packages will be installed: adwaita-icon-theme autoconf automake autopoint autotools-dev bsdmainutils dconf-gsettings-backend dconf-service debhelper dh-autoreconf dh-strip-nondeterminism emacs24 emacs24-bin-common emacs24-common emacs24-common-non-dfsg emacsen-common file fontconfig fontconfig-config fonts-dejavu-core gcl gconf-service gconf-service-backend gconf2-common gettext gettext-base glib-networking glib-networking-common glib-networking-services groff-base gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme imagemagick-common intltool-debian libarchive-zip-perl libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libboost-filesystem1.61.0 libboost-system1.61.0 libbsd0 libcairo-gobject2 libcairo2 libcolord2 libcroco3 libcups2 libcupsimage2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libdrm-amdgpu1 libdrm-nouveau2 libdrm-radeon1 libdrm2 libedit2 libegl1-mesa libelf1 libepoxy0 libexpat1 libfftw3-double3 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libfribidi0 libgbm1 libgconf-2-4 libgd3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgif7 libgl1-mesa-dri libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libgpm2 libgraphite2-3 libgs9 libgs9-common libgtk-3-0 libgtk-3-common libharfbuzz-icu0 libharfbuzz0b libice-dev libice6 libicu57 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libjson-glib-1.0-0 libjson-glib-1.0-common libkpathsea6 liblcms2-2 libllvm3.8 liblqr-1-0 libltdl7 libm17n-0 libmagic1 libmagickcore-6.q16-2 libmagickwand-6.q16-2 libmirclient9 libmircommon6 libmirprotobuf3 libnspr4 libnss3 libotf0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpoppler61 libpotrace0 libprotobuf-lite10 libproxy1v5 libptexenc1 libpthread-stubs0-dev libreadline-dev librest-0.7-0 librsvg2-2 librsvg2-common libsigsegv2 libsm-dev libsm6 libsoup-gnome2.4-1 libsoup2.4-1 libsynctex1 libtcl8.6 libtexlua52 libtext-unidecode-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtk8.6 libtool libunistring0 libwayland-client0 libwayland-cursor0 libwayland-egl1-mesa libwayland-server0 libwebp6 libx11-6 libx11-data libx11-dev libx11-xcb1 libxau-dev libxau6 libxaw7 libxaw7-dev libxcb-dri2-0 libxcb-dri3-0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxcb1 libxcb1-dev libxcomposite1 libxcursor1 libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2 libxmu-dev libxmu-headers libxmu6 libxpm-dev libxpm4 libxrandr2 libxrender1 libxshmfence1 libxss1 libxt-dev libxt6 libzzip-0-13 m17n-db m4 man-db po-debconf poppler-data shared-mime-info t1utils tex-common texinfo texlive-base texlive-binaries texlive-latex-base texlive-latex-recommended time ubuntu-mono ucf x11-common x11proto-core-dev x11proto-input-dev x11proto-kb-dev x11proto-xext-dev xdg-utils xkb-data xorg-sgml-doctools xtrans-dev Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation dh-make ncurses-term gcl-doc gettext-doc libasprintf-dev libgettextpo-dev groff libasound2-plugins alsa-utils colord cups-common libfftw3-bin libfftw3-dev libgd-tools gmp-doc libgmp10-doc libmpfr-dev gpm gvfs libice-doc liblcms2-utils m17n-docs libmagickcore-6.q16-2-extra readline-doc librsvg2-bin libsm-doc tcl8.6 tk8.6 libtool-doc gfortran | fortran95-compiler gcj-jdk libxaw-doc libxcb-doc libxext-doc libxt-doc gawk less www-browser libmail-box-perl poppler-utils ghostscript fonts-japanese-mincho | fonts-ipafont-mincho fonts-japanese-gothic | fonts-ipafont-gothic fonts-arphic-ukai fonts-arphic-uming fonts-nanum texlive-generic-recommended texinfo-doc-nonfree texlive-fonts-recommended xpdf-reader | pdf-viewer perl-tk gv | postscript-viewer texlive-pstricks gvfs-bin Recommended packages: emacs24-el curl | wget | lynx-cur at-spi2-core libcupsfilters1 dbus libtxc-dxtn-s2tc0 | libtxc-dxtn0 libglib2.0-data xdg-user-dirs fonts-droid-fallback libgtk-3-bin ghostscript gsfonts libltdl-dev libx11-doc libxml-sax-expat-perl xml-core libmail-sendmail-perl lmodern python ruby wish texlive-latex-base-doc prosper texlive-latex-recommended-doc libfile-mimeinfo-perl libnet-dbus-perl libx11-protocol-perl x11-utils x11-xserver-utils The following NEW packages will be installed: adwaita-icon-theme autoconf automake autopoint autotools-dev bsdmainutils dconf-gsettings-backend dconf-service debhelper dh-autoreconf dh-strip-nondeterminism emacs24 emacs24-bin-common emacs24-common emacs24-common-non-dfsg emacsen-common file fontconfig fontconfig-config fonts-dejavu-core gcl gconf-service gconf-service-backend gconf2-common gettext gettext-base glib-networking glib-networking-common glib-networking-services groff-base gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme imagemagick-common intltool-debian libarchive-zip-perl libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libboost-filesystem1.61.0 libboost-system1.61.0 libbsd0 libcairo-gobject2 libcairo2 libcolord2 libcroco3 libcups2 libcupsimage2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libdrm-amdgpu1 libdrm-nouveau2 libdrm-radeon1 libdrm2 libedit2 libegl1-mesa libelf1 libepoxy0 libexpat1 libfftw3-double3 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libfribidi0 libgbm1 libgconf-2-4 libgd3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgif7 libgl1-mesa-dri libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libgpm2 libgraphite2-3 libgs9 libgs9-common libgtk-3-0 libgtk-3-common libharfbuzz-icu0 libharfbuzz0b libice-dev libice6 libicu57 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libjson-glib-1.0-0 libjson-glib-1.0-common libkpathsea6 liblcms2-2 libllvm3.8 liblqr-1-0 libltdl7 libm17n-0 libmagic1 libmagickcore-6.q16-2 libmagickwand-6.q16-2 libmirclient9 libmircommon6 libmirprotobuf3 libnspr4 libnss3 libotf0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpoppler61 libpotrace0 libprotobuf-lite10 libproxy1v5 libptexenc1 libpthread-stubs0-dev libreadline-dev librest-0.7-0 librsvg2-2 librsvg2-common libsigsegv2 libsm-dev libsm6 libsoup-gnome2.4-1 libsoup2.4-1 libsynctex1 libtcl8.6 libtexlua52 libtext-unidecode-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtk8.6 libtool libunistring0 libwayland-client0 libwayland-cursor0 libwayland-egl1-mesa libwayland-server0 libwebp6 libx11-6 libx11-data libx11-dev libx11-xcb1 libxau-dev libxau6 libxaw7 libxaw7-dev libxcb-dri2-0 libxcb-dri3-0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxcb1 libxcb1-dev libxcomposite1 libxcursor1 libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2 libxmu-dev libxmu-headers libxmu6 libxpm-dev libxpm4 libxrandr2 libxrender1 libxshmfence1 libxss1 libxt-dev libxt6 libzzip-0-13 m17n-db m4 man-db po-debconf poppler-data sbuild-build-depends-acl2-dummy shared-mime-info t1utils tex-common texinfo texlive-base texlive-binaries texlive-latex-base texlive-latex-recommended time ubuntu-mono ucf x11-common x11proto-core-dev x11proto-input-dev x11proto-kb-dev x11proto-xext-dev xdg-utils xkb-data xorg-sgml-doctools xtrans-dev 0 upgraded, 228 newly installed, 0 to remove and 0 not upgraded. Need to get 158 MB of archives. After this operation, 942 MB of additional disk space will be used. Get:1 copy:/<>/resolver-kYnLq2/apt_archive ./ sbuild-build-depends-acl2-dummy 0.invalid.0 [852 B] Get:2 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxau6 ppc64el 1:1.0.8-1 [7460 B] Get:3 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxdmcp6 ppc64el 1:1.1.2-1.1 [11.6 kB] Get:4 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb1 ppc64el 1.11.1-1ubuntu1 [37.6 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main ppc64el libx11-data all 2:1.6.3-1ubuntu3 [113 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main ppc64el libx11-6 ppc64el 2:1.6.3-1ubuntu3 [567 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxext6 ppc64el 2:1.3.3-1 [30.7 kB] Get:8 http://ftpmaster.internal/ubuntu zesty/main ppc64el groff-base ppc64el 1.22.3-8 [1356 kB] Get:9 http://ftpmaster.internal/ubuntu zesty/main ppc64el libbsd0 ppc64el 0.8.3-1 [48.2 kB] Get:10 http://ftpmaster.internal/ubuntu zesty/main ppc64el bsdmainutils ppc64el 9.0.12ubuntu1 [179 kB] Get:11 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpipeline1 ppc64el 1.4.1-2 [24.1 kB] Get:12 http://ftpmaster.internal/ubuntu zesty/main ppc64el man-db ppc64el 2.7.5-2 [851 kB] Get:13 http://ftpmaster.internal/ubuntu zesty/main ppc64el fonts-dejavu-core all 2.37-1 [1041 kB] Get:14 http://ftpmaster.internal/ubuntu zesty/main ppc64el ucf all 3.0036 [52.9 kB] Get:15 http://ftpmaster.internal/ubuntu zesty/main ppc64el fontconfig-config all 2.11.94-0ubuntu2 [49.9 kB] Get:16 http://ftpmaster.internal/ubuntu zesty/main ppc64el libexpat1 ppc64el 2.2.0-1 [76.3 kB] Get:17 http://ftpmaster.internal/ubuntu zesty/main ppc64el libfreetype6 ppc64el 2.6.3-3ubuntu1 [335 kB] Get:18 http://ftpmaster.internal/ubuntu zesty/main ppc64el libfontconfig1 ppc64el 2.11.94-0ubuntu2 [144 kB] Get:19 http://ftpmaster.internal/ubuntu zesty/main ppc64el fontconfig ppc64el 2.11.94-0ubuntu2 [178 kB] Get:20 http://ftpmaster.internal/ubuntu zesty/main ppc64el imagemagick-common all 8:6.8.9.9-7ubuntu9 [41.4 kB] Get:21 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11-common all 1:7.7+16ubuntu2 [21.9 kB] Get:22 http://ftpmaster.internal/ubuntu zesty/main ppc64el libice6 ppc64el 2:1.0.9-1 [38.0 kB] Get:23 http://ftpmaster.internal/ubuntu zesty/main ppc64el libjpeg-turbo8 ppc64el 1.5.1-0ubuntu1 [150 kB] Get:24 http://ftpmaster.internal/ubuntu zesty/main ppc64el libglib2.0-0 ppc64el 2.51.0-2 [1065 kB] Get:25 http://ftpmaster.internal/ubuntu zesty/main ppc64el liblqr-1-0 ppc64el 0.4.2-2 [23.0 kB] Get:26 http://ftpmaster.internal/ubuntu zesty/main ppc64el libfftw3-double3 ppc64el 3.3.5-1 [400 kB] Get:27 http://ftpmaster.internal/ubuntu zesty/main ppc64el libjbig0 ppc64el 2.1-3.1 [26.4 kB] Get:28 http://ftpmaster.internal/ubuntu zesty/main ppc64el libjpeg8 ppc64el 8c-2ubuntu8 [2146 B] Get:29 http://ftpmaster.internal/ubuntu zesty/main ppc64el liblcms2-2 ppc64el 2.7-1ubuntu1 [164 kB] Get:30 http://ftpmaster.internal/ubuntu zesty/main ppc64el libltdl7 ppc64el 2.4.6-2 [40.9 kB] Get:31 http://ftpmaster.internal/ubuntu zesty/main ppc64el libtiff5 ppc64el 4.0.7-2 [153 kB] Get:32 http://ftpmaster.internal/ubuntu zesty/main ppc64el libicu57 ppc64el 57.1-4 [7771 kB] Get:33 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxml2 ppc64el 2.9.4+dfsg1-2 [609 kB] Get:34 http://ftpmaster.internal/ubuntu zesty/main ppc64el libmagickcore-6.q16-2 ppc64el 8:6.8.9.9-7ubuntu9 [1575 kB] Get:35 http://ftpmaster.internal/ubuntu zesty/main ppc64el libmagickwand-6.q16-2 ppc64el 8:6.8.9.9-7ubuntu9 [246 kB] Get:36 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsm6 ppc64el 2:1.2.2-1 [15.1 kB] Get:37 http://ftpmaster.internal/ubuntu zesty/main ppc64el libunistring0 ppc64el 0.9.3-5.2ubuntu1 [269 kB] Get:38 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcomposite1 ppc64el 1:0.4.4-1 [6872 B] Get:39 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxfixes3 ppc64el 1:5.0.3-1 [10.6 kB] Get:40 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxrender1 ppc64el 1:0.9.10-1 [17.6 kB] Get:41 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcursor1 ppc64el 1:1.1.14-1 [21.6 kB] Get:42 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxdamage1 ppc64el 1:1.1.4-2 [6820 B] Get:43 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxft2 ppc64el 2.3.2-1 [39.3 kB] Get:44 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxinerama1 ppc64el 2:1.1.3-1 [7160 B] Get:45 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxpm4 ppc64el 1:3.5.11-1 [35.3 kB] Get:46 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxshmfence1 ppc64el 1.2-1 [5170 B] Get:47 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxss1 ppc64el 1:1.2.2-1 [7510 B] Get:48 http://ftpmaster.internal/ubuntu zesty/main ppc64el libzzip-0-13 ppc64el 0.13.62-3 [24.5 kB] Get:49 http://ftpmaster.internal/ubuntu zesty/main ppc64el poppler-data all 0.4.7-8 [1449 kB] Get:50 http://ftpmaster.internal/ubuntu zesty/main ppc64el libmagic1 ppc64el 1:5.28-2ubuntu1 [238 kB] Get:51 http://ftpmaster.internal/ubuntu zesty/main ppc64el file ppc64el 1:5.28-2ubuntu1 [22.5 kB] Get:52 http://ftpmaster.internal/ubuntu zesty/main ppc64el libdbus-1-3 ppc64el 1.10.10-1ubuntu2 [158 kB] Get:53 http://ftpmaster.internal/ubuntu zesty/main ppc64el libfribidi0 ppc64el 0.19.7-1 [25.4 kB] Get:54 http://ftpmaster.internal/ubuntu zesty/main ppc64el xkb-data all 2.17-1ubuntu1 [307 kB] Get:55 http://ftpmaster.internal/ubuntu zesty/main ppc64el gettext-base ppc64el 0.19.8.1-1ubuntu2 [48.2 kB] Get:56 http://ftpmaster.internal/ubuntu zesty/main ppc64el libdbus-glib-1-2 ppc64el 0.108-1 [66.0 kB] Get:57 http://ftpmaster.internal/ubuntu zesty/main ppc64el libdrm2 ppc64el 2.4.74-1 [29.6 kB] Get:58 http://ftpmaster.internal/ubuntu zesty/main ppc64el libedit2 ppc64el 3.1-20150325-1ubuntu2 [77.3 kB] Get:59 http://ftpmaster.internal/ubuntu zesty/main ppc64el libelf1 ppc64el 0.166-2ubuntu1 [40.9 kB] Get:60 http://ftpmaster.internal/ubuntu zesty/main ppc64el shared-mime-info ppc64el 1.7-1 [418 kB] Get:61 http://ftpmaster.internal/ubuntu zesty/main ppc64el time ppc64el 1.7-25.1 [26.4 kB] Get:62 http://ftpmaster.internal/ubuntu zesty/main ppc64el hicolor-icon-theme all 0.15-1 [8378 B] Get:63 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgdk-pixbuf2.0-common all 2.36.0-1ubuntu1 [4926 B] Get:64 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgdk-pixbuf2.0-0 ppc64el 2.36.0-1ubuntu1 [184 kB] Get:65 http://ftpmaster.internal/ubuntu zesty/main ppc64el gtk-update-icon-cache ppc64el 3.22.4-1ubuntu1 [27.8 kB] Get:66 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpixman-1-0 ppc64el 0.34.0-1 [201 kB] Get:67 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb-render0 ppc64el 1.11.1-1ubuntu1 [10.6 kB] Get:68 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb-shm0 ppc64el 1.11.1-1ubuntu1 [5522 B] Get:69 http://ftpmaster.internal/ubuntu zesty/main ppc64el libcairo2 ppc64el 1.14.6-1.1 [602 kB] Get:70 http://ftpmaster.internal/ubuntu zesty/main ppc64el libcroco3 ppc64el 0.6.11-2 [74.4 kB] Get:71 http://ftpmaster.internal/ubuntu zesty/main ppc64el libthai-data all 0.1.25-2 [131 kB] Get:72 http://ftpmaster.internal/ubuntu zesty/main ppc64el libdatrie1 ppc64el 0.2.10-4 [16.8 kB] Get:73 http://ftpmaster.internal/ubuntu zesty/main ppc64el libthai0 ppc64el 0.1.25-2 [17.2 kB] Get:74 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpango-1.0-0 ppc64el 1.40.3-3 [152 kB] Get:75 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgraphite2-3 ppc64el 1.3.9-2 [63.3 kB] Get:76 http://ftpmaster.internal/ubuntu zesty/main ppc64el libharfbuzz0b ppc64el 1.2.7-1 [174 kB] Get:77 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpangoft2-1.0-0 ppc64el 1.40.3-3 [33.5 kB] Get:78 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpangocairo-1.0-0 ppc64el 1.40.3-3 [20.1 kB] Get:79 http://ftpmaster.internal/ubuntu zesty/main ppc64el librsvg2-2 ppc64el 2.40.16-1 [104 kB] Get:80 http://ftpmaster.internal/ubuntu zesty/main ppc64el librsvg2-common ppc64el 2.40.16-1 [5094 B] Get:81 http://ftpmaster.internal/ubuntu zesty/main ppc64el humanity-icon-theme all 0.6.11 [1288 kB] Get:82 http://ftpmaster.internal/ubuntu zesty/main ppc64el ubuntu-mono all 16.10+17.04.20161205-0ubuntu1 [160 kB] Get:83 http://ftpmaster.internal/ubuntu zesty/main ppc64el adwaita-icon-theme all 3.20-3ubuntu2 [3430 kB] Get:84 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsigsegv2 ppc64el 2.10-5 [14.2 kB] Get:85 http://ftpmaster.internal/ubuntu zesty/main ppc64el m4 ppc64el 1.4.17-5 [198 kB] Get:86 http://ftpmaster.internal/ubuntu zesty/main ppc64el autoconf all 2.69-10 [321 kB] Get:87 http://ftpmaster.internal/ubuntu zesty/main ppc64el autotools-dev all 20161112.1 [39.5 kB] Get:88 http://ftpmaster.internal/ubuntu zesty/main ppc64el automake all 1:1.15-5ubuntu1 [509 kB] Get:89 http://ftpmaster.internal/ubuntu zesty/main ppc64el autopoint all 0.19.8.1-1ubuntu2 [412 kB] Get:90 http://ftpmaster.internal/ubuntu zesty/main ppc64el libdconf1 ppc64el 0.26.0-2 [31.5 kB] Get:91 http://ftpmaster.internal/ubuntu zesty/main ppc64el dconf-service ppc64el 0.26.0-2 [28.6 kB] Get:92 http://ftpmaster.internal/ubuntu zesty/main ppc64el dconf-gsettings-backend ppc64el 0.26.0-2 [18.8 kB] Get:93 http://ftpmaster.internal/ubuntu zesty/main ppc64el libtool all 2.4.6-2 [194 kB] Get:94 http://ftpmaster.internal/ubuntu zesty/main ppc64el dh-autoreconf all 12 [15.8 kB] Get:95 http://ftpmaster.internal/ubuntu zesty/main ppc64el libarchive-zip-perl all 1.59-1 [84.0 kB] Get:96 http://ftpmaster.internal/ubuntu zesty/main ppc64el libfile-stripnondeterminism-perl all 0.028-1 [12.5 kB] Get:97 http://ftpmaster.internal/ubuntu zesty/main ppc64el libtimedate-perl all 2.3000-2 [37.5 kB] Get:98 http://ftpmaster.internal/ubuntu zesty/main ppc64el dh-strip-nondeterminism all 0.028-1 [4820 B] Get:99 http://ftpmaster.internal/ubuntu zesty/main ppc64el gettext ppc64el 0.19.8.1-1ubuntu2 [1114 kB] Get:100 http://ftpmaster.internal/ubuntu zesty/main ppc64el intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:101 http://ftpmaster.internal/ubuntu zesty/main ppc64el po-debconf all 1.0.20 [232 kB] Get:102 http://ftpmaster.internal/ubuntu zesty/main ppc64el debhelper all 10.2.2ubuntu1 [742 kB] Get:103 http://ftpmaster.internal/ubuntu zesty/main ppc64el emacsen-common all 2.0.8 [17.6 kB] Get:104 http://ftpmaster.internal/ubuntu zesty/universe ppc64el emacs24-common-non-dfsg all 24.5+1-2 [4549 kB] Get:105 http://ftpmaster.internal/ubuntu zesty/universe ppc64el emacs24-common all 24.5+1-6ubuntu3 [12.7 MB] Get:106 http://ftpmaster.internal/ubuntu zesty/universe ppc64el emacs24-bin-common ppc64el 24.5+1-6ubuntu3 [114 kB] Get:107 http://ftpmaster.internal/ubuntu zesty/main ppc64el gconf2-common all 3.2.6-3ubuntu7 [20.8 kB] Get:108 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgconf-2-4 ppc64el 3.2.6-3ubuntu7 [77.6 kB] Get:109 http://ftpmaster.internal/ubuntu zesty/main ppc64el gconf-service-backend ppc64el 3.2.6-3ubuntu7 [56.3 kB] Get:110 http://ftpmaster.internal/ubuntu zesty/main ppc64el gconf-service ppc64el 3.2.6-3ubuntu7 [2038 B] Get:111 http://ftpmaster.internal/ubuntu zesty/main ppc64el libasound2-data all 1.1.2-1 [32.3 kB] Get:112 http://ftpmaster.internal/ubuntu zesty/main ppc64el libasound2 ppc64el 1.1.2-1 [335 kB] Get:113 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgif7 ppc64el 5.1.4-0.4 [32.3 kB] Get:114 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgpm2 ppc64el 1.20.4-6.2 [14.4 kB] Get:115 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgtk-3-common all 3.22.4-1ubuntu1 [219 kB] Get:116 http://ftpmaster.internal/ubuntu zesty/main ppc64el libatk1.0-data all 2.22.0-1 [2844 B] Get:117 http://ftpmaster.internal/ubuntu zesty/main ppc64el libatk1.0-0 ppc64el 2.22.0-1 [38.3 kB] Get:118 http://ftpmaster.internal/ubuntu zesty/main ppc64el libatspi2.0-0 ppc64el 2.22.0-3ubuntu1 [54.9 kB] Get:119 http://ftpmaster.internal/ubuntu zesty/main ppc64el libatk-bridge2.0-0 ppc64el 2.22.0-1ubuntu1 [49.4 kB] Get:120 http://ftpmaster.internal/ubuntu zesty/main ppc64el libcairo-gobject2 ppc64el 1.14.6-1.1 [17.0 kB] Get:121 http://ftpmaster.internal/ubuntu zesty/main ppc64el libcolord2 ppc64el 1.3.3-2 [101 kB] Get:122 http://ftpmaster.internal/ubuntu zesty/main ppc64el libavahi-common-data ppc64el 0.6.32-1ubuntu1 [22.1 kB] Get:123 http://ftpmaster.internal/ubuntu zesty/main ppc64el libavahi-common3 ppc64el 0.6.32-1ubuntu1 [19.5 kB] Get:124 http://ftpmaster.internal/ubuntu zesty/main ppc64el libavahi-client3 ppc64el 0.6.32-1ubuntu1 [22.5 kB] Get:125 http://ftpmaster.internal/ubuntu zesty/main ppc64el libcups2 ppc64el 2.2.1-2 [194 kB] Get:126 http://ftpmaster.internal/ubuntu zesty/main ppc64el libepoxy0 ppc64el 1.3.1-1ubuntu1 [154 kB] Get:127 http://ftpmaster.internal/ubuntu zesty/main ppc64el libjson-glib-1.0-common all 1.2.2-1 [3648 B] Get:128 http://ftpmaster.internal/ubuntu zesty/main ppc64el libjson-glib-1.0-0 ppc64el 1.2.2-1 [53.3 kB] Get:129 http://ftpmaster.internal/ubuntu zesty/main ppc64el libboost-system1.61.0 ppc64el 1.61.0+dfsg-3build1 [10.0 kB] Get:130 http://ftpmaster.internal/ubuntu zesty/main ppc64el libboost-filesystem1.61.0 ppc64el 1.61.0+dfsg-3build1 [37.8 kB] Get:131 http://ftpmaster.internal/ubuntu zesty/main ppc64el libmircommon6 ppc64el 0.24.1+16.10.20160928-0ubuntu1 [86.2 kB] Get:132 http://ftpmaster.internal/ubuntu zesty/main ppc64el libprotobuf-lite10 ppc64el 3.0.0-7ubuntu3 [100 kB] Get:133 http://ftpmaster.internal/ubuntu zesty/main ppc64el libmirprotobuf3 ppc64el 0.24.1+16.10.20160928-0ubuntu1 [114 kB] Get:134 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxkbcommon0 ppc64el 0.5.0-1ubuntu2 [110 kB] Get:135 http://ftpmaster.internal/ubuntu zesty/main ppc64el libmirclient9 ppc64el 0.24.1+16.10.20160928-0ubuntu1 [172 kB] Get:136 http://ftpmaster.internal/ubuntu zesty/main ppc64el libproxy1v5 ppc64el 0.4.13-1.1 [56.7 kB] Get:137 http://ftpmaster.internal/ubuntu zesty/main ppc64el glib-networking-common all 2.50.0-1 [2950 B] Get:138 http://ftpmaster.internal/ubuntu zesty/main ppc64el glib-networking-services ppc64el 2.50.0-1 [8184 B] Get:139 http://ftpmaster.internal/ubuntu zesty/main ppc64el gsettings-desktop-schemas all 3.22.0-1ubuntu1 [27.2 kB] Get:140 http://ftpmaster.internal/ubuntu zesty/main ppc64el glib-networking ppc64el 2.50.0-1 [48.0 kB] Get:141 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsoup2.4-1 ppc64el 2.56.0-1 [269 kB] Get:142 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsoup-gnome2.4-1 ppc64el 2.56.0-1 [5050 B] Get:143 http://ftpmaster.internal/ubuntu zesty/main ppc64el librest-0.7-0 ppc64el 0.8.0-2 [28.7 kB] Get:144 http://ftpmaster.internal/ubuntu zesty/main ppc64el libwayland-client0 ppc64el 1.12.0-1 [21.5 kB] Get:145 http://ftpmaster.internal/ubuntu zesty/main ppc64el libwayland-cursor0 ppc64el 1.12.0-1 [10.6 kB] Get:146 http://ftpmaster.internal/ubuntu zesty/main ppc64el libwayland-server0 ppc64el 1.12.0-1 [26.6 kB] Get:147 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgbm1 ppc64el 12.0.3-1ubuntu2 [23.7 kB] Get:148 http://ftpmaster.internal/ubuntu zesty/main ppc64el libx11-xcb1 ppc64el 2:1.6.3-1ubuntu3 [9096 B] Get:149 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb-dri2-0 ppc64el 1.11.1-1ubuntu1 [6692 B] Get:150 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb-dri3-0 ppc64el 1.11.1-1ubuntu1 [5222 B] Get:151 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb-present0 ppc64el 1.11.1-1ubuntu1 [5270 B] Get:152 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb-sync1 ppc64el 1.11.1-1ubuntu1 [8078 B] Get:153 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb-xfixes0 ppc64el 1.11.1-1ubuntu1 [8350 B] Get:154 http://ftpmaster.internal/ubuntu zesty/main ppc64el libdrm-amdgpu1 ppc64el 2.4.74-1 [18.4 kB] Get:155 http://ftpmaster.internal/ubuntu zesty/main ppc64el libdrm-nouveau2 ppc64el 2.4.74-1 [17.4 kB] Get:156 http://ftpmaster.internal/ubuntu zesty/main ppc64el libdrm-radeon1 ppc64el 2.4.74-1 [22.9 kB] Get:157 http://ftpmaster.internal/ubuntu zesty/main ppc64el libllvm3.8 ppc64el 1:3.8.1-16ubuntu1 [9313 kB] Get:158 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgl1-mesa-dri ppc64el 12.0.3-1ubuntu2 [3820 kB] Get:159 http://ftpmaster.internal/ubuntu zesty/main ppc64el libegl1-mesa ppc64el 12.0.3-1ubuntu2 [66.2 kB] Get:160 http://ftpmaster.internal/ubuntu zesty/main ppc64el libwayland-egl1-mesa ppc64el 12.0.3-1ubuntu2 [5992 B] Get:161 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxi6 ppc64el 2:1.7.6-1ubuntu1 [28.5 kB] Get:162 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxrandr2 ppc64el 2:1.5.1-1 [17.3 kB] Get:163 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgtk-3-0 ppc64el 3.22.4-1ubuntu1 [2344 kB] Get:164 http://ftpmaster.internal/ubuntu zesty/main ppc64el libwebp6 ppc64el 0.5.1-2ubuntu1 [190 kB] Get:165 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgd3 ppc64el 2.2.3-87-gd0fec80-3 [127 kB] Get:166 http://ftpmaster.internal/ubuntu zesty/main ppc64el libotf0 ppc64el 0.9.13-3build1 [47.8 kB] Get:167 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxt6 ppc64el 1:1.1.5-1 [152 kB] Get:168 http://ftpmaster.internal/ubuntu zesty/main ppc64el m17n-db all 1.7.0-2 [1239 kB] Get:169 http://ftpmaster.internal/ubuntu zesty/main ppc64el libm17n-0 ppc64el 1.7.0-3 [243 kB] Get:170 http://ftpmaster.internal/ubuntu zesty/universe ppc64el emacs24 ppc64el 24.5+1-6ubuntu3 [3446 kB] Get:171 http://ftpmaster.internal/ubuntu zesty/main ppc64el libtcl8.6 ppc64el 8.6.6+dfsg-1 [869 kB] Get:172 http://ftpmaster.internal/ubuntu zesty/main ppc64el libtk8.6 ppc64el 8.6.6-1 [684 kB] Get:173 http://ftpmaster.internal/ubuntu zesty/universe ppc64el gcl ppc64el 2.6.12-47 [33.4 MB] Get:174 http://ftpmaster.internal/ubuntu zesty/main ppc64el libcupsimage2 ppc64el 2.2.1-2 [18.6 kB] Get:175 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgmpxx4ldbl ppc64el 2:6.1.1+dfsg-1 [9252 B] Get:176 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgmp-dev ppc64el 2:6.1.1+dfsg-1 [305 kB] Get:177 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgmp3-dev ppc64el 2:6.1.1+dfsg-1 [1926 B] Get:178 http://ftpmaster.internal/ubuntu zesty/main ppc64el libijs-0.35 ppc64el 0.35-12 [15.0 kB] Get:179 http://ftpmaster.internal/ubuntu zesty/main ppc64el libjbig2dec0 ppc64el 0.13-3 [55.8 kB] Get:180 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpaper1 ppc64el 1.1.24+nmu4ubuntu1 [13.5 kB] Get:181 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgs9-common all 9.19~dfsg+1-0ubuntu7 [2989 kB] Get:182 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgs9 ppc64el 9.19~dfsg+1-0ubuntu7 [2284 kB] Get:183 http://ftpmaster.internal/ubuntu zesty/main ppc64el libharfbuzz-icu0 ppc64el 1.2.7-1 [5346 B] Get:184 http://ftpmaster.internal/ubuntu zesty/main ppc64el xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:185 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-core-dev all 7.0.31-1 [700 kB] Get:186 http://ftpmaster.internal/ubuntu zesty/main ppc64el libice-dev ppc64el 2:1.0.9-1 [48.7 kB] Get:187 http://ftpmaster.internal/ubuntu zesty/main ppc64el libkpathsea6 ppc64el 2016.20160513.41080-8 [53.0 kB] Get:188 http://ftpmaster.internal/ubuntu zesty/main ppc64el libnspr4 ppc64el 2:4.12-2ubuntu1 [102 kB] Get:189 http://ftpmaster.internal/ubuntu zesty/main ppc64el libnss3 ppc64el 2:3.26-1ubuntu1 [1108 kB] Get:190 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpaper-utils ppc64el 1.1.24+nmu4ubuntu1 [8356 B] Get:191 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpoppler61 ppc64el 0.44.0-3ubuntu3 [775 kB] Get:192 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpotrace0 ppc64el 1.13-2 [18.4 kB] Get:193 http://ftpmaster.internal/ubuntu zesty/main ppc64el libptexenc1 ppc64el 2016.20160513.41080-8 [35.4 kB] Get:194 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpthread-stubs0-dev ppc64el 0.3-4 [3894 B] Get:195 http://ftpmaster.internal/ubuntu zesty/main ppc64el libtinfo-dev ppc64el 6.0+20160625-1ubuntu1 [89.1 kB] Get:196 http://ftpmaster.internal/ubuntu zesty/main ppc64el libreadline-dev ppc64el 7.0-0ubuntu2 [163 kB] Get:197 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsm-dev ppc64el 2:1.2.2-1 [16.6 kB] Get:198 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsynctex1 ppc64el 2016.20160513.41080-8 [39.5 kB] Get:199 http://ftpmaster.internal/ubuntu zesty/main ppc64el libtexlua52 ppc64el 2016.20160513.41080-8 [96.5 kB] Get:200 http://ftpmaster.internal/ubuntu zesty/universe ppc64el libtext-unidecode-perl all 1.30-1 [99.0 kB] Get:201 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxau-dev ppc64el 1:1.0.8-1 [9358 B] Get:202 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxdmcp-dev ppc64el 1:1.1.2-1.1 [26.4 kB] Get:203 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-input-dev all 2.3.2-1 [118 kB] Get:204 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-kb-dev all 1.0.7-1 [226 kB] Get:205 http://ftpmaster.internal/ubuntu zesty/main ppc64el xtrans-dev all 1.3.5-1 [70.5 kB] Get:206 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb1-dev ppc64el 1.11.1-1ubuntu1 [73.8 kB] Get:207 http://ftpmaster.internal/ubuntu zesty/main ppc64el libx11-dev ppc64el 2:1.6.3-1ubuntu3 [653 kB] Get:208 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxmu6 ppc64el 2:1.1.2-2 [43.4 kB] Get:209 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxaw7 ppc64el 2:1.0.13-1 [176 kB] Get:210 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-xext-dev all 7.3.0-1 [212 kB] Get:211 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxext-dev ppc64el 2:1.3.3-1 [86.5 kB] Get:212 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxt-dev ppc64el 1:1.1.5-1 [406 kB] Get:213 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxmu-headers all 2:1.1.2-2 [54.3 kB] Get:214 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxmu-dev ppc64el 2:1.1.2-2 [53.3 kB] Get:215 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxpm-dev ppc64el 1:3.5.11-1 [89.2 kB] Get:216 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxaw7-dev ppc64el 2:1.0.13-1 [249 kB] Get:217 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxml-namespacesupport-perl all 1.11-1 [13.2 kB] Get:218 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxml-sax-base-perl all 1.07-1 [21.5 kB] Get:219 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxml-sax-perl all 0.99+dfsg-2ubuntu1 [64.6 kB] Get:220 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxml-libxml-perl ppc64el 2.0128+dfsg-1build1 [302 kB] Get:221 http://ftpmaster.internal/ubuntu zesty/main ppc64el t1utils ppc64el 1.39-2 [59.7 kB] Get:222 http://ftpmaster.internal/ubuntu zesty/main ppc64el tex-common all 6.05 [545 kB] Get:223 http://ftpmaster.internal/ubuntu zesty/universe ppc64el texinfo ppc64el 6.3.0.dfsg.1-1 [746 kB] Get:224 http://ftpmaster.internal/ubuntu zesty/main ppc64el xdg-utils all 1.1.1-1ubuntu2 [59.6 kB] Get:225 http://ftpmaster.internal/ubuntu zesty/main ppc64el texlive-binaries ppc64el 2016.20160513.41080-8 [7018 kB] Get:226 http://ftpmaster.internal/ubuntu zesty/main ppc64el texlive-base all 2016.20161130-1 [15.7 MB] Get:227 http://ftpmaster.internal/ubuntu zesty/main ppc64el texlive-latex-base all 2016.20161130-1 [833 kB] Get:228 http://ftpmaster.internal/ubuntu zesty/main ppc64el texlive-latex-recommended all 2016.20161130-1 [13.2 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 158 MB in 19s (8093 kB/s) Selecting previously unselected package libxau6:ppc64el. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 14896 files and directories currently installed.) Preparing to unpack .../000-libxau6_1%3a1.0.8-1_ppc64el.deb ... Unpacking libxau6:ppc64el (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:ppc64el. Preparing to unpack .../001-libxdmcp6_1%3a1.1.2-1.1_ppc64el.deb ... Unpacking libxdmcp6:ppc64el (1:1.1.2-1.1) ... Selecting previously unselected package libxcb1:ppc64el. Preparing to unpack .../002-libxcb1_1.11.1-1ubuntu1_ppc64el.deb ... Unpacking libxcb1:ppc64el (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../003-libx11-data_2%3a1.6.3-1ubuntu3_all.deb ... Unpacking libx11-data (2:1.6.3-1ubuntu3) ... Selecting previously unselected package libx11-6:ppc64el. Preparing to unpack .../004-libx11-6_2%3a1.6.3-1ubuntu3_ppc64el.deb ... Unpacking libx11-6:ppc64el (2:1.6.3-1ubuntu3) ... Selecting previously unselected package libxext6:ppc64el. Preparing to unpack .../005-libxext6_2%3a1.3.3-1_ppc64el.deb ... Unpacking libxext6:ppc64el (2:1.3.3-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../006-groff-base_1.22.3-8_ppc64el.deb ... Unpacking groff-base (1.22.3-8) ... Selecting previously unselected package libbsd0:ppc64el. Preparing to unpack .../007-libbsd0_0.8.3-1_ppc64el.deb ... Unpacking libbsd0:ppc64el (0.8.3-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../008-bsdmainutils_9.0.12ubuntu1_ppc64el.deb ... Unpacking bsdmainutils (9.0.12ubuntu1) ... Selecting previously unselected package libpipeline1:ppc64el. Preparing to unpack .../009-libpipeline1_1.4.1-2_ppc64el.deb ... Unpacking libpipeline1:ppc64el (1.4.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../010-man-db_2.7.5-2_ppc64el.deb ... Unpacking man-db (2.7.5-2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../011-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package ucf. Preparing to unpack .../012-ucf_3.0036_all.deb ... Moving old data out of the way Unpacking ucf (3.0036) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../013-fontconfig-config_2.11.94-0ubuntu2_all.deb ... Unpacking fontconfig-config (2.11.94-0ubuntu2) ... Selecting previously unselected package libexpat1:ppc64el. Preparing to unpack .../014-libexpat1_2.2.0-1_ppc64el.deb ... Unpacking libexpat1:ppc64el (2.2.0-1) ... Selecting previously unselected package libfreetype6:ppc64el. Preparing to unpack .../015-libfreetype6_2.6.3-3ubuntu1_ppc64el.deb ... Unpacking libfreetype6:ppc64el (2.6.3-3ubuntu1) ... Selecting previously unselected package libfontconfig1:ppc64el. Preparing to unpack .../016-libfontconfig1_2.11.94-0ubuntu2_ppc64el.deb ... Unpacking libfontconfig1:ppc64el (2.11.94-0ubuntu2) ... Selecting previously unselected package fontconfig. Preparing to unpack .../017-fontconfig_2.11.94-0ubuntu2_ppc64el.deb ... Unpacking fontconfig (2.11.94-0ubuntu2) ... Selecting previously unselected package imagemagick-common. Preparing to unpack .../018-imagemagick-common_8%3a6.8.9.9-7ubuntu9_all.deb ... Unpacking imagemagick-common (8:6.8.9.9-7ubuntu9) ... Selecting previously unselected package x11-common. Preparing to unpack .../019-x11-common_1%3a7.7+16ubuntu2_all.deb ... Unpacking x11-common (1:7.7+16ubuntu2) ... Selecting previously unselected package libice6:ppc64el. Preparing to unpack .../020-libice6_2%3a1.0.9-1_ppc64el.deb ... Unpacking libice6:ppc64el (2:1.0.9-1) ... Selecting previously unselected package libjpeg-turbo8:ppc64el. Preparing to unpack .../021-libjpeg-turbo8_1.5.1-0ubuntu1_ppc64el.deb ... Unpacking libjpeg-turbo8:ppc64el (1.5.1-0ubuntu1) ... Selecting previously unselected package libglib2.0-0:ppc64el. Preparing to unpack .../022-libglib2.0-0_2.51.0-2_ppc64el.deb ... Unpacking libglib2.0-0:ppc64el (2.51.0-2) ... Selecting previously unselected package liblqr-1-0:ppc64el. Preparing to unpack .../023-liblqr-1-0_0.4.2-2_ppc64el.deb ... Unpacking liblqr-1-0:ppc64el (0.4.2-2) ... Selecting previously unselected package libfftw3-double3:ppc64el. Preparing to unpack .../024-libfftw3-double3_3.3.5-1_ppc64el.deb ... Unpacking libfftw3-double3:ppc64el (3.3.5-1) ... Selecting previously unselected package libjbig0:ppc64el. Preparing to unpack .../025-libjbig0_2.1-3.1_ppc64el.deb ... Unpacking libjbig0:ppc64el (2.1-3.1) ... Selecting previously unselected package libjpeg8:ppc64el. Preparing to unpack .../026-libjpeg8_8c-2ubuntu8_ppc64el.deb ... Unpacking libjpeg8:ppc64el (8c-2ubuntu8) ... Selecting previously unselected package liblcms2-2:ppc64el. Preparing to unpack .../027-liblcms2-2_2.7-1ubuntu1_ppc64el.deb ... Unpacking liblcms2-2:ppc64el (2.7-1ubuntu1) ... Selecting previously unselected package libltdl7:ppc64el. Preparing to unpack .../028-libltdl7_2.4.6-2_ppc64el.deb ... Unpacking libltdl7:ppc64el (2.4.6-2) ... Selecting previously unselected package libtiff5:ppc64el. Preparing to unpack .../029-libtiff5_4.0.7-2_ppc64el.deb ... Unpacking libtiff5:ppc64el (4.0.7-2) ... Selecting previously unselected package libicu57:ppc64el. Preparing to unpack .../030-libicu57_57.1-4_ppc64el.deb ... Unpacking libicu57:ppc64el (57.1-4) ... Selecting previously unselected package libxml2:ppc64el. Preparing to unpack .../031-libxml2_2.9.4+dfsg1-2_ppc64el.deb ... Unpacking libxml2:ppc64el (2.9.4+dfsg1-2) ... Selecting previously unselected package libmagickcore-6.q16-2:ppc64el. Preparing to unpack .../032-libmagickcore-6.q16-2_8%3a6.8.9.9-7ubuntu9_ppc64el.deb ... Unpacking libmagickcore-6.q16-2:ppc64el (8:6.8.9.9-7ubuntu9) ... Selecting previously unselected package libmagickwand-6.q16-2:ppc64el. Preparing to unpack .../033-libmagickwand-6.q16-2_8%3a6.8.9.9-7ubuntu9_ppc64el.deb ... Unpacking libmagickwand-6.q16-2:ppc64el (8:6.8.9.9-7ubuntu9) ... Selecting previously unselected package libsm6:ppc64el. Preparing to unpack .../034-libsm6_2%3a1.2.2-1_ppc64el.deb ... Unpacking libsm6:ppc64el (2:1.2.2-1) ... Selecting previously unselected package libunistring0:ppc64el. Preparing to unpack .../035-libunistring0_0.9.3-5.2ubuntu1_ppc64el.deb ... Unpacking libunistring0:ppc64el (0.9.3-5.2ubuntu1) ... Selecting previously unselected package libxcomposite1:ppc64el. Preparing to unpack .../036-libxcomposite1_1%3a0.4.4-1_ppc64el.deb ... Unpacking libxcomposite1:ppc64el (1:0.4.4-1) ... Selecting previously unselected package libxfixes3:ppc64el. Preparing to unpack .../037-libxfixes3_1%3a5.0.3-1_ppc64el.deb ... Unpacking libxfixes3:ppc64el (1:5.0.3-1) ... Selecting previously unselected package libxrender1:ppc64el. Preparing to unpack .../038-libxrender1_1%3a0.9.10-1_ppc64el.deb ... Unpacking libxrender1:ppc64el (1:0.9.10-1) ... Selecting previously unselected package libxcursor1:ppc64el. Preparing to unpack .../039-libxcursor1_1%3a1.1.14-1_ppc64el.deb ... Unpacking libxcursor1:ppc64el (1:1.1.14-1) ... Selecting previously unselected package libxdamage1:ppc64el. Preparing to unpack .../040-libxdamage1_1%3a1.1.4-2_ppc64el.deb ... Unpacking libxdamage1:ppc64el (1:1.1.4-2) ... Selecting previously unselected package libxft2:ppc64el. Preparing to unpack .../041-libxft2_2.3.2-1_ppc64el.deb ... Unpacking libxft2:ppc64el (2.3.2-1) ... Selecting previously unselected package libxinerama1:ppc64el. Preparing to unpack .../042-libxinerama1_2%3a1.1.3-1_ppc64el.deb ... Unpacking libxinerama1:ppc64el (2:1.1.3-1) ... Selecting previously unselected package libxpm4:ppc64el. Preparing to unpack .../043-libxpm4_1%3a3.5.11-1_ppc64el.deb ... Unpacking libxpm4:ppc64el (1:3.5.11-1) ... Selecting previously unselected package libxshmfence1:ppc64el. Preparing to unpack .../044-libxshmfence1_1.2-1_ppc64el.deb ... Unpacking libxshmfence1:ppc64el (1.2-1) ... Selecting previously unselected package libxss1:ppc64el. Preparing to unpack .../045-libxss1_1%3a1.2.2-1_ppc64el.deb ... Unpacking libxss1:ppc64el (1:1.2.2-1) ... Selecting previously unselected package libzzip-0-13:ppc64el. Preparing to unpack .../046-libzzip-0-13_0.13.62-3_ppc64el.deb ... Unpacking libzzip-0-13:ppc64el (0.13.62-3) ... Selecting previously unselected package poppler-data. Preparing to unpack .../047-poppler-data_0.4.7-8_all.deb ... Unpacking poppler-data (0.4.7-8) ... Selecting previously unselected package libmagic1:ppc64el. Preparing to unpack .../048-libmagic1_1%3a5.28-2ubuntu1_ppc64el.deb ... Unpacking libmagic1:ppc64el (1:5.28-2ubuntu1) ... Selecting previously unselected package file. Preparing to unpack .../049-file_1%3a5.28-2ubuntu1_ppc64el.deb ... Unpacking file (1:5.28-2ubuntu1) ... Selecting previously unselected package libdbus-1-3:ppc64el. Preparing to unpack .../050-libdbus-1-3_1.10.10-1ubuntu2_ppc64el.deb ... Unpacking libdbus-1-3:ppc64el (1.10.10-1ubuntu2) ... Selecting previously unselected package libfribidi0:ppc64el. Preparing to unpack .../051-libfribidi0_0.19.7-1_ppc64el.deb ... Unpacking libfribidi0:ppc64el (0.19.7-1) ... Selecting previously unselected package xkb-data. Preparing to unpack .../052-xkb-data_2.17-1ubuntu1_all.deb ... Unpacking xkb-data (2.17-1ubuntu1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../053-gettext-base_0.19.8.1-1ubuntu2_ppc64el.deb ... Unpacking gettext-base (0.19.8.1-1ubuntu2) ... Selecting previously unselected package libdbus-glib-1-2:ppc64el. Preparing to unpack .../054-libdbus-glib-1-2_0.108-1_ppc64el.deb ... Unpacking libdbus-glib-1-2:ppc64el (0.108-1) ... Selecting previously unselected package libdrm2:ppc64el. Preparing to unpack .../055-libdrm2_2.4.74-1_ppc64el.deb ... Unpacking libdrm2:ppc64el (2.4.74-1) ... Selecting previously unselected package libedit2:ppc64el. Preparing to unpack .../056-libedit2_3.1-20150325-1ubuntu2_ppc64el.deb ... Unpacking libedit2:ppc64el (3.1-20150325-1ubuntu2) ... Selecting previously unselected package libelf1:ppc64el. Preparing to unpack .../057-libelf1_0.166-2ubuntu1_ppc64el.deb ... Unpacking libelf1:ppc64el (0.166-2ubuntu1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../058-shared-mime-info_1.7-1_ppc64el.deb ... Unpacking shared-mime-info (1.7-1) ... Selecting previously unselected package time. Preparing to unpack .../059-time_1.7-25.1_ppc64el.deb ... Unpacking time (1.7-25.1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../060-hicolor-icon-theme_0.15-1_all.deb ... Unpacking hicolor-icon-theme (0.15-1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../061-libgdk-pixbuf2.0-common_2.36.0-1ubuntu1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.36.0-1ubuntu1) ... Selecting previously unselected package libgdk-pixbuf2.0-0:ppc64el. Preparing to unpack .../062-libgdk-pixbuf2.0-0_2.36.0-1ubuntu1_ppc64el.deb ... Unpacking libgdk-pixbuf2.0-0:ppc64el (2.36.0-1ubuntu1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../063-gtk-update-icon-cache_3.22.4-1ubuntu1_ppc64el.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.22.4-1ubuntu1) ... Selecting previously unselected package libpixman-1-0:ppc64el. Preparing to unpack .../064-libpixman-1-0_0.34.0-1_ppc64el.deb ... Unpacking libpixman-1-0:ppc64el (0.34.0-1) ... Selecting previously unselected package libxcb-render0:ppc64el. Preparing to unpack .../065-libxcb-render0_1.11.1-1ubuntu1_ppc64el.deb ... Unpacking libxcb-render0:ppc64el (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-shm0:ppc64el. Preparing to unpack .../066-libxcb-shm0_1.11.1-1ubuntu1_ppc64el.deb ... Unpacking libxcb-shm0:ppc64el (1.11.1-1ubuntu1) ... Selecting previously unselected package libcairo2:ppc64el. Preparing to unpack .../067-libcairo2_1.14.6-1.1_ppc64el.deb ... Unpacking libcairo2:ppc64el (1.14.6-1.1) ... Selecting previously unselected package libcroco3:ppc64el. Preparing to unpack .../068-libcroco3_0.6.11-2_ppc64el.deb ... Unpacking libcroco3:ppc64el (0.6.11-2) ... Selecting previously unselected package libthai-data. Preparing to unpack .../069-libthai-data_0.1.25-2_all.deb ... Unpacking libthai-data (0.1.25-2) ... Selecting previously unselected package libdatrie1:ppc64el. Preparing to unpack .../070-libdatrie1_0.2.10-4_ppc64el.deb ... Unpacking libdatrie1:ppc64el (0.2.10-4) ... Selecting previously unselected package libthai0:ppc64el. Preparing to unpack .../071-libthai0_0.1.25-2_ppc64el.deb ... Unpacking libthai0:ppc64el (0.1.25-2) ... Selecting previously unselected package libpango-1.0-0:ppc64el. Preparing to unpack .../072-libpango-1.0-0_1.40.3-3_ppc64el.deb ... Unpacking libpango-1.0-0:ppc64el (1.40.3-3) ... Selecting previously unselected package libgraphite2-3:ppc64el. Preparing to unpack .../073-libgraphite2-3_1.3.9-2_ppc64el.deb ... Unpacking libgraphite2-3:ppc64el (1.3.9-2) ... Selecting previously unselected package libharfbuzz0b:ppc64el. Preparing to unpack .../074-libharfbuzz0b_1.2.7-1_ppc64el.deb ... Unpacking libharfbuzz0b:ppc64el (1.2.7-1) ... Selecting previously unselected package libpangoft2-1.0-0:ppc64el. Preparing to unpack .../075-libpangoft2-1.0-0_1.40.3-3_ppc64el.deb ... Unpacking libpangoft2-1.0-0:ppc64el (1.40.3-3) ... Selecting previously unselected package libpangocairo-1.0-0:ppc64el. Preparing to unpack .../076-libpangocairo-1.0-0_1.40.3-3_ppc64el.deb ... Unpacking libpangocairo-1.0-0:ppc64el (1.40.3-3) ... Selecting previously unselected package librsvg2-2:ppc64el. Preparing to unpack .../077-librsvg2-2_2.40.16-1_ppc64el.deb ... Unpacking librsvg2-2:ppc64el (2.40.16-1) ... Selecting previously unselected package librsvg2-common:ppc64el. Preparing to unpack .../078-librsvg2-common_2.40.16-1_ppc64el.deb ... Unpacking librsvg2-common:ppc64el (2.40.16-1) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../079-humanity-icon-theme_0.6.11_all.deb ... Unpacking humanity-icon-theme (0.6.11) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../080-ubuntu-mono_16.10+17.04.20161205-0ubuntu1_all.deb ... Unpacking ubuntu-mono (16.10+17.04.20161205-0ubuntu1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../081-adwaita-icon-theme_3.20-3ubuntu2_all.deb ... Unpacking adwaita-icon-theme (3.20-3ubuntu2) ... Selecting previously unselected package libsigsegv2:ppc64el. Preparing to unpack .../082-libsigsegv2_2.10-5_ppc64el.deb ... Unpacking libsigsegv2:ppc64el (2.10-5) ... Selecting previously unselected package m4. Preparing to unpack .../083-m4_1.4.17-5_ppc64el.deb ... Unpacking m4 (1.4.17-5) ... Selecting previously unselected package autoconf. Preparing to unpack .../084-autoconf_2.69-10_all.deb ... Unpacking autoconf (2.69-10) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../085-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../086-automake_1%3a1.15-5ubuntu1_all.deb ... Unpacking automake (1:1.15-5ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../087-autopoint_0.19.8.1-1ubuntu2_all.deb ... Unpacking autopoint (0.19.8.1-1ubuntu2) ... Selecting previously unselected package libdconf1:ppc64el. Preparing to unpack .../088-libdconf1_0.26.0-2_ppc64el.deb ... Unpacking libdconf1:ppc64el (0.26.0-2) ... Selecting previously unselected package dconf-service. Preparing to unpack .../089-dconf-service_0.26.0-2_ppc64el.deb ... Unpacking dconf-service (0.26.0-2) ... Selecting previously unselected package dconf-gsettings-backend:ppc64el. Preparing to unpack .../090-dconf-gsettings-backend_0.26.0-2_ppc64el.deb ... Unpacking dconf-gsettings-backend:ppc64el (0.26.0-2) ... Selecting previously unselected package libtool. Preparing to unpack .../091-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../092-dh-autoreconf_12_all.deb ... Unpacking dh-autoreconf (12) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../093-libarchive-zip-perl_1.59-1_all.deb ... Unpacking libarchive-zip-perl (1.59-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../094-libfile-stripnondeterminism-perl_0.028-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.028-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../095-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../096-dh-strip-nondeterminism_0.028-1_all.deb ... Unpacking dh-strip-nondeterminism (0.028-1) ... Selecting previously unselected package gettext. Preparing to unpack .../097-gettext_0.19.8.1-1ubuntu2_ppc64el.deb ... Unpacking gettext (0.19.8.1-1ubuntu2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../098-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../099-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../100-debhelper_10.2.2ubuntu1_all.deb ... Unpacking debhelper (10.2.2ubuntu1) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../101-emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package emacs24-common-non-dfsg. Preparing to unpack .../102-emacs24-common-non-dfsg_24.5+1-2_all.deb ... Unpacking emacs24-common-non-dfsg (24.5+1-2) ... Selecting previously unselected package emacs24-common. Preparing to unpack .../103-emacs24-common_24.5+1-6ubuntu3_all.deb ... Unpacking emacs24-common (24.5+1-6ubuntu3) ... Selecting previously unselected package emacs24-bin-common. Preparing to unpack .../104-emacs24-bin-common_24.5+1-6ubuntu3_ppc64el.deb ... Unpacking emacs24-bin-common (24.5+1-6ubuntu3) ... Selecting previously unselected package gconf2-common. Preparing to unpack .../105-gconf2-common_3.2.6-3ubuntu7_all.deb ... Unpacking gconf2-common (3.2.6-3ubuntu7) ... Selecting previously unselected package libgconf-2-4:ppc64el. Preparing to unpack .../106-libgconf-2-4_3.2.6-3ubuntu7_ppc64el.deb ... Unpacking libgconf-2-4:ppc64el (3.2.6-3ubuntu7) ... Selecting previously unselected package gconf-service-backend. Preparing to unpack .../107-gconf-service-backend_3.2.6-3ubuntu7_ppc64el.deb ... Unpacking gconf-service-backend (3.2.6-3ubuntu7) ... Selecting previously unselected package gconf-service. Preparing to unpack .../108-gconf-service_3.2.6-3ubuntu7_ppc64el.deb ... Unpacking gconf-service (3.2.6-3ubuntu7) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../109-libasound2-data_1.1.2-1_all.deb ... Unpacking libasound2-data (1.1.2-1) ... Selecting previously unselected package libasound2:ppc64el. Preparing to unpack .../110-libasound2_1.1.2-1_ppc64el.deb ... Unpacking libasound2:ppc64el (1.1.2-1) ... Selecting previously unselected package libgif7:ppc64el. Preparing to unpack .../111-libgif7_5.1.4-0.4_ppc64el.deb ... Unpacking libgif7:ppc64el (5.1.4-0.4) ... Selecting previously unselected package libgpm2:ppc64el. Preparing to unpack .../112-libgpm2_1.20.4-6.2_ppc64el.deb ... Unpacking libgpm2:ppc64el (1.20.4-6.2) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../113-libgtk-3-common_3.22.4-1ubuntu1_all.deb ... Unpacking libgtk-3-common (3.22.4-1ubuntu1) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../114-libatk1.0-data_2.22.0-1_all.deb ... Unpacking libatk1.0-data (2.22.0-1) ... Selecting previously unselected package libatk1.0-0:ppc64el. Preparing to unpack .../115-libatk1.0-0_2.22.0-1_ppc64el.deb ... Unpacking libatk1.0-0:ppc64el (2.22.0-1) ... Selecting previously unselected package libatspi2.0-0:ppc64el. Preparing to unpack .../116-libatspi2.0-0_2.22.0-3ubuntu1_ppc64el.deb ... Unpacking libatspi2.0-0:ppc64el (2.22.0-3ubuntu1) ... Selecting previously unselected package libatk-bridge2.0-0:ppc64el. Preparing to unpack .../117-libatk-bridge2.0-0_2.22.0-1ubuntu1_ppc64el.deb ... Unpacking libatk-bridge2.0-0:ppc64el (2.22.0-1ubuntu1) ... Selecting previously unselected package libcairo-gobject2:ppc64el. Preparing to unpack .../118-libcairo-gobject2_1.14.6-1.1_ppc64el.deb ... Unpacking libcairo-gobject2:ppc64el (1.14.6-1.1) ... Selecting previously unselected package libcolord2:ppc64el. Preparing to unpack .../119-libcolord2_1.3.3-2_ppc64el.deb ... Unpacking libcolord2:ppc64el (1.3.3-2) ... Selecting previously unselected package libavahi-common-data:ppc64el. Preparing to unpack .../120-libavahi-common-data_0.6.32-1ubuntu1_ppc64el.deb ... Unpacking libavahi-common-data:ppc64el (0.6.32-1ubuntu1) ... Selecting previously unselected package libavahi-common3:ppc64el. Preparing to unpack .../121-libavahi-common3_0.6.32-1ubuntu1_ppc64el.deb ... Unpacking libavahi-common3:ppc64el (0.6.32-1ubuntu1) ... Selecting previously unselected package libavahi-client3:ppc64el. Preparing to unpack .../122-libavahi-client3_0.6.32-1ubuntu1_ppc64el.deb ... Unpacking libavahi-client3:ppc64el (0.6.32-1ubuntu1) ... Selecting previously unselected package libcups2:ppc64el. Preparing to unpack .../123-libcups2_2.2.1-2_ppc64el.deb ... Unpacking libcups2:ppc64el (2.2.1-2) ... Selecting previously unselected package libepoxy0:ppc64el. Preparing to unpack .../124-libepoxy0_1.3.1-1ubuntu1_ppc64el.deb ... Unpacking libepoxy0:ppc64el (1.3.1-1ubuntu1) ... Selecting previously unselected package libjson-glib-1.0-common. Preparing to unpack .../125-libjson-glib-1.0-common_1.2.2-1_all.deb ... Unpacking libjson-glib-1.0-common (1.2.2-1) ... Selecting previously unselected package libjson-glib-1.0-0:ppc64el. Preparing to unpack .../126-libjson-glib-1.0-0_1.2.2-1_ppc64el.deb ... Unpacking libjson-glib-1.0-0:ppc64el (1.2.2-1) ... Selecting previously unselected package libboost-system1.61.0:ppc64el. Preparing to unpack .../127-libboost-system1.61.0_1.61.0+dfsg-3build1_ppc64el.deb ... Unpacking libboost-system1.61.0:ppc64el (1.61.0+dfsg-3build1) ... Selecting previously unselected package libboost-filesystem1.61.0:ppc64el. Preparing to unpack .../128-libboost-filesystem1.61.0_1.61.0+dfsg-3build1_ppc64el.deb ... Unpacking libboost-filesystem1.61.0:ppc64el (1.61.0+dfsg-3build1) ... Selecting previously unselected package libmircommon6:ppc64el. Preparing to unpack .../129-libmircommon6_0.24.1+16.10.20160928-0ubuntu1_ppc64el.deb ... Unpacking libmircommon6:ppc64el (0.24.1+16.10.20160928-0ubuntu1) ... Selecting previously unselected package libprotobuf-lite10:ppc64el. Preparing to unpack .../130-libprotobuf-lite10_3.0.0-7ubuntu3_ppc64el.deb ... Unpacking libprotobuf-lite10:ppc64el (3.0.0-7ubuntu3) ... Selecting previously unselected package libmirprotobuf3:ppc64el. Preparing to unpack .../131-libmirprotobuf3_0.24.1+16.10.20160928-0ubuntu1_ppc64el.deb ... Unpacking libmirprotobuf3:ppc64el (0.24.1+16.10.20160928-0ubuntu1) ... Selecting previously unselected package libxkbcommon0:ppc64el. Preparing to unpack .../132-libxkbcommon0_0.5.0-1ubuntu2_ppc64el.deb ... Unpacking libxkbcommon0:ppc64el (0.5.0-1ubuntu2) ... Selecting previously unselected package libmirclient9:ppc64el. Preparing to unpack .../133-libmirclient9_0.24.1+16.10.20160928-0ubuntu1_ppc64el.deb ... Unpacking libmirclient9:ppc64el (0.24.1+16.10.20160928-0ubuntu1) ... Selecting previously unselected package libproxy1v5:ppc64el. Preparing to unpack .../134-libproxy1v5_0.4.13-1.1_ppc64el.deb ... Unpacking libproxy1v5:ppc64el (0.4.13-1.1) ... Selecting previously unselected package glib-networking-common. Preparing to unpack .../135-glib-networking-common_2.50.0-1_all.deb ... Unpacking glib-networking-common (2.50.0-1) ... Selecting previously unselected package glib-networking-services. Preparing to unpack .../136-glib-networking-services_2.50.0-1_ppc64el.deb ... Unpacking glib-networking-services (2.50.0-1) ... Selecting previously unselected package gsettings-desktop-schemas. Preparing to unpack .../137-gsettings-desktop-schemas_3.22.0-1ubuntu1_all.deb ... Unpacking gsettings-desktop-schemas (3.22.0-1ubuntu1) ... Selecting previously unselected package glib-networking:ppc64el. Preparing to unpack .../138-glib-networking_2.50.0-1_ppc64el.deb ... Unpacking glib-networking:ppc64el (2.50.0-1) ... Selecting previously unselected package libsoup2.4-1:ppc64el. Preparing to unpack .../139-libsoup2.4-1_2.56.0-1_ppc64el.deb ... Unpacking libsoup2.4-1:ppc64el (2.56.0-1) ... Selecting previously unselected package libsoup-gnome2.4-1:ppc64el. Preparing to unpack .../140-libsoup-gnome2.4-1_2.56.0-1_ppc64el.deb ... Unpacking libsoup-gnome2.4-1:ppc64el (2.56.0-1) ... Selecting previously unselected package librest-0.7-0:ppc64el. Preparing to unpack .../141-librest-0.7-0_0.8.0-2_ppc64el.deb ... Unpacking librest-0.7-0:ppc64el (0.8.0-2) ... Selecting previously unselected package libwayland-client0:ppc64el. Preparing to unpack .../142-libwayland-client0_1.12.0-1_ppc64el.deb ... Unpacking libwayland-client0:ppc64el (1.12.0-1) ... Selecting previously unselected package libwayland-cursor0:ppc64el. Preparing to unpack .../143-libwayland-cursor0_1.12.0-1_ppc64el.deb ... Unpacking libwayland-cursor0:ppc64el (1.12.0-1) ... Selecting previously unselected package libwayland-server0:ppc64el. Preparing to unpack .../144-libwayland-server0_1.12.0-1_ppc64el.deb ... Unpacking libwayland-server0:ppc64el (1.12.0-1) ... Selecting previously unselected package libgbm1:ppc64el. Preparing to unpack .../145-libgbm1_12.0.3-1ubuntu2_ppc64el.deb ... Unpacking libgbm1:ppc64el (12.0.3-1ubuntu2) ... Selecting previously unselected package libx11-xcb1:ppc64el. Preparing to unpack .../146-libx11-xcb1_2%3a1.6.3-1ubuntu3_ppc64el.deb ... Unpacking libx11-xcb1:ppc64el (2:1.6.3-1ubuntu3) ... Selecting previously unselected package libxcb-dri2-0:ppc64el. Preparing to unpack .../147-libxcb-dri2-0_1.11.1-1ubuntu1_ppc64el.deb ... Unpacking libxcb-dri2-0:ppc64el (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-dri3-0:ppc64el. Preparing to unpack .../148-libxcb-dri3-0_1.11.1-1ubuntu1_ppc64el.deb ... Unpacking libxcb-dri3-0:ppc64el (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-present0:ppc64el. Preparing to unpack .../149-libxcb-present0_1.11.1-1ubuntu1_ppc64el.deb ... Unpacking libxcb-present0:ppc64el (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-sync1:ppc64el. Preparing to unpack .../150-libxcb-sync1_1.11.1-1ubuntu1_ppc64el.deb ... Unpacking libxcb-sync1:ppc64el (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-xfixes0:ppc64el. Preparing to unpack .../151-libxcb-xfixes0_1.11.1-1ubuntu1_ppc64el.deb ... Unpacking libxcb-xfixes0:ppc64el (1.11.1-1ubuntu1) ... Selecting previously unselected package libdrm-amdgpu1:ppc64el. Preparing to unpack .../152-libdrm-amdgpu1_2.4.74-1_ppc64el.deb ... Unpacking libdrm-amdgpu1:ppc64el (2.4.74-1) ... Selecting previously unselected package libdrm-nouveau2:ppc64el. Preparing to unpack .../153-libdrm-nouveau2_2.4.74-1_ppc64el.deb ... Unpacking libdrm-nouveau2:ppc64el (2.4.74-1) ... Selecting previously unselected package libdrm-radeon1:ppc64el. Preparing to unpack .../154-libdrm-radeon1_2.4.74-1_ppc64el.deb ... Unpacking libdrm-radeon1:ppc64el (2.4.74-1) ... Selecting previously unselected package libllvm3.8:ppc64el. Preparing to unpack .../155-libllvm3.8_1%3a3.8.1-16ubuntu1_ppc64el.deb ... Unpacking libllvm3.8:ppc64el (1:3.8.1-16ubuntu1) ... Selecting previously unselected package libgl1-mesa-dri:ppc64el. Preparing to unpack .../156-libgl1-mesa-dri_12.0.3-1ubuntu2_ppc64el.deb ... Unpacking libgl1-mesa-dri:ppc64el (12.0.3-1ubuntu2) ... Selecting previously unselected package libegl1-mesa:ppc64el. Preparing to unpack .../157-libegl1-mesa_12.0.3-1ubuntu2_ppc64el.deb ... Unpacking libegl1-mesa:ppc64el (12.0.3-1ubuntu2) ... Selecting previously unselected package libwayland-egl1-mesa:ppc64el. Preparing to unpack .../158-libwayland-egl1-mesa_12.0.3-1ubuntu2_ppc64el.deb ... Unpacking libwayland-egl1-mesa:ppc64el (12.0.3-1ubuntu2) ... Selecting previously unselected package libxi6:ppc64el. Preparing to unpack .../159-libxi6_2%3a1.7.6-1ubuntu1_ppc64el.deb ... Unpacking libxi6:ppc64el (2:1.7.6-1ubuntu1) ... Selecting previously unselected package libxrandr2:ppc64el. Preparing to unpack .../160-libxrandr2_2%3a1.5.1-1_ppc64el.deb ... Unpacking libxrandr2:ppc64el (2:1.5.1-1) ... Selecting previously unselected package libgtk-3-0:ppc64el. Preparing to unpack .../161-libgtk-3-0_3.22.4-1ubuntu1_ppc64el.deb ... Unpacking libgtk-3-0:ppc64el (3.22.4-1ubuntu1) ... Selecting previously unselected package libwebp6:ppc64el. Preparing to unpack .../162-libwebp6_0.5.1-2ubuntu1_ppc64el.deb ... Unpacking libwebp6:ppc64el (0.5.1-2ubuntu1) ... Selecting previously unselected package libgd3:ppc64el. Preparing to unpack .../163-libgd3_2.2.3-87-gd0fec80-3_ppc64el.deb ... Unpacking libgd3:ppc64el (2.2.3-87-gd0fec80-3) ... Selecting previously unselected package libotf0:ppc64el. Preparing to unpack .../164-libotf0_0.9.13-3build1_ppc64el.deb ... Unpacking libotf0:ppc64el (0.9.13-3build1) ... Selecting previously unselected package libxt6:ppc64el. Preparing to unpack .../165-libxt6_1%3a1.1.5-1_ppc64el.deb ... Unpacking libxt6:ppc64el (1:1.1.5-1) ... Selecting previously unselected package m17n-db. Preparing to unpack .../166-m17n-db_1.7.0-2_all.deb ... Unpacking m17n-db (1.7.0-2) ... Selecting previously unselected package libm17n-0:ppc64el. Preparing to unpack .../167-libm17n-0_1.7.0-3_ppc64el.deb ... Unpacking libm17n-0:ppc64el (1.7.0-3) ... Selecting previously unselected package emacs24. Preparing to unpack .../168-emacs24_24.5+1-6ubuntu3_ppc64el.deb ... Unpacking emacs24 (24.5+1-6ubuntu3) ... Selecting previously unselected package libtcl8.6:ppc64el. Preparing to unpack .../169-libtcl8.6_8.6.6+dfsg-1_ppc64el.deb ... Unpacking libtcl8.6:ppc64el (8.6.6+dfsg-1) ... Selecting previously unselected package libtk8.6:ppc64el. Preparing to unpack .../170-libtk8.6_8.6.6-1_ppc64el.deb ... Unpacking libtk8.6:ppc64el (8.6.6-1) ... Selecting previously unselected package gcl. Preparing to unpack .../171-gcl_2.6.12-47_ppc64el.deb ... Unpacking gcl (2.6.12-47) ... Selecting previously unselected package libcupsimage2:ppc64el. Preparing to unpack .../172-libcupsimage2_2.2.1-2_ppc64el.deb ... Unpacking libcupsimage2:ppc64el (2.2.1-2) ... Selecting previously unselected package libgmpxx4ldbl:ppc64el. Preparing to unpack .../173-libgmpxx4ldbl_2%3a6.1.1+dfsg-1_ppc64el.deb ... Unpacking libgmpxx4ldbl:ppc64el (2:6.1.1+dfsg-1) ... Selecting previously unselected package libgmp-dev:ppc64el. Preparing to unpack .../174-libgmp-dev_2%3a6.1.1+dfsg-1_ppc64el.deb ... Unpacking libgmp-dev:ppc64el (2:6.1.1+dfsg-1) ... Selecting previously unselected package libgmp3-dev. Preparing to unpack .../175-libgmp3-dev_2%3a6.1.1+dfsg-1_ppc64el.deb ... Unpacking libgmp3-dev (2:6.1.1+dfsg-1) ... Selecting previously unselected package libijs-0.35:ppc64el. Preparing to unpack .../176-libijs-0.35_0.35-12_ppc64el.deb ... Unpacking libijs-0.35:ppc64el (0.35-12) ... Selecting previously unselected package libjbig2dec0:ppc64el. Preparing to unpack .../177-libjbig2dec0_0.13-3_ppc64el.deb ... Unpacking libjbig2dec0:ppc64el (0.13-3) ... Selecting previously unselected package libpaper1:ppc64el. Preparing to unpack .../178-libpaper1_1.1.24+nmu4ubuntu1_ppc64el.deb ... Unpacking libpaper1:ppc64el (1.1.24+nmu4ubuntu1) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../179-libgs9-common_9.19~dfsg+1-0ubuntu7_all.deb ... Unpacking libgs9-common (9.19~dfsg+1-0ubuntu7) ... Selecting previously unselected package libgs9:ppc64el. Preparing to unpack .../180-libgs9_9.19~dfsg+1-0ubuntu7_ppc64el.deb ... Unpacking libgs9:ppc64el (9.19~dfsg+1-0ubuntu7) ... Selecting previously unselected package libharfbuzz-icu0:ppc64el. Preparing to unpack .../181-libharfbuzz-icu0_1.2.7-1_ppc64el.deb ... Unpacking libharfbuzz-icu0:ppc64el (1.2.7-1) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../182-xorg-sgml-doctools_1%3a1.11-1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1) ... Selecting previously unselected package x11proto-core-dev. Preparing to unpack .../183-x11proto-core-dev_7.0.31-1_all.deb ... Unpacking x11proto-core-dev (7.0.31-1) ... Selecting previously unselected package libice-dev:ppc64el. Preparing to unpack .../184-libice-dev_2%3a1.0.9-1_ppc64el.deb ... Unpacking libice-dev:ppc64el (2:1.0.9-1) ... Selecting previously unselected package libkpathsea6:ppc64el. Preparing to unpack .../185-libkpathsea6_2016.20160513.41080-8_ppc64el.deb ... Unpacking libkpathsea6:ppc64el (2016.20160513.41080-8) ... Selecting previously unselected package libnspr4:ppc64el. Preparing to unpack .../186-libnspr4_2%3a4.12-2ubuntu1_ppc64el.deb ... Unpacking libnspr4:ppc64el (2:4.12-2ubuntu1) ... Selecting previously unselected package libnss3:ppc64el. Preparing to unpack .../187-libnss3_2%3a3.26-1ubuntu1_ppc64el.deb ... Unpacking libnss3:ppc64el (2:3.26-1ubuntu1) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../188-libpaper-utils_1.1.24+nmu4ubuntu1_ppc64el.deb ... Unpacking libpaper-utils (1.1.24+nmu4ubuntu1) ... Selecting previously unselected package libpoppler61:ppc64el. Preparing to unpack .../189-libpoppler61_0.44.0-3ubuntu3_ppc64el.deb ... Unpacking libpoppler61:ppc64el (0.44.0-3ubuntu3) ... Selecting previously unselected package libpotrace0. Preparing to unpack .../190-libpotrace0_1.13-2_ppc64el.deb ... Unpacking libpotrace0 (1.13-2) ... Selecting previously unselected package libptexenc1:ppc64el. Preparing to unpack .../191-libptexenc1_2016.20160513.41080-8_ppc64el.deb ... Unpacking libptexenc1:ppc64el (2016.20160513.41080-8) ... Selecting previously unselected package libpthread-stubs0-dev:ppc64el. Preparing to unpack .../192-libpthread-stubs0-dev_0.3-4_ppc64el.deb ... Unpacking libpthread-stubs0-dev:ppc64el (0.3-4) ... Selecting previously unselected package libtinfo-dev:ppc64el. Preparing to unpack .../193-libtinfo-dev_6.0+20160625-1ubuntu1_ppc64el.deb ... Unpacking libtinfo-dev:ppc64el (6.0+20160625-1ubuntu1) ... Selecting previously unselected package libreadline-dev:ppc64el. Preparing to unpack .../194-libreadline-dev_7.0-0ubuntu2_ppc64el.deb ... Unpacking libreadline-dev:ppc64el (7.0-0ubuntu2) ... Selecting previously unselected package libsm-dev:ppc64el. Preparing to unpack .../195-libsm-dev_2%3a1.2.2-1_ppc64el.deb ... Unpacking libsm-dev:ppc64el (2:1.2.2-1) ... Selecting previously unselected package libsynctex1:ppc64el. Preparing to unpack .../196-libsynctex1_2016.20160513.41080-8_ppc64el.deb ... Unpacking libsynctex1:ppc64el (2016.20160513.41080-8) ... Selecting previously unselected package libtexlua52:ppc64el. Preparing to unpack .../197-libtexlua52_2016.20160513.41080-8_ppc64el.deb ... Unpacking libtexlua52:ppc64el (2016.20160513.41080-8) ... Selecting previously unselected package libtext-unidecode-perl. Preparing to unpack .../198-libtext-unidecode-perl_1.30-1_all.deb ... Unpacking libtext-unidecode-perl (1.30-1) ... Selecting previously unselected package libxau-dev:ppc64el. Preparing to unpack .../199-libxau-dev_1%3a1.0.8-1_ppc64el.deb ... Unpacking libxau-dev:ppc64el (1:1.0.8-1) ... Selecting previously unselected package libxdmcp-dev:ppc64el. Preparing to unpack .../200-libxdmcp-dev_1%3a1.1.2-1.1_ppc64el.deb ... Unpacking libxdmcp-dev:ppc64el (1:1.1.2-1.1) ... Selecting previously unselected package x11proto-input-dev. Preparing to unpack .../201-x11proto-input-dev_2.3.2-1_all.deb ... Unpacking x11proto-input-dev (2.3.2-1) ... Selecting previously unselected package x11proto-kb-dev. Preparing to unpack .../202-x11proto-kb-dev_1.0.7-1_all.deb ... Unpacking x11proto-kb-dev (1.0.7-1) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../203-xtrans-dev_1.3.5-1_all.deb ... Unpacking xtrans-dev (1.3.5-1) ... Selecting previously unselected package libxcb1-dev:ppc64el. Preparing to unpack .../204-libxcb1-dev_1.11.1-1ubuntu1_ppc64el.deb ... Unpacking libxcb1-dev:ppc64el (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-dev:ppc64el. Preparing to unpack .../205-libx11-dev_2%3a1.6.3-1ubuntu3_ppc64el.deb ... Unpacking libx11-dev:ppc64el (2:1.6.3-1ubuntu3) ... Selecting previously unselected package libxmu6:ppc64el. Preparing to unpack .../206-libxmu6_2%3a1.1.2-2_ppc64el.deb ... Unpacking libxmu6:ppc64el (2:1.1.2-2) ... Selecting previously unselected package libxaw7:ppc64el. Preparing to unpack .../207-libxaw7_2%3a1.0.13-1_ppc64el.deb ... Unpacking libxaw7:ppc64el (2:1.0.13-1) ... Selecting previously unselected package x11proto-xext-dev. Preparing to unpack .../208-x11proto-xext-dev_7.3.0-1_all.deb ... Unpacking x11proto-xext-dev (7.3.0-1) ... Selecting previously unselected package libxext-dev:ppc64el. Preparing to unpack .../209-libxext-dev_2%3a1.3.3-1_ppc64el.deb ... Unpacking libxext-dev:ppc64el (2:1.3.3-1) ... Selecting previously unselected package libxt-dev:ppc64el. Preparing to unpack .../210-libxt-dev_1%3a1.1.5-1_ppc64el.deb ... Unpacking libxt-dev:ppc64el (1:1.1.5-1) ... Selecting previously unselected package libxmu-headers. Preparing to unpack .../211-libxmu-headers_2%3a1.1.2-2_all.deb ... Unpacking libxmu-headers (2:1.1.2-2) ... Selecting previously unselected package libxmu-dev:ppc64el. Preparing to unpack .../212-libxmu-dev_2%3a1.1.2-2_ppc64el.deb ... Unpacking libxmu-dev:ppc64el (2:1.1.2-2) ... Selecting previously unselected package libxpm-dev:ppc64el. Preparing to unpack .../213-libxpm-dev_1%3a3.5.11-1_ppc64el.deb ... Unpacking libxpm-dev:ppc64el (1:3.5.11-1) ... Selecting previously unselected package libxaw7-dev:ppc64el. Preparing to unpack .../214-libxaw7-dev_2%3a1.0.13-1_ppc64el.deb ... Unpacking libxaw7-dev:ppc64el (2:1.0.13-1) ... Selecting previously unselected package libxml-namespacesupport-perl. Preparing to unpack .../215-libxml-namespacesupport-perl_1.11-1_all.deb ... Unpacking libxml-namespacesupport-perl (1.11-1) ... Selecting previously unselected package libxml-sax-base-perl. Preparing to unpack .../216-libxml-sax-base-perl_1.07-1_all.deb ... Unpacking libxml-sax-base-perl (1.07-1) ... Selecting previously unselected package libxml-sax-perl. Preparing to unpack .../217-libxml-sax-perl_0.99+dfsg-2ubuntu1_all.deb ... Unpacking libxml-sax-perl (0.99+dfsg-2ubuntu1) ... Selecting previously unselected package libxml-libxml-perl. Preparing to unpack .../218-libxml-libxml-perl_2.0128+dfsg-1build1_ppc64el.deb ... Unpacking libxml-libxml-perl (2.0128+dfsg-1build1) ... Selecting previously unselected package t1utils. Preparing to unpack .../219-t1utils_1.39-2_ppc64el.deb ... Unpacking t1utils (1.39-2) ... Selecting previously unselected package tex-common. Preparing to unpack .../220-tex-common_6.05_all.deb ... Unpacking tex-common (6.05) ... Selecting previously unselected package texinfo. Preparing to unpack .../221-texinfo_6.3.0.dfsg.1-1_ppc64el.deb ... Unpacking texinfo (6.3.0.dfsg.1-1) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../222-xdg-utils_1.1.1-1ubuntu2_all.deb ... Unpacking xdg-utils (1.1.1-1ubuntu2) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../223-texlive-binaries_2016.20160513.41080-8_ppc64el.deb ... Unpacking texlive-binaries (2016.20160513.41080-8) ... Selecting previously unselected package texlive-base. Preparing to unpack .../224-texlive-base_2016.20161130-1_all.deb ... Unpacking texlive-base (2016.20161130-1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../225-texlive-latex-base_2016.20161130-1_all.deb ... Unpacking texlive-latex-base (2016.20161130-1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../226-texlive-latex-recommended_2016.20161130-1_all.deb ... Unpacking texlive-latex-recommended (2016.20161130-1) ... Selecting previously unselected package sbuild-build-depends-acl2-dummy. Preparing to unpack .../227-sbuild-build-depends-acl2-dummy_0.invalid.0_ppc64el.deb ... Unpacking sbuild-build-depends-acl2-dummy (0.invalid.0) ... Setting up libgs9-common (9.19~dfsg+1-0ubuntu7) ... Setting up libkpathsea6:ppc64el (2016.20160513.41080-8) ... Setting up libtexlua52:ppc64el (2016.20160513.41080-8) ... Setting up libexpat1:ppc64el (2.2.0-1) ... Setting up libjson-glib-1.0-common (1.2.2-1) ... Setting up libsynctex1:ppc64el (2016.20160513.41080-8) ... Setting up libptexenc1:ppc64el (2016.20160513.41080-8) ... Setting up glib-networking-common (2.50.0-1) ... Setting up libboost-system1.61.0:ppc64el (1.61.0+dfsg-3build1) ... Setting up libarchive-zip-perl (1.59-1) ... Setting up time (1.7-25.1) ... Setting up libxml-namespacesupport-perl (1.11-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up liblcms2-2:ppc64el (2.7-1ubuntu1) ... Setting up libjbig0:ppc64el (2.1-3.1) ... Setting up libsigsegv2:ppc64el (2.10-5) ... Setting up libgpm2:ppc64el (1.20.4-6.2) ... Setting up libpthread-stubs0-dev:ppc64el (0.3-4) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up poppler-data (0.4.7-8) ... Setting up libelf1:ppc64el (0.166-2ubuntu1) ... Setting up groff-base (1.22.3-8) ... Setting up libglib2.0-0:ppc64el (2.51.0-2) ... Setting up libasound2-data (1.1.2-1) ... Setting up libxshmfence1:ppc64el (1.2-1) ... Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up emacsen-common (2.0.8) ... Setting up libtext-unidecode-perl (1.30-1) ... Setting up libwayland-client0:ppc64el (1.12.0-1) ... Setting up xkb-data (2.17-1ubuntu1) ... Setting up libproxy1v5:ppc64el (0.4.13-1.1) ... Setting up libtinfo-dev:ppc64el (6.0+20160625-1ubuntu1) ... Setting up imagemagick-common (8:6.8.9.9-7ubuntu9) ... Setting up libgdk-pixbuf2.0-common (2.36.0-1ubuntu1) ... Setting up glib-networking-services (2.50.0-1) ... Setting up libdatrie1:ppc64el (0.2.10-4) ... Setting up gettext-base (0.19.8.1-1ubuntu2) ... Setting up libgif7:ppc64el (5.1.4-0.4) ... Setting up libjpeg-turbo8:ppc64el (1.5.1-0ubuntu1) ... Setting up libpipeline1:ppc64el (1.4.1-2) ... Setting up x11proto-kb-dev (1.0.7-1) ... Setting up m4 (1.4.17-5) ... Setting up libfftw3-double3:ppc64el (3.3.5-1) ... Setting up libicu57:ppc64el (57.1-4) ... Setting up m17n-db (1.7.0-2) ... Setting up libbsd0:ppc64el (0.8.3-1) ... Setting up libnspr4:ppc64el (2:4.12-2ubuntu1) ... Setting up ucf (3.0036) ... Setting up libxml2:ppc64el (2.9.4+dfsg1-2) ... Setting up libfreetype6:ppc64el (2.6.3-3ubuntu1) ... Setting up libasound2:ppc64el (1.1.2-1) ... Setting up libdrm2:ppc64el (2.4.74-1) ... Setting up emacs24-common-non-dfsg (24.5+1-2) ... update-alternatives: using /usr/share/info/emacs-24/emacs.info.gz to provide /usr/share/info/emacs.info.gz (emacs.info.gz) in auto mode Setting up libmagic1:ppc64el (1:5.28-2ubuntu1) ... Setting up libjson-glib-1.0-0:ppc64el (1.2.2-1) ... Setting up libgraphite2-3:ppc64el (1.3.9-2) ... Setting up libcroco3:ppc64el (0.6.11-2) ... Setting up libatk1.0-data (2.22.0-1) ... Setting up libboost-filesystem1.61.0:ppc64el (1.61.0+dfsg-3build1) ... Setting up libxml-sax-base-perl (1.07-1) ... Setting up liblqr-1-0:ppc64el (0.4.2-2) ... Setting up libjbig2dec0:ppc64el (0.13-3) ... Setting up libx11-xcb1:ppc64el (2:1.6.3-1ubuntu3) ... Setting up libpixman-1-0:ppc64el (0.34.0-1) ... Setting up xtrans-dev (1.3.5-1) ... Processing triggers for libc-bin (2.24-3ubuntu1) ... Setting up libepoxy0:ppc64el (1.3.1-1ubuntu1) ... Setting up autotools-dev (20161112.1) ... Setting up libunistring0:ppc64el (0.9.3-5.2ubuntu1) ... Setting up t1utils (1.39-2) ... Setting up libatk1.0-0:ppc64el (2.22.0-1) ... Processing triggers for systemd (232-7) ... Setting up libltdl7:ppc64el (2.4.6-2) ... Setting up libreadline-dev:ppc64el (7.0-0ubuntu2) ... Setting up libijs-0.35:ppc64el (0.35-12) ... Setting up libdconf1:ppc64el (0.26.0-2) ... Setting up libfribidi0:ppc64el (0.19.7-1) ... Setting up libpotrace0 (1.13-2) ... Setting up shared-mime-info (1.7-1) ... Setting up libxkbcommon0:ppc64el (0.5.0-1ubuntu2) ... Setting up libdrm-radeon1:ppc64el (2.4.74-1) ... Setting up libtcl8.6:ppc64el (8.6.6+dfsg-1) ... Setting up libcolord2:ppc64el (1.3.3-2) ... Setting up libthai-data (0.1.25-2) ... Setting up libxdmcp6:ppc64el (1:1.1.2-1.1) ... Setting up libdrm-nouveau2:ppc64el (2.4.74-1) ... Setting up bsdmainutils (9.0.12ubuntu1) ... 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 libgmpxx4ldbl:ppc64el (2:6.1.1+dfsg-1) ... Setting up x11-common (1:7.7+16ubuntu2) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up libzzip-0-13:ppc64el (0.13.62-3) ... Setting up xdg-utils (1.1.1-1ubuntu2) ... Setting up libprotobuf-lite10:ppc64el (3.0.0-7ubuntu3) ... Setting up hicolor-icon-theme (0.15-1) ... Setting up libwayland-cursor0:ppc64el (1.12.0-1) ... Setting up libx11-data (2:1.6.3-1ubuntu3) ... Setting up libxau6:ppc64el (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-1ubuntu2) ... Setting up libdbus-1-3:ppc64el (1.10.10-1ubuntu2) ... Setting up libavahi-common-data:ppc64el (0.6.32-1ubuntu1) ... Setting up libwayland-server0:ppc64el (1.12.0-1) ... Setting up libwebp6:ppc64el (0.5.1-2ubuntu1) ... Setting up libfile-stripnondeterminism-perl (0.028-1) ... Setting up libxml-sax-perl (0.99+dfsg-2ubuntu1) ... update-perl-sax-parsers: Registering Perl SAX parser XML::SAX::PurePerl with priority 10... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Creating config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up libjpeg8:ppc64el (8c-2ubuntu8) ... Setting up libedit2:ppc64el (3.1-20150325-1ubuntu2) ... Setting up libgmp-dev:ppc64el (2:6.1.1+dfsg-1) ... Setting up libpaper1:ppc64el (1.1.24+nmu4ubuntu1) ... Creating config file /etc/papersize with new version Setting up libllvm3.8:ppc64el (1:3.8.1-16ubuntu1) ... Setting up gconf2-common (3.2.6-3ubuntu7) ... Creating config file /etc/gconf/2/path with new version Setting up libmircommon6:ppc64el (0.24.1+16.10.20160928-0ubuntu1) ... Setting up libpaper-utils (1.1.24+nmu4ubuntu1) ... Setting up fontconfig-config (2.11.94-0ubuntu2) ... Setting up tex-common (6.05) ... update-language: texlive-base not installed and configured, doing nothing! Setting up x11proto-core-dev (7.0.31-1) ... Setting up libdrm-amdgpu1:ppc64el (2.4.74-1) ... Setting up dconf-service (0.26.0-2) ... Setting up gettext (0.19.8.1-1ubuntu2) ... Setting up libotf0:ppc64el (0.9.13-3build1) ... Setting up libdbus-glib-1-2:ppc64el (0.108-1) ... Setting up libmirprotobuf3:ppc64el (0.24.1+16.10.20160928-0ubuntu1) ... Setting up emacs24-common (24.5+1-6ubuntu3) ... Setting up libgconf-2-4:ppc64el (3.2.6-3ubuntu7) ... Setting up libgbm1:ppc64el (12.0.3-1ubuntu2) ... Setting up libgl1-mesa-dri:ppc64el (12.0.3-1ubuntu2) ... Setting up libnss3:ppc64el (2:3.26-1ubuntu1) ... Setting up libharfbuzz0b:ppc64el (1.2.7-1) ... Setting up libtiff5:ppc64el (4.0.7-2) ... Setting up libxau-dev:ppc64el (1:1.0.8-1) ... Setting up libmirclient9:ppc64el (0.24.1+16.10.20160928-0ubuntu1) ... Setting up autoconf (2.69-10) ... Setting up libthai0:ppc64el (0.1.25-2) ... Setting up file (1:5.28-2ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up libxdmcp-dev:ppc64el (1:1.1.2-1.1) ... Setting up automake (1:1.15-5ubuntu1) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up libice6:ppc64el (2:1.0.9-1) ... Setting up man-db (2.7.5-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libavahi-common3:ppc64el (0.6.32-1ubuntu1) ... Setting up libxml-libxml-perl (2.0128+dfsg-1build1) ... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX::Parser with priority 50... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX with priority 50... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Replacing config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up dconf-gsettings-backend:ppc64el (0.26.0-2) ... Setting up libxcb1:ppc64el (1.11.1-1ubuntu1) ... Setting up x11proto-input-dev (2.3.2-1) ... Setting up emacs24-bin-common (24.5+1-6ubuntu3) ... update-alternatives: using /usr/bin/ctags.emacs24 to provide /usr/bin/ctags (ctags) in auto mode update-alternatives: using /usr/bin/ebrowse.emacs24 to provide /usr/bin/ebrowse (ebrowse) in auto mode update-alternatives: using /usr/bin/emacsclient.emacs24 to provide /usr/bin/emacsclient (emacsclient) in auto mode update-alternatives: using /usr/bin/etags.emacs24 to provide /usr/bin/etags (etags) in auto mode update-alternatives: using /usr/bin/grep-changelog.emacs24 to provide /usr/bin/grep-changelog (grep-changelog) in auto mode Setting up libgmp3-dev (2:6.1.1+dfsg-1) ... Setting up libtool (2.4.6-2) ... Setting up libxcb-present0:ppc64el (1.11.1-1ubuntu1) ... Setting up libfontconfig1:ppc64el (2.11.94-0ubuntu2) ... Setting up libxcb-dri2-0:ppc64el (1.11.1-1ubuntu1) ... Setting up libsm6:ppc64el (2:1.2.2-1) ... Setting up libxcb-dri3-0:ppc64el (1.11.1-1ubuntu1) ... Setting up libxcb-xfixes0:ppc64el (1.11.1-1ubuntu1) ... Setting up libxcb-render0:ppc64el (1.11.1-1ubuntu1) ... Setting up libharfbuzz-icu0:ppc64el (1.2.7-1) ... Setting up po-debconf (1.0.20) ... Setting up gsettings-desktop-schemas (3.22.0-1ubuntu1) ... Setting up libgtk-3-common (3.22.4-1ubuntu1) ... Setting up libx11-6:ppc64el (2:1.6.3-1ubuntu3) ... Setting up libxcb-sync1:ppc64el (1.11.1-1ubuntu1) ... Setting up x11proto-xext-dev (7.3.0-1) ... Setting up libice-dev:ppc64el (2:1.0.9-1) ... Setting up glib-networking:ppc64el (2.50.0-1) ... Setting up libxcomposite1:ppc64el (1:0.4.4-1) ... Setting up libxcb-shm0:ppc64el (1.11.1-1ubuntu1) ... Setting up libxpm4:ppc64el (1:3.5.11-1) ... Setting up libxt6:ppc64el (1:1.1.5-1) ... Setting up libxrender1:ppc64el (1:0.9.10-1) ... Setting up libxcb1-dev:ppc64el (1.11.1-1ubuntu1) ... Setting up libavahi-client3:ppc64el (0.6.32-1ubuntu1) ... Setting up libpoppler61:ppc64el (0.44.0-3ubuntu3) ... Setting up texinfo (6.3.0.dfsg.1-1) ... Running mktexlsr. This may take some time. ... done. Setting up libx11-dev:ppc64el (2:1.6.3-1ubuntu3) ... Setting up libxft2:ppc64el (2.3.2-1) ... Setting up fontconfig (2.11.94-0ubuntu2) ... Regenerating fonts cache... done. Setting up libcups2:ppc64el (2.2.1-2) ... Setting up libegl1-mesa:ppc64el (12.0.3-1ubuntu2) ... update-alternatives: using /usr/lib/powerpc64le-linux-gnu/mesa-egl/ld.so.conf to provide /etc/ld.so.conf.d/powerpc64le-linux-gnu_EGL.conf (powerpc64le-linux-gnu_egl_conf) in auto mode Setting up libsm-dev:ppc64el (2:1.2.2-1) ... Setting up libxdamage1:ppc64el (1:1.1.4-2) ... Setting up libxext6:ppc64el (2:1.3.3-1) ... Setting up libxfixes3:ppc64el (1:5.0.3-1) ... Setting up libxpm-dev:ppc64el (1:3.5.11-1) ... Setting up libatspi2.0-0:ppc64el (2.22.0-3ubuntu1) ... Setting up libxmu-headers (2:1.1.2-2) ... Setting up libxss1:ppc64el (1:1.2.2-1) ... Setting up libgdk-pixbuf2.0-0:ppc64el (2.36.0-1ubuntu1) ... Setting up libsoup2.4-1:ppc64el (2.56.0-1) ... Setting up libgd3:ppc64el (2.2.3-87-gd0fec80-3) ... Setting up libsoup-gnome2.4-1:ppc64el (2.56.0-1) ... Setting up libmagickcore-6.q16-2:ppc64el (8:6.8.9.9-7ubuntu9) ... Setting up libxmu6:ppc64el (2:1.1.2-2) ... Setting up libcupsimage2:ppc64el (2.2.1-2) ... Setting up gtk-update-icon-cache (3.22.4-1ubuntu1) ... Setting up libxcursor1:ppc64el (1:1.1.14-1) ... Setting up libm17n-0:ppc64el (1.7.0-3) ... Setting up libxext-dev:ppc64el (2:1.3.3-1) ... Setting up libpango-1.0-0:ppc64el (1.40.3-3) ... Setting up libwayland-egl1-mesa:ppc64el (12.0.3-1ubuntu2) ... Setting up libatk-bridge2.0-0:ppc64el (2.22.0-1ubuntu1) ... Setting up librest-0.7-0:ppc64el (0.8.0-2) ... Setting up libgs9:ppc64el (9.19~dfsg+1-0ubuntu7) ... Setting up libxrandr2:ppc64el (2:1.5.1-1) ... Setting up libxi6:ppc64el (2:1.7.6-1ubuntu1) ... Setting up libxaw7:ppc64el (2:1.0.13-1) ... Setting up libcairo2:ppc64el (1.14.6-1.1) ... Setting up libxinerama1:ppc64el (2:1.1.3-1) ... Setting up libxt-dev:ppc64el (1:1.1.5-1) ... Setting up libxmu-dev:ppc64el (2:1.1.2-2) ... Setting up libxaw7-dev:ppc64el (2:1.0.13-1) ... Setting up libtk8.6:ppc64el (8.6.6-1) ... Setting up libcairo-gobject2:ppc64el (1.14.6-1.1) ... Setting up libmagickwand-6.q16-2:ppc64el (8:6.8.9.9-7ubuntu9) ... Setting up texlive-binaries (2016.20160513.41080-8) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up libpangoft2-1.0-0:ppc64el (1.40.3-3) ... Setting up libpangocairo-1.0-0:ppc64el (1.40.3-3) ... Setting up librsvg2-2:ppc64el (2.40.16-1) ... Setting up librsvg2-common:ppc64el (2.40.16-1) ... Processing triggers for tex-common (6.05) ... update-language: texlive-base not installed and configured, doing nothing! texlive-base is not ready, skipping fmtutil --all call Setting up texlive-base (2016.20161130-1) ... /usr/bin/tl-paper: setting paper size for dvips to a4. /usr/bin/tl-paper: setting paper size for dvipdfmx to a4. /usr/bin/tl-paper: setting paper size for xdvi to a4. /usr/bin/tl-paper: setting paper size for pdftex to a4. Processing triggers for tex-common (6.05) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. Setting up texlive-latex-base (2016.20161130-1) ... Processing triggers for tex-common (6.05) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. Setting up texlive-latex-recommended (2016.20161130-1) ... Setting up humanity-icon-theme (0.6.11) ... Setting up gconf-service-backend (3.2.6-3ubuntu7) ... Setting up debhelper (10.2.2ubuntu1) ... Setting up dh-autoreconf (12) ... Setting up ubuntu-mono (16.10+17.04.20161205-0ubuntu1) ... Setting up gconf-service (3.2.6-3ubuntu7) ... Setting up dh-strip-nondeterminism (0.028-1) ... Setting up adwaita-icon-theme (3.20-3ubuntu2) ... 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 libgtk-3-0:ppc64el (3.22.4-1ubuntu1) ... Setting up emacs24 (24.5+1-6ubuntu3) ... update-alternatives: using /usr/bin/emacs24-x to provide /usr/bin/emacs (emacs) in auto mode update-alternatives: using /usr/bin/emacs24 to provide /usr/bin/editor (editor) in auto mode Install emacsen-common for emacs24 emacsen-common: Handling install of emacsen flavor emacs24 Wrote /etc/emacs24/site-start.d/00debian-vars.elc Wrote /usr/share/emacs24/site-lisp/debian-startup.elc Setting up gcl (2.6.12-47) ... Creating config file /etc/default/gcl with new version Install gcl for emacs24 install/gcl: Handling install for emacsen flavor emacs24 Loading 00debian-vars... Loading /etc/emacs/site-start.d/50autoconf.el (source)... Loading /etc/emacs/site-start.d/50gcl.el (source)... Wrote /usr/share/emacs24/site-lisp/gcl/add-default.elc Wrote /usr/share/emacs24/site-lisp/gcl/ansi-doc.elc Wrote /usr/share/emacs24/site-lisp/gcl/dbl.elc Wrote /usr/share/emacs24/site-lisp/gcl/default.elc Wrote /usr/share/emacs24/site-lisp/gcl/doc-to-texi.elc Wrote /usr/share/emacs24/site-lisp/gcl/gcl.elc Wrote /usr/share/emacs24/site-lisp/gcl/man1-to-texi.elc Wrote /usr/share/emacs24/site-lisp/gcl/smart-complete.elc Wrote /usr/share/emacs24/site-lisp/gcl/sshell.elc Setting up sbuild-build-depends-acl2-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.24-3ubuntu1) ... Processing triggers for systemd (232-7) ... Processing triggers for libgdk-pixbuf2.0-0:ppc64el (2.36.0-1ubuntu1) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-53-generic ppc64el (ppc64le) Toolchain package versions: binutils_2.27.51.20161201-1ubuntu1 dpkg-dev_1.18.10ubuntu1 g++-6_6.2.1-5ubuntu1 g++-7_7-20161212-0ubuntu2 gcc-6_6.2.1-5ubuntu1 gcc-7_7-20161212-0ubuntu2 libc6-dev_2.24-3ubuntu1 libstdc++-6-dev_6.2.1-5ubuntu1 libstdc++-7-dev_7-20161212-0ubuntu2 libstdc++6_7-20161212-0ubuntu2 linux-libc-dev_4.8.0-30.32 Package versions: adduser_3.113+nmu3ubuntu5 advancecomp_1.20-1 adwaita-icon-theme_3.20-3ubuntu2 apt_1.3.1 apt-transport-https_1.3.1 autoconf_2.69-10 automake_1:1.15-5ubuntu1 autopoint_0.19.8.1-1ubuntu2 autotools-dev_20161112.1 base-files_9.6ubuntu8 base-passwd_3.5.42 bash_4.4-2ubuntu1 binutils_2.27.51.20161201-1ubuntu1 bsdmainutils_9.0.12ubuntu1 bsdutils_1:2.29-1ubuntu2 build-essential_12.1ubuntu2 bzip2_1.0.6-8build1 ca-certificates_20160104ubuntu1 coreutils_8.25-2ubuntu2 cpp_4:7-20161116-1ubuntu2 cpp-6_6.2.1-5ubuntu1 cpp-7_7-20161212-0ubuntu2 dash_0.5.8-2.3ubuntu1 dconf-gsettings-backend_0.26.0-2 dconf-service_0.26.0-2 debconf_1.5.59ubuntu1 debhelper_10.2.2ubuntu1 debianutils_4.8.1 dh-autoreconf_12 dh-strip-nondeterminism_0.028-1 diffutils_1:3.5-1 dmsetup_2:1.02.136-1ubuntu1 dpkg_1.18.10ubuntu1 dpkg-dev_1.18.10ubuntu1 e2fslibs_1.43.3-1 e2fsprogs_1.43.3-1 emacs24_24.5+1-6ubuntu3 emacs24-bin-common_24.5+1-6ubuntu3 emacs24-common_24.5+1-6ubuntu3 emacs24-common-non-dfsg_24.5+1-2 emacsen-common_2.0.8 fakeroot_1.21-1ubuntu2 file_1:5.28-2ubuntu1 findutils_4.6.0+git+20161106-1 fontconfig_2.11.94-0ubuntu2 fontconfig-config_2.11.94-0ubuntu2 fonts-dejavu-core_2.37-1 g++_4:7-20161116-1ubuntu2 g++-6_6.2.1-5ubuntu1 g++-7_7-20161212-0ubuntu2 gcc_4:7-20161116-1ubuntu2 gcc-6_6.2.1-5ubuntu1 gcc-6-base_6.2.1-5ubuntu1 gcc-7_7-20161212-0ubuntu2 gcc-7-base_7-20161212-0ubuntu2 gcl_2.6.12-47 gconf-service_3.2.6-3ubuntu7 gconf-service-backend_3.2.6-3ubuntu7 gconf2-common_3.2.6-3ubuntu7 gettext_0.19.8.1-1ubuntu2 gettext-base_0.19.8.1-1ubuntu2 glib-networking_2.50.0-1 glib-networking-common_2.50.0-1 glib-networking-services_2.50.0-1 gnupg_2.1.15-1ubuntu6 gnupg-agent_2.1.15-1ubuntu6 gpgv_2.1.15-1ubuntu6 grep_2.27-1 groff-base_1.22.3-8 gsettings-desktop-schemas_3.22.0-1ubuntu1 gtk-update-icon-cache_3.22.4-1ubuntu1 gzip_1.6-4ubuntu1 hicolor-icon-theme_0.15-1 hostname_3.18 humanity-icon-theme_0.6.11 imagemagick-common_8:6.8.9.9-7ubuntu9 init_1.46 init-system-helpers_1.46 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.4 libacl1_2.2.52-3 libapparmor1_2.10.95-4ubuntu5.2 libapt-pkg5.0_1.3.1 libarchive-zip-perl_1.59-1 libasan3_6.2.1-5ubuntu1 libasan4_7-20161212-0ubuntu2 libasn1-8-heimdal_1.7~git20160703+dfsg-1ubuntu1 libasound2_1.1.2-1 libasound2-data_1.1.2-1 libassuan0_2.4.3-2 libatk-bridge2.0-0_2.22.0-1ubuntu1 libatk1.0-0_2.22.0-1 libatk1.0-data_2.22.0-1 libatomic1_7-20161212-0ubuntu2 libatspi2.0-0_2.22.0-3ubuntu1 libattr1_1:2.4.47-2 libaudit-common_1:2.6.6-1ubuntu1 libaudit1_1:2.6.6-1ubuntu1 libavahi-client3_0.6.32-1ubuntu1 libavahi-common-data_0.6.32-1ubuntu1 libavahi-common3_0.6.32-1ubuntu1 libblkid1_2.29-1ubuntu2 libboost-filesystem1.61.0_1.61.0+dfsg-3build1 libboost-system1.61.0_1.61.0+dfsg-3build1 libbsd0_0.8.3-1 libbz2-1.0_1.0.6-8build1 libc-bin_2.24-3ubuntu1 libc-dev-bin_2.24-3ubuntu1 libc6_2.24-3ubuntu1 libc6-dev_2.24-3ubuntu1 libcairo-gobject2_1.14.6-1.1 libcairo2_1.14.6-1.1 libcap-ng0_0.7.7-3 libcap2_1:2.25-1 libcc1-0_7-20161212-0ubuntu2 libcolord2_1.3.3-2 libcomerr2_1.43.3-1 libcroco3_0.6.11-2 libcryptsetup4_2:1.7.2-0ubuntu1 libcups2_2.2.1-2 libcupsimage2_2.2.1-2 libcurl3-gnutls_7.51.0-1ubuntu1 libdatrie1_0.2.10-4 libdb5.3_5.3.28-12 libdbus-1-3_1.10.10-1ubuntu2 libdbus-glib-1-2_0.108-1 libdconf1_0.26.0-2 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.136-1ubuntu1 libdpkg-perl_1.18.10ubuntu1 libdrm-amdgpu1_2.4.74-1 libdrm-nouveau2_2.4.74-1 libdrm-radeon1_2.4.74-1 libdrm2_2.4.74-1 libedit2_3.1-20150325-1ubuntu2 libegl1-mesa_12.0.3-1ubuntu2 libelf1_0.166-2ubuntu1 libepoxy0_1.3.1-1ubuntu1 libexpat1_2.2.0-1 libfakeroot_1.21-1ubuntu2 libfdisk1_2.29-1ubuntu2 libffi6_3.2.1-6 libfftw3-double3_3.3.5-1 libfile-stripnondeterminism-perl_0.028-1 libfontconfig1_2.11.94-0ubuntu2 libfreetype6_2.6.3-3ubuntu1 libfribidi0_0.19.7-1 libgbm1_12.0.3-1ubuntu2 libgcc-6-dev_6.2.1-5ubuntu1 libgcc-7-dev_7-20161212-0ubuntu2 libgcc1_1:7-20161212-0ubuntu2 libgconf-2-4_3.2.6-3ubuntu7 libgcrypt20_1.7.3-2 libgd3_2.2.3-87-gd0fec80-3 libgdbm3_1.8.3-14 libgdk-pixbuf2.0-0_2.36.0-1ubuntu1 libgdk-pixbuf2.0-common_2.36.0-1ubuntu1 libgif7_5.1.4-0.4 libgl1-mesa-dri_12.0.3-1ubuntu2 libglib2.0-0_2.51.0-2 libgmp-dev_2:6.1.1+dfsg-1 libgmp10_2:6.1.1+dfsg-1 libgmp3-dev_2:6.1.1+dfsg-1 libgmpxx4ldbl_2:6.1.1+dfsg-1 libgnutls30_3.5.6-4ubuntu2 libgomp1_7-20161212-0ubuntu2 libgpg-error0_1.25-2 libgpm2_1.20.4-6.2 libgraphite2-3_1.3.9-2 libgs9_9.19~dfsg+1-0ubuntu7 libgs9-common_9.19~dfsg+1-0ubuntu7 libgssapi-krb5-2_1.15~beta1-1 libgssapi3-heimdal_1.7~git20160703+dfsg-1ubuntu1 libgtk-3-0_3.22.4-1ubuntu1 libgtk-3-common_3.22.4-1ubuntu1 libharfbuzz-icu0_1.2.7-1 libharfbuzz0b_1.2.7-1 libhcrypto4-heimdal_1.7~git20160703+dfsg-1ubuntu1 libheimbase1-heimdal_1.7~git20160703+dfsg-1ubuntu1 libheimntlm0-heimdal_1.7~git20160703+dfsg-1ubuntu1 libhogweed4_3.3-1 libhx509-5-heimdal_1.7~git20160703+dfsg-1ubuntu1 libice-dev_2:1.0.9-1 libice6_2:1.0.9-1 libicu57_57.1-4 libidn11_1.33-1 libijs-0.35_0.35-12 libip4tc0_1.6.0-3ubuntu2 libisl15_0.17.1-1 libitm1_7-20161212-0ubuntu2 libjbig0_2.1-3.1 libjbig2dec0_0.13-3 libjpeg-turbo8_1.5.1-0ubuntu1 libjpeg8_8c-2ubuntu8 libjson-glib-1.0-0_1.2.2-1 libjson-glib-1.0-common_1.2.2-1 libk5crypto3_1.15~beta1-1 libkeyutils1_1.5.9-9ubuntu1 libkmod2_22-1.1ubuntu1 libkpathsea6_2016.20160513.41080-8 libkrb5-26-heimdal_1.7~git20160703+dfsg-1ubuntu1 libkrb5-3_1.15~beta1-1 libkrb5support0_1.15~beta1-1 libksba8_1.3.5-2 liblcms2-2_2.7-1ubuntu1 libldap-2.4-2_2.4.42+dfsg-2ubuntu5 libllvm3.8_1:3.8.1-16ubuntu1 liblockfile-bin_1.09-6ubuntu1 liblockfile1_1.09-6ubuntu1 liblqr-1-0_0.4.2-2 libltdl7_2.4.6-2 liblz4-1_0.0~r131-2ubuntu2 liblzma5_5.2.2-1.2 libm17n-0_1.7.0-3 libmagic1_1:5.28-2ubuntu1 libmagickcore-6.q16-2_8:6.8.9.9-7ubuntu9 libmagickwand-6.q16-2_8:6.8.9.9-7ubuntu9 libmirclient9_0.24.1+16.10.20160928-0ubuntu1 libmircommon6_0.24.1+16.10.20160928-0ubuntu1 libmirprotobuf3_0.24.1+16.10.20160928-0ubuntu1 libmount1_2.29-1ubuntu2 libmpc3_1.0.3-1 libmpfr4_3.1.5-1 libncurses5_6.0+20160625-1ubuntu1 libncursesw5_6.0+20160625-1ubuntu1 libnettle6_3.3-1 libnpth0_1.3-1 libnspr4_2:4.12-2ubuntu1 libnss3_2:3.26-1ubuntu1 libotf0_0.9.13-3build1 libp11-kit0_0.23.2-5 libpam-modules_1.1.8-3.2ubuntu2 libpam-modules-bin_1.1.8-3.2ubuntu2 libpam-runtime_1.1.8-3.2ubuntu2 libpam0g_1.1.8-3.2ubuntu2 libpango-1.0-0_1.40.3-3 libpangocairo-1.0-0_1.40.3-3 libpangoft2-1.0-0_1.40.3-3 libpaper-utils_1.1.24+nmu4ubuntu1 libpaper1_1.1.24+nmu4ubuntu1 libpcre3_2:8.39-2 libperl5.22_5.22.2-3 libperl5.24_5.24.1~rc4-1 libpipeline1_1.4.1-2 libpixman-1-0_0.34.0-1 libpng16-16_1.6.26-2ubuntu1 libpoppler61_0.44.0-3ubuntu3 libpotrace0_1.13-2 libprocps6_2:3.3.12-1ubuntu2 libprotobuf-lite10_3.0.0-7ubuntu3 libproxy1v5_0.4.13-1.1 libptexenc1_2016.20160513.41080-8 libpthread-stubs0-dev_0.3-4 libreadline-dev_7.0-0ubuntu2 libreadline7_7.0-0ubuntu2 librest-0.7-0_0.8.0-2 libroken18-heimdal_1.7~git20160703+dfsg-1ubuntu1 librsvg2-2_2.40.16-1 librsvg2-common_2.40.16-1 librtmp1_2.4+20151223.gitfa8646d.1-1 libsasl2-2_2.1.27~72-g88d82a3+dfsg-1 libsasl2-modules-db_2.1.27~72-g88d82a3+dfsg-1 libseccomp2_2.3.1-2ubuntu2 libselinux1_2.6-3 libsemanage-common_2.6-1 libsemanage1_2.6-1 libsepol1_2.6-2 libsigsegv2_2.10-5 libslang2_2.3.1-5ubuntu1 libsm-dev_2:1.2.2-1 libsm6_2:1.2.2-1 libsmartcols1_2.29-1ubuntu2 libsoup-gnome2.4-1_2.56.0-1 libsoup2.4-1_2.56.0-1 libsqlite3-0_3.15.1-1 libss2_1.43.3-1 libssl1.0.0_1.0.2g-1ubuntu10 libstdc++-6-dev_6.2.1-5ubuntu1 libstdc++-7-dev_7-20161212-0ubuntu2 libstdc++6_7-20161212-0ubuntu2 libsynctex1_2016.20160513.41080-8 libsystemd0_232-7 libtasn1-6_4.9-4 libtcl8.6_8.6.6+dfsg-1 libtexlua52_2016.20160513.41080-8 libtext-unidecode-perl_1.30-1 libthai-data_0.1.25-2 libthai0_0.1.25-2 libtiff5_4.0.7-2 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20160625-1ubuntu1 libtinfo5_6.0+20160625-1ubuntu1 libtk8.6_8.6.6-1 libtool_2.4.6-2 libubsan0_7-20161212-0ubuntu2 libudev1_232-7 libunistring0_0.9.3-5.2ubuntu1 libusb-0.1-4_2:0.1.12-30 libustr-1.0-1_1.0.4-6 libuuid1_2.29-1ubuntu2 libwayland-client0_1.12.0-1 libwayland-cursor0_1.12.0-1 libwayland-egl1-mesa_12.0.3-1ubuntu2 libwayland-server0_1.12.0-1 libwebp6_0.5.1-2ubuntu1 libwind0-heimdal_1.7~git20160703+dfsg-1ubuntu1 libx11-6_2:1.6.3-1ubuntu3 libx11-data_2:1.6.3-1ubuntu3 libx11-dev_2:1.6.3-1ubuntu3 libx11-xcb1_2:1.6.3-1ubuntu3 libxau-dev_1:1.0.8-1 libxau6_1:1.0.8-1 libxaw7_2:1.0.13-1 libxaw7-dev_2:1.0.13-1 libxcb-dri2-0_1.11.1-1ubuntu1 libxcb-dri3-0_1.11.1-1ubuntu1 libxcb-present0_1.11.1-1ubuntu1 libxcb-render0_1.11.1-1ubuntu1 libxcb-shm0_1.11.1-1ubuntu1 libxcb-sync1_1.11.1-1ubuntu1 libxcb-xfixes0_1.11.1-1ubuntu1 libxcb1_1.11.1-1ubuntu1 libxcb1-dev_1.11.1-1ubuntu1 libxcomposite1_1:0.4.4-1 libxcursor1_1:1.1.14-1 libxdamage1_1:1.1.4-2 libxdmcp-dev_1:1.1.2-1.1 libxdmcp6_1:1.1.2-1.1 libxext-dev_2:1.3.3-1 libxext6_2:1.3.3-1 libxfixes3_1:5.0.3-1 libxft2_2.3.2-1 libxi6_2:1.7.6-1ubuntu1 libxinerama1_2:1.1.3-1 libxkbcommon0_0.5.0-1ubuntu2 libxml-libxml-perl_2.0128+dfsg-1build1 libxml-namespacesupport-perl_1.11-1 libxml-sax-base-perl_1.07-1 libxml-sax-perl_0.99+dfsg-2ubuntu1 libxml2_2.9.4+dfsg1-2 libxmu-dev_2:1.1.2-2 libxmu-headers_2:1.1.2-2 libxmu6_2:1.1.2-2 libxpm-dev_1:3.5.11-1 libxpm4_1:3.5.11-1 libxrandr2_2:1.5.1-1 libxrender1_1:0.9.10-1 libxshmfence1_1.2-1 libxss1_1:1.2.2-1 libxt-dev_1:1.1.5-1 libxt6_1:1.1.5-1 libzzip-0-13_0.13.62-3 linux-libc-dev_4.8.0-30.32 lockfile-progs_0.1.17 login_1:4.2-3.2ubuntu1 lsb-base_9.20160110ubuntu5 m17n-db_1.7.0-2 m4_1.4.17-5 make_4.1-9 man-db_2.7.5-2 mawk_1.3.3-17ubuntu2 mount_2.29-1ubuntu2 multiarch-support_2.24-3ubuntu1 ncurses-base_6.0+20160625-1ubuntu1 ncurses-bin_6.0+20160625-1ubuntu1 openssl_1.0.2g-1ubuntu10 optipng_0.7.6-1build1 passwd_1:4.2-3.2ubuntu1 patch_2.7.5-1 perl_5.24.1~rc4-1 perl-base_5.24.1~rc4-1 perl-modules-5.22_5.22.2-3 perl-modules-5.24_5.24.1~rc4-1 pinentry-curses_1.0.0-1 pkg-create-dbgsym_0.73 pkgbinarymangler_131 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 poppler-data_0.4.7-8 procps_2:3.3.12-1ubuntu2 readline-common_7.0-0ubuntu2 sbuild-build-depends-acl2-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.2-8 sensible-utils_0.0.9 shared-mime-info_1.7-1 systemd_232-7 systemd-sysv_232-7 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.8git1 t1utils_1.39-2 tar_1.29b-1.1 tex-common_6.05 texinfo_6.3.0.dfsg.1-1 texlive-base_2016.20161130-1 texlive-binaries_2016.20160513.41080-8 texlive-latex-base_2016.20161130-1 texlive-latex-recommended_2016.20161130-1 time_1.7-25.1 tzdata_2016j-2 ubuntu-keyring_2016.10.27 ubuntu-mono_16.10+17.04.20161205-0ubuntu1 ucf_3.0036 util-linux_2.29-1ubuntu2 x11-common_1:7.7+16ubuntu2 x11proto-core-dev_7.0.31-1 x11proto-input-dev_2.3.2-1 x11proto-kb-dev_1.0.7-1 x11proto-xext-dev_7.3.0-1 xdg-utils_1.1.1-1ubuntu2 xkb-data_2.17-1ubuntu1 xorg-sgml-doctools_1:1.11-1 xtrans-dev_1.3.5-1 xz-utils_5.2.2-1.2 zlib1g_1:1.2.8.dfsg-2ubuntu5 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Wed May 4 13:32:17 2016 UTC gpgv: using RSA key gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./acl2_7.2dfsg-2.dsc dpkg-source: info: extracting acl2 in acl2-7.2dfsg dpkg-source: info: unpacking acl2_7.2dfsg.orig.tar.gz dpkg-source: info: unpacking acl2_7.2dfsg-2.debian.tar.xz dpkg-source: info: applying remove-pcert-elementary-bounders-for-final-file dpkg-source: info: applying remove-pcert-local-elided-for-final-file dpkg-source: info: applying do-not-pre-allocate-contiguous-blocks-in-acl2.lisp Check disc space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/home/buildd LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd MAIL=/var/mail/buildd OLDPWD=/ PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games PWD=/<> SHELL=/bin/sh SUDO_COMMAND=/usr/sbin/chroot /<> su buildd -s /bin/sh -c cd '/<>' && 'env' SUDO_GID=2501 SUDO_UID=2001 SUDO_USER=buildd TERM=unknown USER=buildd USERNAME=root dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package acl2 dpkg-buildpackage: info: source version 7.2dfsg-2 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build acl2-7.2dfsg dpkg-buildpackage: info: host architecture ppc64el fakeroot debian/rules clean sed -e "s,^DIR = .*,DIR = $(pwd)/books/interface/infix,1" \ -e "s,^LISP = .*,LISP = $(pwd)/saved_acl2,1" books/interface/infix/makefile > books/interface/infix/Makefile rm -f infix-stamp cd books/interface/infix && make -f Makefile clean make[1]: Entering directory '/<>/books/interface/infix' rm -f /<>/books/interface/infix/*.otl /<>/books/interface/infix/*.err /<>/books/interface/infix/*.ps /<>/books/interface/infix/*.aux rm -f /<>/books/interface/infix/*.dvi /<>/books/interface/infix/*.aux /<>/books/interface/infix/*.log /<>/books/interface/infix/*.idx /<>/books/interface/infix/.log rm -f *~* *#* workxxx *.o *.tex *.nqtex TAGS *.dvi *.ps *.err *.aux *.log *.idx make[1]: Leaving directory '/<>/books/interface/infix' rm -f books/interface/infix/Makefile dh_testdir dh_testroot rm -f build-stamp /usr/bin/make clean make[1]: Entering directory '/<>' ACL2_WD is /<> rm -f *.o *#* *.c *.h *.data gazonk.* workxxx workyyy *.lib \ *.fasl *.fas *.sparcf *.ufsl *.64ufasl *.ufasl *.dfsl *.dxl \ *.d64fsl *.dx64fsl *.lx64fsl \ *.lx32fsl *.x86f *.o *.fn \ TAGS acl2-status.txt acl2r.lisp acl2-proclaims.lisp .acl2rc \ *osaved_acl2* \ *.log TMP* rm -rf saved rm -f doc/*.o doc/*#* doc/*.c doc/*.h doc/*.data doc/gazonk.* \ doc/workxxx doc/workyyy doc/*.lib \ doc/*.fasl doc/*.fas doc/*.sparcf doc/*.ufsl doc/*.64ufasl doc/*.ufasl doc/*.dfsl \ doc/*.d64fsl doc/*.dx64fsl doc/*.lx64fsl \ doc/*.lx32fsl doc/*.x86f doc/*.o \ doc/*.cert doc/*.out \ doc/*.log doc/TMP* rm -rf doc/TEX doc/HTML doc/EMACS make[1]: Leaving directory '/<>' /usr/bin/make clean-books make[1]: Entering directory '/<>' ACL2_WD is /<> cd books ; /usr/bin/make -k ACL2=/<>/saved_acl2 moreclean make[2]: Entering directory '/<>/books' ACL2_SYSTEM_BOOKS is /<>/books Scanning for books... real 0m0.095s user 0m0.024s sys 0m0.040s Scanning for dependencies... real 0m33.382s user 0m30.152s sys 0m0.276s Done scanning. Reading book deps Makefile-deps created on Tue Dec 13 03:26:10 UTC 2016 Determining ACL2 features (for ACL2 = /<>/saved_acl2) ls: cannot access '/<>/books/build/Makefile-features': No such file or directory Determining whether Glucose is installed Determining whether Smtlink is supported -- BOZO todo, for now pretending it does not! ACL2_HAS_HONS := ACL2_HAS_ANSI := ACL2_HAS_PARALLEL := ACL2_HAS_REALS := ACL2_COMP_EXT := ACL2_HOST_LISP := OS_HAS_GLUCOSE := OS_HAS_SMTLINK := USE_QUICKLISP := Done with features. Excluding books that need ACL2(h) [...] Excluding books that are CCL-only: [] Excluding books that need ANSI Common Lisp [...] Excluding books that need Glucose: [centaur/aig/aig-sat-tests.cert centaur/esim/tests/add.cert centaur/esim/tests/common.cert centaur/esim/tests/divide.cert centaur/esim/tests/idiv.cert centaur/esim/tests/multiply.cert centaur/esim/tests/regs.cert centaur/esim/tests/subtract.cert centaur/esim/tutorial/boothmul.cert centaur/sv/tutorial/alu.cert centaur/sv/tutorial/boothpipe.cert doc/top.cert ] Excluding books that need Smtlink: [workshops/2015/peng-greenstreet/support/examples/DPLL/DPLL_proof.cert workshops/2015/peng-greenstreet/support/examples/DPLL/DPLL_proof_floor.cert workshops/2015/peng-greenstreet/support/examples/examples.cert workshops/2015/peng-greenstreet/support/examples/other-examples.cert ] Excluding ACL2(r)-only books: [nonstd/fft/fft-trig-with-axioms.cert nonstd/fft/fft-trig.cert nonstd/integrals/continuous-function.cert nonstd/integrals/equivalence-continuous-function.cert nonstd/integrals/equivalence-ftc.cert nonstd/integrals/equivalence-integrals.cert nonstd/integrals/ftc-1.cert nonstd/integrals/ftc-2.cert nonstd/integrals/integrable-functions.cert nonstd/integrals/integral-of-polynomials.cert nonstd/integrals/integration-composition-equivalences.cert nonstd/integrals/integration-composition.cert nonstd/integrals/make-partition.cert nonstd/integrals/split-integral-by-subintervals.cert nonstd/nsa/alternating-series.cert nonstd/nsa/chain-rule.cert nonstd/nsa/complex-polar.cert nonstd/nsa/continuity-product.cert nonstd/nsa/continuity.cert nonstd/nsa/derivative-raise.cert nonstd/nsa/derivatives-composition.cert nonstd/nsa/derivatives.cert nonstd/nsa/equivalence-continuity.cert nonstd/nsa/equivalence-derivatives-composition.cert nonstd/nsa/equivalence-derivatives.cert nonstd/nsa/equivalence-limits.cert nonstd/nsa/exp-continuous.cert nonstd/nsa/exp-sum.cert nonstd/nsa/exp.cert nonstd/nsa/factorial.cert nonstd/nsa/intervals.cert nonstd/nsa/inverse-derivatives.cert nonstd/nsa/inverse-monotone.cert nonstd/nsa/inverse-square.cert nonstd/nsa/inverse-trig.cert nonstd/nsa/inverses.cert nonstd/nsa/ln.cert nonstd/nsa/next-integer.cert nonstd/nsa/norm.cert nonstd/nsa/nsa.cert nonstd/nsa/overspill-proof.cert nonstd/nsa/overspill-test.cert nonstd/nsa/overspill.cert nonstd/nsa/raise.cert nonstd/nsa/sine.cert nonstd/nsa/sqrt.cert nonstd/nsa/trig-approx.cert nonstd/nsa/trig.cert nonstd/polynomials/polynomial-calculus.cert nonstd/polynomials/polynomial-defuns.cert nonstd/polynomials/polynomial-lemmas.cert nonstd/sqrt/no-sqrt.cert nonstd/transcendentals/nested-intervals-revised.cert nonstd/transcendentals/nested-intervals.cert nonstd/transcendentals/reals-are-uncountable-1.cert nonstd/transcendentals/reals-are-uncountable-2.cert nonstd/workshops/1999/analysis/continuity.cert nonstd/workshops/1999/analysis/derivatives.cert nonstd/workshops/1999/analysis/exercise1.cert nonstd/workshops/1999/analysis/exercise2.cert nonstd/workshops/1999/analysis/exercise3.cert nonstd/workshops/1999/analysis/exercise4.cert nonstd/workshops/1999/analysis/exercise5.cert nonstd/workshops/1999/analysis/exercise6.cert nonstd/workshops/1999/analysis/exercise7.cert nonstd/workshops/1999/analysis/exercise8.cert nonstd/workshops/1999/calculus/book/between-i-close-implies-i-close.cert nonstd/workshops/1999/calculus/book/between-limited-implies-limited.cert nonstd/workshops/1999/calculus/book/defaxioms.cert nonstd/workshops/1999/calculus/book/equal-riemann-rcfn-refinement-reduction.cert nonstd/workshops/1999/calculus/book/ftoc-lemma.cert nonstd/workshops/1999/calculus/book/fundamental-theorem-of-calculus.cert nonstd/workshops/1999/calculus/book/i-close-implies-abs-difference-small.cert nonstd/workshops/1999/calculus/book/i-limited-rcfn.cert nonstd/workshops/1999/calculus/book/i-small-maxlist-abslist-difflist-maps.cert nonstd/workshops/1999/calculus/book/integral-rcfn-equal-if-i-close.cert nonstd/workshops/1999/calculus/book/integral-rcfn-lemmas.cert nonstd/workshops/1999/calculus/book/integral-rcfn-quotient-between-non-classical.cert nonstd/workshops/1999/calculus/book/integral-rcfn.cert nonstd/workshops/1999/calculus/book/make-partition.cert nonstd/workshops/1999/calculus/book/map-rcfn-close-to-map-rcfn-refinement.cert nonstd/workshops/1999/calculus/book/map-rcfn-refinement-cdr-co-member.cert nonstd/workshops/1999/calculus/book/max-and-min-attained.cert nonstd/workshops/1999/calculus/book/max-x-between.cert nonstd/workshops/1999/calculus/book/maxlist-abslist-difflist-maps-lt.cert nonstd/workshops/1999/calculus/book/min-max-x-rec-lemmas.cert nonstd/workshops/1999/calculus/book/min-x-and-max-x-lemmas.cert nonstd/workshops/1999/calculus/book/min-x-between.cert nonstd/workshops/1999/calculus/book/next-gte-close.cert nonstd/workshops/1999/calculus/book/nsa-lemmas.cert nonstd/workshops/1999/calculus/book/nsa.cert nonstd/workshops/1999/calculus/book/partitions-give-i-close-riemann-sum.cert nonstd/workshops/1999/calculus/book/proof-outline.cert nonstd/workshops/1999/calculus/book/rcfn-next-gte-close.cert nonstd/workshops/1999/calculus/book/rcfn-standard-part.cert nonstd/workshops/1999/calculus/book/refinement-makes-i-small-change-1.cert nonstd/workshops/1999/calculus/book/refinement-makes-i-small-change.cert nonstd/workshops/1999/calculus/book/riemann-bound.cert nonstd/workshops/1999/calculus/book/riemann-defuns.cert nonstd/workshops/1999/calculus/book/riemann-lemmas.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-between.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-lower-bound.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-refinement-is-riemann-rcfn.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-upper-bound.cert nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral-1.cert nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral-2.cert nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral.cert nonstd/workshops/1999/calculus/book/riemann.cert nonstd/workshops/1999/calculus/book/split-integral-by-subintervals.cert nonstd/workshops/1999/calculus/book/standard-part-equal-if-i-close.cert nonstd/workshops/1999/calculus/book/standard-part-preserves-between.cert nonstd/workshops/1999/calculus/book/standard-part-riemann-rcfn-is-standard.cert nonstd/workshops/1999/calculus/book/two-times-r-is-not-less-than-standard-part.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/abs-derivative.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/chain-composition.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/composition-elem.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/differentiator.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/exp-minimal.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/exp-properties.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-composition.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-derivative.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-square.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-trig-derivatives.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-trig-ex.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/ln-derivative-real.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/nsa-ex.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/product-composition.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/sin-cos-minimal.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/sqrt-derivative.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/sum-composition.cert nonstd/workshops/2013/helms-gamboa-quantum/support/quantum.cert projects/hybrid-systems/abs.cert projects/hybrid-systems/arith-nsa4.cert projects/hybrid-systems/computed-hints.cert projects/hybrid-systems/eexp.cert projects/hybrid-systems/example.cert projects/hybrid-systems/nsa.cert projects/hybrid-systems/o-real-p.cert projects/hybrid-systems/phi-exists.cert projects/hybrid-systems/phi-properties.cert projects/hybrid-systems/phi-unique.cert projects/hybrid-systems/tm-floor.cert workshops/2015/chau-kaufmann-hunt/support/cosines-orthog.cert workshops/2015/chau-kaufmann-hunt/support/fourier-coefficients-2.cert workshops/2015/chau-kaufmann-hunt/support/fourier-coefficients.cert workshops/2015/chau-kaufmann-hunt/support/fourier-inner-product.cert workshops/2015/chau-kaufmann-hunt/support/fourier-sums.cert workshops/2015/chau-kaufmann-hunt/support/int-infinite-sum-1.cert workshops/2015/chau-kaufmann-hunt/support/int-infinite-sum-2.cert workshops/2015/chau-kaufmann-hunt/support/int-sum.cert workshops/2015/chau-kaufmann-hunt/support/riemann-integral/continuity-2.cert workshops/2015/chau-kaufmann-hunt/support/riemann-integral/continuous-function-2.cert workshops/2015/chau-kaufmann-hunt/support/riemann-integral/ftc-1-2.cert workshops/2015/chau-kaufmann-hunt/support/sine-cosine-orthog.cert workshops/2015/chau-kaufmann-hunt/support/sines-orthog.cert workshops/2015/chau-kaufmann-hunt/support/utils.cert ] Excluding books that depend on Quicklisp: [centaur/4v-sexpr/sexpr-purebool-p.cert centaur/4v-sexpr/top.cert centaur/aig/aig-sat-tests.cert centaur/aig/aig-sat.cert centaur/aig/faig-purebool-p.cert centaur/aig/top.cert centaur/esim/stv/stv-debug.cert centaur/esim/stv/stv2c/top.cert centaur/esim/tests/add.cert centaur/esim/tests/common.cert centaur/esim/tests/divide.cert centaur/esim/tests/idiv.cert centaur/esim/tests/multiply.cert centaur/esim/tests/regs.cert centaur/esim/tests/subtract.cert centaur/esim/tutorial/alu16-book.cert centaur/esim/tutorial/boothmul.cert centaur/esim/tutorial/counter.cert centaur/esim/tutorial/intro.cert centaur/esim/vcd/vcd-impl.cert centaur/esim/vcd/vcd.cert centaur/gl/bfr-satlink.cert centaur/gl/gl-ttags.cert centaur/misc/sharedlibtest/app.cert centaur/misc/tshell-tests.cert centaur/misc/tshell.cert centaur/quicklisp/base.cert centaur/quicklisp/bordeaux.cert centaur/quicklisp/bt-semaphore.cert centaur/quicklisp/cl-fad.cert centaur/quicklisp/external-program.cert centaur/quicklisp/fastnumio.cert centaur/quicklisp/html-template.cert centaur/quicklisp/hunchentoot.cert centaur/quicklisp/osicat.cert centaur/quicklisp/shellpool.cert centaur/quicklisp/top.cert centaur/quicklisp/uiop.cert centaur/satlink/benchmarks.cert centaur/satlink/check-config.cert centaur/satlink/top.cert centaur/sv/cosims/cosims.cert centaur/sv/tutorial/alu.cert centaur/sv/tutorial/boothpipe.cert centaur/vl/kit/gather.cert centaur/vl/kit/lint.cert centaur/vl/kit/pp.cert centaur/vl/kit/progutils.cert centaur/vl/kit/server.cert centaur/vl/kit/shell.cert centaur/vl/kit/top.cert centaur/vl/kit/zip.cert centaur/vl/loader/top.cert centaur/vl/server/file-layout.cert centaur/vl/server/server.cert centaur/vl2014/kit/gather.cert centaur/vl2014/kit/json.cert centaur/vl2014/kit/lint.cert centaur/vl2014/kit/model.cert centaur/vl2014/kit/pp.cert centaur/vl2014/kit/progutils.cert centaur/vl2014/kit/server.cert centaur/vl2014/kit/shell.cert centaur/vl2014/kit/top.cert centaur/vl2014/server/file-layout.cert centaur/vl2014/server/server.cert doc/top.cert oslib/copy.cert oslib/dirname.cert oslib/file-types.cert oslib/ls.cert oslib/mkdir.cert oslib/rmtree.cert oslib/tests/copy.cert oslib/tests/dirname.cert oslib/tests/file-types.cert oslib/tests/ls.cert oslib/tests/mkdir.cert oslib/tests/top.cert oslib/top.cert projects/doc.cert projects/sidekick/eventdata.cert projects/sidekick/explore.cert projects/sidekick/lint.cert projects/sidekick/lock.cert projects/sidekick/lookup.cert projects/sidekick/server.cert projects/sidekick/session.cert projects/sidekick/top.cert projects/sidekick/webcommand.cert system/doc/acl2-manual.cert tools/oracle-timelimit-tests.cert tools/oracle-timelimit.cert workshops/2015/peng-greenstreet/support/SMT-connect.cert workshops/2015/peng-greenstreet/support/SMT-interpreter.cert workshops/2015/peng-greenstreet/support/SMT-py.cert workshops/2015/peng-greenstreet/support/SMT-run.cert workshops/2015/peng-greenstreet/support/examples/DPLL/DPLL_proof.cert workshops/2015/peng-greenstreet/support/examples/DPLL/DPLL_proof_floor.cert workshops/2015/peng-greenstreet/support/examples/examples.cert workshops/2015/peng-greenstreet/support/examples/other-examples.cert workshops/2015/peng-greenstreet/support/top.cert xdoc/all.cert xdoc/save-fancy.cert xdoc/save.cert ] Using clean.pl to remove certificates, etc. /<>/books/build/clean.pl clean.pl: scanning for generated files clean.pl: found 2 targets (0 seconds) clean.pl: deleted 2 files (0 seconds) Cleaning up Quicklisp files cd centaur/quicklisp; ./clean.sh Cleaning asdf-home/cache/common-lisp Cleaning quicklisp books clean.pl: scanning for generated files clean.pl: found 0 targets (0 seconds) clean.pl: deleted 0 files (0 seconds) if [ -d projects/milawa/ACL2 ] ; then \ cd projects/milawa/ACL2; /usr/bin/make clean ; \ fi make[3]: Entering directory '/<>/books/projects/milawa/ACL2' Calculating cert dependencies... Calculating pcert dependencies... Done with dependencies. Cleaning ACL2 directory (certificates, ACL2 images, etc.) clean.pl: scanning for generated files clean.pl: found 1 targets (0 seconds) clean.pl: deleted 1 files (0 seconds) Cleaning ../Proofs directory. make[3]: Leaving directory '/<>/books/projects/milawa/ACL2' Cleaning centaur/vl/bin directory Cleaning centaur/vl2014/bin directory Removing extra, explicitly temporary files. rm -rf /<>/books/build/Makefile-comp /<>/books/build/Makefile-comp-pre /<>/books/build/Makefile-deps /<>/books/build/Makefile-books /<>/books/build/Makefile-features /<>/books/build/Makefile-cache serialize/test.sao bdd/benchmarks.lisp nonstd/workshops/1999/calculus/book/tree.lisp centaur/getopt/demo2.core centaur/getopt/demo2.gcl centaur/getopt/demo2.lw centaur/getopt/demo2.lx86cl64 centaur/getopt/demo2.ccl nonstd/workshops/1999/calculus/book/outline/ for dir in system/toothbrush/ clause-processors/SULFA/ projects/translators/l3-to-acl2/ workshops/1999/multiplier/ workshops/2003/greve-wilding-vanfleet/support/ workshops/2003/kaufmann/support/input/ workshops/2004/sumners-ray/support/ \ workshops/2003/kaufmann/support/rtl ; \ do \ if [ -f $dir/Makefile ] ; then \ (cd $dir ; /usr/bin/make clean) ; \ fi ; \ done make[3]: Entering directory '/<>/books/system/toothbrush' Updating dependencies in /<>/books/system/toothbrush Note: For toothbrush, ACL2_DIR = /<>/. rm -f defined-syms.lsp rm -f success.txt cd tests ; /usr/bin/make clean make[4]: Entering directory '/<>/books/system/toothbrush/tests' make[5]: Entering directory '/<>/books/system/toothbrush/tests/test1' Updating dependencies in /<>/books/system/toothbrush/tests/test1 rm -f output.lsp success.txt tb-exec* rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[5]: Leaving directory '/<>/books/system/toothbrush/tests/test1' make[5]: Entering directory '/<>/books/system/toothbrush/tests/test2' Updating dependencies in /<>/books/system/toothbrush/tests/test2 rm -f output.lsp success.txt tb-exec* rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[5]: Leaving directory '/<>/books/system/toothbrush/tests/test2' make[5]: Entering directory '/<>/books/system/toothbrush/tests/test-par' Updating dependencies in /<>/books/system/toothbrush/tests/test-par rm -f output.lsp success.txt tb-exec* rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[5]: Leaving directory '/<>/books/system/toothbrush/tests/test-par' make[5]: Entering directory '/<>/books/system/toothbrush/tests/dag-unification' Updating dependencies in /<>/books/system/toothbrush/tests/dag-unification rm -f output.lsp success.txt tb-exec* rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[5]: Leaving directory '/<>/books/system/toothbrush/tests/dag-unification' make[4]: Leaving directory '/<>/books/system/toothbrush/tests' rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[3]: Leaving directory '/<>/books/system/toothbrush' make[3]: Entering directory '/<>/books/clause-processors/SULFA' rm -f \#*\# *~ rm -f scripts/interpret_sulfa_file /usr/bin/make PERL=perl SAT_SOLVER=/<>/books/clause-processors/SULFA/../../../aux/minisat2//minisat/core/minisat SAT_SOLVER_TYPE=minisat CC=gcc clean-subdirs make[4]: Entering directory '/<>/books/clause-processors/SULFA' for dir in scripts c-files books; do \ /usr/bin/make PERL=perl SAT_SOLVER=/<>/books/clause-processors/SULFA/../../../aux/minisat2//minisat/core/minisat SAT_SOLVER_TYPE=minisat CC=gcc clean -C $dir; \ done make[5]: Entering directory '/<>/books/clause-processors/SULFA/scripts' rm -f sexpr-sat-solver *~ \#*\# rm -f *acl2_with_smt* temp_command_file.lisp rm -fr sat-temp-files rm -fr sulfa_smt_temp rm -f sulfa-smt rm -f interpret_sulfa_file make[5]: Leaving directory '/<>/books/clause-processors/SULFA/scripts' make[5]: Entering directory '/<>/books/clause-processors/SULFA/c-files' rm -f sat-input-formater smt-prep zchaff-output-formater minisat-output-formater *~ #*# make[5]: Leaving directory '/<>/books/clause-processors/SULFA/c-files' make[5]: Entering directory '/<>/books/clause-processors/SULFA/books' make[6]: Entering directory '/<>/books/clause-processors/SULFA/books/sat' rm -f \#*\# *.cert *~ *.sexpr *.d *.sot sulfa-dir-const.lisp sat-setup.data rm -f -r sat-temp-files rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[6]: Leaving directory '/<>/books/clause-processors/SULFA/books/sat' make[6]: Entering directory '/<>/books/clause-processors/SULFA/books/clause-processors' Updating dependencies in /<>/books/clause-processors/SULFA/books/clause-processors rm -f *.cert *~ *.sexpr *.d *.sot *~ \#*\# rm -f -r sat-temp-files rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[6]: Leaving directory '/<>/books/clause-processors/SULFA/books/clause-processors' make[6]: Entering directory '/<>/books/clause-processors/SULFA/books/sat-tests' rm -f *.cert *~ *.sexpr *.d *.sot rm -f -r sat-temp-files rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[6]: Leaving directory '/<>/books/clause-processors/SULFA/books/sat-tests' make[6]: Entering directory '/<>/books/clause-processors/SULFA/books/bv-smt-solver' Updating dependencies in /<>/books/clause-processors/SULFA/books/bv-smt-solver rm -f *.cert *~ *.sexpr *.d *.sot *~ \#*\# *.smt *.prepped rm -fr sat-temp-files rm -f *.bak rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[6]: Leaving directory '/<>/books/clause-processors/SULFA/books/bv-smt-solver' make[5]: Leaving directory '/<>/books/clause-processors/SULFA/books' make[4]: Leaving directory '/<>/books/clause-processors/SULFA' make[3]: Leaving directory '/<>/books/clause-processors/SULFA' make[3]: Entering directory '/<>/books/projects/translators/l3-to-acl2' Makefile:22: ACL2_DIR is /<> make[4]: Entering directory '/<>/books/projects/translators/l3-to-acl2/translator' Updating dependencies in /<>/books/projects/translators/l3-to-acl2/translator rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[4]: Leaving directory '/<>/books/projects/translators/l3-to-acl2/translator' make[4]: Entering directory '/<>/books/projects/translators/l3-to-acl2/examples/thacker' Makefile:35: L3_TO_ACL2_DIR is /<>/books/projects/translators/l3-to-acl2/translator rm -f tiny.lisp tiny-logic.lisp run-check.txt rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[4]: Leaving directory '/<>/books/projects/translators/l3-to-acl2/examples/thacker' make[3]: Leaving directory '/<>/books/projects/translators/l3-to-acl2' make[3]: Entering directory '/<>/books/workshops/1999/multiplier' rm -f fmul.lisp fmul-star.lisp rm -f *.tem rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[3]: Leaving directory '/<>/books/workshops/1999/multiplier' make[3]: Entering directory '/<>/books/workshops/2003/greve-wilding-vanfleet/support' rm -f consistency-test.lisp make.lisp consistency-test-passed.lisp rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[3]: Leaving directory '/<>/books/workshops/2003/greve-wilding-vanfleet/support' make[3]: Entering directory '/<>/books/workshops/2003/kaufmann/support/input' rm -f defs-out.lisp defs-eq.lisp lemmas-out.lisp check.txt rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[3]: Leaving directory '/<>/books/workshops/2003/kaufmann/support/input' make[3]: Entering directory '/<>/books/workshops/2004/sumners-ray/support' Updating dependencies in /<>/books/workshops/2004/sumners-ray/support rm -f *.rpt rm -f success.txt rm -f run.date run.log run.err rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[3]: Leaving directory '/<>/books/workshops/2004/sumners-ray/support' make[3]: Entering directory '/<>/books/workshops/2003/kaufmann/support/rtl' rm -f model.lisp model-defs.lisp model-eq.lisp model.lisp bvecp.lisp rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[3]: Leaving directory '/<>/books/workshops/2003/kaufmann/support/rtl' Removing even more generated files (documentation, etc). rm -rf doc/manual system/doc/manual doc/xdoc.sao make[2]: Leaving directory '/<>/books' make[1]: Leaving directory '/<>' find books -name "*.final" -exec rm {} \; rm -f saved_acl2 init_nsaved1_acl2.lsp worklispext rm -f debian/mini-proveall.out books/short-test.log debian/test.log rm -f foo.lsp nsaved_acl2 for i in data c h ; do \ for j in $(find -name "*.$i") ; do\ k=$(echo $j | sed "s,\.$i$,,1") ;\ ! [ -e $k.lisp ] || rm $j ; \ done ; \ done rm -f books/bdd/benchmarks.data acl2r.lisp tmp rm -f debian/dpatches debian/acl2.install debian/acl2-source.install debian/acl2-emacs.install debian/acl2-doc.install debian/acl2-books.install debian/acl2-books-source.install debian/acl2-books-certs.install debian/acl2-infix.install debian/acl2-infix-source.install debian/acl2.links debian/acl2-books.links debian/acl2-infix.links debian/README.Debian saved_acl2* rm -f debian/dlopen.lisp debian/acl2-emacs.emacsen-startup rm -f debian/acl2.sh pgcl books/Makefile-tmp books/coi/gensym/gensym.out sys-proclaim.lisp rm -f books/coi/gensym/Makefile-deps books/coi/gensym/workxxx.gensym books/system/doc/rendered-doc.lsp rm -rf doc/HTML-old doc/EMACS-old doc/acl2-wc.txt books/std/io/test.sao rm -f books/centaur/bitops/bitsets-opt-raw.o books/centaur/vl/util/gc-raw.o \ books/centaur/misc/tshell-raw.o books/centaur/vl/Makefile-tmp \ books/build/Makefile-sources books/build/Makefile-certs rm -f debian/acl2-books-certs.lintian-overrides dh_clean -XTAGS dh_clean: Compatibility levels before 9 are deprecated (level 5 in use) debian/rules build-arch cat debian/dlopen.lisp.in | sed "s,@VR@,7.2dfsg,g" > debian/dlopen.lisp gcl -batch -eval "(bye #-native-reloc 1)" || \ (gcl -batch -eval '(load "debian/dlopen.lisp")' && /usr/bin/make do_saved) gcl -batch -eval "(bye #+native-reloc 1)" || /usr/bin/make GCL_ANSI=t LISP=gcl make[1]: Entering directory '/<>' ACL2_WD is /<> rm -f acl2r.lisp /usr/bin/make acl2r.lisp make[2]: Entering directory '/<>' ACL2_WD is /<> echo "" > acl2r.lisp if [ "" != "" ] ; then \ echo '(or (member :non-standard-analysis *features*) (push :non-standard-analysis *features*))' >> acl2r.lisp ;\ fi if [ "h" != "" ] ; then \ echo '(or (member :hons *features*) (push :hons *features*))' >> acl2r.lisp ;\ fi if [ "h" = "h_hack" ] ; then \ echo '(or (member :memoize-hack *features*) (push :memoize-hack *features*))' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo '(or (member :acl2-par *features*) (push :acl2-par *features*))' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo '(or (member :acl2-devel *features*) (push :acl2-devel *features*))' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ mv -f ~/write-arithmetic-goals.lisp.old ; \ mv -f ~/write-arithmetic-goals.lisp ~/write-arithmetic-goals.lisp.old ; \ echo '(or (member :write-arithmetic-goals *features*) (push :write-arithmetic-goals *features*))' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo "(defparameter *acl2-safety* )" >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo "(defparameter *acl2-stack-access* )" >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo '(or (find-package "ACL2") (#+(and gcl (not ansi-cl)) defpackage:defpackage #-(and gcl (not ansi-cl)) defpackage "ACL2" (:size ) (:use)))' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo '(DEFPARAMETER *ACL2-COMPILER-ENABLED* NIL)' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo '(DEFPARAMETER *ACL2-EGC-ON* )' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo '(DEFPARAMETER *ACL2-EXIT-LISP-HOOK* (QUOTE ))' >> acl2r.lisp ;\ fi make[2]: Leaving directory '/<>' rm -f TAGS /usr/bin/make TAGS make[2]: Entering directory '/<>' ACL2_WD is /<> rm -f TAGS rm -f workxxx echo '(load "init.lisp")' > workxxx echo '(acl2::make-tags)' >> workxxx echo '(acl2::exit-lisp)' >> workxxx gcl < workxxx GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ >;; Loading "init.lisp" ;; Loading "acl2r.lisp" ;; Finished loading "acl2r.lisp" ;; Loading "acl2-init.lisp" ;; Loading "acl2.lisp" ;; Loading "acl2-fns.lisp" ;; Finished loading "acl2-fns.lisp" Compiling acl2-fns.lisp. End of Pass 1. ;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration. ;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of REV1@ was replaced by iteration. ;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration. ;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/acl2-fns.o. ;; Loading #p"acl2-fns.o" start address -T 0xed9bd0 ;; Finished loading #p"acl2-fns.o" ;; Finished loading "acl2.lisp" ;; Finished loading "acl2-init.lisp" ;; Finished loading "init.lisp" T >GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ >/usr/bin/etags 0 0 >rm -f workxxx if [ -f TAGS ] ; then chmod 644 TAGS ; fi make[2]: Leaving directory '/<>' /usr/bin/make compile make[2]: Entering directory '/<>' ACL2_WD is /<> rm -f workxxx echo '(load "init.lisp")' > workxxx echo '(acl2::compile-acl2 )' >> workxxx echo '(acl2::exit-lisp)' >> workxxx gcl < workxxx GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ >;; Loading "init.lisp" ;; Loading "acl2r.lisp" ;; Finished loading "acl2r.lisp" ;; Loading "acl2-init.lisp" ;; Loading "acl2.lisp" ;; Loading "acl2-fns.lisp" ;; Finished loading "acl2-fns.lisp" Compiling acl2-fns.lisp. End of Pass 1. ;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration. ;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of REV1@ was replaced by iteration. ;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration. ;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/acl2-fns.o. ;; Loading #p"acl2-fns.o" start address -T 0xed9bd0 ;; Finished loading #p"acl2-fns.o" ;; Finished loading "acl2.lisp" ;; Finished loading "acl2-init.lisp" ;; Finished loading "init.lisp" T >GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ >;; Loading "/usr/lib/gcl-2.6.12/xgcl-2/../cmpnew/gcl_collectfn.o" start address -T 0xeecc40 ;; Finished loading "/usr/lib/gcl-2.6.12/xgcl-2/../cmpnew/gcl_collectfn.o" ;; Loading "acl2-check.lisp" Check completed. ;; Finished loading "acl2-check.lisp" ;; Loading #p"serialize-raw.lisp" ;; Finished loading #p"serialize-raw.lisp" Compiling serialize-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/serialize-raw.o. ;; Loading #p"serialize-raw.o" start address -T 0xf96700 ;; Finished loading #p"serialize-raw.o" ;; Loading #p"axioms.lisp" ;; Finished loading #p"axioms.lisp" Compiling axioms.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/axioms.o. ;; Loading #p"axioms.o" start address -T 0x11f7df0 ;; Finished loading #p"axioms.o" ;; Loading #p"basis-a.lisp" ;; Finished loading #p"basis-a.lisp" Compiling basis-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/basis-a.o. ;; Loading #p"basis-a.o" start address -T 0x4375810 ;; Finished loading #p"basis-a.o" ;; Loading #p"memoize.lisp" ;; Finished loading #p"memoize.lisp" Compiling memoize.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/memoize.o. ;; Loading #p"memoize.o" start address -T 0x115d600 ;; Finished loading #p"memoize.o" ;; Loading #p"hons.lisp" ;; Finished loading #p"hons.lisp" Compiling hons.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/hons.o. ;; Loading #p"hons.o" start address -T 0x11bcf30 ;; Finished loading #p"hons.o" ;; Loading #p"serialize.lisp" ;; Finished loading #p"serialize.lisp" Compiling serialize.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/serialize.o. ;; Loading #p"serialize.o" start address -T 0x11dd150 ;; Finished loading #p"serialize.o" ;; Loading #p"basis-b.lisp" ;; Finished loading #p"basis-b.lisp" Compiling basis-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/basis-b.o. ;; Loading #p"basis-b.o" start address -T 0x12a7220 ;; Finished loading #p"basis-b.o" ;; Loading #p"parallel.lisp" ;; Finished loading #p"parallel.lisp" Compiling parallel.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/parallel.o. ;; Loading #p"parallel.o" start address -T 0xfd3910 ;; Finished loading #p"parallel.o" ;; Loading #p"hons-raw.lisp" ;; Finished loading #p"hons-raw.lisp" Compiling hons-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/hons-raw.o. ;; Loading #p"hons-raw.o" start address -T 0xf44e00 ;; Finished loading #p"hons-raw.o" ;; Loading #p"memoize-raw.lisp" ;; Finished loading #p"memoize-raw.lisp" Compiling memoize-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/memoize-raw.o. ;; Loading #p"memoize-raw.o" start address -T 0x12d5fa0 ;; Finished loading #p"memoize-raw.o" ;; Loading #p"translate.lisp" ;; Finished loading #p"translate.lisp" Compiling translate.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/translate.o. ;; Loading #p"translate.o" start address -T 0x13039e0 ;; Finished loading #p"translate.o" ;; Loading #p"type-set-a.lisp" ;; Finished loading #p"type-set-a.lisp" Compiling type-set-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/type-set-a.o. ;; Loading #p"type-set-a.o" start address -T 0x135f940 ;; Finished loading #p"type-set-a.o" ;; Loading #p"linear-a.lisp" ;; Finished loading #p"linear-a.lisp" Compiling linear-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/linear-a.o. ;; Loading #p"linear-a.o" start address -T 0x1378480 ;; Finished loading #p"linear-a.o" ;; Loading #p"type-set-b.lisp" ;; Finished loading #p"type-set-b.lisp" Compiling type-set-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/type-set-b.o. ;; Loading #p"type-set-b.o" start address -T 0x13a6080 ;; Finished loading #p"type-set-b.o" ;; Loading #p"linear-b.lisp" ;; Finished loading #p"linear-b.lisp" Compiling linear-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/linear-b.o. ;; Loading #p"linear-b.o" start address -T 0x140aff0 ;; Finished loading #p"linear-b.o" ;; Loading #p"non-linear.lisp" ;; Finished loading #p"non-linear.lisp" Compiling non-linear.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/non-linear.o. ;; Loading #p"non-linear.o" start address -T 0x1423870 ;; Finished loading #p"non-linear.o" ;; Loading #p"tau.lisp" ;; Finished loading #p"tau.lisp" Compiling tau.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/tau.o. ;; Loading #p"tau.o" start address -T 0x143e4d0 ;; Finished loading #p"tau.o" ;; Loading #p"rewrite.lisp" ;; Finished loading #p"rewrite.lisp" Compiling rewrite.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/rewrite.o. ;; Loading #p"rewrite.o" start address -T 0x14a9180 ;; Finished loading #p"rewrite.o" ;; Loading #p"simplify.lisp" ;; Finished loading #p"simplify.lisp" Compiling simplify.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/simplify.o. ;; Loading #p"simplify.o" start address -T 0x1558f70 ;; Finished loading #p"simplify.o" ;; Loading #p"bdd.lisp" ;; Finished loading #p"bdd.lisp" Compiling bdd.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/bdd.o. ;; Loading #p"bdd.o" start address -T 0x15b43d0 ;; Finished loading #p"bdd.o" ;; Loading #p"other-processes.lisp" ;; Finished loading #p"other-processes.lisp" Compiling other-processes.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/other-processes.o. ;; Loading #p"other-processes.o" start address -T 0x15f01d0 ;; Finished loading #p"other-processes.o" ;; Loading #p"induct.lisp" ;; Finished loading #p"induct.lisp" Compiling induct.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/induct.o. ;; Loading #p"induct.o" start address -T 0x161c510 ;; Finished loading #p"induct.o" ;; Loading #p"proof-checker-pkg.lisp" ;; Finished loading #p"proof-checker-pkg.lisp" ;; Loading #p"doc.lisp" ;; Finished loading #p"doc.lisp" Compiling doc.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/doc.o. ;; Loading #p"doc.o" start address -T 0x11e2320 ;; Finished loading #p"doc.o" ;; Loading #p"history-management.lisp" ;; Finished loading #p"history-management.lisp" Compiling history-management.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/history-management.o. ;; Loading #p"history-management.o" start address -T 0x1689dd0 ;; Finished loading #p"history-management.o" ;; Loading #p"prove.lisp" ;; Finished loading #p"prove.lisp" Compiling prove.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/prove.o. ;; Loading #p"prove.o" start address -T 0x1796a10 ;; Finished loading #p"prove.o" ;; Loading #p"defuns.lisp" ;; Finished loading #p"defuns.lisp" Compiling defuns.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/defuns.o. ;; Loading #p"defuns.o" start address -T 0x18384c0 ;; Finished loading #p"defuns.o" ;; Loading #p"proof-checker-a.lisp" ;; Finished loading #p"proof-checker-a.lisp" Compiling proof-checker-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/proof-checker-a.o. ;; Loading #p"proof-checker-a.o" start address -T 0x18a24d0 ;; Finished loading #p"proof-checker-a.o" ;; Loading #p"defthm.lisp" ;; Finished loading #p"defthm.lisp" Compiling defthm.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/defthm.o. ;; Loading #p"defthm.o" start address -T 0x18df180 ;; Finished loading #p"defthm.o" ;; Loading #p"other-events.lisp" ;; Finished loading #p"other-events.lisp" Compiling other-events.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/other-events.o. ;; Loading #p"other-events.o" start address -T 0x197ff00 ;; Finished loading #p"other-events.o" ;; Loading #p"ld.lisp" ;; Finished loading #p"ld.lisp" Compiling ld.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/ld.o. ;; Loading #p"ld.o" start address -T 0x1b902b0 ;; Finished loading #p"ld.o" ;; Loading #p"proof-checker-b.lisp" ;; Finished loading #p"proof-checker-b.lisp" Compiling proof-checker-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/proof-checker-b.o. ;; Loading #p"proof-checker-b.o" start address -T 0x1bf2a20 ;; Finished loading #p"proof-checker-b.o" ;; Loading #p"interface-raw.lisp" ;; Finished loading #p"interface-raw.lisp" Compiling interface-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/interface-raw.o. ;; Loading #p"interface-raw.o" start address -T 0x1c87d00 ;; Finished loading #p"interface-raw.o" ;; Loading #p"boot-strap-pass-2.lisp" ;; Finished loading #p"boot-strap-pass-2.lisp" Compiling boot-strap-pass-2.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/boot-strap-pass-2.o. ;; Loading #p"boot-strap-pass-2.o" start address -T 0x1cf0810 ;; Finished loading #p"boot-strap-pass-2.o" ;; Loading #p"/<>/defuns.fn" ;; Finished loading #p"/<>/defuns.fn" ;; Loading #p"/<>/axioms.fn" ;; Finished loading #p"/<>/axioms.fn" ;; Loading #p"/<>/rewrite.fn" ;; Finished loading #p"/<>/rewrite.fn" ;; Loading #p"/<>/parallel.fn" ;; Finished loading #p"/<>/parallel.fn" ;; Loading #p"/<>/memoize-raw.fn" ;; Finished loading #p"/<>/memoize-raw.fn" ;; Loading #p"/<>/other-events.fn" ;; Finished loading #p"/<>/other-events.fn" ;; Loading #p"/<>/ld.fn" ;; Finished loading #p"/<>/ld.fn" ;; Loading #p"/<>/serialize.fn" ;; Finished loading #p"/<>/serialize.fn" ;; Loading #p"/<>/linear-a.fn" ;; Finished loading #p"/<>/linear-a.fn" ;; Loading #p"/<>/tau.fn" ;; Finished loading #p"/<>/tau.fn" ;; Loading #p"/<>/proof-checker-a.fn" ;; Finished loading #p"/<>/proof-checker-a.fn" ;; Loading #p"/<>/bdd.fn" ;; Finished loading #p"/<>/bdd.fn" ;; Loading #p"/<>/simplify.fn" ;; Finished loading #p"/<>/simplify.fn" ;; Loading #p"/<>/type-set-b.fn" ;; Finished loading #p"/<>/type-set-b.fn" ;; Loading #p"/<>/basis-b.fn" ;; Finished loading #p"/<>/basis-b.fn" ;; Loading #p"/<>/hons-raw.fn" ;; Finished loading #p"/<>/hons-raw.fn" ;; Loading #p"/<>/basis-a.fn" ;; Finished loading #p"/<>/basis-a.fn" ;; Loading #p"/<>/prove.fn" ;; Finished loading #p"/<>/prove.fn" ;; Loading #p"/<>/translate.fn" ;; Finished loading #p"/<>/translate.fn" ;; Loading #p"/<>/doc.fn" ;; Finished loading #p"/<>/doc.fn" ;; Loading #p"/<>/hons.fn" ;; Finished loading #p"/<>/hons.fn" ;; Loading #p"/<>/linear-b.fn" ;; Finished loading #p"/<>/linear-b.fn" ;; Loading #p"/<>/defthm.fn" ;; Finished loading #p"/<>/defthm.fn" ;; Loading #p"/<>/memoize.fn" ;; Finished loading #p"/<>/memoize.fn" ;; Loading #p"/<>/type-set-a.fn" ;; Finished loading #p"/<>/type-set-a.fn" ;; Loading #p"/<>/serialize-raw.fn" ;; Finished loading #p"/<>/serialize-raw.fn" ;; Loading #p"/<>/boot-strap-pass-2.fn" ;; Finished loading #p"/<>/boot-strap-pass-2.fn" ;; Loading #p"/<>/history-management.fn" ;; Finished loading #p"/<>/history-management.fn" ;; Loading #p"/<>/interface-raw.fn" ;; Finished loading #p"/<>/interface-raw.fn" ;; Loading #p"/<>/other-processes.fn" ;; Finished loading #p"/<>/other-processes.fn" ;; Loading #p"/<>/induct.fn" ;; Finished loading #p"/<>/induct.fn" ;; Loading #p"/<>/non-linear.fn" ;; Finished loading #p"/<>/non-linear.fn" ;; Loading #p"/<>/proof-checker-b.fn" ;; Finished loading #p"/<>/proof-checker-b.fn" NIL >make[3]: Entering directory '/<>' ACL2_WD is /<> make[3]: Leaving directory '/<>' make[2]: Leaving directory '/<>' rm -f acl2-proclaims.lisp /usr/bin/make acl2-proclaims.lisp make[2]: Entering directory '/<>' ACL2_WD is /<> rm -f acl2-proclaims.lisp rm -f workxxx rm -f worklispext echo '(load "init.lisp")' > workxxx echo '(in-package "ACL2")' >> workxxx echo '(generate-acl2-proclaims)' >> workxxx echo '(exit-lisp)' >> workxxx gcl < workxxx GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ >;; Loading "init.lisp" ;; Loading "acl2r.lisp" ;; Finished loading "acl2r.lisp" ;; Loading "acl2-init.lisp" ;; Loading "acl2.lisp" ;; Loading "acl2-fns.lisp" ;; Finished loading "acl2-fns.lisp" Compiling acl2-fns.lisp. End of Pass 1. ;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration. ;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of REV1@ was replaced by iteration. ;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration. ;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/acl2-fns.o. ;; Loading #p"acl2-fns.o" start address -T 0xed9bd0 ;; Finished loading #p"acl2-fns.o" ;; Finished loading "acl2.lisp" ;; Finished loading "acl2-init.lisp" ;; Finished loading "init.lisp" T >GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ > #<"ACL2" package> ACL2> NIL ACL2>[ -f acl2-proclaims.lisp ] make[2]: Leaving directory '/<>' /usr/bin/make compile USE_ACL2_PROCLAIMS=t make[2]: Entering directory '/<>' ACL2_WD is /<> rm -f workxxx echo '(load "init.lisp")' > workxxx echo '(acl2::compile-acl2 t)' >> workxxx echo '(acl2::exit-lisp)' >> workxxx gcl < workxxx GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ >;; Loading "init.lisp" ;; Loading "acl2r.lisp" ;; Finished loading "acl2r.lisp" ;; Loading "acl2-init.lisp" ;; Loading "acl2.lisp" ;; Loading "acl2-fns.lisp" ;; Finished loading "acl2-fns.lisp" Compiling acl2-fns.lisp. End of Pass 1. ;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration. ;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of REV1@ was replaced by iteration. ;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration. ;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/acl2-fns.o. ;; Loading #p"acl2-fns.o" start address -T 0xed9bd0 ;; Finished loading #p"acl2-fns.o" ;; Finished loading "acl2.lisp" ;; Finished loading "acl2-init.lisp" ;; Finished loading "init.lisp" T >GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ >;; Loading "acl2-proclaims.lisp" ;; Finished loading "acl2-proclaims.lisp" ;; Loading #p"serialize-raw.lisp" ;; Finished loading #p"serialize-raw.lisp" Compiling serialize-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/serialize-raw.o. ;; Loading #p"serialize-raw.o" start address -T 0xf96700 ;; Finished loading #p"serialize-raw.o" ;; Loading #p"axioms.lisp" ;; Finished loading #p"axioms.lisp" Compiling axioms.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/axioms.o. ;; Loading #p"axioms.o" start address -T 0x11f7df0 ;; Finished loading #p"axioms.o" ;; Loading #p"basis-a.lisp" ;; Finished loading #p"basis-a.lisp" Compiling basis-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/basis-a.o. ;; Loading #p"basis-a.o" start address -T 0x4375810 ;; Finished loading #p"basis-a.o" ;; Loading #p"memoize.lisp" ;; Finished loading #p"memoize.lisp" Compiling memoize.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/memoize.o. ;; Loading #p"memoize.o" start address -T 0xf06cc0 ;; Finished loading #p"memoize.o" ;; Loading #p"hons.lisp" ;; Finished loading #p"hons.lisp" Compiling hons.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/hons.o. ;; Loading #p"hons.o" start address -T 0x11d15c0 ;; Finished loading #p"hons.o" ;; Loading #p"serialize.lisp" ;; Finished loading #p"serialize.lisp" Compiling serialize.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/serialize.o. ;; Loading #p"serialize.o" start address -T 0x1035af0 ;; Finished loading #p"serialize.o" ;; Loading #p"basis-b.lisp" ;; Finished loading #p"basis-b.lisp" Compiling basis-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/basis-b.o. ;; Loading #p"basis-b.o" start address -T 0x43c18f0 ;; Finished loading #p"basis-b.o" ;; Loading #p"parallel.lisp" ;; Finished loading #p"parallel.lisp" Compiling parallel.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/parallel.o. ;; Loading #p"parallel.o" start address -T 0xf7f340 ;; Finished loading #p"parallel.o" ;; Loading #p"hons-raw.lisp" ;; Finished loading #p"hons-raw.lisp" Compiling hons-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/hons-raw.o. ;; Loading #p"hons-raw.o" start address -T 0x128fa50 ;; Finished loading #p"hons-raw.o" ;; Loading #p"memoize-raw.lisp" ;; Finished loading #p"memoize-raw.lisp" Compiling memoize-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/memoize-raw.o. ;; Loading #p"memoize-raw.o" start address -T 0x12a0e30 ;; Finished loading #p"memoize-raw.o" ;; Loading #p"translate.lisp" ;; Finished loading #p"translate.lisp" Compiling translate.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/translate.o. ;; Loading #p"translate.o" start address -T 0x12ccd70 ;; Finished loading #p"translate.o" ;; Loading #p"type-set-a.lisp" ;; Finished loading #p"type-set-a.lisp" Compiling type-set-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/type-set-a.o. ;; Loading #p"type-set-a.o" start address -T 0xf2b480 ;; Finished loading #p"type-set-a.o" ;; Loading #p"linear-a.lisp" ;; Finished loading #p"linear-a.lisp" Compiling linear-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/linear-a.o. ;; Loading #p"linear-a.o" start address -T 0x1322060 ;; Finished loading #p"linear-a.o" ;; Loading #p"type-set-b.lisp" ;; Finished loading #p"type-set-b.lisp" Compiling type-set-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/type-set-b.o. ;; Loading #p"type-set-b.o" start address -T 0x1349460 ;; Finished loading #p"type-set-b.o" ;; Loading #p"linear-b.lisp" ;; Finished loading #p"linear-b.lisp" Compiling linear-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/linear-b.o. ;; Loading #p"linear-b.o" start address -T 0x13a4440 ;; Finished loading #p"linear-b.o" ;; Loading #p"non-linear.lisp" ;; Finished loading #p"non-linear.lisp" Compiling non-linear.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/non-linear.o. ;; Loading #p"non-linear.o" start address -T 0x13ba670 ;; Finished loading #p"non-linear.o" ;; Loading #p"tau.lisp" ;; Finished loading #p"tau.lisp" Compiling tau.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/tau.o. ;; Loading #p"tau.o" start address -T 0x13d1e00 ;; Finished loading #p"tau.o" ;; Loading #p"rewrite.lisp" ;; Finished loading #p"rewrite.lisp" Compiling rewrite.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/rewrite.o. ;; Loading #p"rewrite.o" start address -T 0x141fe10 ;; Finished loading #p"rewrite.o" ;; Loading #p"simplify.lisp" ;; Finished loading #p"simplify.lisp" Compiling simplify.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/simplify.o. ;; Loading #p"simplify.o" start address -T 0x14bad50 ;; Finished loading #p"simplify.o" ;; Loading #p"bdd.lisp" ;; Finished loading #p"bdd.lisp" Compiling bdd.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/bdd.o. ;; Loading #p"bdd.o" start address -T 0x150a910 ;; Finished loading #p"bdd.o" ;; Loading #p"other-processes.lisp" ;; Finished loading #p"other-processes.lisp" Compiling other-processes.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/other-processes.o. ;; Loading #p"other-processes.o" start address -T 0x1540cc0 ;; Finished loading #p"other-processes.o" ;; Loading #p"induct.lisp" ;; Finished loading #p"induct.lisp" Compiling induct.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/induct.o. ;; Loading #p"induct.o" start address -T 0x1568090 ;; Finished loading #p"induct.o" ;; Loading #p"proof-checker-pkg.lisp" ;; Finished loading #p"proof-checker-pkg.lisp" ;; Loading #p"doc.lisp" ;; Finished loading #p"doc.lisp" Compiling doc.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/doc.o. ;; Loading #p"doc.o" start address -T 0x11e2320 ;; Finished loading #p"doc.o" ;; Loading #p"history-management.lisp" ;; Finished loading #p"history-management.lisp" Compiling history-management.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/history-management.o. ;; Loading #p"history-management.o" start address -T 0x15cc760 ;; Finished loading #p"history-management.o" ;; Loading #p"prove.lisp" ;; Finished loading #p"prove.lisp" Compiling prove.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/prove.o. ;; Loading #p"prove.o" start address -T 0x16b9e10 ;; Finished loading #p"prove.o" ;; Loading #p"defuns.lisp" ;; Finished loading #p"defuns.lisp" Compiling defuns.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/defuns.o. ;; Loading #p"defuns.o" start address -T 0x1745fe0 ;; Finished loading #p"defuns.o" ;; Loading #p"proof-checker-a.lisp" ;; Finished loading #p"proof-checker-a.lisp" Compiling proof-checker-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/proof-checker-a.o. ;; Loading #p"proof-checker-a.o" start address -T 0x17a4fd0 ;; Finished loading #p"proof-checker-a.o" ;; Loading #p"defthm.lisp" ;; Finished loading #p"defthm.lisp" Compiling defthm.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/defthm.o. ;; Loading #p"defthm.o" start address -T 0x17dd200 ;; Finished loading #p"defthm.o" ;; Loading #p"other-events.lisp" ;; Finished loading #p"other-events.lisp" Compiling other-events.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/other-events.o. ;; Loading #p"other-events.o" start address -T 0x186cb80 ;; Finished loading #p"other-events.o" ;; Loading #p"ld.lisp" ;; Finished loading #p"ld.lisp" Compiling ld.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/ld.o. ;; Loading #p"ld.o" start address -T 0x1a3e9d0 ;; Finished loading #p"ld.o" ;; Loading #p"proof-checker-b.lisp" ;; Finished loading #p"proof-checker-b.lisp" Compiling proof-checker-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/proof-checker-b.o. ;; Loading #p"proof-checker-b.o" start address -T 0x1a98b60 ;; Finished loading #p"proof-checker-b.o" ;; Loading #p"interface-raw.lisp" ;; Finished loading #p"interface-raw.lisp" Compiling interface-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/interface-raw.o. ;; Loading #p"interface-raw.o" start address -T 0x1b255e0 ;; Finished loading #p"interface-raw.o" ;; Loading #p"boot-strap-pass-2.lisp" ;; Finished loading #p"boot-strap-pass-2.lisp" Compiling boot-strap-pass-2.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/boot-strap-pass-2.o. ;; Loading #p"boot-strap-pass-2.o" start address -T 0x1b844d0 ;; Finished loading #p"boot-strap-pass-2.o" NIL >make[3]: Entering directory '/<>' ACL2_WD is /<> make[3]: Leaving directory '/<>' make[2]: Leaving directory '/<>' rm -f workxxx rm -f worklispext echo -n "" >> osaved_acl2 rm -f osaved_acl2 echo '(load "init.lisp")' > workxxx echo '(in-package "ACL2")' >> workxxx echo '(save-acl2 (quote (initialize-acl2 (quote include-book) acl2::*acl2-pass-2-files*)) "saved_acl2")' >> workxxx echo '(exit-lisp)' >> workxxx gcl < workxxx GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ >;; Loading "init.lisp" ;; Loading "acl2r.lisp" ;; Finished loading "acl2r.lisp" ;; Loading "acl2-init.lisp" ;; Loading "acl2.lisp" ;; Loading "acl2-fns.lisp" ;; Finished loading "acl2-fns.lisp" Compiling acl2-fns.lisp. End of Pass 1. ;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration. ;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of REV1@ was replaced by iteration. ;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration. ;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/acl2-fns.o. ;; Loading #p"acl2-fns.o" start address -T 0xed9bd0 ;; Finished loading #p"acl2-fns.o" ;; Finished loading "acl2.lisp" ;; Finished loading "acl2-init.lisp" ;; Finished loading "init.lisp" T >GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ > #<"ACL2" package> ACL2>[GC for 25 RELOCATABLE-BLOCKS pages..(T=1).GC finished] [GC for 0 RELOCATABLE-BLOCKS pages..(T=1).GC finished] ;; Loading "acl2-proclaims.lisp" [GC for 13 SYMBOL pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=1).GC finished] ;; Finished loading "acl2-proclaims.lisp" ;; Loading #p"serialize-raw.o" [GC for 1 RELOCATABLE-BLOCKS pages..(T=1).GC finished] start address -T 0xf96700 ;; Finished loading #p"serialize-raw.o" ;; Loading #p"axioms.o" [GC for 1 RELOCATABLE-BLOCKS pages..(T=1).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] start address -T 0x1277df0 ;; Finished loading #p"axioms.o" ;; Loading #p"basis-a.o" [GC for 1 RELOCATABLE-BLOCKS pages..(T=1).GC finished] [GC for 6 SFUN pages..(T=1).GC finished] [GC for 6 SFUN pages..(T=1).GC finished] [GC for 6 SFUN pages..(T=0).GC finished] [GC for 6 SFUN pages..(T=1).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=1).GC finished] [GC for 9 SFUN pages..(T=1).GC finished] [GC for 9 SFUN pages..(T=1).GC finished] [GC for 9 SFUN pages..(T=0).GC finished] [GC for 9 SFUN pages..(T=1).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 51 CONS pages..(T=1).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=1).GC finished] [GC for 51 CONS pages..(T=1).GC finished] [GC for 19 SYMBOL pages..(T=1).GC finished] [GC for 2 RELOCATABLE-BLOCKS pages..(T=0).GC finished] start address -T 0x4375810 ;; Finished loading #p"basis-a.o" ;; Loading #p"memoize.o" start address -T 0xf3f7f0 ;; Finished loading #p"memoize.o" ;; Loading #p"hons.o" start address -T 0x111a4a0 ;; Finished loading #p"hons.o" ;; Loading #p"serialize.o" start address -T 0x111d9f0 ;; Finished loading #p"serialize.o" ;; Loading #p"basis-b.o" start address -T 0x43c18f0 ;; Finished loading #p"basis-b.o" ;; Loading #p"parallel.o" [GC for 2 RELOCATABLE-BLOCKS pages..(T=1).GC finished] start address -T 0x1057f00 ;; Finished loading #p"parallel.o" ;; Loading #p"hons-raw.o" [GC for 2 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 25 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 98 RELOCATABLE-BLOCKS pages..(T=0).GC finished] start address -T 0x13332e0 ;; Finished loading #p"hons-raw.o" ;; Loading #p"memoize-raw.o" start address -T 0x1af9140 ;; Finished loading #p"memoize-raw.o" ;; Loading #p"translate.o" [GC for 2 CFUN pages..(T=1).GC finished] start address -T 0x1b25080 ;; Finished loading #p"translate.o" ;; Loading #p"type-set-a.o" [GC for 51 CONS pages..(T=1).GC finished] start address -T 0xf83340 ;; Finished loading #p"type-set-a.o" ;; Loading #p"linear-a.o" start address -T 0x1b78370 ;; Finished loading #p"linear-a.o" ;; Loading #p"type-set-b.o" [GC for 51 CONS pages..(T=1).GC finished] [GC for 51 CONS pages..(T=1).GC finished] [GC for 61 CONS pages..(T=1).GC finished] start address -T 0x1b8f770 ;; Finished loading #p"type-set-b.o" ;; Loading #p"linear-b.o" start address -T 0xf58690 ;; Finished loading #p"linear-b.o" ;; Loading #p"non-linear.o" start address -T 0x117f970 ;; Finished loading #p"non-linear.o" ;; Loading #p"tau.o" start address -T 0x1bda750 ;; Finished loading #p"tau.o" ;; Loading #p"rewrite.o" start address -T 0x1c18760 ;; Finished loading #p"rewrite.o" ;; Loading #p"simplify.o" start address -T 0x1ca36a0 ;; Finished loading #p"simplify.o" ;; Loading #p"bdd.o" start address -T 0x1ce3260 ;; Finished loading #p"bdd.o" ;; Loading #p"other-processes.o" start address -T 0x1d08490 ;; Finished loading #p"other-processes.o" ;; Loading #p"induct.o" start address -T 0x1d1de20 ;; Finished loading #p"induct.o" ;; Loading "proof-checker-pkg.lisp" ;; Finished loading "proof-checker-pkg.lisp" ;; Loading #p"doc.o" [GC for 13 SFUN pages..(T=2).GC finished] start address -T 0xf1aa90 ;; Finished loading #p"doc.o" ;; Loading #p"history-management.o" [GC for 71 CONS pages..(T=2).GC finished] start address -T 0x1d3d860 ;; Finished loading #p"history-management.o" ;; Loading #p"prove.o" [GC for 768 CONTIGUOUS-BLOCKS pages..(T=1).GC finished] start address -T 0x46b0010 ;; Finished loading #p"prove.o" ;; Loading #p"defuns.o" start address -T 0x1e194d0 ;; Finished loading #p"defuns.o" ;; Loading #p"proof-checker-a.o" start address -T 0x472a7a0 ;; Finished loading #p"proof-checker-a.o" ;; Loading #p"defthm.o" start address -T 0x4750f90 ;; Finished loading #p"defthm.o" ;; Loading #p"other-events.o" [GC for 81 CONS pages..(T=1).GC finished] [GC for 81 CONS pages..(T=2).GC finished] start address -T 0x47ceed0 ;; Finished loading #p"other-events.o" ;; Loading #p"ld.o" start address -T 0x498f2e0 ;; Finished loading #p"ld.o" ;; Loading #p"proof-checker-b.o" [GC for 3 CFUN pages..(T=2).GC finished] start address -T 0x49d7a30 ;; Finished loading #p"proof-checker-b.o" ;; Loading #p"interface-raw.o" start address -T 0x4a52a70 ;; Finished loading #p"interface-raw.o" ;; Loading #p"boot-strap-pass-2.o" start address -T 0xf767a0 ;; Finished loading #p"boot-strap-pass-2.o" ;; Loading "defpkgs.lisp" [GC for 91 CONS pages..(T=2).GC finished] ;; Finished loading "defpkgs.lisp" [GC for 19 SFUN pages..(T=2).GC finished] HARD ACL2 ERROR in ASSERT$: Assertion failed: (ASSERT$ (AND (TRUE-LISTP DIR) (EQ (CAR DIR) :ROOT)) (LET* ((MSWINDOWS-DRIVE (MSWINDOWS-DRIVE # STATE)) (TMP (IF MSWINDOWS-DRIVE # "/"))) (DOLIST (X DIR) (WHEN (STRINGP X) (SETQ TMP #))) (WHEN (STRINGP NAME) (SETQ TMP (CONCATENATE # TMP NAME))) (WHEN (STRINGP TYPE) (SETQ TMP (CONCATENATE # TMP "." TYPE))) (LET ((NAMESTRING-TMP #) (NAMESTRING-TRUENAME #)) (COND (# TMP) (# TMP) (T # #))))) (See :DOC set-iprint to be able to see elided values in this message.) ACL2 Error in ACL2-INTERFACE: Evaluation aborted. To debug see :DOC print-gv, see :DOC trace, and see :DOC wet. Error: Fast links are on: do (si::use-fast-links nil) for debugging Signalled by INITIALIZE-ACL2. Raw Lisp Break. SIMPLE-ERROR: ACL2 Halted Broken at APPLY. Type :H for Help. 1 Return to top level. ACL2>>make[2]: Entering directory '/<>' ACL2_WD is /<> Initialization FAILED: acl2-status.txt should contain :INITIALIZED. GNUmakefile:340: recipe for target 'check_init_ok' failed make[2]: *** [check_init_ok] Error 1 make[2]: Leaving directory '/<>' GNUmakefile:466: recipe for target 'init' failed make[1]: *** [init] Error 2 make[1]: Leaving directory '/<>' debian/rules:70: recipe for target 'saved_acl2' failed make: *** [saved_acl2] Error 2 dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2 -------------------------------------------------------------------------------- Build finished at 20161213-0337 Finished -------- E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Not removing build depends: as requested Keeping session: +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: ppc64el Build-Space: 270312 Build-Time: 698 Distribution: zesty Fail-Stage: build Host Architecture: ppc64el Install-Time: 74 Job: acl2_7.2dfsg-2.dsc Machine Architecture: ppc64el Package: acl2 Package-Time: 777 Source-Version: 7.2dfsg-2 Space: 270312 Status: attempted Version: 7.2dfsg-2 -------------------------------------------------------------------------------- Finished at 20161213-0337 Build needed 00:12:57, 270312k disc space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-11395897'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-11395897/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-11395897'] Unmounting chroot for build PACKAGEBUILD-11395897... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-11395897'] Removing build PACKAGEBUILD-11395897