RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux lgw01-27 4.4.0-83-generic #106-Ubuntu SMP Mon Jun 26 17:54:43 UTC 2017 x86_64 Buildd toolchain package versions: launchpad-buildd_145 python-lpbuildd_145 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.1 dpkg-dev_1.18.4ubuntu1.2 python-debian_0.1.27ubuntu2 qemu-user-static_1:2.5+dfsg-5ubuntu10.14. Syncing the system clock with the buildd NTP service... 16 Jul 22:48:03 ntpdate[1777]: adjust time server 10.211.37.1 offset 0.000804 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-13096810', '/home/buildd/filecache-default/7fe38ae672de2c40a7e6ba74a0e6690544a5bb48'] Unpacking chroot for build PACKAGEBUILD-13096810 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-13096810'] Mounting chroot for build PACKAGEBUILD-13096810 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-13096810', 'deb http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful main', 'deb http://ftpmaster.internal/ubuntu artful main restricted universe multiverse', 'deb http://ftpmaster.internal/ubuntu artful-security main restricted universe multiverse', 'deb http://ftpmaster.internal/ubuntu artful-updates main restricted universe multiverse'] Overriding sources.list in build-PACKAGEBUILD-13096810 RUN: /usr/share/launchpad-buildd/slavebin/add-trusted-keys ['add-trusted-keys', 'PACKAGEBUILD-13096810'] Adding trusted keys to build-PACKAGEBUILD-13096810 Warning: apt-key output should not be parsed (stdout is not a terminal) OK Warning: apt-key output should not be parsed (stdout is not a terminal) /etc/apt/trusted.gpg -------------------- pub rsa1024 2014-01-08 [SC] B4C3 96DF 0DD9 A0ED 00B2 1D28 8550 4128 ECF1 204C uid [ unknown] Launchpad PPA for CI Train PPA Service Team /etc/apt/trusted.gpg.d/ubuntu-keyring-2012-archive.gpg ------------------------------------------------------ pub rsa4096 2012-05-11 [SC] 790B C727 7767 219C 42C8 6F93 3B4F E6AC C0B2 1F32 uid [ unknown] Ubuntu Archive Automatic Signing Key (2012) /etc/apt/trusted.gpg.d/ubuntu-keyring-2012-cdimage.gpg ------------------------------------------------------ pub rsa4096 2012-05-11 [SC] 8439 38DF 228D 22F7 B374 2BC0 D94A A3F0 EFE2 1092 uid [ unknown] Ubuntu CD Image Automatic Signing Key (2012) RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-13096810', 'i386'] Updating debian chroot for build PACKAGEBUILD-13096810 Get:1 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful InRelease [20.8 kB] Get:2 http://ftpmaster.internal/ubuntu artful InRelease [237 kB] Get:3 http://ftpmaster.internal/ubuntu artful-security InRelease [65.5 kB] Get:4 http://ftpmaster.internal/ubuntu artful-updates InRelease [65.5 kB] Get:5 http://ftpmaster.internal/ubuntu artful/main i386 Packages [1135 kB] Get:6 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 Packages [17.0 kB] Get:7 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main Translation-en [13.5 kB] Get:8 http://ftpmaster.internal/ubuntu artful/main Translation-en [557 kB] Get:9 http://ftpmaster.internal/ubuntu artful/restricted i386 Packages [8632 B] Get:10 http://ftpmaster.internal/ubuntu artful/restricted Translation-en [2724 B] Get:11 http://ftpmaster.internal/ubuntu artful/universe i386 Packages [8265 kB] Get:12 http://ftpmaster.internal/ubuntu artful/universe Translation-en [4767 kB] Get:13 http://ftpmaster.internal/ubuntu artful/multiverse i386 Packages [148 kB] Get:14 http://ftpmaster.internal/ubuntu artful/multiverse Translation-en [109 kB] Fetched 15.4 MB in 4s (3532 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following NEW packages will be installed: gcc-7-base The following packages will be upgraded: advancecomp apt apt-transport-https base-files bash binutils bsdutils ca-certificates cpp cpp-6 debianutils dmsetup dpkg dpkg-dev findutils g++ g++-6 gcc gcc-6 gcc-6-base grep libapparmor1 libapt-pkg5.0 libasan3 libasn1-8-heimdal libatomic1 libaudit-common libaudit1 libblkid1 libcc1-0 libcilkrts5 libdb5.3 libdevmapper1.02.1 libdpkg-perl libfdisk1 libgcc-6-dev libgcc1 libgcrypt20 libgnutls30 libgomp1 libgpg-error0 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libidn2-0 libip4tc0 libitm1 libk5crypto3 libkmod2 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libldap-common libmount1 libmpx2 libnpth0 libp11-kit0 libperl5.24 libpng16-16 libpsl5 libquadmath0 libroken18-heimdal libselinux1 libsemanage-common libsemanage1 libsmartcols1 libsqlite3-0 libssl1.0.0 libstdc++-6-dev libstdc++6 libsystemd0 libtasn1-6 libubsan0 libudev1 libusb-0.1-4 libuuid1 libwind0-heimdal linux-libc-dev login mount openssl passwd perl perl-base perl-modules-5.24 sensible-utils systemd systemd-sysv tzdata util-linux 94 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 56.0 MB of archives. After this operation, 2983 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu artful/main i386 base-files i386 9.6ubuntu101 [59.1 kB] Get:2 http://ftpmaster.internal/ubuntu artful/main i386 sensible-utils all 0.0.9+nmu1 [10.2 kB] Get:3 http://ftpmaster.internal/ubuntu artful/main i386 debianutils i386 4.8.1.1 [85.7 kB] Get:4 http://ftpmaster.internal/ubuntu artful/main i386 bash i386 4.4-5ubuntu1 [622 kB] Get:5 http://ftpmaster.internal/ubuntu artful/main i386 bsdutils i386 1:2.29-1ubuntu3 [57.9 kB] Get:6 http://ftpmaster.internal/ubuntu artful/main i386 dpkg i386 1.18.24ubuntu1 [1164 kB] Get:7 http://ftpmaster.internal/ubuntu artful/main i386 findutils i386 4.6.0+git+20170606-3 [303 kB] Get:8 http://ftpmaster.internal/ubuntu artful/main i386 grep i386 3.1-2 [163 kB] Get:9 http://ftpmaster.internal/ubuntu artful/main i386 login i386 1:4.2-3.2ubuntu2 [306 kB] Get:10 http://ftpmaster.internal/ubuntu artful/main i386 util-linux i386 2.29-1ubuntu3 [952 kB] Get:11 http://ftpmaster.internal/ubuntu artful/main i386 mount i386 2.29-1ubuntu3 [137 kB] Get:12 http://ftpmaster.internal/ubuntu artful/main i386 libperl5.24 i386 5.24.1-7ubuntu1 [3095 kB] Get:13 http://ftpmaster.internal/ubuntu artful/main i386 perl i386 5.24.1-7ubuntu1 [219 kB] Get:14 http://ftpmaster.internal/ubuntu artful/main i386 perl-base i386 5.24.1-7ubuntu1 [1442 kB] Get:15 http://ftpmaster.internal/ubuntu artful/main i386 perl-modules-5.24 all 5.24.1-7ubuntu1 [2664 kB] Get:16 http://ftpmaster.internal/ubuntu artful/main i386 libdb5.3 i386 5.3.28-13 [733 kB] Get:17 http://ftpmaster.internal/ubuntu artful/main i386 gcc-7-base i386 7.1.0-7ubuntu1 [18.5 kB] Get:18 http://ftpmaster.internal/ubuntu artful/main i386 libgcc1 i386 1:7.1.0-7ubuntu1 [47.0 kB] Get:19 http://ftpmaster.internal/ubuntu artful/main i386 libstdc++6 i386 7.1.0-7ubuntu1 [436 kB] Get:20 http://ftpmaster.internal/ubuntu artful/main i386 libapt-pkg5.0 i386 1.5~beta1 [860 kB] Get:21 http://ftpmaster.internal/ubuntu artful/main i386 apt-transport-https i386 1.5~beta1 [38.6 kB] Get:22 http://ftpmaster.internal/ubuntu artful/main i386 libp11-kit0 i386 0.23.7-3 [188 kB] Get:23 http://ftpmaster.internal/ubuntu artful/main i386 libtasn1-6 i386 4.12-2 [38.6 kB] Get:24 http://ftpmaster.internal/ubuntu artful/main i386 libgnutls30 i386 3.5.8-6ubuntu1 [692 kB] Get:25 http://ftpmaster.internal/ubuntu artful/main i386 apt i386 1.5~beta1 [1138 kB] Get:26 http://ftpmaster.internal/ubuntu artful/main i386 libip4tc0 i386 1.6.1-2ubuntu1 [20.5 kB] Get:27 http://ftpmaster.internal/ubuntu artful/main i386 libapparmor1 i386 2.11.0-2ubuntu8 [31.2 kB] Get:28 http://ftpmaster.internal/ubuntu artful/main i386 libaudit-common all 1:2.7.7-1ubuntu1 [4118 B] Get:29 http://ftpmaster.internal/ubuntu artful/main i386 libaudit1 i386 1:2.7.7-1ubuntu1 [39.4 kB] Get:30 http://ftpmaster.internal/ubuntu artful/main i386 libselinux1 i386 2.6-3build1 [73.0 kB] Get:31 http://ftpmaster.internal/ubuntu artful/main i386 libsemanage-common all 2.6-2build1 [6738 B] Get:32 http://ftpmaster.internal/ubuntu artful/main i386 libsemanage1 i386 2.6-2build1 [89.9 kB] Get:33 http://ftpmaster.internal/ubuntu artful/main i386 passwd i386 1:4.2-3.2ubuntu2 [790 kB] Get:34 http://ftpmaster.internal/ubuntu artful/main i386 libuuid1 i386 2.29-1ubuntu3 [15.8 kB] Get:35 http://ftpmaster.internal/ubuntu artful/main i386 libblkid1 i386 2.29-1ubuntu3 [125 kB] Get:36 http://ftpmaster.internal/ubuntu artful/main i386 libgpg-error0 i386 1.27-3 [39.4 kB] Get:37 http://ftpmaster.internal/ubuntu artful/main i386 libgcrypt20 i386 1.7.8-2 [375 kB] Get:38 http://ftpmaster.internal/ubuntu artful/main i386 libkmod2 i386 24-1ubuntu1 [46.0 kB] Get:39 http://ftpmaster.internal/ubuntu artful/main i386 libmount1 i386 2.29-1ubuntu3 [131 kB] Get:40 http://ftpmaster.internal/ubuntu artful/main i386 systemd i386 233-8ubuntu3 [2492 kB] Get:41 http://ftpmaster.internal/ubuntu artful/main i386 libsystemd0 i386 233-8ubuntu3 [229 kB] Get:42 http://ftpmaster.internal/ubuntu artful/main i386 systemd-sysv i386 233-8ubuntu3 [12.3 kB] Get:43 http://ftpmaster.internal/ubuntu artful/main i386 libfdisk1 i386 2.29-1ubuntu3 [160 kB] Get:44 http://ftpmaster.internal/ubuntu artful/main i386 libsmartcols1 i386 2.29-1ubuntu3 [76.1 kB] Get:45 http://ftpmaster.internal/ubuntu artful/main i386 libudev1 i386 233-8ubuntu3 [59.8 kB] Get:46 http://ftpmaster.internal/ubuntu artful/main i386 libdevmapper1.02.1 i386 2:1.02.137-2ubuntu2 [146 kB] Get:47 http://ftpmaster.internal/ubuntu artful/main i386 dmsetup i386 2:1.02.137-2ubuntu2 [72.9 kB] Get:48 http://ftpmaster.internal/ubuntu artful/main i386 libroken18-heimdal i386 7.4.0.dfsg.1-1 [44.5 kB] Get:49 http://ftpmaster.internal/ubuntu artful/main i386 libasn1-8-heimdal i386 7.4.0.dfsg.1-1 [187 kB] Get:50 http://ftpmaster.internal/ubuntu artful/main i386 libheimbase1-heimdal i386 7.4.0.dfsg.1-1 [32.0 kB] Get:51 http://ftpmaster.internal/ubuntu artful/main i386 libhcrypto4-heimdal i386 7.4.0.dfsg.1-1 [93.3 kB] Get:52 http://ftpmaster.internal/ubuntu artful/main i386 libwind0-heimdal i386 7.4.0.dfsg.1-1 [48.6 kB] Get:53 http://ftpmaster.internal/ubuntu artful/main i386 libhx509-5-heimdal i386 7.4.0.dfsg.1-1 [118 kB] Get:54 http://ftpmaster.internal/ubuntu artful/main i386 libsqlite3-0 i386 3.19.3-2 [525 kB] Get:55 http://ftpmaster.internal/ubuntu artful/main i386 libkrb5-26-heimdal i386 7.4.0.dfsg.1-1 [232 kB] Get:56 http://ftpmaster.internal/ubuntu artful/main i386 libheimntlm0-heimdal i386 7.4.0.dfsg.1-1 [16.7 kB] Get:57 http://ftpmaster.internal/ubuntu artful/main i386 libgssapi3-heimdal i386 7.4.0.dfsg.1-1 [108 kB] Get:58 http://ftpmaster.internal/ubuntu artful/main i386 libldap-2.4-2 i386 2.4.44+dfsg-7ubuntu1 [167 kB] Get:59 http://ftpmaster.internal/ubuntu artful/main i386 libldap-common all 2.4.44+dfsg-7ubuntu1 [16.4 kB] Get:60 http://ftpmaster.internal/ubuntu artful/main i386 libnpth0 i386 1.5-2 [7942 B] Get:61 http://ftpmaster.internal/ubuntu artful/main i386 libssl1.0.0 i386 1.0.2g-1ubuntu13 [910 kB] Get:62 http://ftpmaster.internal/ubuntu artful/main i386 tzdata all 2017b-2 [203 kB] Get:63 http://ftpmaster.internal/ubuntu artful/main i386 openssl i386 1.0.2g-1ubuntu13 [506 kB] Get:64 http://ftpmaster.internal/ubuntu artful/main i386 ca-certificates all 20161130+nmu1 [186 kB] Get:65 http://ftpmaster.internal/ubuntu artful/main i386 libgssapi-krb5-2 i386 1.15.1-1 [129 kB] Get:66 http://ftpmaster.internal/ubuntu artful/main i386 libkrb5-3 i386 1.15.1-1 [301 kB] Get:67 http://ftpmaster.internal/ubuntu artful/main i386 libkrb5support0 i386 1.15.1-1 [33.9 kB] Get:68 http://ftpmaster.internal/ubuntu artful/main i386 libk5crypto3 i386 1.15.1-1 [88.4 kB] Get:69 http://ftpmaster.internal/ubuntu artful/main i386 libidn2-0 i386 2.0.2-1 [92.8 kB] Get:70 http://ftpmaster.internal/ubuntu artful/main i386 libpng16-16 i386 1.6.29-3 [181 kB] Get:71 http://ftpmaster.internal/ubuntu artful/main i386 libpsl5 i386 0.17.0-5 [41.3 kB] Get:72 http://ftpmaster.internal/ubuntu artful/main i386 advancecomp i386 2.0-1 [206 kB] Get:73 http://ftpmaster.internal/ubuntu artful/main i386 binutils i386 2.28-6ubuntu1 [2650 kB] Get:74 http://ftpmaster.internal/ubuntu artful/main i386 libquadmath0 i386 7.1.0-7ubuntu1 [205 kB] Get:75 http://ftpmaster.internal/ubuntu artful/main i386 libitm1 i386 7.1.0-7ubuntu1 [30.3 kB] Get:76 http://ftpmaster.internal/ubuntu artful/main i386 libmpx2 i386 7.1.0-7ubuntu1 [13.0 kB] Get:77 http://ftpmaster.internal/ubuntu artful/main i386 libubsan0 i386 7.1.0-7ubuntu1 [134 kB] Get:78 http://ftpmaster.internal/ubuntu artful/main i386 libcilkrts5 i386 7.1.0-7ubuntu1 [47.4 kB] Get:79 http://ftpmaster.internal/ubuntu artful/main i386 libgomp1 i386 7.1.0-7ubuntu1 [80.3 kB] Get:80 http://ftpmaster.internal/ubuntu artful/main i386 libatomic1 i386 7.1.0-7ubuntu1 [9690 B] Get:81 http://ftpmaster.internal/ubuntu artful/main i386 libasan3 i386 6.3.0-19ubuntu1 [308 kB] Get:82 http://ftpmaster.internal/ubuntu artful/main i386 g++-6 i386 6.3.0-19ubuntu1 [7641 kB] Get:83 http://ftpmaster.internal/ubuntu artful/main i386 libstdc++-6-dev i386 6.3.0-19ubuntu1 [1454 kB] Get:84 http://ftpmaster.internal/ubuntu artful/main i386 gcc-6 i386 6.3.0-19ubuntu1 [7460 kB] Get:85 http://ftpmaster.internal/ubuntu artful/main i386 libgcc-6-dev i386 6.3.0-19ubuntu1 [2330 kB] Get:86 http://ftpmaster.internal/ubuntu artful/main i386 libcc1-0 i386 7.1.0-7ubuntu1 [41.4 kB] Get:87 http://ftpmaster.internal/ubuntu artful/main i386 cpp-6 i386 6.3.0-19ubuntu1 [6842 kB] Get:88 http://ftpmaster.internal/ubuntu artful/main i386 gcc-6-base i386 6.3.0-19ubuntu1 [17.4 kB] Get:89 http://ftpmaster.internal/ubuntu artful/main i386 cpp i386 4:6.3.0-2ubuntu2 [27.5 kB] Get:90 http://ftpmaster.internal/ubuntu artful/main i386 dpkg-dev all 1.18.24ubuntu1 [608 kB] Get:91 http://ftpmaster.internal/ubuntu artful/main i386 libdpkg-perl all 1.18.24ubuntu1 [209 kB] Get:92 http://ftpmaster.internal/ubuntu artful/main i386 gcc i386 4:6.3.0-2ubuntu2 [5312 B] Get:93 http://ftpmaster.internal/ubuntu artful/main i386 g++ i386 4:6.3.0-2ubuntu2 [1498 B] Get:94 http://ftpmaster.internal/ubuntu artful/main i386 libusb-0.1-4 i386 2:0.1.12-31 [17.7 kB] Get:95 http://ftpmaster.internal/ubuntu artful/main i386 linux-libc-dev i386 4.11.0-10.15 [927 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 56.0 MB in 1s (28.6 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 ... 12465 files and directories currently installed.) Preparing to unpack .../base-files_9.6ubuntu101_i386.deb ... Unpacking base-files (9.6ubuntu101) over (9.6ubuntu99) ... Setting up base-files (9.6ubuntu101) ... Installing new version of config file /etc/update-motd.d/50-motd-news ... (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 ... 12465 files and directories currently installed.) Preparing to unpack .../sensible-utils_0.0.9+nmu1_all.deb ... Unpacking sensible-utils (0.0.9+nmu1) over (0.0.9) ... Setting up sensible-utils (0.0.9+nmu1) ... (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 ... 12465 files and directories currently installed.) Preparing to unpack .../debianutils_4.8.1.1_i386.deb ... Unpacking debianutils (4.8.1.1) over (4.8.1) ... Setting up debianutils (4.8.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 ... 12465 files and directories currently installed.) Preparing to unpack .../bash_4.4-5ubuntu1_i386.deb ... Unpacking bash (4.4-5ubuntu1) over (4.4-2ubuntu1) ... Setting up bash (4.4-5ubuntu1) ... 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 ... 12465 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.29-1ubuntu3_i386.deb ... Unpacking bsdutils (1:2.29-1ubuntu3) over (1:2.29-1ubuntu2) ... Setting up bsdutils (1:2.29-1ubuntu3) ... (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 ... 12465 files and directories currently installed.) Preparing to unpack .../dpkg_1.18.24ubuntu1_i386.deb ... Unpacking dpkg (1.18.24ubuntu1) over (1.18.23ubuntu4) ... Setting up dpkg (1.18.24ubuntu1) ... (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 ... 12465 files and directories currently installed.) Preparing to unpack .../findutils_4.6.0+git+20170606-3_i386.deb ... Unpacking findutils (4.6.0+git+20170606-3) over (4.6.0+git+20161106-2) ... Setting up findutils (4.6.0+git+20170606-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 ... 12465 files and directories currently installed.) Preparing to unpack .../archives/grep_3.1-2_i386.deb ... Unpacking grep (3.1-2) over (2.27-2) ... Setting up grep (3.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 ... 12465 files and directories currently installed.) Preparing to unpack .../login_1%3a4.2-3.2ubuntu2_i386.deb ... Unpacking login (1:4.2-3.2ubuntu2) over (1:4.2-3.2ubuntu1) ... Setting up login (1:4.2-3.2ubuntu2) ... (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 ... 12465 files and directories currently installed.) Preparing to unpack .../util-linux_2.29-1ubuntu3_i386.deb ... Unpacking util-linux (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up util-linux (2.29-1ubuntu3) ... (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 ... 12465 files and directories currently installed.) Preparing to unpack .../mount_2.29-1ubuntu3_i386.deb ... Unpacking mount (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up mount (2.29-1ubuntu3) ... (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 ... 12465 files and directories currently installed.) Preparing to unpack .../libperl5.24_5.24.1-7ubuntu1_i386.deb ... Unpacking libperl5.24:i386 (5.24.1-7ubuntu1) over (5.24.1-2ubuntu1) ... Preparing to unpack .../perl_5.24.1-7ubuntu1_i386.deb ... Unpacking perl (5.24.1-7ubuntu1) over (5.24.1-2ubuntu1) ... Preparing to unpack .../perl-base_5.24.1-7ubuntu1_i386.deb ... Unpacking perl-base (5.24.1-7ubuntu1) over (5.24.1-2ubuntu1) ... Setting up perl-base (5.24.1-7ubuntu1) ... (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 ... 12465 files and directories currently installed.) Preparing to unpack .../perl-modules-5.24_5.24.1-7ubuntu1_all.deb ... Unpacking perl-modules-5.24 (5.24.1-7ubuntu1) over (5.24.1-2ubuntu1) ... Preparing to unpack .../libdb5.3_5.3.28-13_i386.deb ... Unpacking libdb5.3:i386 (5.3.28-13) over (5.3.28-12) ... Setting up libdb5.3:i386 (5.3.28-13) ... Selecting previously unselected package gcc-7-base: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 ... 12465 files and directories currently installed.) Preparing to unpack .../gcc-7-base_7.1.0-7ubuntu1_i386.deb ... Unpacking gcc-7-base:i386 (7.1.0-7ubuntu1) ... Setting up gcc-7-base:i386 (7.1.0-7ubuntu1) ... (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 ... 12472 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a7.1.0-7ubuntu1_i386.deb ... Unpacking libgcc1:i386 (1:7.1.0-7ubuntu1) over (1:6.3.0-14ubuntu3) ... Setting up libgcc1:i386 (1:7.1.0-7ubuntu1) ... (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 ... 12472 files and directories currently installed.) Preparing to unpack .../libstdc++6_7.1.0-7ubuntu1_i386.deb ... Unpacking libstdc++6:i386 (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Setting up libstdc++6:i386 (7.1.0-7ubuntu1) ... (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 ... 12472 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.5~beta1_i386.deb ... Unpacking libapt-pkg5.0:i386 (1.5~beta1) over (1.4.1ubuntu2) ... Setting up libapt-pkg5.0:i386 (1.5~beta1) ... (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 ... 12472 files and directories currently installed.) Preparing to unpack .../apt-transport-https_1.5~beta1_i386.deb ... Unpacking apt-transport-https (1.5~beta1) over (1.4.1ubuntu2) ... Preparing to unpack .../libp11-kit0_0.23.7-3_i386.deb ... Unpacking libp11-kit0:i386 (0.23.7-3) over (0.23.3-5) ... Setting up libp11-kit0:i386 (0.23.7-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 ... 12474 files and directories currently installed.) Preparing to unpack .../libtasn1-6_4.12-2_i386.deb ... Unpacking libtasn1-6:i386 (4.12-2) over (4.10-1) ... Setting up libtasn1-6:i386 (4.12-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 ... 12474 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.5.8-6ubuntu1_i386.deb ... Unpacking libgnutls30:i386 (3.5.8-6ubuntu1) over (3.5.6-4ubuntu4) ... Setting up libgnutls30:i386 (3.5.8-6ubuntu1) ... (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 ... 12474 files and directories currently installed.) Preparing to unpack .../apt_1.5~beta1_i386.deb ... Unpacking apt (1.5~beta1) over (1.4.1ubuntu2) ... Setting up apt (1.5~beta1) ... (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 ... 12473 files and directories currently installed.) Preparing to unpack .../libip4tc0_1.6.1-2ubuntu1_i386.deb ... Unpacking libip4tc0:i386 (1.6.1-2ubuntu1) over (1.6.0-3ubuntu2) ... Preparing to unpack .../libapparmor1_2.11.0-2ubuntu8_i386.deb ... Unpacking libapparmor1:i386 (2.11.0-2ubuntu8) over (2.11.0-2ubuntu4) ... Preparing to unpack .../libaudit-common_1%3a2.7.7-1ubuntu1_all.deb ... Unpacking libaudit-common (1:2.7.7-1ubuntu1) over (1:2.6.6-1ubuntu1) ... Setting up libaudit-common (1:2.7.7-1ubuntu1) ... (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 ... 12473 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.7.7-1ubuntu1_i386.deb ... Unpacking libaudit1:i386 (1:2.7.7-1ubuntu1) over (1:2.6.6-1ubuntu1) ... Setting up libaudit1:i386 (1:2.7.7-1ubuntu1) ... (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 ... 12473 files and directories currently installed.) Preparing to unpack .../libselinux1_2.6-3build1_i386.deb ... Unpacking libselinux1:i386 (2.6-3build1) over (2.6-3) ... Setting up libselinux1:i386 (2.6-3build1) ... (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 ... 12473 files and directories currently installed.) Preparing to unpack .../libsemanage-common_2.6-2build1_all.deb ... Unpacking libsemanage-common (2.6-2build1) over (2.6-2) ... Setting up libsemanage-common (2.6-2build1) ... (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 ... 12473 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.6-2build1_i386.deb ... Unpacking libsemanage1:i386 (2.6-2build1) over (2.6-2) ... Setting up libsemanage1:i386 (2.6-2build1) ... (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 ... 12473 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.2-3.2ubuntu2_i386.deb ... Unpacking passwd (1:4.2-3.2ubuntu2) over (1:4.2-3.2ubuntu1) ... Setting up passwd (1:4.2-3.2ubuntu2) ... (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 ... 12473 files and directories currently installed.) Preparing to unpack .../libuuid1_2.29-1ubuntu3_i386.deb ... Unpacking libuuid1:i386 (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libuuid1:i386 (2.29-1ubuntu3) ... (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 ... 12473 files and directories currently installed.) Preparing to unpack .../libblkid1_2.29-1ubuntu3_i386.deb ... Unpacking libblkid1:i386 (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libblkid1:i386 (2.29-1ubuntu3) ... (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 ... 12473 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.27-3_i386.deb ... Unpacking libgpg-error0:i386 (1.27-3) over (1.26-2) ... Setting up libgpg-error0:i386 (1.27-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 ... 12473 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.7.8-2_i386.deb ... Unpacking libgcrypt20:i386 (1.7.8-2) over (1.7.6-1) ... Setting up libgcrypt20:i386 (1.7.8-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 ... 12473 files and directories currently installed.) Preparing to unpack .../libkmod2_24-1ubuntu1_i386.deb ... Unpacking libkmod2:i386 (24-1ubuntu1) over (22-1.1ubuntu1) ... Preparing to unpack .../libmount1_2.29-1ubuntu3_i386.deb ... Unpacking libmount1:i386 (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libmount1:i386 (2.29-1ubuntu3) ... (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 ... 12473 files and directories currently installed.) Preparing to unpack .../systemd_233-8ubuntu3_i386.deb ... Unpacking systemd (233-8ubuntu3) over (232-21ubuntu3) ... dpkg: warning: unable to delete old directory '/etc/dbus-1/system.d': Directory not empty dpkg: warning: unable to delete old directory '/etc/dbus-1': Directory not empty Preparing to unpack .../libsystemd0_233-8ubuntu3_i386.deb ... Unpacking libsystemd0:i386 (233-8ubuntu3) over (232-21ubuntu3) ... Setting up libsystemd0:i386 (233-8ubuntu3) ... Setting up libapparmor1:i386 (2.11.0-2ubuntu8) ... Setting up libip4tc0:i386 (1.6.1-2ubuntu1) ... Setting up libkmod2:i386 (24-1ubuntu1) ... Setting up systemd (233-8ubuntu3) ... Installing new version of config file /etc/systemd/resolved.conf ... addgroup: The group `systemd-journal' already exists as a system group. Exiting. Removing obsolete conffile /etc/dbus-1/system.d/org.freedesktop.hostname1.conf ... Removing obsolete conffile /etc/dbus-1/system.d/org.freedesktop.locale1.conf ... Removing obsolete conffile /etc/dbus-1/system.d/org.freedesktop.login1.conf ... Removing obsolete conffile /etc/dbus-1/system.d/org.freedesktop.network1.conf ... Removing obsolete conffile /etc/dbus-1/system.d/org.freedesktop.resolve1.conf ... Removing obsolete conffile /etc/dbus-1/system.d/org.freedesktop.systemd1.conf ... Removing obsolete conffile /etc/dbus-1/system.d/org.freedesktop.timedate1.conf ... (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 ... 12499 files and directories currently installed.) Preparing to unpack .../systemd-sysv_233-8ubuntu3_i386.deb ... Unpacking systemd-sysv (233-8ubuntu3) over (232-21ubuntu3) ... Preparing to unpack .../libfdisk1_2.29-1ubuntu3_i386.deb ... Unpacking libfdisk1:i386 (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libfdisk1:i386 (2.29-1ubuntu3) ... (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 ... 12499 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.29-1ubuntu3_i386.deb ... Unpacking libsmartcols1:i386 (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libsmartcols1:i386 (2.29-1ubuntu3) ... (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 ... 12499 files and directories currently installed.) Preparing to unpack .../libudev1_233-8ubuntu3_i386.deb ... Unpacking libudev1:i386 (233-8ubuntu3) over (232-21ubuntu3) ... Setting up libudev1:i386 (233-8ubuntu3) ... (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 ... 12499 files and directories currently installed.) Preparing to unpack .../00-libdevmapper1.02.1_2%3a1.02.137-2ubuntu2_i386.deb ... Unpacking libdevmapper1.02.1:i386 (2:1.02.137-2ubuntu2) over (2:1.02.136-1ubuntu5) ... Preparing to unpack .../01-dmsetup_2%3a1.02.137-2ubuntu2_i386.deb ... Unpacking dmsetup (2:1.02.137-2ubuntu2) over (2:1.02.136-1ubuntu5) ... Preparing to unpack .../02-libroken18-heimdal_7.4.0.dfsg.1-1_i386.deb ... Unpacking libroken18-heimdal:i386 (7.4.0.dfsg.1-1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../03-libasn1-8-heimdal_7.4.0.dfsg.1-1_i386.deb ... Unpacking libasn1-8-heimdal:i386 (7.4.0.dfsg.1-1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../04-libheimbase1-heimdal_7.4.0.dfsg.1-1_i386.deb ... Unpacking libheimbase1-heimdal:i386 (7.4.0.dfsg.1-1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../05-libhcrypto4-heimdal_7.4.0.dfsg.1-1_i386.deb ... Unpacking libhcrypto4-heimdal:i386 (7.4.0.dfsg.1-1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../06-libwind0-heimdal_7.4.0.dfsg.1-1_i386.deb ... Unpacking libwind0-heimdal:i386 (7.4.0.dfsg.1-1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../07-libhx509-5-heimdal_7.4.0.dfsg.1-1_i386.deb ... Unpacking libhx509-5-heimdal:i386 (7.4.0.dfsg.1-1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../08-libsqlite3-0_3.19.3-2_i386.deb ... Unpacking libsqlite3-0:i386 (3.19.3-2) over (3.16.2-3) ... Preparing to unpack .../09-libkrb5-26-heimdal_7.4.0.dfsg.1-1_i386.deb ... Unpacking libkrb5-26-heimdal:i386 (7.4.0.dfsg.1-1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../10-libheimntlm0-heimdal_7.4.0.dfsg.1-1_i386.deb ... Unpacking libheimntlm0-heimdal:i386 (7.4.0.dfsg.1-1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../11-libgssapi3-heimdal_7.4.0.dfsg.1-1_i386.deb ... Unpacking libgssapi3-heimdal:i386 (7.4.0.dfsg.1-1) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../12-libldap-2.4-2_2.4.44+dfsg-7ubuntu1_i386.deb ... Unpacking libldap-2.4-2:i386 (2.4.44+dfsg-7ubuntu1) over (2.4.44+dfsg-4ubuntu1) ... Preparing to unpack .../13-libldap-common_2.4.44+dfsg-7ubuntu1_all.deb ... Unpacking libldap-common (2.4.44+dfsg-7ubuntu1) over (2.4.44+dfsg-4ubuntu1) ... Preparing to unpack .../14-libnpth0_1.5-2_i386.deb ... Unpacking libnpth0:i386 (1.5-2) over (1.3-1) ... Preparing to unpack .../15-libssl1.0.0_1.0.2g-1ubuntu13_i386.deb ... Unpacking libssl1.0.0:i386 (1.0.2g-1ubuntu13) over (1.0.2g-1ubuntu12) ... Preparing to unpack .../16-tzdata_2017b-2_all.deb ... Unpacking tzdata (2017b-2) over (2017b-1) ... Preparing to unpack .../17-openssl_1.0.2g-1ubuntu13_i386.deb ... Unpacking openssl (1.0.2g-1ubuntu13) over (1.0.2g-1ubuntu12) ... Preparing to unpack .../18-ca-certificates_20161130+nmu1_all.deb ... Unpacking ca-certificates (20161130+nmu1) over (20161130) ... Preparing to unpack .../19-libgssapi-krb5-2_1.15.1-1_i386.deb ... Unpacking libgssapi-krb5-2:i386 (1.15.1-1) over (1.15-2) ... Preparing to unpack .../20-libkrb5-3_1.15.1-1_i386.deb ... Unpacking libkrb5-3:i386 (1.15.1-1) over (1.15-2) ... Preparing to unpack .../21-libkrb5support0_1.15.1-1_i386.deb ... Unpacking libkrb5support0:i386 (1.15.1-1) over (1.15-2) ... Preparing to unpack .../22-libk5crypto3_1.15.1-1_i386.deb ... Unpacking libk5crypto3:i386 (1.15.1-1) over (1.15-2) ... Preparing to unpack .../23-libidn2-0_2.0.2-1_i386.deb ... Unpacking libidn2-0:i386 (2.0.2-1) over (0.16-1) ... Preparing to unpack .../24-libpng16-16_1.6.29-3_i386.deb ... Unpacking libpng16-16:i386 (1.6.29-3) over (1.6.29-2) ... Preparing to unpack .../25-libpsl5_0.17.0-5_i386.deb ... Unpacking libpsl5:i386 (0.17.0-5) over (0.17.0-4) ... Preparing to unpack .../26-advancecomp_2.0-1_i386.deb ... Unpacking advancecomp (2.0-1) over (1.20-1) ... Preparing to unpack .../27-binutils_2.28-6ubuntu1_i386.deb ... Unpacking binutils (2.28-6ubuntu1) over (2.28-4ubuntu1) ... Preparing to unpack .../28-libquadmath0_7.1.0-7ubuntu1_i386.deb ... Unpacking libquadmath0:i386 (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../29-libitm1_7.1.0-7ubuntu1_i386.deb ... Unpacking libitm1:i386 (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../30-libmpx2_7.1.0-7ubuntu1_i386.deb ... Unpacking libmpx2:i386 (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../31-libubsan0_7.1.0-7ubuntu1_i386.deb ... Unpacking libubsan0:i386 (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../32-libcilkrts5_7.1.0-7ubuntu1_i386.deb ... Unpacking libcilkrts5:i386 (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../33-libgomp1_7.1.0-7ubuntu1_i386.deb ... Unpacking libgomp1:i386 (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../34-libatomic1_7.1.0-7ubuntu1_i386.deb ... Unpacking libatomic1:i386 (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../35-libasan3_6.3.0-19ubuntu1_i386.deb ... Unpacking libasan3:i386 (6.3.0-19ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../36-g++-6_6.3.0-19ubuntu1_i386.deb ... Unpacking g++-6 (6.3.0-19ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../37-libstdc++-6-dev_6.3.0-19ubuntu1_i386.deb ... Unpacking libstdc++-6-dev:i386 (6.3.0-19ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../38-gcc-6_6.3.0-19ubuntu1_i386.deb ... Unpacking gcc-6 (6.3.0-19ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../39-libgcc-6-dev_6.3.0-19ubuntu1_i386.deb ... Unpacking libgcc-6-dev:i386 (6.3.0-19ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../40-libcc1-0_7.1.0-7ubuntu1_i386.deb ... Unpacking libcc1-0:i386 (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../41-cpp-6_6.3.0-19ubuntu1_i386.deb ... Unpacking cpp-6 (6.3.0-19ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../42-gcc-6-base_6.3.0-19ubuntu1_i386.deb ... Unpacking gcc-6-base:i386 (6.3.0-19ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../43-cpp_4%3a6.3.0-2ubuntu2_i386.deb ... Unpacking cpp (4:6.3.0-2ubuntu2) over (4:6.3.0-2ubuntu1) ... Preparing to unpack .../44-dpkg-dev_1.18.24ubuntu1_all.deb ... Unpacking dpkg-dev (1.18.24ubuntu1) over (1.18.23ubuntu4) ... Preparing to unpack .../45-libdpkg-perl_1.18.24ubuntu1_all.deb ... Unpacking libdpkg-perl (1.18.24ubuntu1) over (1.18.23ubuntu4) ... Preparing to unpack .../46-gcc_4%3a6.3.0-2ubuntu2_i386.deb ... Removing old gcc doc directory. Unpacking gcc (4:6.3.0-2ubuntu2) over (4:6.3.0-2ubuntu1) ... Preparing to unpack .../47-g++_4%3a6.3.0-2ubuntu2_i386.deb ... Unpacking g++ (4:6.3.0-2ubuntu2) over (4:6.3.0-2ubuntu1) ... Preparing to unpack .../48-libusb-0.1-4_2%3a0.1.12-31_i386.deb ... Unpacking libusb-0.1-4:i386 (2:0.1.12-31) over (2:0.1.12-30) ... Preparing to unpack .../49-linux-libc-dev_4.11.0-10.15_i386.deb ... Unpacking linux-libc-dev:i386 (4.11.0-10.15) over (4.10.0-20.22) ... Setting up libquadmath0:i386 (7.1.0-7ubuntu1) ... Setting up libnpth0:i386 (1.5-2) ... Setting up libgomp1:i386 (7.1.0-7ubuntu1) ... Setting up libatomic1:i386 (7.1.0-7ubuntu1) ... Setting up perl-modules-5.24 (5.24.1-7ubuntu1) ... Setting up libperl5.24:i386 (5.24.1-7ubuntu1) ... Setting up libcc1-0:i386 (7.1.0-7ubuntu1) ... Setting up apt-transport-https (1.5~beta1) ... Setting up libidn2-0:i386 (2.0.2-1) ... Setting up libssl1.0.0:i386 (1.0.2g-1ubuntu13) ... Setting up libpng16-16:i386 (1.6.29-3) ... Setting up libldap-common (2.4.44+dfsg-7ubuntu1) ... Setting up libcilkrts5:i386 (7.1.0-7ubuntu1) ... Setting up libpsl5:i386 (0.17.0-5) ... Setting up tzdata (2017b-2) ... Current default time zone: 'Etc/UTC' Local time is now: Sun Jul 16 22:48:35 UTC 2017. Universal Time is now: Sun Jul 16 22:48:35 UTC 2017. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up systemd-sysv (233-8ubuntu3) ... Setting up libubsan0:i386 (7.1.0-7ubuntu1) ... Setting up gcc-6-base:i386 (6.3.0-19ubuntu1) ... Setting up linux-libc-dev:i386 (4.11.0-10.15) ... Setting up advancecomp (2.0-1) ... Setting up libroken18-heimdal:i386 (7.4.0.dfsg.1-1) ... Setting up libdevmapper1.02.1:i386 (2:1.02.137-2ubuntu2) ... Setting up libkrb5support0:i386 (1.15.1-1) ... Setting up perl (5.24.1-7ubuntu1) ... Setting up libmpx2:i386 (7.1.0-7ubuntu1) ... Processing triggers for libc-bin (2.24-9ubuntu2) ... Setting up libheimbase1-heimdal:i386 (7.4.0.dfsg.1-1) ... Setting up openssl (1.0.2g-1ubuntu13) ... Setting up libsqlite3-0:i386 (3.19.3-2) ... Setting up dmsetup (2:1.02.137-2ubuntu2) ... Setting up binutils (2.28-6ubuntu1) ... Setting up cpp-6 (6.3.0-19ubuntu1) ... Setting up ca-certificates (20161130+nmu1) ... Updating certificates in /etc/ssl/certs... 0 added, 7 removed; done. Setting up libusb-0.1-4:i386 (2:0.1.12-31) ... Setting up libitm1:i386 (7.1.0-7ubuntu1) ... Setting up cpp (4:6.3.0-2ubuntu2) ... Setting up libk5crypto3:i386 (1.15.1-1) ... Setting up libasan3:i386 (6.3.0-19ubuntu1) ... Setting up libgcc-6-dev:i386 (6.3.0-19ubuntu1) ... Setting up libstdc++-6-dev:i386 (6.3.0-19ubuntu1) ... Setting up libwind0-heimdal:i386 (7.4.0.dfsg.1-1) ... Setting up libasn1-8-heimdal:i386 (7.4.0.dfsg.1-1) ... Setting up libhcrypto4-heimdal:i386 (7.4.0.dfsg.1-1) ... Setting up libdpkg-perl (1.18.24ubuntu1) ... Setting up libhx509-5-heimdal:i386 (7.4.0.dfsg.1-1) ... Setting up gcc-6 (6.3.0-19ubuntu1) ... Setting up g++-6 (6.3.0-19ubuntu1) ... Setting up dpkg-dev (1.18.24ubuntu1) ... Setting up libkrb5-3:i386 (1.15.1-1) ... Setting up libkrb5-26-heimdal:i386 (7.4.0.dfsg.1-1) ... Setting up libheimntlm0-heimdal:i386 (7.4.0.dfsg.1-1) ... Setting up gcc (4:6.3.0-2ubuntu2) ... Setting up libgssapi-krb5-2:i386 (1.15.1-1) ... Setting up g++ (4:6.3.0-2ubuntu2) ... Setting up libgssapi3-heimdal:i386 (7.4.0.dfsg.1-1) ... Setting up libldap-2.4-2:i386 (2.4.44+dfsg-7ubuntu1) ... Processing triggers for libc-bin (2.24-9ubuntu2) ... Processing triggers for ca-certificates (20161130+nmu1) ... 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-13096810', 'i386', 'artful', '-c', 'chroot:autobuild', '--arch=i386', '--dist=artful', '--purge=never', '--nolog', 'aac-tactics_8.6.1-1build3.dsc'] Initiating build PACKAGEBUILD-13096810 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-83-generic #106-Ubuntu SMP Mon Jun 26 17:54:43 UTC 2017 i686 sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on lgw01-27.buildd +==============================================================================+ | aac-tactics 8.6.1-1build3 (i386) 16 Jul 2017 22:48 | +==============================================================================+ Package: aac-tactics Version: 8.6.1-1build3 Source Version: 8.6.1-1build3 Distribution: artful Machine Architecture: amd64 Host Architecture: i386 Build Architecture: i386 I: NOTICE: Log filtering will replace 'build/aac-tactics-v7bOJk/aac-tactics-8.6.1' with '<>' I: NOTICE: Log filtering will replace 'build/aac-tactics-v7bOJk' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-13096810/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- aac-tactics_8.6.1-1build3.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-n9KEos/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-n9KEos/apt_archive ./ InRelease Get:2 copy:/<>/resolver-n9KEos/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-n9KEos/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-n9KEos/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-n9KEos/apt_archive ./ Packages [525 B] Fetched 2858 B in 0s (261 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 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 778 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-n9KEos/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [778 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 778 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 ... 12506 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 (>= 9), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.6), libcoq-ocaml-dev Filtered Build-Depends: debhelper (>= 9), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.6), libcoq-ocaml-dev dpkg-deb: building package 'sbuild-build-depends-aac-tactics-dummy' in '/<>/resolver-Wdv1lt/apt_archive/sbuild-build-depends-aac-tactics-dummy.deb'. Ign:1 copy:/<>/resolver-Wdv1lt/apt_archive ./ InRelease Get:2 copy:/<>/resolver-Wdv1lt/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-Wdv1lt/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-Wdv1lt/apt_archive ./ Sources [256 B] Get:5 copy:/<>/resolver-Wdv1lt/apt_archive ./ Packages [570 B] Fetched 2945 B in 0s (246 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install aac-tactics build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: adwaita-icon-theme aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils camlp5 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-python dh-strip-nondeterminism dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme icu-devtools intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcoq-ocaml libcoq-ocaml-dev libcroco3 libcups2 libdatrie1 libdbus-1-3 libelf1 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libglib2.0-dev-bin libgraphite2-3 libgraphite2-dev libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.4-0 libice-dev libice6 libicu-dev libicu57 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev liblzo2-2 libmagic-mgc libmagic1 libmpdec2 libncurses5-dev libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.5-minimal libpython3.5-stdlib librsvg2-2 librsvg2-common libsigsegv2 libsm-dev libsm6 libtext-iconv-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocamlbuild pkg-config po-debconf python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.5 python3.5-minimal shared-mime-info ubuntu-mono ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev Suggested packages: aspell-doc spellutils autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation proofgeneral ledit | readline-editor why coq-doc dh-make git wordlist gettext-doc libasprintf-dev libgettextpo-dev groff libcairo2-doc cups-common libenchant-voikko glade | glade-gnome libglib2.0-doc gvfs libgtk2.0-doc libgtksourceview2.0-doc libice-doc icu-doc liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocaml-dev ncurses-doc imagemagick libpango1.0-doc librsvg2-bin libsm-doc libtool-doc gfortran | fortran95-compiler gcj-jdk libxcb-doc libxext-doc m4-doc less www-browser camlp4 ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl python-doc python-tk python2.7-doc binfmt-support python3-doc python3-tk python3-venv python3.5-venv python3.5-doc Recommended packages: coqide | proofgeneral curl | wget | lynx-cur dbus enchant libarchive-cpio-perl libgdk-pixbuf2.0-bin xdg-user-dirs libgail-common libgtk2.0-bin hunspell-en-us | hunspell-dictionary | myspell-dictionary liblablgtk2-ocaml-doc libpng-tools libltdl-dev libx11-doc xml-core libfindlib-ocaml-dev ledit | readline-editor camlp4 libmail-sendmail-perl The following packages will be REMOVED: pkg-create-dbgsym* The following NEW packages will be installed: adwaita-icon-theme aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils camlp5 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-python dh-strip-nondeterminism dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme icu-devtools intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcoq-ocaml libcoq-ocaml-dev libcroco3 libcups2 libdatrie1 libdbus-1-3 libelf1 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libglib2.0-dev-bin libgraphite2-3 libgraphite2-dev libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.4-0 libice-dev libice6 libicu-dev libicu57 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev liblzo2-2 libmagic-mgc libmagic1 libmpdec2 libncurses5-dev libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.5-minimal libpython3.5-stdlib librsvg2-2 librsvg2-common libsigsegv2 libsm-dev libsm6 libtext-iconv-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocamlbuild pkg-config po-debconf python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.5 python3.5-minimal sbuild-build-depends-aac-tactics-dummy shared-mime-info ubuntu-mono ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev 0 upgraded, 213 newly installed, 1 to remove and 0 not upgraded. Need to get 192 MB of archives. After this operation, 910 MB of additional disk space will be used. Get:1 copy:/<>/resolver-Wdv1lt/apt_archive ./ sbuild-build-depends-aac-tactics-dummy 0.invalid.0 [826 B] Get:2 http://ftpmaster.internal/ubuntu artful/main i386 libpython3.5-minimal i386 3.5.3-3 [536 kB] Get:3 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 coq-theories i386 8.6-4build2 [31.9 MB] Get:4 http://ftpmaster.internal/ubuntu artful/main i386 libexpat1 i386 2.2.1-2 [74.8 kB] Get:5 http://ftpmaster.internal/ubuntu artful/main i386 python3.5-minimal i386 3.5.3-3 [1689 kB] Get:6 http://ftpmaster.internal/ubuntu artful/main i386 python3-minimal i386 3.5.3-1ubuntu3 [23.4 kB] Get:7 http://ftpmaster.internal/ubuntu artful/main i386 mime-support all 3.60ubuntu1 [30.1 kB] Get:8 http://ftpmaster.internal/ubuntu artful/main i386 libmpdec2 i386 2.4.2-1 [80.7 kB] Get:9 http://ftpmaster.internal/ubuntu artful/main i386 libpython3.5-stdlib i386 3.5.3-3 [2176 kB] Get:10 http://ftpmaster.internal/ubuntu artful/main i386 python3.5 i386 3.5.3-3 [179 kB] Get:11 http://ftpmaster.internal/ubuntu artful/main i386 libpython3-stdlib i386 3.5.3-1ubuntu3 [6868 B] Get:12 http://ftpmaster.internal/ubuntu artful/main i386 dh-python all 2.20170125 [83.7 kB] Get:13 http://ftpmaster.internal/ubuntu artful/main i386 python3 i386 3.5.3-1ubuntu3 [8710 B] Get:14 http://ftpmaster.internal/ubuntu artful/main i386 libxau6 i386 1:1.0.8-1 [8352 B] Get:15 http://ftpmaster.internal/ubuntu artful/main i386 libbsd0 i386 0.8.5-1 [44.9 kB] Get:16 http://ftpmaster.internal/ubuntu artful/main i386 libxdmcp6 i386 1:1.1.2-3 [11.1 kB] Get:17 http://ftpmaster.internal/ubuntu artful/main i386 libxcb1 i386 1.11.1-1ubuntu1 [44.1 kB] Get:18 http://ftpmaster.internal/ubuntu artful/main i386 libx11-data all 2:1.6.4-3 [114 kB] Get:19 http://ftpmaster.internal/ubuntu artful/main i386 libx11-6 i386 2:1.6.4-3 [594 kB] Get:20 http://ftpmaster.internal/ubuntu artful/main i386 libxext6 i386 2:1.3.3-1 [31.6 kB] Get:21 http://ftpmaster.internal/ubuntu artful/main i386 groff-base i386 1.22.3-9 [1163 kB] Get:22 http://ftpmaster.internal/ubuntu artful/main i386 bsdmainutils i386 9.0.12ubuntu1 [175 kB] Get:23 http://ftpmaster.internal/ubuntu artful/main i386 libpipeline1 i386 1.4.2-1 [26.8 kB] Get:24 http://ftpmaster.internal/ubuntu artful/main i386 man-db i386 2.7.6.1-2 [906 kB] Get:25 http://ftpmaster.internal/ubuntu artful/main i386 fonts-dejavu-core all 2.37-1 [1041 kB] Get:26 http://ftpmaster.internal/ubuntu artful/main i386 ucf all 3.0036 [52.9 kB] Get:27 http://ftpmaster.internal/ubuntu artful/main i386 fontconfig-config all 2.11.94-0ubuntu2 [49.9 kB] Get:28 http://ftpmaster.internal/ubuntu artful/main i386 libfreetype6 i386 2.6.3-3.2ubuntu1 [336 kB] Get:29 http://ftpmaster.internal/ubuntu artful/main i386 libfontconfig1 i386 2.11.94-0ubuntu2 [140 kB] Get:30 http://ftpmaster.internal/ubuntu artful/main i386 fontconfig i386 2.11.94-0ubuntu2 [177 kB] Get:31 http://ftpmaster.internal/ubuntu artful/main i386 libglib2.0-0 i386 2.53.3-1 [1225 kB] Get:32 http://ftpmaster.internal/ubuntu artful/main i386 libatk1.0-data all 2.22.0-1 [2844 B] Get:33 http://ftpmaster.internal/ubuntu artful/main i386 libatk1.0-0 i386 2.22.0-1 [43.5 kB] Get:34 http://ftpmaster.internal/ubuntu artful/main i386 libjpeg-turbo8 i386 1.5.1-0ubuntu1 [120 kB] Get:35 http://ftpmaster.internal/ubuntu artful/main i386 libjpeg8 i386 8c-2ubuntu8 [2188 B] Get:36 http://ftpmaster.internal/ubuntu artful/main i386 libjbig0 i386 2.1-3.1 [27.0 kB] Get:37 http://ftpmaster.internal/ubuntu artful/main i386 libtiff5 i386 4.0.8-4 [161 kB] Get:38 http://ftpmaster.internal/ubuntu artful/main i386 libicu57 i386 57.1-6 [7837 kB] Get:39 http://ftpmaster.internal/ubuntu artful/main i386 libxml2 i386 2.9.4+dfsg1-2.2ubuntu1 [733 kB] Get:40 http://ftpmaster.internal/ubuntu artful/main i386 shared-mime-info i386 1.8-1 [421 kB] Get:41 http://ftpmaster.internal/ubuntu artful/main i386 libgdk-pixbuf2.0-common all 2.36.5-3 [4602 B] Get:42 http://ftpmaster.internal/ubuntu artful/main i386 libgdk-pixbuf2.0-0 i386 2.36.5-3 [176 kB] Get:43 http://ftpmaster.internal/ubuntu artful/main i386 libgtk2.0-common all 2.24.31-1ubuntu1 [124 kB] Get:44 http://ftpmaster.internal/ubuntu artful/main i386 libpixman-1-0 i386 0.34.0-1 [235 kB] Get:45 http://ftpmaster.internal/ubuntu artful/main i386 libxcb-render0 i386 1.11.1-1ubuntu1 [12.2 kB] Get:46 http://ftpmaster.internal/ubuntu artful/main i386 libxcb-shm0 i386 1.11.1-1ubuntu1 [5754 B] Get:47 http://ftpmaster.internal/ubuntu artful/main i386 libxrender1 i386 1:0.9.10-1 [19.9 kB] Get:48 http://ftpmaster.internal/ubuntu artful/main i386 libcairo2 i386 1.14.8-1 [612 kB] Get:49 http://ftpmaster.internal/ubuntu artful/main i386 libavahi-common-data i386 0.6.32-1ubuntu1 [22.0 kB] Get:50 http://ftpmaster.internal/ubuntu artful/main i386 libavahi-common3 i386 0.6.32-1ubuntu1 [23.5 kB] Get:51 http://ftpmaster.internal/ubuntu artful/main i386 libdbus-1-3 i386 1.10.18-1ubuntu2 [176 kB] Get:52 http://ftpmaster.internal/ubuntu artful/main i386 libavahi-client3 i386 0.6.32-1ubuntu1 [27.1 kB] Get:53 http://ftpmaster.internal/ubuntu artful/main i386 libcups2 i386 2.2.3-2 [220 kB] Get:54 http://ftpmaster.internal/ubuntu artful/main i386 libthai-data all 0.1.26-2 [131 kB] Get:55 http://ftpmaster.internal/ubuntu artful/main i386 libdatrie1 i386 0.2.10-4 [18.9 kB] Get:56 http://ftpmaster.internal/ubuntu artful/main i386 libthai0 i386 0.1.26-2 [18.6 kB] Get:57 http://ftpmaster.internal/ubuntu artful/main i386 libpango-1.0-0 i386 1.40.5-1 [155 kB] Get:58 http://ftpmaster.internal/ubuntu artful/main i386 libgraphite2-3 i386 1.3.10-2 [81.0 kB] Get:59 http://ftpmaster.internal/ubuntu artful/main i386 libharfbuzz0b i386 1.4.2-1 [221 kB] Get:60 http://ftpmaster.internal/ubuntu artful/main i386 libpangoft2-1.0-0 i386 1.40.5-1 [35.5 kB] Get:61 http://ftpmaster.internal/ubuntu artful/main i386 libpangocairo-1.0-0 i386 1.40.5-1 [22.2 kB] Get:62 http://ftpmaster.internal/ubuntu artful/main i386 libxcomposite1 i386 1:0.4.4-2 [7184 B] Get:63 http://ftpmaster.internal/ubuntu artful/main i386 libxfixes3 i386 1:5.0.3-1 [11.2 kB] Get:64 http://ftpmaster.internal/ubuntu artful/main i386 libxcursor1 i386 1:1.1.14-1 [22.8 kB] Get:65 http://ftpmaster.internal/ubuntu artful/main i386 libxdamage1 i386 1:1.1.4-2 [6812 B] Get:66 http://ftpmaster.internal/ubuntu artful/main i386 libxi6 i386 2:1.7.9-1 [31.7 kB] Get:67 http://ftpmaster.internal/ubuntu artful/main i386 libxinerama1 i386 2:1.1.3-1 [7900 B] Get:68 http://ftpmaster.internal/ubuntu artful/main i386 libxrandr2 i386 2:1.5.1-1 [19.9 kB] Get:69 http://ftpmaster.internal/ubuntu artful/main i386 hicolor-icon-theme all 0.15-1 [8378 B] Get:70 http://ftpmaster.internal/ubuntu artful/main i386 gtk-update-icon-cache i386 3.22.15-0ubuntu2 [27.6 kB] Get:71 http://ftpmaster.internal/ubuntu artful/main i386 libcroco3 i386 0.6.12-1 [87.5 kB] Get:72 http://ftpmaster.internal/ubuntu artful/main i386 librsvg2-2 i386 2.40.16-2 [106 kB] Get:73 http://ftpmaster.internal/ubuntu artful/main i386 librsvg2-common i386 2.40.16-2 [5170 B] Get:74 http://ftpmaster.internal/ubuntu artful/main i386 humanity-icon-theme all 0.6.13 [1288 kB] Get:75 http://ftpmaster.internal/ubuntu artful/main i386 ubuntu-mono all 16.10+17.10.20170703-0ubuntu1 [161 kB] Get:76 http://ftpmaster.internal/ubuntu artful/main i386 adwaita-icon-theme all 3.24.0-0ubuntu1 [3423 kB] Get:77 http://ftpmaster.internal/ubuntu artful/main i386 libgtk2.0-0 i386 2.24.31-1ubuntu1 [1899 kB] Get:78 http://ftpmaster.internal/ubuntu artful/main i386 libglade2-0 i386 1:2.6.4-2 [43.7 kB] Get:79 http://ftpmaster.internal/ubuntu artful/main i386 liblzo2-2 i386 2.08-1.2 [52.7 kB] Get:80 http://ftpmaster.internal/ubuntu artful/main i386 libpcrecpp0v5 i386 2:8.39-3 [16.0 kB] Get:81 http://ftpmaster.internal/ubuntu artful/main i386 x11-common all 1:7.7+19ubuntu1 [22.1 kB] Get:82 http://ftpmaster.internal/ubuntu artful/main i386 libice6 i386 2:1.0.9-2 [42.6 kB] Get:83 http://ftpmaster.internal/ubuntu artful/main i386 libsm6 i386 2:1.2.2-1 [14.8 kB] Get:84 http://ftpmaster.internal/ubuntu artful/main i386 libxft2 i386 2.3.2-1 [35.5 kB] Get:85 http://ftpmaster.internal/ubuntu artful/main i386 libpython2.7-minimal i386 2.7.13-2 [338 kB] Get:86 http://ftpmaster.internal/ubuntu artful/main i386 python2.7-minimal i386 2.7.13-2 [1360 kB] Get:87 http://ftpmaster.internal/ubuntu artful/main i386 python-minimal i386 2.7.13-2 [28.2 kB] Get:88 http://ftpmaster.internal/ubuntu artful/main i386 libpython2.7-stdlib i386 2.7.13-2 [1919 kB] Get:89 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 ocaml-base-nox i386 4.04.0-2ubuntu2 [503 kB] Get:90 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 liblablgtk2-ocaml i386 2.18.3+dfsg-2ubuntu1 [711 kB] Get:91 http://ftpmaster.internal/ubuntu artful/main i386 python2.7 i386 2.7.13-2 [229 kB] Get:92 http://ftpmaster.internal/ubuntu artful/main i386 libpython-stdlib i386 2.7.13-2 [7774 B] Get:93 http://ftpmaster.internal/ubuntu artful/main i386 python i386 2.7.13-2 [139 kB] Get:94 http://ftpmaster.internal/ubuntu artful/main i386 libmagic-mgc i386 1:5.30-1 [181 kB] Get:95 http://ftpmaster.internal/ubuntu artful/main i386 libmagic1 i386 1:5.30-1 [74.3 kB] Get:96 http://ftpmaster.internal/ubuntu artful/main i386 file i386 1:5.30-1 [21.7 kB] Get:97 http://ftpmaster.internal/ubuntu artful/main i386 libelf1 i386 0.166-2ubuntu1 [49.1 kB] Get:98 http://ftpmaster.internal/ubuntu artful/main i386 libtext-iconv-perl i386 1.7-5build5 [13.6 kB] Get:99 http://ftpmaster.internal/ubuntu artful/main i386 gettext-base i386 0.19.8.1-2ubuntu1 [48.9 kB] Get:100 http://ftpmaster.internal/ubuntu artful/main i386 libgirepository-1.0-1 i386 1.53.2-2 [88.7 kB] Get:101 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 liblablgtksourceview2-ocaml i386 2.18.3+dfsg-2ubuntu1 [87.5 kB] Get:102 http://ftpmaster.internal/ubuntu artful/main i386 gir1.2-glib-2.0 i386 1.53.2-2 [130 kB] Get:103 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 libcoq-ocaml i386 8.6-4build2 [3392 kB] Get:104 http://ftpmaster.internal/ubuntu artful/main i386 libglib2.0-data all 2.53.3-1 [5298 B] Get:105 http://ftpmaster.internal/ubuntu artful/main i386 libaspell15 i386 0.60.7~20110707-3build2 [324 kB] Get:106 http://ftpmaster.internal/ubuntu artful/main i386 emacsen-common all 2.0.8 [17.6 kB] Get:107 http://ftpmaster.internal/ubuntu artful/main i386 dictionaries-common all 1.27.2 [186 kB] Get:108 http://ftpmaster.internal/ubuntu artful/main i386 aspell i386 0.60.7~20110707-3build2 [77.1 kB] Get:109 http://ftpmaster.internal/ubuntu artful/main i386 aspell-en all 2017.01.22-0-0.1 [298 kB] Get:110 http://ftpmaster.internal/ubuntu artful/main i386 libsigsegv2 i386 2.11-1 [13.5 kB] Get:111 http://ftpmaster.internal/ubuntu artful/main i386 m4 i386 1.4.18-1 [196 kB] Get:112 http://ftpmaster.internal/ubuntu artful/main i386 autoconf all 2.69-10 [321 kB] Get:113 http://ftpmaster.internal/ubuntu artful/main i386 autotools-dev all 20161112.1 [39.5 kB] Get:114 http://ftpmaster.internal/ubuntu artful/main i386 automake all 1:1.15-6ubuntu1 [509 kB] Get:115 http://ftpmaster.internal/ubuntu artful/main i386 autopoint all 0.19.8.1-2ubuntu1 [411 kB] Get:116 http://ftpmaster.internal/ubuntu artful/main i386 libhunspell-1.4-0 i386 1.4.1-2build1 [146 kB] Get:117 http://ftpmaster.internal/ubuntu artful/main i386 libenchant1c2a i386 1.6.0-11build1 [67.5 kB] Get:118 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 ocaml-compiler-libs i386 4.04.0-2ubuntu2 [18.3 MB] Get:119 http://ftpmaster.internal/ubuntu artful/main i386 libgtkspell0 i386 2.0.16-1.1ubuntu1 [11.3 kB] Get:120 http://ftpmaster.internal/ubuntu artful/universe i386 libgtksourceview2.0-common all 2.10.5-2ubuntu3 [434 kB] Get:121 http://ftpmaster.internal/ubuntu artful/universe i386 libgtksourceview2.0-0 i386 2.10.5-2ubuntu3 [161 kB] Get:122 http://ftpmaster.internal/ubuntu artful/main i386 libtinfo-dev i386 6.0+20160625-1ubuntu1 [76.2 kB] Get:123 http://ftpmaster.internal/ubuntu artful/main i386 libncurses5-dev i386 6.0+20160625-1ubuntu1 [176 kB] Get:124 http://ftpmaster.internal/ubuntu artful/main i386 libtool all 2.4.6-2 [194 kB] Get:125 http://ftpmaster.internal/ubuntu artful/main i386 dh-autoreconf all 14 [15.5 kB] Get:126 http://ftpmaster.internal/ubuntu artful/main i386 libarchive-zip-perl all 1.59-1 [84.0 kB] Get:127 http://ftpmaster.internal/ubuntu artful/main i386 libfile-stripnondeterminism-perl all 0.038-1 [13.3 kB] Get:128 http://ftpmaster.internal/ubuntu artful/main i386 libtimedate-perl all 2.3000-2 [37.5 kB] Get:129 http://ftpmaster.internal/ubuntu artful/main i386 dh-strip-nondeterminism all 0.038-1 [5026 B] Get:130 http://ftpmaster.internal/ubuntu artful/main i386 gettext i386 0.19.8.1-2ubuntu1 [1088 kB] Get:131 http://ftpmaster.internal/ubuntu artful/main i386 intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:132 http://ftpmaster.internal/ubuntu artful/main i386 po-debconf all 1.0.20 [232 kB] Get:133 http://ftpmaster.internal/ubuntu artful/main i386 debhelper all 10.4ubuntu3 [876 kB] Get:134 http://ftpmaster.internal/ubuntu artful/main i386 gir1.2-atk-1.0 i386 2.22.0-1 [17.6 kB] Get:135 http://ftpmaster.internal/ubuntu artful/main i386 gir1.2-freedesktop i386 1.53.2-2 [8964 B] Get:136 http://ftpmaster.internal/ubuntu artful/main i386 gir1.2-gdkpixbuf-2.0 i386 2.36.5-3 [8178 B] Get:137 http://ftpmaster.internal/ubuntu artful/main i386 libpangoxft-1.0-0 i386 1.40.5-1 [15.5 kB] Get:138 http://ftpmaster.internal/ubuntu artful/main i386 gir1.2-pango-1.0 i386 1.40.5-1 [21.5 kB] Get:139 http://ftpmaster.internal/ubuntu artful/main i386 gir1.2-gtk-2.0 i386 2.24.31-1ubuntu1 [172 kB] Get:140 http://ftpmaster.internal/ubuntu artful/main i386 icu-devtools i386 57.1-6 [165 kB] Get:141 http://ftpmaster.internal/ubuntu artful/main i386 pkg-config i386 0.29.1-0ubuntu2 [45.8 kB] Get:142 http://ftpmaster.internal/ubuntu artful/main i386 libglib2.0-bin i386 2.53.3-1 [72.5 kB] Get:143 http://ftpmaster.internal/ubuntu artful/main i386 libglib2.0-dev-bin i386 2.53.3-1 [85.6 kB] Get:144 http://ftpmaster.internal/ubuntu artful/main i386 libpcre16-3 i386 2:8.39-3 [148 kB] Get:145 http://ftpmaster.internal/ubuntu artful/main i386 libpcre32-3 i386 2:8.39-3 [139 kB] Get:146 http://ftpmaster.internal/ubuntu artful/main i386 libpcre3-dev i386 2:8.39-3 [541 kB] Get:147 http://ftpmaster.internal/ubuntu artful/main i386 zlib1g-dev i386 1:1.2.11.dfsg-0ubuntu1 [171 kB] Get:148 http://ftpmaster.internal/ubuntu artful/main i386 libglib2.0-dev i386 2.53.3-1 [1478 kB] Get:149 http://ftpmaster.internal/ubuntu artful/main i386 libatk1.0-dev i386 2.22.0-1 [79.0 kB] Get:150 http://ftpmaster.internal/ubuntu artful/main i386 libcairo-gobject2 i386 1.14.8-1 [16.5 kB] Get:151 http://ftpmaster.internal/ubuntu artful/main i386 libcairo-script-interpreter2 i386 1.14.8-1 [58.3 kB] Get:152 http://ftpmaster.internal/ubuntu artful/main i386 libexpat1-dev i386 2.2.1-2 [127 kB] Get:153 http://ftpmaster.internal/ubuntu artful/main i386 libpng-dev i386 1.6.29-3 [152 kB] Get:154 http://ftpmaster.internal/ubuntu artful/main i386 libfreetype6-dev i386 2.6.3-3.2ubuntu1 [5191 kB] Get:155 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 ocaml-interp i386 4.04.0-2ubuntu2 [3412 kB] Get:156 http://ftpmaster.internal/ubuntu artful/main i386 libfontconfig1-dev i386 2.11.94-0ubuntu2 [660 kB] Get:157 http://ftpmaster.internal/ubuntu artful/main i386 xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:158 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-core-dev all 7.0.31-1 [700 kB] Get:159 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 ocaml-nox i386 4.04.0-2ubuntu2 [23.2 MB] Get:160 http://ftpmaster.internal/ubuntu artful/main i386 libxau-dev i386 1:1.0.8-1 [10.2 kB] Get:161 http://ftpmaster.internal/ubuntu artful/main i386 libxdmcp-dev i386 1:1.1.2-3 [24.9 kB] Get:162 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-input-dev all 2.3.2-1 [118 kB] Get:163 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-kb-dev all 1.0.7-1 [226 kB] Get:164 http://ftpmaster.internal/ubuntu artful/main i386 xtrans-dev all 1.3.5-1 [70.5 kB] Get:165 http://ftpmaster.internal/ubuntu artful/main i386 libpthread-stubs0-dev i386 0.3-4 [4054 B] Get:166 http://ftpmaster.internal/ubuntu artful/main i386 libxcb1-dev i386 1.11.1-1ubuntu1 [76.3 kB] Get:167 http://ftpmaster.internal/ubuntu artful/main i386 libx11-dev i386 2:1.6.4-3 [661 kB] Get:168 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-render-dev all 2:0.11.1-2 [20.1 kB] Get:169 http://ftpmaster.internal/ubuntu artful/main i386 libxrender-dev i386 1:0.9.10-1 [25.1 kB] Get:170 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-xext-dev all 7.3.0-1 [212 kB] Get:171 http://ftpmaster.internal/ubuntu artful/main i386 libxext-dev i386 2:1.3.3-1 [82.8 kB] Get:172 http://ftpmaster.internal/ubuntu artful/main i386 libice-dev i386 2:1.0.9-2 [46.8 kB] Get:173 http://ftpmaster.internal/ubuntu artful/main i386 libsm-dev i386 2:1.2.2-1 [15.1 kB] Get:174 http://ftpmaster.internal/ubuntu artful/main i386 libpixman-1-dev i386 0.34.0-1 [259 kB] Get:175 http://ftpmaster.internal/ubuntu artful/main i386 libxcb-render0-dev i386 1.11.1-1ubuntu1 [15.6 kB] Get:176 http://ftpmaster.internal/ubuntu artful/main i386 libxcb-shm0-dev i386 1.11.1-1ubuntu1 [6628 B] Get:177 http://ftpmaster.internal/ubuntu artful/main i386 libcairo2-dev i386 1.14.8-1 [627 kB] Get:178 http://ftpmaster.internal/ubuntu artful/main i386 libgdk-pixbuf2.0-dev i386 2.36.5-3 [46.8 kB] Get:179 http://ftpmaster.internal/ubuntu artful/main i386 libharfbuzz-icu0 i386 1.4.2-1 [5394 B] Get:180 http://ftpmaster.internal/ubuntu artful/main i386 libharfbuzz-gobject0 i386 1.4.2-1 [12.0 kB] Get:181 http://ftpmaster.internal/ubuntu artful/main i386 libgraphite2-dev i386 1.3.10-2 [14.6 kB] Get:182 http://ftpmaster.internal/ubuntu artful/main i386 libicu-dev i386 57.1-6 [15.6 MB] Get:183 http://ftpmaster.internal/ubuntu artful/main i386 libharfbuzz-dev i386 1.4.2-1 [278 kB] Get:184 http://ftpmaster.internal/ubuntu artful/main i386 libxft-dev i386 2.3.2-1 [43.6 kB] Get:185 http://ftpmaster.internal/ubuntu artful/main i386 libpango1.0-dev i386 1.40.5-1 [301 kB] Get:186 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-xinerama-dev all 1.2.1-2 [4966 B] Get:187 http://ftpmaster.internal/ubuntu artful/main i386 libxinerama-dev i386 2:1.1.3-1 [8268 B] Get:188 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-fixes-dev all 1:5.0-2ubuntu2 [14.2 kB] Get:189 http://ftpmaster.internal/ubuntu artful/main i386 libxfixes-dev i386 1:5.0.3-1 [11.2 kB] Get:190 http://ftpmaster.internal/ubuntu artful/main i386 libxi-dev i386 2:1.7.9-1 [186 kB] Get:191 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-randr-dev all 1.5.0-1 [33.7 kB] Get:192 http://ftpmaster.internal/ubuntu artful/main i386 libxrandr-dev i386 2:1.5.1-1 [25.1 kB] Get:193 http://ftpmaster.internal/ubuntu artful/main i386 libxcursor-dev i386 1:1.1.14-1 [28.2 kB] Get:194 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-composite-dev all 1:0.4.2-2 [10.5 kB] Get:195 http://ftpmaster.internal/ubuntu artful/main i386 libxcomposite-dev i386 1:0.4.4-2 [9244 B] Get:196 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-damage-dev all 1:1.2.1-2 [8286 B] Get:197 http://ftpmaster.internal/ubuntu artful/main i386 libxdamage-dev i386 1:1.1.4-2 [4900 B] Get:198 http://ftpmaster.internal/ubuntu artful/main i386 libxml2-utils i386 2.9.4+dfsg1-2.2ubuntu1 [35.9 kB] Get:199 http://ftpmaster.internal/ubuntu artful/main i386 libgtk2.0-dev i386 2.24.31-1ubuntu1 [2678 kB] Get:200 http://ftpmaster.internal/ubuntu artful/main i386 libxml2-dev i386 2.9.4+dfsg1-2.2ubuntu1 [806 kB] Get:201 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 libfindlib-ocaml i386 1.7.1-2 [155 kB] Get:202 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 ocaml-findlib i386 1.7.1-2 [335 kB] Get:203 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 coq i386 8.6-4build2 [16.8 MB] Get:204 http://ftpmaster.internal/ubuntu artful/main i386 libglade2-dev i386 1:2.6.4-2 [71.0 kB] Get:205 http://ftpmaster.internal/ubuntu artful/main i386 libenchant-dev i386 1.6.0-11build1 [58.1 kB] Get:206 http://ftpmaster.internal/ubuntu artful/main i386 libgtkspell-dev i386 2.0.16-1.1ubuntu1 [24.1 kB] Get:207 http://ftpmaster.internal/ubuntu artful/universe i386 libgtksourceview2.0-dev i386 2.10.5-2ubuntu3 [179 kB] Get:208 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 camlp5 i386 6.16-1ubuntu1 [3007 kB] Get:209 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 liblablgtk2-ocaml-dev i386 2.18.3+dfsg-2ubuntu1 [1435 kB] Get:210 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 liblablgtksourceview2-ocaml-dev i386 2.18.3+dfsg-2ubuntu1 [113 kB] Get:211 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 libcoq-ocaml-dev i386 8.6-4build2 [13.6 MB] Get:212 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 ocamlbuild i386 0.10.1-1 [666 kB] Get:213 http://ppa.launchpad.net/ci-train-ppa-service/2865/ubuntu artful/main i386 dh-ocaml all 1.0.10ubuntu1 [79.8 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 192 MB in 9s (20.4 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12506 files and directories currently installed.) Removing pkg-create-dbgsym (0.73) ... Selecting previously unselected package libpython3.5-minimal: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 ... 12497 files and directories currently installed.) Preparing to unpack .../0-libpython3.5-minimal_3.5.3-3_i386.deb ... Unpacking libpython3.5-minimal:i386 (3.5.3-3) ... Selecting previously unselected package libexpat1:i386. Preparing to unpack .../1-libexpat1_2.2.1-2_i386.deb ... Unpacking libexpat1:i386 (2.2.1-2) ... Selecting previously unselected package python3.5-minimal. Preparing to unpack .../2-python3.5-minimal_3.5.3-3_i386.deb ... Unpacking python3.5-minimal (3.5.3-3) ... Selecting previously unselected package python3-minimal. Preparing to unpack .../3-python3-minimal_3.5.3-1ubuntu3_i386.deb ... Unpacking python3-minimal (3.5.3-1ubuntu3) ... Selecting previously unselected package mime-support. Preparing to unpack .../4-mime-support_3.60ubuntu1_all.deb ... Unpacking mime-support (3.60ubuntu1) ... Selecting previously unselected package libmpdec2:i386. Preparing to unpack .../5-libmpdec2_2.4.2-1_i386.deb ... Unpacking libmpdec2:i386 (2.4.2-1) ... Selecting previously unselected package libpython3.5-stdlib:i386. Preparing to unpack .../6-libpython3.5-stdlib_3.5.3-3_i386.deb ... Unpacking libpython3.5-stdlib:i386 (3.5.3-3) ... Selecting previously unselected package python3.5. Preparing to unpack .../7-python3.5_3.5.3-3_i386.deb ... Unpacking python3.5 (3.5.3-3) ... Selecting previously unselected package libpython3-stdlib:i386. Preparing to unpack .../8-libpython3-stdlib_3.5.3-1ubuntu3_i386.deb ... Unpacking libpython3-stdlib:i386 (3.5.3-1ubuntu3) ... Selecting previously unselected package dh-python. Preparing to unpack .../9-dh-python_2.20170125_all.deb ... Unpacking dh-python (2.20170125) ... Setting up libpython3.5-minimal:i386 (3.5.3-3) ... Setting up libexpat1:i386 (2.2.1-2) ... Setting up python3.5-minimal (3.5.3-3) ... Setting up python3-minimal (3.5.3-1ubuntu3) ... Selecting previously unselected package python3. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13449 files and directories currently installed.) Preparing to unpack .../00-python3_3.5.3-1ubuntu3_i386.deb ... Unpacking python3 (3.5.3-1ubuntu3) ... Selecting previously unselected package libxau6:i386. Preparing to unpack .../01-libxau6_1%3a1.0.8-1_i386.deb ... Unpacking libxau6:i386 (1:1.0.8-1) ... Selecting previously unselected package libbsd0:i386. Preparing to unpack .../02-libbsd0_0.8.5-1_i386.deb ... Unpacking libbsd0:i386 (0.8.5-1) ... Selecting previously unselected package libxdmcp6:i386. Preparing to unpack .../03-libxdmcp6_1%3a1.1.2-3_i386.deb ... Unpacking libxdmcp6:i386 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:i386. Preparing to unpack .../04-libxcb1_1.11.1-1ubuntu1_i386.deb ... Unpacking libxcb1:i386 (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../05-libx11-data_2%3a1.6.4-3_all.deb ... Unpacking libx11-data (2:1.6.4-3) ... Selecting previously unselected package libx11-6:i386. Preparing to unpack .../06-libx11-6_2%3a1.6.4-3_i386.deb ... Unpacking libx11-6:i386 (2:1.6.4-3) ... Selecting previously unselected package libxext6:i386. Preparing to unpack .../07-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 .../08-groff-base_1.22.3-9_i386.deb ... Unpacking groff-base (1.22.3-9) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../09-bsdmainutils_9.0.12ubuntu1_i386.deb ... Unpacking bsdmainutils (9.0.12ubuntu1) ... Selecting previously unselected package libpipeline1:i386. Preparing to unpack .../10-libpipeline1_1.4.2-1_i386.deb ... Unpacking libpipeline1:i386 (1.4.2-1) ... Selecting previously unselected package man-db. Preparing to unpack .../11-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 .../12-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package ucf. Preparing to unpack .../13-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 .../14-fontconfig-config_2.11.94-0ubuntu2_all.deb ... Unpacking fontconfig-config (2.11.94-0ubuntu2) ... Selecting previously unselected package libfreetype6:i386. Preparing to unpack .../15-libfreetype6_2.6.3-3.2ubuntu1_i386.deb ... Unpacking libfreetype6:i386 (2.6.3-3.2ubuntu1) ... Selecting previously unselected package libfontconfig1:i386. Preparing to unpack .../16-libfontconfig1_2.11.94-0ubuntu2_i386.deb ... Unpacking libfontconfig1:i386 (2.11.94-0ubuntu2) ... Selecting previously unselected package fontconfig. Preparing to unpack .../17-fontconfig_2.11.94-0ubuntu2_i386.deb ... Unpacking fontconfig (2.11.94-0ubuntu2) ... Selecting previously unselected package libglib2.0-0:i386. Preparing to unpack .../18-libglib2.0-0_2.53.3-1_i386.deb ... Unpacking libglib2.0-0:i386 (2.53.3-1) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../19-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 .../20-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 .../21-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 .../22-libjpeg8_8c-2ubuntu8_i386.deb ... Unpacking libjpeg8:i386 (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:i386. Preparing to unpack .../23-libjbig0_2.1-3.1_i386.deb ... Unpacking libjbig0:i386 (2.1-3.1) ... Selecting previously unselected package libtiff5:i386. Preparing to unpack .../24-libtiff5_4.0.8-4_i386.deb ... Unpacking libtiff5:i386 (4.0.8-4) ... Selecting previously unselected package libicu57:i386. Preparing to unpack .../25-libicu57_57.1-6_i386.deb ... Unpacking libicu57:i386 (57.1-6) ... Selecting previously unselected package libxml2:i386. Preparing to unpack .../26-libxml2_2.9.4+dfsg1-2.2ubuntu1_i386.deb ... Unpacking libxml2:i386 (2.9.4+dfsg1-2.2ubuntu1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../27-shared-mime-info_1.8-1_i386.deb ... Unpacking shared-mime-info (1.8-1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../28-libgdk-pixbuf2.0-common_2.36.5-3_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.36.5-3) ... Selecting previously unselected package libgdk-pixbuf2.0-0:i386. Preparing to unpack .../29-libgdk-pixbuf2.0-0_2.36.5-3_i386.deb ... Unpacking libgdk-pixbuf2.0-0:i386 (2.36.5-3) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../30-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 .../31-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 .../32-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 .../33-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 .../34-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 .../35-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 .../36-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 .../37-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 .../38-libdbus-1-3_1.10.18-1ubuntu2_i386.deb ... Unpacking libdbus-1-3:i386 (1.10.18-1ubuntu2) ... Selecting previously unselected package libavahi-client3:i386. Preparing to unpack .../39-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 .../40-libcups2_2.2.3-2_i386.deb ... Unpacking libcups2:i386 (2.2.3-2) ... Selecting previously unselected package libthai-data. Preparing to unpack .../41-libthai-data_0.1.26-2_all.deb ... Unpacking libthai-data (0.1.26-2) ... Selecting previously unselected package libdatrie1:i386. Preparing to unpack .../42-libdatrie1_0.2.10-4_i386.deb ... Unpacking libdatrie1:i386 (0.2.10-4) ... Selecting previously unselected package libthai0:i386. Preparing to unpack .../43-libthai0_0.1.26-2_i386.deb ... Unpacking libthai0:i386 (0.1.26-2) ... Selecting previously unselected package libpango-1.0-0:i386. Preparing to unpack .../44-libpango-1.0-0_1.40.5-1_i386.deb ... Unpacking libpango-1.0-0:i386 (1.40.5-1) ... Selecting previously unselected package libgraphite2-3:i386. Preparing to unpack .../45-libgraphite2-3_1.3.10-2_i386.deb ... Unpacking libgraphite2-3:i386 (1.3.10-2) ... Selecting previously unselected package libharfbuzz0b:i386. Preparing to unpack .../46-libharfbuzz0b_1.4.2-1_i386.deb ... Unpacking libharfbuzz0b:i386 (1.4.2-1) ... Selecting previously unselected package libpangoft2-1.0-0:i386. Preparing to unpack .../47-libpangoft2-1.0-0_1.40.5-1_i386.deb ... Unpacking libpangoft2-1.0-0:i386 (1.40.5-1) ... Selecting previously unselected package libpangocairo-1.0-0:i386. Preparing to unpack .../48-libpangocairo-1.0-0_1.40.5-1_i386.deb ... Unpacking libpangocairo-1.0-0:i386 (1.40.5-1) ... Selecting previously unselected package libxcomposite1:i386. Preparing to unpack .../49-libxcomposite1_1%3a0.4.4-2_i386.deb ... Unpacking libxcomposite1:i386 (1:0.4.4-2) ... Selecting previously unselected package libxfixes3:i386. Preparing to unpack .../50-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 .../51-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 .../52-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 .../53-libxi6_2%3a1.7.9-1_i386.deb ... Unpacking libxi6:i386 (2:1.7.9-1) ... Selecting previously unselected package libxinerama1:i386. Preparing to unpack .../54-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 .../55-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 .../56-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 .../57-gtk-update-icon-cache_3.22.15-0ubuntu2_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.15-0ubuntu2) ... Selecting previously unselected package libcroco3:i386. Preparing to unpack .../58-libcroco3_0.6.12-1_i386.deb ... Unpacking libcroco3:i386 (0.6.12-1) ... Selecting previously unselected package librsvg2-2:i386. Preparing to unpack .../59-librsvg2-2_2.40.16-2_i386.deb ... Unpacking librsvg2-2:i386 (2.40.16-2) ... Selecting previously unselected package librsvg2-common:i386. Preparing to unpack .../60-librsvg2-common_2.40.16-2_i386.deb ... Unpacking librsvg2-common:i386 (2.40.16-2) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../61-humanity-icon-theme_0.6.13_all.deb ... Unpacking humanity-icon-theme (0.6.13) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../62-ubuntu-mono_16.10+17.10.20170703-0ubuntu1_all.deb ... Unpacking ubuntu-mono (16.10+17.10.20170703-0ubuntu1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../63-adwaita-icon-theme_3.24.0-0ubuntu1_all.deb ... Unpacking adwaita-icon-theme (3.24.0-0ubuntu1) ... Selecting previously unselected package libgtk2.0-0:i386. Preparing to unpack .../64-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 .../65-libglade2-0_1%3a2.6.4-2_i386.deb ... Unpacking libglade2-0:i386 (1:2.6.4-2) ... Selecting previously unselected package liblzo2-2:i386. Preparing to unpack .../66-liblzo2-2_2.08-1.2_i386.deb ... Unpacking liblzo2-2:i386 (2.08-1.2) ... Selecting previously unselected package libpcrecpp0v5:i386. Preparing to unpack .../67-libpcrecpp0v5_2%3a8.39-3_i386.deb ... Unpacking libpcrecpp0v5:i386 (2:8.39-3) ... Selecting previously unselected package x11-common. Preparing to unpack .../68-x11-common_1%3a7.7+19ubuntu1_all.deb ... Unpacking x11-common (1:7.7+19ubuntu1) ... Selecting previously unselected package libice6:i386. Preparing to unpack .../69-libice6_2%3a1.0.9-2_i386.deb ... Unpacking libice6:i386 (2:1.0.9-2) ... Selecting previously unselected package libsm6:i386. Preparing to unpack .../70-libsm6_2%3a1.2.2-1_i386.deb ... Unpacking libsm6:i386 (2:1.2.2-1) ... Selecting previously unselected package libxft2:i386. Preparing to unpack .../71-libxft2_2.3.2-1_i386.deb ... Unpacking libxft2:i386 (2.3.2-1) ... Selecting previously unselected package libpython2.7-minimal:i386. Preparing to unpack .../72-libpython2.7-minimal_2.7.13-2_i386.deb ... Unpacking libpython2.7-minimal:i386 (2.7.13-2) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../73-python2.7-minimal_2.7.13-2_i386.deb ... Unpacking python2.7-minimal (2.7.13-2) ... Selecting previously unselected package python-minimal. Preparing to unpack .../74-python-minimal_2.7.13-2_i386.deb ... Unpacking python-minimal (2.7.13-2) ... Selecting previously unselected package libpython2.7-stdlib:i386. Preparing to unpack .../75-libpython2.7-stdlib_2.7.13-2_i386.deb ... Unpacking libpython2.7-stdlib:i386 (2.7.13-2) ... Selecting previously unselected package python2.7. Preparing to unpack .../76-python2.7_2.7.13-2_i386.deb ... Unpacking python2.7 (2.7.13-2) ... Selecting previously unselected package libpython-stdlib:i386. Preparing to unpack .../77-libpython-stdlib_2.7.13-2_i386.deb ... Unpacking libpython-stdlib:i386 (2.7.13-2) ... Setting up libpython2.7-minimal:i386 (2.7.13-2) ... Setting up python2.7-minimal (2.7.13-2) ... Setting up python-minimal (2.7.13-2) ... Selecting previously unselected package python. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 28547 files and directories currently installed.) Preparing to unpack .../000-python_2.7.13-2_i386.deb ... Unpacking python (2.7.13-2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../001-libmagic-mgc_1%3a5.30-1_i386.deb ... Unpacking libmagic-mgc (1:5.30-1) ... Selecting previously unselected package libmagic1:i386. Preparing to unpack .../002-libmagic1_1%3a5.30-1_i386.deb ... Unpacking libmagic1:i386 (1:5.30-1) ... Selecting previously unselected package file. Preparing to unpack .../003-file_1%3a5.30-1_i386.deb ... Unpacking file (1:5.30-1) ... Selecting previously unselected package libelf1:i386. Preparing to unpack .../004-libelf1_0.166-2ubuntu1_i386.deb ... Unpacking libelf1:i386 (0.166-2ubuntu1) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../005-libtext-iconv-perl_1.7-5build5_i386.deb ... Unpacking libtext-iconv-perl (1.7-5build5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../006-gettext-base_0.19.8.1-2ubuntu1_i386.deb ... Unpacking gettext-base (0.19.8.1-2ubuntu1) ... Selecting previously unselected package libgirepository-1.0-1:i386. Preparing to unpack .../007-libgirepository-1.0-1_1.53.2-2_i386.deb ... Unpacking libgirepository-1.0-1:i386 (1.53.2-2) ... Selecting previously unselected package gir1.2-glib-2.0:i386. Preparing to unpack .../008-gir1.2-glib-2.0_1.53.2-2_i386.deb ... Unpacking gir1.2-glib-2.0:i386 (1.53.2-2) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../009-libglib2.0-data_2.53.3-1_all.deb ... Unpacking libglib2.0-data (2.53.3-1) ... Selecting previously unselected package libaspell15:i386. Preparing to unpack .../010-libaspell15_0.60.7~20110707-3build2_i386.deb ... Unpacking libaspell15:i386 (0.60.7~20110707-3build2) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../011-emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../012-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 .../013-aspell_0.60.7~20110707-3build2_i386.deb ... Unpacking aspell (0.60.7~20110707-3build2) ... Selecting previously unselected package aspell-en. Preparing to unpack .../014-aspell-en_2017.01.22-0-0.1_all.deb ... Unpacking aspell-en (2017.01.22-0-0.1) ... Selecting previously unselected package libsigsegv2:i386. Preparing to unpack .../015-libsigsegv2_2.11-1_i386.deb ... Unpacking libsigsegv2:i386 (2.11-1) ... Selecting previously unselected package m4. Preparing to unpack .../016-m4_1.4.18-1_i386.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../017-autoconf_2.69-10_all.deb ... Unpacking autoconf (2.69-10) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../018-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../019-automake_1%3a1.15-6ubuntu1_all.deb ... Unpacking automake (1:1.15-6ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../020-autopoint_0.19.8.1-2ubuntu1_all.deb ... Unpacking autopoint (0.19.8.1-2ubuntu1) ... Selecting previously unselected package coq-theories. Preparing to unpack .../021-coq-theories_8.6-4build2_i386.deb ... Unpacking coq-theories (8.6-4build2) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../022-ocaml-base-nox_4.04.0-2ubuntu2_i386.deb ... Unpacking ocaml-base-nox (4.04.0-2ubuntu2) ... Selecting previously unselected package libhunspell-1.4-0:i386. Preparing to unpack .../023-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 .../024-libenchant1c2a_1.6.0-11build1_i386.deb ... Unpacking libenchant1c2a:i386 (1.6.0-11build1) ... Selecting previously unselected package libgtkspell0. Preparing to unpack .../025-libgtkspell0_2.0.16-1.1ubuntu1_i386.deb ... Unpacking libgtkspell0 (2.0.16-1.1ubuntu1) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../026-liblablgtk2-ocaml_2.18.3+dfsg-2ubuntu1_i386.deb ... Unpacking liblablgtk2-ocaml (2.18.3+dfsg-2ubuntu1) ... Selecting previously unselected package libgtksourceview2.0-common. Preparing to unpack .../027-libgtksourceview2.0-common_2.10.5-2ubuntu3_all.deb ... Unpacking libgtksourceview2.0-common (2.10.5-2ubuntu3) ... Selecting previously unselected package libgtksourceview2.0-0. Preparing to unpack .../028-libgtksourceview2.0-0_2.10.5-2ubuntu3_i386.deb ... Unpacking libgtksourceview2.0-0 (2.10.5-2ubuntu3) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../029-liblablgtksourceview2-ocaml_2.18.3+dfsg-2ubuntu1_i386.deb ... Unpacking liblablgtksourceview2-ocaml (2.18.3+dfsg-2ubuntu1) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../030-libcoq-ocaml_8.6-4build2_i386.deb ... Unpacking libcoq-ocaml (8.6-4build2) ... Selecting previously unselected package libtinfo-dev:i386. Preparing to unpack .../031-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 .../032-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 .../033-ocaml-compiler-libs_4.04.0-2ubuntu2_i386.deb ... Unpacking ocaml-compiler-libs (4.04.0-2ubuntu2) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../034-ocaml-interp_4.04.0-2ubuntu2_i386.deb ... Unpacking ocaml-interp (4.04.0-2ubuntu2) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../035-ocaml-nox_4.04.0-2ubuntu2_i386.deb ... Unpacking ocaml-nox (4.04.0-2ubuntu2) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../036-libfindlib-ocaml_1.7.1-2_i386.deb ... Unpacking libfindlib-ocaml (1.7.1-2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../037-ocaml-findlib_1.7.1-2_i386.deb ... Unpacking ocaml-findlib (1.7.1-2) ... Selecting previously unselected package coq. Preparing to unpack .../038-coq_8.6-4build2_i386.deb ... Unpacking coq (8.6-4build2) ... Selecting previously unselected package libtool. Preparing to unpack .../039-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../040-dh-autoreconf_14_all.deb ... Unpacking dh-autoreconf (14) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../041-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 .../042-libfile-stripnondeterminism-perl_0.038-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.038-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../043-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../044-dh-strip-nondeterminism_0.038-1_all.deb ... Unpacking dh-strip-nondeterminism (0.038-1) ... Selecting previously unselected package gettext. Preparing to unpack .../045-gettext_0.19.8.1-2ubuntu1_i386.deb ... Unpacking gettext (0.19.8.1-2ubuntu1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../046-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 .../047-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../048-debhelper_10.4ubuntu3_all.deb ... Unpacking debhelper (10.4ubuntu3) ... Selecting previously unselected package gir1.2-atk-1.0:i386. Preparing to unpack .../049-gir1.2-atk-1.0_2.22.0-1_i386.deb ... Unpacking gir1.2-atk-1.0:i386 (2.22.0-1) ... Selecting previously unselected package gir1.2-freedesktop:i386. Preparing to unpack .../050-gir1.2-freedesktop_1.53.2-2_i386.deb ... Unpacking gir1.2-freedesktop:i386 (1.53.2-2) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0:i386. Preparing to unpack .../051-gir1.2-gdkpixbuf-2.0_2.36.5-3_i386.deb ... Unpacking gir1.2-gdkpixbuf-2.0:i386 (2.36.5-3) ... Selecting previously unselected package libpangoxft-1.0-0:i386. Preparing to unpack .../052-libpangoxft-1.0-0_1.40.5-1_i386.deb ... Unpacking libpangoxft-1.0-0:i386 (1.40.5-1) ... Selecting previously unselected package gir1.2-pango-1.0:i386. Preparing to unpack .../053-gir1.2-pango-1.0_1.40.5-1_i386.deb ... Unpacking gir1.2-pango-1.0:i386 (1.40.5-1) ... Selecting previously unselected package gir1.2-gtk-2.0. Preparing to unpack .../054-gir1.2-gtk-2.0_2.24.31-1ubuntu1_i386.deb ... Unpacking gir1.2-gtk-2.0 (2.24.31-1ubuntu1) ... Selecting previously unselected package icu-devtools. Preparing to unpack .../055-icu-devtools_57.1-6_i386.deb ... Unpacking icu-devtools (57.1-6) ... Selecting previously unselected package pkg-config. Preparing to unpack .../056-pkg-config_0.29.1-0ubuntu2_i386.deb ... Unpacking pkg-config (0.29.1-0ubuntu2) ... Selecting previously unselected package libglib2.0-bin. Preparing to unpack .../057-libglib2.0-bin_2.53.3-1_i386.deb ... Unpacking libglib2.0-bin (2.53.3-1) ... Selecting previously unselected package libglib2.0-dev-bin. Preparing to unpack .../058-libglib2.0-dev-bin_2.53.3-1_i386.deb ... Unpacking libglib2.0-dev-bin (2.53.3-1) ... Selecting previously unselected package libpcre16-3:i386. Preparing to unpack .../059-libpcre16-3_2%3a8.39-3_i386.deb ... Unpacking libpcre16-3:i386 (2:8.39-3) ... Selecting previously unselected package libpcre32-3:i386. Preparing to unpack .../060-libpcre32-3_2%3a8.39-3_i386.deb ... Unpacking libpcre32-3:i386 (2:8.39-3) ... Selecting previously unselected package libpcre3-dev:i386. Preparing to unpack .../061-libpcre3-dev_2%3a8.39-3_i386.deb ... Unpacking libpcre3-dev:i386 (2:8.39-3) ... Selecting previously unselected package zlib1g-dev:i386. Preparing to unpack .../062-zlib1g-dev_1%3a1.2.11.dfsg-0ubuntu1_i386.deb ... Unpacking zlib1g-dev:i386 (1:1.2.11.dfsg-0ubuntu1) ... Selecting previously unselected package libglib2.0-dev:i386. Preparing to unpack .../063-libglib2.0-dev_2.53.3-1_i386.deb ... Unpacking libglib2.0-dev:i386 (2.53.3-1) ... Selecting previously unselected package libatk1.0-dev:i386. Preparing to unpack .../064-libatk1.0-dev_2.22.0-1_i386.deb ... Unpacking libatk1.0-dev:i386 (2.22.0-1) ... Selecting previously unselected package libcairo-gobject2:i386. Preparing to unpack .../065-libcairo-gobject2_1.14.8-1_i386.deb ... Unpacking libcairo-gobject2:i386 (1.14.8-1) ... Selecting previously unselected package libcairo-script-interpreter2:i386. Preparing to unpack .../066-libcairo-script-interpreter2_1.14.8-1_i386.deb ... Unpacking libcairo-script-interpreter2:i386 (1.14.8-1) ... Selecting previously unselected package libexpat1-dev:i386. Preparing to unpack .../067-libexpat1-dev_2.2.1-2_i386.deb ... Unpacking libexpat1-dev:i386 (2.2.1-2) ... Selecting previously unselected package libpng-dev:i386. Preparing to unpack .../068-libpng-dev_1.6.29-3_i386.deb ... Unpacking libpng-dev:i386 (1.6.29-3) ... Selecting previously unselected package libfreetype6-dev:i386. Preparing to unpack .../069-libfreetype6-dev_2.6.3-3.2ubuntu1_i386.deb ... Unpacking libfreetype6-dev:i386 (2.6.3-3.2ubuntu1) ... Selecting previously unselected package libfontconfig1-dev:i386. Preparing to unpack .../070-libfontconfig1-dev_2.11.94-0ubuntu2_i386.deb ... Unpacking libfontconfig1-dev:i386 (2.11.94-0ubuntu2) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../071-xorg-sgml-doctools_1%3a1.11-1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1) ... Selecting previously unselected package x11proto-core-dev. Preparing to unpack .../072-x11proto-core-dev_7.0.31-1_all.deb ... Unpacking x11proto-core-dev (7.0.31-1) ... Selecting previously unselected package libxau-dev:i386. Preparing to unpack .../073-libxau-dev_1%3a1.0.8-1_i386.deb ... Unpacking libxau-dev:i386 (1:1.0.8-1) ... Selecting previously unselected package libxdmcp-dev:i386. Preparing to unpack .../074-libxdmcp-dev_1%3a1.1.2-3_i386.deb ... Unpacking libxdmcp-dev:i386 (1:1.1.2-3) ... Selecting previously unselected package x11proto-input-dev. Preparing to unpack .../075-x11proto-input-dev_2.3.2-1_all.deb ... Unpacking x11proto-input-dev (2.3.2-1) ... Selecting previously unselected package x11proto-kb-dev. Preparing to unpack .../076-x11proto-kb-dev_1.0.7-1_all.deb ... Unpacking x11proto-kb-dev (1.0.7-1) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../077-xtrans-dev_1.3.5-1_all.deb ... Unpacking xtrans-dev (1.3.5-1) ... Selecting previously unselected package libpthread-stubs0-dev:i386. Preparing to unpack .../078-libpthread-stubs0-dev_0.3-4_i386.deb ... Unpacking libpthread-stubs0-dev:i386 (0.3-4) ... Selecting previously unselected package libxcb1-dev:i386. Preparing to unpack .../079-libxcb1-dev_1.11.1-1ubuntu1_i386.deb ... Unpacking libxcb1-dev:i386 (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-dev:i386. Preparing to unpack .../080-libx11-dev_2%3a1.6.4-3_i386.deb ... Unpacking libx11-dev:i386 (2:1.6.4-3) ... Selecting previously unselected package x11proto-render-dev. Preparing to unpack .../081-x11proto-render-dev_2%3a0.11.1-2_all.deb ... Unpacking x11proto-render-dev (2:0.11.1-2) ... Selecting previously unselected package libxrender-dev:i386. Preparing to unpack .../082-libxrender-dev_1%3a0.9.10-1_i386.deb ... Unpacking libxrender-dev:i386 (1:0.9.10-1) ... Selecting previously unselected package x11proto-xext-dev. Preparing to unpack .../083-x11proto-xext-dev_7.3.0-1_all.deb ... Unpacking x11proto-xext-dev (7.3.0-1) ... Selecting previously unselected package libxext-dev:i386. Preparing to unpack .../084-libxext-dev_2%3a1.3.3-1_i386.deb ... Unpacking libxext-dev:i386 (2:1.3.3-1) ... Selecting previously unselected package libice-dev:i386. Preparing to unpack .../085-libice-dev_2%3a1.0.9-2_i386.deb ... Unpacking libice-dev:i386 (2:1.0.9-2) ... Selecting previously unselected package libsm-dev:i386. Preparing to unpack .../086-libsm-dev_2%3a1.2.2-1_i386.deb ... Unpacking libsm-dev:i386 (2:1.2.2-1) ... Selecting previously unselected package libpixman-1-dev. Preparing to unpack .../087-libpixman-1-dev_0.34.0-1_i386.deb ... Unpacking libpixman-1-dev (0.34.0-1) ... Selecting previously unselected package libxcb-render0-dev:i386. Preparing to unpack .../088-libxcb-render0-dev_1.11.1-1ubuntu1_i386.deb ... Unpacking libxcb-render0-dev:i386 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-shm0-dev:i386. Preparing to unpack .../089-libxcb-shm0-dev_1.11.1-1ubuntu1_i386.deb ... Unpacking libxcb-shm0-dev:i386 (1.11.1-1ubuntu1) ... Selecting previously unselected package libcairo2-dev. Preparing to unpack .../090-libcairo2-dev_1.14.8-1_i386.deb ... Unpacking libcairo2-dev (1.14.8-1) ... Selecting previously unselected package camlp5. Preparing to unpack .../091-camlp5_6.16-1ubuntu1_i386.deb ... Unpacking camlp5 (6.16-1ubuntu1) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Preparing to unpack .../092-libgdk-pixbuf2.0-dev_2.36.5-3_i386.deb ... Unpacking libgdk-pixbuf2.0-dev (2.36.5-3) ... Selecting previously unselected package libharfbuzz-icu0:i386. Preparing to unpack .../093-libharfbuzz-icu0_1.4.2-1_i386.deb ... Unpacking libharfbuzz-icu0:i386 (1.4.2-1) ... Selecting previously unselected package libharfbuzz-gobject0:i386. Preparing to unpack .../094-libharfbuzz-gobject0_1.4.2-1_i386.deb ... Unpacking libharfbuzz-gobject0:i386 (1.4.2-1) ... Selecting previously unselected package libgraphite2-dev. Preparing to unpack .../095-libgraphite2-dev_1.3.10-2_i386.deb ... Unpacking libgraphite2-dev (1.3.10-2) ... Selecting previously unselected package libicu-dev. Preparing to unpack .../096-libicu-dev_57.1-6_i386.deb ... Unpacking libicu-dev (57.1-6) ... Selecting previously unselected package libharfbuzz-dev:i386. Preparing to unpack .../097-libharfbuzz-dev_1.4.2-1_i386.deb ... Unpacking libharfbuzz-dev:i386 (1.4.2-1) ... Selecting previously unselected package libxft-dev. Preparing to unpack .../098-libxft-dev_2.3.2-1_i386.deb ... Unpacking libxft-dev (2.3.2-1) ... Selecting previously unselected package libpango1.0-dev. Preparing to unpack .../099-libpango1.0-dev_1.40.5-1_i386.deb ... Unpacking libpango1.0-dev (1.40.5-1) ... Selecting previously unselected package x11proto-xinerama-dev. Preparing to unpack .../100-x11proto-xinerama-dev_1.2.1-2_all.deb ... Unpacking x11proto-xinerama-dev (1.2.1-2) ... Selecting previously unselected package libxinerama-dev:i386. Preparing to unpack .../101-libxinerama-dev_2%3a1.1.3-1_i386.deb ... Unpacking libxinerama-dev:i386 (2:1.1.3-1) ... Selecting previously unselected package x11proto-fixes-dev. Preparing to unpack .../102-x11proto-fixes-dev_1%3a5.0-2ubuntu2_all.deb ... Unpacking x11proto-fixes-dev (1:5.0-2ubuntu2) ... Selecting previously unselected package libxfixes-dev:i386. Preparing to unpack .../103-libxfixes-dev_1%3a5.0.3-1_i386.deb ... Unpacking libxfixes-dev:i386 (1:5.0.3-1) ... Selecting previously unselected package libxi-dev:i386. Preparing to unpack .../104-libxi-dev_2%3a1.7.9-1_i386.deb ... Unpacking libxi-dev:i386 (2:1.7.9-1) ... Selecting previously unselected package x11proto-randr-dev. Preparing to unpack .../105-x11proto-randr-dev_1.5.0-1_all.deb ... Unpacking x11proto-randr-dev (1.5.0-1) ... Selecting previously unselected package libxrandr-dev:i386. Preparing to unpack .../106-libxrandr-dev_2%3a1.5.1-1_i386.deb ... Unpacking libxrandr-dev:i386 (2:1.5.1-1) ... Selecting previously unselected package libxcursor-dev:i386. Preparing to unpack .../107-libxcursor-dev_1%3a1.1.14-1_i386.deb ... Unpacking libxcursor-dev:i386 (1:1.1.14-1) ... Selecting previously unselected package x11proto-composite-dev. Preparing to unpack .../108-x11proto-composite-dev_1%3a0.4.2-2_all.deb ... Unpacking x11proto-composite-dev (1:0.4.2-2) ... Selecting previously unselected package libxcomposite-dev:i386. Preparing to unpack .../109-libxcomposite-dev_1%3a0.4.4-2_i386.deb ... Unpacking libxcomposite-dev:i386 (1:0.4.4-2) ... Selecting previously unselected package x11proto-damage-dev. Preparing to unpack .../110-x11proto-damage-dev_1%3a1.2.1-2_all.deb ... Unpacking x11proto-damage-dev (1:1.2.1-2) ... Selecting previously unselected package libxdamage-dev:i386. Preparing to unpack .../111-libxdamage-dev_1%3a1.1.4-2_i386.deb ... Unpacking libxdamage-dev:i386 (1:1.1.4-2) ... Selecting previously unselected package libxml2-utils. Preparing to unpack .../112-libxml2-utils_2.9.4+dfsg1-2.2ubuntu1_i386.deb ... Unpacking libxml2-utils (2.9.4+dfsg1-2.2ubuntu1) ... Selecting previously unselected package libgtk2.0-dev. Preparing to unpack .../113-libgtk2.0-dev_2.24.31-1ubuntu1_i386.deb ... Unpacking libgtk2.0-dev (2.24.31-1ubuntu1) ... Selecting previously unselected package libxml2-dev:i386. Preparing to unpack .../114-libxml2-dev_2.9.4+dfsg1-2.2ubuntu1_i386.deb ... Unpacking libxml2-dev:i386 (2.9.4+dfsg1-2.2ubuntu1) ... Selecting previously unselected package libglade2-dev:i386. Preparing to unpack .../115-libglade2-dev_1%3a2.6.4-2_i386.deb ... Unpacking libglade2-dev:i386 (1:2.6.4-2) ... Selecting previously unselected package libenchant-dev. Preparing to unpack .../116-libenchant-dev_1.6.0-11build1_i386.deb ... Unpacking libenchant-dev (1.6.0-11build1) ... Selecting previously unselected package libgtkspell-dev. Preparing to unpack .../117-libgtkspell-dev_2.0.16-1.1ubuntu1_i386.deb ... Unpacking libgtkspell-dev (2.0.16-1.1ubuntu1) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Preparing to unpack .../118-liblablgtk2-ocaml-dev_2.18.3+dfsg-2ubuntu1_i386.deb ... Unpacking liblablgtk2-ocaml-dev (2.18.3+dfsg-2ubuntu1) ... Selecting previously unselected package libgtksourceview2.0-dev. Preparing to unpack .../119-libgtksourceview2.0-dev_2.10.5-2ubuntu3_i386.deb ... Unpacking libgtksourceview2.0-dev (2.10.5-2ubuntu3) ... Selecting previously unselected package liblablgtksourceview2-ocaml-dev. Preparing to unpack .../120-liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-2ubuntu1_i386.deb ... Unpacking liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-2ubuntu1) ... Selecting previously unselected package libcoq-ocaml-dev. Preparing to unpack .../121-libcoq-ocaml-dev_8.6-4build2_i386.deb ... Unpacking libcoq-ocaml-dev (8.6-4build2) ... Selecting previously unselected package ocamlbuild. Preparing to unpack .../122-ocamlbuild_0.10.1-1_i386.deb ... Unpacking ocamlbuild (0.10.1-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../123-dh-ocaml_1.0.10ubuntu1_all.deb ... Unpacking dh-ocaml (1.0.10ubuntu1) ... Selecting previously unselected package sbuild-build-depends-aac-tactics-dummy. Preparing to unpack .../124-sbuild-build-depends-aac-tactics-dummy_0.invalid.0_i386.deb ... Unpacking sbuild-build-depends-aac-tactics-dummy (0.invalid.0) ... Setting up libgtk2.0-common (2.24.31-1ubuntu1) ... Setting up libarchive-zip-perl (1.59-1) ... Setting up mime-support (3.60ubuntu1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libjbig0:i386 (2.1-3.1) ... Setting up libsigsegv2:i386 (2.11-1) ... Setting up libpthread-stubs0-dev:i386 (0.3-4) ... Setting up libaspell15:i386 (0.60.7~20110707-3build2) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up libelf1:i386 (0.166-2ubuntu1) ... Setting up groff-base (1.22.3-9) ... Setting up libglib2.0-0:i386 (2.53.3-1) ... No schema files found: doing nothing. Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up emacsen-common (2.0.8) ... Setting up ocaml-base-nox (4.04.0-2ubuntu2) ... Setting up libtinfo-dev:i386 (6.0+20160625-1ubuntu1) ... Setting up libgdk-pixbuf2.0-common (2.36.5-3) ... Setting up libdatrie1:i386 (0.2.10-4) ... Setting up gettext-base (0.19.8.1-2ubuntu1) ... Setting up libjpeg-turbo8:i386 (1.5.1-0ubuntu1) ... Setting up libpipeline1:i386 (1.4.2-1) ... Setting up x11proto-kb-dev (1.0.7-1) ... Setting up m4 (1.4.18-1) ... Setting up libicu57:i386 (57.1-6) ... Setting up libbsd0:i386 (0.8.5-1) ... Setting up ucf (3.0036) ... Setting up libgirepository-1.0-1:i386 (1.53.2-2) ... Setting up libxml2:i386 (2.9.4+dfsg1-2.2ubuntu1) ... Setting up libfreetype6:i386 (2.6.3-3.2ubuntu1) ... Setting up libmagic-mgc (1:5.30-1) ... Setting up libmagic1:i386 (1:5.30-1) ... Setting up libgraphite2-3:i386 (1.3.10-2) ... Setting up libcroco3:i386 (0.6.12-1) ... Setting up libncurses5-dev:i386 (6.0+20160625-1ubuntu1) ... Setting up libatk1.0-data (2.22.0-1) ... Setting up pkg-config (0.29.1-0ubuntu2) ... Setting up libpixman-1-0:i386 (0.34.0-1) ... Setting up xtrans-dev (1.3.5-1) ... Setting up gir1.2-glib-2.0:i386 (1.53.2-2) ... Setting up libglib2.0-data (2.53.3-1) ... Setting up libgtksourceview2.0-common (2.10.5-2ubuntu3) ... Processing triggers for libc-bin (2.24-9ubuntu2) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up autotools-dev (20161112.1) ... Setting up libpixman-1-dev (0.34.0-1) ... Setting up libatk1.0-0:i386 (2.22.0-1) ... Setting up libtext-iconv-perl (1.7-5build5) ... Setting up x11proto-randr-dev (1.5.0-1) ... Processing triggers for systemd (233-8ubuntu3) ... Setting up libexpat1-dev:i386 (2.2.1-2) ... Setting up shared-mime-info (1.8-1) ... Setting up libpcrecpp0v5:i386 (2:8.39-3) ... Setting up libpcre32-3:i386 (2:8.39-3) ... Setting up icu-devtools (57.1-6) ... Setting up libpcre16-3:i386 (2:8.39-3) ... Setting up libthai-data (0.1.26-2) ... Setting up libxdmcp6:i386 (1:1.1.2-3) ... 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 x11-common (1:7.7+19ubuntu1) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up hicolor-icon-theme (0.15-1) ... Setting up libglib2.0-bin (2.53.3-1) ... Setting up libgraphite2-dev (1.3.10-2) ... Setting up ocamlbuild (0.10.1-1) ... Setting up libfindlib-ocaml (1.7.1-2) ... Setting up libhunspell-1.4-0:i386 (1.4.1-2build1) ... Setting up ocaml-findlib (1.7.1-2) ... Setting up libx11-data (2:1.6.4-3) ... Setting up libpython2.7-stdlib:i386 (2.7.13-2) ... Setting up libxau6:i386 (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-2ubuntu1) ... Setting up libmpdec2:i386 (2.4.2-1) ... Setting up libdbus-1-3:i386 (1.10.18-1ubuntu2) ... Setting up liblzo2-2:i386 (2.08-1.2) ... Setting up libavahi-common-data:i386 (0.6.32-1ubuntu1) ... Setting up zlib1g-dev:i386 (1:1.2.11.dfsg-0ubuntu1) ... Setting up libfile-stripnondeterminism-perl (0.038-1) ... Setting up libjpeg8:i386 (8c-2ubuntu8) ... Setting up libpcre3-dev:i386 (2:8.39-3) ... Setting up gir1.2-atk-1.0:i386 (2.22.0-1) ... Setting up fontconfig-config (2.11.94-0ubuntu2) ... Setting up x11proto-core-dev (7.0.31-1) ... Setting up gettext (0.19.8.1-2ubuntu1) ... Setting up dictionaries-common (1.27.2) ... Setting up gir1.2-freedesktop:i386 (1.53.2-2) ... Setting up libpython3.5-stdlib:i386 (3.5.3-3) ... Setting up libxml2-utils (2.9.4+dfsg1-2.2ubuntu1) ... Setting up python2.7 (2.7.13-2) ... Setting up dh-ocaml (1.0.10ubuntu1) ... Setting up libharfbuzz0b:i386 (1.4.2-1) ... Setting up libtiff5:i386 (4.0.8-4) ... Setting up libxau-dev:i386 (1:1.0.8-1) ... Setting up autoconf (2.69-10) ... Setting up libthai0:i386 (0.1.26-2) ... Setting up libicu-dev (57.1-6) ... Setting up file (1:5.30-1) ... Setting up libxml2-dev:i386 (2.9.4+dfsg1-2.2ubuntu1) ... Setting up libpython-stdlib:i386 (2.7.13-2) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up libxdmcp-dev:i386 (1:1.1.2-3) ... Setting up automake (1:1.15-6ubuntu1) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up libice6:i386 (2:1.0.9-2) ... 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 libpng-dev:i386 (1.6.29-3) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up aspell (0.60.7~20110707-3build2) ... Setting up libxcb1:i386 (1.11.1-1ubuntu1) ... Setting up x11proto-input-dev (2.3.2-1) ... Setting up libharfbuzz-gobject0:i386 (1.4.2-1) ... Setting up python (2.7.13-2) ... Setting up libtool (2.4.6-2) ... Setting up python3.5 (3.5.3-3) ... Setting up libpython3-stdlib:i386 (3.5.3-1ubuntu3) ... Setting up libfontconfig1:i386 (2.11.94-0ubuntu2) ... Setting up libsm6:i386 (2:1.2.2-1) ... Setting up libxcb-render0:i386 (1.11.1-1ubuntu1) ... Setting up libharfbuzz-icu0:i386 (1.4.2-1) ... Setting up po-debconf (1.0.20) ... Setting up libx11-6:i386 (2:1.6.4-3) ... Setting up x11proto-xext-dev (7.3.0-1) ... Setting up libfreetype6-dev:i386 (2.6.3-3.2ubuntu1) ... Setting up libice-dev:i386 (2:1.0.9-2) ... Setting up aspell-en (2017.01.22-0-0.1) ... Setting up libxcomposite1:i386 (1:0.4.4-2) ... Setting up libxcb-shm0:i386 (1.11.1-1ubuntu1) ... Setting up libxrender1:i386 (1:0.9.10-1) ... Setting up libxcb1-dev:i386 (1.11.1-1ubuntu1) ... Setting up libavahi-client3:i386 (0.6.32-1ubuntu1) ... Setting up libx11-dev:i386 (2:1.6.4-3) ... Setting up libxft2:i386 (2.3.2-1) ... Setting up fontconfig (2.11.94-0ubuntu2) ... Regenerating fonts cache... done. Setting up libcups2:i386 (2.2.3-2) ... Setting up libfontconfig1-dev:i386 (2.11.94-0ubuntu2) ... Setting up libenchant1c2a:i386 (1.6.0-11build1) ... Setting up libsm-dev:i386 (2:1.2.2-1) ... 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 x11proto-fixes-dev (1:5.0-2ubuntu2) ... Setting up libgdk-pixbuf2.0-0:i386 (2.36.5-3) ... Setting up libxcb-shm0-dev:i386 (1.11.1-1ubuntu1) ... Setting up gir1.2-gdkpixbuf-2.0:i386 (2.36.5-3) ... Setting up libxrender-dev:i386 (1:0.9.10-1) ... Setting up libxcb-render0-dev:i386 (1.11.1-1ubuntu1) ... Setting up x11proto-damage-dev (1:1.2.1-2) ... Setting up libxft-dev (2.3.2-1) ... Setting up gtk-update-icon-cache (3.22.15-0ubuntu2) ... Setting up libxcursor1:i386 (1:1.1.14-1) ... Setting up libxext-dev:i386 (2:1.3.3-1) ... Setting up libpango-1.0-0:i386 (1.40.5-1) ... Setting up libxfixes-dev:i386 (1:5.0.3-1) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxrandr2:i386 (2:1.5.1-1) ... Setting up libxi6:i386 (2:1.7.9-1) ... Setting up libcairo2:i386 (1.14.8-1) ... Setting up libxinerama1:i386 (2:1.1.3-1) ... Setting up libxcursor-dev:i386 (1:1.1.14-1) ... Setting up libxrandr-dev:i386 (2:1.5.1-1) ... Setting up libxcomposite-dev:i386 (1:0.4.4-2) ... Setting up libcairo-script-interpreter2:i386 (1.14.8-1) ... Setting up libcairo-gobject2:i386 (1.14.8-1) ... Setting up libxdamage-dev:i386 (1:1.1.4-2) ... Setting up libpangoft2-1.0-0:i386 (1.40.5-1) ... Setting up libxinerama-dev:i386 (2:1.1.3-1) ... Setting up libxi-dev:i386 (2:1.7.9-1) ... Setting up libpangoxft-1.0-0:i386 (1.40.5-1) ... Setting up libpangocairo-1.0-0:i386 (1.40.5-1) ... Setting up gir1.2-pango-1.0:i386 (1.40.5-1) ... Setting up librsvg2-2:i386 (2.40.16-2) ... Setting up librsvg2-common:i386 (2.40.16-2) ... Setting up coq-theories (8.6-4build2) ... Setting up adwaita-icon-theme (3.24.0-0ubuntu1) ... 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.04.0-2ubuntu2) ... Setting up libgtk2.0-0:i386 (2.24.31-1ubuntu1) ... Setting up dh-autoreconf (14) ... Setting up python3 (3.5.3-1ubuntu3) ... Setting up libglib2.0-dev-bin (2.53.3-1) ... Setting up libgtksourceview2.0-0 (2.10.5-2ubuntu3) ... Setting up humanity-icon-theme (0.6.13) ... Setting up ocaml-interp (4.04.0-2ubuntu2) ... Setting up libglib2.0-dev:i386 (2.53.3-1) ... Setting up libgtkspell0 (2.0.16-1.1ubuntu1) ... Setting up libglade2-0:i386 (1:2.6.4-2) ... Setting up dh-strip-nondeterminism (0.038-1) ... Setting up libgdk-pixbuf2.0-dev (2.36.5-3) ... Setting up libenchant-dev (1.6.0-11build1) ... Setting up libharfbuzz-dev:i386 (1.4.2-1) ... Setting up dh-python (2.20170125) ... Setting up gir1.2-gtk-2.0 (2.24.31-1ubuntu1) ... Setting up debhelper (10.4ubuntu3) ... Setting up liblablgtk2-ocaml (2.18.3+dfsg-2ubuntu1) ... Setting up ocaml-nox (4.04.0-2ubuntu2) ... Setting up libcairo2-dev (1.14.8-1) ... Setting up ubuntu-mono (16.10+17.10.20170703-0ubuntu1) ... Setting up camlp5 (6.16-1ubuntu1) ... Setting up libatk1.0-dev:i386 (2.22.0-1) ... Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-2ubuntu1) ... Setting up libpango1.0-dev (1.40.5-1) ... Setting up libcoq-ocaml (8.6-4build2) ... Setting up libgtk2.0-dev (2.24.31-1ubuntu1) ... Setting up coq (8.6-4build2) ... ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file. Install coq for emacs Setting up libglade2-dev:i386 (1:2.6.4-2) ... Setting up libgtkspell-dev (2.0.16-1.1ubuntu1) ... Setting up libgtksourceview2.0-dev (2.10.5-2ubuntu3) ... Setting up liblablgtk2-ocaml-dev (2.18.3+dfsg-2ubuntu1) ... Setting up liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-2ubuntu1) ... Setting up libcoq-ocaml-dev (8.6-4build2) ... Setting up sbuild-build-depends-aac-tactics-dummy (0.invalid.0) ... (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 ... 41184 files and directories currently installed.) Purging configuration files for pkg-create-dbgsym (0.73) ... 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.5-3) ... Processing triggers for libc-bin (2.24-9ubuntu2) ... Processing triggers for systemd (233-8ubuntu3) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-83-generic amd64 (i686) Toolchain package versions: binutils_2.28-6ubuntu1 dpkg-dev_1.18.24ubuntu1 g++-6_6.3.0-19ubuntu1 gcc-6_6.3.0-19ubuntu1 libc6-dev_2.24-9ubuntu2 libstdc++-6-dev_6.3.0-19ubuntu1 libstdc++6_7.1.0-7ubuntu1 linux-libc-dev_4.11.0-10.15 Package versions: adduser_3.113+nmu3ubuntu5 advancecomp_2.0-1 adwaita-icon-theme_3.24.0-0ubuntu1 apt_1.5~beta1 apt-transport-https_1.5~beta1 aspell_0.60.7~20110707-3build2 aspell-en_2017.01.22-0-0.1 autoconf_2.69-10 automake_1:1.15-6ubuntu1 autopoint_0.19.8.1-2ubuntu1 autotools-dev_20161112.1 base-files_9.6ubuntu101 base-passwd_3.5.43 bash_4.4-5ubuntu1 binutils_2.28-6ubuntu1 bsdmainutils_9.0.12ubuntu1 bsdutils_1:2.29-1ubuntu3 build-essential_12.1ubuntu2 bzip2_1.0.6-8.1 ca-certificates_20161130+nmu1 camlp5_6.16-1ubuntu1 coq_8.6-4build2 coq-theories_8.6-4build2 coreutils_8.26-3ubuntu3 cpp_4:6.3.0-2ubuntu2 cpp-6_6.3.0-19ubuntu1 dash_0.5.8-2.3ubuntu1 debconf_1.5.60ubuntu1 debhelper_10.4ubuntu3 debianutils_4.8.1.1 dh-autoreconf_14 dh-ocaml_1.0.10ubuntu1 dh-python_2.20170125 dh-strip-nondeterminism_0.038-1 dictionaries-common_1.27.2 diffutils_1:3.5-3 dmsetup_2:1.02.137-2ubuntu2 dpkg_1.18.24ubuntu1 dpkg-dev_1.18.24ubuntu1 e2fslibs_1.43.4-2 e2fsprogs_1.43.4-2 emacsen-common_2.0.8 fakeroot_1.21-1ubuntu2 file_1:5.30-1 findutils_4.6.0+git+20170606-3 fontconfig_2.11.94-0ubuntu2 fontconfig-config_2.11.94-0ubuntu2 fonts-dejavu-core_2.37-1 g++_4:6.3.0-2ubuntu2 g++-6_6.3.0-19ubuntu1 gcc_4:6.3.0-2ubuntu2 gcc-6_6.3.0-19ubuntu1 gcc-6-base_6.3.0-19ubuntu1 gcc-7-base_7.1.0-7ubuntu1 gettext_0.19.8.1-2ubuntu1 gettext-base_0.19.8.1-2ubuntu1 gir1.2-atk-1.0_2.22.0-1 gir1.2-freedesktop_1.53.2-2 gir1.2-gdkpixbuf-2.0_2.36.5-3 gir1.2-glib-2.0_1.53.2-2 gir1.2-gtk-2.0_2.24.31-1ubuntu1 gir1.2-pango-1.0_1.40.5-1 gnupg_2.1.15-1ubuntu7 gnupg-agent_2.1.15-1ubuntu7 gpgv_2.1.15-1ubuntu7 grep_3.1-2 groff-base_1.22.3-9 gtk-update-icon-cache_3.22.15-0ubuntu2 gzip_1.6-5ubuntu1 hicolor-icon-theme_0.15-1 hostname_3.18 humanity-icon-theme_0.6.13 icu-devtools_57.1-6 init_1.47 init-system-helpers_1.47 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.4 libacl1_2.2.52-3build1 libapparmor1_2.11.0-2ubuntu8 libapt-pkg5.0_1.5~beta1 libarchive-zip-perl_1.59-1 libasan3_6.3.0-19ubuntu1 libasn1-8-heimdal_7.4.0.dfsg.1-1 libaspell15_0.60.7~20110707-3build2 libassuan0_2.4.3-2 libatk1.0-0_2.22.0-1 libatk1.0-data_2.22.0-1 libatk1.0-dev_2.22.0-1 libatomic1_7.1.0-7ubuntu1 libattr1_1:2.4.47-2build1 libaudit-common_1:2.7.7-1ubuntu1 libaudit1_1:2.7.7-1ubuntu1 libavahi-client3_0.6.32-1ubuntu1 libavahi-common-data_0.6.32-1ubuntu1 libavahi-common3_0.6.32-1ubuntu1 libblkid1_2.29-1ubuntu3 libbsd0_0.8.5-1 libbz2-1.0_1.0.6-8.1 libc-bin_2.24-9ubuntu2 libc-dev-bin_2.24-9ubuntu2 libc6_2.24-9ubuntu2 libc6-dev_2.24-9ubuntu2 libcairo-gobject2_1.14.8-1 libcairo-script-interpreter2_1.14.8-1 libcairo2_1.14.8-1 libcairo2-dev_1.14.8-1 libcap-ng0_0.7.7-3 libcap2_1:2.25-1 libcc1-0_7.1.0-7ubuntu1 libcilkrts5_7.1.0-7ubuntu1 libcomerr2_1.43.4-2 libcoq-ocaml_8.6-4build2 libcoq-ocaml-dev_8.6-4build2 libcroco3_0.6.12-1 libcryptsetup4_2:1.7.2-0ubuntu1 libcups2_2.2.3-2 libcurl3-gnutls_7.52.1-5ubuntu1 libdatrie1_0.2.10-4 libdb5.3_5.3.28-13 libdbus-1-3_1.10.18-1ubuntu2 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.137-2ubuntu2 libdpkg-perl_1.18.24ubuntu1 libelf1_0.166-2ubuntu1 libenchant-dev_1.6.0-11build1 libenchant1c2a_1.6.0-11build1 libexpat1_2.2.1-2 libexpat1-dev_2.2.1-2 libfakeroot_1.21-1ubuntu2 libfdisk1_2.29-1ubuntu3 libffi6_3.2.1-6 libfile-stripnondeterminism-perl_0.038-1 libfindlib-ocaml_1.7.1-2 libfontconfig1_2.11.94-0ubuntu2 libfontconfig1-dev_2.11.94-0ubuntu2 libfreetype6_2.6.3-3.2ubuntu1 libfreetype6-dev_2.6.3-3.2ubuntu1 libgcc-6-dev_6.3.0-19ubuntu1 libgcc1_1:7.1.0-7ubuntu1 libgcrypt20_1.7.8-2 libgdbm3_1.8.3-14 libgdk-pixbuf2.0-0_2.36.5-3 libgdk-pixbuf2.0-common_2.36.5-3 libgdk-pixbuf2.0-dev_2.36.5-3 libgirepository-1.0-1_1.53.2-2 libglade2-0_1:2.6.4-2 libglade2-dev_1:2.6.4-2 libglib2.0-0_2.53.3-1 libglib2.0-bin_2.53.3-1 libglib2.0-data_2.53.3-1 libglib2.0-dev_2.53.3-1 libglib2.0-dev-bin_2.53.3-1 libgmp10_2:6.1.2+dfsg-1 libgnutls30_3.5.8-6ubuntu1 libgomp1_7.1.0-7ubuntu1 libgpg-error0_1.27-3 libgraphite2-3_1.3.10-2 libgraphite2-dev_1.3.10-2 libgssapi-krb5-2_1.15.1-1 libgssapi3-heimdal_7.4.0.dfsg.1-1 libgtk2.0-0_2.24.31-1ubuntu1 libgtk2.0-common_2.24.31-1ubuntu1 libgtk2.0-dev_2.24.31-1ubuntu1 libgtksourceview2.0-0_2.10.5-2ubuntu3 libgtksourceview2.0-common_2.10.5-2ubuntu3 libgtksourceview2.0-dev_2.10.5-2ubuntu3 libgtkspell-dev_2.0.16-1.1ubuntu1 libgtkspell0_2.0.16-1.1ubuntu1 libharfbuzz-dev_1.4.2-1 libharfbuzz-gobject0_1.4.2-1 libharfbuzz-icu0_1.4.2-1 libharfbuzz0b_1.4.2-1 libhcrypto4-heimdal_7.4.0.dfsg.1-1 libheimbase1-heimdal_7.4.0.dfsg.1-1 libheimntlm0-heimdal_7.4.0.dfsg.1-1 libhogweed4_3.3-1 libhunspell-1.4-0_1.4.1-2build1 libhx509-5-heimdal_7.4.0.dfsg.1-1 libice-dev_2:1.0.9-2 libice6_2:1.0.9-2 libicu-dev_57.1-6 libicu57_57.1-6 libidn11_1.33-1 libidn2-0_2.0.2-1 libip4tc0_1.6.1-2ubuntu1 libisl15_0.18-1 libitm1_7.1.0-7ubuntu1 libjbig0_2.1-3.1 libjpeg-turbo8_1.5.1-0ubuntu1 libjpeg8_8c-2ubuntu8 libk5crypto3_1.15.1-1 libkeyutils1_1.5.9-9ubuntu1 libkmod2_24-1ubuntu1 libkrb5-26-heimdal_7.4.0.dfsg.1-1 libkrb5-3_1.15.1-1 libkrb5support0_1.15.1-1 libksba8_1.3.5-2 liblablgtk2-ocaml_2.18.3+dfsg-2ubuntu1 liblablgtk2-ocaml-dev_2.18.3+dfsg-2ubuntu1 liblablgtksourceview2-ocaml_2.18.3+dfsg-2ubuntu1 liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-2ubuntu1 libldap-2.4-2_2.4.44+dfsg-7ubuntu1 libldap-common_2.4.44+dfsg-7ubuntu1 liblockfile-bin_1.14-1 liblockfile1_1.14-1 liblz4-1_0.0~r131-2ubuntu2 liblzma5_5.2.2-1.2 liblzo2-2_2.08-1.2 libmagic-mgc_1:5.30-1 libmagic1_1:5.30-1 libmount1_2.29-1ubuntu3 libmpc3_1.0.3-1 libmpdec2_2.4.2-1 libmpfr4_3.1.5-1 libmpx2_7.1.0-7ubuntu1 libncurses5_6.0+20160625-1ubuntu1 libncurses5-dev_6.0+20160625-1ubuntu1 libncursesw5_6.0+20160625-1ubuntu1 libnettle6_3.3-1 libnpth0_1.5-2 libp11-kit0_0.23.7-3 libpam-modules_1.1.8-3.2ubuntu3 libpam-modules-bin_1.1.8-3.2ubuntu3 libpam-runtime_1.1.8-3.2ubuntu3 libpam0g_1.1.8-3.2ubuntu3 libpango-1.0-0_1.40.5-1 libpango1.0-dev_1.40.5-1 libpangocairo-1.0-0_1.40.5-1 libpangoft2-1.0-0_1.40.5-1 libpangoxft-1.0-0_1.40.5-1 libpcre16-3_2:8.39-3 libpcre3_2:8.39-3 libpcre3-dev_2:8.39-3 libpcre32-3_2:8.39-3 libpcrecpp0v5_2:8.39-3 libperl5.24_5.24.1-7ubuntu1 libpipeline1_1.4.2-1 libpixman-1-0_0.34.0-1 libpixman-1-dev_0.34.0-1 libpng-dev_1.6.29-3 libpng16-16_1.6.29-3 libprocps6_2:3.3.12-1ubuntu2 libpsl5_0.17.0-5 libpthread-stubs0-dev_0.3-4 libpython-stdlib_2.7.13-2 libpython2.7-minimal_2.7.13-2 libpython2.7-stdlib_2.7.13-2 libpython3-stdlib_3.5.3-1ubuntu3 libpython3.5-minimal_3.5.3-3 libpython3.5-stdlib_3.5.3-3 libquadmath0_7.1.0-7ubuntu1 libreadline7_7.0-0ubuntu2 libroken18-heimdal_7.4.0.dfsg.1-1 librsvg2-2_2.40.16-2 librsvg2-common_2.40.16-2 librtmp1_2.4+20151223.gitfa8646d.1-1 libsasl2-2_2.1.27~101-g0780600+dfsg-2ubuntu1 libsasl2-modules-db_2.1.27~101-g0780600+dfsg-2ubuntu1 libseccomp2_2.3.1-2.1ubuntu1 libselinux1_2.6-3build1 libsemanage-common_2.6-2build1 libsemanage1_2.6-2build1 libsepol1_2.6-2 libsigsegv2_2.11-1 libslang2_2.3.1-5ubuntu1 libsm-dev_2:1.2.2-1 libsm6_2:1.2.2-1 libsmartcols1_2.29-1ubuntu3 libsqlite3-0_3.19.3-2 libss2_1.43.4-2 libssl1.0.0_1.0.2g-1ubuntu13 libstdc++-6-dev_6.3.0-19ubuntu1 libstdc++6_7.1.0-7ubuntu1 libsystemd0_233-8ubuntu3 libtasn1-6_4.12-2 libtext-iconv-perl_1.7-5build5 libthai-data_0.1.26-2 libthai0_0.1.26-2 libtiff5_4.0.8-4 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20160625-1ubuntu1 libtinfo5_6.0+20160625-1ubuntu1 libtool_2.4.6-2 libubsan0_7.1.0-7ubuntu1 libudev1_233-8ubuntu3 libunistring0_0.9.3-5.2ubuntu1 libusb-0.1-4_2:0.1.12-31 libustr-1.0-1_1.0.4-6 libuuid1_2.29-1ubuntu3 libwind0-heimdal_7.4.0.dfsg.1-1 libx11-6_2:1.6.4-3 libx11-data_2:1.6.4-3 libx11-dev_2:1.6.4-3 libxau-dev_1:1.0.8-1 libxau6_1:1.0.8-1 libxcb-render0_1.11.1-1ubuntu1 libxcb-render0-dev_1.11.1-1ubuntu1 libxcb-shm0_1.11.1-1ubuntu1 libxcb-shm0-dev_1.11.1-1ubuntu1 libxcb1_1.11.1-1ubuntu1 libxcb1-dev_1.11.1-1ubuntu1 libxcomposite-dev_1:0.4.4-2 libxcomposite1_1:0.4.4-2 libxcursor-dev_1:1.1.14-1 libxcursor1_1:1.1.14-1 libxdamage-dev_1:1.1.4-2 libxdamage1_1:1.1.4-2 libxdmcp-dev_1:1.1.2-3 libxdmcp6_1:1.1.2-3 libxext-dev_2:1.3.3-1 libxext6_2:1.3.3-1 libxfixes-dev_1:5.0.3-1 libxfixes3_1:5.0.3-1 libxft-dev_2.3.2-1 libxft2_2.3.2-1 libxi-dev_2:1.7.9-1 libxi6_2:1.7.9-1 libxinerama-dev_2:1.1.3-1 libxinerama1_2:1.1.3-1 libxml2_2.9.4+dfsg1-2.2ubuntu1 libxml2-dev_2.9.4+dfsg1-2.2ubuntu1 libxml2-utils_2.9.4+dfsg1-2.2ubuntu1 libxrandr-dev_2:1.5.1-1 libxrandr2_2:1.5.1-1 libxrender-dev_1:0.9.10-1 libxrender1_1:0.9.10-1 linux-libc-dev_4.11.0-10.15 lockfile-progs_0.1.17build1 login_1:4.2-3.2ubuntu2 lsb-base_9.20160110ubuntu5 m4_1.4.18-1 make_4.1-9.1 man-db_2.7.6.1-2 mawk_1.3.3-17ubuntu2 mime-support_3.60ubuntu1 mount_2.29-1ubuntu3 multiarch-support_2.24-9ubuntu2 ncurses-base_6.0+20160625-1ubuntu1 ncurses-bin_6.0+20160625-1ubuntu1 ocaml-base-nox_4.04.0-2ubuntu2 ocaml-compiler-libs_4.04.0-2ubuntu2 ocaml-findlib_1.7.1-2 ocaml-interp_4.04.0-2ubuntu2 ocaml-nox_4.04.0-2ubuntu2 ocamlbuild_0.10.1-1 openssl_1.0.2g-1ubuntu13 optipng_0.7.6-1build1 passwd_1:4.2-3.2ubuntu2 patch_2.7.5-1build1 perl_5.24.1-7ubuntu1 perl-base_5.24.1-7ubuntu1 perl-modules-5.24_5.24.1-7ubuntu1 pinentry-curses_1.0.0-2 pkg-config_0.29.1-0ubuntu2 pkgbinarymangler_131 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 procps_2:3.3.12-1ubuntu2 python_2.7.13-2 python-minimal_2.7.13-2 python2.7_2.7.13-2 python2.7-minimal_2.7.13-2 python3_3.5.3-1ubuntu3 python3-minimal_3.5.3-1ubuntu3 python3.5_3.5.3-3 python3.5-minimal_3.5.3-3 readline-common_7.0-0ubuntu2 sbuild-build-depends-aac-tactics-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.4-1 sensible-utils_0.0.9+nmu1 shared-mime-info_1.8-1 systemd_233-8ubuntu3 systemd-sysv_233-8ubuntu3 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.8git1 tar_1.29b-1.1 tzdata_2017b-2 ubuntu-keyring_2016.10.27 ubuntu-mono_16.10+17.10.20170703-0ubuntu1 ucf_3.0036 util-linux_2.29-1ubuntu3 x11-common_1:7.7+19ubuntu1 x11proto-composite-dev_1:0.4.2-2 x11proto-core-dev_7.0.31-1 x11proto-damage-dev_1:1.2.1-2 x11proto-fixes-dev_1:5.0-2ubuntu2 x11proto-input-dev_2.3.2-1 x11proto-kb-dev_1.0.7-1 x11proto-randr-dev_1.5.0-1 x11proto-render-dev_2:0.11.1-2 x11proto-xext-dev_7.3.0-1 x11proto-xinerama-dev_1.2.1-2 xorg-sgml-doctools_1:1.11-1 xtrans-dev_1.3.5-1 xz-utils_5.2.2-1.2 zlib1g_1:1.2.11.dfsg-0ubuntu1 zlib1g-dev_1:1.2.11.dfsg-0ubuntu1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Sun Jul 16 22:47:03 2017 UTC gpgv: using RSA key gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./aac-tactics_8.6.1-1build3.dsc dpkg-source: info: extracting aac-tactics in aac-tactics-8.6.1 dpkg-source: info: unpacking aac-tactics_8.6.1.orig.tar.gz dpkg-source: info: unpacking aac-tactics_8.6.1-1build3.debian.tar.xz Check disc space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/home/buildd LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd MAIL=/var/mail/buildd OLDPWD=/ PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games PWD=/<> SHELL=/bin/sh SUDO_COMMAND=/usr/sbin/chroot /<> su buildd -s /bin/sh -c cd '/<>' && 'env' SUDO_GID=2501 SUDO_UID=2001 SUDO_USER=buildd TERM=unknown USER=buildd USERNAME=root dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package aac-tactics dpkg-buildpackage: info: source version 8.6.1-1build3 dpkg-buildpackage: info: source distribution artful dpkg-source --before-build aac-tactics-8.6.1 dpkg-buildpackage: info: host architecture i386 fakeroot debian/rules clean dh clean --with ocaml dh_testdir dh_auto_clean make -j1 clean make[1]: Entering directory '/<>' make -f Makefile.coq Makefile make[2]: Entering directory '/<>' make[2]: Nothing to be done for 'Makefile'. make[2]: Leaving directory '/<>' make -f Makefile.coq clean make[2]: Entering directory '/<>' rm -f aac_rewrite.cmo coq.cmo helper.cmo search_monad.cmo matcher.cmo theory.cmo print.cmo aac.cmo aac.cmi aac_rewrite.cmi coq.cmi helper.cmi matcher.cmi print.cmi search_monad.cmi theory.cmi rm -f aac_rewrite.cmx coq.cmx helper.cmx search_monad.cmx matcher.cmx theory.cmx print.cmx aac.cmx aac_rewrite.cmxs coq.cmxs helper.cmxs search_monad.cmxs matcher.cmxs theory.cmxs print.cmxs aac.cmxs aac_rewrite.o coq.o helper.o search_monad.o matcher.o theory.o print.o aac.o rm -f coq.ml.d helper.ml.d search_monad.ml.d matcher.ml.d theory.ml.d print.ml.d coq.mli.d helper.mli.d search_monad.mli.d matcher.mli.d theory.mli.d print.mli.d aac_rewrite.mli.d aac_rewrite.ml4.d aac.mlpack.d rm -f find . -name .coq-native -type d -empty -delete rm -f AAC.vo Instances.vo Tutorial.vo Caveats.vo AAC.vio Instances.vio Tutorial.vio Caveats.vio AAC.g Instances.g Tutorial.g Caveats.g AAC.v.d Instances.v.d Tutorial.v.d Caveats.v.d AAC.v.beautified Instances.v.beautified Tutorial.v.beautified Caveats.v.beautified AAC.v.old Instances.v.old Tutorial.v.old Caveats.v.old rm -f all.ps all-gal.ps all.pdf all-gal.pdf all.glob AAC.glob Instances.glob Tutorial.glob Caveats.glob AAC.tex Instances.tex Tutorial.tex Caveats.tex AAC.g.tex Instances.g.tex Tutorial.g.tex Caveats.g.tex all-mli.tex rm -rf html mlihtml uninstall_me.sh make[2]: Leaving directory '/<>' rm -f Makefile.coq make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules build-arch dh build-arch --with ocaml dh_testdir -a dh_update_autotools_config -a dh_ocamlinit -a dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/<>' /usr/bin/make Makefile.coq make[2]: Entering directory '/<>' coq_makefile -f Make -o Makefile.coq make -f Makefile.coq Makefile make[3]: Entering directory '/<>' CAMLDEP aac_rewrite.mli CAMLDEP print.mli CAMLDEP theory.mli CAMLDEP matcher.mli CAMLDEP search_monad.mli CAMLDEP helper.mli CAMLDEP coq.mli COQDEP aac.mlpack CAMLDEP print.ml CAMLDEP theory.ml CAMLDEP matcher.ml CAMLDEP search_monad.ml CAMLDEP helper.ml CAMLDEP coq.ml CAMLDEP -pp aac_rewrite.ml4 COQDEP Caveats.v COQDEP Tutorial.v COQDEP Instances.v COQDEP AAC.v make[3]: Nothing to be done for 'Makefile'. make[3]: Leaving directory '/<>' make[2]: 'Makefile.coq' is up to date. make[2]: Leaving directory '/<>' /usr/bin/make -f Makefile.coq opt html make[2]: Entering directory '/<>' /usr/bin/make all "OPT:=-opt" make[3]: Entering directory '/<>' make -f Makefile.coq Makefile make[4]: Entering directory '/<>' make[4]: Nothing to be done for 'Makefile'. make[4]: Leaving directory '/<>' make -f Makefile.coq all make[4]: Entering directory '/<>' CAMLC -c coq.mli CAMLC -c coq.ml CAMLC -c helper.mli CAMLC -c helper.ml CAMLC -c search_monad.mli CAMLC -c search_monad.ml CAMLC -c matcher.mli CAMLC -c matcher.ml CAMLC -c theory.mli CAMLC -c theory.ml CAMLC -c print.mli CAMLC -c print.ml CAMLC -c aac_rewrite.mli CAMLC -pp -c aac_rewrite.ml4 CAMLC -pack -o aac.cmo CAMLOPT -c -for-pack Aac coq.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module CErrors, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Context, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Coqlib, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Environ, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Equality, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Evarutil, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Feedback, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Names, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Pp, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Printer, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Proofview, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Refiner, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Sigma, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Tacmach, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Tacticals, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Tactics, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Term, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Termops, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Typeclasses, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Typing, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Universes, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Vars, and its interface was not compiled with -opaque CAMLOPT -c -for-pack Aac helper.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Feedback, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Pp, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Printer, and its interface was not compiled with -opaque CAMLOPT -c -for-pack Aac search_monad.ml CAMLOPT -c -for-pack Aac matcher.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module CErrors, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Feedback, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Pp, and its interface was not compiled with -opaque CAMLOPT -c -for-pack Aac theory.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module CErrors, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Constr, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Context, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Hashset, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Option, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Pp, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Tacticals, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Term, and its interface was not compiled with -opaque CAMLOPT -c -for-pack Aac print.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Context, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Feedback, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Names, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Pp, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Printer, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Tacticals, and its interface was not compiled with -opaque CAMLOPT -c -pp -for-pack Aac aac_rewrite.ml4 File "_none_", line 1: Warning 58: no cmx file was found in path for module CErrors, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module CLexer, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Constrarg, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Extraargs, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Genarg, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Genintern, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Geninterp, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Loc, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Mltop, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Names, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Pcoq, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Pp, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Pptactic, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Proofview, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Refiner, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Stdarg, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Tacentries, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Tacenv, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Tacintern, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Tacinterp, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Tacmach, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Tacsubst, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Tacticals, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Tactics, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58: no cmx file was found in path for module Term, and its interface was not compiled with -opaque CAMLOPT -pack -o aac.cmx CAMLOPT -shared -o aac.cmxs COQC AAC.v COQC Instances.v COQC Tutorial.v All solutions: occurence 0: transitivity through (forall x : X, plus x x) 1 possible(s) substitution(s) 0: [x: (f (a + a)); ] occurence 1: transitivity through (forall x : X, plus (f (x + x)) (f (a + a))) 1 possible(s) substitution(s) 0: [x: a; ] All solutions: occurence 0: transitivity through (forall x y : X, dot (a * x * y) b) 3 possible(s) substitution(s) 0: [x: c; y: (d * c * d); ] 1: [x: (c * d); y: (c * d); ] 2: [x: (c * d * c); y: d; ] All solutions: occurence 0: transitivity through (forall x y : X, dot (a * x * y) b) 4 possible(s) substitution(s) 0: [x: c; y: (d * c * d * b); ] 1: [x: (c * d); y: (c * d * b); ] 2: [x: (c * d * c); y: (d * b); ] 3: [x: (c * d * c * d); y: b; ] occurence 1: transitivity through (forall x y : X, dot (a * x * y * b) b) 3 possible(s) substitution(s) 0: [x: c; y: (d * c * d); ] 1: [x: (c * d); y: (c * d); ] 2: [x: (c * d * c); y: d; ] All solutions: occurence 0: transitivity through (forall x y : X, dot (a * x * y) b) 1 possible(s) substitution(s) 0: [x: (c * d + c * d); y: b; ] All solutions: occurence 0: transitivity through (forall x : X, dot (a * x) a) 1 possible(s) substitution(s) 0: [x: 1; ] All solutions: occurence 0: transitivity through (forall x y z : X, plus (x * y + x * z) (a * b)) 2 possible(s) substitution(s) 0: [x: a; y: c; z: (b * c); ] 1: [x: a; y: (b * c); z: c; ] occurence 1: transitivity through (forall x y z : X, plus (x * y + x * z) (a * c)) 2 possible(s) substitution(s) 0: [x: a; y: (b * c); z: b; ] 1: [x: a; y: b; z: (b * c); ] occurence 2: transitivity through (forall x y z : X, plus (x * y + x * z) (a * b * c)) 2 possible(s) substitution(s) 0: [x: a; y: c; z: b; ] 1: [x: a; y: b; z: c; ] Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing All solutions: occurence 0: transitivity through (forall x y z : X, plus (x * y) (x * z)) 6 possible(s) substitution(s) 0: [x: 1; y: (a * (b * c + c)); z: (a * b); ] 1: [x: a; y: (b * c + c); z: b; ] 2: [x: 1; y: 0; z: (a * (b * c + c) + a * b); ] 3: [x: 1; y: (a * (b * c + c) + a * b); z: 0; ] 4: [x: 1; y: (a * b); z: (a * (b * c + c)); ] 5: [x: a; y: b; z: (b * c + c); ] occurence 1: transitivity through (forall x y z : X, plus (x * y + x * z) (a * b)) 2 possible(s) substitution(s) 0: [x: 1; y: (a * (b * c + c)); z: 0; ] 1: [x: 1; y: 0; z: (a * (b * c + c)); ] occurence 2: transitivity through (forall x y z : X, plus (a * (x * y + x * z)) (a * b)) 4 possible(s) substitution(s) 0: [x: 1; y: (b * c); z: c; ] 1: [x: 1; y: 0; z: (b * c + c); ] 2: [x: 1; y: (b * c + c); z: 0; ] 3: [x: 1; y: c; z: (b * c); ] occurence 3: transitivity through (forall x y z : X, plus (a * (x * y + x * z + c)) (a * b)) 2 possible(s) substitution(s) 0: [x: 1; y: (b * c); z: 0; ] 1: [x: 1; y: 0; z: (b * c); ] occurence 4: transitivity through (forall x y z : X, plus (x * y + x * z) (a * (b * c + c))) 2 possible(s) substitution(s) 0: [x: 1; y: (a * b); z: 0; ] 1: [x: 1; y: 0; z: (a * b); ] occurence 5: transitivity through (forall x y z : X, plus (a * (b * (x * y + x * z) + c)) (a * b)) 2 possible(s) substitution(s) 0: [x: 1; y: c; z: 0; ] 1: [x: 1; y: 0; z: c; ] occurence 6: transitivity through (forall x y z : X, plus (a * ((x * y + x * z) * c + c)) (a * b)) 2 possible(s) substitution(s) 0: [x: 1; y: b; z: 0; ] 1: [x: 1; y: 0; z: b; ] occurence 7: transitivity through (forall x y z : X, plus (a * (x * y + x * z + b * c)) (a * b)) 2 possible(s) substitution(s) 0: [x: 1; y: c; z: 0; ] 1: [x: 1; y: 0; z: c; ] occurence 8: transitivity through (forall x y z : X, plus ((x * y + x * z) * (b * c + c)) (a * b)) 2 possible(s) substitution(s) 0: [x: 1; y: a; z: 0; ] 1: [x: 1; y: 0; z: a; ] occurence 9: transitivity through (forall x y z : X, plus (a * (x * y + x * z)) (a * (b * c + c))) 2 possible(s) substitution(s) 0: [x: 1; y: b; z: 0; ] 1: [x: 1; y: 0; z: b; ] occurence 10: transitivity through (forall x y z : X, plus ((x * y + x * z) * b) (a * (b * c + c))) 2 possible(s) substitution(s) 0: [x: 1; y: a; z: 0; ] 1: [x: 1; y: 0; z: a; ] occurence 11: transitivity through (a * (b * c + c) + (1 * 1 + 1 * 0) * (a * b)) occurence 12: transitivity through (a * (b * c + c) + a * b * (1 * 1 + 1 * 0)) occurence 13: transitivity through (a * (b * c + c) + a * ((1 * 1 + 1 * 0) * b)) occurence 14: transitivity through (a * b + (1 * 1 + 1 * 0) * (a * (b * c + c))) occurence 15: transitivity through (a * b + a * (b * c + c) * (1 * 1 + 1 * 0)) occurence 16: transitivity through (a * b + a * (b * c + (1 * 1 + 1 * 0) * c)) occurence 17: transitivity through (a * b + a * (b * c + c * (1 * 1 + 1 * 0))) occurence 18: transitivity through (a * b + a * (c + (1 * 1 + 1 * 0) * (b * c))) occurence 19: transitivity through (a * b + a * (c + b * c * (1 * 1 + 1 * 0))) occurence 20: transitivity through (a * b + a * (c + b * ((1 * 1 + 1 * 0) * c))) occurence 21: transitivity through (a * b + a * ((1 * 1 + 1 * 0) * (b * c + c))) occurence 22: transitivity through ((a * (b * c + c) + a * b) * (1 * 1 + 1 * 0)) occurence 23: transitivity through ((1 * 1 + 1 * 0) * (a * (b * c + c) + a * b)) occurence 24: transitivity through (a * (b * c + c) + (1 * 0 + 1 * 1) * (a * b)) occurence 25: transitivity through (a * (b * c + c) + a * b * (1 * 0 + 1 * 1)) occurence 26: transitivity through (a * (b * c + c) + a * ((1 * 0 + 1 * 1) * b)) occurence 27: transitivity through (a * b + (1 * 0 + 1 * 1) * (a * (b * c + c))) occurence 28: transitivity through (a * b + a * (b * c + c) * (1 * 0 + 1 * 1)) occurence 29: transitivity through (a * b + a * (b * c + (1 * 0 + 1 * 1) * c)) occurence 30: transitivity through (a * b + a * (b * c + c * (1 * 0 + 1 * 1))) occurence 31: transitivity through (a * b + a * (c + (1 * 0 + 1 * 1) * (b * c))) occurence 32: transitivity through (a * b + a * (c + b * c * (1 * 0 + 1 * 1))) occurence 33: transitivity through (a * b + a * (c + b * ((1 * 0 + 1 * 1) * c))) occurence 34: transitivity through (a * b + a * ((1 * 0 + 1 * 1) * (b * c + c))) occurence 35: transitivity through ((a * (b * c + c) + a * b) * (1 * 0 + 1 * 1)) occurence 36: transitivity through ((1 * 0 + 1 * 1) * (a * (b * c + c) + a * b)) occurence 37: transitivity through (a * (b * c + c) + a * b + (1 * 0 + 1 * 0)) occurence 38: transitivity through (a * (b * c + c) + a * (b + (1 * 0 + 1 * 0))) occurence 39: transitivity through (a * (b * c + c) + (a + (1 * 0 + 1 * 0)) * b) occurence 40: transitivity through (a * b + a * (b * c + c + (1 * 0 + 1 * 0))) occurence 41: transitivity through (a * b + a * (c + b * (c + (1 * 0 + 1 * 0)))) occurence 42: transitivity through (a * b + a * (c + (b + (1 * 0 + 1 * 0)) * c)) occurence 43: transitivity through (a * b + (a + (1 * 0 + 1 * 0)) * (b * c + c)) occurence 44: transitivity through (a * (b * c + c) + a * b + (0 * 1 + 0 * 1)) occurence 45: transitivity through (a * (b * c + c) + a * (b + (0 * 1 + 0 * 1))) occurence 46: transitivity through (a * (b * c + c) + (a + (0 * 1 + 0 * 1)) * b) occurence 47: transitivity through (a * b + a * (b * c + c + (0 * 1 + 0 * 1))) occurence 48: transitivity through (a * b + a * (c + b * (c + (0 * 1 + 0 * 1)))) occurence 49: transitivity through (a * b + a * (c + (b + (0 * 1 + 0 * 1)) * c)) occurence 50: transitivity through (a * b + (a + (0 * 1 + 0 * 1)) * (b * c + c)) occurence 51: transitivity through (a * (b * c + c) + a * b * (1 + (1 * 0 + 1 * 0))) occurence 52: transitivity through (a * (b * c + c) + a * ((1 + (1 * 0 + 1 * 0)) * b)) occurence 53: transitivity through (a * (b * c + c) + (1 + (1 * 0 + 1 * 0)) * (a * b)) occurence 54: transitivity through (a * b + a * (b * c + c) * (1 + (1 * 0 + 1 * 0))) occurence 55: transitivity through (a * b + a * (c + b * c * (1 + (1 * 0 + 1 * 0)))) occurence 56: transitivity through (a * b + a * (c + b * ((1 + (1 * 0 + 1 * 0)) * c))) occurence 57: transitivity through (a * b + a * (c + (1 + (1 * 0 + 1 * 0)) * (b * c))) occurence 58: transitivity through (a * b + a * ((1 + (1 * 0 + 1 * 0)) * (b * c + c))) occurence 59: transitivity through (a * b + (1 + (1 * 0 + 1 * 0)) * (a * (b * c + c))) occurence 60: transitivity through (a * (b * c + c) + a * b * (1 + (0 * 1 + 0 * 1))) occurence 61: transitivity through (a * (b * c + c) + a * ((1 + (0 * 1 + 0 * 1)) * b)) occurence 62: transitivity through (a * (b * c + c) + (1 + (0 * 1 + 0 * 1)) * (a * b)) occurence 63: transitivity through (a * b + a * (b * c + c) * (1 + (0 * 1 + 0 * 1))) occurence 64: transitivity through (a * b + a * (c + b * c * (1 + (0 * 1 + 0 * 1)))) occurence 65: transitivity through (a * b + a * (c + b * ((1 + (0 * 1 + 0 * 1)) * c))) occurence 66: transitivity through (a * b + a * (c + (1 + (0 * 1 + 0 * 1)) * (b * c))) occurence 67: transitivity through (a * b + a * ((1 + (0 * 1 + 0 * 1)) * (b * c + c))) occurence 68: transitivity through (a * b + (1 + (0 * 1 + 0 * 1)) * (a * (b * c + c))) All solutions: occurence 0: transitivity through (forall x y z : nat, Nat.max (x + y) (x + z)) 2 possible(s) substitution(s) 0: [x: a; y: b; z: c; ] 1: [x: a; y: c; z: b; ] All solutions: occurence 0: transitivity through (forall x y z : nat, Nat.max (x + y) (x + z)) 2 possible(s) substitution(s) 0: [x: a; y: b; z: c; ] 1: [x: a; y: c; z: b; ] Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing All solutions: occurence 0: transitivity through (Z.abs a + - Z.abs b + 0) occurence 1: transitivity through (Z.abs a + - (Z.abs b + 0)) occurence 2: transitivity through (Z.abs a + - Z.abs (b + 0)) occurence 3: transitivity through (- Z.abs b + Z.abs (a + 0)) Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing COQC Caveats.v All solutions: occurence 0: transitivity through (forall x : Z, (- (x + x) + (b + b + c))%Z) 1 possible(s) substitution(s) 0: [x: a; ] occurence 1: transitivity through (forall x : Z, (x + x + (- (a + a) + c))%Z) 1 possible(s) substitution(s) 0: [x: b; ] Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing All solutions: occurence 0: transitivity through (y * 1) occurence 1: transitivity through (1 * y) Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing All solutions: occurence 0: transitivity through (c * b + a + 0) occurence 1: transitivity through (a + b * (c + 0)) occurence 2: transitivity through (a + c * (b + 0)) Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing All solutions: occurence 0: transitivity through (c + b + a + 0) Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing All solutions: occurence 0: transitivity through ((c + b + a) * 1) occurence 1: transitivity through (c + a + b * 1) occurence 2: transitivity through (a + (c + b) * 1) occurence 3: transitivity through (b + a + c * 1) occurence 4: transitivity through (c + (b + a) * 1) occurence 5: transitivity through (c + b + a * 1) occurence 6: transitivity through (b + (c + a) * 1) All solutions: occurence 0: transitivity through (forall x y : nat, (x * x + y * x + c)%nat) 1 possible(s) substitution(s) 0: [x: a; y: b; ] Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing All solutions: occurence 0: transitivity through (forall x y : nat, (x * x + y * x + c)%nat) 1 possible(s) substitution(s) 0: [x: a; y: b; ] occurence 1: transitivity through ((a * b + a * a + c) * (1 * 1 + 0 * 1)) occurence 2: transitivity through (a * b + c + a * a * (1 * 1 + 0 * 1)) occurence 3: transitivity through (c + (a * b + a * a) * (1 * 1 + 0 * 1)) occurence 4: transitivity through (a * a + c + a * b * (1 * 1 + 0 * 1)) occurence 5: transitivity through (a * b + (a * a + c) * (1 * 1 + 0 * 1)) occurence 6: transitivity through (a * b + a * a + c * (1 * 1 + 0 * 1)) occurence 7: transitivity through (a * a + (a * b + c) * (1 * 1 + 0 * 1)) Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing All solutions: occurence 0: transitivity through ((a * b + a * a + c) * 1) occurence 1: transitivity through (a * b + c + a * a * 1) occurence 2: transitivity through (c + (a * b + a * a) * 1) occurence 3: transitivity through (a * a + c + a * b * 1) occurence 4: transitivity through (a * b + (a * a + c) * 1) occurence 5: transitivity through (a * b + a * a + c * 1) occurence 6: transitivity through (a * a + (a * b + c) * 1) make[4]: Leaving directory '/<>' make[3]: Leaving directory '/<>' mkdir -p html "coqdoc" -toc -interpolate -utf8 -html -R "." AAC_tactics -d html AAC.v Instances.v Tutorial.v Caveats.v make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' dh_auto_test -a create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-arch dh binary-arch --with ocaml create-stamp debian/debhelper-build-stamp dh_testroot -a dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/<>' /usr/bin/make -f Makefile.coq install DSTROOT=/<>/debian/tmp make[2]: Entering directory '/<>' cd "." && for i in aac.cmxs; do \ install -d "`dirname "/<>/debian/tmp""/usr/lib/coq/user-contrib"/AAC_tactics/$i`"; \ install -m 0755 $i "/<>/debian/tmp""/usr/lib/coq/user-contrib"/AAC_tactics/$i; \ done cd "." && for i in AAC.vo Instances.vo Tutorial.vo Caveats.vo AAC.v Instances.v Tutorial.v Caveats.v AAC.glob Instances.glob Tutorial.glob Caveats.glob aac.cmo aac.cmi aac_rewrite.cmi coq.cmi helper.cmi matcher.cmi print.cmi search_monad.cmi theory.cmi ; do \ install -d "`dirname "/<>/debian/tmp""/usr/lib/coq/user-contrib"/AAC_tactics/$i`"; \ install -m 0644 $i "/<>/debian/tmp""/usr/lib/coq/user-contrib"/AAC_tactics/$i; \ done make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' debian/rules override_dh_install make[1]: Entering directory '/<>' find debian/tmp -type f -name '*.glob' -delete dh_install --fail-missing dh_install: Please use dh_missing --list-missing/--fail-missing instead dh_install: This feature will be removed in compat 11. make[1]: Leaving directory '/<>' dh_ocamldoc -a Warning: Element Rewrite not found Warning: Element Rewrite not found dh_installdocs -a dh_installchangelogs -a dh_lintian -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_ocaml -a debian/rules override_dh_gencontrol make[1]: Entering directory '/<>' dh_gencontrol -- -VF:CoqABI="8.6+4.04.0" dpkg-gencontrol: warning: Depends field of package libaac-tactics-ocaml-dev: unknown substitution variable ${shlibs:Depends} make[1]: Leaving directory '/<>' dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 131 INFO: pkgstriptranslations version 131 pkgstriptranslations: processing libaac-tactics-ocaml-dev (in debian/libaac-tactics-ocaml-dev); do_strip: , oemstrip: pkgstriptranslations: processing libaac-tactics-ocaml-dbgsym (in debian/.debhelper/libaac-tactics-ocaml/dbgsym-root); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/libaac-tactics-ocaml-dev/DEBIAN/control, package libaac-tactics-ocaml-dev, directory debian/libaac-tactics-ocaml-dev INFO: pkgstripfiles: waiting for lock (libaac-tactics-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (libaac-tactics-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (libaac-tactics-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (libaac-tactics-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (libaac-tactics-ocaml-dev) ... pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/.debhelper/libaac-tactics-ocaml/dbgsym-root/DEBIAN/control, package libaac-tactics-ocaml-dbgsym, directory debian/.debhelper/libaac-tactics-ocaml/dbgsym-root pkgstripfiles: Running PNG optimization (using 4 cpus) for package libaac-tactics-ocaml-dbgsym ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libaac-tactics-ocaml-dbgsym' in 'debian/.debhelper/scratch-space/build-libaac-tactics-ocaml/libaac-tactics-ocaml-dbgsym_8.6.1-1build3_i386.deb'. INFO: pkgstripfiles: waiting for lock (libaac-tactics-ocaml-dev) ... Renaming libaac-tactics-ocaml-dbgsym_8.6.1-1build3_i386.deb to libaac-tactics-ocaml-dbgsym_8.6.1-1build3_i386.ddeb INFO: pkgstriptranslations version 131 pkgstriptranslations: processing libaac-tactics-ocaml (in debian/libaac-tactics-ocaml); do_strip: , oemstrip: INFO: pkgstripfiles: waiting for lock (libaac-tactics-ocaml-dev) ... pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/libaac-tactics-ocaml/DEBIAN/control, package libaac-tactics-ocaml, directory debian/libaac-tactics-ocaml pkgstripfiles: Truncating usr/share/doc/libaac-tactics-ocaml/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package libaac-tactics-ocaml ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libaac-tactics-ocaml' in '../libaac-tactics-ocaml_8.6.1-1build3_i386.deb'. pkgstripfiles: Truncating usr/share/doc/libaac-tactics-ocaml-dev/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package libaac-tactics-ocaml-dev ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libaac-tactics-ocaml-dev' in '../libaac-tactics-ocaml-dev_8.6.1-1build3_i386.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any -mLaunchpad Build Daemon >../aac-tactics_8.6.1-1build3_i386.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build aac-tactics-8.6.1 dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20170716-2250 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ aac-tactics_8.6.1-1build3_i386.changes: --------------------------------------- Format: 1.8 Date: Sun, 16 Jul 2017 23:46:40 +0100 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: i386 Version: 8.6.1-1build3 Distribution: artful Urgency: high Maintainer: Launchpad Build Daemon Changed-By: Dimitri John Ledkov Description: libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories) libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin) libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files) Changes: aac-tactics (8.6.1-1build3) artful; urgency=high . * No change rebuild against coq abi change. Checksums-Sha1: ef17fda410e6beeba10e2e74b7af0ad2e8dd2297 11914 aac-tactics_8.6.1-1build3_i386.buildinfo 784a29892d61c4935af2fe4be0549c63e2676747 15796 libaac-tactics-ocaml-dbgsym_8.6.1-1build3_i386.ddeb a9ad212a579f9305214a19293b66b0fa713b67f2 37796 libaac-tactics-ocaml-dev_8.6.1-1build3_i386.deb 2234190a123d80613b9dd004dfefca52565dcb5b 109780 libaac-tactics-ocaml_8.6.1-1build3_i386.deb Checksums-Sha256: bbc3f5040258583701733f02ffc2f6303673e4299a73aead1426cb93823d08ec 11914 aac-tactics_8.6.1-1build3_i386.buildinfo cecebf3a27e5eb15d1e227c02bbe7dd8c4eeb66242b49f85fcc01bb874f4c1ea 15796 libaac-tactics-ocaml-dbgsym_8.6.1-1build3_i386.ddeb ee29482529bd1e2605748e45ee4cfd8772c17e9e7b8c52674f4aba69b8dc3109 37796 libaac-tactics-ocaml-dev_8.6.1-1build3_i386.deb 9db41f29b7be1a0a50a58239525cd608f380d8a1452f839111ae3a210576a0b7 109780 libaac-tactics-ocaml_8.6.1-1build3_i386.deb Files: 83a06184d34c2b3f3f023291f30426ee 11914 math optional aac-tactics_8.6.1-1build3_i386.buildinfo 11dd8be7dff9cc31b99505a52d5f5300 15796 debug extra libaac-tactics-ocaml-dbgsym_8.6.1-1build3_i386.ddeb a8e780554dd1001ecfa1760b1bfa95ee 37796 ocaml optional libaac-tactics-ocaml-dev_8.6.1-1build3_i386.deb e232b01e383eec025a5160b6964a2f80 109780 ocaml optional libaac-tactics-ocaml_8.6.1-1build3_i386.deb Original-Maintainer: Debian OCaml Maintainers +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libaac-tactics-ocaml-dev_8.6.1-1build3_i386.deb ----------------------------------------------- new debian package, version 2.0. size 37796 bytes: control archive=3171 bytes. 815 bytes, 18 lines control 8621 bytes, 89 lines md5sums Package: libaac-tactics-ocaml-dev Source: aac-tactics Version: 8.6.1-1build3 Architecture: i386 Maintainer: Ubuntu Developers Installed-Size: 413 Depends: camlp5-9w0c1, libaac-tactics-ocaml-sos94, libcoq-ocaml-dev-ob3a0, ocaml-nox-4.04.0 Provides: libaac-tactics-ocaml-dev-sos94 Section: ocaml Priority: optional Homepage: https://github.com/coq-contribs/aac-tactics Description: Coq tactics for reasoning modulo AC (devt files) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the static native-code library, needed to build custom toplevels, and the compiled interfaces. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2017-07-16 22:46 ./ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/lib/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/lib/coq/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/lib/coq/user-contrib/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/lib/coq/user-contrib/AAC_tactics/ -rw-r--r-- root/root 21623 2017-07-16 22:46 ./usr/lib/coq/user-contrib/AAC_tactics/aac.cmi -rw-r--r-- root/root 200 2017-07-16 22:46 ./usr/lib/coq/user-contrib/AAC_tactics/aac_rewrite.cmi -rw-r--r-- root/root 619 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/aac_rewrite.mli -rw-r--r-- root/root 12869 2017-07-16 22:46 ./usr/lib/coq/user-contrib/AAC_tactics/coq.cmi -rw-r--r-- root/root 8322 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/coq.mli -rw-r--r-- root/root 1717 2017-07-16 22:46 ./usr/lib/coq/user-contrib/AAC_tactics/helper.cmi -rw-r--r-- root/root 1261 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/helper.mli -rw-r--r-- root/root 2472 2017-07-16 22:46 ./usr/lib/coq/user-contrib/AAC_tactics/matcher.cmi -rw-r--r-- root/root 7353 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/matcher.mli -rw-r--r-- root/root 3378 2017-07-16 22:46 ./usr/lib/coq/user-contrib/AAC_tactics/print.cmi -rw-r--r-- root/root 1068 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/print.mli -rw-r--r-- root/root 1413 2017-07-16 22:46 ./usr/lib/coq/user-contrib/AAC_tactics/search_monad.cmi -rw-r--r-- root/root 1452 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/search_monad.mli -rw-r--r-- root/root 6923 2017-07-16 22:46 ./usr/lib/coq/user-contrib/AAC_tactics/theory.cmi -rw-r--r-- root/root 7742 2016-12-28 13:28 ./usr/lib/coq/user-contrib/AAC_tactics/theory.mli drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/share/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/share/doc-base/ -rw-r--r-- root/root 364 2017-07-16 22:46 ./usr/share/doc-base/libaac-tactics-ocaml-dev.doc-base.apiref drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/share/doc/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/ -rw-r--r-- root/root 800 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 1116 2016-12-27 16:06 ./usr/share/doc/libaac-tactics-ocaml-dev/copyright drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/ -rw-r--r-- root/root 1614 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Aac_rewrite.html -rw-r--r-- root/root 1873 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Bool.html -rw-r--r-- root/root 2350 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Classes.html -rw-r--r-- root/root 2119 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Comparison.html -rw-r--r-- root/root 3970 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Equivalence.html -rw-r--r-- root/root 1795 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Leibniz.html -rw-r--r-- root/root 1993 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.List.html -rw-r--r-- root/root 1920 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Nat.html -rw-r--r-- root/root 2059 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Option.html -rw-r--r-- root/root 2079 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Pair.html -rw-r--r-- root/root 1918 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Pos.html -rw-r--r-- root/root 2568 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Relation.html -rw-r--r-- root/root 9027 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Rewrite.html -rw-r--r-- root/root 3775 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Transitive.html -rw-r--r-- root/root 10706 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.html -rw-r--r-- root/root 1776 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.CONTROL.html -rw-r--r-- root/root 3006 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.Debug.html -rw-r--r-- root/root 2287 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.html -rw-r--r-- root/root 2772 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.Subst.html -rw-r--r-- root/root 8871 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.Terms.html -rw-r--r-- root/root 8875 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.html -rw-r--r-- root/root 2648 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Print.html -rw-r--r-- root/root 4836 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Search_monad.html -rw-r--r-- root/root 2883 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Sigma.html -rw-r--r-- root/root 3233 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Stubs.html -rw-r--r-- root/root 3379 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Sym.html -rw-r--r-- root/root 10193 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Trans.html -rw-r--r-- root/root 4144 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.html -rw-r--r-- root/root 2790 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index.html -rw-r--r-- root/root 1153 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_attributes.html -rw-r--r-- root/root 1143 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_class_types.html -rw-r--r-- root/root 1135 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_classes.html -rw-r--r-- root/root 1141 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_exceptions.html -rw-r--r-- root/root 1141 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_extensions.html -rw-r--r-- root/root 1147 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_methods.html -rw-r--r-- root/root 1287 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_module_types.html -rw-r--r-- root/root 5488 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_modules.html -rw-r--r-- root/root 4475 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_types.html -rw-r--r-- root/root 20471 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_values.html -rw-r--r-- root/root 2824 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/style.css -rw-r--r-- root/root 1095 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Aac_rewrite.html -rw-r--r-- root/root 1364 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Bool.html -rw-r--r-- root/root 2432 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Classes.html -rw-r--r-- root/root 1596 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Comparison.html -rw-r--r-- root/root 4122 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Equivalence.html -rw-r--r-- root/root 1384 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Leibniz.html -rw-r--r-- root/root 1620 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.List.html -rw-r--r-- root/root 1361 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Nat.html -rw-r--r-- root/root 1922 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Option.html -rw-r--r-- root/root 1821 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Pair.html -rw-r--r-- root/root 1361 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Pos.html -rw-r--r-- root/root 1947 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Relation.html -rw-r--r-- root/root 4754 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Rewrite.html -rw-r--r-- root/root 3752 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Transitive.html -rw-r--r-- root/root 28881 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.html -rw-r--r-- root/root 1292 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.CONTROL.html -rw-r--r-- root/root 2610 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.Debug.html -rw-r--r-- root/root 3523 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.html -rw-r--r-- root/root 2136 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.Subst.html -rw-r--r-- root/root 4714 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.Terms.html -rw-r--r-- root/root 9464 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.html -rw-r--r-- root/root 2036 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Print.html -rw-r--r-- root/root 5528 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Search_monad.html -rw-r--r-- root/root 2666 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Sigma.html -rw-r--r-- root/root 2364 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Stubs.html -rw-r--r-- root/root 2125 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Sym.html -rw-r--r-- root/root 6359 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Trans.html -rw-r--r-- root/root 12970 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.html drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/share/lintian/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/share/lintian/overrides/ -rw-r--r-- root/root 110 2016-12-27 16:06 ./usr/share/lintian/overrides/libaac-tactics-ocaml-dev drwxr-xr-x root/root 0 2017-07-16 22:46 ./var/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./var/lib/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 87 2017-07-16 22:46 ./var/lib/ocaml/lintian/libaac-tactics-ocaml-dev.info drwxr-xr-x root/root 0 2017-07-16 22:46 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 956 2017-07-16 22:46 ./var/lib/ocaml/md5sums/libaac-tactics-ocaml-dev.md5sums libaac-tactics-ocaml_8.6.1-1build3_i386.deb ------------------------------------------- new debian package, version 2.0. size 109780 bytes: control archive=759 bytes. 748 bytes, 19 lines control 327 bytes, 4 lines md5sums Package: libaac-tactics-ocaml Source: aac-tactics Version: 8.6.1-1build3 Architecture: i386 Maintainer: Ubuntu Developers Installed-Size: 487 Depends: libcoq-ocaml-ob3a0, ocaml-base-nox-4.04.0, libc6 (>= 2.1.3) Recommends: libaac-tactics-coq Enhances: coq Provides: libaac-tactics-ocaml-sos94 Section: ocaml Priority: optional Homepage: https://github.com/coq-contribs/aac-tactics Description: Coq tactics for reasoning modulo AC (plugin) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the plugin itself. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2017-07-16 22:46 ./ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/lib/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/lib/coq/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/lib/coq/user-contrib/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/lib/coq/user-contrib/AAC_tactics/ -rw-r--r-- root/root 126594 2017-07-16 22:46 ./usr/lib/coq/user-contrib/AAC_tactics/aac.cmo -rw-r--r-- root/root 356392 2017-07-16 22:46 ./usr/lib/coq/user-contrib/AAC_tactics/aac.cmxs drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/share/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/share/doc/ drwxr-xr-x root/root 0 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml/ -rw-r--r-- root/root 797 2017-07-16 22:46 ./usr/share/doc/libaac-tactics-ocaml/changelog.Debian.gz -rw-r--r-- root/root 1116 2016-12-27 16:06 ./usr/share/doc/libaac-tactics-ocaml/copyright +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Not removing build depends: as requested Keeping session: +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: i386 Build-Space: 6576 Build-Time: 26 Distribution: artful Host Architecture: i386 Install-Time: 69 Job: aac-tactics_8.6.1-1build3.dsc Machine Architecture: amd64 Package: aac-tactics Package-Time: 96 Source-Version: 8.6.1-1build3 Space: 6576 Status: successful Version: 8.6.1-1build3 -------------------------------------------------------------------------------- Finished at 20170716-2250 Build needed 00:01:36, 6576k disc space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-13096810'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-13096810/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-13096810'] Unmounting chroot for build PACKAGEBUILD-13096810... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-13096810'] Removing build PACKAGEBUILD-13096810