RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux twombly 3.8.0-2-mustang #12-Ubuntu SMP Thu Jan 9 09:48:54 UTC 2014 aarch64 Buildd toolchain package versions: launchpad-buildd_121~0.IS.08.04.0 python-lpbuildd_121~0.IS.08.04.0 dpkg-dev_1.17.5ubuntu2. Syncing the system clock with the buildd NTP service... 14 Feb 12:48:42 ntpdate[24185]: adjust time server 10.211.37.1 offset -0.127727 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-5588737', '/home/buildd/filecache-default/ca2901f9e2d4a61999fc5545ea43a99c8419de1b'] Unpacking chroot for build PACKAGEBUILD-5588737 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-5588737'] Mounting chroot for build PACKAGEBUILD-5588737 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-5588737', 'deb http://ftpmaster.internal/ubuntu trusty main universe', 'deb http://ftpmaster.internal/ubuntu trusty-security main universe', 'deb http://ftpmaster.internal/ubuntu trusty-updates main universe', 'deb http://ftpmaster.internal/ubuntu trusty-proposed main universe'] Overriding sources.list in build-PACKAGEBUILD-5588737 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-5588737', 'arm64'] Updating debian chroot for build PACKAGEBUILD-5588737 Ign http://ftpmaster.internal trusty InRelease Ign http://archive-team.internal trusty InRelease Ign http://ftpmaster.internal trusty-security InRelease Ign http://archive-team.internal trusty Release.gpg Ign http://ftpmaster.internal trusty-updates InRelease Get:1 http://archive-team.internal trusty Release [730 B] Ign http://ftpmaster.internal trusty-proposed InRelease Ign http://archive-team.internal trusty/main arm64 Packages/DiffIndex Get:2 http://ftpmaster.internal trusty Release.gpg [933 B] Get:3 http://ftpmaster.internal trusty-security Release.gpg [933 B] Get:4 http://ftpmaster.internal trusty-updates Release.gpg [933 B] Get:5 http://ftpmaster.internal trusty-proposed Release.gpg [933 B] Get:6 http://ftpmaster.internal trusty Release [58.5 kB] Get:7 http://ftpmaster.internal trusty-security Release [58.5 kB] Ign http://archive-team.internal trusty/main Translation-en Get:8 http://archive-team.internal trusty/main arm64 Packages Get:9 http://ftpmaster.internal trusty-updates Release [58.5 kB] Get:10 http://ftpmaster.internal trusty-proposed Release [58.5 kB] Get:11 http://ftpmaster.internal trusty/main arm64 Packages [1223 kB] Get:12 http://ftpmaster.internal trusty/universe arm64 Packages [5128 kB] Get:13 http://ftpmaster.internal trusty/main Translation-en [759 kB] Get:14 http://ftpmaster.internal trusty/universe Translation-en [4055 kB] Get:15 http://ftpmaster.internal trusty-security/main arm64 Packages [14 B] Get:16 http://ftpmaster.internal trusty-security/universe arm64 Packages [14 B] Get:17 http://ftpmaster.internal trusty-security/main Translation-en [14 B] Get:18 http://ftpmaster.internal trusty-security/universe Translation-en [14 B] Get:19 http://ftpmaster.internal trusty-updates/main arm64 Packages [14 B] Get:20 http://ftpmaster.internal trusty-updates/universe arm64 Packages [14 B] Get:21 http://ftpmaster.internal trusty-updates/main Translation-en [14 B] Get:22 http://ftpmaster.internal trusty-updates/universe Translation-en [14 B] Get:23 http://ftpmaster.internal trusty-proposed/main arm64 Packages [12.7 kB] Get:24 http://ftpmaster.internal trusty-proposed/universe arm64 Packages [57.4 kB] Get:25 http://ftpmaster.internal trusty-proposed/main Translation-en [14.9 kB] Get:26 http://ftpmaster.internal trusty-proposed/universe Translation-en [55.9 kB] Fetched 11.5 MB in 13s (884 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libprocps1 Use 'apt-get autoremove' to remove it. The following NEW packages will be installed: libdebconfclient0 libprocps3 The following packages will be upgraded: apt apt-transport-https base-files base-passwd binutils bsdutils cpp cpp-4.8 dpkg dpkg-dev e2fslibs e2fsprogs findutils g++ g++-4.8 gcc gcc-4.8 gcc-4.8-base gnupg gpgv grep gzip ifupdown libapt-pkg4.12 libatomic1 libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcomerr2 libcurl3-gnutls libdbus-1-3 libdpkg-perl libdrm2 libffi6 libgcc-4.8-dev libgcc1 libgmp10 libgomp1 libgssapi-krb5-2 libk5crypto3 libkrb5-3 libkrb5support0 liblzma5 libmount1 libncurses5 libncursesw5 libnih-dbus1 libnih1 libpam-modules libpam-modules-bin libpam-runtime libpam0g libplymouth2 libpng12-0 libselinux1 libsqlite3-0 libss2 libstdc++-4.8-dev libstdc++6 libtinfo5 libudev1 libuuid1 linux-libc-dev login mount multiarch-support ncurses-base ncurses-bin passwd perl perl-base perl-modules pkg-create-dbgsym pkgbinarymangler plymouth procps sed tar udev upstart util-linux xz-utils 84 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 41.1 MB of archives. After this operation, 862 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main base-files arm64 7.2ubuntu1 [45.1 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main dpkg arm64 1.17.5ubuntu4 [1919 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty/main libc-bin arm64 2.18-0ubuntu6 [1048 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty/main libdbus-1-3 arm64 1.6.18-0ubuntu3 [107 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty/main libnih-dbus1 arm64 1.0.3-4ubuntu25 [12.2 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty/main libnih1 arm64 1.0.3-4ubuntu25 [40.5 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main libselinux1 arm64 2.2.2-1 [47.3 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main libpam0g arm64 1.1.8-1ubuntu2 [50.0 kB] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main libpam-modules-bin arm64 1.1.8-1ubuntu2 [28.0 kB] Get:10 http://ftpmaster.internal/ubuntu/ trusty/main libpam-modules arm64 1.1.8-1ubuntu2 [210 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main passwd arm64 1:4.1.5.1-1ubuntu8 [723 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty/main libuuid1 arm64 2.20.1-5.1ubuntu14 [9750 B] Get:13 http://ftpmaster.internal/ubuntu/ trusty/main libblkid1 arm64 2.20.1-5.1ubuntu14 [50.4 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty/main util-linux arm64 2.20.1-5.1ubuntu14 [423 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main libprocps3 arm64 1:3.3.9-1ubuntu2 [26.6 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty/main libncursesw5 arm64 5.9+20131221-1ubuntu1 [94.4 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty/main libtinfo5 arm64 5.9+20131221-1ubuntu1 [63.4 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty/main libncurses5 arm64 5.9+20131221-1ubuntu1 [74.5 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty/main procps arm64 1:3.3.9-1ubuntu2 [197 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty/main udev arm64 204-5ubuntu11 [714 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty/main libudev1 arm64 204-5ubuntu11 [29.1 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty/main ifupdown arm64 0.7.47.2ubuntu1 [48.9 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty/main upstart arm64 1.11-0ubuntu3 [319 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty/main libc6-dev arm64 2.18-0ubuntu6 [1669 kB] Get:25 http://ftpmaster.internal/ubuntu/ trusty/main libc-dev-bin arm64 2.18-0ubuntu6 [60.3 kB] Get:26 http://ftpmaster.internal/ubuntu/ trusty/main linux-libc-dev arm64 3.13.0-8.28 [735 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty/main libgomp1 arm64 4.8.2-15ubuntu3 [19.1 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty/main gcc-4.8-base arm64 4.8.2-15ubuntu3 [14.7 kB] Get:29 http://ftpmaster.internal/ubuntu/ trusty/main libgcc1 arm64 1:4.8.2-15ubuntu3 [30.1 kB] Get:30 http://ftpmaster.internal/ubuntu/ trusty/main libatomic1 arm64 4.8.2-15ubuntu3 [6074 B] Get:31 http://ftpmaster.internal/ubuntu/ trusty/main cpp-4.8 arm64 4.8.2-15ubuntu3 [3525 kB] Get:32 http://ftpmaster.internal/ubuntu/ trusty/main libstdc++-4.8-dev arm64 4.8.2-15ubuntu3 [1048 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty/main g++-4.8 arm64 4.8.2-15ubuntu3 [5347 kB] Get:34 http://ftpmaster.internal/ubuntu/ trusty/main gcc-4.8 arm64 4.8.2-15ubuntu3 [3927 kB] Get:35 http://ftpmaster.internal/ubuntu/ trusty/main libgcc-4.8-dev arm64 4.8.2-15ubuntu3 [131 kB] Get:36 http://ftpmaster.internal/ubuntu/ trusty/main libstdc++6 arm64 4.8.2-15ubuntu3 [230 kB] Get:37 http://ftpmaster.internal/ubuntu/ trusty/main libgmp10 arm64 2:5.1.3+dfsg-1ubuntu1 [196 kB] Get:38 http://ftpmaster.internal/ubuntu/ trusty/main binutils arm64 2.24-2ubuntu3 [1029 kB] Get:39 http://ftpmaster.internal/ubuntu/ trusty/main libc6 arm64 2.18-0ubuntu6 [4056 kB] Get:40 http://ftpmaster.internal/ubuntu/ trusty/main e2fslibs arm64 1.42.9-2ubuntu1 [161 kB] Get:41 http://ftpmaster.internal/ubuntu/ trusty/main e2fsprogs arm64 1.42.9-2ubuntu1 [634 kB] Get:42 http://ftpmaster.internal/ubuntu/ trusty/main findutils arm64 4.4.2-7 [251 kB] Get:43 http://ftpmaster.internal/ubuntu/ trusty/main grep arm64 2.16-1 [141 kB] Get:44 http://ftpmaster.internal/ubuntu/ trusty/main gzip arm64 1.6-3ubuntu1 [79.6 kB] Get:45 http://ftpmaster.internal/ubuntu/ trusty/main login arm64 1:4.1.5.1-1ubuntu8 [300 kB] Get:46 http://ftpmaster.internal/ubuntu/ trusty/main mount arm64 2.20.1-5.1ubuntu14 [108 kB] Get:47 http://ftpmaster.internal/ubuntu/ trusty/main ncurses-bin arm64 5.9+20131221-1ubuntu1 [131 kB] Get:48 http://ftpmaster.internal/ubuntu/ trusty/main perl arm64 5.18.2-2 [2219 kB] Get:49 http://ftpmaster.internal/ubuntu/ trusty/main perl-base arm64 5.18.2-2 [1009 kB] Get:50 http://ftpmaster.internal/ubuntu/ trusty/main perl-modules all 5.18.2-2 [2696 kB] Get:51 http://ftpmaster.internal/ubuntu/ trusty/main sed arm64 4.2.2-4ubuntu1 [133 kB] Get:52 http://ftpmaster.internal/ubuntu/ trusty/main tar arm64 1.27.1-1 [169 kB] Get:53 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libapt-pkg4.12 arm64 0.9.15.2ubuntu1 [580 kB] Get:54 http://ftpmaster.internal/ubuntu/ trusty/main gpgv arm64 1.4.16-1ubuntu1 [134 kB] Get:55 http://ftpmaster.internal/ubuntu/ trusty/main gnupg arm64 1.4.16-1ubuntu1 [545 kB] Get:56 http://ftpmaster.internal/ubuntu/ trusty-proposed/main apt arm64 0.9.15.2ubuntu1 [950 kB] Get:57 http://ftpmaster.internal/ubuntu/ trusty/main libdebconfclient0 arm64 0.187ubuntu1 [6390 B] Get:58 http://ftpmaster.internal/ubuntu/ trusty/main base-passwd arm64 3.5.32 [45.6 kB] Get:59 http://ftpmaster.internal/ubuntu/ trusty/main bsdutils arm64 1:2.20.1-5.1ubuntu14 [32.8 kB] Get:60 http://ftpmaster.internal/ubuntu/ trusty/main ncurses-base all 5.9+20131221-1ubuntu1 [16.5 kB] Get:61 http://ftpmaster.internal/ubuntu/ trusty/main libcomerr2 arm64 1.42.9-2ubuntu1 [61.7 kB] Get:62 http://ftpmaster.internal/ubuntu/ trusty/main liblzma5 arm64 5.1.1alpha+20120614-2ubuntu2 [71.6 kB] Get:63 http://ftpmaster.internal/ubuntu/ trusty/main libmount1 arm64 2.20.1-5.1ubuntu14 [46.2 kB] Get:64 http://ftpmaster.internal/ubuntu/ trusty/main libss2 arm64 1.42.9-2ubuntu1 [65.2 kB] Get:65 http://ftpmaster.internal/ubuntu/ trusty/main libffi6 arm64 3.0.13-12 [16.1 kB] Get:66 http://ftpmaster.internal/ubuntu/ trusty/main libsqlite3-0 arm64 3.8.2-1ubuntu2 [284 kB] Get:67 http://ftpmaster.internal/ubuntu/ trusty/main libdrm2 arm64 2.4.52-1 [19.1 kB] Get:68 http://ftpmaster.internal/ubuntu/ trusty/main plymouth arm64 0.8.8-0ubuntu14 [82.2 kB] Get:69 http://ftpmaster.internal/ubuntu/ trusty/main libpng12-0 arm64 1.2.50-1ubuntu1 [105 kB] Get:70 http://ftpmaster.internal/ubuntu/ trusty/main libplymouth2 arm64 0.8.8-0ubuntu14 [61.6 kB] Get:71 http://ftpmaster.internal/ubuntu/ trusty/main libk5crypto3 arm64 1.12+dfsg-2ubuntu1 [72.3 kB] Get:72 http://ftpmaster.internal/ubuntu/ trusty/main libgssapi-krb5-2 arm64 1.12+dfsg-2ubuntu1 [91.2 kB] Get:73 http://ftpmaster.internal/ubuntu/ trusty/main libkrb5-3 arm64 1.12+dfsg-2ubuntu1 [214 kB] Get:74 http://ftpmaster.internal/ubuntu/ trusty/main libkrb5support0 arm64 1.12+dfsg-2ubuntu1 [26.4 kB] Get:75 http://ftpmaster.internal/ubuntu/ trusty/main libcurl3-gnutls arm64 7.35.0-1ubuntu1 [133 kB] Get:76 http://ftpmaster.internal/ubuntu/ trusty/main libpam-runtime all 1.1.8-1ubuntu2 [37.7 kB] Get:77 http://ftpmaster.internal/ubuntu/ trusty/main multiarch-support arm64 2.18-0ubuntu6 [4484 B] Get:78 http://ftpmaster.internal/ubuntu/ trusty-proposed/main apt-transport-https arm64 0.9.15.2ubuntu1 [24.4 kB] Get:79 http://ftpmaster.internal/ubuntu/ trusty/main cpp arm64 4:4.8.2-1ubuntu3 [27.7 kB] Get:80 http://ftpmaster.internal/ubuntu/ trusty/main dpkg-dev all 1.17.5ubuntu4 [726 kB] Get:81 http://ftpmaster.internal/ubuntu/ trusty/main libdpkg-perl all 1.17.5ubuntu4 [179 kB] Get:82 http://ftpmaster.internal/ubuntu/ trusty/main xz-utils arm64 5.1.1alpha+20120614-2ubuntu2 [75.1 kB] Get:83 http://ftpmaster.internal/ubuntu/ trusty/main gcc arm64 4:4.8.2-1ubuntu3 [4994 B] Get:84 http://ftpmaster.internal/ubuntu/ trusty/main g++ arm64 4:4.8.2-1ubuntu3 [1484 B] Get:85 http://ftpmaster.internal/ubuntu/ trusty/main pkg-create-dbgsym all 0.63 [7498 B] Get:86 http://ftpmaster.internal/ubuntu/ trusty/main pkgbinarymangler all 119 [28.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 41.1 MB in 38s (1072 kB/s) (Reading database ... 11899 files and directories currently installed.) Preparing to replace base-files 6.12ubuntu5 (using .../base-files_7.2ubuntu1_arm64.deb) ... Unpacking replacement base-files ... Setting up base-files (7.2ubuntu1) ... Installing new version of config file /etc/debian_version ... (Reading database ... 11899 files and directories currently installed.) Preparing to replace dpkg 1.17.1ubuntu1 (using .../dpkg_1.17.5ubuntu4_arm64.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.17.5ubuntu4) ... (Reading database ... 11901 files and directories currently installed.) Preparing to unpack .../libc-bin_2.18-0ubuntu6_arm64.deb ... Unpacking libc-bin (2.18-0ubuntu6) over (2.18-0ubuntu2) ... Preparing to unpack .../libc6_2.18-0ubuntu6_arm64.deb ... Unpacking libc6:arm64 (2.18-0ubuntu6) over (2.18-0ubuntu2) ... Preparing to unpack .../libgcc1_1%3a4.8.2-15ubuntu3_arm64.deb ... Unpacking libgcc1:arm64 (1:4.8.2-15ubuntu3) over (1:4.8.2-10ubuntu2) ... Preparing to unpack .../gcc-4.8-base_4.8.2-15ubuntu3_arm64.deb ... Unpacking gcc-4.8-base:arm64 (4.8.2-15ubuntu3) over (4.8.2-10ubuntu2) ... Setting up gcc-4.8-base:arm64 (4.8.2-15ubuntu3) ... Setting up libgcc1:arm64 (1:4.8.2-15ubuntu3) ... Setting up libc6:arm64 (2.18-0ubuntu6) ... Setting up libc-bin (2.18-0ubuntu6) ... (Reading database ... 11901 files and directories currently installed.) Preparing to unpack .../libdbus-1-3_1.6.18-0ubuntu3_arm64.deb ... Unpacking libdbus-1-3:arm64 (1.6.18-0ubuntu3) over (1.6.18-0ubuntu2) ... Preparing to unpack .../libnih-dbus1_1.0.3-4ubuntu25_arm64.deb ... Unpacking libnih-dbus1:arm64 (1.0.3-4ubuntu25) over (1.0.3-4ubuntu24) ... Preparing to unpack .../libnih1_1.0.3-4ubuntu25_arm64.deb ... Unpacking libnih1:arm64 (1.0.3-4ubuntu25) over (1.0.3-4ubuntu24) ... Preparing to unpack .../libselinux1_2.2.2-1_arm64.deb ... Unpacking libselinux1:arm64 (2.2.2-1) over (2.2.1-1ubuntu2) ... Setting up libselinux1:arm64 (2.2.2-1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11901 files and directories currently installed.) Preparing to unpack .../libpam0g_1.1.8-1ubuntu2_arm64.deb ... Unpacking libpam0g:arm64 (1.1.8-1ubuntu2) over (1.1.3-10ubuntu1) ... Setting up libpam0g:arm64 (1.1.8-1ubuntu2) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11901 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.1.8-1ubuntu2_arm64.deb ... Unpacking libpam-modules-bin (1.1.8-1ubuntu2) over (1.1.3-10ubuntu1) ... Setting up libpam-modules-bin (1.1.8-1ubuntu2) ... (Reading database ... 11901 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.1.8-1ubuntu2_arm64.deb ... Unpacking libpam-modules:arm64 (1.1.8-1ubuntu2) over (1.1.3-10ubuntu1) ... Setting up libpam-modules:arm64 (1.1.8-1ubuntu2) ... Installing new version of config file /etc/security/limits.conf ... Installing new version of config file /etc/security/pam_env.conf ... Installing new version of config file /etc/security/namespace.conf ... Installing new version of config file /etc/security/namespace.init ... Installing new version of config file /etc/security/time.conf ... (Reading database ... 11902 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.1.5.1-1ubuntu8_arm64.deb ... Unpacking passwd (1:4.1.5.1-1ubuntu8) over (1:4.1.5.1-1ubuntu6) ... Setting up passwd (1:4.1.5.1-1ubuntu8) ... (Reading database ... 11902 files and directories currently installed.) Preparing to unpack .../libuuid1_2.20.1-5.1ubuntu14_arm64.deb ... Unpacking libuuid1:arm64 (2.20.1-5.1ubuntu14) over (2.20.1-5.1ubuntu11) ... Setting up libuuid1:arm64 (2.20.1-5.1ubuntu14) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11902 files and directories currently installed.) Preparing to unpack .../libblkid1_2.20.1-5.1ubuntu14_arm64.deb ... Unpacking libblkid1:arm64 (2.20.1-5.1ubuntu14) over (2.20.1-5.1ubuntu11) ... Setting up libblkid1:arm64 (2.20.1-5.1ubuntu14) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11902 files and directories currently installed.) Preparing to unpack .../util-linux_2.20.1-5.1ubuntu14_arm64.deb ... Unpacking util-linux (2.20.1-5.1ubuntu14) over (2.20.1-5.1ubuntu11) ... Setting up util-linux (2.20.1-5.1ubuntu14) ... Installing new version of config file /etc/cron.weekly/fstrim ... Selecting previously unselected package libprocps3:arm64. (Reading database ... 11902 files and directories currently installed.) Preparing to unpack .../libprocps3_1%3a3.3.9-1ubuntu2_arm64.deb ... Unpacking libprocps3:arm64 (1:3.3.9-1ubuntu2) ... Preparing to unpack .../libncursesw5_5.9+20131221-1ubuntu1_arm64.deb ... Unpacking libncursesw5:arm64 (5.9+20131221-1ubuntu1) over (5.9+20130608-1ubuntu1) ... Preparing to unpack .../libtinfo5_5.9+20131221-1ubuntu1_arm64.deb ... Unpacking libtinfo5:arm64 (5.9+20131221-1ubuntu1) over (5.9+20130608-1ubuntu1) ... Setting up libtinfo5:arm64 (5.9+20131221-1ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11908 files and directories currently installed.) Preparing to unpack .../libncurses5_5.9+20131221-1ubuntu1_arm64.deb ... Unpacking libncurses5:arm64 (5.9+20131221-1ubuntu1) over (5.9+20130608-1ubuntu1) ... Setting up libncurses5:arm64 (5.9+20131221-1ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11908 files and directories currently installed.) Preparing to unpack .../procps_1%3a3.3.9-1ubuntu2_arm64.deb ... invoke-rc.d: policy-rc.d denied execution of stop. Unpacking procps (1:3.3.9-1ubuntu2) over (1:3.3.8-2ubuntu3) ... Preparing to unpack .../udev_204-5ubuntu11_arm64.deb ... Adding 'diversion of /bin/udevadm to /bin/udevadm.upgrade by fake-udev' Unpacking udev (204-5ubuntu11) over (204-5ubuntu6) ... Preparing to unpack .../libudev1_204-5ubuntu11_arm64.deb ... Unpacking libudev1:arm64 (204-5ubuntu11) over (204-5ubuntu6) ... Preparing to unpack .../ifupdown_0.7.47.2ubuntu1_arm64.deb ... Unpacking ifupdown (0.7.47.2ubuntu1) over (0.7.47.1ubuntu1) ... Preparing to unpack .../upstart_1.11-0ubuntu3_arm64.deb ... Unpacking upstart (1.11-0ubuntu3) over (1.11-0ubuntu1) ... Preparing to unpack .../libc6-dev_2.18-0ubuntu6_arm64.deb ... Unpacking libc6-dev:arm64 (2.18-0ubuntu6) over (2.18-0ubuntu2) ... Preparing to unpack .../libc-dev-bin_2.18-0ubuntu6_arm64.deb ... Unpacking libc-dev-bin (2.18-0ubuntu6) over (2.18-0ubuntu2) ... Preparing to unpack .../linux-libc-dev_3.13.0-8.28_arm64.deb ... Unpacking linux-libc-dev:arm64 (3.13.0-8.28) over (3.12.0-7.15) ... Preparing to unpack .../libgomp1_4.8.2-15ubuntu3_arm64.deb ... Unpacking libgomp1:arm64 (4.8.2-15ubuntu3) over (4.8.2-10ubuntu2) ... Preparing to unpack .../libatomic1_4.8.2-15ubuntu3_arm64.deb ... Unpacking libatomic1:arm64 (4.8.2-15ubuntu3) over (4.8.2-10ubuntu2) ... Preparing to unpack .../cpp-4.8_4.8.2-15ubuntu3_arm64.deb ... Unpacking cpp-4.8 (4.8.2-15ubuntu3) over (4.8.2-10ubuntu2) ... Preparing to unpack .../libstdc++-4.8-dev_4.8.2-15ubuntu3_arm64.deb ... Unpacking libstdc++-4.8-dev:arm64 (4.8.2-15ubuntu3) over (4.8.2-10ubuntu2) ... Preparing to unpack .../g++-4.8_4.8.2-15ubuntu3_arm64.deb ... Unpacking g++-4.8 (4.8.2-15ubuntu3) over (4.8.2-10ubuntu2) ... Preparing to unpack .../gcc-4.8_4.8.2-15ubuntu3_arm64.deb ... Unpacking gcc-4.8 (4.8.2-15ubuntu3) over (4.8.2-10ubuntu2) ... Preparing to unpack .../libgcc-4.8-dev_4.8.2-15ubuntu3_arm64.deb ... Unpacking libgcc-4.8-dev:arm64 (4.8.2-15ubuntu3) over (4.8.2-10ubuntu2) ... Preparing to unpack .../libstdc++6_4.8.2-15ubuntu3_arm64.deb ... Unpacking libstdc++6:arm64 (4.8.2-15ubuntu3) over (4.8.2-10ubuntu2) ... Setting up libstdc++6:arm64 (4.8.2-15ubuntu3) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11925 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a5.1.3+dfsg-1ubuntu1_arm64.deb ... Unpacking libgmp10:arm64 (2:5.1.3+dfsg-1ubuntu1) over (2:5.1.2+dfsg-3ubuntu3) ... Preparing to unpack .../binutils_2.24-2ubuntu3_arm64.deb ... Unpacking binutils (2.24-2ubuntu3) over (2.24-2ubuntu2) ... Preparing to unpack .../e2fslibs_1.42.9-2ubuntu1_arm64.deb ... Unpacking e2fslibs:arm64 (1.42.9-2ubuntu1) over (1.42.8-1ubuntu3) ... Setting up e2fslibs:arm64 (1.42.9-2ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11925 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.42.9-2ubuntu1_arm64.deb ... Unpacking e2fsprogs (1.42.9-2ubuntu1) over (1.42.8-1ubuntu3) ... Setting up e2fsprogs (1.42.9-2ubuntu1) ... (Reading database ... 11928 files and directories currently installed.) Preparing to unpack .../findutils_4.4.2-7_arm64.deb ... Unpacking findutils (4.4.2-7) over (4.4.2-6ubuntu2) ... Setting up findutils (4.4.2-7) ... (Reading database ... 11928 files and directories currently installed.) Preparing to unpack .../archives/grep_2.16-1_arm64.deb ... Unpacking grep (2.16-1) over (2.15-2) ... Setting up grep (2.16-1) ... (Reading database ... 11928 files and directories currently installed.) Preparing to unpack .../gzip_1.6-3ubuntu1_arm64.deb ... Unpacking gzip (1.6-3ubuntu1) over (1.6-2ubuntu1) ... Setting up gzip (1.6-3ubuntu1) ... (Reading database ... 11928 files and directories currently installed.) Preparing to unpack .../login_1%3a4.1.5.1-1ubuntu8_arm64.deb ... Unpacking login (1:4.1.5.1-1ubuntu8) over (1:4.1.5.1-1ubuntu6) ... Setting up login (1:4.1.5.1-1ubuntu8) ... (Reading database ... 11926 files and directories currently installed.) Preparing to unpack .../mount_2.20.1-5.1ubuntu14_arm64.deb ... Unpacking mount (2.20.1-5.1ubuntu14) over (2.20.1-5.1ubuntu11) ... Setting up mount (2.20.1-5.1ubuntu14) ... (Reading database ... 11926 files and directories currently installed.) Preparing to unpack .../ncurses-bin_5.9+20131221-1ubuntu1_arm64.deb ... Unpacking ncurses-bin (5.9+20131221-1ubuntu1) over (5.9+20130608-1ubuntu1) ... Setting up ncurses-bin (5.9+20131221-1ubuntu1) ... (Reading database ... 11926 files and directories currently installed.) Preparing to unpack .../perl_5.18.2-2_arm64.deb ... Unpacking perl (5.18.2-2) over (5.18.1-5) ... Preparing to unpack .../perl-base_5.18.2-2_arm64.deb ... Unpacking perl-base (5.18.2-2) over (5.18.1-5) ... Setting up perl-base (5.18.2-2) ... (Reading database ... 11931 files and directories currently installed.) Preparing to unpack .../perl-modules_5.18.2-2_all.deb ... Unpacking perl-modules (5.18.2-2) over (5.18.1-5) ... Preparing to unpack .../sed_4.2.2-4ubuntu1_arm64.deb ... Unpacking sed (4.2.2-4ubuntu1) over (4.2.2-2ubuntu2) ... Setting up sed (4.2.2-4ubuntu1) ... (Reading database ... 11925 files and directories currently installed.) Preparing to unpack .../tar_1.27.1-1_arm64.deb ... Unpacking tar (1.27.1-1) over (1.27-4) ... Setting up tar (1.27.1-1) ... (Reading database ... 11925 files and directories currently installed.) Preparing to unpack .../libapt-pkg4.12_0.9.15.2ubuntu1_arm64.deb ... Unpacking libapt-pkg4.12:arm64 (0.9.15.2ubuntu1) over (0.9.14.1ubuntu1) ... Setting up libapt-pkg4.12:arm64 (0.9.15.2ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11925 files and directories currently installed.) Preparing to unpack .../gpgv_1.4.16-1ubuntu1_arm64.deb ... Unpacking gpgv (1.4.16-1ubuntu1) over (1.4.15-2ubuntu1) ... Setting up gpgv (1.4.16-1ubuntu1) ... (Reading database ... 11925 files and directories currently installed.) Preparing to unpack .../gnupg_1.4.16-1ubuntu1_arm64.deb ... Unpacking gnupg (1.4.16-1ubuntu1) over (1.4.15-2ubuntu1) ... Setting up gnupg (1.4.16-1ubuntu1) ... (Reading database ... 11925 files and directories currently installed.) Preparing to unpack .../apt_0.9.15.2ubuntu1_arm64.deb ... Unpacking apt (0.9.15.2ubuntu1) over (0.9.14.1ubuntu1) ... Setting up apt (0.9.15.2ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... Selecting previously unselected package libdebconfclient0:arm64. (Reading database ... 11926 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.187ubuntu1_arm64.deb ... Unpacking libdebconfclient0:arm64 (0.187ubuntu1) ... Setting up libdebconfclient0:arm64 (0.187ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11931 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.32_arm64.deb ... Unpacking base-passwd (3.5.32) over (3.5.28) ... Setting up base-passwd (3.5.32) ... Changing shell of daemon from /bin/sh to /usr/sbin/nologin Changing shell of bin from /bin/sh to /usr/sbin/nologin Changing shell of sys from /bin/sh to /usr/sbin/nologin Changing shell of games from /bin/sh to /usr/sbin/nologin Changing shell of man from /bin/sh to /usr/sbin/nologin Changing shell of lp from /bin/sh to /usr/sbin/nologin Changing shell of mail from /bin/sh to /usr/sbin/nologin Changing shell of news from /bin/sh to /usr/sbin/nologin Changing shell of uucp from /bin/sh to /usr/sbin/nologin Changing shell of proxy from /bin/sh to /usr/sbin/nologin Changing shell of www-data from /bin/sh to /usr/sbin/nologin Changing shell of backup from /bin/sh to /usr/sbin/nologin Changing shell of list from /bin/sh to /usr/sbin/nologin Changing shell of irc from /bin/sh to /usr/sbin/nologin Changing shell of gnats from /bin/sh to /usr/sbin/nologin Changing shell of nobody from /bin/sh to /usr/sbin/nologin 16 changes have been made, rewriting files Writing passwd-file to /etc/passwd Writing shadow-file to /etc/shadow Writing group-file to /etc/group (Reading database ... 11932 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.20.1-5.1ubuntu14_arm64.deb ... Unpacking bsdutils (1:2.20.1-5.1ubuntu14) over (1:2.20.1-5.1ubuntu11) ... Setting up bsdutils (1:2.20.1-5.1ubuntu14) ... (Reading database ... 11932 files and directories currently installed.) Preparing to unpack .../ncurses-base_5.9+20131221-1ubuntu1_all.deb ... Unpacking ncurses-base (5.9+20131221-1ubuntu1) over (5.9+20130608-1ubuntu1) ... Setting up ncurses-base (5.9+20131221-1ubuntu1) ... (Reading database ... 11932 files and directories currently installed.) Preparing to unpack .../libcomerr2_1.42.9-2ubuntu1_arm64.deb ... Unpacking libcomerr2:arm64 (1.42.9-2ubuntu1) over (1.42.8-1ubuntu3) ... Setting up libcomerr2:arm64 (1.42.9-2ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11932 files and directories currently installed.) Preparing to unpack .../liblzma5_5.1.1alpha+20120614-2ubuntu2_arm64.deb ... Unpacking liblzma5:arm64 (5.1.1alpha+20120614-2ubuntu2) over (5.1.1alpha+20120614-2ubuntu1) ... Setting up liblzma5:arm64 (5.1.1alpha+20120614-2ubuntu2) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11932 files and directories currently installed.) Preparing to unpack .../libmount1_2.20.1-5.1ubuntu14_arm64.deb ... Unpacking libmount1:arm64 (2.20.1-5.1ubuntu14) over (2.20.1-5.1ubuntu11) ... Setting up libmount1:arm64 (2.20.1-5.1ubuntu14) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11932 files and directories currently installed.) Preparing to unpack .../libss2_1.42.9-2ubuntu1_arm64.deb ... Unpacking libss2:arm64 (1.42.9-2ubuntu1) over (1.42.8-1ubuntu3) ... Setting up libss2:arm64 (1.42.9-2ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... (Reading database ... 11932 files and directories currently installed.) Preparing to unpack .../libffi6_3.0.13-12_arm64.deb ... Unpacking libffi6:arm64 (3.0.13-12) over (3.0.13-10build1) ... Preparing to unpack .../libsqlite3-0_3.8.2-1ubuntu2_arm64.deb ... Unpacking libsqlite3-0:arm64 (3.8.2-1ubuntu2) over (3.8.2-1ubuntu1) ... Preparing to unpack .../libdrm2_2.4.52-1_arm64.deb ... Unpacking libdrm2:arm64 (2.4.52-1) over (2.4.50-1) ... Preparing to unpack .../plymouth_0.8.8-0ubuntu14_arm64.deb ... Unpacking plymouth (0.8.8-0ubuntu14) over (0.8.8-0ubuntu13) ... Preparing to unpack .../libpng12-0_1.2.50-1ubuntu1_arm64.deb ... Unpacking libpng12-0:arm64 (1.2.50-1ubuntu1) over (1.2.49-5ubuntu1) ... Preparing to unpack .../libplymouth2_0.8.8-0ubuntu14_arm64.deb ... Unpacking libplymouth2:arm64 (0.8.8-0ubuntu14) over (0.8.8-0ubuntu13) ... Preparing to unpack .../libk5crypto3_1.12+dfsg-2ubuntu1_arm64.deb ... Unpacking libk5crypto3:arm64 (1.12+dfsg-2ubuntu1) over (1.11.3+dfsg-3ubuntu2) ... Preparing to unpack .../libgssapi-krb5-2_1.12+dfsg-2ubuntu1_arm64.deb ... Unpacking libgssapi-krb5-2:arm64 (1.12+dfsg-2ubuntu1) over (1.11.3+dfsg-3ubuntu2) ... Preparing to unpack .../libkrb5-3_1.12+dfsg-2ubuntu1_arm64.deb ... Unpacking libkrb5-3:arm64 (1.12+dfsg-2ubuntu1) over (1.11.3+dfsg-3ubuntu2) ... Preparing to unpack .../libkrb5support0_1.12+dfsg-2ubuntu1_arm64.deb ... Unpacking libkrb5support0:arm64 (1.12+dfsg-2ubuntu1) over (1.11.3+dfsg-3ubuntu2) ... Preparing to unpack .../libcurl3-gnutls_7.35.0-1ubuntu1_arm64.deb ... Unpacking libcurl3-gnutls:arm64 (7.35.0-1ubuntu1) over (7.34.0-1ubuntu1) ... Preparing to unpack .../libpam-runtime_1.1.8-1ubuntu2_all.deb ... Unpacking libpam-runtime (1.1.8-1ubuntu2) over (1.1.3-10ubuntu1) ... Setting up libpam-runtime (1.1.8-1ubuntu2) ... (Reading database ... 11933 files and directories currently installed.) Preparing to unpack .../multiarch-support_2.18-0ubuntu6_arm64.deb ... Unpacking multiarch-support (2.18-0ubuntu6) over (2.18-0ubuntu2) ... Setting up multiarch-support (2.18-0ubuntu6) ... (Reading database ... 11933 files and directories currently installed.) Preparing to unpack .../apt-transport-https_0.9.15.2ubuntu1_arm64.deb ... Unpacking apt-transport-https (0.9.15.2ubuntu1) over (0.9.14.1ubuntu1) ... Preparing to unpack .../cpp_4%3a4.8.2-1ubuntu3_arm64.deb ... Unpacking cpp (4:4.8.2-1ubuntu3) over (4:4.8.2-1ubuntu2) ... Preparing to unpack .../dpkg-dev_1.17.5ubuntu4_all.deb ... Unpacking dpkg-dev (1.17.5ubuntu4) over (1.17.1ubuntu1) ... Preparing to unpack .../libdpkg-perl_1.17.5ubuntu4_all.deb ... Unpacking libdpkg-perl (1.17.5ubuntu4) over (1.17.1ubuntu1) ... Preparing to unpack .../xz-utils_5.1.1alpha+20120614-2ubuntu2_arm64.deb ... Unpacking xz-utils (5.1.1alpha+20120614-2ubuntu2) over (5.1.1alpha+20120614-2ubuntu1) ... Preparing to unpack .../gcc_4%3a4.8.2-1ubuntu3_arm64.deb ... Removing old gcc doc directory. Unpacking gcc (4:4.8.2-1ubuntu3) over (4:4.8.2-1ubuntu2) ... Preparing to unpack .../g++_4%3a4.8.2-1ubuntu3_arm64.deb ... Unpacking g++ (4:4.8.2-1ubuntu3) over (4:4.8.2-1ubuntu2) ... Preparing to unpack .../pkg-create-dbgsym_0.63_all.deb ... Unpacking pkg-create-dbgsym (0.63) over (0.62) ... Preparing to unpack .../pkgbinarymangler_119_all.deb ... Unpacking pkgbinarymangler (119) over (118) ... Setting up libdbus-1-3:arm64 (1.6.18-0ubuntu3) ... Setting up libnih1:arm64 (1.0.3-4ubuntu25) ... Setting up libnih-dbus1:arm64 (1.0.3-4ubuntu25) ... Setting up libprocps3:arm64 (1:3.3.9-1ubuntu2) ... Setting up libncursesw5:arm64 (5.9+20131221-1ubuntu1) ... Setting up procps (1:3.3.9-1ubuntu2) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libudev1:arm64 (204-5ubuntu11) ... Setting up udev (204-5ubuntu11) ... invoke-rc.d: policy-rc.d denied execution of restart. Removing 'diversion of /bin/udevadm to /bin/udevadm.upgrade by fake-udev' update-initramfs: deferring update (trigger activated) Setting up ifupdown (0.7.47.2ubuntu1) ... Setting up upstart (1.11-0ubuntu3) ... Installing new version of config file /etc/init/rc.conf ... Setting up libc-dev-bin (2.18-0ubuntu6) ... Setting up linux-libc-dev:arm64 (3.13.0-8.28) ... Setting up libc6-dev:arm64 (2.18-0ubuntu6) ... Setting up libgomp1:arm64 (4.8.2-15ubuntu3) ... Setting up libatomic1:arm64 (4.8.2-15ubuntu3) ... Setting up libgmp10:arm64 (2:5.1.3+dfsg-1ubuntu1) ... Setting up cpp-4.8 (4.8.2-15ubuntu3) ... Setting up libgcc-4.8-dev:arm64 (4.8.2-15ubuntu3) ... Setting up libstdc++-4.8-dev:arm64 (4.8.2-15ubuntu3) ... Setting up binutils (2.24-2ubuntu3) ... Setting up gcc-4.8 (4.8.2-15ubuntu3) ... Setting up g++-4.8 (4.8.2-15ubuntu3) ... Setting up libffi6:arm64 (3.0.13-12) ... Setting up libsqlite3-0:arm64 (3.8.2-1ubuntu2) ... Setting up libdrm2:arm64 (2.4.52-1) ... Setting up libpng12-0:arm64 (1.2.50-1ubuntu1) ... Setting up libplymouth2:arm64 (0.8.8-0ubuntu14) ... Setting up plymouth (0.8.8-0ubuntu14) ... Installing new version of config file /etc/init/plymouth.conf ... update-initramfs: deferring update (trigger activated) Setting up libkrb5support0:arm64 (1.12+dfsg-2ubuntu1) ... Setting up libk5crypto3:arm64 (1.12+dfsg-2ubuntu1) ... Setting up libkrb5-3:arm64 (1.12+dfsg-2ubuntu1) ... Setting up libgssapi-krb5-2:arm64 (1.12+dfsg-2ubuntu1) ... Setting up libcurl3-gnutls:arm64 (7.35.0-1ubuntu1) ... Setting up apt-transport-https (0.9.15.2ubuntu1) ... Setting up cpp (4:4.8.2-1ubuntu3) ... Setting up xz-utils (5.1.1alpha+20120614-2ubuntu2) ... Setting up gcc (4:4.8.2-1ubuntu3) ... Setting up g++ (4:4.8.2-1ubuntu3) ... Setting up pkg-create-dbgsym (0.63) ... Setting up pkgbinarymangler (119) ... Setting up perl-modules (5.18.2-2) ... Setting up perl (5.18.2-2) ... Setting up libdpkg-perl (1.17.5ubuntu4) ... Setting up dpkg-dev (1.17.5ubuntu4) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... Processing triggers for initramfs-tools (0.103ubuntu3) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-5588737', 'arm64', 'trusty-proposed', '--nolog', '--batch', '--archive=ubuntu', '--dist=trusty-proposed', '--purpose=PRIMARY', '--architecture=arm64', '--comp=universe', 'why_2.33-1.dsc'] Initiating build PACKAGEBUILD-5588737 with 8 jobs across 8 processor cores. Kernel reported to sbuild: 3.8.0-2-mustang #12-Ubuntu SMP Thu Jan 9 09:48:54 UTC 2014 aarch64 Automatic build of why_2.33-1 on twombly by sbuild/arm64 1.170.5 Build started at 20140214-1251 ****************************************************************************** why_2.33-1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7.0.50~), autotools-dev, autoconf, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev (>= 2.12.0-3~), coq (>= 8.3~), libfloat-coq, libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20130601+fluorine3+dfsg-2), libapron-ocaml-dev (>= 0.9.10-4~), camlidl Checking for already installed source dependencies... debhelper: missing autotools-dev: missing autoconf: missing dh-ocaml: missing ocaml-nox: missing ocaml-best-compilers: missing camlp4: missing liblablgtk2-ocaml-dev: missing coq: missing libfloat-coq: missing libocamlgraph-ocaml-dev: missing frama-c-base: missing libapron-ocaml-dev: missing camlidl: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper autotools-dev autoconf dh-ocaml ocaml-nox ocaml-best-compilers camlp4 liblablgtk2-ocaml-dev coq libfloat-coq libocamlgraph-ocaml-dev frama-c-base libapron-ocaml-dev camlidl Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libprocps1 Use 'apt-get autoremove' to remove it. The following extra packages will be installed: apparmor-easyprof aspell aspell-en bsdmainutils coq-theories dbus dbus-x11 dh-apparmor dh-python dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core gconf-service gconf-service-backend gconf2 gconf2-common gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 groff-base intltool-debian libapparmor1 libapron libapron-dev libapron-ocaml libart-2.0-2 libasound2 libasound2-data libaspell15 libasprintf0c2 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libavahi-glib1 libbonobo2-0 libbonobo2-common libbonoboui2-0 libbonoboui2-common libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcanberra0 libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-glib-1-2 libelfg0 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgail18 libgconf-2-4 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgnome-keyring-common libgnome-keyring0 libgnome2-0 libgnome2-bin libgnome2-common libgnomecanvas2-0 libgnomecanvas2-common libgnomeui-0 libgnomeui-common libgnomevfs2-0 libgnomevfs2-common libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.3-0 libice-dev libice6 libicu52 libidl-common libidl0 libjasper1 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-gnome-ocaml liblablgtk2-ocaml liblablgtksourceview2-ocaml libltdl7 liblzo2-2 libmagic1 libmpdec2 libmpfr-dev libncurses5-dev libogg0 liborbit-2-0 liborbit2 libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt0 libppl-c4 libppl0.12-dev libppl12 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.3-minimal libpython3.3-stdlib librsvg2-2 libsigsegv2 libsm-dev libsm6 libssl1.0.0 libsystemd-login0 libtdb1 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml m4 man-db mime-support netbase ocaml-base-nox ocaml-compiler-libs ocaml-interp pkg-config po-debconf psmisc python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.3 python3.3-minimal shared-mime-info sound-theme-freedesktop ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev Suggested packages: aspell-doc spellutils autoconf2.13 autoconf-archive gnu-standards autoconf-doc libtool wamerican wordlist whois vacation camlidl-doc proofgeneral ledit readline-editor libcoq-ocaml-dev why coq-doc dh-make git jed-extra gconf-defaults-service gettext-doc groff libasound2-plugins alsa-utils libbonobo2-bin libcairo2-doc libcanberra-gtk0 libcanberra-pulse cups-common libenchant-voikko glade glade-gnome libglib2.0-doc libgmp10-doc gnome-keyring desktop-base gnome-icon-theme libgnomevfs2-bin libgnomevfs2-extra gamin fam gnome-mime-data librsvg2-common libgtk2.0-doc libice-doc libjasper-runtime liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocaml-dev libmpfr-doc ncurses-doc ttf-baekmuk ttf-arphic-gbsn00lp ttf-arphic-bsmi00lp ttf-arphic-gkai00mp ttf-arphic-bkai00mp libpango1.0-doc imagemagick libppl-doc librsvg2-bin libsm-doc libxcb-doc libxext-doc less www-browser tuareg-mode ocaml-mode libmail-box-perl python-doc python-tk python2.7-doc binfmt-support python3-doc python3-tk python3.3-doc Recommended packages: automake automaken libpam-systemd alt-ergo libwhy-coq curl wget lynx-cur libasprintf-dev libgettextpo-dev enchant gvfs hicolor-icon-theme libgtk2.0-bin hunspell-en-us hunspell-dictionary myspell-dictionary liblablgtk2-ocaml-doc ocaml-findlib libx11-doc xml-core libmail-sendmail-perl The following NEW packages will be installed: apparmor-easyprof aspell aspell-en autoconf autotools-dev bsdmainutils camlidl camlp4 coq coq-theories dbus dbus-x11 debhelper dh-apparmor dh-ocaml dh-python dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core frama-c-base gconf-service gconf-service-backend gconf2 gconf2-common gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 groff-base intltool-debian libapparmor1 libapron libapron-dev libapron-ocaml libapron-ocaml-dev libart-2.0-2 libasound2 libasound2-data libaspell15 libasprintf0c2 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libavahi-glib1 libbonobo2-0 libbonobo2-common libbonoboui2-0 libbonoboui2-common libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcanberra0 libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-glib-1-2 libelfg0 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfloat-coq libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgail18 libgconf-2-4 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgnome-keyring-common libgnome-keyring0 libgnome2-0 libgnome2-bin libgnome2-common libgnomecanvas2-0 libgnomecanvas2-common libgnomeui-0 libgnomeui-common libgnomevfs2-0 libgnomevfs2-common libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.3-0 libice-dev libice6 libicu52 libidl-common libidl0 libjasper1 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-gnome-ocaml liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml libltdl7 liblzo2-2 libmagic1 libmpdec2 libmpfr-dev libncurses5-dev libocamlgraph-ocaml-dev libogg0 liborbit-2-0 liborbit2 libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt0 libppl-c4 libppl0.12-dev libppl12 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.3-minimal libpython3.3-stdlib librsvg2-2 libsigsegv2 libsm-dev libsm6 libssl1.0.0 libsystemd-login0 libtdb1 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml m4 man-db mime-support netbase ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox pkg-config po-debconf psmisc python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.3 python3.3-minimal shared-mime-info sound-theme-freedesktop ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev 0 upgraded, 250 newly installed, 0 to remove and 0 not upgraded. Need to get 117 MB of archives. After this operation, 621 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main libexpat1 arm64 2.1.0-4ubuntu1 [56.6 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main libmagic1 arm64 1:5.14-2ubuntu1 [176 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty/main libpopt0 arm64 1.16-8ubuntu1 [21.6 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty/main libssl1.0.0 arm64 1.0.1f-1ubuntu1 [647 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.3-minimal arm64 3.3.4-1 [390 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty/main mime-support all 3.54ubuntu1 [31.7 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main libmpdec2 arm64 2.4.0-6 [69.4 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.3-stdlib arm64 3.3.4-1 [1885 kB] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main python3.3-minimal arm64 3.3.4-1 [1057 kB] Get:10 http://ftpmaster.internal/ubuntu/ trusty/main libasprintf0c2 arm64 0.18.3.1-1ubuntu2 [6604 B] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-0 arm64 2.39.4-0ubuntu1 [854 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty/main libdbus-glib-1-2 arm64 0.100.2-1 [64.6 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty/main libpipeline1 arm64 1.2.6-2 [20.6 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty/main libsystemd-login0 arm64 204-5ubuntu11 [22.6 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main libxau6 arm64 1:1.0.8-1 [7590 B] Get:16 http://ftpmaster.internal/ubuntu/ trusty/main libxdmcp6 arm64 1:1.1.1-1 [11.7 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty/main libxcb1 arm64 1.10-2ubuntu1 [30.7 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty/main libx11-data all 2:1.6.2-1ubuntu2 [111 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty/main libx11-6 arm64 2:1.6.2-1ubuntu2 [500 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty/main libxext6 arm64 2:1.3.2-1 [28.8 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty/main libxml2 arm64 2.9.1+dfsg1-3ubuntu3 [458 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty/main groff-base arm64 1.22.2-5 [1044 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty/main bsdmainutils arm64 9.0.5ubuntu1 [199 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty/main man-db arm64 2.6.6-1 [827 kB] Get:25 http://ftpmaster.internal/ubuntu/ trusty/main libart-2.0-2 arm64 2.3.21-2 [40.5 kB] Get:26 http://ftpmaster.internal/ubuntu/ trusty/main libasound2-data all 1.0.27.2-3ubuntu2 [26.1 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty/main libasound2 arm64 1.0.27.2-3ubuntu2 [253 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-data all 2.10.0-2ubuntu2 [13.7 kB] Get:29 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-0 arm64 2.10.0-2ubuntu2 [43.5 kB] Get:30 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common-data arm64 0.6.31-4ubuntu1 [21.3 kB] Get:31 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common3 arm64 0.6.31-4ubuntu1 [18.0 kB] Get:32 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-client3 arm64 0.6.31-4ubuntu1 [20.9 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-glib1 arm64 0.6.31-4ubuntu1 [6954 B] Get:34 http://ftpmaster.internal/ubuntu/ trusty/main libbonobo2-common all 2.32.1-0ubuntu5 [34.2 kB] Get:35 http://ftpmaster.internal/ubuntu/ trusty/main libidl-common all 0.8.14-0.2ubuntu4 [8196 B] Get:36 http://ftpmaster.internal/ubuntu/ trusty/main libidl0 arm64 0.8.14-0.2ubuntu4 [56.3 kB] Get:37 http://ftpmaster.internal/ubuntu/ trusty/main liborbit-2-0 arm64 1:2.14.19-0.3 [112 kB] Get:38 http://ftpmaster.internal/ubuntu/ trusty/main liborbit2 arm64 1:2.14.19-0.3 [12.5 kB] Get:39 http://ftpmaster.internal/ubuntu/ trusty/main libbonobo2-0 arm64 2.32.1-0ubuntu5 [179 kB] Get:40 http://ftpmaster.internal/ubuntu/ trusty/main ucf all 3.0027+nmu1 [56.3 kB] Get:41 http://ftpmaster.internal/ubuntu/ trusty/main gconf2-common all 3.2.6-0ubuntu1 [20.7 kB] Get:42 http://ftpmaster.internal/ubuntu/ trusty/main libgconf-2-4 arm64 3.2.6-0ubuntu1 [66.2 kB] Get:43 http://ftpmaster.internal/ubuntu/ trusty/main gconf-service-backend arm64 3.2.6-0ubuntu1 [46.6 kB] Get:44 http://ftpmaster.internal/ubuntu/ trusty/main gconf-service arm64 3.2.6-0ubuntu1 [2048 B] Get:45 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg-turbo8 arm64 1.3.0-0ubuntu2 [80.2 kB] Get:46 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg8 arm64 8c-2ubuntu8 [2198 B] Get:47 http://ftpmaster.internal/ubuntu/ trusty/main libjasper1 arm64 1.900.1-14ubuntu3 [106 kB] Get:48 http://ftpmaster.internal/ubuntu/ trusty/main libjbig0 arm64 2.0-2ubuntu4 [22.7 kB] Get:49 http://ftpmaster.internal/ubuntu/ trusty/main libtiff5 arm64 4.0.3-7 [119 kB] Get:50 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-common all 2.30.4-0ubuntu1 [8576 B] Get:51 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-0 arm64 2.30.4-0ubuntu1 [135 kB] Get:52 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-common all 2.24.22-1ubuntu2 [120 kB] Get:53 http://ftpmaster.internal/ubuntu/ trusty/main fonts-dejavu-core all 2.34-1ubuntu1 [1024 kB] Get:54 http://ftpmaster.internal/ubuntu/ trusty/main fontconfig-config all 2.11.0-0ubuntu4 [47.3 kB] Get:55 http://ftpmaster.internal/ubuntu/ trusty/main libfreetype6 arm64 2.5.2-1ubuntu1 [255 kB] Get:56 http://ftpmaster.internal/ubuntu/ trusty/main libfontconfig1 arm64 2.11.0-0ubuntu4 [107 kB] Get:57 http://ftpmaster.internal/ubuntu/ trusty/main libpixman-1-0 arm64 0.30.2-2ubuntu1 [113 kB] Get:58 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-render0 arm64 1.10-2ubuntu1 [9448 B] Get:59 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-shm0 arm64 1.10-2ubuntu1 [5106 B] Get:60 http://ftpmaster.internal/ubuntu/ trusty/main libxrender1 arm64 1:0.9.8-1 [18.2 kB] Get:61 http://ftpmaster.internal/ubuntu/ trusty/main libcairo2 arm64 1.12.16-0ubuntu2 [545 kB] Get:62 http://ftpmaster.internal/ubuntu/ trusty/main libcups2 arm64 1.7.1-4 [151 kB] Get:63 http://ftpmaster.internal/ubuntu/ trusty/main libthai-data all 0.1.20-3 [130 kB] Get:64 http://ftpmaster.internal/ubuntu/ trusty/main libdatrie1 arm64 0.2.8-1 [13.8 kB] Get:65 http://ftpmaster.internal/ubuntu/ trusty/main libthai0 arm64 0.1.20-3 [14.5 kB] Get:66 http://ftpmaster.internal/ubuntu/ trusty/main fontconfig arm64 2.11.0-0ubuntu4 [176 kB] Get:67 http://ftpmaster.internal/ubuntu/ trusty/main libpango-1.0-0 arm64 1.36.1-0ubuntu1 [130 kB] Get:68 http://ftpmaster.internal/ubuntu/ trusty/main libgraphite2-3 arm64 1.2.4-1ubuntu1 [44.4 kB] Get:69 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz0b arm64 0.9.26-4 [104 kB] Get:70 http://ftpmaster.internal/ubuntu/ trusty/main libpangoft2-1.0-0 arm64 1.36.1-0ubuntu1 [26.1 kB] Get:71 http://ftpmaster.internal/ubuntu/ trusty/main libpangocairo-1.0-0 arm64 1.36.1-0ubuntu1 [15.9 kB] Get:72 http://ftpmaster.internal/ubuntu/ trusty/main libxcomposite1 arm64 1:0.4.4-1 [7306 B] Get:73 http://ftpmaster.internal/ubuntu/ trusty/main libxfixes3 arm64 1:5.0.1-1ubuntu1 [10.5 kB] Get:74 http://ftpmaster.internal/ubuntu/ trusty/main libxcursor1 arm64 1:1.1.14-1 [19.9 kB] Get:75 http://ftpmaster.internal/ubuntu/ trusty/main libxdamage1 arm64 1:1.1.4-1ubuntu1 [7206 B] Get:76 http://ftpmaster.internal/ubuntu/ trusty/main libxi6 arm64 2:1.7.1.901-1ubuntu1 [29.6 kB] Get:77 http://ftpmaster.internal/ubuntu/ trusty/main libxinerama1 arm64 2:1.1.3-1 [7438 B] Get:78 http://ftpmaster.internal/ubuntu/ trusty/main libxrandr2 arm64 2:1.4.2-1 [14.3 kB] Get:79 http://ftpmaster.internal/ubuntu/ trusty/main shared-mime-info arm64 1.2-0ubuntu1 [411 kB] Get:80 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-0 arm64 2.24.22-1ubuntu2 [1382 kB] Get:81 http://ftpmaster.internal/ubuntu/ trusty/main libglade2-0 arm64 1:2.6.4-2 [38.7 kB] Get:82 http://ftpmaster.internal/ubuntu/ trusty/main libltdl7 arm64 2.4.2-1.7ubuntu1 [32.0 kB] Get:83 http://ftpmaster.internal/ubuntu/ trusty/main libtdb1 arm64 1.2.12-1 [33.2 kB] Get:84 http://ftpmaster.internal/ubuntu/ trusty/main libogg0 arm64 1.3.1-1ubuntu1 [14.7 kB] Get:85 http://ftpmaster.internal/ubuntu/ trusty/main libvorbis0a arm64 1.3.2-1.3ubuntu1 [75.3 kB] Get:86 http://ftpmaster.internal/ubuntu/ trusty/main libvorbisfile3 arm64 1.3.2-1.3ubuntu1 [13.1 kB] Get:87 http://ftpmaster.internal/ubuntu/ trusty/main sound-theme-freedesktop all 0.8-1 [385 kB] Get:88 http://ftpmaster.internal/ubuntu/ trusty/main libcanberra0 arm64 0.30-0ubuntu2 [30.1 kB] Get:89 http://ftpmaster.internal/ubuntu/ trusty/main libapparmor1 arm64 2.8.0-0ubuntu38 [34.5 kB] Get:90 http://ftpmaster.internal/ubuntu/ trusty/main netbase all 5.2 [12.9 kB] Get:91 http://ftpmaster.internal/ubuntu/ trusty/main dbus arm64 1.6.18-0ubuntu3 [179 kB] Get:92 http://ftpmaster.internal/ubuntu/ trusty/main psmisc arm64 22.20-1ubuntu2 [50.1 kB] Get:93 http://ftpmaster.internal/ubuntu/ trusty/main dbus-x11 arm64 1.6.18-0ubuntu3 [18.4 kB] Get:94 http://ftpmaster.internal/ubuntu/ trusty/main libpython2.7-minimal arm64 2.7.6-5 [307 kB] Get:95 http://ftpmaster.internal/ubuntu/ trusty/main python2.7-minimal arm64 2.7.6-5 [880 kB] Get:96 http://ftpmaster.internal/ubuntu/ trusty/main libpython2.7-stdlib arm64 2.7.6-5 [1734 kB] Get:97 http://ftpmaster.internal/ubuntu/ trusty/main python2.7 arm64 2.7.6-5 [193 kB] Get:98 http://ftpmaster.internal/ubuntu/ trusty/main python-minimal arm64 2.7.5-5ubuntu3 [27.5 kB] Get:99 http://ftpmaster.internal/ubuntu/ trusty/main libpython-stdlib arm64 2.7.5-5ubuntu3 [6988 B] Get:100 http://ftpmaster.internal/ubuntu/ trusty/main python arm64 2.7.5-5ubuntu3 [133 kB] Get:101 http://ftpmaster.internal/ubuntu/ trusty/main gconf2 arm64 3.2.6-0ubuntu1 [62.8 kB] Get:102 http://ftpmaster.internal/ubuntu/ trusty/main libgnomevfs2-common arm64 1:2.24.4-1ubuntu6 [22.7 kB] Get:103 http://ftpmaster.internal/ubuntu/ trusty/main libgnomevfs2-0 arm64 1:2.24.4-1ubuntu6 [163 kB] Get:104 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-common all 2.32.1-4ubuntu1 [33.3 kB] Get:105 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-bin arm64 2.32.1-4ubuntu1 [15.0 kB] Get:106 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-0 arm64 2.32.1-4ubuntu1 [35.3 kB] Get:107 http://ftpmaster.internal/ubuntu/ trusty/main libgail18 arm64 2.24.22-1ubuntu2 [12.5 kB] Get:108 http://ftpmaster.internal/ubuntu/ trusty/main libgnomecanvas2-common all 2.30.3-2 [9080 B] Get:109 http://ftpmaster.internal/ubuntu/ trusty/main libgnomecanvas2-0 arm64 2.30.3-2 [66.0 kB] Get:110 http://ftpmaster.internal/ubuntu/ trusty/main libbonoboui2-common all 2.24.5-0ubuntu3 [11.4 kB] Get:111 http://ftpmaster.internal/ubuntu/ trusty/main libbonoboui2-0 arm64 2.24.5-0ubuntu3 [117 kB] Get:112 http://ftpmaster.internal/ubuntu/ trusty/main libcairo-gobject2 arm64 1.12.16-0ubuntu2 [19.1 kB] Get:113 http://ftpmaster.internal/ubuntu/ trusty/main liblzo2-2 arm64 2.06-1.2ubuntu1 [37.6 kB] Get:114 http://ftpmaster.internal/ubuntu/ trusty/main libcairo-script-interpreter2 arm64 1.12.16-0ubuntu2 [53.6 kB] Get:115 http://ftpmaster.internal/ubuntu/ trusty/main libcroco3 arm64 0.6.8-2ubuntu1 [65.1 kB] Get:116 http://ftpmaster.internal/ubuntu/ trusty/main libelfg0 arm64 0.8.13-5 [31.0 kB] Get:117 http://ftpmaster.internal/ubuntu/ trusty/main libaspell15 arm64 0.60.7~20110707-1ubuntu1 [272 kB] Get:118 http://ftpmaster.internal/ubuntu/ trusty/main libtext-iconv-perl arm64 1.7-5build2 [14.8 kB] Get:119 http://ftpmaster.internal/ubuntu/ trusty/main dictionaries-common all 1.20.5 [232 kB] Get:120 http://ftpmaster.internal/ubuntu/ trusty/main aspell arm64 0.60.7~20110707-1ubuntu1 [70.8 kB] Get:121 http://ftpmaster.internal/ubuntu/ trusty/main aspell-en all 7.1-0-1 [267 kB] Get:122 http://ftpmaster.internal/ubuntu/ trusty/main libhunspell-1.3-0 arm64 1.3.2-6ubuntu2 [98.2 kB] Get:123 http://ftpmaster.internal/ubuntu/ trusty/main libenchant1c2a arm64 1.6.0-10ubuntu1 [56.0 kB] Get:124 http://ftpmaster.internal/ubuntu/ trusty/main libgmpxx4ldbl arm64 2:5.1.3+dfsg-1ubuntu1 [8736 B] Get:125 http://ftpmaster.internal/ubuntu/ trusty/main libgnome-keyring-common all 3.8.0-2 [5536 B] Get:126 http://ftpmaster.internal/ubuntu/ trusty/main libgnome-keyring0 arm64 3.8.0-2 [44.0 kB] Get:127 http://ftpmaster.internal/ubuntu/ trusty/main x11-common all 1:7.7+1ubuntu8 [49.8 kB] Get:128 http://ftpmaster.internal/ubuntu/ trusty/main libice6 arm64 2:1.0.8-2 [40.0 kB] Get:129 http://ftpmaster.internal/ubuntu/ trusty/main libsm6 arm64 2:1.2.1-2 [15.9 kB] Get:130 http://ftpmaster.internal/ubuntu/ trusty/main libgnomeui-common all 2.24.5-3 [16.5 kB] Get:131 http://ftpmaster.internal/ubuntu/ trusty/main libgnomeui-0 arm64 2.24.5-3 [162 kB] Get:132 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-gobject0 arm64 0.9.26-4 [9274 B] Get:133 http://ftpmaster.internal/ubuntu/ trusty/main libicu52 arm64 52.1-3 [6597 kB] Get:134 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-icu0 arm64 0.9.26-4 [4774 B] Get:135 http://ftpmaster.internal/ubuntu/ trusty/main libxft2 arm64 2.3.1-2 [30.1 kB] Get:136 http://ftpmaster.internal/ubuntu/ trusty/main libpangoxft-1.0-0 arm64 1.36.1-0ubuntu1 [12.1 kB] Get:137 http://ftpmaster.internal/ubuntu/ trusty/main libpcrecpp0 arm64 1:8.31-2ubuntu2 [13.8 kB] Get:138 http://ftpmaster.internal/ubuntu/ trusty/main libppl12 arm64 1:1.0-7ubuntu2 [396 kB] Get:139 http://ftpmaster.internal/ubuntu/ trusty/main libppl-c4 arm64 1:1.0-7ubuntu2 [823 kB] Get:140 http://ftpmaster.internal/ubuntu/ trusty/main librsvg2-2 arm64 2.40.1-0ubuntu1 [71.0 kB] Get:141 http://ftpmaster.internal/ubuntu/ trusty/main libsigsegv2 arm64 2.10-2 [14.0 kB] Get:142 http://ftpmaster.internal/ubuntu/ trusty/main libunistring0 arm64 0.9.3-5ubuntu3 [255 kB] Get:143 http://ftpmaster.internal/ubuntu/ trusty/main python3.3 arm64 3.3.4-1 [133 kB] Get:144 http://ftpmaster.internal/ubuntu/ trusty-proposed/main python3-minimal arm64 3.3.3-1 [23.5 kB] Get:145 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libpython3-stdlib arm64 3.3.3-1 [7114 B] Get:146 http://ftpmaster.internal/ubuntu/ trusty-proposed/main python3 arm64 3.3.3-1 [8660 B] Get:147 http://ftpmaster.internal/ubuntu/ trusty/main dh-python all 1.20140128-1ubuntu2 [51.0 kB] Get:148 http://ftpmaster.internal/ubuntu/ trusty/main file arm64 1:5.14-2ubuntu1 [18.7 kB] Get:149 http://ftpmaster.internal/ubuntu/ trusty/main gettext-base arm64 0.18.3.1-1ubuntu2 [45.7 kB] Get:150 http://ftpmaster.internal/ubuntu/ trusty/main libgirepository-1.0-1 arm64 1.39.3-0ubuntu2 [69.1 kB] Get:151 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-glib-2.0 arm64 1.39.3-0ubuntu2 [123 kB] Get:152 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-data all 2.39.4-0ubuntu1 [114 kB] Get:153 http://ftpmaster.internal/ubuntu/ trusty/main m4 arm64 1.4.17-2ubuntu1 [182 kB] Get:154 http://ftpmaster.internal/ubuntu/ trusty/main autoconf all 2.69-2 [573 kB] Get:155 http://ftpmaster.internal/ubuntu/ trusty/main autotools-dev all 20130810.1 [44.3 kB] Get:156 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-base-nox arm64 4.01.0-3ubuntu3 [332 kB] Get:157 http://ftpmaster.internal/ubuntu/ trusty/main libtinfo-dev arm64 5.9+20131221-1ubuntu1 [69.3 kB] Get:158 http://ftpmaster.internal/ubuntu/ trusty/main libncurses5-dev arm64 5.9+20131221-1ubuntu1 [158 kB] Get:159 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-compiler-libs arm64 4.01.0-3ubuntu3 [338 kB] Get:160 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-interp arm64 4.01.0-3ubuntu3 [226 kB] Get:161 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-nox arm64 4.01.0-3ubuntu3 [2057 kB] Get:162 http://ftpmaster.internal/ubuntu/ trusty/universe camlidl arm64 1.05-14build1 [89.9 kB] Get:163 http://ftpmaster.internal/ubuntu/ trusty/main camlp4 arm64 4.01.0-3ubuntu3 [6380 kB] Get:164 http://ftpmaster.internal/ubuntu/ trusty/universe coq-theories all 8.4pl3dfsg-1 [32.0 MB] Get:165 http://ftpmaster.internal/ubuntu/ trusty/main emacsen-common all 2.0.7 [17.1 kB] Get:166 http://ftpmaster.internal/ubuntu/ trusty/main libgtkspell0 arm64 2.0.16-1ubuntu7 [9340 B] Get:167 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtk2-ocaml arm64 2.16.0+dfsg-1 [214 kB] Get:168 http://ftpmaster.internal/ubuntu/ trusty/universe libcoq-ocaml arm64 8.4pl3dfsg-1 [330 kB] Get:169 http://ftpmaster.internal/ubuntu/ trusty/universe coq arm64 8.4pl3dfsg-1 [1109 kB] Get:170 http://ftpmaster.internal/ubuntu/ trusty/main gettext arm64 0.18.3.1-1ubuntu2 [769 kB] Get:171 http://ftpmaster.internal/ubuntu/ trusty/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:172 http://ftpmaster.internal/ubuntu/ trusty/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:173 http://ftpmaster.internal/ubuntu/ trusty/main apparmor-easyprof all 2.8.0-0ubuntu38 [20.1 kB] Get:174 http://ftpmaster.internal/ubuntu/ trusty/main dh-apparmor all 2.8.0-0ubuntu38 [7286 B] Get:175 http://ftpmaster.internal/ubuntu/ trusty/main debhelper all 9.20131127ubuntu2 [603 kB] Get:176 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-atk-1.0 arm64 2.10.0-2ubuntu2 [16.3 kB] Get:177 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-freedesktop arm64 1.39.3-0ubuntu2 [5620 B] Get:178 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gdkpixbuf-2.0 arm64 2.30.4-0ubuntu1 [7968 B] Get:179 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-pango-1.0 arm64 1.36.1-0ubuntu1 [18.7 kB] Get:180 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gtk-2.0 arm64 2.24.22-1ubuntu2 [172 kB] Get:181 http://ftpmaster.internal/ubuntu/ trusty/universe libapron arm64 0.9.10-5.2ubuntu6 [368 kB] Get:182 http://ftpmaster.internal/ubuntu/ trusty/main libgmp-dev arm64 2:5.1.3+dfsg-1ubuntu1 [274 kB] Get:183 http://ftpmaster.internal/ubuntu/ trusty/main libgmp3-dev arm64 2:5.1.3+dfsg-1ubuntu1 [1870 B] Get:184 http://ftpmaster.internal/ubuntu/ trusty/main libmpfr-dev arm64 3.1.2-1 [262 kB] Get:185 http://ftpmaster.internal/ubuntu/ trusty/main libppl0.12-dev arm64 1:1.0-7ubuntu2 [1767 kB] Get:186 http://ftpmaster.internal/ubuntu/ trusty/universe libapron-dev all 0.9.10-5.2ubuntu6 [130 kB] Get:187 http://ftpmaster.internal/ubuntu/ trusty/universe libapron-ocaml arm64 0.9.10-5.2ubuntu6 [43.7 kB] Get:188 http://ftpmaster.internal/ubuntu/ trusty/universe libapron-ocaml-dev arm64 0.9.10-5.2ubuntu6 [1033 kB] Get:189 http://ftpmaster.internal/ubuntu/ trusty/main pkg-config arm64 0.26-1ubuntu4 [39.7 kB] Get:190 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-bin arm64 2.39.4-0ubuntu1 [37.1 kB] Get:191 http://ftpmaster.internal/ubuntu/ trusty/main libpcre3-dev arm64 1:8.31-2ubuntu2 [225 kB] Get:192 http://ftpmaster.internal/ubuntu/ trusty/main zlib1g-dev arm64 1:1.2.8.dfsg-1ubuntu1 [179 kB] Get:193 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-dev arm64 2.39.4-0ubuntu1 [1218 kB] Get:194 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-dev arm64 2.10.0-2ubuntu2 [67.7 kB] Get:195 http://ftpmaster.internal/ubuntu/ trusty/main libexpat1-dev arm64 2.1.0-4ubuntu1 [103 kB] Get:196 http://ftpmaster.internal/ubuntu/ trusty/main libpng12-dev arm64 1.2.50-1ubuntu1 [199 kB] Get:197 http://ftpmaster.internal/ubuntu/ trusty/main libfreetype6-dev arm64 2.5.2-1ubuntu1 [577 kB] Get:198 http://ftpmaster.internal/ubuntu/ trusty/main libfontconfig1-dev arm64 2.11.0-0ubuntu4 [651 kB] Get:199 http://ftpmaster.internal/ubuntu/ trusty/main xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:200 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-core-dev all 7.0.24-1 [748 kB] Get:201 http://ftpmaster.internal/ubuntu/ trusty/main libxau-dev arm64 1:1.0.8-1 [9768 B] Get:202 http://ftpmaster.internal/ubuntu/ trusty/main libxdmcp-dev arm64 1:1.1.1-1 [26.2 kB] Get:203 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-input-dev all 2.3-1 [139 kB] Get:204 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-kb-dev all 1.0.6-2 [269 kB] Get:205 http://ftpmaster.internal/ubuntu/ trusty/main xtrans-dev all 1.3.2-1 [69.9 kB] Get:206 http://ftpmaster.internal/ubuntu/ trusty/main libpthread-stubs0-dev arm64 0.3-4 [4078 B] Get:207 http://ftpmaster.internal/ubuntu/ trusty/main libxcb1-dev arm64 1.10-2ubuntu1 [70.8 kB] Get:208 http://ftpmaster.internal/ubuntu/ trusty/main libx11-dev arm64 2:1.6.2-1ubuntu2 [578 kB] Get:209 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-render-dev all 2:0.11.1-2 [20.1 kB] Get:210 http://ftpmaster.internal/ubuntu/ trusty/main libxrender-dev arm64 1:0.9.8-1 [25.6 kB] Get:211 http://ftpmaster.internal/ubuntu/ trusty/main libice-dev arm64 2:1.0.8-2 [52.2 kB] Get:212 http://ftpmaster.internal/ubuntu/ trusty/main libsm-dev arm64 2:1.2.1-2 [17.9 kB] Get:213 http://ftpmaster.internal/ubuntu/ trusty/main libpixman-1-dev arm64 0.30.2-2ubuntu1 [131 kB] Get:214 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-render0-dev arm64 1.10-2ubuntu1 [15.5 kB] Get:215 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-shm0-dev arm64 1.10-2ubuntu1 [6664 B] Get:216 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-xext-dev all 7.3.0-1 [212 kB] Get:217 http://ftpmaster.internal/ubuntu/ trusty/main libxext-dev arm64 2:1.3.2-1 [88.1 kB] Get:218 http://ftpmaster.internal/ubuntu/ trusty/main libcairo2-dev arm64 1.12.16-0ubuntu2 [706 kB] Get:219 http://ftpmaster.internal/ubuntu/ trusty/main libenchant-dev arm64 1.6.0-10ubuntu1 [48.5 kB] Get:220 http://ftpmaster.internal/ubuntu/ trusty/universe libfloat-coq all 1:8.4-3 [11.4 MB] Get:221 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-dev arm64 2.30.4-0ubuntu1 [42.6 kB] Get:222 http://ftpmaster.internal/ubuntu/ trusty/main libxft-dev arm64 2.3.1-2 [40.4 kB] Get:223 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-dev arm64 0.9.26-4 [28.9 kB] Get:224 http://ftpmaster.internal/ubuntu/ trusty/main libpango1.0-dev arm64 1.36.1-0ubuntu1 [261 kB] Get:225 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-xinerama-dev all 1.2.1-2 [4966 B] Get:226 http://ftpmaster.internal/ubuntu/ trusty/main libxinerama-dev arm64 2:1.1.3-1 [8128 B] Get:227 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-fixes-dev all 1:5.0-2ubuntu2 [14.2 kB] Get:228 http://ftpmaster.internal/ubuntu/ trusty/main libxfixes-dev arm64 1:5.0.1-1ubuntu1 [11.6 kB] Get:229 http://ftpmaster.internal/ubuntu/ trusty/main libxi-dev arm64 2:1.7.1.901-1ubuntu1 [204 kB] Get:230 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-randr-dev all 1.4.0+git20120101.is.really.1.4.0-0ubuntu1 [32.9 kB] Get:231 http://ftpmaster.internal/ubuntu/ trusty/main libxrandr-dev arm64 2:1.4.2-1 [20.7 kB] Get:232 http://ftpmaster.internal/ubuntu/ trusty/main libxcursor-dev arm64 1:1.1.14-1 [27.8 kB] Get:233 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-composite-dev all 1:0.4.2-2 [10.5 kB] Get:234 http://ftpmaster.internal/ubuntu/ trusty/main libxcomposite-dev arm64 1:0.4.4-1 [9672 B] Get:235 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-damage-dev all 1:1.2.1-2 [8286 B] Get:236 http://ftpmaster.internal/ubuntu/ trusty/main libxdamage-dev arm64 1:1.1.4-1ubuntu1 [5298 B] Get:237 http://ftpmaster.internal/ubuntu/ trusty/main libxml2-utils arm64 2.9.1+dfsg1-3ubuntu3 [31.7 kB] Get:238 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-dev arm64 2.24.22-1ubuntu2 [2372 kB] Get:239 http://ftpmaster.internal/ubuntu/ trusty/main libxml2-dev arm64 2.9.1+dfsg1-3ubuntu3 [531 kB] Get:240 http://ftpmaster.internal/ubuntu/ trusty/main libglade2-dev arm64 1:2.6.4-2 [70.6 kB] Get:241 http://ftpmaster.internal/ubuntu/ trusty/universe libgtksourceview2.0-common all 2.10.5-1ubuntu2 [434 kB] Get:242 http://ftpmaster.internal/ubuntu/ trusty/universe libgtksourceview2.0-0 arm64 2.10.5-1ubuntu2 [114 kB] Get:243 http://ftpmaster.internal/ubuntu/ trusty/main libgtkspell-dev arm64 2.0.16-1ubuntu7 [22.1 kB] Get:244 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtk2-gnome-ocaml arm64 2.16.0+dfsg-1 [27.9 kB] Get:245 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtk2-ocaml-dev arm64 2.16.0+dfsg-1 [799 kB] Get:246 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtksourceview2-ocaml arm64 2.16.0+dfsg-1 [34.7 kB] Get:247 http://ftpmaster.internal/ubuntu/ trusty/universe libocamlgraph-ocaml-dev arm64 1.8.3-1build1 [859 kB] Get:248 http://ftpmaster.internal/ubuntu/ trusty/universe libzarith-ocaml arm64 1.2.1-2build1 [26.6 kB] Get:249 http://ftpmaster.internal/ubuntu/ trusty/main dh-ocaml all 1.0.8 [80.5 kB] Get:250 http://ftpmaster.internal/ubuntu/ trusty/universe frama-c-base arm64 20130601+fluorine3+dfsg-2build1 [13.0 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 117 MB in 1min 40s (1168 kB/s) Selecting previously unselected package libexpat1:arm64. (Reading database ... 11932 files and directories currently installed.) Preparing to unpack .../libexpat1_2.1.0-4ubuntu1_arm64.deb ... Unpacking libexpat1:arm64 (2.1.0-4ubuntu1) ... Selecting previously unselected package libmagic1:arm64. Preparing to unpack .../libmagic1_1%3a5.14-2ubuntu1_arm64.deb ... Unpacking libmagic1:arm64 (1:5.14-2ubuntu1) ... Selecting previously unselected package libpopt0:arm64. Preparing to unpack .../libpopt0_1.16-8ubuntu1_arm64.deb ... Unpacking libpopt0:arm64 (1.16-8ubuntu1) ... Selecting previously unselected package libssl1.0.0:arm64. Preparing to unpack .../libssl1.0.0_1.0.1f-1ubuntu1_arm64.deb ... Unpacking libssl1.0.0:arm64 (1.0.1f-1ubuntu1) ... Selecting previously unselected package libpython3.3-minimal:arm64. Preparing to unpack .../libpython3.3-minimal_3.3.4-1_arm64.deb ... Unpacking libpython3.3-minimal:arm64 (3.3.4-1) ... Selecting previously unselected package mime-support. Preparing to unpack .../mime-support_3.54ubuntu1_all.deb ... Unpacking mime-support (3.54ubuntu1) ... Selecting previously unselected package libmpdec2:arm64. Preparing to unpack .../libmpdec2_2.4.0-6_arm64.deb ... Unpacking libmpdec2:arm64 (2.4.0-6) ... Selecting previously unselected package libpython3.3-stdlib:arm64. Preparing to unpack .../libpython3.3-stdlib_3.3.4-1_arm64.deb ... Unpacking libpython3.3-stdlib:arm64 (3.3.4-1) ... Selecting previously unselected package python3.3-minimal. Preparing to unpack .../python3.3-minimal_3.3.4-1_arm64.deb ... Unpacking python3.3-minimal (3.3.4-1) ... Selecting previously unselected package libasprintf0c2:arm64. Preparing to unpack .../libasprintf0c2_0.18.3.1-1ubuntu2_arm64.deb ... Unpacking libasprintf0c2:arm64 (0.18.3.1-1ubuntu2) ... Selecting previously unselected package libglib2.0-0:arm64. Preparing to unpack .../libglib2.0-0_2.39.4-0ubuntu1_arm64.deb ... Unpacking libglib2.0-0:arm64 (2.39.4-0ubuntu1) ... Selecting previously unselected package libdbus-glib-1-2:arm64. Preparing to unpack .../libdbus-glib-1-2_0.100.2-1_arm64.deb ... Unpacking libdbus-glib-1-2:arm64 (0.100.2-1) ... Selecting previously unselected package libpipeline1:arm64. Preparing to unpack .../libpipeline1_1.2.6-2_arm64.deb ... Unpacking libpipeline1:arm64 (1.2.6-2) ... Selecting previously unselected package libsystemd-login0:arm64. Preparing to unpack .../libsystemd-login0_204-5ubuntu11_arm64.deb ... Unpacking libsystemd-login0:arm64 (204-5ubuntu11) ... Selecting previously unselected package libxau6:arm64. Preparing to unpack .../libxau6_1%3a1.0.8-1_arm64.deb ... Unpacking libxau6:arm64 (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:arm64. Preparing to unpack .../libxdmcp6_1%3a1.1.1-1_arm64.deb ... Unpacking libxdmcp6:arm64 (1:1.1.1-1) ... Selecting previously unselected package libxcb1:arm64. Preparing to unpack .../libxcb1_1.10-2ubuntu1_arm64.deb ... Unpacking libxcb1:arm64 (1.10-2ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../libx11-data_2%3a1.6.2-1ubuntu2_all.deb ... Unpacking libx11-data (2:1.6.2-1ubuntu2) ... Selecting previously unselected package libx11-6:arm64. Preparing to unpack .../libx11-6_2%3a1.6.2-1ubuntu2_arm64.deb ... Unpacking libx11-6:arm64 (2:1.6.2-1ubuntu2) ... Selecting previously unselected package libxext6:arm64. Preparing to unpack .../libxext6_2%3a1.3.2-1_arm64.deb ... Unpacking libxext6:arm64 (2:1.3.2-1) ... Selecting previously unselected package libxml2:arm64. Preparing to unpack .../libxml2_2.9.1+dfsg1-3ubuntu3_arm64.deb ... Unpacking libxml2:arm64 (2.9.1+dfsg1-3ubuntu3) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.2-5_arm64.deb ... Unpacking groff-base (1.22.2-5) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.5ubuntu1_arm64.deb ... Unpacking bsdmainutils (9.0.5ubuntu1) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.6.6-1_arm64.deb ... Unpacking man-db (2.6.6-1) ... Selecting previously unselected package libart-2.0-2:arm64. Preparing to unpack .../libart-2.0-2_2.3.21-2_arm64.deb ... Unpacking libart-2.0-2:arm64 (2.3.21-2) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../libasound2-data_1.0.27.2-3ubuntu2_all.deb ... Unpacking libasound2-data (1.0.27.2-3ubuntu2) ... Selecting previously unselected package libasound2:arm64. Preparing to unpack .../libasound2_1.0.27.2-3ubuntu2_arm64.deb ... Unpacking libasound2:arm64 (1.0.27.2-3ubuntu2) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../libatk1.0-data_2.10.0-2ubuntu2_all.deb ... Unpacking libatk1.0-data (2.10.0-2ubuntu2) ... Selecting previously unselected package libatk1.0-0:arm64. Preparing to unpack .../libatk1.0-0_2.10.0-2ubuntu2_arm64.deb ... Unpacking libatk1.0-0:arm64 (2.10.0-2ubuntu2) ... Selecting previously unselected package libavahi-common-data:arm64. Preparing to unpack .../libavahi-common-data_0.6.31-4ubuntu1_arm64.deb ... Unpacking libavahi-common-data:arm64 (0.6.31-4ubuntu1) ... Selecting previously unselected package libavahi-common3:arm64. Preparing to unpack .../libavahi-common3_0.6.31-4ubuntu1_arm64.deb ... Unpacking libavahi-common3:arm64 (0.6.31-4ubuntu1) ... Selecting previously unselected package libavahi-client3:arm64. Preparing to unpack .../libavahi-client3_0.6.31-4ubuntu1_arm64.deb ... Unpacking libavahi-client3:arm64 (0.6.31-4ubuntu1) ... Selecting previously unselected package libavahi-glib1:arm64. Preparing to unpack .../libavahi-glib1_0.6.31-4ubuntu1_arm64.deb ... Unpacking libavahi-glib1:arm64 (0.6.31-4ubuntu1) ... Selecting previously unselected package libbonobo2-common. Preparing to unpack .../libbonobo2-common_2.32.1-0ubuntu5_all.deb ... Unpacking libbonobo2-common (2.32.1-0ubuntu5) ... Selecting previously unselected package libidl-common. Preparing to unpack .../libidl-common_0.8.14-0.2ubuntu4_all.deb ... Unpacking libidl-common (0.8.14-0.2ubuntu4) ... Selecting previously unselected package libidl0:arm64. Preparing to unpack .../libidl0_0.8.14-0.2ubuntu4_arm64.deb ... Unpacking libidl0:arm64 (0.8.14-0.2ubuntu4) ... Selecting previously unselected package liborbit-2-0:arm64. Preparing to unpack .../liborbit-2-0_1%3a2.14.19-0.3_arm64.deb ... Unpacking liborbit-2-0:arm64 (1:2.14.19-0.3) ... Selecting previously unselected package liborbit2:arm64. Preparing to unpack .../liborbit2_1%3a2.14.19-0.3_arm64.deb ... Unpacking liborbit2:arm64 (1:2.14.19-0.3) ... Selecting previously unselected package libbonobo2-0:arm64. Preparing to unpack .../libbonobo2-0_2.32.1-0ubuntu5_arm64.deb ... Unpacking libbonobo2-0:arm64 (2.32.1-0ubuntu5) ... Selecting previously unselected package ucf. Preparing to unpack .../ucf_3.0027+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0027+nmu1) ... Selecting previously unselected package gconf2-common. Preparing to unpack .../gconf2-common_3.2.6-0ubuntu1_all.deb ... Unpacking gconf2-common (3.2.6-0ubuntu1) ... Selecting previously unselected package libgconf-2-4:arm64. Preparing to unpack .../libgconf-2-4_3.2.6-0ubuntu1_arm64.deb ... Unpacking libgconf-2-4:arm64 (3.2.6-0ubuntu1) ... Selecting previously unselected package gconf-service-backend. Preparing to unpack .../gconf-service-backend_3.2.6-0ubuntu1_arm64.deb ... Unpacking gconf-service-backend (3.2.6-0ubuntu1) ... Selecting previously unselected package gconf-service. Preparing to unpack .../gconf-service_3.2.6-0ubuntu1_arm64.deb ... Unpacking gconf-service (3.2.6-0ubuntu1) ... Selecting previously unselected package libjpeg-turbo8:arm64. Preparing to unpack .../libjpeg-turbo8_1.3.0-0ubuntu2_arm64.deb ... Unpacking libjpeg-turbo8:arm64 (1.3.0-0ubuntu2) ... Selecting previously unselected package libjpeg8:arm64. Preparing to unpack .../libjpeg8_8c-2ubuntu8_arm64.deb ... Unpacking libjpeg8:arm64 (8c-2ubuntu8) ... Selecting previously unselected package libjasper1:arm64. Preparing to unpack .../libjasper1_1.900.1-14ubuntu3_arm64.deb ... Unpacking libjasper1:arm64 (1.900.1-14ubuntu3) ... Selecting previously unselected package libjbig0:arm64. Preparing to unpack .../libjbig0_2.0-2ubuntu4_arm64.deb ... Unpacking libjbig0:arm64 (2.0-2ubuntu4) ... Selecting previously unselected package libtiff5:arm64. Preparing to unpack .../libtiff5_4.0.3-7_arm64.deb ... Unpacking libtiff5:arm64 (4.0.3-7) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../libgdk-pixbuf2.0-common_2.30.4-0ubuntu1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.30.4-0ubuntu1) ... Selecting previously unselected package libgdk-pixbuf2.0-0:arm64. Preparing to unpack .../libgdk-pixbuf2.0-0_2.30.4-0ubuntu1_arm64.deb ... Unpacking libgdk-pixbuf2.0-0:arm64 (2.30.4-0ubuntu1) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../libgtk2.0-common_2.24.22-1ubuntu2_all.deb ... Unpacking libgtk2.0-common (2.24.22-1ubuntu2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../fonts-dejavu-core_2.34-1ubuntu1_all.deb ... Unpacking fonts-dejavu-core (2.34-1ubuntu1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../fontconfig-config_2.11.0-0ubuntu4_all.deb ... Unpacking fontconfig-config (2.11.0-0ubuntu4) ... Selecting previously unselected package libfreetype6:arm64. Preparing to unpack .../libfreetype6_2.5.2-1ubuntu1_arm64.deb ... Unpacking libfreetype6:arm64 (2.5.2-1ubuntu1) ... Selecting previously unselected package libfontconfig1:arm64. Preparing to unpack .../libfontconfig1_2.11.0-0ubuntu4_arm64.deb ... Unpacking libfontconfig1:arm64 (2.11.0-0ubuntu4) ... Selecting previously unselected package libpixman-1-0:arm64. Preparing to unpack .../libpixman-1-0_0.30.2-2ubuntu1_arm64.deb ... Unpacking libpixman-1-0:arm64 (0.30.2-2ubuntu1) ... Selecting previously unselected package libxcb-render0:arm64. Preparing to unpack .../libxcb-render0_1.10-2ubuntu1_arm64.deb ... Unpacking libxcb-render0:arm64 (1.10-2ubuntu1) ... Selecting previously unselected package libxcb-shm0:arm64. Preparing to unpack .../libxcb-shm0_1.10-2ubuntu1_arm64.deb ... Unpacking libxcb-shm0:arm64 (1.10-2ubuntu1) ... Selecting previously unselected package libxrender1:arm64. Preparing to unpack .../libxrender1_1%3a0.9.8-1_arm64.deb ... Unpacking libxrender1:arm64 (1:0.9.8-1) ... Selecting previously unselected package libcairo2:arm64. Preparing to unpack .../libcairo2_1.12.16-0ubuntu2_arm64.deb ... Unpacking libcairo2:arm64 (1.12.16-0ubuntu2) ... Selecting previously unselected package libcups2:arm64. Preparing to unpack .../libcups2_1.7.1-4_arm64.deb ... Unpacking libcups2:arm64 (1.7.1-4) ... Selecting previously unselected package libthai-data. Preparing to unpack .../libthai-data_0.1.20-3_all.deb ... Unpacking libthai-data (0.1.20-3) ... Selecting previously unselected package libdatrie1:arm64. Preparing to unpack .../libdatrie1_0.2.8-1_arm64.deb ... Unpacking libdatrie1:arm64 (0.2.8-1) ... Selecting previously unselected package libthai0:arm64. Preparing to unpack .../libthai0_0.1.20-3_arm64.deb ... Unpacking libthai0:arm64 (0.1.20-3) ... Selecting previously unselected package fontconfig. Preparing to unpack .../fontconfig_2.11.0-0ubuntu4_arm64.deb ... Unpacking fontconfig (2.11.0-0ubuntu4) ... Selecting previously unselected package libpango-1.0-0:arm64. Preparing to unpack .../libpango-1.0-0_1.36.1-0ubuntu1_arm64.deb ... Unpacking libpango-1.0-0:arm64 (1.36.1-0ubuntu1) ... Selecting previously unselected package libgraphite2-3:arm64. Preparing to unpack .../libgraphite2-3_1.2.4-1ubuntu1_arm64.deb ... Unpacking libgraphite2-3:arm64 (1.2.4-1ubuntu1) ... Selecting previously unselected package libharfbuzz0b:arm64. Preparing to unpack .../libharfbuzz0b_0.9.26-4_arm64.deb ... Unpacking libharfbuzz0b:arm64 (0.9.26-4) ... Selecting previously unselected package libpangoft2-1.0-0:arm64. Preparing to unpack .../libpangoft2-1.0-0_1.36.1-0ubuntu1_arm64.deb ... Unpacking libpangoft2-1.0-0:arm64 (1.36.1-0ubuntu1) ... Selecting previously unselected package libpangocairo-1.0-0:arm64. Preparing to unpack .../libpangocairo-1.0-0_1.36.1-0ubuntu1_arm64.deb ... Unpacking libpangocairo-1.0-0:arm64 (1.36.1-0ubuntu1) ... Selecting previously unselected package libxcomposite1:arm64. Preparing to unpack .../libxcomposite1_1%3a0.4.4-1_arm64.deb ... Unpacking libxcomposite1:arm64 (1:0.4.4-1) ... Selecting previously unselected package libxfixes3:arm64. Preparing to unpack .../libxfixes3_1%3a5.0.1-1ubuntu1_arm64.deb ... Unpacking libxfixes3:arm64 (1:5.0.1-1ubuntu1) ... Selecting previously unselected package libxcursor1:arm64. Preparing to unpack .../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 .../libxdamage1_1%3a1.1.4-1ubuntu1_arm64.deb ... Unpacking libxdamage1:arm64 (1:1.1.4-1ubuntu1) ... Selecting previously unselected package libxi6:arm64. Preparing to unpack .../libxi6_2%3a1.7.1.901-1ubuntu1_arm64.deb ... Unpacking libxi6:arm64 (2:1.7.1.901-1ubuntu1) ... Selecting previously unselected package libxinerama1:arm64. Preparing to unpack .../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 .../libxrandr2_2%3a1.4.2-1_arm64.deb ... Unpacking libxrandr2:arm64 (2:1.4.2-1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../shared-mime-info_1.2-0ubuntu1_arm64.deb ... Unpacking shared-mime-info (1.2-0ubuntu1) ... Selecting previously unselected package libgtk2.0-0:arm64. Preparing to unpack .../libgtk2.0-0_2.24.22-1ubuntu2_arm64.deb ... Unpacking libgtk2.0-0:arm64 (2.24.22-1ubuntu2) ... Selecting previously unselected package libglade2-0:arm64. Preparing to unpack .../libglade2-0_1%3a2.6.4-2_arm64.deb ... Unpacking libglade2-0:arm64 (1:2.6.4-2) ... Selecting previously unselected package libltdl7:arm64. Preparing to unpack .../libltdl7_2.4.2-1.7ubuntu1_arm64.deb ... Unpacking libltdl7:arm64 (2.4.2-1.7ubuntu1) ... Selecting previously unselected package libtdb1:arm64. Preparing to unpack .../libtdb1_1.2.12-1_arm64.deb ... Unpacking libtdb1:arm64 (1.2.12-1) ... Selecting previously unselected package libogg0:arm64. Preparing to unpack .../libogg0_1.3.1-1ubuntu1_arm64.deb ... Unpacking libogg0:arm64 (1.3.1-1ubuntu1) ... Selecting previously unselected package libvorbis0a:arm64. Preparing to unpack .../libvorbis0a_1.3.2-1.3ubuntu1_arm64.deb ... Unpacking libvorbis0a:arm64 (1.3.2-1.3ubuntu1) ... Selecting previously unselected package libvorbisfile3:arm64. Preparing to unpack .../libvorbisfile3_1.3.2-1.3ubuntu1_arm64.deb ... Unpacking libvorbisfile3:arm64 (1.3.2-1.3ubuntu1) ... Selecting previously unselected package sound-theme-freedesktop. Preparing to unpack .../sound-theme-freedesktop_0.8-1_all.deb ... Unpacking sound-theme-freedesktop (0.8-1) ... Selecting previously unselected package libcanberra0:arm64. Preparing to unpack .../libcanberra0_0.30-0ubuntu2_arm64.deb ... Unpacking libcanberra0:arm64 (0.30-0ubuntu2) ... Selecting previously unselected package libapparmor1:arm64. Preparing to unpack .../libapparmor1_2.8.0-0ubuntu38_arm64.deb ... Unpacking libapparmor1:arm64 (2.8.0-0ubuntu38) ... Selecting previously unselected package netbase. Preparing to unpack .../archives/netbase_5.2_all.deb ... Unpacking netbase (5.2) ... Selecting previously unselected package dbus. Preparing to unpack .../dbus_1.6.18-0ubuntu3_arm64.deb ... Unpacking dbus (1.6.18-0ubuntu3) ... Selecting previously unselected package psmisc. Preparing to unpack .../psmisc_22.20-1ubuntu2_arm64.deb ... Unpacking psmisc (22.20-1ubuntu2) ... Selecting previously unselected package dbus-x11. Preparing to unpack .../dbus-x11_1.6.18-0ubuntu3_arm64.deb ... Unpacking dbus-x11 (1.6.18-0ubuntu3) ... Selecting previously unselected package libpython2.7-minimal:arm64. Preparing to unpack .../libpython2.7-minimal_2.7.6-5_arm64.deb ... Unpacking libpython2.7-minimal:arm64 (2.7.6-5) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../python2.7-minimal_2.7.6-5_arm64.deb ... Unpacking python2.7-minimal (2.7.6-5) ... Selecting previously unselected package libpython2.7-stdlib:arm64. Preparing to unpack .../libpython2.7-stdlib_2.7.6-5_arm64.deb ... Unpacking libpython2.7-stdlib:arm64 (2.7.6-5) ... Selecting previously unselected package python2.7. Preparing to unpack .../python2.7_2.7.6-5_arm64.deb ... Unpacking python2.7 (2.7.6-5) ... Selecting previously unselected package python-minimal. Preparing to unpack .../python-minimal_2.7.5-5ubuntu3_arm64.deb ... Unpacking python-minimal (2.7.5-5ubuntu3) ... Selecting previously unselected package libpython-stdlib:arm64. Preparing to unpack .../libpython-stdlib_2.7.5-5ubuntu3_arm64.deb ... Unpacking libpython-stdlib:arm64 (2.7.5-5ubuntu3) ... Selecting previously unselected package python. Preparing to unpack .../python_2.7.5-5ubuntu3_arm64.deb ... Unpacking python (2.7.5-5ubuntu3) ... Selecting previously unselected package gconf2. Preparing to unpack .../gconf2_3.2.6-0ubuntu1_arm64.deb ... Unpacking gconf2 (3.2.6-0ubuntu1) ... Selecting previously unselected package libgnomevfs2-common. Preparing to unpack .../libgnomevfs2-common_1%3a2.24.4-1ubuntu6_arm64.deb ... Unpacking libgnomevfs2-common (1:2.24.4-1ubuntu6) ... Selecting previously unselected package libgnomevfs2-0:arm64. Preparing to unpack .../libgnomevfs2-0_1%3a2.24.4-1ubuntu6_arm64.deb ... Unpacking libgnomevfs2-0:arm64 (1:2.24.4-1ubuntu6) ... Selecting previously unselected package libgnome2-common. Preparing to unpack .../libgnome2-common_2.32.1-4ubuntu1_all.deb ... Unpacking libgnome2-common (2.32.1-4ubuntu1) ... Selecting previously unselected package libgnome2-bin. Preparing to unpack .../libgnome2-bin_2.32.1-4ubuntu1_arm64.deb ... Unpacking libgnome2-bin (2.32.1-4ubuntu1) ... Selecting previously unselected package libgnome2-0:arm64. Preparing to unpack .../libgnome2-0_2.32.1-4ubuntu1_arm64.deb ... Unpacking libgnome2-0:arm64 (2.32.1-4ubuntu1) ... Selecting previously unselected package libgail18:arm64. Preparing to unpack .../libgail18_2.24.22-1ubuntu2_arm64.deb ... Unpacking libgail18:arm64 (2.24.22-1ubuntu2) ... Selecting previously unselected package libgnomecanvas2-common. Preparing to unpack .../libgnomecanvas2-common_2.30.3-2_all.deb ... Unpacking libgnomecanvas2-common (2.30.3-2) ... Selecting previously unselected package libgnomecanvas2-0:arm64. Preparing to unpack .../libgnomecanvas2-0_2.30.3-2_arm64.deb ... Unpacking libgnomecanvas2-0:arm64 (2.30.3-2) ... Selecting previously unselected package libbonoboui2-common. Preparing to unpack .../libbonoboui2-common_2.24.5-0ubuntu3_all.deb ... Unpacking libbonoboui2-common (2.24.5-0ubuntu3) ... Selecting previously unselected package libbonoboui2-0:arm64. Preparing to unpack .../libbonoboui2-0_2.24.5-0ubuntu3_arm64.deb ... Unpacking libbonoboui2-0:arm64 (2.24.5-0ubuntu3) ... Selecting previously unselected package libcairo-gobject2:arm64. Preparing to unpack .../libcairo-gobject2_1.12.16-0ubuntu2_arm64.deb ... Unpacking libcairo-gobject2:arm64 (1.12.16-0ubuntu2) ... Selecting previously unselected package liblzo2-2:arm64. Preparing to unpack .../liblzo2-2_2.06-1.2ubuntu1_arm64.deb ... Unpacking liblzo2-2:arm64 (2.06-1.2ubuntu1) ... Selecting previously unselected package libcairo-script-interpreter2:arm64. Preparing to unpack .../libcairo-script-interpreter2_1.12.16-0ubuntu2_arm64.deb ... Unpacking libcairo-script-interpreter2:arm64 (1.12.16-0ubuntu2) ... Selecting previously unselected package libcroco3:arm64. Preparing to unpack .../libcroco3_0.6.8-2ubuntu1_arm64.deb ... Unpacking libcroco3:arm64 (0.6.8-2ubuntu1) ... Selecting previously unselected package libelfg0:arm64. Preparing to unpack .../libelfg0_0.8.13-5_arm64.deb ... Unpacking libelfg0:arm64 (0.8.13-5) ... Selecting previously unselected package libaspell15. Preparing to unpack .../libaspell15_0.60.7~20110707-1ubuntu1_arm64.deb ... Unpacking libaspell15 (0.60.7~20110707-1ubuntu1) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../libtext-iconv-perl_1.7-5build2_arm64.deb ... Unpacking libtext-iconv-perl (1.7-5build2) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../dictionaries-common_1.20.5_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.20.5) ... Selecting previously unselected package aspell. Preparing to unpack .../aspell_0.60.7~20110707-1ubuntu1_arm64.deb ... Unpacking aspell (0.60.7~20110707-1ubuntu1) ... Selecting previously unselected package aspell-en. Preparing to unpack .../aspell-en_7.1-0-1_all.deb ... Unpacking aspell-en (7.1-0-1) ... Selecting previously unselected package libhunspell-1.3-0:arm64. Preparing to unpack .../libhunspell-1.3-0_1.3.2-6ubuntu2_arm64.deb ... Unpacking libhunspell-1.3-0:arm64 (1.3.2-6ubuntu2) ... Selecting previously unselected package libenchant1c2a:arm64. Preparing to unpack .../libenchant1c2a_1.6.0-10ubuntu1_arm64.deb ... Unpacking libenchant1c2a:arm64 (1.6.0-10ubuntu1) ... Selecting previously unselected package libgmpxx4ldbl:arm64. Preparing to unpack .../libgmpxx4ldbl_2%3a5.1.3+dfsg-1ubuntu1_arm64.deb ... Unpacking libgmpxx4ldbl:arm64 (2:5.1.3+dfsg-1ubuntu1) ... Selecting previously unselected package libgnome-keyring-common. Preparing to unpack .../libgnome-keyring-common_3.8.0-2_all.deb ... Unpacking libgnome-keyring-common (3.8.0-2) ... Selecting previously unselected package libgnome-keyring0:arm64. Preparing to unpack .../libgnome-keyring0_3.8.0-2_arm64.deb ... Unpacking libgnome-keyring0:arm64 (3.8.0-2) ... Selecting previously unselected package x11-common. Preparing to unpack .../x11-common_1%3a7.7+1ubuntu8_all.deb ... Unpacking x11-common (1:7.7+1ubuntu8) ... Selecting previously unselected package libice6:arm64. Preparing to unpack .../libice6_2%3a1.0.8-2_arm64.deb ... Unpacking libice6:arm64 (2:1.0.8-2) ... Selecting previously unselected package libsm6:arm64. Preparing to unpack .../libsm6_2%3a1.2.1-2_arm64.deb ... Unpacking libsm6:arm64 (2:1.2.1-2) ... Selecting previously unselected package libgnomeui-common. Preparing to unpack .../libgnomeui-common_2.24.5-3_all.deb ... Unpacking libgnomeui-common (2.24.5-3) ... Selecting previously unselected package libgnomeui-0:arm64. Preparing to unpack .../libgnomeui-0_2.24.5-3_arm64.deb ... Unpacking libgnomeui-0:arm64 (2.24.5-3) ... Selecting previously unselected package libharfbuzz-gobject0:arm64. Preparing to unpack .../libharfbuzz-gobject0_0.9.26-4_arm64.deb ... Unpacking libharfbuzz-gobject0:arm64 (0.9.26-4) ... Selecting previously unselected package libicu52:arm64. Preparing to unpack .../libicu52_52.1-3_arm64.deb ... Unpacking libicu52:arm64 (52.1-3) ... Selecting previously unselected package libharfbuzz-icu0:arm64. Preparing to unpack .../libharfbuzz-icu0_0.9.26-4_arm64.deb ... Unpacking libharfbuzz-icu0:arm64 (0.9.26-4) ... Selecting previously unselected package libxft2:arm64. Preparing to unpack .../libxft2_2.3.1-2_arm64.deb ... Unpacking libxft2:arm64 (2.3.1-2) ... Selecting previously unselected package libpangoxft-1.0-0:arm64. Preparing to unpack .../libpangoxft-1.0-0_1.36.1-0ubuntu1_arm64.deb ... Unpacking libpangoxft-1.0-0:arm64 (1.36.1-0ubuntu1) ... Selecting previously unselected package libpcrecpp0:arm64. Preparing to unpack .../libpcrecpp0_1%3a8.31-2ubuntu2_arm64.deb ... Unpacking libpcrecpp0:arm64 (1:8.31-2ubuntu2) ... Selecting previously unselected package libppl12:arm64. Preparing to unpack .../libppl12_1%3a1.0-7ubuntu2_arm64.deb ... Unpacking libppl12:arm64 (1:1.0-7ubuntu2) ... Selecting previously unselected package libppl-c4:arm64. Preparing to unpack .../libppl-c4_1%3a1.0-7ubuntu2_arm64.deb ... Unpacking libppl-c4:arm64 (1:1.0-7ubuntu2) ... Selecting previously unselected package librsvg2-2:arm64. Preparing to unpack .../librsvg2-2_2.40.1-0ubuntu1_arm64.deb ... Unpacking librsvg2-2:arm64 (2.40.1-0ubuntu1) ... Selecting previously unselected package libsigsegv2:arm64. Preparing to unpack .../libsigsegv2_2.10-2_arm64.deb ... Unpacking libsigsegv2:arm64 (2.10-2) ... Selecting previously unselected package libunistring0:arm64. Preparing to unpack .../libunistring0_0.9.3-5ubuntu3_arm64.deb ... Unpacking libunistring0:arm64 (0.9.3-5ubuntu3) ... Selecting previously unselected package python3.3. Preparing to unpack .../python3.3_3.3.4-1_arm64.deb ... Unpacking python3.3 (3.3.4-1) ... Selecting previously unselected package python3-minimal. Preparing to unpack .../python3-minimal_3.3.3-1_arm64.deb ... Unpacking python3-minimal (3.3.3-1) ... Selecting previously unselected package libpython3-stdlib:arm64. Preparing to unpack .../libpython3-stdlib_3.3.3-1_arm64.deb ... Unpacking libpython3-stdlib:arm64 (3.3.3-1) ... Selecting previously unselected package python3. Preparing to unpack .../python3_3.3.3-1_arm64.deb ... Unpacking python3 (3.3.3-1) ... Selecting previously unselected package dh-python. Preparing to unpack .../dh-python_1.20140128-1ubuntu2_all.deb ... Unpacking dh-python (1.20140128-1ubuntu2) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.14-2ubuntu1_arm64.deb ... Unpacking file (1:5.14-2ubuntu1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../gettext-base_0.18.3.1-1ubuntu2_arm64.deb ... Unpacking gettext-base (0.18.3.1-1ubuntu2) ... Selecting previously unselected package libgirepository-1.0-1. Preparing to unpack .../libgirepository-1.0-1_1.39.3-0ubuntu2_arm64.deb ... Unpacking libgirepository-1.0-1 (1.39.3-0ubuntu2) ... Selecting previously unselected package gir1.2-glib-2.0. Preparing to unpack .../gir1.2-glib-2.0_1.39.3-0ubuntu2_arm64.deb ... Unpacking gir1.2-glib-2.0 (1.39.3-0ubuntu2) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../libglib2.0-data_2.39.4-0ubuntu1_all.deb ... Unpacking libglib2.0-data (2.39.4-0ubuntu1) ... Selecting previously unselected package m4. Preparing to unpack .../m4_1.4.17-2ubuntu1_arm64.deb ... Unpacking m4 (1.4.17-2ubuntu1) ... Selecting previously unselected package autoconf. Preparing to unpack .../autoconf_2.69-2_all.deb ... Unpacking autoconf (2.69-2) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../autotools-dev_20130810.1_all.deb ... Unpacking autotools-dev (20130810.1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../ocaml-base-nox_4.01.0-3ubuntu3_arm64.deb ... Unpacking ocaml-base-nox (4.01.0-3ubuntu3) ... Selecting previously unselected package libtinfo-dev:arm64. Preparing to unpack .../libtinfo-dev_5.9+20131221-1ubuntu1_arm64.deb ... Unpacking libtinfo-dev:arm64 (5.9+20131221-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:arm64. Preparing to unpack .../libncurses5-dev_5.9+20131221-1ubuntu1_arm64.deb ... Unpacking libncurses5-dev:arm64 (5.9+20131221-1ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../ocaml-compiler-libs_4.01.0-3ubuntu3_arm64.deb ... Unpacking ocaml-compiler-libs (4.01.0-3ubuntu3) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../ocaml-interp_4.01.0-3ubuntu3_arm64.deb ... Unpacking ocaml-interp (4.01.0-3ubuntu3) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../ocaml-nox_4.01.0-3ubuntu3_arm64.deb ... Unpacking ocaml-nox (4.01.0-3ubuntu3) ... Selecting previously unselected package camlidl. Preparing to unpack .../camlidl_1.05-14build1_arm64.deb ... Unpacking camlidl (1.05-14build1) ... Selecting previously unselected package camlp4. Preparing to unpack .../camlp4_4.01.0-3ubuntu3_arm64.deb ... Unpacking camlp4 (4.01.0-3ubuntu3) ... Selecting previously unselected package coq-theories. Preparing to unpack .../coq-theories_8.4pl3dfsg-1_all.deb ... Unpacking coq-theories (8.4pl3dfsg-1) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../emacsen-common_2.0.7_all.deb ... Unpacking emacsen-common (2.0.7) ... Selecting previously unselected package libgtkspell0. Preparing to unpack .../libgtkspell0_2.0.16-1ubuntu7_arm64.deb ... Unpacking libgtkspell0 (2.0.16-1ubuntu7) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../liblablgtk2-ocaml_2.16.0+dfsg-1_arm64.deb ... Unpacking liblablgtk2-ocaml (2.16.0+dfsg-1) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../libcoq-ocaml_8.4pl3dfsg-1_arm64.deb ... Unpacking libcoq-ocaml (8.4pl3dfsg-1) ... Selecting previously unselected package coq. Preparing to unpack .../coq_8.4pl3dfsg-1_arm64.deb ... Unpacking coq (8.4pl3dfsg-1) ... Selecting previously unselected package gettext. Preparing to unpack .../gettext_0.18.3.1-1ubuntu2_arm64.deb ... Unpacking gettext (0.18.3.1-1ubuntu2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../intltool-debian_0.35.0+20060710.1_all.deb ... Unpacking intltool-debian (0.35.0+20060710.1) ... Selecting previously unselected package po-debconf. Preparing to unpack .../po-debconf_1.0.16+nmu2ubuntu1_all.deb ... Unpacking po-debconf (1.0.16+nmu2ubuntu1) ... Selecting previously unselected package apparmor-easyprof. Preparing to unpack .../apparmor-easyprof_2.8.0-0ubuntu38_all.deb ... Unpacking apparmor-easyprof (2.8.0-0ubuntu38) ... Selecting previously unselected package dh-apparmor. Preparing to unpack .../dh-apparmor_2.8.0-0ubuntu38_all.deb ... Unpacking dh-apparmor (2.8.0-0ubuntu38) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20131127ubuntu2_all.deb ... Unpacking debhelper (9.20131127ubuntu2) ... Selecting previously unselected package gir1.2-atk-1.0. Preparing to unpack .../gir1.2-atk-1.0_2.10.0-2ubuntu2_arm64.deb ... Unpacking gir1.2-atk-1.0 (2.10.0-2ubuntu2) ... Selecting previously unselected package gir1.2-freedesktop. Preparing to unpack .../gir1.2-freedesktop_1.39.3-0ubuntu2_arm64.deb ... Unpacking gir1.2-freedesktop (1.39.3-0ubuntu2) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0. Preparing to unpack .../gir1.2-gdkpixbuf-2.0_2.30.4-0ubuntu1_arm64.deb ... Unpacking gir1.2-gdkpixbuf-2.0 (2.30.4-0ubuntu1) ... Selecting previously unselected package gir1.2-pango-1.0. Preparing to unpack .../gir1.2-pango-1.0_1.36.1-0ubuntu1_arm64.deb ... Unpacking gir1.2-pango-1.0 (1.36.1-0ubuntu1) ... Selecting previously unselected package gir1.2-gtk-2.0. Preparing to unpack .../gir1.2-gtk-2.0_2.24.22-1ubuntu2_arm64.deb ... Unpacking gir1.2-gtk-2.0 (2.24.22-1ubuntu2) ... Selecting previously unselected package libapron. Preparing to unpack .../libapron_0.9.10-5.2ubuntu6_arm64.deb ... Unpacking libapron (0.9.10-5.2ubuntu6) ... Selecting previously unselected package libgmp-dev:arm64. Preparing to unpack .../libgmp-dev_2%3a5.1.3+dfsg-1ubuntu1_arm64.deb ... Unpacking libgmp-dev:arm64 (2:5.1.3+dfsg-1ubuntu1) ... Selecting previously unselected package libgmp3-dev. Preparing to unpack .../libgmp3-dev_2%3a5.1.3+dfsg-1ubuntu1_arm64.deb ... Unpacking libgmp3-dev (2:5.1.3+dfsg-1ubuntu1) ... Selecting previously unselected package libmpfr-dev:arm64. Preparing to unpack .../libmpfr-dev_3.1.2-1_arm64.deb ... Unpacking libmpfr-dev:arm64 (3.1.2-1) ... Selecting previously unselected package libppl0.12-dev:arm64. Preparing to unpack .../libppl0.12-dev_1%3a1.0-7ubuntu2_arm64.deb ... Unpacking libppl0.12-dev:arm64 (1:1.0-7ubuntu2) ... Selecting previously unselected package libapron-dev. Preparing to unpack .../libapron-dev_0.9.10-5.2ubuntu6_all.deb ... Unpacking libapron-dev (0.9.10-5.2ubuntu6) ... Selecting previously unselected package libapron-ocaml. Preparing to unpack .../libapron-ocaml_0.9.10-5.2ubuntu6_arm64.deb ... Unpacking libapron-ocaml (0.9.10-5.2ubuntu6) ... Selecting previously unselected package libapron-ocaml-dev. Preparing to unpack .../libapron-ocaml-dev_0.9.10-5.2ubuntu6_arm64.deb ... Unpacking libapron-ocaml-dev (0.9.10-5.2ubuntu6) ... Selecting previously unselected package pkg-config. Preparing to unpack .../pkg-config_0.26-1ubuntu4_arm64.deb ... Unpacking pkg-config (0.26-1ubuntu4) ... Selecting previously unselected package libglib2.0-bin. Preparing to unpack .../libglib2.0-bin_2.39.4-0ubuntu1_arm64.deb ... Unpacking libglib2.0-bin (2.39.4-0ubuntu1) ... Selecting previously unselected package libpcre3-dev:arm64. Preparing to unpack .../libpcre3-dev_1%3a8.31-2ubuntu2_arm64.deb ... Unpacking libpcre3-dev:arm64 (1:8.31-2ubuntu2) ... Selecting previously unselected package zlib1g-dev:arm64. Preparing to unpack .../zlib1g-dev_1%3a1.2.8.dfsg-1ubuntu1_arm64.deb ... Unpacking zlib1g-dev:arm64 (1:1.2.8.dfsg-1ubuntu1) ... Selecting previously unselected package libglib2.0-dev. Preparing to unpack .../libglib2.0-dev_2.39.4-0ubuntu1_arm64.deb ... Unpacking libglib2.0-dev (2.39.4-0ubuntu1) ... Selecting previously unselected package libatk1.0-dev. Preparing to unpack .../libatk1.0-dev_2.10.0-2ubuntu2_arm64.deb ... Unpacking libatk1.0-dev (2.10.0-2ubuntu2) ... Selecting previously unselected package libexpat1-dev:arm64. Preparing to unpack .../libexpat1-dev_2.1.0-4ubuntu1_arm64.deb ... Unpacking libexpat1-dev:arm64 (2.1.0-4ubuntu1) ... Selecting previously unselected package libpng12-dev. Preparing to unpack .../libpng12-dev_1.2.50-1ubuntu1_arm64.deb ... Unpacking libpng12-dev (1.2.50-1ubuntu1) ... Selecting previously unselected package libfreetype6-dev. Preparing to unpack .../libfreetype6-dev_2.5.2-1ubuntu1_arm64.deb ... Unpacking libfreetype6-dev (2.5.2-1ubuntu1) ... Selecting previously unselected package libfontconfig1-dev. Preparing to unpack .../libfontconfig1-dev_2.11.0-0ubuntu4_arm64.deb ... Unpacking libfontconfig1-dev (2.11.0-0ubuntu4) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../xorg-sgml-doctools_1%3a1.11-1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1) ... Selecting previously unselected package x11proto-core-dev. Preparing to unpack .../x11proto-core-dev_7.0.24-1_all.deb ... Unpacking x11proto-core-dev (7.0.24-1) ... Selecting previously unselected package libxau-dev:arm64. Preparing to unpack .../libxau-dev_1%3a1.0.8-1_arm64.deb ... Unpacking libxau-dev:arm64 (1:1.0.8-1) ... Selecting previously unselected package libxdmcp-dev:arm64. Preparing to unpack .../libxdmcp-dev_1%3a1.1.1-1_arm64.deb ... Unpacking libxdmcp-dev:arm64 (1:1.1.1-1) ... Selecting previously unselected package x11proto-input-dev. Preparing to unpack .../x11proto-input-dev_2.3-1_all.deb ... Unpacking x11proto-input-dev (2.3-1) ... Selecting previously unselected package x11proto-kb-dev. Preparing to unpack .../x11proto-kb-dev_1.0.6-2_all.deb ... Unpacking x11proto-kb-dev (1.0.6-2) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../xtrans-dev_1.3.2-1_all.deb ... Unpacking xtrans-dev (1.3.2-1) ... Selecting previously unselected package libpthread-stubs0-dev:arm64. Preparing to unpack .../libpthread-stubs0-dev_0.3-4_arm64.deb ... Unpacking libpthread-stubs0-dev:arm64 (0.3-4) ... Selecting previously unselected package libxcb1-dev:arm64. Preparing to unpack .../libxcb1-dev_1.10-2ubuntu1_arm64.deb ... Unpacking libxcb1-dev:arm64 (1.10-2ubuntu1) ... Selecting previously unselected package libx11-dev:arm64. Preparing to unpack .../libx11-dev_2%3a1.6.2-1ubuntu2_arm64.deb ... Unpacking libx11-dev:arm64 (2:1.6.2-1ubuntu2) ... Selecting previously unselected package x11proto-render-dev. Preparing to unpack .../x11proto-render-dev_2%3a0.11.1-2_all.deb ... Unpacking x11proto-render-dev (2:0.11.1-2) ... Selecting previously unselected package libxrender-dev:arm64. Preparing to unpack .../libxrender-dev_1%3a0.9.8-1_arm64.deb ... Unpacking libxrender-dev:arm64 (1:0.9.8-1) ... Selecting previously unselected package libice-dev:arm64. Preparing to unpack .../libice-dev_2%3a1.0.8-2_arm64.deb ... Unpacking libice-dev:arm64 (2:1.0.8-2) ... Selecting previously unselected package libsm-dev:arm64. Preparing to unpack .../libsm-dev_2%3a1.2.1-2_arm64.deb ... Unpacking libsm-dev:arm64 (2:1.2.1-2) ... Selecting previously unselected package libpixman-1-dev. Preparing to unpack .../libpixman-1-dev_0.30.2-2ubuntu1_arm64.deb ... Unpacking libpixman-1-dev (0.30.2-2ubuntu1) ... Selecting previously unselected package libxcb-render0-dev:arm64. Preparing to unpack .../libxcb-render0-dev_1.10-2ubuntu1_arm64.deb ... Unpacking libxcb-render0-dev:arm64 (1.10-2ubuntu1) ... Selecting previously unselected package libxcb-shm0-dev:arm64. Preparing to unpack .../libxcb-shm0-dev_1.10-2ubuntu1_arm64.deb ... Unpacking libxcb-shm0-dev:arm64 (1.10-2ubuntu1) ... Selecting previously unselected package x11proto-xext-dev. Preparing to unpack .../x11proto-xext-dev_7.3.0-1_all.deb ... Unpacking x11proto-xext-dev (7.3.0-1) ... Selecting previously unselected package libxext-dev:arm64. Preparing to unpack .../libxext-dev_2%3a1.3.2-1_arm64.deb ... Unpacking libxext-dev:arm64 (2:1.3.2-1) ... Selecting previously unselected package libcairo2-dev. Preparing to unpack .../libcairo2-dev_1.12.16-0ubuntu2_arm64.deb ... Unpacking libcairo2-dev (1.12.16-0ubuntu2) ... Selecting previously unselected package libenchant-dev. Preparing to unpack .../libenchant-dev_1.6.0-10ubuntu1_arm64.deb ... Unpacking libenchant-dev (1.6.0-10ubuntu1) ... Selecting previously unselected package libfloat-coq. Preparing to unpack .../libfloat-coq_1%3a8.4-3_all.deb ... Unpacking libfloat-coq (1:8.4-3) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Preparing to unpack .../libgdk-pixbuf2.0-dev_2.30.4-0ubuntu1_arm64.deb ... Unpacking libgdk-pixbuf2.0-dev (2.30.4-0ubuntu1) ... Selecting previously unselected package libxft-dev. Preparing to unpack .../libxft-dev_2.3.1-2_arm64.deb ... Unpacking libxft-dev (2.3.1-2) ... Selecting previously unselected package libharfbuzz-dev. Preparing to unpack .../libharfbuzz-dev_0.9.26-4_arm64.deb ... Unpacking libharfbuzz-dev (0.9.26-4) ... Selecting previously unselected package libpango1.0-dev. Preparing to unpack .../libpango1.0-dev_1.36.1-0ubuntu1_arm64.deb ... Unpacking libpango1.0-dev (1.36.1-0ubuntu1) ... Selecting previously unselected package x11proto-xinerama-dev. Preparing to unpack .../x11proto-xinerama-dev_1.2.1-2_all.deb ... Unpacking x11proto-xinerama-dev (1.2.1-2) ... Selecting previously unselected package libxinerama-dev:arm64. Preparing to unpack .../libxinerama-dev_2%3a1.1.3-1_arm64.deb ... Unpacking libxinerama-dev:arm64 (2:1.1.3-1) ... Selecting previously unselected package x11proto-fixes-dev. Preparing to unpack .../x11proto-fixes-dev_1%3a5.0-2ubuntu2_all.deb ... Unpacking x11proto-fixes-dev (1:5.0-2ubuntu2) ... Selecting previously unselected package libxfixes-dev:arm64. Preparing to unpack .../libxfixes-dev_1%3a5.0.1-1ubuntu1_arm64.deb ... Unpacking libxfixes-dev:arm64 (1:5.0.1-1ubuntu1) ... Selecting previously unselected package libxi-dev. Preparing to unpack .../libxi-dev_2%3a1.7.1.901-1ubuntu1_arm64.deb ... Unpacking libxi-dev (2:1.7.1.901-1ubuntu1) ... Selecting previously unselected package x11proto-randr-dev. Preparing to unpack .../x11proto-randr-dev_1.4.0+git20120101.is.really.1.4.0-0ubuntu1_all.deb ... Unpacking x11proto-randr-dev (1.4.0+git20120101.is.really.1.4.0-0ubuntu1) ... Selecting previously unselected package libxrandr-dev:arm64. Preparing to unpack .../libxrandr-dev_2%3a1.4.2-1_arm64.deb ... Unpacking libxrandr-dev:arm64 (2:1.4.2-1) ... Selecting previously unselected package libxcursor-dev:arm64. Preparing to unpack .../libxcursor-dev_1%3a1.1.14-1_arm64.deb ... Unpacking libxcursor-dev:arm64 (1:1.1.14-1) ... Selecting previously unselected package x11proto-composite-dev. Preparing to unpack .../x11proto-composite-dev_1%3a0.4.2-2_all.deb ... Unpacking x11proto-composite-dev (1:0.4.2-2) ... Selecting previously unselected package libxcomposite-dev. Preparing to unpack .../libxcomposite-dev_1%3a0.4.4-1_arm64.deb ... Unpacking libxcomposite-dev (1:0.4.4-1) ... Selecting previously unselected package x11proto-damage-dev. Preparing to unpack .../x11proto-damage-dev_1%3a1.2.1-2_all.deb ... Unpacking x11proto-damage-dev (1:1.2.1-2) ... Selecting previously unselected package libxdamage-dev:arm64. Preparing to unpack .../libxdamage-dev_1%3a1.1.4-1ubuntu1_arm64.deb ... Unpacking libxdamage-dev:arm64 (1:1.1.4-1ubuntu1) ... Selecting previously unselected package libxml2-utils. Preparing to unpack .../libxml2-utils_2.9.1+dfsg1-3ubuntu3_arm64.deb ... Unpacking libxml2-utils (2.9.1+dfsg1-3ubuntu3) ... Selecting previously unselected package libgtk2.0-dev. Preparing to unpack .../libgtk2.0-dev_2.24.22-1ubuntu2_arm64.deb ... Unpacking libgtk2.0-dev (2.24.22-1ubuntu2) ... Selecting previously unselected package libxml2-dev:arm64. Preparing to unpack .../libxml2-dev_2.9.1+dfsg1-3ubuntu3_arm64.deb ... Unpacking libxml2-dev:arm64 (2.9.1+dfsg1-3ubuntu3) ... Selecting previously unselected package libglade2-dev:arm64. Preparing to unpack .../libglade2-dev_1%3a2.6.4-2_arm64.deb ... Unpacking libglade2-dev:arm64 (1:2.6.4-2) ... Selecting previously unselected package libgtksourceview2.0-common. Preparing to unpack .../libgtksourceview2.0-common_2.10.5-1ubuntu2_all.deb ... Unpacking libgtksourceview2.0-common (2.10.5-1ubuntu2) ... Selecting previously unselected package libgtksourceview2.0-0. Preparing to unpack .../libgtksourceview2.0-0_2.10.5-1ubuntu2_arm64.deb ... Unpacking libgtksourceview2.0-0 (2.10.5-1ubuntu2) ... Selecting previously unselected package libgtkspell-dev. Preparing to unpack .../libgtkspell-dev_2.0.16-1ubuntu7_arm64.deb ... Unpacking libgtkspell-dev (2.0.16-1ubuntu7) ... Selecting previously unselected package liblablgtk2-gnome-ocaml. Preparing to unpack .../liblablgtk2-gnome-ocaml_2.16.0+dfsg-1_arm64.deb ... Unpacking liblablgtk2-gnome-ocaml (2.16.0+dfsg-1) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Preparing to unpack .../liblablgtk2-ocaml-dev_2.16.0+dfsg-1_arm64.deb ... Unpacking liblablgtk2-ocaml-dev (2.16.0+dfsg-1) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../liblablgtksourceview2-ocaml_2.16.0+dfsg-1_arm64.deb ... Unpacking liblablgtksourceview2-ocaml (2.16.0+dfsg-1) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../libocamlgraph-ocaml-dev_1.8.3-1build1_arm64.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.3-1build1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../libzarith-ocaml_1.2.1-2build1_arm64.deb ... Unpacking libzarith-ocaml (1.2.1-2build1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../dh-ocaml_1.0.8_all.deb ... Unpacking dh-ocaml (1.0.8) ... Selecting previously unselected package frama-c-base. Preparing to unpack .../frama-c-base_20130601+fluorine3+dfsg-2build1_arm64.deb ... Unpacking frama-c-base (20130601+fluorine3+dfsg-2build1) ... Setting up libexpat1:arm64 (2.1.0-4ubuntu1) ... Setting up libmagic1:arm64 (1:5.14-2ubuntu1) ... Setting up libpopt0:arm64 (1.16-8ubuntu1) ... Setting up libssl1.0.0:arm64 (1.0.1f-1ubuntu1) ... Setting up libpython3.3-minimal:arm64 (3.3.4-1) ... Setting up mime-support (3.54ubuntu1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode Setting up libmpdec2:arm64 (2.4.0-6) ... Setting up libpython3.3-stdlib:arm64 (3.3.4-1) ... Setting up python3.3-minimal (3.3.4-1) ... Setting up libasprintf0c2:arm64 (0.18.3.1-1ubuntu2) ... Setting up libglib2.0-0:arm64 (2.39.4-0ubuntu1) ... No schema files found: doing nothing. Setting up libdbus-glib-1-2:arm64 (0.100.2-1) ... Setting up libpipeline1:arm64 (1.2.6-2) ... Setting up libsystemd-login0:arm64 (204-5ubuntu11) ... Setting up libxau6:arm64 (1:1.0.8-1) ... Setting up libxdmcp6:arm64 (1:1.1.1-1) ... Setting up libxcb1:arm64 (1.10-2ubuntu1) ... Setting up libx11-data (2:1.6.2-1ubuntu2) ... Setting up libx11-6:arm64 (2:1.6.2-1ubuntu2) ... Setting up libxext6:arm64 (2:1.3.2-1) ... Setting up libxml2:arm64 (2.9.1+dfsg1-3ubuntu3) ... Setting up groff-base (1.22.2-5) ... Setting up bsdmainutils (9.0.5ubuntu1) ... 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 man-db (2.6.6-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libart-2.0-2:arm64 (2.3.21-2) ... Setting up libasound2-data (1.0.27.2-3ubuntu2) ... Setting up libasound2:arm64 (1.0.27.2-3ubuntu2) ... Setting up libatk1.0-data (2.10.0-2ubuntu2) ... Setting up libatk1.0-0:arm64 (2.10.0-2ubuntu2) ... Setting up libavahi-common-data:arm64 (0.6.31-4ubuntu1) ... Setting up libavahi-common3:arm64 (0.6.31-4ubuntu1) ... Setting up libavahi-client3:arm64 (0.6.31-4ubuntu1) ... Setting up libavahi-glib1:arm64 (0.6.31-4ubuntu1) ... Setting up libbonobo2-common (2.32.1-0ubuntu5) ... Setting up libidl-common (0.8.14-0.2ubuntu4) ... Setting up libidl0:arm64 (0.8.14-0.2ubuntu4) ... Setting up liborbit-2-0:arm64 (1:2.14.19-0.3) ... Setting up liborbit2:arm64 (1:2.14.19-0.3) ... Setting up libbonobo2-0:arm64 (2.32.1-0ubuntu5) ... Setting up ucf (3.0027+nmu1) ... Setting up gconf2-common (3.2.6-0ubuntu1) ... Creating config file /etc/gconf/2/path with new version Setting up libgconf-2-4:arm64 (3.2.6-0ubuntu1) ... Setting up libjpeg-turbo8:arm64 (1.3.0-0ubuntu2) ... Setting up libjpeg8:arm64 (8c-2ubuntu8) ... Setting up libjasper1:arm64 (1.900.1-14ubuntu3) ... Setting up libjbig0:arm64 (2.0-2ubuntu4) ... Setting up libtiff5:arm64 (4.0.3-7) ... Setting up libgdk-pixbuf2.0-common (2.30.4-0ubuntu1) ... Setting up libgdk-pixbuf2.0-0:arm64 (2.30.4-0ubuntu1) ... Setting up libgtk2.0-common (2.24.22-1ubuntu2) ... Setting up fonts-dejavu-core (2.34-1ubuntu1) ... Setting up fontconfig-config (2.11.0-0ubuntu4) ... Setting up libfreetype6:arm64 (2.5.2-1ubuntu1) ... Setting up libfontconfig1:arm64 (2.11.0-0ubuntu4) ... Setting up libpixman-1-0:arm64 (0.30.2-2ubuntu1) ... Setting up libxcb-render0:arm64 (1.10-2ubuntu1) ... Setting up libxcb-shm0:arm64 (1.10-2ubuntu1) ... Setting up libxrender1:arm64 (1:0.9.8-1) ... Setting up libcairo2:arm64 (1.12.16-0ubuntu2) ... Setting up libcups2:arm64 (1.7.1-4) ... Setting up libthai-data (0.1.20-3) ... Setting up libdatrie1:arm64 (0.2.8-1) ... Setting up libthai0:arm64 (0.1.20-3) ... Setting up fontconfig (2.11.0-0ubuntu4) ... Regenerating fonts cache... done. Setting up libpango-1.0-0:arm64 (1.36.1-0ubuntu1) ... Setting up libgraphite2-3:arm64 (1.2.4-1ubuntu1) ... Setting up libharfbuzz0b:arm64 (0.9.26-4) ... Setting up libpangoft2-1.0-0:arm64 (1.36.1-0ubuntu1) ... Setting up libpangocairo-1.0-0:arm64 (1.36.1-0ubuntu1) ... Setting up libxcomposite1:arm64 (1:0.4.4-1) ... Setting up libxfixes3:arm64 (1:5.0.1-1ubuntu1) ... Setting up libxcursor1:arm64 (1:1.1.14-1) ... Setting up libxdamage1:arm64 (1:1.1.4-1ubuntu1) ... Setting up libxi6:arm64 (2:1.7.1.901-1ubuntu1) ... Setting up libxinerama1:arm64 (2:1.1.3-1) ... Setting up libxrandr2:arm64 (2:1.4.2-1) ... Setting up shared-mime-info (1.2-0ubuntu1) ... Setting up libgtk2.0-0:arm64 (2.24.22-1ubuntu2) ... Setting up libglade2-0:arm64 (1:2.6.4-2) ... Setting up libltdl7:arm64 (2.4.2-1.7ubuntu1) ... Setting up libtdb1:arm64 (1.2.12-1) ... Setting up libogg0:arm64 (1.3.1-1ubuntu1) ... Setting up libvorbis0a:arm64 (1.3.2-1.3ubuntu1) ... Setting up libvorbisfile3:arm64 (1.3.2-1.3ubuntu1) ... Setting up sound-theme-freedesktop (0.8-1) ... Setting up libcanberra0:arm64 (0.30-0ubuntu2) ... Setting up libapparmor1:arm64 (2.8.0-0ubuntu38) ... Setting up netbase (5.2) ... Setting up dbus (1.6.18-0ubuntu3) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up psmisc (22.20-1ubuntu2) ... Setting up dbus-x11 (1.6.18-0ubuntu3) ... Setting up libpython2.7-minimal:arm64 (2.7.6-5) ... Setting up python2.7-minimal (2.7.6-5) ... Linking and byte-compiling packages for runtime python2.7... Setting up libpython2.7-stdlib:arm64 (2.7.6-5) ... Setting up python2.7 (2.7.6-5) ... Setting up python-minimal (2.7.5-5ubuntu3) ... Setting up libpython-stdlib:arm64 (2.7.5-5ubuntu3) ... Setting up python (2.7.5-5ubuntu3) ... Setting up libgail18:arm64 (2.24.22-1ubuntu2) ... Setting up libgnomecanvas2-common (2.30.3-2) ... Setting up libgnomecanvas2-0:arm64 (2.30.3-2) ... Setting up libbonoboui2-common (2.24.5-0ubuntu3) ... Setting up libcairo-gobject2:arm64 (1.12.16-0ubuntu2) ... Setting up liblzo2-2:arm64 (2.06-1.2ubuntu1) ... Setting up libcairo-script-interpreter2:arm64 (1.12.16-0ubuntu2) ... Setting up libcroco3:arm64 (0.6.8-2ubuntu1) ... Setting up libelfg0:arm64 (0.8.13-5) ... Setting up libaspell15 (0.60.7~20110707-1ubuntu1) ... Setting up libtext-iconv-perl (1.7-5build2) ... Setting up dictionaries-common (1.20.5) ... Setting up libhunspell-1.3-0:arm64 (1.3.2-6ubuntu2) ... Setting up libgmpxx4ldbl:arm64 (2:5.1.3+dfsg-1ubuntu1) ... Setting up libgnome-keyring-common (3.8.0-2) ... Setting up libgnome-keyring0:arm64 (3.8.0-2) ... Setting up x11-common (1:7.7+1ubuntu8) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:arm64 (2:1.0.8-2) ... Setting up libsm6:arm64 (2:1.2.1-2) ... Setting up libgnomeui-common (2.24.5-3) ... Setting up libharfbuzz-gobject0:arm64 (0.9.26-4) ... Setting up libicu52:arm64 (52.1-3) ... Setting up libharfbuzz-icu0:arm64 (0.9.26-4) ... Setting up libxft2:arm64 (2.3.1-2) ... Setting up libpangoxft-1.0-0:arm64 (1.36.1-0ubuntu1) ... Setting up libpcrecpp0:arm64 (1:8.31-2ubuntu2) ... Setting up libppl12:arm64 (1:1.0-7ubuntu2) ... Setting up libppl-c4:arm64 (1:1.0-7ubuntu2) ... Setting up librsvg2-2:arm64 (2.40.1-0ubuntu1) ... Setting up libsigsegv2:arm64 (2.10-2) ... Setting up libunistring0:arm64 (0.9.3-5ubuntu3) ... Setting up python3.3 (3.3.4-1) ... Setting up python3-minimal (3.3.3-1) ... Setting up libpython3-stdlib:arm64 (3.3.3-1) ... Setting up file (1:5.14-2ubuntu1) ... Setting up gettext-base (0.18.3.1-1ubuntu2) ... Setting up libgirepository-1.0-1 (1.39.3-0ubuntu2) ... Setting up gir1.2-glib-2.0 (1.39.3-0ubuntu2) ... Setting up libglib2.0-data (2.39.4-0ubuntu1) ... Setting up m4 (1.4.17-2ubuntu1) ... Setting up autoconf (2.69-2) ... Setting up autotools-dev (20130810.1) ... Setting up ocaml-base-nox (4.01.0-3ubuntu3) ... Setting up libtinfo-dev:arm64 (5.9+20131221-1ubuntu1) ... Setting up libncurses5-dev:arm64 (5.9+20131221-1ubuntu1) ... Setting up emacsen-common (2.0.7) ... Setting up gettext (0.18.3.1-1ubuntu2) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up gir1.2-atk-1.0 (2.10.0-2ubuntu2) ... Setting up gir1.2-freedesktop (1.39.3-0ubuntu2) ... Setting up gir1.2-gdkpixbuf-2.0 (2.30.4-0ubuntu1) ... Setting up gir1.2-pango-1.0 (1.36.1-0ubuntu1) ... Setting up gir1.2-gtk-2.0 (2.24.22-1ubuntu2) ... Setting up libapron (0.9.10-5.2ubuntu6) ... Setting up libgmp-dev:arm64 (2:5.1.3+dfsg-1ubuntu1) ... Setting up libgmp3-dev (2:5.1.3+dfsg-1ubuntu1) ... Setting up libmpfr-dev:arm64 (3.1.2-1) ... Setting up libppl0.12-dev:arm64 (1:1.0-7ubuntu2) ... Setting up libapron-dev (0.9.10-5.2ubuntu6) ... Setting up libapron-ocaml (0.9.10-5.2ubuntu6) ... Setting up pkg-config (0.26-1ubuntu4) ... Setting up libglib2.0-bin (2.39.4-0ubuntu1) ... Setting up libpcre3-dev:arm64 (1:8.31-2ubuntu2) ... Setting up zlib1g-dev:arm64 (1:1.2.8.dfsg-1ubuntu1) ... Setting up libglib2.0-dev (2.39.4-0ubuntu1) ... Setting up libatk1.0-dev (2.10.0-2ubuntu2) ... Setting up libexpat1-dev:arm64 (2.1.0-4ubuntu1) ... Setting up libpng12-dev (1.2.50-1ubuntu1) ... Setting up libfreetype6-dev (2.5.2-1ubuntu1) ... Setting up libfontconfig1-dev (2.11.0-0ubuntu4) ... Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up x11proto-core-dev (7.0.24-1) ... Setting up libxau-dev:arm64 (1:1.0.8-1) ... Setting up libxdmcp-dev:arm64 (1:1.1.1-1) ... Setting up x11proto-input-dev (2.3-1) ... Setting up x11proto-kb-dev (1.0.6-2) ... Setting up xtrans-dev (1.3.2-1) ... Setting up libpthread-stubs0-dev:arm64 (0.3-4) ... Setting up libxcb1-dev:arm64 (1.10-2ubuntu1) ... Setting up libx11-dev:arm64 (2:1.6.2-1ubuntu2) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up libxrender-dev:arm64 (1:0.9.8-1) ... Setting up libice-dev:arm64 (2:1.0.8-2) ... Setting up libsm-dev:arm64 (2:1.2.1-2) ... Setting up libpixman-1-dev (0.30.2-2ubuntu1) ... Setting up libxcb-render0-dev:arm64 (1.10-2ubuntu1) ... Setting up libxcb-shm0-dev:arm64 (1.10-2ubuntu1) ... Setting up x11proto-xext-dev (7.3.0-1) ... Setting up libxext-dev:arm64 (2:1.3.2-1) ... Setting up libcairo2-dev (1.12.16-0ubuntu2) ... Setting up libgdk-pixbuf2.0-dev (2.30.4-0ubuntu1) ... Setting up libxft-dev (2.3.1-2) ... Setting up libharfbuzz-dev (0.9.26-4) ... Setting up libpango1.0-dev (1.36.1-0ubuntu1) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up libxinerama-dev:arm64 (2:1.1.3-1) ... Setting up x11proto-fixes-dev (1:5.0-2ubuntu2) ... Setting up libxfixes-dev:arm64 (1:5.0.1-1ubuntu1) ... Setting up libxi-dev (2:1.7.1.901-1ubuntu1) ... Setting up x11proto-randr-dev (1.4.0+git20120101.is.really.1.4.0-0ubuntu1) ... Setting up libxrandr-dev:arm64 (2:1.4.2-1) ... Setting up libxcursor-dev:arm64 (1:1.1.14-1) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxcomposite-dev (1:0.4.4-1) ... Setting up x11proto-damage-dev (1:1.2.1-2) ... Setting up libxdamage-dev:arm64 (1:1.1.4-1ubuntu1) ... Setting up libxml2-utils (2.9.1+dfsg1-3ubuntu3) ... Setting up libgtk2.0-dev (2.24.22-1ubuntu2) ... Setting up libxml2-dev:arm64 (2.9.1+dfsg1-3ubuntu3) ... Setting up libglade2-dev:arm64 (1:2.6.4-2) ... Setting up libgtksourceview2.0-common (2.10.5-1ubuntu2) ... Setting up libgtksourceview2.0-0 (2.10.5-1ubuntu2) ... Setting up libzarith-ocaml (1.2.1-2build1) ... Setting up dh-ocaml (1.0.8) ... Processing triggers for dictionaries-common (1.20.5) ... 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_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] Setting up aspell (0.60.7~20110707-1ubuntu1) ... Processing triggers for dictionaries-common (1.20.5) ... Setting up aspell-en (7.1-0-1) ... Processing triggers for dictionaries-common (1.20.5) ... Setting up libenchant1c2a:arm64 (1.6.0-10ubuntu1) ... Setting up libgtkspell0 (2.0.16-1ubuntu7) ... Setting up liblablgtk2-ocaml (2.16.0+dfsg-1) ... Setting up libcoq-ocaml (8.4pl3dfsg-1) ... Setting up libenchant-dev (1.6.0-10ubuntu1) ... Setting up libgtkspell-dev (2.0.16-1ubuntu7) ... Setting up liblablgtksourceview2-ocaml (2.16.0+dfsg-1) ... Setting up python3 (3.3.3-1) ... running python rtupdate hooks for python3.3... running python post-rtupdate hooks for python3.3... Setting up dh-python (1.20140128-1ubuntu2) ... Setting up ocaml-compiler-libs (4.01.0-3ubuntu3) ... Setting up ocaml-interp (4.01.0-3ubuntu3) ... Setting up coq-theories (8.4pl3dfsg-1) ... Setting up coq (8.4pl3dfsg-1) ... 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 apparmor-easyprof (2.8.0-0ubuntu38) ... Setting up dh-apparmor (2.8.0-0ubuntu38) ... Setting up debhelper (9.20131127ubuntu2) ... Setting up libfloat-coq (1:8.4-3) ... Setting up gconf-service-backend (3.2.6-0ubuntu1) ... Setting up gconf-service (3.2.6-0ubuntu1) ... Setting up gconf2 (3.2.6-0ubuntu1) ... update-alternatives: using /usr/bin/gconftool-2 to provide /usr/bin/gconftool (gconftool) in auto mode (gconftool-2:29263): GConf-WARNING **: Client failed to connect to the D-BUS daemon: Unable to autolaunch a dbus-daemon without a $DISPLAY for X11 Setting up libgnomevfs2-common (1:2.24.4-1ubuntu6) ... Setting up libgnomevfs2-0:arm64 (1:2.24.4-1ubuntu6) ... Setting up libgnome2-common (2.32.1-4ubuntu1) ... Setting up libgnome2-bin (2.32.1-4ubuntu1) ... Setting up libgnome2-0:arm64 (2.32.1-4ubuntu1) ... Setting up libbonoboui2-0:arm64 (2.24.5-0ubuntu3) ... Setting up libgnomeui-0:arm64 (2.24.5-3) ... Setting up ocaml-nox (4.01.0-3ubuntu3) ... Setting up camlidl (1.05-14build1) ... Setting up camlp4 (4.01.0-3ubuntu3) ... Setting up libapron-ocaml-dev (0.9.10-5.2ubuntu6) ... Setting up liblablgtk2-gnome-ocaml (2.16.0+dfsg-1) ... Setting up liblablgtk2-ocaml-dev (2.16.0+dfsg-1) ... Setting up libocamlgraph-ocaml-dev (1.8.3-1build1) ... Setting up frama-c-base (20130601+fluorine3+dfsg-2build1) ... Processing triggers for libc-bin (2.18-0ubuntu6) ... Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.18-0ubuntu6 make_3.81-8.2ubuntu3 dpkg-dev_1.17.5ubuntu4 gcc-4.8_4.8.2-15ubuntu3 g++-4.8_4.8.2-15ubuntu3 binutils_2.24-2ubuntu3 libstdc++-4.8-dev_4.8.2-15ubuntu3 libstdc++6_4.8.2-15ubuntu3 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::Quilt gpgv: Signature made Thu Feb 13 20:45:22 2014 UTC using RSA key ID D4CACDFF gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./why_2.33-1.dsc dpkg-source: info: extracting why in why-2.33 dpkg-source: info: unpacking why_2.33.orig.tar.gz dpkg-source: info: unpacking why_2.33-1.debian.tar.xz dpkg-source: info: applying deprecated-or dpkg-source: info: applying hashtbl dpkg-source: info: applying atp-versions dpkg-source: info: applying frama-c-versions dpkg-buildpackage: source package why dpkg-buildpackage: source version 2.33-1 dpkg-buildpackage: source distribution unstable dpkg-source --before-build why-2.33 dpkg-buildpackage: host architecture arm64 /usr/bin/fakeroot debian/rules clean dh --with ocaml clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/buildd/why-2.33' [ ! -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 `/build/buildd/why-2.33' dh_ocamlclean rm -f ocamlinit-stamp dh_clean rm -f debian/why.substvars rm -f debian/why.*.debhelper rm -rf debian/why/ rm -f debian/why-examples.substvars rm -f debian/why-examples.*.debhelper rm -rf debian/why-examples/ rm -f debian/libwhy-coq.substvars rm -f debian/libwhy-coq.*.debhelper rm -rf debian/libwhy-coq/ rm -f debian/*.debhelper.log 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 rm -f debian/files find . \( \( -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 --with ocaml build-arch dh_testdir -a dh_ocamlinit -a touch ocamlinit-stamp debian/rules override_dh_auto_configure make[1]: Entering directory `/build/buildd/why-2.33' autoconf ./configure \ --host=aarch64-linux-gnu \ --build=aarch64-linux-gnu \ --prefix=/usr \ --libdir=/usr/share \ --mandir=\${prefix}/share/man \ --infodir=\${prefix}/share/info \ --enable-apron=yes \ LDFLAGS="-Wl,-z,defs" checking for ocamlc... ocamlc ocaml version is 4.01.0 ocaml library path is /usr/lib/ocaml checking OS dependent settings... Unix checking for ocamlopt... no configure: WARNING: Cannot find ocamlopt; bytecode compilation only. checking for ocamlc.opt... no checking for ocamldep... ocamldep checking for ocamldep.opt... no checking for ocamllex... ocamllex checking for ocamllex.opt... no checking for ocamlyacc... ocamlyacc checking for ocamldoc... ocamldoc checking for ocamldoc.opt... no checking for /usr/lib/ocaml/ocamlgraph/graph.cmi... yes checking for /usr/lib/ocaml/lablgtk2/lablgtk.cma... yes checking for ocamlweb... true checking for /usr/lib/ocaml/apron/apron.cmxa... no checking for /usr/lib/apron.cmxa... no configure: WARNING: Cannot find APRON library. checking for frama-c... frama-c checking Frama-c version... Fluorine-20130601 checking for camlp4o... camlp4o checking camlp4 version... ok checking for coqc... coqc checking for coqdep... coqdep checking Coq version... 8.4pl3 checking Coq floating-point library... no checking Coq legacy floating-point library... yes checking for why3... no configure: WARNING: Cannot find why3. checking for pvs... no configure: WARNING: Cannot find PVS. checking for mizf... no configure: WARNING: Cannot find Mizar. configure: creating ./config.status config.status: creating Makefile config.status: creating bench/bench Summary ----------------------------------------- OCaml version : 4.01.0 OCaml library path : /usr/lib/ocaml OcamlGraph lib : in Ocaml lib, subdir ocamlgraph Verbose make : no Inference of annotations : no (APRON library cannot be found, see above) Frama-C plugin : yes Frama-C version : Fluorine-20130601 GWhy : yes Coq support : yes Version : v8.1 (8.4pl3) : (Jessie3 Coq proofs disabled, requires Coq realizations for Why3) Lib : /usr/lib/coq FP lib (Flocq) : no (Coq library Flocq/Core/Fcore.vo not found) FP lib (Float) : yes PVS support : no Mizar support : no Other provers support : at run-time (use why-config to configure) make[1]: Leaving directory `/build/buildd/why-2.33' dh_auto_build -a make -j1 make[1]: Entering directory `/build/buildd/why-2.33' BINDIR=/usr/bin LIBDIR=/usr/share COQVER=v8.1 ./version.sh ocamllex src/rc.mll 39 states, 1677 transitions, table size 6942 bytes 1933 additional bytes used for bindings ocamllex src/xml.mll 51 states, 1824 transitions, table size 7602 bytes 2541 additional bytes used for bindings ocamllex src/lexer.mll 100 states, 1298 transitions, table size 5792 bytes 4626 additional bytes used for bindings ocamlyacc -v src/parser.mly ocamllex src/linenum.mll 15 states, 323 transitions, table size 1382 bytes 1194 additional bytes used for bindings ocamllex jc/numconst.mll 71 states, 764 transitions, table size 3482 bytes rm -f jc/jc_stdlib.ml case 4.01.0 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_ge40.ml jc/jc_stdlib.ml ;; \ esac chmod -w jc/jc_stdlib.ml ocamllex 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 (APRON library cannot be found, see above)" = "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 java/java_lexer.mll 168 states, 1957 transitions, table size 8836 bytes 4503 additional bytes used for bindings ocamlyacc -v ml/parsing/parser.mly ocamllex ml/parsing/lexer.mll 172 states, 3313 transitions, table size 14284 bytes 2252 additional bytes used for bindings ocamllex ml/parsing/linenum.mll 12 states, 323 transitions, table size 1364 bytes ocamllex c/clexer.mll 317 states, 15579 transitions, table size 64218 bytes 3110 additional bytes used for bindings ocamlyacc -v c/cparser.mly 1 shift/reduce conflict, 24 reduce/reduce conflicts. ocamllex c/cllexer.mll 276 states, 15549 transitions, table size 63852 bytes ocamlyacc -v c/clparser.mly ocamllex c/cpp.mll 105 states, 331 transitions, table size 1954 bytes ocamllex c/cconst.mll 61 states, 574 transitions, table size 2662 bytes ocamllex intf/hilight.mll 43 states, 532 transitions, table size 2386 bytes ocamllex intf/whyhilight.mll 101 states, 6417 transitions, table size 26274 bytes ocamllex intf/tagsplit.mll 9 states, 495 transitions, table size 2034 bytes ocamllex intf/config.mll 14 states, 446 transitions, table size 1868 bytes ocamllex tools/why2html.mll 82 states, 2034 transitions, table size 8628 bytes ocamllex tools/cvcl_split.mll 18 states, 262 transitions, table size 1156 bytes ocamllex tools/simplify_split.mll 38 states, 429 transitions, table size 1944 bytes ocamllex tools/smtlib_split.mll 61 states, 455 transitions, table size 2186 bytes ocamllex tools/rv_split.mll 65 states, 376 transitions, table size 1894 bytes ocamllex tools/zenon_split.mll 37 states, 379 transitions, table size 1738 bytes ocamllex tools/ergo_split.mll 41 states, 2642 transitions, table size 10814 bytes ocamllex tools/simplify_lexer.mll 16 states, 364 transitions, table size 1552 bytes ocamlyacc -v tools/simplify_parser.mly ocamllex tools/toolstat_lex.mll 223 states, 5431 transitions, table size 23062 bytes 11960 additional bytes used for bindings ocamlyacc -v tools/toolstat_pars.mly ocamllex 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 -slash -I src -I jc -I c -I java -I intf -I tools -I mix -I ml src/*.ml src/*.mli jc/*.mli jc/*.ml c/*.mli c/*.ml java/*.mli java/*.ml intf/*.ml intf/*.mli tools/*.mli tools/*.ml mix/*.mli mix/*.ml ml/*.ml ml/*.mli > .depend ocamldep -slash -I ml/utils -I ml/parsing -I ml/typing ml/parsing/*.ml ml/parsing/*.mli ml/typing/*.ml ml/typing/*.mli ml/utils/*.ml ml/utils/*.mli >> .depend make -C frama-c-plugin depend make[2]: Entering directory `/build/buildd/why-2.33/frama-c-plugin' /usr/share/frama-c/Makefile.dynamic:288: .depend: No such file or directory sh -c 'for f in "$@"; do if test -e $f; then chmod u+w $f; fi done' chmod_rw ./.depend ocamldep -slash \ -I . -I "/usr/lib/frama-c" \ 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 touch Jessie_DEP sh -c 'for f in "$@"; do if test -e $f; then chmod u+w $f; fi done' chmod_rw ./.depend sh -c 'for f in "$@"; do if test -e $f; then chmod u+w $f; fi done' chmod_rw ./.depend ocamldep -slash \ -I . -I "/usr/lib/frama-c" \ 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[2]: Leaving directory `/build/buildd/why-2.33/frama-c-plugin' make[1]: Leaving directory `/build/buildd/why-2.33' make[1]: Entering directory `/build/buildd/why-2.33' Ocamlc src/lib.mli Ocamlc src/lib.ml Ocamlc src/rc.mli Ocamlc src/rc.ml Ocamlc tools/dpConfig.mli Ocamlc tools/dpConfig.ml Ocamlc src/version.ml Ocamlc src/ident.mli Ocamlc src/logic.mli Ocamlc src/loc.mli Ocamlc src/effect.mli 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/project.mli Ocamlc src/options.mli Ocamlc src/options.ml Ocamlc src/linenum.mli Ocamlc src/linenum.ml Ocamlc src/loc.ml Ocamlc src/ident.ml Ocamlc src/print_real.ml Ocamlc src/effect.ml Ocamlc src/pp.mli Ocamlc src/pp.ml Ocamlc src/option_misc.mli Ocamlc src/option_misc.ml Ocamlc src/misc.mli Ocamlc src/misc.ml Ocamlc src/error.mli Ocamlc src/parser.mli Ocamlc src/parser.ml Ocamlc src/lexer.mli Ocamlc src/lexer.ml Ocamlc src/report.mli Ocamlc src/report.ml Ocamlc src/env.ml Ocamlc src/mapenv.ml Ocamlc src/rename.mli Ocamlc src/rename.ml Ocamlc src/explain.mli Ocamlc src/explain.ml Ocamlc src/util.mli Ocamlc src/util.ml Ocamlc src/ltyping.mli Ocamlc src/ltyping.ml Ocamlc src/typing.mli Ocamlc src/typing.ml Ocamlc src/wp.mli Ocamlc src/wp.ml Ocamlc src/fastwp.mli Ocamlc src/fastwp.ml Ocamlc src/monadSig.mli Ocamlc src/monad.mli Ocamlc src/monad.ml Ocamlc src/mlize.mli Ocamlc src/mlize.ml Ocamlc src/red.mli Ocamlc src/red.ml Ocamlc src/log.mli Ocamlc src/vcg.mli Ocamlc src/vcg.ml Ocamlc src/predDefExpansor.mli Ocamlc src/predDefExpansor.ml Ocamlc src/encoding_mono_inst.mli Ocamlc src/encoding_mono_inst.ml Ocamlc src/encoding_rec.mli Ocamlc src/encoding_rec.ml Ocamlc src/encoding_pred.mli Ocamlc src/encoding_pred.ml Ocamlc src/encoding_strat.mli Ocamlc src/encoding_strat.ml Ocamlc src/encoding_mono.ml Ocamlc src/monomorph.mli Ocamlc src/monomorph.ml Ocamlc src/encoding.mli Ocamlc src/encoding.ml Ocamlc src/pvs.mli Ocamlc src/pvs.ml Ocamlc src/hol4.mli Ocamlc src/hol4.ml Ocamlc src/gappa.mli Ocamlc src/gappa.ml Ocamlc src/holl.mli Ocamlc src/holl.ml Ocamlc src/harvey.mli Ocamlc src/harvey.ml Ocamlc src/simplify.mli Ocamlc src/simplify.ml Ocamlc src/regen.mli Ocamlc src/regen.ml Ocamlc src/mizar.mli Ocamlc src/mizar.ml Ocamlc src/smtlib.mli Ocamlc src/smtlib.ml Ocamlc src/coq.mli Ocamlc src/coq.ml Ocamlc src/zenon.mli Ocamlc src/zenon.ml Ocamlc src/z3.mli Ocamlc src/z3.ml Ocamlc src/cvcl.mli Ocamlc src/cvcl.ml Ocamlc tools/calldp.mli Ocamlc tools/calldp.ml Ocamlc src/xml.mli Ocamlc src/xml.ml Ocamlc src/project.ml Ocamlc src/why3_kw.mli Ocamlc src/why3_kw.ml Ocamlc src/why3.mli Ocamlc src/why3.ml Ocamlc src/pretty.mli Ocamlc src/pretty.ml Ocamlc src/unionfind.ml Ocamlc src/theoryreducer.ml Ocamlc src/theory_filtering.ml Ocamlc src/hypotheses_filtering.ml Ocamlc src/dispatcher.mli Ocamlc src/dispatcher.ml Ocamlc src/isabelle.mli Ocamlc src/isabelle.ml Ocamlc src/ocaml.mli Ocamlc src/ocaml.ml Ocamlc src/main.ml Ocamlc src/why.ml Linking bin/why.byte Ocamlc tools/whyConfig.ml # @echo 'Linking bin/why-config.byte' && ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/why-config.byte unix.cma str.cma src/rc.cmo src/version.cmo tools/dpConfig.cmo tools/whyConfig.cmo WHYLIB=lib bin/why.byte --no-pervasives -tc lib/why/prelude.why for f in lib/why/bool.why lib/why/integer.why lib/why/divisions.why lib/why/real.why lib/why/arrays.why lib/why/jessie.why lib/why/jessie_bitvectors.why lib/why/mybag.why lib/why/mix.why lib/why/floats_common.why lib/why/floats_strict.why lib/why/floats_full.why lib/why/floats_multi_rounding.why ; do \ WHYLIB=lib bin/why.byte -tc $f; \ done Ocamlc jc/jc_env.mli Ocamlc jc/output.mli Ocamlc jc/output.ml Ocamlc jc/jc_common_options.mli Ocamlc jc/jc_common_options.ml Ocamlc jc/jc_stdlib.ml Ocamlc jc/jc_envset.mli Ocamlc jc/jc_envset.ml Ocamlc jc/jc_region.ml Ocamlc jc/jc_ast.mli Ocamlc jc/jc_fenv.ml Ocamlc jc/jc_constructors.mli Ocamlc jc/jc_constructors.ml Ocamlc jc/jc_pervasives.mli Ocamlc jc/jc_pervasives.ml Ocamlc jc/jc_iterators.mli Ocamlc jc/jc_iterators.ml Ocamlc jc/jc_type_var.mli 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 jc/jc_options.mli Ocamlc jc/jc_options.ml Ocamlc jc/jc_name.ml Ocamlc jc/jc_struct_tools.mli Ocamlc jc/jc_struct_tools.ml Ocamlc jc/jc_norm.mli Ocamlc jc/jc_norm.ml Ocamlc jc/jc_typing.mli Ocamlc jc/jc_typing.ml Ocamlc jc/numconst.mli Ocamlc jc/numconst.ml Ocamlc jc/jc_parser.mli Ocamlc jc/jc_parser.ml Ocamlc jc/jc_lexer.mli Ocamlc jc/jc_lexer.ml Ocamlc jc/jc_separation.ml Ocamlc jc/jc_callgraph.mli Ocamlc jc/jc_callgraph.ml Ocamlc jc/jc_effect.ml Ocamlc jc/jc_ai.mli Ocamlc jc/jc_ai.ml Ocamlc jc/jc_interp_misc.mli Ocamlc jc/jc_interp_misc.ml Ocamlc jc/jc_invariants.ml Ocamlc jc/jc_pattern.ml Ocamlc jc/jc_frame_notin.ml Ocamlc jc/jc_interp.mli Ocamlc jc/jc_interp.ml Ocamlc jc/jc_frame.mli Ocamlc jc/jc_frame.ml Ocamlc jc/jc_make.ml Ocamlc jc/jc_main.ml Linking bin/jessie.byte Ocamlc java/java_env.mli Ocamlc java/java_options.ml Ocamlc java/java_ast.mli Ocamlc java/java_tast.mli Ocamlc java/java_pervasives.ml Ocamlc java/java_abstract.ml Ocamlc java/java_parser.mli Ocamlc java/java_parser.ml Ocamlc java/java_lexer.ml Ocamlc java/java_syntax.ml Ocamlc java/java_typing.mli Ocamlc java/java_typing.ml Ocamlc java/java_callgraph.mli Ocamlc java/java_callgraph.ml Ocamlc java/java_analysis.ml Ocamlc java/java_interp.ml Ocamlc java/java_main.ml Linking bin/krakatoa.byte coqc -R lib/coq Why lib/coq/WhyInt.v coqc -R lib/coq Why lib/coq/WhyArrays.v coqc -R lib/coq Why lib/coq/WhyBool.v coqc -R lib/coq Why lib/coq/WhyTuples.v coqc -R lib/coq Why lib/coq/WhyPermut.v coqc -R lib/coq Why lib/coq/WhyCoqCompat.v coqc -R lib/coq Why lib/coq/WhySorted.v coqc -R lib/coq Why lib/coq/WhyExn.v coqc -R lib/coq Why lib/coq/WhyLemmas.v coqc -R lib/coq Why lib/coq/WhyTactics.v coqc -R lib/coq Why lib/coq/WhyPrelude.v coqc -R lib/coq Why lib/coq/WhyCM.v coqc -R lib/coq Why lib/coq/Why.v coqc -R lib/coq Why lib/coq/WhyReal.v WHYLIB=lib bin/why.byte --dir lib/coq --coq-v8 -coq-preamble \ "Require Export Reals. Require Export Why." \ --no-coq-use-dp lib/why/jessie.why coqc -R lib/coq Why lib/coq/jessie_why.v coqc -R lib/coq Why lib/coq/WhyFloatsStrictLegacy.v ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/why2html.byte tools/why2html.ml Ocamlc tools/cvcl_split.mli Ocamlc tools/cvcl_split.ml Ocamlc tools/simplify_split.mli Ocamlc tools/simplify_split.ml Ocamlc tools/smtlib_split.ml Ocamlc tools/zenon_split.mli Ocamlc tools/zenon_split.ml Ocamlc tools/ergo_split.mli Ocamlc tools/ergo_split.ml Ocamlc tools/rv_split.ml Ocamlc tools/dp.ml ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/why-dp.byte unix.cma str.cma src/lib.cmo tools/cvcl_split.cmo tools/simplify_split.cmo tools/smtlib_split.cmo tools/zenon_split.cmo tools/ergo_split.cmo tools/rv_split.cmo src/rc.cmo tools/dpConfig.cmo src/version.cmo tools/calldp.cmo tools/dp.cmo cc -o bin/why-cpulimit tools/cpulimit.c ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/rv_merge.byte tools/rv_merge.ml Ocamlc tools/obfuscator.ml ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/why-obfuscator.byte nums.cma src/pp.cmo src/loc.cmo src/ident.cmo src/parser.cmo src/lexer.cmo src/print_real.cmo tools/obfuscator.cmo Ocamlc tools/simplify_ast.mli Ocamlc tools/simplify_parser.mli Ocamlc tools/simplify_parser.ml Ocamlc tools/simplify_lexer.ml Ocamlc tools/simplify_towhy.ml ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/simplify2why.byte src/ident.cmo src/pp.cmo tools/simplify_parser.cmo tools/simplify_lexer.cmo tools/simplify_towhy.cmo Ocamlc tools/whystat.ml ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/why-stat.byte src/pp.cmo src/loc.cmo src/ident.cmo src/parser.cmo src/lexer.cmo tools/whystat.cmo Ocamlc tools/toolstat_types.mli Ocamlc tools/toolstat_pars.mli Ocamlc tools/toolstat_pars.ml Ocamlc tools/toolstat_lex.ml Ocamlc tools/toolstat.ml ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/tool-stat.byte src/loc.cmo src/pp.cmo tools/toolstat_pars.cmo tools/toolstat_lex.cmo tools/toolstat.cmo Ocamlc intf/colors.mli Ocamlc intf/colors.ml Ocamlc intf/tags.ml Ocamlc intf/tools.ml Ocamlc intf/tagsplit.ml Ocamlc intf/astprinter.ml Ocamlc intf/astnprinter.ml Ocamlc intf/astpprinter.ml Ocamlc intf/model.mli Ocamlc intf/model.ml Ocamlc intf/cache.ml Ocamlc intf/gConfig.mli Ocamlc intf/gConfig.ml Ocamlc intf/hilight.ml Ocamlc intf/whyhilight.ml Ocamlc intf/pprinter.mli Ocamlc intf/pprinter.ml Ocamlc intf/preferences.ml Ocamlc intf/stat.ml Linking bin/gwhy.byte ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +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/parser.cmo src/lexer.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 ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -thread -o regtest.byte unix.cma str.cma threads.cma tools/regtest.ml make -C frama-c-plugin depend make[2]: Entering directory `/build/buildd/why-2.33/frama-c-plugin' sh -c 'for f in "$@"; do if test -e $f; then chmod u+w $f; fi done' chmod_rw ./.depend ocamldep -slash \ -I . -I "/usr/lib/frama-c" \ 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[2]: Leaving directory `/build/buildd/why-2.33/frama-c-plugin' make -C frama-c-plugin Jessie.cma make[2]: Entering directory `/build/buildd/why-2.33/frama-c-plugin' ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc jessie_config.ml ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc jessie_options.mli File "jessie_options.mli", line 32, characters 0-11: Warning 33: unused open Plugin. ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc jessie_options.ml ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc jessie_integer.ml ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc common.mli File "common.mli", line 63, characters 0-72: Warning 32: unused value filter_alphanumeric. ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc common.ml File "common.ml", line 333, characters 0-19: Warning 44: this open statement shadows the value identifier * (which is later used) File "common.ml", line 333, characters 0-19: Warning 44: this open statement shadows the value identifier + (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier && (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier = (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier ^ (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier string_of_int (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier ! (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier ref (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier incr (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier >= (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier - (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier ignore (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier + (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier || (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the type identifier ref (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier := (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier @ (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier invalid_arg (which is later used) File "common.ml", line 367, characters 0-15: Warning 44: this open statement shadows the value identifier raise (which is later used) File "common.ml", line 367, characters 0-15: Warning 45: this open statement shadows the constructor Exit (which is later used) ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc rewrite.ml File "rewrite.ml", line 34, characters 0-14: Warning 45: this open statement shadows the label bstmts (which is later used) File "rewrite.ml", line 43, characters 0-11: Warning 44: this open statement shadows the value identifier constant_expr (which is later used) File "rewrite.ml", line 34, characters 0-14: Warning 45: this open statement shadows the constructor Tunion (which is later used) ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc norm.mli ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc norm.ml File "norm.ml", line 59, characters 0-11: Warning 44: this open statement shadows the value identifier constant_expr (which is later used) ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc retype.ml ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc interp.mli ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc interp.ml File "interp.ml", line 190, characters 20-29: Warning 41: IMbounded belongs to several types: int_model Jc_env.int_model The first one was selected. Please disambiguate if this is wrong. File "interp.ml", line 50, characters 0-19: Warning 44: this open statement shadows the value identifier - (which is later used) File "interp.ml", line 46, characters 0-18: Warning 44: this open statement shadows the value identifier $ (which is later used) File "interp.ml", line 49, characters 0-11: Warning 44: this open statement shadows the value identifier constant_expr (which is later used) File "interp.ml", line 50, characters 0-19: Warning 44: this open statement shadows the value identifier lsr (which is later used) File "interp.ml", line 50, characters 0-19: Warning 44: this open statement shadows the value identifier + (which is later used) File "interp.ml", line 50, characters 0-19: Warning 44: this open statement shadows the value identifier one (which is later used) File "interp.ml", line 50, characters 0-19: Warning 44: this open statement shadows the value identifier zero (which is later used) ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc register.ml ocamlc -c Jessie.mli ocamlc -o Jessie.cmo -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -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 ocamlc -o Jessie.cma -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc \ \ -a ./../jc/jc.cmo Jessie.cmo make[2]: Leaving directory `/build/buildd/why-2.33/frama-c-plugin' make[1]: Leaving directory `/build/buildd/why-2.33' dh_auto_test -a make -j1 test make[1]: Entering directory `/build/buildd/why-2.33' [ ! -f bench/test.ml ] || bin/why.byte -d -V -coq bench/test.ml make[1]: Leaving directory `/build/buildd/why-2.33' /usr/bin/fakeroot debian/rules binary-arch dh --with ocaml binary-arch dh_testroot -a dh_prep -a rm -f debian/why.substvars rm -f debian/why.*.debhelper rm -rf debian/why/ dh_installdirs -a install -d debian/why install -d debian/why/usr/share/why debian/rules override_dh_auto_install make[1]: Entering directory `/build/buildd/why-2.33' mkdir -p /build/buildd/why-2.33/debian/why//usr/lib/frama-c/plugins /usr/bin/make prefix=/build/buildd/why-2.33/debian/why/usr install \ LIBDIR=/build/buildd/why-2.33/debian/why/usr/share \ PLUGIN_INSTALL_DIR=/build/buildd/why-2.33/debian/why/usr/lib/frama-c/plugins \ COQLIB=/build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq make[2]: Entering directory `/build/buildd/why-2.33' mkdir -p /build/buildd/why-2.33/debian/why/usr/bin cp -f bin/why.byte /build/buildd/why-2.33/debian/why/usr/bin/why cp -f bin/why-config.byte /build/buildd/why-2.33/debian/why/usr/bin/why-config cp -f bin/jessie.byte /build/buildd/why-2.33/debian/why/usr/bin/jessie cp -f bin/krakatoa.byte /build/buildd/why-2.33/debian/why/usr/bin/krakatoa cp -f bin/gwhy.sh /build/buildd/why-2.33/debian/why/usr/bin/gwhy cp -f bin/why2html.byte /build/buildd/why-2.33/debian/why/usr/bin/why2html cp -f bin/why-dp.byte /build/buildd/why-2.33/debian/why/usr/bin/why-dp cp -f bin/why-cpulimit /build/buildd/why-2.33/debian/why/usr/bin/why-cpulimit cp -f bin/rv_merge.byte /build/buildd/why-2.33/debian/why/usr/bin/rv_merge cp -f bin/why-obfuscator.byte /build/buildd/why-2.33/debian/why/usr/bin/why-obfuscator cp -f bin/why-stat.byte /build/buildd/why-2.33/debian/why/usr/bin/why-stat cp -f bin/tool-stat.byte /build/buildd/why-2.33/debian/why/usr/bin/tool-stat cp -f bin/simplify2why.byte /build/buildd/why-2.33/debian/why/usr/bin/simplify2why if test -f bin/gwhy.byte; then \ cp -f bin/gwhy.byte /build/buildd/why-2.33/debian/why/usr/bin/gwhy-bin; \ fi mkdir -p /build/buildd/why-2.33/debian/why/usr/share/why/why cp -f lib/why/prelude.why lib/why/bool.why lib/why/integer.why lib/why/divisions.why lib/why/real.why lib/why/arrays.why lib/why/jessie.why lib/why/jessie_bitvectors.why lib/why/mybag.why lib/why/mix.why lib/why/floats_common.why lib/why/floats_strict.why lib/why/floats_full.why lib/why/floats_multi_rounding.why /build/buildd/why-2.33/debian/why/usr/share/why/why rm -rf /build/buildd/why-2.33/debian/why/usr/share/why/why3 mkdir -p /build/buildd/why-2.33/debian/why/usr/share/why/why3 cp -f lib/why3/why3.conf lib/why3/coq.drv lib/why3/jessie3theories.why lib/why3/jessie3.mlw lib/why3/jessie3_integer.why /build/buildd/why-2.33/debian/why/usr/share/why/why3 mkdir -p /build/buildd/why-2.33/debian/why/usr/share/jessie cp -f jc/jc.cmo jc/jc_ast.cmi jc/jc_env.cmi jc/jc.cmi src/lib.cmi src/rc.cmi src/loc.cmi src/ident.cmi src/print_real.cmi src/effect.cmi src/pp.cmi src/option_misc.cmi src/parser.cmi src/lexer.cmi src/report.cmi src/explain.cmi src/xml.cmi src/project.cmi src/why3_kw.cmi jc/output.cmi jc/jc_common_options.cmi jc/jc_stdlib.cmi jc/jc_envset.cmi jc/jc_region.cmi jc/jc_fenv.cmi jc/jc_constructors.cmi jc/jc_pervasives.cmi jc/jc_iterators.cmi jc/jc_type_var.cmi jc/jc_output_misc.cmi jc/jc_poutput.cmi jc/jc_output.cmi jc/jc_noutput.cmi /build/buildd/why-2.33/debian/why/usr/share/jessie cd lib; cp -rf java_api /build/buildd/why-2.33/debian/why/usr/share/why cd lib; cp -rf javacard_api /build/buildd/why-2.33/debian/why/usr/share/why mkdir -p /build/buildd/why-2.33/debian/why/usr/share/why/images cp -f lib/images/*.png /build/buildd/why-2.33/debian/why/usr/share/why/images mkdir -p /build/buildd/why-2.33/debian/why/usr/share/why/emacs cp -f lib/emacs/why.el /build/buildd/why-2.33/debian/why/usr/share/why/emacs find /build/buildd/why-2.33/debian/why/usr/share -name CVS | xargs rm -f -r mkdir -p /build/buildd/why-2.33/debian/why/usr/share/man/man1 cp -f doc/*.1 /build/buildd/why-2.33/debian/why/usr/share/man/man1 if test -w /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq ; then \ rm -f /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/Why*.v* ; \ rm -f /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/caduceus*.v* /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/Caduceus*.v* ; \ rm -f /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/jessie*.v* /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/Jessie*.v* ; \ mkdir -p /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \ cp -f lib/coq/WhyInt.vo lib/coq/WhyArrays.vo lib/coq/WhyBool.vo lib/coq/WhyTuples.vo lib/coq/WhyPermut.vo lib/coq/WhyCoqCompat.vo lib/coq/WhySorted.vo lib/coq/WhyExn.vo lib/coq/WhyLemmas.vo lib/coq/WhyTactics.vo lib/coq/WhyPrelude.vo lib/coq/WhyCM.vo lib/coq/Why.vo lib/coq/WhyReal.vo lib/coq/jessie_why.vo lib/coq/WhyFloatsStrictLegacy.vo /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \ else \ echo "Cannot copy to Coq standard library. Add \"-R /build/buildd/why-2.33/debian/why/usr/share/why/coq Why\" to Coq options." ;\ fi Cannot copy to Coq standard library. Add "-R /build/buildd/why-2.33/debian/why/usr/share/why/coq Why" to Coq options. mkdir -p /build/buildd/why-2.33/debian/why/usr/share/why/coq cp -f lib/coq/WhyInt.vo lib/coq/WhyArrays.vo lib/coq/WhyBool.vo lib/coq/WhyTuples.vo lib/coq/WhyPermut.vo lib/coq/WhyCoqCompat.vo lib/coq/WhySorted.vo lib/coq/WhyExn.vo lib/coq/WhyLemmas.vo lib/coq/WhyTactics.vo lib/coq/WhyPrelude.vo lib/coq/WhyCM.vo lib/coq/Why.vo lib/coq/WhyReal.vo lib/coq/jessie_why.vo lib/coq/WhyFloatsStrictLegacy.vo /build/buildd/why-2.33/debian/why/usr/share/why/coq /usr/bin/make -C frama-c-plugin install make[3]: Entering directory `/build/buildd/why-2.33/frama-c-plugin' mkdir -p /build/buildd/why-2.33/debian/why/usr/lib/frama-c/plugins cp ./Jessie.cmi ./Jessie.cmo ./Jessie.cma /build/buildd/why-2.33/debian/why/usr/lib/frama-c/plugins if [ -f frama-c-Jessie.byte ]; then \ cp frama-c-Jessie.byte "/build/buildd/why-2.33/debian/why/usr/bin"; \ fi if [ -f frama-c-Jessie.byte ]; then \ cp frama-c-Jessie.byte \ "/build/buildd/why-2.33/debian/why/usr/bin"/frama-c-Jessie; \ fi make[3]: Leaving directory `/build/buildd/why-2.33/frama-c-plugin' make[2]: Leaving directory `/build/buildd/why-2.33' #Used to remove /usr/share/coq/jessie_why.v which is alone and installed by libwhy-coq rm -f -rf /build/buildd/why-2.33/debian/why/usr/share/coq/ #There is no program using the Jessie library. rm -f -rf /build/buildd/why-2.33/debian/why/usr/share/jessie/ #Jessie.cma is installed, no need for this extra file rm -f -f /build/buildd/why-2.33/debian/why//usr/lib/frama-c/plugins/Jessie.cmo echo 'F:CoqABI=8.4pl3+4.01.0' >> debian/libwhy-coq.substvars echo 'F:FramaCVersion=20130601+fluorine3+dfsg-2build1' >> debian/why.substvars make[1]: Leaving directory `/build/buildd/why-2.33' dh_ocamldoc -a dh_installdocs -a install -g 0 -o 0 -d debian/why/usr/share/doc/why cp -a README debian/why/usr/share/doc/why cp -a debian/README.source 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 -g 0 -o 0 -m 644 -p debian/copyright debian/why/usr/share/doc/why/copyright dh_installchangelogs -a install -o 0 -g 0 -p -m644 debian/changelog debian/why/usr/share/doc/why/changelog.Debian dh_installman -a install -p -m644 debian/why-cpulimit.1 debian/why/usr/share/man/man1/why-cpulimit.1 man --recode UTF-8 ./why\.1 > why\.1\.new chmod 644 why.1.new mv -f why.1.new why.1 man --recode UTF-8 ./why\-cpulimit\.1 > why\-cpulimit\.1\.new chmod 644 why-cpulimit.1.new mv -f why-cpulimit.1.new why-cpulimit.1 dh_perl -a dh_link -a rm -f debian/why/usr/share/man/man1/why-config.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/why-config.1.gz rm -f debian/why/usr/share/man/man1/tool-stat.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/tool-stat.1.gz rm -f debian/why/usr/share/man/man1/gwhy-bin.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/gwhy-bin.1.gz rm -f debian/why/usr/share/man/man1/krakatoa.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/krakatoa.1.gz rm -f debian/why/usr/share/man/man1/why2html.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/why2html.1.gz rm -f debian/why/usr/share/man/man1/why-stat.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/why-stat.1.gz rm -f debian/why/usr/share/man/man1/why-obfuscator.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/why-obfuscator.1.gz rm -f debian/why/usr/share/man/man1/simplify2why.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/simplify2why.1.gz rm -f debian/why/usr/share/man/man1/rv_merge.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/rv_merge.1.gz rm -f debian/why/usr/share/man/man1/jessie.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/jessie.1.gz rm -f debian/why/usr/share/man/man1/gwhy.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/gwhy.1.gz rm -f debian/why/usr/share/man/man1/why-dp.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/why-dp.1.gz rm -f debian/why/usr/share/man/man1/caduceus.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/caduceus.1.gz debian/rules override_dh_compress make[1]: Entering directory `/build/buildd/why-2.33' dh_compress -X.v -X.sx -X.why cd debian/why chmod a-x usr/share/man/man1/why.1 usr/share/man/man1/why-cpulimit.1 usr/share/doc/why/changelog.Debian gzip -9nf usr/share/man/man1/why.1 usr/share/man/man1/why-cpulimit.1 usr/share/doc/why/changelog.Debian cd '/build/buildd/why-2.33' make[1]: Leaving directory `/build/buildd/why-2.33' dh_fixperms -a find debian/why -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/why ! -type l -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/why/usr/share/doc -type f ! -regex 'debian/why/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 644 find debian/why/usr/share/doc -type d -print0 2>/dev/null | xargs -0r chmod 755 find debian/why/usr/share/man debian/why/usr/man/ debian/why/usr/X11*/man/ -type f -print0 2>/dev/null | xargs -0r chmod 644 find debian/why -perm -5 -type f \( -name '*.so.*' -or -name '*.so' -or -name '*.la' -or -name '*.a' \) -print0 2>/dev/null | xargs -0r chmod 644 find debian/why/usr/include -type f -print0 2>/dev/null | xargs -0r chmod 644 find debian/why/usr/share/applications -type f -print0 2>/dev/null | xargs -0r chmod 644 find debian/why -perm -5 -type f \( -name '*.cmxs' \) -print0 2>/dev/null | xargs -0r chmod 644 find debian/why/usr/lib/perl5 debian/why/usr/share/perl5 -type f -perm -5 -name '*.pm' -print0 2>/dev/null | xargs -0r chmod a-X find debian/why/usr/bin -type f -print0 2>/dev/null | xargs -0r chmod a+x find debian/why/usr/lib -type f -name '*.ali' -print0 2>/dev/null | xargs -0r chmod uga-w dh_strip -a dh_strip debug symbol extraction: not enabling -a because /CurrentlyBuilding exists dh_strip debug symbol extraction: all non-arch-all packages for this build platform arm64: why dh_strip debug symbol extraction: packages to act on: why dh_strip debug symbol extraction: ignored packages: why has no unstripped objects, ignoring find: `/build/buildd/why-2.33/debian/why-dbgsym': No such file or directory /usr/bin/pkg_create_dbgsym: nothing in /build/buildd/why-2.33/debian/why-dbgsym and no dbgdepends, ignoring strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/why-cpulimit dh_makeshlibs -a rm -f debian/why/DEBIAN/shlibs dh_shlibdeps -a install -o 0 -g 0 -d debian/why/DEBIAN dpkg-shlibdeps -Tdebian/why.substvars debian/why/usr/bin/why-cpulimit dh_installdeb -a dh_ocaml -a +++ Remove former .olist.debhelper files +++ +++ Generate .olist.debhelper files +++ "cat debian/why.olist.debhelper" debian/why/usr/lib/frama-c/plugins/Jessie.cma debian/why/usr/lib/frama-c/plugins/Jessie.cmi debian/why/usr/bin/why-config debian/why/usr/bin/jessie debian/why/usr/bin/why-stat debian/why/usr/bin/simplify2why debian/why/usr/bin/why-dp debian/why/usr/bin/why2html debian/why/usr/bin/why debian/why/usr/bin/krakatoa debian/why/usr/bin/why-obfuscator debian/why/usr/bin/rv_merge debian/why/usr/bin/gwhy-bin debian/why/usr/bin/tool-stat +++ Compute .md5sums and lintian files for dev packages +++ +++ Compute dependencies for dev +++ +++ Compute dependencies for binary packages+++ grep -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.cma Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/Jessie.cma 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/bin/why-config Execute ocamlobjinfo debian/why/usr/bin/why-config Processing debian/why/usr/bin/jessie Execute ocamlobjinfo debian/why/usr/bin/jessie Processing debian/why/usr/bin/why-stat Execute ocamlobjinfo debian/why/usr/bin/why-stat Processing debian/why/usr/bin/simplify2why Execute ocamlobjinfo debian/why/usr/bin/simplify2why Processing debian/why/usr/bin/why-dp Execute ocamlobjinfo debian/why/usr/bin/why-dp Processing debian/why/usr/bin/why2html Execute ocamlobjinfo debian/why/usr/bin/why2html Processing debian/why/usr/bin/why Execute ocamlobjinfo debian/why/usr/bin/why Processing debian/why/usr/bin/krakatoa Execute ocamlobjinfo debian/why/usr/bin/krakatoa Processing debian/why/usr/bin/why-obfuscator Execute ocamlobjinfo debian/why/usr/bin/why-obfuscator Processing debian/why/usr/bin/rv_merge Execute ocamlobjinfo debian/why/usr/bin/rv_merge Processing debian/why/usr/bin/gwhy-bin Execute ocamlobjinfo debian/why/usr/bin/gwhy-bin Processing debian/why/usr/bin/tool-stat Execute ocamlobjinfo debian/why/usr/bin/tool-stat why depends on liblablgtk2-ocaml-dev/liblablgtk2-ocaml v2.16.0+dfsg-1 through GtkSignal why depends on libocamlgraph-ocaml-dev v1.8.3-1build1 through Graph why depends on ocaml-nox/ocaml-base-nox v4.01.0-3ubuntu3 through Format W: why doesn't resolve dependency on unit Java_typing W: why doesn't resolve dependency on unit Ival W: why doesn't resolve dependency on unit Holl W: why doesn't resolve dependency on unit Annotations W: why doesn't resolve dependency on unit Jc_interp W: why doesn't resolve dependency on unit Stat W: why doesn't resolve dependency on unit DpConfig W: why doesn't resolve dependency on unit Pvs W: why doesn't resolve dependency on unit Property W: why doesn't resolve dependency on unit Cache W: why doesn't resolve dependency on unit Ltyping W: why doesn't resolve dependency on unit SetWithNearest W: why doesn't resolve dependency on unit Printer W: why doesn't resolve dependency on unit File W: why doesn't resolve dependency on unit Config W: why doesn't resolve dependency on unit Hilight W: why doesn't resolve dependency on unit Lattice_With_Isotropy W: why doesn't resolve dependency on unit Jc_options W: why doesn't resolve dependency on unit Cc W: why doesn't resolve dependency on unit Escape W: why doesn't resolve dependency on unit State W: why doesn't resolve dependency on unit PdgMarks W: why doesn't resolve dependency on unit Simplify_lexer W: why doesn't resolve dependency on unit Encoding_strat W: why doesn't resolve dependency on unit Tools W: why doesn't resolve dependency on unit Cil_const W: why doesn't resolve dependency on unit Xml W: why doesn't resolve dependency on unit Jc_separation W: why doesn't resolve dependency on unit Jc_interp_misc W: why doesn't resolve dependency on unit Jc_region W: why doesn't resolve dependency on unit Logic_decl W: why doesn't resolve dependency on unit PdgTypes W: why doesn't resolve dependency on unit Loc W: why doesn't resolve dependency on unit Vcg W: why doesn't resolve dependency on unit Origin W: why doesn't resolve dependency on unit Base W: why doesn't resolve dependency on unit PdgIndex W: why doesn't resolve dependency on unit Jc_effect W: why doesn't resolve dependency on unit Lib W: why doesn't resolve dependency on unit Cvalue W: why doesn't resolve dependency on unit Mizar W: why doesn't resolve dependency on unit Java_env W: why doesn't resolve dependency on unit Inout_type W: why doesn't resolve dependency on unit Globals W: why doesn't resolve dependency on unit SlicingInternals W: why doesn't resolve dependency on unit Jc_pervasives W: why doesn't resolve dependency on unit Model W: why doesn't resolve dependency on unit Smtlib_split W: why doesn't resolve dependency on unit Lattice_Interval_Set W: why doesn't resolve dependency on unit Options W: why doesn't resolve dependency on unit Zenon W: why doesn't resolve dependency on unit Misc W: why doesn't resolve dependency on unit Lmap_sig W: why doesn't resolve dependency on unit State_dependency_graph W: why doesn't resolve dependency on unit Env W: why doesn't resolve dependency on unit Log W: why doesn't resolve dependency on unit Pretty_utils W: why doesn't resolve dependency on unit Main W: why doesn't resolve dependency on unit State_selection W: why doesn't resolve dependency on unit Encoding W: why doesn't resolve dependency on unit Pretty W: why doesn't resolve dependency on unit Zenon_split W: why doesn't resolve dependency on unit Jc_noutput W: why doesn't resolve dependency on unit Gappa W: why doesn't resolve dependency on unit Jc_frame W: why doesn't resolve dependency on unit Java_lexer W: why doesn't resolve dependency on unit Jc_norm W: why doesn't resolve dependency on unit Value_types W: why doesn't resolve dependency on unit Jc_fenv W: why doesn't resolve dependency on unit Int_Base W: why doesn't resolve dependency on unit Ast W: why doesn't resolve dependency on unit Type W: why doesn't resolve dependency on unit Visitor W: why doesn't resolve dependency on unit Jc_output_misc W: why doesn't resolve dependency on unit Utf8_logic W: why doesn't resolve dependency on unit Jc_frame_notin W: why doesn't resolve dependency on unit Theory_filtering W: why doesn't resolve dependency on unit Version W: why doesn't resolve dependency on unit Wp W: why doesn't resolve dependency on unit Why W: why doesn't resolve dependency on unit Jc_ai W: why doesn't resolve dependency on unit Hol4 W: why doesn't resolve dependency on unit Jc_lexer W: why doesn't resolve dependency on unit Extlib W: why doesn't resolve dependency on unit Cil_datatype W: why doesn't resolve dependency on unit Pp W: why doesn't resolve dependency on unit Java_tast W: why doesn't resolve dependency on unit Structural_descr W: why doesn't resolve dependency on unit Java_abstract W: why doesn't resolve dependency on unit Monomorph W: why doesn't resolve dependency on unit Kernel_function W: why doesn't resolve dependency on unit Java_parser W: why doesn't resolve dependency on unit Util W: why doesn't resolve dependency on unit State_builder W: why doesn't resolve dependency on unit Jc_pattern W: why doesn't resolve dependency on unit Simplify_ast W: why doesn't resolve dependency on unit Monad W: why doesn't resolve dependency on unit GConfig W: why doesn't resolve dependency on unit Hook W: why doesn't resolve dependency on unit Dp W: why doesn't resolve dependency on unit Lexer W: why doesn't resolve dependency on unit Cabs W: why doesn't resolve dependency on unit Option_misc W: why doesn't resolve dependency on unit Pprinter W: why doesn't resolve dependency on unit Explain W: why doesn't resolve dependency on unit Jc_iterators W: why doesn't resolve dependency on unit Rc W: why doesn't resolve dependency on unit Hptmap W: why doesn't resolve dependency on unit Cil_types W: why doesn't resolve dependency on unit Java_callgraph W: why doesn't resolve dependency on unit Java_options W: why doesn't resolve dependency on unit Jc_typing W: why doesn't resolve dependency on unit Jc_invariants W: why doesn't resolve dependency on unit Isabelle W: why doesn't resolve dependency on unit Mapenv W: why doesn't resolve dependency on unit Ocaml W: why doesn't resolve dependency on unit Unionfind W: why doesn't resolve dependency on unit Jc_make W: why doesn't resolve dependency on unit Astnprinter W: why doesn't resolve dependency on unit Java_ast W: why doesn't resolve dependency on unit Plugin W: why doesn't resolve dependency on unit Jc_env W: why doesn't resolve dependency on unit Locations W: why doesn't resolve dependency on unit Unmarshal W: why doesn't resolve dependency on unit MonadSig W: why doesn't resolve dependency on unit Jc_constructors W: why doesn't resolve dependency on unit Jc_type_var W: why doesn't resolve dependency on unit Ergo_split W: why doesn't resolve dependency on unit Astprinter W: why doesn't resolve dependency on unit Offsetmap_sig W: why doesn't resolve dependency on unit Jc_stdlib W: why doesn't resolve dependency on unit Encoding_rec W: why doesn't resolve dependency on unit Simplify W: why doesn't resolve dependency on unit SlicingTypes W: why doesn't resolve dependency on unit Datatype W: why doesn't resolve dependency on unit Why2html W: why doesn't resolve dependency on unit Descr W: why doesn't resolve dependency on unit Jc_common_options W: why doesn't resolve dependency on unit Tagsplit W: why doesn't resolve dependency on unit Print_real W: why doesn't resolve dependency on unit Smtlib W: why doesn't resolve dependency on unit WhyConfig W: why doesn't resolve dependency on unit Cvcl W: why doesn't resolve dependency on unit Linenum W: why doesn't resolve dependency on unit Rv_merge W: why doesn't resolve dependency on unit Integer W: why doesn't resolve dependency on unit Ptree W: why doesn't resolve dependency on unit Types W: why doesn't resolve dependency on unit Rename W: why doesn't resolve dependency on unit Z3 W: why doesn't resolve dependency on unit Error W: why doesn't resolve dependency on unit Property_status W: why doesn't resolve dependency on unit Dynamic W: why doesn't resolve dependency on unit Theoryreducer W: why doesn't resolve dependency on unit Jc_ast W: why doesn't resolve dependency on unit Regen W: why doesn't resolve dependency on unit Db W: why doesn't resolve dependency on unit Project W: why doesn't resolve dependency on unit Rv_split W: why doesn't resolve dependency on unit Hashtbl_common_interface W: why doesn't resolve dependency on unit Toolstat_types W: why doesn't resolve dependency on unit CilE W: why doesn't resolve dependency on unit Cil W: why doesn't resolve dependency on unit Typing W: why doesn't resolve dependency on unit Log W: why doesn't resolve dependency on unit Logic_ptree W: why doesn't resolve dependency on unit Hptset W: why doesn't resolve dependency on unit Emitter W: why doesn't resolve dependency on unit Printer_api W: why doesn't resolve dependency on unit Report W: why doesn't resolve dependency on unit Colors W: why doesn't resolve dependency on unit Whystat W: why doesn't resolve dependency on unit Jc_callgraph W: why doesn't resolve dependency on unit Ident W: why doesn't resolve dependency on unit Numconst W: why doesn't resolve dependency on unit Jc_main W: why doesn't resolve dependency on unit Whyhilight W: why doesn't resolve dependency on unit Java_interp W: why doesn't resolve dependency on unit Simplify_towhy W: why doesn't resolve dependency on unit Toolstat W: why doesn't resolve dependency on unit Red W: why doesn't resolve dependency on unit Function_Froms W: why doesn't resolve dependency on unit PredDefExpansor W: why doesn't resolve dependency on unit Simplify_split W: why doesn't resolve dependency on unit Cvcl_split W: why doesn't resolve dependency on unit Ast_info W: why doesn't resolve dependency on unit Fastwp W: why doesn't resolve dependency on unit Cabshelper W: why doesn't resolve dependency on unit Java_syntax W: why doesn't resolve dependency on unit Effect W: why doesn't resolve dependency on unit Project_skeleton W: why doesn't resolve dependency on unit Astpprinter W: why doesn't resolve dependency on unit Logic W: why doesn't resolve dependency on unit Project W: why doesn't resolve dependency on unit Jc_name W: why doesn't resolve dependency on unit Toolstat_pars W: why doesn't resolve dependency on unit Why3_kw W: why doesn't resolve dependency on unit Jc_struct_tools W: why doesn't resolve dependency on unit Coq W: why doesn't resolve dependency on unit Java_analysis W: why doesn't resolve dependency on unit Ast W: why doesn't resolve dependency on unit Jc_parser W: why doesn't resolve dependency on unit Java_pervasives W: why doesn't resolve dependency on unit Abstract_interp W: why doesn't resolve dependency on unit Dispatcher W: why doesn't resolve dependency on unit Harvey W: why doesn't resolve dependency on unit Jc_envset W: why doesn't resolve dependency on unit Tags W: why doesn't resolve dependency on unit Cmdline W: why doesn't resolve dependency on unit Kernel W: why doesn't resolve dependency on unit Hypotheses_filtering W: why doesn't resolve dependency on unit Mlize W: why doesn't resolve dependency on unit Jc_output W: why doesn't resolve dependency on unit Logic_utils W: why doesn't resolve dependency on unit Encoding_pred W: why doesn't resolve dependency on unit Calldp W: why doesn't resolve dependency on unit Obfuscator W: why doesn't resolve dependency on unit Logic_const W: why doesn't resolve dependency on unit Simplify_parser W: why doesn't resolve dependency on unit Parameter W: why doesn't resolve dependency on unit Toolstat_lex W: why doesn't resolve dependency on unit Cabs2cil W: why doesn't resolve dependency on unit Lmap_bitwise W: why doesn't resolve dependency on unit Output W: why doesn't resolve dependency on unit Encoding_mono_inst W: why doesn't resolve dependency on unit Preferences W: why doesn't resolve dependency on unit Why3 W: why doesn't resolve dependency on unit Logic_env W: why doesn't resolve dependency on unit Encoding_mono W: why doesn't resolve dependency on unit Parser W: why doesn't resolve dependency on unit Java_main W: why doesn't resolve dependency on unit Jc_poutput (grep -s -v ocaml:Depends debian/why.substvars; echo ocaml:Depends=liblablgtk2-ocaml-72b94) > debian/why.substvars.new mv debian/why.substvars.new debian/why.substvars (grep -s -v ocaml:Depends debian/why.substvars; echo "ocaml:Depends=liblablgtk2-ocaml-72b94, ocaml-base-nox-4.01.0") > debian/why.substvars.new mv debian/why.substvars.new debian/why.substvars dh_gencontrol -a echo misc:Depends= >> debian/why.substvars dpkg-gencontrol -pwhy -ldebian/changelog -Tdebian/why.substvars -Pdebian/why dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe chmod 644 debian/why/DEBIAN/control chown 0:0 debian/why/DEBIAN/control dh_md5sums -a (cd debian/why >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum > DEBIAN/md5sums) >/dev/null chmod 644 debian/why/DEBIAN/md5sums chown 0:0 debian/why/DEBIAN/md5sums dh_builddeb -a dpkg-deb --build debian/why .. INFO: pkgstriptranslations version 119 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 OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/bug32.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 1779 bytes Input file size = 1954 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 1774 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 IDAT size = 1735 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1689 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1689 Output IDAT size = 1689 bytes (90 bytes decrease) Output file size = 1864 bytes (90 bytes = 4.61% decrease) 1864 1809 97% ./usr/share/why/images/bug32.png 1864 1809 97% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/delete32.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 2028 bytes Input file size = 2203 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 2007 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 2007 Output IDAT size = 2007 bytes (21 bytes decrease) Output file size = 2182 bytes (21 bytes = 0.95% decrease) 2182 2182 100% ./usr/share/why/images/delete32.png (Bigger 2272) 2182 2182 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/play32.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 1996 bytes Input file size = 2171 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1940 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1940 Output IDAT size = 1940 bytes (56 bytes decrease) Output file size = 2115 bytes (56 bytes = 2.58% decrease) 2115 2098 99% ./usr/share/why/images/play32.png 2115 2098 99% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/accept32.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 2125 bytes Input file size = 2300 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 2102 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 2102 Output IDAT size = 2102 bytes (23 bytes decrease) Output file size = 2277 bytes (23 bytes = 1.00% decrease) 2277 2277 100% ./usr/share/why/images/accept32.png (Bigger 2341) 2277 2277 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/play-bw.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 1996 bytes Input file size = 2171 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1940 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1940 Output IDAT size = 1940 bytes (56 bytes decrease) Output file size = 2115 bytes (56 bytes = 2.58% decrease) 2115 2098 99% ./usr/share/why/images/play-bw.png 2115 2098 99% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/delete-bw.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 8 bits/pixel, 59 colors (57 transparent) in palette Input IDAT size = 454 bytes Input file size = 582 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 250 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 ./usr/share/why/images/delete-bw.png is already optimized. 582 409 70% ./usr/share/why/images/delete-bw.png 582 409 70% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/stop-bw.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 1863 bytes Input file size = 2038 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1800 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1800 Output IDAT size = 1800 bytes (63 bytes decrease) Output file size = 1975 bytes (63 bytes = 3.09% decrease) 1975 1975 100% ./usr/share/why/images/stop-bw.png (Bigger 2014) 1975 1975 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/pause-bw.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 2013 bytes Input file size = 2188 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1932 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1932 Output IDAT size = 1932 bytes (81 bytes decrease) Output file size = 2107 bytes (81 bytes = 3.70% decrease) 2107 2107 100% ./usr/share/why/images/pause-bw.png (Bigger 2111) 2107 2107 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/help-bw.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 8 bits/pixel, 60 colors (57 transparent) in palette Input IDAT size = 485 bytes Input file size = 613 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 255 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 ./usr/share/why/images/help-bw.png is already optimized. 613 432 70% ./usr/share/why/images/help-bw.png 613 432 70% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/pause32.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 2013 bytes Input file size = 2188 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1932 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1932 Output IDAT size = 1932 bytes (81 bytes decrease) Output file size = 2107 bytes (81 bytes = 3.70% decrease) 2107 2107 100% ./usr/share/why/images/pause32.png (Bigger 2111) 2107 2107 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/accept-bw.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 8 bits/pixel, 68 colors (57 transparent) in palette Input IDAT size = 589 bytes Input file size = 717 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 325 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 ./usr/share/why/images/accept-bw.png is already optimized. 717 577 80% ./usr/share/why/images/accept-bw.png 717 577 80% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/logo-why-small.png 344x98 pixels, 3x8 bits/pixel, RGB Input IDAT size = 7416 bytes Input file size = 7473 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 6549 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 6549 Output IDAT size = 6549 bytes (867 bytes decrease) Output file size = 6606 bytes (867 bytes = 11.60% decrease) 6606 6162 93% ./usr/share/why/images/logo-why-small.png 6606 6162 93% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/bug-bw.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 1779 bytes Input file size = 1954 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 1774 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 IDAT size = 1735 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1689 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1689 Output IDAT size = 1689 bytes (90 bytes decrease) Output file size = 1864 bytes (90 bytes = 4.61% decrease) 1864 1809 97% ./usr/share/why/images/bug-bw.png 1864 1809 97% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/why-logo-1.png 577x124 pixels, 3x8 bits/pixel, RGB Input IDAT size = 14378 bytes Input file size = 14447 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 IDAT size = 14148 zc = 9 zm = 8 zs = 1 f = 1 IDAT size = 14109 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 IDAT size = 14030 zc = 9 zm = 8 zs = 1 f = 2 IDAT size = 14010 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 IDAT size = 13754 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 13464 zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 13360 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 IDAT size = 12914 Selecting parameters: zc = 9 zm = 8 zs = 3 f = 5 IDAT size = 12914 Output IDAT size = 12914 bytes (1464 bytes decrease) Output file size = 12971 bytes (1476 bytes = 10.22% decrease) 12971 12971 100% ./usr/share/why/images/why-logo-1.png (Bigger 16505) 12971 12971 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/clock32.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 2278 bytes Input file size = 2454 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 2264 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 2264 Output IDAT size = 2264 bytes (14 bytes decrease) Output file size = 2440 bytes (14 bytes = 0.57% decrease) 2440 2440 100% ./usr/share/why/images/clock32.png (Bigger 2482) 2440 2440 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/clock-bw.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 8 bits/pixel, 72 colors (66 transparent) in palette Input IDAT size = 541 bytes Input file size = 669 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 271 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 ./usr/share/why/images/clock-bw.png is already optimized. 669 452 67% ./usr/share/why/images/clock-bw.png 669 452 67% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/help32.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 2034 bytes Input file size = 2209 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 2005 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 2005 Output IDAT size = 2005 bytes (29 bytes decrease) Output file size = 2180 bytes (29 bytes = 1.31% decrease) 2180 2180 100% ./usr/share/why/images/help32.png (Bigger 2263) 2180 2180 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/stop32.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 1863 bytes Input file size = 2038 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1800 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1800 Output IDAT size = 1800 bytes (63 bytes decrease) Output file size = 1975 bytes (63 bytes = 3.09% decrease) 1975 1975 100% ./usr/share/why/images/stop32.png (Bigger 2014) 1975 1975 100% pkgstripfiles: PNG optimization for package why took 9 s dpkg-deb: warning: 'debian/why/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `why' in `../why_2.33-1_arm64.deb'. dpkg-genchanges -B -mUbuntu Build Daemon >../why_2.33-1_arm64.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build why-2.33 dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20140214-1307 chroot-autobuild/build/buildd/why_2.33-1_arm64.deb: new debian package, version 2.0. size 9926462 bytes: control archive=5601 bytes. 942 bytes, 19 lines control 12969 bytes, 167 lines md5sums Package: why Version: 2.33-1 Architecture: arm64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 48445 Depends: libc6 (>= 2.17), liblablgtk2-ocaml-72b94, ocaml-base-nox-4.01.0, frama-c-base (= 20130601+fluorine3+dfsg-2build1), make Recommends: alt-ergo | cvc3 | coq Suggests: libwhy-coq (= 2.33-1) Section: math Priority: optional Homepage: http://why.lri.fr/ Description: Software verification tool Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey. chroot-autobuild/build/buildd/why_2.33-1_arm64.deb: drwxr-xr-x root/root 0 2014-02-14 13:06 ./ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/lib/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/lib/frama-c/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/lib/frama-c/plugins/ -rw-r--r-- root/root 5211744 2014-02-14 13:06 ./usr/lib/frama-c/plugins/Jessie.cma -rw-r--r-- root/root 139 2014-02-14 13:06 ./usr/lib/frama-c/plugins/Jessie.cmi drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/bin/ -rwxr-xr-x root/root 952548 2014-02-14 13:06 ./usr/bin/why-config -rwxr-xr-x root/root 591 2014-02-14 13:06 ./usr/bin/gwhy -rwxr-xr-x root/root 9226286 2014-02-14 13:06 ./usr/bin/jessie -rwxr-xr-x root/root 1345265 2014-02-14 13:06 ./usr/bin/why-stat -rwxr-xr-x root/root 928269 2014-02-14 13:06 ./usr/bin/simplify2why -rwxr-xr-x root/root 1240773 2014-02-14 13:06 ./usr/bin/why-dp -rwxr-xr-x root/root 337165 2014-02-14 13:06 ./usr/bin/why2html -rwxr-xr-x root/root 8376891 2014-02-14 13:06 ./usr/bin/why -rwxr-xr-x root/root 6080 2014-02-14 13:06 ./usr/bin/why-cpulimit -rwxr-xr-x root/root 6962514 2014-02-14 13:06 ./usr/bin/krakatoa -rwxr-xr-x root/root 1721343 2014-02-14 13:06 ./usr/bin/why-obfuscator -rwxr-xr-x root/root 411305 2014-02-14 13:06 ./usr/bin/rv_merge -rwxr-xr-x root/root 9436503 2014-02-14 13:06 ./usr/bin/gwhy-bin -rwxr-xr-x root/root 1089176 2014-02-14 13:06 ./usr/bin/tool-stat drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/man/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/man/man1/ -rw-r--r-- root/root 364 2014-02-14 13:06 ./usr/share/man/man1/why-cpulimit.1.gz -rw-r--r-- root/root 405 2014-02-14 13:06 ./usr/share/man/man1/why.1.gz drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/images/ -rw-r--r-- root/root 1809 2014-02-14 13:06 ./usr/share/why/images/bug32.png -rw-r--r-- root/root 2182 2014-02-14 13:06 ./usr/share/why/images/delete32.png -rw-r--r-- root/root 2098 2014-02-14 13:06 ./usr/share/why/images/play32.png -rw-r--r-- root/root 2277 2014-02-14 13:06 ./usr/share/why/images/accept32.png -rw-r--r-- root/root 2098 2014-02-14 13:06 ./usr/share/why/images/play-bw.png -rw-r--r-- root/root 409 2014-02-14 13:06 ./usr/share/why/images/delete-bw.png -rw-r--r-- root/root 1975 2014-02-14 13:06 ./usr/share/why/images/stop-bw.png -rw-r--r-- root/root 2107 2014-02-14 13:06 ./usr/share/why/images/pause-bw.png -rw-r--r-- root/root 432 2014-02-14 13:06 ./usr/share/why/images/help-bw.png -rw-r--r-- root/root 2107 2014-02-14 13:06 ./usr/share/why/images/pause32.png -rw-r--r-- root/root 577 2014-02-14 13:06 ./usr/share/why/images/accept-bw.png -rw-r--r-- root/root 6162 2014-02-14 13:06 ./usr/share/why/images/logo-why-small.png -rw-r--r-- root/root 1809 2014-02-14 13:06 ./usr/share/why/images/bug-bw.png -rw-r--r-- root/root 12971 2014-02-14 13:06 ./usr/share/why/images/why-logo-1.png -rw-r--r-- root/root 2440 2014-02-14 13:06 ./usr/share/why/images/clock32.png -rw-r--r-- root/root 452 2014-02-14 13:06 ./usr/share/why/images/clock-bw.png -rw-r--r-- root/root 2180 2014-02-14 13:06 ./usr/share/why/images/help32.png -rw-r--r-- root/root 1975 2014-02-14 13:06 ./usr/share/why/images/stop32.png drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/java_api/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/java_api/java/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/java_api/java/util/ -rw-r--r-- root/root 761 2014-02-14 13:06 ./usr/share/why/java_api/java/util/HashMapIntegerInteger.java -rw-r--r-- root/root 19069 2014-02-14 13:06 ./usr/share/why/java_api/java/util/Map.java -rw-r--r-- root/root 23747 2014-02-14 13:06 ./usr/share/why/java_api/java/util/AbstractMap.java -rw-r--r-- root/root 18850 2014-02-14 13:06 ./usr/share/why/java_api/java/util/Collection.java -rw-r--r-- root/root 34531 2014-02-14 13:06 ./usr/share/why/java_api/java/util/HashMap.java -rw-r--r-- root/root 14662 2014-02-14 13:06 ./usr/share/why/java_api/java/util/Set.java -rw-r--r-- root/root 785 2014-02-14 13:06 ./usr/share/why/java_api/java/util/HashMapIntegerLong.java -rw-r--r-- root/root 2165 2014-02-14 13:06 ./usr/share/why/java_api/java/util/Iterator.java -rw-r--r-- root/root 39 2014-02-14 13:06 ./usr/share/why/java_api/java/util/Locale.java drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/java_api/java/io/ -rw-r--r-- root/root 18130 2014-02-14 13:06 ./usr/share/why/java_api/java/io/PrintStream.java -rw-r--r-- root/root 3929 2014-02-14 13:06 ./usr/share/why/java_api/java/io/FileDescriptor.java -rw-r--r-- root/root 25753 2014-02-14 13:06 ./usr/share/why/java_api/java/io/StreamTokenizer.java -rw-r--r-- root/root 2093 2014-02-14 13:06 ./usr/share/why/java_api/java/io/FileReader.java -rw-r--r-- root/root 7268 2014-02-14 13:06 ./usr/share/why/java_api/java/io/Reader.java -rw-r--r-- root/root 7104 2014-02-14 13:06 ./usr/share/why/java_api/java/io/BufferedWriter.java -rw-r--r-- root/root 1932 2014-02-14 13:06 ./usr/share/why/java_api/java/io/FileNotFoundException.java -rw-r--r-- root/root 1103 2014-02-14 13:06 ./usr/share/why/java_api/java/io/IOException.java -rw-r--r-- root/root 64725 2014-02-14 13:06 ./usr/share/why/java_api/java/io/ObjectStreamClass.java -rw-r--r-- root/root 6788 2014-02-14 13:06 ./usr/share/why/java_api/java/io/OutputStreamWriter.java -rw-r--r-- root/root 4695 2014-02-14 13:06 ./usr/share/why/java_api/java/io/Serializable.java -rw-r--r-- root/root 14881 2014-02-14 13:06 ./usr/share/why/java_api/java/io/InputStream.java -rw-r--r-- root/root 63721 2014-02-14 13:06 ./usr/share/why/java_api/java/io/File.java -rw-r--r-- root/root 5082 2014-02-14 13:06 ./usr/share/why/java_api/java/io/OutputStream.java -rw-r--r-- root/root 5732 2014-02-14 13:06 ./usr/share/why/java_api/java/io/InputStreamReader.java -rw-r--r-- root/root 5152 2014-02-14 13:06 ./usr/share/why/java_api/java/io/FilterOutputStream.java drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/ -rw-r--r-- root/root 3072 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/Number.java -rw-r--r-- root/root 2935 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/RuntimeException.java -rw-r--r-- root/root 28832 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/Double.java -rw-r--r-- root/root 35750 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/Integer.java -rw-r--r-- root/root 1028 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/ArrayStoreException.java -rw-r--r-- root/root 90665 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/String.java -rw-r--r-- root/root 37242 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/Math.java -rw-r--r-- root/root 89699 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/Class.java -rw-r--r-- root/root 34165 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/Long.java -rw-r--r-- root/root 1353 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/Cloneable.java -rw-r--r-- root/root 3067 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/CharSequence.java -rw-r--r-- root/root 38062 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/System.java -rw-r--r-- root/root 50601 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/StringBuffer.java -rw-r--r-- root/root 5730 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/Comparable.java -rw-r--r-- root/root 893 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/IllegalArgumentException.java -rw-r--r-- root/root 2772 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/Exception.java -rw-r--r-- root/root 26985 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/Throwable.java -rw-r--r-- root/root 23657 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/Object.java -rw-r--r-- root/root 74738 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/Character.java -rw-r--r-- root/root 1356 2014-02-14 13:06 ./usr/share/why/java_api/java/lang/NumberFormatException.java drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/coq/ -rw-r--r-- root/root 12144 2014-02-14 13:06 ./usr/share/why/coq/WhyCoqCompat.vo -rw-r--r-- root/root 248101 2014-02-14 13:06 ./usr/share/why/coq/WhyFloatsStrictLegacy.vo -rw-r--r-- root/root 97811 2014-02-14 13:06 ./usr/share/why/coq/jessie_why.vo -rw-r--r-- root/root 17414 2014-02-14 13:06 ./usr/share/why/coq/WhyReal.vo -rw-r--r-- root/root 21018 2014-02-14 13:06 ./usr/share/why/coq/WhyArrays.vo -rw-r--r-- root/root 36417 2014-02-14 13:06 ./usr/share/why/coq/WhyCM.vo -rw-r--r-- root/root 13108 2014-02-14 13:06 ./usr/share/why/coq/WhyInt.vo -rw-r--r-- root/root 21227 2014-02-14 13:06 ./usr/share/why/coq/WhyLemmas.vo -rw-r--r-- root/root 102360 2014-02-14 13:06 ./usr/share/why/coq/WhySorted.vo -rw-r--r-- root/root 61405 2014-02-14 13:06 ./usr/share/why/coq/WhyTuples.vo -rw-r--r-- root/root 20609 2014-02-14 13:06 ./usr/share/why/coq/WhyExn.vo -rw-r--r-- root/root 20153 2014-02-14 13:06 ./usr/share/why/coq/WhyPrelude.vo -rw-r--r-- root/root 13253 2014-02-14 13:06 ./usr/share/why/coq/Why.vo -rw-r--r-- root/root 98634 2014-02-14 13:06 ./usr/share/why/coq/WhyPermut.vo -rw-r--r-- root/root 23059 2014-02-14 13:06 ./usr/share/why/coq/WhyBool.vo -rw-r--r-- root/root 16944 2014-02-14 13:06 ./usr/share/why/coq/WhyTactics.vo drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/why/ -rw-r--r-- root/root 6591 2014-02-14 13:06 ./usr/share/why/why/jessie_bitvectors.why -rw-r--r-- root/root 4483 2014-02-14 13:06 ./usr/share/why/why/floats_common.why -rw-r--r-- root/root 0 2014-02-14 13:06 ./usr/share/why/why/mybag.why -rw-r--r-- root/root 202 2014-02-14 13:06 ./usr/share/why/why/mix.why -rw-r--r-- root/root 661 2014-02-14 13:06 ./usr/share/why/why/bool.why -rw-r--r-- root/root 11421 2014-02-14 13:06 ./usr/share/why/why/floats_strict.why -rw-r--r-- root/root 1534 2014-02-14 13:06 ./usr/share/why/why/integer.why -rw-r--r-- root/root 5816 2014-02-14 13:06 ./usr/share/why/why/real.why -rw-r--r-- root/root 42399 2014-02-14 13:06 ./usr/share/why/why/floats_full.why -rw-r--r-- root/root 12492 2014-02-14 13:06 ./usr/share/why/why/floats_multi_rounding.why -rw-r--r-- root/root 1376 2014-02-14 13:06 ./usr/share/why/why/divisions.why -rw-r--r-- root/root 2727 2014-02-14 13:06 ./usr/share/why/why/arrays.why -rw-r--r-- root/root 28404 2014-02-14 13:06 ./usr/share/why/why/jessie.why -rw-r--r-- root/root 2642 2014-02-14 13:06 ./usr/share/why/why/prelude.why drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/why3/ -rw-r--r-- root/root 133 2014-02-14 13:06 ./usr/share/why/why3/coq.drv -rw-r--r-- root/root 2631 2014-02-14 13:06 ./usr/share/why/why3/jessie3_integer.why -rw-r--r-- root/root 19478 2014-02-14 13:06 ./usr/share/why/why3/jessie3.mlw -rw-r--r-- root/root 344 2014-02-14 13:06 ./usr/share/why/why3/why3.conf -rw-r--r-- root/root 19703 2014-02-14 13:06 ./usr/share/why/why3/jessie3theories.why drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/javacard_api/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/javacard_api/javacardx/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/javacard_api/javacardx/crypto/ -rw-r--r-- root/root 2970 2014-02-14 13:06 ./usr/share/why/javacard_api/javacardx/crypto/Cipher.java drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/javacard_api/com/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/javacard_api/com/sun/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/javacard_api/com/sun/javacard/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/javacard_api/com/sun/javacard/impl/ -rw-r--r-- root/root 65 2014-02-14 13:06 ./usr/share/why/javacard_api/com/sun/javacard/impl/NativeMethods.java -rw-r--r-- root/root 114 2014-02-14 13:06 ./usr/share/why/javacard_api/com/sun/javacard/impl/Constants.java -rw-r--r-- root/root 62 2014-02-14 13:06 ./usr/share/why/javacard_api/com/sun/javacard/impl/PrivAccess.java -rw-r--r-- root/root 64 2014-02-14 13:06 ./usr/share/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/ -rw-r--r-- root/root 3167 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/CardException.java -rw-r--r-- root/root 4190 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/ISOException.java -rw-r--r-- root/root 3306 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/CardRuntimeException.java -rw-r--r-- root/root 1565 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/Shareable.java -rw-r--r-- root/root 3042 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/PINException.java -rw-r--r-- root/root 4779 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/ISO7816.java -rw-r--r-- root/root 9040 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/Dispatcher.java -rw-r--r-- root/root 5011 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/APDUException.java -rw-r--r-- root/root 38103 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/APDU.java -rw-r--r-- root/root 4295 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/SystemException.java -rw-r--r-- root/root 7395 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/AID.java -rw-r--r-- root/root 5358 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/PIN.java -rw-r--r-- root/root 3223 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/UserException.java -rw-r--r-- root/root 14548 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/Applet.java -rw-r--r-- root/root 11618 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/OwnerPIN.java -rw-r--r-- root/root 17202 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/Util.java -rw-r--r-- root/root 4167 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/TransactionException.java -rw-r--r-- root/root 17345 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/framework/JCSystem.java drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/ -rw-r--r-- root/root 3257 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/RandomData.java -rw-r--r-- root/root 3305 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/DSAPrivateKey.java -rw-r--r-- root/root 4723 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/RSAPublicKey.java -rw-r--r-- root/root 6484 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/KeyPair.java -rw-r--r-- root/root 3820 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/CryptoException.java -rw-r--r-- root/root 2223 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/Key.java -rw-r--r-- root/root 5796 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/KeyBuilder.java -rw-r--r-- root/root 1190 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/PrivateKey.java -rw-r--r-- root/root 3138 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/DESKey.java -rw-r--r-- root/root 1190 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/PublicKey.java -rw-r--r-- root/root 1186 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/SecretKey.java -rw-r--r-- root/root 3308 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/DSAPublicKey.java -rw-r--r-- root/root 5014 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/RSAPrivateKey.java -rw-r--r-- root/root 18870 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/Signature.java -rw-r--r-- root/root 5038 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/MessageDigest.java -rw-r--r-- root/root 10715 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/RSAPrivateCrtKey.java -rw-r--r-- root/root 6928 2014-02-14 13:06 ./usr/share/why/javacard_api/javacard/security/DSAKey.java drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/javacard_api/java/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/javacard_api/java/lang/ -rw-r--r-- root/root 1758 2014-02-14 13:06 ./usr/share/why/javacard_api/java/lang/RuntimeException.java -rw-r--r-- root/root 500 2014-02-14 13:06 ./usr/share/why/javacard_api/java/lang/ArrayIndexOutOfBoundsException.java -rw-r--r-- root/root 1659 2014-02-14 13:06 ./usr/share/why/javacard_api/java/lang/Exception.java -rw-r--r-- root/root 1793 2014-02-14 13:06 ./usr/share/why/javacard_api/java/lang/Throwable.java -rw-r--r-- root/root 3513 2014-02-14 13:06 ./usr/share/why/javacard_api/java/lang/Object.java -rw-r--r-- root/root 482 2014-02-14 13:06 ./usr/share/why/javacard_api/java/lang/IndexOutOfBoundsException.java drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/why/emacs/ -rw-r--r-- root/root 4933 2014-02-14 13:06 ./usr/share/why/emacs/why.el drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/doc/ drwxr-xr-x root/root 0 2014-02-14 13:06 ./usr/share/doc/why/ -rw-r--r-- root/root 3865 2014-02-13 19:56 ./usr/share/doc/why/copyright -rw-r--r-- root/root 1809 2014-02-14 13:06 ./usr/share/doc/why/changelog.Debian.gz -rw-r--r-- root/root 849 2014-02-13 19:56 ./usr/share/doc/why/README.source -rw-r--r-- root/root 3206 2013-04-20 06:34 ./usr/share/doc/why/README lrwxrwxrwx root/root 0 2014-02-14 13:06 ./usr/share/man/man1/simplify2why.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-14 13:06 ./usr/share/man/man1/why-obfuscator.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-14 13:06 ./usr/share/man/man1/why-dp.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-14 13:06 ./usr/share/man/man1/why-stat.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-14 13:06 ./usr/share/man/man1/jessie.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-14 13:06 ./usr/share/man/man1/gwhy-bin.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-14 13:06 ./usr/share/man/man1/tool-stat.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-14 13:06 ./usr/share/man/man1/krakatoa.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-14 13:06 ./usr/share/man/man1/caduceus.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-14 13:06 ./usr/share/man/man1/rv_merge.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-14 13:06 ./usr/share/man/man1/why2html.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-14 13:06 ./usr/share/man/man1/gwhy.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-14 13:06 ./usr/share/man/man1/why-config.1.gz -> why.1.gz why_2.33-1_arm64.changes: Format: 1.8 Date: Tue, 04 Feb 2014 12:33:02 +0100 Source: why Binary: why why-examples libwhy-coq Architecture: arm64 Version: 2.33-1 Distribution: trusty-proposed Urgency: low Maintainer: Ubuntu Build Daemon Changed-By: Ralf Treinen Description: libwhy-coq - Why library for Coq why - Software verification tool why-examples - Examples of programs certified with Why Closes: 707585 730526 Changes: why (2.33-1) unstable; urgency=low . * New upstream release. This fixes an issue with compilation under ocaml-4.01 (closes: #707585). * Bump build-dependency on frama-c-base to the latest version (closes: #730526) * Drop patches adopted or otherwise fixed by upstream: - 0001-Why-2.29-do-support-Coq-8.3.patch - 0002-Mark-alt-ergo-0.93-as-compatible.patch - 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch - 0004-Default-to-why2-for-jessie-atp.patch - 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch - 0006-Fix-spelling-error-in-binary.patch - 0007-Replace-caduceus-invocation-by-Frama-C.patch * New patch deprecated-or to replace "or" by "||", needed for more strict checks in ocaml 4 * New patch hashtbl to fix compilation with ocaml 4.01, taken from fedora. * New patch atp-versions: update accepted versions of external provers: alt-ergo, coq * New patch frama-c-versions: update accepted version of frama-c * Add myself to uploaders. * Standards-Version 3.9.5 (no change) * Add DEP8-style package tests - why with alt-ergo - why with cvc3 - why with coq (thanks to Pierre Letouzey for his help!) - frama-c, jessie plugin (from the why package), and alt-ergo * Add to the Recommendation of package alt-ergo alternatives on other theorem provers: cvc3, coq Checksums-Sha1: 6ce6e17fe63c397c1f6a143943448a7f277d6c1d 9926462 why_2.33-1_arm64.deb Checksums-Sha256: f9295923aa4ec9d935d95646d73147f8431951ef7f708868e13ec99843ec4f84 9926462 why_2.33-1_arm64.deb Files: 863820319936e6801362db279eba1578 9926462 math optional why_2.33-1_arm64.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20140214-1307 Build needed 00:06:23, 208072k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-5588737'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-5588737/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-5588737'] Unmounting chroot for build PACKAGEBUILD-5588737... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-5588737'] Removing build PACKAGEBUILD-5588737