RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux lcy01-24 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... 9 Jan 09:39:45 ntpdate[1922]: adjust time server 10.211.37.1 offset -0.000479 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-11834966', '/home/buildd/filecache-default/5ce6418ad8acb4cb980a16cd30f1736d3291c7a9'] Unpacking chroot for build PACKAGEBUILD-11834966 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-11834966'] Mounting chroot for build PACKAGEBUILD-11834966 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-11834966', '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-11834966 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-11834966', 'i386'] Updating debian chroot for build PACKAGEBUILD-11834966 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 i386 Packages [1229 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main Translation-en [586 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/universe i386 Packages [8025 kB] Get:8 http://ftpmaster.internal/ubuntu zesty/universe Translation-en [4668 kB] Get:9 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 Packages [81.5 kB] Get:10 http://ftpmaster.internal/ubuntu zesty-proposed/main Translation-en [42.7 kB] Get:11 http://ftpmaster.internal/ubuntu zesty-proposed/universe i386 Packages [338 kB] Get:12 http://ftpmaster.internal/ubuntu zesty-proposed/universe Translation-en [154 kB] Fetched 15.7 MB in 4s (3554 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 libisl15 libitm1 libk5crypto3 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libksba8 libldap-2.4-2 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 libubsan0 libudev1 libustr-1.0-1 libuuid1 libwind0-heimdal linux-libc-dev mount multiarch-support openssl perl perl-base pinentry-curses pkg-create-dbgsym sed 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 59.4 MB of archives. After this operation, 35.7 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu zesty/main i386 base-files i386 9.6ubuntu9 [57.0 kB] Get:2 http://ftpmaster.internal/ubuntu zesty/main i386 debianutils i386 4.8.1 [85.8 kB] Get:3 http://ftpmaster.internal/ubuntu zesty/main i386 bash i386 4.4-2ubuntu1 [622 kB] Get:4 http://ftpmaster.internal/ubuntu zesty/main i386 bsdutils i386 1:2.29-1ubuntu2 [58.4 kB] Get:5 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 diffutils i386 1:3.5-2 [167 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main i386 findutils i386 4.6.0+git+20161106-1 [291 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/main i386 grep i386 2.27-1 [158 kB] Get:8 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libc6-dev i386 2.24-7ubuntu2 [1870 kB] Get:9 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libc-dev-bin i386 2.24-7ubuntu2 [66.6 kB] Get:10 http://ftpmaster.internal/ubuntu zesty/main i386 linux-libc-dev i386 4.9.0-11.12 [866 kB] Get:11 http://ftpmaster.internal/ubuntu zesty/main i386 libquadmath0 i386 6.3.0-2ubuntu1 [205 kB] Get:12 http://ftpmaster.internal/ubuntu zesty/main i386 libitm1 i386 6.3.0-2ubuntu1 [31.2 kB] Get:13 http://ftpmaster.internal/ubuntu zesty/main i386 gcc-6-base i386 6.3.0-2ubuntu1 [17.7 kB] Get:14 http://ftpmaster.internal/ubuntu zesty/main i386 libgcc1 i386 1:6.3.0-2ubuntu1 [48.0 kB] Get:15 http://ftpmaster.internal/ubuntu zesty/main i386 libcc1-0 i386 6.3.0-2ubuntu1 [32.9 kB] Get:16 http://ftpmaster.internal/ubuntu zesty/main i386 binutils i386 2.27.90.20161231-1ubuntu1 [2522 kB] Get:17 http://ftpmaster.internal/ubuntu zesty/main i386 libgomp1 i386 6.3.0-2ubuntu1 [80.0 kB] Get:18 http://ftpmaster.internal/ubuntu zesty/main i386 libatomic1 i386 6.3.0-2ubuntu1 [9922 B] Get:19 http://ftpmaster.internal/ubuntu zesty/main i386 libasan3 i386 6.3.0-2ubuntu1 [309 kB] Get:20 http://ftpmaster.internal/ubuntu zesty/main i386 libubsan0 i386 6.3.0-2ubuntu1 [121 kB] Get:21 http://ftpmaster.internal/ubuntu zesty/main i386 libcilkrts5 i386 6.3.0-2ubuntu1 [45.8 kB] Get:22 http://ftpmaster.internal/ubuntu zesty/main i386 libmpx2 i386 6.3.0-2ubuntu1 [12.8 kB] Get:23 http://ftpmaster.internal/ubuntu zesty/main i386 g++-6 i386 6.3.0-2ubuntu1 [7627 kB] Get:24 http://ftpmaster.internal/ubuntu zesty/main i386 libstdc++-6-dev i386 6.3.0-2ubuntu1 [1468 kB] Get:25 http://ftpmaster.internal/ubuntu zesty/main i386 libgcc-6-dev i386 6.3.0-2ubuntu1 [2313 kB] Get:26 http://ftpmaster.internal/ubuntu zesty/main i386 gcc-6 i386 6.3.0-2ubuntu1 [7380 kB] Get:27 http://ftpmaster.internal/ubuntu zesty/main i386 cpp-6 i386 6.3.0-2ubuntu1 [6826 kB] Get:28 http://ftpmaster.internal/ubuntu zesty/main i386 libstdc++6 i386 6.3.0-2ubuntu1 [433 kB] Get:29 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 zlib1g i386 1:1.2.8.dfsg-4ubuntu1 [51.9 kB] Get:30 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libgmp10 i386 2:6.1.2+dfsg-1 [247 kB] Get:31 http://ftpmaster.internal/ubuntu zesty/main i386 libisl15 i386 0.18-1 [627 kB] Get:32 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libc6 i386 2.24-7ubuntu2 [2279 kB] Get:33 http://ftpmaster.internal/ubuntu zesty/main i386 libuuid1 i386 2.29-1ubuntu2 [15.7 kB] Get:34 http://ftpmaster.internal/ubuntu zesty/main i386 libblkid1 i386 2.29-1ubuntu2 [125 kB] Get:35 http://ftpmaster.internal/ubuntu zesty/main i386 libfdisk1 i386 2.29-1ubuntu2 [161 kB] Get:36 http://ftpmaster.internal/ubuntu zesty/main i386 libselinux1 i386 2.6-3 [73.3 kB] Get:37 http://ftpmaster.internal/ubuntu zesty/main i386 util-linux i386 2.29-1ubuntu2 [927 kB] Get:38 http://ftpmaster.internal/ubuntu zesty/main i386 mount i386 2.29-1ubuntu2 [136 kB] Get:39 http://ftpmaster.internal/ubuntu zesty/main i386 perl-modules-5.24 all 5.24.1~rc4-1 [2663 kB] Get:40 http://ftpmaster.internal/ubuntu zesty/main i386 libperl5.24 i386 5.24.1~rc4-1 [3081 kB] Get:41 http://ftpmaster.internal/ubuntu zesty/main i386 perl i386 5.24.1~rc4-1 [219 kB] Get:42 http://ftpmaster.internal/ubuntu zesty/main i386 perl-base i386 5.24.1~rc4-1 [1408 kB] Get:43 http://ftpmaster.internal/ubuntu zesty/main i386 sed i386 4.3-3 [179 kB] Get:44 http://ftpmaster.internal/ubuntu zesty/main i386 tar i386 1.29b-1.1 [236 kB] Get:45 http://ftpmaster.internal/ubuntu zesty/main i386 base-passwd i386 3.5.42 [49.1 kB] Get:46 http://ftpmaster.internal/ubuntu zesty/main i386 init-system-helpers all 1.46 [37.3 kB] Get:47 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libc-bin i386 2.24-7ubuntu2 [582 kB] Get:48 http://ftpmaster.internal/ubuntu zesty/main i386 liblzma5 i386 5.2.2-1.2 [98.7 kB] Get:49 http://ftpmaster.internal/ubuntu zesty/main i386 libapt-pkg5.0 i386 1.4~beta3 [851 kB] Get:50 http://ftpmaster.internal/ubuntu zesty/main i386 adduser all 3.113+nmu3ubuntu5 [161 kB] Get:51 http://ftpmaster.internal/ubuntu zesty/main i386 ubuntu-keyring all 2016.10.27 [16.6 kB] Get:52 http://ftpmaster.internal/ubuntu zesty/main i386 apt i386 1.4~beta3 [1106 kB] Get:53 http://ftpmaster.internal/ubuntu zesty/main i386 libapparmor1 i386 2.10.95-4ubuntu5.2 [31.6 kB] Get:54 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libgpg-error0 i386 1.26-1 [37.4 kB] Get:55 http://ftpmaster.internal/ubuntu zesty/main i386 libgcrypt20 i386 1.7.5-2 [373 kB] Get:56 http://ftpmaster.internal/ubuntu zesty/main i386 libmount1 i386 2.29-1ubuntu2 [130 kB] Get:57 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libseccomp2 i386 2.3.1-2.1ubuntu1 [35.5 kB] Get:58 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 systemd i386 232-8 [2406 kB] Get:59 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libsystemd0 i386 232-8 [229 kB] Get:60 http://ftpmaster.internal/ubuntu zesty/main i386 init i386 1.46 [5318 B] Get:61 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 systemd-sysv i386 232-8 [14.1 kB] Get:62 http://ftpmaster.internal/ubuntu zesty/main i386 libsepol1 i386 2.6-2 [240 kB] Get:63 http://ftpmaster.internal/ubuntu zesty/main i386 libustr-1.0-1 i386 1.0.4-6 [63.7 kB] Get:64 http://ftpmaster.internal/ubuntu zesty/main i386 libsemanage-common all 2.6-2 [6794 B] Get:65 http://ftpmaster.internal/ubuntu zesty/main i386 libsemanage1 i386 2.6-2 [90.2 kB] Get:66 http://ftpmaster.internal/ubuntu zesty/main i386 libsmartcols1 i386 2.29-1ubuntu2 [75.9 kB] Get:67 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libudev1 i386 232-8 [60.5 kB] Get:68 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 multiarch-support i386 2.24-7ubuntu2 [6814 B] Get:69 http://ftpmaster.internal/ubuntu zesty/main i386 tzdata all 2016j-2 [204 kB] Get:70 http://ftpmaster.internal/ubuntu zesty/main i386 libdevmapper1.02.1 i386 2:1.02.136-1ubuntu1 [146 kB] Get:71 http://ftpmaster.internal/ubuntu zesty/main i386 dmsetup i386 2:1.02.136-1ubuntu1 [72.9 kB] Get:72 http://ftpmaster.internal/ubuntu zesty/main i386 libroken18-heimdal i386 1.7~git20160703+dfsg-1ubuntu1 [44.4 kB] Get:73 http://ftpmaster.internal/ubuntu zesty/main i386 libasn1-8-heimdal i386 1.7~git20160703+dfsg-1ubuntu1 [187 kB] Get:74 http://ftpmaster.internal/ubuntu zesty/main i386 libassuan0 i386 2.4.3-2 [36.6 kB] Get:75 http://ftpmaster.internal/ubuntu zesty/main i386 libhogweed4 i386 3.3-1 [137 kB] Get:76 http://ftpmaster.internal/ubuntu zesty/main i386 libnettle6 i386 3.3-1 [109 kB] Get:77 http://ftpmaster.internal/ubuntu zesty/main i386 libp11-kit0 i386 0.23.3-2 [110 kB] Get:78 http://ftpmaster.internal/ubuntu zesty/main i386 libgnutls30 i386 3.5.6-4ubuntu2 [642 kB] Get:79 http://ftpmaster.internal/ubuntu zesty/main i386 libheimbase1-heimdal i386 1.7~git20160703+dfsg-1ubuntu1 [32.1 kB] Get:80 http://ftpmaster.internal/ubuntu zesty/main i386 libhcrypto4-heimdal i386 1.7~git20160703+dfsg-1ubuntu1 [93.1 kB] Get:81 http://ftpmaster.internal/ubuntu zesty/main i386 libwind0-heimdal i386 1.7~git20160703+dfsg-1ubuntu1 [48.4 kB] Get:82 http://ftpmaster.internal/ubuntu zesty/main i386 libhx509-5-heimdal i386 1.7~git20160703+dfsg-1ubuntu1 [118 kB] Get:83 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libsqlite3-0 i386 3.16.2-1 [519 kB] Get:84 http://ftpmaster.internal/ubuntu zesty/main i386 libkrb5-26-heimdal i386 1.7~git20160703+dfsg-1ubuntu1 [227 kB] Get:85 http://ftpmaster.internal/ubuntu zesty/main i386 libheimntlm0-heimdal i386 1.7~git20160703+dfsg-1ubuntu1 [16.6 kB] Get:86 http://ftpmaster.internal/ubuntu zesty/main i386 libgssapi3-heimdal i386 1.7~git20160703+dfsg-1ubuntu1 [108 kB] Get:87 http://ftpmaster.internal/ubuntu zesty/main i386 libksba8 i386 1.3.5-2 [99.9 kB] Get:88 http://ftpmaster.internal/ubuntu zesty/main i386 libsasl2-modules-db i386 2.1.27~72-g88d82a3+dfsg-1 [16.0 kB] Get:89 http://ftpmaster.internal/ubuntu zesty/main i386 libsasl2-2 i386 2.1.27~72-g88d82a3+dfsg-1 [52.3 kB] Get:90 http://ftpmaster.internal/ubuntu zesty/main i386 libldap-2.4-2 i386 2.4.42+dfsg-2ubuntu5 [173 kB] Get:91 http://ftpmaster.internal/ubuntu zesty/main i386 libnpth0 i386 1.3-1 [8414 B] Get:92 http://ftpmaster.internal/ubuntu zesty/main i386 libslang2 i386 2.3.1-5ubuntu1 [423 kB] Get:93 http://ftpmaster.internal/ubuntu zesty/main i386 libssl1.0.0 i386 1.0.2g-1ubuntu10 [910 kB] Get:94 http://ftpmaster.internal/ubuntu zesty/main i386 pinentry-curses i386 1.0.0-1 [33.4 kB] Get:95 http://ftpmaster.internal/ubuntu zesty/main i386 xz-utils i386 5.2.2-1.2 [86.3 kB] Get:96 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libgssapi-krb5-2 i386 1.15-1 [129 kB] Get:97 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libkrb5-3 i386 1.15-1 [300 kB] Get:98 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libkrb5support0 i386 1.15-1 [33.8 kB] Get:99 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libk5crypto3 i386 1.15-1 [88.3 kB] Get:100 http://ftpmaster.internal/ubuntu zesty/main i386 libcurl3-gnutls i386 7.51.0-1ubuntu1 [210 kB] Get:101 http://ftpmaster.internal/ubuntu zesty/main i386 apt-transport-https i386 1.4~beta3 [38.1 kB] Get:102 http://ftpmaster.internal/ubuntu zesty/main i386 openssl i386 1.0.2g-1ubuntu10 [506 kB] Get:103 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 ca-certificates all 20161130 [193 kB] Get:104 http://ftpmaster.internal/ubuntu zesty/main i386 libpng16-16 i386 1.6.27-1 [181 kB] Get:105 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 advancecomp i386 1.23-1 [189 kB] Get:106 http://ftpmaster.internal/ubuntu zesty/main i386 cpp i386 4:6.2.1-1ubuntu1 [27.4 kB] Get:107 http://ftpmaster.internal/ubuntu zesty/main i386 gcc i386 4:6.2.1-1ubuntu1 [5206 B] Get:108 http://ftpmaster.internal/ubuntu zesty/main i386 g++ i386 4:6.2.1-1ubuntu1 [1486 B] Get:109 http://ftpmaster.internal/ubuntu zesty/main i386 pkg-create-dbgsym all 0.73 [8952 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 59.4 MB in 3s (18.3 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12310 files and directories currently installed.) Preparing to unpack .../base-files_9.6ubuntu9_i386.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 ... 12312 files and directories currently installed.) Preparing to unpack .../debianutils_4.8.1_i386.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 ... 12312 files and directories currently installed.) Preparing to unpack .../bash_4.4-2ubuntu1_i386.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 ... 12312 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.29-1ubuntu2_i386.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 ... 12312 files and directories currently installed.) Preparing to unpack .../diffutils_1%3a3.5-2_i386.deb ... Unpacking diffutils (1:3.5-2) over (1:3.3-3) ... Setting up diffutils (1:3.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 ... 12312 files and directories currently installed.) Preparing to unpack .../findutils_4.6.0+git+20161106-1_i386.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 ... 12312 files and directories currently installed.) Preparing to unpack .../archives/grep_2.27-1_i386.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 ... 12312 files and directories currently installed.) Preparing to unpack .../0-libc6-dev_2.24-7ubuntu2_i386.deb ... Unpacking libc6-dev:i386 (2.24-7ubuntu2) over (2.24-3ubuntu1) ... Preparing to unpack .../1-libc-dev-bin_2.24-7ubuntu2_i386.deb ... Unpacking libc-dev-bin (2.24-7ubuntu2) over (2.24-3ubuntu1) ... Preparing to unpack .../2-linux-libc-dev_4.9.0-11.12_i386.deb ... Unpacking linux-libc-dev:i386 (4.9.0-11.12) over (4.8.0-22.24) ... Preparing to unpack .../3-libquadmath0_6.3.0-2ubuntu1_i386.deb ... Unpacking libquadmath0:i386 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../4-libitm1_6.3.0-2ubuntu1_i386.deb ... Unpacking libitm1:i386 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../5-gcc-6-base_6.3.0-2ubuntu1_i386.deb ... Unpacking gcc-6-base:i386 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Setting up gcc-6-base:i386 (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 ... 12328 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a6.3.0-2ubuntu1_i386.deb ... Unpacking libgcc1:i386 (1:6.3.0-2ubuntu1) over (1:6.2.0-5ubuntu12) ... Setting up libgcc1:i386 (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 ... 12328 files and directories currently installed.) Preparing to unpack .../00-libcc1-0_6.3.0-2ubuntu1_i386.deb ... Unpacking libcc1-0:i386 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../01-binutils_2.27.90.20161231-1ubuntu1_i386.deb ... Unpacking binutils (2.27.90.20161231-1ubuntu1) over (2.27-8ubuntu2) ... Preparing to unpack .../02-libgomp1_6.3.0-2ubuntu1_i386.deb ... Unpacking libgomp1:i386 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../03-libatomic1_6.3.0-2ubuntu1_i386.deb ... Unpacking libatomic1:i386 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../04-libasan3_6.3.0-2ubuntu1_i386.deb ... Unpacking libasan3:i386 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../05-libubsan0_6.3.0-2ubuntu1_i386.deb ... Unpacking libubsan0:i386 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../06-libcilkrts5_6.3.0-2ubuntu1_i386.deb ... Unpacking libcilkrts5:i386 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../07-libmpx2_6.3.0-2ubuntu1_i386.deb ... Unpacking libmpx2:i386 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../08-g++-6_6.3.0-2ubuntu1_i386.deb ... Unpacking g++-6 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../09-libstdc++-6-dev_6.3.0-2ubuntu1_i386.deb ... Unpacking libstdc++-6-dev:i386 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../10-libgcc-6-dev_6.3.0-2ubuntu1_i386.deb ... Unpacking libgcc-6-dev:i386 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../11-gcc-6_6.3.0-2ubuntu1_i386.deb ... Unpacking gcc-6 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../12-cpp-6_6.3.0-2ubuntu1_i386.deb ... Unpacking cpp-6 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Preparing to unpack .../13-libstdc++6_6.3.0-2ubuntu1_i386.deb ... Unpacking libstdc++6:i386 (6.3.0-2ubuntu1) over (6.2.0-5ubuntu12) ... Setting up libstdc++6:i386 (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 ... 12327 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.2.8.dfsg-4ubuntu1_i386.deb ... Unpacking zlib1g:i386 (1:1.2.8.dfsg-4ubuntu1) over (1:1.2.8.dfsg-2ubuntu5) ... Setting up zlib1g:i386 (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 ... 12327 files and directories currently installed.) Preparing to unpack .../0-libgmp10_2%3a6.1.2+dfsg-1_i386.deb ... Unpacking libgmp10:i386 (2:6.1.2+dfsg-1) over (2:6.1.1+dfsg-1) ... Preparing to unpack .../1-libisl15_0.18-1_i386.deb ... Unpacking libisl15:i386 (0.18-1) over (0.17.1-1) ... Preparing to unpack .../2-libc6_2.24-7ubuntu2_i386.deb ... Unpacking libc6:i386 (2.24-7ubuntu2) over (2.24-3ubuntu1) ... Setting up libc6:i386 (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 ... 12327 files and directories currently installed.) Preparing to unpack .../libuuid1_2.29-1ubuntu2_i386.deb ... Unpacking libuuid1:i386 (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libuuid1:i386 (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 ... 12327 files and directories currently installed.) Preparing to unpack .../libblkid1_2.29-1ubuntu2_i386.deb ... Unpacking libblkid1:i386 (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libblkid1:i386 (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 ... 12327 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.29-1ubuntu2_i386.deb ... Unpacking libfdisk1:i386 (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libfdisk1:i386 (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 ... 12327 files and directories currently installed.) Preparing to unpack .../libselinux1_2.6-3_i386.deb ... Unpacking libselinux1:i386 (2.6-3) over (2.5-3) ... Setting up libselinux1:i386 (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 ... 12327 files and directories currently installed.) Preparing to unpack .../util-linux_2.29-1ubuntu2_i386.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 ... 12326 files and directories currently installed.) Preparing to unpack .../mount_2.29-1ubuntu2_i386.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 ... 12326 files and directories currently installed.) Preparing to unpack .../0-perl_5.24.1~rc4-1_i386.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:i386. Preparing to unpack .../2-libperl5.24_5.24.1~rc4-1_i386.deb ... Unpacking libperl5.24:i386 (5.24.1~rc4-1) ... Preparing to unpack .../3-perl-base_5.24.1~rc4-1_i386.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 ... 14119 files and directories currently installed.) Preparing to unpack .../archives/sed_4.3-3_i386.deb ... Unpacking sed (4.3-3) over (4.2.2-8) ... Setting up sed (4.3-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 ... 14119 files and directories currently installed.) Preparing to unpack .../tar_1.29b-1.1_i386.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 ... 14119 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.42_i386.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 ... 14119 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 ... 14119 files and directories currently installed.) Preparing to unpack .../libc-bin_2.24-7ubuntu2_i386.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 ... 14119 files and directories currently installed.) Preparing to unpack .../liblzma5_5.2.2-1.2_i386.deb ... Unpacking liblzma5:i386 (5.2.2-1.2) over (5.1.1alpha+20120614-2.1ubuntu1) ... Setting up liblzma5:i386 (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 ... 14119 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.4~beta3_i386.deb ... Unpacking libapt-pkg5.0:i386 (1.4~beta3) over (1.3.1) ... Setting up libapt-pkg5.0:i386 (1.4~beta3) ... (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 .../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 ... 14119 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 ... 14117 files and directories currently installed.) Preparing to unpack .../apt_1.4~beta3_i386.deb ... Unpacking apt (1.4~beta3) over (1.3.1) ... Setting up apt (1.4~beta3) ... (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 .../0-libapparmor1_2.10.95-4ubuntu5.2_i386.deb ... Unpacking libapparmor1:i386 (2.10.95-4ubuntu5.2) over (2.10.95-4ubuntu5) ... Preparing to unpack .../1-libgpg-error0_1.26-1_i386.deb ... Unpacking libgpg-error0:i386 (1.26-1) over (1.24-1) ... Setting up libgpg-error0:i386 (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 ... 14121 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.7.5-2_i386.deb ... Unpacking libgcrypt20:i386 (1.7.5-2) over (1.7.2-2ubuntu1) ... Setting up libgcrypt20:i386 (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 ... 14121 files and directories currently installed.) Preparing to unpack .../libmount1_2.29-1ubuntu2_i386.deb ... Unpacking libmount1:i386 (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libmount1:i386 (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 ... 14121 files and directories currently installed.) Preparing to unpack .../0-libseccomp2_2.3.1-2.1ubuntu1_i386.deb ... Unpacking libseccomp2:i386 (2.3.1-2.1ubuntu1) over (2.3.1-2ubuntu2) ... Preparing to unpack .../1-systemd_232-8_i386.deb ... Unpacking systemd (232-8) over (231-9git1) ... Preparing to unpack .../2-libsystemd0_232-8_i386.deb ... Unpacking libsystemd0:i386 (232-8) over (231-9git1) ... Setting up libsystemd0:i386 (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 ... 14117 files and directories currently installed.) Preparing to unpack .../archives/init_1.46_i386.deb ... Unpacking init (1.46) over (1.45) ... Setting up libapparmor1:i386 (2.10.95-4ubuntu5.2) ... Setting up libseccomp2:i386 (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 ... 14117 files and directories currently installed.) Preparing to unpack .../0-systemd-sysv_232-8_i386.deb ... Unpacking systemd-sysv (232-8) over (231-9git1) ... Preparing to unpack .../1-libsepol1_2.6-2_i386.deb ... Unpacking libsepol1:i386 (2.6-2) over (2.5-1) ... Setting up libsepol1:i386 (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 ... 14117 files and directories currently installed.) Preparing to unpack .../libustr-1.0-1_1.0.4-6_i386.deb ... Unpacking libustr-1.0-1:i386 (1.0.4-6) over (1.0.4-5) ... Setting up libustr-1.0-1:i386 (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 ... 14117 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 ... 14117 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.6-2_i386.deb ... Unpacking libsemanage1:i386 (2.6-2) over (2.5-1) ... Setting up libsemanage1:i386 (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 ... 14117 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.29-1ubuntu2_i386.deb ... Unpacking libsmartcols1:i386 (2.29-1ubuntu2) over (2.28.2-1ubuntu1) ... Setting up libsmartcols1:i386 (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 ... 14117 files and directories currently installed.) Preparing to unpack .../libudev1_232-8_i386.deb ... Unpacking libudev1:i386 (232-8) over (231-9git1) ... Setting up libudev1:i386 (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 ... 14117 files and directories currently installed.) Preparing to unpack .../multiarch-support_2.24-7ubuntu2_i386.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 ... 14117 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_i386.deb ... Unpacking libdevmapper1.02.1:i386 (2:1.02.136-1ubuntu1) over (2:1.02.130-1ubuntu1) ... Preparing to unpack .../02-dmsetup_2%3a1.02.136-1ubuntu1_i386.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_i386.deb ... Unpacking libroken18-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../04-libasn1-8-heimdal_1.7~git20160703+dfsg-1ubuntu1_i386.deb ... Unpacking libasn1-8-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../05-libassuan0_2.4.3-2_i386.deb ... Unpacking libassuan0:i386 (2.4.3-2) over (2.4.3-1) ... Preparing to unpack .../06-libhogweed4_3.3-1_i386.deb ... Unpacking libhogweed4:i386 (3.3-1) over (3.2-1) ... Preparing to unpack .../07-libnettle6_3.3-1_i386.deb ... Unpacking libnettle6:i386 (3.3-1) over (3.2-1) ... Preparing to unpack .../08-libp11-kit0_0.23.3-2_i386.deb ... Unpacking libp11-kit0:i386 (0.23.3-2) over (0.23.2-5) ... Preparing to unpack .../09-libgnutls30_3.5.6-4ubuntu2_i386.deb ... Unpacking libgnutls30:i386 (3.5.6-4ubuntu2) over (3.5.3-5ubuntu1) ... Preparing to unpack .../10-libheimbase1-heimdal_1.7~git20160703+dfsg-1ubuntu1_i386.deb ... Unpacking libheimbase1-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../11-libhcrypto4-heimdal_1.7~git20160703+dfsg-1ubuntu1_i386.deb ... Unpacking libhcrypto4-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../12-libwind0-heimdal_1.7~git20160703+dfsg-1ubuntu1_i386.deb ... Unpacking libwind0-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../13-libhx509-5-heimdal_1.7~git20160703+dfsg-1ubuntu1_i386.deb ... Unpacking libhx509-5-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../14-libsqlite3-0_3.16.2-1_i386.deb ... Unpacking libsqlite3-0:i386 (3.16.2-1) over (3.14.1-1build1) ... Preparing to unpack .../15-libkrb5-26-heimdal_1.7~git20160703+dfsg-1ubuntu1_i386.deb ... Unpacking libkrb5-26-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../16-libheimntlm0-heimdal_1.7~git20160703+dfsg-1ubuntu1_i386.deb ... Unpacking libheimntlm0-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../17-libgssapi3-heimdal_1.7~git20160703+dfsg-1ubuntu1_i386.deb ... Unpacking libgssapi3-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) over (1.7~git20150920+dfsg-4ubuntu1) ... Preparing to unpack .../18-libksba8_1.3.5-2_i386.deb ... Unpacking libksba8:i386 (1.3.5-2) over (1.3.4-4) ... Preparing to unpack .../19-libsasl2-modules-db_2.1.27~72-g88d82a3+dfsg-1_i386.deb ... Unpacking libsasl2-modules-db:i386 (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_i386.deb ... Unpacking libsasl2-2:i386 (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_i386.deb ... Unpacking libldap-2.4-2:i386 (2.4.42+dfsg-2ubuntu5) over (2.4.42+dfsg-2ubuntu4) ... Preparing to unpack .../22-libnpth0_1.3-1_i386.deb ... Unpacking libnpth0:i386 (1.3-1) over (1.2-3) ... Preparing to unpack .../23-libslang2_2.3.1-5ubuntu1_i386.deb ... Unpacking libslang2:i386 (2.3.1-5ubuntu1) over (2.3.0-2.3ubuntu1) ... Preparing to unpack .../24-libssl1.0.0_1.0.2g-1ubuntu10_i386.deb ... Unpacking libssl1.0.0:i386 (1.0.2g-1ubuntu10) over (1.0.2g-1ubuntu9) ... Preparing to unpack .../25-pinentry-curses_1.0.0-1_i386.deb ... Unpacking pinentry-curses (1.0.0-1) over (0.9.7-5) ... Preparing to unpack .../26-xz-utils_5.2.2-1.2_i386.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_i386.deb ... Unpacking libgssapi-krb5-2:i386 (1.15-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../28-libkrb5-3_1.15-1_i386.deb ... Unpacking libkrb5-3:i386 (1.15-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../29-libkrb5support0_1.15-1_i386.deb ... Unpacking libkrb5support0:i386 (1.15-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../30-libk5crypto3_1.15-1_i386.deb ... Unpacking libk5crypto3:i386 (1.15-1) over (1.14.3+dfsg-2) ... Preparing to unpack .../31-libcurl3-gnutls_7.51.0-1ubuntu1_i386.deb ... Unpacking libcurl3-gnutls:i386 (7.51.0-1ubuntu1) over (7.50.1-1ubuntu1) ... Preparing to unpack .../32-apt-transport-https_1.4~beta3_i386.deb ... Unpacking apt-transport-https (1.4~beta3) over (1.3.1) ... Preparing to unpack .../33-openssl_1.0.2g-1ubuntu10_i386.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_i386.deb ... Unpacking libpng16-16:i386 (1.6.27-1) over (1.6.25-1) ... Preparing to unpack .../36-advancecomp_1.23-1_i386.deb ... Unpacking advancecomp (1.23-1) over (1.20-1) ... Preparing to unpack .../37-cpp_4%3a6.2.1-1ubuntu1_i386.deb ... Unpacking cpp (4:6.2.1-1ubuntu1) over (4:6.1.1-1ubuntu2) ... Preparing to unpack .../38-gcc_4%3a6.2.1-1ubuntu1_i386.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_i386.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:i386 (6.3.0-2ubuntu1) ... Setting up libnpth0:i386 (1.3-1) ... Setting up libgomp1:i386 (6.3.0-2ubuntu1) ... Setting up libatomic1:i386 (6.3.0-2ubuntu1) ... Setting up perl-modules-5.24 (5.24.1~rc4-1) ... Setting up libperl5.24:i386 (5.24.1~rc4-1) ... Setting up libnettle6:i386 (3.3-1) ... Setting up libcc1-0:i386 (6.3.0-2ubuntu1) ... Setting up libasan3:i386 (6.3.0-2ubuntu1) ... Setting up libssl1.0.0:i386 (1.0.2g-1ubuntu10) ... Setting up libpng16-16:i386 (1.6.27-1) ... Setting up libcilkrts5:i386 (6.3.0-2ubuntu1) ... Setting up tzdata (2016j-2) ... Current default time zone: 'Etc/UTC' Local time is now: Mon Jan 9 09:40:20 UTC 2017. Universal Time is now: Mon Jan 9 09:40:20 UTC 2017. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up systemd-sysv (232-8) ... Setting up libubsan0:i386 (6.3.0-2ubuntu1) ... Setting up libsasl2-modules-db:i386 (2.1.27~72-g88d82a3+dfsg-1) ... Setting up linux-libc-dev:i386 (4.9.0-11.12) ... Setting up advancecomp (1.23-1) ... Setting up libsasl2-2:i386 (2.1.27~72-g88d82a3+dfsg-1) ... Setting up libroken18-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libksba8:i386 (1.3.5-2) ... Setting up libdevmapper1.02.1:i386 (2:1.02.136-1ubuntu1) ... Setting up libkrb5support0:i386 (1.15-1) ... Setting up perl (5.24.1~rc4-1) ... Installing new version of config file /etc/perl/sitecustomize.pl ... Setting up libmpx2:i386 (6.3.0-2ubuntu1) ... Setting up libgmp10:i386 (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:i386 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libp11-kit0:i386 (0.23.3-2) ... Setting up openssl (1.0.2g-1ubuntu10) ... Setting up libsqlite3-0:i386 (3.16.2-1) ... Setting up dmsetup (2:1.02.136-1ubuntu1) ... Setting up binutils (2.27.90.20161231-1ubuntu1) ... 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:i386 (2.24-7ubuntu2) ... Setting up libslang2:i386 (2.3.1-5ubuntu1) ... Setting up libassuan0:i386 (2.4.3-2) ... Setting up libitm1:i386 (6.3.0-2ubuntu1) ... Setting up libk5crypto3:i386 (1.15-1) ... Setting up libgcc-6-dev:i386 (6.3.0-2ubuntu1) ... Setting up libstdc++-6-dev:i386 (6.3.0-2ubuntu1) ... Setting up libwind0-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up init (1.46) ... Setting up libasn1-8-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libhcrypto4-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libhx509-5-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libhogweed4:i386 (3.3-1) ... Setting up libisl15:i386 (0.18-1) ... Setting up pinentry-curses (1.0.0-1) ... Setting up libkrb5-3:i386 (1.15-1) ... Setting up cpp-6 (6.3.0-2ubuntu1) ... Setting up libkrb5-26-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up libheimntlm0-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up cpp (4:6.2.1-1ubuntu1) ... Setting up libgnutls30:i386 (3.5.6-4ubuntu2) ... Setting up gcc-6 (6.3.0-2ubuntu1) ... Setting up libgssapi-krb5-2:i386 (1.15-1) ... Setting up g++-6 (6.3.0-2ubuntu1) ... Setting up libgssapi3-heimdal:i386 (1.7~git20160703+dfsg-1ubuntu1) ... Setting up gcc (4:6.2.1-1ubuntu1) ... Setting up libldap-2.4-2:i386 (2.4.42+dfsg-2ubuntu5) ... Setting up g++ (4:6.2.1-1ubuntu1) ... Setting up libcurl3-gnutls:i386 (7.51.0-1ubuntu1) ... Setting up apt-transport-https (1.4~beta3) ... 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-11834966', 'i386', 'zesty-proposed', '-c', 'chroot:autobuild', '--arch=i386', '--dist=zesty-proposed', '--purge=never', '--nolog', 'why_2.36-5build1.dsc'] Initiating build PACKAGEBUILD-11834966 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 i686 sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on lcy01-24.buildd +==============================================================================+ | why 2.36-5build1 (i386) 09 Jan 2017 09:40 | +==============================================================================+ Package: why Version: 2.36-5build1 Source Version: 2.36-5build1 Distribution: zesty-proposed Machine Architecture: amd64 Host Architecture: i386 Build Architecture: i386 I: NOTICE: Log filtering will replace 'build/why-aPyqmR/why-2.36' with '<>' I: NOTICE: Log filtering will replace 'build/why-aPyqmR' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-11834966/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- why_2.36-5build1.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-BCGQBa/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-BCGQBa/apt_archive ./ InRelease Get:2 copy:/<>/resolver-BCGQBa/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-BCGQBa/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-BCGQBa/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-BCGQBa/apt_archive ./ Packages [525 B] Fetched 2858 B in 0s (225 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-BCGQBa/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 ... 14127 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_i386.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: debhelper (>= 10), autotools-dev, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, coq (>= 8.3~), libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20151002+magnesium+dfsg), camlidl, why3, why3-coq Filtered Build-Depends: debhelper (>= 10), autotools-dev, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, coq (>= 8.3~), libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20151002+magnesium+dfsg), camlidl, why3, why3-coq dpkg-deb: building package 'sbuild-build-depends-why-dummy' in '/<>/resolver-54MvUZ/apt_archive/sbuild-build-depends-why-dummy.deb'. Ign:1 copy:/<>/resolver-54MvUZ/apt_archive ./ InRelease Get:2 copy:/<>/resolver-54MvUZ/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-54MvUZ/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-54MvUZ/apt_archive ./ Sources [318 B] Get:5 copy:/<>/resolver-54MvUZ/apt_archive ./ Packages [639 B] Fetched 3076 B in 0s (274 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install why build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libperl5.22 perl-modules-5.22 Use 'sudo apt autoremove' to remove them. The following additional packages will be installed: adwaita-icon-theme aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils camlidl camlp4 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core frama-c-base gettext gettext-base groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcamlp4-ocaml-dev libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-1-3 libenchant1c2a libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfreetype6 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libharfbuzz0b libhunspell-1.4-0 libicu57 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-ocaml liblablgtksourceview2-ocaml libmagic-mgc libmagic1 libncurses5-dev libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpipeline1 libpixman-1-0 librsvg2-2 librsvg2-common libsigsegv2 libtext-iconv-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool libunistring0 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 libzarith-ocaml libzip-ocaml m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-native-compilers ocaml-nox po-debconf shared-mime-info tex-common ubuntu-mono ucf why3 why3-coq Suggested packages: aspell-doc spellutils autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation camlidl-doc proofgeneral ledit | readline-editor libcoq-ocaml-dev why coq-doc dh-make git wordlist gettext-doc libasprintf-dev libgettextpo-dev groff cups-common libenchant-voikko gvfs ncurses-doc librsvg2-bin libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc less www-browser ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl why3-examples Recommended packages: coqide | proofgeneral alt-ergo curl | wget | lynx-cur dbus enchant libglib2.0-data xdg-user-dirs libgail-common libgtk2.0-bin hunspell-en-us | hunspell-dictionary | myspell-dictionary libltdl-dev xml-core libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: adwaita-icon-theme aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils camlidl camlp4 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core frama-c-base gettext gettext-base groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcamlp4-ocaml-dev libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-1-3 libenchant1c2a libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfreetype6 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libharfbuzz0b libhunspell-1.4-0 libicu57 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-ocaml liblablgtksourceview2-ocaml libmagic-mgc libmagic1 libncurses5-dev libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpipeline1 libpixman-1-0 librsvg2-2 librsvg2-common libsigsegv2 libtext-iconv-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool libunistring0 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 libzarith-ocaml libzip-ocaml m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-native-compilers ocaml-nox po-debconf sbuild-build-depends-why-dummy shared-mime-info tex-common ubuntu-mono ucf why3 why3-coq 0 upgraded, 124 newly installed, 0 to remove and 0 not upgraded. Need to get 147 MB of archives. After this operation, 812 MB of additional disk space will be used. Get:1 copy:/<>/resolver-54MvUZ/apt_archive ./ sbuild-build-depends-why-dummy 0.invalid.0 [890 B] Get:2 http://ftpmaster.internal/ubuntu zesty/main i386 libxau6 i386 1:1.0.8-1 [8352 B] Get:3 http://ftpmaster.internal/ubuntu zesty/main i386 libxdmcp6 i386 1:1.1.2-1.1 [11.4 kB] Get:4 http://ftpmaster.internal/ubuntu zesty/main i386 libxcb1 i386 1.11.1-1ubuntu1 [44.1 kB] Get:5 http://ftpmaster.internal/ubuntu zesty/main i386 libx11-data all 2:1.6.3-1ubuntu3 [113 kB] Get:6 http://ftpmaster.internal/ubuntu zesty/main i386 libx11-6 i386 2:1.6.3-1ubuntu3 [593 kB] Get:7 http://ftpmaster.internal/ubuntu zesty/main i386 libxext6 i386 2:1.3.3-1 [31.6 kB] Get:8 http://ftpmaster.internal/ubuntu zesty/main i386 groff-base i386 1.22.3-9 [1163 kB] Get:9 http://ftpmaster.internal/ubuntu zesty/main i386 libbsd0 i386 0.8.3-1 [44.9 kB] Get:10 http://ftpmaster.internal/ubuntu zesty/main i386 bsdmainutils i386 9.0.12ubuntu1 [175 kB] Get:11 http://ftpmaster.internal/ubuntu zesty/main i386 libpipeline1 i386 1.4.1-2 [26.5 kB] Get:12 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 man-db i386 2.7.6.1-2 [906 kB] Get:13 http://ftpmaster.internal/ubuntu zesty/main i386 fonts-dejavu-core all 2.37-1 [1041 kB] Get:14 http://ftpmaster.internal/ubuntu zesty/main i386 ucf all 3.0036 [52.9 kB] Get:15 http://ftpmaster.internal/ubuntu zesty/main i386 fontconfig-config all 2.11.94-0ubuntu2 [49.9 kB] Get:16 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libexpat1 i386 2.2.0-2 [75.0 kB] Get:17 http://ftpmaster.internal/ubuntu zesty/main i386 libfreetype6 i386 2.6.3-3ubuntu1 [335 kB] Get:18 http://ftpmaster.internal/ubuntu zesty/main i386 libfontconfig1 i386 2.11.94-0ubuntu2 [140 kB] Get:19 http://ftpmaster.internal/ubuntu zesty/main i386 fontconfig i386 2.11.94-0ubuntu2 [177 kB] Get:20 http://ftpmaster.internal/ubuntu zesty/main i386 libglib2.0-0 i386 2.51.0-2 [1214 kB] Get:21 http://ftpmaster.internal/ubuntu zesty/main i386 libatk1.0-data all 2.22.0-1 [2844 B] Get:22 http://ftpmaster.internal/ubuntu zesty/main i386 libatk1.0-0 i386 2.22.0-1 [43.5 kB] Get:23 http://ftpmaster.internal/ubuntu zesty/main i386 libjpeg-turbo8 i386 1.5.1-0ubuntu1 [120 kB] Get:24 http://ftpmaster.internal/ubuntu zesty/main i386 libjpeg8 i386 8c-2ubuntu8 [2188 B] Get:25 http://ftpmaster.internal/ubuntu zesty/main i386 libjbig0 i386 2.1-3.1 [27.0 kB] Get:26 http://ftpmaster.internal/ubuntu zesty/main i386 libtiff5 i386 4.0.7-4 [158 kB] Get:27 http://ftpmaster.internal/ubuntu zesty/main i386 libicu57 i386 57.1-5 [7813 kB] Get:28 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libxml2 i386 2.9.4+dfsg1-2.1 [733 kB] Get:29 http://ftpmaster.internal/ubuntu zesty/main i386 shared-mime-info i386 1.7-1 [417 kB] Get:30 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libgdk-pixbuf2.0-common all 2.36.2-1 [4640 B] Get:31 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libgdk-pixbuf2.0-0 i386 2.36.2-1 [174 kB] Get:32 http://ftpmaster.internal/ubuntu zesty/main i386 libgtk2.0-common all 2.24.31-1ubuntu1 [124 kB] Get:33 http://ftpmaster.internal/ubuntu zesty/main i386 libpixman-1-0 i386 0.34.0-1 [235 kB] Get:34 http://ftpmaster.internal/ubuntu zesty/main i386 libxcb-render0 i386 1.11.1-1ubuntu1 [12.2 kB] Get:35 http://ftpmaster.internal/ubuntu zesty/main i386 libxcb-shm0 i386 1.11.1-1ubuntu1 [5754 B] Get:36 http://ftpmaster.internal/ubuntu zesty/main i386 libxrender1 i386 1:0.9.10-1 [19.9 kB] Get:37 http://ftpmaster.internal/ubuntu zesty/main i386 libcairo2 i386 1.14.8-1 [612 kB] Get:38 http://ftpmaster.internal/ubuntu zesty/main i386 libavahi-common-data i386 0.6.32-1ubuntu1 [22.0 kB] Get:39 http://ftpmaster.internal/ubuntu zesty/main i386 libavahi-common3 i386 0.6.32-1ubuntu1 [23.5 kB] Get:40 http://ftpmaster.internal/ubuntu zesty/main i386 libdbus-1-3 i386 1.10.10-1ubuntu2 [175 kB] Get:41 http://ftpmaster.internal/ubuntu zesty/main i386 libavahi-client3 i386 0.6.32-1ubuntu1 [27.1 kB] Get:42 http://ftpmaster.internal/ubuntu zesty/main i386 libcups2 i386 2.2.1-46-g10887d272-2 [218 kB] Get:43 http://ftpmaster.internal/ubuntu zesty/main i386 libthai-data all 0.1.26-1 [131 kB] Get:44 http://ftpmaster.internal/ubuntu zesty/main i386 libdatrie1 i386 0.2.10-4 [18.9 kB] Get:45 http://ftpmaster.internal/ubuntu zesty/main i386 libthai0 i386 0.1.26-1 [18.6 kB] Get:46 http://ftpmaster.internal/ubuntu zesty/main i386 libpango-1.0-0 i386 1.40.3-3 [155 kB] Get:47 http://ftpmaster.internal/ubuntu zesty/main i386 libgraphite2-3 i386 1.3.9-2 [74.1 kB] Get:48 http://ftpmaster.internal/ubuntu zesty/main i386 libharfbuzz0b i386 1.2.7-1 [188 kB] Get:49 http://ftpmaster.internal/ubuntu zesty/main i386 libpangoft2-1.0-0 i386 1.40.3-3 [35.5 kB] Get:50 http://ftpmaster.internal/ubuntu zesty/main i386 libpangocairo-1.0-0 i386 1.40.3-3 [21.9 kB] Get:51 http://ftpmaster.internal/ubuntu zesty/main i386 libxcomposite1 i386 1:0.4.4-1 [7594 B] Get:52 http://ftpmaster.internal/ubuntu zesty/main i386 libxfixes3 i386 1:5.0.3-1 [11.2 kB] Get:53 http://ftpmaster.internal/ubuntu zesty/main i386 libxcursor1 i386 1:1.1.14-1 [22.8 kB] Get:54 http://ftpmaster.internal/ubuntu zesty/main i386 libxdamage1 i386 1:1.1.4-2 [6812 B] Get:55 http://ftpmaster.internal/ubuntu zesty/main i386 libxi6 i386 2:1.7.6-1ubuntu1 [31.3 kB] Get:56 http://ftpmaster.internal/ubuntu zesty/main i386 libxinerama1 i386 2:1.1.3-1 [7900 B] Get:57 http://ftpmaster.internal/ubuntu zesty/main i386 libxrandr2 i386 2:1.5.1-1 [19.9 kB] Get:58 http://ftpmaster.internal/ubuntu zesty/main i386 hicolor-icon-theme all 0.15-1 [8378 B] Get:59 http://ftpmaster.internal/ubuntu zesty/main i386 gtk-update-icon-cache i386 3.22.5-1ubuntu2 [27.6 kB] Get:60 http://ftpmaster.internal/ubuntu zesty/main i386 libcroco3 i386 0.6.11-2 [87.1 kB] Get:61 http://ftpmaster.internal/ubuntu zesty/main i386 librsvg2-2 i386 2.40.16-1 [106 kB] Get:62 http://ftpmaster.internal/ubuntu zesty/main i386 librsvg2-common i386 2.40.16-1 [4994 B] Get:63 http://ftpmaster.internal/ubuntu zesty/main i386 humanity-icon-theme all 0.6.11 [1288 kB] Get:64 http://ftpmaster.internal/ubuntu zesty/main i386 ubuntu-mono all 16.10+17.04.20161205-0ubuntu1 [160 kB] Get:65 http://ftpmaster.internal/ubuntu zesty/main i386 adwaita-icon-theme all 3.22.0-1ubuntu1 [3358 kB] Get:66 http://ftpmaster.internal/ubuntu zesty/main i386 libgtk2.0-0 i386 2.24.31-1ubuntu1 [1899 kB] Get:67 http://ftpmaster.internal/ubuntu zesty/main i386 libglade2-0 i386 1:2.6.4-2 [43.7 kB] Get:68 http://ftpmaster.internal/ubuntu zesty/main i386 libunistring0 i386 0.9.3-5.2ubuntu1 [277 kB] Get:69 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libmagic-mgc i386 1:5.29-2 [180 kB] Get:70 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 libmagic1 i386 1:5.29-2 [74.2 kB] Get:71 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 file i386 1:5.29-2 [21.7 kB] Get:72 http://ftpmaster.internal/ubuntu zesty/main i386 libtext-iconv-perl i386 1.7-5build5 [13.6 kB] Get:73 http://ftpmaster.internal/ubuntu zesty/main i386 gettext-base i386 0.19.8.1-1ubuntu2 [49.0 kB] Get:74 http://ftpmaster.internal/ubuntu zesty/main i386 libaspell15 i386 0.60.7~20110707-3build1 [332 kB] Get:75 http://ftpmaster.internal/ubuntu zesty/main i386 emacsen-common all 2.0.8 [17.6 kB] Get:76 http://ftpmaster.internal/ubuntu zesty/main i386 dictionaries-common all 1.27.2 [186 kB] Get:77 http://ftpmaster.internal/ubuntu zesty/main i386 aspell i386 0.60.7~20110707-3build1 [79.3 kB] Get:78 http://ftpmaster.internal/ubuntu zesty/main i386 aspell-en all 2016.11.20-0-0.1 [298 kB] Get:79 http://ftpmaster.internal/ubuntu zesty/main i386 libsigsegv2 i386 2.10-5 [14.3 kB] Get:80 http://ftpmaster.internal/ubuntu zesty/main i386 m4 i386 1.4.18-1 [196 kB] Get:81 http://ftpmaster.internal/ubuntu zesty/main i386 autoconf all 2.69-10 [321 kB] Get:82 http://ftpmaster.internal/ubuntu zesty/main i386 autotools-dev all 20161112.1 [39.5 kB] Get:83 http://ftpmaster.internal/ubuntu zesty/main i386 automake all 1:1.15-5ubuntu1 [509 kB] Get:84 http://ftpmaster.internal/ubuntu zesty/main i386 autopoint all 0.19.8.1-1ubuntu2 [412 kB] Get:85 http://ftpmaster.internal/ubuntu zesty/universe i386 ocaml-base-nox i386 4.02.3-6ubuntu2 [456 kB] Get:86 http://ftpmaster.internal/ubuntu zesty/main i386 libtinfo-dev i386 6.0+20160625-1ubuntu1 [76.2 kB] Get:87 http://ftpmaster.internal/ubuntu zesty/main i386 libncurses5-dev i386 6.0+20160625-1ubuntu1 [176 kB] Get:88 http://ftpmaster.internal/ubuntu zesty/universe i386 ocaml-compiler-libs i386 4.02.3-6ubuntu2 [9545 kB] Get:89 http://ftpmaster.internal/ubuntu zesty/universe i386 ocaml-interp i386 4.02.3-6ubuntu2 [271 kB] Get:90 http://ftpmaster.internal/ubuntu zesty/universe i386 ocaml-nox i386 4.02.3-6ubuntu2 [6350 kB] Get:91 http://ftpmaster.internal/ubuntu zesty/universe i386 camlidl i386 1.05-14build2 [103 kB] Get:92 http://ftpmaster.internal/ubuntu zesty/universe i386 libcamlp4-ocaml-dev i386 4.02.1+3-2 [11.9 MB] Get:93 http://ftpmaster.internal/ubuntu zesty/universe i386 camlp4 i386 4.02.1+3-2 [2366 kB] Get:94 http://ftpmaster.internal/ubuntu zesty-proposed/universe i386 coq-theories i386 8.6-4 [30.1 MB] Get:95 http://ftpmaster.internal/ubuntu zesty/main i386 libhunspell-1.4-0 i386 1.4.1-2build1 [146 kB] Get:96 http://ftpmaster.internal/ubuntu zesty/main i386 libenchant1c2a i386 1.6.0-11build1 [67.5 kB] Get:97 http://ftpmaster.internal/ubuntu zesty/main i386 libgtkspell0 i386 2.0.16-1.1ubuntu1 [11.3 kB] Get:98 http://ftpmaster.internal/ubuntu zesty/universe i386 liblablgtk2-ocaml i386 2.18.3+dfsg-2 [679 kB] Get:99 http://ftpmaster.internal/ubuntu zesty/universe i386 libgtksourceview2.0-common all 2.10.5-2ubuntu2 [434 kB] Get:100 http://ftpmaster.internal/ubuntu zesty/universe i386 libgtksourceview2.0-0 i386 2.10.5-2ubuntu2 [159 kB] Get:101 http://ftpmaster.internal/ubuntu zesty/universe i386 liblablgtksourceview2-ocaml i386 2.18.3+dfsg-2 [85.4 kB] Get:102 http://ftpmaster.internal/ubuntu zesty-proposed/universe i386 libcoq-ocaml i386 8.6-4 [3339 kB] Get:103 http://ftpmaster.internal/ubuntu zesty/universe i386 ocaml-native-compilers i386 4.02.3-6ubuntu2 [2386 kB] Get:104 http://ftpmaster.internal/ubuntu zesty/universe i386 libfindlib-ocaml i386 1.6.2-1 [151 kB] Get:105 http://ftpmaster.internal/ubuntu zesty/universe i386 ocaml-findlib i386 1.6.2-1 [262 kB] Get:106 http://ftpmaster.internal/ubuntu zesty-proposed/universe i386 coq i386 8.6-4 [12.9 MB] Get:107 http://ftpmaster.internal/ubuntu zesty/main i386 libtool all 2.4.6-2 [194 kB] Get:108 http://ftpmaster.internal/ubuntu zesty-proposed/main i386 dh-autoreconf all 13 [15.6 kB] Get:109 http://ftpmaster.internal/ubuntu zesty/main i386 libarchive-zip-perl all 1.59-1 [84.0 kB] Get:110 http://ftpmaster.internal/ubuntu zesty/main i386 libfile-stripnondeterminism-perl all 0.029-2 [12.9 kB] Get:111 http://ftpmaster.internal/ubuntu zesty/main i386 libtimedate-perl all 2.3000-2 [37.5 kB] Get:112 http://ftpmaster.internal/ubuntu zesty/main i386 dh-strip-nondeterminism all 0.029-2 [4804 B] Get:113 http://ftpmaster.internal/ubuntu zesty/main i386 gettext i386 0.19.8.1-1ubuntu2 [1086 kB] Get:114 http://ftpmaster.internal/ubuntu zesty/main i386 intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:115 http://ftpmaster.internal/ubuntu zesty/main i386 po-debconf all 1.0.20 [232 kB] Get:116 http://ftpmaster.internal/ubuntu zesty/main i386 debhelper all 10.2.2ubuntu1 [742 kB] Get:117 http://ftpmaster.internal/ubuntu zesty/universe i386 libocamlgraph-ocaml-dev i386 1.8.6-1build2 [1176 kB] Get:118 http://ftpmaster.internal/ubuntu zesty/universe i386 libzarith-ocaml i386 1.4.1-1 [27.6 kB] Get:119 http://ftpmaster.internal/ubuntu zesty-proposed/universe i386 libzip-ocaml i386 1.06-2 [70.5 kB] Get:120 http://ftpmaster.internal/ubuntu zesty/main i386 tex-common all 6.05 [545 kB] Get:121 http://ftpmaster.internal/ubuntu zesty-proposed/universe i386 why3 i386 0.87.2-3 [8307 kB] Get:122 http://ftpmaster.internal/ubuntu zesty-proposed/universe i386 why3-coq i386 0.87.2-3 [4975 kB] Get:123 http://ftpmaster.internal/ubuntu zesty/universe i386 dh-ocaml all 1.0.10 [80.2 kB] Get:124 http://ftpmaster.internal/ubuntu zesty-proposed/universe i386 frama-c-base i386 20161101+silicon+dfsg-4 [19.1 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 147 MB in 10s (14.4 MB/s) Selecting previously unselected package libxau6:i386. (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 ... 14127 files and directories currently installed.) Preparing to unpack .../000-libxau6_1%3a1.0.8-1_i386.deb ... Unpacking libxau6:i386 (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:i386. Preparing to unpack .../001-libxdmcp6_1%3a1.1.2-1.1_i386.deb ... Unpacking libxdmcp6:i386 (1:1.1.2-1.1) ... Selecting previously unselected package libxcb1:i386. Preparing to unpack .../002-libxcb1_1.11.1-1ubuntu1_i386.deb ... Unpacking libxcb1:i386 (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:i386. Preparing to unpack .../004-libx11-6_2%3a1.6.3-1ubuntu3_i386.deb ... Unpacking libx11-6:i386 (2:1.6.3-1ubuntu3) ... Selecting previously unselected package libxext6:i386. Preparing to unpack .../005-libxext6_2%3a1.3.3-1_i386.deb ... Unpacking libxext6:i386 (2:1.3.3-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../006-groff-base_1.22.3-9_i386.deb ... Unpacking groff-base (1.22.3-9) ... Selecting previously unselected package libbsd0:i386. Preparing to unpack .../007-libbsd0_0.8.3-1_i386.deb ... Unpacking libbsd0:i386 (0.8.3-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../008-bsdmainutils_9.0.12ubuntu1_i386.deb ... Unpacking bsdmainutils (9.0.12ubuntu1) ... Selecting previously unselected package libpipeline1:i386. Preparing to unpack .../009-libpipeline1_1.4.1-2_i386.deb ... Unpacking libpipeline1:i386 (1.4.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../010-man-db_2.7.6.1-2_i386.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:i386. Preparing to unpack .../014-libexpat1_2.2.0-2_i386.deb ... Unpacking libexpat1:i386 (2.2.0-2) ... Selecting previously unselected package libfreetype6:i386. Preparing to unpack .../015-libfreetype6_2.6.3-3ubuntu1_i386.deb ... Unpacking libfreetype6:i386 (2.6.3-3ubuntu1) ... Selecting previously unselected package libfontconfig1:i386. Preparing to unpack .../016-libfontconfig1_2.11.94-0ubuntu2_i386.deb ... Unpacking libfontconfig1:i386 (2.11.94-0ubuntu2) ... Selecting previously unselected package fontconfig. Preparing to unpack .../017-fontconfig_2.11.94-0ubuntu2_i386.deb ... Unpacking fontconfig (2.11.94-0ubuntu2) ... Selecting previously unselected package libglib2.0-0:i386. Preparing to unpack .../018-libglib2.0-0_2.51.0-2_i386.deb ... Unpacking libglib2.0-0:i386 (2.51.0-2) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../019-libatk1.0-data_2.22.0-1_all.deb ... Unpacking libatk1.0-data (2.22.0-1) ... Selecting previously unselected package libatk1.0-0:i386. Preparing to unpack .../020-libatk1.0-0_2.22.0-1_i386.deb ... Unpacking libatk1.0-0:i386 (2.22.0-1) ... Selecting previously unselected package libjpeg-turbo8:i386. Preparing to unpack .../021-libjpeg-turbo8_1.5.1-0ubuntu1_i386.deb ... Unpacking libjpeg-turbo8:i386 (1.5.1-0ubuntu1) ... Selecting previously unselected package libjpeg8:i386. Preparing to unpack .../022-libjpeg8_8c-2ubuntu8_i386.deb ... Unpacking libjpeg8:i386 (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:i386. Preparing to unpack .../023-libjbig0_2.1-3.1_i386.deb ... Unpacking libjbig0:i386 (2.1-3.1) ... Selecting previously unselected package libtiff5:i386. Preparing to unpack .../024-libtiff5_4.0.7-4_i386.deb ... Unpacking libtiff5:i386 (4.0.7-4) ... Selecting previously unselected package libicu57:i386. Preparing to unpack .../025-libicu57_57.1-5_i386.deb ... Unpacking libicu57:i386 (57.1-5) ... Selecting previously unselected package libxml2:i386. Preparing to unpack .../026-libxml2_2.9.4+dfsg1-2.1_i386.deb ... Unpacking libxml2:i386 (2.9.4+dfsg1-2.1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../027-shared-mime-info_1.7-1_i386.deb ... Unpacking shared-mime-info (1.7-1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../028-libgdk-pixbuf2.0-common_2.36.2-1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.36.2-1) ... Selecting previously unselected package libgdk-pixbuf2.0-0:i386. Preparing to unpack .../029-libgdk-pixbuf2.0-0_2.36.2-1_i386.deb ... Unpacking libgdk-pixbuf2.0-0:i386 (2.36.2-1) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../030-libgtk2.0-common_2.24.31-1ubuntu1_all.deb ... Unpacking libgtk2.0-common (2.24.31-1ubuntu1) ... Selecting previously unselected package libpixman-1-0:i386. Preparing to unpack .../031-libpixman-1-0_0.34.0-1_i386.deb ... Unpacking libpixman-1-0:i386 (0.34.0-1) ... Selecting previously unselected package libxcb-render0:i386. Preparing to unpack .../032-libxcb-render0_1.11.1-1ubuntu1_i386.deb ... Unpacking libxcb-render0:i386 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-shm0:i386. Preparing to unpack .../033-libxcb-shm0_1.11.1-1ubuntu1_i386.deb ... Unpacking libxcb-shm0:i386 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxrender1:i386. Preparing to unpack .../034-libxrender1_1%3a0.9.10-1_i386.deb ... Unpacking libxrender1:i386 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:i386. Preparing to unpack .../035-libcairo2_1.14.8-1_i386.deb ... Unpacking libcairo2:i386 (1.14.8-1) ... Selecting previously unselected package libavahi-common-data:i386. Preparing to unpack .../036-libavahi-common-data_0.6.32-1ubuntu1_i386.deb ... Unpacking libavahi-common-data:i386 (0.6.32-1ubuntu1) ... Selecting previously unselected package libavahi-common3:i386. Preparing to unpack .../037-libavahi-common3_0.6.32-1ubuntu1_i386.deb ... Unpacking libavahi-common3:i386 (0.6.32-1ubuntu1) ... Selecting previously unselected package libdbus-1-3:i386. Preparing to unpack .../038-libdbus-1-3_1.10.10-1ubuntu2_i386.deb ... Unpacking libdbus-1-3:i386 (1.10.10-1ubuntu2) ... Selecting previously unselected package libavahi-client3:i386. Preparing to unpack .../039-libavahi-client3_0.6.32-1ubuntu1_i386.deb ... Unpacking libavahi-client3:i386 (0.6.32-1ubuntu1) ... Selecting previously unselected package libcups2:i386. Preparing to unpack .../040-libcups2_2.2.1-46-g10887d272-2_i386.deb ... Unpacking libcups2:i386 (2.2.1-46-g10887d272-2) ... Selecting previously unselected package libthai-data. Preparing to unpack .../041-libthai-data_0.1.26-1_all.deb ... Unpacking libthai-data (0.1.26-1) ... Selecting previously unselected package libdatrie1:i386. Preparing to unpack .../042-libdatrie1_0.2.10-4_i386.deb ... Unpacking libdatrie1:i386 (0.2.10-4) ... Selecting previously unselected package libthai0:i386. Preparing to unpack .../043-libthai0_0.1.26-1_i386.deb ... Unpacking libthai0:i386 (0.1.26-1) ... Selecting previously unselected package libpango-1.0-0:i386. Preparing to unpack .../044-libpango-1.0-0_1.40.3-3_i386.deb ... Unpacking libpango-1.0-0:i386 (1.40.3-3) ... Selecting previously unselected package libgraphite2-3:i386. Preparing to unpack .../045-libgraphite2-3_1.3.9-2_i386.deb ... Unpacking libgraphite2-3:i386 (1.3.9-2) ... Selecting previously unselected package libharfbuzz0b:i386. Preparing to unpack .../046-libharfbuzz0b_1.2.7-1_i386.deb ... Unpacking libharfbuzz0b:i386 (1.2.7-1) ... Selecting previously unselected package libpangoft2-1.0-0:i386. Preparing to unpack .../047-libpangoft2-1.0-0_1.40.3-3_i386.deb ... Unpacking libpangoft2-1.0-0:i386 (1.40.3-3) ... Selecting previously unselected package libpangocairo-1.0-0:i386. Preparing to unpack .../048-libpangocairo-1.0-0_1.40.3-3_i386.deb ... Unpacking libpangocairo-1.0-0:i386 (1.40.3-3) ... Selecting previously unselected package libxcomposite1:i386. Preparing to unpack .../049-libxcomposite1_1%3a0.4.4-1_i386.deb ... Unpacking libxcomposite1:i386 (1:0.4.4-1) ... Selecting previously unselected package libxfixes3:i386. Preparing to unpack .../050-libxfixes3_1%3a5.0.3-1_i386.deb ... Unpacking libxfixes3:i386 (1:5.0.3-1) ... Selecting previously unselected package libxcursor1:i386. Preparing to unpack .../051-libxcursor1_1%3a1.1.14-1_i386.deb ... Unpacking libxcursor1:i386 (1:1.1.14-1) ... Selecting previously unselected package libxdamage1:i386. Preparing to unpack .../052-libxdamage1_1%3a1.1.4-2_i386.deb ... Unpacking libxdamage1:i386 (1:1.1.4-2) ... Selecting previously unselected package libxi6:i386. Preparing to unpack .../053-libxi6_2%3a1.7.6-1ubuntu1_i386.deb ... Unpacking libxi6:i386 (2:1.7.6-1ubuntu1) ... Selecting previously unselected package libxinerama1:i386. Preparing to unpack .../054-libxinerama1_2%3a1.1.3-1_i386.deb ... Unpacking libxinerama1:i386 (2:1.1.3-1) ... Selecting previously unselected package libxrandr2:i386. Preparing to unpack .../055-libxrandr2_2%3a1.5.1-1_i386.deb ... Unpacking libxrandr2:i386 (2:1.5.1-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../056-hicolor-icon-theme_0.15-1_all.deb ... Unpacking hicolor-icon-theme (0.15-1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../057-gtk-update-icon-cache_3.22.5-1ubuntu2_i386.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 libcroco3:i386. Preparing to unpack .../058-libcroco3_0.6.11-2_i386.deb ... Unpacking libcroco3:i386 (0.6.11-2) ... Selecting previously unselected package librsvg2-2:i386. Preparing to unpack .../059-librsvg2-2_2.40.16-1_i386.deb ... Unpacking librsvg2-2:i386 (2.40.16-1) ... Selecting previously unselected package librsvg2-common:i386. Preparing to unpack .../060-librsvg2-common_2.40.16-1_i386.deb ... Unpacking librsvg2-common:i386 (2.40.16-1) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../061-humanity-icon-theme_0.6.11_all.deb ... Unpacking humanity-icon-theme (0.6.11) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../062-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 .../063-adwaita-icon-theme_3.22.0-1ubuntu1_all.deb ... Unpacking adwaita-icon-theme (3.22.0-1ubuntu1) ... Selecting previously unselected package libgtk2.0-0:i386. Preparing to unpack .../064-libgtk2.0-0_2.24.31-1ubuntu1_i386.deb ... Unpacking libgtk2.0-0:i386 (2.24.31-1ubuntu1) ... Selecting previously unselected package libglade2-0:i386. Preparing to unpack .../065-libglade2-0_1%3a2.6.4-2_i386.deb ... Unpacking libglade2-0:i386 (1:2.6.4-2) ... Selecting previously unselected package libunistring0:i386. Preparing to unpack .../066-libunistring0_0.9.3-5.2ubuntu1_i386.deb ... Unpacking libunistring0:i386 (0.9.3-5.2ubuntu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../067-libmagic-mgc_1%3a5.29-2_i386.deb ... Unpacking libmagic-mgc (1:5.29-2) ... Selecting previously unselected package libmagic1:i386. Preparing to unpack .../068-libmagic1_1%3a5.29-2_i386.deb ... Unpacking libmagic1:i386 (1:5.29-2) ... Selecting previously unselected package file. Preparing to unpack .../069-file_1%3a5.29-2_i386.deb ... Unpacking file (1:5.29-2) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../070-libtext-iconv-perl_1.7-5build5_i386.deb ... Unpacking libtext-iconv-perl (1.7-5build5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../071-gettext-base_0.19.8.1-1ubuntu2_i386.deb ... Unpacking gettext-base (0.19.8.1-1ubuntu2) ... Selecting previously unselected package libaspell15:i386. Preparing to unpack .../072-libaspell15_0.60.7~20110707-3build1_i386.deb ... Unpacking libaspell15:i386 (0.60.7~20110707-3build1) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../073-emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../074-dictionaries-common_1.27.2_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.27.2) ... Selecting previously unselected package aspell. Preparing to unpack .../075-aspell_0.60.7~20110707-3build1_i386.deb ... Unpacking aspell (0.60.7~20110707-3build1) ... Selecting previously unselected package aspell-en. Preparing to unpack .../076-aspell-en_2016.11.20-0-0.1_all.deb ... Unpacking aspell-en (2016.11.20-0-0.1) ... Selecting previously unselected package libsigsegv2:i386. Preparing to unpack .../077-libsigsegv2_2.10-5_i386.deb ... Unpacking libsigsegv2:i386 (2.10-5) ... Selecting previously unselected package m4. Preparing to unpack .../078-m4_1.4.18-1_i386.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../079-autoconf_2.69-10_all.deb ... Unpacking autoconf (2.69-10) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../080-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../081-automake_1%3a1.15-5ubuntu1_all.deb ... Unpacking automake (1:1.15-5ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../082-autopoint_0.19.8.1-1ubuntu2_all.deb ... Unpacking autopoint (0.19.8.1-1ubuntu2) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../083-ocaml-base-nox_4.02.3-6ubuntu2_i386.deb ... Unpacking ocaml-base-nox (4.02.3-6ubuntu2) ... Selecting previously unselected package libtinfo-dev:i386. Preparing to unpack .../084-libtinfo-dev_6.0+20160625-1ubuntu1_i386.deb ... Unpacking libtinfo-dev:i386 (6.0+20160625-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:i386. Preparing to unpack .../085-libncurses5-dev_6.0+20160625-1ubuntu1_i386.deb ... Unpacking libncurses5-dev:i386 (6.0+20160625-1ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../086-ocaml-compiler-libs_4.02.3-6ubuntu2_i386.deb ... Unpacking ocaml-compiler-libs (4.02.3-6ubuntu2) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../087-ocaml-interp_4.02.3-6ubuntu2_i386.deb ... Unpacking ocaml-interp (4.02.3-6ubuntu2) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../088-ocaml-nox_4.02.3-6ubuntu2_i386.deb ... Unpacking ocaml-nox (4.02.3-6ubuntu2) ... Selecting previously unselected package camlidl. Preparing to unpack .../089-camlidl_1.05-14build2_i386.deb ... Unpacking camlidl (1.05-14build2) ... Selecting previously unselected package libcamlp4-ocaml-dev. Preparing to unpack .../090-libcamlp4-ocaml-dev_4.02.1+3-2_i386.deb ... Unpacking libcamlp4-ocaml-dev (4.02.1+3-2) ... Selecting previously unselected package camlp4. Preparing to unpack .../091-camlp4_4.02.1+3-2_i386.deb ... Unpacking camlp4 (4.02.1+3-2) ... Selecting previously unselected package coq-theories. Preparing to unpack .../092-coq-theories_8.6-4_i386.deb ... Unpacking coq-theories (8.6-4) ... Selecting previously unselected package libhunspell-1.4-0:i386. Preparing to unpack .../093-libhunspell-1.4-0_1.4.1-2build1_i386.deb ... Unpacking libhunspell-1.4-0:i386 (1.4.1-2build1) ... Selecting previously unselected package libenchant1c2a:i386. Preparing to unpack .../094-libenchant1c2a_1.6.0-11build1_i386.deb ... Unpacking libenchant1c2a:i386 (1.6.0-11build1) ... Selecting previously unselected package libgtkspell0. Preparing to unpack .../095-libgtkspell0_2.0.16-1.1ubuntu1_i386.deb ... Unpacking libgtkspell0 (2.0.16-1.1ubuntu1) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../096-liblablgtk2-ocaml_2.18.3+dfsg-2_i386.deb ... Unpacking liblablgtk2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package libgtksourceview2.0-common. Preparing to unpack .../097-libgtksourceview2.0-common_2.10.5-2ubuntu2_all.deb ... Unpacking libgtksourceview2.0-common (2.10.5-2ubuntu2) ... Selecting previously unselected package libgtksourceview2.0-0. Preparing to unpack .../098-libgtksourceview2.0-0_2.10.5-2ubuntu2_i386.deb ... Unpacking libgtksourceview2.0-0 (2.10.5-2ubuntu2) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../099-liblablgtksourceview2-ocaml_2.18.3+dfsg-2_i386.deb ... Unpacking liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../100-libcoq-ocaml_8.6-4_i386.deb ... Unpacking libcoq-ocaml (8.6-4) ... Selecting previously unselected package ocaml-native-compilers. Preparing to unpack .../101-ocaml-native-compilers_4.02.3-6ubuntu2_i386.deb ... Unpacking ocaml-native-compilers (4.02.3-6ubuntu2) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../102-libfindlib-ocaml_1.6.2-1_i386.deb ... Unpacking libfindlib-ocaml (1.6.2-1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../103-ocaml-findlib_1.6.2-1_i386.deb ... Unpacking ocaml-findlib (1.6.2-1) ... Selecting previously unselected package coq. Preparing to unpack .../104-coq_8.6-4_i386.deb ... Unpacking coq (8.6-4) ... Selecting previously unselected package libtool. Preparing to unpack .../105-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../106-dh-autoreconf_13_all.deb ... Unpacking dh-autoreconf (13) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../107-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 .../108-libfile-stripnondeterminism-perl_0.029-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.029-2) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../109-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../110-dh-strip-nondeterminism_0.029-2_all.deb ... Unpacking dh-strip-nondeterminism (0.029-2) ... Selecting previously unselected package gettext. Preparing to unpack .../111-gettext_0.19.8.1-1ubuntu2_i386.deb ... Unpacking gettext (0.19.8.1-1ubuntu2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../112-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 .../113-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../114-debhelper_10.2.2ubuntu1_all.deb ... Unpacking debhelper (10.2.2ubuntu1) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../115-libocamlgraph-ocaml-dev_1.8.6-1build2_i386.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.6-1build2) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../116-libzarith-ocaml_1.4.1-1_i386.deb ... Unpacking libzarith-ocaml (1.4.1-1) ... Selecting previously unselected package libzip-ocaml. Preparing to unpack .../117-libzip-ocaml_1.06-2_i386.deb ... Unpacking libzip-ocaml (1.06-2) ... Selecting previously unselected package tex-common. Preparing to unpack .../118-tex-common_6.05_all.deb ... Unpacking tex-common (6.05) ... Selecting previously unselected package why3. Preparing to unpack .../119-why3_0.87.2-3_i386.deb ... Unpacking why3 (0.87.2-3) ... Selecting previously unselected package why3-coq. Preparing to unpack .../120-why3-coq_0.87.2-3_i386.deb ... Unpacking why3-coq (0.87.2-3) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../121-dh-ocaml_1.0.10_all.deb ... Unpacking dh-ocaml (1.0.10) ... Selecting previously unselected package frama-c-base. Preparing to unpack .../122-frama-c-base_20161101+silicon+dfsg-4_i386.deb ... Unpacking frama-c-base (20161101+silicon+dfsg-4) ... Selecting previously unselected package sbuild-build-depends-why-dummy. Preparing to unpack .../123-sbuild-build-depends-why-dummy_0.invalid.0_i386.deb ... Unpacking sbuild-build-depends-why-dummy (0.invalid.0) ... Setting up libexpat1:i386 (2.2.0-2) ... Setting up libgtk2.0-common (2.24.31-1ubuntu1) ... Setting up libarchive-zip-perl (1.59-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libjbig0:i386 (2.1-3.1) ... Setting up libsigsegv2:i386 (2.10-5) ... Setting up libaspell15:i386 (0.60.7~20110707-3build1) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up groff-base (1.22.3-9) ... Setting up libglib2.0-0:i386 (2.51.0-2) ... No schema files found: doing nothing. Setting up emacsen-common (2.0.8) ... Setting up ocaml-base-nox (4.02.3-6ubuntu2) ... Setting up libtinfo-dev:i386 (6.0+20160625-1ubuntu1) ... Setting up dh-ocaml (1.0.10) ... Setting up libgdk-pixbuf2.0-common (2.36.2-1) ... Setting up libdatrie1:i386 (0.2.10-4) ... Setting up gettext-base (0.19.8.1-1ubuntu2) ... Setting up libjpeg-turbo8:i386 (1.5.1-0ubuntu1) ... Setting up libpipeline1:i386 (1.4.1-2) ... Setting up m4 (1.4.18-1) ... Setting up libicu57:i386 (57.1-5) ... Setting up libbsd0:i386 (0.8.3-1) ... Setting up ucf (3.0036) ... Setting up libxml2:i386 (2.9.4+dfsg1-2.1) ... Setting up libfreetype6:i386 (2.6.3-3ubuntu1) ... Setting up libmagic-mgc (1:5.29-2) ... Setting up libmagic1:i386 (1:5.29-2) ... Setting up libgraphite2-3:i386 (1.3.9-2) ... Setting up libcroco3:i386 (0.6.11-2) ... Setting up libncurses5-dev:i386 (6.0+20160625-1ubuntu1) ... Setting up libatk1.0-data (2.22.0-1) ... Setting up libpixman-1-0:i386 (0.34.0-1) ... Setting up libgtksourceview2.0-common (2.10.5-2ubuntu2) ... Processing triggers for libc-bin (2.24-7ubuntu2) ... Setting up autotools-dev (20161112.1) ... Setting up libunistring0:i386 (0.9.3-5.2ubuntu1) ... Setting up libatk1.0-0:i386 (2.22.0-1) ... Setting up libtext-iconv-perl (1.7-5build5) ... Setting up shared-mime-info (1.7-1) ... Setting up libzarith-ocaml (1.4.1-1) ... Setting up libthai-data (0.1.26-1) ... Setting up libxdmcp6:i386 (1:1.1.2-1.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 hicolor-icon-theme (0.15-1) ... Setting up libzip-ocaml (1.06-2) ... Setting up libfindlib-ocaml (1.6.2-1) ... Setting up libhunspell-1.4-0:i386 (1.4.1-2build1) ... Setting up ocaml-findlib (1.6.2-1) ... Setting up libx11-data (2:1.6.3-1ubuntu3) ... Setting up libxau6:i386 (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-1ubuntu2) ... Setting up libdbus-1-3:i386 (1.10.10-1ubuntu2) ... Setting up libavahi-common-data:i386 (0.6.32-1ubuntu1) ... Setting up libfile-stripnondeterminism-perl (0.029-2) ... Setting up libjpeg8:i386 (8c-2ubuntu8) ... 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 gettext (0.19.8.1-1ubuntu2) ... Setting up dictionaries-common (1.27.2) ... Setting up libharfbuzz0b:i386 (1.2.7-1) ... Setting up libtiff5:i386 (4.0.7-4) ... Setting up autoconf (2.69-10) ... Setting up libthai0:i386 (0.1.26-1) ... Setting up file (1:5.29-2) ... Setting up intltool-debian (0.35.0+20060710.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 man-db (2.7.6.1-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libavahi-common3:i386 (0.6.32-1ubuntu1) ... Setting up aspell (0.60.7~20110707-3build1) ... Setting up libxcb1:i386 (1.11.1-1ubuntu1) ... Setting up libtool (2.4.6-2) ... Setting up libfontconfig1:i386 (2.11.94-0ubuntu2) ... Setting up libxcb-render0:i386 (1.11.1-1ubuntu1) ... Setting up po-debconf (1.0.20) ... Setting up libx11-6:i386 (2:1.6.3-1ubuntu3) ... Setting up aspell-en (2016.11.20-0-0.1) ... Setting up libxcomposite1:i386 (1:0.4.4-1) ... Setting up libxcb-shm0:i386 (1.11.1-1ubuntu1) ... Setting up libxrender1:i386 (1:0.9.10-1) ... Setting up libavahi-client3:i386 (0.6.32-1ubuntu1) ... Setting up fontconfig (2.11.94-0ubuntu2) ... Regenerating fonts cache... done. Setting up libcups2:i386 (2.2.1-46-g10887d272-2) ... Setting up libenchant1c2a:i386 (1.6.0-11build1) ... Setting up libxdamage1:i386 (1:1.1.4-2) ... Setting up libxext6:i386 (2:1.3.3-1) ... Setting up libxfixes3:i386 (1:5.0.3-1) ... Setting up libgdk-pixbuf2.0-0:i386 (2.36.2-1) ... Setting up gtk-update-icon-cache (3.22.5-1ubuntu2) ... Setting up libxcursor1:i386 (1:1.1.14-1) ... Setting up libpango-1.0-0:i386 (1.40.3-3) ... Setting up libxrandr2:i386 (2:1.5.1-1) ... Setting up libxi6:i386 (2:1.7.6-1ubuntu1) ... Setting up libcairo2:i386 (1.14.8-1) ... Setting up libxinerama1:i386 (2:1.1.3-1) ... Setting up libpangoft2-1.0-0:i386 (1.40.3-3) ... Setting up libpangocairo-1.0-0:i386 (1.40.3-3) ... Setting up librsvg2-2:i386 (2.40.16-1) ... Setting up librsvg2-common:i386 (2.40.16-1) ... Setting up coq-theories (8.6-4) ... 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 ocaml-compiler-libs (4.02.3-6ubuntu2) ... Setting up libgtk2.0-0:i386 (2.24.31-1ubuntu1) ... Setting up dh-autoreconf (13) ... Setting up libgtksourceview2.0-0 (2.10.5-2ubuntu2) ... Setting up humanity-icon-theme (0.6.11) ... Setting up ocaml-interp (4.02.3-6ubuntu2) ... Setting up libgtkspell0 (2.0.16-1.1ubuntu1) ... Setting up libglade2-0:i386 (1:2.6.4-2) ... Setting up dh-strip-nondeterminism (0.029-2) ... Setting up debhelper (10.2.2ubuntu1) ... Setting up liblablgtk2-ocaml (2.18.3+dfsg-2) ... Setting up ocaml-nox (4.02.3-6ubuntu2) ... Setting up ubuntu-mono (16.10+17.04.20161205-0ubuntu1) ... Setting up libocamlgraph-ocaml-dev (1.8.6-1build2) ... Setting up why3 (0.87.2-3) ... Setting up ocaml-native-compilers (4.02.3-6ubuntu2) ... Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Setting up frama-c-base (20161101+silicon+dfsg-4) ... Setting up libcamlp4-ocaml-dev (4.02.1+3-2) ... Setting up camlidl (1.05-14build2) ... Setting up camlp4 (4.02.1+3-2) ... Setting up libcoq-ocaml (8.6-4) ... Setting up coq (8.6-4) ... ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file. Install coq for emacs Setting up why3-coq (0.87.2-3) ... Setting up sbuild-build-depends-why-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.24-7ubuntu2) ... Processing triggers for dictionaries-common (1.27.2) ... aspell-autobuildhash: processing: en [en-common]. aspell-autobuildhash: processing: en [en-variant_0]. aspell-autobuildhash: processing: en [en-variant_1]. aspell-autobuildhash: processing: en [en-variant_2]. aspell-autobuildhash: processing: en [en-w_accents-only]. aspell-autobuildhash: processing: en [en-wo_accents-only]. aspell-autobuildhash: processing: en [en_AU-variant_0]. aspell-autobuildhash: processing: en [en_AU-variant_1]. aspell-autobuildhash: processing: en [en_AU-w_accents-only]. aspell-autobuildhash: processing: en [en_AU-wo_accents-only]. aspell-autobuildhash: processing: en [en_CA-variant_0]. aspell-autobuildhash: processing: en [en_CA-variant_1]. aspell-autobuildhash: processing: en [en_CA-w_accents-only]. aspell-autobuildhash: processing: en [en_CA-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-variant_0]. aspell-autobuildhash: processing: en [en_GB-variant_1]. aspell-autobuildhash: processing: en [en_US-w_accents-only]. aspell-autobuildhash: processing: en [en_US-wo_accents-only]. Processing triggers for libgdk-pixbuf2.0-0:i386 (2.36.2-1) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-57-generic amd64 (i686) 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~beta3 apt-transport-https_1.4~beta3 aspell_0.60.7~20110707-3build1 aspell-en_2016.11.20-0-0.1 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 camlidl_1.05-14build2 camlp4_4.02.1+3-2 coq_8.6-4 coq-theories_8.6-4 coreutils_8.25-2ubuntu2 cpp_4:6.2.1-1ubuntu1 cpp-6_6.3.0-2ubuntu1 dash_0.5.8-2.3ubuntu1 debconf_1.5.59ubuntu1 debhelper_10.2.2ubuntu1 debianutils_4.8.1 dh-autoreconf_13 dh-ocaml_1.0.10 dh-strip-nondeterminism_0.029-2 dictionaries-common_1.27.2 diffutils_1:3.5-2 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 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 frama-c-base_20161101+silicon+dfsg-4 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 gettext_0.19.8.1-1ubuntu2 gettext-base_0.19.8.1-1ubuntu2 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 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 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~beta3 libarchive-zip-perl_1.59-1 libasan3_6.3.0-2ubuntu1 libasn1-8-heimdal_1.7~git20160703+dfsg-1ubuntu1 libaspell15_0.60.7~20110707-3build1 libassuan0_2.4.3-2 libatk1.0-0_2.22.0-1 libatk1.0-data_2.22.0-1 libatomic1_6.3.0-2ubuntu1 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 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 libcairo2_1.14.8-1 libcamlp4-ocaml-dev_4.02.1+3-2 libcap-ng0_0.7.7-3 libcap2_1:2.25-1 libcc1-0_6.3.0-2ubuntu1 libcilkrts5_6.3.0-2ubuntu1 libcomerr2_1.43.3-1 libcoq-ocaml_8.6-4 libcroco3_0.6.11-2 libcryptsetup4_2:1.7.2-0ubuntu1 libcups2_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 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.136-1ubuntu1 libdpkg-perl_1.18.10ubuntu1 libenchant1c2a_1.6.0-11build1 libexpat1_2.2.0-2 libfakeroot_1.21-1ubuntu2 libfdisk1_2.29-1ubuntu2 libffi6_3.2.1-6 libfile-stripnondeterminism-perl_0.029-2 libfindlib-ocaml_1.6.2-1 libfontconfig1_2.11.94-0ubuntu2 libfreetype6_2.6.3-3ubuntu1 libgcc-6-dev_6.3.0-2ubuntu1 libgcc1_1:6.3.0-2ubuntu1 libgcrypt20_1.7.5-2 libgdbm3_1.8.3-14 libgdk-pixbuf2.0-0_2.36.2-1 libgdk-pixbuf2.0-common_2.36.2-1 libglade2-0_1:2.6.4-2 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 libgraphite2-3_1.3.9-2 libgssapi-krb5-2_1.15-1 libgssapi3-heimdal_1.7~git20160703+dfsg-1ubuntu1 libgtk2.0-0_2.24.31-1ubuntu1 libgtk2.0-common_2.24.31-1ubuntu1 libgtksourceview2.0-0_2.10.5-2ubuntu2 libgtksourceview2.0-common_2.10.5-2ubuntu2 libgtkspell0_2.0.16-1.1ubuntu1 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 libhunspell-1.4-0_1.4.1-2build1 libhx509-5-heimdal_1.7~git20160703+dfsg-1ubuntu1 libicu57_57.1-5 libidn11_1.33-1 libip4tc0_1.6.0-3ubuntu2 libisl15_0.18-1 libitm1_6.3.0-2ubuntu1 libjbig0_2.1-3.1 libjpeg-turbo8_1.5.1-0ubuntu1 libjpeg8_8c-2ubuntu8 libk5crypto3_1.15-1 libkeyutils1_1.5.9-9ubuntu1 libkmod2_22-1.1ubuntu1 libkrb5-26-heimdal_1.7~git20160703+dfsg-1ubuntu1 libkrb5-3_1.15-1 libkrb5support0_1.15-1 libksba8_1.3.5-2 liblablgtk2-ocaml_2.18.3+dfsg-2 liblablgtksourceview2-ocaml_2.18.3+dfsg-2 libldap-2.4-2_2.4.42+dfsg-2ubuntu5 liblockfile-bin_1.09-6ubuntu1 liblockfile1_1.09-6ubuntu1 liblz4-1_0.0~r131-2ubuntu2 liblzma5_5.2.2-1.2 libmagic-mgc_1:5.29-2 libmagic1_1:5.29-2 libmount1_2.29-1ubuntu2 libmpc3_1.0.3-1 libmpfr4_3.1.5-1 libmpx2_6.3.0-2ubuntu1 libncurses5_6.0+20160625-1ubuntu1 libncurses5-dev_6.0+20160625-1ubuntu1 libncursesw5_6.0+20160625-1ubuntu1 libnettle6_3.3-1 libnpth0_1.3-1 libocamlgraph-ocaml-dev_1.8.6-1build2 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 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 libprocps6_2:3.3.12-1ubuntu2 libquadmath0_6.3.0-2ubuntu1 libreadline7_7.0-0ubuntu2 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 libsepol1_2.6-2 libsigsegv2_2.10-5 libslang2_2.3.1-5ubuntu1 libsmartcols1_2.29-1ubuntu2 libsqlite3-0_3.16.2-1 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 libsystemd0_232-8 libtasn1-6_4.9-4 libtext-iconv-perl_1.7-5build5 libthai-data_0.1.26-1 libthai0_0.1.26-1 libtiff5_4.0.7-4 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20160625-1ubuntu1 libtinfo5_6.0+20160625-1ubuntu1 libtool_2.4.6-2 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 libwind0-heimdal_1.7~git20160703+dfsg-1ubuntu1 libx11-6_2:1.6.3-1ubuntu3 libx11-data_2:1.6.3-1ubuntu3 libxau6_1:1.0.8-1 libxcb-render0_1.11.1-1ubuntu1 libxcb-shm0_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 libxi6_2:1.7.6-1ubuntu1 libxinerama1_2:1.1.3-1 libxml2_2.9.4+dfsg1-2.1 libxrandr2_2:1.5.1-1 libxrender1_1:0.9.10-1 libzarith-ocaml_1.4.1-1 libzip-ocaml_1.06-2 linux-libc-dev_4.9.0-11.12 lockfile-progs_0.1.17 login_1:4.2-3.2ubuntu1 lsb-base_9.20160110ubuntu5 m4_1.4.18-1 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 ocaml-base-nox_4.02.3-6ubuntu2 ocaml-compiler-libs_4.02.3-6ubuntu2 ocaml-findlib_1.6.2-1 ocaml-interp_4.02.3-6ubuntu2 ocaml-native-compilers_4.02.3-6ubuntu2 ocaml-nox_4.02.3-6ubuntu2 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 procps_2:3.3.12-1ubuntu2 readline-common_7.0-0ubuntu2 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-why-dummy_0.invalid.0 sed_4.3-3 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 tar_1.29b-1.1 tex-common_6.05 tzdata_2016j-2 ubuntu-keyring_2016.10.27 ubuntu-mono_16.10+17.04.20161205-0ubuntu1 ucf_3.0036 util-linux_2.29-1ubuntu2 why3_0.87.2-3 why3-coq_0.87.2-3 xz-utils_5.2.2-1.2 zlib1g_1:1.2.8.dfsg-4ubuntu1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Mon Jan 9 09:38:24 2017 UTC gpgv: using RSA key gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./why_2.36-5build1.dsc dpkg-source: info: extracting why in why-2.36 dpkg-source: info: unpacking why_2.36.orig.tar.gz dpkg-source: info: unpacking why_2.36-5build1.debian.tar.xz dpkg-source: info: applying bprintf dpkg-source: info: applying edge dpkg-source: info: applying reproducible_build 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 why dpkg-buildpackage: info: source version 2.36-5build1 dpkg-buildpackage: info: source distribution zesty dpkg-source --before-build why-2.36 dpkg-buildpackage: info: host architecture i386 fakeroot debian/rules clean dh clean --with ocaml --no-parallel dh_testdir -O--no-parallel rm -f debian/*.debhelper.log debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' [ ! -f Makefile ] || sed -e 's/include .depend.*//g' Makefile > Makefile.debian [ ! -f Makefile.debian ] || /usr/bin/make -f Makefile.debian clean rm -f -f lib/coq/*.glob make[1]: Leaving directory '/<>' dh_autoreconf_clean -O--no-parallel dh_ocamlclean -O--no-parallel rm -f ocamlinit-stamp dh_clean -O--no-parallel rm -f debian/debhelper-build-stamp rm -f debian/why.substvars rm -f debian/why.*.debhelper rm -rf debian/why/ rm -f debian/libwhy-coq.substvars rm -f debian/libwhy-coq.*.debhelper rm -rf debian/libwhy-coq/ rm -rf debian/.debhelper/ rm -f debian/*.debhelper.log rm -f debian/files rm -f -- Makefile Makefile.debian a.out bin/gwhy.opt bin/krakatoa.opt bin/simplify2why.opt bin/why-config.opt config.status config.log bench/bench config/check_ocamlgraph.cmi config/check_ocamlgraph.cmo config/check_ocamlgraph.cmx config/check_ocamlgraph.o doc/version.tex jc/jc.a jc/jc.cma jc/jc.cmxa lib/coq/WhyCoqCompat.vo lib/why/arrays_why.v lib/why/floats_why.v lib/why/prelude_why.v mix/mix_parser.output regtest.opt tools/simplify_parser.output tools/toolstat_pars.output 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-arch dh build-arch --with ocaml --no-parallel dh_testdir -a -O--no-parallel dh_update_autotools_config -a -O--no-parallel dh_autoreconf -a -O--no-parallel find ! -ipath "./debian/*" -a ! \( -path '*/.git/*' -o -path '*/.hg/*' -o -path '*/.bzr/*' -o -path '*/.svn/*' -o -path '*/CVS/*' \) -a -type f -exec md5sum {} + > debian/autoreconf.before autoreconf -f -i aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' find ! -ipath "./debian/*" -a ! \( -path '*/.git/*' -o -path '*/.hg/*' -o -path '*/.bzr/*' -o -path '*/.svn/*' -o -path '*/CVS/*' \) -a -type f -exec md5sum {} + > debian/autoreconf.after dh_ocamlinit -a -O--no-parallel touch ocamlinit-stamp rm -f debian/*.debhelper.log debian/rules override_dh_auto_configure make[1]: Entering directory '/<>' ./configure \ --host=i686-linux-gnu \ --build=i686-linux-gnu \ --prefix=/usr \ --libdir=/usr/share \ --mandir=\${prefix}/share/man \ --infodir=\${prefix}/share/info \ LDFLAGS="-Wl,-z,defs" checking for ocamlc... ocamlc ocaml version is 4.02.3 ocaml library path is /usr/lib/ocaml checking for ocamlfind... yes checking OS dependent settings... Unix checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocamlopt.opt... ocamlopt.opt checking ocamlc.opt version... ok checking for ocamldep... ocamldep checking for ocamldep.opt... ocamldep.opt checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc checking for ocamldoc... ocamldoc checking for ocamldoc.opt... ocamldoc.opt ocamlfind found ocamlgraph in /usr/lib/ocaml/ocamlgraph checking for ocamlweb... true checking for frama-c... /usr/bin/frama-c checking Frama-c version... Silicon-20161101 configure: WARNING: bad Frama-c version "Silicon-20161101", you need version Magnesium checking for why3... /usr/bin/why3 checking Why3 version... 0.87.2 checking for coqc... /usr/bin/coqc checking for coqdep... coqdep checking Coq version... 8.6 checking Coq realizations for Why3... yes checking for pvs... no configure: WARNING: Cannot find PVS. configure: creating ./config.status config.status: creating Makefile Summary ----------------------------------------- OCaml version : 4.02.3 OCaml library path : /usr/lib/ocaml OcamlGraph lib : found by ocamlfind Verbose make : no Inference of annotations : no Why3 support : yes Binary : /usr/bin/why3 Version : 0.87.2 Frama-C plugin : no Coq support (via Why3) : yes Binary : /usr/bin/coqc Version : v8 (8.6) Libraries : /usr/lib/coq PVS support (via Why3) : no command 'pvs' not found Other provers support : (via Why3) make[1]: Leaving directory '/<>' rm -f debian/*.debhelper.log debian/rules override_dh_auto_build make[1]: Entering directory '/<>' mkdir -p bin dh_auto_build make -j1 make[2]: Entering directory '/<>' ocamllex.opt jc/numconst.mll 71 states, 764 transitions, table size 3482 bytes rm -f jc/jc_stdlib.ml case 4.02.3 in \ 3.0*|3.10*|3.11*) cp jc/jc_stdlib_lt312.ml jc/jc_stdlib.ml ;; \ 3.12*) cp jc/jc_stdlib_ge312.ml jc/jc_stdlib.ml ;; \ 4.0*) cp jc/jc_stdlib_ge400.ml jc/jc_stdlib.ml ;; \ esac chmod -w jc/jc_stdlib.ml ocamllex.opt jc/jc_lexer.mll 526 states, 32030 transitions, table size 131276 bytes 16374 additional bytes used for bindings ocamlyacc -v jc/jc_parser.mly 1 shift/reduce conflict. if test "no" = "yes" ; then \ echo "# 1 \"jc/jc_annot_inference.ml\"" > jc/jc_ai.ml; \ cat jc/jc_annot_inference.ml >> jc/jc_ai.ml; \ else \ echo "# 1 \"jc/jc_annot_fail.ml\"" > jc/jc_ai.ml; \ cat jc/jc_annot_fail.ml >> jc/jc_ai.ml; \ fi ocamlyacc -v java/java_parser.mly ocamllex.opt java/java_lexer.mll 168 states, 1957 transitions, table size 8836 bytes 4503 additional bytes used for bindings ocamllex.opt mix/mix_lexer.mll 65 states, 434 transitions, table size 2126 bytes ocamlyacc -v mix/mix_parser.mly printf "[main]\n" > lib/why3/why3.conf printf "loadpath=\"/usr/share/why/why3\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[prover_modifiers]\n" >> lib/why3/why3.conf printf "name=\"Coq\"\n" >> lib/why3/why3.conf printf "option=\"-R /usr/share/why/coq Why\"\n" >> lib/why3/why3.conf printf "driver=\"/usr/share/why/why3/coq.drv\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[editor_modifiers coqide]\n" >> lib/why3/why3.conf printf "option=\"-R /usr/share/why/coq Why\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[editor_modifiers proofgeneral-coq]\n" >> lib/why3/why3.conf printf "option=\"--eval \\\\\"(setq coq-load-path (cons '(\\\\\\\\\\\\\"/usr/share/why/coq\\\\\\\\\\\\\" \\\\\\\\\\\\\"Why\\\\\\\\\\\\\") coq-load-path))\\\\\"\"\n" >> lib/why3/why3.conf rm -f .depend ocamldep.opt -slash -I src -I jc -I java -I mix -I tools src/*.ml src/*.mli jc/*.mli jc/*.ml java/*.mli java/*.ml mix/*.mli mix/*.ml > .depend BINDIR=/usr/bin LIBDIR=/usr/share COQVER=v8 ./version.sh Ocamlopt src/version.ml Ocamlc src/lib.mli Ocamlopt src/lib.ml Ocamlc src/rc.mli Ocamlopt src/rc.ml Ocamlc src/loc.mli Ocamlopt src/loc.ml Ocamlc src/ident.mli Ocamlopt src/ident.ml Ocamlc src/logic.mli Ocamlopt src/print_real.ml Ocamlc src/effect.mli Ocamlopt src/effect.ml Ocamlc src/pp.mli Ocamlopt src/pp.ml Ocamlc src/option_misc.mli Ocamlopt src/option_misc.ml Ocamlc src/types.mli Ocamlc src/ptree.mli Ocamlc src/parser.mli Ocamlopt src/parser.ml Ocamlc src/lexer.mli Ocamlopt src/lexer.ml Ocamlc src/error.mli Ocamlc src/report.mli Ocamlopt src/report.ml Ocamlc src/cc.mli Ocamlc src/ast.mli Ocamlc src/env.mli Ocamlc src/logic_decl.mli Ocamlc src/explain.mli Ocamlopt src/explain.ml Ocamlc src/xml.mli Ocamlopt src/xml.ml Ocamlc src/project.mli Ocamlopt src/project.ml Ocamlc src/why3_kw.mli Ocamlopt src/why3_kw.ml Ocamlc jc/jc_env.mli Ocamlc jc/output.mli Ocamlopt jc/output.ml Ocamlc jc/jc_common_options.mli Ocamlopt jc/jc_common_options.ml Ocamlopt jc/jc_stdlib.ml Ocamlc jc/jc_stdlib.ml Ocamlc jc/jc_envset.mli Ocamlopt jc/jc_envset.ml Ocamlopt jc/jc_region.ml Ocamlc jc/jc_ast.mli Ocamlopt jc/jc_fenv.ml Ocamlc jc/jc_region.ml Ocamlc jc/jc_fenv.ml Ocamlc jc/jc_constructors.mli Ocamlopt jc/jc_constructors.ml Ocamlc jc/jc_pervasives.mli Ocamlopt jc/jc_pervasives.ml Ocamlc jc/jc_iterators.mli Ocamlopt jc/jc_iterators.ml Ocamlc jc/jc_type_var.mli Ocamlopt jc/jc_type_var.ml Ocamlopt jc/jc_output_misc.ml Ocamlopt jc/jc_poutput.ml Ocamlopt jc/jc_output.ml Ocamlopt jc/jc_noutput.ml Ocamlc jc/jc_options.mli Ocamlopt jc/jc_options.ml Ocamlopt jc/jc_name.ml Ocamlc jc/jc_struct_tools.mli Ocamlopt jc/jc_struct_tools.ml Ocamlc jc/jc_norm.mli Ocamlopt jc/jc_norm.ml Ocamlc jc/jc_typing.mli Ocamlopt jc/jc_typing.ml Ocamlc jc/numconst.mli Ocamlopt jc/numconst.ml Ocamlc jc/jc_parser.mli Ocamlopt jc/jc_parser.ml Ocamlc jc/jc_lexer.mli Ocamlopt jc/jc_lexer.ml Ocamlopt jc/jc_separation.ml Ocamlc jc/jc_callgraph.mli Ocamlopt jc/jc_callgraph.ml Ocamlopt jc/jc_effect.ml Ocamlc jc/jc_ai.mli Ocamlopt jc/jc_ai.ml Ocamlc jc/jc_interp_misc.mli Ocamlopt jc/jc_interp_misc.ml Ocamlopt jc/jc_invariants.ml Ocamlopt jc/jc_pattern.ml Ocamlopt jc/jc_frame_notin.ml Ocamlc jc/jc_interp.mli Ocamlopt jc/jc_interp.ml Ocamlc jc/jc_frame.mli Ocamlopt jc/jc_frame.ml Ocamlopt jc/jc_make.ml Ocamlopt jc/jc_main.ml Linking bin/jessie.opt strip bin/jessie.opt Ocamlc java/java_env.mli Ocamlopt java/java_options.ml Ocamlc java/java_ast.mli Ocamlc java/java_tast.mli Ocamlopt java/java_pervasives.ml Ocamlopt java/java_abstract.ml Ocamlc java/java_parser.mli Ocamlopt java/java_parser.ml Ocamlopt java/java_lexer.ml Ocamlopt java/java_syntax.ml Ocamlc java/java_typing.mli Ocamlopt java/java_typing.ml Ocamlc java/java_callgraph.mli Ocamlopt java/java_callgraph.ml Ocamlopt java/java_analysis.ml Ocamlopt java/java_interp.ml Ocamlopt java/java_main.ml Linking bin/krakatoa.opt strip bin/krakatoa.opt ocamlopt.opt -w Aer-3-6-41-44-45-48-50 -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I /usr/lib/ocaml/ocamlgraph -thread -o regtest.opt unix.cmxa str.cmxa threads.cmxa tools/regtest.ml /usr/bin/coqc -R /usr/lib/i386-linux-gnu/why3/coq Why3 -R lib/coq Why lib/coq/Jessie_memory_model.v make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' fakeroot debian/rules binary-arch dh binary-arch --with ocaml --no-parallel dh_testroot -a -O--no-parallel dh_prep -a -O--no-parallel rm -f debian/why.substvars rm -f debian/why.*.debhelper rm -rf debian/why/ dh_installdirs -a -O--no-parallel install -d debian/why install -d debian/why/usr/share/why rm -f debian/*.debhelper.log debian/rules override_dh_auto_install make[1]: Entering directory '/<>' echo 'description = "Frama-C Jessie plug-in"' > frama-c-plugin/META.frama-c-jessie echo -n 'version = "' >> frama-c-plugin/META.frama-c-jessie echo -n 20161101+silicon+dfsg-4 >> frama-c-plugin/META.frama-c-jessie echo '"' >> frama-c-plugin/META.frama-c-jessie echo 'requires = ""' >> frama-c-plugin/META.frama-c-jessie echo 'archive(byte) = "Jessie.cma"' >> frama-c-plugin/META.frama-c-jessie echo 'archive(native) = "Jessie.cmxa"' >> frama-c-plugin/META.frama-c-jessie echo 'archive(plugin) = "Jessie.cmxs"' >> frama-c-plugin/META.frama-c-jessie echo 'directory = ""' >> frama-c-plugin/META.frama-c-jessie mkdir -p /<>/debian/why/usr/lib/frama-c/plugins /usr/bin/make prefix=/<>/debian/why/usr install \ LIBDIR=/<>/debian/why/usr/share \ PLUGIN_INSTALL_DIR=/<>/debian/why/usr/lib/frama-c/plugins \ COQLIB=/<>/debian/libwhy-coq//usr/lib/coq make[2]: Entering directory '/<>' mkdir -p /<>/debian/why/usr/bin cp -f bin/jessie.opt /<>/debian/why/usr/bin/jessie cp -f bin/krakatoa.opt /<>/debian/why/usr/bin/krakatoa rm -rf /<>/debian/why/usr/share/why mkdir -p /<>/debian/why/usr/share/why/why3 cp -f lib/why3/why3.conf lib/why3/coq.drv lib/why3/jessie_why3theories.why lib/why3/jessie_why3.mlw /<>/debian/why/usr/share/why/why3 cd lib; cp -rf java_api /<>/debian/why/usr/share/why cd lib; cp -rf javacard_api /<>/debian/why/usr/share/why if test -w /<>/debian/libwhy-coq//usr/lib/coq ; then \ rm -f /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Why*.v* ; \ rm -f /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/caduceus*.v* /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Caduceus*.v* ; \ rm -f /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/jessie*.v* /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Jessie*.v* ; \ mkdir -p /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \ cp -f lib/coq/Jessie_memory_model.vo /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \ else \ echo "Cannot copy to Coq standard library. Add \"-R /<>/debian/why/usr/share/why/coq Why\" to Coq options." ;\ fi Cannot copy to Coq standard library. Add "-R /<>/debian/why/usr/share/why/coq Why" to Coq options. mkdir -p /<>/debian/why/usr/share/why/coq cp -f lib/coq/Jessie_memory_model.vo /<>/debian/why/usr/share/why/coq make[2]: Leaving directory '/<>' #Used to remove /usr/share/coq/jessie_why.v which is alone and installed by libwhy-coq rm -f -rf /<>/debian/why/usr/share/coq/ #There is no program using the Jessie library. rm -f -rf /<>/debian/why/usr/share/jessie/ #Jessie.cma is installed, no need for this extra file rm -f -f /<>/debian/why/usr/lib/frama-c/plugins/Jessie.cmo echo 'F:CoqABI=8.6+4.02.3' >> debian/libwhy-coq.substvars echo 'F:FramaCVersion=20161101+silicon+dfsg-4' >> debian/why.substvars make[1]: Leaving directory '/<>' dh_ocamldoc -a -O--no-parallel dh_installdocs -a -O--no-parallel install -d debian/why/usr/share/doc/why cp --reflink=auto -a README debian/why/usr/share/doc/why chown -R 0:0 debian/why/usr/share/doc chmod -R go=rX debian/why/usr/share/doc chmod -R u\+rw debian/why/usr/share/doc install -p -m0644 debian/copyright debian/why/usr/share/doc/why/copyright dh_installchangelogs -a -O--no-parallel install -p -m0644 debian/changelog debian/why/usr/share/doc/why/changelog.Debian install -p -m0644 debian/why.NEWS debian/why/usr/share/doc/why/NEWS.Debian dh_installman -a -O--no-parallel install -d debian/why/usr/share/man/man1/ install -p -m0644 debian/jessie.1 debian/why/usr/share/man/man1/jessie.1 install -p -m0644 debian/krakatoa.1 debian/why/usr/share/man/man1/krakatoa.1 man --recode UTF-8 ./jessie\.1 > jessie\.1\.new chmod 0755 -- jessie.1.new chown 0:0 -- jessie.1.new mv -f jessie.1.new jessie.1 man --recode UTF-8 ./krakatoa\.1 > krakatoa\.1\.new chmod 0755 -- krakatoa.1.new chown 0:0 -- krakatoa.1.new mv -f krakatoa.1.new krakatoa.1 dh_perl -a -O--no-parallel dh_link -a -O--no-parallel dh_strip_nondeterminism -a -O--no-parallel rm -f debian/*.debhelper.log debian/rules override_dh_compress make[1]: Entering directory '/<>' dh_compress -X.v -X.sx -X.why cd debian/why chmod a-x usr/share/doc/why/NEWS.Debian usr/share/doc/why/changelog.Debian usr/share/man/man1/jessie.1 usr/share/man/man1/krakatoa.1 gzip -9nf usr/share/doc/why/NEWS.Debian usr/share/doc/why/changelog.Debian usr/share/man/man1/jessie.1 usr/share/man/man1/krakatoa.1 cd '/<>' make[1]: Leaving directory '/<>' dh_fixperms -a -O--no-parallel find debian/why -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/why ! -type l -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/why/usr/share/doc -type f ! -regex 'debian/why/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why/usr/share/doc -type d -print0 2>/dev/null | xargs -0r chmod 0755 find debian/why/usr/share/man -type f -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why/usr/include -type f -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why/usr/share/applications -type f -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why/usr/lib/i386-linux-gnu/perl5/5.24 debian/why/usr/share/perl5 -type f -perm -5 -name '*.pm' -print0 2>/dev/null | xargs -0r chmod a-X find debian/why -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/why/usr/bin -type f -print0 2>/dev/null | xargs -0r chmod a+x find debian/why/usr/lib -type f -name '*.ali' -print0 2>/dev/null | xargs -0r chmod uga-w dh_strip -a -O--no-parallel dh_strip debug symbol extraction: enabling -a due to Build-Debug-Symbols: yes in /CurrentlyBuilding dh_strip debug symbol extraction: all non-arch-all packages for this build platform i386: why dh_strip debug symbol extraction: packages to act on: why dh_strip debug symbol extraction: ignored packages: Using buildid for compat level >= 9 why has no unstripped objects, ignoring find: ‘/<>/debian/why-dbgsym’: No such file or directory /usr/bin/pkg_create_dbgsym: nothing in /<>/debian/why-dbgsym and no dbgdepends, ignoring strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/jessie strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/krakatoa dh_makeshlibs -a -O--no-parallel rm -f debian/why/DEBIAN/shlibs dh_shlibdeps -a -O--no-parallel install -d debian/why/DEBIAN dpkg-shlibdeps -Tdebian/why.substvars debian/why/usr/bin/jessie debian/why/usr/bin/krakatoa dh_installdeb -a -O--no-parallel dh_ocaml -a -O--no-parallel +++ Remove former .olist.debhelper files +++ +++ Generate .olist.debhelper files +++ "cat debian/why.olist.debhelper" +++ Compute .md5sums and lintian files for dev packages +++ +++ Compute dependencies for dev +++ +++ Compute dependencies for binary packages+++ grep -a -s -v '^ocaml:Depends=' debian/why.substvars > debian/why.substvars.new || true mv debian/why.substvars.new debian/why.substvars /usr/bin/ocaml-md5sums -v --package why dep < debian/why.olist.debhelper dh_gencontrol -a -O--no-parallel echo misc:Depends= >> debian/why.substvars echo misc:Pre-Depends= >> debian/why.substvars dpkg-gencontrol -pwhy -ldebian/changelog -Tdebian/why.substvars -Pdebian/why dpkg-gencontrol: warning: Depends field of package why: unknown substitution variable ${ocaml:Depends} dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe chmod 0644 -- debian/why/DEBIAN/control chown 0:0 -- debian/why/DEBIAN/control dh_gencontrol debug symbol wrapper: all non-arch-all packages for this build platform i386: why dh_gencontrol debug symbol wrapper: packages to act on: why dh_gencontrol debug symbol wrapper: ignored packages: dh_gencontrol debug symbol wrapper: no debian/why-dbgsym, skipping package why dh_md5sums -a -O--no-parallel (cd debian/why >/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/why/DEBIAN/md5sums chown 0:0 -- debian/why/DEBIAN/md5sums dh_builddeb -a -O--no-parallel dpkg-deb --build debian/why .. INFO: pkgstriptranslations version 131 pkgstriptranslations: processing why (in debian/why); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/why/DEBIAN/control, package why, directory debian/why pkgstripfiles: Truncating usr/share/doc/why/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package why ... pkgstripfiles: No PNG files. dpkg-deb: building package 'why' in '../why_2.36-5build1_i386.deb'. dpkg-genchanges --build=any -mLaunchpad Build Daemon >../why_2.36-5build1_i386.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build why-2.36 dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20170109-0941 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ why_2.36-5build1_i386.changes: ------------------------------ Format: 1.8 Date: Mon, 09 Jan 2017 10:38:23 +0100 Source: why Binary: why libwhy-coq Architecture: i386 Version: 2.36-5build1 Distribution: zesty-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna Description: libwhy-coq - Why library for Coq why - Software verification tool for C and Java Changes: why (2.36-5build1) zesty; urgency=medium . * Rebuild against new OCaml ABI. Checksums-Sha1: d5afb6a87fb01d5ddab58a4048d4b068d236d7ca 1237162 why_2.36-5build1_i386.deb Checksums-Sha256: 0315068b57203ab1ba970bdc53d081c6303e6c7ab61407837b89cdbe421d9848 1237162 why_2.36-5build1_i386.deb Files: 2fff24dafd6be759badd6b7a3a1bb9d4 1237162 math optional why_2.36-5build1_i386.deb +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ why_2.36-5build1_i386.deb ------------------------- new debian package, version 2.0. size 1237162 bytes: control archive=3786 bytes. 768 bytes, 17 lines control 8982 bytes, 104 lines md5sums Package: why Version: 2.36-5build1 Architecture: i386 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 6359 Depends: libc6 (>= 2.15), frama-c-base (= 20161101+silicon+dfsg-4), why3, make Suggests: libwhy-coq (= 2.36-5build1) Section: math Priority: optional Homepage: http://krakatoa.lri.fr/ Description: Software verification tool for C and Java This package contains Krakatoa and Jessie, two front-ends of the Why3 platform for deductive program verification. Krakatoa deals with Java programs annotated in a variant of the The Java Modeling Language. Jessie deals with C programs annotated in the ANSI/ISO C Specification Language (ACSL). drwxr-xr-x root/root 0 2017-01-09 09:38 ./ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/bin/ -rwxr-xr-x root/root 2980876 2017-01-09 09:38 ./usr/bin/jessie -rwxr-xr-x root/root 2135020 2017-01-09 09:38 ./usr/bin/krakatoa drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/lib/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/lib/frama-c/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/lib/frama-c/plugins/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/doc/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/doc/why/ -rw-r--r-- root/root 222 2016-12-27 12:13 ./usr/share/doc/why/NEWS.Debian.gz -rw-r--r-- root/root 3206 2016-07-22 08:03 ./usr/share/doc/why/README -rw-r--r-- root/root 2034 2017-01-09 09:38 ./usr/share/doc/why/changelog.Debian.gz -rw-r--r-- root/root 3865 2016-12-27 12:13 ./usr/share/doc/why/copyright drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/man/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/man/man1/ -rw-r--r-- root/root 907 2017-01-09 09:38 ./usr/share/man/man1/jessie.1.gz -rw-r--r-- root/root 553 2017-01-09 09:38 ./usr/share/man/man1/krakatoa.1.gz drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/coq/ -rw-r--r-- root/root 88305 2017-01-09 09:38 ./usr/share/why/coq/Jessie_memory_model.vo drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/java_api/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/java_api/java/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/java_api/java/io/ -rw-r--r-- root/root 7104 2017-01-09 09:38 ./usr/share/why/java_api/java/io/BufferedWriter.java -rw-r--r-- root/root 63721 2017-01-09 09:38 ./usr/share/why/java_api/java/io/File.java -rw-r--r-- root/root 3929 2017-01-09 09:38 ./usr/share/why/java_api/java/io/FileDescriptor.java -rw-r--r-- root/root 1932 2017-01-09 09:38 ./usr/share/why/java_api/java/io/FileNotFoundException.java -rw-r--r-- root/root 2093 2017-01-09 09:38 ./usr/share/why/java_api/java/io/FileReader.java -rw-r--r-- root/root 5152 2017-01-09 09:38 ./usr/share/why/java_api/java/io/FilterOutputStream.java -rw-r--r-- root/root 1103 2017-01-09 09:38 ./usr/share/why/java_api/java/io/IOException.java -rw-r--r-- root/root 14881 2017-01-09 09:38 ./usr/share/why/java_api/java/io/InputStream.java -rw-r--r-- root/root 5732 2017-01-09 09:38 ./usr/share/why/java_api/java/io/InputStreamReader.java -rw-r--r-- root/root 64725 2017-01-09 09:38 ./usr/share/why/java_api/java/io/ObjectStreamClass.java -rw-r--r-- root/root 5082 2017-01-09 09:38 ./usr/share/why/java_api/java/io/OutputStream.java -rw-r--r-- root/root 6788 2017-01-09 09:38 ./usr/share/why/java_api/java/io/OutputStreamWriter.java -rw-r--r-- root/root 18130 2017-01-09 09:38 ./usr/share/why/java_api/java/io/PrintStream.java -rw-r--r-- root/root 7268 2017-01-09 09:38 ./usr/share/why/java_api/java/io/Reader.java -rw-r--r-- root/root 4695 2017-01-09 09:38 ./usr/share/why/java_api/java/io/Serializable.java -rw-r--r-- root/root 25753 2017-01-09 09:38 ./usr/share/why/java_api/java/io/StreamTokenizer.java drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/ -rw-r--r-- root/root 1028 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/ArrayStoreException.java -rw-r--r-- root/root 3067 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/CharSequence.java -rw-r--r-- root/root 74738 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/Character.java -rw-r--r-- root/root 89699 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/Class.java -rw-r--r-- root/root 1353 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/Cloneable.java -rw-r--r-- root/root 5730 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/Comparable.java -rw-r--r-- root/root 28832 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/Double.java -rw-r--r-- root/root 2772 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/Exception.java -rw-r--r-- root/root 893 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/IllegalArgumentException.java -rw-r--r-- root/root 35750 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/Integer.java -rw-r--r-- root/root 34165 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/Long.java -rw-r--r-- root/root 37242 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/Math.java -rw-r--r-- root/root 3072 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/Number.java -rw-r--r-- root/root 1356 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/NumberFormatException.java -rw-r--r-- root/root 23657 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/Object.java -rw-r--r-- root/root 2935 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/RuntimeException.java -rw-r--r-- root/root 90665 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/String.java -rw-r--r-- root/root 50601 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/StringBuffer.java -rw-r--r-- root/root 38062 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/System.java -rw-r--r-- root/root 26985 2017-01-09 09:38 ./usr/share/why/java_api/java/lang/Throwable.java drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/java_api/java/util/ -rw-r--r-- root/root 23747 2017-01-09 09:38 ./usr/share/why/java_api/java/util/AbstractMap.java -rw-r--r-- root/root 18850 2017-01-09 09:38 ./usr/share/why/java_api/java/util/Collection.java -rw-r--r-- root/root 34531 2017-01-09 09:38 ./usr/share/why/java_api/java/util/HashMap.java -rw-r--r-- root/root 761 2017-01-09 09:38 ./usr/share/why/java_api/java/util/HashMapIntegerInteger.java -rw-r--r-- root/root 785 2017-01-09 09:38 ./usr/share/why/java_api/java/util/HashMapIntegerLong.java -rw-r--r-- root/root 2165 2017-01-09 09:38 ./usr/share/why/java_api/java/util/Iterator.java -rw-r--r-- root/root 39 2017-01-09 09:38 ./usr/share/why/java_api/java/util/Locale.java -rw-r--r-- root/root 19069 2017-01-09 09:38 ./usr/share/why/java_api/java/util/Map.java -rw-r--r-- root/root 14662 2017-01-09 09:38 ./usr/share/why/java_api/java/util/Set.java drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/javacard_api/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/javacard_api/com/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/javacard_api/com/sun/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/javacard_api/com/sun/javacard/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/javacard_api/com/sun/javacard/impl/ -rw-r--r-- root/root 114 2017-01-09 09:38 ./usr/share/why/javacard_api/com/sun/javacard/impl/Constants.java -rw-r--r-- root/root 65 2017-01-09 09:38 ./usr/share/why/javacard_api/com/sun/javacard/impl/NativeMethods.java -rw-r--r-- root/root 64 2017-01-09 09:38 ./usr/share/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java -rw-r--r-- root/root 62 2017-01-09 09:38 ./usr/share/why/javacard_api/com/sun/javacard/impl/PrivAccess.java drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/javacard_api/java/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/javacard_api/java/lang/ -rw-r--r-- root/root 500 2017-01-09 09:38 ./usr/share/why/javacard_api/java/lang/ArrayIndexOutOfBoundsException.java -rw-r--r-- root/root 1659 2017-01-09 09:38 ./usr/share/why/javacard_api/java/lang/Exception.java -rw-r--r-- root/root 482 2017-01-09 09:38 ./usr/share/why/javacard_api/java/lang/IndexOutOfBoundsException.java -rw-r--r-- root/root 3513 2017-01-09 09:38 ./usr/share/why/javacard_api/java/lang/Object.java -rw-r--r-- root/root 1758 2017-01-09 09:38 ./usr/share/why/javacard_api/java/lang/RuntimeException.java -rw-r--r-- root/root 1793 2017-01-09 09:38 ./usr/share/why/javacard_api/java/lang/Throwable.java drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/ -rw-r--r-- root/root 7395 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/AID.java -rw-r--r-- root/root 38103 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/APDU.java -rw-r--r-- root/root 5011 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/APDUException.java -rw-r--r-- root/root 14548 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/Applet.java -rw-r--r-- root/root 3167 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/CardException.java -rw-r--r-- root/root 3306 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/CardRuntimeException.java -rw-r--r-- root/root 9040 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/Dispatcher.java -rw-r--r-- root/root 4779 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/ISO7816.java -rw-r--r-- root/root 4190 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/ISOException.java -rw-r--r-- root/root 17345 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/JCSystem.java -rw-r--r-- root/root 11618 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/OwnerPIN.java -rw-r--r-- root/root 5358 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/PIN.java -rw-r--r-- root/root 3042 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/PINException.java -rw-r--r-- root/root 1565 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/Shareable.java -rw-r--r-- root/root 4295 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/SystemException.java -rw-r--r-- root/root 4167 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/TransactionException.java -rw-r--r-- root/root 3223 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/UserException.java -rw-r--r-- root/root 17202 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/framework/Util.java drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/ -rw-r--r-- root/root 3820 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/CryptoException.java -rw-r--r-- root/root 3138 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/DESKey.java -rw-r--r-- root/root 6928 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/DSAKey.java -rw-r--r-- root/root 3305 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/DSAPrivateKey.java -rw-r--r-- root/root 3308 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/DSAPublicKey.java -rw-r--r-- root/root 2223 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/Key.java -rw-r--r-- root/root 5796 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/KeyBuilder.java -rw-r--r-- root/root 6484 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/KeyPair.java -rw-r--r-- root/root 5038 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/MessageDigest.java -rw-r--r-- root/root 1190 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/PrivateKey.java -rw-r--r-- root/root 1190 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/PublicKey.java -rw-r--r-- root/root 10715 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/RSAPrivateCrtKey.java -rw-r--r-- root/root 5014 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/RSAPrivateKey.java -rw-r--r-- root/root 4723 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/RSAPublicKey.java -rw-r--r-- root/root 3257 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/RandomData.java -rw-r--r-- root/root 1186 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/SecretKey.java -rw-r--r-- root/root 18870 2017-01-09 09:38 ./usr/share/why/javacard_api/javacard/security/Signature.java drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/javacard_api/javacardx/ drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/javacard_api/javacardx/crypto/ -rw-r--r-- root/root 2970 2017-01-09 09:38 ./usr/share/why/javacard_api/javacardx/crypto/Cipher.java drwxr-xr-x root/root 0 2017-01-09 09:38 ./usr/share/why/why3/ -rw-r--r-- root/root 141 2017-01-09 09:38 ./usr/share/why/why3/coq.drv -rw-r--r-- root/root 19602 2017-01-09 09:38 ./usr/share/why/why3/jessie_why3.mlw -rw-r--r-- root/root 19703 2017-01-09 09:38 ./usr/share/why/why3/jessie_why3theories.why -rw-r--r-- root/root 344 2017-01-09 09:38 ./usr/share/why/why3/why3.conf +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Not removing build depends: as requested Keeping session: +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: i386 Build-Space: 55844 Build-Time: 28 Distribution: zesty-proposed Host Architecture: i386 Install-Time: 61 Job: why_2.36-5build1.dsc Machine Architecture: amd64 Package: why Package-Time: 90 Source-Version: 2.36-5build1 Space: 55844 Status: successful Version: 2.36-5build1 -------------------------------------------------------------------------------- Finished at 20170109-0941 Build needed 00:01:30, 55844k disc space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-11834966'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-11834966/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-11834966'] Unmounting chroot for build PACKAGEBUILD-11834966... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-11834966'] Removing build PACKAGEBUILD-11834966