RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep']
Forking launchpad-buildd slave process...
Kernel version: Linux templar 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.5ubuntu5.
Syncing the system clock with the buildd NTP service...
30 Apr 12:08:52 ntpdate[31540]: adjust time server 10.211.37.1 offset 0.015796 sec
RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-5963172', '/home/buildd/filecache-default/76dc409df973c3787fa3d97bbe6fa0d7ccf4bcab']
Unpacking chroot for build PACKAGEBUILD-5963172
RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-5963172']
Mounting chroot for build PACKAGEBUILD-5963172
RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-5963172', 'deb http://ftpmaster.internal/ubuntu utopic main universe', 'deb http://ftpmaster.internal/ubuntu utopic-security main universe', 'deb http://ftpmaster.internal/ubuntu utopic-updates main universe', 'deb http://ftpmaster.internal/ubuntu utopic-proposed main universe']
Overriding sources.list in build-PACKAGEBUILD-5963172
RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-5963172', 'arm64']
Updating debian chroot for build PACKAGEBUILD-5963172
Ign http://ftpmaster.internal utopic InRelease
Ign http://ftpmaster.internal utopic-security InRelease
Ign http://ftpmaster.internal utopic-updates InRelease
Ign http://ftpmaster.internal utopic-proposed InRelease
Get:1 http://ftpmaster.internal utopic Release.gpg [933 B]
Get:2 http://ftpmaster.internal utopic-security Release.gpg [933 B]
Get:3 http://ftpmaster.internal utopic-updates Release.gpg [933 B]
Get:4 http://ftpmaster.internal utopic-proposed Release.gpg [933 B]
Get:5 http://ftpmaster.internal utopic Release [58.5 kB]
Get:6 http://ftpmaster.internal utopic-security Release [58.5 kB]
Get:7 http://ftpmaster.internal utopic-updates Release [58.5 kB]
Get:8 http://ftpmaster.internal utopic-proposed Release [58.5 kB]
Get:9 http://ftpmaster.internal utopic/main arm64 Packages [1259 kB]
Get:10 http://ftpmaster.internal utopic/universe arm64 Packages [5568 kB]
Get:11 http://ftpmaster.internal utopic/main Translation-en [768 kB]
Get:12 http://ftpmaster.internal utopic/universe Translation-en [4152 kB]
Get:13 http://ftpmaster.internal utopic-security/main arm64 Packages [14 B]
Get:14 http://ftpmaster.internal utopic-security/universe arm64 Packages [14 B]
Get:15 http://ftpmaster.internal utopic-security/main Translation-en [14 B]
Get:16 http://ftpmaster.internal utopic-security/universe Translation-en [14 B]
Get:17 http://ftpmaster.internal utopic-updates/main arm64 Packages [14 B]
Get:18 http://ftpmaster.internal utopic-updates/universe arm64 Packages [14 B]
Get:19 http://ftpmaster.internal utopic-updates/main Translation-en [14 B]
Get:20 http://ftpmaster.internal utopic-updates/universe Translation-en [14 B]
Get:21 http://ftpmaster.internal utopic-proposed/main arm64 Packages [39.0 kB]
Get:22 http://ftpmaster.internal utopic-proposed/universe arm64 Packages [180 kB]
Get:23 http://ftpmaster.internal utopic-proposed/main Translation-en [21.9 kB]
Get:24 http://ftpmaster.internal utopic-proposed/universe Translation-en [118 kB]
Fetched 12.3 MB in 11s (1064 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:
  librtmp0
Use 'apt-get autoremove' to remove it.
The following NEW packages will be installed:
  libhogweed2 libnettle4 librtmp1
The following packages will be upgraded:
  advancecomp apt apt-transport-https base-files bash binutils cpio cpp-4.8
  debconf dpkg dpkg-dev findutils g++-4.8 gcc-4.8 gcc-4.8-base gcc-4.9-base
  grep iproute2 kmod libapt-pkg4.12 libatomic1 libcgmanager0 libcurl3-gnutls
  libdebconfclient0 libdpkg-perl libdrm2 libgcc-4.8-dev libgcc1 libgomp1
  libjson-c2 libjson0 libkmod2 libp11-kit0 libpcre3 libsasl2-2
  libsasl2-modules-db libselinux1 libsemanage-common libsemanage1 libslang2
  libstdc++-4.8-dev libstdc++6 libtimedate-perl libudev1 module-init-tools
  patch tar udev
48 upgraded, 3 newly installed, 0 to remove and 0 not upgraded.
Need to get 22.2 MB of archives.
After this operation, 617 kB disk space will be freed.
Get:1 http://ftpmaster.internal/ubuntu/ utopic/main base-files arm64 7.2ubuntu6 [69.3 kB]
Get:2 http://ftpmaster.internal/ubuntu/ utopic/main bash arm64 4.3-7ubuntu1 [508 kB]
Get:3 http://ftpmaster.internal/ubuntu/ utopic/main dpkg arm64 1.17.8ubuntu1 [1952 kB]
Get:4 http://ftpmaster.internal/ubuntu/ utopic/main findutils arm64 4.4.2-8 [252 kB]
Get:5 http://ftpmaster.internal/ubuntu/ utopic/main grep arm64 2.18-2 [141 kB]
Get:6 http://ftpmaster.internal/ubuntu/ utopic/main tar arm64 1.27.1-2 [172 kB]
Get:7 http://ftpmaster.internal/ubuntu/ utopic/main gcc-4.9-base arm64 4.9.0-1ubuntu3 [16.4 kB]
Get:8 http://ftpmaster.internal/ubuntu/ utopic/main libgcc1 arm64 1:4.9.0-1ubuntu3 [32.4 kB]
Get:9 http://ftpmaster.internal/ubuntu/ utopic/main libstdc++6 arm64 4.9.0-1ubuntu3 [247 kB]
Get:10 http://ftpmaster.internal/ubuntu/ utopic/main libapt-pkg4.12 arm64 1.0.2ubuntu2 [592 kB]
Get:11 http://ftpmaster.internal/ubuntu/ utopic/main apt arm64 1.0.2ubuntu2 [947 kB]
Get:12 http://ftpmaster.internal/ubuntu/ utopic/main debconf all 1.5.53ubuntu1 [144 kB]
Get:13 http://ftpmaster.internal/ubuntu/ utopic/main libdebconfclient0 arm64 0.190ubuntu1 [6086 B]
Get:14 http://ftpmaster.internal/ubuntu/ utopic/main libpcre3 arm64 1:8.31-5ubuntu1 [133 kB]
Get:15 http://ftpmaster.internal/ubuntu/ utopic/main libselinux1 arm64 2.2.2-1ubuntu1 [49.6 kB]
Get:16 http://ftpmaster.internal/ubuntu/ utopic/main libsemanage-common all 2.2-1ubuntu1 [6344 B]
Get:17 http://ftpmaster.internal/ubuntu/ utopic/main libsemanage1 arm64 2.2-1ubuntu1 [55.8 kB]
Get:18 http://ftpmaster.internal/ubuntu/ utopic/main libslang2 arm64 2.2.4-16ubuntu1 [345 kB]
Get:19 http://ftpmaster.internal/ubuntu/ utopic/main libp11-kit0 arm64 0.20.2-5 [59.5 kB]
Get:20 http://ftpmaster.internal/ubuntu/ utopic/main libdrm2 arm64 2.4.53-1 [19.6 kB]
Get:21 http://ftpmaster.internal/ubuntu/ utopic/main libjson-c2 arm64 0.11-4ubuntu1 [19.8 kB]
Get:22 http://ftpmaster.internal/ubuntu/ utopic/main libkmod2 arm64 16-2ubuntu3 [30.4 kB]
Get:23 http://ftpmaster.internal/ubuntu/ utopic-proposed/main libcgmanager0 arm64 0.25-0ubuntu1 [21.9 kB]
Get:24 http://ftpmaster.internal/ubuntu/ utopic/main udev arm64 204-10ubuntu1 [714 kB]
Get:25 http://ftpmaster.internal/ubuntu/ utopic/main libudev1 arm64 204-10ubuntu1 [33.9 kB]
Get:26 http://ftpmaster.internal/ubuntu/ utopic/main kmod arm64 16-2ubuntu3 [74.0 kB]
Get:27 http://ftpmaster.internal/ubuntu/ utopic/main module-init-tools all 16-2ubuntu3 [2080 B]
Get:28 http://ftpmaster.internal/ubuntu/ utopic/main libnettle4 arm64 2.7.1-2 [100 kB]
Get:29 http://ftpmaster.internal/ubuntu/ utopic/main libhogweed2 arm64 2.7.1-2 [118 kB]
Get:30 http://ftpmaster.internal/ubuntu/ utopic-proposed/main librtmp1 arm64 2.4+20131018.git79459a2-2 [48.1 kB]
Get:31 http://ftpmaster.internal/ubuntu/ utopic-proposed/main libcurl3-gnutls arm64 7.35.0-1ubuntu3 [135 kB]
Get:32 http://ftpmaster.internal/ubuntu/ utopic/main libsasl2-2 arm64 2.1.26.dfsg1-9 [40.4 kB]
Get:33 http://ftpmaster.internal/ubuntu/ utopic/main libsasl2-modules-db arm64 2.1.26.dfsg1-9 [12.8 kB]
Get:34 http://ftpmaster.internal/ubuntu/ utopic/main libatomic1 arm64 4.9.0-1ubuntu3 [6762 B]
Get:35 http://ftpmaster.internal/ubuntu/ utopic/main libgomp1 arm64 4.9.0-1ubuntu3 [30.8 kB]
Get:36 http://ftpmaster.internal/ubuntu/ utopic/main g++-4.8 arm64 4.8.2-21ubuntu1 [3827 kB]
Get:37 http://ftpmaster.internal/ubuntu/ utopic/main libstdc++-4.8-dev arm64 4.8.2-21ubuntu1 [1036 kB]
Get:38 http://ftpmaster.internal/ubuntu/ utopic/main gcc-4.8 arm64 4.8.2-21ubuntu1 [3911 kB]
Get:39 http://ftpmaster.internal/ubuntu/ utopic/main cpp-4.8 arm64 4.8.2-21ubuntu1 [3482 kB]
Get:40 http://ftpmaster.internal/ubuntu/ utopic/main binutils arm64 2.24.51.20140425-0ubuntu2 [1045 kB]
Get:41 http://ftpmaster.internal/ubuntu/ utopic/main libgcc-4.8-dev arm64 4.8.2-21ubuntu1 [132 kB]
Get:42 http://ftpmaster.internal/ubuntu/ utopic/main gcc-4.8-base arm64 4.8.2-21ubuntu1 [15.7 kB]
Get:43 http://ftpmaster.internal/ubuntu/ utopic/main cpio arm64 2.11+dfsg-2ubuntu1 [62.4 kB]
Get:44 http://ftpmaster.internal/ubuntu/ utopic/main iproute2 arm64 3.14.0-1 [378 kB]
Get:45 http://ftpmaster.internal/ubuntu/ utopic/main libjson0 arm64 0.11-4ubuntu1 [1138 B]
Get:46 http://ftpmaster.internal/ubuntu/ utopic/main apt-transport-https arm64 1.0.2ubuntu2 [24.9 kB]
Get:47 http://ftpmaster.internal/ubuntu/ utopic/main advancecomp arm64 1.19-1 [143 kB]
Get:48 http://ftpmaster.internal/ubuntu/ utopic/main libtimedate-perl all 2.3000-2 [37.5 kB]
Get:49 http://ftpmaster.internal/ubuntu/ utopic/main dpkg-dev all 1.17.8ubuntu1 [726 kB]
Get:50 http://ftpmaster.internal/ubuntu/ utopic/main libdpkg-perl all 1.17.8ubuntu1 [181 kB]
Get:51 http://ftpmaster.internal/ubuntu/ utopic/main patch arm64 2.7.1-5 [75.7 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 22.2 MB in 17s (1266 kB/s)
(Reading database ... 11723 files and directories currently installed.)
Preparing to unpack .../base-files_7.2ubuntu6_arm64.deb ...
Unpacking base-files (7.2ubuntu6) over (7.2ubuntu5) ...
Setting up base-files (7.2ubuntu6) ...
Installing new version of config file /etc/issue ...
Installing new version of config file /etc/issue.net ...
Installing new version of config file /etc/lsb-release ...
Installing new version of config file /etc/os-release ...
(Reading database ... 11723 files and directories currently installed.)
Preparing to unpack .../bash_4.3-7ubuntu1_arm64.deb ...
Unpacking bash (4.3-7ubuntu1) over (4.3-6ubuntu1) ...
Setting up bash (4.3-7ubuntu1) ...
update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode
(Reading database ... 11723 files and directories currently installed.)
Preparing to unpack .../dpkg_1.17.8ubuntu1_arm64.deb ...
Unpacking dpkg (1.17.8ubuntu1) over (1.17.5ubuntu5) ...
Setting up dpkg (1.17.8ubuntu1) ...
Installing new version of config file /etc/cron.daily/dpkg ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../findutils_4.4.2-8_arm64.deb ...
Unpacking findutils (4.4.2-8) over (4.4.2-7) ...
Setting up findutils (4.4.2-8) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../archives/grep_2.18-2_arm64.deb ...
Unpacking grep (2.18-2) over (2.16-1) ...
Setting up grep (2.18-2) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../tar_1.27.1-2_arm64.deb ...
Unpacking tar (1.27.1-2) over (1.27.1-1) ...
Setting up tar (1.27.1-2) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../gcc-4.9-base_4.9.0-1ubuntu3_arm64.deb ...
Unpacking gcc-4.9-base:arm64 (4.9.0-1ubuntu3) over (4.9-20140406-0ubuntu1) ...
Setting up gcc-4.9-base:arm64 (4.9.0-1ubuntu3) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../libgcc1_1%3a4.9.0-1ubuntu3_arm64.deb ...
Unpacking libgcc1:arm64 (1:4.9.0-1ubuntu3) over (1:4.9-20140406-0ubuntu1) ...
Setting up libgcc1:arm64 (1:4.9.0-1ubuntu3) ...
Processing triggers for libc-bin (2.19-0ubuntu6) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../libstdc++6_4.9.0-1ubuntu3_arm64.deb ...
Unpacking libstdc++6:arm64 (4.9.0-1ubuntu3) over (4.8.2-19ubuntu1) ...
Setting up libstdc++6:arm64 (4.9.0-1ubuntu3) ...
Processing triggers for libc-bin (2.19-0ubuntu6) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../libapt-pkg4.12_1.0.2ubuntu2_arm64.deb ...
Unpacking libapt-pkg4.12:arm64 (1.0.2ubuntu2) over (1.0.1ubuntu2) ...
Setting up libapt-pkg4.12:arm64 (1.0.2ubuntu2) ...
Processing triggers for libc-bin (2.19-0ubuntu6) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../apt_1.0.2ubuntu2_arm64.deb ...
Unpacking apt (1.0.2ubuntu2) over (1.0.1ubuntu2) ...
Setting up apt (1.0.2ubuntu2) ...
Processing triggers for libc-bin (2.19-0ubuntu6) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../debconf_1.5.53ubuntu1_all.deb ...
Unpacking debconf (1.5.53ubuntu1) over (1.5.51ubuntu2) ...
Setting up debconf (1.5.53ubuntu1) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../libdebconfclient0_0.190ubuntu1_arm64.deb ...
Unpacking libdebconfclient0:arm64 (0.190ubuntu1) over (0.187ubuntu1) ...
Setting up libdebconfclient0:arm64 (0.190ubuntu1) ...
Processing triggers for libc-bin (2.19-0ubuntu6) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../libpcre3_1%3a8.31-5ubuntu1_arm64.deb ...
Unpacking libpcre3:arm64 (1:8.31-5ubuntu1) over (1:8.31-2ubuntu2) ...
Setting up libpcre3:arm64 (1:8.31-5ubuntu1) ...
Processing triggers for libc-bin (2.19-0ubuntu6) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../libselinux1_2.2.2-1ubuntu1_arm64.deb ...
Unpacking libselinux1:arm64 (2.2.2-1ubuntu1) over (2.2.2-1) ...
Setting up libselinux1:arm64 (2.2.2-1ubuntu1) ...
Processing triggers for libc-bin (2.19-0ubuntu6) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../libsemanage-common_2.2-1ubuntu1_all.deb ...
Unpacking libsemanage-common (2.2-1ubuntu1) over (2.2-1) ...
Setting up libsemanage-common (2.2-1ubuntu1) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../libsemanage1_2.2-1ubuntu1_arm64.deb ...
Unpacking libsemanage1:arm64 (2.2-1ubuntu1) over (2.2-1) ...
Setting up libsemanage1:arm64 (2.2-1ubuntu1) ...
Processing triggers for libc-bin (2.19-0ubuntu6) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../libslang2_2.2.4-16ubuntu1_arm64.deb ...
Unpacking libslang2:arm64 (2.2.4-16ubuntu1) over (2.2.4-15ubuntu1) ...
Setting up libslang2:arm64 (2.2.4-16ubuntu1) ...
Processing triggers for libc-bin (2.19-0ubuntu6) ...
(Reading database ... 11726 files and directories currently installed.)
Preparing to unpack .../libp11-kit0_0.20.2-5_arm64.deb ...
Unpacking libp11-kit0:arm64 (0.20.2-5) over (0.20.2-2ubuntu2) ...
Preparing to unpack .../libdrm2_2.4.53-1_arm64.deb ...
Unpacking libdrm2:arm64 (2.4.53-1) over (2.4.52-1) ...
Preparing to unpack .../libjson-c2_0.11-4ubuntu1_arm64.deb ...
Unpacking libjson-c2:arm64 (0.11-4ubuntu1) over (0.11-3ubuntu1) ...
Preparing to unpack .../libkmod2_16-2ubuntu3_arm64.deb ...
Unpacking libkmod2:arm64 (16-2ubuntu3) over (15-0ubuntu6) ...
Preparing to unpack .../libcgmanager0_0.25-0ubuntu1_arm64.deb ...
Unpacking libcgmanager0:arm64 (0.25-0ubuntu1) over (0.24-0ubuntu5) ...
Preparing to unpack .../udev_204-10ubuntu1_arm64.deb ...
Unpacking udev (204-10ubuntu1) over (204-5ubuntu20) ...
Preparing to unpack .../libudev1_204-10ubuntu1_arm64.deb ...
Unpacking libudev1:arm64 (204-10ubuntu1) over (204-5ubuntu20) ...
Preparing to unpack .../kmod_16-2ubuntu3_arm64.deb ...
Unpacking kmod (16-2ubuntu3) over (15-0ubuntu6) ...
Preparing to unpack .../module-init-tools_16-2ubuntu3_all.deb ...
Unpacking module-init-tools (16-2ubuntu3) over (15-0ubuntu6) ...
Selecting previously unselected package libnettle4:arm64.
Preparing to unpack .../libnettle4_2.7.1-2_arm64.deb ...
Unpacking libnettle4:arm64 (2.7.1-2) ...
Selecting previously unselected package libhogweed2:arm64.
Preparing to unpack .../libhogweed2_2.7.1-2_arm64.deb ...
Unpacking libhogweed2:arm64 (2.7.1-2) ...
Selecting previously unselected package librtmp1:arm64.
Preparing to unpack .../librtmp1_2.4+20131018.git79459a2-2_arm64.deb ...
Unpacking librtmp1:arm64 (2.4+20131018.git79459a2-2) ...
Preparing to unpack .../libcurl3-gnutls_7.35.0-1ubuntu3_arm64.deb ...
Unpacking libcurl3-gnutls:arm64 (7.35.0-1ubuntu3) over (7.35.0-1ubuntu2) ...
Preparing to unpack .../libsasl2-2_2.1.26.dfsg1-9_arm64.deb ...
Unpacking libsasl2-2:arm64 (2.1.26.dfsg1-9) over (2.1.25.dfsg1-17build1) ...
Preparing to unpack .../libsasl2-modules-db_2.1.26.dfsg1-9_arm64.deb ...
Unpacking libsasl2-modules-db:arm64 (2.1.26.dfsg1-9) over (2.1.25.dfsg1-17build1) ...
Preparing to unpack .../libatomic1_4.9.0-1ubuntu3_arm64.deb ...
Unpacking libatomic1:arm64 (4.9.0-1ubuntu3) over (4.8.2-19ubuntu1) ...
Preparing to unpack .../libgomp1_4.9.0-1ubuntu3_arm64.deb ...
Unpacking libgomp1:arm64 (4.9.0-1ubuntu3) over (4.8.2-19ubuntu1) ...
Preparing to unpack .../g++-4.8_4.8.2-21ubuntu1_arm64.deb ...
Unpacking g++-4.8 (4.8.2-21ubuntu1) over (4.8.2-19ubuntu1) ...
Preparing to unpack .../libstdc++-4.8-dev_4.8.2-21ubuntu1_arm64.deb ...
Unpacking libstdc++-4.8-dev:arm64 (4.8.2-21ubuntu1) over (4.8.2-19ubuntu1) ...
Preparing to unpack .../gcc-4.8_4.8.2-21ubuntu1_arm64.deb ...
Unpacking gcc-4.8 (4.8.2-21ubuntu1) over (4.8.2-19ubuntu1) ...
Preparing to unpack .../cpp-4.8_4.8.2-21ubuntu1_arm64.deb ...
Unpacking cpp-4.8 (4.8.2-21ubuntu1) over (4.8.2-19ubuntu1) ...
Preparing to unpack .../binutils_2.24.51.20140425-0ubuntu2_arm64.deb ...
Unpacking binutils (2.24.51.20140425-0ubuntu2) over (2.24-5ubuntu3) ...
Preparing to unpack .../libgcc-4.8-dev_4.8.2-21ubuntu1_arm64.deb ...
Unpacking libgcc-4.8-dev:arm64 (4.8.2-21ubuntu1) over (4.8.2-19ubuntu1) ...
Preparing to unpack .../gcc-4.8-base_4.8.2-21ubuntu1_arm64.deb ...
Unpacking gcc-4.8-base:arm64 (4.8.2-21ubuntu1) over (4.8.2-19ubuntu1) ...
Preparing to unpack .../cpio_2.11+dfsg-2ubuntu1_arm64.deb ...
Unpacking cpio (2.11+dfsg-2ubuntu1) over (2.11+dfsg-1ubuntu1) ...
Preparing to unpack .../iproute2_3.14.0-1_arm64.deb ...
Unpacking iproute2 (3.14.0-1) over (3.12.0-2) ...
Preparing to unpack .../libjson0_0.11-4ubuntu1_arm64.deb ...
Unpacking libjson0:arm64 (0.11-4ubuntu1) over (0.11-3ubuntu1) ...
Preparing to unpack .../apt-transport-https_1.0.2ubuntu2_arm64.deb ...
Unpacking apt-transport-https (1.0.2ubuntu2) over (1.0.1ubuntu2) ...
Preparing to unpack .../advancecomp_1.19-1_arm64.deb ...
Unpacking advancecomp (1.19-1) over (1.18-1) ...
Preparing to unpack .../libtimedate-perl_2.3000-2_all.deb ...
Unpacking libtimedate-perl (2.3000-2) over (2.3000-1) ...
Preparing to unpack .../dpkg-dev_1.17.8ubuntu1_all.deb ...
Unpacking dpkg-dev (1.17.8ubuntu1) over (1.17.5ubuntu5) ...
Preparing to unpack .../libdpkg-perl_1.17.8ubuntu1_all.deb ...
Unpacking libdpkg-perl (1.17.8ubuntu1) over (1.17.5ubuntu5) ...
Preparing to unpack .../patch_2.7.1-5_arm64.deb ...
Unpacking patch (2.7.1-5) over (2.7.1-4) ...
Setting up libp11-kit0:arm64 (0.20.2-5) ...
Setting up libdrm2:arm64 (2.4.53-1) ...
Setting up libjson-c2:arm64 (0.11-4ubuntu1) ...
Setting up libkmod2:arm64 (16-2ubuntu3) ...
Setting up libcgmanager0:arm64 (0.25-0ubuntu1) ...
Setting up libudev1:arm64 (204-10ubuntu1) ...
Setting up udev (204-10ubuntu1) ...
Installing new version of config file /etc/modprobe.d/fbdev-blacklist.conf ...
Installing new version of config file /etc/init.d/udev ...
Installing new version of config file /etc/init/udev-finish.conf ...
invoke-rc.d: policy-rc.d denied execution of restart.
update-initramfs: deferring update (trigger activated)
Setting up kmod (16-2ubuntu3) ...
Installing new version of config file /etc/init.d/kmod ...
Setting up module-init-tools (16-2ubuntu3) ...
Setting up libnettle4:arm64 (2.7.1-2) ...
Setting up libhogweed2:arm64 (2.7.1-2) ...
Setting up librtmp1:arm64 (2.4+20131018.git79459a2-2) ...
Setting up libcurl3-gnutls:arm64 (7.35.0-1ubuntu3) ...
Setting up libsasl2-modules-db:arm64 (2.1.26.dfsg1-9) ...
Setting up libsasl2-2:arm64 (2.1.26.dfsg1-9) ...
Setting up libatomic1:arm64 (4.9.0-1ubuntu3) ...
Setting up libgomp1:arm64 (4.9.0-1ubuntu3) ...
Setting up gcc-4.8-base:arm64 (4.8.2-21ubuntu1) ...
Setting up cpp-4.8 (4.8.2-21ubuntu1) ...
Setting up binutils (2.24.51.20140425-0ubuntu2) ...
Setting up libgcc-4.8-dev:arm64 (4.8.2-21ubuntu1) ...
Setting up gcc-4.8 (4.8.2-21ubuntu1) ...
Setting up libstdc++-4.8-dev:arm64 (4.8.2-21ubuntu1) ...
Setting up g++-4.8 (4.8.2-21ubuntu1) ...
Setting up cpio (2.11+dfsg-2ubuntu1) ...
Setting up iproute2 (3.14.0-1) ...
Setting up libjson0:arm64 (0.11-4ubuntu1) ...
Setting up apt-transport-https (1.0.2ubuntu2) ...
Setting up advancecomp (1.19-1) ...
Setting up libtimedate-perl (2.3000-2) ...
Setting up libdpkg-perl (1.17.8ubuntu1) ...
Setting up patch (2.7.1-5) ...
Setting up dpkg-dev (1.17.8ubuntu1) ...
Processing triggers for libc-bin (2.19-0ubuntu6) ...
Processing triggers for initramfs-tools (0.103ubuntu4) ...
RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-5963172', 'arm64', 'utopic-proposed', '--nolog', '--batch', '--archive=ubuntu', '--dist=utopic-proposed', '--purpose=PRIMARY', '--architecture=arm64', '--comp=universe', 'why_2.34-1.dsc']
Initiating build PACKAGEBUILD-5963172 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.34-1 on templar by sbuild/arm64 1.170.5
Build started at 20140430-1210
******************************************************************************
why_2.34-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 (>= 20140301+neon+dfsg), 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:
  librtmp0
Use 'apt-get autoremove' to remove it.
The following extra packages will be installed:
  aspell aspell-en bsdmainutils coq-theories dbus dbus-x11 dh-apparmor
  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 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 libppl-dev libppl13 libpthread-stubs0-dev
  libpython-stdlib libpython2.7-minimal libpython2.7-stdlib librsvg2-2
  libsigsegv2 libsm-dev libsm6 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 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
  apparmor-easyprof 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
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:
  aspell aspell-en autoconf autotools-dev bsdmainutils camlidl camlp4 coq
  coq-theories dbus dbus-x11 debhelper dh-apparmor dh-ocaml
  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 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 libppl-dev
  libppl13 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal
  libpython2.7-stdlib librsvg2-2 libsigsegv2 libsm-dev libsm6
  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 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, 239 newly installed, 0 to remove and 0 not upgraded.
Need to get 111 MB of archives.
After this operation, 596 MB of additional disk space will be used.
Get:1 http://ftpmaster.internal/ubuntu/ utopic/main libexpat1 arm64 2.1.0-4ubuntu1 [56.6 kB]
Get:2 http://ftpmaster.internal/ubuntu/ utopic/main libmagic1 arm64 1:5.14-2ubuntu3 [176 kB]
Get:3 http://ftpmaster.internal/ubuntu/ utopic/main libpopt0 arm64 1.16-8ubuntu1 [21.6 kB]
Get:4 http://ftpmaster.internal/ubuntu/ utopic/main libasprintf0c2 arm64 0.18.3.2-1ubuntu1 [6354 B]
Get:5 http://ftpmaster.internal/ubuntu/ utopic/main libglib2.0-0 arm64 2.40.0-3 [876 kB]
Get:6 http://ftpmaster.internal/ubuntu/ utopic/main libdbus-glib-1-2 arm64 0.102-1 [56.8 kB]
Get:7 http://ftpmaster.internal/ubuntu/ utopic/main libpipeline1 arm64 1.3.0-1 [20.8 kB]
Get:8 http://ftpmaster.internal/ubuntu/ utopic/main libsystemd-login0 arm64 204-10ubuntu1 [28.3 kB]
Get:9 http://ftpmaster.internal/ubuntu/ utopic/main libxau6 arm64 1:1.0.8-1 [7590 B]
Get:10 http://ftpmaster.internal/ubuntu/ utopic/main libxdmcp6 arm64 1:1.1.1-1 [11.7 kB]
Get:11 http://ftpmaster.internal/ubuntu/ utopic/main libxcb1 arm64 1.10-2ubuntu1 [30.7 kB]
Get:12 http://ftpmaster.internal/ubuntu/ utopic/main libx11-data all 2:1.6.2-1ubuntu2 [111 kB]
Get:13 http://ftpmaster.internal/ubuntu/ utopic/main libx11-6 arm64 2:1.6.2-1ubuntu2 [500 kB]
Get:14 http://ftpmaster.internal/ubuntu/ utopic/main libxext6 arm64 2:1.3.2-1 [28.8 kB]
Get:15 http://ftpmaster.internal/ubuntu/ utopic/main libxml2 arm64 2.9.1+dfsg1-3ubuntu4 [461 kB]
Get:16 http://ftpmaster.internal/ubuntu/ utopic/main groff-base arm64 1.22.2-5 [1044 kB]
Get:17 http://ftpmaster.internal/ubuntu/ utopic/main bsdmainutils arm64 9.0.5ubuntu1 [199 kB]
Get:18 http://ftpmaster.internal/ubuntu/ utopic/main man-db arm64 2.6.7.1-1 [827 kB]
Get:19 http://ftpmaster.internal/ubuntu/ utopic/main libart-2.0-2 arm64 2.3.21-2 [40.5 kB]
Get:20 http://ftpmaster.internal/ubuntu/ utopic/main libasound2-data all 1.0.27.2-3ubuntu7 [26.3 kB]
Get:21 http://ftpmaster.internal/ubuntu/ utopic/main libasound2 arm64 1.0.27.2-3ubuntu7 [256 kB]
Get:22 http://ftpmaster.internal/ubuntu/ utopic/main libatk1.0-data all 2.10.0-2ubuntu2 [13.7 kB]
Get:23 http://ftpmaster.internal/ubuntu/ utopic/main libatk1.0-0 arm64 2.10.0-2ubuntu2 [43.5 kB]
Get:24 http://ftpmaster.internal/ubuntu/ utopic/main libavahi-common-data arm64 0.6.31-4ubuntu1 [21.3 kB]
Get:25 http://ftpmaster.internal/ubuntu/ utopic/main libavahi-common3 arm64 0.6.31-4ubuntu1 [18.0 kB]
Get:26 http://ftpmaster.internal/ubuntu/ utopic/main libavahi-client3 arm64 0.6.31-4ubuntu1 [20.9 kB]
Get:27 http://ftpmaster.internal/ubuntu/ utopic/main libavahi-glib1 arm64 0.6.31-4ubuntu1 [6954 B]
Get:28 http://ftpmaster.internal/ubuntu/ utopic/main libbonobo2-common all 2.32.1-0ubuntu5 [34.2 kB]
Get:29 http://ftpmaster.internal/ubuntu/ utopic/main libidl-common all 0.8.14-0.2ubuntu4 [8196 B]
Get:30 http://ftpmaster.internal/ubuntu/ utopic/main libidl0 arm64 0.8.14-0.2ubuntu4 [56.3 kB]
Get:31 http://ftpmaster.internal/ubuntu/ utopic/main liborbit-2-0 arm64 1:2.14.19-0.3 [112 kB]
Get:32 http://ftpmaster.internal/ubuntu/ utopic/main liborbit2 arm64 1:2.14.19-0.3 [12.5 kB]
Get:33 http://ftpmaster.internal/ubuntu/ utopic/main libbonobo2-0 arm64 2.32.1-0ubuntu5 [179 kB]
Get:34 http://ftpmaster.internal/ubuntu/ utopic/main ucf all 3.0028 [53.9 kB]
Get:35 http://ftpmaster.internal/ubuntu/ utopic/main gconf2-common all 3.2.6-2ubuntu1 [21.1 kB]
Get:36 http://ftpmaster.internal/ubuntu/ utopic/main libgconf-2-4 arm64 3.2.6-2ubuntu1 [68.8 kB]
Get:37 http://ftpmaster.internal/ubuntu/ utopic/main gconf-service-backend arm64 3.2.6-2ubuntu1 [46.9 kB]
Get:38 http://ftpmaster.internal/ubuntu/ utopic/main gconf-service arm64 3.2.6-2ubuntu1 [2100 B]
Get:39 http://ftpmaster.internal/ubuntu/ utopic/main libjpeg-turbo8 arm64 1.3.0-0ubuntu2 [80.2 kB]
Get:40 http://ftpmaster.internal/ubuntu/ utopic/main libjpeg8 arm64 8c-2ubuntu8 [2198 B]
Get:41 http://ftpmaster.internal/ubuntu/ utopic/main libjasper1 arm64 1.900.1-14ubuntu3 [106 kB]
Get:42 http://ftpmaster.internal/ubuntu/ utopic/main libjbig0 arm64 2.0-2ubuntu4 [22.7 kB]
Get:43 http://ftpmaster.internal/ubuntu/ utopic/main libtiff5 arm64 4.0.3-8 [120 kB]
Get:44 http://ftpmaster.internal/ubuntu/ utopic/main libgdk-pixbuf2.0-common all 2.30.7-0ubuntu1 [8610 B]
Get:45 http://ftpmaster.internal/ubuntu/ utopic/main libgdk-pixbuf2.0-0 arm64 2.30.7-0ubuntu1 [136 kB]
Get:46 http://ftpmaster.internal/ubuntu/ utopic/main libgtk2.0-common all 2.24.23-0ubuntu1 [121 kB]
Get:47 http://ftpmaster.internal/ubuntu/ utopic/main fonts-dejavu-core all 2.34-1ubuntu1 [1024 kB]
Get:48 http://ftpmaster.internal/ubuntu/ utopic/main fontconfig-config all 2.11.0-0ubuntu4 [47.3 kB]
Get:49 http://ftpmaster.internal/ubuntu/ utopic/main libfreetype6 arm64 2.5.2-1ubuntu2 [255 kB]
Get:50 http://ftpmaster.internal/ubuntu/ utopic/main libfontconfig1 arm64 2.11.0-0ubuntu4 [107 kB]
Get:51 http://ftpmaster.internal/ubuntu/ utopic/main libpixman-1-0 arm64 0.30.2-2ubuntu1 [113 kB]
Get:52 http://ftpmaster.internal/ubuntu/ utopic/main libxcb-render0 arm64 1.10-2ubuntu1 [9448 B]
Get:53 http://ftpmaster.internal/ubuntu/ utopic/main libxcb-shm0 arm64 1.10-2ubuntu1 [5106 B]
Get:54 http://ftpmaster.internal/ubuntu/ utopic/main libxrender1 arm64 1:0.9.8-1 [18.2 kB]
Get:55 http://ftpmaster.internal/ubuntu/ utopic/main libcairo2 arm64 1.13.0~20140204-0ubuntu1 [443 kB]
Get:56 http://ftpmaster.internal/ubuntu/ utopic/main libcups2 arm64 1.7.2-0ubuntu1 [149 kB]
Get:57 http://ftpmaster.internal/ubuntu/ utopic/main libthai-data all 0.1.20-3 [130 kB]
Get:58 http://ftpmaster.internal/ubuntu/ utopic/main libdatrie1 arm64 0.2.8-1 [13.8 kB]
Get:59 http://ftpmaster.internal/ubuntu/ utopic/main libthai0 arm64 0.1.20-3 [14.5 kB]
Get:60 http://ftpmaster.internal/ubuntu/ utopic/main fontconfig arm64 2.11.0-0ubuntu4 [176 kB]
Get:61 http://ftpmaster.internal/ubuntu/ utopic/main libpango-1.0-0 arm64 1.36.3-1ubuntu1 [131 kB]
Get:62 http://ftpmaster.internal/ubuntu/ utopic/main libgraphite2-3 arm64 1.2.4-1ubuntu1 [44.4 kB]
Get:63 http://ftpmaster.internal/ubuntu/ utopic/main libharfbuzz0b arm64 0.9.27-1 [104 kB]
Get:64 http://ftpmaster.internal/ubuntu/ utopic/main libpangoft2-1.0-0 arm64 1.36.3-1ubuntu1 [26.6 kB]
Get:65 http://ftpmaster.internal/ubuntu/ utopic/main libpangocairo-1.0-0 arm64 1.36.3-1ubuntu1 [16.4 kB]
Get:66 http://ftpmaster.internal/ubuntu/ utopic/main libxcomposite1 arm64 1:0.4.4-1 [7306 B]
Get:67 http://ftpmaster.internal/ubuntu/ utopic/main libxfixes3 arm64 1:5.0.1-1ubuntu1 [10.5 kB]
Get:68 http://ftpmaster.internal/ubuntu/ utopic/main libxcursor1 arm64 1:1.1.14-1 [19.9 kB]
Get:69 http://ftpmaster.internal/ubuntu/ utopic/main libxdamage1 arm64 1:1.1.4-1ubuntu1 [7206 B]
Get:70 http://ftpmaster.internal/ubuntu/ utopic/main libxi6 arm64 2:1.7.1.901-1ubuntu1 [29.6 kB]
Get:71 http://ftpmaster.internal/ubuntu/ utopic/main libxinerama1 arm64 2:1.1.3-1 [7438 B]
Get:72 http://ftpmaster.internal/ubuntu/ utopic/main libxrandr2 arm64 2:1.4.2-1 [14.3 kB]
Get:73 http://ftpmaster.internal/ubuntu/ utopic/main shared-mime-info arm64 1.2-0ubuntu3 [413 kB]
Get:74 http://ftpmaster.internal/ubuntu/ utopic/main libgtk2.0-0 arm64 2.24.23-0ubuntu1 [1385 kB]
Get:75 http://ftpmaster.internal/ubuntu/ utopic/main libglade2-0 arm64 1:2.6.4-2 [38.7 kB]
Get:76 http://ftpmaster.internal/ubuntu/ utopic/main libltdl7 arm64 2.4.2-1.7ubuntu1 [32.0 kB]
Get:77 http://ftpmaster.internal/ubuntu/ utopic/main libtdb1 arm64 1.2.13-2 [28.7 kB]
Get:78 http://ftpmaster.internal/ubuntu/ utopic/main libogg0 arm64 1.3.1-1ubuntu1 [14.7 kB]
Get:79 http://ftpmaster.internal/ubuntu/ utopic/main libvorbis0a arm64 1.3.2-1.3ubuntu1 [75.3 kB]
Get:80 http://ftpmaster.internal/ubuntu/ utopic/main libvorbisfile3 arm64 1.3.2-1.3ubuntu1 [13.1 kB]
Get:81 http://ftpmaster.internal/ubuntu/ utopic/main sound-theme-freedesktop all 0.8-1 [385 kB]
Get:82 http://ftpmaster.internal/ubuntu/ utopic/main libcanberra0 arm64 0.30-0ubuntu3 [30.2 kB]
Get:83 http://ftpmaster.internal/ubuntu/ utopic/main libapparmor1 arm64 2.8.95~2430-0ubuntu5 [21.7 kB]
Get:84 http://ftpmaster.internal/ubuntu/ utopic/main netbase all 5.2 [12.9 kB]
Get:85 http://ftpmaster.internal/ubuntu/ utopic/main dbus arm64 1.6.18-0ubuntu4 [181 kB]
Get:86 http://ftpmaster.internal/ubuntu/ utopic-proposed/main psmisc arm64 22.21-2 [42.1 kB]
Get:87 http://ftpmaster.internal/ubuntu/ utopic/main dbus-x11 arm64 1.6.18-0ubuntu4 [18.5 kB]
Get:88 http://ftpmaster.internal/ubuntu/ utopic/main libpython2.7-minimal arm64 2.7.6-8 [307 kB]
Get:89 http://ftpmaster.internal/ubuntu/ utopic/main python2.7-minimal arm64 2.7.6-8 [882 kB]
Get:90 http://ftpmaster.internal/ubuntu/ utopic/main mime-support all 3.54ubuntu1 [31.7 kB]
Get:91 http://ftpmaster.internal/ubuntu/ utopic/main libpython2.7-stdlib arm64 2.7.6-8 [1739 kB]
Get:92 http://ftpmaster.internal/ubuntu/ utopic/main python2.7 arm64 2.7.6-8 [197 kB]
Get:93 http://ftpmaster.internal/ubuntu/ utopic/main python-minimal arm64 2.7.5-5ubuntu3 [27.5 kB]
Get:94 http://ftpmaster.internal/ubuntu/ utopic/main libpython-stdlib arm64 2.7.5-5ubuntu3 [6988 B]
Get:95 http://ftpmaster.internal/ubuntu/ utopic/main python arm64 2.7.5-5ubuntu3 [133 kB]
Get:96 http://ftpmaster.internal/ubuntu/ utopic/main gconf2 arm64 3.2.6-2ubuntu1 [63.1 kB]
Get:97 http://ftpmaster.internal/ubuntu/ utopic/main libgnomevfs2-common arm64 1:2.24.4-1ubuntu6 [22.7 kB]
Get:98 http://ftpmaster.internal/ubuntu/ utopic/main libgnomevfs2-0 arm64 1:2.24.4-1ubuntu6 [163 kB]
Get:99 http://ftpmaster.internal/ubuntu/ utopic/main libgnome2-common all 2.32.1-4ubuntu1 [33.3 kB]
Get:100 http://ftpmaster.internal/ubuntu/ utopic/main libgnome2-bin arm64 2.32.1-4ubuntu1 [15.0 kB]
Get:101 http://ftpmaster.internal/ubuntu/ utopic/main libgnome2-0 arm64 2.32.1-4ubuntu1 [35.3 kB]
Get:102 http://ftpmaster.internal/ubuntu/ utopic/main libgail18 arm64 2.24.23-0ubuntu1 [12.5 kB]
Get:103 http://ftpmaster.internal/ubuntu/ utopic/main libgnomecanvas2-common all 2.30.3-2 [9080 B]
Get:104 http://ftpmaster.internal/ubuntu/ utopic/main libgnomecanvas2-0 arm64 2.30.3-2 [66.0 kB]
Get:105 http://ftpmaster.internal/ubuntu/ utopic/main libbonoboui2-common all 2.24.5-0ubuntu3 [11.4 kB]
Get:106 http://ftpmaster.internal/ubuntu/ utopic/main libbonoboui2-0 arm64 2.24.5-0ubuntu3 [117 kB]
Get:107 http://ftpmaster.internal/ubuntu/ utopic/main libcairo-gobject2 arm64 1.13.0~20140204-0ubuntu1 [15.9 kB]
Get:108 http://ftpmaster.internal/ubuntu/ utopic/main liblzo2-2 arm64 2.06-1.2ubuntu1 [37.6 kB]
Get:109 http://ftpmaster.internal/ubuntu/ utopic/main libcairo-script-interpreter2 arm64 1.13.0~20140204-0ubuntu1 [42.7 kB]
Get:110 http://ftpmaster.internal/ubuntu/ utopic/main libcroco3 arm64 0.6.8-2ubuntu1 [65.1 kB]
Get:111 http://ftpmaster.internal/ubuntu/ utopic/main libelfg0 arm64 0.8.13-5 [31.0 kB]
Get:112 http://ftpmaster.internal/ubuntu/ utopic/main libaspell15 arm64 0.60.7~20110707-1ubuntu1 [272 kB]
Get:113 http://ftpmaster.internal/ubuntu/ utopic/main libtext-iconv-perl arm64 1.7-5build2 [14.8 kB]
Get:114 http://ftpmaster.internal/ubuntu/ utopic/main dictionaries-common all 1.23.2 [249 kB]
Get:115 http://ftpmaster.internal/ubuntu/ utopic/main aspell arm64 0.60.7~20110707-1ubuntu1 [70.8 kB]
Get:116 http://ftpmaster.internal/ubuntu/ utopic/main aspell-en all 7.1-0-1 [267 kB]
Get:117 http://ftpmaster.internal/ubuntu/ utopic/main libhunspell-1.3-0 arm64 1.3.2-6ubuntu2 [98.2 kB]
Get:118 http://ftpmaster.internal/ubuntu/ utopic/main libenchant1c2a arm64 1.6.0-10ubuntu1 [56.0 kB]
Get:119 http://ftpmaster.internal/ubuntu/ utopic/main libgmpxx4ldbl arm64 2:5.1.3+dfsg-1ubuntu1 [8736 B]
Get:120 http://ftpmaster.internal/ubuntu/ utopic/main libgnome-keyring-common all 3.8.0-2 [5536 B]
Get:121 http://ftpmaster.internal/ubuntu/ utopic/main libgnome-keyring0 arm64 3.8.0-2 [44.0 kB]
Get:122 http://ftpmaster.internal/ubuntu/ utopic/main x11-common all 1:7.7+1ubuntu8 [49.8 kB]
Get:123 http://ftpmaster.internal/ubuntu/ utopic/main libice6 arm64 2:1.0.8-2 [40.0 kB]
Get:124 http://ftpmaster.internal/ubuntu/ utopic/main libsm6 arm64 2:1.2.1-2 [15.9 kB]
Get:125 http://ftpmaster.internal/ubuntu/ utopic/main libgnomeui-common all 2.24.5-3 [16.5 kB]
Get:126 http://ftpmaster.internal/ubuntu/ utopic/main libgnomeui-0 arm64 2.24.5-3 [162 kB]
Get:127 http://ftpmaster.internal/ubuntu/ utopic/main libharfbuzz-gobject0 arm64 0.9.27-1 [9288 B]
Get:128 http://ftpmaster.internal/ubuntu/ utopic/main libicu52 arm64 52.1-3 [6597 kB]
Get:129 http://ftpmaster.internal/ubuntu/ utopic/main libharfbuzz-icu0 arm64 0.9.27-1 [4774 B]
Get:130 http://ftpmaster.internal/ubuntu/ utopic/main libxft2 arm64 2.3.1-2 [30.1 kB]
Get:131 http://ftpmaster.internal/ubuntu/ utopic/main libpangoxft-1.0-0 arm64 1.36.3-1ubuntu1 [12.6 kB]
Get:132 http://ftpmaster.internal/ubuntu/ utopic/main libpcrecpp0 arm64 1:8.31-5ubuntu1 [14.2 kB]
Get:133 http://ftpmaster.internal/ubuntu/ utopic/main libppl13 arm64 1:1.1-1ubuntu1 [387 kB]
Get:134 http://ftpmaster.internal/ubuntu/ utopic/main libppl-c4 arm64 1:1.1-1ubuntu1 [821 kB]
Get:135 http://ftpmaster.internal/ubuntu/ utopic/main librsvg2-2 arm64 2.40.2-1 [71.0 kB]
Get:136 http://ftpmaster.internal/ubuntu/ utopic/main libsigsegv2 arm64 2.10-2 [14.0 kB]
Get:137 http://ftpmaster.internal/ubuntu/ utopic/main libunistring0 arm64 0.9.3-5ubuntu3 [255 kB]
Get:138 http://ftpmaster.internal/ubuntu/ utopic/main file arm64 1:5.14-2ubuntu3 [18.8 kB]
Get:139 http://ftpmaster.internal/ubuntu/ utopic/main gettext-base arm64 0.18.3.2-1ubuntu1 [45.8 kB]
Get:140 http://ftpmaster.internal/ubuntu/ utopic-proposed/main libgirepository-1.0-1 arm64 1.40.0-2ubuntu1 [70.2 kB]
Get:141 http://ftpmaster.internal/ubuntu/ utopic-proposed/main gir1.2-glib-2.0 arm64 1.40.0-2ubuntu1 [124 kB]
Get:142 http://ftpmaster.internal/ubuntu/ utopic/main libglib2.0-data all 2.40.0-3 [115 kB]
Get:143 http://ftpmaster.internal/ubuntu/ utopic-proposed/main m4 arm64 1.4.17-3ubuntu1 [182 kB]
Get:144 http://ftpmaster.internal/ubuntu/ utopic/main autoconf all 2.69-6 [322 kB]
Get:145 http://ftpmaster.internal/ubuntu/ utopic/main autotools-dev all 20130810.1 [44.3 kB]
Get:146 http://ftpmaster.internal/ubuntu/ utopic/main ocaml-base-nox arm64 4.01.0-3ubuntu3 [332 kB]
Get:147 http://ftpmaster.internal/ubuntu/ utopic/main libtinfo-dev arm64 5.9+20140118-1ubuntu1 [69.8 kB]
Get:148 http://ftpmaster.internal/ubuntu/ utopic/main libncurses5-dev arm64 5.9+20140118-1ubuntu1 [158 kB]
Get:149 http://ftpmaster.internal/ubuntu/ utopic/main ocaml-compiler-libs arm64 4.01.0-3ubuntu3 [338 kB]
Get:150 http://ftpmaster.internal/ubuntu/ utopic/main ocaml-interp arm64 4.01.0-3ubuntu3 [226 kB]
Get:151 http://ftpmaster.internal/ubuntu/ utopic/main ocaml-nox arm64 4.01.0-3ubuntu3 [2057 kB]
Get:152 http://ftpmaster.internal/ubuntu/ utopic/universe camlidl arm64 1.05-14build1 [89.9 kB]
Get:153 http://ftpmaster.internal/ubuntu/ utopic/main camlp4 arm64 4.01.0-3ubuntu3 [6380 kB]
Get:154 http://ftpmaster.internal/ubuntu/ utopic/universe coq-theories all 8.4pl3dfsg-1 [32.0 MB]
Get:155 http://ftpmaster.internal/ubuntu/ utopic/main emacsen-common all 2.0.7 [17.1 kB]
Get:156 http://ftpmaster.internal/ubuntu/ utopic/main libgtkspell0 arm64 2.0.16-1ubuntu7 [9340 B]
Get:157 http://ftpmaster.internal/ubuntu/ utopic/universe liblablgtk2-ocaml arm64 2.16.0+dfsg-1 [214 kB]
Get:158 http://ftpmaster.internal/ubuntu/ utopic/universe libcoq-ocaml arm64 8.4pl3dfsg-1 [330 kB]
Get:159 http://ftpmaster.internal/ubuntu/ utopic/universe coq arm64 8.4pl3dfsg-1 [1109 kB]
Get:160 http://ftpmaster.internal/ubuntu/ utopic/main gettext arm64 0.18.3.2-1ubuntu1 [774 kB]
Get:161 http://ftpmaster.internal/ubuntu/ utopic/main intltool-debian all 0.35.0+20060710.1 [31.6 kB]
Get:162 http://ftpmaster.internal/ubuntu/ utopic/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB]
Get:163 http://ftpmaster.internal/ubuntu/ utopic/main dh-apparmor all 2.8.95~2430-0ubuntu5 [11.3 kB]
Get:164 http://ftpmaster.internal/ubuntu/ utopic/main debhelper all 9.20131227ubuntu1 [604 kB]
Get:165 http://ftpmaster.internal/ubuntu/ utopic/main gir1.2-atk-1.0 arm64 2.10.0-2ubuntu2 [16.3 kB]
Get:166 http://ftpmaster.internal/ubuntu/ utopic-proposed/main gir1.2-freedesktop arm64 1.40.0-2ubuntu1 [5706 B]
Get:167 http://ftpmaster.internal/ubuntu/ utopic/main gir1.2-gdkpixbuf-2.0 arm64 2.30.7-0ubuntu1 [7964 B]
Get:168 http://ftpmaster.internal/ubuntu/ utopic/main gir1.2-pango-1.0 arm64 1.36.3-1ubuntu1 [19.2 kB]
Get:169 http://ftpmaster.internal/ubuntu/ utopic/main gir1.2-gtk-2.0 arm64 2.24.23-0ubuntu1 [172 kB]
Get:170 http://ftpmaster.internal/ubuntu/ utopic/universe libapron arm64 0.9.10-6 [371 kB]
Get:171 http://ftpmaster.internal/ubuntu/ utopic/main libgmp-dev arm64 2:5.1.3+dfsg-1ubuntu1 [274 kB]
Get:172 http://ftpmaster.internal/ubuntu/ utopic/main libgmp3-dev arm64 2:5.1.3+dfsg-1ubuntu1 [1870 B]
Get:173 http://ftpmaster.internal/ubuntu/ utopic/main libmpfr-dev arm64 3.1.2-1 [262 kB]
Get:174 http://ftpmaster.internal/ubuntu/ utopic/main libppl-dev arm64 1:1.1-1ubuntu1 [1752 kB]
Get:175 http://ftpmaster.internal/ubuntu/ utopic/universe libapron-dev all 0.9.10-6 [130 kB]
Get:176 http://ftpmaster.internal/ubuntu/ utopic/universe libapron-ocaml arm64 0.9.10-6 [44.1 kB]
Get:177 http://ftpmaster.internal/ubuntu/ utopic/universe libapron-ocaml-dev arm64 0.9.10-6 [1034 kB]
Get:178 http://ftpmaster.internal/ubuntu/ utopic/main pkg-config arm64 0.28-1 [38.3 kB]
Get:179 http://ftpmaster.internal/ubuntu/ utopic/main libglib2.0-bin arm64 2.40.0-3 [37.3 kB]
Get:180 http://ftpmaster.internal/ubuntu/ utopic/main libpcre3-dev arm64 1:8.31-5ubuntu1 [227 kB]
Get:181 http://ftpmaster.internal/ubuntu/ utopic/main zlib1g-dev arm64 1:1.2.8.dfsg-1ubuntu1 [179 kB]
Get:182 http://ftpmaster.internal/ubuntu/ utopic/main libglib2.0-dev arm64 2.40.0-3 [1237 kB]
Get:183 http://ftpmaster.internal/ubuntu/ utopic/main libatk1.0-dev arm64 2.10.0-2ubuntu2 [67.7 kB]
Get:184 http://ftpmaster.internal/ubuntu/ utopic/main libexpat1-dev arm64 2.1.0-4ubuntu1 [103 kB]
Get:185 http://ftpmaster.internal/ubuntu/ utopic/main libpng12-dev arm64 1.2.50-1ubuntu2 [201 kB]
Get:186 http://ftpmaster.internal/ubuntu/ utopic/main libfreetype6-dev arm64 2.5.2-1ubuntu2 [577 kB]
Get:187 http://ftpmaster.internal/ubuntu/ utopic/main libfontconfig1-dev arm64 2.11.0-0ubuntu4 [651 kB]
Get:188 http://ftpmaster.internal/ubuntu/ utopic/main xorg-sgml-doctools all 1:1.11-1 [12.9 kB]
Get:189 http://ftpmaster.internal/ubuntu/ utopic/main x11proto-core-dev all 7.0.26-1 [700 kB]
Get:190 http://ftpmaster.internal/ubuntu/ utopic/main libxau-dev arm64 1:1.0.8-1 [9768 B]
Get:191 http://ftpmaster.internal/ubuntu/ utopic/main libxdmcp-dev arm64 1:1.1.1-1 [26.2 kB]
Get:192 http://ftpmaster.internal/ubuntu/ utopic/main x11proto-input-dev all 2.3-1 [139 kB]
Get:193 http://ftpmaster.internal/ubuntu/ utopic/main x11proto-kb-dev all 1.0.6-2 [269 kB]
Get:194 http://ftpmaster.internal/ubuntu/ utopic/main xtrans-dev all 1.3.4-1 [70.3 kB]
Get:195 http://ftpmaster.internal/ubuntu/ utopic/main libpthread-stubs0-dev arm64 0.3-4 [4078 B]
Get:196 http://ftpmaster.internal/ubuntu/ utopic/main libxcb1-dev arm64 1.10-2ubuntu1 [70.8 kB]
Get:197 http://ftpmaster.internal/ubuntu/ utopic/main libx11-dev arm64 2:1.6.2-1ubuntu2 [578 kB]
Get:198 http://ftpmaster.internal/ubuntu/ utopic/main x11proto-render-dev all 2:0.11.1-2 [20.1 kB]
Get:199 http://ftpmaster.internal/ubuntu/ utopic/main libxrender-dev arm64 1:0.9.8-1 [25.6 kB]
Get:200 http://ftpmaster.internal/ubuntu/ utopic/main libice-dev arm64 2:1.0.8-2 [52.2 kB]
Get:201 http://ftpmaster.internal/ubuntu/ utopic/main libsm-dev arm64 2:1.2.1-2 [17.9 kB]
Get:202 http://ftpmaster.internal/ubuntu/ utopic/main libpixman-1-dev arm64 0.30.2-2ubuntu1 [131 kB]
Get:203 http://ftpmaster.internal/ubuntu/ utopic/main libxcb-render0-dev arm64 1.10-2ubuntu1 [15.5 kB]
Get:204 http://ftpmaster.internal/ubuntu/ utopic/main libxcb-shm0-dev arm64 1.10-2ubuntu1 [6664 B]
Get:205 http://ftpmaster.internal/ubuntu/ utopic/main x11proto-xext-dev all 7.3.0-1 [212 kB]
Get:206 http://ftpmaster.internal/ubuntu/ utopic/main libxext-dev arm64 2:1.3.2-1 [88.1 kB]
Get:207 http://ftpmaster.internal/ubuntu/ utopic/main libcairo2-dev arm64 1.13.0~20140204-0ubuntu1 [491 kB]
Get:208 http://ftpmaster.internal/ubuntu/ utopic/main libenchant-dev arm64 1.6.0-10ubuntu1 [48.5 kB]
Get:209 http://ftpmaster.internal/ubuntu/ utopic/universe libfloat-coq all 1:8.4-3 [11.4 MB]
Get:210 http://ftpmaster.internal/ubuntu/ utopic/main libgdk-pixbuf2.0-dev arm64 2.30.7-0ubuntu1 [42.9 kB]
Get:211 http://ftpmaster.internal/ubuntu/ utopic/main libxft-dev arm64 2.3.1-2 [40.4 kB]
Get:212 http://ftpmaster.internal/ubuntu/ utopic/main libharfbuzz-dev arm64 0.9.27-1 [29.0 kB]
Get:213 http://ftpmaster.internal/ubuntu/ utopic/main libpango1.0-dev arm64 1.36.3-1ubuntu1 [261 kB]
Get:214 http://ftpmaster.internal/ubuntu/ utopic/main x11proto-xinerama-dev all 1.2.1-2 [4966 B]
Get:215 http://ftpmaster.internal/ubuntu/ utopic/main libxinerama-dev arm64 2:1.1.3-1 [8128 B]
Get:216 http://ftpmaster.internal/ubuntu/ utopic/main x11proto-fixes-dev all 1:5.0-2ubuntu2 [14.2 kB]
Get:217 http://ftpmaster.internal/ubuntu/ utopic/main libxfixes-dev arm64 1:5.0.1-1ubuntu1 [11.6 kB]
Get:218 http://ftpmaster.internal/ubuntu/ utopic/main libxi-dev arm64 2:1.7.1.901-1ubuntu1 [204 kB]
Get:219 http://ftpmaster.internal/ubuntu/ utopic/main x11proto-randr-dev all 1.4.0+git20120101.is.really.1.4.0-0ubuntu1 [32.9 kB]
Get:220 http://ftpmaster.internal/ubuntu/ utopic/main libxrandr-dev arm64 2:1.4.2-1 [20.7 kB]
Get:221 http://ftpmaster.internal/ubuntu/ utopic/main libxcursor-dev arm64 1:1.1.14-1 [27.8 kB]
Get:222 http://ftpmaster.internal/ubuntu/ utopic/main x11proto-composite-dev all 1:0.4.2-2 [10.5 kB]
Get:223 http://ftpmaster.internal/ubuntu/ utopic/main libxcomposite-dev arm64 1:0.4.4-1 [9672 B]
Get:224 http://ftpmaster.internal/ubuntu/ utopic/main x11proto-damage-dev all 1:1.2.1-2 [8286 B]
Get:225 http://ftpmaster.internal/ubuntu/ utopic/main libxdamage-dev arm64 1:1.1.4-1ubuntu1 [5298 B]
Get:226 http://ftpmaster.internal/ubuntu/ utopic/main libxml2-utils arm64 2.9.1+dfsg1-3ubuntu4 [31.7 kB]
Get:227 http://ftpmaster.internal/ubuntu/ utopic/main libgtk2.0-dev arm64 2.24.23-0ubuntu1 [2376 kB]
Get:228 http://ftpmaster.internal/ubuntu/ utopic/main libxml2-dev arm64 2.9.1+dfsg1-3ubuntu4 [533 kB]
Get:229 http://ftpmaster.internal/ubuntu/ utopic/main libglade2-dev arm64 1:2.6.4-2 [70.6 kB]
Get:230 http://ftpmaster.internal/ubuntu/ utopic/universe libgtksourceview2.0-common all 2.10.5-1ubuntu2 [434 kB]
Get:231 http://ftpmaster.internal/ubuntu/ utopic/universe libgtksourceview2.0-0 arm64 2.10.5-1ubuntu2 [114 kB]
Get:232 http://ftpmaster.internal/ubuntu/ utopic/main libgtkspell-dev arm64 2.0.16-1ubuntu7 [22.1 kB]
Get:233 http://ftpmaster.internal/ubuntu/ utopic/universe liblablgtk2-gnome-ocaml arm64 2.16.0+dfsg-1 [27.9 kB]
Get:234 http://ftpmaster.internal/ubuntu/ utopic/universe liblablgtk2-ocaml-dev arm64 2.16.0+dfsg-1 [799 kB]
Get:235 http://ftpmaster.internal/ubuntu/ utopic/universe liblablgtksourceview2-ocaml arm64 2.16.0+dfsg-1 [34.7 kB]
Get:236 http://ftpmaster.internal/ubuntu/ utopic-proposed/universe libocamlgraph-ocaml-dev arm64 1.8.5-1 [877 kB]
Get:237 http://ftpmaster.internal/ubuntu/ utopic/universe libzarith-ocaml arm64 1.2.1-2build1 [26.6 kB]
Get:238 http://ftpmaster.internal/ubuntu/ utopic/main dh-ocaml all 1.0.8 [80.5 kB]
Get:239 http://ftpmaster.internal/ubuntu/ utopic/universe frama-c-base arm64 20140301+neon+dfsg-3 [12.2 MB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 111 MB in 1min 8s (1631 kB/s)
Selecting previously unselected package libexpat1:arm64.
(Reading database ... 11734 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-2ubuntu3_arm64.deb ...
Unpacking libmagic1:arm64 (1:5.14-2ubuntu3) ...
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 libasprintf0c2:arm64.
Preparing to unpack .../libasprintf0c2_0.18.3.2-1ubuntu1_arm64.deb ...
Unpacking libasprintf0c2:arm64 (0.18.3.2-1ubuntu1) ...
Selecting previously unselected package libglib2.0-0:arm64.
Preparing to unpack .../libglib2.0-0_2.40.0-3_arm64.deb ...
Unpacking libglib2.0-0:arm64 (2.40.0-3) ...
Selecting previously unselected package libdbus-glib-1-2:arm64.
Preparing to unpack .../libdbus-glib-1-2_0.102-1_arm64.deb ...
Unpacking libdbus-glib-1-2:arm64 (0.102-1) ...
Selecting previously unselected package libpipeline1:arm64.
Preparing to unpack .../libpipeline1_1.3.0-1_arm64.deb ...
Unpacking libpipeline1:arm64 (1.3.0-1) ...
Selecting previously unselected package libsystemd-login0:arm64.
Preparing to unpack .../libsystemd-login0_204-10ubuntu1_arm64.deb ...
Unpacking libsystemd-login0:arm64 (204-10ubuntu1) ...
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-3ubuntu4_arm64.deb ...
Unpacking libxml2:arm64 (2.9.1+dfsg1-3ubuntu4) ...
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.7.1-1_arm64.deb ...
Unpacking man-db (2.6.7.1-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-3ubuntu7_all.deb ...
Unpacking libasound2-data (1.0.27.2-3ubuntu7) ...
Selecting previously unselected package libasound2:arm64.
Preparing to unpack .../libasound2_1.0.27.2-3ubuntu7_arm64.deb ...
Unpacking libasound2:arm64 (1.0.27.2-3ubuntu7) ...
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 .../archives/ucf_3.0028_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0028) ...
Selecting previously unselected package gconf2-common.
Preparing to unpack .../gconf2-common_3.2.6-2ubuntu1_all.deb ...
Unpacking gconf2-common (3.2.6-2ubuntu1) ...
Selecting previously unselected package libgconf-2-4:arm64.
Preparing to unpack .../libgconf-2-4_3.2.6-2ubuntu1_arm64.deb ...
Unpacking libgconf-2-4:arm64 (3.2.6-2ubuntu1) ...
Selecting previously unselected package gconf-service-backend.
Preparing to unpack .../gconf-service-backend_3.2.6-2ubuntu1_arm64.deb ...
Unpacking gconf-service-backend (3.2.6-2ubuntu1) ...
Selecting previously unselected package gconf-service.
Preparing to unpack .../gconf-service_3.2.6-2ubuntu1_arm64.deb ...
Unpacking gconf-service (3.2.6-2ubuntu1) ...
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-8_arm64.deb ...
Unpacking libtiff5:arm64 (4.0.3-8) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Preparing to unpack .../libgdk-pixbuf2.0-common_2.30.7-0ubuntu1_all.deb ...
Unpacking libgdk-pixbuf2.0-common (2.30.7-0ubuntu1) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:arm64.
Preparing to unpack .../libgdk-pixbuf2.0-0_2.30.7-0ubuntu1_arm64.deb ...
Unpacking libgdk-pixbuf2.0-0:arm64 (2.30.7-0ubuntu1) ...
Selecting previously unselected package libgtk2.0-common.
Preparing to unpack .../libgtk2.0-common_2.24.23-0ubuntu1_all.deb ...
Unpacking libgtk2.0-common (2.24.23-0ubuntu1) ...
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-1ubuntu2_arm64.deb ...
Unpacking libfreetype6:arm64 (2.5.2-1ubuntu2) ...
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.13.0~20140204-0ubuntu1_arm64.deb ...
Unpacking libcairo2:arm64 (1.13.0~20140204-0ubuntu1) ...
Selecting previously unselected package libcups2:arm64.
Preparing to unpack .../libcups2_1.7.2-0ubuntu1_arm64.deb ...
Unpacking libcups2:arm64 (1.7.2-0ubuntu1) ...
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.3-1ubuntu1_arm64.deb ...
Unpacking libpango-1.0-0:arm64 (1.36.3-1ubuntu1) ...
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.27-1_arm64.deb ...
Unpacking libharfbuzz0b:arm64 (0.9.27-1) ...
Selecting previously unselected package libpangoft2-1.0-0:arm64.
Preparing to unpack .../libpangoft2-1.0-0_1.36.3-1ubuntu1_arm64.deb ...
Unpacking libpangoft2-1.0-0:arm64 (1.36.3-1ubuntu1) ...
Selecting previously unselected package libpangocairo-1.0-0:arm64.
Preparing to unpack .../libpangocairo-1.0-0_1.36.3-1ubuntu1_arm64.deb ...
Unpacking libpangocairo-1.0-0:arm64 (1.36.3-1ubuntu1) ...
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-0ubuntu3_arm64.deb ...
Unpacking shared-mime-info (1.2-0ubuntu3) ...
Selecting previously unselected package libgtk2.0-0:arm64.
Preparing to unpack .../libgtk2.0-0_2.24.23-0ubuntu1_arm64.deb ...
Unpacking libgtk2.0-0:arm64 (2.24.23-0ubuntu1) ...
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.13-2_arm64.deb ...
Unpacking libtdb1:arm64 (1.2.13-2) ...
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-0ubuntu3_arm64.deb ...
Unpacking libcanberra0:arm64 (0.30-0ubuntu3) ...
Selecting previously unselected package libapparmor1:arm64.
Preparing to unpack .../libapparmor1_2.8.95~2430-0ubuntu5_arm64.deb ...
Unpacking libapparmor1:arm64 (2.8.95~2430-0ubuntu5) ...
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-0ubuntu4_arm64.deb ...
Unpacking dbus (1.6.18-0ubuntu4) ...
Selecting previously unselected package psmisc.
Preparing to unpack .../psmisc_22.21-2_arm64.deb ...
Unpacking psmisc (22.21-2) ...
Selecting previously unselected package dbus-x11.
Preparing to unpack .../dbus-x11_1.6.18-0ubuntu4_arm64.deb ...
Unpacking dbus-x11 (1.6.18-0ubuntu4) ...
Selecting previously unselected package libpython2.7-minimal:arm64.
Preparing to unpack .../libpython2.7-minimal_2.7.6-8_arm64.deb ...
Unpacking libpython2.7-minimal:arm64 (2.7.6-8) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../python2.7-minimal_2.7.6-8_arm64.deb ...
Unpacking python2.7-minimal (2.7.6-8) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../mime-support_3.54ubuntu1_all.deb ...
Unpacking mime-support (3.54ubuntu1) ...
Selecting previously unselected package libpython2.7-stdlib:arm64.
Preparing to unpack .../libpython2.7-stdlib_2.7.6-8_arm64.deb ...
Unpacking libpython2.7-stdlib:arm64 (2.7.6-8) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../python2.7_2.7.6-8_arm64.deb ...
Unpacking python2.7 (2.7.6-8) ...
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-2ubuntu1_arm64.deb ...
Unpacking gconf2 (3.2.6-2ubuntu1) ...
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.23-0ubuntu1_arm64.deb ...
Unpacking libgail18:arm64 (2.24.23-0ubuntu1) ...
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.13.0~20140204-0ubuntu1_arm64.deb ...
Unpacking libcairo-gobject2:arm64 (1.13.0~20140204-0ubuntu1) ...
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.13.0~20140204-0ubuntu1_arm64.deb ...
Unpacking libcairo-script-interpreter2:arm64 (1.13.0~20140204-0ubuntu1) ...
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.23.2_all.deb ...
Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common'
Unpacking dictionaries-common (1.23.2) ...
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.27-1_arm64.deb ...
Unpacking libharfbuzz-gobject0:arm64 (0.9.27-1) ...
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.27-1_arm64.deb ...
Unpacking libharfbuzz-icu0:arm64 (0.9.27-1) ...
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.3-1ubuntu1_arm64.deb ...
Unpacking libpangoxft-1.0-0:arm64 (1.36.3-1ubuntu1) ...
Selecting previously unselected package libpcrecpp0:arm64.
Preparing to unpack .../libpcrecpp0_1%3a8.31-5ubuntu1_arm64.deb ...
Unpacking libpcrecpp0:arm64 (1:8.31-5ubuntu1) ...
Selecting previously unselected package libppl13:arm64.
Preparing to unpack .../libppl13_1%3a1.1-1ubuntu1_arm64.deb ...
Unpacking libppl13:arm64 (1:1.1-1ubuntu1) ...
Selecting previously unselected package libppl-c4:arm64.
Preparing to unpack .../libppl-c4_1%3a1.1-1ubuntu1_arm64.deb ...
Unpacking libppl-c4:arm64 (1:1.1-1ubuntu1) ...
Selecting previously unselected package librsvg2-2:arm64.
Preparing to unpack .../librsvg2-2_2.40.2-1_arm64.deb ...
Unpacking librsvg2-2:arm64 (2.40.2-1) ...
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 file.
Preparing to unpack .../file_1%3a5.14-2ubuntu3_arm64.deb ...
Unpacking file (1:5.14-2ubuntu3) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../gettext-base_0.18.3.2-1ubuntu1_arm64.deb ...
Unpacking gettext-base (0.18.3.2-1ubuntu1) ...
Selecting previously unselected package libgirepository-1.0-1.
Preparing to unpack .../libgirepository-1.0-1_1.40.0-2ubuntu1_arm64.deb ...
Unpacking libgirepository-1.0-1 (1.40.0-2ubuntu1) ...
Selecting previously unselected package gir1.2-glib-2.0.
Preparing to unpack .../gir1.2-glib-2.0_1.40.0-2ubuntu1_arm64.deb ...
Unpacking gir1.2-glib-2.0 (1.40.0-2ubuntu1) ...
Selecting previously unselected package libglib2.0-data.
Preparing to unpack .../libglib2.0-data_2.40.0-3_all.deb ...
Unpacking libglib2.0-data (2.40.0-3) ...
Selecting previously unselected package m4.
Preparing to unpack .../m4_1.4.17-3ubuntu1_arm64.deb ...
Unpacking m4 (1.4.17-3ubuntu1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../autoconf_2.69-6_all.deb ...
Unpacking autoconf (2.69-6) ...
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+20140118-1ubuntu1_arm64.deb ...
Unpacking libtinfo-dev:arm64 (5.9+20140118-1ubuntu1) ...
Selecting previously unselected package libncurses5-dev:arm64.
Preparing to unpack .../libncurses5-dev_5.9+20140118-1ubuntu1_arm64.deb ...
Unpacking libncurses5-dev:arm64 (5.9+20140118-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.2-1ubuntu1_arm64.deb ...
Unpacking gettext (0.18.3.2-1ubuntu1) ...
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 dh-apparmor.
Preparing to unpack .../dh-apparmor_2.8.95~2430-0ubuntu5_all.deb ...
Unpacking dh-apparmor (2.8.95~2430-0ubuntu5) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../debhelper_9.20131227ubuntu1_all.deb ...
Unpacking debhelper (9.20131227ubuntu1) ...
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.40.0-2ubuntu1_arm64.deb ...
Unpacking gir1.2-freedesktop (1.40.0-2ubuntu1) ...
Selecting previously unselected package gir1.2-gdkpixbuf-2.0.
Preparing to unpack .../gir1.2-gdkpixbuf-2.0_2.30.7-0ubuntu1_arm64.deb ...
Unpacking gir1.2-gdkpixbuf-2.0 (2.30.7-0ubuntu1) ...
Selecting previously unselected package gir1.2-pango-1.0.
Preparing to unpack .../gir1.2-pango-1.0_1.36.3-1ubuntu1_arm64.deb ...
Unpacking gir1.2-pango-1.0 (1.36.3-1ubuntu1) ...
Selecting previously unselected package gir1.2-gtk-2.0.
Preparing to unpack .../gir1.2-gtk-2.0_2.24.23-0ubuntu1_arm64.deb ...
Unpacking gir1.2-gtk-2.0 (2.24.23-0ubuntu1) ...
Selecting previously unselected package libapron.
Preparing to unpack .../libapron_0.9.10-6_arm64.deb ...
Unpacking libapron (0.9.10-6) ...
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 libppl-dev:arm64.
Preparing to unpack .../libppl-dev_1%3a1.1-1ubuntu1_arm64.deb ...
Unpacking libppl-dev:arm64 (1:1.1-1ubuntu1) ...
Selecting previously unselected package libapron-dev.
Preparing to unpack .../libapron-dev_0.9.10-6_all.deb ...
Unpacking libapron-dev (0.9.10-6) ...
Selecting previously unselected package libapron-ocaml.
Preparing to unpack .../libapron-ocaml_0.9.10-6_arm64.deb ...
Unpacking libapron-ocaml (0.9.10-6) ...
Selecting previously unselected package libapron-ocaml-dev.
Preparing to unpack .../libapron-ocaml-dev_0.9.10-6_arm64.deb ...
Unpacking libapron-ocaml-dev (0.9.10-6) ...
Selecting previously unselected package pkg-config.
Preparing to unpack .../pkg-config_0.28-1_arm64.deb ...
Unpacking pkg-config (0.28-1) ...
Selecting previously unselected package libglib2.0-bin.
Preparing to unpack .../libglib2.0-bin_2.40.0-3_arm64.deb ...
Unpacking libglib2.0-bin (2.40.0-3) ...
Selecting previously unselected package libpcre3-dev:arm64.
Preparing to unpack .../libpcre3-dev_1%3a8.31-5ubuntu1_arm64.deb ...
Unpacking libpcre3-dev:arm64 (1:8.31-5ubuntu1) ...
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.40.0-3_arm64.deb ...
Unpacking libglib2.0-dev (2.40.0-3) ...
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-1ubuntu2_arm64.deb ...
Unpacking libpng12-dev (1.2.50-1ubuntu2) ...
Selecting previously unselected package libfreetype6-dev.
Preparing to unpack .../libfreetype6-dev_2.5.2-1ubuntu2_arm64.deb ...
Unpacking libfreetype6-dev (2.5.2-1ubuntu2) ...
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.26-1_all.deb ...
Unpacking x11proto-core-dev (7.0.26-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.4-1_all.deb ...
Unpacking xtrans-dev (1.3.4-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.13.0~20140204-0ubuntu1_arm64.deb ...
Unpacking libcairo2-dev (1.13.0~20140204-0ubuntu1) ...
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.7-0ubuntu1_arm64.deb ...
Unpacking libgdk-pixbuf2.0-dev (2.30.7-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.27-1_arm64.deb ...
Unpacking libharfbuzz-dev (0.9.27-1) ...
Selecting previously unselected package libpango1.0-dev.
Preparing to unpack .../libpango1.0-dev_1.36.3-1ubuntu1_arm64.deb ...
Unpacking libpango1.0-dev (1.36.3-1ubuntu1) ...
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-3ubuntu4_arm64.deb ...
Unpacking libxml2-utils (2.9.1+dfsg1-3ubuntu4) ...
Selecting previously unselected package libgtk2.0-dev.
Preparing to unpack .../libgtk2.0-dev_2.24.23-0ubuntu1_arm64.deb ...
Unpacking libgtk2.0-dev (2.24.23-0ubuntu1) ...
Selecting previously unselected package libxml2-dev:arm64.
Preparing to unpack .../libxml2-dev_2.9.1+dfsg1-3ubuntu4_arm64.deb ...
Unpacking libxml2-dev:arm64 (2.9.1+dfsg1-3ubuntu4) ...
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.5-1_arm64.deb ...
Unpacking libocamlgraph-ocaml-dev (1.8.5-1) ...
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_20140301+neon+dfsg-3_arm64.deb ...
Unpacking frama-c-base (20140301+neon+dfsg-3) ...
Setting up libexpat1:arm64 (2.1.0-4ubuntu1) ...
Setting up libmagic1:arm64 (1:5.14-2ubuntu3) ...
Setting up libpopt0:arm64 (1.16-8ubuntu1) ...
Setting up libasprintf0c2:arm64 (0.18.3.2-1ubuntu1) ...
Setting up libglib2.0-0:arm64 (2.40.0-3) ...
No schema files found: doing nothing.
Setting up libdbus-glib-1-2:arm64 (0.102-1) ...
Setting up libpipeline1:arm64 (1.3.0-1) ...
Setting up libsystemd-login0:arm64 (204-10ubuntu1) ...
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-3ubuntu4) ...
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.7.1-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-3ubuntu7) ...
Setting up libasound2:arm64 (1.0.27.2-3ubuntu7) ...
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.0028) ...
Setting up gconf2-common (3.2.6-2ubuntu1) ...

Creating config file /etc/gconf/2/path with new version
Setting up libgconf-2-4:arm64 (3.2.6-2ubuntu1) ...
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-8) ...
Setting up libgdk-pixbuf2.0-common (2.30.7-0ubuntu1) ...
Setting up libgdk-pixbuf2.0-0:arm64 (2.30.7-0ubuntu1) ...
Setting up libgtk2.0-common (2.24.23-0ubuntu1) ...
Setting up fonts-dejavu-core (2.34-1ubuntu1) ...
Setting up fontconfig-config (2.11.0-0ubuntu4) ...
Setting up libfreetype6:arm64 (2.5.2-1ubuntu2) ...
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.13.0~20140204-0ubuntu1) ...
Setting up libcups2:arm64 (1.7.2-0ubuntu1) ...
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.3-1ubuntu1) ...
Setting up libgraphite2-3:arm64 (1.2.4-1ubuntu1) ...
Setting up libharfbuzz0b:arm64 (0.9.27-1) ...
Setting up libpangoft2-1.0-0:arm64 (1.36.3-1ubuntu1) ...
Setting up libpangocairo-1.0-0:arm64 (1.36.3-1ubuntu1) ...
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-0ubuntu3) ...
Setting up libgtk2.0-0:arm64 (2.24.23-0ubuntu1) ...
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.13-2) ...
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-0ubuntu3) ...
Setting up libapparmor1:arm64 (2.8.95~2430-0ubuntu5) ...
Setting up netbase (5.2) ...
Setting up dbus (1.6.18-0ubuntu4) ...
invoke-rc.d: policy-rc.d denied execution of start.
Setting up psmisc (22.21-2) ...
Setting up dbus-x11 (1.6.18-0ubuntu4) ...
Setting up libpython2.7-minimal:arm64 (2.7.6-8) ...
Setting up python2.7-minimal (2.7.6-8) ...
Linking and byte-compiling packages for runtime python2.7...
Setting up mime-support (3.54ubuntu1) ...
update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode
Setting up libpython2.7-stdlib:arm64 (2.7.6-8) ...
Setting up python2.7 (2.7.6-8) ...
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.23-0ubuntu1) ...
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.13.0~20140204-0ubuntu1) ...
Setting up liblzo2-2:arm64 (2.06-1.2ubuntu1) ...
Setting up libcairo-script-interpreter2:arm64 (1.13.0~20140204-0ubuntu1) ...
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.23.2) ...
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.27-1) ...
Setting up libicu52:arm64 (52.1-3) ...
Setting up libharfbuzz-icu0:arm64 (0.9.27-1) ...
Setting up libxft2:arm64 (2.3.1-2) ...
Setting up libpangoxft-1.0-0:arm64 (1.36.3-1ubuntu1) ...
Setting up libpcrecpp0:arm64 (1:8.31-5ubuntu1) ...
Setting up libppl13:arm64 (1:1.1-1ubuntu1) ...
Setting up libppl-c4:arm64 (1:1.1-1ubuntu1) ...
Setting up librsvg2-2:arm64 (2.40.2-1) ...
Setting up libsigsegv2:arm64 (2.10-2) ...
Setting up libunistring0:arm64 (0.9.3-5ubuntu3) ...
Setting up file (1:5.14-2ubuntu3) ...
Setting up gettext-base (0.18.3.2-1ubuntu1) ...
Setting up libgirepository-1.0-1 (1.40.0-2ubuntu1) ...
Setting up gir1.2-glib-2.0 (1.40.0-2ubuntu1) ...
Setting up libglib2.0-data (2.40.0-3) ...
Setting up m4 (1.4.17-3ubuntu1) ...
Setting up autoconf (2.69-6) ...
Setting up autotools-dev (20130810.1) ...
Setting up ocaml-base-nox (4.01.0-3ubuntu3) ...
Setting up libtinfo-dev:arm64 (5.9+20140118-1ubuntu1) ...
Setting up libncurses5-dev:arm64 (5.9+20140118-1ubuntu1) ...
Setting up emacsen-common (2.0.7) ...
Setting up gettext (0.18.3.2-1ubuntu1) ...
Setting up intltool-debian (0.35.0+20060710.1) ...
Setting up po-debconf (1.0.16+nmu2ubuntu1) ...
Setting up dh-apparmor (2.8.95~2430-0ubuntu5) ...
Setting up debhelper (9.20131227ubuntu1) ...
Setting up gir1.2-atk-1.0 (2.10.0-2ubuntu2) ...
Setting up gir1.2-freedesktop (1.40.0-2ubuntu1) ...
Setting up gir1.2-gdkpixbuf-2.0 (2.30.7-0ubuntu1) ...
Setting up gir1.2-pango-1.0 (1.36.3-1ubuntu1) ...
Setting up gir1.2-gtk-2.0 (2.24.23-0ubuntu1) ...
Setting up libapron (0.9.10-6) ...
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 libppl-dev:arm64 (1:1.1-1ubuntu1) ...
Setting up libapron-dev (0.9.10-6) ...
Setting up libapron-ocaml (0.9.10-6) ...
Setting up pkg-config (0.28-1) ...
Setting up libglib2.0-bin (2.40.0-3) ...
Setting up libpcre3-dev:arm64 (1:8.31-5ubuntu1) ...
Setting up zlib1g-dev:arm64 (1:1.2.8.dfsg-1ubuntu1) ...
Setting up libglib2.0-dev (2.40.0-3) ...
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-1ubuntu2) ...
Setting up libfreetype6-dev (2.5.2-1ubuntu2) ...
Setting up libfontconfig1-dev (2.11.0-0ubuntu4) ...
Setting up xorg-sgml-doctools (1:1.11-1) ...
Setting up x11proto-core-dev (7.0.26-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.4-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.13.0~20140204-0ubuntu1) ...
Setting up libgdk-pixbuf2.0-dev (2.30.7-0ubuntu1) ...
Setting up libxft-dev (2.3.1-2) ...
Setting up libharfbuzz-dev (0.9.27-1) ...
Setting up libpango1.0-dev (1.36.3-1ubuntu1) ...
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-3ubuntu4) ...
Setting up libgtk2.0-dev (2.24.23-0ubuntu1) ...
Setting up libxml2-dev:arm64 (2.9.1+dfsg1-3ubuntu4) ...
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.23.2) ...
aspell-autobuildhash: processing: en [en-common].
aspell-autobuildhash: processing: en [en-variant_0].
aspell-autobuildhash: processing: en [en-variant_1].
aspell-autobuildhash: processing: en [en-variant_2].
aspell-autobuildhash: processing: en [en-w_accents-only].
aspell-autobuildhash: processing: en [en-wo_accents-only].
aspell-autobuildhash: processing: en [en_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.23.2) ...
Setting up aspell-en (7.1-0-1) ...
Processing triggers for dictionaries-common (1.23.2) ...
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 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 libfloat-coq (1:8.4-3) ...
Setting up gconf-service-backend (3.2.6-2ubuntu1) ...
Setting up gconf-service (3.2.6-2ubuntu1) ...
Setting up gconf2 (3.2.6-2ubuntu1) ...
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-6) ...
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.5-1) ...
Setting up frama-c-base (20140301+neon+dfsg-3) ...
Processing triggers for libc-bin (2.19-0ubuntu6) ...
Checking correctness of source dependencies...
Toolchain package versions: libc6-dev_2.19-0ubuntu6 make_3.81-8.2ubuntu3 dpkg-dev_1.17.8ubuntu1 gcc-4.8_4.8.2-21ubuntu1 g++-4.8_4.8.2-21ubuntu1 binutils_2.24.51.20140425-0ubuntu2 libstdc++-4.8-dev_4.8.2-21ubuntu1 libstdc++6_4.9.0-1ubuntu3
------------------------------------------------------------------------------
dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::Quilt
gpgv: Signature made Wed Apr 30 06:46:02 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.34-1.dsc
dpkg-source: info: extracting why in why-2.34
dpkg-source: info: unpacking why_2.34.orig.tar.gz
dpkg-source: info: unpacking why_2.34-1.debian.tar.xz
dpkg-source: info: applying atp-versions
dpkg-buildpackage: source package why
dpkg-buildpackage: source version 2.34-1
dpkg-buildpackage: source distribution unstable
 dpkg-source --before-build why-2.34
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.34'
[ ! -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.34'
   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.34'
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 for ocamlfind... no
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... Neon-20140301
checking for camlp4o... camlp4o
checking camlp4 version... ok
checking for why3... no
configure: WARNING: command 'why3' not found
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 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)
Why3 support             : no
    command 'why3' not found
