RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux z13-017 4.4.0-78-generic #99-Ubuntu SMP Thu Apr 27 15:28:53 UTC 2017 s390x Buildd toolchain package versions: launchpad-buildd_144 python-lpbuildd_144 sbuild_0.67.0-2ubuntu7 dpkg-dev_1.18.4ubuntu1.2 python-debian_0.1.27ubuntu2 qemu-user-static_1:2.5+dfsg-5ubuntu10.11. Syncing the system clock with the buildd NTP service... 25 Jun 08:12:36 ntpdate[4756]: adjust time server 10.211.37.1 offset 0.000169 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-12801871', '/home/buildd/filecache-default/6fa5c2199508da5ee864769667103e5baa50a34d'] Unpacking chroot for build PACKAGEBUILD-12801871 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-12801871'] Mounting chroot for build PACKAGEBUILD-12801871 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-12801871', 'deb http://ftpmaster.internal/ubuntu artful main universe', 'deb http://ftpmaster.internal/ubuntu artful-security main universe', 'deb http://ftpmaster.internal/ubuntu artful-updates main universe', 'deb http://ftpmaster.internal/ubuntu artful-proposed main universe'] Overriding sources.list in build-PACKAGEBUILD-12801871 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-12801871', 's390x'] Updating debian chroot for build PACKAGEBUILD-12801871 Get:1 http://ftpmaster.internal/ubuntu artful InRelease [237 kB] Get:2 http://ftpmaster.internal/ubuntu artful-security InRelease [65.5 kB] Get:3 http://ftpmaster.internal/ubuntu artful-updates InRelease [65.5 kB] Get:4 http://ftpmaster.internal/ubuntu artful-proposed InRelease [235 kB] Get:5 http://ftpmaster.internal/ubuntu artful/main s390x Packages [1108 kB] Get:6 http://ftpmaster.internal/ubuntu artful/main Translation-en [565 kB] Get:7 http://ftpmaster.internal/ubuntu artful/universe s390x Packages [7922 kB] Get:8 http://ftpmaster.internal/ubuntu artful/universe Translation-en [4756 kB] Get:9 http://ftpmaster.internal/ubuntu artful-proposed/main s390x Packages [64.8 kB] Get:10 http://ftpmaster.internal/ubuntu artful-proposed/main Translation-en [47.5 kB] Get:11 http://ftpmaster.internal/ubuntu artful-proposed/universe s390x Packages [211 kB] Get:12 http://ftpmaster.internal/ubuntu artful-proposed/universe Translation-en [154 kB] Fetched 15.4 MB in 10s (1420 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 bash binutils bsdutils ca-certificates cpp-6 debianutils dmsetup dpkg dpkg-dev findutils g++-6 gcc-6 gcc-6-base init init-system-helpers libapparmor1 libapt-pkg5.0 libasn1-8-heimdal libatomic1 libaudit-common libaudit1 libblkid1 libcc1-0 libdevmapper1.02.1 libdpkg-perl libfdisk1 libgcc-6-dev libgcc1 libgcrypt20 libgnutls30 libgomp1 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libip4tc0 libitm1 libkmod2 libkrb5-26-heimdal libldap-2.4-2 libldap-common libmount1 libperl5.24 libpng16-16 libroken18-heimdal libselinux1 libsemanage-common libsemanage1 libsmartcols1 libsqlite3-0 libssl1.0.0 libstdc++-6-dev libstdc++6 libsystemd0 libtasn1-6 libudev1 libusb-0.1-4 libuuid1 libwind0-heimdal linux-libc-dev login mount openssl passwd perl perl-base perl-modules-5.24 systemd systemd-sysv tzdata util-linux 75 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 43.0 MB of archives. After this operation, 365 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu artful/main s390x debianutils s390x 4.8.1.1 [85.8 kB] Get:2 http://ftpmaster.internal/ubuntu artful/main s390x bash s390x 4.4-5ubuntu1 [594 kB] Get:3 http://ftpmaster.internal/ubuntu artful/main s390x bsdutils s390x 1:2.29-1ubuntu3 [54.8 kB] Get:4 http://ftpmaster.internal/ubuntu artful/main s390x dpkg s390x 1.18.24ubuntu1 [1121 kB] Get:5 http://ftpmaster.internal/ubuntu artful/main s390x findutils s390x 4.6.0+git+20170606-2 [288 kB] Get:6 http://ftpmaster.internal/ubuntu artful/main s390x login s390x 1:4.2-3.2ubuntu2 [302 kB] Get:7 http://ftpmaster.internal/ubuntu artful/main s390x util-linux s390x 2.29-1ubuntu3 [885 kB] Get:8 http://ftpmaster.internal/ubuntu artful/main s390x mount s390x 2.29-1ubuntu3 [126 kB] Get:9 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libperl5.24 s390x 5.24.1-4ubuntu1 [3324 kB] Get:10 http://ftpmaster.internal/ubuntu artful-proposed/main s390x perl s390x 5.24.1-4ubuntu1 [219 kB] Get:11 http://ftpmaster.internal/ubuntu artful-proposed/main s390x perl-base s390x 5.24.1-4ubuntu1 [1272 kB] Get:12 http://ftpmaster.internal/ubuntu artful-proposed/main s390x perl-modules-5.24 all 5.24.1-4ubuntu1 [2663 kB] Get:13 http://ftpmaster.internal/ubuntu artful-proposed/main s390x init-system-helpers all 1.48 [37.8 kB] Get:14 http://ftpmaster.internal/ubuntu artful/main s390x gcc-7-base s390x 7.1.0-7ubuntu1 [18.6 kB] Get:15 http://ftpmaster.internal/ubuntu artful/main s390x libgcc1 s390x 1:7.1.0-7ubuntu1 [25.2 kB] Get:16 http://ftpmaster.internal/ubuntu artful/main s390x libstdc++6 s390x 7.1.0-7ubuntu1 [406 kB] Get:17 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libapt-pkg5.0 s390x 1.4.6 [726 kB] Get:18 http://ftpmaster.internal/ubuntu artful-proposed/main s390x apt s390x 1.4.6 [1072 kB] Get:19 http://ftpmaster.internal/ubuntu artful/main s390x libip4tc0 s390x 1.6.0+snapshot20161117-6ubuntu1 [19.3 kB] Get:20 http://ftpmaster.internal/ubuntu artful/main s390x libapparmor1 s390x 2.11.0-2ubuntu8 [29.0 kB] Get:21 http://ftpmaster.internal/ubuntu artful/main s390x libaudit-common all 1:2.6.6-1ubuntu2 [4626 B] Get:22 http://ftpmaster.internal/ubuntu artful/main s390x libaudit1 s390x 1:2.6.6-1ubuntu2 [36.3 kB] Get:23 http://ftpmaster.internal/ubuntu artful/main s390x libselinux1 s390x 2.6-3build1 [64.3 kB] Get:24 http://ftpmaster.internal/ubuntu artful/main s390x libsemanage-common all 2.6-2build1 [6738 B] Get:25 http://ftpmaster.internal/ubuntu artful/main s390x libsemanage1 s390x 2.6-2build1 [76.5 kB] Get:26 http://ftpmaster.internal/ubuntu artful/main s390x passwd s390x 1:4.2-3.2ubuntu2 [770 kB] Get:27 http://ftpmaster.internal/ubuntu artful/main s390x libuuid1 s390x 2.29-1ubuntu3 [14.9 kB] Get:28 http://ftpmaster.internal/ubuntu artful/main s390x libblkid1 s390x 2.29-1ubuntu3 [104 kB] Get:29 http://ftpmaster.internal/ubuntu artful/main s390x libgcrypt20 s390x 1.7.7-2 [336 kB] Get:30 http://ftpmaster.internal/ubuntu artful/main s390x libkmod2 s390x 24-1ubuntu1 [36.7 kB] Get:31 http://ftpmaster.internal/ubuntu artful/main s390x libmount1 s390x 2.29-1ubuntu3 [111 kB] Get:32 http://ftpmaster.internal/ubuntu artful/main s390x systemd s390x 233-8ubuntu1 [2327 kB] Get:33 http://ftpmaster.internal/ubuntu artful/main s390x libsystemd0 s390x 233-8ubuntu1 [192 kB] Get:34 http://ftpmaster.internal/ubuntu artful-proposed/main s390x init s390x 1.48 [5806 B] Get:35 http://ftpmaster.internal/ubuntu artful/main s390x systemd-sysv s390x 233-8ubuntu1 [12.7 kB] Get:36 http://ftpmaster.internal/ubuntu artful/main s390x libfdisk1 s390x 2.29-1ubuntu3 [134 kB] Get:37 http://ftpmaster.internal/ubuntu artful/main s390x libsmartcols1 s390x 2.29-1ubuntu3 [65.8 kB] Get:38 http://ftpmaster.internal/ubuntu artful/main s390x libudev1 s390x 233-8ubuntu1 [53.0 kB] Get:39 http://ftpmaster.internal/ubuntu artful/main s390x libdevmapper1.02.1 s390x 2:1.02.137-2ubuntu2 [123 kB] Get:40 http://ftpmaster.internal/ubuntu artful/main s390x dmsetup s390x 2:1.02.137-2ubuntu2 [68.8 kB] Get:41 http://ftpmaster.internal/ubuntu artful/main s390x libroken18-heimdal s390x 7.1.0+dfsg-13 [39.1 kB] Get:42 http://ftpmaster.internal/ubuntu artful/main s390x libasn1-8-heimdal s390x 7.1.0+dfsg-13 [150 kB] Get:43 http://ftpmaster.internal/ubuntu artful/main s390x libtasn1-6 s390x 4.12-2 [33.9 kB] Get:44 http://ftpmaster.internal/ubuntu artful/main s390x libgnutls30 s390x 3.5.8-6ubuntu1 [591 kB] Get:45 http://ftpmaster.internal/ubuntu artful/main s390x libheimbase1-heimdal s390x 7.1.0+dfsg-13 [27.4 kB] Get:46 http://ftpmaster.internal/ubuntu artful/main s390x libhcrypto4-heimdal s390x 7.1.0+dfsg-13 [83.5 kB] Get:47 http://ftpmaster.internal/ubuntu artful/main s390x libwind0-heimdal s390x 7.1.0+dfsg-13 [47.8 kB] Get:48 http://ftpmaster.internal/ubuntu artful/main s390x libhx509-5-heimdal s390x 7.1.0+dfsg-13 [99.6 kB] Get:49 http://ftpmaster.internal/ubuntu artful/main s390x libsqlite3-0 s390x 3.16.2-5 [456 kB] Get:50 http://ftpmaster.internal/ubuntu artful/main s390x libkrb5-26-heimdal s390x 7.1.0+dfsg-13 [191 kB] Get:51 http://ftpmaster.internal/ubuntu artful/main s390x libheimntlm0-heimdal s390x 7.1.0+dfsg-13 [14.5 kB] Get:52 http://ftpmaster.internal/ubuntu artful/main s390x libgssapi3-heimdal s390x 7.1.0+dfsg-13 [88.5 kB] Get:53 http://ftpmaster.internal/ubuntu artful/main s390x libldap-2.4-2 s390x 2.4.44+dfsg-5ubuntu1 [145 kB] Get:54 http://ftpmaster.internal/ubuntu artful/main s390x libldap-common all 2.4.44+dfsg-5ubuntu1 [17.5 kB] Get:55 http://ftpmaster.internal/ubuntu artful/main s390x libssl1.0.0 s390x 1.0.2g-1ubuntu13 [773 kB] Get:56 http://ftpmaster.internal/ubuntu artful/main s390x tzdata all 2017b-2 [203 kB] Get:57 http://ftpmaster.internal/ubuntu artful-proposed/main s390x apt-transport-https s390x 1.4.6 [31.9 kB] Get:58 http://ftpmaster.internal/ubuntu artful/main s390x openssl s390x 1.0.2g-1ubuntu13 [476 kB] Get:59 http://ftpmaster.internal/ubuntu artful/main s390x ca-certificates all 20161130+nmu1 [186 kB] Get:60 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libpng16-16 s390x 1.6.29-3 [169 kB] Get:61 http://ftpmaster.internal/ubuntu artful/main s390x advancecomp s390x 2.0-1 [183 kB] Get:62 http://ftpmaster.internal/ubuntu artful/main s390x binutils s390x 2.28-6ubuntu1 [1069 kB] Get:63 http://ftpmaster.internal/ubuntu artful/main s390x libgomp1 s390x 7.1.0-7ubuntu1 [69.9 kB] Get:64 http://ftpmaster.internal/ubuntu artful/main s390x libitm1 s390x 7.1.0-7ubuntu1 [26.8 kB] Get:65 http://ftpmaster.internal/ubuntu artful/main s390x libatomic1 s390x 7.1.0-7ubuntu1 [8182 B] Get:66 http://ftpmaster.internal/ubuntu artful/main s390x g++-6 s390x 6.3.0-19ubuntu1 [5831 kB] Get:67 http://ftpmaster.internal/ubuntu artful/main s390x libstdc++-6-dev s390x 6.3.0-19ubuntu1 [1402 kB] Get:68 http://ftpmaster.internal/ubuntu artful/main s390x gcc-6 s390x 6.3.0-19ubuntu1 [5669 kB] Get:69 http://ftpmaster.internal/ubuntu artful/main s390x libgcc-6-dev s390x 6.3.0-19ubuntu1 [269 kB] Get:70 http://ftpmaster.internal/ubuntu artful/main s390x libcc1-0 s390x 7.1.0-7ubuntu1 [37.6 kB] Get:71 http://ftpmaster.internal/ubuntu artful/main s390x cpp-6 s390x 6.3.0-19ubuntu1 [5072 kB] Get:72 http://ftpmaster.internal/ubuntu artful/main s390x gcc-6-base s390x 6.3.0-19ubuntu1 [17.4 kB] Get:73 http://ftpmaster.internal/ubuntu artful/main s390x dpkg-dev all 1.18.24ubuntu1 [608 kB] Get:74 http://ftpmaster.internal/ubuntu artful/main s390x libdpkg-perl all 1.18.24ubuntu1 [209 kB] Get:75 http://ftpmaster.internal/ubuntu artful/main s390x libusb-0.1-4 s390x 2:0.1.12-31 [16.4 kB] Get:76 http://ftpmaster.internal/ubuntu artful-proposed/main s390x linux-libc-dev s390x 4.11.0-8.13 [913 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 43.0 MB in 9s (4529 kB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12209 files and directories currently installed.) Preparing to unpack .../debianutils_4.8.1.1_s390x.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 ... 12209 files and directories currently installed.) Preparing to unpack .../bash_4.4-5ubuntu1_s390x.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 ... 12209 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.29-1ubuntu3_s390x.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 ... 12209 files and directories currently installed.) Preparing to unpack .../dpkg_1.18.24ubuntu1_s390x.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 ... 12209 files and directories currently installed.) Preparing to unpack .../findutils_4.6.0+git+20170606-2_s390x.deb ... Unpacking findutils (4.6.0+git+20170606-2) over (4.6.0+git+20161106-2) ... Setting up findutils (4.6.0+git+20170606-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 ... 12209 files and directories currently installed.) Preparing to unpack .../login_1%3a4.2-3.2ubuntu2_s390x.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 ... 12209 files and directories currently installed.) Preparing to unpack .../util-linux_2.29-1ubuntu3_s390x.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 ... 12209 files and directories currently installed.) Preparing to unpack .../mount_2.29-1ubuntu3_s390x.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 ... 12209 files and directories currently installed.) Preparing to unpack .../libperl5.24_5.24.1-4ubuntu1_s390x.deb ... Unpacking libperl5.24:s390x (5.24.1-4ubuntu1) over (5.24.1-2ubuntu1) ... Preparing to unpack .../perl_5.24.1-4ubuntu1_s390x.deb ... Unpacking perl (5.24.1-4ubuntu1) over (5.24.1-2ubuntu1) ... Preparing to unpack .../perl-base_5.24.1-4ubuntu1_s390x.deb ... Unpacking perl-base (5.24.1-4ubuntu1) over (5.24.1-2ubuntu1) ... Setting up perl-base (5.24.1-4ubuntu1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12209 files and directories currently installed.) Preparing to unpack .../perl-modules-5.24_5.24.1-4ubuntu1_all.deb ... Unpacking perl-modules-5.24 (5.24.1-4ubuntu1) over (5.24.1-2ubuntu1) ... Preparing to unpack .../init-system-helpers_1.48_all.deb ... Unpacking init-system-helpers (1.48) over (1.47) ... Setting up init-system-helpers (1.48) ... Selecting previously unselected package gcc-7-base:s390x. (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 ... 12209 files and directories currently installed.) Preparing to unpack .../gcc-7-base_7.1.0-7ubuntu1_s390x.deb ... Unpacking gcc-7-base:s390x (7.1.0-7ubuntu1) ... Setting up gcc-7-base:s390x (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 ... 12216 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a7.1.0-7ubuntu1_s390x.deb ... Unpacking libgcc1:s390x (1:7.1.0-7ubuntu1) over (1:6.3.0-14ubuntu3) ... Setting up libgcc1:s390x (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 ... 12216 files and directories currently installed.) Preparing to unpack .../libstdc++6_7.1.0-7ubuntu1_s390x.deb ... Unpacking libstdc++6:s390x (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Setting up libstdc++6:s390x (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 ... 12216 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.4.6_s390x.deb ... Unpacking libapt-pkg5.0:s390x (1.4.6) over (1.4.1ubuntu2) ... Setting up libapt-pkg5.0:s390x (1.4.6) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12216 files and directories currently installed.) Preparing to unpack .../archives/apt_1.4.6_s390x.deb ... Unpacking apt (1.4.6) over (1.4.1ubuntu2) ... Setting up apt (1.4.6) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12216 files and directories currently installed.) Preparing to unpack .../libip4tc0_1.6.0+snapshot20161117-6ubuntu1_s390x.deb ... Unpacking libip4tc0:s390x (1.6.0+snapshot20161117-6ubuntu1) over (1.6.0-3ubuntu2) ... Preparing to unpack .../libapparmor1_2.11.0-2ubuntu8_s390x.deb ... Unpacking libapparmor1:s390x (2.11.0-2ubuntu8) over (2.11.0-2ubuntu4) ... Preparing to unpack .../libaudit-common_1%3a2.6.6-1ubuntu2_all.deb ... Unpacking libaudit-common (1:2.6.6-1ubuntu2) over (1:2.6.6-1ubuntu1) ... Setting up libaudit-common (1:2.6.6-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12216 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.6.6-1ubuntu2_s390x.deb ... Unpacking libaudit1:s390x (1:2.6.6-1ubuntu2) over (1:2.6.6-1ubuntu1) ... Setting up libaudit1:s390x (1:2.6.6-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12216 files and directories currently installed.) Preparing to unpack .../libselinux1_2.6-3build1_s390x.deb ... Unpacking libselinux1:s390x (2.6-3build1) over (2.6-3) ... Setting up libselinux1:s390x (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 ... 12216 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 ... 12216 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.6-2build1_s390x.deb ... Unpacking libsemanage1:s390x (2.6-2build1) over (2.6-2) ... Setting up libsemanage1:s390x (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 ... 12216 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.2-3.2ubuntu2_s390x.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 ... 12216 files and directories currently installed.) Preparing to unpack .../libuuid1_2.29-1ubuntu3_s390x.deb ... Unpacking libuuid1:s390x (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libuuid1:s390x (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 ... 12216 files and directories currently installed.) Preparing to unpack .../libblkid1_2.29-1ubuntu3_s390x.deb ... Unpacking libblkid1:s390x (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libblkid1:s390x (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 ... 12216 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.7.7-2_s390x.deb ... Unpacking libgcrypt20:s390x (1.7.7-2) over (1.7.6-1) ... Setting up libgcrypt20:s390x (1.7.7-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 ... 12216 files and directories currently installed.) Preparing to unpack .../libkmod2_24-1ubuntu1_s390x.deb ... Unpacking libkmod2:s390x (24-1ubuntu1) over (22-1.1ubuntu1) ... Preparing to unpack .../libmount1_2.29-1ubuntu3_s390x.deb ... Unpacking libmount1:s390x (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libmount1:s390x (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 ... 12216 files and directories currently installed.) Preparing to unpack .../systemd_233-8ubuntu1_s390x.deb ... Unpacking systemd (233-8ubuntu1) 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-8ubuntu1_s390x.deb ... Unpacking libsystemd0:s390x (233-8ubuntu1) over (232-21ubuntu3) ... Setting up libsystemd0:s390x (233-8ubuntu1) ... (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 ... 12242 files and directories currently installed.) Preparing to unpack .../archives/init_1.48_s390x.deb ... Unpacking init (1.48) over (1.47) ... Setting up libapparmor1:s390x (2.11.0-2ubuntu8) ... Setting up libip4tc0:s390x (1.6.0+snapshot20161117-6ubuntu1) ... Setting up libkmod2:s390x (24-1ubuntu1) ... Setting up systemd (233-8ubuntu1) ... 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 ... 12242 files and directories currently installed.) Preparing to unpack .../systemd-sysv_233-8ubuntu1_s390x.deb ... Unpacking systemd-sysv (233-8ubuntu1) over (232-21ubuntu3) ... Preparing to unpack .../libfdisk1_2.29-1ubuntu3_s390x.deb ... Unpacking libfdisk1:s390x (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libfdisk1:s390x (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 ... 12242 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.29-1ubuntu3_s390x.deb ... Unpacking libsmartcols1:s390x (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libsmartcols1:s390x (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 ... 12242 files and directories currently installed.) Preparing to unpack .../libudev1_233-8ubuntu1_s390x.deb ... Unpacking libudev1:s390x (233-8ubuntu1) over (232-21ubuntu3) ... Setting up libudev1:s390x (233-8ubuntu1) ... (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 ... 12242 files and directories currently installed.) Preparing to unpack .../00-libdevmapper1.02.1_2%3a1.02.137-2ubuntu2_s390x.deb ... Unpacking libdevmapper1.02.1:s390x (2:1.02.137-2ubuntu2) over (2:1.02.136-1ubuntu5) ... Preparing to unpack .../01-dmsetup_2%3a1.02.137-2ubuntu2_s390x.deb ... Unpacking dmsetup (2:1.02.137-2ubuntu2) over (2:1.02.136-1ubuntu5) ... Preparing to unpack .../02-libroken18-heimdal_7.1.0+dfsg-13_s390x.deb ... Unpacking libroken18-heimdal:s390x (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../03-libasn1-8-heimdal_7.1.0+dfsg-13_s390x.deb ... Unpacking libasn1-8-heimdal:s390x (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../04-libtasn1-6_4.12-2_s390x.deb ... Unpacking libtasn1-6:s390x (4.12-2) over (4.10-1) ... Preparing to unpack .../05-libgnutls30_3.5.8-6ubuntu1_s390x.deb ... Unpacking libgnutls30:s390x (3.5.8-6ubuntu1) over (3.5.6-4ubuntu4) ... Preparing to unpack .../06-libheimbase1-heimdal_7.1.0+dfsg-13_s390x.deb ... Unpacking libheimbase1-heimdal:s390x (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../07-libhcrypto4-heimdal_7.1.0+dfsg-13_s390x.deb ... Unpacking libhcrypto4-heimdal:s390x (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../08-libwind0-heimdal_7.1.0+dfsg-13_s390x.deb ... Unpacking libwind0-heimdal:s390x (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../09-libhx509-5-heimdal_7.1.0+dfsg-13_s390x.deb ... Unpacking libhx509-5-heimdal:s390x (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../10-libsqlite3-0_3.16.2-5_s390x.deb ... Unpacking libsqlite3-0:s390x (3.16.2-5) over (3.16.2-3) ... Preparing to unpack .../11-libkrb5-26-heimdal_7.1.0+dfsg-13_s390x.deb ... Unpacking libkrb5-26-heimdal:s390x (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../12-libheimntlm0-heimdal_7.1.0+dfsg-13_s390x.deb ... Unpacking libheimntlm0-heimdal:s390x (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../13-libgssapi3-heimdal_7.1.0+dfsg-13_s390x.deb ... Unpacking libgssapi3-heimdal:s390x (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../14-libldap-2.4-2_2.4.44+dfsg-5ubuntu1_s390x.deb ... Unpacking libldap-2.4-2:s390x (2.4.44+dfsg-5ubuntu1) over (2.4.44+dfsg-4ubuntu1) ... Preparing to unpack .../15-libldap-common_2.4.44+dfsg-5ubuntu1_all.deb ... Unpacking libldap-common (2.4.44+dfsg-5ubuntu1) over (2.4.44+dfsg-4ubuntu1) ... Preparing to unpack .../16-libssl1.0.0_1.0.2g-1ubuntu13_s390x.deb ... Unpacking libssl1.0.0:s390x (1.0.2g-1ubuntu13) over (1.0.2g-1ubuntu12) ... Preparing to unpack .../17-tzdata_2017b-2_all.deb ... Unpacking tzdata (2017b-2) over (2017b-1) ... Preparing to unpack .../18-apt-transport-https_1.4.6_s390x.deb ... Unpacking apt-transport-https (1.4.6) over (1.4.1ubuntu2) ... Preparing to unpack .../19-openssl_1.0.2g-1ubuntu13_s390x.deb ... Unpacking openssl (1.0.2g-1ubuntu13) over (1.0.2g-1ubuntu12) ... Preparing to unpack .../20-ca-certificates_20161130+nmu1_all.deb ... Unpacking ca-certificates (20161130+nmu1) over (20161130) ... Preparing to unpack .../21-libpng16-16_1.6.29-3_s390x.deb ... Unpacking libpng16-16:s390x (1.6.29-3) over (1.6.29-2) ... Preparing to unpack .../22-advancecomp_2.0-1_s390x.deb ... Unpacking advancecomp (2.0-1) over (1.20-1) ... Preparing to unpack .../23-binutils_2.28-6ubuntu1_s390x.deb ... Unpacking binutils (2.28-6ubuntu1) over (2.28-4ubuntu1) ... Preparing to unpack .../24-libgomp1_7.1.0-7ubuntu1_s390x.deb ... Unpacking libgomp1:s390x (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../25-libitm1_7.1.0-7ubuntu1_s390x.deb ... Unpacking libitm1:s390x (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../26-libatomic1_7.1.0-7ubuntu1_s390x.deb ... Unpacking libatomic1:s390x (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../27-g++-6_6.3.0-19ubuntu1_s390x.deb ... Unpacking g++-6 (6.3.0-19ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../28-libstdc++-6-dev_6.3.0-19ubuntu1_s390x.deb ... Unpacking libstdc++-6-dev:s390x (6.3.0-19ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../29-gcc-6_6.3.0-19ubuntu1_s390x.deb ... Unpacking gcc-6 (6.3.0-19ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../30-libgcc-6-dev_6.3.0-19ubuntu1_s390x.deb ... Unpacking libgcc-6-dev:s390x (6.3.0-19ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../31-libcc1-0_7.1.0-7ubuntu1_s390x.deb ... Unpacking libcc1-0:s390x (7.1.0-7ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../32-cpp-6_6.3.0-19ubuntu1_s390x.deb ... Unpacking cpp-6 (6.3.0-19ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../33-gcc-6-base_6.3.0-19ubuntu1_s390x.deb ... Unpacking gcc-6-base:s390x (6.3.0-19ubuntu1) over (6.3.0-14ubuntu3) ... Preparing to unpack .../34-dpkg-dev_1.18.24ubuntu1_all.deb ... Unpacking dpkg-dev (1.18.24ubuntu1) over (1.18.23ubuntu4) ... Preparing to unpack .../35-libdpkg-perl_1.18.24ubuntu1_all.deb ... Unpacking libdpkg-perl (1.18.24ubuntu1) over (1.18.23ubuntu4) ... Preparing to unpack .../36-libusb-0.1-4_2%3a0.1.12-31_s390x.deb ... Unpacking libusb-0.1-4:s390x (2:0.1.12-31) over (2:0.1.12-30) ... Preparing to unpack .../37-linux-libc-dev_4.11.0-8.13_s390x.deb ... Unpacking linux-libc-dev:s390x (4.11.0-8.13) over (4.10.0-20.22) ... Setting up libgomp1:s390x (7.1.0-7ubuntu1) ... Setting up libatomic1:s390x (7.1.0-7ubuntu1) ... Setting up perl-modules-5.24 (5.24.1-4ubuntu1) ... Setting up libperl5.24:s390x (5.24.1-4ubuntu1) ... Setting up libcc1-0:s390x (7.1.0-7ubuntu1) ... Setting up apt-transport-https (1.4.6) ... Setting up libssl1.0.0:s390x (1.0.2g-1ubuntu13) ... Setting up libpng16-16:s390x (1.6.29-3) ... Setting up libldap-common (2.4.44+dfsg-5ubuntu1) ... Setting up tzdata (2017b-2) ... Current default time zone: 'Etc/UTC' Local time is now: Sun Jun 25 08:13:08 UTC 2017. Universal Time is now: Sun Jun 25 08:13:08 UTC 2017. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up systemd-sysv (233-8ubuntu1) ... Setting up gcc-6-base:s390x (6.3.0-19ubuntu1) ... Setting up linux-libc-dev:s390x (4.11.0-8.13) ... Setting up advancecomp (2.0-1) ... Setting up libroken18-heimdal:s390x (7.1.0+dfsg-13) ... Setting up libdevmapper1.02.1:s390x (2:1.02.137-2ubuntu2) ... Setting up libtasn1-6:s390x (4.12-2) ... Setting up perl (5.24.1-4ubuntu1) ... Processing triggers for libc-bin (2.24-9ubuntu2) ... Setting up libheimbase1-heimdal:s390x (7.1.0+dfsg-13) ... Setting up openssl (1.0.2g-1ubuntu13) ... Setting up libsqlite3-0:s390x (3.16.2-5) ... 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:s390x (2:0.1.12-31) ... Setting up libitm1:s390x (7.1.0-7ubuntu1) ... Setting up libgcc-6-dev:s390x (6.3.0-19ubuntu1) ... Setting up libstdc++-6-dev:s390x (6.3.0-19ubuntu1) ... Setting up libwind0-heimdal:s390x (7.1.0+dfsg-13) ... Setting up init (1.48) ... Setting up libasn1-8-heimdal:s390x (7.1.0+dfsg-13) ... Setting up libhcrypto4-heimdal:s390x (7.1.0+dfsg-13) ... Setting up libgnutls30:s390x (3.5.8-6ubuntu1) ... Setting up libdpkg-perl (1.18.24ubuntu1) ... Setting up libhx509-5-heimdal:s390x (7.1.0+dfsg-13) ... 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-26-heimdal:s390x (7.1.0+dfsg-13) ... Setting up libheimntlm0-heimdal:s390x (7.1.0+dfsg-13) ... Setting up libgssapi3-heimdal:s390x (7.1.0+dfsg-13) ... Setting up libldap-2.4-2:s390x (2.4.44+dfsg-5ubuntu1) ... 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-12801871', 's390x', 'artful-proposed', '-c', 'chroot:autobuild', '--arch=s390x', '--dist=artful-proposed', '--purge=never', '--nolog', 'why3_0.87.3-2build1.dsc'] Initiating build PACKAGEBUILD-12801871 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-78-generic #99-Ubuntu SMP Thu Apr 27 15:28:53 UTC 2017 s390x sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on z13-017.buildd +==============================================================================+ | why3 0.87.3-2build1 (s390x) 25 Jun 2017 08:13 | +==============================================================================+ Package: why3 Version: 0.87.3-2build1 Source Version: 0.87.3-2build1 Distribution: artful-proposed Machine Architecture: s390x Host Architecture: s390x Build Architecture: s390x I: NOTICE: Log filtering will replace 'build/why3-OjCiID/why3-0.87.3' with '<>' I: NOTICE: Log filtering will replace 'build/why3-OjCiID' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-12801871/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- why3_0.87.3-2build1.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-svzDcG/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-svzDcG/apt_archive ./ InRelease Get:2 copy:/<>/resolver-svzDcG/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-svzDcG/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-svzDcG/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-svzDcG/apt_archive ./ Packages [526 B] Fetched 2859 B in 0s (0 B/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install core build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following 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 780 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-svzDcG/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [780 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 780 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 ... 12248 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_s390x.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: debhelper (>= 9), dh-ocaml, ocaml-nox (>= 3.11.2), menhir, libmenhir-ocaml-dev, libzarith-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtksourceview2-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libocamlgraph-ocaml-dev, coq, libcoq-ocaml-dev, tex-common Filtered Build-Depends: debhelper (>= 9), dh-ocaml, ocaml-nox (>= 3.11.2), menhir, libmenhir-ocaml-dev, libzarith-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtksourceview2-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libocamlgraph-ocaml-dev, coq, libcoq-ocaml-dev, tex-common dpkg-deb: building package 'sbuild-build-depends-why3-dummy' in '/<>/resolver-zDnG3u/apt_archive/sbuild-build-depends-why3-dummy.deb'. Ign:1 copy:/<>/resolver-zDnG3u/apt_archive ./ InRelease Get:2 copy:/<>/resolver-zDnG3u/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-zDnG3u/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-zDnG3u/apt_archive ./ Sources [299 B] Get:5 copy:/<>/resolver-zDnG3u/apt_archive ./ Packages [621 B] Fetched 3039 B in 0s (0 B/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install why3 build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following 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 libgmp-dev libgmp3-dev libgmpxx4ldbl libgraphite2-3 libgraphite2-dev libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.6-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 libmenhir-ocaml-dev libmpdec2 libncurses5-dev libocamlgraph-ocaml-dev libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.5-minimal libpython3.5-stdlib librsvg2-2 librsvg2-common libsigsegv2 libsm-dev libsm6 libsqlite3-dev libsqlite3-ocaml libsqlite3-ocaml-dev libtext-iconv-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml libzarith-ocaml-dev libzip-ocaml libzip-ocaml-dev m4 man-db menhir mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox pkg-config po-debconf python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.5 python3.5-minimal shared-mime-info tex-common ubuntu-mono ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev Suggested packages: aspell-doc spellutils autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation proofgeneral ledit | readline-editor why coq-doc dh-make git wordlist gettext-doc libasprintf-dev libgettextpo-dev groff libcairo2-doc cups-common libenchant-voikko glade | glade-gnome libglib2.0-doc gmp-doc libgmp10-doc libmpfr-dev gvfs libgtk2.0-doc libgtksourceview2.0-doc libice-doc icu-doc liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocaml-dev ncurses-doc imagemagick libpango1.0-doc librsvg2-bin libsm-doc sqlite3-doc libtool-doc gfortran | fortran95-compiler gcj-jdk libxcb-doc libxext-doc 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 libgmp-dev libgmp3-dev libgmpxx4ldbl libgraphite2-3 libgraphite2-dev libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.6-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 libmenhir-ocaml-dev libmpdec2 libncurses5-dev libocamlgraph-ocaml-dev libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1 libpixman-1-0 libpixman-1-dev libpng-dev libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.5-minimal libpython3.5-stdlib librsvg2-2 librsvg2-common libsigsegv2 libsm-dev libsm6 libsqlite3-dev libsqlite3-ocaml libsqlite3-ocaml-dev libtext-iconv-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml libzarith-ocaml-dev libzip-ocaml libzip-ocaml-dev m4 man-db menhir mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox pkg-config po-debconf python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.5 python3.5-minimal sbuild-build-depends-why3-dummy shared-mime-info tex-common ubuntu-mono ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev 0 upgraded, 226 newly installed, 1 to remove and 0 not upgraded. Need to get 144 MB of archives. After this operation, 726 MB of additional disk space will be used. Get:1 copy:/<>/resolver-zDnG3u/apt_archive ./ sbuild-build-depends-why3-dummy 0.invalid.0 [874 B] Get:2 http://ftpmaster.internal/ubuntu artful/main s390x libpython3.5-minimal s390x 3.5.3-3 [529 kB] Get:3 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libexpat1 s390x 2.2.1-2 [66.8 kB] Get:4 http://ftpmaster.internal/ubuntu artful/main s390x python3.5-minimal s390x 3.5.3-3 [1473 kB] Get:5 http://ftpmaster.internal/ubuntu artful/main s390x python3-minimal s390x 3.5.3-1ubuntu3 [23.4 kB] Get:6 http://ftpmaster.internal/ubuntu artful/main s390x mime-support all 3.60ubuntu1 [30.1 kB] Get:7 http://ftpmaster.internal/ubuntu artful/main s390x libmpdec2 s390x 2.4.2-1 [81.5 kB] Get:8 http://ftpmaster.internal/ubuntu artful/main s390x libpython3.5-stdlib s390x 3.5.3-3 [2108 kB] Get:9 http://ftpmaster.internal/ubuntu artful/main s390x python3.5 s390x 3.5.3-3 [179 kB] Get:10 http://ftpmaster.internal/ubuntu artful/main s390x libpython3-stdlib s390x 3.5.3-1ubuntu3 [6868 B] Get:11 http://ftpmaster.internal/ubuntu artful/main s390x dh-python all 2.20170125 [83.7 kB] Get:12 http://ftpmaster.internal/ubuntu artful/main s390x python3 s390x 3.5.3-1ubuntu3 [8710 B] Get:13 http://ftpmaster.internal/ubuntu artful/main s390x groff-base s390x 1.22.3-9 [1174 kB] Get:14 http://ftpmaster.internal/ubuntu artful/main s390x libbsd0 s390x 0.8.5-1 [41.0 kB] Get:15 http://ftpmaster.internal/ubuntu artful/main s390x bsdmainutils s390x 9.0.12ubuntu1 [179 kB] Get:16 http://ftpmaster.internal/ubuntu artful/main s390x libpipeline1 s390x 1.4.1-2 [24.8 kB] Get:17 http://ftpmaster.internal/ubuntu artful/main s390x man-db s390x 2.7.6.1-2 [887 kB] Get:18 http://ftpmaster.internal/ubuntu artful/main s390x fonts-dejavu-core all 2.37-1 [1041 kB] Get:19 http://ftpmaster.internal/ubuntu artful/main s390x ucf all 3.0036 [52.9 kB] Get:20 http://ftpmaster.internal/ubuntu artful/main s390x fontconfig-config all 2.11.94-0ubuntu2 [49.9 kB] Get:21 http://ftpmaster.internal/ubuntu artful/main s390x libfreetype6 s390x 2.6.3-3.2ubuntu1 [303 kB] Get:22 http://ftpmaster.internal/ubuntu artful/main s390x libfontconfig1 s390x 2.11.94-0ubuntu2 [127 kB] Get:23 http://ftpmaster.internal/ubuntu artful/main s390x fontconfig s390x 2.11.94-0ubuntu2 [178 kB] Get:24 http://ftpmaster.internal/ubuntu artful/main s390x libjpeg-turbo8 s390x 1.5.1-0ubuntu1 [103 kB] Get:25 http://ftpmaster.internal/ubuntu artful/main s390x libpcrecpp0v5 s390x 2:8.39-3 [14.4 kB] Get:26 http://ftpmaster.internal/ubuntu artful/main s390x libpython2.7-minimal s390x 2.7.13-2 [338 kB] Get:27 http://ftpmaster.internal/ubuntu artful/main s390x python2.7-minimal s390x 2.7.13-2 [1209 kB] Get:28 http://ftpmaster.internal/ubuntu artful/main s390x python-minimal s390x 2.7.13-2 [28.2 kB] Get:29 http://ftpmaster.internal/ubuntu artful/main s390x libpython2.7-stdlib s390x 2.7.13-2 [1837 kB] Get:30 http://ftpmaster.internal/ubuntu artful/main s390x python2.7 s390x 2.7.13-2 [229 kB] Get:31 http://ftpmaster.internal/ubuntu artful/main s390x libpython-stdlib s390x 2.7.13-2 [7776 B] Get:32 http://ftpmaster.internal/ubuntu artful/main s390x python s390x 2.7.13-2 [139 kB] Get:33 http://ftpmaster.internal/ubuntu artful/main s390x libmagic-mgc s390x 1:5.30-1 [182 kB] Get:34 http://ftpmaster.internal/ubuntu artful/main s390x libmagic1 s390x 1:5.30-1 [66.8 kB] Get:35 http://ftpmaster.internal/ubuntu artful/main s390x file s390x 1:5.30-1 [21.9 kB] Get:36 http://ftpmaster.internal/ubuntu artful/main s390x libdbus-1-3 s390x 1.10.18-1ubuntu2 [157 kB] Get:37 http://ftpmaster.internal/ubuntu artful/main s390x libelf1 s390x 0.166-2ubuntu1 [41.5 kB] Get:38 http://ftpmaster.internal/ubuntu artful/main s390x libtext-iconv-perl s390x 1.7-5build5 [12.6 kB] Get:39 http://ftpmaster.internal/ubuntu artful/main s390x gettext-base s390x 0.19.8.1-2ubuntu1 [47.7 kB] Get:40 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libglib2.0-0 s390x 2.53.2-1 [1067 kB] Get:41 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libgirepository-1.0-1 s390x 1.53.2-2 [78.3 kB] Get:42 http://ftpmaster.internal/ubuntu artful-proposed/main s390x gir1.2-glib-2.0 s390x 1.53.2-2 [128 kB] Get:43 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libglib2.0-data all 2.53.2-1 [5198 B] Get:44 http://ftpmaster.internal/ubuntu artful/main s390x libicu57 s390x 57.1-6 [7484 kB] Get:45 http://ftpmaster.internal/ubuntu artful/main s390x libxau6 s390x 1:1.0.8-1 [7420 B] Get:46 http://ftpmaster.internal/ubuntu artful/main s390x libxdmcp6 s390x 1:1.1.2-3 [10.7 kB] Get:47 http://ftpmaster.internal/ubuntu artful/main s390x libxcb1 s390x 1.11.1-1ubuntu1 [38.8 kB] Get:48 http://ftpmaster.internal/ubuntu artful/main s390x libx11-data all 2:1.6.4-3 [114 kB] Get:49 http://ftpmaster.internal/ubuntu artful/main s390x libx11-6 s390x 2:1.6.4-3 [546 kB] Get:50 http://ftpmaster.internal/ubuntu artful/main s390x libxext6 s390x 2:1.3.3-1 [27.8 kB] Get:51 http://ftpmaster.internal/ubuntu artful/main s390x libxml2 s390x 2.9.4+dfsg1-2.2ubuntu1 [626 kB] Get:52 http://ftpmaster.internal/ubuntu artful/main s390x shared-mime-info s390x 1.8-1 [419 kB] Get:53 http://ftpmaster.internal/ubuntu artful/main s390x hicolor-icon-theme all 0.15-1 [8378 B] Get:54 http://ftpmaster.internal/ubuntu artful/main s390x libjpeg8 s390x 8c-2ubuntu8 [2142 B] Get:55 http://ftpmaster.internal/ubuntu artful/main s390x libjbig0 s390x 2.1-3.1 [26.6 kB] Get:56 http://ftpmaster.internal/ubuntu artful/main s390x libtiff5 s390x 4.0.8-2 [140 kB] Get:57 http://ftpmaster.internal/ubuntu artful/main s390x libgdk-pixbuf2.0-common all 2.36.5-3 [4602 B] Get:58 http://ftpmaster.internal/ubuntu artful/main s390x libgdk-pixbuf2.0-0 s390x 2.36.5-3 [155 kB] Get:59 http://ftpmaster.internal/ubuntu artful/main s390x gtk-update-icon-cache s390x 3.22.15-0ubuntu2 [26.9 kB] Get:60 http://ftpmaster.internal/ubuntu artful/main s390x libpixman-1-0 s390x 0.34.0-1 [136 kB] Get:61 http://ftpmaster.internal/ubuntu artful/main s390x libxcb-render0 s390x 1.11.1-1ubuntu1 [11.4 kB] Get:62 http://ftpmaster.internal/ubuntu artful/main s390x libxcb-shm0 s390x 1.11.1-1ubuntu1 [5488 B] Get:63 http://ftpmaster.internal/ubuntu artful/main s390x libxrender1 s390x 1:0.9.10-1 [17.8 kB] Get:64 http://ftpmaster.internal/ubuntu artful/main s390x libcairo2 s390x 1.14.8-1 [513 kB] Get:65 http://ftpmaster.internal/ubuntu artful/main s390x libcroco3 s390x 0.6.11-3 [75.0 kB] Get:66 http://ftpmaster.internal/ubuntu artful/main s390x libthai-data all 0.1.26-1 [131 kB] Get:67 http://ftpmaster.internal/ubuntu artful/main s390x libdatrie1 s390x 0.2.10-4 [17.2 kB] Get:68 http://ftpmaster.internal/ubuntu artful/main s390x libthai0 s390x 0.1.26-1 [17.7 kB] Get:69 http://ftpmaster.internal/ubuntu artful/main s390x libpango-1.0-0 s390x 1.40.5-1 [145 kB] Get:70 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libgraphite2-3 s390x 1.3.10-2 [71.2 kB] Get:71 http://ftpmaster.internal/ubuntu artful/main s390x libharfbuzz0b s390x 1.4.2-1 [200 kB] Get:72 http://ftpmaster.internal/ubuntu artful/main s390x libpangoft2-1.0-0 s390x 1.40.5-1 [31.8 kB] Get:73 http://ftpmaster.internal/ubuntu artful/main s390x libpangocairo-1.0-0 s390x 1.40.5-1 [19.3 kB] Get:74 http://ftpmaster.internal/ubuntu artful/main s390x librsvg2-2 s390x 2.40.16-2~svn1 [86.3 kB] Get:75 http://ftpmaster.internal/ubuntu artful/main s390x librsvg2-common s390x 2.40.16-2~svn1 [5012 B] Get:76 http://ftpmaster.internal/ubuntu artful/main s390x humanity-icon-theme all 0.6.13 [1288 kB] Get:77 http://ftpmaster.internal/ubuntu artful/main s390x ubuntu-mono all 16.10+17.10.20170619-0ubuntu1 [160 kB] Get:78 http://ftpmaster.internal/ubuntu artful/main s390x adwaita-icon-theme all 3.24.0-0ubuntu1 [3423 kB] Get:79 http://ftpmaster.internal/ubuntu artful/main s390x libaspell15 s390x 0.60.7~20110707-3build2 [281 kB] Get:80 http://ftpmaster.internal/ubuntu artful/main s390x emacsen-common all 2.0.8 [17.6 kB] Get:81 http://ftpmaster.internal/ubuntu artful/main s390x dictionaries-common all 1.27.2 [186 kB] Get:82 http://ftpmaster.internal/ubuntu artful/main s390x aspell s390x 0.60.7~20110707-3build2 [74.3 kB] Get:83 http://ftpmaster.internal/ubuntu artful/main s390x aspell-en all 2016.11.20-0-0.1 [298 kB] Get:84 http://ftpmaster.internal/ubuntu artful/main s390x libsigsegv2 s390x 2.10-5 [13.5 kB] Get:85 http://ftpmaster.internal/ubuntu artful/main s390x m4 s390x 1.4.18-1 [195 kB] Get:86 http://ftpmaster.internal/ubuntu artful/main s390x autoconf all 2.69-10 [321 kB] Get:87 http://ftpmaster.internal/ubuntu artful/main s390x autotools-dev all 20161112.1 [39.5 kB] Get:88 http://ftpmaster.internal/ubuntu artful/main s390x automake all 1:1.15-6ubuntu1 [509 kB] Get:89 http://ftpmaster.internal/ubuntu artful/main s390x autopoint all 0.19.8.1-2ubuntu1 [411 kB] Get:90 http://ftpmaster.internal/ubuntu artful/universe s390x coq-theories s390x 8.6-4 [22.5 MB] Get:91 http://ftpmaster.internal/ubuntu artful/universe s390x ocaml-base-nox s390x 4.02.3-9ubuntu3 [366 kB] Get:92 http://ftpmaster.internal/ubuntu artful/main s390x libatk1.0-data all 2.22.0-1 [2844 B] Get:93 http://ftpmaster.internal/ubuntu artful/main s390x libatk1.0-0 s390x 2.22.0-1 [40.7 kB] Get:94 http://ftpmaster.internal/ubuntu artful/main s390x libgtk2.0-common all 2.24.31-1ubuntu1 [124 kB] Get:95 http://ftpmaster.internal/ubuntu artful/main s390x libavahi-common-data s390x 0.6.32-1ubuntu1 [22.0 kB] Get:96 http://ftpmaster.internal/ubuntu artful/main s390x libavahi-common3 s390x 0.6.32-1ubuntu1 [20.3 kB] Get:97 http://ftpmaster.internal/ubuntu artful/main s390x libavahi-client3 s390x 0.6.32-1ubuntu1 [22.7 kB] Get:98 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libcups2 s390x 2.2.3-2 [190 kB] Get:99 http://ftpmaster.internal/ubuntu artful/main s390x libxcomposite1 s390x 1:0.4.4-2 [6894 B] Get:100 http://ftpmaster.internal/ubuntu artful/main s390x libxfixes3 s390x 1:5.0.3-1 [10.4 kB] Get:101 http://ftpmaster.internal/ubuntu artful/main s390x libxcursor1 s390x 1:1.1.14-1 [20.1 kB] Get:102 http://ftpmaster.internal/ubuntu artful/main s390x libxdamage1 s390x 1:1.1.4-2 [6726 B] Get:103 http://ftpmaster.internal/ubuntu artful/main s390x libxi6 s390x 2:1.7.9-1 [27.5 kB] Get:104 http://ftpmaster.internal/ubuntu artful/main s390x libxinerama1 s390x 2:1.1.3-1 [7002 B] Get:105 http://ftpmaster.internal/ubuntu artful/main s390x libxrandr2 s390x 2:1.5.1-1 [17.7 kB] Get:106 http://ftpmaster.internal/ubuntu artful/main s390x libgtk2.0-0 s390x 2.24.31-1ubuntu1 [1617 kB] Get:107 http://ftpmaster.internal/ubuntu artful/main s390x libglade2-0 s390x 1:2.6.4-2 [41.8 kB] Get:108 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libhunspell-1.6-0 s390x 1.6.1-2 [142 kB] Get:109 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libenchant1c2a s390x 1.6.0-11build2 [60.9 kB] Get:110 http://ftpmaster.internal/ubuntu artful/main s390x libgtkspell0 s390x 2.0.16-1.1ubuntu1 [11.0 kB] Get:111 http://ftpmaster.internal/ubuntu artful/universe s390x liblablgtk2-ocaml s390x 2.18.3+dfsg-2 [240 kB] Get:112 http://ftpmaster.internal/ubuntu artful/universe s390x libgtksourceview2.0-common all 2.10.5-2ubuntu3 [434 kB] Get:113 http://ftpmaster.internal/ubuntu artful/universe s390x libgtksourceview2.0-0 s390x 2.10.5-2ubuntu3 [133 kB] Get:114 http://ftpmaster.internal/ubuntu artful/universe s390x liblablgtksourceview2-ocaml s390x 2.18.3+dfsg-2 [37.0 kB] Get:115 http://ftpmaster.internal/ubuntu artful/universe s390x libcoq-ocaml s390x 8.6-4 [2310 kB] Get:116 http://ftpmaster.internal/ubuntu artful/main s390x libtinfo-dev s390x 6.0+20160625-1ubuntu1 [80.1 kB] Get:117 http://ftpmaster.internal/ubuntu artful/main s390x libncurses5-dev s390x 6.0+20160625-1ubuntu1 [171 kB] Get:118 http://ftpmaster.internal/ubuntu artful/universe s390x ocaml-compiler-libs s390x 4.02.3-9ubuntu3 [6789 kB] Get:119 http://ftpmaster.internal/ubuntu artful/universe s390x ocaml-interp s390x 4.02.3-9ubuntu3 [271 kB] Get:120 http://ftpmaster.internal/ubuntu artful/universe s390x ocaml-nox s390x 4.02.3-9ubuntu3 [4461 kB] Get:121 http://ftpmaster.internal/ubuntu artful/universe s390x libfindlib-ocaml s390x 1.6.2-1 [108 kB] Get:122 http://ftpmaster.internal/ubuntu artful/universe s390x ocaml-findlib s390x 1.6.2-1 [174 kB] Get:123 http://ftpmaster.internal/ubuntu artful/universe s390x coq s390x 8.6-4 [18.9 MB] Get:124 http://ftpmaster.internal/ubuntu artful/main s390x libtool all 2.4.6-2 [194 kB] Get:125 http://ftpmaster.internal/ubuntu artful/main s390x dh-autoreconf all 14 [15.5 kB] Get:126 http://ftpmaster.internal/ubuntu artful/main s390x libarchive-zip-perl all 1.59-1 [84.0 kB] Get:127 http://ftpmaster.internal/ubuntu artful/main s390x libfile-stripnondeterminism-perl all 0.035-2 [13.3 kB] Get:128 http://ftpmaster.internal/ubuntu artful/main s390x libtimedate-perl all 2.3000-2 [37.5 kB] Get:129 http://ftpmaster.internal/ubuntu artful/main s390x dh-strip-nondeterminism all 0.035-2 [5018 B] Get:130 http://ftpmaster.internal/ubuntu artful/main s390x gettext s390x 0.19.8.1-2ubuntu1 [1051 kB] Get:131 http://ftpmaster.internal/ubuntu artful/main s390x intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:132 http://ftpmaster.internal/ubuntu artful/main s390x po-debconf all 1.0.20 [232 kB] Get:133 http://ftpmaster.internal/ubuntu artful/main s390x debhelper all 10.4ubuntu3 [876 kB] Get:134 http://ftpmaster.internal/ubuntu artful/main s390x gir1.2-atk-1.0 s390x 2.22.0-1 [17.6 kB] Get:135 http://ftpmaster.internal/ubuntu artful-proposed/main s390x gir1.2-freedesktop s390x 1.53.2-2 [8862 B] Get:136 http://ftpmaster.internal/ubuntu artful/main s390x gir1.2-gdkpixbuf-2.0 s390x 2.36.5-3 [8100 B] Get:137 http://ftpmaster.internal/ubuntu artful/main s390x libxft2 s390x 2.3.2-1 [36.7 kB] Get:138 http://ftpmaster.internal/ubuntu artful/main s390x libpangoxft-1.0-0 s390x 1.40.5-1 [14.4 kB] Get:139 http://ftpmaster.internal/ubuntu artful/main s390x gir1.2-pango-1.0 s390x 1.40.5-1 [21.4 kB] Get:140 http://ftpmaster.internal/ubuntu artful/main s390x gir1.2-gtk-2.0 s390x 2.24.31-1ubuntu1 [168 kB] Get:141 http://ftpmaster.internal/ubuntu artful/main s390x icu-devtools s390x 57.1-6 [164 kB] Get:142 http://ftpmaster.internal/ubuntu artful/main s390x pkg-config s390x 0.29.1-0ubuntu2 [44.0 kB] Get:143 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libglib2.0-bin s390x 2.53.2-1 [65.6 kB] Get:144 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libglib2.0-dev-bin s390x 2.53.2-1 [85.3 kB] Get:145 http://ftpmaster.internal/ubuntu artful/main s390x libpcre16-3 s390x 2:8.39-3 [79.2 kB] Get:146 http://ftpmaster.internal/ubuntu artful/main s390x libpcre32-3 s390x 2:8.39-3 [73.8 kB] Get:147 http://ftpmaster.internal/ubuntu artful/main s390x libpcre3-dev s390x 2:8.39-3 [374 kB] Get:148 http://ftpmaster.internal/ubuntu artful/main s390x zlib1g-dev s390x 1:1.2.11.dfsg-0ubuntu1 [170 kB] Get:149 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libglib2.0-dev s390x 2.53.2-1 [1310 kB] Get:150 http://ftpmaster.internal/ubuntu artful/main s390x libatk1.0-dev s390x 2.22.0-1 [79.0 kB] Get:151 http://ftpmaster.internal/ubuntu artful/main s390x libcairo-gobject2 s390x 1.14.8-1 [16.9 kB] Get:152 http://ftpmaster.internal/ubuntu artful/main s390x liblzo2-2 s390x 2.08-1.2 [44.6 kB] Get:153 http://ftpmaster.internal/ubuntu artful/main s390x libcairo-script-interpreter2 s390x 1.14.8-1 [50.6 kB] Get:154 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libexpat1-dev s390x 2.2.1-2 [119 kB] Get:155 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libpng-dev s390x 1.6.29-3 [139 kB] Get:156 http://ftpmaster.internal/ubuntu artful/main s390x libfreetype6-dev s390x 2.6.3-3.2ubuntu1 [5170 kB] Get:157 http://ftpmaster.internal/ubuntu artful/main s390x libfontconfig1-dev s390x 2.11.94-0ubuntu2 [656 kB] Get:158 http://ftpmaster.internal/ubuntu artful/main s390x xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:159 http://ftpmaster.internal/ubuntu artful/main s390x x11proto-core-dev all 7.0.31-1 [700 kB] Get:160 http://ftpmaster.internal/ubuntu artful/main s390x libxau-dev s390x 1:1.0.8-1 [9352 B] Get:161 http://ftpmaster.internal/ubuntu artful/main s390x libxdmcp-dev s390x 1:1.1.2-3 [25.1 kB] Get:162 http://ftpmaster.internal/ubuntu artful/main s390x x11proto-input-dev all 2.3.2-1 [118 kB] Get:163 http://ftpmaster.internal/ubuntu artful/main s390x x11proto-kb-dev all 1.0.7-1 [226 kB] Get:164 http://ftpmaster.internal/ubuntu artful/main s390x xtrans-dev all 1.3.5-1 [70.5 kB] Get:165 http://ftpmaster.internal/ubuntu artful/main s390x libpthread-stubs0-dev s390x 0.3-4 [3892 B] Get:166 http://ftpmaster.internal/ubuntu artful/main s390x libxcb1-dev s390x 1.11.1-1ubuntu1 [73.7 kB] Get:167 http://ftpmaster.internal/ubuntu artful/main s390x libx11-dev s390x 2:1.6.4-3 [608 kB] Get:168 http://ftpmaster.internal/ubuntu artful/main s390x x11proto-render-dev all 2:0.11.1-2 [20.1 kB] Get:169 http://ftpmaster.internal/ubuntu artful/main s390x libxrender-dev s390x 1:0.9.10-1 [24.1 kB] Get:170 http://ftpmaster.internal/ubuntu artful/main s390x x11proto-xext-dev all 7.3.0-1 [212 kB] Get:171 http://ftpmaster.internal/ubuntu artful/main s390x libxext-dev s390x 2:1.3.3-1 [81.1 kB] Get:172 http://ftpmaster.internal/ubuntu artful/main s390x x11-common all 1:7.7+19ubuntu1 [22.1 kB] Get:173 http://ftpmaster.internal/ubuntu artful/main s390x libice6 s390x 2:1.0.9-2 [36.9 kB] Get:174 http://ftpmaster.internal/ubuntu artful/main s390x libsm6 s390x 2:1.2.2-1 [15.3 kB] Get:175 http://ftpmaster.internal/ubuntu artful/main s390x libice-dev s390x 2:1.0.9-2 [44.3 kB] Get:176 http://ftpmaster.internal/ubuntu artful/main s390x libsm-dev s390x 2:1.2.2-1 [16.5 kB] Get:177 http://ftpmaster.internal/ubuntu artful/main s390x libpixman-1-dev s390x 0.34.0-1 [150 kB] Get:178 http://ftpmaster.internal/ubuntu artful/main s390x libxcb-render0-dev s390x 1.11.1-1ubuntu1 [15.4 kB] Get:179 http://ftpmaster.internal/ubuntu artful/main s390x libxcb-shm0-dev s390x 1.11.1-1ubuntu1 [6628 B] Get:180 http://ftpmaster.internal/ubuntu artful/main s390x libcairo2-dev s390x 1.14.8-1 [557 kB] Get:181 http://ftpmaster.internal/ubuntu artful/universe s390x camlp5 s390x 6.16-1 [565 kB] Get:182 http://ftpmaster.internal/ubuntu artful/main s390x libgdk-pixbuf2.0-dev s390x 2.36.5-3 [46.8 kB] Get:183 http://ftpmaster.internal/ubuntu artful/main s390x libharfbuzz-icu0 s390x 1.4.2-1 [5232 B] Get:184 http://ftpmaster.internal/ubuntu artful/main s390x libharfbuzz-gobject0 s390x 1.4.2-1 [12.7 kB] Get:185 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libgraphite2-dev s390x 1.3.10-2 [14.6 kB] Get:186 http://ftpmaster.internal/ubuntu artful/main s390x libicu-dev s390x 57.1-6 [16.9 MB] Get:187 http://ftpmaster.internal/ubuntu artful/main s390x libharfbuzz-dev s390x 1.4.2-1 [268 kB] Get:188 http://ftpmaster.internal/ubuntu artful/main s390x libxft-dev s390x 2.3.2-1 [47.5 kB] Get:189 http://ftpmaster.internal/ubuntu artful/main s390x libpango1.0-dev s390x 1.40.5-1 [279 kB] Get:190 http://ftpmaster.internal/ubuntu artful/main s390x x11proto-xinerama-dev all 1.2.1-2 [4966 B] Get:191 http://ftpmaster.internal/ubuntu artful/main s390x libxinerama-dev s390x 2:1.1.3-1 [7660 B] Get:192 http://ftpmaster.internal/ubuntu artful/main s390x x11proto-fixes-dev all 1:5.0-2ubuntu2 [14.2 kB] Get:193 http://ftpmaster.internal/ubuntu artful/main s390x libxfixes-dev s390x 1:5.0.3-1 [10.7 kB] Get:194 http://ftpmaster.internal/ubuntu artful/main s390x libxi-dev s390x 2:1.7.9-1 [184 kB] Get:195 http://ftpmaster.internal/ubuntu artful/main s390x x11proto-randr-dev all 1.5.0-1 [33.7 kB] Get:196 http://ftpmaster.internal/ubuntu artful/main s390x libxrandr-dev s390x 2:1.5.1-1 [23.9 kB] Get:197 http://ftpmaster.internal/ubuntu artful/main s390x libxcursor-dev s390x 1:1.1.14-1 [26.7 kB] Get:198 http://ftpmaster.internal/ubuntu artful/main s390x x11proto-composite-dev all 1:0.4.2-2 [10.5 kB] Get:199 http://ftpmaster.internal/ubuntu artful/main s390x libxcomposite-dev s390x 1:0.4.4-2 [9096 B] Get:200 http://ftpmaster.internal/ubuntu artful/main s390x x11proto-damage-dev all 1:1.2.1-2 [8286 B] Get:201 http://ftpmaster.internal/ubuntu artful/main s390x libxdamage-dev s390x 1:1.1.4-2 [4928 B] Get:202 http://ftpmaster.internal/ubuntu artful/main s390x libxml2-utils s390x 2.9.4+dfsg1-2.2ubuntu1 [34.3 kB] Get:203 http://ftpmaster.internal/ubuntu artful/main s390x libgtk2.0-dev s390x 2.24.31-1ubuntu1 [2543 kB] Get:204 http://ftpmaster.internal/ubuntu artful/main s390x libxml2-dev s390x 2.9.4+dfsg1-2.2ubuntu1 [687 kB] Get:205 http://ftpmaster.internal/ubuntu artful/main s390x libglade2-dev s390x 1:2.6.4-2 [71.2 kB] Get:206 http://ftpmaster.internal/ubuntu artful-proposed/main s390x libenchant-dev s390x 1.6.0-11build2 [50.5 kB] Get:207 http://ftpmaster.internal/ubuntu artful/main s390x libgtkspell-dev s390x 2.0.16-1.1ubuntu1 [24.4 kB] Get:208 http://ftpmaster.internal/ubuntu artful/universe s390x liblablgtk2-ocaml-dev s390x 2.18.3+dfsg-2 [947 kB] Get:209 http://ftpmaster.internal/ubuntu artful/universe s390x libgtksourceview2.0-dev s390x 2.10.5-2ubuntu3 [160 kB] Get:210 http://ftpmaster.internal/ubuntu artful/universe s390x liblablgtksourceview2-ocaml-dev s390x 2.18.3+dfsg-2 [70.0 kB] Get:211 http://ftpmaster.internal/ubuntu artful/universe s390x libcoq-ocaml-dev s390x 8.6-4 [9956 kB] Get:212 http://ftpmaster.internal/ubuntu artful/main s390x libgmpxx4ldbl s390x 2:6.1.2+dfsg-1 [8794 B] Get:213 http://ftpmaster.internal/ubuntu artful/main s390x libgmp-dev s390x 2:6.1.2+dfsg-1 [304 kB] Get:214 http://ftpmaster.internal/ubuntu artful/main s390x libgmp3-dev s390x 2:6.1.2+dfsg-1 [1918 B] Get:215 http://ftpmaster.internal/ubuntu artful-proposed/universe s390x libmenhir-ocaml-dev s390x 20170607.dfsg-2 [121 kB] Get:216 http://ftpmaster.internal/ubuntu artful/universe s390x libocamlgraph-ocaml-dev s390x 1.8.6-1build2 [887 kB] Get:217 http://ftpmaster.internal/ubuntu artful/main s390x libsqlite3-dev s390x 3.16.2-5 [588 kB] Get:218 http://ftpmaster.internal/ubuntu artful/universe s390x libzarith-ocaml s390x 1.4.1-2 [25.3 kB] Get:219 http://ftpmaster.internal/ubuntu artful/universe s390x libzarith-ocaml-dev s390x 1.4.1-2 [33.6 kB] Get:220 http://ftpmaster.internal/ubuntu artful/universe s390x libzip-ocaml s390x 1.06-2 [50.5 kB] Get:221 http://ftpmaster.internal/ubuntu artful/universe s390x libzip-ocaml-dev s390x 1.06-2 [21.1 kB] Get:222 http://ftpmaster.internal/ubuntu artful-proposed/universe s390x menhir s390x 20170607.dfsg-2 [1313 kB] Get:223 http://ftpmaster.internal/ubuntu artful/main s390x tex-common all 6.06 [545 kB] Get:224 http://ftpmaster.internal/ubuntu artful/universe s390x dh-ocaml all 1.0.10 [80.2 kB] Get:225 http://ftpmaster.internal/ubuntu artful/universe s390x libsqlite3-ocaml s390x 4.0.5-1 [23.4 kB] Get:226 http://ftpmaster.internal/ubuntu artful/universe s390x libsqlite3-ocaml-dev s390x 4.0.5-1 [66.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 144 MB in 33s (4347 kB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12248 files and directories currently installed.) Removing pkg-create-dbgsym (0.73) ... Selecting previously unselected package libpython3.5-minimal:s390x. (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 ... 12239 files and directories currently installed.) Preparing to unpack .../0-libpython3.5-minimal_3.5.3-3_s390x.deb ... Unpacking libpython3.5-minimal:s390x (3.5.3-3) ... Selecting previously unselected package libexpat1:s390x. Preparing to unpack .../1-libexpat1_2.2.1-2_s390x.deb ... Unpacking libexpat1:s390x (2.2.1-2) ... Selecting previously unselected package python3.5-minimal. Preparing to unpack .../2-python3.5-minimal_3.5.3-3_s390x.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_s390x.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:s390x. Preparing to unpack .../5-libmpdec2_2.4.2-1_s390x.deb ... Unpacking libmpdec2:s390x (2.4.2-1) ... Selecting previously unselected package libpython3.5-stdlib:s390x. Preparing to unpack .../6-libpython3.5-stdlib_3.5.3-3_s390x.deb ... Unpacking libpython3.5-stdlib:s390x (3.5.3-3) ... Selecting previously unselected package python3.5. Preparing to unpack .../7-python3.5_3.5.3-3_s390x.deb ... Unpacking python3.5 (3.5.3-3) ... Selecting previously unselected package libpython3-stdlib:s390x. Preparing to unpack .../8-libpython3-stdlib_3.5.3-1ubuntu3_s390x.deb ... Unpacking libpython3-stdlib:s390x (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:s390x (3.5.3-3) ... Setting up libexpat1:s390x (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 ... 13191 files and directories currently installed.) Preparing to unpack .../00-python3_3.5.3-1ubuntu3_s390x.deb ... Unpacking python3 (3.5.3-1ubuntu3) ... Selecting previously unselected package groff-base. Preparing to unpack .../01-groff-base_1.22.3-9_s390x.deb ... Unpacking groff-base (1.22.3-9) ... Selecting previously unselected package libbsd0:s390x. Preparing to unpack .../02-libbsd0_0.8.5-1_s390x.deb ... Unpacking libbsd0:s390x (0.8.5-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../03-bsdmainutils_9.0.12ubuntu1_s390x.deb ... Unpacking bsdmainutils (9.0.12ubuntu1) ... Selecting previously unselected package libpipeline1:s390x. Preparing to unpack .../04-libpipeline1_1.4.1-2_s390x.deb ... Unpacking libpipeline1:s390x (1.4.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.7.6.1-2_s390x.deb ... Unpacking man-db (2.7.6.1-2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../06-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package ucf. Preparing to unpack .../07-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 .../08-fontconfig-config_2.11.94-0ubuntu2_all.deb ... Unpacking fontconfig-config (2.11.94-0ubuntu2) ... Selecting previously unselected package libfreetype6:s390x. Preparing to unpack .../09-libfreetype6_2.6.3-3.2ubuntu1_s390x.deb ... Unpacking libfreetype6:s390x (2.6.3-3.2ubuntu1) ... Selecting previously unselected package libfontconfig1:s390x. Preparing to unpack .../10-libfontconfig1_2.11.94-0ubuntu2_s390x.deb ... Unpacking libfontconfig1:s390x (2.11.94-0ubuntu2) ... Selecting previously unselected package fontconfig. Preparing to unpack .../11-fontconfig_2.11.94-0ubuntu2_s390x.deb ... Unpacking fontconfig (2.11.94-0ubuntu2) ... Selecting previously unselected package libjpeg-turbo8:s390x. Preparing to unpack .../12-libjpeg-turbo8_1.5.1-0ubuntu1_s390x.deb ... Unpacking libjpeg-turbo8:s390x (1.5.1-0ubuntu1) ... Selecting previously unselected package libpcrecpp0v5:s390x. Preparing to unpack .../13-libpcrecpp0v5_2%3a8.39-3_s390x.deb ... Unpacking libpcrecpp0v5:s390x (2:8.39-3) ... Selecting previously unselected package libpython2.7-minimal:s390x. Preparing to unpack .../14-libpython2.7-minimal_2.7.13-2_s390x.deb ... Unpacking libpython2.7-minimal:s390x (2.7.13-2) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../15-python2.7-minimal_2.7.13-2_s390x.deb ... Unpacking python2.7-minimal (2.7.13-2) ... Selecting previously unselected package python-minimal. Preparing to unpack .../16-python-minimal_2.7.13-2_s390x.deb ... Unpacking python-minimal (2.7.13-2) ... Selecting previously unselected package libpython2.7-stdlib:s390x. Preparing to unpack .../17-libpython2.7-stdlib_2.7.13-2_s390x.deb ... Unpacking libpython2.7-stdlib:s390x (2.7.13-2) ... Selecting previously unselected package python2.7. Preparing to unpack .../18-python2.7_2.7.13-2_s390x.deb ... Unpacking python2.7 (2.7.13-2) ... Selecting previously unselected package libpython-stdlib:s390x. Preparing to unpack .../19-libpython-stdlib_2.7.13-2_s390x.deb ... Unpacking libpython-stdlib:s390x (2.7.13-2) ... Setting up libpython2.7-minimal:s390x (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 ... 14645 files and directories currently installed.) Preparing to unpack .../000-python_2.7.13-2_s390x.deb ... Unpacking python (2.7.13-2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../001-libmagic-mgc_1%3a5.30-1_s390x.deb ... Unpacking libmagic-mgc (1:5.30-1) ... Selecting previously unselected package libmagic1:s390x. Preparing to unpack .../002-libmagic1_1%3a5.30-1_s390x.deb ... Unpacking libmagic1:s390x (1:5.30-1) ... Selecting previously unselected package file. Preparing to unpack .../003-file_1%3a5.30-1_s390x.deb ... Unpacking file (1:5.30-1) ... Selecting previously unselected package libdbus-1-3:s390x. Preparing to unpack .../004-libdbus-1-3_1.10.18-1ubuntu2_s390x.deb ... Unpacking libdbus-1-3:s390x (1.10.18-1ubuntu2) ... Selecting previously unselected package libelf1:s390x. Preparing to unpack .../005-libelf1_0.166-2ubuntu1_s390x.deb ... Unpacking libelf1:s390x (0.166-2ubuntu1) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../006-libtext-iconv-perl_1.7-5build5_s390x.deb ... Unpacking libtext-iconv-perl (1.7-5build5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../007-gettext-base_0.19.8.1-2ubuntu1_s390x.deb ... Unpacking gettext-base (0.19.8.1-2ubuntu1) ... Selecting previously unselected package libglib2.0-0:s390x. Preparing to unpack .../008-libglib2.0-0_2.53.2-1_s390x.deb ... Unpacking libglib2.0-0:s390x (2.53.2-1) ... Selecting previously unselected package libgirepository-1.0-1:s390x. Preparing to unpack .../009-libgirepository-1.0-1_1.53.2-2_s390x.deb ... Unpacking libgirepository-1.0-1:s390x (1.53.2-2) ... Selecting previously unselected package gir1.2-glib-2.0:s390x. Preparing to unpack .../010-gir1.2-glib-2.0_1.53.2-2_s390x.deb ... Unpacking gir1.2-glib-2.0:s390x (1.53.2-2) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../011-libglib2.0-data_2.53.2-1_all.deb ... Unpacking libglib2.0-data (2.53.2-1) ... Selecting previously unselected package libicu57:s390x. Preparing to unpack .../012-libicu57_57.1-6_s390x.deb ... Unpacking libicu57:s390x (57.1-6) ... Selecting previously unselected package libxau6:s390x. Preparing to unpack .../013-libxau6_1%3a1.0.8-1_s390x.deb ... Unpacking libxau6:s390x (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:s390x. Preparing to unpack .../014-libxdmcp6_1%3a1.1.2-3_s390x.deb ... Unpacking libxdmcp6:s390x (1:1.1.2-3) ... Selecting previously unselected package libxcb1:s390x. Preparing to unpack .../015-libxcb1_1.11.1-1ubuntu1_s390x.deb ... Unpacking libxcb1:s390x (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../016-libx11-data_2%3a1.6.4-3_all.deb ... Unpacking libx11-data (2:1.6.4-3) ... Selecting previously unselected package libx11-6:s390x. Preparing to unpack .../017-libx11-6_2%3a1.6.4-3_s390x.deb ... Unpacking libx11-6:s390x (2:1.6.4-3) ... Selecting previously unselected package libxext6:s390x. Preparing to unpack .../018-libxext6_2%3a1.3.3-1_s390x.deb ... Unpacking libxext6:s390x (2:1.3.3-1) ... Selecting previously unselected package libxml2:s390x. Preparing to unpack .../019-libxml2_2.9.4+dfsg1-2.2ubuntu1_s390x.deb ... Unpacking libxml2:s390x (2.9.4+dfsg1-2.2ubuntu1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../020-shared-mime-info_1.8-1_s390x.deb ... Unpacking shared-mime-info (1.8-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../021-hicolor-icon-theme_0.15-1_all.deb ... Unpacking hicolor-icon-theme (0.15-1) ... Selecting previously unselected package libjpeg8:s390x. Preparing to unpack .../022-libjpeg8_8c-2ubuntu8_s390x.deb ... Unpacking libjpeg8:s390x (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:s390x. Preparing to unpack .../023-libjbig0_2.1-3.1_s390x.deb ... Unpacking libjbig0:s390x (2.1-3.1) ... Selecting previously unselected package libtiff5:s390x. Preparing to unpack .../024-libtiff5_4.0.8-2_s390x.deb ... Unpacking libtiff5:s390x (4.0.8-2) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../025-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:s390x. Preparing to unpack .../026-libgdk-pixbuf2.0-0_2.36.5-3_s390x.deb ... Unpacking libgdk-pixbuf2.0-0:s390x (2.36.5-3) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../027-gtk-update-icon-cache_3.22.15-0ubuntu2_s390x.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 libpixman-1-0:s390x. Preparing to unpack .../028-libpixman-1-0_0.34.0-1_s390x.deb ... Unpacking libpixman-1-0:s390x (0.34.0-1) ... Selecting previously unselected package libxcb-render0:s390x. Preparing to unpack .../029-libxcb-render0_1.11.1-1ubuntu1_s390x.deb ... Unpacking libxcb-render0:s390x (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-shm0:s390x. Preparing to unpack .../030-libxcb-shm0_1.11.1-1ubuntu1_s390x.deb ... Unpacking libxcb-shm0:s390x (1.11.1-1ubuntu1) ... Selecting previously unselected package libxrender1:s390x. Preparing to unpack .../031-libxrender1_1%3a0.9.10-1_s390x.deb ... Unpacking libxrender1:s390x (1:0.9.10-1) ... Selecting previously unselected package libcairo2:s390x. Preparing to unpack .../032-libcairo2_1.14.8-1_s390x.deb ... Unpacking libcairo2:s390x (1.14.8-1) ... Selecting previously unselected package libcroco3:s390x. Preparing to unpack .../033-libcroco3_0.6.11-3_s390x.deb ... Unpacking libcroco3:s390x (0.6.11-3) ... Selecting previously unselected package libthai-data. Preparing to unpack .../034-libthai-data_0.1.26-1_all.deb ... Unpacking libthai-data (0.1.26-1) ... Selecting previously unselected package libdatrie1:s390x. Preparing to unpack .../035-libdatrie1_0.2.10-4_s390x.deb ... Unpacking libdatrie1:s390x (0.2.10-4) ... Selecting previously unselected package libthai0:s390x. Preparing to unpack .../036-libthai0_0.1.26-1_s390x.deb ... Unpacking libthai0:s390x (0.1.26-1) ... Selecting previously unselected package libpango-1.0-0:s390x. Preparing to unpack .../037-libpango-1.0-0_1.40.5-1_s390x.deb ... Unpacking libpango-1.0-0:s390x (1.40.5-1) ... Selecting previously unselected package libgraphite2-3:s390x. Preparing to unpack .../038-libgraphite2-3_1.3.10-2_s390x.deb ... Unpacking libgraphite2-3:s390x (1.3.10-2) ... Selecting previously unselected package libharfbuzz0b:s390x. Preparing to unpack .../039-libharfbuzz0b_1.4.2-1_s390x.deb ... Unpacking libharfbuzz0b:s390x (1.4.2-1) ... Selecting previously unselected package libpangoft2-1.0-0:s390x. Preparing to unpack .../040-libpangoft2-1.0-0_1.40.5-1_s390x.deb ... Unpacking libpangoft2-1.0-0:s390x (1.40.5-1) ... Selecting previously unselected package libpangocairo-1.0-0:s390x. Preparing to unpack .../041-libpangocairo-1.0-0_1.40.5-1_s390x.deb ... Unpacking libpangocairo-1.0-0:s390x (1.40.5-1) ... Selecting previously unselected package librsvg2-2:s390x. Preparing to unpack .../042-librsvg2-2_2.40.16-2~svn1_s390x.deb ... Unpacking librsvg2-2:s390x (2.40.16-2~svn1) ... Selecting previously unselected package librsvg2-common:s390x. Preparing to unpack .../043-librsvg2-common_2.40.16-2~svn1_s390x.deb ... Unpacking librsvg2-common:s390x (2.40.16-2~svn1) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../044-humanity-icon-theme_0.6.13_all.deb ... Unpacking humanity-icon-theme (0.6.13) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../045-ubuntu-mono_16.10+17.10.20170619-0ubuntu1_all.deb ... Unpacking ubuntu-mono (16.10+17.10.20170619-0ubuntu1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../046-adwaita-icon-theme_3.24.0-0ubuntu1_all.deb ... Unpacking adwaita-icon-theme (3.24.0-0ubuntu1) ... Selecting previously unselected package libaspell15:s390x. Preparing to unpack .../047-libaspell15_0.60.7~20110707-3build2_s390x.deb ... Unpacking libaspell15:s390x (0.60.7~20110707-3build2) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../048-emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../049-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 .../050-aspell_0.60.7~20110707-3build2_s390x.deb ... Unpacking aspell (0.60.7~20110707-3build2) ... Selecting previously unselected package aspell-en. Preparing to unpack .../051-aspell-en_2016.11.20-0-0.1_all.deb ... Unpacking aspell-en (2016.11.20-0-0.1) ... Selecting previously unselected package libsigsegv2:s390x. Preparing to unpack .../052-libsigsegv2_2.10-5_s390x.deb ... Unpacking libsigsegv2:s390x (2.10-5) ... Selecting previously unselected package m4. Preparing to unpack .../053-m4_1.4.18-1_s390x.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../054-autoconf_2.69-10_all.deb ... Unpacking autoconf (2.69-10) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../055-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../056-automake_1%3a1.15-6ubuntu1_all.deb ... Unpacking automake (1:1.15-6ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../057-autopoint_0.19.8.1-2ubuntu1_all.deb ... Unpacking autopoint (0.19.8.1-2ubuntu1) ... Selecting previously unselected package coq-theories. Preparing to unpack .../058-coq-theories_8.6-4_s390x.deb ... Unpacking coq-theories (8.6-4) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../059-ocaml-base-nox_4.02.3-9ubuntu3_s390x.deb ... Unpacking ocaml-base-nox (4.02.3-9ubuntu3) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../060-libatk1.0-data_2.22.0-1_all.deb ... Unpacking libatk1.0-data (2.22.0-1) ... Selecting previously unselected package libatk1.0-0:s390x. Preparing to unpack .../061-libatk1.0-0_2.22.0-1_s390x.deb ... Unpacking libatk1.0-0:s390x (2.22.0-1) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../062-libgtk2.0-common_2.24.31-1ubuntu1_all.deb ... Unpacking libgtk2.0-common (2.24.31-1ubuntu1) ... Selecting previously unselected package libavahi-common-data:s390x. Preparing to unpack .../063-libavahi-common-data_0.6.32-1ubuntu1_s390x.deb ... Unpacking libavahi-common-data:s390x (0.6.32-1ubuntu1) ... Selecting previously unselected package libavahi-common3:s390x. Preparing to unpack .../064-libavahi-common3_0.6.32-1ubuntu1_s390x.deb ... Unpacking libavahi-common3:s390x (0.6.32-1ubuntu1) ... Selecting previously unselected package libavahi-client3:s390x. Preparing to unpack .../065-libavahi-client3_0.6.32-1ubuntu1_s390x.deb ... Unpacking libavahi-client3:s390x (0.6.32-1ubuntu1) ... Selecting previously unselected package libcups2:s390x. Preparing to unpack .../066-libcups2_2.2.3-2_s390x.deb ... Unpacking libcups2:s390x (2.2.3-2) ... Selecting previously unselected package libxcomposite1:s390x. Preparing to unpack .../067-libxcomposite1_1%3a0.4.4-2_s390x.deb ... Unpacking libxcomposite1:s390x (1:0.4.4-2) ... Selecting previously unselected package libxfixes3:s390x. Preparing to unpack .../068-libxfixes3_1%3a5.0.3-1_s390x.deb ... Unpacking libxfixes3:s390x (1:5.0.3-1) ... Selecting previously unselected package libxcursor1:s390x. Preparing to unpack .../069-libxcursor1_1%3a1.1.14-1_s390x.deb ... Unpacking libxcursor1:s390x (1:1.1.14-1) ... Selecting previously unselected package libxdamage1:s390x. Preparing to unpack .../070-libxdamage1_1%3a1.1.4-2_s390x.deb ... Unpacking libxdamage1:s390x (1:1.1.4-2) ... Selecting previously unselected package libxi6:s390x. Preparing to unpack .../071-libxi6_2%3a1.7.9-1_s390x.deb ... Unpacking libxi6:s390x (2:1.7.9-1) ... Selecting previously unselected package libxinerama1:s390x. Preparing to unpack .../072-libxinerama1_2%3a1.1.3-1_s390x.deb ... Unpacking libxinerama1:s390x (2:1.1.3-1) ... Selecting previously unselected package libxrandr2:s390x. Preparing to unpack .../073-libxrandr2_2%3a1.5.1-1_s390x.deb ... Unpacking libxrandr2:s390x (2:1.5.1-1) ... Selecting previously unselected package libgtk2.0-0:s390x. Preparing to unpack .../074-libgtk2.0-0_2.24.31-1ubuntu1_s390x.deb ... Unpacking libgtk2.0-0:s390x (2.24.31-1ubuntu1) ... Selecting previously unselected package libglade2-0:s390x. Preparing to unpack .../075-libglade2-0_1%3a2.6.4-2_s390x.deb ... Unpacking libglade2-0:s390x (1:2.6.4-2) ... Selecting previously unselected package libhunspell-1.6-0:s390x. Preparing to unpack .../076-libhunspell-1.6-0_1.6.1-2_s390x.deb ... Unpacking libhunspell-1.6-0:s390x (1.6.1-2) ... Selecting previously unselected package libenchant1c2a:s390x. Preparing to unpack .../077-libenchant1c2a_1.6.0-11build2_s390x.deb ... Unpacking libenchant1c2a:s390x (1.6.0-11build2) ... Selecting previously unselected package libgtkspell0. Preparing to unpack .../078-libgtkspell0_2.0.16-1.1ubuntu1_s390x.deb ... Unpacking libgtkspell0 (2.0.16-1.1ubuntu1) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../079-liblablgtk2-ocaml_2.18.3+dfsg-2_s390x.deb ... Unpacking liblablgtk2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package libgtksourceview2.0-common. Preparing to unpack .../080-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 .../081-libgtksourceview2.0-0_2.10.5-2ubuntu3_s390x.deb ... Unpacking libgtksourceview2.0-0 (2.10.5-2ubuntu3) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../082-liblablgtksourceview2-ocaml_2.18.3+dfsg-2_s390x.deb ... Unpacking liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../083-libcoq-ocaml_8.6-4_s390x.deb ... Unpacking libcoq-ocaml (8.6-4) ... Selecting previously unselected package libtinfo-dev:s390x. Preparing to unpack .../084-libtinfo-dev_6.0+20160625-1ubuntu1_s390x.deb ... Unpacking libtinfo-dev:s390x (6.0+20160625-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:s390x. Preparing to unpack .../085-libncurses5-dev_6.0+20160625-1ubuntu1_s390x.deb ... Unpacking libncurses5-dev:s390x (6.0+20160625-1ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../086-ocaml-compiler-libs_4.02.3-9ubuntu3_s390x.deb ... Unpacking ocaml-compiler-libs (4.02.3-9ubuntu3) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../087-ocaml-interp_4.02.3-9ubuntu3_s390x.deb ... Unpacking ocaml-interp (4.02.3-9ubuntu3) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../088-ocaml-nox_4.02.3-9ubuntu3_s390x.deb ... Unpacking ocaml-nox (4.02.3-9ubuntu3) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../089-libfindlib-ocaml_1.6.2-1_s390x.deb ... Unpacking libfindlib-ocaml (1.6.2-1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../090-ocaml-findlib_1.6.2-1_s390x.deb ... Unpacking ocaml-findlib (1.6.2-1) ... Selecting previously unselected package coq. Preparing to unpack .../091-coq_8.6-4_s390x.deb ... Unpacking coq (8.6-4) ... Selecting previously unselected package libtool. Preparing to unpack .../092-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../093-dh-autoreconf_14_all.deb ... Unpacking dh-autoreconf (14) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../094-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 .../095-libfile-stripnondeterminism-perl_0.035-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.035-2) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../096-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../097-dh-strip-nondeterminism_0.035-2_all.deb ... Unpacking dh-strip-nondeterminism (0.035-2) ... Selecting previously unselected package gettext. Preparing to unpack .../098-gettext_0.19.8.1-2ubuntu1_s390x.deb ... Unpacking gettext (0.19.8.1-2ubuntu1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../099-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 .../100-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../101-debhelper_10.4ubuntu3_all.deb ... Unpacking debhelper (10.4ubuntu3) ... Selecting previously unselected package gir1.2-atk-1.0:s390x. Preparing to unpack .../102-gir1.2-atk-1.0_2.22.0-1_s390x.deb ... Unpacking gir1.2-atk-1.0:s390x (2.22.0-1) ... Selecting previously unselected package gir1.2-freedesktop:s390x. Preparing to unpack .../103-gir1.2-freedesktop_1.53.2-2_s390x.deb ... Unpacking gir1.2-freedesktop:s390x (1.53.2-2) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0:s390x. Preparing to unpack .../104-gir1.2-gdkpixbuf-2.0_2.36.5-3_s390x.deb ... Unpacking gir1.2-gdkpixbuf-2.0:s390x (2.36.5-3) ... Selecting previously unselected package libxft2:s390x. Preparing to unpack .../105-libxft2_2.3.2-1_s390x.deb ... Unpacking libxft2:s390x (2.3.2-1) ... Selecting previously unselected package libpangoxft-1.0-0:s390x. Preparing to unpack .../106-libpangoxft-1.0-0_1.40.5-1_s390x.deb ... Unpacking libpangoxft-1.0-0:s390x (1.40.5-1) ... Selecting previously unselected package gir1.2-pango-1.0:s390x. Preparing to unpack .../107-gir1.2-pango-1.0_1.40.5-1_s390x.deb ... Unpacking gir1.2-pango-1.0:s390x (1.40.5-1) ... Selecting previously unselected package gir1.2-gtk-2.0. Preparing to unpack .../108-gir1.2-gtk-2.0_2.24.31-1ubuntu1_s390x.deb ... Unpacking gir1.2-gtk-2.0 (2.24.31-1ubuntu1) ... Selecting previously unselected package icu-devtools. Preparing to unpack .../109-icu-devtools_57.1-6_s390x.deb ... Unpacking icu-devtools (57.1-6) ... Selecting previously unselected package pkg-config. Preparing to unpack .../110-pkg-config_0.29.1-0ubuntu2_s390x.deb ... Unpacking pkg-config (0.29.1-0ubuntu2) ... Selecting previously unselected package libglib2.0-bin. Preparing to unpack .../111-libglib2.0-bin_2.53.2-1_s390x.deb ... Unpacking libglib2.0-bin (2.53.2-1) ... Selecting previously unselected package libglib2.0-dev-bin. Preparing to unpack .../112-libglib2.0-dev-bin_2.53.2-1_s390x.deb ... Unpacking libglib2.0-dev-bin (2.53.2-1) ... Selecting previously unselected package libpcre16-3:s390x. Preparing to unpack .../113-libpcre16-3_2%3a8.39-3_s390x.deb ... Unpacking libpcre16-3:s390x (2:8.39-3) ... Selecting previously unselected package libpcre32-3:s390x. Preparing to unpack .../114-libpcre32-3_2%3a8.39-3_s390x.deb ... Unpacking libpcre32-3:s390x (2:8.39-3) ... Selecting previously unselected package libpcre3-dev:s390x. Preparing to unpack .../115-libpcre3-dev_2%3a8.39-3_s390x.deb ... Unpacking libpcre3-dev:s390x (2:8.39-3) ... Selecting previously unselected package zlib1g-dev:s390x. Preparing to unpack .../116-zlib1g-dev_1%3a1.2.11.dfsg-0ubuntu1_s390x.deb ... Unpacking zlib1g-dev:s390x (1:1.2.11.dfsg-0ubuntu1) ... Selecting previously unselected package libglib2.0-dev:s390x. Preparing to unpack .../117-libglib2.0-dev_2.53.2-1_s390x.deb ... Unpacking libglib2.0-dev:s390x (2.53.2-1) ... Selecting previously unselected package libatk1.0-dev:s390x. Preparing to unpack .../118-libatk1.0-dev_2.22.0-1_s390x.deb ... Unpacking libatk1.0-dev:s390x (2.22.0-1) ... Selecting previously unselected package libcairo-gobject2:s390x. Preparing to unpack .../119-libcairo-gobject2_1.14.8-1_s390x.deb ... Unpacking libcairo-gobject2:s390x (1.14.8-1) ... Selecting previously unselected package liblzo2-2:s390x. Preparing to unpack .../120-liblzo2-2_2.08-1.2_s390x.deb ... Unpacking liblzo2-2:s390x (2.08-1.2) ... Selecting previously unselected package libcairo-script-interpreter2:s390x. Preparing to unpack .../121-libcairo-script-interpreter2_1.14.8-1_s390x.deb ... Unpacking libcairo-script-interpreter2:s390x (1.14.8-1) ... Selecting previously unselected package libexpat1-dev:s390x. Preparing to unpack .../122-libexpat1-dev_2.2.1-2_s390x.deb ... Unpacking libexpat1-dev:s390x (2.2.1-2) ... Selecting previously unselected package libpng-dev:s390x. Preparing to unpack .../123-libpng-dev_1.6.29-3_s390x.deb ... Unpacking libpng-dev:s390x (1.6.29-3) ... Selecting previously unselected package libfreetype6-dev:s390x. Preparing to unpack .../124-libfreetype6-dev_2.6.3-3.2ubuntu1_s390x.deb ... Unpacking libfreetype6-dev:s390x (2.6.3-3.2ubuntu1) ... Selecting previously unselected package libfontconfig1-dev:s390x. Preparing to unpack .../125-libfontconfig1-dev_2.11.94-0ubuntu2_s390x.deb ... Unpacking libfontconfig1-dev:s390x (2.11.94-0ubuntu2) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../126-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 .../127-x11proto-core-dev_7.0.31-1_all.deb ... Unpacking x11proto-core-dev (7.0.31-1) ... Selecting previously unselected package libxau-dev:s390x. Preparing to unpack .../128-libxau-dev_1%3a1.0.8-1_s390x.deb ... Unpacking libxau-dev:s390x (1:1.0.8-1) ... Selecting previously unselected package libxdmcp-dev:s390x. Preparing to unpack .../129-libxdmcp-dev_1%3a1.1.2-3_s390x.deb ... Unpacking libxdmcp-dev:s390x (1:1.1.2-3) ... Selecting previously unselected package x11proto-input-dev. Preparing to unpack .../130-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 .../131-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 .../132-xtrans-dev_1.3.5-1_all.deb ... Unpacking xtrans-dev (1.3.5-1) ... Selecting previously unselected package libpthread-stubs0-dev:s390x. Preparing to unpack .../133-libpthread-stubs0-dev_0.3-4_s390x.deb ... Unpacking libpthread-stubs0-dev:s390x (0.3-4) ... Selecting previously unselected package libxcb1-dev:s390x. Preparing to unpack .../134-libxcb1-dev_1.11.1-1ubuntu1_s390x.deb ... Unpacking libxcb1-dev:s390x (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-dev:s390x. Preparing to unpack .../135-libx11-dev_2%3a1.6.4-3_s390x.deb ... Unpacking libx11-dev:s390x (2:1.6.4-3) ... Selecting previously unselected package x11proto-render-dev. Preparing to unpack .../136-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:s390x. Preparing to unpack .../137-libxrender-dev_1%3a0.9.10-1_s390x.deb ... Unpacking libxrender-dev:s390x (1:0.9.10-1) ... Selecting previously unselected package x11proto-xext-dev. Preparing to unpack .../138-x11proto-xext-dev_7.3.0-1_all.deb ... Unpacking x11proto-xext-dev (7.3.0-1) ... Selecting previously unselected package libxext-dev:s390x. Preparing to unpack .../139-libxext-dev_2%3a1.3.3-1_s390x.deb ... Unpacking libxext-dev:s390x (2:1.3.3-1) ... Selecting previously unselected package x11-common. Preparing to unpack .../140-x11-common_1%3a7.7+19ubuntu1_all.deb ... Unpacking x11-common (1:7.7+19ubuntu1) ... Selecting previously unselected package libice6:s390x. Preparing to unpack .../141-libice6_2%3a1.0.9-2_s390x.deb ... Unpacking libice6:s390x (2:1.0.9-2) ... Selecting previously unselected package libsm6:s390x. Preparing to unpack .../142-libsm6_2%3a1.2.2-1_s390x.deb ... Unpacking libsm6:s390x (2:1.2.2-1) ... Selecting previously unselected package libice-dev:s390x. Preparing to unpack .../143-libice-dev_2%3a1.0.9-2_s390x.deb ... Unpacking libice-dev:s390x (2:1.0.9-2) ... Selecting previously unselected package libsm-dev:s390x. Preparing to unpack .../144-libsm-dev_2%3a1.2.2-1_s390x.deb ... Unpacking libsm-dev:s390x (2:1.2.2-1) ... Selecting previously unselected package libpixman-1-dev. Preparing to unpack .../145-libpixman-1-dev_0.34.0-1_s390x.deb ... Unpacking libpixman-1-dev (0.34.0-1) ... Selecting previously unselected package libxcb-render0-dev:s390x. Preparing to unpack .../146-libxcb-render0-dev_1.11.1-1ubuntu1_s390x.deb ... Unpacking libxcb-render0-dev:s390x (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-shm0-dev:s390x. Preparing to unpack .../147-libxcb-shm0-dev_1.11.1-1ubuntu1_s390x.deb ... Unpacking libxcb-shm0-dev:s390x (1.11.1-1ubuntu1) ... Selecting previously unselected package libcairo2-dev. Preparing to unpack .../148-libcairo2-dev_1.14.8-1_s390x.deb ... Unpacking libcairo2-dev (1.14.8-1) ... Selecting previously unselected package camlp5. Preparing to unpack .../149-camlp5_6.16-1_s390x.deb ... Unpacking camlp5 (6.16-1) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Preparing to unpack .../150-libgdk-pixbuf2.0-dev_2.36.5-3_s390x.deb ... Unpacking libgdk-pixbuf2.0-dev (2.36.5-3) ... Selecting previously unselected package libharfbuzz-icu0:s390x. Preparing to unpack .../151-libharfbuzz-icu0_1.4.2-1_s390x.deb ... Unpacking libharfbuzz-icu0:s390x (1.4.2-1) ... Selecting previously unselected package libharfbuzz-gobject0:s390x. Preparing to unpack .../152-libharfbuzz-gobject0_1.4.2-1_s390x.deb ... Unpacking libharfbuzz-gobject0:s390x (1.4.2-1) ... Selecting previously unselected package libgraphite2-dev. Preparing to unpack .../153-libgraphite2-dev_1.3.10-2_s390x.deb ... Unpacking libgraphite2-dev (1.3.10-2) ... Selecting previously unselected package libicu-dev. Preparing to unpack .../154-libicu-dev_57.1-6_s390x.deb ... Unpacking libicu-dev (57.1-6) ... Selecting previously unselected package libharfbuzz-dev:s390x. Preparing to unpack .../155-libharfbuzz-dev_1.4.2-1_s390x.deb ... Unpacking libharfbuzz-dev:s390x (1.4.2-1) ... Selecting previously unselected package libxft-dev. Preparing to unpack .../156-libxft-dev_2.3.2-1_s390x.deb ... Unpacking libxft-dev (2.3.2-1) ... Selecting previously unselected package libpango1.0-dev. Preparing to unpack .../157-libpango1.0-dev_1.40.5-1_s390x.deb ... Unpacking libpango1.0-dev (1.40.5-1) ... Selecting previously unselected package x11proto-xinerama-dev. Preparing to unpack .../158-x11proto-xinerama-dev_1.2.1-2_all.deb ... Unpacking x11proto-xinerama-dev (1.2.1-2) ... Selecting previously unselected package libxinerama-dev:s390x. Preparing to unpack .../159-libxinerama-dev_2%3a1.1.3-1_s390x.deb ... Unpacking libxinerama-dev:s390x (2:1.1.3-1) ... Selecting previously unselected package x11proto-fixes-dev. Preparing to unpack .../160-x11proto-fixes-dev_1%3a5.0-2ubuntu2_all.deb ... Unpacking x11proto-fixes-dev (1:5.0-2ubuntu2) ... Selecting previously unselected package libxfixes-dev:s390x. Preparing to unpack .../161-libxfixes-dev_1%3a5.0.3-1_s390x.deb ... Unpacking libxfixes-dev:s390x (1:5.0.3-1) ... Selecting previously unselected package libxi-dev:s390x. Preparing to unpack .../162-libxi-dev_2%3a1.7.9-1_s390x.deb ... Unpacking libxi-dev:s390x (2:1.7.9-1) ... Selecting previously unselected package x11proto-randr-dev. Preparing to unpack .../163-x11proto-randr-dev_1.5.0-1_all.deb ... Unpacking x11proto-randr-dev (1.5.0-1) ... Selecting previously unselected package libxrandr-dev:s390x. Preparing to unpack .../164-libxrandr-dev_2%3a1.5.1-1_s390x.deb ... Unpacking libxrandr-dev:s390x (2:1.5.1-1) ... Selecting previously unselected package libxcursor-dev:s390x. Preparing to unpack .../165-libxcursor-dev_1%3a1.1.14-1_s390x.deb ... Unpacking libxcursor-dev:s390x (1:1.1.14-1) ... Selecting previously unselected package x11proto-composite-dev. Preparing to unpack .../166-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:s390x. Preparing to unpack .../167-libxcomposite-dev_1%3a0.4.4-2_s390x.deb ... Unpacking libxcomposite-dev:s390x (1:0.4.4-2) ... Selecting previously unselected package x11proto-damage-dev. Preparing to unpack .../168-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:s390x. Preparing to unpack .../169-libxdamage-dev_1%3a1.1.4-2_s390x.deb ... Unpacking libxdamage-dev:s390x (1:1.1.4-2) ... Selecting previously unselected package libxml2-utils. Preparing to unpack .../170-libxml2-utils_2.9.4+dfsg1-2.2ubuntu1_s390x.deb ... Unpacking libxml2-utils (2.9.4+dfsg1-2.2ubuntu1) ... Selecting previously unselected package libgtk2.0-dev. Preparing to unpack .../171-libgtk2.0-dev_2.24.31-1ubuntu1_s390x.deb ... Unpacking libgtk2.0-dev (2.24.31-1ubuntu1) ... Selecting previously unselected package libxml2-dev:s390x. Preparing to unpack .../172-libxml2-dev_2.9.4+dfsg1-2.2ubuntu1_s390x.deb ... Unpacking libxml2-dev:s390x (2.9.4+dfsg1-2.2ubuntu1) ... Selecting previously unselected package libglade2-dev:s390x. Preparing to unpack .../173-libglade2-dev_1%3a2.6.4-2_s390x.deb ... Unpacking libglade2-dev:s390x (1:2.6.4-2) ... Selecting previously unselected package libenchant-dev. Preparing to unpack .../174-libenchant-dev_1.6.0-11build2_s390x.deb ... Unpacking libenchant-dev (1.6.0-11build2) ... Selecting previously unselected package libgtkspell-dev. Preparing to unpack .../175-libgtkspell-dev_2.0.16-1.1ubuntu1_s390x.deb ... Unpacking libgtkspell-dev (2.0.16-1.1ubuntu1) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Preparing to unpack .../176-liblablgtk2-ocaml-dev_2.18.3+dfsg-2_s390x.deb ... Unpacking liblablgtk2-ocaml-dev (2.18.3+dfsg-2) ... Selecting previously unselected package libgtksourceview2.0-dev. Preparing to unpack .../177-libgtksourceview2.0-dev_2.10.5-2ubuntu3_s390x.deb ... Unpacking libgtksourceview2.0-dev (2.10.5-2ubuntu3) ... Selecting previously unselected package liblablgtksourceview2-ocaml-dev. Preparing to unpack .../178-liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-2_s390x.deb ... Unpacking liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-2) ... Selecting previously unselected package libcoq-ocaml-dev. Preparing to unpack .../179-libcoq-ocaml-dev_8.6-4_s390x.deb ... Unpacking libcoq-ocaml-dev (8.6-4) ... Selecting previously unselected package libgmpxx4ldbl:s390x. Preparing to unpack .../180-libgmpxx4ldbl_2%3a6.1.2+dfsg-1_s390x.deb ... Unpacking libgmpxx4ldbl:s390x (2:6.1.2+dfsg-1) ... Selecting previously unselected package libgmp-dev:s390x. Preparing to unpack .../181-libgmp-dev_2%3a6.1.2+dfsg-1_s390x.deb ... Unpacking libgmp-dev:s390x (2:6.1.2+dfsg-1) ... Selecting previously unselected package libgmp3-dev. Preparing to unpack .../182-libgmp3-dev_2%3a6.1.2+dfsg-1_s390x.deb ... Unpacking libgmp3-dev (2:6.1.2+dfsg-1) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../183-libmenhir-ocaml-dev_20170607.dfsg-2_s390x.deb ... Unpacking libmenhir-ocaml-dev (20170607.dfsg-2) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../184-libocamlgraph-ocaml-dev_1.8.6-1build2_s390x.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.6-1build2) ... Selecting previously unselected package libsqlite3-dev:s390x. Preparing to unpack .../185-libsqlite3-dev_3.16.2-5_s390x.deb ... Unpacking libsqlite3-dev:s390x (3.16.2-5) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../186-libzarith-ocaml_1.4.1-2_s390x.deb ... Unpacking libzarith-ocaml (1.4.1-2) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../187-libzarith-ocaml-dev_1.4.1-2_s390x.deb ... Unpacking libzarith-ocaml-dev (1.4.1-2) ... Selecting previously unselected package libzip-ocaml. Preparing to unpack .../188-libzip-ocaml_1.06-2_s390x.deb ... Unpacking libzip-ocaml (1.06-2) ... Selecting previously unselected package libzip-ocaml-dev. Preparing to unpack .../189-libzip-ocaml-dev_1.06-2_s390x.deb ... Unpacking libzip-ocaml-dev (1.06-2) ... Selecting previously unselected package menhir. Preparing to unpack .../190-menhir_20170607.dfsg-2_s390x.deb ... Unpacking menhir (20170607.dfsg-2) ... Selecting previously unselected package tex-common. Preparing to unpack .../191-tex-common_6.06_all.deb ... Unpacking tex-common (6.06) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../192-dh-ocaml_1.0.10_all.deb ... Unpacking dh-ocaml (1.0.10) ... Selecting previously unselected package libsqlite3-ocaml. Preparing to unpack .../193-libsqlite3-ocaml_4.0.5-1_s390x.deb ... Unpacking libsqlite3-ocaml (4.0.5-1) ... Selecting previously unselected package libsqlite3-ocaml-dev. Preparing to unpack .../194-libsqlite3-ocaml-dev_4.0.5-1_s390x.deb ... Unpacking libsqlite3-ocaml-dev (4.0.5-1) ... Selecting previously unselected package sbuild-build-depends-why3-dummy. Preparing to unpack .../195-sbuild-build-depends-why3-dummy_0.invalid.0_s390x.deb ... Unpacking sbuild-build-depends-why3-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 libhunspell-1.6-0:s390x (1.6.1-2) ... Setting up libsqlite3-dev:s390x (3.16.2-5) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libjbig0:s390x (2.1-3.1) ... Setting up libsigsegv2:s390x (2.10-5) ... Setting up libpthread-stubs0-dev:s390x (0.3-4) ... Setting up libaspell15:s390x (0.60.7~20110707-3build2) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up libelf1:s390x (0.166-2ubuntu1) ... Setting up groff-base (1.22.3-9) ... Setting up libglib2.0-0:s390x (2.53.2-1) ... No schema files found: doing nothing. Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up emacsen-common (2.0.8) ... Setting up ocaml-base-nox (4.02.3-9ubuntu3) ... Setting up libtinfo-dev:s390x (6.0+20160625-1ubuntu1) ... Setting up dh-ocaml (1.0.10) ... Setting up libgdk-pixbuf2.0-common (2.36.5-3) ... Setting up libdatrie1:s390x (0.2.10-4) ... Setting up gettext-base (0.19.8.1-2ubuntu1) ... Setting up libjpeg-turbo8:s390x (1.5.1-0ubuntu1) ... Setting up libpipeline1:s390x (1.4.1-2) ... Setting up x11proto-kb-dev (1.0.7-1) ... Setting up m4 (1.4.18-1) ... Setting up libicu57:s390x (57.1-6) ... Setting up libbsd0:s390x (0.8.5-1) ... Setting up menhir (20170607.dfsg-2) ... Setting up ucf (3.0036) ... Setting up libgirepository-1.0-1:s390x (1.53.2-2) ... Setting up libxml2:s390x (2.9.4+dfsg1-2.2ubuntu1) ... Setting up libfreetype6:s390x (2.6.3-3.2ubuntu1) ... Setting up libmagic-mgc (1:5.30-1) ... Setting up libmagic1:s390x (1:5.30-1) ... Setting up libgraphite2-3:s390x (1.3.10-2) ... Setting up libcroco3:s390x (0.6.11-3) ... Setting up libncurses5-dev:s390x (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:s390x (0.34.0-1) ... Setting up xtrans-dev (1.3.5-1) ... Setting up gir1.2-glib-2.0:s390x (1.53.2-2) ... Setting up libglib2.0-data (2.53.2-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:s390x (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-8ubuntu1) ... Setting up libexpat1-dev:s390x (2.2.1-2) ... Setting up shared-mime-info (1.8-1) ... Setting up libpcrecpp0v5:s390x (2:8.39-3) ... Setting up libpcre32-3:s390x (2:8.39-3) ... Setting up icu-devtools (57.1-6) ... Setting up libpcre16-3:s390x (2:8.39-3) ... Setting up libzarith-ocaml (1.4.1-2) ... Setting up libthai-data (0.1.26-1) ... Setting up libxdmcp6:s390x (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 libgmpxx4ldbl:s390x (2:6.1.2+dfsg-1) ... 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.2-1) ... Setting up libgraphite2-dev (1.3.10-2) ... Setting up libzip-ocaml (1.06-2) ... Setting up libfindlib-ocaml (1.6.2-1) ... Setting up ocaml-findlib (1.6.2-1) ... Setting up libx11-data (2:1.6.4-3) ... Setting up libpython2.7-stdlib:s390x (2.7.13-2) ... Setting up libxau6:s390x (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-2ubuntu1) ... Setting up libmpdec2:s390x (2.4.2-1) ... Setting up libdbus-1-3:s390x (1.10.18-1ubuntu2) ... Setting up liblzo2-2:s390x (2.08-1.2) ... Setting up libavahi-common-data:s390x (0.6.32-1ubuntu1) ... Setting up zlib1g-dev:s390x (1:1.2.11.dfsg-0ubuntu1) ... Setting up libfile-stripnondeterminism-perl (0.035-2) ... Setting up libjpeg8:s390x (8c-2ubuntu8) ... Setting up libgmp-dev:s390x (2:6.1.2+dfsg-1) ... Setting up libpcre3-dev:s390x (2:8.39-3) ... Setting up gir1.2-atk-1.0:s390x (2.22.0-1) ... Setting up fontconfig-config (2.11.94-0ubuntu2) ... Setting up tex-common (6.06) ... update-language: texlive-base not installed and configured, doing nothing! 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:s390x (1.53.2-2) ... Setting up libsqlite3-ocaml (4.0.5-1) ... Setting up libpython3.5-stdlib:s390x (3.5.3-3) ... Setting up libxml2-utils (2.9.4+dfsg1-2.2ubuntu1) ... Setting up python2.7 (2.7.13-2) ... Setting up libharfbuzz0b:s390x (1.4.2-1) ... Setting up libtiff5:s390x (4.0.8-2) ... Setting up libxau-dev:s390x (1:1.0.8-1) ... Setting up autoconf (2.69-10) ... Setting up libthai0:s390x (0.1.26-1) ... Setting up libicu-dev (57.1-6) ... Setting up file (1:5.30-1) ... Setting up libxml2-dev:s390x (2.9.4+dfsg1-2.2ubuntu1) ... Setting up libpython-stdlib:s390x (2.7.13-2) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up libxdmcp-dev:s390x (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:s390x (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:s390x (0.6.32-1ubuntu1) ... Setting up libpng-dev:s390x (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:s390x (1.11.1-1ubuntu1) ... Setting up x11proto-input-dev (2.3.2-1) ... Setting up libharfbuzz-gobject0:s390x (1.4.2-1) ... Setting up python (2.7.13-2) ... Setting up libgmp3-dev (2:6.1.2+dfsg-1) ... Setting up libtool (2.4.6-2) ... Setting up python3.5 (3.5.3-3) ... Setting up libpython3-stdlib:s390x (3.5.3-1ubuntu3) ... Setting up libfontconfig1:s390x (2.11.94-0ubuntu2) ... Setting up libsm6:s390x (2:1.2.2-1) ... Setting up libxcb-render0:s390x (1.11.1-1ubuntu1) ... Setting up libharfbuzz-icu0:s390x (1.4.2-1) ... Setting up po-debconf (1.0.20) ... Setting up libx11-6:s390x (2:1.6.4-3) ... Setting up x11proto-xext-dev (7.3.0-1) ... Setting up libfreetype6-dev:s390x (2.6.3-3.2ubuntu1) ... Setting up libice-dev:s390x (2:1.0.9-2) ... Setting up aspell-en (2016.11.20-0-0.1) ... Setting up libxcomposite1:s390x (1:0.4.4-2) ... Setting up libxcb-shm0:s390x (1.11.1-1ubuntu1) ... Setting up libxrender1:s390x (1:0.9.10-1) ... Setting up libxcb1-dev:s390x (1.11.1-1ubuntu1) ... Setting up libavahi-client3:s390x (0.6.32-1ubuntu1) ... Setting up libx11-dev:s390x (2:1.6.4-3) ... Setting up libxft2:s390x (2.3.2-1) ... Setting up fontconfig (2.11.94-0ubuntu2) ... Regenerating fonts cache... done. Setting up libcups2:s390x (2.2.3-2) ... Setting up libfontconfig1-dev:s390x (2.11.94-0ubuntu2) ... Setting up libenchant1c2a:s390x (1.6.0-11build2) ... Setting up libsm-dev:s390x (2:1.2.2-1) ... Setting up libxdamage1:s390x (1:1.1.4-2) ... Setting up libxext6:s390x (2:1.3.3-1) ... Setting up libxfixes3:s390x (1:5.0.3-1) ... Setting up x11proto-fixes-dev (1:5.0-2ubuntu2) ... Setting up libgdk-pixbuf2.0-0:s390x (2.36.5-3) ... Setting up libxcb-shm0-dev:s390x (1.11.1-1ubuntu1) ... Setting up gir1.2-gdkpixbuf-2.0:s390x (2.36.5-3) ... Setting up libxrender-dev:s390x (1:0.9.10-1) ... Setting up libxcb-render0-dev:s390x (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:s390x (1:1.1.14-1) ... Setting up libxext-dev:s390x (2:1.3.3-1) ... Setting up libpango-1.0-0:s390x (1.40.5-1) ... Setting up libxfixes-dev:s390x (1:5.0.3-1) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxrandr2:s390x (2:1.5.1-1) ... Setting up libxi6:s390x (2:1.7.9-1) ... Setting up libcairo2:s390x (1.14.8-1) ... Setting up libxinerama1:s390x (2:1.1.3-1) ... Setting up libxcursor-dev:s390x (1:1.1.14-1) ... Setting up libxrandr-dev:s390x (2:1.5.1-1) ... Setting up libxcomposite-dev:s390x (1:0.4.4-2) ... Setting up libcairo-script-interpreter2:s390x (1.14.8-1) ... Setting up libcairo-gobject2:s390x (1.14.8-1) ... Setting up libxdamage-dev:s390x (1:1.1.4-2) ... Setting up libpangoft2-1.0-0:s390x (1.40.5-1) ... Setting up libxinerama-dev:s390x (2:1.1.3-1) ... Setting up libxi-dev:s390x (2:1.7.9-1) ... Setting up libpangoxft-1.0-0:s390x (1.40.5-1) ... Setting up libpangocairo-1.0-0:s390x (1.40.5-1) ... Setting up gir1.2-pango-1.0:s390x (1.40.5-1) ... Setting up librsvg2-2:s390x (2.40.16-2~svn1) ... Setting up librsvg2-common:s390x (2.40.16-2~svn1) ... Setting up coq-theories (8.6-4) ... 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.02.3-9ubuntu3) ... Setting up libgtk2.0-0:s390x (2.24.31-1ubuntu1) ... Setting up dh-autoreconf (14) ... Setting up python3 (3.5.3-1ubuntu3) ... Setting up libglib2.0-dev-bin (2.53.2-1) ... Setting up libgtksourceview2.0-0 (2.10.5-2ubuntu3) ... Setting up humanity-icon-theme (0.6.13) ... Setting up ocaml-interp (4.02.3-9ubuntu3) ... Setting up libglib2.0-dev:s390x (2.53.2-1) ... Setting up libgtkspell0 (2.0.16-1.1ubuntu1) ... Setting up libglade2-0:s390x (1:2.6.4-2) ... Setting up dh-strip-nondeterminism (0.035-2) ... Setting up libgdk-pixbuf2.0-dev (2.36.5-3) ... Setting up libenchant-dev (1.6.0-11build2) ... Setting up libharfbuzz-dev:s390x (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-2) ... Setting up ocaml-nox (4.02.3-9ubuntu3) ... Setting up libcairo2-dev (1.14.8-1) ... Setting up ubuntu-mono (16.10+17.10.20170619-0ubuntu1) ... Setting up camlp5 (6.16-1) ... Setting up libocamlgraph-ocaml-dev (1.8.6-1build2) ... Setting up libatk1.0-dev:s390x (2.22.0-1) ... Setting up libzip-ocaml-dev (1.06-2) ... Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Setting up libmenhir-ocaml-dev (20170607.dfsg-2) ... Setting up libzarith-ocaml-dev (1.4.1-2) ... Setting up libpango1.0-dev (1.40.5-1) ... Setting up libsqlite3-ocaml-dev (4.0.5-1) ... Setting up libcoq-ocaml (8.6-4) ... Setting up libgtk2.0-dev (2.24.31-1ubuntu1) ... Setting up coq (8.6-4) ... ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file. Install coq for emacs Setting up libglade2-dev:s390x (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-2) ... Setting up liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-2) ... Setting up libcoq-ocaml-dev (8.6-4) ... Setting up sbuild-build-depends-why3-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 ... 38078 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:s390x (2.36.5-3) ... Processing triggers for libc-bin (2.24-9ubuntu2) ... Processing triggers for systemd (233-8ubuntu1) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-78-generic s390x (s390x) 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-8.13 Package versions: adduser_3.113+nmu3ubuntu5 advancecomp_2.0-1 adwaita-icon-theme_3.24.0-0ubuntu1 apt_1.4.6 apt-transport-https_1.4.6 aspell_0.60.7~20110707-3build2 aspell-en_2016.11.20-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.6ubuntu99 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-1 coq_8.6-4 coq-theories_8.6-4 coreutils_8.26-3ubuntu3 cpp_4:6.3.0-2ubuntu1 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.10 dh-python_2.20170125 dh-strip-nondeterminism_0.035-2 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-2 fontconfig_2.11.94-0ubuntu2 fontconfig-config_2.11.94-0ubuntu2 fonts-dejavu-core_2.37-1 g++_4:6.3.0-2ubuntu1 g++-6_6.3.0-19ubuntu1 gcc_4:6.3.0-2ubuntu1 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_2.27-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.48 init-system-helpers_1.48 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.4.6 libarchive-zip-perl_1.59-1 libasn1-8-heimdal_7.1.0+dfsg-13 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.6.6-1ubuntu2 libaudit1_1:2.6.6-1ubuntu2 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 libcomerr2_1.43.4-2 libcoq-ocaml_8.6-4 libcoq-ocaml-dev_8.6-4 libcroco3_0.6.11-3 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-12 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-11build2 libenchant1c2a_1.6.0-11build2 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.035-2 libfindlib-ocaml_1.6.2-1 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.7-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.2-1 libglib2.0-bin_2.53.2-1 libglib2.0-data_2.53.2-1 libglib2.0-dev_2.53.2-1 libglib2.0-dev-bin_2.53.2-1 libgmp-dev_2:6.1.2+dfsg-1 libgmp10_2:6.1.2+dfsg-1 libgmp3-dev_2:6.1.2+dfsg-1 libgmpxx4ldbl_2:6.1.2+dfsg-1 libgnutls30_3.5.8-6ubuntu1 libgomp1_7.1.0-7ubuntu1 libgpg-error0_1.26-2 libgraphite2-3_1.3.10-2 libgraphite2-dev_1.3.10-2 libgssapi-krb5-2_1.15-2 libgssapi3-heimdal_7.1.0+dfsg-13 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.1.0+dfsg-13 libheimbase1-heimdal_7.1.0+dfsg-13 libheimntlm0-heimdal_7.1.0+dfsg-13 libhogweed4_3.3-1 libhunspell-1.6-0_1.6.1-2 libhx509-5-heimdal_7.1.0+dfsg-13 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_0.16-1 libip4tc0_1.6.0+snapshot20161117-6ubuntu1 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-2 libkeyutils1_1.5.9-9ubuntu1 libkmod2_24-1ubuntu1 libkrb5-26-heimdal_7.1.0+dfsg-13 libkrb5-3_1.15-2 libkrb5support0_1.15-2 libksba8_1.3.5-2 liblablgtk2-ocaml_2.18.3+dfsg-2 liblablgtk2-ocaml-dev_2.18.3+dfsg-2 liblablgtksourceview2-ocaml_2.18.3+dfsg-2 liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-2 libldap-2.4-2_2.4.44+dfsg-5ubuntu1 libldap-common_2.4.44+dfsg-5ubuntu1 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 libmenhir-ocaml-dev_20170607.dfsg-2 libmount1_2.29-1ubuntu3 libmpc3_1.0.3-1 libmpdec2_2.4.2-1 libmpfr4_3.1.5-1 libncurses5_6.0+20160625-1ubuntu1 libncurses5-dev_6.0+20160625-1ubuntu1 libncursesw5_6.0+20160625-1ubuntu1 libnettle6_3.3-1 libnpth0_1.3-1 libocamlgraph-ocaml-dev_1.8.6-1build2 libp11-kit0_0.23.3-5 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-4ubuntu1 libpipeline1_1.4.1-2 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-4 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 libreadline7_7.0-0ubuntu2 libroken18-heimdal_7.1.0+dfsg-13 librsvg2-2_2.40.16-2~svn1 librsvg2-common_2.40.16-2~svn1 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.10-5 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.16.2-5 libsqlite3-dev_3.16.2-5 libsqlite3-ocaml_4.0.5-1 libsqlite3-ocaml-dev_4.0.5-1 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-8ubuntu1 libtasn1-6_4.12-2 libtext-iconv-perl_1.7-5build5 libthai-data_0.1.26-1 libthai0_0.1.26-1 libtiff5_4.0.8-2 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20160625-1ubuntu1 libtinfo5_6.0+20160625-1ubuntu1 libtool_2.4.6-2 libudev1_233-8ubuntu1 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.1.0+dfsg-13 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 libzarith-ocaml_1.4.1-2 libzarith-ocaml-dev_1.4.1-2 libzip-ocaml_1.06-2 libzip-ocaml-dev_1.06-2 linux-libc-dev_4.11.0-8.13 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 menhir_20170607.dfsg-2 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.02.3-9ubuntu3 ocaml-compiler-libs_4.02.3-9ubuntu3 ocaml-findlib_1.6.2-1 ocaml-interp_4.02.3-9ubuntu3 ocaml-nox_4.02.3-9ubuntu3 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-4ubuntu1 perl-base_5.24.1-4ubuntu1 perl-modules-5.24_5.24.1-4ubuntu1 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-core-dummy_0.invalid.0 sbuild-build-depends-why3-dummy_0.invalid.0 sed_4.4-1 sensible-utils_0.0.9 shared-mime-info_1.8-1 systemd_233-8ubuntu1 systemd-sysv_233-8ubuntu1 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.8git1 tar_1.29b-1.1 tex-common_6.06 tzdata_2017b-2 ubuntu-keyring_2016.10.27 ubuntu-mono_16.10+17.10.20170619-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 Jun 25 08:11:29 2017 UTC gpgv: using RSA key gpgv: issuer "steve.langasek@ubuntu.com" gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./why3_0.87.3-2build1.dsc dpkg-source: info: extracting why3 in why3-0.87.3 dpkg-source: info: unpacking why3_0.87.3.orig.tar.gz dpkg-source: info: unpacking why3_0.87.3-2build1.debian.tar.xz Check disc space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/home/buildd LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd MAIL=/var/mail/buildd OLDPWD=/ PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games PWD=/<> SHELL=/bin/sh SUDO_COMMAND=/usr/sbin/chroot /<> su buildd -s /bin/sh -c cd '/<>' && 'env' SUDO_GID=2501 SUDO_UID=2001 SUDO_USER=buildd TERM=unknown USER=buildd USERNAME=root dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package why3 dpkg-buildpackage: info: source version 0.87.3-2build1 dpkg-buildpackage: info: source distribution artful dpkg-source --before-build why3-0.87.3 dpkg-buildpackage: info: host architecture s390x fakeroot debian/rules clean dh clean --with ocaml,tex dh_testdir dh_auto_clean dh_ocamlclean dh_clean debian/rules build-arch # USEOCAMLFIND=no implies that libs are installed into /usr/lib/ # instead of /usr/local/lib as indicated by ocamlfind (in case it # is installed) USEOCAMLFIND=no dh_auto_configure -- --disable-emacs-compilation ./configure --build=s390x-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libdir=\${prefix}/lib/s390x-linux-gnu --libexecdir=\${prefix}/lib/s390x-linux-gnu --disable-maintainer-mode --disable-dependency-tracking --disable-emacs-compilation configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking checking executable suffix... checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for a thread-safe mkdir -p... /bin/mkdir -p checking for a BSD-compatible install... /usr/bin/install -c checking for ocamlc... ocamlc ocaml version is 4.02.3 ocaml library path is /usr/lib/ocaml checking for ocamlopt... no configure: WARNING: Cannot find ocamlopt; bytecode compilation only. checking for ocamlc.opt... no checking for ocamldep... ocamldep checking for ocamldep.opt... no checking for ocamllex... ocamllex checking for ocamllex.opt... no checking for ocamlyacc... ocamlyacc checking for ocamldoc... ocamldoc checking for ocamldoc.opt... no checking for menhir... menhir checking for ocamlfind... no checking for rubber... no configure: WARNING: Cannot find rubber, documentation disabled. checking for /usr/lib/ocaml/zarith/zarith.cma... yes checking for /usr/lib/ocaml/zip/zip.cma... yes checking for /usr/lib/ocaml/menhirLib/menhirLib.cmx... no configure: WARNING: Lib menhirLib not found, parser source files will be bigger. checking for /usr/lib/ocaml/lablgtk2/lablgtk.cma... yes checking for /usr/lib/ocaml/lablgtk2/lablgtksourceview2.cma... yes checking for coqc... coqc checking Coq version... 8.6 checking for coqdep... coqdep checking for /usr/lib/coq/kernel/term.cmi... yes checking for camlp5o... /usr/bin//camlp5o checking for Flocq... File "./conftest.v", line 1, characters 15-34: Error: Cannot find a physical path bound to logical path matching suffix Flocq. no configure: WARNING: Cannot find Flocq. checking for pvs... no configure: WARNING: Cannot find pvs. checking for isabelle... no configure: WARNING: Cannot find isabelle. checking for /usr/lib/ocaml/ocamlgraph/... yes configure: creating ./config.status config.status: creating Makefile config.status: creating src/config.sh config.status: creating doc/version.tex config.status: creating lib/why3/META config.status: creating .merlin config.status: creating src/jessie/Makefile config.status: executing chmod commands configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking Summary ----------------------------------------- Verbose make : no OCaml compiler : yes Version : 4.02.3 Library path : /usr/lib/ocaml Native compilation : no Profiling : no Components IDE command : yes GMP arithmetic : yes Compressed sessions : yes MenhirLib support : no (menhirLib not found) Hypothesis selection : yes Frama-C support : no (disabled by default) Documentation : no (rubber not found) Support for interactive proof assistants Coq : yes Version : 8.6 Library path : /usr/lib/coq "why3" tactic : yes Realization support : yes FP arithmetic : no (Flocq >= 2.5 not found) PVS : no (pvs not found) Isabelle : no (isabelle not found) Installable : yes Binary path : ${exec_prefix}/bin Lib path : ${prefix}/lib/s390x-linux-gnu/why3 Data path : ${prefix}/share/why3 Ocaml Library : /usr/lib/ocaml/why3 Relocatable : no touch configure-stamp dh_testdir /usr/bin/make all byte make[1]: Entering directory '/<>' Ocamllex src/why3doc/doc_lexer.mll 112 states, 1119 transitions, table size 5148 bytes 1707 additional bytes used for bindings Ocamldep src/why3doc/doc_main.ml Ocamldep src/why3doc/doc_lexer.ml Ocamldep src/why3doc/doc_def.ml Ocamldep src/why3doc/doc_html.ml cp lib/ocaml/why3__BigInt_zarith.ml lib/ocaml/why3__BigInt_compat.ml Ocamldep lib/ocaml/why3__Matrix.ml Ocamldep lib/ocaml/why3__Array.ml Ocamldep lib/ocaml/why3__IntAux.ml Ocamldep lib/ocaml/why3__BigInt.ml Ocamldep lib/ocaml/why3__BigInt_compat.ml for i in bv/BV_Gen.v; do \ cp lib/coq/$i.COQ86 lib/coq/$i ; \ done Coqdep lib/coq/bv/BV_Gen.v Coqdep lib/coq/bv/Pow2int.v Coqdep lib/coq/seq/Seq.v Coqdep lib/coq/option/Option.v Coqdep lib/coq/list/Permut.v Coqdep lib/coq/list/NumOcc.v Coqdep lib/coq/list/Distinct.v Coqdep lib/coq/list/Combine.v Coqdep lib/coq/list/RevAppend.v Coqdep lib/coq/list/NthNoOpt.v Coqdep lib/coq/list/HdTlNoOpt.v Coqdep lib/coq/list/Reverse.v Coqdep lib/coq/list/NthLengthAppend.v Coqdep lib/coq/list/Append.v Coqdep lib/coq/list/NthHdTl.v Coqdep lib/coq/list/HdTl.v Coqdep lib/coq/list/NthLength.v Coqdep lib/coq/list/Nth.v Coqdep lib/coq/list/Mem.v Coqdep lib/coq/list/Length.v Coqdep lib/coq/list/List.v Coqdep lib/coq/map/MapInjection.v Coqdep lib/coq/map/MapPermut.v Coqdep lib/coq/map/Occ.v Coqdep lib/coq/map/Const.v Coqdep lib/coq/map/Map.v Coqdep lib/coq/set/Set.v Coqdep lib/coq/number/Coprime.v Coqdep lib/coq/number/Prime.v Coqdep lib/coq/number/Parity.v Coqdep lib/coq/number/Gcd.v Coqdep lib/coq/number/Divisibility.v Coqdep lib/coq/real/Trigonometry.v Coqdep lib/coq/real/Square.v Coqdep lib/coq/real/RealInfix.v Coqdep lib/coq/real/Real.v Coqdep lib/coq/real/PowerReal.v Coqdep lib/coq/real/PowerInt.v Coqdep lib/coq/real/MinMax.v Coqdep lib/coq/real/FromInt.v Coqdep lib/coq/real/ExpLog.v Coqdep lib/coq/real/Abs.v Coqdep lib/coq/bool/Bool.v Coqdep lib/coq/int/NumOf.v Coqdep lib/coq/int/Power.v Coqdep lib/coq/int/MinMax.v Coqdep lib/coq/int/Int.v Coqdep lib/coq/int/EuclideanDivision.v Coqdep lib/coq/int/Div2.v Coqdep lib/coq/int/ComputerDivision.v Coqdep lib/coq/int/Abs.v Coqdep lib/coq/int/Exponentiation.v Coqdep lib/coq/HighOrd.v Coqdep lib/coq/BuiltIn.v Camlp src/coq-tactic/why3tac.ml4 Ocamldep src/coq-tactic/why3tac.ml Ocamldep src/why3session/why3session_main.ml Ocamldep src/why3session/why3session_csv.ml Ocamldep src/why3session/why3session_run.ml Ocamldep src/why3session/why3session_output.ml Ocamldep src/why3session/why3session_rm.ml Ocamldep src/why3session/why3session_html.ml Ocamldep src/why3session/why3session_latex.ml Ocamldep src/why3session/why3session_info.ml Ocamldep src/why3session/why3session_copy.ml Ocamldep src/why3session/why3session_lib.ml Ocamldep src/ide/gmain.ml Ocamldep src/ide/gconfig.ml Ocamllex src/tools/why3wc.mll 298 states, 15365 transitions, table size 63248 bytes Ocamldep src/tools/why3wc.ml Ocamldep src/tools/why3replay.ml Ocamldep src/tools/why3realize.ml Ocamldep src/tools/why3prove.ml Ocamldep src/tools/why3extract.ml Ocamldep src/tools/why3execute.ml Ocamldep src/tools/why3config.ml Ocamldep src/tools/main.ml Ocamllex plugins/tptp/tptp_lexer.mll 101 states, 1563 transitions, table size 6858 bytes 3126 additional bytes used for bindings Menhir plugins/tptp/tptp_parser.mly Warning: you are using the standard library and/or the %inline keyword. We recommend switching on --infer in order to avoid obscure type error messages. Ocamllex plugins/parser/dimacs.mll 34 states, 434 transitions, table size 1940 bytes 1293 additional bytes used for bindings Ocamldep plugins/tptp/tptp_printer.ml Ocamldep plugins/tptp/tptp_lexer.ml Ocamldep plugins/tptp/tptp_typing.ml Ocamldep plugins/tptp/tptp_parser.ml Ocamldep plugins/tptp/tptp_ast.ml Ocamldep plugins/transform/hypothesis_selection.ml Ocamldep plugins/parser/dimacs.ml Ocamldep plugins/parser/genequlin.ml Generate src/util/config.ml Ocamllex src/util/rc.mll 48 states, 1889 transitions, table size 7844 bytes 3073 additional bytes used for bindings Ocamllex src/util/lexlib.mll 16 states, 260 transitions, table size 1136 bytes Ocamllex src/parser/lexer.mll 128 states, 3284 transitions, table size 13904 bytes 7458 additional bytes used for bindings Menhir src/parser/parser.mly Warning: you are using the standard library and/or the %inline keyword. We recommend switching on --infer in order to avoid obscure type error messages. Menhir src/driver/driver_parser.mly Ocamllex src/driver/driver_lexer.mll 29 states, 1101 transitions, table size 4578 bytes Menhir src/driver/parse_smtv2_model_parser.mly Ocamllex src/driver/parse_smtv2_model_lexer.mll 47 states, 833 transitions, table size 3614 bytes 1740 additional bytes used for bindings cp src/session/compress_z.ml src/session/compress.ml Ocamllex src/session/xml.mll 114 states, 1396 transitions, table size 6268 bytes 3538 additional bytes used for bindings Ocamllex src/session/strategy_parser.mll 39 states, 619 transitions, table size 2710 bytes 1755 additional bytes used for bindings Ocamldep src/session/session_scheduler.ml Ocamldep src/session/strategy_parser.ml Ocamldep src/session/strategy.ml Ocamldep src/session/session_tools.ml Ocamldep src/session/session.ml Ocamldep src/session/termcode.ml Ocamldep src/session/xml.ml Ocamldep src/session/compress.ml Ocamldep src/whyml/mlw_interp.ml Ocamldep src/whyml/mlw_main.ml Ocamldep src/whyml/mlw_ocaml.ml Ocamldep src/whyml/mlw_exec.ml Ocamldep src/whyml/mlw_driver.ml Ocamldep src/whyml/mlw_typing.ml Ocamldep src/whyml/mlw_dexpr.ml Ocamldep src/whyml/mlw_module.ml Ocamldep src/whyml/mlw_wp.ml Ocamldep src/whyml/mlw_pretty.ml Ocamldep src/whyml/mlw_decl.ml Ocamldep src/whyml/mlw_expr.ml Ocamldep src/whyml/mlw_ty.ml Ocamldep src/printer/mathematica.ml Ocamldep src/printer/yices.ml Ocamldep src/printer/cvc3.ml Ocamldep src/printer/gappa.ml Ocamldep src/printer/simplify.ml Ocamldep src/printer/isabelle.ml Ocamldep src/printer/pvs.ml Ocamldep src/printer/coq.ml Ocamldep src/printer/smtv2.ml Ocamldep src/printer/smtv1.ml Ocamldep src/printer/why3printer.ml Ocamldep src/printer/alt_ergo.ml Ocamldep src/transform/prop_curry.ml Ocamldep src/transform/induction_pr.ml Ocamldep src/transform/smoke_detector.ml Ocamldep src/transform/instantiate_predicate.ml Ocamldep src/transform/eval_match.ml Ocamldep src/transform/prepare_for_counterexmp.ml Ocamldep src/transform/intro_vc_vars_counterexmp.ml Ocamldep src/transform/intro_projections_counterexmp.ml Ocamldep src/transform/eliminate_epsilon.ml Ocamldep src/transform/lift_epsilon.ml Ocamldep src/transform/close_epsilon.ml Ocamldep src/transform/abstraction.ml Ocamldep src/transform/introduction.ml Ocamldep src/transform/filter_trigger.ml Ocamldep src/transform/simplify_array.ml Ocamldep src/transform/encoding_sort.ml Ocamldep src/transform/encoding_twin.ml Ocamldep src/transform/encoding_tags.ml Ocamldep src/transform/encoding_guards.ml Ocamldep src/transform/encoding_tags_full.ml Ocamldep src/transform/encoding_guards_full.ml Ocamldep src/transform/encoding_select.ml Ocamldep src/transform/encoding.ml Ocamldep src/transform/discriminate.ml Ocamldep src/transform/libencoding.ml Ocamldep src/transform/eliminate_if.ml Ocamldep src/transform/eliminate_let.ml Ocamldep src/transform/eliminate_inductive.ml Ocamldep src/transform/eliminate_algebraic.ml Ocamldep src/transform/eliminate_definition.ml Ocamldep src/transform/compute.ml Ocamldep src/transform/reduction_engine.ml Ocamldep src/transform/detect_polymorphism.ml Ocamldep src/transform/induction.ml Ocamldep src/transform/split_goal.ml Ocamldep src/transform/inlining.ml Ocamldep src/transform/simplify_formula.ml Ocamldep src/parser/lexer.ml Ocamldep src/parser/typing.ml Ocamldep src/parser/parser.ml Ocamldep src/parser/glob.ml Ocamldep src/parser/ptree.ml Ocamldep src/mlw/pmodule.ml Ocamldep src/mlw/pdecl.ml Ocamldep src/mlw/dexpr.ml Ocamldep src/mlw/expr.ml Ocamldep src/mlw/ity.ml Ocamldep src/driver/parse_smtv2_model.ml Ocamldep src/driver/parse_smtv2_model_lexer.ml Ocamldep src/driver/parse_smtv2_model_parser.ml Ocamldep src/driver/autodetection.ml Ocamldep src/driver/whyconf.ml Ocamldep src/driver/driver.ml Ocamldep src/driver/driver_lexer.ml Ocamldep src/driver/driver_parser.ml Ocamldep src/driver/driver_ast.ml Ocamldep src/driver/call_provers.ml Ocamldep src/core/model_parser.ml Ocamldep src/core/printer.ml Ocamldep src/core/trans.ml Ocamldep src/core/env.ml Ocamldep src/core/dterm.ml Ocamldep src/core/pretty.ml Ocamldep src/core/task.ml Ocamldep src/core/theory.ml Ocamldep src/core/decl.ml Ocamldep src/core/pattern.ml Ocamldep src/core/term.ml Ocamldep src/core/ty.ml Ocamldep src/core/ident.ml Ocamldep src/util/pqueue.ml Ocamldep src/util/number.ml Ocamldep src/util/bigInt.ml Ocamldep src/util/plugin.ml Ocamldep src/util/rc.ml Ocamldep src/util/sysutil.ml Ocamldep src/util/warning.ml Ocamldep src/util/cmdline.ml Ocamldep src/util/print_tree.ml Ocamldep src/util/lexlib.ml Ocamldep src/util/loc.ml Ocamldep src/util/debug.ml Ocamldep src/util/json.ml Ocamldep src/util/pp.ml Ocamldep src/util/exn_printer.ml Ocamldep src/util/stdlib.ml Ocamldep src/util/hashcons.ml Ocamldep src/util/weakhtbl.ml Ocamldep src/util/exthtbl.ml Ocamldep src/util/extset.ml Ocamldep src/util/extmap.ml Ocamldep src/util/strings.ml Ocamldep src/util/lists.ml Ocamldep src/util/opt.ml Ocamldep src/util/util.ml Ocamldep src/util/config.ml Ocamlc src/util/config.ml Ocamlc src/util/bigInt.mli Ocamlc src/util/bigInt.ml Ocamlc src/util/util.mli Ocamlc src/util/util.ml Ocamlc src/util/opt.mli Ocamlc src/util/opt.ml Ocamlc src/util/lists.mli Ocamlc src/util/lists.ml Ocamlc src/util/strings.mli Ocamlc src/util/strings.ml Ocamlc src/util/extmap.mli Ocamlc src/util/extmap.ml Ocamlc src/util/extset.mli Ocamlc src/util/extset.ml Ocamlc src/util/exthtbl.mli Ocamlc src/util/exthtbl.ml Ocamlc src/util/weakhtbl.mli Ocamlc src/util/weakhtbl.ml Ocamlc src/util/hashcons.mli Ocamlc src/util/hashcons.ml Ocamlc src/util/stdlib.mli Ocamlc src/util/stdlib.ml Ocamlc src/util/exn_printer.mli Ocamlc src/util/exn_printer.ml Ocamlc src/util/pp.mli Ocamlc src/util/pp.ml Ocamlc src/util/json.mli Ocamlc src/util/json.ml Ocamlc src/util/debug.mli Ocamlc src/util/debug.ml Ocamlc src/util/loc.mli Ocamlc src/util/loc.ml Ocamlc src/util/lexlib.mli Ocamlc src/util/lexlib.ml Ocamlc src/util/print_tree.mli Ocamlc src/util/print_tree.ml Ocamlc src/util/cmdline.mli Ocamlc src/util/cmdline.ml Ocamlc src/util/warning.mli Ocamlc src/util/warning.ml Ocamlc src/util/sysutil.mli Ocamlc src/util/sysutil.ml Ocamlc src/util/rc.mli Ocamlc src/util/rc.ml Ocamlc src/util/plugin.mli Ocamlc src/util/plugin.ml Ocamlc src/util/number.mli Ocamlc src/util/number.ml Ocamlc src/util/pqueue.mli Ocamlc src/util/pqueue.ml Ocamlc src/core/ident.mli Ocamlc src/core/ident.ml Ocamlc src/core/ty.mli Ocamlc src/core/ty.ml Ocamlc src/core/term.mli Ocamlc src/core/term.ml Ocamlc src/core/pattern.mli Ocamlc src/core/pattern.ml Ocamlc src/core/decl.mli Ocamlc src/core/decl.ml Ocamlc src/core/theory.mli Ocamlc src/core/theory.ml Ocamlc src/core/task.mli Ocamlc src/core/task.ml Ocamlc src/core/pretty.mli Ocamlc src/core/pretty.ml Ocamlc src/core/dterm.mli Ocamlc src/core/dterm.ml Ocamlc src/core/env.mli Ocamlc src/core/env.ml Ocamlc src/core/trans.mli Ocamlc src/core/trans.ml Ocamlc src/core/printer.mli Ocamlc src/core/printer.ml Ocamlc src/core/model_parser.mli Ocamlc src/core/model_parser.ml Ocamlc src/driver/call_provers.mli Ocamlc src/driver/call_provers.ml Ocamlc src/driver/driver_ast.ml Ocamlc src/driver/driver_parser.mli Ocamlc src/driver/driver_parser.ml Ocamlc src/driver/driver_lexer.mli Ocamlc src/driver/driver_lexer.ml Ocamlc src/driver/driver.mli Ocamlc src/driver/driver.ml Ocamlc src/driver/whyconf.mli Ocamlc src/driver/whyconf.ml Ocamlc src/driver/autodetection.mli Ocamlc src/driver/autodetection.ml Ocamlc src/driver/parse_smtv2_model_parser.mli Ocamlc src/driver/parse_smtv2_model_parser.ml Ocamlc src/driver/parse_smtv2_model_lexer.ml Ocamlc src/driver/parse_smtv2_model.ml Ocamlc src/mlw/ity.mli Ocamlc src/mlw/ity.ml Ocamlc src/mlw/expr.mli Ocamlc src/mlw/expr.ml Ocamlc src/mlw/dexpr.mli Ocamlc src/mlw/dexpr.ml Ocamlc src/mlw/pdecl.mli Ocamlc src/mlw/pdecl.ml Ocamlc src/mlw/pmodule.mli Ocamlc src/mlw/pmodule.ml Ocamlc src/parser/ptree.ml Ocamlc src/parser/glob.mli Ocamlc src/parser/glob.ml Ocamlc src/parser/parser.mli Ocamlc src/parser/parser.ml Ocamlc src/parser/typing.mli Ocamlc src/parser/typing.ml Ocamlc src/parser/lexer.mli Ocamlc src/parser/lexer.ml Ocamlc src/transform/simplify_formula.mli Ocamlc src/transform/simplify_formula.ml Ocamlc src/transform/inlining.mli Ocamlc src/transform/inlining.ml Ocamlc src/transform/split_goal.mli Ocamlc src/transform/split_goal.ml Ocamlc src/transform/induction.mli Ocamlc src/transform/induction.ml Ocamlc src/transform/detect_polymorphism.mli Ocamlc src/transform/detect_polymorphism.ml Ocamlc src/transform/reduction_engine.mli Ocamlc src/transform/reduction_engine.ml Ocamlc src/transform/compute.mli Ocamlc src/transform/compute.ml Ocamlc src/transform/eliminate_definition.mli Ocamlc src/transform/eliminate_definition.ml Ocamlc src/transform/eliminate_algebraic.mli Ocamlc src/transform/eliminate_algebraic.ml Ocamlc src/transform/eliminate_inductive.mli Ocamlc src/transform/eliminate_inductive.ml Ocamlc src/transform/eliminate_let.mli Ocamlc src/transform/eliminate_let.ml Ocamlc src/transform/eliminate_if.mli Ocamlc src/transform/eliminate_if.ml Ocamlc src/transform/libencoding.mli Ocamlc src/transform/libencoding.ml Ocamlc src/transform/discriminate.mli Ocamlc src/transform/discriminate.ml Ocamlc src/transform/encoding.mli Ocamlc src/transform/encoding.ml Ocamlc src/transform/encoding_select.mli Ocamlc src/transform/encoding_select.ml Ocamlc src/transform/encoding_guards_full.mli Ocamlc src/transform/encoding_guards_full.ml Ocamlc src/transform/encoding_tags_full.mli Ocamlc src/transform/encoding_tags_full.ml Ocamlc src/transform/encoding_guards.mli Ocamlc src/transform/encoding_guards.ml Ocamlc src/transform/encoding_tags.mli Ocamlc src/transform/encoding_tags.ml Ocamlc src/transform/encoding_twin.mli Ocamlc src/transform/encoding_twin.ml Ocamlc src/transform/encoding_sort.mli Ocamlc src/transform/encoding_sort.ml Ocamlc src/transform/simplify_array.mli Ocamlc src/transform/simplify_array.ml Ocamlc src/transform/filter_trigger.mli Ocamlc src/transform/filter_trigger.ml Ocamlc src/transform/introduction.mli Ocamlc src/transform/introduction.ml Ocamlc src/transform/abstraction.mli Ocamlc src/transform/abstraction.ml Ocamlc src/transform/close_epsilon.mli Ocamlc src/transform/close_epsilon.ml Ocamlc src/transform/lift_epsilon.mli Ocamlc src/transform/lift_epsilon.ml Ocamlc src/transform/eliminate_epsilon.mli Ocamlc src/transform/eliminate_epsilon.ml Ocamlc src/transform/intro_projections_counterexmp.mli Ocamlc src/transform/intro_projections_counterexmp.ml Ocamlc src/transform/intro_vc_vars_counterexmp.mli Ocamlc src/transform/intro_vc_vars_counterexmp.ml Ocamlc src/transform/prepare_for_counterexmp.mli Ocamlc src/transform/prepare_for_counterexmp.ml Ocamlc src/transform/eval_match.mli Ocamlc src/transform/eval_match.ml Ocamlc src/transform/instantiate_predicate.mli Ocamlc src/transform/instantiate_predicate.ml Ocamlc src/transform/smoke_detector.mli Ocamlc src/transform/smoke_detector.ml Ocamlc src/transform/induction_pr.mli Ocamlc src/transform/induction_pr.ml Ocamlc src/transform/prop_curry.ml Ocamlc src/printer/alt_ergo.mli Ocamlc src/printer/alt_ergo.ml Ocamlc src/printer/why3printer.mli Ocamlc src/printer/why3printer.ml Ocamlc src/printer/smtv1.mli Ocamlc src/printer/smtv1.ml Ocamlc src/printer/smtv2.mli Ocamlc src/printer/smtv2.ml Ocamlc src/printer/coq.mli Ocamlc src/printer/coq.ml Ocamlc src/printer/pvs.ml Ocamlc src/printer/isabelle.ml Ocamlc src/printer/simplify.mli Ocamlc src/printer/simplify.ml Ocamlc src/printer/gappa.mli Ocamlc src/printer/gappa.ml Ocamlc src/printer/cvc3.mli Ocamlc src/printer/cvc3.ml Ocamlc src/printer/yices.ml Ocamlc src/printer/mathematica.ml Ocamlc src/whyml/mlw_ty.mli Ocamlc src/whyml/mlw_ty.ml Ocamlc src/whyml/mlw_expr.mli Ocamlc src/whyml/mlw_expr.ml Ocamlc src/whyml/mlw_decl.mli Ocamlc src/whyml/mlw_decl.ml Ocamlc src/whyml/mlw_pretty.mli Ocamlc src/whyml/mlw_pretty.ml Ocamlc src/whyml/mlw_wp.mli Ocamlc src/whyml/mlw_wp.ml Ocamlc src/whyml/mlw_module.mli Ocamlc src/whyml/mlw_module.ml Ocamlc src/whyml/mlw_dexpr.mli Ocamlc src/whyml/mlw_dexpr.ml Ocamlc src/whyml/mlw_typing.mli Ocamlc src/whyml/mlw_typing.ml Ocamlc src/whyml/mlw_driver.mli Ocamlc src/whyml/mlw_driver.ml Ocamlc src/whyml/mlw_exec.mli Ocamlc src/whyml/mlw_exec.ml Ocamlc src/whyml/mlw_ocaml.mli Ocamlc src/whyml/mlw_ocaml.ml Ocamlc src/whyml/mlw_main.mli Ocamlc src/whyml/mlw_main.ml Ocamlc src/whyml/mlw_interp.mli Ocamlc src/whyml/mlw_interp.ml Ocamlc src/session/compress.mli Ocamlc src/session/compress.ml Ocamlc src/session/xml.mli Ocamlc src/session/xml.ml Ocamlc src/session/termcode.mli Ocamlc src/session/termcode.ml Ocamlc src/session/session.mli Ocamlc src/session/session.ml Ocamlc src/session/session_tools.mli Ocamlc src/session/session_tools.ml Ocamlc src/session/strategy.mli Ocamlc src/session/strategy.ml Ocamlc src/session/strategy_parser.mli Ocamlc src/session/strategy_parser.ml Ocamlc src/session/session_scheduler.mli Ocamlc src/session/session_scheduler.ml Linking lib/why3/why3.cmo Ocamlc plugins/parser/genequlin.ml Linking lib/plugins/genequlin.cmo Ocamlc plugins/parser/dimacs.ml Linking lib/plugins/dimacs.cmo Ocamlc plugins/tptp/tptp_ast.ml Ocamlc plugins/tptp/tptp_parser.mli Ocamlc plugins/tptp/tptp_parser.ml Ocamlc plugins/tptp/tptp_typing.mli Ocamlc plugins/tptp/tptp_typing.ml Ocamlc plugins/tptp/tptp_lexer.mli Ocamlc plugins/tptp/tptp_lexer.ml Ocamlc plugins/tptp/tptp_printer.mli Ocamlc plugins/tptp/tptp_printer.ml Linking lib/plugins/tptp.cmo Ocamlc plugins/transform/hypothesis_selection.ml Linking lib/plugins/hypothesis_selection.cmo Linking lib/why3/why3.cma Ocamlc src/tools/main.ml Linking bin/why3.byte Ocamlc src/tools/why3config.ml Linking bin/why3config.byte Ocamlc src/tools/why3execute.ml Linking bin/why3execute.byte Ocamlc src/tools/why3extract.ml Linking bin/why3extract.byte Ocamlc src/tools/why3prove.ml Linking bin/why3prove.byte Ocamlc src/tools/why3realize.ml Linking bin/why3realize.byte Ocamlc src/tools/why3replay.ml Linking bin/why3replay.byte Ocamlc src/tools/why3wc.ml Linking bin/why3wc.byte Ocamlc src/ide/resetgc.c Ocamlc src/ide/gconfig.mli Ocamlc src/ide/gconfig.ml Ocamlc src/ide/gmain.ml Linking bin/why3ide.byte Ocamlc src/why3session/why3session_lib.mli Ocamlc src/why3session/why3session_lib.ml Ocamlc src/why3session/why3session_copy.ml Ocamlc src/why3session/why3session_info.ml Ocamlc src/why3session/why3session_latex.ml Ocamlc src/why3session/why3session_html.ml Ocamlc src/why3session/why3session_rm.ml Ocamlc src/why3session/why3session_output.ml Ocamlc src/why3session/why3session_run.ml Ocamlc src/why3session/why3session_csv.ml Ocamlc src/why3session/why3session_main.ml Linking bin/why3session.byte Coqc lib/coq/BuiltIn.v Ocamlc src/coq-tactic/why3tac.ml Linking lib/coq-tactic/why3tac.cma Coqc lib/coq-tactic/Why3.v Ocamlc lib/ocaml/why3__BigInt_compat.ml Ocamlc lib/ocaml/why3__BigInt.ml Ocamlc lib/ocaml/why3__IntAux.ml Ocamlc lib/ocaml/why3__Array.ml Ocamlc lib/ocaml/why3__Matrix.ml Linking lib/why3/why3extract.cmo Linking lib/why3/why3extract.cma Ocamlc src/why3doc/doc_html.mli Ocamlc src/why3doc/doc_html.ml Ocamlc src/why3doc/doc_def.mli Ocamlc src/why3doc/doc_def.ml Ocamlc src/why3doc/doc_lexer.ml Ocamlc src/why3doc/doc_main.ml Linking bin/why3doc.byte Coqc lib/coq/HighOrd.v Coqc lib/coq/int/Int.v Coqc lib/coq/int/Exponentiation.v Coqc lib/coq/int/Abs.v Coqc lib/coq/int/ComputerDivision.v Coqc lib/coq/int/EuclideanDivision.v Coqc lib/coq/int/Div2.v Coqc lib/coq/int/MinMax.v Coqc lib/coq/int/Power.v Coqc lib/coq/int/NumOf.v Coqc lib/coq/bool/Bool.v Coqc lib/coq/real/Real.v Coqc lib/coq/real/Abs.v Coqc lib/coq/real/ExpLog.v Coqc lib/coq/real/FromInt.v Coqc lib/coq/real/MinMax.v Coqc lib/coq/real/RealInfix.v Coqc lib/coq/real/PowerInt.v Coqc lib/coq/real/Square.v Coqc lib/coq/real/PowerReal.v Coqc lib/coq/real/Trigonometry.v Coqc lib/coq/number/Parity.v Coqc lib/coq/number/Divisibility.v Coqc lib/coq/number/Gcd.v Coqc lib/coq/number/Prime.v Coqc lib/coq/number/Coprime.v Coqc lib/coq/set/Set.v Coqc lib/coq/map/Map.v Coqc lib/coq/map/Const.v Coqc lib/coq/map/Occ.v Coqc lib/coq/map/MapPermut.v Coqc lib/coq/map/MapInjection.v Coqc lib/coq/list/List.v Coqc lib/coq/list/Length.v Coqc lib/coq/list/Mem.v Coqc lib/coq/option/Option.v Coqc lib/coq/list/Nth.v Coqc lib/coq/list/NthLength.v Coqc lib/coq/list/HdTl.v Coqc lib/coq/list/NthHdTl.v Coqc lib/coq/list/Append.v Coqc lib/coq/list/NthLengthAppend.v Coqc lib/coq/list/Reverse.v Coqc lib/coq/list/HdTlNoOpt.v Coqc lib/coq/list/NthNoOpt.v Coqc lib/coq/list/RevAppend.v Coqc lib/coq/list/Combine.v Coqc lib/coq/list/Distinct.v Coqc lib/coq/list/NumOcc.v Coqc lib/coq/list/Permut.v Coqc lib/coq/seq/Seq.v Coqc lib/coq/bv/Pow2int.v Coqc lib/coq/bv/BV_Gen.v File "./lib/coq/bv/BV_Gen.v", line 732, characters 0-4: Warning: Nested proofs are deprecated and will stop working in a future Coq version [deprecated-nested-proofs,deprecated] File "./lib/coq/bv/BV_Gen.v", line 1555, characters 0-4: Warning: Nested proofs are deprecated and will stop working in a future Coq version [deprecated-nested-proofs,deprecated] File "./lib/coq/bv/BV_Gen.v", line 1736, characters 4-8: Warning: Nested proofs are deprecated and will stop working in a future Coq version [deprecated-nested-proofs,deprecated] File "./lib/coq/bv/BV_Gen.v", line 1741, characters 2-6: Warning: Nested proofs are deprecated and will stop working in a future Coq version [deprecated-nested-proofs,deprecated] File "./lib/coq/bv/BV_Gen.v", line 1745, characters 0-4: Warning: Nested proofs are deprecated and will stop working in a future Coq version [deprecated-nested-proofs,deprecated] Generate drivers/coq-realizations.aux Generate drivers/pvs-realizations.aux Generate drivers/isabelle-realizations.aux Cc src/tools/cpulimit.c make[1]: Nothing to be done for 'byte'. make[1]: Leaving directory '/<>' touch build-stamp fakeroot debian/rules binary-arch dh binary-arch --with ocaml,tex debian/rules build-arch make[1]: Entering directory '/<>' dh_testdir /usr/bin/make all byte make[2]: Entering directory '/<>' make[2]: Nothing to be done for 'all'. make[2]: Nothing to be done for 'byte'. make[2]: Leaving directory '/<>' touch build-stamp make[1]: Leaving directory '/<>' dh_testroot -a dh_prep -a dh_installdirs -a debian/rules override_dh_auto_install make[1]: Entering directory '/<>' # do nothing make[1]: Leaving directory '/<>' debian/rules override_dh_install-arch make[1]: Entering directory '/<>' /usr/bin/make install install-lib DESTDIR=/<>/debian/tmp make[2]: Entering directory '/<>' rm -rf /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3 rm -rf /<>/debian/tmp/usr/share/why3 rm -rf /<>/debian/tmp/usr/lib/ocaml/why3 rm -f /<>/debian/tmp/usr/share/emacs/site-lisp/why3.el rm -f /<>/debian/tmp/usr/share/emacs/site-lisp/why3.elc rm -f /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3config /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3execute /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3extract /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3prove /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3realize /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3replay /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3wc /<>/debian/tmp/usr/bin/why3 rm -f /<>/debian/tmp/usr/bin/why3bench /<>/debian/tmp/usr/bin/why3replayer rm -f /<>/debian/tmp/usr/bin/why3ide rm -f /<>/debian/tmp/usr/bin/why3session rm -f /<>/debian/tmp/usr/bin/why3doc if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then rm -f /etc/bash_completion.d/why3; fi /bin/mkdir -p /<>/debian/tmp/usr/bin /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3 /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands /bin/mkdir -p /<>/debian/tmp/usr/share/why3 /bin/mkdir -p /<>/debian/tmp/usr/share/why3/images /bin/mkdir -p /<>/debian/tmp/usr/share/why3/vim /bin/mkdir -p /<>/debian/tmp/usr/share/why3/lang /bin/mkdir -p /<>/debian/tmp/usr/share/why3/theories /bin/mkdir -p /<>/debian/tmp/usr/share/why3/modules/mach /bin/mkdir -p /<>/debian/tmp/usr/share/why3/drivers /usr/bin/install -c -m 644 theories/*.why /<>/debian/tmp/usr/share/why3/theories /usr/bin/install -c -m 644 modules/*.mlw /<>/debian/tmp/usr/share/why3/modules /usr/bin/install -c -m 644 modules/mach/*.mlw /<>/debian/tmp/usr/share/why3/modules/mach /usr/bin/install -c -m 644 drivers/*.drv drivers/*.gen /<>/debian/tmp/usr/share/why3/drivers /usr/bin/install -c -m 644 LICENSE /<>/debian/tmp/usr/share/why3/ /usr/bin/install -c -m 644 share/provers-detection-data.conf /<>/debian/tmp/usr/share/why3/ for i in share/images/*.rc; do \ d=`basename $i .rc`; \ /usr/bin/install -c -m 644 $i /<>/debian/tmp/usr/share/why3/images; \ /bin/mkdir -p /<>/debian/tmp/usr/share/why3/images/$d; \ /usr/bin/install -c -m 644 share/images/$d/* /<>/debian/tmp/usr/share/why3/images/$d; \ done /usr/bin/install -c -m 644 share/images/*.png /<>/debian/tmp/usr/share/why3/images /usr/bin/install -c -m 644 share/why3session.dtd /<>/debian/tmp/usr/share/why3 /usr/bin/install -c -m 644 share/Makefile.config /<>/debian/tmp/usr/share/why3 /usr/bin/install -c -m 644 share/vim/why3.vim /<>/debian/tmp/usr/share/why3/vim/why3.vim /usr/bin/install -c -m 644 share/lang/why3.lang /<>/debian/tmp/usr/share/why3/lang/why3.lang /bin/mkdir -p /<>/debian/tmp/usr/share/emacs/site-lisp/ /usr/bin/install -c -m 644 share/emacs/why3.el /<>/debian/tmp/usr/share/emacs/site-lisp/why3.el /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/plugins /usr/bin/install -c -m 644 lib/plugins/genequlin.cmo lib/plugins/dimacs.cmo lib/plugins/tptp.cmo lib/plugins/hypothesis_selection.cmo /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/plugins /usr/bin/install -c bin/why3.byte /<>/debian/tmp/usr/bin/why3 /usr/bin/install -c bin/why3config.byte /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3config /usr/bin/install -c bin/why3execute.byte /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3execute /usr/bin/install -c bin/why3extract.byte /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3extract /usr/bin/install -c bin/why3prove.byte /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3prove /usr/bin/install -c bin/why3realize.byte /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3realize /usr/bin/install -c bin/why3replay.byte /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3replay /usr/bin/install -c bin/why3wc.byte /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3wc /usr/bin/install -c bin/why3ide.byte /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3ide /usr/bin/install -c bin/why3session.byte /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3session /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq-tactic /usr/bin/install -c -m 644 lib/coq-tactic/* /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq-tactic /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq /usr/bin/install -c -m 644 lib/coq/BuiltIn.vo lib/coq/HighOrd.vo /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/ /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/int /usr/bin/install -c -m 644 lib/coq/int/Exponentiation.vo lib/coq/int/Abs.vo lib/coq/int/ComputerDivision.vo lib/coq/int/Div2.vo lib/coq/int/EuclideanDivision.vo lib/coq/int/Int.vo lib/coq/int/MinMax.vo lib/coq/int/Power.vo lib/coq/int/NumOf.vo /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/int/ /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/bool /usr/bin/install -c -m 644 lib/coq/bool/Bool.vo /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/bool/ /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/real /usr/bin/install -c -m 644 lib/coq/real/Abs.vo lib/coq/real/ExpLog.vo lib/coq/real/FromInt.vo lib/coq/real/MinMax.vo lib/coq/real/PowerInt.vo lib/coq/real/PowerReal.vo lib/coq/real/Real.vo lib/coq/real/RealInfix.vo lib/coq/real/Square.vo lib/coq/real/Trigonometry.vo /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/real/ /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/number /usr/bin/install -c -m 644 lib/coq/number/Divisibility.vo lib/coq/number/Gcd.vo lib/coq/number/Parity.vo lib/coq/number/Prime.vo lib/coq/number/Coprime.vo /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/number/ /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/set /usr/bin/install -c -m 644 lib/coq/set/Set.vo /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/set/ /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/map /usr/bin/install -c -m 644 lib/coq/map/Map.vo lib/coq/map/Const.vo lib/coq/map/Occ.vo lib/coq/map/MapPermut.vo lib/coq/map/MapInjection.vo /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/map/ /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/list /usr/bin/install -c -m 644 lib/coq/list/List.vo lib/coq/list/Length.vo lib/coq/list/Mem.vo lib/coq/list/Nth.vo lib/coq/list/NthLength.vo lib/coq/list/HdTl.vo lib/coq/list/NthHdTl.vo lib/coq/list/Append.vo lib/coq/list/NthLengthAppend.vo lib/coq/list/Reverse.vo lib/coq/list/HdTlNoOpt.vo lib/coq/list/NthNoOpt.vo lib/coq/list/RevAppend.vo lib/coq/list/Combine.vo lib/coq/list/Distinct.vo lib/coq/list/NumOcc.vo lib/coq/list/Permut.vo /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/list/ /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/option /usr/bin/install -c -m 644 lib/coq/option/Option.vo /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/option/ /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/seq /usr/bin/install -c -m 644 lib/coq/seq/Seq.vo /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/seq/ /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/bv /usr/bin/install -c -m 644 lib/coq/bv/Pow2int.vo lib/coq/bv/BV_Gen.vo /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/coq/bv/ /usr/bin/install -c -m 644 drivers/coq-realizations.aux /<>/debian/tmp/usr/share/why3/drivers/ /usr/bin/install -c -m 644 drivers/pvs-realizations.aux /<>/debian/tmp/usr/share/why3/drivers/ /usr/bin/install -c -m 644 drivers/isabelle-realizations.aux /<>/debian/tmp/usr/share/why3/drivers/ /bin/mkdir -p /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3 /usr/bin/install -c lib/why3-cpulimit /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/why3-cpulimit /usr/bin/install -c lib/why3-call-pvs /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/why3-call-pvs /usr/bin/install -c bin/why3doc.byte /<>/debian/tmp/usr/lib/s390x-linux-gnu/why3/commands/why3doc if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then \ /usr/bin/install -c -m 644 share/bash/why3 /etc/bash_completion.d; \ fi /bin/mkdir -p /<>/debian/tmp/usr/lib/ocaml/why3 /usr/bin/install -c -m 644 lib/why3/why3.cma lib/why3/why3.cmi \ lib/why3/META /<>/debian/tmp/usr/lib/ocaml/why3 /bin/mkdir -p /<>/debian/tmp/usr/lib/ocaml/why3 /usr/bin/install -c -m 644 lib/why3/why3extract.cma lib/why3/why3extract.cmi \ /<>/debian/tmp/usr/lib/ocaml/why3 make[2]: Leaving directory '/<>' # extra license file rm -f debian/tmp/usr/share/why3/LICENSE dh_install -a make[1]: Leaving directory '/<>' dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installman -a dh_installemacsen -a dh_perl -a dh_link -a dh_installtex -a dh_strip_nondeterminism -a debian/rules override_dh_compress make[1]: Entering directory '/<>' dh_compress -Xmanual.pdf make[1]: Leaving directory '/<>' dh_fixperms -a dh_missing -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a debian/rules override_dh_ocaml make[1]: Entering directory '/<>' dh_ocaml --nodefined-map=why3-coq:Why3,MenhirLib,Gzip,Zlib,Zip \ --nodefined-map=why3:Graph W: why3 doesn't resolve dependency on unit Why3session_info W: why3 doesn't resolve dependency on unit Why3session_run W: why3 doesn't resolve dependency on unit Doc_main W: why3 doesn't resolve dependency on unit Why3replay W: why3 doesn't resolve dependency on unit Why3session_copy W: why3 doesn't resolve dependency on unit Why3session_rm W: why3 doesn't resolve dependency on unit Doc_def W: why3 doesn't resolve dependency on unit Why3session_latex W: why3 doesn't resolve dependency on unit Why3session_html W: why3 doesn't resolve dependency on unit Why3session_main W: why3 doesn't resolve dependency on unit Doc_html W: why3 doesn't resolve dependency on unit Why3prove W: why3 doesn't resolve dependency on unit Why3realize W: why3 doesn't resolve dependency on unit Why3session_csv W: why3 doesn't resolve dependency on unit Why3session_lib W: why3 doesn't resolve dependency on unit Doc_lexer W: why3 doesn't resolve dependency on unit Main W: why3 doesn't resolve dependency on unit Parsetree W: why3 doesn't resolve dependency on unit Why3session_output W: why3 doesn't resolve dependency on unit Why3wc W: why3 doesn't resolve dependency on unit Why3config W: why3 doesn't resolve dependency on unit Why3extract W: why3 doesn't resolve dependency on unit Why3execute make[1]: Leaving directory '/<>' dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package why3-coq: unknown substitution variable ${shlibs:Depends} dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 131 INFO: pkgstriptranslations version 131 INFO: pkgstriptranslations version 131 pkgstriptranslations: processing libwhy3-ocaml-dev (in debian/libwhy3-ocaml-dev); do_strip: , oemstrip: pkgstriptranslations: processing why3-dbgsym (in debian/.debhelper/why3/dbgsym-root); do_strip: , oemstrip: pkgstriptranslations: processing why3-coq (in debian/why3-coq); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/libwhy3-ocaml-dev/DEBIAN/control, package libwhy3-ocaml-dev, directory debian/libwhy3-ocaml-dev pkgstripfiles: processing control file: debian/.debhelper/why3/dbgsym-root/DEBIAN/control, package why3-dbgsym, directory debian/.debhelper/why3/dbgsym-root INFO: pkgstripfiles: waiting for lock (libwhy3-ocaml-dev) ... pkgstripfiles: Running PNG optimization (using 4 cpus) for package why3-dbgsym ... pkgstripfiles: No PNG files. dpkg-deb: building package 'why3-dbgsym' in 'debian/.debhelper/scratch-space/build-why3/why3-dbgsym_0.87.3-2build1_s390x.deb'. pkgstripfiles: processing control file: debian/why3-coq/DEBIAN/control, package why3-coq, directory debian/why3-coq INFO: pkgstripfiles: waiting for lock (why3-coq) ... Renaming why3-dbgsym_0.87.3-2build1_s390x.deb to why3-dbgsym_0.87.3-2build1_s390x.ddeb INFO: pkgstriptranslations version 131 pkgstriptranslations: processing why3 (in debian/why3); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/why3/DEBIAN/control, package why3, directory debian/why3 pkgstripfiles: Truncating usr/share/doc/why3/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package why3 ... oooINFO: pkgstripfiles: waiting for lock (libwhy3-ocaml-dev) ... ooopkgstripfiles: Truncating usr/share/doc/why3-coq/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package why3-coq ... pkgstripfiles: No PNG files. dpkg-deb: building package 'why3-coq' in '../why3-coq_0.87.3-2build1_s390x.deb'. oooooooooooooooooopkgstripfiles: Truncating usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package libwhy3-ocaml-dev ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libwhy3-ocaml-dev' in '../libwhy3-ocaml-dev_0.87.3-2build1_s390x.deb'. ooo pkgstripfiles: PNG optimization (27/0) for package why3 took 1 s dpkg-deb: building package 'why3' in '../why3_0.87.3-2build1_s390x.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any -mLaunchpad Build Daemon >../why3_0.87.3-2build1_s390x.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build why3-0.87.3 dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20170625-0820 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ why3_0.87.3-2build1_s390x.changes: ---------------------------------- Format: 1.8 Date: Sun, 25 Jun 2017 08:11:24 +0000 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: s390x Version: 0.87.3-2build1 Distribution: artful-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Steve Langasek Description: libwhy3-ocaml-dev - OCaml librariries for why3 (dev) why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc-html - HTML Documentation of the why3 verification platform why3-doc-pdf - PDF Documentation of the why3 verification platform why3-examples - Examples for the why3 verification platform Changes: why3 (0.87.3-2build1) artful; urgency=medium . * No-change rebuild against libmenhir-ocaml-dev-gvxl7 Checksums-Sha1: c9d8fc3fb9f045d900f60d5265650d738e407e94 4634228 libwhy3-ocaml-dev_0.87.3-2build1_s390x.deb ecdcd250895bd62b9d0121ce5a19f073b37a755d 5051480 why3-coq_0.87.3-2build1_s390x.deb d65b71a89b8597658db81a650faade92a5ce9bc7 48484 why3-dbgsym_0.87.3-2build1_s390x.ddeb 77b14e7fc504ccd977beb79bf90f9263bcad2425 12279 why3_0.87.3-2build1_s390x.buildinfo 7fe5634712d0d2ae49ef9f29dfbeb2b272be43b1 48060044 why3_0.87.3-2build1_s390x.deb Checksums-Sha256: 8abd18b35e9a50bed566cdd228e723ded9b7e934675d7d7452fb05d2125ecc0a 4634228 libwhy3-ocaml-dev_0.87.3-2build1_s390x.deb 939636620185093ffd669f6ba75a007260df212cd12bcc456c092c16ba6bec4c 5051480 why3-coq_0.87.3-2build1_s390x.deb de109ee22bef5cef4c7e02d7c2f822d5152d6f8bf4725d6ce2f5374e4cc4c4af 48484 why3-dbgsym_0.87.3-2build1_s390x.ddeb bff8a4248badc9a674677866b7412152599c7cdb9d15f3a82db699d3a993588e 12279 why3_0.87.3-2build1_s390x.buildinfo e4447e42d7e55c79ba180556ad905dd26e36e634113e35efd9fd4f867c70b412 48060044 why3_0.87.3-2build1_s390x.deb Files: 4beaa75395fbae11de5e781377bc4ad3 4634228 ocaml optional libwhy3-ocaml-dev_0.87.3-2build1_s390x.deb 43e6aad4a72df0b6f4150d545d486574 5051480 math optional why3-coq_0.87.3-2build1_s390x.deb 85d23396ba7c0428cbdb78c3b8c3b4c9 48484 debug extra why3-dbgsym_0.87.3-2build1_s390x.ddeb a4bade21f5cb2326291ce8799daeacbe 12279 math optional why3_0.87.3-2build1_s390x.buildinfo 8e35a85e23c3cb339164118232f11ee1 48060044 math optional why3_0.87.3-2build1_s390x.deb Original-Maintainer: Debian OCaml Maintainers +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libwhy3-ocaml-dev_0.87.3-2build1_s390x.deb ------------------------------------------ new debian package, version 2.0. size 4634228 bytes: control archive=1391 bytes. 612 bytes, 15 lines control 643 bytes, 9 lines md5sums 386 bytes, 21 lines * postinst #!/bin/sh 957 bytes, 43 lines * postrm #!/bin/sh Package: libwhy3-ocaml-dev Source: why3 Version: 0.87.3-2build1 Architecture: s390x Maintainer: Ubuntu Developers Installed-Size: 18429 Depends: tex-common (>= 6), libzarith-ocaml-dev-3qvq6, libzip-ocaml-dev-7or86, ocaml-nox-4.02.3 Provides: libwhy3-ocaml-dev-tscl2 Section: ocaml Priority: optional Homepage: http://why3.lri.fr/ Description: OCaml librariries for why3 (dev) This package contains the libraries of the why3 verification platform for developing applications using why3. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2017-06-25 08:11 ./ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/ocaml/why3/ -rw-r--r-- root/root 343 2017-06-25 08:11 ./usr/lib/ocaml/why3/META -rw-r--r-- root/root 17525255 2017-06-25 08:11 ./usr/lib/ocaml/why3/why3.cma -rw-r--r-- root/root 1251770 2017-06-25 08:11 ./usr/lib/ocaml/why3/why3.cmi -rw-r--r-- root/root 41371 2017-06-25 08:11 ./usr/lib/ocaml/why3/why3extract.cma -rw-r--r-- root/root 13952 2017-06-25 08:11 ./usr/lib/ocaml/why3/why3extract.cmi drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/doc/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/doc/libwhy3-ocaml-dev/ -rw-r--r-- root/root 1621 2017-06-25 08:11 ./usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 15226 2017-01-21 20:02 ./usr/share/doc/libwhy3-ocaml-dev/copyright drwxr-xr-x root/root 0 2017-06-25 08:11 ./var/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./var/lib/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 290 2017-06-25 08:11 ./var/lib/ocaml/lintian/libwhy3-ocaml-dev.info drwxr-xr-x root/root 0 2017-06-25 08:11 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 165 2017-06-25 08:11 ./var/lib/ocaml/md5sums/libwhy3-ocaml-dev.md5sums why3-coq_0.87.3-2build1_s390x.deb --------------------------------- new debian package, version 2.0. size 5051480 bytes: control archive=2971 bytes. 676 bytes, 16 lines control 4931 bytes, 60 lines md5sums 386 bytes, 21 lines * postinst #!/bin/sh 957 bytes, 43 lines * postrm #!/bin/sh Package: why3-coq Source: why3 Version: 0.87.3-2build1 Architecture: s390x Maintainer: Ubuntu Developers Installed-Size: 20226 Depends: coq, tex-common (>= 6), libcoq-ocaml-znyu8, libzip-ocaml-7or86, ocaml-base-nox-4.02.3 Recommends: why3 Section: math Priority: optional Homepage: http://why3.lri.fr/ Description: Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2017-06-25 08:11 ./ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq-tactic/ -rw-r--r-- root/root 155 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq-tactic/Why3.glob -rw-r--r-- root/root 783 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq-tactic/Why3.v -rw-r--r-- root/root 32186 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq-tactic/Why3.vo -rw-r--r-- root/root 17955872 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq-tactic/why3tac.cma drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/ -rw-r--r-- root/root 35214 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/BuiltIn.vo -rw-r--r-- root/root 28408 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/HighOrd.vo drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/bool/ -rw-r--r-- root/root 28875 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/bool/Bool.vo drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/bv/ -rw-r--r-- root/root 324181 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/bv/BV_Gen.vo -rw-r--r-- root/root 67464 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/bv/Pow2int.vo drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/int/ -rw-r--r-- root/root 36146 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/int/Abs.vo -rw-r--r-- root/root 67602 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/int/ComputerDivision.vo -rw-r--r-- root/root 33547 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/int/Div2.vo -rw-r--r-- root/root 82933 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/int/EuclideanDivision.vo -rw-r--r-- root/root 38510 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/int/Exponentiation.vo -rw-r--r-- root/root 34127 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/int/Int.vo -rw-r--r-- root/root 31288 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/int/MinMax.vo -rw-r--r-- root/root 97984 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/int/NumOf.vo -rw-r--r-- root/root 38141 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/int/Power.vo drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/ -rw-r--r-- root/root 33696 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/Append.vo -rw-r--r-- root/root 29168 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/Combine.vo -rw-r--r-- root/root 34176 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/Distinct.vo -rw-r--r-- root/root 28709 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/HdTl.vo -rw-r--r-- root/root 29630 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/HdTlNoOpt.vo -rw-r--r-- root/root 33227 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/Length.vo -rw-r--r-- root/root 29897 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/List.vo -rw-r--r-- root/root 29929 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/Mem.vo -rw-r--r-- root/root 31111 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/Nth.vo -rw-r--r-- root/root 32227 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/NthHdTl.vo -rw-r--r-- root/root 37318 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/NthLength.vo -rw-r--r-- root/root 36108 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/NthLengthAppend.vo -rw-r--r-- root/root 31104 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/NthNoOpt.vo -rw-r--r-- root/root 40772 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/NumOcc.vo -rw-r--r-- root/root 48354 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/Permut.vo -rw-r--r-- root/root 33804 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/RevAppend.vo -rw-r--r-- root/root 34543 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/list/Reverse.vo drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/map/ -rw-r--r-- root/root 28840 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/map/Const.vo -rw-r--r-- root/root 35080 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/map/Map.vo -rw-r--r-- root/root 223074 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/map/MapInjection.vo -rw-r--r-- root/root 31574 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/map/MapPermut.vo -rw-r--r-- root/root 117880 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/map/Occ.vo drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/number/ -rw-r--r-- root/root 34623 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/number/Coprime.vo -rw-r--r-- root/root 40118 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/number/Divisibility.vo -rw-r--r-- root/root 36274 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/number/Gcd.vo -rw-r--r-- root/root 33390 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/number/Parity.vo -rw-r--r-- root/root 47968 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/number/Prime.vo drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/option/ -rw-r--r-- root/root 29055 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/option/Option.vo drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/real/ -rw-r--r-- root/root 31926 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/real/Abs.vo -rw-r--r-- root/root 33956 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/real/ExpLog.vo -rw-r--r-- root/root 29133 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/real/FromInt.vo -rw-r--r-- root/root 31499 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/real/MinMax.vo -rw-r--r-- root/root 40108 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/real/PowerInt.vo -rw-r--r-- root/root 37624 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/real/PowerReal.vo -rw-r--r-- root/root 41368 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/real/Real.vo -rw-r--r-- root/root 27030 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/real/RealInfix.vo -rw-r--r-- root/root 31727 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/real/Square.vo -rw-r--r-- root/root 44152 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/real/Trigonometry.vo drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/seq/ -rw-r--r-- root/root 74113 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/seq/Seq.vo drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/set/ -rw-r--r-- root/root 50345 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/coq/set/Set.vo drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/doc/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/doc/why3-coq/ -rw-r--r-- root/root 1621 2017-06-25 08:11 ./usr/share/doc/why3-coq/changelog.Debian.gz -rw-r--r-- root/root 15226 2017-01-21 20:02 ./usr/share/doc/why3-coq/copyright why3_0.87.3-2build1_s390x.deb ----------------------------- new debian package, version 2.0. size 48060044 bytes: control archive=6848 bytes. 34 bytes, 1 lines conffiles 1819 bytes, 32 lines control 12259 bytes, 169 lines md5sums 685 bytes, 27 lines * postinst #!/bin/sh 957 bytes, 43 lines * postrm #!/bin/sh 344 bytes, 9 lines * preinst #!/bin/sh 287 bytes, 7 lines * prerm #!/bin/sh Package: why3 Version: 0.87.3-2build1 Architecture: s390x Maintainer: Ubuntu Developers Installed-Size: 192672 Depends: libc6 (>= 2.15), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0), libtinfo5 (>= 6), zlib1g (>= 1:1.1.4), libzip-ocaml-7or86, ocaml-base-nox-4.02.3, tex-common (>= 6) Recommends: alt-ergo | cvc3 | why3-coq | spass | z3 Suggests: why3-examples Section: math Priority: optional Homepage: http://why3.lri.fr/ Description: Software verification platform Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs. . Why3 is a complete reimplementation of the former Why platform. Among the new features are: numerous extensions to the input language, a new architecture for calling external provers, and a well-designed API, allowing to use Why3 as a software library. An important emphasis is put on modularity and genericity, giving the end user a possibility to easily reuse Why3 formalizations or to add support for a new external prover if wanted. Original-Maintainer: Debian OCaml Maintainers drwxr-xr-x root/root 0 2017-06-25 08:11 ./ drwxr-xr-x root/root 0 2017-06-25 08:11 ./etc/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./etc/emacs/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./etc/emacs/site-start.d/ -rw-r--r-- root/root 156 2017-01-21 20:02 ./etc/emacs/site-start.d/50why3.el drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/bin/ -rwxr-xr-x root/root 20111069 2017-06-25 08:11 ./usr/bin/why3 drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/emacsen-common/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/emacsen-common/packages/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/emacsen-common/packages/compat/ -rw-r--r-- root/root 2 2017-01-21 20:02 ./usr/lib/emacsen-common/packages/compat/why3 drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/emacsen-common/packages/install/ -rwxr-xr-x root/root 1059 2017-01-21 20:02 ./usr/lib/emacsen-common/packages/install/why3 drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/emacsen-common/packages/remove/ -rwxr-xr-x root/root 489 2017-01-21 20:02 ./usr/lib/emacsen-common/packages/remove/why3 drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/commands/ -rwxr-xr-x root/root 20105490 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/commands/why3config -rwxr-xr-x root/root 20174050 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/commands/why3doc -rwxr-xr-x root/root 20096163 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/commands/why3execute -rwxr-xr-x root/root 20120494 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/commands/why3extract -rwxr-xr-x root/root 5074400 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/commands/why3ide -rwxr-xr-x root/root 20148961 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/commands/why3prove -rwxr-xr-x root/root 20099915 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/commands/why3realize -rwxr-xr-x root/root 20143351 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/commands/why3replay -rwxr-xr-x root/root 20438751 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/commands/why3session -rwxr-xr-x root/root 3075363 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/commands/why3wc drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/plugins/ -rw-r--r-- root/root 28128 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/plugins/dimacs.cmo -rw-r--r-- root/root 20012 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/plugins/genequlin.cmo -rw-r--r-- root/root 5474970 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/plugins/hypothesis_selection.cmo -rw-r--r-- root/root 1553326 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/plugins/tptp.cmo -rwxr-xr-x root/root 160 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/why3-call-pvs -rwxr-xr-x root/root 10240 2017-06-25 08:11 ./usr/lib/s390x-linux-gnu/why3/why3-cpulimit drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/bash-completion/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/bash-completion/completions/ -rw-r--r-- root/root 4268 2017-01-11 11:58 ./usr/share/bash-completion/completions/why3 drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/doc/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/doc/why3/ -rw-r--r-- root/root 87 2017-01-21 20:02 ./usr/share/doc/why3/TODO.Debian -rw-r--r-- root/root 1620 2017-06-25 08:11 ./usr/share/doc/why3/changelog.Debian.gz -rw-r--r-- root/root 15226 2017-01-21 20:02 ./usr/share/doc/why3/copyright drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/emacs/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/emacs/site-lisp/ -rw-r--r-- root/root 6775 2017-06-25 08:11 ./usr/share/emacs/site-lisp/why3.el drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/man/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/man/man1/ -rw-r--r-- root/root 1859 2017-06-25 08:11 ./usr/share/man/man1/why3.1.gz drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/texmf/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/texmf/tex/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/texmf/tex/latex/ drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/texmf/tex/latex/misc/ -rw-r--r-- root/root 1372 2017-01-11 11:58 ./usr/share/texmf/tex/latex/misc/why3lang.sty drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/why3/ -rw-r--r-- root/root 250 2017-06-25 08:11 ./usr/share/why3/Makefile.config drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/why3/drivers/ -rw-r--r-- root/root 1433 2017-06-25 08:11 ./usr/share/why3/drivers/alt_ergo.drv -rw-r--r-- root/root 4811 2017-06-25 08:11 ./usr/share/why3/drivers/alt_ergo_common.drv -rw-r--r-- root/root 219 2017-06-25 08:11 ./usr/share/why3/drivers/alt_ergo_model.drv -rw-r--r-- root/root 2842 2017-06-25 08:11 ./usr/share/why3/drivers/alt_ergo_smt2.drv -rw-r--r-- root/root 8012 2017-06-25 08:11 ./usr/share/why3/drivers/beagle.drv -rw-r--r-- root/root 7460 2017-06-25 08:11 ./usr/share/why3/drivers/coq-common.gen -rw-r--r-- root/root 3480 2017-06-25 08:11 ./usr/share/why3/drivers/coq-realizations.aux -rw-r--r-- root/root 227 2017-06-25 08:11 ./usr/share/why3/drivers/coq-realize.drv -rw-r--r-- root/root 3164 2017-06-25 08:11 ./usr/share/why3/drivers/coq-ssreflect.drv -rw-r--r-- root/root 251 2017-06-25 08:11 ./usr/share/why3/drivers/coq.drv -rw-r--r-- root/root 3837 2017-06-25 08:11 ./usr/share/why3/drivers/cvc3.drv -rw-r--r-- root/root 1716 2017-06-25 08:11 ./usr/share/why3/drivers/cvc4-realize.drv -rw-r--r-- root/root 1094 2017-06-25 08:11 ./usr/share/why3/drivers/cvc4.drv -rw-r--r-- root/root 1665 2017-06-25 08:11 ./usr/share/why3/drivers/cvc4_14.drv -rw-r--r-- root/root 1956 2017-06-25 08:11 ./usr/share/why3/drivers/cvc4_15.drv -rw-r--r-- root/root 517 2017-06-25 08:11 ./usr/share/why3/drivers/cvc4_bv.gen -rw-r--r-- root/root 167 2017-06-25 08:11 ./usr/share/why3/drivers/discrimination.gen -rw-r--r-- root/root 322 2017-06-25 08:11 ./usr/share/why3/drivers/eprover.drv -rw-r--r-- root/root 3976 2017-06-25 08:11 ./usr/share/why3/drivers/gappa.drv -rw-r--r-- root/root 121 2017-06-25 08:11 ./usr/share/why3/drivers/iprover.drv -rw-r--r-- root/root 131 2017-06-25 08:11 ./usr/share/why3/drivers/isabelle-2016-1.gen -rw-r--r-- root/root 131 2017-06-25 08:11 ./usr/share/why3/drivers/isabelle-2016.gen -rw-r--r-- root/root 7890 2017-06-25 08:11 ./usr/share/why3/drivers/isabelle-common.gen -rw-r--r-- root/root 50 2017-06-25 08:11 ./usr/share/why3/drivers/isabelle-realizations.aux -rw-r--r-- root/root 235 2017-06-25 08:11 ./usr/share/why3/drivers/isabelle2016-1-realize.drv -rw-r--r-- root/root 327 2017-06-25 08:11 ./usr/share/why3/drivers/isabelle2016-1.drv -rw-r--r-- root/root 233 2017-06-25 08:11 ./usr/share/why3/drivers/isabelle2016-realize.drv -rw-r--r-- root/root 325 2017-06-25 08:11 ./usr/share/why3/drivers/isabelle2016.drv -rw-r--r-- root/root 5666 2017-06-25 08:11 ./usr/share/why3/drivers/mathematica.drv -rw-r--r-- root/root 4286 2017-06-25 08:11 ./usr/share/why3/drivers/mathsat.drv -rw-r--r-- root/root 340 2017-06-25 08:11 ./usr/share/why3/drivers/metis.drv -rw-r--r-- root/root 6407 2017-06-25 08:11 ./usr/share/why3/drivers/metitarski.drv -rw-r--r-- root/root 216 2017-06-25 08:11 ./usr/share/why3/drivers/no-bv.gen -rw-r--r-- root/root 7068 2017-06-25 08:11 ./usr/share/why3/drivers/ocaml-gen.drv -rw-r--r-- root/root 1679 2017-06-25 08:11 ./usr/share/why3/drivers/ocaml-no-arith.drv -rw-r--r-- root/root 7099 2017-06-25 08:11 ./usr/share/why3/drivers/ocaml-unsafe-int.drv -rw-r--r-- root/root 3776 2017-06-25 08:11 ./usr/share/why3/drivers/ocaml32.drv -rw-r--r-- root/root 7057 2017-06-25 08:11 ./usr/share/why3/drivers/ocaml64.drv -rw-r--r-- root/root 2090 2017-06-25 08:11 ./usr/share/why3/drivers/polypaver.drv -rw-r--r-- root/root 7956 2017-06-25 08:11 ./usr/share/why3/drivers/princess.drv -rw-r--r-- root/root 2300 2017-06-25 08:11 ./usr/share/why3/drivers/psyche.drv -rw-r--r-- root/root 7861 2017-06-25 08:11 ./usr/share/why3/drivers/pvs-common.gen -rw-r--r-- root/root 50 2017-06-25 08:11 ./usr/share/why3/drivers/pvs-realizations.aux -rw-r--r-- root/root 186 2017-06-25 08:11 ./usr/share/why3/drivers/pvs-realize.drv -rw-r--r-- root/root 183 2017-06-25 08:11 ./usr/share/why3/drivers/pvs.drv -rw-r--r-- root/root 322 2017-06-25 08:11 ./usr/share/why3/drivers/safeprover.drv -rw-r--r-- root/root 2119 2017-06-25 08:11 ./usr/share/why3/drivers/simplify.drv -rw-r--r-- root/root 5367 2017-06-25 08:11 ./usr/share/why3/drivers/smt-libv2-bv-realization.gen -rw-r--r-- root/root 4571 2017-06-25 08:11 ./usr/share/why3/drivers/smt-libv2-bv.gen -rw-r--r-- root/root 4175 2017-06-25 08:11 ./usr/share/why3/drivers/smt-libv2.drv -rw-r--r-- root/root 270 2017-06-25 08:11 ./usr/share/why3/drivers/spass.drv -rw-r--r-- root/root 774 2017-06-25 08:11 ./usr/share/why3/drivers/spass_types.drv -rw-r--r-- root/root 7797 2017-06-25 08:11 ./usr/share/why3/drivers/tptp-tff0.drv -rw-r--r-- root/root 7566 2017-06-25 08:11 ./usr/share/why3/drivers/tptp-tff1.drv -rw-r--r-- root/root 876 2017-06-25 08:11 ./usr/share/why3/drivers/tptp.gen -rw-r--r-- root/root 214 2017-06-25 08:11 ./usr/share/why3/drivers/vampire.drv -rw-r--r-- root/root 1180 2017-06-25 08:11 ./usr/share/why3/drivers/verit.drv -rw-r--r-- root/root 182 2017-06-25 08:11 ./usr/share/why3/drivers/why3.drv -rw-r--r-- root/root 1472 2017-06-25 08:11 ./usr/share/why3/drivers/why3_smt.drv -rw-r--r-- root/root 468 2017-06-25 08:11 ./usr/share/why3/drivers/why3_tptp.drv -rw-r--r-- root/root 827 2017-06-25 08:11 ./usr/share/why3/drivers/yices-smt2.drv -rw-r--r-- root/root 3858 2017-06-25 08:11 ./usr/share/why3/drivers/yices.drv -rw-r--r-- root/root 2477 2017-06-25 08:11 ./usr/share/why3/drivers/z3-realize.drv -rw-r--r-- root/root 1585 2017-06-25 08:11 ./usr/share/why3/drivers/z3.drv -rw-r--r-- root/root 2539 2017-06-25 08:11 ./usr/share/why3/drivers/z3_432.drv -rw-r--r-- root/root 2697 2017-06-25 08:11 ./usr/share/why3/drivers/z3_440.drv -rw-r--r-- root/root 3236 2017-06-25 08:11 ./usr/share/why3/drivers/z3_smtv1.drv -rw-r--r-- root/root 812 2017-06-25 08:11 ./usr/share/why3/drivers/zenon.drv -rw-r--r-- root/root 7250 2017-06-25 08:11 ./usr/share/why3/drivers/zenon_modulo.drv drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/why3/images/ -rw-r--r-- root/root 821 2017-06-25 08:11 ./usr/share/why3/images/fatcow.rc drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/why3/images/fatcow/ -rw-r--r-- root/root 1624 2017-06-25 08:11 ./usr/share/why3/images/fatcow/accept.png -rw-r--r-- root/root 1889 2017-06-25 08:11 ./usr/share/why3/images/fatcow/bin.png -rw-r--r-- root/root 2077 2017-06-25 08:11 ./usr/share/why3/images/fatcow/bomb.png -rw-r--r-- root/root 2115 2017-06-25 08:11 ./usr/share/why3/images/fatcow/brick_delete.png -rw-r--r-- root/root 606 2017-06-25 08:11 ./usr/share/why3/images/fatcow/bullet_black.png -rw-r--r-- root/root 631 2017-06-25 08:11 ./usr/share/why3/images/fatcow/bullet_blue.png -rw-r--r-- root/root 617 2017-06-25 08:11 ./usr/share/why3/images/fatcow/bullet_green.png -rw-r--r-- root/root 631 2017-06-25 08:11 ./usr/share/why3/images/fatcow/bullet_red.png -rw-r--r-- root/root 561 2017-06-25 08:11 ./usr/share/why3/images/fatcow/bullet_white.png -rw-r--r-- root/root 1634 2017-06-25 08:11 ./usr/share/why3/images/fatcow/cancel.png -rw-r--r-- root/root 1782 2017-06-25 08:11 ./usr/share/why3/images/fatcow/control_pause_blue.png -rw-r--r-- root/root 1751 2017-06-25 08:11 ./usr/share/why3/images/fatcow/control_play_blue.png -rw-r--r-- root/root 1807 2017-06-25 08:11 ./usr/share/why3/images/fatcow/database_delete.png -rw-r--r-- root/root 845 2017-06-25 08:11 ./usr/share/why3/images/fatcow/ddr_memory.png -rw-r--r-- root/root 1778 2017-06-25 08:11 ./usr/share/why3/images/fatcow/delete.png -rw-r--r-- root/root 1923 2017-06-25 08:11 ./usr/share/why3/images/fatcow/exclamation.png -rw-r--r-- root/root 1038 2017-06-25 08:11 ./usr/share/why3/images/fatcow/folder.png -rw-r--r-- root/root 2123 2017-06-25 08:11 ./usr/share/why3/images/fatcow/help.png -rw-r--r-- root/root 898 2017-06-25 08:11 ./usr/share/why3/images/fatcow/magic_wand_2.png -rw-r--r-- root/root 1615 2017-06-25 08:11 ./usr/share/why3/images/fatcow/multitool.png -rw-r--r-- root/root 866 2017-06-25 08:11 ./usr/share/why3/images/fatcow/package.png -rw-r--r-- root/root 767 2017-06-25 08:11 ./usr/share/why3/images/fatcow/pencil.png -rw-r--r-- root/root 1298 2017-06-25 08:11 ./usr/share/why3/images/fatcow/readme-fatcow.txt -rw-r--r-- root/root 1107 2017-06-25 08:11 ./usr/share/why3/images/fatcow/script.png -rw-r--r-- root/root 2269 2017-06-25 08:11 ./usr/share/why3/images/fatcow/time_delete.png -rw-r--r-- root/root 2430 2017-06-25 08:11 ./usr/share/why3/images/fatcow/timeline.png -rw-r--r-- root/root 2045 2017-06-25 08:11 ./usr/share/why3/images/fatcow/update.png -rw-r--r-- root/root 1210 2017-06-25 08:11 ./usr/share/why3/images/logo-why.png drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/why3/lang/ -rw-r--r-- root/root 8047 2017-06-25 08:11 ./usr/share/why3/lang/why3.lang drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/why3/modules/ -rw-r--r-- root/root 8792 2017-06-25 08:11 ./usr/share/why3/modules/array.mlw -rw-r--r-- root/root 1912 2017-06-25 08:11 ./usr/share/why3/modules/hashtbl.mlw -rw-r--r-- root/root 668 2017-06-25 08:11 ./usr/share/why3/modules/impset.mlw -rw-r--r-- root/root 1430 2017-06-25 08:11 ./usr/share/why3/modules/io.mlw drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/why3/modules/mach/ -rw-r--r-- root/root 14037 2017-06-25 08:11 ./usr/share/why3/modules/mach/array.mlw -rw-r--r-- root/root 6579 2017-06-25 08:11 ./usr/share/why3/modules/mach/bv.mlw -rw-r--r-- root/root 7291 2017-06-25 08:11 ./usr/share/why3/modules/mach/int.mlw -rw-r--r-- root/root 2558 2017-06-25 08:11 ./usr/share/why3/modules/mach/matrix.mlw -rw-r--r-- root/root 2151 2017-06-25 08:11 ./usr/share/why3/modules/mach/onetime.mlw -rw-r--r-- root/root 1985 2017-06-25 08:11 ./usr/share/why3/modules/mach/peano.mlw -rw-r--r-- root/root 2257 2017-06-25 08:11 ./usr/share/why3/modules/matrix.mlw -rw-r--r-- root/root 756 2017-06-25 08:11 ./usr/share/why3/modules/null.mlw -rw-r--r-- root/root 3514 2017-06-25 08:11 ./usr/share/why3/modules/pqueue.mlw -rw-r--r-- root/root 1472 2017-06-25 08:11 ./usr/share/why3/modules/queue.mlw -rw-r--r-- root/root 2349 2017-06-25 08:11 ./usr/share/why3/modules/random.mlw -rw-r--r-- root/root 1108 2017-06-25 08:11 ./usr/share/why3/modules/ref.mlw -rw-r--r-- root/root 1315 2017-06-25 08:11 ./usr/share/why3/modules/stack.mlw -rw-r--r-- root/root 3712 2017-06-25 08:11 ./usr/share/why3/modules/string.mlw -rw-r--r-- root/root 16401 2017-06-25 08:11 ./usr/share/why3/provers-detection-data.conf drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/why3/theories/ -rw-r--r-- root/root 4268 2017-06-25 08:11 ./usr/share/why3/theories/algebra.why -rw-r--r-- root/root 3264 2017-06-25 08:11 ./usr/share/why3/theories/bag.why -rw-r--r-- root/root 2795 2017-06-25 08:11 ./usr/share/why3/theories/bintree.why -rw-r--r-- root/root 858 2017-06-25 08:11 ./usr/share/why3/theories/bool.why -rw-r--r-- root/root 15395 2017-06-25 08:11 ./usr/share/why3/theories/bv.why -rw-r--r-- root/root 19214 2017-06-25 08:11 ./usr/share/why3/theories/floating_point.why -rw-r--r-- root/root 511 2017-06-25 08:11 ./usr/share/why3/theories/function.why -rw-r--r-- root/root 2576 2017-06-25 08:11 ./usr/share/why3/theories/graph.why -rw-r--r-- root/root 11891 2017-06-25 08:11 ./usr/share/why3/theories/int.why -rw-r--r-- root/root 11554 2017-06-25 08:11 ./usr/share/why3/theories/list.why -rw-r--r-- root/root 6010 2017-06-25 08:11 ./usr/share/why3/theories/map.why -rw-r--r-- root/root 5468 2017-06-25 08:11 ./usr/share/why3/theories/number.why -rw-r--r-- root/root 78 2017-06-25 08:11 ./usr/share/why3/theories/option.why -rw-r--r-- root/root 1183 2017-06-25 08:11 ./usr/share/why3/theories/pigeon.why -rw-r--r-- root/root 9325 2017-06-25 08:11 ./usr/share/why3/theories/real.why -rw-r--r-- root/root 1073 2017-06-25 08:11 ./usr/share/why3/theories/regexp.why -rw-r--r-- root/root 3579 2017-06-25 08:11 ./usr/share/why3/theories/relations.why -rw-r--r-- root/root 10052 2017-06-25 08:11 ./usr/share/why3/theories/seq.why -rw-r--r-- root/root 8777 2017-06-25 08:11 ./usr/share/why3/theories/set.why -rw-r--r-- root/root 918 2017-06-25 08:11 ./usr/share/why3/theories/sum.why -rw-r--r-- root/root 3922 2017-06-25 08:11 ./usr/share/why3/theories/tptp.why drwxr-xr-x root/root 0 2017-06-25 08:11 ./usr/share/why3/vim/ -rw-r--r-- root/root 9006 2017-06-25 08:11 ./usr/share/why3/vim/why3.vim -rw-r--r-- root/root 3756 2017-06-25 08:11 ./usr/share/why3/why3session.dtd +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Not removing build depends: as requested Keeping session: +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: s390x Build-Space: 951956 Build-Time: 353 Distribution: artful-proposed Host Architecture: s390x Install-Time: 66 Job: why3_0.87.3-2build1.dsc Machine Architecture: s390x Package: why3 Package-Time: 420 Source-Version: 0.87.3-2build1 Space: 951956 Status: successful Version: 0.87.3-2build1 -------------------------------------------------------------------------------- Finished at 20170625-0820 Build needed 00:07:00, 951956k disc space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-12801871'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-12801871/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-12801871'] Unmounting chroot for build PACKAGEBUILD-12801871... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-12801871'] Removing build PACKAGEBUILD-12801871