RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux lgw01-22 4.4.0-57-generic #78-Ubuntu SMP Fri Dec 9 23:50:32 UTC 2016 x86_64 Buildd toolchain package versions: launchpad-buildd_141 python-lpbuildd_141 sbuild_0.67.0-2ubuntu7 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3 git-build-recipe_0.3.4~git201611291343.dcee459~ubuntu16.04.1 git_1:2.7.4-0ubuntu1 dpkg-dev_1.18.4ubuntu1.1 python-debian_0.1.27ubuntu2 qemu-user-static_1:2.5+dfsg-5ubuntu10.6. Syncing the system clock with the buildd NTP service... 31 Dec 23:09:54 ntpdate[1930]: adjust time server 10.211.37.1 offset 0.000651 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-11801173', '/home/buildd/filecache-default/94f0b0f826e99ad354ce9a7a99ba3c310ddcc327'] Unpacking chroot for build PACKAGEBUILD-11801173 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-11801173'] Mounting chroot for build PACKAGEBUILD-11801173 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-11801173', '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-11801173 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-11801173', 'amd64'] Updating debian chroot for build PACKAGEBUILD-11801173 Get:1 http://ftpmaster.internal/ubuntu zesty InRelease [253 kB] Get:2 http://ftpmaster.internal/ubuntu zesty-security InRelease [102 kB] Get:3 http://ftpmaster.internal/ubuntu zesty-updates InRelease [102 kB] Get:4 http://ftpmaster.internal/ubuntu zesty-proposed InRelease [102 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main amd64 Packages [1237 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main Translation-en [587 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/universe amd64 Packages [8060 kB] Get:8 http://ftpmaster.internal/ubuntu zesty/universe Translation-en [4671 kB] Get:9 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 Packages [82.0 kB] Get:10 http://ftpmaster.internal/ubuntu zesty-proposed/main Translation-en [42.1 kB] Get:11 http://ftpmaster.internal/ubuntu zesty-proposed/universe amd64 Packages [349 kB] Get:12 http://ftpmaster.internal/ubuntu zesty-proposed/universe Translation-en [155 kB] Fetched 15.7 MB in 5s (2709 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 advancecomp apt apt-transport-https base-files base-passwd bash binutils bsdutils ca-certificates cpp cpp-6 debianutils diffutils dmsetup findutils g++ g++-6 gcc gcc-6 gcc-6-base grep init init-system-helpers libapparmor1 libapt-pkg5.0 libasan3 libasn1-8-heimdal libassuan0 libatomic1 libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcc1-0 libcilkrts5 libcurl3-gnutls libdevmapper1.02.1 libfdisk1 libgcc-6-dev libgcc1 libgcrypt20 libgmp10 libgnutls30 libgomp1 libgpg-error0 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhogweed4 libhx509-5-heimdal libitm1 libk5crypto3 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libksba8 libldap-2.4-2 liblsan0 liblzma5 libmount1 libmpx2 libnettle6 libnpth0 libp11-kit0 libpng16-16 libquadmath0 libroken18-heimdal libsasl2-2 libsasl2-modules-db libseccomp2 libselinux1 libsemanage-common libsemanage1 libsepol1 libslang2 libsmartcols1 libsqlite3-0 libssl1.0.0 libstdc++-6-dev libstdc++6 libsystemd0 libtsan0 libubsan0 libudev1 libustr-1.0-1 libuuid1 libwind0-heimdal linux-libc-dev mount multiarch-support openssl perl perl-base pinentry-curses pkg-create-dbgsym systemd systemd-sysv tar tzdata ubuntu-keyring util-linux xz-utils zlib1g 107 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 58.8 MB of archives. After this operation, 41.3 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 base-files amd64 9.6ubuntu9 [57.0 kB] Get:2 http://ftpmaster.internal/ubuntu zesty/main amd64 debianutils amd64 4.8.1 [85.7 kB] Get:3 http://ftpmaster.internal/ubuntu zesty/main amd64 bash amd64 4.4-2ubuntu1 [624 kB] Get:4 http://ftpmaster.internal/ubuntu zesty/main amd64 bsdutils amd64 1:2.29-1ubuntu2 [55.3 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main amd64 diffutils amd64 1:3.5-1 [166 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main amd64 findutils amd64 4.6.0+git+20161106-1 [282 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/main amd64 grep amd64 2.27-1 [154 kB] Get:8 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libc6-dev amd64 2.24-7ubuntu2 [2274 kB] Get:9 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libc-dev-bin amd64 2.24-7ubuntu2 [68.5 kB] Get:10 http://ftpmaster.internal/ubuntu zesty/main amd64 linux-libc-dev amd64 4.9.0-11.12 [866 kB] Get:11 http://ftpmaster.internal/ubuntu zesty/main amd64 libquadmath0 amd64 6.3.0-2ubuntu1 [132 kB] Get:12 http://ftpmaster.internal/ubuntu zesty/main amd64 libitm1 amd64 6.3.0-2ubuntu1 [27.9 kB] Get:13 http://ftpmaster.internal/ubuntu zesty/main amd64 gcc-6-base amd64 6.3.0-2ubuntu1 [17.7 kB] Get:14 http://ftpmaster.internal/ubuntu zesty/main amd64 libgcc1 amd64 1:6.3.0-2ubuntu1 [38.1 kB] Get:15 http://ftpmaster.internal/ubuntu zesty/main amd64 libcc1-0 amd64 6.3.0-2ubuntu1 [31.1 kB] Get:16 http://ftpmaster.internal/ubuntu zesty/main amd64 binutils amd64 2.27.90.20161231-1ubuntu1 [2430 kB] Get:17 http://ftpmaster.internal/ubuntu zesty/main amd64 libgomp1 amd64 6.3.0-2ubuntu1 [74.0 kB] Get:18 http://ftpmaster.internal/ubuntu zesty/main amd64 libatomic1 amd64 6.3.0-2ubuntu1 [9170 B] Get:19 http://ftpmaster.internal/ubuntu zesty/main amd64 libasan3 amd64 6.3.0-2ubuntu1 [316 kB] Get:20 http://ftpmaster.internal/ubuntu zesty/main amd64 liblsan0 amd64 6.3.0-2ubuntu1 [117 kB] Get:21 http://ftpmaster.internal/ubuntu zesty/main amd64 libtsan0 amd64 6.3.0-2ubuntu1 [261 kB] Get:22 http://ftpmaster.internal/ubuntu zesty/main amd64 libubsan0 amd64 6.3.0-2ubuntu1 [108 kB] Get:23 http://ftpmaster.internal/ubuntu zesty/main amd64 libcilkrts5 amd64 6.3.0-2ubuntu1 [40.9 kB] Get:24 http://ftpmaster.internal/ubuntu zesty/main amd64 libmpx2 amd64 6.3.0-2ubuntu1 [11.5 kB] Get:25 http://ftpmaster.internal/ubuntu zesty/main amd64 g++-6 amd64 6.3.0-2ubuntu1 [7392 kB] Get:26 http://ftpmaster.internal/ubuntu zesty/main amd64 libstdc++-6-dev amd64 6.3.0-2ubuntu1 [1423 kB] Get:27 http://ftpmaster.internal/ubuntu zesty/main amd64 libgcc-6-dev amd64 6.3.0-2ubuntu1 [2308 kB] Get:28 http://ftpmaster.internal/ubuntu zesty/main amd64 gcc-6 amd64 6.3.0-2ubuntu1 [7167 kB] Get:29 http://ftpmaster.internal/ubuntu zesty/main amd64 cpp-6 amd64 6.3.0-2ubuntu1 [6611 kB] Get:30 http://ftpmaster.internal/ubuntu zesty/main amd64 libstdc++6 amd64 6.3.0-2ubuntu1 [402 kB] Get:31 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 zlib1g amd64 1:1.2.8.dfsg-4ubuntu1 [50.9 kB] Get:32 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libgmp10 amd64 2:6.1.2+dfsg-1 [240 kB] Get:33 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libc6 amd64 2.24-7ubuntu2 [2587 kB] Get:34 http://ftpmaster.internal/ubuntu zesty/main amd64 libuuid1 amd64 2.29-1ubuntu2 [14.7 kB] Get:35 http://ftpmaster.internal/ubuntu zesty/main amd64 libblkid1 amd64 2.29-1ubuntu2 [110 kB] Get:36 http://ftpmaster.internal/ubuntu zesty/main amd64 libfdisk1 amd64 2.29-1ubuntu2 [144 kB] Get:37 http://ftpmaster.internal/ubuntu zesty/main amd64 libselinux1 amd64 2.6-3 [67.8 kB] Get:38 http://ftpmaster.internal/ubuntu zesty/main amd64 util-linux amd64 2.29-1ubuntu2 [911 kB] Get:39 http://ftpmaster.internal/ubuntu zesty/main amd64 mount amd64 2.29-1ubuntu2 [129 kB] Get:40 http://ftpmaster.internal/ubuntu zesty/main amd64 perl-modules-5.24 all 5.24.1~rc4-1 [2663 kB] Get:41 http://ftpmaster.internal/ubuntu zesty/main amd64 libperl5.24 amd64 5.24.1~rc4-1 [3471 kB] Get:42 http://ftpmaster.internal/ubuntu zesty/main amd64 perl amd64 5.24.1~rc4-1 [219 kB] Get:43 http://ftpmaster.internal/ubuntu zesty/main amd64 perl-base amd64 5.24.1~rc4-1 [1341 kB] Get:44 http://ftpmaster.internal/ubuntu zesty/main amd64 tar amd64 1.29b-1.1 [232 kB] Get:45 http://ftpmaster.internal/ubuntu zesty/main amd64 base-passwd amd64 3.5.42 [48.4 kB] Get:46 http://ftpmaster.internal/ubuntu zesty/main amd64 init-system-helpers all 1.46 [37.3 kB] Get:47 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libc-bin amd64 2.24-7ubuntu2 [635 kB] Get:48 http://ftpmaster.internal/ubuntu zesty/main amd64 liblzma5 amd64 5.2.2-1.2 [91.0 kB] Get:49 http://ftpmaster.internal/ubuntu zesty/main amd64 libapt-pkg5.0 amd64 1.4~beta2 [775 kB] Get:50 http://ftpmaster.internal/ubuntu zesty/main amd64 adduser all 3.113+nmu3ubuntu5 [161 kB] Get:51 http://ftpmaster.internal/ubuntu zesty/main amd64 ubuntu-keyring all 2016.10.27 [16.6 kB] Get:52 http://ftpmaster.internal/ubuntu zesty/main amd64 apt amd64 1.4~beta2 [1069 kB] Get:53 http://ftpmaster.internal/ubuntu zesty/main amd64 libapparmor1 amd64 2.10.95-4ubuntu5.2 [30.2 kB] Get:54 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libgpg-error0 amd64 1.26-1 [34.7 kB] Get:55 http://ftpmaster.internal/ubuntu zesty/main amd64 libgcrypt20 amd64 1.7.5-2 [400 kB] Get:56 http://ftpmaster.internal/ubuntu zesty/main amd64 libmount1 amd64 2.29-1ubuntu2 [119 kB] Get:57 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libseccomp2 amd64 2.3.1-2.1ubuntu1 [37.5 kB] Get:58 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 systemd amd64 232-8 [2357 kB] Get:59 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libsystemd0 amd64 232-8 [212 kB] Get:60 http://ftpmaster.internal/ubuntu zesty/main amd64 init amd64 1.46 [5320 B] Get:61 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 systemd-sysv amd64 232-8 [14.1 kB] Get:62 http://ftpmaster.internal/ubuntu zesty/main amd64 libsepol1 amd64 2.6-2 [220 kB] Get:63 http://ftpmaster.internal/ubuntu zesty/main amd64 libustr-1.0-1 amd64 1.0.4-6 [66.1 kB] Get:64 http://ftpmaster.internal/ubuntu zesty/main amd64 libsemanage-common all 2.6-2 [6794 B] Get:65 http://ftpmaster.internal/ubuntu zesty/main amd64 libsemanage1 amd64 2.6-2 [82.6 kB] Get:66 http://ftpmaster.internal/ubuntu zesty/main amd64 libsmartcols1 amd64 2.29-1ubuntu2 [69.4 kB] Get:67 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libudev1 amd64 232-8 [57.5 kB] Get:68 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 multiarch-support amd64 2.24-7ubuntu2 [6816 B] Get:69 http://ftpmaster.internal/ubuntu zesty/main amd64 tzdata all 2016j-2 [204 kB] Get:70 http://ftpmaster.internal/ubuntu zesty/main amd64 libdevmapper1.02.1 amd64 2:1.02.136-1ubuntu1 [135 kB] Get:71 http://ftpmaster.internal/ubuntu zesty/main amd64 dmsetup amd64 2:1.02.136-1ubuntu1 [71.7 kB] Get:72 http://ftpmaster.internal/ubuntu zesty/main amd64 libroken18-heimdal amd64 1.7~git20160703+dfsg-1ubuntu1 [40.9 kB] Get:73 http://ftpmaster.internal/ubuntu zesty/main amd64 libasn1-8-heimdal amd64 1.7~git20160703+dfsg-1ubuntu1 [176 kB] Get:74 http://ftpmaster.internal/ubuntu zesty/main amd64 libassuan0 amd64 2.4.3-2 [34.5 kB] Get:75 http://ftpmaster.internal/ubuntu zesty/main amd64 libhogweed4 amd64 3.3-1 [135 kB] Get:76 http://ftpmaster.internal/ubuntu zesty/main amd64 libnettle6 amd64 3.3-1 [92.4 kB] Get:77 http://ftpmaster.internal/ubuntu zesty/main amd64 libp11-kit0 amd64 0.23.3-2 [107 kB] Get:78 http://ftpmaster.internal/ubuntu zesty/main amd64 libgnutls30 amd64 3.5.6-4ubuntu2 [626 kB] Get:79 http://ftpmaster.internal/ubuntu zesty/main amd64 libheimbase1-heimdal amd64 1.7~git20160703+dfsg-1ubuntu1 [29.2 kB] Get:80 http://ftpmaster.internal/ubuntu zesty/main amd64 libhcrypto4-heimdal amd64 1.7~git20160703+dfsg-1ubuntu1 [87.2 kB] Get:81 http://ftpmaster.internal/ubuntu zesty/main amd64 libwind0-heimdal amd64 1.7~git20160703+dfsg-1ubuntu1 [48.0 kB] Get:82 http://ftpmaster.internal/ubuntu zesty/main amd64 libhx509-5-heimdal amd64 1.7~git20160703+dfsg-1ubuntu1 [107 kB] Get:83 http://ftpmaster.internal/ubuntu zesty/main amd64 libsqlite3-0 amd64 3.15.2-2 [484 kB] Get:84 http://ftpmaster.internal/ubuntu zesty/main amd64 libkrb5-26-heimdal amd64 1.7~git20160703+dfsg-1ubuntu1 [202 kB] Get:85 http://ftpmaster.internal/ubuntu zesty/main amd64 libheimntlm0-heimdal amd64 1.7~git20160703+dfsg-1ubuntu1 [15.2 kB] Get:86 http://ftpmaster.internal/ubuntu zesty/main amd64 libgssapi3-heimdal amd64 1.7~git20160703+dfsg-1ubuntu1 [96.8 kB] Get:87 http://ftpmaster.internal/ubuntu zesty/main amd64 libksba8 amd64 1.3.5-2 [92.6 kB] Get:88 http://ftpmaster.internal/ubuntu zesty/main amd64 libsasl2-modules-db amd64 2.1.27~72-g88d82a3+dfsg-1 [15.1 kB] Get:89 http://ftpmaster.internal/ubuntu zesty/main amd64 libsasl2-2 amd64 2.1.27~72-g88d82a3+dfsg-1 [48.8 kB] Get:90 http://ftpmaster.internal/ubuntu zesty/main amd64 libldap-2.4-2 amd64 2.4.42+dfsg-2ubuntu5 [161 kB] Get:91 http://ftpmaster.internal/ubuntu zesty/main amd64 libnpth0 amd64 1.3-1 [8054 B] Get:92 http://ftpmaster.internal/ubuntu zesty/main amd64 libslang2 amd64 2.3.1-5ubuntu1 [422 kB] Get:93 http://ftpmaster.internal/ubuntu zesty/main amd64 libssl1.0.0 amd64 1.0.2g-1ubuntu10 [1082 kB] Get:94 http://ftpmaster.internal/ubuntu zesty/main amd64 pinentry-curses amd64 1.0.0-1 [32.6 kB] Get:95 http://ftpmaster.internal/ubuntu zesty/main amd64 xz-utils amd64 5.2.2-1.2 [83.2 kB] Get:96 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libgssapi-krb5-2 amd64 1.15-1 [120 kB] Get:97 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libkrb5-3 amd64 1.15-1 [275 kB] Get:98 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libkrb5support0 amd64 1.15-1 [31.9 kB] Get:99 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libk5crypto3 amd64 1.15-1 [84.8 kB] Get:100 http://ftpmaster.internal/ubuntu zesty/main amd64 libcurl3-gnutls amd64 7.51.0-1ubuntu1 [188 kB] Get:101 http://ftpmaster.internal/ubuntu zesty/main amd64 apt-transport-https amd64 1.4~beta2 [34.3 kB] Get:102 http://ftpmaster.internal/ubuntu zesty/main amd64 openssl amd64 1.0.2g-1ubuntu10 [491 kB] Get:103 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 ca-certificates all 20161130 [193 kB] Get:104 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libpng16-16 amd64 1.6.27-1 [173 kB] Get:105 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 advancecomp amd64 1.23-1 [197 kB] Get:106 http://ftpmaster.internal/ubuntu zesty/main amd64 cpp amd64 4:6.2.1-1ubuntu1 [27.4 kB] Get:107 http://ftpmaster.internal/ubuntu zesty/main amd64 gcc amd64 4:6.2.1-1ubuntu1 [5170 B] Get:108 http://ftpmaster.internal/ubuntu zesty/main amd64 g++ amd64 4:6.2.1-1ubuntu1 [1478 B] Get:109 http://ftpmaster.internal/ubuntu zesty/main amd64 pkg-create-dbgsym all 0.73 [8952 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 58.8 MB in 9s (6509 kB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12312 files and directories currently installed.) Preparing to unpack .../base-files_9.6ubuntu9_amd64.deb ... Unpacking base-files (9.6ubuntu9) over (9.6ubuntu5) ... Setting up base-files (9.6ubuntu9) ... 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 ... 12314 files and directories currently installed.) Preparing to unpack .../debianutils_4.8.1_amd64.deb ... Unpacking debianutils (4.8.1) over (4.8) ... Setting up debianutils (4.8.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12314 files and directories currently installed.) Preparing to unpack .../bash_4.4-2ubuntu1_amd64.deb ... Unpacking bash (4.4-2ubuntu1) over (4.3-15ubuntu1) ... Setting up bash (4.4-2ubuntu1) ... Installing new version of config file /etc/skel/.profile ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12314 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.29-1ubuntu2_amd64.deb ... Unpacking bsdutils (1:2.29-1ubuntu2) over (1:2.28.2-1ubuntu1) ... Setting up bsdutils (1:2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12314 files and directories currently installed.) Preparing to unpack .../diffutils_1%3a3.5-1_amd64.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 ... 12314 files and directories currently installed.) Preparing to unpack .../findutils_4.6.0+git+20161106-1_amd64.deb ... Unpacking findutils (4.6.0+git+20161106-1) over (4.6.0+git+20160703-2) ... Setting up findutils (4.6.0+git+20161106-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12314 files and directories currently installed.) Preparing to unpack .../archives/grep_2.27-1_amd64.deb ... Unpacking grep (2.27-1) over (2.25-6) ... Setting up grep (2.27-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12314 files and directories currently installed.) Preparing to unpack .../0-libc6-dev_2.24-7ubuntu2_amd64.deb ... Unpacking libc6-dev:amd64 (2.24-7ubuntu2) over (2.24-3ubuntu1) ... Preparing to unpack .../1-libc-dev-bin_2.24-7ubuntu2_amd64.deb ... Unpacking libc-dev-bin (2.24-7ubuntu2) over (2.24-3ubuntu1) ... Preparing to unpack .../2-linux-libc-dev_4.9.0-11.12_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.9.0-11.12) over (4.8.0-22.24) ... Preparing to unpack .../3-libquadmath0_6.3.0-2ubuntu1_amd64.deb ... Unpacking libquadmath0:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../4-libitm1_6.3.0-2ubuntu1_amd64.deb ... Unpacking libitm1:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../5-gcc-6-base_6.3.0-2ubuntu1_amd64.deb ... Unpacking gcc-6-base:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Setting up gcc-6-base:amd64 (6.3.0-2ubuntu1) ... (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 ... 12330 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a6.3.0-2ubuntu1_amd64.deb ... Unpacking libgcc1:amd64 (1:6.3.0-2ubuntu1) over (1:6.2.0-5ubuntu12) ... Setting up libgcc1:amd64 (1:6.3.0-2ubuntu1) ... (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 ... 12330 files and directories currently installed.) Preparing to unpack .../00-libcc1-0_6.3.0-2ubuntu1_amd64.deb ... Unpacking libcc1-0:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../01-binutils_2.27.90.20161231-1ubuntu1_amd64.deb ... Unpacking binutils (2.27.90.20161231-1ubuntu1) over (2.27-8ubuntu2) ... Preparing to unpack .../02-libgomp1_6.3.0-2ubuntu1_amd64.deb ... Unpacking libgomp1:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../03-libatomic1_6.3.0-2ubuntu1_amd64.deb ... Unpacking libatomic1:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../04-libasan3_6.3.0-2ubuntu1_amd64.deb ... Unpacking libasan3:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../05-liblsan0_6.3.0-2ubuntu1_amd64.deb ... Unpacking liblsan0:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../06-libtsan0_6.3.0-2ubuntu1_amd64.deb ... Unpacking libtsan0:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../07-libubsan0_6.3.0-2ubuntu1_amd64.deb ... Unpacking libubsan0:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../08-libcilkrts5_6.3.0-2ubuntu1_amd64.deb ... Unpacking libcilkrts5:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../09-libmpx2_6.3.0-2ubuntu1_amd64.deb ... Unpacking libmpx2:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../10-g++-6_6.3.0-2ubuntu1_amd64.deb ... Unpacking g++-6 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../11-libstdc++-6-dev_6.3.0-2ubuntu1_amd64.deb ... Unpacking libstdc++-6-dev:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../12-libgcc-6-dev_6.3.0-2ubuntu1_amd64.deb ... Unpacking libgcc-6-dev:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../13-gcc-6_6.3.0-2ubuntu1_amd64.deb ... Unpacking gcc-6 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../14-cpp-6_6.3.0-2ubuntu1_amd64.deb ... Unpacking cpp-6 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../15-libstdc++6_6.3.0-2ubuntu1_amd64.deb ... Unpacking libstdc++6:amd64 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Setting up libstdc++6:amd64 (6.3.0-2ubuntu1) ... (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 ... 12329 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.2.8.dfsg-4ubuntu1_amd64.deb ... Unpacking zlib1g:amd64 (1:1.2.8.dfsg-4ubuntu1) over (1:1.2.8.dfsg-2ubuntu5) ... Setting up zlib1g:amd64 (1:1.2.8.dfsg-4ubuntu1) ... (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 ... 12329 files and directories currently installed.) Preparing to unpack .../0-libgmp10_2%3a6.1.2+dfsg-1_amd64.deb ... Unpacking libgmp10:amd64 (2:6.1.2+dfsg-1) over (2:6.1.1+dfsg-1) ... Preparing to unpack .../1-libc6_2.24-7ubuntu2_amd64.deb ... Unpacking libc6:amd64 (2.24-7ubuntu2) over (2.24-3ubuntu1) ... Setting up libc6:amd64 (2.24-7ubuntu2) ... (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 ... 12329 files and directories currently installed.) Preparing to unpack .../libuuid1_2.29-1ubuntu2_amd64.deb ... Unpacking libuuid1:amd64 (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libuuid1:amd64 (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12329 files and directories currently installed.) Preparing to unpack .../libblkid1_2.29-1ubuntu2_amd64.deb ... Unpacking libblkid1:amd64 (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libblkid1:amd64 (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12329 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.29-1ubuntu2_amd64.deb ... Unpacking libfdisk1:amd64 (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libfdisk1:amd64 (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12329 files and directories currently installed.) Preparing to unpack .../libselinux1_2.6-3_amd64.deb ... Unpacking libselinux1:amd64 (2.6-3) over (2.5-3) ... Setting up libselinux1:amd64 (2.6-3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12329 files and directories currently installed.) Preparing to unpack .../util-linux_2.29-1ubuntu2_amd64.deb ... Unpacking util-linux (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up util-linux (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12328 files and directories currently installed.) Preparing to unpack .../mount_2.29-1ubuntu2_amd64.deb ... Unpacking mount (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up mount (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12328 files and directories currently installed.) Preparing to unpack .../0-perl_5.24.1~rc4-1_amd64.deb ... Unpacking perl (5.24.1~rc4-1) over (5.22.2-3) ... Selecting previously unselected package perl-modules-5.24. Preparing to unpack .../1-perl-modules-5.24_5.24.1~rc4-1_all.deb ... Unpacking perl-modules-5.24 (5.24.1~rc4-1) ... Selecting previously unselected package libperl5.24:amd64. Preparing to unpack .../2-libperl5.24_5.24.1~rc4-1_amd64.deb ... Unpacking libperl5.24:amd64 (5.24.1~rc4-1) ... Preparing to unpack .../3-perl-base_5.24.1~rc4-1_amd64.deb ... Unpacking perl-base (5.24.1~rc4-1) over (5.22.2-3) ... Setting up perl-base (5.24.1~rc4-1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 14121 files and directories currently installed.) Preparing to unpack .../tar_1.29b-1.1_amd64.deb ... Unpacking tar (1.29b-1.1) over (1.29b-1) ... Setting up tar (1.29b-1.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 14121 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.42_amd64.deb ... Unpacking base-passwd (3.5.42) over (3.5.40) ... Setting up base-passwd (3.5.42) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 14121 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.46_all.deb ... Unpacking init-system-helpers (1.46) over (1.45) ... Setting up init-system-helpers (1.46) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 14121 files and directories currently installed.) Preparing to unpack .../libc-bin_2.24-7ubuntu2_amd64.deb ... Unpacking libc-bin (2.24-7ubuntu2) over (2.24-3ubuntu1) ... Setting up libc-bin (2.24-7ubuntu2) ... Updating /etc/nsswitch.conf to current default. (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 ... 14121 files and directories currently installed.) Preparing to unpack .../liblzma5_5.2.2-1.2_amd64.deb ... Unpacking liblzma5:amd64 (5.2.2-1.2) over (5.1.1alpha+20120614-2.1ubuntu1) ... Setting up liblzma5:amd64 (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 ... 14121 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.4~beta2_amd64.deb ... Unpacking libapt-pkg5.0:amd64 (1.4~beta2) over (1.3.1) ... Setting up libapt-pkg5.0:amd64 (1.4~beta2) ... (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 ... 14121 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 ... 14121 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 ... 14119 files and directories currently installed.) Preparing to unpack .../apt_1.4~beta2_amd64.deb ... Unpacking apt (1.4~beta2) over (1.3.1) ... Setting up apt (1.4~beta2) ... (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 ... 14123 files and directories currently installed.) Preparing to unpack .../0-libapparmor1_2.10.95-4ubuntu5.2_amd64.deb ... Unpacking libapparmor1:amd64 (2.10.95-4ubuntu5.2) over (2.10.95-4ubuntu5) ... Preparing to unpack .../1-libgpg-error0_1.26-1_amd64.deb ... Unpacking libgpg-error0:amd64 (1.26-1) over (1.24-1) ... Setting up libgpg-error0:amd64 (1.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 ... 14123 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.7.5-2_amd64.deb ... Unpacking libgcrypt20:amd64 (1.7.5-2) over (1.7.2-2ubuntu1) ... Setting up libgcrypt20:amd64 (1.7.5-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 ... 14123 files and directories currently installed.) Preparing to unpack .../libmount1_2.29-1ubuntu2_amd64.deb ... Unpacking libmount1:amd64 (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libmount1:amd64 (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 14123 files and directories currently installed.) Preparing to unpack .../0-libseccomp2_2.3.1-2.1ubuntu1_amd64.deb ... Unpacking libseccomp2:amd64 (2.3.1-2.1ubuntu1) over (2.3.1-2ubuntu2) ... Preparing to unpack .../1-systemd_232-8_amd64.deb ... Unpacking systemd (232-8) over (231-9git1) ... Preparing to unpack .../2-libsystemd0_232-8_amd64.deb ... Unpacking libsystemd0:amd64 (232-8) over (231-9git1) ... Setting up libsystemd0:amd64 (232-8) ... (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 ... 14119 files and directories currently installed.) Preparing to unpack .../archives/init_1.46_amd64.deb ... Unpacking init (1.46) over (1.45) ... Setting up libapparmor1:amd64 (2.10.95-4ubuntu5.2) ... Setting up libseccomp2:amd64 (2.3.1-2.1ubuntu1) ... Setting up systemd (232-8) ... Installing new version of config file /etc/dbus-1/system.d/org.freedesktop.systemd1.conf ... Installing new version of config file /etc/systemd/resolved.conf ... Installing new version of config file /etc/systemd/system.conf ... addgroup: The group `systemd-journal' already exists as a system group. Exiting. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 14119 files and directories currently installed.) Preparing to unpack .../0-systemd-sysv_232-8_amd64.deb ... Unpacking systemd-sysv (232-8) over (231-9git1) ... Preparing to unpack .../1-libsepol1_2.6-2_amd64.deb ... Unpacking libsepol1:amd64 (2.6-2) over (2.5-1) ... Setting up libsepol1:amd64 (2.6-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 14119 files and directories currently installed.) Preparing to unpack .../libustr-1.0-1_1.0.4-6_amd64.deb ... Unpacking libustr-1.0-1:amd64 (1.0.4-6) over (1.0.4-5) ... Setting up libustr-1.0-1:amd64 (1.0.4-6) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 14119 files and directories currently installed.) Preparing to unpack .../libsemanage-common_2.6-2_all.deb ... Unpacking libsemanage-common (2.6-2) over (2.5-1) ... Setting up libsemanage-common (2.6-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 14119 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.6-2_amd64.deb ... Unpacking libsemanage1:amd64 (2.6-2) over (2.5-1) ... Setting up libsemanage1:amd64 (2.6-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 14119 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.29-1ubuntu2_amd64.deb ... Unpacking libsmartcols1:amd64 (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libsmartcols1:amd64 (2.29-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 14119 files and directories currently installed.) Preparing to unpack .../libudev1_232-8_amd64.deb ... Unpacking libudev1:amd64 (232-8) over (231-9git1) ... Setting up libudev1:amd64 (232-8) ... (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 ... 14119 files and directories currently installed.) Preparing to unpack .../multiarch-support_2.24-7ubuntu2_amd64.deb ... Unpacking multiarch-support (2.24-7ubuntu2) over (2.24-3ubuntu1) ... Setting up multiarch-support (2.24-7ubuntu2) ... (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 ... 14119 files and directories currently installed.) Preparing to unpack .../00-tzdata_2016j-2_all.deb ... Unpacking tzdata (2016j-2) over (2016g-1) ... Preparing to unpack .../01-libdevmapper1.02.1_2%3a1.02.136-1ubuntu1_amd64.deb ... Unpacking libdevmapper1.02.1:amd64 (2:1.02.136-1ubuntu1) over (2:1.02.130-1ubuntu1) ... Preparing to unpack .../02-dmsetup_2%3a1.02.136-1ubuntu1_amd64.deb ... Unpacking dmsetup (2:1.02.136-1ubuntu1) over (2:1.02.130-1ubuntu1) ... Preparing to unpack .../03-libroken18-heimdal_1.7~git20160703+dfsg-1ubuntu1_amd64.deb ... Unpacking libroken18-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../04-libasn1-8-heimdal_1.7~git20160703+dfsg-1ubuntu1_amd64.deb ... Unpacking libasn1-8-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../05-libassuan0_2.4.3-2_amd64.deb ... Unpacking libassuan0:amd64 (2.4.3-2) over (2.4.3-1) ... Preparing to unpack .../06-libhogweed4_3.3-1_amd64.deb ... Unpacking libhogweed4:amd64 (3.3-1) over (3.2-1) ... Preparing to unpack .../07-libnettle6_3.3-1_amd64.deb ... Unpacking libnettle6:amd64 (3.3-1) over (3.2-1) ... Preparing to unpack .../08-libp11-kit0_0.23.3-2_amd64.deb ... Unpacking libp11-kit0:amd64 (0.23.3-2) over (0.23.2-5) ... Preparing to unpack .../09-libgnutls30_3.5.6-4ubuntu2_amd64.deb ... Unpacking libgnutls30:amd64 (3.5.6-4ubuntu2) over (3.5.3-5ubuntu1) ... Preparing to unpack .../10-libheimbase1-heimdal_1.7~git20160703+dfsg-1ubuntu1_amd64.deb ... Unpacking libheimbase1-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../11-libhcrypto4-heimdal_1.7~git20160703+dfsg-1ubuntu1_amd64.deb ... Unpacking libhcrypto4-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../12-libwind0-heimdal_1.7~git20160703+dfsg-1ubuntu1_amd64.deb ... Unpacking libwind0-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../13-libhx509-5-heimdal_1.7~git20160703+dfsg-1ubuntu1_amd64.deb ... Unpacking libhx509-5-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../14-libsqlite3-0_3.15.2-2_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.15.2-2) over (3.14.1-1build1) ... Preparing to unpack .../15-libkrb5-26-heimdal_1.7~git20160703+dfsg-1ubuntu1_amd64.deb ... Unpacking libkrb5-26-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../16-libheimntlm0-heimdal_1.7~git20160703+dfsg-1ubuntu1_amd64.deb ... Unpacking libheimntlm0-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../17-libgssapi3-heimdal_1.7~git20160703+dfsg-1ubuntu1_amd64.deb ... Unpacking libgssapi3-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../18-libksba8_1.3.5-2_amd64.deb ... Unpacking libksba8:amd64 (1.3.5-2) over (1.3.4-4) ... Preparing to unpack .../19-libsasl2-modules-db_2.1.27~72-g88d82a3+dfsg-1_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.27~72-g88d82a3+dfsg-1) over (2.1.26.dfsg1-15) ... Preparing to unpack .../20-libsasl2-2_2.1.27~72-g88d82a3+dfsg-1_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.27~72-g88d82a3+dfsg-1) over (2.1.26.dfsg1-15) ... Preparing to unpack .../21-libldap-2.4-2_2.4.42+dfsg-2ubuntu5_amd64.deb ... Unpacking libldap-2.4-2:amd64 (2.4.42+dfsg-2ubuntu5) over (2.4.42+dfsg-2ubuntu4) ... Preparing to unpack .../22-libnpth0_1.3-1_amd64.deb ... Unpacking libnpth0:amd64 (1.3-1) over (1.2-3) ... Preparing to unpack .../23-libslang2_2.3.1-5ubuntu1_amd64.deb ... Unpacking libslang2:amd64 (2.3.1-5ubuntu1) over (2.3.0-2.3ubuntu1) ... Preparing to unpack .../24-libssl1.0.0_1.0.2g-1ubuntu10_amd64.deb ... Unpacking libssl1.0.0:amd64 (1.0.2g-1ubuntu10) over (1.0.2g-1ubuntu9) ... Preparing to unpack .../25-pinentry-curses_1.0.0-1_amd64.deb ... Unpacking pinentry-curses (1.0.0-1) over (0.9.7-5) ... Preparing to unpack .../26-xz-utils_5.2.2-1.2_amd64.deb ... Unpacking xz-utils (5.2.2-1.2) over (5.1.1alpha+20120614-2.1ubuntu1) ... Preparing to unpack .../27-libgssapi-krb5-2_1.15-1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.15-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../28-libkrb5-3_1.15-1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.15-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../29-libkrb5support0_1.15-1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.15-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../30-libk5crypto3_1.15-1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.15-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../31-libcurl3-gnutls_7.51.0-1ubuntu1_amd64.deb ... Unpacking libcurl3-gnutls:amd64 (7.51.0-1ubuntu1) over (7.50.1-1ubuntu1) ... Preparing to unpack .../32-apt-transport-https_1.4~beta2_amd64.deb ... Unpacking apt-transport-https (1.4~beta2) over (1.3.1) ... Preparing to unpack .../33-openssl_1.0.2g-1ubuntu10_amd64.deb ... Unpacking openssl (1.0.2g-1ubuntu10) over (1.0.2g-1ubuntu9) ... Preparing to unpack .../34-ca-certificates_20161130_all.deb ... Unpacking ca-certificates (20161130) over (20160104ubuntu1) ... Preparing to unpack .../35-libpng16-16_1.6.27-1_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.27-1) over (1.6.25-1) ... Preparing to unpack .../36-advancecomp_1.23-1_amd64.deb ... Unpacking advancecomp (1.23-1) over (1.20-1) ... Preparing to unpack .../37-cpp_4%3a6.2.1-1ubuntu1_amd64.deb ... Unpacking cpp (4:6.2.1-1ubuntu1) over (4:6.1.1-1ubuntu2) ... Preparing to unpack .../38-gcc_4%3a6.2.1-1ubuntu1_amd64.deb ... Removing old gcc doc directory. Unpacking gcc (4:6.2.1-1ubuntu1) over (4:6.1.1-1ubuntu2) ... Preparing to unpack .../39-g++_4%3a6.2.1-1ubuntu1_amd64.deb ... Unpacking g++ (4:6.2.1-1ubuntu1) over (4:6.1.1-1ubuntu2) ... Preparing to unpack .../40-pkg-create-dbgsym_0.73_all.deb ... Unpacking pkg-create-dbgsym (0.73) over (0.72) ... Setting up libquadmath0:amd64 (6.3.0-2ubuntu1) ... Setting up libnpth0:amd64 (1.3-1) ... Setting up libgomp1:amd64 (6.3.0-2ubuntu1) ... Setting up libatomic1:amd64 (6.3.0-2ubuntu1) ... Setting up perl-modules-5.24 (5.24.1~rc4-1) ... Setting up libperl5.24:amd64 (5.24.1~rc4-1) ... Setting up libnettle6:amd64 (3.3-1) ... Setting up libcc1-0:amd64 (6.3.0-2ubuntu1) ... Setting up libasan3:amd64 (6.3.0-2ubuntu1) ... Setting up libssl1.0.0:amd64 (1.0.2g-1ubuntu10) ... Setting up libpng16-16:amd64 (1.6.27-1) ... Setting up libcilkrts5:amd64 (6.3.0-2ubuntu1) ... Setting up tzdata (2016j-2) ... Current default time zone: 'Etc/UTC' Local time is now: Sat Dec 31 23:11:01 UTC 2016. Universal Time is now: Sat Dec 31 23:11:01 UTC 2016. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up systemd-sysv (232-8) ... Setting up libubsan0:amd64 (6.3.0-2ubuntu1) ... Setting up libtsan0:amd64 (6.3.0-2ubuntu1) ... Setting up libsasl2-modules-db:amd64 (2.1.27~72-g88d82a3+dfsg-1) ... Setting up linux-libc-dev:amd64 (4.9.0-11.12) ... Setting up advancecomp (1.23-1) ... Setting up libsasl2-2:amd64 (2.1.27~72-g88d82a3+dfsg-1) ... Setting up libroken18-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libksba8:amd64 (1.3.5-2) ... Setting up libdevmapper1.02.1:amd64 (2:1.02.136-1ubuntu1) ... Setting up libkrb5support0:amd64 (1.15-1) ... Setting up liblsan0:amd64 (6.3.0-2ubuntu1) ... Setting up perl (5.24.1~rc4-1) ... Installing new version of config file /etc/perl/sitecustomize.pl ... Setting up libmpx2:amd64 (6.3.0-2ubuntu1) ... Setting up libgmp10:amd64 (2:6.1.2+dfsg-1) ... Processing triggers for libc-bin (2.24-7ubuntu2) ... Setting up pkg-create-dbgsym (0.73) ... Setting up xz-utils (5.2.2-1.2) ... Setting up libheimbase1-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libp11-kit0:amd64 (0.23.3-2) ... Setting up openssl (1.0.2g-1ubuntu10) ... Setting up libsqlite3-0:amd64 (3.15.2-2) ... Setting up dmsetup (2:1.02.136-1ubuntu1) ... Setting up binutils (2.27.90.20161231-1ubuntu1) ... Setting up cpp-6 (6.3.0-2ubuntu1) ... Setting up libc-dev-bin (2.24-7ubuntu2) ... Setting up ca-certificates (20161130) ... Updating certificates in /etc/ssl/certs... 10 added, 10 removed; done. Setting up libc6-dev:amd64 (2.24-7ubuntu2) ... Setting up libslang2:amd64 (2.3.1-5ubuntu1) ... Setting up libassuan0:amd64 (2.4.3-2) ... Setting up libitm1:amd64 (6.3.0-2ubuntu1) ... Setting up cpp (4:6.2.1-1ubuntu1) ... Setting up libk5crypto3:amd64 (1.15-1) ... Setting up libgcc-6-dev:amd64 (6.3.0-2ubuntu1) ... Setting up libstdc++-6-dev:amd64 (6.3.0-2ubuntu1) ... Setting up libwind0-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up init (1.46) ... Setting up libasn1-8-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libhcrypto4-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libhx509-5-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up gcc-6 (6.3.0-2ubuntu1) ... Setting up libhogweed4:amd64 (3.3-1) ... Setting up g++-6 (6.3.0-2ubuntu1) ... Setting up pinentry-curses (1.0.0-1) ... Setting up libkrb5-3:amd64 (1.15-1) ... Setting up libkrb5-26-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libheimntlm0-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libgnutls30:amd64 (3.5.6-4ubuntu2) ... Setting up gcc (4:6.2.1-1ubuntu1) ... Setting up libgssapi-krb5-2:amd64 (1.15-1) ... Setting up g++ (4:6.2.1-1ubuntu1) ... Setting up libgssapi3-heimdal:amd64 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libldap-2.4-2:amd64 (2.4.42+dfsg-2ubuntu5) ... Setting up libcurl3-gnutls:amd64 (7.51.0-1ubuntu1) ... Setting up apt-transport-https (1.4~beta2) ... Processing triggers for libc-bin (2.24-7ubuntu2) ... Processing triggers for ca-certificates (20161130) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-11801173', 'amd64', 'zesty-proposed', '-c', 'chroot:autobuild', '--arch=amd64', '--dist=zesty-proposed', '--purge=never', '--nolog', '-A', 'proofgeneral_4.4.1~pre161230-0.1.dsc'] Initiating build PACKAGEBUILD-11801173 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-57-generic #78-Ubuntu SMP Fri Dec 9 23:50:32 UTC 2016 x86_64 sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on lgw01-22.buildd +==============================================================================+ | proofgeneral 4.4.1~pre161230-0.1 (amd64) 31 Dec 2016 23:11 | +==============================================================================+ Package: proofgeneral Version: 4.4.1~pre161230-0.1 Source Version: 4.4.1~pre161230-0.1 Distribution: zesty-proposed Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 I: NOTICE: Log filtering will replace 'build/proofgeneral-fsAeN9/proofgeneral-4.4.1~pre161230' with '<>' I: NOTICE: Log filtering will replace 'build/proofgeneral-fsAeN9' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-11801173/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- proofgeneral_4.4.1~pre161230-0.1.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-oci555/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-oci555/apt_archive ./ InRelease Get:2 copy:/<>/resolver-oci555/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-oci555/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-oci555/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-oci555/apt_archive ./ Packages [526 B] Fetched 2859 B in 0s (217 kB/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 770 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-oci555/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [770 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 770 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 ... 14129 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_amd64.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), texinfo, texlive-latex-recommended, texlive-generic-recommended, texlive-fonts-recommended, emacs24 | emacs25 Filtered Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-generic-recommended, texlive-fonts-recommended, emacs24 | emacs25 dpkg-deb: building package 'sbuild-build-depends-proofgeneral-dummy' in '/<>/resolver-Sifn_U/apt_archive/sbuild-build-depends-proofgeneral-dummy.deb'. Ign:1 copy:/<>/resolver-Sifn_U/apt_archive ./ InRelease Get:2 copy:/<>/resolver-Sifn_U/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-Sifn_U/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-Sifn_U/apt_archive ./ Sources [259 B] Get:5 copy:/<>/resolver-Sifn_U/apt_archive ./ Packages [578 B] Fetched 2956 B in 0s (198 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install proofgeneral 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 autoconf automake autopoint autotools-dev bsdmainutils dconf-gsettings-backend dconf-service debhelper dh-autoreconf dh-strip-nondeterminism emacs24 emacs24-bin-common emacs24-common emacs24-common-non-dfsg emacsen-common file fontconfig fontconfig-config fonts-dejavu-core gconf-service gconf-service-backend gconf2-common gettext gettext-base glib-networking glib-networking-common glib-networking-services groff-base gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme imagemagick-6-common intltool-debian libarchive-zip-perl libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libboost-filesystem1.62.0 libboost-system1.62.0 libbsd0 libcairo-gobject2 libcairo2 libcapnp-0.5.3 libcolord2 libcroco3 libcups2 libcupsimage2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libdrm-amdgpu1 libdrm-intel1 libdrm-nouveau2 libdrm-radeon1 libdrm2 libedit2 libegl1-mesa libelf1 libepoxy0 libexpat1 libfftw3-double3 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libfribidi0 libgbm1 libgconf-2-4 libgd3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgif7 libgl1-mesa-dri libglib2.0-0 libgpm2 libgraphite2-3 libgs9 libgs9-common libgtk-3-0 libgtk-3-common libharfbuzz-icu0 libharfbuzz0b libice6 libicu57 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libjson-glib-1.0-0 libjson-glib-1.0-common libkpathsea6 liblcms2-2 libllvm3.9 liblqr-1-0 libltdl7 libm17n-0 libmagic-mgc libmagic1 libmagickcore-6.q16-2 libmagickwand-6.q16-2 libmirclient9 libmircommon7 libmircore1 libmirprotobuf3 libnspr4 libnss3 libotf0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpaper-utils libpaper1 libpciaccess0 libpipeline1 libpixman-1-0 libpoppler61 libpotrace0 libprotobuf-lite10 libproxy1v5 libptexenc1 librest-0.7-0 librsvg2-2 librsvg2-common libsensors4 libsigsegv2 libsm6 libsoup-gnome2.4-1 libsoup2.4-1 libsynctex1 libtexlua52 libtexluajit2 libtext-unidecode-perl libthai-data libthai0 libtiff5 libtimedate-perl libtool libunistring0 libwayland-client0 libwayland-cursor0 libwayland-egl1-mesa libwayland-server0 libwebp6 libx11-6 libx11-data libx11-xcb1 libxau6 libxaw7 libxcb-dri2-0 libxcb-dri3-0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2 libxmu6 libxpm4 libxrandr2 libxrender1 libxshmfence1 libxt6 libzzip-0-13 m17n-db m4 man-db po-debconf poppler-data shared-mime-info t1utils tex-common texinfo texlive-base texlive-binaries texlive-fonts-recommended texlive-generic-recommended texlive-latex-base texlive-latex-recommended ubuntu-mono ucf x11-common xdg-utils xkb-data Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation dh-make ncurses-term gettext-doc libasprintf-dev libgettextpo-dev groff libasound2-plugins alsa-utils colord cups-common libfftw3-bin libfftw3-dev libgd-tools gpm gvfs liblcms2-utils m17n-docs libmagickcore-6.q16-2-extra pciutils librsvg2-bin lm-sensors libtool-doc gfortran | fortran95-compiler gcj-jdk gawk less www-browser libmail-box-perl poppler-utils ghostscript fonts-japanese-mincho | fonts-ipafont-mincho fonts-japanese-gothic | fonts-ipafont-gothic fonts-arphic-ukai fonts-arphic-uming fonts-nanum texinfo-doc-nonfree xpdf-reader | pdf-viewer perl-tk gv | postscript-viewer texlive-pstricks gvfs-bin Recommended packages: emacs24-el curl | wget | lynx-cur at-spi2-core libcupsfilters1 dbus libtxc-dxtn-s2tc | libtxc-dxtn-s2tc0 | libtxc-dxtn0 libglib2.0-data xdg-user-dirs fonts-droid-fallback libgtk-3-bin ghostscript gsfonts libltdl-dev libxml-sax-expat-perl xml-core libmail-sendmail-perl lmodern python ruby wish tipa texlive-fonts-recommended-doc tex-gyre texlive-latex-base-doc prosper texlive-latex-recommended-doc libfile-mimeinfo-perl libnet-dbus-perl libx11-protocol-perl x11-utils x11-xserver-utils The following NEW packages will be installed: adwaita-icon-theme autoconf automake autopoint autotools-dev bsdmainutils dconf-gsettings-backend dconf-service debhelper dh-autoreconf dh-strip-nondeterminism emacs24 emacs24-bin-common emacs24-common emacs24-common-non-dfsg emacsen-common file fontconfig fontconfig-config fonts-dejavu-core gconf-service gconf-service-backend gconf2-common gettext gettext-base glib-networking glib-networking-common glib-networking-services groff-base gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme imagemagick-6-common intltool-debian libarchive-zip-perl libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libboost-filesystem1.62.0 libboost-system1.62.0 libbsd0 libcairo-gobject2 libcairo2 libcapnp-0.5.3 libcolord2 libcroco3 libcups2 libcupsimage2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdconf1 libdrm-amdgpu1 libdrm-intel1 libdrm-nouveau2 libdrm-radeon1 libdrm2 libedit2 libegl1-mesa libelf1 libepoxy0 libexpat1 libfftw3-double3 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libfribidi0 libgbm1 libgconf-2-4 libgd3 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgif7 libgl1-mesa-dri libglib2.0-0 libgpm2 libgraphite2-3 libgs9 libgs9-common libgtk-3-0 libgtk-3-common libharfbuzz-icu0 libharfbuzz0b libice6 libicu57 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libjson-glib-1.0-0 libjson-glib-1.0-common libkpathsea6 liblcms2-2 libllvm3.9 liblqr-1-0 libltdl7 libm17n-0 libmagic-mgc libmagic1 libmagickcore-6.q16-2 libmagickwand-6.q16-2 libmirclient9 libmircommon7 libmircore1 libmirprotobuf3 libnspr4 libnss3 libotf0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpaper-utils libpaper1 libpciaccess0 libpipeline1 libpixman-1-0 libpoppler61 libpotrace0 libprotobuf-lite10 libproxy1v5 libptexenc1 librest-0.7-0 librsvg2-2 librsvg2-common libsensors4 libsigsegv2 libsm6 libsoup-gnome2.4-1 libsoup2.4-1 libsynctex1 libtexlua52 libtexluajit2 libtext-unidecode-perl libthai-data libthai0 libtiff5 libtimedate-perl libtool libunistring0 libwayland-client0 libwayland-cursor0 libwayland-egl1-mesa libwayland-server0 libwebp6 libx11-6 libx11-data libx11-xcb1 libxau6 libxaw7 libxcb-dri2-0 libxcb-dri3-0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2 libxmu6 libxpm4 libxrandr2 libxrender1 libxshmfence1 libxt6 libzzip-0-13 m17n-db m4 man-db po-debconf poppler-data sbuild-build-depends-proofgeneral-dummy shared-mime-info t1utils tex-common texinfo texlive-base texlive-binaries texlive-fonts-recommended texlive-generic-recommended texlive-latex-base texlive-latex-recommended ubuntu-mono ucf x11-common xdg-utils xkb-data 0 upgraded, 208 newly installed, 0 to remove and 0 not upgraded. Need to get 131 MB of archives. After this operation, 615 MB of additional disk space will be used. Get:1 copy:/<>/resolver-Sifn_U/apt_archive ./ sbuild-build-depends-proofgeneral-dummy 0.invalid.0 [822 B] Get:2 http://ftpmaster.internal/ubuntu zesty/main amd64 libxau6 amd64 1:1.0.8-1 [8376 B] Get:3 http://ftpmaster.internal/ubuntu zesty/main amd64 libxdmcp6 amd64 1:1.1.2-1.1 [11.0 kB] Get:4 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb1 amd64 1.11.1-1ubuntu1 [40.0 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main amd64 libx11-data all 2:1.6.3-1ubuntu3 [113 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main amd64 libx11-6 amd64 2:1.6.3-1ubuntu3 [572 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/main amd64 libxext6 amd64 2:1.3.3-1 [29.4 kB] Get:8 http://ftpmaster.internal/ubuntu zesty/main amd64 groff-base amd64 1.22.3-9 [1144 kB] Get:9 http://ftpmaster.internal/ubuntu zesty/main amd64 libbsd0 amd64 0.8.3-1 [41.4 kB] Get:10 http://ftpmaster.internal/ubuntu zesty/main amd64 bsdmainutils amd64 9.0.12ubuntu1 [177 kB] Get:11 http://ftpmaster.internal/ubuntu zesty/main amd64 libpipeline1 amd64 1.4.1-2 [24.6 kB] Get:12 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 man-db amd64 2.7.6.1-2 [895 kB] Get:13 http://ftpmaster.internal/ubuntu zesty/main amd64 fonts-dejavu-core all 2.37-1 [1041 kB] Get:14 http://ftpmaster.internal/ubuntu zesty/main amd64 ucf all 3.0036 [52.9 kB] Get:15 http://ftpmaster.internal/ubuntu zesty/main amd64 fontconfig-config all 2.11.94-0ubuntu2 [49.9 kB] Get:16 http://ftpmaster.internal/ubuntu zesty/main amd64 libexpat1 amd64 2.2.0-1 [70.9 kB] Get:17 http://ftpmaster.internal/ubuntu zesty/main amd64 libfreetype6 amd64 2.6.3-3ubuntu1 [320 kB] Get:18 http://ftpmaster.internal/ubuntu zesty/main amd64 libfontconfig1 amd64 2.11.94-0ubuntu2 [131 kB] Get:19 http://ftpmaster.internal/ubuntu zesty/main amd64 fontconfig amd64 2.11.94-0ubuntu2 [177 kB] Get:20 http://ftpmaster.internal/ubuntu zesty/main amd64 x11-common all 1:7.7+16ubuntu2 [21.9 kB] Get:21 http://ftpmaster.internal/ubuntu zesty/main amd64 libice6 amd64 2:1.0.9-1 [39.2 kB] Get:22 http://ftpmaster.internal/ubuntu zesty/main amd64 libjpeg-turbo8 amd64 1.5.1-0ubuntu1 [113 kB] Get:23 http://ftpmaster.internal/ubuntu zesty/main amd64 libglib2.0-0 amd64 2.51.0-2 [1142 kB] Get:24 http://ftpmaster.internal/ubuntu zesty/main amd64 liblqr-1-0 amd64 0.4.2-2 [23.6 kB] Get:25 http://ftpmaster.internal/ubuntu zesty/main amd64 libfftw3-double3 amd64 3.3.5-1 [727 kB] Get:26 http://ftpmaster.internal/ubuntu zesty/main amd64 libjbig0 amd64 2.1-3.1 [26.6 kB] Get:27 http://ftpmaster.internal/ubuntu zesty/main amd64 libjpeg8 amd64 8c-2ubuntu8 [2194 B] Get:28 http://ftpmaster.internal/ubuntu zesty/main amd64 liblcms2-2 amd64 2.7-1ubuntu1 [137 kB] Get:29 http://ftpmaster.internal/ubuntu zesty/main amd64 libltdl7 amd64 2.4.6-2 [38.8 kB] Get:30 http://ftpmaster.internal/ubuntu zesty/main amd64 libtiff5 amd64 4.0.7-3 [147 kB] Get:31 http://ftpmaster.internal/ubuntu zesty/main amd64 libicu57 amd64 57.1-5 [7674 kB] Get:32 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libxml2 amd64 2.9.4+dfsg1-2.1 [698 kB] Get:33 http://ftpmaster.internal/ubuntu zesty/main amd64 imagemagick-6-common all 8:6.9.6.6+dfsg-1ubuntu3 [60.0 kB] Get:34 http://ftpmaster.internal/ubuntu zesty/main amd64 libmagickcore-6.q16-2 amd64 8:6.9.6.6+dfsg-1ubuntu3 [1604 kB] Get:35 http://ftpmaster.internal/ubuntu zesty/main amd64 libmagickwand-6.q16-2 amd64 8:6.9.6.6+dfsg-1ubuntu3 [292 kB] Get:36 http://ftpmaster.internal/ubuntu zesty/main amd64 libsm6 amd64 2:1.2.2-1 [15.8 kB] Get:37 http://ftpmaster.internal/ubuntu zesty/main amd64 libunistring0 amd64 0.9.3-5.2ubuntu1 [279 kB] Get:38 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcomposite1 amd64 1:0.4.4-1 [7714 B] Get:39 http://ftpmaster.internal/ubuntu zesty/main amd64 libxfixes3 amd64 1:5.0.3-1 [10.8 kB] Get:40 http://ftpmaster.internal/ubuntu zesty/main amd64 libxrender1 amd64 1:0.9.10-1 [18.7 kB] Get:41 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcursor1 amd64 1:1.1.14-1 [22.8 kB] Get:42 http://ftpmaster.internal/ubuntu zesty/main amd64 libxdamage1 amd64 1:1.1.4-2 [6946 B] Get:43 http://ftpmaster.internal/ubuntu zesty/main amd64 libxft2 amd64 2.3.2-1 [36.1 kB] Get:44 http://ftpmaster.internal/ubuntu zesty/main amd64 libxinerama1 amd64 2:1.1.3-1 [7908 B] Get:45 http://ftpmaster.internal/ubuntu zesty/main amd64 libxshmfence1 amd64 1.2-1 [5042 B] Get:46 http://ftpmaster.internal/ubuntu zesty/main amd64 libzzip-0-13 amd64 0.13.62-3 [26.1 kB] Get:47 http://ftpmaster.internal/ubuntu zesty/main amd64 poppler-data all 0.4.7-8 [1449 kB] Get:48 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libmagic-mgc amd64 1:5.29-2 [180 kB] Get:49 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libmagic1 amd64 1:5.29-2 [68.3 kB] Get:50 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 file amd64 1:5.29-2 [21.8 kB] Get:51 http://ftpmaster.internal/ubuntu zesty/main amd64 libdbus-1-3 amd64 1.10.10-1ubuntu2 [162 kB] Get:52 http://ftpmaster.internal/ubuntu zesty/main amd64 libfribidi0 amd64 0.19.7-1 [25.1 kB] Get:53 http://ftpmaster.internal/ubuntu zesty/main amd64 xkb-data all 2.17-1ubuntu1 [307 kB] Get:54 http://ftpmaster.internal/ubuntu zesty/main amd64 gettext-base amd64 0.19.8.1-1ubuntu2 [48.7 kB] Get:55 http://ftpmaster.internal/ubuntu zesty/main amd64 libdbus-glib-1-2 amd64 0.108-1 [67.0 kB] Get:56 http://ftpmaster.internal/ubuntu zesty/main amd64 libdrm2 amd64 2.4.74-1 [28.3 kB] Get:57 http://ftpmaster.internal/ubuntu zesty/main amd64 libedit2 amd64 3.1-20160903-2 [76.8 kB] Get:58 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libelf1 amd64 0.168-0.2 [42.1 kB] Get:59 http://ftpmaster.internal/ubuntu zesty/main amd64 shared-mime-info amd64 1.7-1 [416 kB] Get:60 http://ftpmaster.internal/ubuntu zesty/main amd64 hicolor-icon-theme all 0.15-1 [8378 B] Get:61 http://ftpmaster.internal/ubuntu zesty/main amd64 libgdk-pixbuf2.0-common all 2.36.0-1ubuntu1 [4926 B] Get:62 http://ftpmaster.internal/ubuntu zesty/main amd64 libgdk-pixbuf2.0-0 amd64 2.36.0-1ubuntu1 [162 kB] Get:63 http://ftpmaster.internal/ubuntu zesty/main amd64 gtk-update-icon-cache amd64 3.22.5-1ubuntu2 [27.4 kB] Get:64 http://ftpmaster.internal/ubuntu zesty/main amd64 libpixman-1-0 amd64 0.34.0-1 [230 kB] Get:65 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb-render0 amd64 1.11.1-1ubuntu1 [11.4 kB] Get:66 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb-shm0 amd64 1.11.1-1ubuntu1 [5588 B] Get:67 http://ftpmaster.internal/ubuntu zesty/main amd64 libcairo2 amd64 1.14.8-1 [556 kB] Get:68 http://ftpmaster.internal/ubuntu zesty/main amd64 libcroco3 amd64 0.6.11-2 [81.1 kB] Get:69 http://ftpmaster.internal/ubuntu zesty/main amd64 libthai-data all 0.1.26-1 [131 kB] Get:70 http://ftpmaster.internal/ubuntu zesty/main amd64 libdatrie1 amd64 0.2.10-4 [17.3 kB] Get:71 http://ftpmaster.internal/ubuntu zesty/main amd64 libthai0 amd64 0.1.26-1 [17.3 kB] Get:72 http://ftpmaster.internal/ubuntu zesty/main amd64 libpango-1.0-0 amd64 1.40.3-3 [149 kB] Get:73 http://ftpmaster.internal/ubuntu zesty/main amd64 libgraphite2-3 amd64 1.3.9-2 [71.3 kB] Get:74 http://ftpmaster.internal/ubuntu zesty/main amd64 libharfbuzz0b amd64 1.2.7-1 [180 kB] Get:75 http://ftpmaster.internal/ubuntu zesty/main amd64 libpangoft2-1.0-0 amd64 1.40.3-3 [32.2 kB] Get:76 http://ftpmaster.internal/ubuntu zesty/main amd64 libpangocairo-1.0-0 amd64 1.40.3-3 [19.7 kB] Get:77 http://ftpmaster.internal/ubuntu zesty/main amd64 librsvg2-2 amd64 2.40.16-1 [93.9 kB] Get:78 http://ftpmaster.internal/ubuntu zesty/main amd64 librsvg2-common amd64 2.40.16-1 [4968 B] Get:79 http://ftpmaster.internal/ubuntu zesty/main amd64 humanity-icon-theme all 0.6.11 [1288 kB] Get:80 http://ftpmaster.internal/ubuntu zesty/main amd64 ubuntu-mono all 16.10+17.04.20161205-0ubuntu1 [160 kB] Get:81 http://ftpmaster.internal/ubuntu zesty/main amd64 adwaita-icon-theme all 3.22.0-1ubuntu1 [3358 kB] Get:82 http://ftpmaster.internal/ubuntu zesty/main amd64 libsigsegv2 amd64 2.10-5 [14.1 kB] Get:83 http://ftpmaster.internal/ubuntu zesty/main amd64 m4 amd64 1.4.17-5 [195 kB] Get:84 http://ftpmaster.internal/ubuntu zesty/main amd64 autoconf all 2.69-10 [321 kB] Get:85 http://ftpmaster.internal/ubuntu zesty/main amd64 autotools-dev all 20161112.1 [39.5 kB] Get:86 http://ftpmaster.internal/ubuntu zesty/main amd64 automake all 1:1.15-5ubuntu1 [509 kB] Get:87 http://ftpmaster.internal/ubuntu zesty/main amd64 autopoint all 0.19.8.1-1ubuntu2 [412 kB] Get:88 http://ftpmaster.internal/ubuntu zesty/main amd64 libdconf1 amd64 0.26.0-2 [33.0 kB] Get:89 http://ftpmaster.internal/ubuntu zesty/main amd64 dconf-service amd64 0.26.0-2 [27.2 kB] Get:90 http://ftpmaster.internal/ubuntu zesty/main amd64 dconf-gsettings-backend amd64 0.26.0-2 [20.0 kB] Get:91 http://ftpmaster.internal/ubuntu zesty/main amd64 libtool all 2.4.6-2 [194 kB] Get:92 http://ftpmaster.internal/ubuntu zesty/main amd64 dh-autoreconf all 12 [15.8 kB] Get:93 http://ftpmaster.internal/ubuntu zesty/main amd64 libarchive-zip-perl all 1.59-1 [84.0 kB] Get:94 http://ftpmaster.internal/ubuntu zesty/main amd64 libfile-stripnondeterminism-perl all 0.029-2 [12.9 kB] Get:95 http://ftpmaster.internal/ubuntu zesty/main amd64 libtimedate-perl all 2.3000-2 [37.5 kB] Get:96 http://ftpmaster.internal/ubuntu zesty/main amd64 dh-strip-nondeterminism all 0.029-2 [4804 B] Get:97 http://ftpmaster.internal/ubuntu zesty/main amd64 gettext amd64 0.19.8.1-1ubuntu2 [1083 kB] Get:98 http://ftpmaster.internal/ubuntu zesty/main amd64 intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:99 http://ftpmaster.internal/ubuntu zesty/main amd64 po-debconf all 1.0.20 [232 kB] Get:100 http://ftpmaster.internal/ubuntu zesty/main amd64 debhelper all 10.2.2ubuntu1 [742 kB] Get:101 http://ftpmaster.internal/ubuntu zesty/main amd64 emacsen-common all 2.0.8 [17.6 kB] Get:102 http://ftpmaster.internal/ubuntu zesty/universe amd64 emacs24-common-non-dfsg all 24.5+1-2 [4549 kB] Get:103 http://ftpmaster.internal/ubuntu zesty-proposed/universe amd64 emacs24-common all 24.5+1-7ubuntu1 [12.7 MB] Get:104 http://ftpmaster.internal/ubuntu zesty-proposed/universe amd64 emacs24-bin-common amd64 24.5+1-7ubuntu1 [109 kB] Get:105 http://ftpmaster.internal/ubuntu zesty/main amd64 gconf2-common all 3.2.6-3ubuntu7 [20.8 kB] Get:106 http://ftpmaster.internal/ubuntu zesty/main amd64 libgconf-2-4 amd64 3.2.6-3ubuntu7 [84.6 kB] Get:107 http://ftpmaster.internal/ubuntu zesty/main amd64 gconf-service-backend amd64 3.2.6-3ubuntu7 [57.8 kB] Get:108 http://ftpmaster.internal/ubuntu zesty/main amd64 gconf-service amd64 3.2.6-3ubuntu7 [2038 B] Get:109 http://ftpmaster.internal/ubuntu zesty/main amd64 libasound2-data all 1.1.2-1 [32.3 kB] Get:110 http://ftpmaster.internal/ubuntu zesty/main amd64 libasound2 amd64 1.1.2-1 [357 kB] Get:111 http://ftpmaster.internal/ubuntu zesty/main amd64 libgif7 amd64 5.1.4-0.4 [30.6 kB] Get:112 http://ftpmaster.internal/ubuntu zesty/main amd64 libgpm2 amd64 1.20.4-6.2 [14.6 kB] Get:113 http://ftpmaster.internal/ubuntu zesty/main amd64 libgtk-3-common all 3.22.5-1ubuntu2 [219 kB] Get:114 http://ftpmaster.internal/ubuntu zesty/main amd64 libatk1.0-data all 2.22.0-1 [2844 B] Get:115 http://ftpmaster.internal/ubuntu zesty/main amd64 libatk1.0-0 amd64 2.22.0-1 [43.1 kB] Get:116 http://ftpmaster.internal/ubuntu zesty/main amd64 libatspi2.0-0 amd64 2.22.0-3ubuntu1 [57.9 kB] Get:117 http://ftpmaster.internal/ubuntu zesty/main amd64 libatk-bridge2.0-0 amd64 2.22.0-1ubuntu1 [52.5 kB] Get:118 http://ftpmaster.internal/ubuntu zesty/main amd64 libcairo-gobject2 amd64 1.14.8-1 [17.2 kB] Get:119 http://ftpmaster.internal/ubuntu zesty/main amd64 libcolord2 amd64 1.3.3-2 [105 kB] Get:120 http://ftpmaster.internal/ubuntu zesty/main amd64 libavahi-common-data amd64 0.6.32-1ubuntu1 [22.0 kB] Get:121 http://ftpmaster.internal/ubuntu zesty/main amd64 libavahi-common3 amd64 0.6.32-1ubuntu1 [21.6 kB] Get:122 http://ftpmaster.internal/ubuntu zesty/main amd64 libavahi-client3 amd64 0.6.32-1ubuntu1 [25.1 kB] Get:123 http://ftpmaster.internal/ubuntu zesty/main amd64 libcups2 amd64 2.2.1-46-g10887d272-2 [203 kB] Get:124 http://ftpmaster.internal/ubuntu zesty/main amd64 libepoxy0 amd64 1.3.1-1ubuntu1 [177 kB] Get:125 http://ftpmaster.internal/ubuntu zesty/main amd64 libjson-glib-1.0-common all 1.2.2-1 [3648 B] Get:126 http://ftpmaster.internal/ubuntu zesty/main amd64 libjson-glib-1.0-0 amd64 1.2.2-1 [60.7 kB] Get:127 http://ftpmaster.internal/ubuntu zesty/main amd64 libboost-system1.62.0 amd64 1.62.0+dfsg-4 [9398 B] Get:128 http://ftpmaster.internal/ubuntu zesty/main amd64 libcapnp-0.5.3 amd64 0.5.3-2ubuntu1 [581 kB] Get:129 http://ftpmaster.internal/ubuntu zesty/main amd64 libboost-filesystem1.62.0 amd64 1.62.0+dfsg-4 [38.6 kB] Get:130 http://ftpmaster.internal/ubuntu zesty/main amd64 libmircommon7 amd64 0.25.0+17.04.20161203-0ubuntu1 [85.2 kB] Get:131 http://ftpmaster.internal/ubuntu zesty/main amd64 libmircore1 amd64 0.25.0+17.04.20161203-0ubuntu1 [21.6 kB] Get:132 http://ftpmaster.internal/ubuntu zesty/main amd64 libprotobuf-lite10 amd64 3.0.0-9ubuntu1 [96.4 kB] Get:133 http://ftpmaster.internal/ubuntu zesty/main amd64 libmirprotobuf3 amd64 0.25.0+17.04.20161203-0ubuntu1 [115 kB] Get:134 http://ftpmaster.internal/ubuntu zesty/main amd64 libxkbcommon0 amd64 0.7.0-1 [97.9 kB] Get:135 http://ftpmaster.internal/ubuntu zesty/main amd64 libmirclient9 amd64 0.25.0+17.04.20161203-0ubuntu1 [186 kB] Get:136 http://ftpmaster.internal/ubuntu zesty/main amd64 libproxy1v5 amd64 0.4.13-1.1 [50.3 kB] Get:137 http://ftpmaster.internal/ubuntu zesty/main amd64 glib-networking-common all 2.50.0-1 [2950 B] Get:138 http://ftpmaster.internal/ubuntu zesty/main amd64 glib-networking-services amd64 2.50.0-1 [7818 B] Get:139 http://ftpmaster.internal/ubuntu zesty/main amd64 gsettings-desktop-schemas all 3.22.0-1ubuntu1 [27.2 kB] Get:140 http://ftpmaster.internal/ubuntu zesty/main amd64 glib-networking amd64 2.50.0-1 [51.9 kB] Get:141 http://ftpmaster.internal/ubuntu zesty/main amd64 libsoup2.4-1 amd64 2.56.0-2 [284 kB] Get:142 http://ftpmaster.internal/ubuntu zesty/main amd64 libsoup-gnome2.4-1 amd64 2.56.0-2 [4850 B] Get:143 http://ftpmaster.internal/ubuntu zesty/main amd64 librest-0.7-0 amd64 0.8.0-2 [31.8 kB] Get:144 http://ftpmaster.internal/ubuntu zesty/main amd64 libwayland-client0 amd64 1.12.0-1 [22.4 kB] Get:145 http://ftpmaster.internal/ubuntu zesty/main amd64 libwayland-cursor0 amd64 1.12.0-1 [10.0 kB] Get:146 http://ftpmaster.internal/ubuntu zesty/main amd64 libwayland-server0 amd64 1.12.0-1 [27.9 kB] Get:147 http://ftpmaster.internal/ubuntu zesty/main amd64 libgbm1 amd64 13.0.2-1ubuntu1 [23.3 kB] Get:148 http://ftpmaster.internal/ubuntu zesty/main amd64 libx11-xcb1 amd64 2:1.6.3-1ubuntu3 [8872 B] Get:149 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb-dri2-0 amd64 1.11.1-1ubuntu1 [6882 B] Get:150 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb-dri3-0 amd64 1.11.1-1ubuntu1 [5218 B] Get:151 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb-present0 amd64 1.11.1-1ubuntu1 [5218 B] Get:152 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb-sync1 amd64 1.11.1-1ubuntu1 [8324 B] Get:153 http://ftpmaster.internal/ubuntu zesty/main amd64 libxcb-xfixes0 amd64 1.11.1-1ubuntu1 [8840 B] Get:154 http://ftpmaster.internal/ubuntu zesty/main amd64 libdrm-amdgpu1 amd64 2.4.74-1 [17.6 kB] Get:155 http://ftpmaster.internal/ubuntu zesty/main amd64 libpciaccess0 amd64 0.13.4-1 [18.1 kB] Get:156 http://ftpmaster.internal/ubuntu zesty/main amd64 libdrm-intel1 amd64 2.4.74-1 [59.9 kB] Get:157 http://ftpmaster.internal/ubuntu zesty/main amd64 libdrm-nouveau2 amd64 2.4.74-1 [16.2 kB] Get:158 http://ftpmaster.internal/ubuntu zesty/main amd64 libdrm-radeon1 amd64 2.4.74-1 [21.4 kB] Get:159 http://ftpmaster.internal/ubuntu zesty/main amd64 libllvm3.9 amd64 1:3.9.1-1ubuntu1 [11.2 MB] Get:160 http://ftpmaster.internal/ubuntu zesty/main amd64 libsensors4 amd64 1:3.4.0-3 [28.6 kB] Get:161 http://ftpmaster.internal/ubuntu zesty/main amd64 libgl1-mesa-dri amd64 13.0.2-1ubuntu1 [4500 kB] Get:162 http://ftpmaster.internal/ubuntu zesty/main amd64 libegl1-mesa amd64 13.0.2-1ubuntu1 [76.9 kB] Get:163 http://ftpmaster.internal/ubuntu zesty/main amd64 libwayland-egl1-mesa amd64 13.0.2-1ubuntu1 [5802 B] Get:164 http://ftpmaster.internal/ubuntu zesty/main amd64 libxi6 amd64 2:1.7.6-1ubuntu1 [28.7 kB] Get:165 http://ftpmaster.internal/ubuntu zesty/main amd64 libxrandr2 amd64 2:1.5.1-1 [18.1 kB] Get:166 http://ftpmaster.internal/ubuntu zesty/main amd64 libgtk-3-0 amd64 3.22.5-1ubuntu2 [2497 kB] Get:167 http://ftpmaster.internal/ubuntu zesty/main amd64 libwebp6 amd64 0.5.1-4 [171 kB] Get:168 http://ftpmaster.internal/ubuntu zesty/main amd64 libxpm4 amd64 1:3.5.12-1 [34.0 kB] Get:169 http://ftpmaster.internal/ubuntu zesty/main amd64 libgd3 amd64 2.2.3-87-gd0fec80-3 [117 kB] Get:170 http://ftpmaster.internal/ubuntu zesty/main amd64 libotf0 amd64 0.9.13-3build1 [44.6 kB] Get:171 http://ftpmaster.internal/ubuntu zesty/main amd64 libxt6 amd64 1:1.1.5-1 [160 kB] Get:172 http://ftpmaster.internal/ubuntu zesty/main amd64 m17n-db all 1.7.0-2 [1239 kB] Get:173 http://ftpmaster.internal/ubuntu zesty/main amd64 libm17n-0 amd64 1.7.0-3 [242 kB] Get:174 http://ftpmaster.internal/ubuntu zesty-proposed/universe amd64 emacs24 amd64 24.5+1-7ubuntu1 [3420 kB] Get:175 http://ftpmaster.internal/ubuntu zesty/main amd64 libcupsimage2 amd64 2.2.1-46-g10887d272-2 [18.1 kB] Get:176 http://ftpmaster.internal/ubuntu zesty/main amd64 libijs-0.35 amd64 0.35-12 [15.5 kB] Get:177 http://ftpmaster.internal/ubuntu zesty/main amd64 libjbig2dec0 amd64 0.13-3 [54.8 kB] Get:178 http://ftpmaster.internal/ubuntu zesty/main amd64 libpaper1 amd64 1.1.24+nmu4ubuntu1 [13.7 kB] Get:179 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libgs9-common all 9.19~dfsg+1-0ubuntu7.1 [2989 kB] Get:180 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libgs9 amd64 9.19~dfsg+1-0ubuntu7.1 [2101 kB] Get:181 http://ftpmaster.internal/ubuntu zesty/main amd64 libharfbuzz-icu0 amd64 1.2.7-1 [5240 B] Get:182 http://ftpmaster.internal/ubuntu zesty/main amd64 libkpathsea6 amd64 2016.20160513.41080-8 [55.3 kB] Get:183 http://ftpmaster.internal/ubuntu zesty/main amd64 libnspr4 amd64 2:4.12-2ubuntu1 [112 kB] Get:184 http://ftpmaster.internal/ubuntu zesty-proposed/main amd64 libnss3 amd64 2:3.26.2-1ubuntu1 [1147 kB] Get:185 http://ftpmaster.internal/ubuntu zesty/main amd64 libpaper-utils amd64 1.1.24+nmu4ubuntu1 [8276 B] Get:186 http://ftpmaster.internal/ubuntu zesty/main amd64 libpoppler61 amd64 0.44.0-3ubuntu3 [770 kB] Get:187 http://ftpmaster.internal/ubuntu zesty/main amd64 libpotrace0 amd64 1.13-2 [17.7 kB] Get:188 http://ftpmaster.internal/ubuntu zesty/main amd64 libptexenc1 amd64 2016.20160513.41080-8 [34.5 kB] Get:189 http://ftpmaster.internal/ubuntu zesty/main amd64 libsynctex1 amd64 2016.20160513.41080-8 [41.8 kB] Get:190 http://ftpmaster.internal/ubuntu zesty/main amd64 libtexlua52 amd64 2016.20160513.41080-8 [90.9 kB] Get:191 http://ftpmaster.internal/ubuntu zesty/main amd64 libtexluajit2 amd64 2016.20160513.41080-8 [230 kB] Get:192 http://ftpmaster.internal/ubuntu zesty/universe amd64 libtext-unidecode-perl all 1.30-1 [99.0 kB] Get:193 http://ftpmaster.internal/ubuntu zesty/main amd64 libxmu6 amd64 2:1.1.2-2 [46.0 kB] Get:194 http://ftpmaster.internal/ubuntu zesty/main amd64 libxaw7 amd64 2:1.0.13-1 [173 kB] Get:195 http://ftpmaster.internal/ubuntu zesty/main amd64 libxml-namespacesupport-perl all 1.11-1 [13.2 kB] Get:196 http://ftpmaster.internal/ubuntu zesty/main amd64 libxml-sax-base-perl all 1.07-1 [21.5 kB] Get:197 http://ftpmaster.internal/ubuntu zesty/main amd64 libxml-sax-perl all 0.99+dfsg-2ubuntu1 [64.6 kB] Get:198 http://ftpmaster.internal/ubuntu zesty/main amd64 libxml-libxml-perl amd64 2.0128+dfsg-1build1 [314 kB] Get:199 http://ftpmaster.internal/ubuntu zesty/main amd64 t1utils amd64 1.39-2 [53.4 kB] Get:200 http://ftpmaster.internal/ubuntu zesty/main amd64 tex-common all 6.05 [545 kB] Get:201 http://ftpmaster.internal/ubuntu zesty/universe amd64 texinfo amd64 6.3.0.dfsg.1-1 [746 kB] Get:202 http://ftpmaster.internal/ubuntu zesty/main amd64 xdg-utils all 1.1.1-1ubuntu2 [59.6 kB] Get:203 http://ftpmaster.internal/ubuntu zesty/main amd64 texlive-binaries amd64 2016.20160513.41080-8 [7074 kB] Get:204 http://ftpmaster.internal/ubuntu zesty/main amd64 texlive-base all 2016.20161130-1 [15.7 MB] Get:205 http://ftpmaster.internal/ubuntu zesty/universe amd64 texlive-fonts-recommended all 2016.20161130-1 [5656 kB] Get:206 http://ftpmaster.internal/ubuntu zesty/main amd64 texlive-generic-recommended all 2016.20161130-1 [2853 kB] Get:207 http://ftpmaster.internal/ubuntu zesty/main amd64 texlive-latex-base all 2016.20161130-1 [833 kB] Get:208 http://ftpmaster.internal/ubuntu zesty/main amd64 texlive-latex-recommended all 2016.20161130-1 [13.2 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 131 MB in 12s (10.4 MB/s) Selecting previously unselected package libxau6:amd64. (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 ... 14129 files and directories currently installed.) Preparing to unpack .../000-libxau6_1%3a1.0.8-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../001-libxdmcp6_1%3a1.1.2-1.1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-1.1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../002-libxcb1_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb1:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../003-libx11-data_2%3a1.6.3-1ubuntu3_all.deb ... Unpacking libx11-data (2:1.6.3-1ubuntu3) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../004-libx11-6_2%3a1.6.3-1ubuntu3_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.3-1ubuntu3) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../005-libxext6_2%3a1.3.3-1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../006-groff-base_1.22.3-9_amd64.deb ... Unpacking groff-base (1.22.3-9) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../007-libbsd0_0.8.3-1_amd64.deb ... Unpacking libbsd0:amd64 (0.8.3-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../008-bsdmainutils_9.0.12ubuntu1_amd64.deb ... Unpacking bsdmainutils (9.0.12ubuntu1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../009-libpipeline1_1.4.1-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.4.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../010-man-db_2.7.6.1-2_amd64.deb ... Unpacking man-db (2.7.6.1-2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../011-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package ucf. Preparing to unpack .../012-ucf_3.0036_all.deb ... Moving old data out of the way Unpacking ucf (3.0036) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../013-fontconfig-config_2.11.94-0ubuntu2_all.deb ... Unpacking fontconfig-config (2.11.94-0ubuntu2) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../014-libexpat1_2.2.0-1_amd64.deb ... Unpacking libexpat1:amd64 (2.2.0-1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../015-libfreetype6_2.6.3-3ubuntu1_amd64.deb ... Unpacking libfreetype6:amd64 (2.6.3-3ubuntu1) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../016-libfontconfig1_2.11.94-0ubuntu2_amd64.deb ... Unpacking libfontconfig1:amd64 (2.11.94-0ubuntu2) ... Selecting previously unselected package fontconfig. Preparing to unpack .../017-fontconfig_2.11.94-0ubuntu2_amd64.deb ... Unpacking fontconfig (2.11.94-0ubuntu2) ... Selecting previously unselected package x11-common. Preparing to unpack .../018-x11-common_1%3a7.7+16ubuntu2_all.deb ... Unpacking x11-common (1:7.7+16ubuntu2) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../019-libice6_2%3a1.0.9-1_amd64.deb ... Unpacking libice6:amd64 (2:1.0.9-1) ... Selecting previously unselected package libjpeg-turbo8:amd64. Preparing to unpack .../020-libjpeg-turbo8_1.5.1-0ubuntu1_amd64.deb ... Unpacking libjpeg-turbo8:amd64 (1.5.1-0ubuntu1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../021-libglib2.0-0_2.51.0-2_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.51.0-2) ... Selecting previously unselected package liblqr-1-0:amd64. Preparing to unpack .../022-liblqr-1-0_0.4.2-2_amd64.deb ... Unpacking liblqr-1-0:amd64 (0.4.2-2) ... Selecting previously unselected package libfftw3-double3:amd64. Preparing to unpack .../023-libfftw3-double3_3.3.5-1_amd64.deb ... Unpacking libfftw3-double3:amd64 (3.3.5-1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../024-libjbig0_2.1-3.1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1) ... Selecting previously unselected package libjpeg8:amd64. Preparing to unpack .../025-libjpeg8_8c-2ubuntu8_amd64.deb ... Unpacking libjpeg8:amd64 (8c-2ubuntu8) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../026-liblcms2-2_2.7-1ubuntu1_amd64.deb ... Unpacking liblcms2-2:amd64 (2.7-1ubuntu1) ... Selecting previously unselected package libltdl7:amd64. Preparing to unpack .../027-libltdl7_2.4.6-2_amd64.deb ... Unpacking libltdl7:amd64 (2.4.6-2) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../028-libtiff5_4.0.7-3_amd64.deb ... Unpacking libtiff5:amd64 (4.0.7-3) ... Selecting previously unselected package libicu57:amd64. Preparing to unpack .../029-libicu57_57.1-5_amd64.deb ... Unpacking libicu57:amd64 (57.1-5) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../030-libxml2_2.9.4+dfsg1-2.1_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-2.1) ... Selecting previously unselected package imagemagick-6-common. Preparing to unpack .../031-imagemagick-6-common_8%3a6.9.6.6+dfsg-1ubuntu3_all.deb ... Unpacking imagemagick-6-common (8:6.9.6.6+dfsg-1ubuntu3) ... Selecting previously unselected package libmagickcore-6.q16-2:amd64. Preparing to unpack .../032-libmagickcore-6.q16-2_8%3a6.9.6.6+dfsg-1ubuntu3_amd64.deb ... Unpacking libmagickcore-6.q16-2:amd64 (8:6.9.6.6+dfsg-1ubuntu3) ... Selecting previously unselected package libmagickwand-6.q16-2:amd64. Preparing to unpack .../033-libmagickwand-6.q16-2_8%3a6.9.6.6+dfsg-1ubuntu3_amd64.deb ... Unpacking libmagickwand-6.q16-2:amd64 (8:6.9.6.6+dfsg-1ubuntu3) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../034-libsm6_2%3a1.2.2-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.2-1) ... Selecting previously unselected package libunistring0:amd64. Preparing to unpack .../035-libunistring0_0.9.3-5.2ubuntu1_amd64.deb ... Unpacking libunistring0:amd64 (0.9.3-5.2ubuntu1) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../036-libxcomposite1_1%3a0.4.4-1_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.4-1) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../037-libxfixes3_1%3a5.0.3-1_amd64.deb ... Unpacking libxfixes3:amd64 (1:5.0.3-1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../038-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../039-libxcursor1_1%3a1.1.14-1_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.1.14-1) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../040-libxdamage1_1%3a1.1.4-2_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.4-2) ... Selecting previously unselected package libxft2:amd64. Preparing to unpack .../041-libxft2_2.3.2-1_amd64.deb ... Unpacking libxft2:amd64 (2.3.2-1) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../042-libxinerama1_2%3a1.1.3-1_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.3-1) ... Selecting previously unselected package libxshmfence1:amd64. Preparing to unpack .../043-libxshmfence1_1.2-1_amd64.deb ... Unpacking libxshmfence1:amd64 (1.2-1) ... Selecting previously unselected package libzzip-0-13:amd64. Preparing to unpack .../044-libzzip-0-13_0.13.62-3_amd64.deb ... Unpacking libzzip-0-13:amd64 (0.13.62-3) ... Selecting previously unselected package poppler-data. Preparing to unpack .../045-poppler-data_0.4.7-8_all.deb ... Unpacking poppler-data (0.4.7-8) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../046-libmagic-mgc_1%3a5.29-2_amd64.deb ... Unpacking libmagic-mgc (1:5.29-2) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../047-libmagic1_1%3a5.29-2_amd64.deb ... Unpacking libmagic1:amd64 (1:5.29-2) ... Selecting previously unselected package file. Preparing to unpack .../048-file_1%3a5.29-2_amd64.deb ... Unpacking file (1:5.29-2) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../049-libdbus-1-3_1.10.10-1ubuntu2_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.10.10-1ubuntu2) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../050-libfribidi0_0.19.7-1_amd64.deb ... Unpacking libfribidi0:amd64 (0.19.7-1) ... Selecting previously unselected package xkb-data. Preparing to unpack .../051-xkb-data_2.17-1ubuntu1_all.deb ... Unpacking xkb-data (2.17-1ubuntu1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../052-gettext-base_0.19.8.1-1ubuntu2_amd64.deb ... Unpacking gettext-base (0.19.8.1-1ubuntu2) ... Selecting previously unselected package libdbus-glib-1-2:amd64. Preparing to unpack .../053-libdbus-glib-1-2_0.108-1_amd64.deb ... Unpacking libdbus-glib-1-2:amd64 (0.108-1) ... Selecting previously unselected package libdrm2:amd64. Preparing to unpack .../054-libdrm2_2.4.74-1_amd64.deb ... Unpacking libdrm2:amd64 (2.4.74-1) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../055-libedit2_3.1-20160903-2_amd64.deb ... Unpacking libedit2:amd64 (3.1-20160903-2) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../056-libelf1_0.168-0.2_amd64.deb ... Unpacking libelf1:amd64 (0.168-0.2) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../057-shared-mime-info_1.7-1_amd64.deb ... Unpacking shared-mime-info (1.7-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../058-hicolor-icon-theme_0.15-1_all.deb ... Unpacking hicolor-icon-theme (0.15-1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../059-libgdk-pixbuf2.0-common_2.36.0-1ubuntu1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.36.0-1ubuntu1) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Preparing to unpack .../060-libgdk-pixbuf2.0-0_2.36.0-1ubuntu1_amd64.deb ... Unpacking libgdk-pixbuf2.0-0:amd64 (2.36.0-1ubuntu1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../061-gtk-update-icon-cache_3.22.5-1ubuntu2_amd64.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.5-1ubuntu2) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../062-libpixman-1-0_0.34.0-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.34.0-1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../063-libxcb-render0_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../064-libxcb-shm0_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../065-libcairo2_1.14.8-1_amd64.deb ... Unpacking libcairo2:amd64 (1.14.8-1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../066-libcroco3_0.6.11-2_amd64.deb ... Unpacking libcroco3:amd64 (0.6.11-2) ... Selecting previously unselected package libthai-data. Preparing to unpack .../067-libthai-data_0.1.26-1_all.deb ... Unpacking libthai-data (0.1.26-1) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../068-libdatrie1_0.2.10-4_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.10-4) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../069-libthai0_0.1.26-1_amd64.deb ... Unpacking libthai0:amd64 (0.1.26-1) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../070-libpango-1.0-0_1.40.3-3_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.40.3-3) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../071-libgraphite2-3_1.3.9-2_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.9-2) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../072-libharfbuzz0b_1.2.7-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (1.2.7-1) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../073-libpangoft2-1.0-0_1.40.3-3_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.40.3-3) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../074-libpangocairo-1.0-0_1.40.3-3_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.40.3-3) ... Selecting previously unselected package librsvg2-2:amd64. Preparing to unpack .../075-librsvg2-2_2.40.16-1_amd64.deb ... Unpacking librsvg2-2:amd64 (2.40.16-1) ... Selecting previously unselected package librsvg2-common:amd64. Preparing to unpack .../076-librsvg2-common_2.40.16-1_amd64.deb ... Unpacking librsvg2-common:amd64 (2.40.16-1) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../077-humanity-icon-theme_0.6.11_all.deb ... Unpacking humanity-icon-theme (0.6.11) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../078-ubuntu-mono_16.10+17.04.20161205-0ubuntu1_all.deb ... Unpacking ubuntu-mono (16.10+17.04.20161205-0ubuntu1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../079-adwaita-icon-theme_3.22.0-1ubuntu1_all.deb ... Unpacking adwaita-icon-theme (3.22.0-1ubuntu1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../080-libsigsegv2_2.10-5_amd64.deb ... Unpacking libsigsegv2:amd64 (2.10-5) ... Selecting previously unselected package m4. Preparing to unpack .../081-m4_1.4.17-5_amd64.deb ... Unpacking m4 (1.4.17-5) ... Selecting previously unselected package autoconf. Preparing to unpack .../082-autoconf_2.69-10_all.deb ... Unpacking autoconf (2.69-10) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../083-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../084-automake_1%3a1.15-5ubuntu1_all.deb ... Unpacking automake (1:1.15-5ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../085-autopoint_0.19.8.1-1ubuntu2_all.deb ... Unpacking autopoint (0.19.8.1-1ubuntu2) ... Selecting previously unselected package libdconf1:amd64. Preparing to unpack .../086-libdconf1_0.26.0-2_amd64.deb ... Unpacking libdconf1:amd64 (0.26.0-2) ... Selecting previously unselected package dconf-service. Preparing to unpack .../087-dconf-service_0.26.0-2_amd64.deb ... Unpacking dconf-service (0.26.0-2) ... Selecting previously unselected package dconf-gsettings-backend:amd64. Preparing to unpack .../088-dconf-gsettings-backend_0.26.0-2_amd64.deb ... Unpacking dconf-gsettings-backend:amd64 (0.26.0-2) ... Selecting previously unselected package libtool. Preparing to unpack .../089-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../090-dh-autoreconf_12_all.deb ... Unpacking dh-autoreconf (12) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../091-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 .../092-libfile-stripnondeterminism-perl_0.029-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.029-2) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../093-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../094-dh-strip-nondeterminism_0.029-2_all.deb ... Unpacking dh-strip-nondeterminism (0.029-2) ... Selecting previously unselected package gettext. Preparing to unpack .../095-gettext_0.19.8.1-1ubuntu2_amd64.deb ... Unpacking gettext (0.19.8.1-1ubuntu2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../096-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 .../097-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../098-debhelper_10.2.2ubuntu1_all.deb ... Unpacking debhelper (10.2.2ubuntu1) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../099-emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package emacs24-common-non-dfsg. Preparing to unpack .../100-emacs24-common-non-dfsg_24.5+1-2_all.deb ... Unpacking emacs24-common-non-dfsg (24.5+1-2) ... Selecting previously unselected package emacs24-common. Preparing to unpack .../101-emacs24-common_24.5+1-7ubuntu1_all.deb ... Unpacking emacs24-common (24.5+1-7ubuntu1) ... Selecting previously unselected package emacs24-bin-common. Preparing to unpack .../102-emacs24-bin-common_24.5+1-7ubuntu1_amd64.deb ... Unpacking emacs24-bin-common (24.5+1-7ubuntu1) ... Selecting previously unselected package gconf2-common. Preparing to unpack .../103-gconf2-common_3.2.6-3ubuntu7_all.deb ... Unpacking gconf2-common (3.2.6-3ubuntu7) ... Selecting previously unselected package libgconf-2-4:amd64. Preparing to unpack .../104-libgconf-2-4_3.2.6-3ubuntu7_amd64.deb ... Unpacking libgconf-2-4:amd64 (3.2.6-3ubuntu7) ... Selecting previously unselected package gconf-service-backend. Preparing to unpack .../105-gconf-service-backend_3.2.6-3ubuntu7_amd64.deb ... Unpacking gconf-service-backend (3.2.6-3ubuntu7) ... Selecting previously unselected package gconf-service. Preparing to unpack .../106-gconf-service_3.2.6-3ubuntu7_amd64.deb ... Unpacking gconf-service (3.2.6-3ubuntu7) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../107-libasound2-data_1.1.2-1_all.deb ... Unpacking libasound2-data (1.1.2-1) ... Selecting previously unselected package libasound2:amd64. Preparing to unpack .../108-libasound2_1.1.2-1_amd64.deb ... Unpacking libasound2:amd64 (1.1.2-1) ... Selecting previously unselected package libgif7:amd64. Preparing to unpack .../109-libgif7_5.1.4-0.4_amd64.deb ... Unpacking libgif7:amd64 (5.1.4-0.4) ... Selecting previously unselected package libgpm2:amd64. Preparing to unpack .../110-libgpm2_1.20.4-6.2_amd64.deb ... Unpacking libgpm2:amd64 (1.20.4-6.2) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../111-libgtk-3-common_3.22.5-1ubuntu2_all.deb ... Unpacking libgtk-3-common (3.22.5-1ubuntu2) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../112-libatk1.0-data_2.22.0-1_all.deb ... Unpacking libatk1.0-data (2.22.0-1) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../113-libatk1.0-0_2.22.0-1_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.22.0-1) ... Selecting previously unselected package libatspi2.0-0:amd64. Preparing to unpack .../114-libatspi2.0-0_2.22.0-3ubuntu1_amd64.deb ... Unpacking libatspi2.0-0:amd64 (2.22.0-3ubuntu1) ... Selecting previously unselected package libatk-bridge2.0-0:amd64. Preparing to unpack .../115-libatk-bridge2.0-0_2.22.0-1ubuntu1_amd64.deb ... Unpacking libatk-bridge2.0-0:amd64 (2.22.0-1ubuntu1) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../116-libcairo-gobject2_1.14.8-1_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.14.8-1) ... Selecting previously unselected package libcolord2:amd64. Preparing to unpack .../117-libcolord2_1.3.3-2_amd64.deb ... Unpacking libcolord2:amd64 (1.3.3-2) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../118-libavahi-common-data_0.6.32-1ubuntu1_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.6.32-1ubuntu1) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../119-libavahi-common3_0.6.32-1ubuntu1_amd64.deb ... Unpacking libavahi-common3:amd64 (0.6.32-1ubuntu1) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../120-libavahi-client3_0.6.32-1ubuntu1_amd64.deb ... Unpacking libavahi-client3:amd64 (0.6.32-1ubuntu1) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../121-libcups2_2.2.1-46-g10887d272-2_amd64.deb ... Unpacking libcups2:amd64 (2.2.1-46-g10887d272-2) ... Selecting previously unselected package libepoxy0:amd64. Preparing to unpack .../122-libepoxy0_1.3.1-1ubuntu1_amd64.deb ... Unpacking libepoxy0:amd64 (1.3.1-1ubuntu1) ... Selecting previously unselected package libjson-glib-1.0-common. Preparing to unpack .../123-libjson-glib-1.0-common_1.2.2-1_all.deb ... Unpacking libjson-glib-1.0-common (1.2.2-1) ... Selecting previously unselected package libjson-glib-1.0-0:amd64. Preparing to unpack .../124-libjson-glib-1.0-0_1.2.2-1_amd64.deb ... Unpacking libjson-glib-1.0-0:amd64 (1.2.2-1) ... Selecting previously unselected package libboost-system1.62.0:amd64. Preparing to unpack .../125-libboost-system1.62.0_1.62.0+dfsg-4_amd64.deb ... Unpacking libboost-system1.62.0:amd64 (1.62.0+dfsg-4) ... Selecting previously unselected package libcapnp-0.5.3:amd64. Preparing to unpack .../126-libcapnp-0.5.3_0.5.3-2ubuntu1_amd64.deb ... Unpacking libcapnp-0.5.3:amd64 (0.5.3-2ubuntu1) ... Selecting previously unselected package libboost-filesystem1.62.0:amd64. Preparing to unpack .../127-libboost-filesystem1.62.0_1.62.0+dfsg-4_amd64.deb ... Unpacking libboost-filesystem1.62.0:amd64 (1.62.0+dfsg-4) ... Selecting previously unselected package libmircommon7:amd64. Preparing to unpack .../128-libmircommon7_0.25.0+17.04.20161203-0ubuntu1_amd64.deb ... Unpacking libmircommon7:amd64 (0.25.0+17.04.20161203-0ubuntu1) ... Selecting previously unselected package libmircore1:amd64. Preparing to unpack .../129-libmircore1_0.25.0+17.04.20161203-0ubuntu1_amd64.deb ... Unpacking libmircore1:amd64 (0.25.0+17.04.20161203-0ubuntu1) ... Selecting previously unselected package libprotobuf-lite10:amd64. Preparing to unpack .../130-libprotobuf-lite10_3.0.0-9ubuntu1_amd64.deb ... Unpacking libprotobuf-lite10:amd64 (3.0.0-9ubuntu1) ... Selecting previously unselected package libmirprotobuf3:amd64. Preparing to unpack .../131-libmirprotobuf3_0.25.0+17.04.20161203-0ubuntu1_amd64.deb ... Unpacking libmirprotobuf3:amd64 (0.25.0+17.04.20161203-0ubuntu1) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../132-libxkbcommon0_0.7.0-1_amd64.deb ... Unpacking libxkbcommon0:amd64 (0.7.0-1) ... Selecting previously unselected package libmirclient9:amd64. Preparing to unpack .../133-libmirclient9_0.25.0+17.04.20161203-0ubuntu1_amd64.deb ... Unpacking libmirclient9:amd64 (0.25.0+17.04.20161203-0ubuntu1) ... Selecting previously unselected package libproxy1v5:amd64. Preparing to unpack .../134-libproxy1v5_0.4.13-1.1_amd64.deb ... Unpacking libproxy1v5:amd64 (0.4.13-1.1) ... Selecting previously unselected package glib-networking-common. Preparing to unpack .../135-glib-networking-common_2.50.0-1_all.deb ... Unpacking glib-networking-common (2.50.0-1) ... Selecting previously unselected package glib-networking-services. Preparing to unpack .../136-glib-networking-services_2.50.0-1_amd64.deb ... Unpacking glib-networking-services (2.50.0-1) ... Selecting previously unselected package gsettings-desktop-schemas. Preparing to unpack .../137-gsettings-desktop-schemas_3.22.0-1ubuntu1_all.deb ... Unpacking gsettings-desktop-schemas (3.22.0-1ubuntu1) ... Selecting previously unselected package glib-networking:amd64. Preparing to unpack .../138-glib-networking_2.50.0-1_amd64.deb ... Unpacking glib-networking:amd64 (2.50.0-1) ... Selecting previously unselected package libsoup2.4-1:amd64. Preparing to unpack .../139-libsoup2.4-1_2.56.0-2_amd64.deb ... Unpacking libsoup2.4-1:amd64 (2.56.0-2) ... Selecting previously unselected package libsoup-gnome2.4-1:amd64. Preparing to unpack .../140-libsoup-gnome2.4-1_2.56.0-2_amd64.deb ... Unpacking libsoup-gnome2.4-1:amd64 (2.56.0-2) ... Selecting previously unselected package librest-0.7-0:amd64. Preparing to unpack .../141-librest-0.7-0_0.8.0-2_amd64.deb ... Unpacking librest-0.7-0:amd64 (0.8.0-2) ... Selecting previously unselected package libwayland-client0:amd64. Preparing to unpack .../142-libwayland-client0_1.12.0-1_amd64.deb ... Unpacking libwayland-client0:amd64 (1.12.0-1) ... Selecting previously unselected package libwayland-cursor0:amd64. Preparing to unpack .../143-libwayland-cursor0_1.12.0-1_amd64.deb ... Unpacking libwayland-cursor0:amd64 (1.12.0-1) ... Selecting previously unselected package libwayland-server0:amd64. Preparing to unpack .../144-libwayland-server0_1.12.0-1_amd64.deb ... Unpacking libwayland-server0:amd64 (1.12.0-1) ... Selecting previously unselected package libgbm1:amd64. Preparing to unpack .../145-libgbm1_13.0.2-1ubuntu1_amd64.deb ... Unpacking libgbm1:amd64 (13.0.2-1ubuntu1) ... Selecting previously unselected package libx11-xcb1:amd64. Preparing to unpack .../146-libx11-xcb1_2%3a1.6.3-1ubuntu3_amd64.deb ... Unpacking libx11-xcb1:amd64 (2:1.6.3-1ubuntu3) ... Selecting previously unselected package libxcb-dri2-0:amd64. Preparing to unpack .../147-libxcb-dri2-0_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb-dri2-0:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-dri3-0:amd64. Preparing to unpack .../148-libxcb-dri3-0_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb-dri3-0:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-present0:amd64. Preparing to unpack .../149-libxcb-present0_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb-present0:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-sync1:amd64. Preparing to unpack .../150-libxcb-sync1_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb-sync1:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-xfixes0:amd64. Preparing to unpack .../151-libxcb-xfixes0_1.11.1-1ubuntu1_amd64.deb ... Unpacking libxcb-xfixes0:amd64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libdrm-amdgpu1:amd64. Preparing to unpack .../152-libdrm-amdgpu1_2.4.74-1_amd64.deb ... Unpacking libdrm-amdgpu1:amd64 (2.4.74-1) ... Selecting previously unselected package libpciaccess0:amd64. Preparing to unpack .../153-libpciaccess0_0.13.4-1_amd64.deb ... Unpacking libpciaccess0:amd64 (0.13.4-1) ... Selecting previously unselected package libdrm-intel1:amd64. Preparing to unpack .../154-libdrm-intel1_2.4.74-1_amd64.deb ... Unpacking libdrm-intel1:amd64 (2.4.74-1) ... Selecting previously unselected package libdrm-nouveau2:amd64. Preparing to unpack .../155-libdrm-nouveau2_2.4.74-1_amd64.deb ... Unpacking libdrm-nouveau2:amd64 (2.4.74-1) ... Selecting previously unselected package libdrm-radeon1:amd64. Preparing to unpack .../156-libdrm-radeon1_2.4.74-1_amd64.deb ... Unpacking libdrm-radeon1:amd64 (2.4.74-1) ... Selecting previously unselected package libllvm3.9:amd64. Preparing to unpack .../157-libllvm3.9_1%3a3.9.1-1ubuntu1_amd64.deb ... Unpacking libllvm3.9:amd64 (1:3.9.1-1ubuntu1) ... Selecting previously unselected package libsensors4:amd64. Preparing to unpack .../158-libsensors4_1%3a3.4.0-3_amd64.deb ... Unpacking libsensors4:amd64 (1:3.4.0-3) ... Selecting previously unselected package libgl1-mesa-dri:amd64. Preparing to unpack .../159-libgl1-mesa-dri_13.0.2-1ubuntu1_amd64.deb ... Unpacking libgl1-mesa-dri:amd64 (13.0.2-1ubuntu1) ... Selecting previously unselected package libegl1-mesa:amd64. Preparing to unpack .../160-libegl1-mesa_13.0.2-1ubuntu1_amd64.deb ... Unpacking libegl1-mesa:amd64 (13.0.2-1ubuntu1) ... Selecting previously unselected package libwayland-egl1-mesa:amd64. Preparing to unpack .../161-libwayland-egl1-mesa_13.0.2-1ubuntu1_amd64.deb ... Unpacking libwayland-egl1-mesa:amd64 (13.0.2-1ubuntu1) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../162-libxi6_2%3a1.7.6-1ubuntu1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.6-1ubuntu1) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../163-libxrandr2_2%3a1.5.1-1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.1-1) ... Selecting previously unselected package libgtk-3-0:amd64. Preparing to unpack .../164-libgtk-3-0_3.22.5-1ubuntu2_amd64.deb ... Unpacking libgtk-3-0:amd64 (3.22.5-1ubuntu2) ... Selecting previously unselected package libwebp6:amd64. Preparing to unpack .../165-libwebp6_0.5.1-4_amd64.deb ... Unpacking libwebp6:amd64 (0.5.1-4) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../166-libxpm4_1%3a3.5.12-1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1) ... Selecting previously unselected package libgd3:amd64. Preparing to unpack .../167-libgd3_2.2.3-87-gd0fec80-3_amd64.deb ... Unpacking libgd3:amd64 (2.2.3-87-gd0fec80-3) ... Selecting previously unselected package libotf0:amd64. Preparing to unpack .../168-libotf0_0.9.13-3build1_amd64.deb ... Unpacking libotf0:amd64 (0.9.13-3build1) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../169-libxt6_1%3a1.1.5-1_amd64.deb ... Unpacking libxt6:amd64 (1:1.1.5-1) ... Selecting previously unselected package m17n-db. Preparing to unpack .../170-m17n-db_1.7.0-2_all.deb ... Unpacking m17n-db (1.7.0-2) ... Selecting previously unselected package libm17n-0:amd64. Preparing to unpack .../171-libm17n-0_1.7.0-3_amd64.deb ... Unpacking libm17n-0:amd64 (1.7.0-3) ... Selecting previously unselected package emacs24. Preparing to unpack .../172-emacs24_24.5+1-7ubuntu1_amd64.deb ... Unpacking emacs24 (24.5+1-7ubuntu1) ... Selecting previously unselected package libcupsimage2:amd64. Preparing to unpack .../173-libcupsimage2_2.2.1-46-g10887d272-2_amd64.deb ... Unpacking libcupsimage2:amd64 (2.2.1-46-g10887d272-2) ... Selecting previously unselected package libijs-0.35:amd64. Preparing to unpack .../174-libijs-0.35_0.35-12_amd64.deb ... Unpacking libijs-0.35:amd64 (0.35-12) ... Selecting previously unselected package libjbig2dec0:amd64. Preparing to unpack .../175-libjbig2dec0_0.13-3_amd64.deb ... Unpacking libjbig2dec0:amd64 (0.13-3) ... Selecting previously unselected package libpaper1:amd64. Preparing to unpack .../176-libpaper1_1.1.24+nmu4ubuntu1_amd64.deb ... Unpacking libpaper1:amd64 (1.1.24+nmu4ubuntu1) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../177-libgs9-common_9.19~dfsg+1-0ubuntu7.1_all.deb ... Unpacking libgs9-common (9.19~dfsg+1-0ubuntu7.1) ... Selecting previously unselected package libgs9:amd64. Preparing to unpack .../178-libgs9_9.19~dfsg+1-0ubuntu7.1_amd64.deb ... Unpacking libgs9:amd64 (9.19~dfsg+1-0ubuntu7.1) ... Selecting previously unselected package libharfbuzz-icu0:amd64. Preparing to unpack .../179-libharfbuzz-icu0_1.2.7-1_amd64.deb ... Unpacking libharfbuzz-icu0:amd64 (1.2.7-1) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../180-libkpathsea6_2016.20160513.41080-8_amd64.deb ... Unpacking libkpathsea6:amd64 (2016.20160513.41080-8) ... Selecting previously unselected package libnspr4:amd64. Preparing to unpack .../181-libnspr4_2%3a4.12-2ubuntu1_amd64.deb ... Unpacking libnspr4:amd64 (2:4.12-2ubuntu1) ... Selecting previously unselected package libnss3:amd64. Preparing to unpack .../182-libnss3_2%3a3.26.2-1ubuntu1_amd64.deb ... Unpacking libnss3:amd64 (2:3.26.2-1ubuntu1) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../183-libpaper-utils_1.1.24+nmu4ubuntu1_amd64.deb ... Unpacking libpaper-utils (1.1.24+nmu4ubuntu1) ... Selecting previously unselected package libpoppler61:amd64. Preparing to unpack .../184-libpoppler61_0.44.0-3ubuntu3_amd64.deb ... Unpacking libpoppler61:amd64 (0.44.0-3ubuntu3) ... Selecting previously unselected package libpotrace0. Preparing to unpack .../185-libpotrace0_1.13-2_amd64.deb ... Unpacking libpotrace0 (1.13-2) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../186-libptexenc1_2016.20160513.41080-8_amd64.deb ... Unpacking libptexenc1:amd64 (2016.20160513.41080-8) ... Selecting previously unselected package libsynctex1:amd64. Preparing to unpack .../187-libsynctex1_2016.20160513.41080-8_amd64.deb ... Unpacking libsynctex1:amd64 (2016.20160513.41080-8) ... Selecting previously unselected package libtexlua52:amd64. Preparing to unpack .../188-libtexlua52_2016.20160513.41080-8_amd64.deb ... Unpacking libtexlua52:amd64 (2016.20160513.41080-8) ... Selecting previously unselected package libtexluajit2:amd64. Preparing to unpack .../189-libtexluajit2_2016.20160513.41080-8_amd64.deb ... Unpacking libtexluajit2:amd64 (2016.20160513.41080-8) ... Selecting previously unselected package libtext-unidecode-perl. Preparing to unpack .../190-libtext-unidecode-perl_1.30-1_all.deb ... Unpacking libtext-unidecode-perl (1.30-1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../191-libxmu6_2%3a1.1.2-2_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.2-2) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../192-libxaw7_2%3a1.0.13-1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.13-1) ... Selecting previously unselected package libxml-namespacesupport-perl. Preparing to unpack .../193-libxml-namespacesupport-perl_1.11-1_all.deb ... Unpacking libxml-namespacesupport-perl (1.11-1) ... Selecting previously unselected package libxml-sax-base-perl. Preparing to unpack .../194-libxml-sax-base-perl_1.07-1_all.deb ... Unpacking libxml-sax-base-perl (1.07-1) ... Selecting previously unselected package libxml-sax-perl. Preparing to unpack .../195-libxml-sax-perl_0.99+dfsg-2ubuntu1_all.deb ... Unpacking libxml-sax-perl (0.99+dfsg-2ubuntu1) ... Selecting previously unselected package libxml-libxml-perl. Preparing to unpack .../196-libxml-libxml-perl_2.0128+dfsg-1build1_amd64.deb ... Unpacking libxml-libxml-perl (2.0128+dfsg-1build1) ... Selecting previously unselected package t1utils. Preparing to unpack .../197-t1utils_1.39-2_amd64.deb ... Unpacking t1utils (1.39-2) ... Selecting previously unselected package tex-common. Preparing to unpack .../198-tex-common_6.05_all.deb ... Unpacking tex-common (6.05) ... Selecting previously unselected package texinfo. Preparing to unpack .../199-texinfo_6.3.0.dfsg.1-1_amd64.deb ... Unpacking texinfo (6.3.0.dfsg.1-1) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../200-xdg-utils_1.1.1-1ubuntu2_all.deb ... Unpacking xdg-utils (1.1.1-1ubuntu2) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../201-texlive-binaries_2016.20160513.41080-8_amd64.deb ... Unpacking texlive-binaries (2016.20160513.41080-8) ... Selecting previously unselected package texlive-base. Preparing to unpack .../202-texlive-base_2016.20161130-1_all.deb ... Unpacking texlive-base (2016.20161130-1) ... Selecting previously unselected package texlive-fonts-recommended. Preparing to unpack .../203-texlive-fonts-recommended_2016.20161130-1_all.deb ... Unpacking texlive-fonts-recommended (2016.20161130-1) ... Selecting previously unselected package texlive-generic-recommended. Preparing to unpack .../204-texlive-generic-recommended_2016.20161130-1_all.deb ... Unpacking texlive-generic-recommended (2016.20161130-1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../205-texlive-latex-base_2016.20161130-1_all.deb ... Unpacking texlive-latex-base (2016.20161130-1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../206-texlive-latex-recommended_2016.20161130-1_all.deb ... Unpacking texlive-latex-recommended (2016.20161130-1) ... Selecting previously unselected package sbuild-build-depends-proofgeneral-dummy. Preparing to unpack .../207-sbuild-build-depends-proofgeneral-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-proofgeneral-dummy (0.invalid.0) ... Setting up libgs9-common (9.19~dfsg+1-0ubuntu7.1) ... Setting up libedit2:amd64 (3.1-20160903-2) ... Setting up libkpathsea6:amd64 (2016.20160513.41080-8) ... Setting up libtexlua52:amd64 (2016.20160513.41080-8) ... Setting up imagemagick-6-common (8:6.9.6.6+dfsg-1ubuntu3) ... Setting up libexpat1:amd64 (2.2.0-1) ... Setting up libjson-glib-1.0-common (1.2.2-1) ... Setting up libsynctex1:amd64 (2016.20160513.41080-8) ... Setting up libptexenc1:amd64 (2016.20160513.41080-8) ... Setting up glib-networking-common (2.50.0-1) ... Setting up libarchive-zip-perl (1.59-1) ... Setting up libxml-namespacesupport-perl (1.11-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up liblcms2-2:amd64 (2.7-1ubuntu1) ... Setting up libjbig0:amd64 (2.1-3.1) ... Setting up libsigsegv2:amd64 (2.10-5) ... Setting up libgpm2:amd64 (1.20.4-6.2) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up poppler-data (0.4.7-8) ... Setting up libelf1:amd64 (0.168-0.2) ... Setting up groff-base (1.22.3-9) ... Setting up libglib2.0-0:amd64 (2.51.0-2) ... Setting up libasound2-data (1.1.2-1) ... Setting up libxshmfence1:amd64 (1.2-1) ... Setting up emacsen-common (2.0.8) ... Setting up libtext-unidecode-perl (1.30-1) ... Setting up libllvm3.9:amd64 (1:3.9.1-1ubuntu1) ... Setting up libwayland-client0:amd64 (1.12.0-1) ... Setting up xkb-data (2.17-1ubuntu1) ... Setting up libproxy1v5:amd64 (0.4.13-1.1) ... Setting up libcapnp-0.5.3:amd64 (0.5.3-2ubuntu1) ... Setting up libgdk-pixbuf2.0-common (2.36.0-1ubuntu1) ... Setting up glib-networking-services (2.50.0-1) ... Setting up libdatrie1:amd64 (0.2.10-4) ... Setting up gettext-base (0.19.8.1-1ubuntu2) ... Setting up libgif7:amd64 (5.1.4-0.4) ... Setting up libjpeg-turbo8:amd64 (1.5.1-0ubuntu1) ... Setting up libpipeline1:amd64 (1.4.1-2) ... Setting up m4 (1.4.17-5) ... Setting up libfftw3-double3:amd64 (3.3.5-1) ... Setting up libicu57:amd64 (57.1-5) ... Setting up m17n-db (1.7.0-2) ... Setting up libbsd0:amd64 (0.8.3-1) ... Setting up libnspr4:amd64 (2:4.12-2ubuntu1) ... Setting up ucf (3.0036) ... Setting up libxml2:amd64 (2.9.4+dfsg1-2.1) ... Setting up libfreetype6:amd64 (2.6.3-3ubuntu1) ... Setting up libmagic-mgc (1:5.29-2) ... Setting up libasound2:amd64 (1.1.2-1) ... Setting up libdrm2:amd64 (2.4.74-1) ... Setting up emacs24-common-non-dfsg (24.5+1-2) ... update-alternatives: using /usr/share/info/emacs-24/emacs.info.gz to provide /usr/share/info/emacs.info.gz (emacs.info.gz) in auto mode Setting up libmagic1:amd64 (1:5.29-2) ... Setting up libjson-glib-1.0-0:amd64 (1.2.2-1) ... Setting up libgraphite2-3:amd64 (1.3.9-2) ... Setting up libcroco3:amd64 (0.6.11-2) ... Setting up libatk1.0-data (2.22.0-1) ... Setting up libxml-sax-base-perl (1.07-1) ... Setting up liblqr-1-0:amd64 (0.4.2-2) ... Setting up libjbig2dec0:amd64 (0.13-3) ... Setting up libx11-xcb1:amd64 (2:1.6.3-1ubuntu3) ... Setting up libpixman-1-0:amd64 (0.34.0-1) ... Processing triggers for libc-bin (2.24-7ubuntu2) ... Setting up libepoxy0:amd64 (1.3.1-1ubuntu1) ... Setting up autotools-dev (20161112.1) ... Setting up libunistring0:amd64 (0.9.3-5.2ubuntu1) ... Setting up t1utils (1.39-2) ... Setting up libatk1.0-0:amd64 (2.22.0-1) ... Processing triggers for systemd (232-8) ... Setting up libltdl7:amd64 (2.4.6-2) ... Setting up libijs-0.35:amd64 (0.35-12) ... Setting up libdconf1:amd64 (0.26.0-2) ... Setting up libfribidi0:amd64 (0.19.7-1) ... Setting up libpciaccess0:amd64 (0.13.4-1) ... Setting up libpotrace0 (1.13-2) ... Setting up libsensors4:amd64 (1:3.4.0-3) ... Setting up shared-mime-info (1.7-1) ... Setting up libxkbcommon0:amd64 (0.7.0-1) ... Setting up libdrm-radeon1:amd64 (2.4.74-1) ... Setting up libcolord2:amd64 (1.3.3-2) ... Setting up libthai-data (0.1.26-1) ... Setting up libxdmcp6:amd64 (1:1.1.2-1.1) ... Setting up libdrm-nouveau2:amd64 (2.4.74-1) ... Setting up bsdmainutils (9.0.12ubuntu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libmircore1:amd64 (0.25.0+17.04.20161203-0ubuntu1) ... Setting up libzzip-0-13:amd64 (0.13.62-3) ... 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 xdg-utils (1.1.1-1ubuntu2) ... Setting up libprotobuf-lite10:amd64 (3.0.0-9ubuntu1) ... Setting up hicolor-icon-theme (0.15-1) ... Setting up libwayland-cursor0:amd64 (1.12.0-1) ... Setting up libtexluajit2:amd64 (2016.20160513.41080-8) ... Setting up libx11-data (2:1.6.3-1ubuntu3) ... Setting up libxau6:amd64 (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-1ubuntu2) ... Setting up libdbus-1-3:amd64 (1.10.10-1ubuntu2) ... Setting up libboost-system1.62.0:amd64 (1.62.0+dfsg-4) ... Setting up libavahi-common-data:amd64 (0.6.32-1ubuntu1) ... Setting up libwayland-server0:amd64 (1.12.0-1) ... Setting up libwebp6:amd64 (0.5.1-4) ... Setting up libfile-stripnondeterminism-perl (0.029-2) ... Setting up libxml-sax-perl (0.99+dfsg-2ubuntu1) ... update-perl-sax-parsers: Registering Perl SAX parser XML::SAX::PurePerl with priority 10... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Creating config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up libjpeg8:amd64 (8c-2ubuntu8) ... Setting up libpaper1:amd64 (1.1.24+nmu4ubuntu1) ... Creating config file /etc/papersize with new version Setting up gconf2-common (3.2.6-3ubuntu7) ... Creating config file /etc/gconf/2/path with new version Setting up libpaper-utils (1.1.24+nmu4ubuntu1) ... Setting up fontconfig-config (2.11.94-0ubuntu2) ... Setting up tex-common (6.05) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libdrm-amdgpu1:amd64 (2.4.74-1) ... Setting up dconf-service (0.26.0-2) ... Setting up gettext (0.19.8.1-1ubuntu2) ... Setting up libotf0:amd64 (0.9.13-3build1) ... Setting up libdbus-glib-1-2:amd64 (0.108-1) ... Setting up libmirprotobuf3:amd64 (0.25.0+17.04.20161203-0ubuntu1) ... Setting up emacs24-common (24.5+1-7ubuntu1) ... Setting up libgconf-2-4:amd64 (3.2.6-3ubuntu7) ... Setting up libgbm1:amd64 (13.0.2-1ubuntu1) ... Setting up libnss3:amd64 (2:3.26.2-1ubuntu1) ... Setting up libharfbuzz0b:amd64 (1.2.7-1) ... Setting up libtiff5:amd64 (4.0.7-3) ... Setting up autoconf (2.69-10) ... Setting up libthai0:amd64 (0.1.26-1) ... Setting up file (1:5.29-2) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up libdrm-intel1:amd64 (2.4.74-1) ... Setting up libboost-filesystem1.62.0:amd64 (1.62.0+dfsg-4) ... Setting up automake (1:1.15-5ubuntu1) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up libice6:amd64 (2:1.0.9-1) ... Setting up man-db (2.7.6.1-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libmircommon7:amd64 (0.25.0+17.04.20161203-0ubuntu1) ... Setting up libavahi-common3:amd64 (0.6.32-1ubuntu1) ... Setting up libxml-libxml-perl (2.0128+dfsg-1build1) ... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX::Parser with priority 50... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX with priority 50... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Replacing config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up dconf-gsettings-backend:amd64 (0.26.0-2) ... Setting up libxcb1:amd64 (1.11.1-1ubuntu1) ... Setting up emacs24-bin-common (24.5+1-7ubuntu1) ... update-alternatives: using /usr/bin/ctags.emacs24 to provide /usr/bin/ctags (ctags) in auto mode update-alternatives: using /usr/bin/ebrowse.emacs24 to provide /usr/bin/ebrowse (ebrowse) in auto mode update-alternatives: using /usr/bin/emacsclient.emacs24 to provide /usr/bin/emacsclient (emacsclient) in auto mode update-alternatives: using /usr/bin/etags.emacs24 to provide /usr/bin/etags (etags) in auto mode update-alternatives: using /usr/bin/grep-changelog.emacs24 to provide /usr/bin/grep-changelog (grep-changelog) in auto mode Setting up libtool (2.4.6-2) ... Setting up libxcb-present0:amd64 (1.11.1-1ubuntu1) ... Setting up libfontconfig1:amd64 (2.11.94-0ubuntu2) ... Setting up libxcb-dri2-0:amd64 (1.11.1-1ubuntu1) ... Setting up libsm6:amd64 (2:1.2.2-1) ... Setting up libxcb-dri3-0:amd64 (1.11.1-1ubuntu1) ... Setting up libxcb-xfixes0:amd64 (1.11.1-1ubuntu1) ... Setting up libxcb-render0:amd64 (1.11.1-1ubuntu1) ... Setting up libharfbuzz-icu0:amd64 (1.2.7-1) ... Setting up po-debconf (1.0.20) ... Setting up gsettings-desktop-schemas (3.22.0-1ubuntu1) ... Setting up libgtk-3-common (3.22.5-1ubuntu2) ... Setting up libx11-6:amd64 (2:1.6.3-1ubuntu3) ... Setting up libgl1-mesa-dri:amd64 (13.0.2-1ubuntu1) ... Setting up libmirclient9:amd64 (0.25.0+17.04.20161203-0ubuntu1) ... Setting up libxcb-sync1:amd64 (1.11.1-1ubuntu1) ... Setting up glib-networking:amd64 (2.50.0-1) ... Setting up libxcomposite1:amd64 (1:0.4.4-1) ... Setting up libxcb-shm0:amd64 (1.11.1-1ubuntu1) ... Setting up libxpm4:amd64 (1:3.5.12-1) ... Setting up libxt6:amd64 (1:1.1.5-1) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up libavahi-client3:amd64 (0.6.32-1ubuntu1) ... Setting up libpoppler61:amd64 (0.44.0-3ubuntu3) ... Setting up texinfo (6.3.0.dfsg.1-1) ... Running mktexlsr. This may take some time. ... done. Setting up libxft2:amd64 (2.3.2-1) ... Setting up fontconfig (2.11.94-0ubuntu2) ... Regenerating fonts cache... done. Setting up libcups2:amd64 (2.2.1-46-g10887d272-2) ... Setting up libegl1-mesa:amd64 (13.0.2-1ubuntu1) ... update-alternatives: using /usr/lib/x86_64-linux-gnu/mesa-egl/ld.so.conf to provide /etc/ld.so.conf.d/x86_64-linux-gnu_EGL.conf (x86_64-linux-gnu_egl_conf) in auto mode Setting up libxdamage1:amd64 (1:1.1.4-2) ... Setting up libxext6:amd64 (2:1.3.3-1) ... Setting up libxfixes3:amd64 (1:5.0.3-1) ... Setting up libatspi2.0-0:amd64 (2.22.0-3ubuntu1) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.36.0-1ubuntu1) ... Setting up libsoup2.4-1:amd64 (2.56.0-2) ... Setting up libgd3:amd64 (2.2.3-87-gd0fec80-3) ... Setting up libsoup-gnome2.4-1:amd64 (2.56.0-2) ... Setting up libmagickcore-6.q16-2:amd64 (8:6.9.6.6+dfsg-1ubuntu3) ... Setting up libxmu6:amd64 (2:1.1.2-2) ... Setting up libcupsimage2:amd64 (2.2.1-46-g10887d272-2) ... Setting up gtk-update-icon-cache (3.22.5-1ubuntu2) ... Setting up libxcursor1:amd64 (1:1.1.14-1) ... Setting up libm17n-0:amd64 (1.7.0-3) ... Setting up libpango-1.0-0:amd64 (1.40.3-3) ... Setting up libwayland-egl1-mesa:amd64 (13.0.2-1ubuntu1) ... Setting up libatk-bridge2.0-0:amd64 (2.22.0-1ubuntu1) ... Setting up librest-0.7-0:amd64 (0.8.0-2) ... Setting up libgs9:amd64 (9.19~dfsg+1-0ubuntu7.1) ... Setting up libxrandr2:amd64 (2:1.5.1-1) ... Setting up libxi6:amd64 (2:1.7.6-1ubuntu1) ... Setting up libxaw7:amd64 (2:1.0.13-1) ... Setting up libcairo2:amd64 (1.14.8-1) ... Setting up libxinerama1:amd64 (2:1.1.3-1) ... Setting up libcairo-gobject2:amd64 (1.14.8-1) ... Setting up libmagickwand-6.q16-2:amd64 (8:6.9.6.6+dfsg-1ubuntu3) ... Setting up texlive-binaries (2016.20160513.41080-8) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up libpangoft2-1.0-0:amd64 (1.40.3-3) ... Setting up libpangocairo-1.0-0:amd64 (1.40.3-3) ... Setting up librsvg2-2:amd64 (2.40.16-1) ... Setting up librsvg2-common:amd64 (2.40.16-1) ... Processing triggers for tex-common (6.05) ... update-language: texlive-base not installed and configured, doing nothing! texlive-base is not ready, skipping fmtutil --all call Setting up texlive-base (2016.20161130-1) ... /usr/bin/tl-paper: setting paper size for dvips to a4. /usr/bin/tl-paper: setting paper size for dvipdfmx to a4. /usr/bin/tl-paper: setting paper size for xdvi to a4. /usr/bin/tl-paper: setting paper size for pdftex to a4. Processing triggers for tex-common (6.05) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. Setting up texlive-generic-recommended (2016.20161130-1) ... Setting up texlive-latex-base (2016.20161130-1) ... Setting up texlive-fonts-recommended (2016.20161130-1) ... Processing triggers for tex-common (6.05) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. Setting up texlive-latex-recommended (2016.20161130-1) ... Setting up humanity-icon-theme (0.6.11) ... Setting up gconf-service-backend (3.2.6-3ubuntu7) ... Setting up debhelper (10.2.2ubuntu1) ... Setting up dh-autoreconf (12) ... Setting up ubuntu-mono (16.10+17.04.20161205-0ubuntu1) ... Setting up gconf-service (3.2.6-3ubuntu7) ... Setting up dh-strip-nondeterminism (0.029-2) ... Setting up adwaita-icon-theme (3.22.0-1ubuntu1) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up libgtk-3-0:amd64 (3.22.5-1ubuntu2) ... Setting up emacs24 (24.5+1-7ubuntu1) ... update-alternatives: using /usr/bin/emacs24-x to provide /usr/bin/emacs (emacs) in auto mode update-alternatives: using /usr/bin/emacs24 to provide /usr/bin/editor (editor) in auto mode Install emacsen-common for emacs24 emacsen-common: Handling install of emacsen flavor emacs24 Wrote /etc/emacs24/site-start.d/00debian-vars.elc Wrote /usr/share/emacs24/site-lisp/debian-startup.elc Setting up sbuild-build-depends-proofgeneral-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.24-7ubuntu2) ... Processing triggers for systemd (232-8) ... Processing triggers for libgdk-pixbuf2.0-0:amd64 (2.36.0-1ubuntu1) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-57-generic amd64 (x86_64) Toolchain package versions: binutils_2.27.90.20161231-1ubuntu1 dpkg-dev_1.18.10ubuntu1 g++-6_6.3.0-2ubuntu1 gcc-6_6.3.0-2ubuntu1 libc6-dev_2.24-7ubuntu2 libstdc++-6-dev_6.3.0-2ubuntu1 libstdc++6_6.3.0-2ubuntu1 linux-libc-dev_4.9.0-11.12 Package versions: adduser_3.113+nmu3ubuntu5 advancecomp_1.23-1 adwaita-icon-theme_3.22.0-1ubuntu1 apt_1.4~beta2 apt-transport-https_1.4~beta2 autoconf_2.69-10 automake_1:1.15-5ubuntu1 autopoint_0.19.8.1-1ubuntu2 autotools-dev_20161112.1 base-files_9.6ubuntu9 base-passwd_3.5.42 bash_4.4-2ubuntu1 binutils_2.27.90.20161231-1ubuntu1 bsdmainutils_9.0.12ubuntu1 bsdutils_1:2.29-1ubuntu2 build-essential_12.1ubuntu2 bzip2_1.0.6-8build1 ca-certificates_20161130 coreutils_8.25-2ubuntu2 cpp_4:6.2.1-1ubuntu1 cpp-6_6.3.0-2ubuntu1 dash_0.5.8-2.3ubuntu1 dconf-gsettings-backend_0.26.0-2 dconf-service_0.26.0-2 debconf_1.5.59ubuntu1 debhelper_10.2.2ubuntu1 debianutils_4.8.1 dh-autoreconf_12 dh-strip-nondeterminism_0.029-2 diffutils_1:3.5-1 dmsetup_2:1.02.136-1ubuntu1 dpkg_1.18.10ubuntu1 dpkg-dev_1.18.10ubuntu1 e2fslibs_1.43.3-1 e2fsprogs_1.43.3-1 emacs24_24.5+1-7ubuntu1 emacs24-bin-common_24.5+1-7ubuntu1 emacs24-common_24.5+1-7ubuntu1 emacs24-common-non-dfsg_24.5+1-2 emacsen-common_2.0.8 fakeroot_1.21-1ubuntu2 file_1:5.29-2 findutils_4.6.0+git+20161106-1 fontconfig_2.11.94-0ubuntu2 fontconfig-config_2.11.94-0ubuntu2 fonts-dejavu-core_2.37-1 g++_4:6.2.1-1ubuntu1 g++-6_6.3.0-2ubuntu1 gcc_4:6.2.1-1ubuntu1 gcc-6_6.3.0-2ubuntu1 gcc-6-base_6.3.0-2ubuntu1 gconf-service_3.2.6-3ubuntu7 gconf-service-backend_3.2.6-3ubuntu7 gconf2-common_3.2.6-3ubuntu7 gettext_0.19.8.1-1ubuntu2 gettext-base_0.19.8.1-1ubuntu2 glib-networking_2.50.0-1 glib-networking-common_2.50.0-1 glib-networking-services_2.50.0-1 gnupg_2.1.15-1ubuntu6 gnupg-agent_2.1.15-1ubuntu6 gpgv_2.1.15-1ubuntu6 grep_2.27-1 groff-base_1.22.3-9 gsettings-desktop-schemas_3.22.0-1ubuntu1 gtk-update-icon-cache_3.22.5-1ubuntu2 gzip_1.6-4ubuntu1 hicolor-icon-theme_0.15-1 hostname_3.18 humanity-icon-theme_0.6.11 imagemagick-6-common_8:6.9.6.6+dfsg-1ubuntu3 init_1.46 init-system-helpers_1.46 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.4 libacl1_2.2.52-3 libapparmor1_2.10.95-4ubuntu5.2 libapt-pkg5.0_1.4~beta2 libarchive-zip-perl_1.59-1 libasan3_6.3.0-2ubuntu1 libasn1-8-heimdal_1.7~git20160703+dfsg-1ubuntu1 libasound2_1.1.2-1 libasound2-data_1.1.2-1 libassuan0_2.4.3-2 libatk-bridge2.0-0_2.22.0-1ubuntu1 libatk1.0-0_2.22.0-1 libatk1.0-data_2.22.0-1 libatomic1_6.3.0-2ubuntu1 libatspi2.0-0_2.22.0-3ubuntu1 libattr1_1:2.4.47-2 libaudit-common_1:2.6.6-1ubuntu1 libaudit1_1:2.6.6-1ubuntu1 libavahi-client3_0.6.32-1ubuntu1 libavahi-common-data_0.6.32-1ubuntu1 libavahi-common3_0.6.32-1ubuntu1 libblkid1_2.29-1ubuntu2 libboost-filesystem1.62.0_1.62.0+dfsg-4 libboost-system1.62.0_1.62.0+dfsg-4 libbsd0_0.8.3-1 libbz2-1.0_1.0.6-8build1 libc-bin_2.24-7ubuntu2 libc-dev-bin_2.24-7ubuntu2 libc6_2.24-7ubuntu2 libc6-dev_2.24-7ubuntu2 libcairo-gobject2_1.14.8-1 libcairo2_1.14.8-1 libcap-ng0_0.7.7-3 libcap2_1:2.25-1 libcapnp-0.5.3_0.5.3-2ubuntu1 libcc1-0_6.3.0-2ubuntu1 libcilkrts5_6.3.0-2ubuntu1 libcolord2_1.3.3-2 libcomerr2_1.43.3-1 libcroco3_0.6.11-2 libcryptsetup4_2:1.7.2-0ubuntu1 libcups2_2.2.1-46-g10887d272-2 libcupsimage2_2.2.1-46-g10887d272-2 libcurl3-gnutls_7.51.0-1ubuntu1 libdatrie1_0.2.10-4 libdb5.3_5.3.28-12 libdbus-1-3_1.10.10-1ubuntu2 libdbus-glib-1-2_0.108-1 libdconf1_0.26.0-2 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.136-1ubuntu1 libdpkg-perl_1.18.10ubuntu1 libdrm-amdgpu1_2.4.74-1 libdrm-intel1_2.4.74-1 libdrm-nouveau2_2.4.74-1 libdrm-radeon1_2.4.74-1 libdrm2_2.4.74-1 libedit2_3.1-20160903-2 libegl1-mesa_13.0.2-1ubuntu1 libelf1_0.168-0.2 libepoxy0_1.3.1-1ubuntu1 libexpat1_2.2.0-1 libfakeroot_1.21-1ubuntu2 libfdisk1_2.29-1ubuntu2 libffi6_3.2.1-6 libfftw3-double3_3.3.5-1 libfile-stripnondeterminism-perl_0.029-2 libfontconfig1_2.11.94-0ubuntu2 libfreetype6_2.6.3-3ubuntu1 libfribidi0_0.19.7-1 libgbm1_13.0.2-1ubuntu1 libgcc-6-dev_6.3.0-2ubuntu1 libgcc1_1:6.3.0-2ubuntu1 libgconf-2-4_3.2.6-3ubuntu7 libgcrypt20_1.7.5-2 libgd3_2.2.3-87-gd0fec80-3 libgdbm3_1.8.3-14 libgdk-pixbuf2.0-0_2.36.0-1ubuntu1 libgdk-pixbuf2.0-common_2.36.0-1ubuntu1 libgif7_5.1.4-0.4 libgl1-mesa-dri_13.0.2-1ubuntu1 libglib2.0-0_2.51.0-2 libgmp10_2:6.1.2+dfsg-1 libgnutls30_3.5.6-4ubuntu2 libgomp1_6.3.0-2ubuntu1 libgpg-error0_1.26-1 libgpm2_1.20.4-6.2 libgraphite2-3_1.3.9-2 libgs9_9.19~dfsg+1-0ubuntu7.1 libgs9-common_9.19~dfsg+1-0ubuntu7.1 libgssapi-krb5-2_1.15-1 libgssapi3-heimdal_1.7~git20160703+dfsg-1ubuntu1 libgtk-3-0_3.22.5-1ubuntu2 libgtk-3-common_3.22.5-1ubuntu2 libharfbuzz-icu0_1.2.7-1 libharfbuzz0b_1.2.7-1 libhcrypto4-heimdal_1.7~git20160703+dfsg-1ubuntu1 libheimbase1-heimdal_1.7~git20160703+dfsg-1ubuntu1 libheimntlm0-heimdal_1.7~git20160703+dfsg-1ubuntu1 libhogweed4_3.3-1 libhx509-5-heimdal_1.7~git20160703+dfsg-1ubuntu1 libice6_2:1.0.9-1 libicu57_57.1-5 libidn11_1.33-1 libijs-0.35_0.35-12 libip4tc0_1.6.0-3ubuntu2 libisl15_0.17.1-1 libitm1_6.3.0-2ubuntu1 libjbig0_2.1-3.1 libjbig2dec0_0.13-3 libjpeg-turbo8_1.5.1-0ubuntu1 libjpeg8_8c-2ubuntu8 libjson-glib-1.0-0_1.2.2-1 libjson-glib-1.0-common_1.2.2-1 libk5crypto3_1.15-1 libkeyutils1_1.5.9-9ubuntu1 libkmod2_22-1.1ubuntu1 libkpathsea6_2016.20160513.41080-8 libkrb5-26-heimdal_1.7~git20160703+dfsg-1ubuntu1 libkrb5-3_1.15-1 libkrb5support0_1.15-1 libksba8_1.3.5-2 liblcms2-2_2.7-1ubuntu1 libldap-2.4-2_2.4.42+dfsg-2ubuntu5 libllvm3.9_1:3.9.1-1ubuntu1 liblockfile-bin_1.09-6ubuntu1 liblockfile1_1.09-6ubuntu1 liblqr-1-0_0.4.2-2 liblsan0_6.3.0-2ubuntu1 libltdl7_2.4.6-2 liblz4-1_0.0~r131-2ubuntu2 liblzma5_5.2.2-1.2 libm17n-0_1.7.0-3 libmagic-mgc_1:5.29-2 libmagic1_1:5.29-2 libmagickcore-6.q16-2_8:6.9.6.6+dfsg-1ubuntu3 libmagickwand-6.q16-2_8:6.9.6.6+dfsg-1ubuntu3 libmirclient9_0.25.0+17.04.20161203-0ubuntu1 libmircommon7_0.25.0+17.04.20161203-0ubuntu1 libmircore1_0.25.0+17.04.20161203-0ubuntu1 libmirprotobuf3_0.25.0+17.04.20161203-0ubuntu1 libmount1_2.29-1ubuntu2 libmpc3_1.0.3-1 libmpfr4_3.1.5-1 libmpx2_6.3.0-2ubuntu1 libncurses5_6.0+20160625-1ubuntu1 libncursesw5_6.0+20160625-1ubuntu1 libnettle6_3.3-1 libnpth0_1.3-1 libnspr4_2:4.12-2ubuntu1 libnss3_2:3.26.2-1ubuntu1 libotf0_0.9.13-3build1 libp11-kit0_0.23.3-2 libpam-modules_1.1.8-3.2ubuntu2 libpam-modules-bin_1.1.8-3.2ubuntu2 libpam-runtime_1.1.8-3.2ubuntu2 libpam0g_1.1.8-3.2ubuntu2 libpango-1.0-0_1.40.3-3 libpangocairo-1.0-0_1.40.3-3 libpangoft2-1.0-0_1.40.3-3 libpaper-utils_1.1.24+nmu4ubuntu1 libpaper1_1.1.24+nmu4ubuntu1 libpciaccess0_0.13.4-1 libpcre3_2:8.39-2 libperl5.22_5.22.2-3 libperl5.24_5.24.1~rc4-1 libpipeline1_1.4.1-2 libpixman-1-0_0.34.0-1 libpng16-16_1.6.27-1 libpoppler61_0.44.0-3ubuntu3 libpotrace0_1.13-2 libprocps6_2:3.3.12-1ubuntu2 libprotobuf-lite10_3.0.0-9ubuntu1 libproxy1v5_0.4.13-1.1 libptexenc1_2016.20160513.41080-8 libquadmath0_6.3.0-2ubuntu1 libreadline7_7.0-0ubuntu2 librest-0.7-0_0.8.0-2 libroken18-heimdal_1.7~git20160703+dfsg-1ubuntu1 librsvg2-2_2.40.16-1 librsvg2-common_2.40.16-1 librtmp1_2.4+20151223.gitfa8646d.1-1 libsasl2-2_2.1.27~72-g88d82a3+dfsg-1 libsasl2-modules-db_2.1.27~72-g88d82a3+dfsg-1 libseccomp2_2.3.1-2.1ubuntu1 libselinux1_2.6-3 libsemanage-common_2.6-2 libsemanage1_2.6-2 libsensors4_1:3.4.0-3 libsepol1_2.6-2 libsigsegv2_2.10-5 libslang2_2.3.1-5ubuntu1 libsm6_2:1.2.2-1 libsmartcols1_2.29-1ubuntu2 libsoup-gnome2.4-1_2.56.0-2 libsoup2.4-1_2.56.0-2 libsqlite3-0_3.15.2-2 libss2_1.43.3-1 libssl1.0.0_1.0.2g-1ubuntu10 libstdc++-6-dev_6.3.0-2ubuntu1 libstdc++6_6.3.0-2ubuntu1 libsynctex1_2016.20160513.41080-8 libsystemd0_232-8 libtasn1-6_4.9-4 libtexlua52_2016.20160513.41080-8 libtexluajit2_2016.20160513.41080-8 libtext-unidecode-perl_1.30-1 libthai-data_0.1.26-1 libthai0_0.1.26-1 libtiff5_4.0.7-3 libtimedate-perl_2.3000-2 libtinfo5_6.0+20160625-1ubuntu1 libtool_2.4.6-2 libtsan0_6.3.0-2ubuntu1 libubsan0_6.3.0-2ubuntu1 libudev1_232-8 libunistring0_0.9.3-5.2ubuntu1 libusb-0.1-4_2:0.1.12-30 libustr-1.0-1_1.0.4-6 libuuid1_2.29-1ubuntu2 libwayland-client0_1.12.0-1 libwayland-cursor0_1.12.0-1 libwayland-egl1-mesa_13.0.2-1ubuntu1 libwayland-server0_1.12.0-1 libwebp6_0.5.1-4 libwind0-heimdal_1.7~git20160703+dfsg-1ubuntu1 libx11-6_2:1.6.3-1ubuntu3 libx11-data_2:1.6.3-1ubuntu3 libx11-xcb1_2:1.6.3-1ubuntu3 libxau6_1:1.0.8-1 libxaw7_2:1.0.13-1 libxcb-dri2-0_1.11.1-1ubuntu1 libxcb-dri3-0_1.11.1-1ubuntu1 libxcb-present0_1.11.1-1ubuntu1 libxcb-render0_1.11.1-1ubuntu1 libxcb-shm0_1.11.1-1ubuntu1 libxcb-sync1_1.11.1-1ubuntu1 libxcb-xfixes0_1.11.1-1ubuntu1 libxcb1_1.11.1-1ubuntu1 libxcomposite1_1:0.4.4-1 libxcursor1_1:1.1.14-1 libxdamage1_1:1.1.4-2 libxdmcp6_1:1.1.2-1.1 libxext6_2:1.3.3-1 libxfixes3_1:5.0.3-1 libxft2_2.3.2-1 libxi6_2:1.7.6-1ubuntu1 libxinerama1_2:1.1.3-1 libxkbcommon0_0.7.0-1 libxml-libxml-perl_2.0128+dfsg-1build1 libxml-namespacesupport-perl_1.11-1 libxml-sax-base-perl_1.07-1 libxml-sax-perl_0.99+dfsg-2ubuntu1 libxml2_2.9.4+dfsg1-2.1 libxmu6_2:1.1.2-2 libxpm4_1:3.5.12-1 libxrandr2_2:1.5.1-1 libxrender1_1:0.9.10-1 libxshmfence1_1.2-1 libxt6_1:1.1.5-1 libzzip-0-13_0.13.62-3 linux-libc-dev_4.9.0-11.12 lockfile-progs_0.1.17 login_1:4.2-3.2ubuntu1 lsb-base_9.20160110ubuntu5 m17n-db_1.7.0-2 m4_1.4.17-5 make_4.1-9 man-db_2.7.6.1-2 mawk_1.3.3-17ubuntu2 mount_2.29-1ubuntu2 multiarch-support_2.24-7ubuntu2 ncurses-base_6.0+20160625-1ubuntu1 ncurses-bin_6.0+20160625-1ubuntu1 openssl_1.0.2g-1ubuntu10 optipng_0.7.6-1build1 passwd_1:4.2-3.2ubuntu1 patch_2.7.5-1 perl_5.24.1~rc4-1 perl-base_5.24.1~rc4-1 perl-modules-5.22_5.22.2-3 perl-modules-5.24_5.24.1~rc4-1 pinentry-curses_1.0.0-1 pkg-create-dbgsym_0.73 pkgbinarymangler_131 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 poppler-data_0.4.7-8 procps_2:3.3.12-1ubuntu2 readline-common_7.0-0ubuntu2 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-proofgeneral-dummy_0.invalid.0 sed_4.2.2-8 sensible-utils_0.0.9 shared-mime-info_1.7-1 systemd_232-8 systemd-sysv_232-8 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.8git1 t1utils_1.39-2 tar_1.29b-1.1 tex-common_6.05 texinfo_6.3.0.dfsg.1-1 texlive-base_2016.20161130-1 texlive-binaries_2016.20160513.41080-8 texlive-fonts-recommended_2016.20161130-1 texlive-generic-recommended_2016.20161130-1 texlive-latex-base_2016.20161130-1 texlive-latex-recommended_2016.20161130-1 tzdata_2016j-2 ubuntu-keyring_2016.10.27 ubuntu-mono_16.10+17.04.20161205-0ubuntu1 ucf_3.0036 util-linux_2.29-1ubuntu2 x11-common_1:7.7+16ubuntu2 xdg-utils_1.1.1-1ubuntu2 xkb-data_2.17-1ubuntu1 xz-utils_5.2.2-1.2 zlib1g_1:1.2.8.dfsg-4ubuntu1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Sat Dec 31 15:24:18 2016 UTC gpgv: using RSA key gpgv: issuer "kreckel@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./proofgeneral_4.4.1~pre161230-0.1.dsc dpkg-source: info: extracting proofgeneral in proofgeneral-4.4.1~pre161230 dpkg-source: info: unpacking proofgeneral_4.4.1~pre161230.orig.tar.xz dpkg-source: info: unpacking proofgeneral_4.4.1~pre161230-0.1.debian.tar.xz dpkg-source: info: applying restrict-installed-provers.patch dpkg-source: info: applying dont-install-mmm-mode.patch dpkg-source: info: applying fix-package-name-in-install-path.patch dpkg-source: info: applying dont-install-elc.patch dpkg-source: info: applying only-install-simplified-pg-script dpkg-source: info: applying debian-specific-site-init.patch dpkg-source: info: applying prepare-user-manual dpkg-source: info: applying install-examples.patch dpkg-source: info: applying transition_to_makeinfo.patch 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 proofgeneral dpkg-buildpackage: info: source version 4.4.1~pre161230-0.1 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build proofgeneral-4.4.1~pre161230 dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean dh clean dh_testdir dh_auto_clean make -j1 distclean make[1]: Entering directory '/<>' ***** CLEANING UP INTERMEDIATE FILES **** rm -f doc/ProofGeneralPortrait.eps.gz rm -f ../web/ProofGeneral (for i in bin/proofgeneral isar/interface bin/proofgeneral lego/legotags coq/coqtags isar/isartags; do \ if [ -f $i.rm ] ; then \ rm -f $i.rm; \ fi; \ if [ -f $i.orig ] ; then \ mv -f $i.orig $i; \ fi; \ done) rm -rf doc/html doc/proofgeneral.pdf doc/proofgeneral.info rm -f coq/coq-abbrev.elc coq/coq-autotest.elc coq/coq-compile-common.elc coq/coq-db.elc coq/coq-indent.elc coq/coq-local-vars.elc coq/coq-mmm.elc coq/coq-par-compile.elc coq/coq-par-test.elc coq/coq-seq-compile.elc coq/coq-smie.elc coq/coq-syntax.elc coq/coq-system.elc coq/coq-unicode-tokens.elc coq/coq.elc hol-light/hol-light-autotest.elc hol-light/hol-light-unicode-tokens.elc hol-light/hol-light.elc generic/pg-assoc.elc generic/pg-autotest.elc generic/pg-custom.elc generic/pg-goals.elc generic/pg-movie.elc generic/pg-pamacs.elc generic/pg-pbrpm.elc generic/pg-pgip.elc generic/pg-response.elc generic/pg-user.elc generic/pg-vars.elc generic/pg-xml.elc generic/proof-autoloads.elc generic/proof-auxmodes.elc generic/proof-config.elc generic/proof-depends.elc generic/proof-easy-config.elc generic/proof-faces.elc generic/proof-indent.elc generic/proof-maths-menu.elc generic/proof-menu.elc generic/proof-mmm.elc generic/proof-script.elc generic/proof-shell.elc generic/proof-site.elc generic/proof-splash.elc generic/proof-syntax.elc generic/proof-toolbar.elc generic/proof-tree.elc generic/proof-unicode-tokens.elc generic/proof-useropts.elc generic/proof-utils.elc generic/proof.elc lib/bufhist.elc lib/holes.elc lib/local-vars-list.elc lib/maths-menu.elc lib/pg-dev.elc lib/pg-fontsets.elc lib/proof-compat.elc lib/scomint.elc lib/span.elc lib/texi-docstring-magic.elc lib/unicode-chars.elc lib/unicode-tokens.elc .\#* */.\#* */.autotest.log */.profile.log (cd doc; make clean) make[2]: Entering directory '/<>/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" clean make[3]: Entering directory '/<>/doc' rm -f ProofGeneral.cp ProofGeneral.fn ProofGeneral.vr ProofGeneral.tp ProofGeneral.ky ProofGeneral.kys ProofGeneral.pg ProofGeneral.fns ProofGeneral.vrs ProofGeneral.cps ProofGeneral.aux ProofGeneral.log ProofGeneral.cp ProofGeneral.cp0 ProofGeneral.toc make[3]: Leaving directory '/<>/doc' make[2]: Leaving directory '/<>/doc' ***** CLEANING UP ALL JUNK FILES **** find . \( -name '*~' -o -name '#*#' -o -name '\.\#*' -o -name '\.*\.log' \) -print | xargs rm -f (cd doc; make distclean) make[2]: Entering directory '/<>/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" distclean make[3]: Entering directory '/<>/doc' rm -f ProofGeneral.cp ProofGeneral.fn ProofGeneral.vr ProofGeneral.tp ProofGeneral.ky ProofGeneral.kys ProofGeneral.pg ProofGeneral.fns ProofGeneral.vrs ProofGeneral.cps ProofGeneral.aux ProofGeneral.log ProofGeneral.cp ProofGeneral.cp0 ProofGeneral.toc rm -rf ProofGeneral.info* ProofGeneral.pdf ProofGeneral rm -f *~ make[3]: Leaving directory '/<>/doc' make[2]: Leaving directory '/<>/doc' make[1]: Leaving directory '/<>' dh_clean rm -f debian/debhelper-build-stamp rm -f debian/proofgeneral.substvars rm -f debian/proofgeneral.*.debhelper rm -rf debian/proofgeneral/ rm -f debian/proofgeneral-doc.substvars rm -f debian/proofgeneral-doc.*.debhelper rm -rf debian/proofgeneral-doc/ rm -rf debian/.debhelper/ rm -f debian/*.debhelper.log rm -f debian/files find . \( \( \ \( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS \) -prune -o -type f -a \ \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ \) -exec rm -f {} + \) -o \ \( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \) rm -f *-stamp debian/rules build dh build dh_testdir dh_update_autotools_config dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory '/<>' make prepare-doc make[2]: Entering directory '/<>' (cd doc; make EMACS=emacs info) make[3]: Entering directory '/<>/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" info make[4]: Entering directory '/<>/doc' makeinfo ProofGeneral.texi make[4]: Leaving directory '/<>/doc' make[3]: Leaving directory '/<>/doc' (cd doc; make EMACS=emacs pdf) make[3]: Entering directory '/<>/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" pdf make[4]: Entering directory '/<>/doc' texi2pdf ProofGeneral.texi This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2016-08-16.20]: pdf, fonts, markup, glyphs, page headings, tables, conditionals, indexing, sectioning, toc, environments, defuns, macros, cross references, insertions, (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex This is `epsf.tex' v2.7.4 <14 February 2011> ) localization, formatting, and turning on texinfo input format.) [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] (Preface) Cross reference values unknown; you must run TeX again. Writing index file ProofGeneral.cp [1] [2] Chapter 1 [3] [4] [5] [6] [7] Chapter 2 [8] [9] [10] [11] [12] [13] Writing index file ProofGeneral.fn Writing index file ProofGeneral.vr [14] Writing index file ProofGeneral.ky [15] [16] [17] [18] Chapter 3 [19] [20] [21] [22] [23] [24] [25] Chapter 4 [26] [27] [28] [29] [30] Chapter 5 [31] [32] [33] [34] Chapter 6 [35] [36] Chapter 7 [37] [38] [39] Chapter 8 [40] [41] [42] [43] [44] [45] [46] [47] [48] Chapter 9 [49] [50] [51] [52] Chapter 10 [53] [54] Chapter 11 [55] [56] [57] [58] Underfull \hbox (badness 10000) in paragraph at lines 4509--4516 @textrm and set @texttt coq-compile-parallel-in-background[] @textrm (menu @te xttt Coq -> Auto Compilation Underfull \hbox (badness 10000) in paragraph at lines 4509--4516 @texttt -> Parallel background compilation[]@textrm ) for par-al-lel asyn-chro nous com-pi-la-tion [59] [60] [61] [62] [63] Underfull \hbox (badness 10000) in paragraph at lines 4950--4952 []@textrm This op-tion can be set/reset via menu `@texttt Coq -> Settings -> C onfirm External [64] Overfull \hbox (13.29272pt too wide) in paragraph at lines 4982--4982 [] @texttt di-rec-tory to be mapped to the log-i-cal path 'path'[] ('-I dir -as path').[] [65] [66] Chapter 12 [67] [68] [69] [70] Chapter 13 [71] [72] Chapter 14 [73] [74] Appendix A [75] [76] [77] Appendix B [78] (References) [79] [80] (History of Proof General) [81] [82] [83] [84] [85] (Function and Command Index) [86] No file ProofGeneral.fns. (Variable and User Option Index) [87] [88] No file ProofGeneral.vrs. (Keystroke Index) [89] [90] No file ProofGeneral.kys. (Concept Index) [91] [92] No file ProofGeneral.cps. [93] [94] (/<>/doc/ProofGeneral.toc [-1] [-2]) [-3] [-4] (/<>/doc/ProofGeneral.toc) (/<>/doc/ProofGeneral.toc) ) (see the transcript file for additional information)pdfTeX warning (\pdffontatt r): fonts @textsl and @defsl have conflicting attributes; I will ignore the att ributes assigned to @textsl Output written on ProofGeneral.pdf (100 pages, 473678 bytes). Transcript written on ProofGeneral.log. This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2016-08-16.20]: pdf, fonts, markup, glyphs, page headings, tables, conditionals, indexing, sectioning, toc, environments, defuns, macros, cross references, insertions, (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex This is `epsf.tex' v2.7.4 <14 February 2011> ) localization, formatting, and turning on texinfo input format.) [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] (Preface) (/<>/doc/ProofGeneral.aux) Writing index file ProofGeneral.cp [1] [2] Chapter 1 [3] [4] [5] [6] [7] Chapter 2 [8] [9] [10] [11] [12] [13] Writing index file ProofGeneral.fn Writing index file ProofGeneral.vr [14] Writing index file ProofGeneral.ky [15] [16] [17] [18] Chapter 3 [19] [20] [21] [22] [23] [24] [25] Chapter 4 [26] [27] [28] [29] [30] Chapter 5 [31] [32] [33] [34] Chapter 6 [35] [36] Chapter 7 [37] [38] [39] Chapter 8 [40] [41] [42] [43] [44] [45] [46] [47] [48] Chapter 9 [49] [50] [51] [52] Chapter 10 [53] [54] Chapter 11 [55] [56] [57] [58] Underfull \hbox (badness 10000) in paragraph at lines 4509--4516 @textrm and set @texttt coq-compile-parallel-in-background[] @textrm (menu @te xttt Coq -> Auto Compilation Underfull \hbox (badness 10000) in paragraph at lines 4509--4516 @texttt -> Parallel background compilation[]@textrm ) for par-al-lel asyn-chro nous com-pi-la-tion [59] [60] [61] [62] [63] Underfull \hbox (badness 10000) in paragraph at lines 4950--4952 []@textrm This op-tion can be set/reset via menu `@texttt Coq -> Settings -> C onfirm External [64] Overfull \hbox (13.29272pt too wide) in paragraph at lines 4982--4982 [] @texttt di-rec-tory to be mapped to the log-i-cal path 'path'[] ('-I dir -as path').[] [65] [66] Chapter 12 [67] [68] [69] [70] Chapter 13 [71] [72] Chapter 14 [73] [74] Appendix A [75] [76] [77] Appendix B [78] (References) [79] [80] (History of Proof General) [81] [82] [83] [84] [85] (Function and Command Index) [86] (Variable and User Option Index) [87] [88] Overfull \vbox (0.23743pt too high) has occurred while \output is active (Keystroke Index) [89] [90] (Concept Index) [91] [92] [93] [94] (/<>/doc/ProofGeneral.toc [-1] [-2]) [-3] [-4] (/<>/doc/ProofGeneral.toc) (/<>/doc/ProofGeneral.toc) ) (see the transcript file for additional information)pdfTeX warning (\pdffontatt r): fonts @textsl and @defsl have conflicting attributes; I will ignore the att ributes assigned to @textsl Output written on ProofGeneral.pdf (100 pages, 510854 bytes). Transcript written on ProofGeneral.log. This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2016-08-16.20]: pdf, fonts, markup, glyphs, page headings, tables, conditionals, indexing, sectioning, toc, environments, defuns, macros, cross references, insertions, (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex This is `epsf.tex' v2.7.4 <14 February 2011> ) localization, formatting, and turning on texinfo input format.) [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] (Preface) (/<>/doc/ProofGeneral.aux) Writing index file ProofGeneral.cp [1] [2] Chapter 1 [3] [4] [5] [6] [7] Chapter 2 [8] [9] [10] [11] [12] [13] Writing index file ProofGeneral.fn Writing index file ProofGeneral.vr [14] Writing index file ProofGeneral.ky [15] [16] [17] [18] Chapter 3 [19] [20] [21] [22] [23] [24] [25] Chapter 4 [26] [27] [28] [29] [30] Chapter 5 [31] [32] [33] [34] Chapter 6 [35] [36] Chapter 7 [37] [38] [39] Chapter 8 [40] [41] [42] [43] [44] [45] [46] [47] [48] Chapter 9 [49] [50] [51] [52] Chapter 10 [53] [54] Chapter 11 [55] [56] [57] [58] Underfull \hbox (badness 10000) in paragraph at lines 4509--4516 @textrm and set @texttt coq-compile-parallel-in-background[] @textrm (menu @te xttt Coq -> Auto Compilation Underfull \hbox (badness 10000) in paragraph at lines 4509--4516 @texttt -> Parallel background compilation[]@textrm ) for par-al-lel asyn-chro nous com-pi-la-tion [59] [60] [61] [62] [63] Underfull \hbox (badness 10000) in paragraph at lines 4950--4952 []@textrm This op-tion can be set/reset via menu `@texttt Coq -> Settings -> C onfirm External [64] Overfull \hbox (13.29272pt too wide) in paragraph at lines 4982--4982 [] @texttt di-rec-tory to be mapped to the log-i-cal path 'path'[] ('-I dir -as path').[] [65] [66] Chapter 12 [67] [68] [69] [70] Chapter 13 [71] [72] Chapter 14 [73] [74] Appendix A [75] [76] [77] Appendix B [78] (References) [79] [80] (History of Proof General) [81] [82] [83] [84] [85] (Function and Command Index) [86] (Variable and User Option Index) [87] [88] Overfull \vbox (0.23743pt too high) has occurred while \output is active (Keystroke Index) [89] [90] (Concept Index) [91] [92] [93] [94] (/<>/doc/ProofGeneral.toc [-1] [-2]) [-3] [-4] (/<>/doc/ProofGeneral.toc) (/<>/doc/ProofGeneral.toc) ) (see the transcript file for additional information)pdfTeX warning (\pdffontatt r): fonts @textsl and @defsl have conflicting attributes; I will ignore the att ributes assigned to @textsl Output written on ProofGeneral.pdf (100 pages, 510862 bytes). Transcript written on ProofGeneral.log. make[4]: Leaving directory '/<>/doc' make[3]: Leaving directory '/<>/doc' (cd doc; make EMACS=emacs html) make[3]: Entering directory '/<>/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" html make[4]: Entering directory '/<>/doc' makeinfo --html --ifinfo --number-sections --split=chapter --no-headers --css-include=proofgen.css ProofGeneral.texi make[4]: Leaving directory '/<>/doc' make[3]: Leaving directory '/<>/doc' mv doc/ProofGeneral doc/html mv doc/ProofGeneral.pdf doc/proofgeneral.pdf mv doc/ProofGeneral.info doc/proofgeneral.info make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' debian/rules override_dh_auto_test make[1]: Entering directory '/<>' true make[1]: Leaving directory '/<>' fakeroot debian/rules binary dh binary dh_testroot dh_prep rm -f debian/proofgeneral.substvars rm -f debian/proofgeneral.*.debhelper rm -rf debian/proofgeneral/ rm -f debian/proofgeneral-doc.substvars rm -f debian/proofgeneral-doc.*.debhelper rm -rf debian/proofgeneral-doc/ dh_auto_install install -d debian/proofgeneral install -d debian/proofgeneral-doc make -j1 install DESTDIR=/<>/proofgeneral-4.4.1\~pre161230/debian/tmp AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/<>' mkdir -p /<>/debian/tmp/usr/share/icons/hicolor/16x16 cp etc/desktop/icons/16x16/proofgeneral.png /<>/debian/tmp/usr/share/icons/hicolor/16x16 mkdir -p /<>/debian/tmp/usr/share/icons/hicolor/32x32 cp etc/desktop/icons/32x32/proofgeneral.png /<>/debian/tmp/usr/share/icons/hicolor/32x32 mkdir -p /<>/debian/tmp/usr/share/icons/hicolor/48x48 cp etc/desktop/icons/48x48/proofgeneral.png /<>/debian/tmp/usr/share/icons/hicolor/48x48 mkdir -p /<>/debian/tmp/usr/share/pixmaps cp etc/desktop/icons/48x48/proofgeneral.png /<>/debian/tmp/usr/share/pixmaps mkdir -p /<>/debian/tmp/usr/share/applications cp etc/desktop/proofgeneral.desktop /<>/debian/tmp/usr/share/applications mkdir -p /<>/debian/tmp/usr/share/mime-info cp etc/desktop/mime-info/proofgeneral.mime /<>/debian/tmp/usr/share/mime-info cp etc/desktop/mime-info/proofgeneral.keys /<>/debian/tmp/usr/share/mime-info mkdir -p /<>/debian/tmp/usr/share/application-registry cp etc/desktop/application-registry/proofgeneral.applications /<>/debian/tmp/usr/share/application-registry mkdir -p /<>/debian/tmp/usr/share/emacs/site-lisp/proofgeneral for f in coq hol-light generic lib images; do mkdir -p /<>/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done for f in coq hol-light generic lib; do cp -pf $f/*.el /<>/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done for f in images; do cp -prf $f/* /<>/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done for f in ; do cp -pf $f /<>/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done mkdir -p /<>/debian/tmp/usr/bin cp debian/proofgeneral-shell-script /<>/debian/tmp/usr/bin/proofgeneral mkdir -p /<>/debian/tmp/usr/share/doc/proofgeneral/examples cp coq/example.v /<>/debian/tmp/usr/share/doc/proofgeneral/examples/coq_example.v make[1]: Leaving directory '/<>' dh_install install -d debian/proofgeneral//usr/share cp --reflink=auto -a debian/tmp/usr/share/application-registry debian/proofgeneral//usr/share/ cp --reflink=auto -a debian/tmp/usr/share/applications debian/proofgeneral//usr/share/ cp --reflink=auto -a debian/tmp/usr/share/emacs debian/proofgeneral//usr/share/ cp --reflink=auto -a debian/tmp/usr/share/icons debian/proofgeneral//usr/share/ cp --reflink=auto -a debian/tmp/usr/share/mime-info debian/proofgeneral//usr/share/ cp --reflink=auto -a debian/tmp/usr/share/pixmaps debian/proofgeneral//usr/share/ install -d debian/proofgeneral//usr/bin cp --reflink=auto -a debian/tmp/usr/bin/proofgeneral debian/proofgeneral//usr/bin/ install -d debian/proofgeneral//usr/share/doc/proofgeneral cp --reflink=auto -a debian/tmp/usr/share/doc/proofgeneral/examples debian/proofgeneral//usr/share/doc/proofgeneral/ dh_installdocs cp --reflink=auto -a AUTHORS debian/proofgeneral/usr/share/doc/proofgeneral cp --reflink=auto -a BUGS debian/proofgeneral/usr/share/doc/proofgeneral cp --reflink=auto -a COMPATIBILITY debian/proofgeneral/usr/share/doc/proofgeneral cp --reflink=auto -a FAQ.md debian/proofgeneral/usr/share/doc/proofgeneral cp --reflink=auto -a README.md debian/proofgeneral/usr/share/doc/proofgeneral cp --reflink=auto -a REGISTER debian/proofgeneral/usr/share/doc/proofgeneral chown -R 0:0 debian/proofgeneral/usr/share/doc chmod -R go=rX debian/proofgeneral/usr/share/doc chmod -R u\+rw debian/proofgeneral/usr/share/doc install -p -m0644 debian/README.Debian debian/proofgeneral/usr/share/doc/proofgeneral/README.Debian install -p -m0644 debian/copyright debian/proofgeneral/usr/share/doc/proofgeneral/copyright install -d debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc cp --reflink=auto -a doc/proofgeneral.pdf debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc cd 'doc/html/..' && find 'html' \( -type f -or -type l \) -and ! -empty -print0 | LC_ALL=C sort -z | xargs -0 -I {} cp --reflink=auto --parents -dp {} /<>/debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc chown -R 0:0 debian/proofgeneral-doc/usr/share/doc chmod -R go=rX debian/proofgeneral-doc/usr/share/doc chmod -R u\+rw debian/proofgeneral-doc/usr/share/doc install -p -m0644 debian/copyright debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc/copyright install -d debian/proofgeneral-doc/usr/share/doc-base/ install -p -m0644 debian/proofgeneral-doc.doc-base debian/proofgeneral-doc/usr/share/doc-base/proofgeneral-user-manual dh_installchangelogs install -p -m0644 debian/changelog debian/proofgeneral/usr/share/doc/proofgeneral/changelog.Debian install -p -m0644 debian/changelog debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc/changelog.Debian dh_installman install -d debian/proofgeneral/usr/share/man/man1/ install -p -m0644 debian/proofgeneral.1 debian/proofgeneral/usr/share/man/man1/proofgeneral.1 man --recode UTF-8 ./proofgeneral\.1 > proofgeneral\.1\.new chmod 0755 -- proofgeneral.1.new chown 0:0 -- proofgeneral.1.new mv -f proofgeneral.1.new proofgeneral.1 dh_installemacsen install -d debian/proofgeneral/usr/lib/emacsen-common/packages/install install -p -m0755 debian/emacsen-install debian/proofgeneral/usr/lib/emacsen-common/packages/install/proofgeneral install -d debian/proofgeneral/usr/lib/emacsen-common/packages/remove install -p -m0755 debian/emacsen-remove debian/proofgeneral/usr/lib/emacsen-common/packages/remove/proofgeneral install -d debian/proofgeneral/etc/emacs/site-start.d/ install -p -m0644 debian/emacsen-startup debian/proofgeneral/etc/emacs/site-start.d/50proofgeneral.el echo "# Automatically added by dh_installemacsen">> debian/proofgeneral.preinst.debhelper sed "s/#PACKAGE#/proofgeneral/g" /usr/share/debhelper/autoscripts/preinst-emacsen >> debian/proofgeneral.preinst.debhelper echo '# End automatically added section' >> debian/proofgeneral.preinst.debhelper echo "# Automatically added by dh_installemacsen">> debian/proofgeneral.postinst.debhelper sed "s/#PACKAGE#/proofgeneral/g" /usr/share/debhelper/autoscripts/postinst-emacsen >> debian/proofgeneral.postinst.debhelper echo '# End automatically added section' >> debian/proofgeneral.postinst.debhelper echo "# Automatically added by dh_installemacsen">> debian/proofgeneral.prerm.debhelper sed "s/#PACKAGE#/proofgeneral/g" /usr/share/debhelper/autoscripts/prerm-emacsen >> debian/proofgeneral.prerm.debhelper echo '# End automatically added section' >> debian/proofgeneral.prerm.debhelper dh_installinfo install -d debian/proofgeneral-doc/usr/share/info cp --reflink=auto doc/proofgeneral.info debian/proofgeneral-doc/usr/share/info chmod -R go=rX debian/proofgeneral-doc/usr/share/info/ chmod -R u\+rw debian/proofgeneral-doc/usr/share/info/ dh_icons dh_perl dh_link dh_strip_nondeterminism debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.png: 1 bytes of garbage after IEND chunk at /usr/share/perl5/File/StripNondeterminism/handlers/png.pm line 152. debian/rules override_dh_compress make[1]: Entering directory '/<>' dh_compress --exclude=proofgeneral.pdf cd debian/proofgeneral chmod a-x usr/share/doc/proofgeneral/FAQ.md usr/share/doc/proofgeneral/changelog.Debian usr/share/man/man1/proofgeneral.1 gzip -9nf usr/share/doc/proofgeneral/FAQ.md usr/share/doc/proofgeneral/changelog.Debian usr/share/man/man1/proofgeneral.1 cd '/<>' cd debian/proofgeneral-doc chmod a-x usr/share/doc/proofgeneral-doc/changelog.Debian usr/share/info/proofgeneral.info gzip -9nf usr/share/doc/proofgeneral-doc/changelog.Debian usr/share/info/proofgeneral.info cd '/<>' make[1]: Leaving directory '/<>' dh_fixperms find debian/proofgeneral -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/proofgeneral ! -type l -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/proofgeneral/usr/share/doc -type f ! -regex 'debian/proofgeneral/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral/usr/share/doc -type d -print0 2>/dev/null | xargs -0r chmod 0755 find debian/proofgeneral/usr/share/man -type f -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral/usr/include -type f -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral/usr/share/applications -type f -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral/usr/lib/x86_64-linux-gnu/perl5/5.24 debian/proofgeneral/usr/share/perl5 -type f -perm -5 -name '*.pm' -print0 2>/dev/null | xargs -0r chmod a-X find debian/proofgeneral -perm -5 -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' \) -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral/usr/bin -type f -print0 2>/dev/null | xargs -0r chmod a+x find debian/proofgeneral/usr/lib -type f -name '*.ali' -print0 2>/dev/null | xargs -0r chmod uga-w find debian/proofgeneral-doc -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/proofgeneral-doc ! -type l -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/proofgeneral-doc/usr/share/doc -type f ! -regex 'debian/proofgeneral-doc/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral-doc/usr/share/doc -type d -print0 2>/dev/null | xargs -0r chmod 0755 find debian/proofgeneral-doc/usr/share/man -type f -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral-doc/usr/include -type f -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral-doc/usr/share/applications -type f -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral-doc/usr/lib/x86_64-linux-gnu/perl5/5.24 debian/proofgeneral-doc/usr/share/perl5 -type f -perm -5 -name '*.pm' -print0 2>/dev/null | xargs -0r chmod a-X find debian/proofgeneral-doc -perm -5 -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' \) -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral-doc/usr/lib -type f -name '*.ali' -print0 2>/dev/null | xargs -0r chmod uga-w dh_installdeb install -d debian/proofgeneral/DEBIAN printf '#!/bin/sh set -e ' > debian/proofgeneral/DEBIAN/postinst cat debian/proofgeneral.postinst.debhelper >> debian/proofgeneral/DEBIAN/postinst chmod 0755 -- debian/proofgeneral/DEBIAN/postinst chown 0:0 -- debian/proofgeneral/DEBIAN/postinst perl -pe 's~#DEBHELPER#~qx{cat debian/proofgeneral.preinst.debhelper}~eg' < debian/preinst > debian/proofgeneral/DEBIAN/preinst chmod 0755 -- debian/proofgeneral/DEBIAN/preinst chown 0:0 -- debian/proofgeneral/DEBIAN/preinst printf '#!/bin/sh set -e ' > debian/proofgeneral/DEBIAN/prerm cat debian/proofgeneral.prerm.debhelper >> debian/proofgeneral/DEBIAN/prerm chmod 0755 -- debian/proofgeneral/DEBIAN/prerm chown 0:0 -- debian/proofgeneral/DEBIAN/prerm find debian/proofgeneral/etc -type f -printf '/etc/%P ' | LC_ALL=C sort >> debian/proofgeneral/DEBIAN/conffiles chmod 0644 -- debian/proofgeneral/DEBIAN/conffiles chown 0:0 -- debian/proofgeneral/DEBIAN/conffiles install -d debian/proofgeneral-doc/DEBIAN dh_gencontrol echo misc:Depends= >> debian/proofgeneral.substvars echo misc:Pre-Depends= >> debian/proofgeneral.substvars dpkg-gencontrol -pproofgeneral -ldebian/changelog -Tdebian/proofgeneral.substvars -Pdebian/proofgeneral dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe chmod 0644 -- debian/proofgeneral/DEBIAN/control chown 0:0 -- debian/proofgeneral/DEBIAN/control echo misc:Depends= >> debian/proofgeneral-doc.substvars echo misc:Pre-Depends= >> debian/proofgeneral-doc.substvars dpkg-gencontrol -pproofgeneral-doc -ldebian/changelog -Tdebian/proofgeneral-doc.substvars -Pdebian/proofgeneral-doc dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe chmod 0644 -- debian/proofgeneral-doc/DEBIAN/control chown 0:0 -- debian/proofgeneral-doc/DEBIAN/control dh_gencontrol debug symbol wrapper: all non-arch-all packages for this build platform amd64: dh_gencontrol debug symbol wrapper: packages to act on: dh_gencontrol debug symbol wrapper: ignored packages: dh_md5sums (cd debian/proofgeneral >/dev/null ; find . -type f ! -path "./etc/emacs/site-start.d/50proofgeneral.el" ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum > DEBIAN/md5sums) >/dev/null chmod 0644 -- debian/proofgeneral/DEBIAN/md5sums chown 0:0 -- debian/proofgeneral/DEBIAN/md5sums (cd debian/proofgeneral-doc >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum > DEBIAN/md5sums) >/dev/null chmod 0644 -- debian/proofgeneral-doc/DEBIAN/md5sums chown 0:0 -- debian/proofgeneral-doc/DEBIAN/md5sums dh_builddeb dpkg-deb --build debian/proofgeneral .. dpkg-deb --build debian/proofgeneral-doc .. INFO: pkgstriptranslations version 131 INFO: pkgstriptranslations version 131 pkgstriptranslations: processing proofgeneral-doc (in debian/proofgeneral-doc); do_strip: , oemstrip: pkgstriptranslations: processing proofgeneral (in debian/proofgeneral); do_strip: , oemstrip: debian/proofgeneral/usr/share/applications/proofgeneral.desktop: does not have gettext domain, not stripping pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/proofgeneral-doc/DEBIAN/control, package proofgeneral-doc, directory debian/proofgeneral-doc INFO: pkgstripfiles: waiting for lock (proofgeneral-doc) ... pkgstripfiles: processing control file: debian/proofgeneral/DEBIAN/control, package proofgeneral, directory debian/proofgeneral pkgstripfiles: Truncating usr/share/doc/proofgeneral/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package proofgeneral ... oooooooooopkgstripfiles: Truncating usr/share/doc/proofgeneral-doc/changelog.Debian.gz to topmost ten records pkgstripfiles: Disabled PNG optimization for -doc package proofgeneral-doc (to save build time) dpkg-deb: building package 'proofgeneral-doc' in '../proofgeneral-doc_4.4.1~pre161230-0.1_all.deb'. ooWARNING: optipng failed on usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.png, ignoring ooooooooo.oo pkgstripfiles: PNG optimization (23/0) for package proofgeneral took 21 s dpkg-deb: building package 'proofgeneral' in '../proofgeneral_4.4.1~pre161230-0.1_all.deb'. dpkg-genchanges --build=any,all -mLaunchpad Build Daemon >../proofgeneral_4.4.1~pre161230-0.1_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build proofgeneral-4.4.1~pre161230 dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20161231-2313 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ proofgeneral_4.4.1~pre161230-0.1_amd64.changes: ----------------------------------------------- Format: 1.8 Date: Fri, 30 Dec 2016 22:22:22 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: all Version: 4.4.1~pre161230-0.1 Distribution: zesty-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Richard B. Kreckel Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 846990 Changes: proofgeneral (4.4.1~pre161230-0.1) unstable; urgency=medium . * Non-maintainer upload. * New upstream release. * Make package work with emacs24 or emacs25 (Closes: #846990). * debian/control: Remove ${shlib:Depends} for package proofgeneral. * Drop debian/menu, following tech-ctte decision on #741573. * debian/README.Debian: Remove special note about prooftree, which is now a proper Debian package, and added HOL Light as prover. * debian/*: Adapt to new upstream home at github. * debian/patches/: - drop smartly-enable-prooftree - restrict-installed-provers.patch: added hol-light as prover - refresh all others Checksums-Sha1: 641ebbb80e6cec0edbddf41c8416da35f2e9d14e 671390 proofgeneral-doc_4.4.1~pre161230-0.1_all.deb fdf497d855246e6bb83e4fb9217de8bbd6924cfd 540102 proofgeneral_4.4.1~pre161230-0.1_all.deb Checksums-Sha256: b50a08fce49eae30bf728eace5b0b8e64d8424e8edd6cd4c64bc46b0182a1cca 671390 proofgeneral-doc_4.4.1~pre161230-0.1_all.deb f984e0dfab6211e9b3fce6c57675b18cb3ad72eb9ec33e03a7da747e76d222ac 540102 proofgeneral_4.4.1~pre161230-0.1_all.deb Files: 574beded1adf64ee91f21f80076a58a1 671390 doc optional proofgeneral-doc_4.4.1~pre161230-0.1_all.deb 685e8c5699fcee308deeecb2b3b10f14 540102 editors optional proofgeneral_4.4.1~pre161230-0.1_all.deb +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ proofgeneral-doc_4.4.1~pre161230-0.1_all.deb -------------------------------------------- new debian package, version 2.0. size 671390 bytes: control archive=4706 bytes. 752 bytes, 21 lines control 12173 bytes, 124 lines md5sums Package: proofgeneral-doc Source: proofgeneral Version: 4.4.1~pre161230-0.1 Architecture: all Maintainer: Ubuntu Developers Original-Maintainer: Hendrik Tews Installed-Size: 1599 Recommends: info-browser | pdf-viewer | www-browser Suggests: proofgeneral Breaks: proofgeneral (<< 4) Replaces: proofgeneral (<< 4) Section: doc Priority: optional Homepage: https://proofgeneral.github.io/ Description: generic frontend for proof assistants - documentation Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers. . This package provides the Proof General user manual in info, html and pdf form. drwxr-xr-x root/root 0 2016-12-30 21:22 ./ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/doc-base/ -rw-r--r-- root/root 411 2014-02-15 12:04 ./usr/share/doc-base/proofgeneral-user-manual drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/doc/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/ -rw-r--r-- root/root 1779 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/changelog.Debian.gz -rw-r--r-- root/root 22828 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/copyright drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/ -rw-r--r-- root/root 4543 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Active-scripting-buffer.html -rw-r--r-- root/root 4549 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Adding-your-own-keybindings.html -rw-r--r-- root/root 29883 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Advanced-Script-Management-and-Editing.html -rw-r--r-- root/root 4567 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Asserting-across-files.html -rw-r--r-- root/root 4579 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Automatic-Compilation-in-Detail.html -rw-r--r-- root/root 4627 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Automatic-multiple-file-handling.html -rw-r--r-- root/root 4555 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Automatic-processing.html -rw-r--r-- root/root 52091 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Basic-Script-Management.html -rw-r--r-- root/root 4487 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Basic-options.html -rw-r--r-- root/root 6726 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Bugs-and-Enhancements.html -rw-r--r-- root/root 4493 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Changing-faces.html -rw-r--r-- root/root 4639 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Changing-the-name-of-the-coq-project-file.html -rw-r--r-- root/root 4619 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Choosing-logic-and-starting-isabelle.html -rw-r--r-- root/root 57438 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Concept-Index.html -rw-r--r-- root/root 4683 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Configuring-tokens-symbols-and-shortcuts.html -rw-r--r-- root/root 49489 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Coq-Proof-General.html -rw-r--r-- root/root 4527 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Coq_002dspecific-commands.html -rw-r--r-- root/root 4415 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Credits.html -rw-r--r-- root/root 4507 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Current-Limitations.html -rw-r--r-- root/root 4615 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Customizing-Coq-Multiple-File-Support.html -rw-r--r-- root/root 38455 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Customizing-Proof-General.html -rw-r--r-- root/root 4633 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Disabling-the-coq-project-file-mechanism.html -rw-r--r-- root/root 4535 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Display-customization.html -rw-r--r-- root/root 4579 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Document-centred-working.html -rw-r--r-- root/root 4531 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Editing-features.html -rw-r--r-- root/root 4531 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Editing-multiple-proofs.html -rw-r--r-- root/root 4591 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Escaping-script-management.html -rw-r--r-- root/root 4559 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Features-of-Proof-General.html -rw-r--r-- root/root 4561 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Features-of-Prooftree.html -rw-r--r-- root/root 4719 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Finding-available-tokens-shortcuts-and-symbols.html -rw-r--r-- root/root 29349 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Function-Index.html -rw-r--r-- root/root 4409 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Future.html -rw-r--r-- root/root 4527 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Goal_002dsave-sequences.html -rw-r--r-- root/root 4553 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Goals-and-response-faces.html -rw-r--r-- root/root 4565 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Goals-buffer-commands.html -rw-r--r-- root/root 10806 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Graphical-Proof_002dTree-Visualization.html -rw-r--r-- root/root 7574 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/HOL-Light-Proof-General.html -rw-r--r-- root/root 15962 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Hints-and-Tips.html -rw-r--r-- root/root 22546 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/History-of-Proof-General.html -rw-r--r-- root/root 4471 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Holes-feature.html -rw-r--r-- root/root 4505 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/How-to-customize.html -rw-r--r-- root/root 4519 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Imenu-and-Speedbar.html -rw-r--r-- root/root 4629 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Installing-Proof-General-from-sources.html -rw-r--r-- root/root 4553 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Installing-Proof-General.html -rw-r--r-- root/root 4597 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Interrupting-during-trace-output.html -rw-r--r-- root/root 21803 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Introducing-Proof-General.html -rw-r--r-- root/root 16545 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Isabelle-Proof-General.html -rw-r--r-- root/root 4505 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Isabelle-commands.html -rw-r--r-- root/root 4541 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Isabelle-customizations.html -rw-r--r-- root/root 4505 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Isabelle-settings.html -rw-r--r-- root/root 21290 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Keystroke-Index.html -rw-r--r-- root/root 9296 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/LEGO-Proof-General.html -rw-r--r-- root/root 4509 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/LEGO-customizations.html -rw-r--r-- root/root 4527 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/LEGO-specific-commands.html -rw-r--r-- root/root 4449 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/LEGO-tags.html -rw-r--r-- root/root 4597 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Locked-queue-and-editing-regions.html -rw-r--r-- root/root 4495 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Locking-Ancestors.html -rw-r--r-- root/root 4503 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Maths-menu.html -rw-r--r-- root/root 4641 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Moving-between-Unicode-and-tokens.html -rw-r--r-- root/root 4519 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Multiple-File-Support.html -rw-r--r-- root/root 4501 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/News-for-Version-4_002e0.html -rw-r--r-- root/root 4501 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/News-for-Version-4_002e1.html -rw-r--r-- root/root 4501 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/News-for-Version-4_002e2.html -rw-r--r-- root/root 4501 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/News-for-Version-4_002e3.html -rw-r--r-- root/root 4501 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/News-for-Version-4_002e4.html -rw-r--r-- root/root 4509 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Notes-for-syssies.html -rw-r--r-- root/root 4545 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Obtaining-Proof-General.html -rw-r--r-- root/root 12146 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Obtaining-and-Installing.html -rw-r--r-- root/root 4511 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e0.html -rw-r--r-- root/root 4511 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e1.html -rw-r--r-- root/root 4511 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e2.html -rw-r--r-- root/root 4511 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e3.html -rw-r--r-- root/root 4511 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e4.html -rw-r--r-- root/root 4511 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e5.html -rw-r--r-- root/root 4511 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e6.html -rw-r--r-- root/root 4511 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Old-News-for-3_002e7.html -rw-r--r-- root/root 4571 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Organization-of-this-manual.html -rw-r--r-- root/root 15328 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Preface.html -rw-r--r-- root/root 4583 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Prerequisites-for-this-manual.html -rw-r--r-- root/root 4549 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Proof-assistant-commands.html -rw-r--r-- root/root 4483 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Proof-scripts.html -rw-r--r-- root/root 4545 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Proof_002dTree-Visualization.html -rw-r--r-- root/root 4573 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Prooftree-Customization.html -rw-r--r-- root/root 4593 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Quick-compilation-and-_002evio-Files.html -rw-r--r-- root/root 4511 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Quick-start-guide.html -rw-r--r-- root/root 6823 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/References.html -rw-r--r-- root/root 4573 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Retracting-across-files.html -rw-r--r-- root/root 4523 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Script-buffer-faces.html -rw-r--r-- root/root 4489 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Script-buffers.html -rw-r--r-- root/root 4543 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Script-editing-commands.html -rw-r--r-- root/root 4561 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Script-processing-commands.html -rw-r--r-- root/root 4587 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Selecting-suitable-fonts.html -rw-r--r-- root/root 4581 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Setting-the-names-of-binaries.html -rw-r--r-- root/root 7297 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Shell-Proof-General.html -rw-r--r-- root/root 4527 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Special-layout.html -rw-r--r-- root/root 4719 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Starting-and-Stopping-Proof_002dTree-Visualization.html -rw-r--r-- root/root 9790 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Subterm-Activation-and-Proof-by-Pointing.html -rw-r--r-- root/root 4597 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Summary-of-Proof-General-buffers.html -rw-r--r-- root/root 4543 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Support-for-completion.html -rw-r--r-- root/root 16602 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Support-for-other-Packages.html -rw-r--r-- root/root 4555 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Support-for-outline-mode.html -rw-r--r-- root/root 4507 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Support-for-tags.html -rw-r--r-- root/root 4565 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Supported-proof-assistants.html -rw-r--r-- root/root 4621 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Switching-between-proof-scripts.html -rw-r--r-- root/root 4525 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Syntax-highlighting.html -rw-r--r-- root/root 4501 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Toolbar-commands.html -rw-r--r-- root/root 4595 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Tweaking-configuration-settings.html -rw-r--r-- root/root 4557 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Unicode-Tokens-mode.html -rw-r--r-- root/root 24831 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Unicode-symbols-and-special-layout-support.html -rw-r--r-- root/root 4481 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/User-options.html -rw-r--r-- root/root 4515 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/User_002dloaded-tactics.html -rw-r--r-- root/root 4501 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Using-abbreviations.html -rw-r--r-- root/root 4507 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Using-file-variables.html -rw-r--r-- root/root 4549 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Using-the-Coq-project-file.html -rw-r--r-- root/root 25069 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Variable-Index.html -rw-r--r-- root/root 4573 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/View-of-processed-files.html -rw-r--r-- root/root 4615 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Visibility-of-completed-proofs.html -rw-r--r-- root/root 4591 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/Walkthrough-example-in-Isabelle.html -rw-r--r-- root/root 5751 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/html/index.html -rw-r--r-- root/root 510862 2016-12-30 21:22 ./usr/share/doc/proofgeneral-doc/proofgeneral.pdf drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/info/ -rw-r--r-- root/root 73743 2016-12-30 21:22 ./usr/share/info/proofgeneral.info.gz proofgeneral_4.4.1~pre161230-0.1_all.deb ---------------------------------------- new debian package, version 2.0. size 540102 bytes: control archive=4869 bytes. 42 bytes, 1 lines conffiles 813 bytes, 20 lines control 11387 bytes, 125 lines md5sums 324 bytes, 8 lines * postinst #!/bin/sh 1125 bytes, 38 lines * preinst #!/bin/sh 295 bytes, 7 lines * prerm #!/bin/sh Package: proofgeneral Version: 4.4.1~pre161230-0.1 Architecture: all Maintainer: Ubuntu Developers Original-Maintainer: Hendrik Tews Installed-Size: 2018 Depends: emacs24 | emacs25, mmm-mode Suggests: proofgeneral-doc, prooftree Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc Replaces: proofgeneral-coq, proofgeneral-misc Section: editors Priority: optional Homepage: https://proofgeneral.github.io/ Description: generic frontend for proof assistants Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers. . This package provides Proof General support for Coq. (There is no other proof assistant that one could sensibly support.) drwxr-xr-x root/root 0 2016-12-30 21:22 ./ drwxr-xr-x root/root 0 2016-12-30 21:22 ./etc/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./etc/emacs/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./etc/emacs/site-start.d/ -rw-r--r-- root/root 1017 2016-12-30 13:19 ./etc/emacs/site-start.d/50proofgeneral.el drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/bin/ -rwxr-xr-x root/root 275 2016-12-30 21:22 ./usr/bin/proofgeneral drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/lib/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/lib/emacsen-common/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/lib/emacsen-common/packages/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/lib/emacsen-common/packages/install/ -rwxr-xr-x root/root 1966 2016-12-30 13:16 ./usr/lib/emacsen-common/packages/install/proofgeneral drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/lib/emacsen-common/packages/remove/ -rwxr-xr-x root/root 284 2016-12-30 13:17 ./usr/lib/emacsen-common/packages/remove/proofgeneral drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/application-registry/ -rw-r--r-- root/root 169 2016-12-30 21:22 ./usr/share/application-registry/proofgeneral.applications drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/applications/ -rw-r--r-- root/root 289 2016-12-30 21:22 ./usr/share/applications/proofgeneral.desktop drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/doc/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/doc/proofgeneral/ -rw-r--r-- root/root 743 2016-12-28 12:10 ./usr/share/doc/proofgeneral/AUTHORS -rw-r--r-- root/root 4095 2016-12-28 12:10 ./usr/share/doc/proofgeneral/BUGS -rw-r--r-- root/root 1481 2016-12-28 12:10 ./usr/share/doc/proofgeneral/COMPATIBILITY -rw-r--r-- root/root 4708 2016-12-28 12:10 ./usr/share/doc/proofgeneral/FAQ.md.gz -rw-r--r-- root/root 1128 2016-12-30 21:22 ./usr/share/doc/proofgeneral/README.Debian -rw-r--r-- root/root 2123 2016-12-28 12:10 ./usr/share/doc/proofgeneral/README.md -rw-r--r-- root/root 406 2016-12-28 12:10 ./usr/share/doc/proofgeneral/REGISTER -rw-r--r-- root/root 1779 2016-12-30 21:22 ./usr/share/doc/proofgeneral/changelog.Debian.gz -rw-r--r-- root/root 22828 2016-12-30 21:22 ./usr/share/doc/proofgeneral/copyright drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/doc/proofgeneral/examples/ -rw-r--r-- root/root 251 2016-12-30 21:22 ./usr/share/doc/proofgeneral/examples/coq_example.v drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/emacs/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/emacs/site-lisp/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/coq/ -rw-r--r-- root/root 12689 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el -rw-r--r-- root/root 3051 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el -rw-r--r-- root/root 28051 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el -rw-r--r-- root/root 12674 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el -rw-r--r-- root/root 43932 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el -rw-r--r-- root/root 7219 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el -rw-r--r-- root/root 1281 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.el -rw-r--r-- root/root 84775 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el -rw-r--r-- root/root 36200 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-test.el -rw-r--r-- root/root 18047 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el -rw-r--r-- root/root 41423 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.el -rw-r--r-- root/root 77776 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el -rw-r--r-- root/root 26668 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.el -rw-r--r-- root/root 7477 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el -rw-r--r-- root/root 110417 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/coq/coq.el drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/generic/ -rw-r--r-- root/root 2198 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el -rw-r--r-- root/root 8892 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el -rw-r--r-- root/root 8198 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el -rw-r--r-- root/root 4340 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el -rw-r--r-- root/root 3872 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.el -rw-r--r-- root/root 9853 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.el -rw-r--r-- root/root 22404 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el -rw-r--r-- root/root 23188 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el -rw-r--r-- root/root 21117 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el -rw-r--r-- root/root 48519 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el -rw-r--r-- root/root 10195 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el -rw-r--r-- root/root 7363 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el -rw-r--r-- root/root 34950 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el -rw-r--r-- root/root 2045 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.el -rw-r--r-- root/root 73373 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el -rw-r--r-- root/root 9815 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el -rw-r--r-- root/root 3860 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-easy-config.el -rw-r--r-- root/root 8199 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-faces.el -rw-r--r-- root/root 3256 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-indent.el -rw-r--r-- root/root 1860 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-maths-menu.el -rw-r--r-- root/root 37655 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-menu.el -rw-r--r-- root/root 2736 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-mmm.el -rw-r--r-- root/root 105325 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-script.el -rw-r--r-- root/root 72207 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-shell.el -rw-r--r-- root/root 14108 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el -rw-r--r-- root/root 10984 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-splash.el -rw-r--r-- root/root 12064 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-syntax.el -rw-r--r-- root/root 8687 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-toolbar.el -rw-r--r-- root/root 51683 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-tree.el -rw-r--r-- root/root 5082 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-unicode-tokens.el -rw-r--r-- root/root 17015 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-useropts.el -rw-r--r-- root/root 29378 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-utils.el -rw-r--r-- root/root 1368 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/generic/proof.el drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/hol-light/ -rw-r--r-- root/root 700 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-autotest.el -rw-r--r-- root/root 6107 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light-unicode-tokens.el -rw-r--r-- root/root 18936 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/hol-light/hol-light.el drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/ -rw-r--r-- root/root 55511 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral-splash.png -rw-r--r-- root/root 123384 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.png -rw-r--r-- root/root 904 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/README -rw-r--r-- root/root 236 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.png -rw-r--r-- root/root 908 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.xpm -rw-r--r-- root/root 860 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-command.png -rw-r--r-- root/root 4475 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-command.xpm -rw-r--r-- root/root 492 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-context.png -rw-r--r-- root/root 3291 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-context.xpm -rw-r--r-- root/root 744 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-find.png -rw-r--r-- root/root 3832 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-find.xpm -rw-r--r-- root/root 1012 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.png -rw-r--r-- root/root 5432 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.xpm -rw-r--r-- root/root 325 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.png -rw-r--r-- root/root 1447 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.xpm -rw-r--r-- root/root 879 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-help.png -rw-r--r-- root/root 4840 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-help.xpm -rw-r--r-- root/root 674 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-home.png -rw-r--r-- root/root 2803 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-home.xpm -rw-r--r-- root/root 598 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-info.png -rw-r--r-- root/root 3000 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-info.xpm -rw-r--r-- root/root 205 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.png -rw-r--r-- root/root 1047 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.xpm -rw-r--r-- root/root 141 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-next.png -rw-r--r-- root/root 786 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-next.xpm -rw-r--r-- root/root 218 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.png -rw-r--r-- root/root 776 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.xpm -rw-r--r-- root/root 1182 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.png -rw-r--r-- root/root 6551 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.xpm -rw-r--r-- root/root 165 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.png -rw-r--r-- root/root 789 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.xpm -rw-r--r-- root/root 155 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.png -rw-r--r-- root/root 789 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.xpm -rw-r--r-- root/root 490 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-state.png -rw-r--r-- root/root 3289 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-state.xpm -rw-r--r-- root/root 143 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.png -rw-r--r-- root/root 786 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.xpm -rw-r--r-- root/root 154 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-use.png -rw-r--r-- root/root 785 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/epg-use.xpm -rw-r--r-- root/root 1638 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/images/hiddenproof.xpm drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/emacs/site-lisp/proofgeneral/lib/ -rw-r--r-- root/root 12634 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/lib/bufhist.el -rw-r--r-- root/root 26027 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/lib/holes.el -rw-r--r-- root/root 5317 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/lib/local-vars-list.el -rw-r--r-- root/root 13421 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/lib/maths-menu.el -rw-r--r-- root/root 5294 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/lib/pg-dev.el -rw-r--r-- root/root 2087 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/lib/pg-fontsets.el -rw-r--r-- root/root 4210 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/lib/proof-compat.el -rw-r--r-- root/root 11370 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/lib/scomint.el -rw-r--r-- root/root 8503 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/lib/span.el -rw-r--r-- root/root 14300 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/lib/texi-docstring-magic.el -rw-r--r-- root/root 246509 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/lib/unicode-chars.el -rw-r--r-- root/root 53581 2016-12-28 12:10 ./usr/share/emacs/site-lisp/proofgeneral/lib/unicode-tokens.el drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/icons/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/icons/hicolor/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/icons/hicolor/16x16/ -rw-r--r-- root/root 811 2016-12-30 21:22 ./usr/share/icons/hicolor/16x16/proofgeneral.png drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/icons/hicolor/32x32/ -rw-r--r-- root/root 1857 2016-12-30 21:22 ./usr/share/icons/hicolor/32x32/proofgeneral.png drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/icons/hicolor/48x48/ -rw-r--r-- root/root 3473 2016-12-30 21:22 ./usr/share/icons/hicolor/48x48/proofgeneral.png drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/man/ drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/man/man1/ -rw-r--r-- root/root 697 2016-12-30 21:22 ./usr/share/man/man1/proofgeneral.1.gz drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/mime-info/ -rw-r--r-- root/root 431 2016-12-30 21:22 ./usr/share/mime-info/proofgeneral.keys -rw-r--r-- root/root 52 2016-12-30 21:22 ./usr/share/mime-info/proofgeneral.mime drwxr-xr-x root/root 0 2016-12-30 21:22 ./usr/share/pixmaps/ -rw-r--r-- root/root 3473 2016-12-30 21:22 ./usr/share/pixmaps/proofgeneral.png +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Not removing build depends: as requested Keeping session: +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build-Space: 30856 Build-Time: 33 Distribution: zesty-proposed Host Architecture: amd64 Install-Time: 79 Job: proofgeneral_4.4.1~pre161230-0.1.dsc Machine Architecture: amd64 Package: proofgeneral Package-Time: 115 Source-Version: 4.4.1~pre161230-0.1 Space: 30856 Status: successful Version: 4.4.1~pre161230-0.1 -------------------------------------------------------------------------------- Finished at 20161231-2313 Build needed 00:01:55, 30856k disc space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-11801173'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-11801173/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-11801173'] Unmounting chroot for build PACKAGEBUILD-11801173... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-11801173'] Removing build PACKAGEBUILD-11801173