Frama-C plugin           : yes
    Frama-C version      : Neon-20140301
GWhy                     : yes
Coq support              : yes
    Version              : v8.1 (8.4pl3)
                         : (Jessie/Why3 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.34'
   dh_auto_build -a
	make -j1
make[1]: Entering directory `/build/buildd/why-2.34'
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.34/frama-c-plugin'
/usr/share/frama-c/Makefile.dynamic:330: .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
true ./.depend
make[2]: Leaving directory `/build/buildd/why-2.34/frama-c-plugin'
make[2]: Entering directory `/build/buildd/why-2.34/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.34/frama-c-plugin'
make[1]: Leaving directory `/build/buildd/why-2.34'
make[1]: Entering directory `/build/buildd/why-2.34'
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.34/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.34/frama-c-plugin'
make -C frama-c-plugin Jessie.cma
make[2]: Entering directory `/build/buildd/why-2.34/frama-c-plugin'
ocamlc -c  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-annot  -g -I "/usr/lib/frama-c" -I +ocamlgraph  -I ./../src -I ./../jc jessie_config.ml
ocamlc -c  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-annot  -g -I "/usr/lib/frama-c" -I +ocamlgraph  -I ./../src -I ./../jc jessie_options.mli
ocamlc -c  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-annot  -g -I "/usr/lib/frama-c" -I +ocamlgraph  -I ./../src -I ./../jc jessie_options.ml
ocamlc -c  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-annot  -g -I "/usr/lib/frama-c" -I +ocamlgraph  -I ./../src -I ./../jc jessie_integer.ml
ocamlc -c  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-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 /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-annot  -g -I "/usr/lib/frama-c" -I +ocamlgraph  -I ./../src -I ./../jc common.ml
ocamlc -c  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-annot  -g -I "/usr/lib/frama-c" -I +ocamlgraph  -I ./../src -I ./../jc rewrite.ml
ocamlc -c  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-annot  -g -I "/usr/lib/frama-c" -I +ocamlgraph  -I ./../src -I ./../jc norm.mli
ocamlc -c  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-annot  -g -I "/usr/lib/frama-c" -I +ocamlgraph  -I ./../src -I ./../jc norm.ml
ocamlc -c  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-annot  -g -I "/usr/lib/frama-c" -I +ocamlgraph  -I ./../src -I ./../jc retype.ml
ocamlc -c  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-annot  -g -I "/usr/lib/frama-c" -I +ocamlgraph  -I ./../src -I ./../jc interp.mli
ocamlc -c  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-annot  -g -I "/usr/lib/frama-c" -I +ocamlgraph  -I ./../src -I ./../jc interp.ml
ocamlc -c  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-annot  -g -I "/usr/lib/frama-c" -I +ocamlgraph  -I ./../src -I ./../jc register.ml
ocamlc -c  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-annot  -g -I "/usr/lib/frama-c" -I +ocamlgraph  -I ./../src -I ./../jc Jessie.mli
ocamlc -o Jessie.cmo  -I /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-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 /usr/lib/frama-c/plugins -I . -w +a-4-6-9-41-44-45  -annot -bin-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.34/frama-c-plugin'
make[1]: Leaving directory `/build/buildd/why-2.34'
   dh_auto_test -a
	make -j1 test
make[1]: Entering directory `/build/buildd/why-2.34'
[ ! -f bench/test.ml ] || bin/why.byte -d -V -coq bench/test.ml
make[1]: Leaving directory `/build/buildd/why-2.34'
 /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.34'
mkdir -p /build/buildd/why-2.34/debian/why//usr/lib/frama-c/plugins
/usr/bin/make prefix=/build/buildd/why-2.34/debian/why/usr install \
		LIBDIR=/build/buildd/why-2.34/debian/why/usr/share   \
		PLUGIN_INSTALL_DIR=/build/buildd/why-2.34/debian/why/usr/lib/frama-c/plugins \
		COQLIB=/build/buildd/why-2.34/debian/libwhy-coq//usr/lib/coq
make[2]: Entering directory `/build/buildd/why-2.34'
mkdir -p /build/buildd/why-2.34/debian/why/usr/bin
cp -f bin/why.byte /build/buildd/why-2.34/debian/why/usr/bin/why
cp -f bin/why-config.byte /build/buildd/why-2.34/debian/why/usr/bin/why-config
cp -f bin/jessie.byte /build/buildd/why-2.34/debian/why/usr/bin/jessie
cp -f bin/krakatoa.byte /build/buildd/why-2.34/debian/why/usr/bin/krakatoa
cp -f bin/gwhy.sh /build/buildd/why-2.34/debian/why/usr/bin/gwhy
cp -f bin/why2html.byte /build/buildd/why-2.34/debian/why/usr/bin/why2html
cp -f bin/why-dp.byte /build/buildd/why-2.34/debian/why/usr/bin/why-dp
cp -f bin/why-cpulimit /build/buildd/why-2.34/debian/why/usr/bin/why-cpulimit
cp -f bin/rv_merge.byte /build/buildd/why-2.34/debian/why/usr/bin/rv_merge
cp -f bin/why-obfuscator.byte /build/buildd/why-2.34/debian/why/usr/bin/why-obfuscator
cp -f bin/why-stat.byte /build/buildd/why-2.34/debian/why/usr/bin/why-stat
cp -f bin/tool-stat.byte /build/buildd/why-2.34/debian/why/usr/bin/tool-stat
cp -f bin/simplify2why.byte /build/buildd/why-2.34/debian/why/usr/bin/simplify2why
if test -f bin/gwhy.byte; then \
		cp -f bin/gwhy.byte /build/buildd/why-2.34/debian/why/usr/bin/gwhy-bin; \
	fi
mkdir -p /build/buildd/why-2.34/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.34/debian/why/usr/share/why/why
rm -rf /build/buildd/why-2.34/debian/why/usr/share/why/why3
mkdir -p /build/buildd/why-2.34/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.34/debian/why/usr/share/why/why3
mkdir -p /build/buildd/why-2.34/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.34/debian/why/usr/share/jessie
cd lib; cp -rf java_api /build/buildd/why-2.34/debian/why/usr/share/why
cd lib; cp -rf javacard_api /build/buildd/why-2.34/debian/why/usr/share/why
mkdir -p /build/buildd/why-2.34/debian/why/usr/share/why/images
cp -f lib/images/*.png /build/buildd/why-2.34/debian/why/usr/share/why/images
mkdir -p /build/buildd/why-2.34/debian/why/usr/share/why/emacs
cp -f lib/emacs/why.el /build/buildd/why-2.34/debian/why/usr/share/why/emacs
find /build/buildd/why-2.34/debian/why/usr/share -name CVS | xargs rm -f -r
mkdir -p /build/buildd/why-2.34/debian/why/usr/share/man/man1
cp -f doc/*.1 /build/buildd/why-2.34/debian/why/usr/share/man/man1
if test -w /build/buildd/why-2.34/debian/libwhy-coq//usr/lib/coq ; then \
	  rm -f /build/buildd/why-2.34/debian/libwhy-coq//usr/lib/coq/user-contrib/Why*.v* ; \
	  rm -f /build/buildd/why-2.34/debian/libwhy-coq//usr/lib/coq/user-contrib/caduceus*.v* /build/buildd/why-2.34/debian/libwhy-coq//usr/lib/coq/user-contrib/Caduceus*.v* ; \
	  rm -f /build/buildd/why-2.34/debian/libwhy-coq//usr/lib/coq/user-contrib/jessie*.v* /build/buildd/why-2.34/debian/libwhy-coq//usr/lib/coq/user-contrib/Jessie*.v* ; \
	  mkdir -p /build/buildd/why-2.34/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.34/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \
	else \
	  echo "Cannot copy to Coq standard library. Add \"-R /build/buildd/why-2.34/debian/why/usr/share/why/coq Why\" to Coq options." ;\
	fi
Cannot copy to Coq standard library. Add "-R /build/buildd/why-2.34/debian/why/usr/share/why/coq Why" to Coq options.
mkdir -p /build/buildd/why-2.34/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.34/debian/why/usr/share/why/coq
/usr/bin/make -C frama-c-plugin install
make[3]: Entering directory `/build/buildd/why-2.34/frama-c-plugin'
mkdir -p /build/buildd/why-2.34/debian/why/usr/lib/frama-c/plugins
cp ./Jessie.cmi ./Jessie.cmo ./Jessie.cma  /build/buildd/why-2.34/debian/why/usr/lib/frama-c/plugins
if [ -f frama-c-Jessie.byte ]; then \
	  cp frama-c-Jessie.byte "/build/buildd/why-2.34/debian/why/usr/bin"; \
	fi
if [ -f frama-c-Jessie.byte ]; then \
	  cp frama-c-Jessie.byte \
		"/build/buildd/why-2.34/debian/why/usr/bin"/frama-c-Jessie; \
	fi
mkdir -p /build/buildd/why-2.34/debian/why/usr/lib/frama-c/plugins/dependencies
if [ -f ./dependencies/Jessie_dependencies.cmo ]; \
	then \
	  cp ./dependencies/Jessie_dependencies.cmo \
	        /build/buildd/why-2.34/debian/why/usr/lib/frama-c/plugins/dependencies; \
	fi
if [ -f ./dependencies/Jessie_dependencies.cmxs ]; \
	then \
	  cp ./dependencies/Jessie_dependencies.cmxs \
	        /build/buildd/why-2.34/debian/why/usr/lib/frama-c/plugins/dependencies; \
	fi
if [ -f ./dependencies/Jessie_dependencies.cmi ]; \
	then \
	  cp ./dependencies/Jessie_dependencies.cmi \
	        /build/buildd/why-2.34/debian/why/usr/lib/frama-c/plugins/dependencies; \
	fi
make[3]: Leaving directory `/build/buildd/why-2.34/frama-c-plugin'
make[2]: Leaving directory `/build/buildd/why-2.34'
#Used to remove /usr/share/coq/jessie_why.v which is alone and installed by libwhy-coq
rm -f -rf /build/buildd/why-2.34/debian/why/usr/share/coq/
#There is no program using the Jessie library.
rm -f -rf /build/buildd/why-2.34/debian/why/usr/share/jessie/
#Jessie.cma is installed, no need for this extra file
rm -f -f /build/buildd/why-2.34/debian/why//usr/lib/frama-c/plugins/Jessie.cmo
echo 'F:CoqABI=8.4pl3+4.01.0' >> debian/libwhy-coq.substvars
echo 'F:FramaCVersion=20140301+neon+dfsg-3' >> debian/why.substvars
make[1]: Leaving directory `/build/buildd/why-2.34'
   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\-cpulimit\.1 > why\-cpulimit\.1\.new
	chmod 644 why-cpulimit.1.new
	mv -f why-cpulimit.1.new why-cpulimit.1
	man --recode UTF-8 ./why\.1 > why\.1\.new
	chmod 644 why.1.new
	mv -f why.1.new why.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.34'
dh_compress -X.v -X.sx -X.why
	cd debian/why
	chmod a-x usr/share/man/man1/why-cpulimit.1 usr/share/man/man1/why.1 usr/share/doc/why/changelog.Debian
	gzip -9nf usr/share/man/man1/why-cpulimit.1 usr/share/man/man1/why.1 usr/share/doc/why/changelog.Debian
	cd '/build/buildd/why-2.34'
make[1]: Leaving directory `/build/buildd/why-2.34'
   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.34/debian/why-dbgsym': No such file or directory
/usr/bin/pkg_create_dbgsym: nothing in /build/buildd/why-2.34/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.cmi
debian/why/usr/lib/frama-c/plugins/Jessie.cma
debian/why/usr/bin/jessie
debian/why/usr/bin/tool-stat
debian/why/usr/bin/why-obfuscator
debian/why/usr/bin/why2html
debian/why/usr/bin/rv_merge
debian/why/usr/bin/simplify2why
debian/why/usr/bin/why-config
debian/why/usr/bin/gwhy-bin
debian/why/usr/bin/why-stat
debian/why/usr/bin/krakatoa
debian/why/usr/bin/why-dp
debian/why/usr/bin/why
	+++ 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.cmi

Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/Jessie.cmi

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/bin/jessie

Execute ocamlobjinfo debian/why/usr/bin/jessie

Processing debian/why/usr/bin/tool-stat

Execute ocamlobjinfo debian/why/usr/bin/tool-stat

Processing debian/why/usr/bin/why-obfuscator

Execute ocamlobjinfo debian/why/usr/bin/why-obfuscator

Processing debian/why/usr/bin/why2html

Execute ocamlobjinfo debian/why/usr/bin/why2html

Processing debian/why/usr/bin/rv_merge

Execute ocamlobjinfo debian/why/usr/bin/rv_merge

Processing debian/why/usr/bin/simplify2why

Execute ocamlobjinfo debian/why/usr/bin/simplify2why

Processing debian/why/usr/bin/why-config

Execute ocamlobjinfo debian/why/usr/bin/why-config

Processing debian/why/usr/bin/gwhy-bin

Execute ocamlobjinfo debian/why/usr/bin/gwhy-bin

Processing debian/why/usr/bin/why-stat

Execute ocamlobjinfo debian/why/usr/bin/why-stat

Processing debian/why/usr/bin/krakatoa

Execute ocamlobjinfo debian/why/usr/bin/krakatoa

Processing debian/why/usr/bin/why-dp

Execute ocamlobjinfo debian/why/usr/bin/why-dp

Processing debian/why/usr/bin/why

Execute ocamlobjinfo debian/why/usr/bin/why

why depends on liblablgtk2-ocaml-dev/liblablgtk2-ocaml v2.16.0+dfsg-1 through GFile
why depends on libocamlgraph-ocaml-dev v1.8.5-1 through Graph
why depends on ocaml-nox/ocaml-base-nox v4.01.0-3ubuntu3 through String
W: why doesn't resolve dependency on unit Pretty_utils
W: why doesn't resolve dependency on unit Cil_const
W: why doesn't resolve dependency on unit State_dependency_graph
W: why doesn't resolve dependency on unit Java_env
W: why doesn't resolve dependency on unit Java_typing
W: why doesn't resolve dependency on unit Locations
W: why doesn't resolve dependency on unit Jc_separation
W: why doesn't resolve dependency on unit Unionfind
W: why doesn't resolve dependency on unit Config
W: why doesn't resolve dependency on unit Jc_interp_misc
W: why doesn't resolve dependency on unit Cil_datatype
W: why doesn't resolve dependency on unit Logic_env
W: why doesn't resolve dependency on unit Java_syntax
W: why doesn't resolve dependency on unit Jc_invariants
W: why doesn't resolve dependency on unit Inout_type
W: why doesn't resolve dependency on unit Rv_split
W: why doesn't resolve dependency on unit Jc_parser
W: why doesn't resolve dependency on unit Version
W: why doesn't resolve dependency on unit Encoding_rec
W: why doesn't resolve dependency on unit Preferences
W: why doesn't resolve dependency on unit CilE
W: why doesn't resolve dependency on unit Loc
W: why doesn't resolve dependency on unit Java_callgraph
W: why doesn't resolve dependency on unit Why3
W: why doesn't resolve dependency on unit Cabs
W: why doesn't resolve dependency on unit Typing
W: why doesn't resolve dependency on unit Jc_stdlib
W: why doesn't resolve dependency on unit Util
W: why doesn't resolve dependency on unit Monomorph
W: why doesn't resolve dependency on unit Jc_poutput
W: why doesn't resolve dependency on unit Logic_utils
W: why doesn't resolve dependency on unit WhyConfig
W: why doesn't resolve dependency on unit Logic_decl
W: why doesn't resolve dependency on unit SlicingInternals
W: why doesn't resolve dependency on unit Astnprinter
W: why doesn't resolve dependency on unit Rc
W: why doesn't resolve dependency on unit Property_status
W: why doesn't resolve dependency on unit Ast
W: why doesn't resolve dependency on unit Kernel_function
W: why doesn't resolve dependency on unit Toolstat
W: why doesn't resolve dependency on unit Visitor
W: why doesn't resolve dependency on unit Parameter_state
W: why doesn't resolve dependency on unit Toolstat_pars
W: why doesn't resolve dependency on unit GConfig
W: why doesn't resolve dependency on unit Typed_parameter
W: why doesn't resolve dependency on unit Origin
W: why doesn't resolve dependency on unit File
W: why doesn't resolve dependency on unit Coq
W: why doesn't resolve dependency on unit Encoding_strat
W: why doesn't resolve dependency on unit Logic_ptree
W: why doesn't resolve dependency on unit Simplify
W: why doesn't resolve dependency on unit Jc_ast
W: why doesn't resolve dependency on unit Colors
W: why doesn't resolve dependency on unit Zenon_split
W: why doesn't resolve dependency on unit Datatype
W: why doesn't resolve dependency on unit Jc_ai
W: why doesn't resolve dependency on unit Gappa
W: why doesn't resolve dependency on unit Jc_main
W: why doesn't resolve dependency on unit Jc_make
W: why doesn't resolve dependency on unit State_builder
W: why doesn't resolve dependency on unit Tagsplit
W: why doesn't resolve dependency on unit Printer
W: why doesn't resolve dependency on unit Linenum
W: why doesn't resolve dependency on unit Why2html
W: why doesn't resolve dependency on unit Encoding_mono_inst
W: why doesn't resolve dependency on unit Encoding
W: why doesn't resolve dependency on unit Java_interp
W: why doesn't resolve dependency on unit Java_lexer
W: why doesn't resolve dependency on unit Jc_frame
W: why doesn't resolve dependency on unit Cvcl
W: why doesn't resolve dependency on unit Jc_region
W: why doesn't resolve dependency on unit Ptree
W: why doesn't resolve dependency on unit Unmarshal
W: why doesn't resolve dependency on unit Dynamic
W: why doesn't resolve dependency on unit Property
W: why doesn't resolve dependency on unit State_selection
W: why doesn't resolve dependency on unit Simplify_split
W: why doesn't resolve dependency on unit DpConfig
W: why doesn't resolve dependency on unit Jc_typing
W: why doesn't resolve dependency on unit Numconst
W: why doesn't resolve dependency on unit Integer
W: why doesn't resolve dependency on unit Ast
W: why doesn't resolve dependency on unit PdgTypes
W: why doesn't resolve dependency on unit Cache
W: why doesn't resolve dependency on unit Lexer
W: why doesn't resolve dependency on unit Toolstat_types
W: why doesn't resolve dependency on unit Java_tast
W: why doesn't resolve dependency on unit Whystat
W: why doesn't resolve dependency on unit Env
W: why doesn't resolve dependency on unit Rv_merge
W: why doesn't resolve dependency on unit Cabshelper
W: why doesn't resolve dependency on unit Cmdline
W: why doesn't resolve dependency on unit Utf8_logic
W: why doesn't resolve dependency on unit Jc_pervasives
W: why doesn't resolve dependency on unit Project
W: why doesn't resolve dependency on unit Smtlib_split
W: why doesn't resolve dependency on unit Astprinter
W: why doesn't resolve dependency on unit Jc_norm
W: why doesn't resolve dependency on unit Db
W: why doesn't resolve dependency on unit Explain
W: why doesn't resolve dependency on unit Type
W: why doesn't resolve dependency on unit Log
W: why doesn't resolve dependency on unit Stat
W: why doesn't resolve dependency on unit Options
W: why doesn't resolve dependency on unit Value_types
W: why doesn't resolve dependency on unit Misc
W: why doesn't resolve dependency on unit Ltyping
W: why doesn't resolve dependency on unit Pp
W: why doesn't resolve dependency on unit Whyhilight
W: why doesn't resolve dependency on unit Pvs
W: why doesn't resolve dependency on unit Red
W: why doesn't resolve dependency on unit Jc_fenv
W: why doesn't resolve dependency on unit Printer_api
W: why doesn't resolve dependency on unit Jc_output
W: why doesn't resolve dependency on unit Logic
W: why doesn't resolve dependency on unit Report
W: why doesn't resolve dependency on unit Mlize
W: why doesn't resolve dependency on unit Tools
W: why doesn't resolve dependency on unit Abstract_interp
W: why doesn't resolve dependency on unit Vcg
W: why doesn't resolve dependency on unit Simplify_towhy
W: why doesn't resolve dependency on unit Hol4
W: why doesn't resolve dependency on unit Toolstat_lex
W: why doesn't resolve dependency on unit Pretty
W: why doesn't resolve dependency on unit Structural_descr
W: why doesn't resolve dependency on unit Jc_noutput
W: why doesn't resolve dependency on unit Hptmap
W: why doesn't resolve dependency on unit Why3_kw
W: why doesn't resolve dependency on unit Simplify_lexer
W: why doesn't resolve dependency on unit Holl
W: why doesn't resolve dependency on unit Encoding_pred
W: why doesn't resolve dependency on unit Jc_lexer
W: why doesn't resolve dependency on unit Cil_types
W: why doesn't resolve dependency on unit Plugin
W: why doesn't resolve dependency on unit Monad
W: why doesn't resolve dependency on unit Kernel
W: why doesn't resolve dependency on unit Escape
W: why doesn't resolve dependency on unit Java_pervasives
W: why doesn't resolve dependency on unit Lattice_type
W: why doesn't resolve dependency on unit Cil
W: why doesn't resolve dependency on unit Theory_filtering
W: why doesn't resolve dependency on unit Cvalue
W: why doesn't resolve dependency on unit Cvcl_split
W: why doesn't resolve dependency on unit Cc
W: why doesn't resolve dependency on unit PdgIndex
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 Simplify_ast
W: why doesn't resolve dependency on unit Jc_pattern
W: why doesn't resolve dependency on unit Xml
W: why doesn't resolve dependency on unit Jc_type_var
W: why doesn't resolve dependency on unit Encoding_mono
W: why doesn't resolve dependency on unit Rename
W: why doesn't resolve dependency on unit PredDefExpansor
W: why doesn't resolve dependency on unit FCMap
W: why doesn't resolve dependency on unit Fastwp
W: why doesn't resolve dependency on unit PdgMarks
W: why doesn't resolve dependency on unit Project
W: why doesn't resolve dependency on unit Jc_iterators
W: why doesn't resolve dependency on unit Emitter
W: why doesn't resolve dependency on unit Jc_interp
W: why doesn't resolve dependency on unit Offsetmap_sig
W: why doesn't resolve dependency on unit Wp
W: why doesn't resolve dependency on unit Globals
W: why doesn't resolve dependency on unit Jc_callgraph
W: why doesn't resolve dependency on unit Jc_constructors
W: why doesn't resolve dependency on unit Jc_struct_tools
W: why doesn't resolve dependency on unit Function_Froms
W: why doesn't resolve dependency on unit Base
W: why doesn't resolve dependency on unit Java_abstract
W: why doesn't resolve dependency on unit Java_analysis
W: why doesn't resolve dependency on unit Pprinter
W: why doesn't resolve dependency on unit Mapenv
W: why doesn't resolve dependency on unit Logic_const
W: why doesn't resolve dependency on unit Jc_effect
W: why doesn't resolve dependency on unit Project_skeleton
W: why doesn't resolve dependency on unit Mizar
W: why doesn't resolve dependency on unit Obfuscator
W: why doesn't resolve dependency on unit Print_real
W: why doesn't resolve dependency on unit Simplify_parser
W: why doesn't resolve dependency on unit Z3
W: why doesn't resolve dependency on unit Model
W: why doesn't resolve dependency on unit Lib
W: why doesn't resolve dependency on unit Int_Base
W: why doesn't resolve dependency on unit Jc_frame_notin
W: why doesn't resolve dependency on unit Java_main
W: why doesn't resolve dependency on unit Theoryreducer
W: why doesn't resolve dependency on unit Ival
W: why doesn't resolve dependency on unit Isabelle
W: why doesn't resolve dependency on unit Dispatcher
W: why doesn't resolve dependency on unit Smtlib
W: why doesn't resolve dependency on unit Ident
W: why doesn't resolve dependency on unit Regen
W: why doesn't resolve dependency on unit Effect
W: why doesn't resolve dependency on unit Lmap_sig
W: why doesn't resolve dependency on unit Tags
W: why doesn't resolve dependency on unit Dp
W: why doesn't resolve dependency on unit FCHashtbl
W: why doesn't resolve dependency on unit Parser
W: why doesn't resolve dependency on unit Annotations
W: why doesn't resolve dependency on unit Java_parser
W: why doesn't resolve dependency on unit Hptset
W: why doesn't resolve dependency on unit Jc_name
W: why doesn't resolve dependency on unit Hypotheses_filtering
W: why doesn't resolve dependency on unit Option_misc
W: why doesn't resolve dependency on unit Why
W: why doesn't resolve dependency on unit Astpprinter
W: why doesn't resolve dependency on unit Java_ast
W: why doesn't resolve dependency on unit Types
W: why doesn't resolve dependency on unit Calldp
W: why doesn't resolve dependency on unit Harvey
W: why doesn't resolve dependency on unit Ocaml
W: why doesn't resolve dependency on unit Lattice_Interval_Set
W: why doesn't resolve dependency on unit Descr
W: why doesn't resolve dependency on unit Jc_output_misc
W: why doesn't resolve dependency on unit Error
W: why doesn't resolve dependency on unit Jc_options
W: why doesn't resolve dependency on unit Ast_info
W: why doesn't resolve dependency on unit Hilight
W: why doesn't resolve dependency on unit Jc_common_options
W: why doesn't resolve dependency on unit Output
W: why doesn't resolve dependency on unit Jc_envset
W: why doesn't resolve dependency on unit MonadSig
W: why doesn't resolve dependency on unit SlicingTypes
W: why doesn't resolve dependency on unit Main
W: why doesn't resolve dependency on unit Zenon
W: why doesn't resolve dependency on unit State
W: why doesn't resolve dependency on unit Jc_env
W: why doesn't resolve dependency on unit Offsetmap_lattice_with_isotropy
W: why doesn't resolve dependency on unit Ergo_split
W: why doesn't resolve dependency on unit FCSet
W: why doesn't resolve dependency on unit Java_options
W: why doesn't resolve dependency on unit Parameter_sig
W: why doesn't resolve dependency on unit Hook
W: why doesn't resolve dependency on unit Log
W: why doesn't resolve dependency on unit Extlib
	(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 121
pkgstriptranslations: processing why (in debian/why); do_strip: , oemstrip: 
pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>"
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/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/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/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/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/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/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%
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/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/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/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/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/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/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/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/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/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%
pkgstripfiles: PNG optimization for package why took 8 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.34-1_arm64.deb'.
 dpkg-genchanges -B -mUbuntu Build Daemon <buildd@templar.buildd> >../why_2.34-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.34
dpkg-buildpackage: binary-only upload (no source included)
******************************************************************************
Build finished at 20140430-1225

chroot-autobuild/build/buildd/why_2.34-1_arm64.deb:
 new debian package, version 2.0.
 size 10495384 bytes: control archive=6071 bytes.
     931 bytes,    19 lines      control              
   12969 bytes,   167 lines      md5sums              
 Package: why
 Version: 2.34-1
 Architecture: arm64
 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
 Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 48660
 Depends: libc6 (>= 2.17), liblablgtk2-ocaml-72b94, ocaml-base-nox-4.01.0, frama-c-base (= 20140301+neon+dfsg-3), make
 Recommends: alt-ergo | cvc3 | coq
 Suggests: libwhy-coq (= 2.34-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.34-1_arm64.deb:
drwxr-xr-x root/root         0 2014-04-30 12:24 ./
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/lib/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/lib/frama-c/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/lib/frama-c/plugins/
-rw-r--r-- root/root       139 2014-04-30 12:24 ./usr/lib/frama-c/plugins/Jessie.cmi
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/lib/frama-c/plugins/dependencies/
-rw-r--r-- root/root   5226049 2014-04-30 12:24 ./usr/lib/frama-c/plugins/Jessie.cma
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/man/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/man/man1/
-rw-r--r-- root/root       405 2014-04-30 12:24 ./usr/share/man/man1/why.1.gz
-rw-r--r-- root/root       364 2014-04-30 12:24 ./usr/share/man/man1/why-cpulimit.1.gz
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/doc/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/doc/why/
-rw-r--r-- root/root      3206 2014-03-17 22:01 ./usr/share/doc/why/README
-rw-r--r-- root/root       849 2014-04-29 18:57 ./usr/share/doc/why/README.source
-rw-r--r-- root/root      1784 2014-04-30 12:24 ./usr/share/doc/why/changelog.Debian.gz
-rw-r--r-- root/root      3865 2014-04-29 18:57 ./usr/share/doc/why/copyright
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/javacard_api/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/javacard_api/java/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/javacard_api/java/lang/
-rw-r--r-- root/root       500 2014-04-30 12:24 ./usr/share/why/javacard_api/java/lang/ArrayIndexOutOfBoundsException.java
-rw-r--r-- root/root      3513 2014-04-30 12:24 ./usr/share/why/javacard_api/java/lang/Object.java
-rw-r--r-- root/root      1659 2014-04-30 12:24 ./usr/share/why/javacard_api/java/lang/Exception.java
-rw-r--r-- root/root       482 2014-04-30 12:24 ./usr/share/why/javacard_api/java/lang/IndexOutOfBoundsException.java
-rw-r--r-- root/root      1793 2014-04-30 12:24 ./usr/share/why/javacard_api/java/lang/Throwable.java
-rw-r--r-- root/root      1758 2014-04-30 12:24 ./usr/share/why/javacard_api/java/lang/RuntimeException.java
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/javacard_api/com/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/javacard_api/com/sun/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/javacard_api/com/sun/javacard/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/javacard_api/com/sun/javacard/impl/
-rw-r--r-- root/root        65 2014-04-30 12:24 ./usr/share/why/javacard_api/com/sun/javacard/impl/NativeMethods.java
-rw-r--r-- root/root        62 2014-04-30 12:24 ./usr/share/why/javacard_api/com/sun/javacard/impl/PrivAccess.java
-rw-r--r-- root/root       114 2014-04-30 12:24 ./usr/share/why/javacard_api/com/sun/javacard/impl/Constants.java
-rw-r--r-- root/root        64 2014-04-30 12:24 ./usr/share/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/
-rw-r--r-- root/root      1190 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/PublicKey.java
-rw-r--r-- root/root      2223 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/Key.java
-rw-r--r-- root/root      6484 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/KeyPair.java
-rw-r--r-- root/root      5796 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/KeyBuilder.java
-rw-r--r-- root/root      3305 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/DSAPrivateKey.java
-rw-r--r-- root/root      3308 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/DSAPublicKey.java
-rw-r--r-- root/root      5038 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/MessageDigest.java
-rw-r--r-- root/root      5014 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/RSAPrivateKey.java
-rw-r--r-- root/root      4723 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/RSAPublicKey.java
-rw-r--r-- root/root     10715 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/RSAPrivateCrtKey.java
-rw-r--r-- root/root      3138 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/DESKey.java
-rw-r--r-- root/root      3257 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/RandomData.java
-rw-r--r-- root/root      6928 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/DSAKey.java
-rw-r--r-- root/root     18870 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/Signature.java
-rw-r--r-- root/root      1190 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/PrivateKey.java
-rw-r--r-- root/root      3820 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/CryptoException.java
-rw-r--r-- root/root      1186 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/security/SecretKey.java
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/
-rw-r--r-- root/root     11618 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/OwnerPIN.java
-rw-r--r-- root/root      4779 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/ISO7816.java
-rw-r--r-- root/root      5011 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/APDUException.java
-rw-r--r-- root/root      3167 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/CardException.java
-rw-r--r-- root/root      4190 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/ISOException.java
-rw-r--r-- root/root      1565 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/Shareable.java
-rw-r--r-- root/root      9040 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/Dispatcher.java
-rw-r--r-- root/root     38103 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/APDU.java
-rw-r--r-- root/root     14548 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/Applet.java
-rw-r--r-- root/root      3223 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/UserException.java
-rw-r--r-- root/root      4167 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/TransactionException.java
-rw-r--r-- root/root     17345 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/JCSystem.java
-rw-r--r-- root/root     17202 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/Util.java
-rw-r--r-- root/root      5358 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/PIN.java
-rw-r--r-- root/root      3306 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/CardRuntimeException.java
-rw-r--r-- root/root      3042 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/PINException.java
-rw-r--r-- root/root      7395 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/AID.java
-rw-r--r-- root/root      4295 2014-04-30 12:24 ./usr/share/why/javacard_api/javacard/framework/SystemException.java
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/javacard_api/javacardx/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/javacard_api/javacardx/crypto/
-rw-r--r-- root/root      2970 2014-04-30 12:24 ./usr/share/why/javacard_api/javacardx/crypto/Cipher.java
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/emacs/
-rw-r--r-- root/root      4933 2014-04-30 12:24 ./usr/share/why/emacs/why.el
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/why3/
-rw-r--r-- root/root     19703 2014-04-30 12:24 ./usr/share/why/why3/jessie3theories.why
-rw-r--r-- root/root       344 2014-04-30 12:24 ./usr/share/why/why3/why3.conf
-rw-r--r-- root/root      2631 2014-04-30 12:24 ./usr/share/why/why3/jessie3_integer.why
-rw-r--r-- root/root       133 2014-04-30 12:24 ./usr/share/why/why3/coq.drv
-rw-r--r-- root/root     19598 2014-04-30 12:24 ./usr/share/why/why3/jessie3.mlw
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/coq/
-rw-r--r-- root/root     61405 2014-04-30 12:24 ./usr/share/why/coq/WhyTuples.vo
-rw-r--r-- root/root     98634 2014-04-30 12:24 ./usr/share/why/coq/WhyPermut.vo
-rw-r--r-- root/root     21227 2014-04-30 12:24 ./usr/share/why/coq/WhyLemmas.vo
-rw-r--r-- root/root     17414 2014-04-30 12:24 ./usr/share/why/coq/WhyReal.vo
-rw-r--r-- root/root    102360 2014-04-30 12:24 ./usr/share/why/coq/WhySorted.vo
-rw-r--r-- root/root    248101 2014-04-30 12:24 ./usr/share/why/coq/WhyFloatsStrictLegacy.vo
-rw-r--r-- root/root     20609 2014-04-30 12:24 ./usr/share/why/coq/WhyExn.vo
-rw-r--r-- root/root     13253 2014-04-30 12:24 ./usr/share/why/coq/Why.vo
-rw-r--r-- root/root     16944 2014-04-30 12:24 ./usr/share/why/coq/WhyTactics.vo
-rw-r--r-- root/root     36417 2014-04-30 12:24 ./usr/share/why/coq/WhyCM.vo
-rw-r--r-- root/root     21018 2014-04-30 12:24 ./usr/share/why/coq/WhyArrays.vo
-rw-r--r-- root/root     23059 2014-04-30 12:24 ./usr/share/why/coq/WhyBool.vo
-rw-r--r-- root/root     97811 2014-04-30 12:24 ./usr/share/why/coq/jessie_why.vo
-rw-r--r-- root/root     13108 2014-04-30 12:24 ./usr/share/why/coq/WhyInt.vo
-rw-r--r-- root/root     12144 2014-04-30 12:24 ./usr/share/why/coq/WhyCoqCompat.vo
-rw-r--r-- root/root     20153 2014-04-30 12:24 ./usr/share/why/coq/WhyPrelude.vo
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/java_api/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/java_api/java/
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/
-rw-r--r-- root/root      3067 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/CharSequence.java
-rw-r--r-- root/root     23657 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/Object.java
-rw-r--r-- root/root     89699 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/Class.java
-rw-r--r-- root/root      2772 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/Exception.java
-rw-r--r-- root/root     50601 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/StringBuffer.java
-rw-r--r-- root/root     37242 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/Math.java
-rw-r--r-- root/root     26985 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/Throwable.java
-rw-r--r-- root/root     28832 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/Double.java
-rw-r--r-- root/root     38062 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/System.java
-rw-r--r-- root/root       893 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/IllegalArgumentException.java
-rw-r--r-- root/root      5730 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/Comparable.java
-rw-r--r-- root/root     74738 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/Character.java
-rw-r--r-- root/root     90665 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/String.java
-rw-r--r-- root/root      1353 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/Cloneable.java
-rw-r--r-- root/root      1356 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/NumberFormatException.java
-rw-r--r-- root/root     35750 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/Integer.java
-rw-r--r-- root/root     34165 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/Long.java
-rw-r--r-- root/root      3072 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/Number.java
-rw-r--r-- root/root      2935 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/RuntimeException.java
-rw-r--r-- root/root      1028 2014-04-30 12:24 ./usr/share/why/java_api/java/lang/ArrayStoreException.java
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/java_api/java/util/
-rw-r--r-- root/root       761 2014-04-30 12:24 ./usr/share/why/java_api/java/util/HashMapIntegerInteger.java
-rw-r--r-- root/root     34531 2014-04-30 12:24 ./usr/share/why/java_api/java/util/HashMap.java
-rw-r--r-- root/root       785 2014-04-30 12:24 ./usr/share/why/java_api/java/util/HashMapIntegerLong.java
-rw-r--r-- root/root      2165 2014-04-30 12:24 ./usr/share/why/java_api/java/util/Iterator.java
-rw-r--r-- root/root     18850 2014-04-30 12:24 ./usr/share/why/java_api/java/util/Collection.java
-rw-r--r-- root/root        39 2014-04-30 12:24 ./usr/share/why/java_api/java/util/Locale.java
-rw-r--r-- root/root     23747 2014-04-30 12:24 ./usr/share/why/java_api/java/util/AbstractMap.java
-rw-r--r-- root/root     14662 2014-04-30 12:24 ./usr/share/why/java_api/java/util/Set.java
-rw-r--r-- root/root     19069 2014-04-30 12:24 ./usr/share/why/java_api/java/util/Map.java
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/java_api/java/io/
-rw-r--r-- root/root     64725 2014-04-30 12:24 ./usr/share/why/java_api/java/io/ObjectStreamClass.java
-rw-r--r-- root/root     14881 2014-04-30 12:24 ./usr/share/why/java_api/java/io/InputStream.java
-rw-r--r-- root/root      7104 2014-04-30 12:24 ./usr/share/why/java_api/java/io/BufferedWriter.java
-rw-r--r-- root/root     25753 2014-04-30 12:24 ./usr/share/why/java_api/java/io/StreamTokenizer.java
-rw-r--r-- root/root      3929 2014-04-30 12:24 ./usr/share/why/java_api/java/io/FileDescriptor.java
-rw-r--r-- root/root      5732 2014-04-30 12:24 ./usr/share/why/java_api/java/io/InputStreamReader.java
-rw-r--r-- root/root      5152 2014-04-30 12:24 ./usr/share/why/java_api/java/io/FilterOutputStream.java
-rw-r--r-- root/root      1932 2014-04-30 12:24 ./usr/share/why/java_api/java/io/FileNotFoundException.java
-rw-r--r-- root/root     18130 2014-04-30 12:24 ./usr/share/why/java_api/java/io/PrintStream.java
-rw-r--r-- root/root     63721 2014-04-30 12:24 ./usr/share/why/java_api/java/io/File.java
-rw-r--r-- root/root      6788 2014-04-30 12:24 ./usr/share/why/java_api/java/io/OutputStreamWriter.java
-rw-r--r-- root/root      7268 2014-04-30 12:24 ./usr/share/why/java_api/java/io/Reader.java
-rw-r--r-- root/root      4695 2014-04-30 12:24 ./usr/share/why/java_api/java/io/Serializable.java
-rw-r--r-- root/root      1103 2014-04-30 12:24 ./usr/share/why/java_api/java/io/IOException.java
-rw-r--r-- root/root      2093 2014-04-30 12:24 ./usr/share/why/java_api/java/io/FileReader.java
-rw-r--r-- root/root      5082 2014-04-30 12:24 ./usr/share/why/java_api/java/io/OutputStream.java
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/images/
-rw-r--r-- root/root      2098 2014-04-30 12:24 ./usr/share/why/images/play32.png
-rw-r--r-- root/root     12971 2014-04-30 12:24 ./usr/share/why/images/why-logo-1.png
-rw-r--r-- root/root      2277 2014-04-30 12:24 ./usr/share/why/images/accept32.png
-rw-r--r-- root/root      2098 2014-04-30 12:24 ./usr/share/why/images/play-bw.png
-rw-r--r-- root/root      2107 2014-04-30 12:24 ./usr/share/why/images/pause-bw.png
-rw-r--r-- root/root       452 2014-04-30 12:24 ./usr/share/why/images/clock-bw.png
-rw-r--r-- root/root      1975 2014-04-30 12:24 ./usr/share/why/images/stop32.png
-rw-r--r-- root/root       432 2014-04-30 12:24 ./usr/share/why/images/help-bw.png
-rw-r--r-- root/root      2107 2014-04-30 12:24 ./usr/share/why/images/pause32.png
-rw-r--r-- root/root       409 2014-04-30 12:24 ./usr/share/why/images/delete-bw.png
-rw-r--r-- root/root      2180 2014-04-30 12:24 ./usr/share/why/images/help32.png
-rw-r--r-- root/root       577 2014-04-30 12:24 ./usr/share/why/images/accept-bw.png
-rw-r--r-- root/root      2182 2014-04-30 12:24 ./usr/share/why/images/delete32.png
-rw-r--r-- root/root      1809 2014-04-30 12:24 ./usr/share/why/images/bug32.png
-rw-r--r-- root/root      1809 2014-04-30 12:24 ./usr/share/why/images/bug-bw.png
-rw-r--r-- root/root      1975 2014-04-30 12:24 ./usr/share/why/images/stop-bw.png
-rw-r--r-- root/root      2440 2014-04-30 12:24 ./usr/share/why/images/clock32.png
-rw-r--r-- root/root      6162 2014-04-30 12:24 ./usr/share/why/images/logo-why-small.png
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/share/why/why/
-rw-r--r-- root/root      6591 2014-04-30 12:24 ./usr/share/why/why/jessie_bitvectors.why
-rw-r--r-- root/root      2727 2014-04-30 12:24 ./usr/share/why/why/arrays.why
-rw-r--r-- root/root         0 2014-04-30 12:24 ./usr/share/why/why/mybag.why
-rw-r--r-- root/root     11421 2014-04-30 12:24 ./usr/share/why/why/floats_strict.why
-rw-r--r-- root/root     12492 2014-04-30 12:24 ./usr/share/why/why/floats_multi_rounding.why
-rw-r--r-- root/root      4483 2014-04-30 12:24 ./usr/share/why/why/floats_common.why
-rw-r--r-- root/root     28404 2014-04-30 12:24 ./usr/share/why/why/jessie.why
-rw-r--r-- root/root       202 2014-04-30 12:24 ./usr/share/why/why/mix.why
-rw-r--r-- root/root     42399 2014-04-30 12:24 ./usr/share/why/why/floats_full.why
-rw-r--r-- root/root      1534 2014-04-30 12:24 ./usr/share/why/why/integer.why
-rw-r--r-- root/root      2642 2014-04-30 12:24 ./usr/share/why/why/prelude.why
-rw-r--r-- root/root       661 2014-04-30 12:24 ./usr/share/why/why/bool.why
-rw-r--r-- root/root      5816 2014-04-30 12:24 ./usr/share/why/why/real.why
-rw-r--r-- root/root      1376 2014-04-30 12:24 ./usr/share/why/why/divisions.why
drwxr-xr-x root/root         0 2014-04-30 12:24 ./usr/bin/
-rwxr-xr-x root/root   9280992 2014-04-30 12:24 ./usr/bin/jessie
-rwxr-xr-x root/root   1089176 2014-04-30 12:24 ./usr/bin/tool-stat
-rwxr-xr-x root/root       591 2014-04-30 12:24 ./usr/bin/gwhy
-rwxr-xr-x root/root   1721343 2014-04-30 12:24 ./usr/bin/why-obfuscator
-rwxr-xr-x root/root    337165 2014-04-30 12:24 ./usr/bin/why2html
-rwxr-xr-x root/root    411305 2014-04-30 12:24 ./usr/bin/rv_merge
-rwxr-xr-x root/root    928269 2014-04-30 12:24 ./usr/bin/simplify2why
-rwxr-xr-x root/root    952548 2014-04-30 12:24 ./usr/bin/why-config
-rwxr-xr-x root/root   9482676 2014-04-30 12:24 ./usr/bin/gwhy-bin
-rwxr-xr-x root/root   1345265 2014-04-30 12:24 ./usr/bin/why-stat
-rwxr-xr-x root/root      6080 2014-04-30 12:24 ./usr/bin/why-cpulimit
-rwxr-xr-x root/root   7017232 2014-04-30 12:24 ./usr/bin/krakatoa
-rwxr-xr-x root/root   1240773 2014-04-30 12:24 ./usr/bin/why-dp
-rwxr-xr-x root/root   8423064 2014-04-30 12:24 ./usr/bin/why
lrwxrwxrwx root/root         0 2014-04-30 12:24 ./usr/share/man/man1/caduceus.1.gz -> why.1.gz
lrwxrwxrwx root/root         0 2014-04-30 12:24 ./usr/share/man/man1/why-stat.1.gz -> why.1.gz
lrwxrwxrwx root/root         0 2014-04-30 12:24 ./usr/share/man/man1/krakatoa.1.gz -> why.1.gz
lrwxrwxrwx root/root         0 2014-04-30 12:24 ./usr/share/man/man1/why-dp.1.gz -> why.1.gz
lrwxrwxrwx root/root         0 2014-04-30 12:24 ./usr/share/man/man1/gwhy-bin.1.gz -> why.1.gz
lrwxrwxrwx root/root         0 2014-04-30 12:24 ./usr/share/man/man1/tool-stat.1.gz -> why.1.gz
lrwxrwxrwx root/root         0 2014-04-30 12:24 ./usr/share/man/man1/rv_merge.1.gz -> why.1.gz
lrwxrwxrwx root/root         0 2014-04-30 12:24 ./usr/share/man/man1/why-config.1.gz -> why.1.gz
lrwxrwxrwx root/root         0 2014-04-30 12:24 ./usr/share/man/man1/why-obfuscator.1.gz -> why.1.gz
lrwxrwxrwx root/root         0 2014-04-30 12:24 ./usr/share/man/man1/jessie.1.gz -> why.1.gz
lrwxrwxrwx root/root         0 2014-04-30 12:24 ./usr/share/man/man1/simplify2why.1.gz -> why.1.gz
lrwxrwxrwx root/root         0 2014-04-30 12:24 ./usr/share/man/man1/gwhy.1.gz -> why.1.gz
lrwxrwxrwx root/root         0 2014-04-30 12:24 ./usr/share/man/man1/why2html.1.gz -> why.1.gz

why_2.34-1_arm64.changes:
Format: 1.8
Date: Tue, 29 Apr 2014 20:56:03 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: arm64
Version: 2.34-1
Distribution: utopic-proposed
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@templar.buildd>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 libwhy-coq - Why library for Coq
 why        - Software verification tool
 why-examples - Examples of programs certified with Why
Changes: 
 why (2.34-1) unstable; urgency=low
 .
   * New upstream release.
   * Drop deprecated patches:
     - deprecated-or
     - hashtbl
     - frama-c-versions
   * Bump build-dependency on frama-c to version 20140301+neon+dfsg.
   * Fix debian/tests/frama-c+jessie+alt-ergo:
     - run why-config when there is no ${HOME}/.whyrc
     - drop the specification of cpp-4.7 as this is no longer needed, and
       the dependency of that test on cpp-4.7
Checksums-Sha1: 
 42db4f9168f6c7a02714c6e34f00926eb3333035 10495384 why_2.34-1_arm64.deb
Checksums-Sha256: 
 0be3db6f5e7dd5da35d72d8a1cbd098e6178dc927670ec840f5a05a647bde2ee 10495384 why_2.34-1_arm64.deb
Files: 
 ce67ccb03f08fb5e75d3688187b35284 10495384 math optional why_2.34-1_arm64.deb

******************************************************************************
Built successfully
******************************************************************************
Finished at 20140430-1225
Build needed 00:05:30, 215904k disk space
RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-5963172']
Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-5963172/chroot-autobuild...
RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-5963172']
Unmounting chroot for build PACKAGEBUILD-5963172...
RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-5963172']
Removing build PACKAGEBUILD-5963172