RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux bos01-ppc64el-024 4.4.0-31-generic #50-Ubuntu SMP Wed Jul 13 00:05:18 UTC 2016 ppc64le Buildd toolchain package versions: launchpad-buildd_139 python-lpbuildd_139 sbuild_0.67.0-2ubuntu7 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu2 git-build-recipe_0.3.2 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.2. Syncing the system clock with the buildd NTP service... 2 Nov 05:52:10 ntpdate[1648]: adjust time server 10.211.37.1 offset 0.000502 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-11126408', '/home/buildd/filecache-default/13c837fa8f013503c65d7b6fd85343da86753929'] Unpacking chroot for build PACKAGEBUILD-11126408 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-11126408'] Mounting chroot for build PACKAGEBUILD-11126408 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-11126408', 'deb http://ftpmaster.internal/ubuntu zesty main universe', 'deb http://ftpmaster.internal/ubuntu zesty-security main universe', 'deb http://ftpmaster.internal/ubuntu zesty-updates main universe', 'deb http://ftpmaster.internal/ubuntu zesty-proposed main universe'] Overriding sources.list in build-PACKAGEBUILD-11126408 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-11126408', 'ppc64el'] Updating debian chroot for build PACKAGEBUILD-11126408 Get:1 http://ftpmaster.internal/ubuntu zesty InRelease [247 kB] Get:2 http://ftpmaster.internal/ubuntu zesty-security InRelease [92.2 kB] Get:3 http://ftpmaster.internal/ubuntu zesty-updates InRelease [92.1 kB] Get:4 http://ftpmaster.internal/ubuntu zesty-proposed InRelease [95.6 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main ppc64el Packages [1162 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main Translation-en [583 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/universe ppc64el Packages [7476 kB] Get:8 http://ftpmaster.internal/ubuntu zesty/universe Translation-en [4486 kB] Get:9 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el Packages [141 kB] Get:10 http://ftpmaster.internal/ubuntu zesty-proposed/main Translation-en [82.6 kB] Get:11 http://ftpmaster.internal/ubuntu zesty-proposed/universe ppc64el Packages [275 kB] Get:12 http://ftpmaster.internal/ubuntu zesty-proposed/universe Translation-en [156 kB] Fetched 14.9 MB in 3s (4168 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: libperl5.22 perl-modules-5.22 Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: libperl5.24 perl-modules-5.24 The following packages will be upgraded: adduser base-files binutils cpp-6 diffutils dmsetup g++-6 gcc-6 gcc-6-base grep libapparmor1 libasan3 libasn1-8-heimdal libatomic1 libcc1-0 libdevmapper1.02.1 libgcc-6-dev libgcc1 libgomp1 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhogweed4 libhx509-5-heimdal libitm1 libkrb5-26-heimdal libksba8 libldap-2.4-2 liblzma5 libnettle6 libpng16-16 libroken18-heimdal libsasl2-2 libsasl2-modules-db libsepol1 libstdc++-6-dev libstdc++6 libsystemd0 libubsan0 libudev1 libwind0-heimdal linux-libc-dev perl perl-base pinentry-curses systemd systemd-sysv tzdata ubuntu-keyring xz-utils 51 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 37.2 MB of archives. After this operation, 42.2 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu zesty/main ppc64el base-files ppc64el 9.6ubuntu6 [55.8 kB] Get:2 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el diffutils ppc64el 1:3.5-1 [171 kB] Get:3 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el grep ppc64el 2.26-1 [145 kB] Get:4 http://ftpmaster.internal/ubuntu zesty/main ppc64el perl-modules-5.24 all 5.24.1~rc3-3 [2661 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main ppc64el libperl5.24 ppc64el 5.24.1~rc3-3 [3294 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main ppc64el perl ppc64el 5.24.1~rc3-3 [237 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/main ppc64el perl-base ppc64el 5.24.1~rc3-3 [1228 kB] Get:8 http://ftpmaster.internal/ubuntu zesty/main ppc64el libapparmor1 ppc64el 2.10.95-4ubuntu5.2 [30.0 kB] Get:9 http://ftpmaster.internal/ubuntu zesty/main ppc64el liblzma5 ppc64el 5.2.2-1.2 [101 kB] Get:10 http://ftpmaster.internal/ubuntu zesty/main ppc64el adduser all 3.113+nmu3ubuntu5 [161 kB] Get:11 http://ftpmaster.internal/ubuntu zesty/main ppc64el systemd ppc64el 231-10 [2094 kB] Get:12 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsystemd0 ppc64el 231-10 [203 kB] Get:13 http://ftpmaster.internal/ubuntu zesty/main ppc64el systemd-sysv ppc64el 231-10 [14.3 kB] Get:14 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgomp1 ppc64el 6.2.0-10ubuntu1 [66.9 kB] Get:15 http://ftpmaster.internal/ubuntu zesty/main ppc64el libitm1 ppc64el 6.2.0-10ubuntu1 [28.2 kB] Get:16 http://ftpmaster.internal/ubuntu zesty/main ppc64el libcc1-0 ppc64el 6.2.0-10ubuntu1 [30.6 kB] Get:17 http://ftpmaster.internal/ubuntu zesty/main ppc64el libatomic1 ppc64el 6.2.0-10ubuntu1 [8230 B] Get:18 http://ftpmaster.internal/ubuntu zesty/main ppc64el libasan3 ppc64el 6.2.0-10ubuntu1 [272 kB] Get:19 http://ftpmaster.internal/ubuntu zesty/main ppc64el libubsan0 ppc64el 6.2.0-10ubuntu1 [104 kB] Get:20 http://ftpmaster.internal/ubuntu zesty/main ppc64el gcc-6-base ppc64el 6.2.0-10ubuntu1 [17.3 kB] Get:21 http://ftpmaster.internal/ubuntu zesty/main ppc64el libstdc++6 ppc64el 6.2.0-10ubuntu1 [418 kB] Get:22 http://ftpmaster.internal/ubuntu zesty/main ppc64el g++-6 ppc64el 6.2.0-10ubuntu1 [6428 kB] Get:23 http://ftpmaster.internal/ubuntu zesty/main ppc64el libstdc++-6-dev ppc64el 6.2.0-10ubuntu1 [1431 kB] Get:24 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgcc-6-dev ppc64el 6.2.0-10ubuntu1 [658 kB] Get:25 http://ftpmaster.internal/ubuntu zesty/main ppc64el gcc-6 ppc64el 6.2.0-10ubuntu1 [6191 kB] Get:26 http://ftpmaster.internal/ubuntu zesty/main ppc64el cpp-6 ppc64el 6.2.0-10ubuntu1 [5670 kB] Get:27 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgcc1 ppc64el 1:6.2.0-10ubuntu1 [27.2 kB] Get:28 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el binutils ppc64el 2.27-9ubuntu1 [2312 kB] Get:29 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libsepol1 ppc64el 2.6-1 [205 kB] Get:30 http://ftpmaster.internal/ubuntu zesty/main ppc64el libudev1 ppc64el 231-10 [54.8 kB] Get:31 http://ftpmaster.internal/ubuntu zesty/main ppc64el ubuntu-keyring all 2016.10.27 [16.6 kB] Get:32 http://ftpmaster.internal/ubuntu zesty/main ppc64el tzdata all 2016h-1 [169 kB] Get:33 http://ftpmaster.internal/ubuntu zesty/main ppc64el libdevmapper1.02.1 ppc64el 2:1.02.133-1ubuntu1 [151 kB] Get:34 http://ftpmaster.internal/ubuntu zesty/main ppc64el dmsetup ppc64el 2:1.02.133-1ubuntu1 [75.3 kB] Get:35 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libroken18-heimdal ppc64el 1.7~git20160703+dfsg-1 [39.3 kB] Get:36 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libasn1-8-heimdal ppc64el 1.7~git20160703+dfsg-1 [138 kB] Get:37 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libheimbase1-heimdal ppc64el 1.7~git20160703+dfsg-1 [28.6 kB] Get:38 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libhcrypto4-heimdal ppc64el 1.7~git20160703+dfsg-1 [96.9 kB] Get:39 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libwind0-heimdal ppc64el 1.7~git20160703+dfsg-1 [48.0 kB] Get:40 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libhx509-5-heimdal ppc64el 1.7~git20160703+dfsg-1 [102 kB] Get:41 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libkrb5-26-heimdal ppc64el 1.7~git20160703+dfsg-1 [190 kB] Get:42 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libheimntlm0-heimdal ppc64el 1.7~git20160703+dfsg-1 [15.6 kB] Get:43 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libgssapi3-heimdal ppc64el 1.7~git20160703+dfsg-1 [86.9 kB] Get:44 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libhogweed4 ppc64el 3.3-1 [133 kB] Get:45 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libnettle6 ppc64el 3.3-1 [121 kB] Get:46 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libksba8 ppc64el 1.3.5-2 [90.7 kB] Get:47 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libsasl2-modules-db ppc64el 2.1.27~72-g88d82a3+dfsg-1 [14.7 kB] Get:48 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libsasl2-2 ppc64el 2.1.27~72-g88d82a3+dfsg-1 [47.6 kB] Get:49 http://ftpmaster.internal/ubuntu zesty/main ppc64el libldap-2.4-2 ppc64el 2.4.42+dfsg-2ubuntu5 [151 kB] Get:50 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el pinentry-curses ppc64el 0.9.7-6 [31.3 kB] Get:51 http://ftpmaster.internal/ubuntu zesty/main ppc64el xz-utils ppc64el 5.2.2-1.2 [82.5 kB] Get:52 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libpng16-16 ppc64el 1.6.26-1 [188 kB] Get:53 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el linux-libc-dev ppc64el 4.8.0-27.29 [843 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 37.2 MB in 2s (13.4 MB/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.6ubuntu6_ppc64el.deb ... Unpacking base-files (9.6ubuntu6) over (9.6ubuntu5) ... Setting up base-files (9.6ubuntu6) ... 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 ... 12166 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 ... 12166 files and directories currently installed.) Preparing to unpack .../grep_2.26-1_ppc64el.deb ... Unpacking grep (2.26-1) over (2.25-6) ... Setting up grep (2.26-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 ... 12166 files and directories currently installed.) Preparing to unpack .../0-perl_5.24.1~rc3-3_ppc64el.deb ... Unpacking perl (5.24.1~rc3-3) over (5.22.2-3) ... Selecting previously unselected package perl-modules-5.24. Preparing to unpack .../1-perl-modules-5.24_5.24.1~rc3-3_all.deb ... Unpacking perl-modules-5.24 (5.24.1~rc3-3) ... Selecting previously unselected package libperl5.24:ppc64el. Preparing to unpack .../2-libperl5.24_5.24.1~rc3-3_ppc64el.deb ... Unpacking libperl5.24:ppc64el (5.24.1~rc3-3) ... Preparing to unpack .../3-perl-base_5.24.1~rc3-3_ppc64el.deb ... Unpacking perl-base (5.24.1~rc3-3) over (5.22.2-3) ... Setting up perl-base (5.24.1~rc3-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 ... 13956 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-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 ... 13956 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 ... 13956 files and directories currently installed.) Preparing to unpack .../0-systemd_231-10_ppc64el.deb ... Unpacking systemd (231-10) over (231-9git1) ... Preparing to unpack .../1-libsystemd0_231-10_ppc64el.deb ... Unpacking libsystemd0:ppc64el (231-10) over (231-9git1) ... Setting up libsystemd0:ppc64el (231-10) ... Setting up libapparmor1:ppc64el (2.10.95-4ubuntu5.2) ... Setting up systemd (231-10) ... Installing new version of config file /etc/systemd/resolved.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 ... 13952 files and directories currently installed.) Preparing to unpack .../0-systemd-sysv_231-10_ppc64el.deb ... Unpacking systemd-sysv (231-10) over (231-9git1) ... Preparing to unpack .../1-libgomp1_6.2.0-10ubuntu1_ppc64el.deb ... Unpacking libgomp1:ppc64el (6.2.0-10ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../2-libitm1_6.2.0-10ubuntu1_ppc64el.deb ... Unpacking libitm1:ppc64el (6.2.0-10ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../3-libcc1-0_6.2.0-10ubuntu1_ppc64el.deb ... Unpacking libcc1-0:ppc64el (6.2.0-10ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../4-libatomic1_6.2.0-10ubuntu1_ppc64el.deb ... Unpacking libatomic1:ppc64el (6.2.0-10ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../5-libasan3_6.2.0-10ubuntu1_ppc64el.deb ... Unpacking libasan3:ppc64el (6.2.0-10ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../6-libubsan0_6.2.0-10ubuntu1_ppc64el.deb ... Unpacking libubsan0:ppc64el (6.2.0-10ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../7-gcc-6-base_6.2.0-10ubuntu1_ppc64el.deb ... Unpacking gcc-6-base:ppc64el (6.2.0-10ubuntu1) over (6.2.0-5ubuntu12) ... Setting up gcc-6-base:ppc64el (6.2.0-10ubuntu1) ... (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 ... 13952 files and directories currently installed.) Preparing to unpack .../libstdc++6_6.2.0-10ubuntu1_ppc64el.deb ... Unpacking libstdc++6:ppc64el (6.2.0-10ubuntu1) over (6.2.0-5ubuntu12) ... Setting up libstdc++6:ppc64el (6.2.0-10ubuntu1) ... (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 ... 13952 files and directories currently installed.) Preparing to unpack .../0-g++-6_6.2.0-10ubuntu1_ppc64el.deb ... Unpacking g++-6 (6.2.0-10ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../1-libstdc++-6-dev_6.2.0-10ubuntu1_ppc64el.deb ... Unpacking libstdc++-6-dev:ppc64el (6.2.0-10ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../2-libgcc-6-dev_6.2.0-10ubuntu1_ppc64el.deb ... Unpacking libgcc-6-dev:ppc64el (6.2.0-10ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../3-gcc-6_6.2.0-10ubuntu1_ppc64el.deb ... Unpacking gcc-6 (6.2.0-10ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../4-cpp-6_6.2.0-10ubuntu1_ppc64el.deb ... Unpacking cpp-6 (6.2.0-10ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../5-libgcc1_1%3a6.2.0-10ubuntu1_ppc64el.deb ... Unpacking libgcc1:ppc64el (1:6.2.0-10ubuntu1) over (1:6.2.0-5ubuntu12) ... Setting up libgcc1:ppc64el (1:6.2.0-10ubuntu1) ... (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 ... 13950 files and directories currently installed.) Preparing to unpack .../0-binutils_2.27-9ubuntu1_ppc64el.deb ... Unpacking binutils (2.27-9ubuntu1) over (2.27-8ubuntu2) ... Preparing to unpack .../1-libsepol1_2.6-1_ppc64el.deb ... Unpacking libsepol1:ppc64el (2.6-1) over (2.5-1) ... Setting up libsepol1: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 ... 13950 files and directories currently installed.) Preparing to unpack .../libudev1_231-10_ppc64el.deb ... Unpacking libudev1:ppc64el (231-10) over (231-9git1) ... Setting up libudev1:ppc64el (231-10) ... (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 ... 13950 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 ... 13948 files and directories currently installed.) Preparing to unpack .../00-tzdata_2016h-1_all.deb ... Unpacking tzdata (2016h-1) over (2016g-1) ... Preparing to unpack .../01-libdevmapper1.02.1_2%3a1.02.133-1ubuntu1_ppc64el.deb ... Unpacking libdevmapper1.02.1:ppc64el (2:1.02.133-1ubuntu1) over (2:1.02.130-1ubuntu1) ... Preparing to unpack .../02-dmsetup_2%3a1.02.133-1ubuntu1_ppc64el.deb ... Unpacking dmsetup (2:1.02.133-1ubuntu1) over (2:1.02.130-1ubuntu1) ... Preparing to unpack .../03-libroken18-heimdal_1.7~git20160703+dfsg-1_ppc64el.deb ... Unpacking libroken18-heimdal:ppc64el (1.7~git20160703+dfsg-1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../04-libasn1-8-heimdal_1.7~git20160703+dfsg-1_ppc64el.deb ... Unpacking libasn1-8-heimdal:ppc64el (1.7~git20160703+dfsg-1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../05-libheimbase1-heimdal_1.7~git20160703+dfsg-1_ppc64el.deb ... Unpacking libheimbase1-heimdal:ppc64el (1.7~git20160703+dfsg-1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../06-libhcrypto4-heimdal_1.7~git20160703+dfsg-1_ppc64el.deb ... Unpacking libhcrypto4-heimdal:ppc64el (1.7~git20160703+dfsg-1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../07-libwind0-heimdal_1.7~git20160703+dfsg-1_ppc64el.deb ... Unpacking libwind0-heimdal:ppc64el (1.7~git20160703+dfsg-1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../08-libhx509-5-heimdal_1.7~git20160703+dfsg-1_ppc64el.deb ... Unpacking libhx509-5-heimdal:ppc64el (1.7~git20160703+dfsg-1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../09-libkrb5-26-heimdal_1.7~git20160703+dfsg-1_ppc64el.deb ... Unpacking libkrb5-26-heimdal:ppc64el (1.7~git20160703+dfsg-1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../10-libheimntlm0-heimdal_1.7~git20160703+dfsg-1_ppc64el.deb ... Unpacking libheimntlm0-heimdal:ppc64el (1.7~git20160703+dfsg-1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../11-libgssapi3-heimdal_1.7~git20160703+dfsg-1_ppc64el.deb ... Unpacking libgssapi3-heimdal:ppc64el (1.7~git20160703+dfsg-1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../12-libhogweed4_3.3-1_ppc64el.deb ... Unpacking libhogweed4:ppc64el (3.3-1) over (3.2-1) ... Preparing to unpack .../13-libnettle6_3.3-1_ppc64el.deb ... Unpacking libnettle6:ppc64el (3.3-1) over (3.2-1) ... Preparing to unpack .../14-libksba8_1.3.5-2_ppc64el.deb ... Unpacking libksba8:ppc64el (1.3.5-2) over (1.3.4-4) ... Preparing to unpack .../15-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 .../16-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 .../17-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 .../18-pinentry-curses_0.9.7-6_ppc64el.deb ... Unpacking pinentry-curses (0.9.7-6) over (0.9.7-5) ... Preparing to unpack .../19-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 .../20-libpng16-16_1.6.26-1_ppc64el.deb ... Unpacking libpng16-16:ppc64el (1.6.26-1) over (1.6.25-1) ... Preparing to unpack .../21-linux-libc-dev_4.8.0-27.29_ppc64el.deb ... Unpacking linux-libc-dev:ppc64el (4.8.0-27.29) over (4.8.0-22.24) ... Setting up libgomp1:ppc64el (6.2.0-10ubuntu1) ... Setting up libatomic1:ppc64el (6.2.0-10ubuntu1) ... Setting up perl-modules-5.24 (5.24.1~rc3-3) ... Setting up libperl5.24:ppc64el (5.24.1~rc3-3) ... Setting up libnettle6:ppc64el (3.3-1) ... Setting up libcc1-0:ppc64el (6.2.0-10ubuntu1) ... Setting up libasan3:ppc64el (6.2.0-10ubuntu1) ... Setting up libpng16-16:ppc64el (1.6.26-1) ... Setting up tzdata (2016h-1) ... Current default time zone: 'Etc/UTC' Local time is now: Wed Nov 2 05:52:29 UTC 2016. Universal Time is now: Wed Nov 2 05:52:29 UTC 2016. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up systemd-sysv (231-10) ... Setting up libubsan0:ppc64el (6.2.0-10ubuntu1) ... Setting up libsasl2-modules-db:ppc64el (2.1.27~72-g88d82a3+dfsg-1) ... Setting up linux-libc-dev:ppc64el (4.8.0-27.29) ... Setting up libsasl2-2:ppc64el (2.1.27~72-g88d82a3+dfsg-1) ... Setting up libroken18-heimdal:ppc64el (1.7~git20160703+dfsg-1) ... Setting up libksba8:ppc64el (1.3.5-2) ... Setting up libdevmapper1.02.1:ppc64el (2:1.02.133-1ubuntu1) ... Setting up libhogweed4:ppc64el (3.3-1) ... Setting up perl (5.24.1~rc3-3) ... Installing new version of config file /etc/perl/sitecustomize.pl ... Processing triggers for libc-bin (2.24-3ubuntu1) ... Setting up xz-utils (5.2.2-1.2) ... Setting up libheimbase1-heimdal:ppc64el (1.7~git20160703+dfsg-1) ... Setting up dmsetup (2:1.02.133-1ubuntu1) ... Setting up pinentry-curses (0.9.7-6) ... Setting up binutils (2.27-9ubuntu1) ... Setting up cpp-6 (6.2.0-10ubuntu1) ... Setting up libitm1:ppc64el (6.2.0-10ubuntu1) ... Setting up libgcc-6-dev:ppc64el (6.2.0-10ubuntu1) ... Setting up libstdc++-6-dev:ppc64el (6.2.0-10ubuntu1) ... Setting up libwind0-heimdal:ppc64el (1.7~git20160703+dfsg-1) ... Setting up libasn1-8-heimdal:ppc64el (1.7~git20160703+dfsg-1) ... Setting up libhcrypto4-heimdal:ppc64el (1.7~git20160703+dfsg-1) ... Setting up libhx509-5-heimdal:ppc64el (1.7~git20160703+dfsg-1) ... Setting up gcc-6 (6.2.0-10ubuntu1) ... Setting up g++-6 (6.2.0-10ubuntu1) ... Setting up libkrb5-26-heimdal:ppc64el (1.7~git20160703+dfsg-1) ... Setting up libheimntlm0-heimdal:ppc64el (1.7~git20160703+dfsg-1) ... Setting up libgssapi3-heimdal:ppc64el (1.7~git20160703+dfsg-1) ... Setting up libldap-2.4-2:ppc64el (2.4.42+dfsg-2ubuntu5) ... Processing triggers for libc-bin (2.24-3ubuntu1) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-11126408', 'ppc64el', 'zesty-proposed', '-c', 'chroot:autobuild', '--arch=ppc64el', '--dist=zesty-proposed', '--purge=never', '--nolog', 'why3_0.87.2-2.dsc'] Initiating build PACKAGEBUILD-11126408 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-31-generic #50-Ubuntu SMP Wed Jul 13 00:05:18 UTC 2016 ppc64le sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on bos01-ppc64el-024.buildd +==============================================================================+ | why3 0.87.2-2 (ppc64el) 02 Nov 2016 05:52 | +==============================================================================+ Package: why3 Version: 0.87.2-2 Source Version: 0.87.2-2 Distribution: zesty-proposed Machine Architecture: ppc64el Host Architecture: ppc64el Build Architecture: ppc64el I: NOTICE: Log filtering will replace 'build/why3-CfqN_1/why3-0.87.2' with '<>' I: NOTICE: Log filtering will replace 'build/why3-CfqN_1' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-11126408/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- why3_0.87.2-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-2dKbvX/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-2dKbvX/apt_archive ./ InRelease Get:2 copy:/<>/resolver-2dKbvX/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-2dKbvX/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-2dKbvX/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-2dKbvX/apt_archive ./ Packages [527 B] Fetched 2860 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: libperl5.22 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-2dKbvX/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 ... 13948 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: debhelper (>= 9), dh-ocaml, ocaml-nox (>= 3.11.2), menhir, libmenhir-ocaml-dev, libzarith-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtksourceview2-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libocamlgraph-ocaml-dev, coq, libcoq-ocaml-dev, tex-common Filtered Build-Depends: debhelper (>= 9), dh-ocaml, ocaml-nox (>= 3.11.2), menhir, libmenhir-ocaml-dev, libzarith-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtksourceview2-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libocamlgraph-ocaml-dev, coq, libcoq-ocaml-dev, tex-common dpkg-deb: building package 'sbuild-build-depends-why3-dummy' in '/<>/resolver-9ov_zI/apt_archive/sbuild-build-depends-why3-dummy.deb'. Ign:1 copy:/<>/resolver-9ov_zI/apt_archive ./ InRelease Get:2 copy:/<>/resolver-9ov_zI/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-9ov_zI/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-9ov_zI/apt_archive ./ Sources [299 B] Get:5 copy:/<>/resolver-9ov_zI/apt_archive ./ Packages [624 B] Fetched 3042 B in 0s (0 B/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install why3 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: libperl5.22 perl-modules-5.22 Use 'sudo apt autoremove' to remove them. The following additional packages will be installed: adwaita-icon-theme aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils camlp5 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-python dh-strip-nondeterminism dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme icu-devtools intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcoq-ocaml libcoq-ocaml-dev libcroco3 libcups2 libdatrie1 libdbus-1-3 libelf1 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfile-stripnondeterminism-perl libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgraphite2-3 libgraphite2-dev libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.4-0 libice-dev libice6 libicu-dev libicu57 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev liblzo2-2 libmagic1 libmenhir-ocaml-dev libmpdec2 libncurses5-dev libocamlgraph-ocaml-dev libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.5-minimal libpython3.5-stdlib librsvg2-2 librsvg2-common libsigsegv2 libsm-dev libsm6 libsqlite3-dev libsqlite3-ocaml libsqlite3-ocaml-dev libtext-iconv-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool libunistring0 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml libzarith-ocaml-dev libzip-ocaml libzip-ocaml-dev m4 man-db menhir mime-support ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox pkg-config po-debconf python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.5 python3.5-minimal shared-mime-info tex-common ubuntu-mono ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev Suggested packages: aspell-doc spellutils autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation ocaml-findlib proofgeneral ledit | readline-editor why coq-doc dh-make git wordlist gettext-doc libasprintf-dev libgettextpo-dev groff libcairo2-doc cups-common libenchant-voikko glade | glade-gnome libglib2.0-doc gmp-doc libgmp10-doc libmpfr-dev gvfs libgtk2.0-doc libgtksourceview2.0-doc libice-doc icu-doc liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocaml-dev ncurses-doc imagemagick libpango1.0-doc librsvg2-bin libsm-doc sqlite3-doc libtool-doc gfortran | fortran95-compiler gcj-jdk libxcb-doc libxext-doc less www-browser ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl python-doc python-tk python2.7-doc binfmt-support python3-doc python3-tk python3-venv python3.5-venv python3.5-doc Recommended packages: coqide | proofgeneral curl | wget | lynx-cur dbus enchant xdg-user-dirs libgail-common libgtk2.0-bin hunspell-en-us | hunspell-dictionary | myspell-dictionary liblablgtk2-ocaml-doc ocaml-findlib libpng-tools libltdl-dev libx11-doc xml-core ledit | readline-editor camlp4 libmail-sendmail-perl The following NEW packages will be installed: adwaita-icon-theme aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils camlp5 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-python dh-strip-nondeterminism dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme icu-devtools intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcoq-ocaml libcoq-ocaml-dev libcroco3 libcups2 libdatrie1 libdbus-1-3 libelf1 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfile-stripnondeterminism-perl libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgraphite2-3 libgraphite2-dev libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.4-0 libice-dev libice6 libicu-dev libicu57 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev liblzo2-2 libmagic1 libmenhir-ocaml-dev libmpdec2 libncurses5-dev libocamlgraph-ocaml-dev libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.5-minimal libpython3.5-stdlib librsvg2-2 librsvg2-common libsigsegv2 libsm-dev libsm6 libsqlite3-dev libsqlite3-ocaml libsqlite3-ocaml-dev libtext-iconv-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool libunistring0 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml libzarith-ocaml-dev libzip-ocaml libzip-ocaml-dev m4 man-db menhir mime-support ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox pkg-config po-debconf python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.5 python3.5-minimal sbuild-build-depends-why3-dummy shared-mime-info tex-common ubuntu-mono ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev 0 upgraded, 222 newly installed, 0 to remove and 0 not upgraded. Need to get 148 MB of archives. After this operation, 771 MB of additional disk space will be used. Get:1 copy:/<>/resolver-9ov_zI/apt_archive ./ sbuild-build-depends-why3-dummy 0.invalid.0 [866 B] Get:2 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpython3.5-minimal ppc64el 3.5.2-6 [532 kB] Get:3 http://ftpmaster.internal/ubuntu zesty/main ppc64el libexpat1 ppc64el 2.2.0-1 [76.3 kB] Get:4 http://ftpmaster.internal/ubuntu zesty/main ppc64el python3.5-minimal ppc64el 3.5.2-6 [1652 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main ppc64el python3-minimal ppc64el 3.5.1-4 [23.4 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main ppc64el mime-support all 3.60ubuntu1 [30.1 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/main ppc64el libmpdec2 ppc64el 2.4.2-1 [82.6 kB] Get:8 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpython3.5-stdlib ppc64el 3.5.2-6 [2171 kB] Get:9 http://ftpmaster.internal/ubuntu zesty/main ppc64el python3.5 ppc64el 3.5.2-6 [171 kB] Get:10 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpython3-stdlib ppc64el 3.5.1-4 [6870 B] Get:11 http://ftpmaster.internal/ubuntu zesty/main ppc64el dh-python all 2.20160818 [80.0 kB] Get:12 http://ftpmaster.internal/ubuntu zesty/main ppc64el python3 ppc64el 3.5.1-4 [8712 B] Get:13 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxau6 ppc64el 1:1.0.8-1 [7460 B] Get:14 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxdmcp6 ppc64el 1:1.1.2-1.1 [11.6 kB] Get:15 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb1 ppc64el 1.11.1-1ubuntu1 [37.6 kB] Get:16 http://ftpmaster.internal/ubuntu zesty/main ppc64el libx11-data all 2:1.6.3-1ubuntu3 [113 kB] Get:17 http://ftpmaster.internal/ubuntu zesty/main ppc64el libx11-6 ppc64el 2:1.6.3-1ubuntu3 [567 kB] Get:18 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxext6 ppc64el 2:1.3.3-1 [30.7 kB] Get:19 http://ftpmaster.internal/ubuntu zesty/main ppc64el groff-base ppc64el 1.22.3-8 [1356 kB] Get:20 http://ftpmaster.internal/ubuntu zesty/main ppc64el bsdmainutils ppc64el 9.0.6ubuntu3 [176 kB] Get:21 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpipeline1 ppc64el 1.4.1-2 [24.1 kB] Get:22 http://ftpmaster.internal/ubuntu zesty/main ppc64el man-db ppc64el 2.7.5-1 [850 kB] Get:23 http://ftpmaster.internal/ubuntu zesty/main ppc64el fonts-dejavu-core all 2.37-1 [1041 kB] Get:24 http://ftpmaster.internal/ubuntu zesty/main ppc64el ucf all 3.0036 [52.9 kB] Get:25 http://ftpmaster.internal/ubuntu zesty/main ppc64el fontconfig-config all 2.11.94-0ubuntu2 [49.9 kB] Get:26 http://ftpmaster.internal/ubuntu zesty/main ppc64el libfreetype6 ppc64el 2.6.3-3ubuntu1 [335 kB] Get:27 http://ftpmaster.internal/ubuntu zesty/main ppc64el libfontconfig1 ppc64el 2.11.94-0ubuntu2 [144 kB] Get:28 http://ftpmaster.internal/ubuntu zesty/main ppc64el fontconfig ppc64el 2.11.94-0ubuntu2 [178 kB] Get:29 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libglib2.0-0 ppc64el 2.50.1-1 [1065 kB] Get:30 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libatk1.0-data all 2.22.0-1 [2844 B] Get:31 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libatk1.0-0 ppc64el 2.22.0-1 [38.3 kB] Get:32 http://ftpmaster.internal/ubuntu zesty/main ppc64el libjpeg-turbo8 ppc64el 1.5.0-0ubuntu1 [150 kB] Get:33 http://ftpmaster.internal/ubuntu zesty/main ppc64el libjpeg8 ppc64el 8c-2ubuntu8 [2146 B] Get:34 http://ftpmaster.internal/ubuntu zesty/main ppc64el libjbig0 ppc64el 2.1-3.1 [26.4 kB] Get:35 http://ftpmaster.internal/ubuntu zesty/main ppc64el libtiff5 ppc64el 4.0.6-2 [153 kB] Get:36 http://ftpmaster.internal/ubuntu zesty/main ppc64el libicu57 ppc64el 57.1-4 [7771 kB] Get:37 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libxml2 ppc64el 2.9.4+dfsg1-2.1 [609 kB] Get:38 http://ftpmaster.internal/ubuntu zesty/main ppc64el shared-mime-info ppc64el 1.7-1 [418 kB] Get:39 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgdk-pixbuf2.0-common all 2.34.0-1ubuntu2 [10.4 kB] Get:40 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgdk-pixbuf2.0-0 ppc64el 2.34.0-1ubuntu2 [181 kB] Get:41 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgtk2.0-common all 2.24.30-4ubuntu2 [123 kB] Get:42 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libpixman-1-0 ppc64el 0.34.0-1 [201 kB] Get:43 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb-render0 ppc64el 1.11.1-1ubuntu1 [10.6 kB] Get:44 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb-shm0 ppc64el 1.11.1-1ubuntu1 [5522 B] Get:45 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxrender1 ppc64el 1:0.9.9-2 [17.8 kB] Get:46 http://ftpmaster.internal/ubuntu zesty/main ppc64el libcairo2 ppc64el 1.14.6-1build1 [604 kB] Get:47 http://ftpmaster.internal/ubuntu zesty/main ppc64el libavahi-common-data ppc64el 0.6.32-1ubuntu1 [22.1 kB] Get:48 http://ftpmaster.internal/ubuntu zesty/main ppc64el libavahi-common3 ppc64el 0.6.32-1ubuntu1 [19.5 kB] Get:49 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libdbus-1-3 ppc64el 1.10.10-1ubuntu2 [158 kB] Get:50 http://ftpmaster.internal/ubuntu zesty/main ppc64el libavahi-client3 ppc64el 0.6.32-1ubuntu1 [22.5 kB] Get:51 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libcups2 ppc64el 2.2.1-1 [194 kB] Get:52 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libthai-data all 0.1.25-2 [131 kB] Get:53 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libdatrie1 ppc64el 0.2.10-4 [16.8 kB] Get:54 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libthai0 ppc64el 0.1.25-2 [17.2 kB] Get:55 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpango-1.0-0 ppc64el 1.40.3-3 [152 kB] Get:56 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgraphite2-3 ppc64el 1.3.8-1ubuntu1 [63.4 kB] Get:57 http://ftpmaster.internal/ubuntu zesty/main ppc64el libharfbuzz0b ppc64el 1.2.7-1 [174 kB] Get:58 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpangoft2-1.0-0 ppc64el 1.40.3-3 [33.5 kB] Get:59 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpangocairo-1.0-0 ppc64el 1.40.3-3 [20.1 kB] Get:60 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcomposite1 ppc64el 1:0.4.4-1 [6872 B] Get:61 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxfixes3 ppc64el 1:5.0.2-1 [10.7 kB] Get:62 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcursor1 ppc64el 1:1.1.14-1 [21.6 kB] Get:63 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxdamage1 ppc64el 1:1.1.4-2 [6820 B] Get:64 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxi6 ppc64el 2:1.7.6-1 [28.4 kB] Get:65 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxinerama1 ppc64el 2:1.1.3-1 [7160 B] Get:66 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxrandr2 ppc64el 2:1.5.0-1 [16.8 kB] Get:67 http://ftpmaster.internal/ubuntu zesty/main ppc64el hicolor-icon-theme all 0.15-1 [8378 B] Get:68 http://ftpmaster.internal/ubuntu zesty/main ppc64el gtk-update-icon-cache ppc64el 3.22.2-0ubuntu1 [28.0 kB] Get:69 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libcroco3 ppc64el 0.6.11-2 [74.4 kB] Get:70 http://ftpmaster.internal/ubuntu zesty/main ppc64el librsvg2-2 ppc64el 2.40.16-1 [104 kB] Get:71 http://ftpmaster.internal/ubuntu zesty/main ppc64el librsvg2-common ppc64el 2.40.16-1 [5094 B] Get:72 http://ftpmaster.internal/ubuntu zesty/main ppc64el humanity-icon-theme all 0.6.11 [1288 kB] Get:73 http://ftpmaster.internal/ubuntu zesty/main ppc64el ubuntu-mono all 16.10+17.04.20161024-0ubuntu1 [160 kB] Get:74 http://ftpmaster.internal/ubuntu zesty/main ppc64el adwaita-icon-theme all 3.20-3ubuntu2 [3430 kB] Get:75 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgtk2.0-0 ppc64el 2.24.30-4ubuntu2 [1537 kB] Get:76 http://ftpmaster.internal/ubuntu zesty/main ppc64el libglade2-0 ppc64el 1:2.6.4-2 [43.6 kB] Get:77 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el x11-common all 1:7.7+16ubuntu2 [21.9 kB] Get:78 http://ftpmaster.internal/ubuntu zesty/main ppc64el libice6 ppc64el 2:1.0.9-1 [38.0 kB] Get:79 http://ftpmaster.internal/ubuntu zesty/main ppc64el liblzo2-2 ppc64el 2.08-1.2 [67.2 kB] Get:80 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpcrecpp0v5 ppc64el 2:8.39-2 [15.8 kB] Get:81 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsm6 ppc64el 2:1.2.2-1 [15.1 kB] Get:82 http://ftpmaster.internal/ubuntu zesty/main ppc64el libunistring0 ppc64el 0.9.3-5.2ubuntu1 [269 kB] Get:83 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxft2 ppc64el 2.3.2-1 [39.3 kB] Get:84 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpython2.7-minimal ppc64el 2.7.12-3build1 [340 kB] Get:85 http://ftpmaster.internal/ubuntu zesty/main ppc64el python2.7-minimal ppc64el 2.7.12-3build1 [1342 kB] Get:86 http://ftpmaster.internal/ubuntu zesty/main ppc64el python-minimal ppc64el 2.7.11-2 [28.3 kB] Get:87 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpython2.7-stdlib ppc64el 2.7.12-3build1 [1894 kB] Get:88 http://ftpmaster.internal/ubuntu zesty/main ppc64el python2.7 ppc64el 2.7.12-3build1 [225 kB] Get:89 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpython-stdlib ppc64el 2.7.11-2 [7858 B] Get:90 http://ftpmaster.internal/ubuntu zesty/main ppc64el python ppc64el 2.7.11-2 [139 kB] Get:91 http://ftpmaster.internal/ubuntu zesty/main ppc64el libmagic1 ppc64el 1:5.28-2ubuntu1 [238 kB] Get:92 http://ftpmaster.internal/ubuntu zesty/main ppc64el file ppc64el 1:5.28-2ubuntu1 [22.5 kB] Get:93 http://ftpmaster.internal/ubuntu zesty/main ppc64el libtext-iconv-perl ppc64el 1.7-5build5 [12.7 kB] Get:94 http://ftpmaster.internal/ubuntu zesty/main ppc64el gettext-base ppc64el 0.19.8.1-1ubuntu2 [48.2 kB] Get:95 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgirepository-1.0-1 ppc64el 1.50.0-1ubuntu2 [74.8 kB] Get:96 http://ftpmaster.internal/ubuntu zesty/main ppc64el gir1.2-glib-2.0 ppc64el 1.50.0-1ubuntu2 [129 kB] Get:97 http://ftpmaster.internal/ubuntu zesty/main ppc64el libelf1 ppc64el 0.166-2ubuntu1 [40.9 kB] Get:98 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libglib2.0-data all 2.50.1-1 [134 kB] Get:99 http://ftpmaster.internal/ubuntu zesty/main ppc64el libaspell15 ppc64el 0.60.7~20110707-3build1 [290 kB] Get:100 http://ftpmaster.internal/ubuntu zesty/main ppc64el emacsen-common all 2.0.8 [17.6 kB] Get:101 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el dictionaries-common all 1.27.2 [186 kB] Get:102 http://ftpmaster.internal/ubuntu zesty/main ppc64el aspell ppc64el 0.60.7~20110707-3build1 [72.7 kB] Get:103 http://ftpmaster.internal/ubuntu zesty/main ppc64el aspell-en all 2016.06.26-0-0.1 [270 kB] Get:104 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsigsegv2 ppc64el 2.10-5 [14.2 kB] Get:105 http://ftpmaster.internal/ubuntu zesty/main ppc64el m4 ppc64el 1.4.17-5 [198 kB] Get:106 http://ftpmaster.internal/ubuntu zesty/main ppc64el autoconf all 2.69-10 [321 kB] Get:107 http://ftpmaster.internal/ubuntu zesty/main ppc64el autotools-dev all 20160430.1 [39.6 kB] Get:108 http://ftpmaster.internal/ubuntu zesty/main ppc64el automake all 1:1.15-4ubuntu1 [510 kB] Get:109 http://ftpmaster.internal/ubuntu zesty/main ppc64el autopoint all 0.19.8.1-1ubuntu2 [412 kB] Get:110 http://ftpmaster.internal/ubuntu zesty/universe ppc64el coq-theories ppc64el 8.5-2build1 [24.0 MB] Get:111 http://ftpmaster.internal/ubuntu zesty/universe ppc64el ocaml-base-nox ppc64el 4.02.3-6ubuntu2 [352 kB] Get:112 http://ftpmaster.internal/ubuntu zesty/main ppc64el libhunspell-1.4-0 ppc64el 1.4.1-2build1 [141 kB] Get:113 http://ftpmaster.internal/ubuntu zesty/main ppc64el libenchant1c2a ppc64el 1.6.0-11build1 [64.8 kB] Get:114 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgtkspell0 ppc64el 2.0.16-1.1ubuntu1 [10.5 kB] Get:115 http://ftpmaster.internal/ubuntu zesty/universe ppc64el liblablgtk2-ocaml ppc64el 2.18.3+dfsg-2 [229 kB] Get:116 http://ftpmaster.internal/ubuntu zesty/universe ppc64el libgtksourceview2.0-common all 2.10.5-2ubuntu2 [434 kB] Get:117 http://ftpmaster.internal/ubuntu zesty/universe ppc64el libgtksourceview2.0-0 ppc64el 2.10.5-2ubuntu2 [134 kB] Get:118 http://ftpmaster.internal/ubuntu zesty/universe ppc64el liblablgtksourceview2-ocaml ppc64el 2.18.3+dfsg-2 [35.9 kB] Get:119 http://ftpmaster.internal/ubuntu zesty/universe ppc64el libcoq-ocaml ppc64el 8.5-2build1 [2289 kB] Get:120 http://ftpmaster.internal/ubuntu zesty/main ppc64el libtinfo-dev ppc64el 6.0+20160625-1ubuntu1 [89.1 kB] Get:121 http://ftpmaster.internal/ubuntu zesty/main ppc64el libncurses5-dev ppc64el 6.0+20160625-1ubuntu1 [195 kB] Get:122 http://ftpmaster.internal/ubuntu zesty/universe ppc64el ocaml-compiler-libs ppc64el 4.02.3-6ubuntu2 [6851 kB] Get:123 http://ftpmaster.internal/ubuntu zesty/universe ppc64el ocaml-interp ppc64el 4.02.3-6ubuntu2 [271 kB] Get:124 http://ftpmaster.internal/ubuntu zesty/universe ppc64el ocaml-nox ppc64el 4.02.3-6ubuntu2 [4762 kB] Get:125 http://ftpmaster.internal/ubuntu zesty/universe ppc64el coq ppc64el 8.5-2build1 [18.4 MB] Get:126 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libtool all 2.4.6-2 [194 kB] Get:127 http://ftpmaster.internal/ubuntu zesty/main ppc64el dh-autoreconf all 12 [15.8 kB] Get:128 http://ftpmaster.internal/ubuntu zesty/main ppc64el libarchive-zip-perl all 1.59-1 [84.0 kB] Get:129 http://ftpmaster.internal/ubuntu zesty/main ppc64el libfile-stripnondeterminism-perl all 0.028-1 [12.5 kB] Get:130 http://ftpmaster.internal/ubuntu zesty/main ppc64el libtimedate-perl all 2.3000-2 [37.5 kB] Get:131 http://ftpmaster.internal/ubuntu zesty/main ppc64el dh-strip-nondeterminism all 0.028-1 [4820 B] Get:132 http://ftpmaster.internal/ubuntu zesty/main ppc64el gettext ppc64el 0.19.8.1-1ubuntu2 [1114 kB] Get:133 http://ftpmaster.internal/ubuntu zesty/main ppc64el intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:134 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el po-debconf all 1.0.20 [232 kB] Get:135 http://ftpmaster.internal/ubuntu zesty/main ppc64el debhelper all 10.2.2ubuntu1 [742 kB] Get:136 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el gir1.2-atk-1.0 ppc64el 2.22.0-1 [17.6 kB] Get:137 http://ftpmaster.internal/ubuntu zesty/main ppc64el gir1.2-freedesktop ppc64el 1.50.0-1ubuntu2 [5654 B] Get:138 http://ftpmaster.internal/ubuntu zesty/main ppc64el gir1.2-gdkpixbuf-2.0 ppc64el 2.34.0-1ubuntu2 [8124 B] Get:139 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpangoxft-1.0-0 ppc64el 1.40.3-3 [15.2 kB] Get:140 http://ftpmaster.internal/ubuntu zesty/main ppc64el gir1.2-pango-1.0 ppc64el 1.40.3-3 [21.4 kB] Get:141 http://ftpmaster.internal/ubuntu zesty/main ppc64el gir1.2-gtk-2.0 ppc64el 2.24.30-4ubuntu2 [172 kB] Get:142 http://ftpmaster.internal/ubuntu zesty/main ppc64el icu-devtools ppc64el 57.1-4 [179 kB] Get:143 http://ftpmaster.internal/ubuntu zesty/main ppc64el pkg-config ppc64el 0.29.1-0ubuntu1 [43.9 kB] Get:144 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libglib2.0-bin ppc64el 2.50.1-1 [64.8 kB] Get:145 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpcre16-3 ppc64el 2:8.39-2 [143 kB] Get:146 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpcre32-3 ppc64el 2:8.39-2 [134 kB] Get:147 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpcre3-dev ppc64el 2:8.39-2 [511 kB] Get:148 http://ftpmaster.internal/ubuntu zesty/main ppc64el zlib1g-dev ppc64el 1:1.2.8.dfsg-2ubuntu5 [168 kB] Get:149 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libglib2.0-dev ppc64el 2.50.1-1 [1578 kB] Get:150 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libatk1.0-dev ppc64el 2.22.0-1 [79.0 kB] Get:151 http://ftpmaster.internal/ubuntu zesty/main ppc64el libcairo-gobject2 ppc64el 1.14.6-1build1 [17.0 kB] Get:152 http://ftpmaster.internal/ubuntu zesty/main ppc64el libcairo-script-interpreter2 ppc64el 1.14.6-1build1 [56.6 kB] Get:153 http://ftpmaster.internal/ubuntu zesty/main ppc64el libexpat1-dev ppc64el 2.2.0-1 [125 kB] Get:154 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libpng-dev ppc64el 1.6.26-1 [171 kB] Get:155 http://ftpmaster.internal/ubuntu zesty/main ppc64el libfreetype6-dev ppc64el 2.6.3-3ubuntu1 [5208 kB] Get:156 http://ftpmaster.internal/ubuntu zesty/main ppc64el libfontconfig1-dev ppc64el 2.11.94-0ubuntu2 [675 kB] Get:157 http://ftpmaster.internal/ubuntu zesty/main ppc64el xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:158 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-core-dev all 7.0.29-1ubuntu1 [253 kB] Get:159 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxau-dev ppc64el 1:1.0.8-1 [9358 B] Get:160 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxdmcp-dev ppc64el 1:1.1.2-1.1 [26.4 kB] Get:161 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-input-dev all 2.3.2-1 [118 kB] Get:162 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-kb-dev all 1.0.7-1 [226 kB] Get:163 http://ftpmaster.internal/ubuntu zesty/main ppc64el xtrans-dev all 1.3.5-1 [70.5 kB] Get:164 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpthread-stubs0-dev ppc64el 0.3-4 [3894 B] Get:165 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb1-dev ppc64el 1.11.1-1ubuntu1 [73.8 kB] Get:166 http://ftpmaster.internal/ubuntu zesty/main ppc64el libx11-dev ppc64el 2:1.6.3-1ubuntu3 [653 kB] Get:167 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-render-dev all 2:0.11.1-2 [20.1 kB] Get:168 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxrender-dev ppc64el 1:0.9.9-2 [24.3 kB] Get:169 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-xext-dev all 7.3.0-1 [212 kB] Get:170 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxext-dev ppc64el 2:1.3.3-1 [86.5 kB] Get:171 http://ftpmaster.internal/ubuntu zesty/main ppc64el libice-dev ppc64el 2:1.0.9-1 [48.7 kB] Get:172 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsm-dev ppc64el 2:1.2.2-1 [16.6 kB] Get:173 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libpixman-1-dev ppc64el 0.34.0-1 [233 kB] Get:174 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb-render0-dev ppc64el 1.11.1-1ubuntu1 [14.9 kB] Get:175 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcb-shm0-dev ppc64el 1.11.1-1ubuntu1 [6534 B] Get:176 http://ftpmaster.internal/ubuntu zesty/main ppc64el libcairo2-dev ppc64el 1.14.6-1build1 [672 kB] Get:177 http://ftpmaster.internal/ubuntu zesty/universe ppc64el camlp5 ppc64el 6.16-1 [565 kB] Get:178 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgdk-pixbuf2.0-dev ppc64el 2.34.0-1ubuntu2 [44.9 kB] Get:179 http://ftpmaster.internal/ubuntu zesty/main ppc64el libharfbuzz-icu0 ppc64el 1.2.7-1 [5346 B] Get:180 http://ftpmaster.internal/ubuntu zesty/main ppc64el libharfbuzz-gobject0 ppc64el 1.2.7-1 [10.8 kB] Get:181 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgraphite2-dev ppc64el 1.3.8-1ubuntu1 [14.7 kB] Get:182 http://ftpmaster.internal/ubuntu zesty/main ppc64el libicu-dev ppc64el 57.1-4 [18.2 MB] Get:183 http://ftpmaster.internal/ubuntu zesty/main ppc64el libharfbuzz-dev ppc64el 1.2.7-1 [240 kB] Get:184 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxft-dev ppc64el 2.3.2-1 [51.4 kB] Get:185 http://ftpmaster.internal/ubuntu zesty/main ppc64el libpango1.0-dev ppc64el 1.40.3-3 [311 kB] Get:186 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-xinerama-dev all 1.2.1-2 [4966 B] Get:187 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxinerama-dev ppc64el 2:1.1.3-1 [8024 B] Get:188 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-fixes-dev all 1:5.0-2ubuntu2 [14.2 kB] Get:189 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxfixes-dev ppc64el 1:5.0.2-1 [11.2 kB] Get:190 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxi-dev ppc64el 2:1.7.6-1 [185 kB] Get:191 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-randr-dev all 1.5.0-1 [33.7 kB] Get:192 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxrandr-dev ppc64el 2:1.5.0-1 [23.9 kB] Get:193 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcursor-dev ppc64el 1:1.1.14-1 [29.5 kB] Get:194 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-composite-dev all 1:0.4.2-2 [10.5 kB] Get:195 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxcomposite-dev ppc64el 1:0.4.4-1 [9360 B] Get:196 http://ftpmaster.internal/ubuntu zesty/main ppc64el x11proto-damage-dev all 1:1.2.1-2 [8286 B] Get:197 http://ftpmaster.internal/ubuntu zesty/main ppc64el libxdamage-dev ppc64el 1:1.1.4-2 [5116 B] Get:198 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libxml2-utils ppc64el 2.9.4+dfsg1-2.1 [34.4 kB] Get:199 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgtk2.0-dev ppc64el 2.24.30-4ubuntu2 [2550 kB] Get:200 http://ftpmaster.internal/ubuntu zesty-proposed/main ppc64el libxml2-dev ppc64el 2.9.4+dfsg1-2.1 [689 kB] Get:201 http://ftpmaster.internal/ubuntu zesty/main ppc64el libglade2-dev ppc64el 1:2.6.4-2 [77.4 kB] Get:202 http://ftpmaster.internal/ubuntu zesty/main ppc64el libenchant-dev ppc64el 1.6.0-11build1 [58.9 kB] Get:203 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgtkspell-dev ppc64el 2.0.16-1.1ubuntu1 [24.5 kB] Get:204 http://ftpmaster.internal/ubuntu zesty/universe ppc64el liblablgtk2-ocaml-dev ppc64el 2.18.3+dfsg-2 [943 kB] Get:205 http://ftpmaster.internal/ubuntu zesty/universe ppc64el libgtksourceview2.0-dev ppc64el 2.10.5-2ubuntu2 [190 kB] Get:206 http://ftpmaster.internal/ubuntu zesty/universe ppc64el liblablgtksourceview2-ocaml-dev ppc64el 2.18.3+dfsg-2 [70.0 kB] Get:207 http://ftpmaster.internal/ubuntu zesty/universe ppc64el libcoq-ocaml-dev ppc64el 8.5-2build1 [9927 kB] Get:208 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgmpxx4ldbl ppc64el 2:6.1.1+dfsg-1 [9252 B] Get:209 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgmp-dev ppc64el 2:6.1.1+dfsg-1 [305 kB] Get:210 http://ftpmaster.internal/ubuntu zesty/main ppc64el libgmp3-dev ppc64el 2:6.1.1+dfsg-1 [1926 B] Get:211 http://ftpmaster.internal/ubuntu zesty/universe ppc64el libmenhir-ocaml-dev ppc64el 20160808+dfsg-1 [58.4 kB] Get:212 http://ftpmaster.internal/ubuntu zesty/universe ppc64el libocamlgraph-ocaml-dev ppc64el 1.8.6-1build2 [886 kB] Get:213 http://ftpmaster.internal/ubuntu zesty/main ppc64el libsqlite3-dev ppc64el 3.14.1-1build1 [566 kB] Get:214 http://ftpmaster.internal/ubuntu zesty/universe ppc64el libzarith-ocaml ppc64el 1.4.1-1 [29.8 kB] Get:215 http://ftpmaster.internal/ubuntu zesty/universe ppc64el libzarith-ocaml-dev ppc64el 1.4.1-1 [38.9 kB] Get:216 http://ftpmaster.internal/ubuntu zesty-proposed/universe ppc64el libzip-ocaml ppc64el 1.06-2 [50.5 kB] Get:217 http://ftpmaster.internal/ubuntu zesty-proposed/universe ppc64el libzip-ocaml-dev ppc64el 1.06-2 [21.0 kB] Get:218 http://ftpmaster.internal/ubuntu zesty/universe ppc64el menhir ppc64el 20160808+dfsg-1 [1216 kB] Get:219 http://ftpmaster.internal/ubuntu zesty/main ppc64el tex-common all 6.05 [545 kB] Get:220 http://ftpmaster.internal/ubuntu zesty/universe ppc64el dh-ocaml all 1.0.10 [80.2 kB] Get:221 http://ftpmaster.internal/ubuntu zesty/universe ppc64el libsqlite3-ocaml ppc64el 4.0.5-1 [23.1 kB] Get:222 http://ftpmaster.internal/ubuntu zesty/universe ppc64el libsqlite3-ocaml-dev ppc64el 4.0.5-1 [66.3 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 148 MB in 16s (9219 kB/s) Selecting previously unselected package libpython3.5-minimal: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 ... 13948 files and directories currently installed.) Preparing to unpack .../0-libpython3.5-minimal_3.5.2-6_ppc64el.deb ... Unpacking libpython3.5-minimal:ppc64el (3.5.2-6) ... Selecting previously unselected package libexpat1:ppc64el. Preparing to unpack .../1-libexpat1_2.2.0-1_ppc64el.deb ... Unpacking libexpat1:ppc64el (2.2.0-1) ... Selecting previously unselected package python3.5-minimal. Preparing to unpack .../2-python3.5-minimal_3.5.2-6_ppc64el.deb ... Unpacking python3.5-minimal (3.5.2-6) ... Selecting previously unselected package python3-minimal. Preparing to unpack .../3-python3-minimal_3.5.1-4_ppc64el.deb ... Unpacking python3-minimal (3.5.1-4) ... Selecting previously unselected package mime-support. Preparing to unpack .../4-mime-support_3.60ubuntu1_all.deb ... Unpacking mime-support (3.60ubuntu1) ... Selecting previously unselected package libmpdec2:ppc64el. Preparing to unpack .../5-libmpdec2_2.4.2-1_ppc64el.deb ... Unpacking libmpdec2:ppc64el (2.4.2-1) ... Selecting previously unselected package libpython3.5-stdlib:ppc64el. Preparing to unpack .../6-libpython3.5-stdlib_3.5.2-6_ppc64el.deb ... Unpacking libpython3.5-stdlib:ppc64el (3.5.2-6) ... Selecting previously unselected package python3.5. Preparing to unpack .../7-python3.5_3.5.2-6_ppc64el.deb ... Unpacking python3.5 (3.5.2-6) ... Selecting previously unselected package libpython3-stdlib:ppc64el. Preparing to unpack .../8-libpython3-stdlib_3.5.1-4_ppc64el.deb ... Unpacking libpython3-stdlib:ppc64el (3.5.1-4) ... Selecting previously unselected package dh-python. Preparing to unpack .../9-dh-python_2.20160818_all.deb ... Unpacking dh-python (2.20160818) ... Setting up libpython3.5-minimal:ppc64el (3.5.2-6) ... Setting up libexpat1:ppc64el (2.2.0-1) ... Setting up python3.5-minimal (3.5.2-6) ... Setting up python3-minimal (3.5.1-4) ... Selecting previously unselected package python3. (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 ... 14898 files and directories currently installed.) Preparing to unpack .../00-python3_3.5.1-4_ppc64el.deb ... Unpacking python3 (3.5.1-4) ... Selecting previously unselected package libxau6:ppc64el. Preparing to unpack .../01-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 .../02-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 .../03-libxcb1_1.11.1-1ubuntu1_ppc64el.deb ... Unpacking libxcb1:ppc64el (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../04-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 .../05-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 .../06-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 .../07-groff-base_1.22.3-8_ppc64el.deb ... Unpacking groff-base (1.22.3-8) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../08-bsdmainutils_9.0.6ubuntu3_ppc64el.deb ... Unpacking bsdmainutils (9.0.6ubuntu3) ... Selecting previously unselected package libpipeline1:ppc64el. Preparing to unpack .../09-libpipeline1_1.4.1-2_ppc64el.deb ... Unpacking libpipeline1:ppc64el (1.4.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.7.5-1_ppc64el.deb ... Unpacking man-db (2.7.5-1) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../11-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package ucf. Preparing to unpack .../12-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 .../13-fontconfig-config_2.11.94-0ubuntu2_all.deb ... Unpacking fontconfig-config (2.11.94-0ubuntu2) ... Selecting previously unselected package libfreetype6:ppc64el. Preparing to unpack .../14-libfreetype6_2.6.3-3ubuntu1_ppc64el.deb ... Unpacking libfreetype6:ppc64el (2.6.3-3ubuntu1) ... Selecting previously unselected package libfontconfig1:ppc64el. Preparing to unpack .../15-libfontconfig1_2.11.94-0ubuntu2_ppc64el.deb ... Unpacking libfontconfig1:ppc64el (2.11.94-0ubuntu2) ... Selecting previously unselected package fontconfig. Preparing to unpack .../16-fontconfig_2.11.94-0ubuntu2_ppc64el.deb ... Unpacking fontconfig (2.11.94-0ubuntu2) ... Selecting previously unselected package libglib2.0-0:ppc64el. Preparing to unpack .../17-libglib2.0-0_2.50.1-1_ppc64el.deb ... Unpacking libglib2.0-0:ppc64el (2.50.1-1) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../18-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 .../19-libatk1.0-0_2.22.0-1_ppc64el.deb ... Unpacking libatk1.0-0:ppc64el (2.22.0-1) ... Selecting previously unselected package libjpeg-turbo8:ppc64el. Preparing to unpack .../20-libjpeg-turbo8_1.5.0-0ubuntu1_ppc64el.deb ... Unpacking libjpeg-turbo8:ppc64el (1.5.0-0ubuntu1) ... Selecting previously unselected package libjpeg8:ppc64el. Preparing to unpack .../21-libjpeg8_8c-2ubuntu8_ppc64el.deb ... Unpacking libjpeg8:ppc64el (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:ppc64el. Preparing to unpack .../22-libjbig0_2.1-3.1_ppc64el.deb ... Unpacking libjbig0:ppc64el (2.1-3.1) ... Selecting previously unselected package libtiff5:ppc64el. Preparing to unpack .../23-libtiff5_4.0.6-2_ppc64el.deb ... Unpacking libtiff5:ppc64el (4.0.6-2) ... Selecting previously unselected package libicu57:ppc64el. Preparing to unpack .../24-libicu57_57.1-4_ppc64el.deb ... Unpacking libicu57:ppc64el (57.1-4) ... Selecting previously unselected package libxml2:ppc64el. Preparing to unpack .../25-libxml2_2.9.4+dfsg1-2.1_ppc64el.deb ... Unpacking libxml2:ppc64el (2.9.4+dfsg1-2.1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../26-shared-mime-info_1.7-1_ppc64el.deb ... Unpacking shared-mime-info (1.7-1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../27-libgdk-pixbuf2.0-common_2.34.0-1ubuntu2_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.34.0-1ubuntu2) ... Selecting previously unselected package libgdk-pixbuf2.0-0:ppc64el. Preparing to unpack .../28-libgdk-pixbuf2.0-0_2.34.0-1ubuntu2_ppc64el.deb ... Unpacking libgdk-pixbuf2.0-0:ppc64el (2.34.0-1ubuntu2) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../29-libgtk2.0-common_2.24.30-4ubuntu2_all.deb ... Unpacking libgtk2.0-common (2.24.30-4ubuntu2) ... Selecting previously unselected package libpixman-1-0:ppc64el. Preparing to unpack .../30-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 .../31-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 .../32-libxcb-shm0_1.11.1-1ubuntu1_ppc64el.deb ... Unpacking libxcb-shm0:ppc64el (1.11.1-1ubuntu1) ... Selecting previously unselected package libxrender1:ppc64el. Preparing to unpack .../33-libxrender1_1%3a0.9.9-2_ppc64el.deb ... Unpacking libxrender1:ppc64el (1:0.9.9-2) ... Selecting previously unselected package libcairo2:ppc64el. Preparing to unpack .../34-libcairo2_1.14.6-1build1_ppc64el.deb ... Unpacking libcairo2:ppc64el (1.14.6-1build1) ... Selecting previously unselected package libavahi-common-data:ppc64el. Preparing to unpack .../35-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 .../36-libavahi-common3_0.6.32-1ubuntu1_ppc64el.deb ... Unpacking libavahi-common3:ppc64el (0.6.32-1ubuntu1) ... Selecting previously unselected package libdbus-1-3:ppc64el. Preparing to unpack .../37-libdbus-1-3_1.10.10-1ubuntu2_ppc64el.deb ... Unpacking libdbus-1-3:ppc64el (1.10.10-1ubuntu2) ... Selecting previously unselected package libavahi-client3:ppc64el. Preparing to unpack .../38-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 .../39-libcups2_2.2.1-1_ppc64el.deb ... Unpacking libcups2:ppc64el (2.2.1-1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../40-libthai-data_0.1.25-2_all.deb ... Unpacking libthai-data (0.1.25-2) ... Selecting previously unselected package libdatrie1:ppc64el. Preparing to unpack .../41-libdatrie1_0.2.10-4_ppc64el.deb ... Unpacking libdatrie1:ppc64el (0.2.10-4) ... Selecting previously unselected package libthai0:ppc64el. Preparing to unpack .../42-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 .../43-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 .../44-libgraphite2-3_1.3.8-1ubuntu1_ppc64el.deb ... Unpacking libgraphite2-3:ppc64el (1.3.8-1ubuntu1) ... Selecting previously unselected package libharfbuzz0b:ppc64el. Preparing to unpack .../45-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 .../46-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 .../47-libpangocairo-1.0-0_1.40.3-3_ppc64el.deb ... Unpacking libpangocairo-1.0-0:ppc64el (1.40.3-3) ... Selecting previously unselected package libxcomposite1:ppc64el. Preparing to unpack .../48-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 .../49-libxfixes3_1%3a5.0.2-1_ppc64el.deb ... Unpacking libxfixes3:ppc64el (1:5.0.2-1) ... Selecting previously unselected package libxcursor1:ppc64el. Preparing to unpack .../50-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 .../51-libxdamage1_1%3a1.1.4-2_ppc64el.deb ... Unpacking libxdamage1:ppc64el (1:1.1.4-2) ... Selecting previously unselected package libxi6:ppc64el. Preparing to unpack .../52-libxi6_2%3a1.7.6-1_ppc64el.deb ... Unpacking libxi6:ppc64el (2:1.7.6-1) ... Selecting previously unselected package libxinerama1:ppc64el. Preparing to unpack .../53-libxinerama1_2%3a1.1.3-1_ppc64el.deb ... Unpacking libxinerama1:ppc64el (2:1.1.3-1) ... Selecting previously unselected package libxrandr2:ppc64el. Preparing to unpack .../54-libxrandr2_2%3a1.5.0-1_ppc64el.deb ... Unpacking libxrandr2:ppc64el (2:1.5.0-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../55-hicolor-icon-theme_0.15-1_all.deb ... Unpacking hicolor-icon-theme (0.15-1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../56-gtk-update-icon-cache_3.22.2-0ubuntu1_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.2-0ubuntu1) ... Selecting previously unselected package libcroco3:ppc64el. Preparing to unpack .../57-libcroco3_0.6.11-2_ppc64el.deb ... Unpacking libcroco3:ppc64el (0.6.11-2) ... Selecting previously unselected package librsvg2-2:ppc64el. Preparing to unpack .../58-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 .../59-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 .../60-humanity-icon-theme_0.6.11_all.deb ... Unpacking humanity-icon-theme (0.6.11) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../61-ubuntu-mono_16.10+17.04.20161024-0ubuntu1_all.deb ... Unpacking ubuntu-mono (16.10+17.04.20161024-0ubuntu1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../62-adwaita-icon-theme_3.20-3ubuntu2_all.deb ... Unpacking adwaita-icon-theme (3.20-3ubuntu2) ... Selecting previously unselected package libgtk2.0-0:ppc64el. Preparing to unpack .../63-libgtk2.0-0_2.24.30-4ubuntu2_ppc64el.deb ... Unpacking libgtk2.0-0:ppc64el (2.24.30-4ubuntu2) ... Selecting previously unselected package libglade2-0:ppc64el. Preparing to unpack .../64-libglade2-0_1%3a2.6.4-2_ppc64el.deb ... Unpacking libglade2-0:ppc64el (1:2.6.4-2) ... Selecting previously unselected package x11-common. Preparing to unpack .../65-x11-common_1%3a7.7+16ubuntu2_all.deb ... Unpacking x11-common (1:7.7+16ubuntu2) ... Selecting previously unselected package libice6:ppc64el. Preparing to unpack .../66-libice6_2%3a1.0.9-1_ppc64el.deb ... Unpacking libice6:ppc64el (2:1.0.9-1) ... Selecting previously unselected package liblzo2-2:ppc64el. Preparing to unpack .../67-liblzo2-2_2.08-1.2_ppc64el.deb ... Unpacking liblzo2-2:ppc64el (2.08-1.2) ... Selecting previously unselected package libpcrecpp0v5:ppc64el. Preparing to unpack .../68-libpcrecpp0v5_2%3a8.39-2_ppc64el.deb ... Unpacking libpcrecpp0v5:ppc64el (2:8.39-2) ... Selecting previously unselected package libsm6:ppc64el. Preparing to unpack .../69-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 .../70-libunistring0_0.9.3-5.2ubuntu1_ppc64el.deb ... Unpacking libunistring0:ppc64el (0.9.3-5.2ubuntu1) ... Selecting previously unselected package libxft2:ppc64el. Preparing to unpack .../71-libxft2_2.3.2-1_ppc64el.deb ... Unpacking libxft2:ppc64el (2.3.2-1) ... Selecting previously unselected package libpython2.7-minimal:ppc64el. Preparing to unpack .../72-libpython2.7-minimal_2.7.12-3build1_ppc64el.deb ... Unpacking libpython2.7-minimal:ppc64el (2.7.12-3build1) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../73-python2.7-minimal_2.7.12-3build1_ppc64el.deb ... Unpacking python2.7-minimal (2.7.12-3build1) ... Selecting previously unselected package python-minimal. Preparing to unpack .../74-python-minimal_2.7.11-2_ppc64el.deb ... Unpacking python-minimal (2.7.11-2) ... Selecting previously unselected package libpython2.7-stdlib:ppc64el. Preparing to unpack .../75-libpython2.7-stdlib_2.7.12-3build1_ppc64el.deb ... Unpacking libpython2.7-stdlib:ppc64el (2.7.12-3build1) ... Selecting previously unselected package python2.7. Preparing to unpack .../76-python2.7_2.7.12-3build1_ppc64el.deb ... Unpacking python2.7 (2.7.12-3build1) ... Selecting previously unselected package libpython-stdlib:ppc64el. Preparing to unpack .../77-libpython-stdlib_2.7.11-2_ppc64el.deb ... Unpacking libpython-stdlib:ppc64el (2.7.11-2) ... Setting up libpython2.7-minimal:ppc64el (2.7.12-3build1) ... Setting up python2.7-minimal (2.7.12-3build1) ... Setting up python-minimal (2.7.11-2) ... Selecting previously unselected package python. (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 ... 29961 files and directories currently installed.) Preparing to unpack .../000-python_2.7.11-2_ppc64el.deb ... Unpacking python (2.7.11-2) ... Selecting previously unselected package libmagic1:ppc64el. Preparing to unpack .../001-libmagic1_1%3a5.28-2ubuntu1_ppc64el.deb ... Unpacking libmagic1:ppc64el (1:5.28-2ubuntu1) ... Selecting previously unselected package file. Preparing to unpack .../002-file_1%3a5.28-2ubuntu1_ppc64el.deb ... Unpacking file (1:5.28-2ubuntu1) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../003-libtext-iconv-perl_1.7-5build5_ppc64el.deb ... Unpacking libtext-iconv-perl (1.7-5build5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../004-gettext-base_0.19.8.1-1ubuntu2_ppc64el.deb ... Unpacking gettext-base (0.19.8.1-1ubuntu2) ... Selecting previously unselected package libgirepository-1.0-1:ppc64el. Preparing to unpack .../005-libgirepository-1.0-1_1.50.0-1ubuntu2_ppc64el.deb ... Unpacking libgirepository-1.0-1:ppc64el (1.50.0-1ubuntu2) ... Selecting previously unselected package gir1.2-glib-2.0:ppc64el. Preparing to unpack .../006-gir1.2-glib-2.0_1.50.0-1ubuntu2_ppc64el.deb ... Unpacking gir1.2-glib-2.0:ppc64el (1.50.0-1ubuntu2) ... Selecting previously unselected package libelf1:ppc64el. Preparing to unpack .../007-libelf1_0.166-2ubuntu1_ppc64el.deb ... Unpacking libelf1:ppc64el (0.166-2ubuntu1) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../008-libglib2.0-data_2.50.1-1_all.deb ... Unpacking libglib2.0-data (2.50.1-1) ... Selecting previously unselected package libaspell15:ppc64el. Preparing to unpack .../009-libaspell15_0.60.7~20110707-3build1_ppc64el.deb ... Unpacking libaspell15:ppc64el (0.60.7~20110707-3build1) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../010-emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../011-dictionaries-common_1.27.2_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.27.2) ... Selecting previously unselected package aspell. Preparing to unpack .../012-aspell_0.60.7~20110707-3build1_ppc64el.deb ... Unpacking aspell (0.60.7~20110707-3build1) ... Selecting previously unselected package aspell-en. Preparing to unpack .../013-aspell-en_2016.06.26-0-0.1_all.deb ... Unpacking aspell-en (2016.06.26-0-0.1) ... Selecting previously unselected package libsigsegv2:ppc64el. Preparing to unpack .../014-libsigsegv2_2.10-5_ppc64el.deb ... Unpacking libsigsegv2:ppc64el (2.10-5) ... Selecting previously unselected package m4. Preparing to unpack .../015-m4_1.4.17-5_ppc64el.deb ... Unpacking m4 (1.4.17-5) ... Selecting previously unselected package autoconf. Preparing to unpack .../016-autoconf_2.69-10_all.deb ... Unpacking autoconf (2.69-10) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../017-autotools-dev_20160430.1_all.deb ... Unpacking autotools-dev (20160430.1) ... Selecting previously unselected package automake. Preparing to unpack .../018-automake_1%3a1.15-4ubuntu1_all.deb ... Unpacking automake (1:1.15-4ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../019-autopoint_0.19.8.1-1ubuntu2_all.deb ... Unpacking autopoint (0.19.8.1-1ubuntu2) ... Selecting previously unselected package coq-theories. Preparing to unpack .../020-coq-theories_8.5-2build1_ppc64el.deb ... Unpacking coq-theories (8.5-2build1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../021-ocaml-base-nox_4.02.3-6ubuntu2_ppc64el.deb ... Unpacking ocaml-base-nox (4.02.3-6ubuntu2) ... Selecting previously unselected package libhunspell-1.4-0:ppc64el. Preparing to unpack .../022-libhunspell-1.4-0_1.4.1-2build1_ppc64el.deb ... Unpacking libhunspell-1.4-0:ppc64el (1.4.1-2build1) ... Selecting previously unselected package libenchant1c2a:ppc64el. Preparing to unpack .../023-libenchant1c2a_1.6.0-11build1_ppc64el.deb ... Unpacking libenchant1c2a:ppc64el (1.6.0-11build1) ... Selecting previously unselected package libgtkspell0. Preparing to unpack .../024-libgtkspell0_2.0.16-1.1ubuntu1_ppc64el.deb ... Unpacking libgtkspell0 (2.0.16-1.1ubuntu1) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../025-liblablgtk2-ocaml_2.18.3+dfsg-2_ppc64el.deb ... Unpacking liblablgtk2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package libgtksourceview2.0-common. Preparing to unpack .../026-libgtksourceview2.0-common_2.10.5-2ubuntu2_all.deb ... Unpacking libgtksourceview2.0-common (2.10.5-2ubuntu2) ... Selecting previously unselected package libgtksourceview2.0-0. Preparing to unpack .../027-libgtksourceview2.0-0_2.10.5-2ubuntu2_ppc64el.deb ... Unpacking libgtksourceview2.0-0 (2.10.5-2ubuntu2) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../028-liblablgtksourceview2-ocaml_2.18.3+dfsg-2_ppc64el.deb ... Unpacking liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../029-libcoq-ocaml_8.5-2build1_ppc64el.deb ... Unpacking libcoq-ocaml (8.5-2build1) ... Selecting previously unselected package libtinfo-dev:ppc64el. Preparing to unpack .../030-libtinfo-dev_6.0+20160625-1ubuntu1_ppc64el.deb ... Unpacking libtinfo-dev:ppc64el (6.0+20160625-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:ppc64el. Preparing to unpack .../031-libncurses5-dev_6.0+20160625-1ubuntu1_ppc64el.deb ... Unpacking libncurses5-dev:ppc64el (6.0+20160625-1ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../032-ocaml-compiler-libs_4.02.3-6ubuntu2_ppc64el.deb ... Unpacking ocaml-compiler-libs (4.02.3-6ubuntu2) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../033-ocaml-interp_4.02.3-6ubuntu2_ppc64el.deb ... Unpacking ocaml-interp (4.02.3-6ubuntu2) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../034-ocaml-nox_4.02.3-6ubuntu2_ppc64el.deb ... Unpacking ocaml-nox (4.02.3-6ubuntu2) ... Selecting previously unselected package coq. Preparing to unpack .../035-coq_8.5-2build1_ppc64el.deb ... Unpacking coq (8.5-2build1) ... Selecting previously unselected package libtool. Preparing to unpack .../036-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../037-dh-autoreconf_12_all.deb ... Unpacking dh-autoreconf (12) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../038-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 .../039-libfile-stripnondeterminism-perl_0.028-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.028-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../040-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../041-dh-strip-nondeterminism_0.028-1_all.deb ... Unpacking dh-strip-nondeterminism (0.028-1) ... Selecting previously unselected package gettext. Preparing to unpack .../042-gettext_0.19.8.1-1ubuntu2_ppc64el.deb ... Unpacking gettext (0.19.8.1-1ubuntu2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../043-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 .../044-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../045-debhelper_10.2.2ubuntu1_all.deb ... Unpacking debhelper (10.2.2ubuntu1) ... Selecting previously unselected package gir1.2-atk-1.0:ppc64el. Preparing to unpack .../046-gir1.2-atk-1.0_2.22.0-1_ppc64el.deb ... Unpacking gir1.2-atk-1.0:ppc64el (2.22.0-1) ... Selecting previously unselected package gir1.2-freedesktop:ppc64el. Preparing to unpack .../047-gir1.2-freedesktop_1.50.0-1ubuntu2_ppc64el.deb ... Unpacking gir1.2-freedesktop:ppc64el (1.50.0-1ubuntu2) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0:ppc64el. Preparing to unpack .../048-gir1.2-gdkpixbuf-2.0_2.34.0-1ubuntu2_ppc64el.deb ... Unpacking gir1.2-gdkpixbuf-2.0:ppc64el (2.34.0-1ubuntu2) ... Selecting previously unselected package libpangoxft-1.0-0:ppc64el. Preparing to unpack .../049-libpangoxft-1.0-0_1.40.3-3_ppc64el.deb ... Unpacking libpangoxft-1.0-0:ppc64el (1.40.3-3) ... Selecting previously unselected package gir1.2-pango-1.0:ppc64el. Preparing to unpack .../050-gir1.2-pango-1.0_1.40.3-3_ppc64el.deb ... Unpacking gir1.2-pango-1.0:ppc64el (1.40.3-3) ... Selecting previously unselected package gir1.2-gtk-2.0. Preparing to unpack .../051-gir1.2-gtk-2.0_2.24.30-4ubuntu2_ppc64el.deb ... Unpacking gir1.2-gtk-2.0 (2.24.30-4ubuntu2) ... Selecting previously unselected package icu-devtools. Preparing to unpack .../052-icu-devtools_57.1-4_ppc64el.deb ... Unpacking icu-devtools (57.1-4) ... Selecting previously unselected package pkg-config. Preparing to unpack .../053-pkg-config_0.29.1-0ubuntu1_ppc64el.deb ... Unpacking pkg-config (0.29.1-0ubuntu1) ... Selecting previously unselected package libglib2.0-bin. Preparing to unpack .../054-libglib2.0-bin_2.50.1-1_ppc64el.deb ... Unpacking libglib2.0-bin (2.50.1-1) ... Selecting previously unselected package libpcre16-3:ppc64el. Preparing to unpack .../055-libpcre16-3_2%3a8.39-2_ppc64el.deb ... Unpacking libpcre16-3:ppc64el (2:8.39-2) ... Selecting previously unselected package libpcre32-3:ppc64el. Preparing to unpack .../056-libpcre32-3_2%3a8.39-2_ppc64el.deb ... Unpacking libpcre32-3:ppc64el (2:8.39-2) ... Selecting previously unselected package libpcre3-dev:ppc64el. Preparing to unpack .../057-libpcre3-dev_2%3a8.39-2_ppc64el.deb ... Unpacking libpcre3-dev:ppc64el (2:8.39-2) ... Selecting previously unselected package zlib1g-dev:ppc64el. Preparing to unpack .../058-zlib1g-dev_1%3a1.2.8.dfsg-2ubuntu5_ppc64el.deb ... Unpacking zlib1g-dev:ppc64el (1:1.2.8.dfsg-2ubuntu5) ... Selecting previously unselected package libglib2.0-dev. Preparing to unpack .../059-libglib2.0-dev_2.50.1-1_ppc64el.deb ... Unpacking libglib2.0-dev (2.50.1-1) ... Selecting previously unselected package libatk1.0-dev:ppc64el. Preparing to unpack .../060-libatk1.0-dev_2.22.0-1_ppc64el.deb ... Unpacking libatk1.0-dev:ppc64el (2.22.0-1) ... Selecting previously unselected package libcairo-gobject2:ppc64el. Preparing to unpack .../061-libcairo-gobject2_1.14.6-1build1_ppc64el.deb ... Unpacking libcairo-gobject2:ppc64el (1.14.6-1build1) ... Selecting previously unselected package libcairo-script-interpreter2:ppc64el. Preparing to unpack .../062-libcairo-script-interpreter2_1.14.6-1build1_ppc64el.deb ... Unpacking libcairo-script-interpreter2:ppc64el (1.14.6-1build1) ... Selecting previously unselected package libexpat1-dev:ppc64el. Preparing to unpack .../063-libexpat1-dev_2.2.0-1_ppc64el.deb ... Unpacking libexpat1-dev:ppc64el (2.2.0-1) ... Selecting previously unselected package libpng-dev:ppc64el. Preparing to unpack .../064-libpng-dev_1.6.26-1_ppc64el.deb ... Unpacking libpng-dev:ppc64el (1.6.26-1) ... Selecting previously unselected package libfreetype6-dev:ppc64el. Preparing to unpack .../065-libfreetype6-dev_2.6.3-3ubuntu1_ppc64el.deb ... Unpacking libfreetype6-dev:ppc64el (2.6.3-3ubuntu1) ... Selecting previously unselected package libfontconfig1-dev:ppc64el. Preparing to unpack .../066-libfontconfig1-dev_2.11.94-0ubuntu2_ppc64el.deb ... Unpacking libfontconfig1-dev:ppc64el (2.11.94-0ubuntu2) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../067-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 .../068-x11proto-core-dev_7.0.29-1ubuntu1_all.deb ... Unpacking x11proto-core-dev (7.0.29-1ubuntu1) ... Selecting previously unselected package libxau-dev:ppc64el. Preparing to unpack .../069-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 .../070-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 .../071-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 .../072-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 .../073-xtrans-dev_1.3.5-1_all.deb ... Unpacking xtrans-dev (1.3.5-1) ... Selecting previously unselected package libpthread-stubs0-dev:ppc64el. Preparing to unpack .../074-libpthread-stubs0-dev_0.3-4_ppc64el.deb ... Unpacking libpthread-stubs0-dev:ppc64el (0.3-4) ... Selecting previously unselected package libxcb1-dev:ppc64el. Preparing to unpack .../075-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 .../076-libx11-dev_2%3a1.6.3-1ubuntu3_ppc64el.deb ... Unpacking libx11-dev:ppc64el (2:1.6.3-1ubuntu3) ... Selecting previously unselected package x11proto-render-dev. Preparing to unpack .../077-x11proto-render-dev_2%3a0.11.1-2_all.deb ... Unpacking x11proto-render-dev (2:0.11.1-2) ... Selecting previously unselected package libxrender-dev:ppc64el. Preparing to unpack .../078-libxrender-dev_1%3a0.9.9-2_ppc64el.deb ... Unpacking libxrender-dev:ppc64el (1:0.9.9-2) ... Selecting previously unselected package x11proto-xext-dev. Preparing to unpack .../079-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 .../080-libxext-dev_2%3a1.3.3-1_ppc64el.deb ... Unpacking libxext-dev:ppc64el (2:1.3.3-1) ... Selecting previously unselected package libice-dev:ppc64el. Preparing to unpack .../081-libice-dev_2%3a1.0.9-1_ppc64el.deb ... Unpacking libice-dev:ppc64el (2:1.0.9-1) ... Selecting previously unselected package libsm-dev:ppc64el. Preparing to unpack .../082-libsm-dev_2%3a1.2.2-1_ppc64el.deb ... Unpacking libsm-dev:ppc64el (2:1.2.2-1) ... Selecting previously unselected package libpixman-1-dev. Preparing to unpack .../083-libpixman-1-dev_0.34.0-1_ppc64el.deb ... Unpacking libpixman-1-dev (0.34.0-1) ... Selecting previously unselected package libxcb-render0-dev:ppc64el. Preparing to unpack .../084-libxcb-render0-dev_1.11.1-1ubuntu1_ppc64el.deb ... Unpacking libxcb-render0-dev:ppc64el (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-shm0-dev:ppc64el. Preparing to unpack .../085-libxcb-shm0-dev_1.11.1-1ubuntu1_ppc64el.deb ... Unpacking libxcb-shm0-dev:ppc64el (1.11.1-1ubuntu1) ... Selecting previously unselected package libcairo2-dev. Preparing to unpack .../086-libcairo2-dev_1.14.6-1build1_ppc64el.deb ... Unpacking libcairo2-dev (1.14.6-1build1) ... Selecting previously unselected package camlp5. Preparing to unpack .../087-camlp5_6.16-1_ppc64el.deb ... Unpacking camlp5 (6.16-1) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Preparing to unpack .../088-libgdk-pixbuf2.0-dev_2.34.0-1ubuntu2_ppc64el.deb ... Unpacking libgdk-pixbuf2.0-dev (2.34.0-1ubuntu2) ... Selecting previously unselected package libharfbuzz-icu0:ppc64el. Preparing to unpack .../089-libharfbuzz-icu0_1.2.7-1_ppc64el.deb ... Unpacking libharfbuzz-icu0:ppc64el (1.2.7-1) ... Selecting previously unselected package libharfbuzz-gobject0:ppc64el. Preparing to unpack .../090-libharfbuzz-gobject0_1.2.7-1_ppc64el.deb ... Unpacking libharfbuzz-gobject0:ppc64el (1.2.7-1) ... Selecting previously unselected package libgraphite2-dev. Preparing to unpack .../091-libgraphite2-dev_1.3.8-1ubuntu1_ppc64el.deb ... Unpacking libgraphite2-dev (1.3.8-1ubuntu1) ... Selecting previously unselected package libicu-dev. Preparing to unpack .../092-libicu-dev_57.1-4_ppc64el.deb ... Unpacking libicu-dev (57.1-4) ... Selecting previously unselected package libharfbuzz-dev:ppc64el. Preparing to unpack .../093-libharfbuzz-dev_1.2.7-1_ppc64el.deb ... Unpacking libharfbuzz-dev:ppc64el (1.2.7-1) ... Selecting previously unselected package libxft-dev. Preparing to unpack .../094-libxft-dev_2.3.2-1_ppc64el.deb ... Unpacking libxft-dev (2.3.2-1) ... Selecting previously unselected package libpango1.0-dev. Preparing to unpack .../095-libpango1.0-dev_1.40.3-3_ppc64el.deb ... Unpacking libpango1.0-dev (1.40.3-3) ... Selecting previously unselected package x11proto-xinerama-dev. Preparing to unpack .../096-x11proto-xinerama-dev_1.2.1-2_all.deb ... Unpacking x11proto-xinerama-dev (1.2.1-2) ... Selecting previously unselected package libxinerama-dev:ppc64el. Preparing to unpack .../097-libxinerama-dev_2%3a1.1.3-1_ppc64el.deb ... Unpacking libxinerama-dev:ppc64el (2:1.1.3-1) ... Selecting previously unselected package x11proto-fixes-dev. Preparing to unpack .../098-x11proto-fixes-dev_1%3a5.0-2ubuntu2_all.deb ... Unpacking x11proto-fixes-dev (1:5.0-2ubuntu2) ... Selecting previously unselected package libxfixes-dev:ppc64el. Preparing to unpack .../099-libxfixes-dev_1%3a5.0.2-1_ppc64el.deb ... Unpacking libxfixes-dev:ppc64el (1:5.0.2-1) ... Selecting previously unselected package libxi-dev. Preparing to unpack .../100-libxi-dev_2%3a1.7.6-1_ppc64el.deb ... Unpacking libxi-dev (2:1.7.6-1) ... Selecting previously unselected package x11proto-randr-dev. Preparing to unpack .../101-x11proto-randr-dev_1.5.0-1_all.deb ... Unpacking x11proto-randr-dev (1.5.0-1) ... Selecting previously unselected package libxrandr-dev:ppc64el. Preparing to unpack .../102-libxrandr-dev_2%3a1.5.0-1_ppc64el.deb ... Unpacking libxrandr-dev:ppc64el (2:1.5.0-1) ... Selecting previously unselected package libxcursor-dev:ppc64el. Preparing to unpack .../103-libxcursor-dev_1%3a1.1.14-1_ppc64el.deb ... Unpacking libxcursor-dev:ppc64el (1:1.1.14-1) ... Selecting previously unselected package x11proto-composite-dev. Preparing to unpack .../104-x11proto-composite-dev_1%3a0.4.2-2_all.deb ... Unpacking x11proto-composite-dev (1:0.4.2-2) ... Selecting previously unselected package libxcomposite-dev. Preparing to unpack .../105-libxcomposite-dev_1%3a0.4.4-1_ppc64el.deb ... Unpacking libxcomposite-dev (1:0.4.4-1) ... Selecting previously unselected package x11proto-damage-dev. Preparing to unpack .../106-x11proto-damage-dev_1%3a1.2.1-2_all.deb ... Unpacking x11proto-damage-dev (1:1.2.1-2) ... Selecting previously unselected package libxdamage-dev:ppc64el. Preparing to unpack .../107-libxdamage-dev_1%3a1.1.4-2_ppc64el.deb ... Unpacking libxdamage-dev:ppc64el (1:1.1.4-2) ... Selecting previously unselected package libxml2-utils. Preparing to unpack .../108-libxml2-utils_2.9.4+dfsg1-2.1_ppc64el.deb ... Unpacking libxml2-utils (2.9.4+dfsg1-2.1) ... Selecting previously unselected package libgtk2.0-dev. Preparing to unpack .../109-libgtk2.0-dev_2.24.30-4ubuntu2_ppc64el.deb ... Unpacking libgtk2.0-dev (2.24.30-4ubuntu2) ... Selecting previously unselected package libxml2-dev:ppc64el. Preparing to unpack .../110-libxml2-dev_2.9.4+dfsg1-2.1_ppc64el.deb ... Unpacking libxml2-dev:ppc64el (2.9.4+dfsg1-2.1) ... Selecting previously unselected package libglade2-dev:ppc64el. Preparing to unpack .../111-libglade2-dev_1%3a2.6.4-2_ppc64el.deb ... Unpacking libglade2-dev:ppc64el (1:2.6.4-2) ... Selecting previously unselected package libenchant-dev. Preparing to unpack .../112-libenchant-dev_1.6.0-11build1_ppc64el.deb ... Unpacking libenchant-dev (1.6.0-11build1) ... Selecting previously unselected package libgtkspell-dev. Preparing to unpack .../113-libgtkspell-dev_2.0.16-1.1ubuntu1_ppc64el.deb ... Unpacking libgtkspell-dev (2.0.16-1.1ubuntu1) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Preparing to unpack .../114-liblablgtk2-ocaml-dev_2.18.3+dfsg-2_ppc64el.deb ... Unpacking liblablgtk2-ocaml-dev (2.18.3+dfsg-2) ... Selecting previously unselected package libgtksourceview2.0-dev. Preparing to unpack .../115-libgtksourceview2.0-dev_2.10.5-2ubuntu2_ppc64el.deb ... Unpacking libgtksourceview2.0-dev (2.10.5-2ubuntu2) ... Selecting previously unselected package liblablgtksourceview2-ocaml-dev. Preparing to unpack .../116-liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-2_ppc64el.deb ... Unpacking liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-2) ... Selecting previously unselected package libcoq-ocaml-dev. Preparing to unpack .../117-libcoq-ocaml-dev_8.5-2build1_ppc64el.deb ... Unpacking libcoq-ocaml-dev (8.5-2build1) ... Selecting previously unselected package libgmpxx4ldbl:ppc64el. Preparing to unpack .../118-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 .../119-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 .../120-libgmp3-dev_2%3a6.1.1+dfsg-1_ppc64el.deb ... Unpacking libgmp3-dev (2:6.1.1+dfsg-1) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../121-libmenhir-ocaml-dev_20160808+dfsg-1_ppc64el.deb ... Unpacking libmenhir-ocaml-dev (20160808+dfsg-1) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../122-libocamlgraph-ocaml-dev_1.8.6-1build2_ppc64el.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.6-1build2) ... Selecting previously unselected package libsqlite3-dev:ppc64el. Preparing to unpack .../123-libsqlite3-dev_3.14.1-1build1_ppc64el.deb ... Unpacking libsqlite3-dev:ppc64el (3.14.1-1build1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../124-libzarith-ocaml_1.4.1-1_ppc64el.deb ... Unpacking libzarith-ocaml (1.4.1-1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../125-libzarith-ocaml-dev_1.4.1-1_ppc64el.deb ... Unpacking libzarith-ocaml-dev (1.4.1-1) ... Selecting previously unselected package libzip-ocaml. Preparing to unpack .../126-libzip-ocaml_1.06-2_ppc64el.deb ... Unpacking libzip-ocaml (1.06-2) ... Selecting previously unselected package libzip-ocaml-dev. Preparing to unpack .../127-libzip-ocaml-dev_1.06-2_ppc64el.deb ... Unpacking libzip-ocaml-dev (1.06-2) ... Selecting previously unselected package menhir. Preparing to unpack .../128-menhir_20160808+dfsg-1_ppc64el.deb ... Unpacking menhir (20160808+dfsg-1) ... Selecting previously unselected package tex-common. Preparing to unpack .../129-tex-common_6.05_all.deb ... Unpacking tex-common (6.05) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../130-dh-ocaml_1.0.10_all.deb ... Unpacking dh-ocaml (1.0.10) ... Selecting previously unselected package libsqlite3-ocaml. Preparing to unpack .../131-libsqlite3-ocaml_4.0.5-1_ppc64el.deb ... Unpacking libsqlite3-ocaml (4.0.5-1) ... Selecting previously unselected package libsqlite3-ocaml-dev. Preparing to unpack .../132-libsqlite3-ocaml-dev_4.0.5-1_ppc64el.deb ... Unpacking libsqlite3-ocaml-dev (4.0.5-1) ... Selecting previously unselected package sbuild-build-depends-why3-dummy. Preparing to unpack .../133-sbuild-build-depends-why3-dummy_0.invalid.0_ppc64el.deb ... Unpacking sbuild-build-depends-why3-dummy (0.invalid.0) ... Setting up libgtk2.0-common (2.24.30-4ubuntu2) ... Setting up libarchive-zip-perl (1.59-1) ... Setting up mime-support (3.60ubuntu1) ... Setting up libsqlite3-dev:ppc64el (3.14.1-1build1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libjbig0:ppc64el (2.1-3.1) ... Setting up libsigsegv2:ppc64el (2.10-5) ... Setting up libpthread-stubs0-dev:ppc64el (0.3-4) ... Setting up libaspell15:ppc64el (0.60.7~20110707-3build1) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up libelf1:ppc64el (0.166-2ubuntu1) ... Setting up groff-base (1.22.3-8) ... Setting up libglib2.0-0:ppc64el (2.50.1-1) ... No schema files found: doing nothing. Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up emacsen-common (2.0.8) ... Setting up ocaml-base-nox (4.02.3-6ubuntu2) ... Setting up libtinfo-dev:ppc64el (6.0+20160625-1ubuntu1) ... Setting up dh-ocaml (1.0.10) ... Setting up libgdk-pixbuf2.0-common (2.34.0-1ubuntu2) ... Setting up libdatrie1:ppc64el (0.2.10-4) ... Setting up gettext-base (0.19.8.1-1ubuntu2) ... Setting up libjpeg-turbo8:ppc64el (1.5.0-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 libicu57:ppc64el (57.1-4) ... Setting up menhir (20160808+dfsg-1) ... Setting up ucf (3.0036) ... Setting up libgirepository-1.0-1:ppc64el (1.50.0-1ubuntu2) ... Setting up libxml2:ppc64el (2.9.4+dfsg1-2.1) ... Setting up libfreetype6:ppc64el (2.6.3-3ubuntu1) ... Setting up libmagic1:ppc64el (1:5.28-2ubuntu1) ... Setting up libgraphite2-3:ppc64el (1.3.8-1ubuntu1) ... Setting up libcroco3:ppc64el (0.6.11-2) ... Setting up libncurses5-dev:ppc64el (6.0+20160625-1ubuntu1) ... Setting up libatk1.0-data (2.22.0-1) ... Setting up pkg-config (0.29.1-0ubuntu1) ... Setting up libpixman-1-0:ppc64el (0.34.0-1) ... Setting up xtrans-dev (1.3.5-1) ... Setting up gir1.2-glib-2.0:ppc64el (1.50.0-1ubuntu2) ... Setting up libglib2.0-data (2.50.1-1) ... Setting up libgtksourceview2.0-common (2.10.5-2ubuntu2) ... Processing triggers for libc-bin (2.24-3ubuntu1) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up autotools-dev (20160430.1) ... Setting up libunistring0:ppc64el (0.9.3-5.2ubuntu1) ... Setting up libpixman-1-dev (0.34.0-1) ... Setting up libatk1.0-0:ppc64el (2.22.0-1) ... Setting up libtext-iconv-perl (1.7-5build5) ... Setting up x11proto-randr-dev (1.5.0-1) ... Processing triggers for systemd (231-10) ... Setting up libexpat1-dev:ppc64el (2.2.0-1) ... Setting up shared-mime-info (1.7-1) ... Setting up libpcrecpp0v5:ppc64el (2:8.39-2) ... Setting up libpcre32-3:ppc64el (2:8.39-2) ... Setting up icu-devtools (57.1-4) ... Setting up libpcre16-3:ppc64el (2:8.39-2) ... Setting up libzarith-ocaml (1.4.1-1) ... Setting up libthai-data (0.1.25-2) ... Setting up libxdmcp6:ppc64el (1:1.1.2-1.1) ... Setting up bsdmainutils (9.0.6ubuntu3) ... 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 hicolor-icon-theme (0.15-1) ... Setting up libglib2.0-bin (2.50.1-1) ... Setting up libgraphite2-dev (1.3.8-1ubuntu1) ... Setting up libzip-ocaml (1.06-2) ... Setting up libhunspell-1.4-0:ppc64el (1.4.1-2build1) ... Setting up libx11-data (2:1.6.3-1ubuntu3) ... Setting up libpython2.7-stdlib:ppc64el (2.7.12-3build1) ... Setting up libxau6:ppc64el (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-1ubuntu2) ... Setting up libmpdec2:ppc64el (2.4.2-1) ... Setting up libdbus-1-3:ppc64el (1.10.10-1ubuntu2) ... Setting up liblzo2-2:ppc64el (2.08-1.2) ... Setting up libavahi-common-data:ppc64el (0.6.32-1ubuntu1) ... Setting up zlib1g-dev:ppc64el (1:1.2.8.dfsg-2ubuntu5) ... Setting up libfile-stripnondeterminism-perl (0.028-1) ... Setting up libjpeg8:ppc64el (8c-2ubuntu8) ... Setting up libgmp-dev:ppc64el (2:6.1.1+dfsg-1) ... Setting up libpcre3-dev:ppc64el (2:8.39-2) ... Setting up gir1.2-atk-1.0:ppc64el (2.22.0-1) ... 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.29-1ubuntu1) ... Setting up gettext (0.19.8.1-1ubuntu2) ... Setting up dictionaries-common (1.27.2) ... Setting up gir1.2-freedesktop:ppc64el (1.50.0-1ubuntu2) ... Setting up libsqlite3-ocaml (4.0.5-1) ... Setting up libpython3.5-stdlib:ppc64el (3.5.2-6) ... Setting up libxml2-utils (2.9.4+dfsg1-2.1) ... Setting up python2.7 (2.7.12-3build1) ... Setting up libharfbuzz0b:ppc64el (1.2.7-1) ... Setting up libtiff5:ppc64el (4.0.6-2) ... Setting up libxau-dev:ppc64el (1:1.0.8-1) ... Setting up autoconf (2.69-10) ... Setting up libthai0:ppc64el (0.1.25-2) ... Setting up libicu-dev (57.1-4) ... Setting up file (1:5.28-2ubuntu1) ... Setting up libxml2-dev:ppc64el (2.9.4+dfsg1-2.1) ... Setting up libpython-stdlib:ppc64el (2.7.11-2) ... 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-4ubuntu1) ... 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-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libavahi-common3:ppc64el (0.6.32-1ubuntu1) ... Setting up libpng-dev:ppc64el (1.6.26-1) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up aspell (0.60.7~20110707-3build1) ... Setting up libxcb1:ppc64el (1.11.1-1ubuntu1) ... Setting up x11proto-input-dev (2.3.2-1) ... Setting up libharfbuzz-gobject0:ppc64el (1.2.7-1) ... Setting up python (2.7.11-2) ... Setting up libgmp3-dev (2:6.1.1+dfsg-1) ... Setting up libtool (2.4.6-2) ... Setting up python3.5 (3.5.2-6) ... Setting up libpython3-stdlib:ppc64el (3.5.1-4) ... Setting up libfontconfig1:ppc64el (2.11.94-0ubuntu2) ... Setting up libsm6:ppc64el (2:1.2.2-1) ... 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 libx11-6:ppc64el (2:1.6.3-1ubuntu3) ... Setting up x11proto-xext-dev (7.3.0-1) ... Setting up libfreetype6-dev:ppc64el (2.6.3-3ubuntu1) ... Setting up libice-dev:ppc64el (2:1.0.9-1) ... Setting up aspell-en (2016.06.26-0-0.1) ... Setting up libxcomposite1:ppc64el (1:0.4.4-1) ... Setting up libxcb-shm0:ppc64el (1.11.1-1ubuntu1) ... Setting up libxrender1:ppc64el (1:0.9.9-2) ... Setting up libxcb1-dev:ppc64el (1.11.1-1ubuntu1) ... Setting up libavahi-client3:ppc64el (0.6.32-1ubuntu1) ... 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-1) ... Setting up libfontconfig1-dev:ppc64el (2.11.94-0ubuntu2) ... Setting up libenchant1c2a:ppc64el (1.6.0-11build1) ... 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.2-1) ... Setting up x11proto-fixes-dev (1:5.0-2ubuntu2) ... Setting up libgdk-pixbuf2.0-0:ppc64el (2.34.0-1ubuntu2) ... Setting up libxcb-shm0-dev:ppc64el (1.11.1-1ubuntu1) ... Setting up gir1.2-gdkpixbuf-2.0:ppc64el (2.34.0-1ubuntu2) ... Setting up libxrender-dev:ppc64el (1:0.9.9-2) ... Setting up libxcb-render0-dev:ppc64el (1.11.1-1ubuntu1) ... Setting up x11proto-damage-dev (1:1.2.1-2) ... Setting up libxft-dev (2.3.2-1) ... Setting up gtk-update-icon-cache (3.22.2-0ubuntu1) ... Setting up libxcursor1:ppc64el (1:1.1.14-1) ... Setting up libxext-dev:ppc64el (2:1.3.3-1) ... Setting up libpango-1.0-0:ppc64el (1.40.3-3) ... Setting up libxfixes-dev:ppc64el (1:5.0.2-1) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxrandr2:ppc64el (2:1.5.0-1) ... Setting up libxi6:ppc64el (2:1.7.6-1) ... Setting up libcairo2:ppc64el (1.14.6-1build1) ... Setting up libxinerama1:ppc64el (2:1.1.3-1) ... Setting up libxcursor-dev:ppc64el (1:1.1.14-1) ... Setting up libxrandr-dev:ppc64el (2:1.5.0-1) ... Setting up libxcomposite-dev (1:0.4.4-1) ... Setting up libcairo-script-interpreter2:ppc64el (1.14.6-1build1) ... Setting up libcairo-gobject2:ppc64el (1.14.6-1build1) ... Setting up libxdamage-dev:ppc64el (1:1.1.4-2) ... Setting up libpangoft2-1.0-0:ppc64el (1.40.3-3) ... Setting up libxinerama-dev:ppc64el (2:1.1.3-1) ... Setting up libxi-dev (2:1.7.6-1) ... Setting up libpangoxft-1.0-0:ppc64el (1.40.3-3) ... Setting up libpangocairo-1.0-0:ppc64el (1.40.3-3) ... Setting up gir1.2-pango-1.0:ppc64el (1.40.3-3) ... Setting up librsvg2-2:ppc64el (2.40.16-1) ... Setting up librsvg2-common:ppc64el (2.40.16-1) ... Setting up coq-theories (8.5-2build1) ... 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 ocaml-compiler-libs (4.02.3-6ubuntu2) ... Setting up libgtk2.0-0:ppc64el (2.24.30-4ubuntu2) ... Setting up dh-autoreconf (12) ... Setting up python3 (3.5.1-4) ... Setting up libgtksourceview2.0-0 (2.10.5-2ubuntu2) ... Setting up humanity-icon-theme (0.6.11) ... Setting up ocaml-interp (4.02.3-6ubuntu2) ... Setting up libglib2.0-dev (2.50.1-1) ... Setting up libgtkspell0 (2.0.16-1.1ubuntu1) ... Setting up libglade2-0:ppc64el (1:2.6.4-2) ... Setting up dh-strip-nondeterminism (0.028-1) ... Setting up libgdk-pixbuf2.0-dev (2.34.0-1ubuntu2) ... Setting up libenchant-dev (1.6.0-11build1) ... Setting up libharfbuzz-dev:ppc64el (1.2.7-1) ... Setting up dh-python (2.20160818) ... Setting up gir1.2-gtk-2.0 (2.24.30-4ubuntu2) ... Setting up debhelper (10.2.2ubuntu1) ... Setting up liblablgtk2-ocaml (2.18.3+dfsg-2) ... Setting up ocaml-nox (4.02.3-6ubuntu2) ... Setting up libcairo2-dev (1.14.6-1build1) ... Setting up ubuntu-mono (16.10+17.04.20161024-0ubuntu1) ... Setting up camlp5 (6.16-1) ... Setting up libocamlgraph-ocaml-dev (1.8.6-1build2) ... Setting up libatk1.0-dev:ppc64el (2.22.0-1) ... Setting up libzip-ocaml-dev (1.06-2) ... Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Setting up libmenhir-ocaml-dev (20160808+dfsg-1) ... Setting up libzarith-ocaml-dev (1.4.1-1) ... Setting up libpango1.0-dev (1.40.3-3) ... Setting up libsqlite3-ocaml-dev (4.0.5-1) ... Setting up libcoq-ocaml (8.5-2build1) ... Setting up libgtk2.0-dev (2.24.30-4ubuntu2) ... Setting up coq (8.5-2build1) ... ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file. Install coq for emacs Setting up libglade2-dev:ppc64el (1:2.6.4-2) ... Setting up libgtkspell-dev (2.0.16-1.1ubuntu1) ... Setting up libgtksourceview2.0-dev (2.10.5-2ubuntu2) ... Setting up liblablgtk2-ocaml-dev (2.18.3+dfsg-2) ... Setting up liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-2) ... Setting up libcoq-ocaml-dev (8.5-2build1) ... Setting up sbuild-build-depends-why3-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.24-3ubuntu1) ... Processing triggers for systemd (231-10) ... Processing triggers for dictionaries-common (1.27.2) ... aspell-autobuildhash: processing: en [en-common]. aspell-autobuildhash: processing: en [en-variant_0]. aspell-autobuildhash: processing: en [en-variant_1]. aspell-autobuildhash: processing: en [en-variant_2]. aspell-autobuildhash: processing: en [en-w_accents-only]. aspell-autobuildhash: processing: en [en-wo_accents-only]. aspell-autobuildhash: processing: en [en_CA-variant_0]. aspell-autobuildhash: processing: en [en_CA-variant_1]. aspell-autobuildhash: processing: en [en_CA-w_accents-only]. aspell-autobuildhash: processing: en [en_CA-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-variant_0]. aspell-autobuildhash: processing: en [en_GB-variant_1]. aspell-autobuildhash: processing: en [en_US-w_accents-only]. aspell-autobuildhash: processing: en [en_US-wo_accents-only]. Processing triggers for libgdk-pixbuf2.0-0:ppc64el (2.34.0-1ubuntu2) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-31-generic ppc64el (ppc64le) Toolchain package versions: binutils_2.27-9ubuntu1 dpkg-dev_1.18.10ubuntu1 g++-6_6.2.0-10ubuntu1 gcc-6_6.2.0-10ubuntu1 libc6-dev_2.24-3ubuntu1 libstdc++-6-dev_6.2.0-10ubuntu1 libstdc++6_6.2.0-10ubuntu1 linux-libc-dev_4.8.0-27.29 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 aspell_0.60.7~20110707-3build1 aspell-en_2016.06.26-0-0.1 autoconf_2.69-10 automake_1:1.15-4ubuntu1 autopoint_0.19.8.1-1ubuntu2 autotools-dev_20160430.1 base-files_9.6ubuntu6 base-passwd_3.5.40 bash_4.3-15ubuntu1 binutils_2.27-9ubuntu1 bsdmainutils_9.0.6ubuntu3 bsdutils_1:2.28.2-1ubuntu1 build-essential_12.1ubuntu2 bzip2_1.0.6-8build1 ca-certificates_20160104ubuntu1 camlp5_6.16-1 coq_8.5-2build1 coq-theories_8.5-2build1 coreutils_8.25-2ubuntu2 cpp_4:6.1.1-1ubuntu2 cpp-6_6.2.0-10ubuntu1 dash_0.5.8-2.3ubuntu1 debconf_1.5.59ubuntu1 debhelper_10.2.2ubuntu1 debianutils_4.8 dh-autoreconf_12 dh-ocaml_1.0.10 dh-python_2.20160818 dh-strip-nondeterminism_0.028-1 dictionaries-common_1.27.2 diffutils_1:3.5-1 dmsetup_2:1.02.133-1ubuntu1 dpkg_1.18.10ubuntu1 dpkg-dev_1.18.10ubuntu1 e2fslibs_1.43.3-1 e2fsprogs_1.43.3-1 emacsen-common_2.0.8 fakeroot_1.21-1ubuntu2 file_1:5.28-2ubuntu1 findutils_4.6.0+git+20160703-2 fontconfig_2.11.94-0ubuntu2 fontconfig-config_2.11.94-0ubuntu2 fonts-dejavu-core_2.37-1 g++_4:6.1.1-1ubuntu2 g++-6_6.2.0-10ubuntu1 gcc_4:6.1.1-1ubuntu2 gcc-6_6.2.0-10ubuntu1 gcc-6-base_6.2.0-10ubuntu1 gettext_0.19.8.1-1ubuntu2 gettext-base_0.19.8.1-1ubuntu2 gir1.2-atk-1.0_2.22.0-1 gir1.2-freedesktop_1.50.0-1ubuntu2 gir1.2-gdkpixbuf-2.0_2.34.0-1ubuntu2 gir1.2-glib-2.0_1.50.0-1ubuntu2 gir1.2-gtk-2.0_2.24.30-4ubuntu2 gir1.2-pango-1.0_1.40.3-3 gnupg_2.1.15-1ubuntu6 gnupg-agent_2.1.15-1ubuntu6 gpgv_2.1.15-1ubuntu6 grep_2.26-1 groff-base_1.22.3-8 gtk-update-icon-cache_3.22.2-0ubuntu1 gzip_1.6-4ubuntu1 hicolor-icon-theme_0.15-1 hostname_3.18 humanity-icon-theme_0.6.11 icu-devtools_57.1-4 init_1.45 init-system-helpers_1.45 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.0-10ubuntu1 libasn1-8-heimdal_1.7~git20160703+dfsg-1 libaspell15_0.60.7~20110707-3build1 libassuan0_2.4.3-1 libatk1.0-0_2.22.0-1 libatk1.0-data_2.22.0-1 libatk1.0-dev_2.22.0-1 libatomic1_6.2.0-10ubuntu1 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.28.2-1ubuntu1 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-1build1 libcairo-script-interpreter2_1.14.6-1build1 libcairo2_1.14.6-1build1 libcairo2-dev_1.14.6-1build1 libcap-ng0_0.7.7-3 libcap2_1:2.25-1 libcc1-0_6.2.0-10ubuntu1 libcomerr2_1.43.3-1 libcoq-ocaml_8.5-2build1 libcoq-ocaml-dev_8.5-2build1 libcroco3_0.6.11-2 libcryptsetup4_2:1.7.2-0ubuntu1 libcups2_2.2.1-1 libcurl3-gnutls_7.50.1-1ubuntu1 libdatrie1_0.2.10-4 libdb5.3_5.3.28-12 libdbus-1-3_1.10.10-1ubuntu2 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.133-1ubuntu1 libdpkg-perl_1.18.10ubuntu1 libelf1_0.166-2ubuntu1 libenchant-dev_1.6.0-11build1 libenchant1c2a_1.6.0-11build1 libexpat1_2.2.0-1 libexpat1-dev_2.2.0-1 libfakeroot_1.21-1ubuntu2 libfdisk1_2.28.2-1ubuntu1 libffi6_3.2.1-6 libfile-stripnondeterminism-perl_0.028-1 libfontconfig1_2.11.94-0ubuntu2 libfontconfig1-dev_2.11.94-0ubuntu2 libfreetype6_2.6.3-3ubuntu1 libfreetype6-dev_2.6.3-3ubuntu1 libgcc-6-dev_6.2.0-10ubuntu1 libgcc1_1:6.2.0-10ubuntu1 libgcrypt20_1.7.2-2ubuntu1 libgdbm3_1.8.3-14 libgdk-pixbuf2.0-0_2.34.0-1ubuntu2 libgdk-pixbuf2.0-common_2.34.0-1ubuntu2 libgdk-pixbuf2.0-dev_2.34.0-1ubuntu2 libgirepository-1.0-1_1.50.0-1ubuntu2 libglade2-0_1:2.6.4-2 libglade2-dev_1:2.6.4-2 libglib2.0-0_2.50.1-1 libglib2.0-bin_2.50.1-1 libglib2.0-data_2.50.1-1 libglib2.0-dev_2.50.1-1 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.3-5ubuntu1 libgomp1_6.2.0-10ubuntu1 libgpg-error0_1.24-1 libgraphite2-3_1.3.8-1ubuntu1 libgraphite2-dev_1.3.8-1ubuntu1 libgssapi-krb5-2_1.14.3+dfsg-2 libgssapi3-heimdal_1.7~git20160703+dfsg-1 libgtk2.0-0_2.24.30-4ubuntu2 libgtk2.0-common_2.24.30-4ubuntu2 libgtk2.0-dev_2.24.30-4ubuntu2 libgtksourceview2.0-0_2.10.5-2ubuntu2 libgtksourceview2.0-common_2.10.5-2ubuntu2 libgtksourceview2.0-dev_2.10.5-2ubuntu2 libgtkspell-dev_2.0.16-1.1ubuntu1 libgtkspell0_2.0.16-1.1ubuntu1 libharfbuzz-dev_1.2.7-1 libharfbuzz-gobject0_1.2.7-1 libharfbuzz-icu0_1.2.7-1 libharfbuzz0b_1.2.7-1 libhcrypto4-heimdal_1.7~git20160703+dfsg-1 libheimbase1-heimdal_1.7~git20160703+dfsg-1 libheimntlm0-heimdal_1.7~git20160703+dfsg-1 libhogweed4_3.3-1 libhunspell-1.4-0_1.4.1-2build1 libhx509-5-heimdal_1.7~git20160703+dfsg-1 libice-dev_2:1.0.9-1 libice6_2:1.0.9-1 libicu-dev_57.1-4 libicu57_57.1-4 libidn11_1.33-1 libip4tc0_1.6.0-3ubuntu2 libisl15_0.17.1-1 libitm1_6.2.0-10ubuntu1 libjbig0_2.1-3.1 libjpeg-turbo8_1.5.0-0ubuntu1 libjpeg8_8c-2ubuntu8 libk5crypto3_1.14.3+dfsg-2 libkeyutils1_1.5.9-9ubuntu1 libkmod2_22-1.1ubuntu1 libkrb5-26-heimdal_1.7~git20160703+dfsg-1 libkrb5-3_1.14.3+dfsg-2 libkrb5support0_1.14.3+dfsg-2 libksba8_1.3.5-2 liblablgtk2-ocaml_2.18.3+dfsg-2 liblablgtk2-ocaml-dev_2.18.3+dfsg-2 liblablgtksourceview2-ocaml_2.18.3+dfsg-2 liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-2 libldap-2.4-2_2.4.42+dfsg-2ubuntu5 liblockfile-bin_1.09-6ubuntu1 liblockfile1_1.09-6ubuntu1 liblz4-1_0.0~r131-2ubuntu2 liblzma5_5.2.2-1.2 liblzo2-2_2.08-1.2 libmagic1_1:5.28-2ubuntu1 libmenhir-ocaml-dev_20160808+dfsg-1 libmount1_2.28.2-1ubuntu1 libmpc3_1.0.3-1 libmpdec2_2.4.2-1 libmpfr4_3.1.5-1 libncurses5_6.0+20160625-1ubuntu1 libncurses5-dev_6.0+20160625-1ubuntu1 libncursesw5_6.0+20160625-1ubuntu1 libnettle6_3.3-1 libnpth0_1.2-3 libocamlgraph-ocaml-dev_1.8.6-1build2 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 libpango1.0-dev_1.40.3-3 libpangocairo-1.0-0_1.40.3-3 libpangoft2-1.0-0_1.40.3-3 libpangoxft-1.0-0_1.40.3-3 libpcre16-3_2:8.39-2 libpcre3_2:8.39-2 libpcre3-dev_2:8.39-2 libpcre32-3_2:8.39-2 libpcrecpp0v5_2:8.39-2 libperl5.22_5.22.2-3 libperl5.24_5.24.1~rc3-3 libpipeline1_1.4.1-2 libpixman-1-0_0.34.0-1 libpixman-1-dev_0.34.0-1 libpng-dev_1.6.26-1 libpng16-16_1.6.26-1 libprocps6_2:3.3.12-1ubuntu2 libpthread-stubs0-dev_0.3-4 libpython-stdlib_2.7.11-2 libpython2.7-minimal_2.7.12-3build1 libpython2.7-stdlib_2.7.12-3build1 libpython3-stdlib_3.5.1-4 libpython3.5-minimal_3.5.2-6 libpython3.5-stdlib_3.5.2-6 libreadline7_7.0-0ubuntu2 libroken18-heimdal_1.7~git20160703+dfsg-1 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.5-3 libsemanage-common_2.5-1 libsemanage1_2.5-1 libsepol1_2.6-1 libsigsegv2_2.10-5 libslang2_2.3.0-2.3ubuntu1 libsm-dev_2:1.2.2-1 libsm6_2:1.2.2-1 libsmartcols1_2.28.2-1ubuntu1 libsqlite3-0_3.14.1-1build1 libsqlite3-dev_3.14.1-1build1 libsqlite3-ocaml_4.0.5-1 libsqlite3-ocaml-dev_4.0.5-1 libss2_1.43.3-1 libssl1.0.0_1.0.2g-1ubuntu9 libstdc++-6-dev_6.2.0-10ubuntu1 libstdc++6_6.2.0-10ubuntu1 libsystemd0_231-10 libtasn1-6_4.9-4 libtext-iconv-perl_1.7-5build5 libthai-data_0.1.25-2 libthai0_0.1.25-2 libtiff5_4.0.6-2 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20160625-1ubuntu1 libtinfo5_6.0+20160625-1ubuntu1 libtool_2.4.6-2 libubsan0_6.2.0-10ubuntu1 libudev1_231-10 libunistring0_0.9.3-5.2ubuntu1 libusb-0.1-4_2:0.1.12-30 libustr-1.0-1_1.0.4-5 libuuid1_2.28.2-1ubuntu1 libwind0-heimdal_1.7~git20160703+dfsg-1 libx11-6_2:1.6.3-1ubuntu3 libx11-data_2:1.6.3-1ubuntu3 libx11-dev_2:1.6.3-1ubuntu3 libxau-dev_1:1.0.8-1 libxau6_1:1.0.8-1 libxcb-render0_1.11.1-1ubuntu1 libxcb-render0-dev_1.11.1-1ubuntu1 libxcb-shm0_1.11.1-1ubuntu1 libxcb-shm0-dev_1.11.1-1ubuntu1 libxcb1_1.11.1-1ubuntu1 libxcb1-dev_1.11.1-1ubuntu1 libxcomposite-dev_1:0.4.4-1 libxcomposite1_1:0.4.4-1 libxcursor-dev_1:1.1.14-1 libxcursor1_1:1.1.14-1 libxdamage-dev_1:1.1.4-2 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 libxfixes-dev_1:5.0.2-1 libxfixes3_1:5.0.2-1 libxft-dev_2.3.2-1 libxft2_2.3.2-1 libxi-dev_2:1.7.6-1 libxi6_2:1.7.6-1 libxinerama-dev_2:1.1.3-1 libxinerama1_2:1.1.3-1 libxml2_2.9.4+dfsg1-2.1 libxml2-dev_2.9.4+dfsg1-2.1 libxml2-utils_2.9.4+dfsg1-2.1 libxrandr-dev_2:1.5.0-1 libxrandr2_2:1.5.0-1 libxrender-dev_1:0.9.9-2 libxrender1_1:0.9.9-2 libzarith-ocaml_1.4.1-1 libzarith-ocaml-dev_1.4.1-1 libzip-ocaml_1.06-2 libzip-ocaml-dev_1.06-2 linux-libc-dev_4.8.0-27.29 lockfile-progs_0.1.17 login_1:4.2-3.2ubuntu1 lsb-base_9.20160110ubuntu5 m4_1.4.17-5 make_4.1-9 man-db_2.7.5-1 mawk_1.3.3-17ubuntu2 menhir_20160808+dfsg-1 mime-support_3.60ubuntu1 mount_2.28.2-1ubuntu1 multiarch-support_2.24-3ubuntu1 ncurses-base_6.0+20160625-1ubuntu1 ncurses-bin_6.0+20160625-1ubuntu1 ocaml-base-nox_4.02.3-6ubuntu2 ocaml-compiler-libs_4.02.3-6ubuntu2 ocaml-interp_4.02.3-6ubuntu2 ocaml-nox_4.02.3-6ubuntu2 openssl_1.0.2g-1ubuntu9 optipng_0.7.6-1build1 passwd_1:4.2-3.2ubuntu1 patch_2.7.5-1 perl_5.24.1~rc3-3 perl-base_5.24.1~rc3-3 perl-modules-5.22_5.22.2-3 perl-modules-5.24_5.24.1~rc3-3 pinentry-curses_0.9.7-6 pkg-config_0.29.1-0ubuntu1 pkg-create-dbgsym_0.72 pkgbinarymangler_131 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 procps_2:3.3.12-1ubuntu2 python_2.7.11-2 python-minimal_2.7.11-2 python2.7_2.7.12-3build1 python2.7-minimal_2.7.12-3build1 python3_3.5.1-4 python3-minimal_3.5.1-4 python3.5_3.5.2-6 python3.5-minimal_3.5.2-6 readline-common_7.0-0ubuntu2 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-why3-dummy_0.invalid.0 sed_4.2.2-8 sensible-utils_0.0.9 shared-mime-info_1.7-1 systemd_231-10 systemd-sysv_231-10 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.8git1 tar_1.29b-1 tex-common_6.05 tzdata_2016h-1 ubuntu-keyring_2016.10.27 ubuntu-mono_16.10+17.04.20161024-0ubuntu1 ucf_3.0036 util-linux_2.28.2-1ubuntu1 x11-common_1:7.7+16ubuntu2 x11proto-composite-dev_1:0.4.2-2 x11proto-core-dev_7.0.29-1ubuntu1 x11proto-damage-dev_1:1.2.1-2 x11proto-fixes-dev_1:5.0-2ubuntu2 x11proto-input-dev_2.3.2-1 x11proto-kb-dev_1.0.7-1 x11proto-randr-dev_1.5.0-1 x11proto-render-dev_2:0.11.1-2 x11proto-xext-dev_7.3.0-1 x11proto-xinerama-dev_1.2.1-2 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 zlib1g-dev_1:1.2.8.dfsg-2ubuntu5 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Wed Sep 21 19:00:32 2016 UTC gpgv: using RSA key gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./why3_0.87.2-2.dsc dpkg-source: info: extracting why3 in why3-0.87.2 dpkg-source: info: unpacking why3_0.87.2.orig.tar.gz dpkg-source: info: unpacking why3_0.87.2-2.debian.tar.xz 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 why3 dpkg-buildpackage: info: source version 0.87.2-2 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build why3-0.87.2 dpkg-buildpackage: info: host architecture ppc64el fakeroot debian/rules clean dh clean --with ocaml,tex dh_testdir dh_auto_clean dh_ocamlclean dh_clean debian/rules build-arch # USEOCAMLFIND=no implies that libs are installed into /usr/lib/ # instead of /usr/local/lib as indicated by ocamlfind (in case it # is installed) USEOCAMLFIND=no dh_auto_configure -- --disable-emacs-compilation ./configure --build=powerpc64le-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libdir=\${prefix}/lib/powerpc64le-linux-gnu --libexecdir=\${prefix}/lib/powerpc64le-linux-gnu --disable-maintainer-mode --disable-dependency-tracking --disable-emacs-compilation configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking checking executable suffix... checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for a thread-safe mkdir -p... /bin/mkdir -p checking for a BSD-compatible install... /usr/bin/install -c checking for ocamlc... ocamlc ocaml version is 4.02.3 ocaml library path is /usr/lib/ocaml checking for ocamlopt... no configure: WARNING: Cannot find ocamlopt; bytecode compilation only. checking for ocamlc.opt... no checking for ocamldep... ocamldep checking for ocamldep.opt... no checking for ocamllex... ocamllex checking for ocamllex.opt... no checking for ocamlyacc... ocamlyacc checking for ocamldoc... ocamldoc checking for ocamldoc.opt... no checking for menhir... menhir checking for ocamlfind... no checking for rubber... no configure: WARNING: Cannot find rubber, documentation disabled. checking for /usr/lib/ocaml/zarith/zarith.cma... yes checking for /usr/lib/ocaml/zip/zip.cma... yes checking for /usr/lib/ocaml/menhirLib/menhirLib.cmx... no configure: WARNING: Lib menhirLib not found, parser source files will be bigger. checking for /usr/lib/ocaml/lablgtk2/lablgtk.cma... yes checking for /usr/lib/ocaml/lablgtk2/lablgtksourceview2.cma... yes checking for coqc... coqc checking Coq version... 8.5 checking for coqdep... coqdep checking for /usr/lib/coq/kernel/term.cmi... yes checking for camlp5o... /usr/bin//camlp5o checking for Flocq... File "./conftest.v", line 1, characters 15-34: Error: Cannot find a physical path bound to logical path matching suffix Flocq. no configure: WARNING: Cannot find Flocq. checking for pvs... no configure: WARNING: Cannot find pvs. checking for isabelle... no configure: WARNING: Cannot find isabelle. checking for /usr/lib/ocaml/ocamlgraph/... yes configure: creating ./config.status config.status: creating Makefile config.status: creating src/config.sh config.status: creating doc/version.tex config.status: creating lib/why3/META config.status: creating .merlin config.status: creating src/jessie/Makefile config.status: executing chmod commands configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking Summary ----------------------------------------- Verbose make : no OCaml compiler : yes Version : 4.02.3 Library path : /usr/lib/ocaml Native compilation : no Profiling : no Components IDE command : yes GMP arithmetic : yes Compressed sessions : yes MenhirLib support : no (menhirLib not found) Hypothesis selection : yes Frama-C support : no (disabled by default) Documentation : no (rubber not found) Support for interactive proof assistants Coq : yes Version : 8.5 Library path : /usr/lib/coq "why3" tactic : yes Realization support : yes FP arithmetic : no (Flocq >= 2.5 not found) PVS : no (pvs not found) Isabelle : no (isabelle not found) Installable : yes Binary path : ${exec_prefix}/bin Lib path : ${prefix}/lib/powerpc64le-linux-gnu/why3 Data path : ${prefix}/share/why3 Ocaml Library : /usr/lib/ocaml/why3 Relocatable : no touch configure-stamp dh_testdir /usr/bin/make all byte make[1]: Entering directory '/<>' Ocamllex src/why3doc/doc_lexer.mll 112 states, 1119 transitions, table size 5148 bytes 1707 additional bytes used for bindings Ocamldep src/why3doc/doc_main.ml Ocamldep src/why3doc/doc_lexer.ml Ocamldep src/why3doc/doc_def.ml Ocamldep src/why3doc/doc_html.ml cp lib/ocaml/why3__BigInt_zarith.ml lib/ocaml/why3__BigInt_compat.ml Ocamldep lib/ocaml/why3__Matrix.ml Ocamldep lib/ocaml/why3__Array.ml Ocamldep lib/ocaml/why3__IntAux.ml Ocamldep lib/ocaml/why3__BigInt.ml Ocamldep lib/ocaml/why3__BigInt_compat.ml for i in bv/BV_Gen.v; do \ cp lib/coq/$i.COQ85 lib/coq/$i ; \ done Coqdep lib/coq/bv/BV_Gen.v Coqdep lib/coq/bv/Pow2int.v Coqdep lib/coq/seq/Seq.v Coqdep lib/coq/option/Option.v Coqdep lib/coq/list/Permut.v Coqdep lib/coq/list/NumOcc.v Coqdep lib/coq/list/Distinct.v Coqdep lib/coq/list/Combine.v Coqdep lib/coq/list/RevAppend.v Coqdep lib/coq/list/NthNoOpt.v Coqdep lib/coq/list/HdTlNoOpt.v Coqdep lib/coq/list/Reverse.v Coqdep lib/coq/list/NthLengthAppend.v Coqdep lib/coq/list/Append.v Coqdep lib/coq/list/NthHdTl.v Coqdep lib/coq/list/HdTl.v Coqdep lib/coq/list/NthLength.v Coqdep lib/coq/list/Nth.v Coqdep lib/coq/list/Mem.v Coqdep lib/coq/list/Length.v Coqdep lib/coq/list/List.v Coqdep lib/coq/map/MapInjection.v Coqdep lib/coq/map/MapPermut.v Coqdep lib/coq/map/Occ.v Coqdep lib/coq/map/Const.v Coqdep lib/coq/map/Map.v Coqdep lib/coq/set/Set.v Coqdep lib/coq/number/Coprime.v Coqdep lib/coq/number/Prime.v Coqdep lib/coq/number/Parity.v Coqdep lib/coq/number/Gcd.v Coqdep lib/coq/number/Divisibility.v Coqdep lib/coq/real/Trigonometry.v Coqdep lib/coq/real/Square.v Coqdep lib/coq/real/RealInfix.v Coqdep lib/coq/real/Real.v Coqdep lib/coq/real/PowerReal.v Coqdep lib/coq/real/PowerInt.v Coqdep lib/coq/real/MinMax.v Coqdep lib/coq/real/FromInt.v Coqdep lib/coq/real/ExpLog.v Coqdep lib/coq/real/Abs.v Coqdep lib/coq/bool/Bool.v Coqdep lib/coq/int/NumOf.v Coqdep lib/coq/int/Power.v Coqdep lib/coq/int/MinMax.v Coqdep lib/coq/int/Int.v Coqdep lib/coq/int/EuclideanDivision.v Coqdep lib/coq/int/Div2.v Coqdep lib/coq/int/ComputerDivision.v Coqdep lib/coq/int/Abs.v Coqdep lib/coq/int/Exponentiation.v Coqdep lib/coq/HighOrd.v Coqdep lib/coq/BuiltIn.v Camlp src/coq-tactic/why3tac.ml4 Ocamldep src/coq-tactic/why3tac.ml Ocamldep src/why3session/why3session_main.ml Ocamldep src/why3session/why3session_csv.ml Ocamldep src/why3session/why3session_run.ml Ocamldep src/why3session/why3session_output.ml Ocamldep src/why3session/why3session_rm.ml Ocamldep src/why3session/why3session_html.ml Ocamldep src/why3session/why3session_latex.ml Ocamldep src/why3session/why3session_info.ml Ocamldep src/why3session/why3session_copy.ml Ocamldep src/why3session/why3session_lib.ml Ocamldep src/ide/gmain.ml Ocamldep src/ide/gconfig.ml Ocamllex src/tools/why3wc.mll 298 states, 15365 transitions, table size 63248 bytes Ocamldep src/tools/why3wc.ml Ocamldep src/tools/why3replay.ml Ocamldep src/tools/why3realize.ml Ocamldep src/tools/why3prove.ml Ocamldep src/tools/why3extract.ml Ocamldep src/tools/why3execute.ml Ocamldep src/tools/why3config.ml Ocamldep src/tools/main.ml Ocamllex plugins/tptp/tptp_lexer.mll 101 states, 1563 transitions, table size 6858 bytes 3126 additional bytes used for bindings Menhir plugins/tptp/tptp_parser.mly Warning: you are using the standard library and/or the %inline keyword. We recommend switching on --infer in order to avoid obscure type error messages. Ocamllex plugins/parser/dimacs.mll 34 states, 434 transitions, table size 1940 bytes 1293 additional bytes used for bindings Ocamldep plugins/tptp/tptp_printer.ml Ocamldep plugins/tptp/tptp_lexer.ml Ocamldep plugins/tptp/tptp_typing.ml Ocamldep plugins/tptp/tptp_parser.ml Ocamldep plugins/tptp/tptp_ast.ml Ocamldep plugins/transform/hypothesis_selection.ml Ocamldep plugins/parser/dimacs.ml Ocamldep plugins/parser/genequlin.ml Generate src/util/config.ml Ocamllex src/util/rc.mll 48 states, 1889 transitions, table size 7844 bytes 3073 additional bytes used for bindings Ocamllex src/util/lexlib.mll 16 states, 260 transitions, table size 1136 bytes Ocamllex src/parser/lexer.mll 128 states, 3284 transitions, table size 13904 bytes 7458 additional bytes used for bindings Menhir src/parser/parser.mly Warning: you are using the standard library and/or the %inline keyword. We recommend switching on --infer in order to avoid obscure type error messages. Menhir src/driver/driver_parser.mly Ocamllex src/driver/driver_lexer.mll 29 states, 1101 transitions, table size 4578 bytes Menhir src/driver/parse_smtv2_model_parser.mly Ocamllex src/driver/parse_smtv2_model_lexer.mll 47 states, 833 transitions, table size 3614 bytes 1740 additional bytes used for bindings cp src/session/compress_z.ml src/session/compress.ml Ocamllex src/session/xml.mll 114 states, 1396 transitions, table size 6268 bytes 3538 additional bytes used for bindings Ocamllex src/session/strategy_parser.mll 39 states, 619 transitions, table size 2710 bytes 1755 additional bytes used for bindings Ocamldep src/session/session_scheduler.ml Ocamldep src/session/strategy_parser.ml Ocamldep src/session/strategy.ml Ocamldep src/session/session_tools.ml Ocamldep src/session/session.ml Ocamldep src/session/termcode.ml Ocamldep src/session/xml.ml Ocamldep src/session/compress.ml Ocamldep src/whyml/mlw_interp.ml Ocamldep src/whyml/mlw_main.ml Ocamldep src/whyml/mlw_ocaml.ml Ocamldep src/whyml/mlw_exec.ml Ocamldep src/whyml/mlw_driver.ml Ocamldep src/whyml/mlw_typing.ml Ocamldep src/whyml/mlw_dexpr.ml Ocamldep src/whyml/mlw_module.ml Ocamldep src/whyml/mlw_wp.ml Ocamldep src/whyml/mlw_pretty.ml Ocamldep src/whyml/mlw_decl.ml Ocamldep src/whyml/mlw_expr.ml Ocamldep src/whyml/mlw_ty.ml Ocamldep src/printer/mathematica.ml Ocamldep src/printer/yices.ml Ocamldep src/printer/cvc3.ml Ocamldep src/printer/gappa.ml Ocamldep src/printer/simplify.ml Ocamldep src/printer/isabelle.ml Ocamldep src/printer/pvs.ml Ocamldep src/printer/coq.ml Ocamldep src/printer/smtv2.ml Ocamldep src/printer/smtv1.ml Ocamldep src/printer/why3printer.ml Ocamldep src/printer/alt_ergo.ml Ocamldep src/transform/prop_curry.ml Ocamldep src/transform/induction_pr.ml Ocamldep src/transform/smoke_detector.ml Ocamldep src/transform/instantiate_predicate.ml Ocamldep src/transform/eval_match.ml Ocamldep src/transform/prepare_for_counterexmp.ml Ocamldep src/transform/intro_vc_vars_counterexmp.ml Ocamldep src/transform/intro_projections_counterexmp.ml Ocamldep src/transform/eliminate_epsilon.ml Ocamldep src/transform/lift_epsilon.ml Ocamldep src/transform/close_epsilon.ml Ocamldep src/transform/abstraction.ml Ocamldep src/transform/introduction.ml Ocamldep src/transform/filter_trigger.ml Ocamldep src/transform/simplify_array.ml Ocamldep src/transform/encoding_sort.ml Ocamldep src/transform/encoding_twin.ml Ocamldep src/transform/encoding_tags.ml Ocamldep src/transform/encoding_guards.ml Ocamldep src/transform/encoding_tags_full.ml Ocamldep src/transform/encoding_guards_full.ml Ocamldep src/transform/encoding_select.ml Ocamldep src/transform/encoding.ml Ocamldep src/transform/discriminate.ml Ocamldep src/transform/libencoding.ml Ocamldep src/transform/eliminate_if.ml Ocamldep src/transform/eliminate_let.ml Ocamldep src/transform/eliminate_inductive.ml Ocamldep src/transform/eliminate_algebraic.ml Ocamldep src/transform/eliminate_definition.ml Ocamldep src/transform/compute.ml Ocamldep src/transform/reduction_engine.ml Ocamldep src/transform/detect_polymorphism.ml Ocamldep src/transform/induction.ml Ocamldep src/transform/split_goal.ml Ocamldep src/transform/inlining.ml Ocamldep src/transform/simplify_formula.ml Ocamldep src/parser/lexer.ml Ocamldep src/parser/typing.ml Ocamldep src/parser/parser.ml Ocamldep src/parser/glob.ml Ocamldep src/parser/ptree.ml Ocamldep src/mlw/pmodule.ml Ocamldep src/mlw/pdecl.ml Ocamldep src/mlw/dexpr.ml Ocamldep src/mlw/expr.ml Ocamldep src/mlw/ity.ml Ocamldep src/driver/parse_smtv2_model.ml Ocamldep src/driver/parse_smtv2_model_lexer.ml Ocamldep src/driver/parse_smtv2_model_parser.ml Ocamldep src/driver/autodetection.ml Ocamldep src/driver/whyconf.ml Ocamldep src/driver/driver.ml Ocamldep src/driver/driver_lexer.ml Ocamldep src/driver/driver_parser.ml Ocamldep src/driver/driver_ast.ml Ocamldep src/driver/call_provers.ml Ocamldep src/core/model_parser.ml Ocamldep src/core/printer.ml Ocamldep src/core/trans.ml Ocamldep src/core/env.ml Ocamldep src/core/dterm.ml Ocamldep src/core/pretty.ml Ocamldep src/core/task.ml Ocamldep src/core/theory.ml Ocamldep src/core/decl.ml Ocamldep src/core/pattern.ml Ocamldep src/core/term.ml Ocamldep src/core/ty.ml Ocamldep src/core/ident.ml Ocamldep src/util/pqueue.ml Ocamldep src/util/number.ml Ocamldep src/util/bigInt.ml Ocamldep src/util/plugin.ml Ocamldep src/util/rc.ml Ocamldep src/util/sysutil.ml Ocamldep src/util/warning.ml Ocamldep src/util/cmdline.ml Ocamldep src/util/print_tree.ml Ocamldep src/util/lexlib.ml Ocamldep src/util/loc.ml Ocamldep src/util/debug.ml Ocamldep src/util/json.ml Ocamldep src/util/pp.ml Ocamldep src/util/exn_printer.ml Ocamldep src/util/stdlib.ml Ocamldep src/util/hashcons.ml Ocamldep src/util/weakhtbl.ml Ocamldep src/util/exthtbl.ml Ocamldep src/util/extset.ml Ocamldep src/util/extmap.ml Ocamldep src/util/strings.ml Ocamldep src/util/lists.ml Ocamldep src/util/opt.ml Ocamldep src/util/util.ml Ocamldep src/util/config.ml Ocamlc src/util/config.ml Ocamlc src/util/bigInt.mli Ocamlc src/util/bigInt.ml Ocamlc src/util/util.mli Ocamlc src/util/util.ml Ocamlc src/util/opt.mli Ocamlc src/util/opt.ml Ocamlc src/util/lists.mli Ocamlc src/util/lists.ml Ocamlc src/util/strings.mli Ocamlc src/util/strings.ml Ocamlc src/util/extmap.mli Ocamlc src/util/extmap.ml Ocamlc src/util/extset.mli Ocamlc src/util/extset.ml Ocamlc src/util/exthtbl.mli Ocamlc src/util/exthtbl.ml Ocamlc src/util/weakhtbl.mli Ocamlc src/util/weakhtbl.ml Ocamlc src/util/hashcons.mli Ocamlc src/util/hashcons.ml Ocamlc src/util/stdlib.mli Ocamlc src/util/stdlib.ml Ocamlc src/util/exn_printer.mli Ocamlc src/util/exn_printer.ml Ocamlc src/util/pp.mli Ocamlc src/util/pp.ml Ocamlc src/util/json.mli Ocamlc src/util/json.ml Ocamlc src/util/debug.mli Ocamlc src/util/debug.ml Ocamlc src/util/loc.mli Ocamlc src/util/loc.ml Ocamlc src/util/lexlib.mli Ocamlc src/util/lexlib.ml Ocamlc src/util/print_tree.mli Ocamlc src/util/print_tree.ml Ocamlc src/util/cmdline.mli Ocamlc src/util/cmdline.ml Ocamlc src/util/warning.mli Ocamlc src/util/warning.ml Ocamlc src/util/sysutil.mli Ocamlc src/util/sysutil.ml Ocamlc src/util/rc.mli Ocamlc src/util/rc.ml Ocamlc src/util/plugin.mli Ocamlc src/util/plugin.ml Ocamlc src/util/number.mli Ocamlc src/util/number.ml Ocamlc src/util/pqueue.mli Ocamlc src/util/pqueue.ml Ocamlc src/core/ident.mli Ocamlc src/core/ident.ml Ocamlc src/core/ty.mli Ocamlc src/core/ty.ml Ocamlc src/core/term.mli Ocamlc src/core/term.ml Ocamlc src/core/pattern.mli Ocamlc src/core/pattern.ml Ocamlc src/core/decl.mli Ocamlc src/core/decl.ml Ocamlc src/core/theory.mli Ocamlc src/core/theory.ml Ocamlc src/core/task.mli Ocamlc src/core/task.ml Ocamlc src/core/pretty.mli Ocamlc src/core/pretty.ml Ocamlc src/core/dterm.mli Ocamlc src/core/dterm.ml Ocamlc src/core/env.mli Ocamlc src/core/env.ml Ocamlc src/core/trans.mli Ocamlc src/core/trans.ml Ocamlc src/core/printer.mli Ocamlc src/core/printer.ml Ocamlc src/core/model_parser.mli Ocamlc src/core/model_parser.ml Ocamlc src/driver/call_provers.mli Ocamlc src/driver/call_provers.ml Ocamlc src/driver/driver_ast.ml Ocamlc src/driver/driver_parser.mli Ocamlc src/driver/driver_parser.ml Ocamlc src/driver/driver_lexer.mli Ocamlc src/driver/driver_lexer.ml Ocamlc src/driver/driver.mli Ocamlc src/driver/driver.ml Ocamlc src/driver/whyconf.mli Ocamlc src/driver/whyconf.ml Ocamlc src/driver/autodetection.mli Ocamlc src/driver/autodetection.ml Ocamlc src/driver/parse_smtv2_model_parser.mli Ocamlc src/driver/parse_smtv2_model_parser.ml Ocamlc src/driver/parse_smtv2_model_lexer.ml Ocamlc src/driver/parse_smtv2_model.ml Ocamlc src/mlw/ity.mli Ocamlc src/mlw/ity.ml Ocamlc src/mlw/expr.mli Ocamlc src/mlw/expr.ml Ocamlc src/mlw/dexpr.mli Ocamlc src/mlw/dexpr.ml Ocamlc src/mlw/pdecl.mli Ocamlc src/mlw/pdecl.ml Ocamlc src/mlw/pmodule.mli Ocamlc src/mlw/pmodule.ml Ocamlc src/parser/ptree.ml Ocamlc src/parser/glob.mli Ocamlc src/parser/glob.ml Ocamlc src/parser/parser.mli Ocamlc src/parser/parser.ml Ocamlc src/parser/typing.mli Ocamlc src/parser/typing.ml Ocamlc src/parser/lexer.mli Ocamlc src/parser/lexer.ml Ocamlc src/transform/simplify_formula.mli Ocamlc src/transform/simplify_formula.ml Ocamlc src/transform/inlining.mli Ocamlc src/transform/inlining.ml Ocamlc src/transform/split_goal.mli Ocamlc src/transform/split_goal.ml Ocamlc src/transform/induction.mli Ocamlc src/transform/induction.ml Ocamlc src/transform/detect_polymorphism.mli Ocamlc src/transform/detect_polymorphism.ml Ocamlc src/transform/reduction_engine.mli Ocamlc src/transform/reduction_engine.ml Ocamlc src/transform/compute.mli Ocamlc src/transform/compute.ml Ocamlc src/transform/eliminate_definition.mli Ocamlc src/transform/eliminate_definition.ml Ocamlc src/transform/eliminate_algebraic.mli Ocamlc src/transform/eliminate_algebraic.ml Ocamlc src/transform/eliminate_inductive.mli Ocamlc src/transform/eliminate_inductive.ml Ocamlc src/transform/eliminate_let.mli Ocamlc src/transform/eliminate_let.ml Ocamlc src/transform/eliminate_if.mli Ocamlc src/transform/eliminate_if.ml Ocamlc src/transform/libencoding.mli Ocamlc src/transform/libencoding.ml Ocamlc src/transform/discriminate.mli Ocamlc src/transform/discriminate.ml Ocamlc src/transform/encoding.mli Ocamlc src/transform/encoding.ml Ocamlc src/transform/encoding_select.mli Ocamlc src/transform/encoding_select.ml Ocamlc src/transform/encoding_guards_full.mli Ocamlc src/transform/encoding_guards_full.ml Ocamlc src/transform/encoding_tags_full.mli Ocamlc src/transform/encoding_tags_full.ml Ocamlc src/transform/encoding_guards.mli Ocamlc src/transform/encoding_guards.ml Ocamlc src/transform/encoding_tags.mli Ocamlc src/transform/encoding_tags.ml Ocamlc src/transform/encoding_twin.mli Ocamlc src/transform/encoding_twin.ml Ocamlc src/transform/encoding_sort.mli Ocamlc src/transform/encoding_sort.ml Ocamlc src/transform/simplify_array.mli Ocamlc src/transform/simplify_array.ml Ocamlc src/transform/filter_trigger.mli Ocamlc src/transform/filter_trigger.ml Ocamlc src/transform/introduction.mli Ocamlc src/transform/introduction.ml Ocamlc src/transform/abstraction.mli Ocamlc src/transform/abstraction.ml Ocamlc src/transform/close_epsilon.mli Ocamlc src/transform/close_epsilon.ml Ocamlc src/transform/lift_epsilon.mli Ocamlc src/transform/lift_epsilon.ml Ocamlc src/transform/eliminate_epsilon.mli Ocamlc src/transform/eliminate_epsilon.ml Ocamlc src/transform/intro_projections_counterexmp.mli Ocamlc src/transform/intro_projections_counterexmp.ml Ocamlc src/transform/intro_vc_vars_counterexmp.mli Ocamlc src/transform/intro_vc_vars_counterexmp.ml Ocamlc src/transform/prepare_for_counterexmp.mli Ocamlc src/transform/prepare_for_counterexmp.ml Ocamlc src/transform/eval_match.mli Ocamlc src/transform/eval_match.ml Ocamlc src/transform/instantiate_predicate.mli Ocamlc src/transform/instantiate_predicate.ml Ocamlc src/transform/smoke_detector.mli Ocamlc src/transform/smoke_detector.ml Ocamlc src/transform/induction_pr.mli Ocamlc src/transform/induction_pr.ml Ocamlc src/transform/prop_curry.ml Ocamlc src/printer/alt_ergo.mli Ocamlc src/printer/alt_ergo.ml Ocamlc src/printer/why3printer.mli Ocamlc src/printer/why3printer.ml Ocamlc src/printer/smtv1.mli Ocamlc src/printer/smtv1.ml Ocamlc src/printer/smtv2.mli Ocamlc src/printer/smtv2.ml Ocamlc src/printer/coq.mli Ocamlc src/printer/coq.ml Ocamlc src/printer/pvs.ml Ocamlc src/printer/isabelle.ml Ocamlc src/printer/simplify.mli Ocamlc src/printer/simplify.ml Ocamlc src/printer/gappa.mli Ocamlc src/printer/gappa.ml Ocamlc src/printer/cvc3.mli Ocamlc src/printer/cvc3.ml Ocamlc src/printer/yices.ml Ocamlc src/printer/mathematica.ml Ocamlc src/whyml/mlw_ty.mli Ocamlc src/whyml/mlw_ty.ml Ocamlc src/whyml/mlw_expr.mli Ocamlc src/whyml/mlw_expr.ml Ocamlc src/whyml/mlw_decl.mli Ocamlc src/whyml/mlw_decl.ml Ocamlc src/whyml/mlw_pretty.mli Ocamlc src/whyml/mlw_pretty.ml Ocamlc src/whyml/mlw_wp.mli Ocamlc src/whyml/mlw_wp.ml Ocamlc src/whyml/mlw_module.mli Ocamlc src/whyml/mlw_module.ml Ocamlc src/whyml/mlw_dexpr.mli Ocamlc src/whyml/mlw_dexpr.ml Ocamlc src/whyml/mlw_typing.mli Ocamlc src/whyml/mlw_typing.ml Ocamlc src/whyml/mlw_driver.mli Ocamlc src/whyml/mlw_driver.ml Ocamlc src/whyml/mlw_exec.mli Ocamlc src/whyml/mlw_exec.ml Ocamlc src/whyml/mlw_ocaml.mli Ocamlc src/whyml/mlw_ocaml.ml Ocamlc src/whyml/mlw_main.mli Ocamlc src/whyml/mlw_main.ml Ocamlc src/whyml/mlw_interp.mli Ocamlc src/whyml/mlw_interp.ml Ocamlc src/session/compress.mli Ocamlc src/session/compress.ml Ocamlc src/session/xml.mli Ocamlc src/session/xml.ml Ocamlc src/session/termcode.mli Ocamlc src/session/termcode.ml Ocamlc src/session/session.mli Ocamlc src/session/session.ml Ocamlc src/session/session_tools.mli Ocamlc src/session/session_tools.ml Ocamlc src/session/strategy.mli Ocamlc src/session/strategy.ml Ocamlc src/session/strategy_parser.mli Ocamlc src/session/strategy_parser.ml Ocamlc src/session/session_scheduler.mli Ocamlc src/session/session_scheduler.ml Linking lib/why3/why3.cmo Ocamlc plugins/parser/genequlin.ml Linking lib/plugins/genequlin.cmo Ocamlc plugins/parser/dimacs.ml Linking lib/plugins/dimacs.cmo Ocamlc plugins/tptp/tptp_ast.ml Ocamlc plugins/tptp/tptp_parser.mli Ocamlc plugins/tptp/tptp_parser.ml Ocamlc plugins/tptp/tptp_typing.mli Ocamlc plugins/tptp/tptp_typing.ml Ocamlc plugins/tptp/tptp_lexer.mli Ocamlc plugins/tptp/tptp_lexer.ml Ocamlc plugins/tptp/tptp_printer.mli Ocamlc plugins/tptp/tptp_printer.ml Linking lib/plugins/tptp.cmo Ocamlc plugins/transform/hypothesis_selection.ml Linking lib/plugins/hypothesis_selection.cmo Linking lib/why3/why3.cma Ocamlc src/tools/main.ml Linking bin/why3.byte Ocamlc src/tools/why3config.ml Linking bin/why3config.byte Ocamlc src/tools/why3execute.ml Linking bin/why3execute.byte Ocamlc src/tools/why3extract.ml Linking bin/why3extract.byte Ocamlc src/tools/why3prove.ml Linking bin/why3prove.byte Ocamlc src/tools/why3realize.ml Linking bin/why3realize.byte Ocamlc src/tools/why3replay.ml Linking bin/why3replay.byte Ocamlc src/tools/why3wc.ml Linking bin/why3wc.byte Ocamlc src/ide/resetgc.c Ocamlc src/ide/gconfig.mli Ocamlc src/ide/gconfig.ml Ocamlc src/ide/gmain.ml Linking bin/why3ide.byte Ocamlc src/why3session/why3session_lib.mli Ocamlc src/why3session/why3session_lib.ml Ocamlc src/why3session/why3session_copy.ml Ocamlc src/why3session/why3session_info.ml Ocamlc src/why3session/why3session_latex.ml Ocamlc src/why3session/why3session_html.ml Ocamlc src/why3session/why3session_rm.ml Ocamlc src/why3session/why3session_output.ml Ocamlc src/why3session/why3session_run.ml Ocamlc src/why3session/why3session_csv.ml Ocamlc src/why3session/why3session_main.ml Linking bin/why3session.byte Coqc lib/coq/BuiltIn.v Ocamlc src/coq-tactic/why3tac.ml Linking lib/coq-tactic/why3tac.cma Coqc lib/coq-tactic/Why3.v Ocamlc lib/ocaml/why3__BigInt_compat.ml Ocamlc lib/ocaml/why3__BigInt.ml Ocamlc lib/ocaml/why3__IntAux.ml Ocamlc lib/ocaml/why3__Array.ml Ocamlc lib/ocaml/why3__Matrix.ml Linking lib/why3/why3extract.cmo Linking lib/why3/why3extract.cma Ocamlc src/why3doc/doc_html.mli Ocamlc src/why3doc/doc_html.ml Ocamlc src/why3doc/doc_def.mli Ocamlc src/why3doc/doc_def.ml Ocamlc src/why3doc/doc_lexer.ml Ocamlc src/why3doc/doc_main.ml Linking bin/why3doc.byte Coqc lib/coq/HighOrd.v Coqc lib/coq/int/Int.v Coqc lib/coq/int/Exponentiation.v Coqc lib/coq/int/Abs.v Coqc lib/coq/int/ComputerDivision.v Coqc lib/coq/int/EuclideanDivision.v Coqc lib/coq/int/Div2.v Coqc lib/coq/int/MinMax.v Coqc lib/coq/int/Power.v Coqc lib/coq/int/NumOf.v Coqc lib/coq/bool/Bool.v Coqc lib/coq/real/Real.v Coqc lib/coq/real/Abs.v Coqc lib/coq/real/ExpLog.v Coqc lib/coq/real/FromInt.v Coqc lib/coq/real/MinMax.v Coqc lib/coq/real/RealInfix.v Coqc lib/coq/real/PowerInt.v Coqc lib/coq/real/Square.v Coqc lib/coq/real/PowerReal.v Coqc lib/coq/real/Trigonometry.v Coqc lib/coq/number/Parity.v Coqc lib/coq/number/Divisibility.v Coqc lib/coq/number/Gcd.v Coqc lib/coq/number/Prime.v Coqc lib/coq/number/Coprime.v Coqc lib/coq/set/Set.v Coqc lib/coq/map/Map.v Coqc lib/coq/map/Const.v Coqc lib/coq/map/Occ.v Coqc lib/coq/map/MapPermut.v Coqc lib/coq/map/MapInjection.v Coqc lib/coq/list/List.v Coqc lib/coq/list/Length.v Coqc lib/coq/list/Mem.v Coqc lib/coq/option/Option.v Coqc lib/coq/list/Nth.v Coqc lib/coq/list/NthLength.v Coqc lib/coq/list/HdTl.v Coqc lib/coq/list/NthHdTl.v Coqc lib/coq/list/Append.v Coqc lib/coq/list/NthLengthAppend.v Coqc lib/coq/list/Reverse.v Coqc lib/coq/list/HdTlNoOpt.v Coqc lib/coq/list/NthNoOpt.v Coqc lib/coq/list/RevAppend.v Coqc lib/coq/list/Combine.v Coqc lib/coq/list/Distinct.v Coqc lib/coq/list/NumOcc.v Coqc lib/coq/list/Permut.v Coqc lib/coq/seq/Seq.v Coqc lib/coq/bv/Pow2int.v Coqc lib/coq/bv/BV_Gen.v Generate drivers/coq-realizations.aux Generate drivers/pvs-realizations.aux Generate drivers/isabelle-realizations.aux Cc src/tools/cpulimit.c make[1]: Nothing to be done for 'byte'. make[1]: Leaving directory '/<>' touch build-stamp fakeroot debian/rules binary-arch dh binary-arch --with ocaml,tex debian/rules build-arch make[1]: Entering directory '/<>' dh_testdir /usr/bin/make all byte make[2]: Entering directory '/<>' make[2]: Nothing to be done for 'all'. make[2]: Nothing to be done for 'byte'. make[2]: Leaving directory '/<>' touch build-stamp make[1]: Leaving directory '/<>' dh_testroot -a dh_prep -a dh_installdirs -a debian/rules override_dh_auto_install make[1]: Entering directory '/<>' # do nothing make[1]: Leaving directory '/<>' debian/rules override_dh_install-arch make[1]: Entering directory '/<>' /usr/bin/make install install-lib DESTDIR=/<>/debian/tmp make[2]: Entering directory '/<>' rm -rf /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3 rm -rf /<>/debian/tmp/usr/share/why3 rm -rf /<>/debian/tmp/usr/lib/ocaml/why3 rm -f /<>/debian/tmp/usr/share/emacs/site-lisp/why3.el rm -f /<>/debian/tmp/usr/share/emacs/site-lisp/why3.elc rm -f /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3config /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3execute /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3extract /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3prove /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3realize /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3replay /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3wc /<>/debian/tmp/usr/bin/why3 rm -f /<>/debian/tmp/usr/bin/why3bench /<>/debian/tmp/usr/bin/why3replayer rm -f /<>/debian/tmp/usr/bin/why3ide rm -f /<>/debian/tmp/usr/bin/why3session rm -f /<>/debian/tmp/usr/bin/why3doc if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then rm -f /etc/bash_completion.d/why3; fi /bin/mkdir -p /<>/debian/tmp/usr/bin /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3 /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands /bin/mkdir -p /<>/debian/tmp/usr/share/why3 /bin/mkdir -p /<>/debian/tmp/usr/share/why3/images /bin/mkdir -p /<>/debian/tmp/usr/share/why3/vim /bin/mkdir -p /<>/debian/tmp/usr/share/why3/lang /bin/mkdir -p /<>/debian/tmp/usr/share/why3/theories /bin/mkdir -p /<>/debian/tmp/usr/share/why3/modules/mach /bin/mkdir -p /<>/debian/tmp/usr/share/why3/drivers /usr/bin/install -c -m 644 theories/*.why /<>/debian/tmp/usr/share/why3/theories /usr/bin/install -c -m 644 modules/*.mlw /<>/debian/tmp/usr/share/why3/modules /usr/bin/install -c -m 644 modules/mach/*.mlw /<>/debian/tmp/usr/share/why3/modules/mach /usr/bin/install -c -m 644 drivers/*.drv drivers/*.gen /<>/debian/tmp/usr/share/why3/drivers /usr/bin/install -c -m 644 LICENSE /<>/debian/tmp/usr/share/why3/ /usr/bin/install -c -m 644 share/provers-detection-data.conf /<>/debian/tmp/usr/share/why3/ for i in share/images/*.rc; do \ d=`basename $i .rc`; \ /usr/bin/install -c -m 644 $i /<>/debian/tmp/usr/share/why3/images; \ /bin/mkdir -p /<>/debian/tmp/usr/share/why3/images/$d; \ /usr/bin/install -c -m 644 share/images/$d/* /<>/debian/tmp/usr/share/why3/images/$d; \ done /usr/bin/install -c -m 644 share/images/*.png /<>/debian/tmp/usr/share/why3/images /usr/bin/install -c -m 644 share/why3session.dtd /<>/debian/tmp/usr/share/why3 /usr/bin/install -c -m 644 share/Makefile.config /<>/debian/tmp/usr/share/why3 /usr/bin/install -c -m 644 share/vim/why3.vim /<>/debian/tmp/usr/share/why3/vim/why3.vim /usr/bin/install -c -m 644 share/lang/why3.lang /<>/debian/tmp/usr/share/why3/lang/why3.lang /bin/mkdir -p /<>/debian/tmp/usr/share/emacs/site-lisp/ /usr/bin/install -c -m 644 share/emacs/why3.el /<>/debian/tmp/usr/share/emacs/site-lisp/why3.el /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/plugins /usr/bin/install -c -m 644 lib/plugins/genequlin.cmo lib/plugins/dimacs.cmo lib/plugins/tptp.cmo lib/plugins/hypothesis_selection.cmo /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/plugins /usr/bin/install -c bin/why3.byte /<>/debian/tmp/usr/bin/why3 /usr/bin/install -c bin/why3config.byte /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3config /usr/bin/install -c bin/why3execute.byte /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3execute /usr/bin/install -c bin/why3extract.byte /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3extract /usr/bin/install -c bin/why3prove.byte /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3prove /usr/bin/install -c bin/why3realize.byte /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3realize /usr/bin/install -c bin/why3replay.byte /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3replay /usr/bin/install -c bin/why3wc.byte /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3wc /usr/bin/install -c bin/why3ide.byte /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3ide /usr/bin/install -c bin/why3session.byte /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3session /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq-tactic /usr/bin/install -c -m 644 lib/coq-tactic/* /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq-tactic /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq /usr/bin/install -c -m 644 lib/coq/BuiltIn.vo lib/coq/HighOrd.vo /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/ /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/int /usr/bin/install -c -m 644 lib/coq/int/Exponentiation.vo lib/coq/int/Abs.vo lib/coq/int/ComputerDivision.vo lib/coq/int/Div2.vo lib/coq/int/EuclideanDivision.vo lib/coq/int/Int.vo lib/coq/int/MinMax.vo lib/coq/int/Power.vo lib/coq/int/NumOf.vo /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/int/ /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/bool /usr/bin/install -c -m 644 lib/coq/bool/Bool.vo /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/bool/ /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/real /usr/bin/install -c -m 644 lib/coq/real/Abs.vo lib/coq/real/ExpLog.vo lib/coq/real/FromInt.vo lib/coq/real/MinMax.vo lib/coq/real/PowerInt.vo lib/coq/real/PowerReal.vo lib/coq/real/Real.vo lib/coq/real/RealInfix.vo lib/coq/real/Square.vo lib/coq/real/Trigonometry.vo /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/real/ /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/number /usr/bin/install -c -m 644 lib/coq/number/Divisibility.vo lib/coq/number/Gcd.vo lib/coq/number/Parity.vo lib/coq/number/Prime.vo lib/coq/number/Coprime.vo /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/number/ /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/set /usr/bin/install -c -m 644 lib/coq/set/Set.vo /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/set/ /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/map /usr/bin/install -c -m 644 lib/coq/map/Map.vo lib/coq/map/Const.vo lib/coq/map/Occ.vo lib/coq/map/MapPermut.vo lib/coq/map/MapInjection.vo /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/map/ /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/list /usr/bin/install -c -m 644 lib/coq/list/List.vo lib/coq/list/Length.vo lib/coq/list/Mem.vo lib/coq/list/Nth.vo lib/coq/list/NthLength.vo lib/coq/list/HdTl.vo lib/coq/list/NthHdTl.vo lib/coq/list/Append.vo lib/coq/list/NthLengthAppend.vo lib/coq/list/Reverse.vo lib/coq/list/HdTlNoOpt.vo lib/coq/list/NthNoOpt.vo lib/coq/list/RevAppend.vo lib/coq/list/Combine.vo lib/coq/list/Distinct.vo lib/coq/list/NumOcc.vo lib/coq/list/Permut.vo /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/list/ /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/option /usr/bin/install -c -m 644 lib/coq/option/Option.vo /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/option/ /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/seq /usr/bin/install -c -m 644 lib/coq/seq/Seq.vo /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/seq/ /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/bv /usr/bin/install -c -m 644 lib/coq/bv/Pow2int.vo lib/coq/bv/BV_Gen.vo /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/coq/bv/ /usr/bin/install -c -m 644 drivers/coq-realizations.aux /<>/debian/tmp/usr/share/why3/drivers/ /usr/bin/install -c -m 644 drivers/pvs-realizations.aux /<>/debian/tmp/usr/share/why3/drivers/ /usr/bin/install -c -m 644 drivers/isabelle-realizations.aux /<>/debian/tmp/usr/share/why3/drivers/ /bin/mkdir -p /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3 /usr/bin/install -c lib/why3-cpulimit /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/why3-cpulimit /usr/bin/install -c lib/why3-call-pvs /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/why3-call-pvs /usr/bin/install -c bin/why3doc.byte /<>/debian/tmp/usr/lib/powerpc64le-linux-gnu/why3/commands/why3doc if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then \ /usr/bin/install -c -m 644 share/bash/why3 /etc/bash_completion.d; \ fi /bin/mkdir -p /<>/debian/tmp/usr/lib/ocaml/why3 /usr/bin/install -c -m 644 lib/why3/why3.cma lib/why3/why3.cmi \ lib/why3/META /<>/debian/tmp/usr/lib/ocaml/why3 /bin/mkdir -p /<>/debian/tmp/usr/lib/ocaml/why3 /usr/bin/install -c -m 644 lib/why3/why3extract.cma lib/why3/why3extract.cmi \ /<>/debian/tmp/usr/lib/ocaml/why3 make[2]: Leaving directory '/<>' # extra license file rm -f debian/tmp/usr/share/why3/LICENSE dh_install -a make[1]: Leaving directory '/<>' dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installman -a dh_installemacsen -a dh_perl -a dh_link -a dh_installtex -a dh_strip_nondeterminism -a debian/rules override_dh_compress make[1]: Entering directory '/<>' dh_compress -Xmanual.pdf make[1]: Leaving directory '/<>' dh_fixperms -a dh_strip -a dh_strip debug symbol extraction: enabling -a due to Build-Debug-Symbols: yes in /CurrentlyBuilding dh_strip debug symbol extraction: all non-arch-all packages for this build platform ppc64el: why3 why3-coq libwhy3-ocaml-dev dh_strip debug symbol extraction: packages to act on: why3 why3-coq libwhy3-ocaml-dev dh_strip debug symbol extraction: ignored packages: Using buildid for compat level >= 9 why3 has no unstripped objects, ignoring find: ‘/<>/debian/why3-dbgsym’: No such file or directory /usr/bin/pkg_create_dbgsym: nothing in /<>/debian/why3-dbgsym and no dbgdepends, ignoring Using buildid for compat level >= 9 why3-coq has no unstripped objects, ignoring find: ‘/<>/debian/why3-coq-dbgsym’: No such file or directory /usr/bin/pkg_create_dbgsym: nothing in /<>/debian/why3-coq-dbgsym and no dbgdepends, ignoring Using buildid for compat level >= 9 libwhy3-ocaml-dev has no unstripped objects, ignoring find: ‘/<>/debian/libwhy3-ocaml-dev-dbgsym’: No such file or directory /usr/bin/pkg_create_dbgsym: nothing in /<>/debian/libwhy3-ocaml-dev-dbgsym and no dbgdepends, ignoring dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a debian/rules override_dh_ocaml make[1]: Entering directory '/<>' dh_ocaml --nodefined-map=why3-coq:Why3,MenhirLib,Gzip,Zlib,Zip \ --nodefined-map=why3:Graph W: why3 doesn't resolve dependency on unit Why3session_lib W: why3 doesn't resolve dependency on unit Why3session_html W: why3 doesn't resolve dependency on unit Why3session_latex W: why3 doesn't resolve dependency on unit Doc_lexer W: why3 doesn't resolve dependency on unit Why3extract W: why3 doesn't resolve dependency on unit Why3session_csv W: why3 doesn't resolve dependency on unit Why3session_rm W: why3 doesn't resolve dependency on unit Why3prove W: why3 doesn't resolve dependency on unit Why3session_copy W: why3 doesn't resolve dependency on unit Parsetree W: why3 doesn't resolve dependency on unit Why3session_run W: why3 doesn't resolve dependency on unit Doc_html W: why3 doesn't resolve dependency on unit Why3session_output W: why3 doesn't resolve dependency on unit Why3session_main W: why3 doesn't resolve dependency on unit Doc_main W: why3 doesn't resolve dependency on unit Why3replay W: why3 doesn't resolve dependency on unit Why3realize W: why3 doesn't resolve dependency on unit Main W: why3 doesn't resolve dependency on unit Why3config W: why3 doesn't resolve dependency on unit Why3session_info W: why3 doesn't resolve dependency on unit Doc_def W: why3 doesn't resolve dependency on unit Why3wc W: why3 doesn't resolve dependency on unit Why3execute make[1]: Leaving directory '/<>' dh_gencontrol -a dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-gencontrol: warning: Depends field of package why3-coq: unknown substitution variable ${shlibs:Depends} dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dh_gencontrol debug symbol wrapper: all non-arch-all packages for this build platform ppc64el: why3 why3-coq libwhy3-ocaml-dev dh_gencontrol debug symbol wrapper: packages to act on: why3 why3-coq libwhy3-ocaml-dev dh_gencontrol debug symbol wrapper: ignored packages: dh_gencontrol debug symbol wrapper: no debian/why3-dbgsym, skipping package why3 dh_gencontrol debug symbol wrapper: no debian/why3-coq-dbgsym, skipping package why3-coq dh_gencontrol debug symbol wrapper: no debian/libwhy3-ocaml-dev-dbgsym, skipping package libwhy3-ocaml-dev dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 131 INFO: pkgstriptranslations version 131 INFO: pkgstriptranslations version 131 pkgstriptranslations: processing why3-coq (in debian/why3-coq); do_strip: , oemstrip: pkgstriptranslations: processing why3 (in debian/why3); do_strip: , oemstrip: pkgstriptranslations: processing libwhy3-ocaml-dev (in debian/libwhy3-ocaml-dev); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/why3-coq/DEBIAN/control, package why3-coq, directory debian/why3-coq INFO: pkgstripfiles: waiting for lock (why3-coq) ... pkgstripfiles: processing control file: debian/libwhy3-ocaml-dev/DEBIAN/control, package libwhy3-ocaml-dev, directory debian/libwhy3-ocaml-dev INFO: pkgstripfiles: waiting for lock (libwhy3-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (why3-coq) ... INFO: pkgstripfiles: waiting for lock (libwhy3-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (why3-coq) ... INFO: pkgstripfiles: waiting for lock (libwhy3-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (why3-coq) ... INFO: pkgstripfiles: waiting for lock (libwhy3-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (why3-coq) ... INFO: pkgstripfiles: waiting for lock (libwhy3-ocaml-dev) ... pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/why3/DEBIAN/control, package why3, directory debian/why3 INFO: pkgstripfiles: waiting for lock (why3-coq) ... INFO: pkgstripfiles: waiting for lock (libwhy3-ocaml-dev) ... pkgstripfiles: Running PNG optimization (using 4 cpus) for package why3 ... ooooooooooooooooooooooooooo pkgstripfiles: PNG optimization (27/0) for package why3 took 1 s dpkg-deb: building package 'why3' in '../why3_0.87.2-2_ppc64el.deb'. pkgstripfiles: Running PNG optimization (using 4 cpus) for package why3-coq ... pkgstripfiles: No PNG files. pkgstripfiles: Running PNG optimization (using 4 cpus) for package libwhy3-ocaml-dev ... dpkg-deb: building package 'why3-coq' in '../why3-coq_0.87.2-2_ppc64el.deb'. pkgstripfiles: No PNG files. dpkg-deb: building package 'libwhy3-ocaml-dev' in '../libwhy3-ocaml-dev_0.87.2-2_ppc64el.deb'. dpkg-genchanges --build=any -mLaunchpad Build Daemon >../why3_0.87.2-2_ppc64el.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build why3-0.87.2 dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20161102-0604 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ why3_0.87.2-2_ppc64el.changes: ------------------------------ Format: 1.8 Date: Wed, 21 Sep 2016 20:59:50 +0200 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: ppc64el Version: 0.87.2-2 Distribution: zesty-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Ralf Treinen Description: libwhy3-ocaml-dev - ocaml librariries for why3 (dev) why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc-html - HTML Documentation of the why3 verification platform why3-doc-pdf - PDF Documentation of the why3 verification platform why3-examples - Examples for the why3 verification platform Changes: why3 (0.87.2-2) unstable; urgency=medium . * install why3lang.sty: - add to why3.install - add target directory to why3.dirs - invoke dh --with tex - add build-dependency on tex-common Checksums-Sha1: ab8c5b3dfabda5855f3b825b912cd93fc86c5c91 4631272 libwhy3-ocaml-dev_0.87.2-2_ppc64el.deb e88462452f02a925161a335d8b13c2f6d7f2ffad 5051526 why3-coq_0.87.2-2_ppc64el.deb 34f2c1620697e925fc65f0b997051efb4358e529 47828646 why3_0.87.2-2_ppc64el.deb Checksums-Sha256: 50ede17060f7ff1935d9aa26503e2c6eecef6bde9137b5a9279bbca7d97e8e8b 4631272 libwhy3-ocaml-dev_0.87.2-2_ppc64el.deb 8dad71a81162a52280dd5474fa2f1daf10067f8f0dfef5f9097dcb9aaf736a4c 5051526 why3-coq_0.87.2-2_ppc64el.deb 9966f82af2dd81e14ec28e55e06b499a21430ca6a9fe4ffee69fbd8e8837dd76 47828646 why3_0.87.2-2_ppc64el.deb Files: f2b8ac6290f55044da86686798cc1e5f 4631272 ocaml optional libwhy3-ocaml-dev_0.87.2-2_ppc64el.deb a7af5a27958aec45780f1b167b4beaea 5051526 math optional why3-coq_0.87.2-2_ppc64el.deb c60325d8b0d1cde3cfbf0b8bfbbcc763 47828646 math optional why3_0.87.2-2_ppc64el.deb +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libwhy3-ocaml-dev_0.87.2-2_ppc64el.deb -------------------------------------- new debian package, version 2.0. size 4631272 bytes: control archive=1384 bytes. 608 bytes, 15 lines control 643 bytes, 9 lines md5sums 386 bytes, 21 lines * postinst #!/bin/sh 957 bytes, 43 lines * postrm #!/bin/sh Package: libwhy3-ocaml-dev Source: why3 Version: 0.87.2-2 Architecture: ppc64el Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 18424 Depends: tex-common (>= 6), libzarith-ocaml-dev-3qvq6, libzip-ocaml-dev-7or86, ocaml-nox-4.02.3 Provides: libwhy3-ocaml-dev-utbd6 Section: ocaml Priority: optional Homepage: http://why3.lri.fr/ Description: ocaml librariries for why3 (dev) This package contains the libraries of the why3 verification platform for developing applications using why3. drwxr-xr-x root/root 0 2016-09-21 18:59 ./ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/ocaml/why3/ -rw-r--r-- root/root 343 2016-09-21 18:59 ./usr/lib/ocaml/why3/META -rw-r--r-- root/root 17519864 2016-09-21 18:59 ./usr/lib/ocaml/why3/why3.cma -rw-r--r-- root/root 1251509 2016-09-21 18:59 ./usr/lib/ocaml/why3/why3.cmi -rw-r--r-- root/root 41371 2016-09-21 18:59 ./usr/lib/ocaml/why3/why3extract.cma -rw-r--r-- root/root 13952 2016-09-21 18:59 ./usr/lib/ocaml/why3/why3extract.cmi drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/doc/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/doc/libwhy3-ocaml-dev/ -rw-r--r-- root/root 1261 2016-09-21 18:59 ./usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 15226 2016-09-21 18:59 ./usr/share/doc/libwhy3-ocaml-dev/copyright drwxr-xr-x root/root 0 2016-09-21 18:59 ./var/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./var/lib/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 284 2016-09-21 18:59 ./var/lib/ocaml/lintian/libwhy3-ocaml-dev.info drwxr-xr-x root/root 0 2016-09-21 18:59 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 153 2016-09-21 18:59 ./var/lib/ocaml/md5sums/libwhy3-ocaml-dev.md5sums why3-coq_0.87.2-2_ppc64el.deb ----------------------------- new debian package, version 2.0. size 5051526 bytes: control archive=2966 bytes. 672 bytes, 16 lines control 5279 bytes, 60 lines md5sums 386 bytes, 21 lines * postinst #!/bin/sh 957 bytes, 43 lines * postrm #!/bin/sh Package: why3-coq Source: why3 Version: 0.87.2-2 Architecture: ppc64el Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 20221 Depends: coq, tex-common (>= 6), libcoq-ocaml-12o54, libzip-ocaml-7or86, ocaml-base-nox-4.02.3 Recommends: why3 Section: math Priority: optional Homepage: http://why3.lri.fr/ Description: Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq. drwxr-xr-x root/root 0 2016-09-21 18:59 ./ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq-tactic/ -rw-r--r-- root/root 155 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq-tactic/Why3.glob -rw-r--r-- root/root 783 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq-tactic/Why3.v -rw-r--r-- root/root 31875 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq-tactic/Why3.vo -rw-r--r-- root/root 17949251 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq-tactic/why3tac.cma drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/ -rw-r--r-- root/root 34922 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/BuiltIn.vo -rw-r--r-- root/root 28183 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/HighOrd.vo drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/bool/ -rw-r--r-- root/root 28667 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/bool/Bool.vo drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/bv/ -rw-r--r-- root/root 326614 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/bv/BV_Gen.vo -rw-r--r-- root/root 66992 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/bv/Pow2int.vo drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/int/ -rw-r--r-- root/root 35944 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/int/Abs.vo -rw-r--r-- root/root 67444 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/int/ComputerDivision.vo -rw-r--r-- root/root 33347 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/int/Div2.vo -rw-r--r-- root/root 83599 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/int/EuclideanDivision.vo -rw-r--r-- root/root 38203 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/int/Exponentiation.vo -rw-r--r-- root/root 33897 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/int/Int.vo -rw-r--r-- root/root 31082 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/int/MinMax.vo -rw-r--r-- root/root 102519 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/int/NumOf.vo -rw-r--r-- root/root 37980 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/int/Power.vo drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/ -rw-r--r-- root/root 33461 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/Append.vo -rw-r--r-- root/root 28946 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/Combine.vo -rw-r--r-- root/root 33931 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/Distinct.vo -rw-r--r-- root/root 28494 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/HdTl.vo -rw-r--r-- root/root 29382 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/HdTlNoOpt.vo -rw-r--r-- root/root 33014 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/Length.vo -rw-r--r-- root/root 29656 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/List.vo -rw-r--r-- root/root 29690 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/Mem.vo -rw-r--r-- root/root 30885 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/Nth.vo -rw-r--r-- root/root 31983 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/NthHdTl.vo -rw-r--r-- root/root 37089 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/NthLength.vo -rw-r--r-- root/root 35867 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/NthLengthAppend.vo -rw-r--r-- root/root 30854 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/NthNoOpt.vo -rw-r--r-- root/root 40471 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/NumOcc.vo -rw-r--r-- root/root 47903 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/Permut.vo -rw-r--r-- root/root 33530 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/RevAppend.vo -rw-r--r-- root/root 34167 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/list/Reverse.vo drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/map/ -rw-r--r-- root/root 28539 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/map/Const.vo -rw-r--r-- root/root 34659 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/map/Map.vo -rw-r--r-- root/root 230819 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/map/MapInjection.vo -rw-r--r-- root/root 31294 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/map/MapPermut.vo -rw-r--r-- root/root 117616 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/map/Occ.vo drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/number/ -rw-r--r-- root/root 34463 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/number/Coprime.vo -rw-r--r-- root/root 39997 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/number/Divisibility.vo -rw-r--r-- root/root 36100 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/number/Gcd.vo -rw-r--r-- root/root 33196 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/number/Parity.vo -rw-r--r-- root/root 47812 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/number/Prime.vo drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/option/ -rw-r--r-- root/root 28834 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/option/Option.vo drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/real/ -rw-r--r-- root/root 31713 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/real/Abs.vo -rw-r--r-- root/root 33738 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/real/ExpLog.vo -rw-r--r-- root/root 28919 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/real/FromInt.vo -rw-r--r-- root/root 31292 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/real/MinMax.vo -rw-r--r-- root/root 40263 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/real/PowerInt.vo -rw-r--r-- root/root 37412 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/real/PowerReal.vo -rw-r--r-- root/root 41165 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/real/Real.vo -rw-r--r-- root/root 26829 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/real/RealInfix.vo -rw-r--r-- root/root 31520 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/real/Square.vo -rw-r--r-- root/root 44101 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/real/Trigonometry.vo drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/seq/ -rw-r--r-- root/root 73653 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/seq/Seq.vo drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/set/ -rw-r--r-- root/root 50022 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/coq/set/Set.vo drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/doc/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/doc/why3-coq/ -rw-r--r-- root/root 1261 2016-09-21 18:59 ./usr/share/doc/why3-coq/changelog.Debian.gz -rw-r--r-- root/root 15226 2016-09-21 18:59 ./usr/share/doc/why3-coq/copyright why3_0.87.2-2_ppc64el.deb ------------------------- new debian package, version 2.0. size 47828646 bytes: control archive=6849 bytes. 34 bytes, 1 lines conffiles 1815 bytes, 32 lines control 12349 bytes, 169 lines md5sums 685 bytes, 27 lines * postinst #!/bin/sh 957 bytes, 43 lines * postrm #!/bin/sh 344 bytes, 9 lines * preinst #!/bin/sh 287 bytes, 7 lines * prerm #!/bin/sh Package: why3 Version: 0.87.2-2 Architecture: ppc64el Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 192599 Depends: libc6 (>= 2.17), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0), libtinfo5 (>= 6), zlib1g (>= 1:1.1.4), libzip-ocaml-7or86, ocaml-base-nox-4.02.3, tex-common (>= 6) Recommends: alt-ergo | cvc3 | why3-coq | spass | z3 Suggests: why3-examples Section: math Priority: optional Homepage: http://why3.lri.fr/ Description: Software verification platform Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs. . Why3 is a complete reimplementation of the former Why platform. Among the new features are: numerous extensions to the input language, a new architecture for calling external provers, and a well-designed API, allowing to use Why3 as a software library. An important emphasis is put on modularity and genericity, giving the end user a possibility to easily reuse Why3 formalizations or to add support for a new external prover if wanted. drwxr-xr-x root/root 0 2016-09-21 18:59 ./ drwxr-xr-x root/root 0 2016-09-21 18:59 ./etc/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./etc/emacs/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./etc/emacs/site-start.d/ -rw-r--r-- root/root 156 2016-09-21 18:59 ./etc/emacs/site-start.d/50why3.el drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/bin/ -rwxr-xr-x root/root 20105741 2016-09-21 18:59 ./usr/bin/why3 drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/emacsen-common/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/emacsen-common/packages/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/emacsen-common/packages/compat/ -rw-r--r-- root/root 2 2016-09-21 18:59 ./usr/lib/emacsen-common/packages/compat/why3 drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/emacsen-common/packages/install/ -rwxr-xr-x root/root 1059 2016-09-21 18:59 ./usr/lib/emacsen-common/packages/install/why3 drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/emacsen-common/packages/remove/ -rwxr-xr-x root/root 489 2016-09-21 18:59 ./usr/lib/emacsen-common/packages/remove/why3 drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/commands/ -rwxr-xr-x root/root 20100162 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/commands/why3config -rwxr-xr-x root/root 20168642 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/commands/why3doc -rwxr-xr-x root/root 20090835 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/commands/why3execute -rwxr-xr-x root/root 20115166 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/commands/why3extract -rwxr-xr-x root/root 4991552 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/commands/why3ide -rwxr-xr-x root/root 20143633 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/commands/why3prove -rwxr-xr-x root/root 20094587 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/commands/why3realize -rwxr-xr-x root/root 20138023 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/commands/why3replay -rwxr-xr-x root/root 20433419 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/commands/why3session -rwxr-xr-x root/root 3075233 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/commands/why3wc drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/plugins/ -rw-r--r-- root/root 28128 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/plugins/dimacs.cmo -rw-r--r-- root/root 20012 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/plugins/genequlin.cmo -rw-r--r-- root/root 5474970 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/plugins/hypothesis_selection.cmo -rw-r--r-- root/root 1553319 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/plugins/tptp.cmo -rwxr-xr-x root/root 160 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/why3-call-pvs -rwxr-xr-x root/root 67376 2016-09-21 18:59 ./usr/lib/powerpc64le-linux-gnu/why3/why3-cpulimit drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/bash-completion/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/bash-completion/completions/ -rw-r--r-- root/root 4268 2016-09-01 14:29 ./usr/share/bash-completion/completions/why3 drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/doc/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/doc/why3/ -rw-r--r-- root/root 87 2016-09-21 18:59 ./usr/share/doc/why3/TODO.Debian -rw-r--r-- root/root 1261 2016-09-21 18:59 ./usr/share/doc/why3/changelog.Debian.gz -rw-r--r-- root/root 15226 2016-09-21 18:59 ./usr/share/doc/why3/copyright drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/emacs/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/emacs/site-lisp/ -rw-r--r-- root/root 6775 2016-09-21 18:59 ./usr/share/emacs/site-lisp/why3.el drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/man/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/man/man1/ -rw-r--r-- root/root 1859 2016-09-21 18:59 ./usr/share/man/man1/why3.1.gz drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/texmf/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/texmf/tex/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/texmf/tex/latex/ drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/texmf/tex/latex/misc/ -rw-r--r-- root/root 1372 2016-09-01 14:29 ./usr/share/texmf/tex/latex/misc/why3lang.sty drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/why3/ -rw-r--r-- root/root 256 2016-09-21 18:59 ./usr/share/why3/Makefile.config drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/why3/drivers/ -rw-r--r-- root/root 1433 2016-09-21 18:59 ./usr/share/why3/drivers/alt_ergo.drv -rw-r--r-- root/root 4497 2016-09-21 18:59 ./usr/share/why3/drivers/alt_ergo_common.drv -rw-r--r-- root/root 219 2016-09-21 18:59 ./usr/share/why3/drivers/alt_ergo_model.drv -rw-r--r-- root/root 2842 2016-09-21 18:59 ./usr/share/why3/drivers/alt_ergo_smt2.drv -rw-r--r-- root/root 8012 2016-09-21 18:59 ./usr/share/why3/drivers/beagle.drv -rw-r--r-- root/root 7460 2016-09-21 18:59 ./usr/share/why3/drivers/coq-common.gen -rw-r--r-- root/root 3480 2016-09-21 18:59 ./usr/share/why3/drivers/coq-realizations.aux -rw-r--r-- root/root 227 2016-09-21 18:59 ./usr/share/why3/drivers/coq-realize.drv -rw-r--r-- root/root 3164 2016-09-21 18:59 ./usr/share/why3/drivers/coq-ssreflect.drv -rw-r--r-- root/root 251 2016-09-21 18:59 ./usr/share/why3/drivers/coq.drv -rw-r--r-- root/root 3837 2016-09-21 18:59 ./usr/share/why3/drivers/cvc3.drv -rw-r--r-- root/root 1716 2016-09-21 18:59 ./usr/share/why3/drivers/cvc4-realize.drv -rw-r--r-- root/root 1094 2016-09-21 18:59 ./usr/share/why3/drivers/cvc4.drv -rw-r--r-- root/root 1665 2016-09-21 18:59 ./usr/share/why3/drivers/cvc4_14.drv -rw-r--r-- root/root 1956 2016-09-21 18:59 ./usr/share/why3/drivers/cvc4_15.drv -rw-r--r-- root/root 517 2016-09-21 18:59 ./usr/share/why3/drivers/cvc4_bv.gen -rw-r--r-- root/root 167 2016-09-21 18:59 ./usr/share/why3/drivers/discrimination.gen -rw-r--r-- root/root 322 2016-09-21 18:59 ./usr/share/why3/drivers/eprover.drv -rw-r--r-- root/root 3976 2016-09-21 18:59 ./usr/share/why3/drivers/gappa.drv -rw-r--r-- root/root 121 2016-09-21 18:59 ./usr/share/why3/drivers/iprover.drv -rw-r--r-- root/root 194 2016-09-21 18:59 ./usr/share/why3/drivers/isabelle-2015.gen -rw-r--r-- root/root 192 2016-09-21 18:59 ./usr/share/why3/drivers/isabelle-2016.gen -rw-r--r-- root/root 7829 2016-09-21 18:59 ./usr/share/why3/drivers/isabelle-common.gen -rw-r--r-- root/root 50 2016-09-21 18:59 ./usr/share/why3/drivers/isabelle-realizations.aux -rw-r--r-- root/root 233 2016-09-21 18:59 ./usr/share/why3/drivers/isabelle2015-realize.drv -rw-r--r-- root/root 325 2016-09-21 18:59 ./usr/share/why3/drivers/isabelle2015.drv -rw-r--r-- root/root 233 2016-09-21 18:59 ./usr/share/why3/drivers/isabelle2016-realize.drv -rw-r--r-- root/root 325 2016-09-21 18:59 ./usr/share/why3/drivers/isabelle2016.drv -rw-r--r-- root/root 5666 2016-09-21 18:59 ./usr/share/why3/drivers/mathematica.drv -rw-r--r-- root/root 4286 2016-09-21 18:59 ./usr/share/why3/drivers/mathsat.drv -rw-r--r-- root/root 340 2016-09-21 18:59 ./usr/share/why3/drivers/metis.drv -rw-r--r-- root/root 6407 2016-09-21 18:59 ./usr/share/why3/drivers/metitarski.drv -rw-r--r-- root/root 216 2016-09-21 18:59 ./usr/share/why3/drivers/no-bv.gen -rw-r--r-- root/root 7068 2016-09-21 18:59 ./usr/share/why3/drivers/ocaml-gen.drv -rw-r--r-- root/root 1679 2016-09-21 18:59 ./usr/share/why3/drivers/ocaml-no-arith.drv -rw-r--r-- root/root 7099 2016-09-21 18:59 ./usr/share/why3/drivers/ocaml-unsafe-int.drv -rw-r--r-- root/root 3776 2016-09-21 18:59 ./usr/share/why3/drivers/ocaml32.drv -rw-r--r-- root/root 7057 2016-09-21 18:59 ./usr/share/why3/drivers/ocaml64.drv -rw-r--r-- root/root 2090 2016-09-21 18:59 ./usr/share/why3/drivers/polypaver.drv -rw-r--r-- root/root 7956 2016-09-21 18:59 ./usr/share/why3/drivers/princess.drv -rw-r--r-- root/root 2300 2016-09-21 18:59 ./usr/share/why3/drivers/psyche.drv -rw-r--r-- root/root 7861 2016-09-21 18:59 ./usr/share/why3/drivers/pvs-common.gen -rw-r--r-- root/root 50 2016-09-21 18:59 ./usr/share/why3/drivers/pvs-realizations.aux -rw-r--r-- root/root 186 2016-09-21 18:59 ./usr/share/why3/drivers/pvs-realize.drv -rw-r--r-- root/root 183 2016-09-21 18:59 ./usr/share/why3/drivers/pvs.drv -rw-r--r-- root/root 322 2016-09-21 18:59 ./usr/share/why3/drivers/safeprover.drv -rw-r--r-- root/root 2119 2016-09-21 18:59 ./usr/share/why3/drivers/simplify.drv -rw-r--r-- root/root 5367 2016-09-21 18:59 ./usr/share/why3/drivers/smt-libv2-bv-realization.gen -rw-r--r-- root/root 4571 2016-09-21 18:59 ./usr/share/why3/drivers/smt-libv2-bv.gen -rw-r--r-- root/root 4175 2016-09-21 18:59 ./usr/share/why3/drivers/smt-libv2.drv -rw-r--r-- root/root 270 2016-09-21 18:59 ./usr/share/why3/drivers/spass.drv -rw-r--r-- root/root 774 2016-09-21 18:59 ./usr/share/why3/drivers/spass_types.drv -rw-r--r-- root/root 7797 2016-09-21 18:59 ./usr/share/why3/drivers/tptp-tff0.drv -rw-r--r-- root/root 7566 2016-09-21 18:59 ./usr/share/why3/drivers/tptp-tff1.drv -rw-r--r-- root/root 876 2016-09-21 18:59 ./usr/share/why3/drivers/tptp.gen -rw-r--r-- root/root 214 2016-09-21 18:59 ./usr/share/why3/drivers/vampire.drv -rw-r--r-- root/root 1180 2016-09-21 18:59 ./usr/share/why3/drivers/verit.drv -rw-r--r-- root/root 182 2016-09-21 18:59 ./usr/share/why3/drivers/why3.drv -rw-r--r-- root/root 1472 2016-09-21 18:59 ./usr/share/why3/drivers/why3_smt.drv -rw-r--r-- root/root 468 2016-09-21 18:59 ./usr/share/why3/drivers/why3_tptp.drv -rw-r--r-- root/root 827 2016-09-21 18:59 ./usr/share/why3/drivers/yices-smt2.drv -rw-r--r-- root/root 3858 2016-09-21 18:59 ./usr/share/why3/drivers/yices.drv -rw-r--r-- root/root 2477 2016-09-21 18:59 ./usr/share/why3/drivers/z3-realize.drv -rw-r--r-- root/root 1585 2016-09-21 18:59 ./usr/share/why3/drivers/z3.drv -rw-r--r-- root/root 2539 2016-09-21 18:59 ./usr/share/why3/drivers/z3_432.drv -rw-r--r-- root/root 2697 2016-09-21 18:59 ./usr/share/why3/drivers/z3_440.drv -rw-r--r-- root/root 3236 2016-09-21 18:59 ./usr/share/why3/drivers/z3_smtv1.drv -rw-r--r-- root/root 812 2016-09-21 18:59 ./usr/share/why3/drivers/zenon.drv -rw-r--r-- root/root 7250 2016-09-21 18:59 ./usr/share/why3/drivers/zenon_modulo.drv drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/why3/images/ -rw-r--r-- root/root 821 2016-09-21 18:59 ./usr/share/why3/images/fatcow.rc drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/why3/images/fatcow/ -rw-r--r-- root/root 1624 2016-09-21 18:59 ./usr/share/why3/images/fatcow/accept.png -rw-r--r-- root/root 1889 2016-09-21 18:59 ./usr/share/why3/images/fatcow/bin.png -rw-r--r-- root/root 2077 2016-09-21 18:59 ./usr/share/why3/images/fatcow/bomb.png -rw-r--r-- root/root 2115 2016-09-21 18:59 ./usr/share/why3/images/fatcow/brick_delete.png -rw-r--r-- root/root 606 2016-09-21 18:59 ./usr/share/why3/images/fatcow/bullet_black.png -rw-r--r-- root/root 636 2016-09-21 18:59 ./usr/share/why3/images/fatcow/bullet_blue.png -rw-r--r-- root/root 620 2016-09-21 18:59 ./usr/share/why3/images/fatcow/bullet_green.png -rw-r--r-- root/root 635 2016-09-21 18:59 ./usr/share/why3/images/fatcow/bullet_red.png -rw-r--r-- root/root 558 2016-09-21 18:59 ./usr/share/why3/images/fatcow/bullet_white.png -rw-r--r-- root/root 1634 2016-09-21 18:59 ./usr/share/why3/images/fatcow/cancel.png -rw-r--r-- root/root 1782 2016-09-21 18:59 ./usr/share/why3/images/fatcow/control_pause_blue.png -rw-r--r-- root/root 1751 2016-09-21 18:59 ./usr/share/why3/images/fatcow/control_play_blue.png -rw-r--r-- root/root 1807 2016-09-21 18:59 ./usr/share/why3/images/fatcow/database_delete.png -rw-r--r-- root/root 850 2016-09-21 18:59 ./usr/share/why3/images/fatcow/ddr_memory.png -rw-r--r-- root/root 1778 2016-09-21 18:59 ./usr/share/why3/images/fatcow/delete.png -rw-r--r-- root/root 1923 2016-09-21 18:59 ./usr/share/why3/images/fatcow/exclamation.png -rw-r--r-- root/root 1036 2016-09-21 18:59 ./usr/share/why3/images/fatcow/folder.png -rw-r--r-- root/root 2123 2016-09-21 18:59 ./usr/share/why3/images/fatcow/help.png -rw-r--r-- root/root 898 2016-09-21 18:59 ./usr/share/why3/images/fatcow/magic_wand_2.png -rw-r--r-- root/root 1615 2016-09-21 18:59 ./usr/share/why3/images/fatcow/multitool.png -rw-r--r-- root/root 865 2016-09-21 18:59 ./usr/share/why3/images/fatcow/package.png -rw-r--r-- root/root 767 2016-09-21 18:59 ./usr/share/why3/images/fatcow/pencil.png -rw-r--r-- root/root 1298 2016-09-21 18:59 ./usr/share/why3/images/fatcow/readme-fatcow.txt -rw-r--r-- root/root 1105 2016-09-21 18:59 ./usr/share/why3/images/fatcow/script.png -rw-r--r-- root/root 2269 2016-09-21 18:59 ./usr/share/why3/images/fatcow/time_delete.png -rw-r--r-- root/root 2430 2016-09-21 18:59 ./usr/share/why3/images/fatcow/timeline.png -rw-r--r-- root/root 2045 2016-09-21 18:59 ./usr/share/why3/images/fatcow/update.png -rw-r--r-- root/root 1210 2016-09-21 18:59 ./usr/share/why3/images/logo-why.png drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/why3/lang/ -rw-r--r-- root/root 8047 2016-09-21 18:59 ./usr/share/why3/lang/why3.lang drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/why3/modules/ -rw-r--r-- root/root 8792 2016-09-21 18:59 ./usr/share/why3/modules/array.mlw -rw-r--r-- root/root 1912 2016-09-21 18:59 ./usr/share/why3/modules/hashtbl.mlw -rw-r--r-- root/root 668 2016-09-21 18:59 ./usr/share/why3/modules/impset.mlw -rw-r--r-- root/root 1430 2016-09-21 18:59 ./usr/share/why3/modules/io.mlw drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/why3/modules/mach/ -rw-r--r-- root/root 14037 2016-09-21 18:59 ./usr/share/why3/modules/mach/array.mlw -rw-r--r-- root/root 6579 2016-09-21 18:59 ./usr/share/why3/modules/mach/bv.mlw -rw-r--r-- root/root 7291 2016-09-21 18:59 ./usr/share/why3/modules/mach/int.mlw -rw-r--r-- root/root 2558 2016-09-21 18:59 ./usr/share/why3/modules/mach/matrix.mlw -rw-r--r-- root/root 2151 2016-09-21 18:59 ./usr/share/why3/modules/mach/onetime.mlw -rw-r--r-- root/root 1985 2016-09-21 18:59 ./usr/share/why3/modules/mach/peano.mlw -rw-r--r-- root/root 2257 2016-09-21 18:59 ./usr/share/why3/modules/matrix.mlw -rw-r--r-- root/root 756 2016-09-21 18:59 ./usr/share/why3/modules/null.mlw -rw-r--r-- root/root 3514 2016-09-21 18:59 ./usr/share/why3/modules/pqueue.mlw -rw-r--r-- root/root 1472 2016-09-21 18:59 ./usr/share/why3/modules/queue.mlw -rw-r--r-- root/root 2349 2016-09-21 18:59 ./usr/share/why3/modules/random.mlw -rw-r--r-- root/root 1108 2016-09-21 18:59 ./usr/share/why3/modules/ref.mlw -rw-r--r-- root/root 1315 2016-09-21 18:59 ./usr/share/why3/modules/stack.mlw -rw-r--r-- root/root 3712 2016-09-21 18:59 ./usr/share/why3/modules/string.mlw -rw-r--r-- root/root 15810 2016-09-21 18:59 ./usr/share/why3/provers-detection-data.conf drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/why3/theories/ -rw-r--r-- root/root 4268 2016-09-21 18:59 ./usr/share/why3/theories/algebra.why -rw-r--r-- root/root 3264 2016-09-21 18:59 ./usr/share/why3/theories/bag.why -rw-r--r-- root/root 2795 2016-09-21 18:59 ./usr/share/why3/theories/bintree.why -rw-r--r-- root/root 858 2016-09-21 18:59 ./usr/share/why3/theories/bool.why -rw-r--r-- root/root 15395 2016-09-21 18:59 ./usr/share/why3/theories/bv.why -rw-r--r-- root/root 19160 2016-09-21 18:59 ./usr/share/why3/theories/floating_point.why -rw-r--r-- root/root 511 2016-09-21 18:59 ./usr/share/why3/theories/function.why -rw-r--r-- root/root 2576 2016-09-21 18:59 ./usr/share/why3/theories/graph.why -rw-r--r-- root/root 11891 2016-09-21 18:59 ./usr/share/why3/theories/int.why -rw-r--r-- root/root 11554 2016-09-21 18:59 ./usr/share/why3/theories/list.why -rw-r--r-- root/root 6010 2016-09-21 18:59 ./usr/share/why3/theories/map.why -rw-r--r-- root/root 5468 2016-09-21 18:59 ./usr/share/why3/theories/number.why -rw-r--r-- root/root 78 2016-09-21 18:59 ./usr/share/why3/theories/option.why -rw-r--r-- root/root 1183 2016-09-21 18:59 ./usr/share/why3/theories/pigeon.why -rw-r--r-- root/root 9325 2016-09-21 18:59 ./usr/share/why3/theories/real.why -rw-r--r-- root/root 1073 2016-09-21 18:59 ./usr/share/why3/theories/regexp.why -rw-r--r-- root/root 3579 2016-09-21 18:59 ./usr/share/why3/theories/relations.why -rw-r--r-- root/root 10052 2016-09-21 18:59 ./usr/share/why3/theories/seq.why -rw-r--r-- root/root 8777 2016-09-21 18:59 ./usr/share/why3/theories/set.why -rw-r--r-- root/root 918 2016-09-21 18:59 ./usr/share/why3/theories/sum.why -rw-r--r-- root/root 3922 2016-09-21 18:59 ./usr/share/why3/theories/tptp.why drwxr-xr-x root/root 0 2016-09-21 18:59 ./usr/share/why3/vim/ -rw-r--r-- root/root 9006 2016-09-21 18:59 ./usr/share/why3/vim/why3.vim -rw-r--r-- root/root 3756 2016-09-21 18:59 ./usr/share/why3/why3session.dtd +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Not removing build depends: as requested Keeping session: +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: ppc64el Build-Space: 950940 Build-Time: 635 Distribution: zesty-proposed Host Architecture: ppc64el Install-Time: 61 Job: why3_0.87.2-2.dsc Machine Architecture: ppc64el Package: why3 Package-Time: 697 Source-Version: 0.87.2-2 Space: 950940 Status: successful Version: 0.87.2-2 -------------------------------------------------------------------------------- Finished at 20161102-0604 Build needed 00:11:37, 950940k disc space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-11126408'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-11126408/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-11126408'] Unmounting chroot for build PACKAGEBUILD-11126408... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-11126408'] Removing build PACKAGEBUILD-11126408