RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux bos01-arm64-035 4.4.0-78-generic #99-Ubuntu SMP Thu Apr 27 15:29:21 UTC 2017 aarch64 Buildd toolchain package versions: launchpad-buildd_144 python-lpbuildd_144 sbuild_0.67.0-2ubuntu7 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3 git-build-recipe_0.3.4~git201611291343.dcee459~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.1 dpkg-dev_1.18.4ubuntu1.2 python-debian_0.1.27ubuntu2 qemu-user-static_1:2.5+dfsg-5ubuntu10.14. Syncing the system clock with the buildd NTP service... 5 Jun 10:28:24 ntpdate[1798]: adjust time server 10.211.37.1 offset 0.000349 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-12691390', '/home/buildd/filecache-default/393420d2b09d3fd212076c1e7bb21902ac116e2c'] Unpacking chroot for build PACKAGEBUILD-12691390 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-12691390'] Mounting chroot for build PACKAGEBUILD-12691390 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-12691390', '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-12691390 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-12691390', 'arm64'] Updating debian chroot for build PACKAGEBUILD-12691390 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 arm64 Packages [1135 kB] Get:6 http://ftpmaster.internal/ubuntu artful/main Translation-en [567 kB] Get:7 http://ftpmaster.internal/ubuntu artful/universe arm64 Packages [8012 kB] Get:8 http://ftpmaster.internal/ubuntu artful/universe Translation-en [4750 kB] Get:9 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 Packages [75.1 kB] Get:10 http://ftpmaster.internal/ubuntu artful-proposed/main Translation-en [37.1 kB] Get:11 http://ftpmaster.internal/ubuntu artful-proposed/universe arm64 Packages [108 kB] Get:12 http://ftpmaster.internal/ubuntu artful-proposed/universe Translation-en [66.9 kB] Fetched 15.4 MB in 5s (2996 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 g++-6 gcc-6 gcc-6-base init init-system-helpers libapparmor1 libapt-pkg5.0 libasan3 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 libitm1 libkmod2 libkrb5-26-heimdal libldap-2.4-2 libldap-common libmount1 libperl5.24 libroken18-heimdal libselinux1 libsemanage-common libsemanage1 libsmartcols1 libsqlite3-0 libssl1.0.0 libstdc++-6-dev libstdc++6 libsystemd0 libtasn1-6 libubsan0 libudev1 libusb-0.1-4 libuuid1 libwind0-heimdal linux-libc-dev login mount openssl passwd perl perl-base perl-modules-5.24 systemd systemd-sysv util-linux 73 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 43.7 MB of archives. After this operation, 722 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu artful/main arm64 debianutils arm64 4.8.1.1 [84.8 kB] Get:2 http://ftpmaster.internal/ubuntu artful/main arm64 bash arm64 4.4-5ubuntu1 [543 kB] Get:3 http://ftpmaster.internal/ubuntu artful/main arm64 bsdutils arm64 1:2.29-1ubuntu3 [51.4 kB] Get:4 http://ftpmaster.internal/ubuntu artful/main arm64 dpkg arm64 1.18.23ubuntu7 [1089 kB] Get:5 http://ftpmaster.internal/ubuntu artful/main arm64 login arm64 1:4.2-3.2ubuntu2 [298 kB] Get:6 http://ftpmaster.internal/ubuntu artful/main arm64 util-linux arm64 2.29-1ubuntu3 [828 kB] Get:7 http://ftpmaster.internal/ubuntu artful/main arm64 mount arm64 2.29-1ubuntu3 [120 kB] Get:8 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 libperl5.24 arm64 5.24.1-3ubuntu1 [3230 kB] Get:9 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 perl arm64 5.24.1-3ubuntu1 [219 kB] Get:10 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 perl-base arm64 5.24.1-3ubuntu1 [1186 kB] Get:11 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 perl-modules-5.24 all 5.24.1-3ubuntu1 [2662 kB] Get:12 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 init-system-helpers all 1.48 [37.8 kB] Get:13 http://ftpmaster.internal/ubuntu artful/main arm64 gcc-7-base arm64 7.1.0-6ubuntu2 [18.8 kB] Get:14 http://ftpmaster.internal/ubuntu artful/main arm64 libgcc1 arm64 1:7.1.0-6ubuntu2 [33.4 kB] Get:15 http://ftpmaster.internal/ubuntu artful/main arm64 libstdc++6 arm64 7.1.0-6ubuntu2 [384 kB] Get:16 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 libapt-pkg5.0 arm64 1.4.6 [719 kB] Get:17 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 apt arm64 1.4.6 [1069 kB] Get:18 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 libapparmor1 arm64 2.11.0-2ubuntu7 [26.7 kB] Get:19 http://ftpmaster.internal/ubuntu artful/main arm64 libaudit-common all 1:2.6.6-1ubuntu2 [4626 B] Get:20 http://ftpmaster.internal/ubuntu artful/main arm64 libaudit1 arm64 1:2.6.6-1ubuntu2 [35.0 kB] Get:21 http://ftpmaster.internal/ubuntu artful/main arm64 libselinux1 arm64 2.6-3build1 [55.5 kB] Get:22 http://ftpmaster.internal/ubuntu artful/main arm64 libsemanage-common all 2.6-2build1 [6738 B] Get:23 http://ftpmaster.internal/ubuntu artful/main arm64 libsemanage1 arm64 2.6-2build1 [67.1 kB] Get:24 http://ftpmaster.internal/ubuntu artful/main arm64 passwd arm64 1:4.2-3.2ubuntu2 [735 kB] Get:25 http://ftpmaster.internal/ubuntu artful/main arm64 libuuid1 arm64 2.29-1ubuntu3 [14.0 kB] Get:26 http://ftpmaster.internal/ubuntu artful/main arm64 libblkid1 arm64 2.29-1ubuntu3 [90.1 kB] Get:27 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 libgcrypt20 arm64 1.7.6-2 [307 kB] Get:28 http://ftpmaster.internal/ubuntu artful/main arm64 libkmod2 arm64 24-1ubuntu1 [31.7 kB] Get:29 http://ftpmaster.internal/ubuntu artful/main arm64 libmount1 arm64 2.29-1ubuntu3 [97.9 kB] Get:30 http://ftpmaster.internal/ubuntu artful/main arm64 systemd arm64 233-6ubuntu3 [2116 kB] Get:31 http://ftpmaster.internal/ubuntu artful/main arm64 libsystemd0 arm64 233-6ubuntu3 [171 kB] Get:32 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 init arm64 1.48 [5806 B] Get:33 http://ftpmaster.internal/ubuntu artful/main arm64 systemd-sysv arm64 233-6ubuntu3 [13.0 kB] Get:34 http://ftpmaster.internal/ubuntu artful/main arm64 libfdisk1 arm64 2.29-1ubuntu3 [118 kB] Get:35 http://ftpmaster.internal/ubuntu artful/main arm64 libsmartcols1 arm64 2.29-1ubuntu3 [57.0 kB] Get:36 http://ftpmaster.internal/ubuntu artful/main arm64 libudev1 arm64 233-6ubuntu3 [47.9 kB] Get:37 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 libdevmapper1.02.1 arm64 2:1.02.137-2ubuntu2 [109 kB] Get:38 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 dmsetup arm64 2:1.02.137-2ubuntu2 [64.8 kB] Get:39 http://ftpmaster.internal/ubuntu artful/main arm64 libroken18-heimdal arm64 7.1.0+dfsg-13 [34.3 kB] Get:40 http://ftpmaster.internal/ubuntu artful/main arm64 libasn1-8-heimdal arm64 7.1.0+dfsg-13 [127 kB] Get:41 http://ftpmaster.internal/ubuntu artful/main arm64 libtasn1-6 arm64 4.10-1.1 [30.8 kB] Get:42 http://ftpmaster.internal/ubuntu artful/main arm64 libgnutls30 arm64 3.5.8-5ubuntu1 [561 kB] Get:43 http://ftpmaster.internal/ubuntu artful/main arm64 libheimbase1-heimdal arm64 7.1.0+dfsg-13 [24.1 kB] Get:44 http://ftpmaster.internal/ubuntu artful/main arm64 libhcrypto4-heimdal arm64 7.1.0+dfsg-13 [74.2 kB] Get:45 http://ftpmaster.internal/ubuntu artful/main arm64 libwind0-heimdal arm64 7.1.0+dfsg-13 [46.9 kB] Get:46 http://ftpmaster.internal/ubuntu artful/main arm64 libhx509-5-heimdal arm64 7.1.0+dfsg-13 [86.8 kB] Get:47 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 libsqlite3-0 arm64 3.16.2-4 [409 kB] Get:48 http://ftpmaster.internal/ubuntu artful/main arm64 libkrb5-26-heimdal arm64 7.1.0+dfsg-13 [166 kB] Get:49 http://ftpmaster.internal/ubuntu artful/main arm64 libheimntlm0-heimdal arm64 7.1.0+dfsg-13 [13.3 kB] Get:50 http://ftpmaster.internal/ubuntu artful/main arm64 libgssapi3-heimdal arm64 7.1.0+dfsg-13 [77.3 kB] Get:51 http://ftpmaster.internal/ubuntu artful/main arm64 libldap-2.4-2 arm64 2.4.44+dfsg-5ubuntu1 [129 kB] Get:52 http://ftpmaster.internal/ubuntu artful/main arm64 libldap-common all 2.4.44+dfsg-5ubuntu1 [17.5 kB] Get:53 http://ftpmaster.internal/ubuntu artful/main arm64 libssl1.0.0 arm64 1.0.2g-1ubuntu13 [702 kB] Get:54 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 apt-transport-https arm64 1.4.6 [31.0 kB] Get:55 http://ftpmaster.internal/ubuntu artful/main arm64 openssl arm64 1.0.2g-1ubuntu13 [470 kB] Get:56 http://ftpmaster.internal/ubuntu artful/main arm64 ca-certificates all 20161130+nmu1 [186 kB] Get:57 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 advancecomp arm64 1.23-1 [169 kB] Get:58 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 binutils arm64 2.28-5ubuntu1 [2552 kB] Get:59 http://ftpmaster.internal/ubuntu artful/main arm64 libgomp1 arm64 7.1.0-6ubuntu2 [62.1 kB] Get:60 http://ftpmaster.internal/ubuntu artful/main arm64 libitm1 arm64 7.1.0-6ubuntu2 [25.4 kB] Get:61 http://ftpmaster.internal/ubuntu artful/main arm64 libubsan0 arm64 7.1.0-6ubuntu2 [111 kB] Get:62 http://ftpmaster.internal/ubuntu artful/main arm64 libatomic1 arm64 7.1.0-6ubuntu2 [6602 B] Get:63 http://ftpmaster.internal/ubuntu artful/main arm64 libasan3 arm64 6.3.0-18ubuntu2 [275 kB] Get:64 http://ftpmaster.internal/ubuntu artful/main arm64 g++-6 arm64 6.3.0-18ubuntu2 [5884 kB] Get:65 http://ftpmaster.internal/ubuntu artful/main arm64 libstdc++-6-dev arm64 6.3.0-18ubuntu2 [1394 kB] Get:66 http://ftpmaster.internal/ubuntu artful/main arm64 gcc-6 arm64 6.3.0-18ubuntu2 [5780 kB] Get:67 http://ftpmaster.internal/ubuntu artful/main arm64 libgcc-6-dev arm64 6.3.0-18ubuntu2 [560 kB] Get:68 http://ftpmaster.internal/ubuntu artful/main arm64 libcc1-0 arm64 7.1.0-6ubuntu2 [35.3 kB] Get:69 http://ftpmaster.internal/ubuntu artful/main arm64 cpp-6 arm64 6.3.0-18ubuntu2 [5147 kB] Get:70 http://ftpmaster.internal/ubuntu artful/main arm64 gcc-6-base arm64 6.3.0-18ubuntu2 [17.2 kB] Get:71 http://ftpmaster.internal/ubuntu artful/main arm64 dpkg-dev all 1.18.23ubuntu7 [607 kB] Get:72 http://ftpmaster.internal/ubuntu artful/main arm64 libdpkg-perl all 1.18.23ubuntu7 [209 kB] Get:73 http://ftpmaster.internal/ubuntu artful/main arm64 libusb-0.1-4 arm64 2:0.1.12-31 [15.0 kB] Get:74 http://ftpmaster.internal/ubuntu artful-proposed/main arm64 linux-libc-dev arm64 4.11.0-5.10 [886 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 43.7 MB in 1s (32.5 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12350 files and directories currently installed.) Preparing to unpack .../debianutils_4.8.1.1_arm64.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 ... 12350 files and directories currently installed.) Preparing to unpack .../bash_4.4-5ubuntu1_arm64.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 ... 12350 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.29-1ubuntu3_arm64.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 ... 12350 files and directories currently installed.) Preparing to unpack .../dpkg_1.18.23ubuntu7_arm64.deb ... Unpacking dpkg (1.18.23ubuntu7) over (1.18.23ubuntu4) ... Setting up dpkg (1.18.23ubuntu7) ... (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 ... 12350 files and directories currently installed.) Preparing to unpack .../login_1%3a4.2-3.2ubuntu2_arm64.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 ... 12350 files and directories currently installed.) Preparing to unpack .../util-linux_2.29-1ubuntu3_arm64.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 ... 12350 files and directories currently installed.) Preparing to unpack .../mount_2.29-1ubuntu3_arm64.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 ... 12350 files and directories currently installed.) Preparing to unpack .../libperl5.24_5.24.1-3ubuntu1_arm64.deb ... Unpacking libperl5.24:arm64 (5.24.1-3ubuntu1) over (5.24.1-2ubuntu1) ... Preparing to unpack .../perl_5.24.1-3ubuntu1_arm64.deb ... Unpacking perl (5.24.1-3ubuntu1) over (5.24.1-2ubuntu1) ... Preparing to unpack .../perl-base_5.24.1-3ubuntu1_arm64.deb ... Unpacking perl-base (5.24.1-3ubuntu1) over (5.24.1-2ubuntu1) ... Setting up perl-base (5.24.1-3ubuntu1) ... (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 ... 12350 files and directories currently installed.) Preparing to unpack .../perl-modules-5.24_5.24.1-3ubuntu1_all.deb ... Unpacking perl-modules-5.24 (5.24.1-3ubuntu1) 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:arm64. (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 ... 12350 files and directories currently installed.) Preparing to unpack .../gcc-7-base_7.1.0-6ubuntu2_arm64.deb ... Unpacking gcc-7-base:arm64 (7.1.0-6ubuntu2) ... Setting up gcc-7-base:arm64 (7.1.0-6ubuntu2) ... (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 ... 12357 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a7.1.0-6ubuntu2_arm64.deb ... Unpacking libgcc1:arm64 (1:7.1.0-6ubuntu2) over (1:6.3.0-14ubuntu3) ... Setting up libgcc1:arm64 (1:7.1.0-6ubuntu2) ... (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 ... 12357 files and directories currently installed.) Preparing to unpack .../libstdc++6_7.1.0-6ubuntu2_arm64.deb ... Unpacking libstdc++6:arm64 (7.1.0-6ubuntu2) over (6.3.0-14ubuntu3) ... Setting up libstdc++6:arm64 (7.1.0-6ubuntu2) ... (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 ... 12357 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.4.6_arm64.deb ... Unpacking libapt-pkg5.0:arm64 (1.4.6) over (1.4.1ubuntu2) ... Setting up libapt-pkg5.0:arm64 (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 ... 12357 files and directories currently installed.) Preparing to unpack .../archives/apt_1.4.6_arm64.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 ... 12357 files and directories currently installed.) Preparing to unpack .../libapparmor1_2.11.0-2ubuntu7_arm64.deb ... Unpacking libapparmor1:arm64 (2.11.0-2ubuntu7) 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 ... 12357 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.6.6-1ubuntu2_arm64.deb ... Unpacking libaudit1:arm64 (1:2.6.6-1ubuntu2) over (1:2.6.6-1ubuntu1) ... Setting up libaudit1:arm64 (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 ... 12357 files and directories currently installed.) Preparing to unpack .../libselinux1_2.6-3build1_arm64.deb ... Unpacking libselinux1:arm64 (2.6-3build1) over (2.6-3) ... Setting up libselinux1:arm64 (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 ... 12357 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 ... 12357 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.6-2build1_arm64.deb ... Unpacking libsemanage1:arm64 (2.6-2build1) over (2.6-2) ... Setting up libsemanage1:arm64 (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 ... 12357 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.2-3.2ubuntu2_arm64.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 ... 12357 files and directories currently installed.) Preparing to unpack .../libuuid1_2.29-1ubuntu3_arm64.deb ... Unpacking libuuid1:arm64 (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libuuid1:arm64 (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 ... 12357 files and directories currently installed.) Preparing to unpack .../libblkid1_2.29-1ubuntu3_arm64.deb ... Unpacking libblkid1:arm64 (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libblkid1:arm64 (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 ... 12357 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.7.6-2_arm64.deb ... Unpacking libgcrypt20:arm64 (1.7.6-2) over (1.7.6-1) ... Setting up libgcrypt20:arm64 (1.7.6-2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12357 files and directories currently installed.) Preparing to unpack .../libkmod2_24-1ubuntu1_arm64.deb ... Unpacking libkmod2:arm64 (24-1ubuntu1) over (22-1.1ubuntu1) ... Preparing to unpack .../libmount1_2.29-1ubuntu3_arm64.deb ... Unpacking libmount1:arm64 (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libmount1:arm64 (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 ... 12357 files and directories currently installed.) Preparing to unpack .../systemd_233-6ubuntu3_arm64.deb ... Unpacking systemd (233-6ubuntu3) 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-6ubuntu3_arm64.deb ... Unpacking libsystemd0:arm64 (233-6ubuntu3) over (232-21ubuntu3) ... Setting up libsystemd0:arm64 (233-6ubuntu3) ... (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 ... 12383 files and directories currently installed.) Preparing to unpack .../archives/init_1.48_arm64.deb ... Unpacking init (1.48) over (1.47) ... Setting up libapparmor1:arm64 (2.11.0-2ubuntu7) ... Setting up libkmod2:arm64 (24-1ubuntu1) ... Setting up systemd (233-6ubuntu3) ... 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 ... 12383 files and directories currently installed.) Preparing to unpack .../systemd-sysv_233-6ubuntu3_arm64.deb ... Unpacking systemd-sysv (233-6ubuntu3) over (232-21ubuntu3) ... Preparing to unpack .../libfdisk1_2.29-1ubuntu3_arm64.deb ... Unpacking libfdisk1:arm64 (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libfdisk1:arm64 (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 ... 12383 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.29-1ubuntu3_arm64.deb ... Unpacking libsmartcols1:arm64 (2.29-1ubuntu3) over (2.29-1ubuntu2) ... Setting up libsmartcols1:arm64 (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 ... 12383 files and directories currently installed.) Preparing to unpack .../libudev1_233-6ubuntu3_arm64.deb ... Unpacking libudev1:arm64 (233-6ubuntu3) over (232-21ubuntu3) ... Setting up libudev1:arm64 (233-6ubuntu3) ... (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 ... 12383 files and directories currently installed.) Preparing to unpack .../00-libdevmapper1.02.1_2%3a1.02.137-2ubuntu2_arm64.deb ... Unpacking libdevmapper1.02.1:arm64 (2:1.02.137-2ubuntu2) over (2:1.02.136-1ubuntu5) ... Preparing to unpack .../01-dmsetup_2%3a1.02.137-2ubuntu2_arm64.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_arm64.deb ... Unpacking libroken18-heimdal:arm64 (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../03-libasn1-8-heimdal_7.1.0+dfsg-13_arm64.deb ... Unpacking libasn1-8-heimdal:arm64 (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../04-libtasn1-6_4.10-1.1_arm64.deb ... Unpacking libtasn1-6:arm64 (4.10-1.1) over (4.10-1) ... Preparing to unpack .../05-libgnutls30_3.5.8-5ubuntu1_arm64.deb ... Unpacking libgnutls30:arm64 (3.5.8-5ubuntu1) over (3.5.6-4ubuntu4) ... Preparing to unpack .../06-libheimbase1-heimdal_7.1.0+dfsg-13_arm64.deb ... Unpacking libheimbase1-heimdal:arm64 (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../07-libhcrypto4-heimdal_7.1.0+dfsg-13_arm64.deb ... Unpacking libhcrypto4-heimdal:arm64 (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../08-libwind0-heimdal_7.1.0+dfsg-13_arm64.deb ... Unpacking libwind0-heimdal:arm64 (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../09-libhx509-5-heimdal_7.1.0+dfsg-13_arm64.deb ... Unpacking libhx509-5-heimdal:arm64 (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../10-libsqlite3-0_3.16.2-4_arm64.deb ... Unpacking libsqlite3-0:arm64 (3.16.2-4) over (3.16.2-3) ... Preparing to unpack .../11-libkrb5-26-heimdal_7.1.0+dfsg-13_arm64.deb ... Unpacking libkrb5-26-heimdal:arm64 (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../12-libheimntlm0-heimdal_7.1.0+dfsg-13_arm64.deb ... Unpacking libheimntlm0-heimdal:arm64 (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../13-libgssapi3-heimdal_7.1.0+dfsg-13_arm64.deb ... Unpacking libgssapi3-heimdal:arm64 (7.1.0+dfsg-13) over (7.1.0+dfsg-9ubuntu1) ... Preparing to unpack .../14-libldap-2.4-2_2.4.44+dfsg-5ubuntu1_arm64.deb ... Unpacking libldap-2.4-2:arm64 (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_arm64.deb ... Unpacking libssl1.0.0:arm64 (1.0.2g-1ubuntu13) over (1.0.2g-1ubuntu12) ... Preparing to unpack .../17-apt-transport-https_1.4.6_arm64.deb ... Unpacking apt-transport-https (1.4.6) over (1.4.1ubuntu2) ... Preparing to unpack .../18-openssl_1.0.2g-1ubuntu13_arm64.deb ... Unpacking openssl (1.0.2g-1ubuntu13) over (1.0.2g-1ubuntu12) ... Preparing to unpack .../19-ca-certificates_20161130+nmu1_all.deb ... Unpacking ca-certificates (20161130+nmu1) over (20161130) ... Preparing to unpack .../20-advancecomp_1.23-1_arm64.deb ... Unpacking advancecomp (1.23-1) over (1.20-1) ... Preparing to unpack .../21-binutils_2.28-5ubuntu1_arm64.deb ... Unpacking binutils (2.28-5ubuntu1) over (2.28-4ubuntu1) ... Preparing to unpack .../22-libgomp1_7.1.0-6ubuntu2_arm64.deb ... Unpacking libgomp1:arm64 (7.1.0-6ubuntu2) over (6.3.0-14ubuntu3) ... Preparing to unpack .../23-libitm1_7.1.0-6ubuntu2_arm64.deb ... Unpacking libitm1:arm64 (7.1.0-6ubuntu2) over (6.3.0-14ubuntu3) ... Preparing to unpack .../24-libubsan0_7.1.0-6ubuntu2_arm64.deb ... Unpacking libubsan0:arm64 (7.1.0-6ubuntu2) over (6.3.0-14ubuntu3) ... Preparing to unpack .../25-libatomic1_7.1.0-6ubuntu2_arm64.deb ... Unpacking libatomic1:arm64 (7.1.0-6ubuntu2) over (6.3.0-14ubuntu3) ... Preparing to unpack .../26-libasan3_6.3.0-18ubuntu2_arm64.deb ... Unpacking libasan3:arm64 (6.3.0-18ubuntu2) over (6.3.0-14ubuntu3) ... Preparing to unpack .../27-g++-6_6.3.0-18ubuntu2_arm64.deb ... Unpacking g++-6 (6.3.0-18ubuntu2) over (6.3.0-14ubuntu3) ... Preparing to unpack .../28-libstdc++-6-dev_6.3.0-18ubuntu2_arm64.deb ... Unpacking libstdc++-6-dev:arm64 (6.3.0-18ubuntu2) over (6.3.0-14ubuntu3) ... Preparing to unpack .../29-gcc-6_6.3.0-18ubuntu2_arm64.deb ... Unpacking gcc-6 (6.3.0-18ubuntu2) over (6.3.0-14ubuntu3) ... Preparing to unpack .../30-libgcc-6-dev_6.3.0-18ubuntu2_arm64.deb ... Unpacking libgcc-6-dev:arm64 (6.3.0-18ubuntu2) over (6.3.0-14ubuntu3) ... Preparing to unpack .../31-libcc1-0_7.1.0-6ubuntu2_arm64.deb ... Unpacking libcc1-0:arm64 (7.1.0-6ubuntu2) over (6.3.0-14ubuntu3) ... Preparing to unpack .../32-cpp-6_6.3.0-18ubuntu2_arm64.deb ... Unpacking cpp-6 (6.3.0-18ubuntu2) over (6.3.0-14ubuntu3) ... Preparing to unpack .../33-gcc-6-base_6.3.0-18ubuntu2_arm64.deb ... Unpacking gcc-6-base:arm64 (6.3.0-18ubuntu2) over (6.3.0-14ubuntu3) ... Preparing to unpack .../34-dpkg-dev_1.18.23ubuntu7_all.deb ... Unpacking dpkg-dev (1.18.23ubuntu7) over (1.18.23ubuntu4) ... Preparing to unpack .../35-libdpkg-perl_1.18.23ubuntu7_all.deb ... Unpacking libdpkg-perl (1.18.23ubuntu7) over (1.18.23ubuntu4) ... Preparing to unpack .../36-libusb-0.1-4_2%3a0.1.12-31_arm64.deb ... Unpacking libusb-0.1-4:arm64 (2:0.1.12-31) over (2:0.1.12-30) ... Preparing to unpack .../37-linux-libc-dev_4.11.0-5.10_arm64.deb ... Unpacking linux-libc-dev:arm64 (4.11.0-5.10) over (4.10.0-20.22) ... Setting up libgomp1:arm64 (7.1.0-6ubuntu2) ... Setting up libatomic1:arm64 (7.1.0-6ubuntu2) ... Setting up perl-modules-5.24 (5.24.1-3ubuntu1) ... Setting up libperl5.24:arm64 (5.24.1-3ubuntu1) ... Setting up libcc1-0:arm64 (7.1.0-6ubuntu2) ... Setting up apt-transport-https (1.4.6) ... Setting up libssl1.0.0:arm64 (1.0.2g-1ubuntu13) ... Setting up libldap-common (2.4.44+dfsg-5ubuntu1) ... Setting up systemd-sysv (233-6ubuntu3) ... Setting up libubsan0:arm64 (7.1.0-6ubuntu2) ... Setting up gcc-6-base:arm64 (6.3.0-18ubuntu2) ... Setting up linux-libc-dev:arm64 (4.11.0-5.10) ... Setting up advancecomp (1.23-1) ... Setting up libroken18-heimdal:arm64 (7.1.0+dfsg-13) ... Setting up libdevmapper1.02.1:arm64 (2:1.02.137-2ubuntu2) ... Setting up libtasn1-6:arm64 (4.10-1.1) ... Setting up perl (5.24.1-3ubuntu1) ... Processing triggers for libc-bin (2.24-9ubuntu2) ... Setting up libheimbase1-heimdal:arm64 (7.1.0+dfsg-13) ... Setting up openssl (1.0.2g-1ubuntu13) ... Setting up libsqlite3-0:arm64 (3.16.2-4) ... Setting up dmsetup (2:1.02.137-2ubuntu2) ... Setting up binutils (2.28-5ubuntu1) ... Setting up cpp-6 (6.3.0-18ubuntu2) ... Setting up ca-certificates (20161130+nmu1) ... Updating certificates in /etc/ssl/certs... 0 added, 7 removed; done. Setting up libusb-0.1-4:arm64 (2:0.1.12-31) ... Setting up libitm1:arm64 (7.1.0-6ubuntu2) ... Setting up libasan3:arm64 (6.3.0-18ubuntu2) ... Setting up libgcc-6-dev:arm64 (6.3.0-18ubuntu2) ... Setting up libstdc++-6-dev:arm64 (6.3.0-18ubuntu2) ... Setting up libwind0-heimdal:arm64 (7.1.0+dfsg-13) ... Setting up init (1.48) ... Setting up libasn1-8-heimdal:arm64 (7.1.0+dfsg-13) ... Setting up libhcrypto4-heimdal:arm64 (7.1.0+dfsg-13) ... Setting up libgnutls30:arm64 (3.5.8-5ubuntu1) ... Setting up libdpkg-perl (1.18.23ubuntu7) ... Setting up libhx509-5-heimdal:arm64 (7.1.0+dfsg-13) ... Setting up gcc-6 (6.3.0-18ubuntu2) ... Setting up g++-6 (6.3.0-18ubuntu2) ... Setting up dpkg-dev (1.18.23ubuntu7) ... Setting up libkrb5-26-heimdal:arm64 (7.1.0+dfsg-13) ... Setting up libheimntlm0-heimdal:arm64 (7.1.0+dfsg-13) ... Setting up libgssapi3-heimdal:arm64 (7.1.0+dfsg-13) ... Setting up libldap-2.4-2:arm64 (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-12691390', 'arm64', 'artful-proposed', '-c', 'chroot:autobuild', '--arch=arm64', '--dist=artful-proposed', '--purge=never', '--nolog', 'why_2.38-1build1.dsc'] Initiating build PACKAGEBUILD-12691390 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-78-generic #99-Ubuntu SMP Thu Apr 27 15:29:21 UTC 2017 aarch64 sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on bos01-arm64-035.buildd +==============================================================================+ | why 2.38-1build1 (arm64) 05 Jun 2017 10:29 | +==============================================================================+ Package: why Version: 2.38-1build1 Source Version: 2.38-1build1 Distribution: artful-proposed Machine Architecture: arm64 Host Architecture: arm64 Build Architecture: arm64 I: NOTICE: Log filtering will replace 'build/why-Z3M0P1/why-2.38' with '<>' I: NOTICE: Log filtering will replace 'build/why-Z3M0P1' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-12691390/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- why_2.38-1build1.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-EGg0ba/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-EGg0ba/apt_archive ./ InRelease Get:2 copy:/<>/resolver-EGg0ba/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-EGg0ba/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-EGg0ba/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-EGg0ba/apt_archive ./ Packages [526 B] Fetched 2859 B in 0s (152 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install core build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 778 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-EGg0ba/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [778 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 778 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12388 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_arm64.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: debhelper (>= 10), autotools-dev, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, coq (>= 8.3~), libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20161101+silicon+dfsg), camlidl, why3, why3-coq Filtered Build-Depends: debhelper (>= 10), autotools-dev, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, coq (>= 8.3~), libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20161101+silicon+dfsg), camlidl, why3, why3-coq dpkg-deb: building package 'sbuild-build-depends-why-dummy' in '/<>/resolver-NMWuWv/apt_archive/sbuild-build-depends-why-dummy.deb'. Ign:1 copy:/<>/resolver-NMWuWv/apt_archive ./ InRelease Get:2 copy:/<>/resolver-NMWuWv/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-NMWuWv/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-NMWuWv/apt_archive ./ Sources [317 B] Get:5 copy:/<>/resolver-NMWuWv/apt_archive ./ Packages [641 B] Fetched 3077 B in 0s (160 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install why build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: adwaita-icon-theme aspell aspell-en autoconf automake autopoint autotools-dev bsdmainutils camlidl camlp4 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core frama-c-base gettext gettext-base groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcamlp4-ocaml-dev libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-1-3 libenchant1c2a libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfreetype6 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libharfbuzz0b libhunspell-1.4-0 libicu57 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-ocaml liblablgtksourceview2-ocaml libmagic-mgc libmagic1 libncurses5-dev libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpipeline1 libpixman-1-0 librsvg2-2 librsvg2-common libsigsegv2 libtext-iconv-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 libzarith-ocaml libzip-ocaml m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-native-compilers ocaml-nox po-debconf shared-mime-info tex-common ubuntu-mono ucf why3 why3-coq Suggested packages: aspell-doc spellutils autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation camlidl-doc proofgeneral ledit | readline-editor libcoq-ocaml-dev why coq-doc dh-make git wordlist gettext-doc libasprintf-dev libgettextpo-dev groff cups-common libenchant-voikko gvfs ncurses-doc librsvg2-bin libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc less www-browser ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl why3-examples Recommended packages: coqide | proofgeneral alt-ergo curl | wget | lynx-cur dbus enchant libgdk-pixbuf2.0-bin libglib2.0-data xdg-user-dirs libgail-common libgtk2.0-bin hunspell-en-us | hunspell-dictionary | myspell-dictionary libltdl-dev xml-core libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl The following 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 camlidl camlp4 coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core frama-c-base gettext gettext-base groff-base gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcamlp4-ocaml-dev libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-1-3 libenchant1c2a libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfreetype6 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglade2-0 libglib2.0-0 libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell0 libharfbuzz0b libhunspell-1.4-0 libicu57 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-ocaml liblablgtksourceview2-ocaml libmagic-mgc libmagic1 libncurses5-dev libocamlgraph-ocaml-dev libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpipeline1 libpixman-1-0 librsvg2-2 librsvg2-common libsigsegv2 libtext-iconv-perl libthai-data libthai0 libtiff5 libtimedate-perl libtinfo-dev libtool libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 libzarith-ocaml libzip-ocaml m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-native-compilers ocaml-nox po-debconf sbuild-build-depends-why-dummy shared-mime-info tex-common ubuntu-mono ucf why3 why3-coq 0 upgraded, 123 newly installed, 1 to remove and 0 not upgraded. Need to get 141 MB of archives. After this operation, 781 MB of additional disk space will be used. Get:1 copy:/<>/resolver-NMWuWv/apt_archive ./ sbuild-build-depends-why-dummy 0.invalid.0 [894 B] Get:2 http://ftpmaster.internal/ubuntu artful/main arm64 libxau6 arm64 1:1.0.8-1 [7590 B] Get:3 http://ftpmaster.internal/ubuntu artful/main arm64 libbsd0 arm64 0.8.3-1 [36.7 kB] Get:4 http://ftpmaster.internal/ubuntu artful/main arm64 libxdmcp6 arm64 1:1.1.2-3 [9694 B] Get:5 http://ftpmaster.internal/ubuntu artful/main arm64 libxcb1 arm64 1.11.1-1ubuntu1 [33.3 kB] Get:6 http://ftpmaster.internal/ubuntu artful/main arm64 libx11-data all 2:1.6.4-3 [114 kB] Get:7 http://ftpmaster.internal/ubuntu artful/main arm64 libx11-6 arm64 2:1.6.4-3 [515 kB] Get:8 http://ftpmaster.internal/ubuntu artful/main arm64 libxext6 arm64 2:1.3.3-1 [25.4 kB] Get:9 http://ftpmaster.internal/ubuntu artful/main arm64 groff-base arm64 1.22.3-9 [1129 kB] Get:10 http://ftpmaster.internal/ubuntu artful/main arm64 bsdmainutils arm64 9.0.12ubuntu1 [170 kB] Get:11 http://ftpmaster.internal/ubuntu artful/main arm64 libpipeline1 arm64 1.4.1-2 [21.9 kB] Get:12 http://ftpmaster.internal/ubuntu artful/main arm64 man-db arm64 2.7.6.1-2 [871 kB] Get:13 http://ftpmaster.internal/ubuntu artful/main arm64 fonts-dejavu-core all 2.37-1 [1041 kB] Get:14 http://ftpmaster.internal/ubuntu artful/main arm64 ucf all 3.0036 [52.9 kB] Get:15 http://ftpmaster.internal/ubuntu artful/main arm64 fontconfig-config all 2.11.94-0ubuntu2 [49.9 kB] Get:16 http://ftpmaster.internal/ubuntu artful/main arm64 libexpat1 arm64 2.2.0-2 [59.3 kB] Get:17 http://ftpmaster.internal/ubuntu artful/main arm64 libfreetype6 arm64 2.6.3-3.2ubuntu1 [272 kB] Get:18 http://ftpmaster.internal/ubuntu artful/main arm64 libfontconfig1 arm64 2.11.94-0ubuntu2 [117 kB] Get:19 http://ftpmaster.internal/ubuntu artful/main arm64 fontconfig arm64 2.11.94-0ubuntu2 [177 kB] Get:20 http://ftpmaster.internal/ubuntu artful/main arm64 libglib2.0-0 arm64 2.53.1-1 [956 kB] Get:21 http://ftpmaster.internal/ubuntu artful/main arm64 libatk1.0-data all 2.22.0-1 [2844 B] Get:22 http://ftpmaster.internal/ubuntu artful/main arm64 libatk1.0-0 arm64 2.22.0-1 [36.1 kB] Get:23 http://ftpmaster.internal/ubuntu artful/main arm64 libjpeg-turbo8 arm64 1.5.1-0ubuntu1 [90.0 kB] Get:24 http://ftpmaster.internal/ubuntu artful/main arm64 libjpeg8 arm64 8c-2ubuntu8 [2198 B] Get:25 http://ftpmaster.internal/ubuntu artful/main arm64 libjbig0 arm64 2.1-3.1 [23.8 kB] Get:26 http://ftpmaster.internal/ubuntu artful/main arm64 libtiff5 arm64 4.0.8-2 [126 kB] Get:27 http://ftpmaster.internal/ubuntu artful/main arm64 libicu57 arm64 57.1-6 [7538 kB] Get:28 http://ftpmaster.internal/ubuntu artful/main arm64 libxml2 arm64 2.9.4+dfsg1-2.2ubuntu1 [569 kB] Get:29 http://ftpmaster.internal/ubuntu artful/main arm64 shared-mime-info arm64 1.8-1 [418 kB] Get:30 http://ftpmaster.internal/ubuntu artful/main arm64 libgdk-pixbuf2.0-common all 2.36.5-3 [4602 B] Get:31 http://ftpmaster.internal/ubuntu artful/main arm64 libgdk-pixbuf2.0-0 arm64 2.36.5-3 [139 kB] Get:32 http://ftpmaster.internal/ubuntu artful/main arm64 libgtk2.0-common all 2.24.31-1ubuntu1 [124 kB] Get:33 http://ftpmaster.internal/ubuntu artful/main arm64 libpixman-1-0 arm64 0.34.0-1 [113 kB] Get:34 http://ftpmaster.internal/ubuntu artful/main arm64 libxcb-render0 arm64 1.11.1-1ubuntu1 [10.0 kB] Get:35 http://ftpmaster.internal/ubuntu artful/main arm64 libxcb-shm0 arm64 1.11.1-1ubuntu1 [5246 B] Get:36 http://ftpmaster.internal/ubuntu artful/main arm64 libxrender1 arm64 1:0.9.10-1 [16.1 kB] Get:37 http://ftpmaster.internal/ubuntu artful/main arm64 libcairo2 arm64 1.14.8-1 [461 kB] Get:38 http://ftpmaster.internal/ubuntu artful/main arm64 libavahi-common-data arm64 0.6.32-1ubuntu1 [22.0 kB] Get:39 http://ftpmaster.internal/ubuntu artful/main arm64 libavahi-common3 arm64 0.6.32-1ubuntu1 [17.9 kB] Get:40 http://ftpmaster.internal/ubuntu artful/main arm64 libdbus-1-3 arm64 1.10.10-1ubuntu2 [138 kB] Get:41 http://ftpmaster.internal/ubuntu artful/main arm64 libavahi-client3 arm64 0.6.32-1ubuntu1 [21.0 kB] Get:42 http://ftpmaster.internal/ubuntu artful/main arm64 libcups2 arm64 2.2.3-1 [173 kB] Get:43 http://ftpmaster.internal/ubuntu artful/main arm64 libthai-data all 0.1.26-1 [131 kB] Get:44 http://ftpmaster.internal/ubuntu artful/main arm64 libdatrie1 arm64 0.2.10-4 [14.6 kB] Get:45 http://ftpmaster.internal/ubuntu artful/main arm64 libthai0 arm64 0.1.26-1 [14.9 kB] Get:46 http://ftpmaster.internal/ubuntu artful/main arm64 libpango-1.0-0 arm64 1.40.5-1 [132 kB] Get:47 http://ftpmaster.internal/ubuntu artful/main arm64 libgraphite2-3 arm64 1.3.10-1 [64.7 kB] Get:48 http://ftpmaster.internal/ubuntu artful/main arm64 libharfbuzz0b arm64 1.4.2-1 [184 kB] Get:49 http://ftpmaster.internal/ubuntu artful/main arm64 libpangoft2-1.0-0 arm64 1.40.5-1 [27.1 kB] Get:50 http://ftpmaster.internal/ubuntu artful/main arm64 libpangocairo-1.0-0 arm64 1.40.5-1 [17.1 kB] Get:51 http://ftpmaster.internal/ubuntu artful/main arm64 libxcomposite1 arm64 1:0.4.4-2 [6646 B] Get:52 http://ftpmaster.internal/ubuntu artful/main arm64 libxfixes3 arm64 1:5.0.3-1 [9844 B] Get:53 http://ftpmaster.internal/ubuntu artful/main arm64 libxcursor1 arm64 1:1.1.14-1 [19.9 kB] Get:54 http://ftpmaster.internal/ubuntu artful/main arm64 libxdamage1 arm64 1:1.1.4-2 [6590 B] Get:55 http://ftpmaster.internal/ubuntu artful/main arm64 libxi6 arm64 2:1.7.9-1 [25.4 kB] Get:56 http://ftpmaster.internal/ubuntu artful/main arm64 libxinerama1 arm64 2:1.1.3-1 [7438 B] Get:57 http://ftpmaster.internal/ubuntu artful/main arm64 libxrandr2 arm64 2:1.5.1-1 [16.0 kB] Get:58 http://ftpmaster.internal/ubuntu artful/main arm64 hicolor-icon-theme all 0.15-1 [8378 B] Get:59 http://ftpmaster.internal/ubuntu artful/main arm64 gtk-update-icon-cache arm64 3.22.15-0ubuntu1 [26.8 kB] Get:60 http://ftpmaster.internal/ubuntu artful/main arm64 libcroco3 arm64 0.6.11-3 [66.1 kB] Get:61 http://ftpmaster.internal/ubuntu artful/main arm64 librsvg2-2 arm64 2.40.16-2~svn1 [75.9 kB] Get:62 http://ftpmaster.internal/ubuntu artful/main arm64 librsvg2-common arm64 2.40.16-2~svn1 [6340 B] Get:63 http://ftpmaster.internal/ubuntu artful/main arm64 humanity-icon-theme all 0.6.13 [1288 kB] Get:64 http://ftpmaster.internal/ubuntu artful/main arm64 ubuntu-mono all 16.10+17.10.20170518-0ubuntu1 [160 kB] Get:65 http://ftpmaster.internal/ubuntu artful/main arm64 adwaita-icon-theme all 3.24.0-0ubuntu1 [3423 kB] Get:66 http://ftpmaster.internal/ubuntu artful/main arm64 libgtk2.0-0 arm64 2.24.31-1ubuntu1 [1428 kB] Get:67 http://ftpmaster.internal/ubuntu artful/main arm64 libglade2-0 arm64 1:2.6.4-2 [38.7 kB] Get:68 http://ftpmaster.internal/ubuntu artful/main arm64 libmagic-mgc arm64 1:5.30-1 [181 kB] Get:69 http://ftpmaster.internal/ubuntu artful/main arm64 libmagic1 arm64 1:5.30-1 [60.6 kB] Get:70 http://ftpmaster.internal/ubuntu artful/main arm64 file arm64 1:5.30-1 [21.6 kB] Get:71 http://ftpmaster.internal/ubuntu artful/main arm64 libtext-iconv-perl arm64 1.7-5build5 [12.5 kB] Get:72 http://ftpmaster.internal/ubuntu artful/main arm64 gettext-base arm64 0.19.8.1-2ubuntu1 [45.7 kB] Get:73 http://ftpmaster.internal/ubuntu artful/main arm64 libaspell15 arm64 0.60.7~20110707-3build2 [258 kB] Get:74 http://ftpmaster.internal/ubuntu artful/main arm64 emacsen-common all 2.0.8 [17.6 kB] Get:75 http://ftpmaster.internal/ubuntu artful/main arm64 dictionaries-common all 1.27.2 [186 kB] Get:76 http://ftpmaster.internal/ubuntu artful/main arm64 aspell arm64 0.60.7~20110707-3build2 [66.3 kB] Get:77 http://ftpmaster.internal/ubuntu artful/main arm64 aspell-en all 2016.11.20-0-0.1 [298 kB] Get:78 http://ftpmaster.internal/ubuntu artful/main arm64 libsigsegv2 arm64 2.10-5 [13.3 kB] Get:79 http://ftpmaster.internal/ubuntu artful/main arm64 m4 arm64 1.4.18-1 [185 kB] Get:80 http://ftpmaster.internal/ubuntu artful/main arm64 autoconf all 2.69-10 [321 kB] Get:81 http://ftpmaster.internal/ubuntu artful/main arm64 autotools-dev all 20161112.1 [39.5 kB] Get:82 http://ftpmaster.internal/ubuntu artful/main arm64 automake all 1:1.15-6ubuntu1 [509 kB] Get:83 http://ftpmaster.internal/ubuntu artful/main arm64 autopoint all 0.19.8.1-2ubuntu1 [411 kB] Get:84 http://ftpmaster.internal/ubuntu artful-proposed/universe arm64 ocaml-base-nox arm64 4.02.3-9ubuntu3 [437 kB] Get:85 http://ftpmaster.internal/ubuntu artful/main arm64 libtinfo-dev arm64 6.0+20160625-1ubuntu1 [71.3 kB] Get:86 http://ftpmaster.internal/ubuntu artful/main arm64 libncurses5-dev arm64 6.0+20160625-1ubuntu1 [245 kB] Get:87 http://ftpmaster.internal/ubuntu artful-proposed/universe arm64 ocaml-compiler-libs arm64 4.02.3-9ubuntu3 [9485 kB] Get:88 http://ftpmaster.internal/ubuntu artful-proposed/universe arm64 ocaml-interp arm64 4.02.3-9ubuntu3 [271 kB] Get:89 http://ftpmaster.internal/ubuntu artful-proposed/universe arm64 ocaml-nox arm64 4.02.3-9ubuntu3 [5139 kB] Get:90 http://ftpmaster.internal/ubuntu artful/universe arm64 camlidl arm64 1.05-14build2 [103 kB] Get:91 http://ftpmaster.internal/ubuntu artful/universe arm64 libcamlp4-ocaml-dev arm64 4.02.1+3-2 [15.0 MB] Get:92 http://ftpmaster.internal/ubuntu artful/universe arm64 camlp4 arm64 4.02.1+3-2 [2814 kB] Get:93 http://ftpmaster.internal/ubuntu artful/universe arm64 coq-theories arm64 8.6-4 [22.5 MB] Get:94 http://ftpmaster.internal/ubuntu artful/main arm64 libhunspell-1.4-0 arm64 1.4.1-2build1 [120 kB] Get:95 http://ftpmaster.internal/ubuntu artful/main arm64 libenchant1c2a arm64 1.6.0-11build1 [57.0 kB] Get:96 http://ftpmaster.internal/ubuntu artful/main arm64 libgtkspell0 arm64 2.0.16-1.1ubuntu1 [9770 B] Get:97 http://ftpmaster.internal/ubuntu artful/universe arm64 liblablgtk2-ocaml arm64 2.18.3+dfsg-2 [657 kB] Get:98 http://ftpmaster.internal/ubuntu artful/universe arm64 libgtksourceview2.0-common all 2.10.5-2ubuntu3 [434 kB] Get:99 http://ftpmaster.internal/ubuntu artful/universe arm64 libgtksourceview2.0-0 arm64 2.10.5-2ubuntu3 [117 kB] Get:100 http://ftpmaster.internal/ubuntu artful/universe arm64 liblablgtksourceview2-ocaml arm64 2.18.3+dfsg-2 [82.8 kB] Get:101 http://ftpmaster.internal/ubuntu artful/universe arm64 libcoq-ocaml arm64 8.6-4 [3415 kB] Get:102 http://ftpmaster.internal/ubuntu artful-proposed/universe arm64 ocaml-native-compilers arm64 4.02.3-9ubuntu3 [2997 kB] Get:103 http://ftpmaster.internal/ubuntu artful/universe arm64 libfindlib-ocaml arm64 1.6.2-1 [151 kB] Get:104 http://ftpmaster.internal/ubuntu artful/universe arm64 ocaml-findlib arm64 1.6.2-1 [266 kB] Get:105 http://ftpmaster.internal/ubuntu artful/universe arm64 coq arm64 8.6-4 [13.1 MB] Get:106 http://ftpmaster.internal/ubuntu artful/main arm64 libtool all 2.4.6-2 [194 kB] Get:107 http://ftpmaster.internal/ubuntu artful/main arm64 dh-autoreconf all 14 [15.5 kB] Get:108 http://ftpmaster.internal/ubuntu artful/main arm64 libarchive-zip-perl all 1.59-1 [84.0 kB] Get:109 http://ftpmaster.internal/ubuntu artful/main arm64 libfile-stripnondeterminism-perl all 0.034-1 [12.8 kB] Get:110 http://ftpmaster.internal/ubuntu artful/main arm64 libtimedate-perl all 2.3000-2 [37.5 kB] Get:111 http://ftpmaster.internal/ubuntu artful/main arm64 dh-strip-nondeterminism all 0.034-1 [5010 B] Get:112 http://ftpmaster.internal/ubuntu artful/main arm64 gettext arm64 0.19.8.1-2ubuntu1 [1022 kB] Get:113 http://ftpmaster.internal/ubuntu artful/main arm64 intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:114 http://ftpmaster.internal/ubuntu artful/main arm64 po-debconf all 1.0.20 [232 kB] Get:115 http://ftpmaster.internal/ubuntu artful/main arm64 debhelper all 10.4ubuntu3 [876 kB] Get:116 http://ftpmaster.internal/ubuntu artful/universe arm64 libocamlgraph-ocaml-dev arm64 1.8.6-1build2 [1200 kB] Get:117 http://ftpmaster.internal/ubuntu artful/universe arm64 libzarith-ocaml arm64 1.4.1-2 [38.0 kB] Get:118 http://ftpmaster.internal/ubuntu artful/universe arm64 libzip-ocaml arm64 1.06-2 [70.6 kB] Get:119 http://ftpmaster.internal/ubuntu artful/main arm64 tex-common all 6.06 [545 kB] Get:120 http://ftpmaster.internal/ubuntu artful/universe arm64 why3 arm64 0.87.3-2 [8312 kB] Get:121 http://ftpmaster.internal/ubuntu artful/universe arm64 why3-coq arm64 0.87.3-2 [5086 kB] Get:122 http://ftpmaster.internal/ubuntu artful/universe arm64 dh-ocaml all 1.0.10 [80.2 kB] Get:123 http://ftpmaster.internal/ubuntu artful/universe arm64 frama-c-base arm64 20161101+silicon+dfsg-5build1 [20.2 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 141 MB in 9s (14.5 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12388 files and directories currently installed.) Removing pkg-create-dbgsym (0.73) ... Selecting previously unselected package libxau6:arm64. (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 ... 12379 files and directories currently installed.) Preparing to unpack .../000-libxau6_1%3a1.0.8-1_arm64.deb ... Unpacking libxau6:arm64 (1:1.0.8-1) ... Selecting previously unselected package libbsd0:arm64. Preparing to unpack .../001-libbsd0_0.8.3-1_arm64.deb ... Unpacking libbsd0:arm64 (0.8.3-1) ... Selecting previously unselected package libxdmcp6:arm64. Preparing to unpack .../002-libxdmcp6_1%3a1.1.2-3_arm64.deb ... Unpacking libxdmcp6:arm64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:arm64. Preparing to unpack .../003-libxcb1_1.11.1-1ubuntu1_arm64.deb ... Unpacking libxcb1:arm64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../004-libx11-data_2%3a1.6.4-3_all.deb ... Unpacking libx11-data (2:1.6.4-3) ... Selecting previously unselected package libx11-6:arm64. Preparing to unpack .../005-libx11-6_2%3a1.6.4-3_arm64.deb ... Unpacking libx11-6:arm64 (2:1.6.4-3) ... Selecting previously unselected package libxext6:arm64. Preparing to unpack .../006-libxext6_2%3a1.3.3-1_arm64.deb ... Unpacking libxext6:arm64 (2:1.3.3-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../007-groff-base_1.22.3-9_arm64.deb ... Unpacking groff-base (1.22.3-9) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../008-bsdmainutils_9.0.12ubuntu1_arm64.deb ... Unpacking bsdmainutils (9.0.12ubuntu1) ... Selecting previously unselected package libpipeline1:arm64. Preparing to unpack .../009-libpipeline1_1.4.1-2_arm64.deb ... Unpacking libpipeline1:arm64 (1.4.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../010-man-db_2.7.6.1-2_arm64.deb ... Unpacking man-db (2.7.6.1-2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../011-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package ucf. Preparing to unpack .../012-ucf_3.0036_all.deb ... Moving old data out of the way Unpacking ucf (3.0036) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../013-fontconfig-config_2.11.94-0ubuntu2_all.deb ... Unpacking fontconfig-config (2.11.94-0ubuntu2) ... Selecting previously unselected package libexpat1:arm64. Preparing to unpack .../014-libexpat1_2.2.0-2_arm64.deb ... Unpacking libexpat1:arm64 (2.2.0-2) ... Selecting previously unselected package libfreetype6:arm64. Preparing to unpack .../015-libfreetype6_2.6.3-3.2ubuntu1_arm64.deb ... Unpacking libfreetype6:arm64 (2.6.3-3.2ubuntu1) ... Selecting previously unselected package libfontconfig1:arm64. Preparing to unpack .../016-libfontconfig1_2.11.94-0ubuntu2_arm64.deb ... Unpacking libfontconfig1:arm64 (2.11.94-0ubuntu2) ... Selecting previously unselected package fontconfig. Preparing to unpack .../017-fontconfig_2.11.94-0ubuntu2_arm64.deb ... Unpacking fontconfig (2.11.94-0ubuntu2) ... Selecting previously unselected package libglib2.0-0:arm64. Preparing to unpack .../018-libglib2.0-0_2.53.1-1_arm64.deb ... Unpacking libglib2.0-0:arm64 (2.53.1-1) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../019-libatk1.0-data_2.22.0-1_all.deb ... Unpacking libatk1.0-data (2.22.0-1) ... Selecting previously unselected package libatk1.0-0:arm64. Preparing to unpack .../020-libatk1.0-0_2.22.0-1_arm64.deb ... Unpacking libatk1.0-0:arm64 (2.22.0-1) ... Selecting previously unselected package libjpeg-turbo8:arm64. Preparing to unpack .../021-libjpeg-turbo8_1.5.1-0ubuntu1_arm64.deb ... Unpacking libjpeg-turbo8:arm64 (1.5.1-0ubuntu1) ... Selecting previously unselected package libjpeg8:arm64. Preparing to unpack .../022-libjpeg8_8c-2ubuntu8_arm64.deb ... Unpacking libjpeg8:arm64 (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:arm64. Preparing to unpack .../023-libjbig0_2.1-3.1_arm64.deb ... Unpacking libjbig0:arm64 (2.1-3.1) ... Selecting previously unselected package libtiff5:arm64. Preparing to unpack .../024-libtiff5_4.0.8-2_arm64.deb ... Unpacking libtiff5:arm64 (4.0.8-2) ... Selecting previously unselected package libicu57:arm64. Preparing to unpack .../025-libicu57_57.1-6_arm64.deb ... Unpacking libicu57:arm64 (57.1-6) ... Selecting previously unselected package libxml2:arm64. Preparing to unpack .../026-libxml2_2.9.4+dfsg1-2.2ubuntu1_arm64.deb ... Unpacking libxml2:arm64 (2.9.4+dfsg1-2.2ubuntu1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../027-shared-mime-info_1.8-1_arm64.deb ... Unpacking shared-mime-info (1.8-1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../028-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:arm64. Preparing to unpack .../029-libgdk-pixbuf2.0-0_2.36.5-3_arm64.deb ... Unpacking libgdk-pixbuf2.0-0:arm64 (2.36.5-3) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../030-libgtk2.0-common_2.24.31-1ubuntu1_all.deb ... Unpacking libgtk2.0-common (2.24.31-1ubuntu1) ... Selecting previously unselected package libpixman-1-0:arm64. Preparing to unpack .../031-libpixman-1-0_0.34.0-1_arm64.deb ... Unpacking libpixman-1-0:arm64 (0.34.0-1) ... Selecting previously unselected package libxcb-render0:arm64. Preparing to unpack .../032-libxcb-render0_1.11.1-1ubuntu1_arm64.deb ... Unpacking libxcb-render0:arm64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-shm0:arm64. Preparing to unpack .../033-libxcb-shm0_1.11.1-1ubuntu1_arm64.deb ... Unpacking libxcb-shm0:arm64 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxrender1:arm64. Preparing to unpack .../034-libxrender1_1%3a0.9.10-1_arm64.deb ... Unpacking libxrender1:arm64 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:arm64. Preparing to unpack .../035-libcairo2_1.14.8-1_arm64.deb ... Unpacking libcairo2:arm64 (1.14.8-1) ... Selecting previously unselected package libavahi-common-data:arm64. Preparing to unpack .../036-libavahi-common-data_0.6.32-1ubuntu1_arm64.deb ... Unpacking libavahi-common-data:arm64 (0.6.32-1ubuntu1) ... Selecting previously unselected package libavahi-common3:arm64. Preparing to unpack .../037-libavahi-common3_0.6.32-1ubuntu1_arm64.deb ... Unpacking libavahi-common3:arm64 (0.6.32-1ubuntu1) ... Selecting previously unselected package libdbus-1-3:arm64. Preparing to unpack .../038-libdbus-1-3_1.10.10-1ubuntu2_arm64.deb ... Unpacking libdbus-1-3:arm64 (1.10.10-1ubuntu2) ... Selecting previously unselected package libavahi-client3:arm64. Preparing to unpack .../039-libavahi-client3_0.6.32-1ubuntu1_arm64.deb ... Unpacking libavahi-client3:arm64 (0.6.32-1ubuntu1) ... Selecting previously unselected package libcups2:arm64. Preparing to unpack .../040-libcups2_2.2.3-1_arm64.deb ... Unpacking libcups2:arm64 (2.2.3-1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../041-libthai-data_0.1.26-1_all.deb ... Unpacking libthai-data (0.1.26-1) ... Selecting previously unselected package libdatrie1:arm64. Preparing to unpack .../042-libdatrie1_0.2.10-4_arm64.deb ... Unpacking libdatrie1:arm64 (0.2.10-4) ... Selecting previously unselected package libthai0:arm64. Preparing to unpack .../043-libthai0_0.1.26-1_arm64.deb ... Unpacking libthai0:arm64 (0.1.26-1) ... Selecting previously unselected package libpango-1.0-0:arm64. Preparing to unpack .../044-libpango-1.0-0_1.40.5-1_arm64.deb ... Unpacking libpango-1.0-0:arm64 (1.40.5-1) ... Selecting previously unselected package libgraphite2-3:arm64. Preparing to unpack .../045-libgraphite2-3_1.3.10-1_arm64.deb ... Unpacking libgraphite2-3:arm64 (1.3.10-1) ... Selecting previously unselected package libharfbuzz0b:arm64. Preparing to unpack .../046-libharfbuzz0b_1.4.2-1_arm64.deb ... Unpacking libharfbuzz0b:arm64 (1.4.2-1) ... Selecting previously unselected package libpangoft2-1.0-0:arm64. Preparing to unpack .../047-libpangoft2-1.0-0_1.40.5-1_arm64.deb ... Unpacking libpangoft2-1.0-0:arm64 (1.40.5-1) ... Selecting previously unselected package libpangocairo-1.0-0:arm64. Preparing to unpack .../048-libpangocairo-1.0-0_1.40.5-1_arm64.deb ... Unpacking libpangocairo-1.0-0:arm64 (1.40.5-1) ... Selecting previously unselected package libxcomposite1:arm64. Preparing to unpack .../049-libxcomposite1_1%3a0.4.4-2_arm64.deb ... Unpacking libxcomposite1:arm64 (1:0.4.4-2) ... Selecting previously unselected package libxfixes3:arm64. Preparing to unpack .../050-libxfixes3_1%3a5.0.3-1_arm64.deb ... Unpacking libxfixes3:arm64 (1:5.0.3-1) ... Selecting previously unselected package libxcursor1:arm64. Preparing to unpack .../051-libxcursor1_1%3a1.1.14-1_arm64.deb ... Unpacking libxcursor1:arm64 (1:1.1.14-1) ... Selecting previously unselected package libxdamage1:arm64. Preparing to unpack .../052-libxdamage1_1%3a1.1.4-2_arm64.deb ... Unpacking libxdamage1:arm64 (1:1.1.4-2) ... Selecting previously unselected package libxi6:arm64. Preparing to unpack .../053-libxi6_2%3a1.7.9-1_arm64.deb ... Unpacking libxi6:arm64 (2:1.7.9-1) ... Selecting previously unselected package libxinerama1:arm64. Preparing to unpack .../054-libxinerama1_2%3a1.1.3-1_arm64.deb ... Unpacking libxinerama1:arm64 (2:1.1.3-1) ... Selecting previously unselected package libxrandr2:arm64. Preparing to unpack .../055-libxrandr2_2%3a1.5.1-1_arm64.deb ... Unpacking libxrandr2:arm64 (2:1.5.1-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../056-hicolor-icon-theme_0.15-1_all.deb ... Unpacking hicolor-icon-theme (0.15-1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../057-gtk-update-icon-cache_3.22.15-0ubuntu1_arm64.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-0ubuntu1) ... Selecting previously unselected package libcroco3:arm64. Preparing to unpack .../058-libcroco3_0.6.11-3_arm64.deb ... Unpacking libcroco3:arm64 (0.6.11-3) ... Selecting previously unselected package librsvg2-2:arm64. Preparing to unpack .../059-librsvg2-2_2.40.16-2~svn1_arm64.deb ... Unpacking librsvg2-2:arm64 (2.40.16-2~svn1) ... Selecting previously unselected package librsvg2-common:arm64. Preparing to unpack .../060-librsvg2-common_2.40.16-2~svn1_arm64.deb ... Unpacking librsvg2-common:arm64 (2.40.16-2~svn1) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../061-humanity-icon-theme_0.6.13_all.deb ... Unpacking humanity-icon-theme (0.6.13) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../062-ubuntu-mono_16.10+17.10.20170518-0ubuntu1_all.deb ... Unpacking ubuntu-mono (16.10+17.10.20170518-0ubuntu1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../063-adwaita-icon-theme_3.24.0-0ubuntu1_all.deb ... Unpacking adwaita-icon-theme (3.24.0-0ubuntu1) ... Selecting previously unselected package libgtk2.0-0:arm64. Preparing to unpack .../064-libgtk2.0-0_2.24.31-1ubuntu1_arm64.deb ... Unpacking libgtk2.0-0:arm64 (2.24.31-1ubuntu1) ... Selecting previously unselected package libglade2-0:arm64. Preparing to unpack .../065-libglade2-0_1%3a2.6.4-2_arm64.deb ... Unpacking libglade2-0:arm64 (1:2.6.4-2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../066-libmagic-mgc_1%3a5.30-1_arm64.deb ... Unpacking libmagic-mgc (1:5.30-1) ... Selecting previously unselected package libmagic1:arm64. Preparing to unpack .../067-libmagic1_1%3a5.30-1_arm64.deb ... Unpacking libmagic1:arm64 (1:5.30-1) ... Selecting previously unselected package file. Preparing to unpack .../068-file_1%3a5.30-1_arm64.deb ... Unpacking file (1:5.30-1) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../069-libtext-iconv-perl_1.7-5build5_arm64.deb ... Unpacking libtext-iconv-perl (1.7-5build5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../070-gettext-base_0.19.8.1-2ubuntu1_arm64.deb ... Unpacking gettext-base (0.19.8.1-2ubuntu1) ... Selecting previously unselected package libaspell15:arm64. Preparing to unpack .../071-libaspell15_0.60.7~20110707-3build2_arm64.deb ... Unpacking libaspell15:arm64 (0.60.7~20110707-3build2) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../072-emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../073-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 .../074-aspell_0.60.7~20110707-3build2_arm64.deb ... Unpacking aspell (0.60.7~20110707-3build2) ... Selecting previously unselected package aspell-en. Preparing to unpack .../075-aspell-en_2016.11.20-0-0.1_all.deb ... Unpacking aspell-en (2016.11.20-0-0.1) ... Selecting previously unselected package libsigsegv2:arm64. Preparing to unpack .../076-libsigsegv2_2.10-5_arm64.deb ... Unpacking libsigsegv2:arm64 (2.10-5) ... Selecting previously unselected package m4. Preparing to unpack .../077-m4_1.4.18-1_arm64.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../078-autoconf_2.69-10_all.deb ... Unpacking autoconf (2.69-10) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../079-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../080-automake_1%3a1.15-6ubuntu1_all.deb ... Unpacking automake (1:1.15-6ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../081-autopoint_0.19.8.1-2ubuntu1_all.deb ... Unpacking autopoint (0.19.8.1-2ubuntu1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../082-ocaml-base-nox_4.02.3-9ubuntu3_arm64.deb ... Unpacking ocaml-base-nox (4.02.3-9ubuntu3) ... Selecting previously unselected package libtinfo-dev:arm64. Preparing to unpack .../083-libtinfo-dev_6.0+20160625-1ubuntu1_arm64.deb ... Unpacking libtinfo-dev:arm64 (6.0+20160625-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:arm64. Preparing to unpack .../084-libncurses5-dev_6.0+20160625-1ubuntu1_arm64.deb ... Unpacking libncurses5-dev:arm64 (6.0+20160625-1ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../085-ocaml-compiler-libs_4.02.3-9ubuntu3_arm64.deb ... Unpacking ocaml-compiler-libs (4.02.3-9ubuntu3) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../086-ocaml-interp_4.02.3-9ubuntu3_arm64.deb ... Unpacking ocaml-interp (4.02.3-9ubuntu3) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../087-ocaml-nox_4.02.3-9ubuntu3_arm64.deb ... Unpacking ocaml-nox (4.02.3-9ubuntu3) ... Selecting previously unselected package camlidl. Preparing to unpack .../088-camlidl_1.05-14build2_arm64.deb ... Unpacking camlidl (1.05-14build2) ... Selecting previously unselected package libcamlp4-ocaml-dev. Preparing to unpack .../089-libcamlp4-ocaml-dev_4.02.1+3-2_arm64.deb ... Unpacking libcamlp4-ocaml-dev (4.02.1+3-2) ... Selecting previously unselected package camlp4. Preparing to unpack .../090-camlp4_4.02.1+3-2_arm64.deb ... Unpacking camlp4 (4.02.1+3-2) ... Selecting previously unselected package coq-theories. Preparing to unpack .../091-coq-theories_8.6-4_arm64.deb ... Unpacking coq-theories (8.6-4) ... Selecting previously unselected package libhunspell-1.4-0:arm64. Preparing to unpack .../092-libhunspell-1.4-0_1.4.1-2build1_arm64.deb ... Unpacking libhunspell-1.4-0:arm64 (1.4.1-2build1) ... Selecting previously unselected package libenchant1c2a:arm64. Preparing to unpack .../093-libenchant1c2a_1.6.0-11build1_arm64.deb ... Unpacking libenchant1c2a:arm64 (1.6.0-11build1) ... Selecting previously unselected package libgtkspell0. Preparing to unpack .../094-libgtkspell0_2.0.16-1.1ubuntu1_arm64.deb ... Unpacking libgtkspell0 (2.0.16-1.1ubuntu1) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../095-liblablgtk2-ocaml_2.18.3+dfsg-2_arm64.deb ... Unpacking liblablgtk2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package libgtksourceview2.0-common. Preparing to unpack .../096-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 .../097-libgtksourceview2.0-0_2.10.5-2ubuntu3_arm64.deb ... Unpacking libgtksourceview2.0-0 (2.10.5-2ubuntu3) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../098-liblablgtksourceview2-ocaml_2.18.3+dfsg-2_arm64.deb ... Unpacking liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../099-libcoq-ocaml_8.6-4_arm64.deb ... Unpacking libcoq-ocaml (8.6-4) ... Selecting previously unselected package ocaml-native-compilers. Preparing to unpack .../100-ocaml-native-compilers_4.02.3-9ubuntu3_arm64.deb ... Unpacking ocaml-native-compilers (4.02.3-9ubuntu3) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../101-libfindlib-ocaml_1.6.2-1_arm64.deb ... Unpacking libfindlib-ocaml (1.6.2-1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../102-ocaml-findlib_1.6.2-1_arm64.deb ... Unpacking ocaml-findlib (1.6.2-1) ... Selecting previously unselected package coq. Preparing to unpack .../103-coq_8.6-4_arm64.deb ... Unpacking coq (8.6-4) ... Selecting previously unselected package libtool. Preparing to unpack .../104-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../105-dh-autoreconf_14_all.deb ... Unpacking dh-autoreconf (14) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../106-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 .../107-libfile-stripnondeterminism-perl_0.034-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.034-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../108-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../109-dh-strip-nondeterminism_0.034-1_all.deb ... Unpacking dh-strip-nondeterminism (0.034-1) ... Selecting previously unselected package gettext. Preparing to unpack .../110-gettext_0.19.8.1-2ubuntu1_arm64.deb ... Unpacking gettext (0.19.8.1-2ubuntu1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../111-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 .../112-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../113-debhelper_10.4ubuntu3_all.deb ... Unpacking debhelper (10.4ubuntu3) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../114-libocamlgraph-ocaml-dev_1.8.6-1build2_arm64.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.6-1build2) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../115-libzarith-ocaml_1.4.1-2_arm64.deb ... Unpacking libzarith-ocaml (1.4.1-2) ... Selecting previously unselected package libzip-ocaml. Preparing to unpack .../116-libzip-ocaml_1.06-2_arm64.deb ... Unpacking libzip-ocaml (1.06-2) ... Selecting previously unselected package tex-common. Preparing to unpack .../117-tex-common_6.06_all.deb ... Unpacking tex-common (6.06) ... Selecting previously unselected package why3. Preparing to unpack .../118-why3_0.87.3-2_arm64.deb ... Unpacking why3 (0.87.3-2) ... Selecting previously unselected package why3-coq. Preparing to unpack .../119-why3-coq_0.87.3-2_arm64.deb ... Unpacking why3-coq (0.87.3-2) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../120-dh-ocaml_1.0.10_all.deb ... Unpacking dh-ocaml (1.0.10) ... Selecting previously unselected package frama-c-base. Preparing to unpack .../121-frama-c-base_20161101+silicon+dfsg-5build1_arm64.deb ... Unpacking frama-c-base (20161101+silicon+dfsg-5build1) ... Selecting previously unselected package sbuild-build-depends-why-dummy. Preparing to unpack .../122-sbuild-build-depends-why-dummy_0.invalid.0_arm64.deb ... Unpacking sbuild-build-depends-why-dummy (0.invalid.0) ... Setting up libexpat1:arm64 (2.2.0-2) ... Setting up libgtk2.0-common (2.24.31-1ubuntu1) ... Setting up libarchive-zip-perl (1.59-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libjbig0:arm64 (2.1-3.1) ... Setting up libsigsegv2:arm64 (2.10-5) ... Setting up libaspell15:arm64 (0.60.7~20110707-3build2) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up groff-base (1.22.3-9) ... Setting up libglib2.0-0:arm64 (2.53.1-1) ... No schema files found: doing nothing. Setting up emacsen-common (2.0.8) ... Setting up ocaml-base-nox (4.02.3-9ubuntu3) ... Setting up libtinfo-dev:arm64 (6.0+20160625-1ubuntu1) ... Setting up dh-ocaml (1.0.10) ... Setting up libgdk-pixbuf2.0-common (2.36.5-3) ... Setting up libdatrie1:arm64 (0.2.10-4) ... Setting up gettext-base (0.19.8.1-2ubuntu1) ... Setting up libjpeg-turbo8:arm64 (1.5.1-0ubuntu1) ... Setting up libpipeline1:arm64 (1.4.1-2) ... Setting up m4 (1.4.18-1) ... Setting up libicu57:arm64 (57.1-6) ... Setting up libbsd0:arm64 (0.8.3-1) ... Setting up ucf (3.0036) ... Setting up libxml2:arm64 (2.9.4+dfsg1-2.2ubuntu1) ... Setting up libfreetype6:arm64 (2.6.3-3.2ubuntu1) ... Setting up libmagic-mgc (1:5.30-1) ... Setting up libmagic1:arm64 (1:5.30-1) ... Setting up libgraphite2-3:arm64 (1.3.10-1) ... Setting up libcroco3:arm64 (0.6.11-3) ... Setting up libncurses5-dev:arm64 (6.0+20160625-1ubuntu1) ... Setting up libatk1.0-data (2.22.0-1) ... Setting up libpixman-1-0:arm64 (0.34.0-1) ... Setting up libgtksourceview2.0-common (2.10.5-2ubuntu3) ... Processing triggers for libc-bin (2.24-9ubuntu2) ... Setting up autotools-dev (20161112.1) ... Setting up libatk1.0-0:arm64 (2.22.0-1) ... Setting up libtext-iconv-perl (1.7-5build5) ... Setting up shared-mime-info (1.8-1) ... Setting up libzarith-ocaml (1.4.1-2) ... Setting up libthai-data (0.1.26-1) ... Setting up libxdmcp6:arm64 (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 hicolor-icon-theme (0.15-1) ... Setting up libzip-ocaml (1.06-2) ... Setting up libfindlib-ocaml (1.6.2-1) ... Setting up libhunspell-1.4-0:arm64 (1.4.1-2build1) ... Setting up ocaml-findlib (1.6.2-1) ... Setting up libx11-data (2:1.6.4-3) ... Setting up libxau6:arm64 (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-2ubuntu1) ... Setting up libdbus-1-3:arm64 (1.10.10-1ubuntu2) ... Setting up libavahi-common-data:arm64 (0.6.32-1ubuntu1) ... Setting up libfile-stripnondeterminism-perl (0.034-1) ... Setting up libjpeg8:arm64 (8c-2ubuntu8) ... 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 gettext (0.19.8.1-2ubuntu1) ... Setting up dictionaries-common (1.27.2) ... Setting up libharfbuzz0b:arm64 (1.4.2-1) ... Setting up libtiff5:arm64 (4.0.8-2) ... Setting up autoconf (2.69-10) ... Setting up libthai0:arm64 (0.1.26-1) ... Setting up file (1:5.30-1) ... Setting up intltool-debian (0.35.0+20060710.4) ... 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 man-db (2.7.6.1-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libavahi-common3:arm64 (0.6.32-1ubuntu1) ... Setting up aspell (0.60.7~20110707-3build2) ... Setting up libxcb1:arm64 (1.11.1-1ubuntu1) ... Setting up libtool (2.4.6-2) ... Setting up libfontconfig1:arm64 (2.11.94-0ubuntu2) ... Setting up libxcb-render0:arm64 (1.11.1-1ubuntu1) ... Setting up po-debconf (1.0.20) ... Setting up libx11-6:arm64 (2:1.6.4-3) ... Setting up aspell-en (2016.11.20-0-0.1) ... Setting up libxcomposite1:arm64 (1:0.4.4-2) ... Setting up libxcb-shm0:arm64 (1.11.1-1ubuntu1) ... Setting up libxrender1:arm64 (1:0.9.10-1) ... Setting up libavahi-client3:arm64 (0.6.32-1ubuntu1) ... Setting up fontconfig (2.11.94-0ubuntu2) ... Regenerating fonts cache... done. Setting up libcups2:arm64 (2.2.3-1) ... Setting up libenchant1c2a:arm64 (1.6.0-11build1) ... Setting up libxdamage1:arm64 (1:1.1.4-2) ... Setting up libxext6:arm64 (2:1.3.3-1) ... Setting up libxfixes3:arm64 (1:5.0.3-1) ... Setting up libgdk-pixbuf2.0-0:arm64 (2.36.5-3) ... Setting up gtk-update-icon-cache (3.22.15-0ubuntu1) ... Setting up libxcursor1:arm64 (1:1.1.14-1) ... Setting up libpango-1.0-0:arm64 (1.40.5-1) ... Setting up libxrandr2:arm64 (2:1.5.1-1) ... Setting up libxi6:arm64 (2:1.7.9-1) ... Setting up libcairo2:arm64 (1.14.8-1) ... Setting up libxinerama1:arm64 (2:1.1.3-1) ... Setting up libpangoft2-1.0-0:arm64 (1.40.5-1) ... Setting up libpangocairo-1.0-0:arm64 (1.40.5-1) ... Setting up librsvg2-2:arm64 (2.40.16-2~svn1) ... Setting up librsvg2-common:arm64 (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:arm64 (2.24.31-1ubuntu1) ... Setting up dh-autoreconf (14) ... 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 libgtkspell0 (2.0.16-1.1ubuntu1) ... Setting up libglade2-0:arm64 (1:2.6.4-2) ... Setting up dh-strip-nondeterminism (0.034-1) ... Setting up debhelper (10.4ubuntu3) ... Setting up liblablgtk2-ocaml (2.18.3+dfsg-2) ... Setting up ocaml-nox (4.02.3-9ubuntu3) ... Setting up ubuntu-mono (16.10+17.10.20170518-0ubuntu1) ... Setting up libocamlgraph-ocaml-dev (1.8.6-1build2) ... Setting up why3 (0.87.3-2) ... Setting up ocaml-native-compilers (4.02.3-9ubuntu3) ... Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-2) ... Setting up frama-c-base (20161101+silicon+dfsg-5build1) ... Setting up libcamlp4-ocaml-dev (4.02.1+3-2) ... Setting up camlidl (1.05-14build2) ... Setting up camlp4 (4.02.1+3-2) ... Setting up libcoq-ocaml (8.6-4) ... Setting up coq (8.6-4) ... ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file. Install coq for emacs Setting up why3-coq (0.87.3-2) ... Setting up sbuild-build-depends-why-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 ... 34227 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:arm64 (2.36.5-3) ... Processing triggers for libc-bin (2.24-9ubuntu2) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-78-generic arm64 (aarch64) Toolchain package versions: binutils_2.28-5ubuntu1 dpkg-dev_1.18.23ubuntu7 g++-6_6.3.0-18ubuntu2 gcc-6_6.3.0-18ubuntu2 libc6-dev_2.24-9ubuntu2 libstdc++-6-dev_6.3.0-18ubuntu2 libstdc++6_7.1.0-6ubuntu2 linux-libc-dev_4.11.0-5.10 Package versions: adduser_3.113+nmu3ubuntu5 advancecomp_1.23-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-5ubuntu1 bsdmainutils_9.0.12ubuntu1 bsdutils_1:2.29-1ubuntu3 build-essential_12.1ubuntu2 bzip2_1.0.6-8.1 ca-certificates_20161130+nmu1 camlidl_1.05-14build2 camlp4_4.02.1+3-2 coq_8.6-4 coq-theories_8.6-4 coreutils_8.26-3ubuntu3 cpp_4:6.3.0-2ubuntu1 cpp-6_6.3.0-18ubuntu2 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-strip-nondeterminism_0.034-1 dictionaries-common_1.27.2 diffutils_1:3.5-3 dmsetup_2:1.02.137-2ubuntu2 dpkg_1.18.23ubuntu7 dpkg-dev_1.18.23ubuntu7 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+20161106-2 fontconfig_2.11.94-0ubuntu2 fontconfig-config_2.11.94-0ubuntu2 fonts-dejavu-core_2.37-1 frama-c-base_20161101+silicon+dfsg-5build1 g++_4:6.3.0-2ubuntu1 g++-6_6.3.0-18ubuntu2 gcc_4:6.3.0-2ubuntu1 gcc-6_6.3.0-18ubuntu2 gcc-6-base_6.3.0-18ubuntu2 gcc-7-base_7.1.0-6ubuntu2 gettext_0.19.8.1-2ubuntu1 gettext-base_0.19.8.1-2ubuntu1 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-0ubuntu1 gzip_1.6-5ubuntu1 hicolor-icon-theme_0.15-1 hostname_3.18 humanity-icon-theme_0.6.13 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-2ubuntu7 libapt-pkg5.0_1.4.6 libarchive-zip-perl_1.59-1 libasan3_6.3.0-18ubuntu2 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 libatomic1_7.1.0-6ubuntu2 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.3-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 libcairo2_1.14.8-1 libcamlp4-ocaml-dev_4.02.1+3-2 libcap-ng0_0.7.7-3 libcap2_1:2.25-1 libcc1-0_7.1.0-6ubuntu2 libcomerr2_1.43.4-2 libcoq-ocaml_8.6-4 libcroco3_0.6.11-3 libcryptsetup4_2:1.7.2-0ubuntu1 libcups2_2.2.3-1 libcurl3-gnutls_7.52.1-5ubuntu1 libdatrie1_0.2.10-4 libdb5.3_5.3.28-12 libdbus-1-3_1.10.10-1ubuntu2 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.137-2ubuntu2 libdpkg-perl_1.18.23ubuntu7 libenchant1c2a_1.6.0-11build1 libexpat1_2.2.0-2 libfakeroot_1.21-1ubuntu2 libfdisk1_2.29-1ubuntu3 libffi6_3.2.1-6 libfile-stripnondeterminism-perl_0.034-1 libfindlib-ocaml_1.6.2-1 libfontconfig1_2.11.94-0ubuntu2 libfreetype6_2.6.3-3.2ubuntu1 libgcc-6-dev_6.3.0-18ubuntu2 libgcc1_1:7.1.0-6ubuntu2 libgcrypt20_1.7.6-2 libgdbm3_1.8.3-14 libgdk-pixbuf2.0-0_2.36.5-3 libgdk-pixbuf2.0-common_2.36.5-3 libglade2-0_1:2.6.4-2 libglib2.0-0_2.53.1-1 libgmp10_2:6.1.2+dfsg-1 libgnutls30_3.5.8-5ubuntu1 libgomp1_7.1.0-6ubuntu2 libgpg-error0_1.26-2 libgraphite2-3_1.3.10-1 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 libgtksourceview2.0-0_2.10.5-2ubuntu3 libgtksourceview2.0-common_2.10.5-2ubuntu3 libgtkspell0_2.0.16-1.1ubuntu1 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.4-0_1.4.1-2build1 libhx509-5-heimdal_7.1.0+dfsg-13 libicu57_57.1-6 libidn11_1.33-1 libidn2-0_0.16-1 libip4tc0_1.6.0-3ubuntu2 libisl15_0.18-1 libitm1_7.1.0-6ubuntu2 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 liblablgtksourceview2-ocaml_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 libmagic-mgc_1:5.30-1 libmagic1_1:5.30-1 libmount1_2.29-1ubuntu3 libmpc3_1.0.3-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 libpangocairo-1.0-0_1.40.5-1 libpangoft2-1.0-0_1.40.5-1 libpcre3_2:8.39-3 libperl5.24_5.24.1-3ubuntu1 libpipeline1_1.4.1-2 libpixman-1-0_0.34.0-1 libpng16-16_1.6.29-2 libprocps6_2:3.3.12-1ubuntu2 libpsl5_0.17.0-4 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 libsmartcols1_2.29-1ubuntu3 libsqlite3-0_3.16.2-4 libss2_1.43.4-2 libssl1.0.0_1.0.2g-1ubuntu13 libstdc++-6-dev_6.3.0-18ubuntu2 libstdc++6_7.1.0-6ubuntu2 libsystemd0_233-6ubuntu3 libtasn1-6_4.10-1.1 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 libubsan0_7.1.0-6ubuntu2 libudev1_233-6ubuntu3 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 libxau6_1:1.0.8-1 libxcb-render0_1.11.1-1ubuntu1 libxcb-shm0_1.11.1-1ubuntu1 libxcb1_1.11.1-1ubuntu1 libxcomposite1_1:0.4.4-2 libxcursor1_1:1.1.14-1 libxdamage1_1:1.1.4-2 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.3-1 libxfixes3_1:5.0.3-1 libxi6_2:1.7.9-1 libxinerama1_2:1.1.3-1 libxml2_2.9.4+dfsg1-2.2ubuntu1 libxrandr2_2:1.5.1-1 libxrender1_1:0.9.10-1 libzarith-ocaml_1.4.1-2 libzip-ocaml_1.06-2 linux-libc-dev_4.11.0-5.10 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 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-native-compilers_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-3ubuntu1 perl-base_5.24.1-3ubuntu1 perl-modules-5.24_5.24.1-3ubuntu1 pinentry-curses_1.0.0-2 pkgbinarymangler_131 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 procps_2:3.3.12-1ubuntu2 readline-common_7.0-0ubuntu2 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-why-dummy_0.invalid.0 sed_4.4-1 sensible-utils_0.0.9 shared-mime-info_1.8-1 systemd_233-6ubuntu3 systemd-sysv_233-6ubuntu3 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.8git1 tar_1.29b-1.1 tex-common_6.06 tzdata_2017b-1 ubuntu-keyring_2016.10.27 ubuntu-mono_16.10+17.10.20170518-0ubuntu1 ucf_3.0036 util-linux_2.29-1ubuntu3 why3_0.87.3-2 why3-coq_0.87.3-2 xz-utils_5.2.2-1.2 zlib1g_1:1.2.11.dfsg-0ubuntu1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Mon Jun 5 07:50:23 2017 UTC gpgv: using RSA key gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./why_2.38-1build1.dsc dpkg-source: info: extracting why in why-2.38 dpkg-source: info: unpacking why_2.38.orig.tar.gz dpkg-source: info: unpacking why_2.38-1build1.debian.tar.xz dpkg-source: info: applying bprintf dpkg-source: info: applying edge dpkg-source: info: applying reproducible_build Check disc space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/home/buildd LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd MAIL=/var/mail/buildd OLDPWD=/ PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games PWD=/<> SHELL=/bin/sh SUDO_COMMAND=/usr/sbin/chroot /<> su buildd -s /bin/sh -c cd '/<>' && 'env' SUDO_GID=2501 SUDO_UID=2001 SUDO_USER=buildd TERM=unknown USER=buildd USERNAME=root dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package why dpkg-buildpackage: info: source version 2.38-1build1 dpkg-buildpackage: info: source distribution artful dpkg-source --before-build why-2.38 dpkg-buildpackage: info: host architecture arm64 fakeroot debian/rules clean dh clean --with ocaml --no-parallel dh_testdir -O--no-parallel rm -f debian/*.debhelper.log debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' [ ! -f Makefile ] || sed -e 's/include .depend.*//g' Makefile > Makefile.debian [ ! -f Makefile.debian ] || /usr/bin/make -f Makefile.debian clean rm -f -f lib/coq/*.glob make[1]: Leaving directory '/<>' dh_autoreconf_clean -O--no-parallel dh_ocamlclean -O--no-parallel rm -f ocamlinit-stamp dh_clean -O--no-parallel rm -f debian/debhelper-build-stamp rm -f debian/why.substvars rm -f debian/why.*.debhelper rm -rf debian/why/ rm -f debian/libwhy-coq.substvars rm -f debian/libwhy-coq.*.debhelper rm -rf debian/libwhy-coq/ rm -rf debian/.debhelper/ rm -f debian/*.debhelper.log rm -f debian/files rm -f -- Makefile Makefile.debian a.out bin/gwhy.opt bin/krakatoa.opt bin/simplify2why.opt bin/why-config.opt config.status config.log bench/bench config/check_ocamlgraph.cmi config/check_ocamlgraph.cmo config/check_ocamlgraph.cmx config/check_ocamlgraph.o doc/version.tex jc/jc.a jc/jc.cma jc/jc.cmxa lib/coq/WhyCoqCompat.vo lib/why/arrays_why.v lib/why/floats_why.v lib/why/prelude_why.v mix/mix_parser.output regtest.opt tools/simplify_parser.output tools/toolstat_pars.output find . \( \( \ \( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS \) -prune -o -type f -a \ \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ \) -exec rm -f {} + \) -o \ \( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \) rm -f *-stamp debian/rules build-arch dh build-arch --with ocaml --no-parallel dh_testdir -a -O--no-parallel dh_update_autotools_config -a -O--no-parallel dh_autoreconf -a -O--no-parallel find ! -ipath "./debian/*" -a ! \( -path '*/.git/*' -o -path '*/.hg/*' -o -path '*/.bzr/*' -o -path '*/.svn/*' -o -path '*/CVS/*' \) -a -type f -exec md5sum {} + > debian/autoreconf.before autoreconf -f -i aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' find ! -ipath "./debian/*" -a ! \( -path '*/.git/*' -o -path '*/.hg/*' -o -path '*/.bzr/*' -o -path '*/.svn/*' -o -path '*/CVS/*' \) -a -type f -exec md5sum {} + > debian/autoreconf.after dh_ocamlinit -a -O--no-parallel touch ocamlinit-stamp rm -f debian/*.debhelper.log debian/rules override_dh_auto_configure make[1]: Entering directory '/<>' ./configure \ --host=aarch64-linux-gnu \ --build=aarch64-linux-gnu \ --prefix=/usr \ --libdir=/usr/share \ --mandir=\${prefix}/share/man \ --infodir=\${prefix}/share/info \ LDFLAGS="-Wl,-z,defs" checking for ocamlc... ocamlc ocaml version is 4.02.3 ocaml library path is /usr/lib/ocaml checking for ocamlfind... yes checking OS dependent settings... Unix checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocamlopt.opt... ocamlopt.opt checking ocamlc.opt version... ok checking for ocamldep... ocamldep checking for ocamldep.opt... ocamldep.opt checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc checking for ocamldoc... ocamldoc checking for ocamldoc.opt... ocamldoc.opt ocamlfind found ocamlgraph in /usr/lib/ocaml/ocamlgraph checking for ocamlweb... true checking for frama-c... /usr/bin/frama-c checking Frama-c version... Silicon-20161101 checking for why3... /usr/bin/why3 checking Why3 version... 0.87.3 checking for coqc... /usr/bin/coqc checking for coqdep... coqdep checking Coq version... 8.6 checking Coq realizations for Why3... yes checking for pvs... no configure: WARNING: Cannot find PVS. configure: creating ./config.status config.status: creating Makefile Summary ----------------------------------------- OCaml version : 4.02.3 OCaml library path : /usr/lib/ocaml OcamlGraph lib : found by ocamlfind Verbose make : no Inference of annotations : no Why3 support : yes Binary : /usr/bin/why3 Version : 0.87.3 Frama-C plugin : yes Binary : /usr/bin/frama-c Version : Silicon-20161101 Coq support (via Why3) : yes Binary : /usr/bin/coqc Version : v8.1 (8.6) Libraries : /usr/lib/coq PVS support (via Why3) : no command 'pvs' not found Other provers support : (via Why3) make[1]: Leaving directory '/<>' rm -f debian/*.debhelper.log debian/rules override_dh_auto_build make[1]: Entering directory '/<>' mkdir -p bin dh_auto_build make -j1 make[2]: Entering directory '/<>' ocamllex.opt src/rc.mll 39 states, 1677 transitions, table size 6942 bytes 1933 additional bytes used for bindings ocamllex.opt src/xml.mll 51 states, 1824 transitions, table size 7602 bytes 2541 additional bytes used for bindings ocamllex.opt jc/numconst.mll 71 states, 764 transitions, table size 3482 bytes rm -f jc/jc_stdlib.ml case 4.02.3 in \ 3.0*|3.10*|3.11*) cp jc/jc_stdlib_lt312.ml jc/jc_stdlib.ml ;; \ 3.12*) cp jc/jc_stdlib_ge312.ml jc/jc_stdlib.ml ;; \ 4.0*) cp jc/jc_stdlib_ge400.ml jc/jc_stdlib.ml ;; \ esac chmod -w jc/jc_stdlib.ml ocamllex.opt jc/jc_lexer.mll 526 states, 32030 transitions, table size 131276 bytes 16374 additional bytes used for bindings ocamlyacc -v jc/jc_parser.mly 1 shift/reduce conflict. if test "no" = "yes" ; then \ echo "# 1 \"jc/jc_annot_inference.ml\"" > jc/jc_ai.ml; \ cat jc/jc_annot_inference.ml >> jc/jc_ai.ml; \ else \ echo "# 1 \"jc/jc_annot_fail.ml\"" > jc/jc_ai.ml; \ cat jc/jc_annot_fail.ml >> jc/jc_ai.ml; \ fi ocamlyacc -v java/java_parser.mly ocamllex.opt java/java_lexer.mll 168 states, 1957 transitions, table size 8836 bytes 4503 additional bytes used for bindings ocamllex.opt mix/mix_lexer.mll 65 states, 434 transitions, table size 2126 bytes ocamlyacc -v mix/mix_parser.mly printf "[main]\n" > lib/why3/why3.conf printf "loadpath=\"/usr/share/why/why3\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[prover_modifiers]\n" >> lib/why3/why3.conf printf "name=\"Coq\"\n" >> lib/why3/why3.conf printf "option=\"-R /usr/share/why/coq Why\"\n" >> lib/why3/why3.conf printf "driver=\"/usr/share/why/why3/coq.drv\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[editor_modifiers coqide]\n" >> lib/why3/why3.conf printf "option=\"-R /usr/share/why/coq Why\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[editor_modifiers proofgeneral-coq]\n" >> lib/why3/why3.conf printf "option=\"--eval \\\\\"(setq coq-load-path (cons '(\\\\\\\\\\\\\"/usr/share/why/coq\\\\\\\\\\\\\" \\\\\\\\\\\\\"Why\\\\\\\\\\\\\") coq-load-path))\\\\\"\"\n" >> lib/why3/why3.conf rm -f .depend ocamldep.opt -slash -I src -I jc -I java -I mix -I tools src/*.ml src/*.mli jc/*.mli jc/*.ml java/*.mli java/*.ml mix/*.mli mix/*.ml > .depend make -C frama-c-plugin depend make[3]: Entering directory '/<>/frama-c-plugin' LC_ALL=C sed -e "s/@PLUGIN_NAME@/Jessie/g" /usr/share/frama-c/Makefile.plugin.template > .Makefile.plugin.generated touch Jessie.check_mli_exists mkdir -p ./top rm -f top/Jessie.mli cp ./Jessie.mli top/Jessie.mli rm -f ./.depend ocamlfind ocamldep -slash \ -I . -I "/usr/lib/frama-c" \ Jessie.mli jessie_config.ml jessie_options.ml jessie_integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli jessie_integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \ \ > ./.depend true ./.depend rm -f ./.depend ocamlfind ocamldep -slash \ -I . -I "/usr/lib/frama-c" \ Jessie.mli jessie_config.ml jessie_options.ml jessie_integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli jessie_integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \ \ > ./.depend true ./.depend make[3]: Leaving directory '/<>/frama-c-plugin' BINDIR=/usr/bin LIBDIR=/usr/share COQVER=v8.1 ./version.sh Ocamlopt src/version.ml Ocamlc src/lib.mli Ocamlopt src/lib.ml Ocamlc src/rc.mli Ocamlopt src/rc.ml Ocamlc src/loc.mli Ocamlopt src/loc.ml Ocamlc src/ident.mli Ocamlopt src/ident.ml Ocamlc src/logic.mli Ocamlopt src/print_real.ml Ocamlc src/effect.mli Ocamlopt src/effect.ml Ocamlc src/pp.mli Ocamlopt src/pp.ml Ocamlc src/option_misc.mli Ocamlopt src/option_misc.ml Ocamlc src/error.mli Ocamlc src/report.mli Ocamlopt src/report.ml Ocamlc src/types.mli Ocamlc src/cc.mli Ocamlc src/ptree.mli Ocamlc src/ast.mli Ocamlc src/env.mli Ocamlc src/logic_decl.mli Ocamlc src/explain.mli Ocamlopt src/explain.ml Ocamlc src/xml.mli Ocamlopt src/xml.ml Ocamlc src/project.mli Ocamlopt src/project.ml Ocamlc src/why3_kw.mli Ocamlopt src/why3_kw.ml Ocamlc jc/jc_env.mli Ocamlc jc/output.mli Ocamlopt jc/output.ml Ocamlc jc/jc_common_options.mli Ocamlopt jc/jc_common_options.ml Ocamlopt jc/jc_stdlib.ml Ocamlc jc/jc_stdlib.ml Ocamlc jc/jc_envset.mli Ocamlopt jc/jc_envset.ml Ocamlopt jc/jc_region.ml Ocamlc jc/jc_ast.mli Ocamlopt jc/jc_fenv.ml Ocamlc jc/jc_region.ml Ocamlc jc/jc_fenv.ml Ocamlc jc/jc_constructors.mli Ocamlopt jc/jc_constructors.ml Ocamlc jc/jc_pervasives.mli Ocamlopt jc/jc_pervasives.ml Ocamlc jc/jc_iterators.mli Ocamlopt jc/jc_iterators.ml Ocamlc jc/jc_type_var.mli Ocamlopt jc/jc_type_var.ml Ocamlopt jc/jc_output_misc.ml Ocamlopt jc/jc_poutput.ml Ocamlopt jc/jc_output.ml Ocamlopt jc/jc_noutput.ml Ocamlc jc/jc_options.mli Ocamlopt jc/jc_options.ml Ocamlopt jc/jc_name.ml Ocamlc jc/jc_struct_tools.mli Ocamlopt jc/jc_struct_tools.ml Ocamlc jc/jc_norm.mli Ocamlopt jc/jc_norm.ml Ocamlc jc/jc_typing.mli Ocamlopt jc/jc_typing.ml Ocamlc jc/numconst.mli Ocamlopt jc/numconst.ml Ocamlc jc/jc_parser.mli Ocamlopt jc/jc_parser.ml Ocamlc jc/jc_lexer.mli Ocamlopt jc/jc_lexer.ml Ocamlopt jc/jc_separation.ml Ocamlc jc/jc_callgraph.mli Ocamlopt jc/jc_callgraph.ml Ocamlopt jc/jc_effect.ml Ocamlc jc/jc_ai.mli Ocamlopt jc/jc_ai.ml Ocamlc jc/jc_interp_misc.mli Ocamlopt jc/jc_interp_misc.ml Ocamlopt jc/jc_invariants.ml Ocamlopt jc/jc_pattern.ml Ocamlopt jc/jc_frame_notin.ml Ocamlc jc/jc_interp.mli Ocamlopt jc/jc_interp.ml Ocamlc jc/jc_frame.mli Ocamlopt jc/jc_frame.ml Ocamlopt jc/jc_make.ml Ocamlopt jc/jc_main.ml Linking bin/jessie.opt strip bin/jessie.opt Ocamlc java/java_env.mli Ocamlopt java/java_options.ml Ocamlc java/java_ast.mli Ocamlc java/java_tast.mli Ocamlopt java/java_pervasives.ml Ocamlopt java/java_abstract.ml Ocamlc java/java_parser.mli Ocamlopt java/java_parser.ml Ocamlopt java/java_lexer.ml Ocamlopt java/java_syntax.ml Ocamlc java/java_typing.mli Ocamlopt java/java_typing.ml Ocamlc java/java_callgraph.mli Ocamlopt java/java_callgraph.ml Ocamlopt java/java_analysis.ml Ocamlopt java/java_interp.ml Ocamlopt java/java_main.ml Linking bin/krakatoa.opt strip bin/krakatoa.opt ocamlopt.opt -w Aer-3-6-41-44-45-48-50 -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I /usr/lib/ocaml/ocamlgraph -thread -o regtest.opt unix.cmxa str.cmxa threads.cmxa tools/regtest.ml /usr/bin/coqc -R /usr/lib/aarch64-linux-gnu/why3/coq Why3 -R lib/coq Why lib/coq/Jessie_memory_model.v Ocamlc src/lib.ml Ocamlc src/rc.ml Ocamlc src/loc.ml Ocamlc src/ident.ml Ocamlc src/print_real.ml Ocamlc src/effect.ml Ocamlc src/pp.ml Ocamlc src/option_misc.ml Ocamlc src/report.ml Ocamlc src/explain.ml Ocamlc src/xml.ml Ocamlc src/project.ml Ocamlc src/why3_kw.ml Ocamlc jc/output.ml Ocamlc jc/jc_common_options.ml Ocamlc jc/jc_envset.ml Ocamlc jc/jc_constructors.ml Ocamlc jc/jc_pervasives.ml Ocamlc jc/jc_iterators.ml Ocamlc jc/jc_type_var.ml Ocamlc jc/jc_output_misc.ml Ocamlc jc/jc_poutput.ml Ocamlc jc/jc_output.ml Ocamlc jc/jc_noutput.ml ocamlc.opt -w Aer-3-6-41-44-45-48-50 -dtypes -g -I src -I jc -I java -I mix -I tools -I +threads -I /usr/lib/ocaml/ocamlgraph -pack -o jc/jc.cmo src/ast.cmi src/lib.cmo src/rc.cmo src/loc.cmo src/ident.cmo src/print_real.cmo src/effect.cmo src/pp.cmo src/option_misc.cmo src/report.cmo src/explain.cmo src/xml.cmo src/project.cmo src/why3_kw.cmo jc/output.cmo jc/jc_common_options.cmo jc/jc_stdlib.cmo jc/jc_envset.cmo jc/jc_region.cmo jc/jc_fenv.cmo jc/jc_constructors.cmo jc/jc_pervasives.cmo jc/jc_iterators.cmo jc/jc_type_var.cmo jc/jc_output_misc.cmo jc/jc_poutput.cmo jc/jc_output.cmo jc/jc_noutput.cmo ocamlopt.opt -w Aer-3-6-41-44-45-48-50 -dtypes -I src -I jc -I java -I mix -I tools -I +threads -I /usr/lib/ocaml/ocamlgraph -pack -o jc/jc.cmx src/ast.cmi src/lib.cmx src/rc.cmx src/loc.cmx src/ident.cmx src/print_real.cmx src/effect.cmx src/pp.cmx src/option_misc.cmx src/report.cmx src/explain.cmx src/xml.cmx src/project.cmx src/why3_kw.cmx jc/output.cmx jc/jc_common_options.cmx jc/jc_stdlib.cmx jc/jc_envset.cmx jc/jc_region.cmx jc/jc_fenv.cmx jc/jc_constructors.cmx jc/jc_pervasives.cmx jc/jc_iterators.cmx jc/jc_type_var.cmx jc/jc_output_misc.cmx jc/jc_poutput.cmx jc/jc_output.cmx jc/jc_noutput.cmx make -C frama-c-plugin depend make[3]: Entering directory '/<>/frama-c-plugin' rm -f ./.depend ocamlfind ocamldep -slash \ -I . -I "/usr/lib/frama-c" \ Jessie.mli jessie_config.ml jessie_options.ml jessie_integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli jessie_integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \ \ > ./.depend true ./.depend make[3]: Leaving directory '/<>/frama-c-plugin' make -C frama-c-plugin make[3]: Entering directory '/<>/frama-c-plugin' rm -f META.frama-c-jessie echo "description = \""Frama-C Jessie plug-in"\"" >> META.frama-c-jessie echo "version = \"Silicon-20161101\"" >> META.frama-c-jessie echo "requires = \" \"" >> META.frama-c-jessie echo "archive(byte) = \"top/Jessie.cma\"" >> META.frama-c-jessie echo "archive(native) = \"top/Jessie.cmxa\"" >> META.frama-c-jessie echo "plugin(native) = \"top/Jessie.cmxs\"" >> META.frama-c-jessie echo "plugin(byte) = \"top/Jessie.cma\"" >> META.frama-c-jessie echo "directory = \"\"" >> META.frama-c-jessie ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc jessie_config.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc jessie_options.mli findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc jessie_options.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc jessie_integer.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc common.mli findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc common.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc rewrite.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc norm.mli findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc norm.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc retype.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc interp.mli findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc interp.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc register.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc Jessie.mli findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c mkdir -p ./top rm -f top/Jessie.cmi cp Jessie.cmi top/Jessie.cmi ocamlfind ocamlc -o top/Jessie.cmo -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc -pack \ \ ./jessie_config.cmo ./jessie_options.cmo ./jessie_integer.cmo ./common.cmo ./rewrite.cmo ./norm.cmo ./retype.cmo ./interp.cmo ./register.cmo findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlc -o top/Jessie.cma -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc \ \ -a ./../jc/jc.cmo top/Jessie.cmo findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc -for-pack Jessie jessie_config.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc -for-pack Jessie jessie_options.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc -for-pack Jessie jessie_integer.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc -for-pack Jessie common.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c touch rewrite.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc -for-pack Jessie rewrite.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc -for-pack Jessie norm.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c touch retype.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc -for-pack Jessie retype.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc -for-pack Jessie interp.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c touch register.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc -for-pack Jessie register.ml findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -o top/Jessie.cmx -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc -pack \ \ ./jessie_config.cmx ./jessie_options.cmx ./jessie_integer.cmx ./common.cmx ./rewrite.cmx ./norm.cmx ./retype.cmx ./interp.cmx ./register.cmx findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c ocamlfind ocamlopt -o top/Jessie.cmxs -shared \ -I . -I /usr/lib/frama-c/plugins -package findlib -package ocamlgraph -package num -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I "/usr/lib/frama-c" -I ./../src -I ./../jc \ ./../jc/jc.cmx \ top/Jessie.cmx findlib: [WARNING] Interface project.cmi occurs in several directories: ./../src, /usr/lib/frama-c findlib: [WARNING] Interface ast.cmi occurs in several directories: ./../src, /usr/lib/frama-c make[3]: Leaving directory '/<>/frama-c-plugin' make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-arch dh binary-arch --with ocaml --no-parallel dh_testroot -a -O--no-parallel dh_prep -a -O--no-parallel rm -f debian/why.substvars rm -f debian/why.*.debhelper rm -rf debian/.debhelper/generated/why/ rm -rf debian/why/ dh_installdirs -a -O--no-parallel install -d debian/why install -d debian/why/usr/share/why rm -f debian/*.debhelper.log debian/rules override_dh_auto_install make[1]: Entering directory '/<>' mkdir -p /<>/debian/why/usr/lib/frama-c/plugins /usr/bin/make prefix=/<>/debian/why/usr install \ LIBDIR=/<>/debian/why/usr/share \ PLUGIN_INSTALL_DIR=/<>/debian/why/usr/lib/frama-c/plugins \ COQLIB=/<>/debian/libwhy-coq//usr/lib/coq make[2]: Entering directory '/<>' mkdir -p /<>/debian/why/usr/bin cp -f bin/jessie.opt /<>/debian/why/usr/bin/jessie cp -f bin/krakatoa.opt /<>/debian/why/usr/bin/krakatoa rm -rf /<>/debian/why/usr/share/why mkdir -p /<>/debian/why/usr/share/why/why3 cp -f lib/why3/why3.conf lib/why3/coq.drv lib/why3/jessie_why3theories.why lib/why3/jessie_why3.mlw /<>/debian/why/usr/share/why/why3 cd lib; cp -rf java_api /<>/debian/why/usr/share/why cd lib; cp -rf javacard_api /<>/debian/why/usr/share/why if test -w /<>/debian/libwhy-coq//usr/lib/coq ; then \ rm -f /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Why*.v* ; \ rm -f /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/caduceus*.v* /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Caduceus*.v* ; \ rm -f /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/jessie*.v* /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Jessie*.v* ; \ if test -n "lib/coq/Jessie_memory_model.vo" ; then \ mkdir -p /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \ cp -f lib/coq/Jessie_memory_model.vo /<>/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \ fi \ else \ echo "Cannot copy to Coq standard library. Add \"-R /<>/debian/why/usr/share/why/coq Why\" to Coq options." ;\ fi Cannot copy to Coq standard library. Add "-R /<>/debian/why/usr/share/why/coq Why" to Coq options. mkdir -p /<>/debian/why/usr/share/why/coq cp -f lib/coq/Jessie_memory_model.vo /<>/debian/why/usr/share/why/coq /usr/bin/make -C frama-c-plugin install make[3]: Entering directory '/<>/frama-c-plugin' mkdir -p /<>/debian/why/usr/lib/frama-c/plugins/top cp ./META.frama-c-jessie ./Jessie.cmi /<>/debian/why/usr/lib/frama-c/plugins cp ./top/Jessie.cmo ./top/Jessie.cmx ./top/Jessie.cma ./top/Jessie.cmxs /<>/debian/why/usr/lib/frama-c/plugins/top if [ -f frama-c-Jessie.byte ]; then \ cp frama-c-Jessie.byte "/<>/debian/why/usr/bin"; \ fi if [ -f frama-c-Jessie.opt ]; then \ cp frama-c-Jessie.opt \ "/<>/debian/why/usr/bin"/frama-c-Jessie; \ fi make[3]: Leaving directory '/<>/frama-c-plugin' make[2]: Leaving directory '/<>' #Used to remove /usr/share/coq/jessie_why.v which is alone and installed by libwhy-coq rm -f -rf /<>/debian/why/usr/share/coq/ #There is no program using the Jessie library. rm -f -rf /<>/debian/why/usr/share/jessie/ #Jessie.cma is installed, no need for this extra file rm -f -f /<>/debian/why/usr/lib/frama-c/plugins/Jessie.cmo echo 'F:CoqABI=8.6+4.02.3' >> debian/libwhy-coq.substvars echo 'F:FramaCVersion=20161101+silicon+dfsg-5build1' >> debian/why.substvars make[1]: Leaving directory '/<>' dh_install -a -O--no-parallel cp --reflink=auto -a ./frama-c-plugin/top/Jessie.o debian/why/usr/lib/frama-c/plugins/top/ install -d debian/.debhelper/generated/why install -d debian/.debhelper/generated/libwhy-coq dh_ocamldoc -a -O--no-parallel dh_installdocs -a -O--no-parallel install -d debian/why/usr/share/doc/why cp --reflink=auto -a README debian/why/usr/share/doc/why chown -R 0:0 debian/why/usr/share/doc chmod -R go=rX debian/why/usr/share/doc chmod -R u\+rw debian/why/usr/share/doc install -p -m0644 debian/copyright debian/why/usr/share/doc/why/copyright dh_installchangelogs -a -O--no-parallel install -p -m0644 debian/changelog debian/why/usr/share/doc/why/changelog.Debian install -p -m0644 debian/why.NEWS debian/why/usr/share/doc/why/NEWS.Debian dh_installman -a -O--no-parallel install -d debian/why/usr/share/man/man1/ install -p -m0644 debian/jessie.1 debian/why/usr/share/man/man1/jessie.1 install -p -m0644 debian/krakatoa.1 debian/why/usr/share/man/man1/krakatoa.1 man --recode UTF-8 ./krakatoa\.1 > krakatoa\.1\.new chmod 0755 -- krakatoa.1.new chown 0:0 -- krakatoa.1.new mv -f krakatoa.1.new krakatoa.1 man --recode UTF-8 ./jessie\.1 > jessie\.1\.new chmod 0755 -- jessie.1.new chown 0:0 -- jessie.1.new mv -f jessie.1.new jessie.1 dh_perl -a -O--no-parallel dh_link -a -O--no-parallel dh_strip_nondeterminism -a -O--no-parallel rm -f debian/*.debhelper.log debian/rules override_dh_compress make[1]: Entering directory '/<>' dh_compress -X.v -X.sx -X.why cd debian/why chmod a-x usr/share/doc/why/NEWS.Debian usr/share/doc/why/changelog.Debian usr/share/man/man1/jessie.1 usr/share/man/man1/krakatoa.1 gzip -9nf usr/share/doc/why/NEWS.Debian usr/share/doc/why/changelog.Debian usr/share/man/man1/jessie.1 usr/share/man/man1/krakatoa.1 cd '/<>' make[1]: Leaving directory '/<>' dh_fixperms -a -O--no-parallel find debian/why -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/why ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/why/usr/share/doc -type f -a -true -a ! -regex 'debian/why/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 find debian/why/usr/share/man -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/why/usr/bin -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod a+x find debian/why/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w dh_missing -a -O--no-parallel dh_strip -a -O--no-parallel install -d debian/.debhelper/why/dbgsym-root/usr/lib/debug/.build-id/fc objcopy --only-keep-debug --compress-debug-sections debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs debian/.debhelper/why/dbgsym-root/usr/lib/debug/.build-id/fc/3ef10b6eb32c61baa59f1d97a97766c99a3a02.debug chmod 0644 -- debian/.debhelper/why/dbgsym-root/usr/lib/debug/.build-id/fc/3ef10b6eb32c61baa59f1d97a97766c99a3a02.debug chown 0:0 -- debian/.debhelper/why/dbgsym-root/usr/lib/debug/.build-id/fc/3ef10b6eb32c61baa59f1d97a97766c99a3a02.debug strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs objcopy --add-gnu-debuglink debian/.debhelper/why/dbgsym-root/usr/lib/debug/.build-id/fc/3ef10b6eb32c61baa59f1d97a97766c99a3a02.debug debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/jessie strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/krakatoa install -d debian/.debhelper/why/dbgsym-root/usr/share/doc ln -s why debian/.debhelper/why/dbgsym-root/usr/share/doc/why-dbgsym dh_makeshlibs -a -O--no-parallel rm -f debian/why/DEBIAN/shlibs dh_shlibdeps -a -O--no-parallel install -d debian/why/DEBIAN dpkg-shlibdeps -Tdebian/why.substvars debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs debian/why/usr/bin/jessie debian/why/usr/bin/krakatoa dpkg-shlibdeps: warning: tried to merge the same object (ld-linux-aarch64.so.1) twice in a symfile dpkg-shlibdeps: warning: tried to merge the same object (ld-linux-aarch64.so.1) twice in a symfile dh_installdeb -a -O--no-parallel dh_ocaml -a -O--no-parallel +++ Remove former .olist.debhelper files +++ +++ Generate .olist.debhelper files +++ "cat debian/why.olist.debhelper" debian/why/usr/lib/frama-c/plugins/Jessie.cmi debian/why/usr/lib/frama-c/plugins/top/Jessie.cma debian/why/usr/lib/frama-c/plugins/top/Jessie.cmo debian/why/usr/lib/frama-c/plugins/top/Jessie.cmx debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs +++ Compute .md5sums and lintian files for dev packages +++ +++ Compute dependencies for dev +++ +++ Compute dependencies for binary packages+++ grep -a -s -v '^ocaml:Depends=' debian/why.substvars > debian/why.substvars.new || true mv debian/why.substvars.new debian/why.substvars /usr/bin/ocaml-md5sums -v --package why dep < debian/why.olist.debhelper Processing debian/why/usr/lib/frama-c/plugins/Jessie.cmi Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/Jessie.cmi Processing debian/why/usr/lib/frama-c/plugins/top/Jessie.cma Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/top/Jessie.cma Processing debian/why/usr/lib/frama-c/plugins/top/Jessie.cmo Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/top/Jessie.cmo Processing debian/why/usr/lib/frama-c/plugins/top/Jessie.cmx Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/top/Jessie.cmx Processing debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/top/Jessie.cmxs why depends on libocamlgraph-ocaml-dev v1.8.6-1build2 through Graph why depends on ocaml-nox/ocaml-base-nox v4.02.3-9ubuntu3 through Int64 W: why doesn't resolve dependency on unit Cil_datatype W: why doesn't resolve dependency on unit CilE W: why doesn't resolve dependency on unit Jc_env W: why doesn't resolve dependency on unit FCHashtbl W: why doesn't resolve dependency on unit Logic_utils W: why doesn't resolve dependency on unit Dynamic W: why doesn't resolve dependency on unit State_builder W: why doesn't resolve dependency on unit Kernel_function W: why doesn't resolve dependency on unit Hptmap W: why doesn't resolve dependency on unit Cmdline W: why doesn't resolve dependency on unit Int_Intervals W: why doesn't resolve dependency on unit Kernel W: why doesn't resolve dependency on unit Logic_decl W: why doesn't resolve dependency on unit Emitter W: why doesn't resolve dependency on unit PdgMarks W: why doesn't resolve dependency on unit Annotations W: why doesn't resolve dependency on unit Logic_env W: why doesn't resolve dependency on unit Cvalue W: why doesn't resolve dependency on unit Lattice_type W: why doesn't resolve dependency on unit Logic_utils W: why doesn't resolve dependency on unit Integer W: why doesn't resolve dependency on unit Precise_locs W: why doesn't resolve dependency on unit Cabs2cil W: why doesn't resolve dependency on unit Plugin W: why doesn't resolve dependency on unit Integer W: why doesn't resolve dependency on unit Cc W: why doesn't resolve dependency on unit Typed_parameter W: why doesn't resolve dependency on unit Lmap_sig W: why doesn't resolve dependency on unit Env W: why doesn't resolve dependency on unit Parameter_state W: why doesn't resolve dependency on unit Offsetmap W: why doesn't resolve dependency on unit Project W: why doesn't resolve dependency on unit Printer W: why doesn't resolve dependency on unit Logic_const W: why doesn't resolve dependency on unit Locations W: why doesn't resolve dependency on unit Log W: why doesn't resolve dependency on unit Types W: why doesn't resolve dependency on unit SlicingTypes W: why doesn't resolve dependency on unit Log W: why doesn't resolve dependency on unit State_dependency_graph W: why doesn't resolve dependency on unit Project_skeleton W: why doesn't resolve dependency on unit Hptset W: why doesn't resolve dependency on unit Offsetmap_sig W: why doesn't resolve dependency on unit State_dependency_graph W: why doesn't resolve dependency on unit Structural_descr W: why doesn't resolve dependency on unit Parameter_state W: why doesn't resolve dependency on unit Property W: why doesn't resolve dependency on unit Cabshelper W: why doesn't resolve dependency on unit PdgTypes W: why doesn't resolve dependency on unit Config W: why doesn't resolve dependency on unit Logic_env W: why doesn't resolve dependency on unit Visitor W: why doesn't resolve dependency on unit Loc W: why doesn't resolve dependency on unit Error W: why doesn't resolve dependency on unit Ival W: why doesn't resolve dependency on unit Cil W: why doesn't resolve dependency on unit Bottom W: why doesn't resolve dependency on unit Globals W: why doesn't resolve dependency on unit Ast W: why doesn't resolve dependency on unit Db W: why doesn't resolve dependency on unit Hook W: why doesn't resolve dependency on unit Ast W: why doesn't resolve dependency on unit Property W: why doesn't resolve dependency on unit Property_status W: why doesn't resolve dependency on unit FCSet W: why doesn't resolve dependency on unit Utf8_logic W: why doesn't resolve dependency on unit Ast_info W: why doesn't resolve dependency on unit Project W: why doesn't resolve dependency on unit Printer_api W: why doesn't resolve dependency on unit Annotations W: why doesn't resolve dependency on unit PdgIndex W: why doesn't resolve dependency on unit Ptree W: why doesn't resolve dependency on unit Type W: why doesn't resolve dependency on unit File W: why doesn't resolve dependency on unit Offsetmap_bitwise_sig W: why doesn't resolve dependency on unit Logic W: why doesn't resolve dependency on unit Descr W: why doesn't resolve dependency on unit Cil_datatype W: why doesn't resolve dependency on unit Cil_const W: why doesn't resolve dependency on unit Cabshelper W: why doesn't resolve dependency on unit Globals W: why doesn't resolve dependency on unit Logic_ptree W: why doesn't resolve dependency on unit Escape W: why doesn't resolve dependency on unit Lmap_bitwise W: why doesn't resolve dependency on unit Origin W: why doesn't resolve dependency on unit Value_types W: why doesn't resolve dependency on unit Kernel_function W: why doesn't resolve dependency on unit Datatype W: why doesn't resolve dependency on unit Cmdline W: why doesn't resolve dependency on unit Dynamic W: why doesn't resolve dependency on unit Offsetmap_lattice_with_isotropy W: why doesn't resolve dependency on unit Int_Intervals_sig W: why doesn't resolve dependency on unit Fval W: why doesn't resolve dependency on unit SlicingInternals W: why doesn't resolve dependency on unit Cil W: why doesn't resolve dependency on unit Unmarshal W: why doesn't resolve dependency on unit Base W: why doesn't resolve dependency on unit Printer W: why doesn't resolve dependency on unit Cil_types W: why doesn't resolve dependency on unit Parameter_sig W: why doesn't resolve dependency on unit Visitor W: why doesn't resolve dependency on unit Function_Froms W: why doesn't resolve dependency on unit FCMap W: why doesn't resolve dependency on unit Logic_const W: why doesn't resolve dependency on unit Cabs2cil W: why doesn't resolve dependency on unit Property_status W: why doesn't resolve dependency on unit Ast_info W: why doesn't resolve dependency on unit Inout_type W: why doesn't resolve dependency on unit Parameter_category W: why doesn't resolve dependency on unit Extlib W: why doesn't resolve dependency on unit Abstract_interp W: why doesn't resolve dependency on unit Int_Base W: why doesn't resolve dependency on unit Kernel W: why doesn't resolve dependency on unit File W: why doesn't resolve dependency on unit Cabs W: why doesn't resolve dependency on unit Emitter W: why doesn't resolve dependency on unit Db W: why doesn't resolve dependency on unit State_builder W: why doesn't resolve dependency on unit State_selection W: why doesn't resolve dependency on unit Logic_typing W: why doesn't resolve dependency on unit Hptmap_sig W: why doesn't resolve dependency on unit State W: why doesn't resolve dependency on unit Utf8_logic W: why doesn't resolve dependency on unit Extlib W: why doesn't resolve dependency on unit Plugin W: why doesn't resolve dependency on unit Datatype W: why doesn't resolve dependency on unit Pretty_utils W: why doesn't resolve dependency on unit Cil_const W: why doesn't resolve dependency on unit Jc_ast (grep -a -s -v ocaml:Depends debian/why.substvars; echo ocaml:Depends=ocaml-base-nox-4.02.3) > debian/why.substvars.new mv debian/why.substvars.new debian/why.substvars dh_gencontrol -a -O--no-parallel echo misc:Depends= >> debian/why.substvars echo misc:Pre-Depends= >> debian/why.substvars install -d debian/.debhelper/why/dbgsym-root/DEBIAN dpkg-gencontrol -pwhy -ldebian/changelog -Tdebian/why.substvars -Pdebian/.debhelper/why/dbgsym-root -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=extra -UHomepage -DAuto-Built-Package=debug-symbols -DPackage=why-dbgsym "-DDepends=why (= \${binary:Version})" "-DDescription=Debug symbols for why" -DBuild-Ids=fc3ef10b6eb32c61baa59f1d97a97766c99a3a02 -DSection=debug -DPackage-Type=ddeb -UMulti-Arch -UReplaces -UBreaks chmod 0644 -- debian/.debhelper/why/dbgsym-root/DEBIAN/control chown 0:0 -- debian/.debhelper/why/dbgsym-root/DEBIAN/control dpkg-gencontrol -pwhy -ldebian/changelog -Tdebian/why.substvars -Pdebian/why -UMulti-Arch chmod 0644 -- debian/why/DEBIAN/control chown 0:0 -- debian/why/DEBIAN/control dh_md5sums -a -O--no-parallel (cd debian/why >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums) >/dev/null chmod 0644 -- debian/why/DEBIAN/md5sums chown 0:0 -- debian/why/DEBIAN/md5sums (cd debian/.debhelper/why/dbgsym-root >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums) >/dev/null chmod 0644 -- debian/.debhelper/why/dbgsym-root/DEBIAN/md5sums chown 0:0 -- debian/.debhelper/why/dbgsym-root/DEBIAN/md5sums dh_builddeb -a -O--no-parallel install -d debian/.debhelper/scratch-space/build-why dpkg-deb -z1 -Zxz -Sextreme --build debian/.debhelper/why/dbgsym-root debian/.debhelper/scratch-space/build-why INFO: pkgstriptranslations version 131 pkgstriptranslations: processing why-dbgsym (in debian/.debhelper/why/dbgsym-root); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/.debhelper/why/dbgsym-root/DEBIAN/control, package why-dbgsym, directory debian/.debhelper/why/dbgsym-root pkgstripfiles: Running PNG optimization (using 4 cpus) for package why-dbgsym ... pkgstripfiles: No PNG files. dpkg-deb: building package 'why-dbgsym' in 'debian/.debhelper/scratch-space/build-why/why-dbgsym_2.38-1build1_arm64.deb'. Renaming why-dbgsym_2.38-1build1_arm64.deb to why-dbgsym_2.38-1build1_arm64.ddeb mv -f debian/.debhelper/scratch-space/build-why/why-dbgsym_2.38-1build1_arm64.deb ../why-dbgsym_2.38-1build1_arm64.ddeb dpkg-deb --build debian/why .. INFO: pkgstriptranslations version 131 pkgstriptranslations: processing why (in debian/why); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/why/DEBIAN/control, package why, directory debian/why pkgstripfiles: Truncating usr/share/doc/why/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package why ... pkgstripfiles: No PNG files. dpkg-deb: building package 'why' in '../why_2.38-1build1_arm64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any -mLaunchpad Build Daemon >../why_2.38-1build1_arm64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build why-2.38 dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20170605-1032 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ why_2.38-1build1_arm64.changes: ------------------------------- Format: 1.8 Date: Mon, 05 Jun 2017 09:50:21 +0200 Source: why Binary: why libwhy-coq Architecture: arm64 Version: 2.38-1build1 Distribution: artful-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna Description: libwhy-coq - Why library for Coq why - Software verification tool for C and Java Changes: why (2.38-1build1) artful; urgency=medium . * Rebuild against new ocaml ABIs. Checksums-Sha1: 409efd1da1c4c4b48b0bed1139d213ef1f720c05 82668 why-dbgsym_2.38-1build1_arm64.ddeb e97a8aaf9c261acc9b3537b53cfb1ce8c8cd421a 8218 why_2.38-1build1_arm64.buildinfo e48f376dac43007f8d855044977a9b29e4d4e2e8 3117340 why_2.38-1build1_arm64.deb Checksums-Sha256: 0367506621e77ef6240e6d18d5e2865f36ecceab0a9e91d52355ef6cc2595aef 82668 why-dbgsym_2.38-1build1_arm64.ddeb 09cfc9924a06f67b46432ec683f6ce460135cbf63e803f25936a1d24d3f64d3b 8218 why_2.38-1build1_arm64.buildinfo b3616d1164e4252ae286f63cda63972e34387a0c0e7b6649b10f3db7c11b901f 3117340 why_2.38-1build1_arm64.deb Files: 4faa2799e6fbaccfb0ed4b8caa96c5cb 82668 debug extra why-dbgsym_2.38-1build1_arm64.ddeb e57eefb50e3ea4f187c9d745428977ff 8218 math optional why_2.38-1build1_arm64.buildinfo 80e541faa6536c46d7da758ca5873318 3117340 math optional why_2.38-1build1_arm64.deb +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ why_2.38-1build1_arm64.deb -------------------------- new debian package, version 2.0. size 3117340 bytes: control archive=3992 bytes. 799 bytes, 17 lines control 9493 bytes, 111 lines md5sums Package: why Version: 2.38-1build1 Architecture: arm64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 20120 Depends: libc6 (>= 2.17), ocaml-base-nox-4.02.3, frama-c-base (= 20161101+silicon+dfsg-5build1), why3, make Suggests: libwhy-coq (= 2.38-1build1) Section: math Priority: optional Homepage: http://krakatoa.lri.fr/ Description: Software verification tool for C and Java This package contains Krakatoa and Jessie, two front-ends of the Why3 platform for deductive program verification. Krakatoa deals with Java programs annotated in a variant of the The Java Modeling Language. Jessie deals with C programs annotated in the ANSI/ISO C Specification Language (ACSL). drwxr-xr-x root/root 0 2017-06-05 07:50 ./ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/bin/ -rwxr-xr-x root/root 4431008 2017-06-05 07:50 ./usr/bin/jessie -rwxr-xr-x root/root 3347112 2017-06-05 07:50 ./usr/bin/krakatoa drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/lib/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/lib/frama-c/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/lib/frama-c/plugins/ -rw-r--r-- root/root 186 2017-06-05 07:50 ./usr/lib/frama-c/plugins/Jessie.cmi -rw-r--r-- root/root 234 2017-06-05 07:50 ./usr/lib/frama-c/plugins/META.frama-c-jessie drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/lib/frama-c/plugins/top/ -rw-r--r-- root/root 5016441 2017-06-05 07:50 ./usr/lib/frama-c/plugins/top/Jessie.cma -rw-r--r-- root/root 3221162 2017-06-05 07:50 ./usr/lib/frama-c/plugins/top/Jessie.cmo -rw-r--r-- root/root 5274 2017-06-05 07:50 ./usr/lib/frama-c/plugins/top/Jessie.cmx -rw-r--r-- root/root 1941824 2017-06-05 07:50 ./usr/lib/frama-c/plugins/top/Jessie.cmxs -rw-r--r-- root/root 1236704 2017-06-05 07:50 ./usr/lib/frama-c/plugins/top/Jessie.o drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/doc/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/doc/why/ -rw-r--r-- root/root 222 2017-04-24 06:25 ./usr/share/doc/why/NEWS.Debian.gz -rw-r--r-- root/root 3131 2017-03-26 15:16 ./usr/share/doc/why/README -rw-r--r-- root/root 2172 2017-06-05 07:50 ./usr/share/doc/why/changelog.Debian.gz -rw-r--r-- root/root 3865 2017-04-24 06:25 ./usr/share/doc/why/copyright drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/man/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/man/man1/ -rw-r--r-- root/root 907 2017-06-05 07:50 ./usr/share/man/man1/jessie.1.gz -rw-r--r-- root/root 553 2017-06-05 07:50 ./usr/share/man/man1/krakatoa.1.gz drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/coq/ -rw-r--r-- root/root 90151 2017-06-05 07:50 ./usr/share/why/coq/Jessie_memory_model.vo drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/java_api/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/java_api/java/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/java_api/java/io/ -rw-r--r-- root/root 7104 2017-06-05 07:50 ./usr/share/why/java_api/java/io/BufferedWriter.java -rw-r--r-- root/root 63721 2017-06-05 07:50 ./usr/share/why/java_api/java/io/File.java -rw-r--r-- root/root 3929 2017-06-05 07:50 ./usr/share/why/java_api/java/io/FileDescriptor.java -rw-r--r-- root/root 1932 2017-06-05 07:50 ./usr/share/why/java_api/java/io/FileNotFoundException.java -rw-r--r-- root/root 2093 2017-06-05 07:50 ./usr/share/why/java_api/java/io/FileReader.java -rw-r--r-- root/root 5152 2017-06-05 07:50 ./usr/share/why/java_api/java/io/FilterOutputStream.java -rw-r--r-- root/root 1103 2017-06-05 07:50 ./usr/share/why/java_api/java/io/IOException.java -rw-r--r-- root/root 14881 2017-06-05 07:50 ./usr/share/why/java_api/java/io/InputStream.java -rw-r--r-- root/root 5732 2017-06-05 07:50 ./usr/share/why/java_api/java/io/InputStreamReader.java -rw-r--r-- root/root 64725 2017-06-05 07:50 ./usr/share/why/java_api/java/io/ObjectStreamClass.java -rw-r--r-- root/root 5082 2017-06-05 07:50 ./usr/share/why/java_api/java/io/OutputStream.java -rw-r--r-- root/root 6788 2017-06-05 07:50 ./usr/share/why/java_api/java/io/OutputStreamWriter.java -rw-r--r-- root/root 18130 2017-06-05 07:50 ./usr/share/why/java_api/java/io/PrintStream.java -rw-r--r-- root/root 7268 2017-06-05 07:50 ./usr/share/why/java_api/java/io/Reader.java -rw-r--r-- root/root 4695 2017-06-05 07:50 ./usr/share/why/java_api/java/io/Serializable.java -rw-r--r-- root/root 25753 2017-06-05 07:50 ./usr/share/why/java_api/java/io/StreamTokenizer.java drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/ -rw-r--r-- root/root 1028 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/ArrayStoreException.java -rw-r--r-- root/root 3067 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/CharSequence.java -rw-r--r-- root/root 74738 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/Character.java -rw-r--r-- root/root 89699 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/Class.java -rw-r--r-- root/root 1353 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/Cloneable.java -rw-r--r-- root/root 5730 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/Comparable.java -rw-r--r-- root/root 28832 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/Double.java -rw-r--r-- root/root 2772 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/Exception.java -rw-r--r-- root/root 893 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/IllegalArgumentException.java -rw-r--r-- root/root 35750 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/Integer.java -rw-r--r-- root/root 34165 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/Long.java -rw-r--r-- root/root 37242 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/Math.java -rw-r--r-- root/root 3072 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/Number.java -rw-r--r-- root/root 1356 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/NumberFormatException.java -rw-r--r-- root/root 23657 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/Object.java -rw-r--r-- root/root 2935 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/RuntimeException.java -rw-r--r-- root/root 90665 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/String.java -rw-r--r-- root/root 50601 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/StringBuffer.java -rw-r--r-- root/root 38062 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/System.java -rw-r--r-- root/root 26985 2017-06-05 07:50 ./usr/share/why/java_api/java/lang/Throwable.java drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/java_api/java/util/ -rw-r--r-- root/root 23747 2017-06-05 07:50 ./usr/share/why/java_api/java/util/AbstractMap.java -rw-r--r-- root/root 18850 2017-06-05 07:50 ./usr/share/why/java_api/java/util/Collection.java -rw-r--r-- root/root 34531 2017-06-05 07:50 ./usr/share/why/java_api/java/util/HashMap.java -rw-r--r-- root/root 761 2017-06-05 07:50 ./usr/share/why/java_api/java/util/HashMapIntegerInteger.java -rw-r--r-- root/root 785 2017-06-05 07:50 ./usr/share/why/java_api/java/util/HashMapIntegerLong.java -rw-r--r-- root/root 2165 2017-06-05 07:50 ./usr/share/why/java_api/java/util/Iterator.java -rw-r--r-- root/root 39 2017-06-05 07:50 ./usr/share/why/java_api/java/util/Locale.java -rw-r--r-- root/root 19069 2017-06-05 07:50 ./usr/share/why/java_api/java/util/Map.java -rw-r--r-- root/root 14662 2017-06-05 07:50 ./usr/share/why/java_api/java/util/Set.java drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/javacard_api/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/javacard_api/com/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/javacard_api/com/sun/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/javacard_api/com/sun/javacard/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/javacard_api/com/sun/javacard/impl/ -rw-r--r-- root/root 114 2017-06-05 07:50 ./usr/share/why/javacard_api/com/sun/javacard/impl/Constants.java -rw-r--r-- root/root 65 2017-06-05 07:50 ./usr/share/why/javacard_api/com/sun/javacard/impl/NativeMethods.java -rw-r--r-- root/root 64 2017-06-05 07:50 ./usr/share/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java -rw-r--r-- root/root 62 2017-06-05 07:50 ./usr/share/why/javacard_api/com/sun/javacard/impl/PrivAccess.java drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/javacard_api/java/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/javacard_api/java/lang/ -rw-r--r-- root/root 500 2017-06-05 07:50 ./usr/share/why/javacard_api/java/lang/ArrayIndexOutOfBoundsException.java -rw-r--r-- root/root 1659 2017-06-05 07:50 ./usr/share/why/javacard_api/java/lang/Exception.java -rw-r--r-- root/root 482 2017-06-05 07:50 ./usr/share/why/javacard_api/java/lang/IndexOutOfBoundsException.java -rw-r--r-- root/root 3513 2017-06-05 07:50 ./usr/share/why/javacard_api/java/lang/Object.java -rw-r--r-- root/root 1758 2017-06-05 07:50 ./usr/share/why/javacard_api/java/lang/RuntimeException.java -rw-r--r-- root/root 1793 2017-06-05 07:50 ./usr/share/why/javacard_api/java/lang/Throwable.java drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/ -rw-r--r-- root/root 7395 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/AID.java -rw-r--r-- root/root 38103 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/APDU.java -rw-r--r-- root/root 5011 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/APDUException.java -rw-r--r-- root/root 14548 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/Applet.java -rw-r--r-- root/root 3167 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/CardException.java -rw-r--r-- root/root 3306 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/CardRuntimeException.java -rw-r--r-- root/root 9040 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/Dispatcher.java -rw-r--r-- root/root 4779 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/ISO7816.java -rw-r--r-- root/root 4190 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/ISOException.java -rw-r--r-- root/root 17345 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/JCSystem.java -rw-r--r-- root/root 11618 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/OwnerPIN.java -rw-r--r-- root/root 5358 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/PIN.java -rw-r--r-- root/root 3042 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/PINException.java -rw-r--r-- root/root 1565 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/Shareable.java -rw-r--r-- root/root 4295 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/SystemException.java -rw-r--r-- root/root 4167 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/TransactionException.java -rw-r--r-- root/root 3223 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/UserException.java -rw-r--r-- root/root 17202 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/framework/Util.java drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/ -rw-r--r-- root/root 3820 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/CryptoException.java -rw-r--r-- root/root 3138 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/DESKey.java -rw-r--r-- root/root 6928 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/DSAKey.java -rw-r--r-- root/root 3305 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/DSAPrivateKey.java -rw-r--r-- root/root 3308 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/DSAPublicKey.java -rw-r--r-- root/root 2223 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/Key.java -rw-r--r-- root/root 5796 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/KeyBuilder.java -rw-r--r-- root/root 6484 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/KeyPair.java -rw-r--r-- root/root 5038 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/MessageDigest.java -rw-r--r-- root/root 1190 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/PrivateKey.java -rw-r--r-- root/root 1190 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/PublicKey.java -rw-r--r-- root/root 10715 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/RSAPrivateCrtKey.java -rw-r--r-- root/root 5014 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/RSAPrivateKey.java -rw-r--r-- root/root 4723 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/RSAPublicKey.java -rw-r--r-- root/root 3257 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/RandomData.java -rw-r--r-- root/root 1186 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/SecretKey.java -rw-r--r-- root/root 18870 2017-06-05 07:50 ./usr/share/why/javacard_api/javacard/security/Signature.java drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/javacard_api/javacardx/ drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/javacard_api/javacardx/crypto/ -rw-r--r-- root/root 2970 2017-06-05 07:50 ./usr/share/why/javacard_api/javacardx/crypto/Cipher.java drwxr-xr-x root/root 0 2017-06-05 07:50 ./usr/share/why/why3/ -rw-r--r-- root/root 141 2017-06-05 07:50 ./usr/share/why/why3/coq.drv -rw-r--r-- root/root 19602 2017-06-05 07:50 ./usr/share/why/why3/jessie_why3.mlw -rw-r--r-- root/root 19703 2017-06-05 07:50 ./usr/share/why/why3/jessie_why3theories.why -rw-r--r-- root/root 344 2017-06-05 07:50 ./usr/share/why/why3/why3.conf +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Not removing build depends: as requested Keeping session: +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: arm64 Build-Space: 105052 Build-Time: 99 Distribution: artful-proposed Host Architecture: arm64 Install-Time: 69 Job: why_2.38-1build1.dsc Machine Architecture: arm64 Package: why Package-Time: 172 Source-Version: 2.38-1build1 Space: 105052 Status: successful Version: 2.38-1build1 -------------------------------------------------------------------------------- Finished at 20170605-1032 Build needed 00:02:52, 105052k disc space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-12691390'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-12691390/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-12691390'] Unmounting chroot for build PACKAGEBUILD-12691390... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-12691390'] Removing build PACKAGEBUILD-12691390