RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux kishi09 3.2.0-51-highbank #77-Ubuntu SMP PREEMPT Thu Jul 25 04:09:51 UTC 2013 armv7l Buildd toolchain package versions: launchpad-buildd_121~0.IS.08.04.0 python-lpbuildd_121~0.IS.08.04.0 bzr_2.5.1-0ubuntu2 dpkg-dev_1.16.1.2ubuntu7.2. Syncing the system clock with the buildd NTP service... 19 Feb 12:31:56 ntpdate[4566]: adjust time server 10.211.37.1 offset 0.000045 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-5616179', '/home/buildd/filecache-default/be54bc97fd377b2ed74bd8246f0c5b69d3169335'] Unpacking chroot for build PACKAGEBUILD-5616179 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-5616179'] Mounting chroot for build PACKAGEBUILD-5616179 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-5616179', 'deb http://ftpmaster.internal/ubuntu trusty main universe', 'deb http://ftpmaster.internal/ubuntu trusty-security main universe', 'deb http://ftpmaster.internal/ubuntu trusty-updates main universe', 'deb http://ftpmaster.internal/ubuntu trusty-proposed main universe'] Overriding sources.list in build-PACKAGEBUILD-5616179 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-5616179', 'armhf'] Updating debian chroot for build PACKAGEBUILD-5616179 Ign http://ftpmaster.internal trusty InRelease Ign http://archive-team.internal trusty InRelease Ign http://ftpmaster.internal trusty-security InRelease Ign http://archive-team.internal trusty Release.gpg Ign http://ftpmaster.internal trusty-updates InRelease Ign http://ftpmaster.internal trusty-proposed InRelease Get:1 http://archive-team.internal trusty Release [730 B] Get:2 http://ftpmaster.internal trusty Release.gpg [933 B] Get:3 http://ftpmaster.internal trusty-security Release.gpg [933 B] Get:4 http://ftpmaster.internal trusty-updates Release.gpg [933 B] Get:5 http://ftpmaster.internal trusty-proposed Release.gpg [933 B] Get:6 http://ftpmaster.internal trusty Release [58.5 kB] Get:7 http://archive-team.internal trusty/main armhf Packages Get:8 http://ftpmaster.internal trusty-security Release [58.5 kB] Get:9 http://ftpmaster.internal trusty-updates Release [58.5 kB] Ign http://archive-team.internal trusty/main Translation-en Get:10 http://ftpmaster.internal trusty-proposed Release [58.5 kB] Get:11 http://ftpmaster.internal trusty/main armhf Packages [1294 kB] Get:12 http://ftpmaster.internal trusty/universe armhf Packages [5730 kB] Get:13 http://ftpmaster.internal trusty/main Translation-en [761 kB] Get:14 http://ftpmaster.internal trusty/universe Translation-en [4059 kB] Get:15 http://ftpmaster.internal trusty-security/main armhf Packages [14 B] Get:16 http://ftpmaster.internal trusty-security/universe armhf Packages [14 B] Get:17 http://ftpmaster.internal trusty-security/main Translation-en [14 B] Get:18 http://ftpmaster.internal trusty-security/universe Translation-en [14 B] Get:19 http://ftpmaster.internal trusty-updates/main armhf Packages [14 B] Get:20 http://ftpmaster.internal trusty-updates/universe armhf Packages [14 B] Get:21 http://ftpmaster.internal trusty-updates/main Translation-en [14 B] Get:22 http://ftpmaster.internal trusty-updates/universe Translation-en [14 B] Get:23 http://ftpmaster.internal trusty-proposed/main armhf Packages [43.4 kB] Get:24 http://ftpmaster.internal trusty-proposed/universe armhf Packages [107 kB] Get:25 http://ftpmaster.internal trusty-proposed/main Translation-en [24.4 kB] Get:26 http://ftpmaster.internal trusty-proposed/universe Translation-en [81.6 kB] Fetched 12.3 MB in 15s (796 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: apt apt-transport-https cpp-4.8 e2fslibs e2fsprogs g++-4.8 gcc-4.8 gcc-4.8-base gcc-4.9-base iproute iproute2 libapt-pkg4.12 libasan0 libatomic1 libc-bin libc-dev-bin libc6 libc6-dev libcomerr2 libgcc-4.8-dev libgcc1 libgomp1 libgssapi-krb5-2 libk5crypto3 libkrb5-3 libkrb5support0 libss2 libstdc++-4.8-dev libstdc++6 linux-libc-dev login multiarch-support passwd 33 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 26.6 MB of archives. After this operation, 110 kB disk space will be freed. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main libc-bin armhf 2.18-0ubuntu7 [993 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main libc6-dev armhf 2.18-0ubuntu7 [1581 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty/main libc-dev-bin armhf 2.18-0ubuntu7 [60.3 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty/main linux-libc-dev armhf 3.13.0-10.30 [742 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty/main gcc-4.9-base armhf 4.9-20140217-0ubuntu1 [14.4 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty/main libgcc1 armhf 1:4.9-20140217-0ubuntu1 [39.0 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main libc6 armhf 2.18-0ubuntu7 [3903 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty-proposed/main e2fslibs armhf 1.42.9-3ubuntu1 [170 kB] Get:9 http://ftpmaster.internal/ubuntu/ trusty-proposed/main e2fsprogs armhf 1.42.9-3ubuntu1 [655 kB] Get:10 http://ftpmaster.internal/ubuntu/ trusty/main login armhf 1:4.1.5.1-1ubuntu9 [300 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main libgomp1 armhf 4.8.2-16ubuntu1 [22.2 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty/main libasan0 armhf 4.8.2-16ubuntu1 [56.9 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty/main libatomic1 armhf 4.8.2-16ubuntu1 [6048 B] Get:14 http://ftpmaster.internal/ubuntu/ trusty/main g++-4.8 armhf 4.8.2-16ubuntu1 [5007 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main gcc-4.8 armhf 4.8.2-16ubuntu1 [4379 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty/main cpp-4.8 armhf 4.8.2-16ubuntu1 [3933 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty/main libstdc++-4.8-dev armhf 4.8.2-16ubuntu1 [1093 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty/main libgcc-4.8-dev armhf 4.8.2-16ubuntu1 [211 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty/main gcc-4.8-base armhf 4.8.2-16ubuntu1 [15.1 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty/main libstdc++6 armhf 4.8.2-16ubuntu1 [222 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libapt-pkg4.12 armhf 0.9.15.2ubuntu1 [587 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty-proposed/main apt armhf 0.9.15.2ubuntu1 [938 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libcomerr2 armhf 1.42.9-3ubuntu1 [61.8 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libss2 armhf 1.42.9-3ubuntu1 [65.2 kB] Get:25 http://ftpmaster.internal/ubuntu/ trusty/main libk5crypto3 armhf 1.12+dfsg-2ubuntu2 [75.9 kB] Get:26 http://ftpmaster.internal/ubuntu/ trusty/main libgssapi-krb5-2 armhf 1.12+dfsg-2ubuntu2 [92.7 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty/main libkrb5-3 armhf 1.12+dfsg-2ubuntu2 [217 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty/main libkrb5support0 armhf 1.12+dfsg-2ubuntu2 [25.7 kB] Get:29 http://ftpmaster.internal/ubuntu/ trusty/main multiarch-support armhf 2.18-0ubuntu7 [4482 B] Get:30 http://ftpmaster.internal/ubuntu/ trusty/main passwd armhf 1:4.1.5.1-1ubuntu9 [725 kB] Get:31 http://ftpmaster.internal/ubuntu/ trusty/main iproute2 armhf 3.12.0-2 [368 kB] Get:32 http://ftpmaster.internal/ubuntu/ trusty-proposed/main apt-transport-https armhf 0.9.15.2ubuntu1 [22.9 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty/main iproute all 1:3.12.0-2 [2384 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 26.6 MB in 3s (7684 kB/s) (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../libc-bin_2.18-0ubuntu7_armhf.deb ... Unpacking libc-bin (2.18-0ubuntu7) over (2.18-0ubuntu6) ... Preparing to unpack .../libc6_2.18-0ubuntu7_armhf.deb ... Unpacking libc6:armhf (2.18-0ubuntu7) over (2.18-0ubuntu6) ... Preparing to unpack .../libgcc1_1%3a4.9-20140217-0ubuntu1_armhf.deb ... Unpacking libgcc1:armhf (1:4.9-20140217-0ubuntu1) over (1:4.9-20140213-0ubuntu2) ... Preparing to unpack .../gcc-4.9-base_4.9-20140217-0ubuntu1_armhf.deb ... Unpacking gcc-4.9-base:armhf (4.9-20140217-0ubuntu1) over (4.9-20140213-0ubuntu2) ... Setting up gcc-4.9-base:armhf (4.9-20140217-0ubuntu1) ... Setting up libgcc1:armhf (1:4.9-20140217-0ubuntu1) ... Setting up libc6:armhf (2.18-0ubuntu7) ... Setting up libc-bin (2.18-0ubuntu7) ... (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../libc6-dev_2.18-0ubuntu7_armhf.deb ... Unpacking libc6-dev:armhf (2.18-0ubuntu7) over (2.18-0ubuntu6) ... Preparing to unpack .../libc-dev-bin_2.18-0ubuntu7_armhf.deb ... Unpacking libc-dev-bin (2.18-0ubuntu7) over (2.18-0ubuntu6) ... Preparing to unpack .../linux-libc-dev_3.13.0-10.30_armhf.deb ... Unpacking linux-libc-dev:armhf (3.13.0-10.30) over (3.13.0-8.28) ... Preparing to unpack .../e2fslibs_1.42.9-3ubuntu1_armhf.deb ... Unpacking e2fslibs:armhf (1.42.9-3ubuntu1) over (1.42.9-2ubuntu1) ... Setting up e2fslibs:armhf (1.42.9-3ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu7) ... (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.42.9-3ubuntu1_armhf.deb ... Unpacking e2fsprogs (1.42.9-3ubuntu1) over (1.42.9-2ubuntu1) ... Setting up e2fsprogs (1.42.9-3ubuntu1) ... (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../login_1%3a4.1.5.1-1ubuntu9_armhf.deb ... Unpacking login (1:4.1.5.1-1ubuntu9) over (1:4.1.5.1-1ubuntu8) ... Setting up login (1:4.1.5.1-1ubuntu9) ... (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../libgomp1_4.8.2-16ubuntu1_armhf.deb ... Unpacking libgomp1:armhf (4.8.2-16ubuntu1) over (4.8.2-15ubuntu3) ... Preparing to unpack .../libasan0_4.8.2-16ubuntu1_armhf.deb ... Unpacking libasan0:armhf (4.8.2-16ubuntu1) over (4.8.2-15ubuntu3) ... Preparing to unpack .../libatomic1_4.8.2-16ubuntu1_armhf.deb ... Unpacking libatomic1:armhf (4.8.2-16ubuntu1) over (4.8.2-15ubuntu3) ... Preparing to unpack .../g++-4.8_4.8.2-16ubuntu1_armhf.deb ... Unpacking g++-4.8 (4.8.2-16ubuntu1) over (4.8.2-15ubuntu3) ... Preparing to unpack .../gcc-4.8_4.8.2-16ubuntu1_armhf.deb ... Unpacking gcc-4.8 (4.8.2-16ubuntu1) over (4.8.2-15ubuntu3) ... Preparing to unpack .../cpp-4.8_4.8.2-16ubuntu1_armhf.deb ... Unpacking cpp-4.8 (4.8.2-16ubuntu1) over (4.8.2-15ubuntu3) ... Preparing to unpack .../libstdc++-4.8-dev_4.8.2-16ubuntu1_armhf.deb ... Unpacking libstdc++-4.8-dev:armhf (4.8.2-16ubuntu1) over (4.8.2-15ubuntu3) ... Preparing to unpack .../libgcc-4.8-dev_4.8.2-16ubuntu1_armhf.deb ... Unpacking libgcc-4.8-dev:armhf (4.8.2-16ubuntu1) over (4.8.2-15ubuntu3) ... Preparing to unpack .../gcc-4.8-base_4.8.2-16ubuntu1_armhf.deb ... Unpacking gcc-4.8-base:armhf (4.8.2-16ubuntu1) over (4.8.2-15ubuntu3) ... Setting up gcc-4.8-base:armhf (4.8.2-16ubuntu1) ... (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../libstdc++6_4.8.2-16ubuntu1_armhf.deb ... Unpacking libstdc++6:armhf (4.8.2-16ubuntu1) over (4.8.2-15ubuntu3) ... Setting up libstdc++6:armhf (4.8.2-16ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu7) ... (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../libapt-pkg4.12_0.9.15.2ubuntu1_armhf.deb ... Unpacking libapt-pkg4.12:armhf (0.9.15.2ubuntu1) over (0.9.15.1ubuntu1) ... Setting up libapt-pkg4.12:armhf (0.9.15.2ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu7) ... (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../apt_0.9.15.2ubuntu1_armhf.deb ... Unpacking apt (0.9.15.2ubuntu1) over (0.9.15.1ubuntu1) ... Setting up apt (0.9.15.2ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu7) ... (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../libcomerr2_1.42.9-3ubuntu1_armhf.deb ... Unpacking libcomerr2:armhf (1.42.9-3ubuntu1) over (1.42.9-2ubuntu1) ... Setting up libcomerr2:armhf (1.42.9-3ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu7) ... (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../libss2_1.42.9-3ubuntu1_armhf.deb ... Unpacking libss2:armhf (1.42.9-3ubuntu1) over (1.42.9-2ubuntu1) ... Setting up libss2:armhf (1.42.9-3ubuntu1) ... Processing triggers for libc-bin (2.18-0ubuntu7) ... (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../libk5crypto3_1.12+dfsg-2ubuntu2_armhf.deb ... Unpacking libk5crypto3:armhf (1.12+dfsg-2ubuntu2) over (1.12+dfsg-2ubuntu1) ... Preparing to unpack .../libgssapi-krb5-2_1.12+dfsg-2ubuntu2_armhf.deb ... Unpacking libgssapi-krb5-2:armhf (1.12+dfsg-2ubuntu2) over (1.12+dfsg-2ubuntu1) ... Preparing to unpack .../libkrb5-3_1.12+dfsg-2ubuntu2_armhf.deb ... Unpacking libkrb5-3:armhf (1.12+dfsg-2ubuntu2) over (1.12+dfsg-2ubuntu1) ... Preparing to unpack .../libkrb5support0_1.12+dfsg-2ubuntu2_armhf.deb ... Unpacking libkrb5support0:armhf (1.12+dfsg-2ubuntu2) over (1.12+dfsg-2ubuntu1) ... Preparing to unpack .../multiarch-support_2.18-0ubuntu7_armhf.deb ... Unpacking multiarch-support (2.18-0ubuntu7) over (2.18-0ubuntu6) ... Setting up multiarch-support (2.18-0ubuntu7) ... (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.1.5.1-1ubuntu9_armhf.deb ... Unpacking passwd (1:4.1.5.1-1ubuntu9) over (1:4.1.5.1-1ubuntu8) ... Setting up passwd (1:4.1.5.1-1ubuntu9) ... (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../iproute2_3.12.0-2_armhf.deb ... Unpacking iproute2 (3.12.0-2) over (3.12.0-1) ... Preparing to unpack .../apt-transport-https_0.9.15.2ubuntu1_armhf.deb ... Unpacking apt-transport-https (0.9.15.2ubuntu1) over (0.9.15.1ubuntu1) ... Preparing to unpack .../iproute_1%3a3.12.0-2_all.deb ... Unpacking iproute (1:3.12.0-2) over (1:3.12.0-1) ... Setting up libc-dev-bin (2.18-0ubuntu7) ... Setting up linux-libc-dev:armhf (3.13.0-10.30) ... Setting up libc6-dev:armhf (2.18-0ubuntu7) ... Setting up libgomp1:armhf (4.8.2-16ubuntu1) ... Setting up libasan0:armhf (4.8.2-16ubuntu1) ... Setting up libatomic1:armhf (4.8.2-16ubuntu1) ... Setting up cpp-4.8 (4.8.2-16ubuntu1) ... Setting up gcc-4.8 (4.8.2-16ubuntu1) ... Setting up libgcc-4.8-dev:armhf (4.8.2-16ubuntu1) ... Setting up libstdc++-4.8-dev:armhf (4.8.2-16ubuntu1) ... Setting up g++-4.8 (4.8.2-16ubuntu1) ... Setting up libkrb5support0:armhf (1.12+dfsg-2ubuntu2) ... Setting up libk5crypto3:armhf (1.12+dfsg-2ubuntu2) ... Setting up libkrb5-3:armhf (1.12+dfsg-2ubuntu2) ... Setting up libgssapi-krb5-2:armhf (1.12+dfsg-2ubuntu2) ... Setting up iproute2 (3.12.0-2) ... Setting up apt-transport-https (0.9.15.2ubuntu1) ... Setting up iproute (1:3.12.0-2) ... Processing triggers for libc-bin (2.18-0ubuntu7) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-5616179', 'armhf', 'trusty-proposed', '--nolog', '--batch', '--archive=ubuntu', '--dist=trusty-proposed', '--purpose=PRIMARY', '--architecture=armhf', '--comp=universe', 'why_2.33-2.dsc'] Initiating build PACKAGEBUILD-5616179 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 3.2.0-51-highbank #77-Ubuntu SMP PREEMPT Thu Jul 25 04:09:51 UTC 2013 armv7l Automatic build of why_2.33-2 on kishi09 by sbuild/armhf 1.170.5 Build started at 20140219-1233 ****************************************************************************** why_2.33-2.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7.0.50~), autotools-dev, autoconf, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev (>= 2.12.0-3~), coq (>= 8.3~), libfloat-coq, libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20130601+fluorine3+dfsg-2), libapron-ocaml-dev (>= 0.9.10-4~), camlidl Checking for already installed source dependencies... debhelper: missing autotools-dev: missing autoconf: missing dh-ocaml: missing ocaml-nox: missing ocaml-best-compilers: missing camlp4: missing liblablgtk2-ocaml-dev: missing coq: missing libfloat-coq: missing libocamlgraph-ocaml-dev: missing frama-c-base: missing libapron-ocaml-dev: missing camlidl: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper autotools-dev autoconf dh-ocaml ocaml-nox ocaml-best-compilers camlp4 liblablgtk2-ocaml-dev coq libfloat-coq libocamlgraph-ocaml-dev frama-c-base libapron-ocaml-dev camlidl Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: apparmor-easyprof aspell aspell-en bsdmainutils coq-theories dbus dbus-x11 dh-apparmor dh-python dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core gconf-service gconf-service-backend gconf2 gconf2-common gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 groff-base intltool-debian libapparmor1 libapron libapron-dev libapron-ocaml libart-2.0-2 libasound2 libasound2-data libaspell15 libasprintf0c2 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libavahi-glib1 libbonobo2-0 libbonobo2-common libbonoboui2-0 libbonoboui2-common libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcanberra0 libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-glib-1-2 libelfg0 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgail18 libgconf-2-4 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgnome-keyring-common libgnome-keyring0 libgnome2-0 libgnome2-bin libgnome2-common libgnomecanvas2-0 libgnomecanvas2-common libgnomeui-0 libgnomeui-common libgnomevfs2-0 libgnomevfs2-common libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.3-0 libice-dev libice6 libicu52 libidl-common libidl0 libjasper1 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-gnome-ocaml liblablgtk2-ocaml liblablgtksourceview2-ocaml libltdl7 liblzo2-2 libmagic1 libmpdec2 libmpfr-dev libncurses5-dev libogg0 liborbit-2-0 liborbit2 libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt0 libppl-c4 libppl0.12-dev libppl12 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.4-minimal libpython3.4-stdlib librsvg2-2 libsigsegv2 libsm-dev libsm6 libssl1.0.0 libsystemd-login0 libtdb1 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml m4 man-db mime-support netbase ocaml-base-nox ocaml-compiler-libs ocaml-interp pkg-config po-debconf psmisc python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.4 python3.4-minimal shared-mime-info sound-theme-freedesktop ucf x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev Suggested packages: aspell-doc spellutils autoconf2.13 autoconf-archive gnu-standards autoconf-doc libtool wamerican wordlist whois vacation camlidl-doc proofgeneral ledit readline-editor libcoq-ocaml-dev why coq-doc dh-make git jed-extra gconf-defaults-service gettext-doc groff libasound2-plugins alsa-utils libbonobo2-bin libcairo2-doc libcanberra-gtk0 libcanberra-pulse cups-common libenchant-voikko glade glade-gnome libglib2.0-doc libgmp10-doc gnome-keyring desktop-base gnome-icon-theme libgnomevfs2-bin libgnomevfs2-extra gamin fam gnome-mime-data librsvg2-common libgtk2.0-doc libice-doc libjasper-runtime liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocaml-dev libmpfr-doc ncurses-doc ttf-baekmuk ttf-arphic-gbsn00lp ttf-arphic-bsmi00lp ttf-arphic-gkai00mp ttf-arphic-bkai00mp libpango1.0-doc imagemagick libppl-doc librsvg2-bin libsm-doc libxcb-doc libxext-doc less www-browser tuareg-mode ocaml-mode libmail-box-perl python-doc python-tk python2.7-doc binfmt-support python3-doc python3-tk python3.4-doc Recommended packages: automake automaken libpam-systemd alt-ergo libwhy-coq curl wget lynx-cur libasprintf-dev libgettextpo-dev enchant gvfs hicolor-icon-theme libgtk2.0-bin hunspell-en-us hunspell-dictionary myspell-dictionary liblablgtk2-ocaml-doc ocaml-findlib libx11-doc xml-core libmail-sendmail-perl The following NEW packages will be installed: apparmor-easyprof aspell aspell-en autoconf autotools-dev bsdmainutils camlidl camlp4 coq coq-theories dbus dbus-x11 debhelper dh-apparmor dh-ocaml dh-python dictionaries-common emacsen-common file fontconfig fontconfig-config fonts-dejavu-core frama-c-base gconf-service gconf-service-backend gconf2 gconf2-common gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 groff-base intltool-debian libapparmor1 libapron libapron-dev libapron-ocaml libapron-ocaml-dev libart-2.0-2 libasound2 libasound2-data libaspell15 libasprintf0c2 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libavahi-glib1 libbonobo2-0 libbonobo2-common libbonoboui2-0 libbonoboui2-common libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcanberra0 libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-glib-1-2 libelfg0 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfloat-coq libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgail18 libgconf-2-4 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libgnome-keyring-common libgnome-keyring0 libgnome2-0 libgnome2-bin libgnome2-common libgnomecanvas2-0 libgnomecanvas2-common libgnomeui-0 libgnomeui-common libgnomevfs2-0 libgnomevfs2-common libgraphite2-3 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz0b libhunspell-1.3-0 libice-dev libice6 libicu52 libidl-common libidl0 libjasper1 libjbig0 libjpeg-turbo8 libjpeg8 liblablgtk2-gnome-ocaml liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml libltdl7 liblzo2-2 libmagic1 libmpdec2 libmpfr-dev libncurses5-dev libocamlgraph-ocaml-dev libogg0 liborbit-2-0 liborbit2 libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt0 libppl-c4 libppl0.12-dev libppl12 libpthread-stubs0-dev libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.4-minimal libpython3.4-stdlib librsvg2-2 libsigsegv2 libsm-dev libsm6 libssl1.0.0 libsystemd-login0 libtdb1 libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml m4 man-db mime-support netbase ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-native-compilers ocaml-nox pkg-config po-debconf psmisc python python-minimal python2.7 python2.7-minimal python3 python3-minimal python3.4 python3.4-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, 251 newly installed, 0 to remove and 0 not upgraded. Need to get 138 MB of archives. After this operation, 678 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main libexpat1 armhf 2.1.0-4ubuntu1 [52.6 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main libmagic1 armhf 1:5.14-2ubuntu1 [180 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty/main libpopt0 armhf 1.16-8ubuntu1 [23.4 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty/main libssl1.0.0 armhf 1.0.1f-1ubuntu1 [656 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty/main libasprintf0c2 armhf 0.18.3.1-1ubuntu2 [6448 B] Get:6 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-0 armhf 2.39.4-0ubuntu1 [906 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main libdbus-glib-1-2 armhf 0.100.2-1 [58.7 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main libpipeline1 armhf 1.2.6-2 [19.6 kB] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main libsystemd-login0 armhf 204-5ubuntu11 [24.3 kB] Get:10 http://ftpmaster.internal/ubuntu/ trusty/main libxau6 armhf 1:1.0.8-1 [7324 B] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main libxdmcp6 armhf 1:1.1.1-1 [11.2 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty/main libxcb1 armhf 1.10-2ubuntu1 [33.1 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty/main libx11-data all 2:1.6.2-1ubuntu2 [111 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty/main libx11-6 armhf 2:1.6.2-1ubuntu2 [506 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main libxext6 armhf 2:1.3.2-1 [27.3 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty/main libxml2 armhf 2.9.1+dfsg1-3ubuntu3 [484 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty/main groff-base armhf 1.22.2-5 [934 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty/main bsdmainutils armhf 9.0.5ubuntu1 [195 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty/main man-db armhf 2.6.6-1 [831 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty/main libart-2.0-2 armhf 2.3.21-2 [45.8 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty/main libasound2-data all 1.0.27.2-3ubuntu2 [26.1 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty/main libasound2 armhf 1.0.27.2-3ubuntu2 [279 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-data all 2.10.0-2ubuntu2 [13.7 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-0 armhf 2.10.0-2ubuntu2 [44.0 kB] Get:25 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common-data armhf 0.6.31-4ubuntu1 [21.0 kB] Get:26 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-common3 armhf 0.6.31-4ubuntu1 [19.7 kB] Get:27 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-client3 armhf 0.6.31-4ubuntu1 [21.9 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty/main libavahi-glib1 armhf 0.6.31-4ubuntu1 [8566 B] Get:29 http://ftpmaster.internal/ubuntu/ trusty/main libbonobo2-common all 2.32.1-0ubuntu5 [34.2 kB] Get:30 http://ftpmaster.internal/ubuntu/ trusty/main libidl-common all 0.8.14-0.2ubuntu4 [8196 B] Get:31 http://ftpmaster.internal/ubuntu/ trusty/main libidl0 armhf 0.8.14-0.2ubuntu4 [63.4 kB] Get:32 http://ftpmaster.internal/ubuntu/ trusty/main liborbit-2-0 armhf 1:2.14.19-0.3 [113 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty/main liborbit2 armhf 1:2.14.19-0.3 [15.0 kB] Get:34 http://ftpmaster.internal/ubuntu/ trusty/main libbonobo2-0 armhf 2.32.1-0ubuntu5 [180 kB] Get:35 http://ftpmaster.internal/ubuntu/ trusty/main ucf all 3.0027+nmu1 [56.3 kB] Get:36 http://ftpmaster.internal/ubuntu/ trusty/main gconf2-common all 3.2.6-0ubuntu1 [20.7 kB] Get:37 http://ftpmaster.internal/ubuntu/ trusty/main libgconf-2-4 armhf 3.2.6-0ubuntu1 [70.1 kB] Get:38 http://ftpmaster.internal/ubuntu/ trusty/main gconf-service-backend armhf 3.2.6-0ubuntu1 [48.4 kB] Get:39 http://ftpmaster.internal/ubuntu/ trusty/main gconf-service armhf 3.2.6-0ubuntu1 [2042 B] Get:40 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg-turbo8 armhf 1.3.0-0ubuntu2 [85.2 kB] Get:41 http://ftpmaster.internal/ubuntu/ trusty/main libjpeg8 armhf 8c-2ubuntu8 [2202 B] Get:42 http://ftpmaster.internal/ubuntu/ trusty/main libjasper1 armhf 1.900.1-14ubuntu3 [110 kB] Get:43 http://ftpmaster.internal/ubuntu/ trusty/main libjbig0 armhf 2.0-2ubuntu4 [23.2 kB] Get:44 http://ftpmaster.internal/ubuntu/ trusty/main libtiff5 armhf 4.0.3-7 [130 kB] Get:45 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-common all 2.30.4-0ubuntu1 [8576 B] Get:46 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-0 armhf 2.30.4-0ubuntu1 [141 kB] Get:47 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-common all 2.24.22-1ubuntu2 [120 kB] Get:48 http://ftpmaster.internal/ubuntu/ trusty/main fonts-dejavu-core all 2.34-1ubuntu1 [1024 kB] Get:49 http://ftpmaster.internal/ubuntu/ trusty/main fontconfig-config all 2.11.0-0ubuntu4 [47.3 kB] Get:50 http://ftpmaster.internal/ubuntu/ trusty/main libfreetype6 armhf 2.5.2-1ubuntu1 [253 kB] Get:51 http://ftpmaster.internal/ubuntu/ trusty/main libfontconfig1 armhf 2.11.0-0ubuntu4 [108 kB] Get:52 http://ftpmaster.internal/ubuntu/ trusty/main libpixman-1-0 armhf 0.30.2-2ubuntu1 [160 kB] Get:53 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-render0 armhf 1.10-2ubuntu1 [10.3 kB] Get:54 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-shm0 armhf 1.10-2ubuntu1 [5340 B] Get:55 http://ftpmaster.internal/ubuntu/ trusty/main libxrender1 armhf 1:0.9.8-1 [17.1 kB] Get:56 http://ftpmaster.internal/ubuntu/ trusty/main libcairo2 armhf 1.13.0~20140204-0ubuntu1 [465 kB] Get:57 http://ftpmaster.internal/ubuntu/ trusty/main libcups2 armhf 1.7.1-4ubuntu1 [157 kB] Get:58 http://ftpmaster.internal/ubuntu/ trusty/main libthai-data all 0.1.20-3 [130 kB] Get:59 http://ftpmaster.internal/ubuntu/ trusty/main libdatrie1 armhf 0.2.8-1 [13.4 kB] Get:60 http://ftpmaster.internal/ubuntu/ trusty/main libthai0 armhf 0.1.20-3 [14.1 kB] Get:61 http://ftpmaster.internal/ubuntu/ trusty/main fontconfig armhf 2.11.0-0ubuntu4 [175 kB] Get:62 http://ftpmaster.internal/ubuntu/ trusty/main libpango-1.0-0 armhf 1.36.1-0ubuntu1 [133 kB] Get:63 http://ftpmaster.internal/ubuntu/ trusty/main libgraphite2-3 armhf 1.2.4-1ubuntu1 [44.4 kB] Get:64 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz0b armhf 0.9.26-4 [110 kB] Get:65 http://ftpmaster.internal/ubuntu/ trusty/main libpangoft2-1.0-0 armhf 1.36.1-0ubuntu1 [26.6 kB] Get:66 http://ftpmaster.internal/ubuntu/ trusty/main libpangocairo-1.0-0 armhf 1.36.1-0ubuntu1 [16.5 kB] Get:67 http://ftpmaster.internal/ubuntu/ trusty/main libxcomposite1 armhf 1:0.4.4-1 [7080 B] Get:68 http://ftpmaster.internal/ubuntu/ trusty/main libxfixes3 armhf 1:5.0.1-1ubuntu1 [9922 B] Get:69 http://ftpmaster.internal/ubuntu/ trusty/main libxcursor1 armhf 1:1.1.14-1 [18.8 kB] Get:70 http://ftpmaster.internal/ubuntu/ trusty/main libxdamage1 armhf 1:1.1.4-1ubuntu1 [6920 B] Get:71 http://ftpmaster.internal/ubuntu/ trusty/main libxi6 armhf 2:1.7.1.901-1ubuntu1 [26.8 kB] Get:72 http://ftpmaster.internal/ubuntu/ trusty/main libxinerama1 armhf 2:1.1.3-1 [7278 B] Get:73 http://ftpmaster.internal/ubuntu/ trusty/main libxrandr2 armhf 2:1.4.2-1 [13.8 kB] Get:74 http://ftpmaster.internal/ubuntu/ trusty/main shared-mime-info armhf 1.2-0ubuntu1 [411 kB] Get:75 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-0 armhf 2.24.22-1ubuntu2 [1475 kB] Get:76 http://ftpmaster.internal/ubuntu/ trusty/main libglade2-0 armhf 1:2.6.4-2 [40.4 kB] Get:77 http://ftpmaster.internal/ubuntu/ trusty/main libltdl7 armhf 2.4.2-1.7ubuntu1 [31.9 kB] Get:78 http://ftpmaster.internal/ubuntu/ trusty/main libtdb1 armhf 1.2.12-1 [31.8 kB] Get:79 http://ftpmaster.internal/ubuntu/ trusty/main libogg0 armhf 1.3.1-1ubuntu1 [14.4 kB] Get:80 http://ftpmaster.internal/ubuntu/ trusty/main libvorbis0a armhf 1.3.2-1.3ubuntu1 [77.4 kB] Get:81 http://ftpmaster.internal/ubuntu/ trusty/main libvorbisfile3 armhf 1.3.2-1.3ubuntu1 [14.8 kB] Get:82 http://ftpmaster.internal/ubuntu/ trusty/main sound-theme-freedesktop all 0.8-1 [385 kB] Get:83 http://ftpmaster.internal/ubuntu/ trusty/main libcanberra0 armhf 0.30-0ubuntu2 [35.3 kB] Get:84 http://ftpmaster.internal/ubuntu/ trusty/main libapparmor1 armhf 2.8.0-0ubuntu38 [34.4 kB] Get:85 http://ftpmaster.internal/ubuntu/ trusty/main netbase all 5.2 [12.9 kB] Get:86 http://ftpmaster.internal/ubuntu/ trusty/main dbus armhf 1.6.18-0ubuntu3 [184 kB] Get:87 http://ftpmaster.internal/ubuntu/ trusty/main psmisc armhf 22.20-1ubuntu2 [50.3 kB] Get:88 http://ftpmaster.internal/ubuntu/ trusty/main dbus-x11 armhf 1.6.18-0ubuntu3 [18.0 kB] Get:89 http://ftpmaster.internal/ubuntu/ trusty/main libpython2.7-minimal armhf 2.7.6-5 [306 kB] Get:90 http://ftpmaster.internal/ubuntu/ trusty/main python2.7-minimal armhf 2.7.6-5 [1046 kB] Get:91 http://ftpmaster.internal/ubuntu/ trusty/main mime-support all 3.54ubuntu1 [31.7 kB] Get:92 http://ftpmaster.internal/ubuntu/ trusty/main libpython2.7-stdlib armhf 2.7.6-5 [1821 kB] Get:93 http://ftpmaster.internal/ubuntu/ trusty/main python2.7 armhf 2.7.6-5 [193 kB] Get:94 http://ftpmaster.internal/ubuntu/ trusty/main python-minimal armhf 2.7.5-5ubuntu3 [27.4 kB] Get:95 http://ftpmaster.internal/ubuntu/ trusty/main libpython-stdlib armhf 2.7.5-5ubuntu3 [6984 B] Get:96 http://ftpmaster.internal/ubuntu/ trusty/main python armhf 2.7.5-5ubuntu3 [134 kB] Get:97 http://ftpmaster.internal/ubuntu/ trusty/main gconf2 armhf 3.2.6-0ubuntu1 [62.6 kB] Get:98 http://ftpmaster.internal/ubuntu/ trusty/main libgnomevfs2-common armhf 1:2.24.4-1ubuntu6 [22.8 kB] Get:99 http://ftpmaster.internal/ubuntu/ trusty/main libgnomevfs2-0 armhf 1:2.24.4-1ubuntu6 [172 kB] Get:100 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-common all 2.32.1-4ubuntu1 [33.3 kB] Get:101 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-bin armhf 2.32.1-4ubuntu1 [14.8 kB] Get:102 http://ftpmaster.internal/ubuntu/ trusty/main libgnome2-0 armhf 2.32.1-4ubuntu1 [36.0 kB] Get:103 http://ftpmaster.internal/ubuntu/ trusty/main libgail18 armhf 2.24.22-1ubuntu2 [12.2 kB] Get:104 http://ftpmaster.internal/ubuntu/ trusty/main libgnomecanvas2-common all 2.30.3-2 [9080 B] Get:105 http://ftpmaster.internal/ubuntu/ trusty/main libgnomecanvas2-0 armhf 2.30.3-2 [70.0 kB] Get:106 http://ftpmaster.internal/ubuntu/ trusty/main libbonoboui2-common all 2.24.5-0ubuntu3 [11.4 kB] Get:107 http://ftpmaster.internal/ubuntu/ trusty/main libbonoboui2-0 armhf 2.24.5-0ubuntu3 [124 kB] Get:108 http://ftpmaster.internal/ubuntu/ trusty/main libcairo-gobject2 armhf 1.13.0~20140204-0ubuntu1 [16.2 kB] Get:109 http://ftpmaster.internal/ubuntu/ trusty/main liblzo2-2 armhf 2.06-1.2ubuntu1 [41.1 kB] Get:110 http://ftpmaster.internal/ubuntu/ trusty/main libcairo-script-interpreter2 armhf 1.13.0~20140204-0ubuntu1 [42.7 kB] Get:111 http://ftpmaster.internal/ubuntu/ trusty/main libcroco3 armhf 0.6.8-2ubuntu1 [69.1 kB] Get:112 http://ftpmaster.internal/ubuntu/ trusty/main libelfg0 armhf 0.8.13-5 [33.1 kB] Get:113 http://ftpmaster.internal/ubuntu/ trusty/main libaspell15 armhf 0.60.7~20110707-1ubuntu1 [285 kB] Get:114 http://ftpmaster.internal/ubuntu/ trusty/main libtext-iconv-perl armhf 1.7-5build2 [14.5 kB] Get:115 http://ftpmaster.internal/ubuntu/ trusty/main dictionaries-common all 1.20.5 [232 kB] Get:116 http://ftpmaster.internal/ubuntu/ trusty/main aspell armhf 0.60.7~20110707-1ubuntu1 [70.7 kB] Get:117 http://ftpmaster.internal/ubuntu/ trusty/main aspell-en all 7.1-0-1 [267 kB] Get:118 http://ftpmaster.internal/ubuntu/ trusty/main libhunspell-1.3-0 armhf 1.3.2-6ubuntu2 [94.8 kB] Get:119 http://ftpmaster.internal/ubuntu/ trusty/main libenchant1c2a armhf 1.6.0-10ubuntu1 [54.5 kB] Get:120 http://ftpmaster.internal/ubuntu/ trusty/main libgmpxx4ldbl armhf 2:5.1.3+dfsg-1ubuntu1 [8058 B] Get:121 http://ftpmaster.internal/ubuntu/ trusty/main libgnome-keyring-common all 3.8.0-2 [5536 B] Get:122 http://ftpmaster.internal/ubuntu/ trusty/main libgnome-keyring0 armhf 3.8.0-2 [47.4 kB] Get:123 http://ftpmaster.internal/ubuntu/ trusty/main x11-common all 1:7.7+1ubuntu8 [49.8 kB] Get:124 http://ftpmaster.internal/ubuntu/ trusty/main libice6 armhf 2:1.0.8-2 [38.2 kB] Get:125 http://ftpmaster.internal/ubuntu/ trusty/main libsm6 armhf 2:1.2.1-2 [15.4 kB] Get:126 http://ftpmaster.internal/ubuntu/ trusty/main libgnomeui-common all 2.24.5-3 [16.5 kB] Get:127 http://ftpmaster.internal/ubuntu/ trusty/main libgnomeui-0 armhf 2.24.5-3 [174 kB] Get:128 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-gobject0 armhf 0.9.26-4 [9400 B] Get:129 http://ftpmaster.internal/ubuntu/ trusty/main libicu52 armhf 52.1-3 [6535 kB] Get:130 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-icu0 armhf 0.9.26-4 [4684 B] Get:131 http://ftpmaster.internal/ubuntu/ trusty/main libmpdec2 armhf 2.4.0-6 [66.8 kB] Get:132 http://ftpmaster.internal/ubuntu/ trusty/main libxft2 armhf 2.3.1-2 [30.6 kB] Get:133 http://ftpmaster.internal/ubuntu/ trusty/main libpangoxft-1.0-0 armhf 1.36.1-0ubuntu1 [12.1 kB] Get:134 http://ftpmaster.internal/ubuntu/ trusty/main libpcrecpp0 armhf 1:8.31-2ubuntu2 [12.6 kB] Get:135 http://ftpmaster.internal/ubuntu/ trusty/main libppl12 armhf 1:1.0-7ubuntu2 [385 kB] Get:136 http://ftpmaster.internal/ubuntu/ trusty/main libppl-c4 armhf 1:1.0-7ubuntu2 [597 kB] Get:137 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.4-minimal armhf 3.4~rc1-1build1 [438 kB] Get:138 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.4-stdlib armhf 3.4~rc1-1build1 [1957 kB] Get:139 http://ftpmaster.internal/ubuntu/ trusty/main librsvg2-2 armhf 2.40.1-0ubuntu1 [73.3 kB] Get:140 http://ftpmaster.internal/ubuntu/ trusty/main libsigsegv2 armhf 2.10-2 [14.0 kB] Get:141 http://ftpmaster.internal/ubuntu/ trusty/main libunistring0 armhf 0.9.3-5ubuntu3 [251 kB] Get:142 http://ftpmaster.internal/ubuntu/ trusty/main python3.4-minimal armhf 3.4~rc1-1build1 [1060 kB] Get:143 http://ftpmaster.internal/ubuntu/ trusty/main python3.4 armhf 3.4~rc1-1build1 [159 kB] Get:144 http://ftpmaster.internal/ubuntu/ trusty/main python3-minimal armhf 3.4~rc1-1 [23.3 kB] Get:145 http://ftpmaster.internal/ubuntu/ trusty/main libpython3-stdlib armhf 3.4~rc1-1 [6954 B] Get:146 http://ftpmaster.internal/ubuntu/ trusty/main python3 armhf 3.4~rc1-1 [8642 B] Get:147 http://ftpmaster.internal/ubuntu/ trusty/main dh-python all 1.20140128-1ubuntu2 [51.0 kB] Get:148 http://ftpmaster.internal/ubuntu/ trusty/main file armhf 1:5.14-2ubuntu1 [18.5 kB] Get:149 http://ftpmaster.internal/ubuntu/ trusty/main gettext-base armhf 0.18.3.1-1ubuntu2 [45.9 kB] Get:150 http://ftpmaster.internal/ubuntu/ trusty/main libgirepository-1.0-1 armhf 1.39.3-0ubuntu2 [74.3 kB] Get:151 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-glib-2.0 armhf 1.39.3-0ubuntu2 [123 kB] Get:152 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-data all 2.39.4-0ubuntu1 [114 kB] Get:153 http://ftpmaster.internal/ubuntu/ trusty/main m4 armhf 1.4.17-2ubuntu1 [178 kB] Get:154 http://ftpmaster.internal/ubuntu/ trusty/main autoconf all 2.69-4 [320 kB] Get:155 http://ftpmaster.internal/ubuntu/ trusty/main autotools-dev all 20130810.1 [44.3 kB] Get:156 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-base-nox armhf 4.01.0-3ubuntu3 [423 kB] Get:157 http://ftpmaster.internal/ubuntu/ trusty/main libtinfo-dev armhf 5.9+20131221-1ubuntu1 [65.4 kB] Get:158 http://ftpmaster.internal/ubuntu/ trusty/main libncurses5-dev armhf 5.9+20131221-1ubuntu1 [152 kB] Get:159 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-compiler-libs armhf 4.01.0-3ubuntu3 [1455 kB] Get:160 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-interp armhf 4.01.0-3ubuntu3 [226 kB] Get:161 http://ftpmaster.internal/ubuntu/ trusty/main ocaml-nox armhf 4.01.0-3ubuntu3 [3181 kB] Get:162 http://ftpmaster.internal/ubuntu/ trusty/universe camlidl armhf 1.05-14build1 [91.1 kB] Get:163 http://ftpmaster.internal/ubuntu/ trusty/main camlp4 armhf 4.01.0-3ubuntu3 [8694 kB] Get:164 http://ftpmaster.internal/ubuntu/ trusty/universe coq-theories all 8.4pl3dfsg-1 [32.0 MB] Get:165 http://ftpmaster.internal/ubuntu/ trusty/main emacsen-common all 2.0.7 [17.1 kB] Get:166 http://ftpmaster.internal/ubuntu/ trusty/main libgtkspell0 armhf 2.0.16-1ubuntu7 [9604 B] Get:167 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtk2-ocaml armhf 2.16.0+dfsg-1 [692 kB] Get:168 http://ftpmaster.internal/ubuntu/ trusty/universe libcoq-ocaml armhf 8.4pl3dfsg-1 [1528 kB] Get:169 http://ftpmaster.internal/ubuntu/ trusty/universe coq armhf 8.4pl3dfsg-1 [3894 kB] Get:170 http://ftpmaster.internal/ubuntu/ trusty/main gettext armhf 0.18.3.1-1ubuntu2 [778 kB] Get:171 http://ftpmaster.internal/ubuntu/ trusty/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:172 http://ftpmaster.internal/ubuntu/ trusty/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:173 http://ftpmaster.internal/ubuntu/ trusty/main apparmor-easyprof all 2.8.0-0ubuntu38 [20.1 kB] Get:174 http://ftpmaster.internal/ubuntu/ trusty/main dh-apparmor all 2.8.0-0ubuntu38 [7286 B] Get:175 http://ftpmaster.internal/ubuntu/ trusty/main debhelper all 9.20131127ubuntu2 [603 kB] Get:176 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-atk-1.0 armhf 2.10.0-2ubuntu2 [16.2 kB] Get:177 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-freedesktop armhf 1.39.3-0ubuntu2 [5632 B] Get:178 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gdkpixbuf-2.0 armhf 2.30.4-0ubuntu1 [7954 B] Get:179 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-pango-1.0 armhf 1.36.1-0ubuntu1 [18.7 kB] Get:180 http://ftpmaster.internal/ubuntu/ trusty/main gir1.2-gtk-2.0 armhf 2.24.22-1ubuntu2 [172 kB] Get:181 http://ftpmaster.internal/ubuntu/ trusty/universe libapron armhf 0.9.10-5.2ubuntu6 [448 kB] Get:182 http://ftpmaster.internal/ubuntu/ trusty/main libgmp-dev armhf 2:5.1.3+dfsg-1ubuntu1 [256 kB] Get:183 http://ftpmaster.internal/ubuntu/ trusty/main libgmp3-dev armhf 2:5.1.3+dfsg-1ubuntu1 [1868 B] Get:184 http://ftpmaster.internal/ubuntu/ trusty/main libmpfr-dev armhf 3.1.2-1 [232 kB] Get:185 http://ftpmaster.internal/ubuntu/ trusty/main libppl0.12-dev armhf 1:1.0-7ubuntu2 [1470 kB] Get:186 http://ftpmaster.internal/ubuntu/ trusty/universe libapron-dev all 0.9.10-5.2ubuntu6 [130 kB] Get:187 http://ftpmaster.internal/ubuntu/ trusty/universe libapron-ocaml armhf 0.9.10-5.2ubuntu6 [44.6 kB] Get:188 http://ftpmaster.internal/ubuntu/ trusty/universe libapron-ocaml-dev armhf 0.9.10-5.2ubuntu6 [1268 kB] Get:189 http://ftpmaster.internal/ubuntu/ trusty/main pkg-config armhf 0.26-1ubuntu4 [38.0 kB] Get:190 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-bin armhf 2.39.4-0ubuntu1 [37.9 kB] Get:191 http://ftpmaster.internal/ubuntu/ trusty/main libpcre3-dev armhf 1:8.31-2ubuntu2 [229 kB] Get:192 http://ftpmaster.internal/ubuntu/ trusty/main zlib1g-dev armhf 1:1.2.8.dfsg-1ubuntu1 [176 kB] Get:193 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-dev armhf 2.39.4-0ubuntu1 [1214 kB] Get:194 http://ftpmaster.internal/ubuntu/ trusty/main libatk1.0-dev armhf 2.10.0-2ubuntu2 [68.1 kB] Get:195 http://ftpmaster.internal/ubuntu/ trusty/main libexpat1-dev armhf 2.1.0-4ubuntu1 [103 kB] Get:196 http://ftpmaster.internal/ubuntu/ trusty/main libpng12-dev armhf 1.2.50-1ubuntu1 [198 kB] Get:197 http://ftpmaster.internal/ubuntu/ trusty/main libfreetype6-dev armhf 2.5.2-1ubuntu1 [572 kB] Get:198 http://ftpmaster.internal/ubuntu/ trusty/main libfontconfig1-dev armhf 2.11.0-0ubuntu4 [649 kB] Get:199 http://ftpmaster.internal/ubuntu/ trusty/main xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:200 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-core-dev all 7.0.24-1 [748 kB] Get:201 http://ftpmaster.internal/ubuntu/ trusty/main libxau-dev armhf 1:1.0.8-1 [9438 B] Get:202 http://ftpmaster.internal/ubuntu/ trusty/main libxdmcp-dev armhf 1:1.1.1-1 [25.3 kB] Get:203 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-input-dev all 2.3-1 [139 kB] Get:204 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-kb-dev all 1.0.6-2 [269 kB] Get:205 http://ftpmaster.internal/ubuntu/ trusty/main xtrans-dev all 1.3.2-1 [69.9 kB] Get:206 http://ftpmaster.internal/ubuntu/ trusty/main libpthread-stubs0-dev armhf 0.3-4 [4084 B] Get:207 http://ftpmaster.internal/ubuntu/ trusty/main libxcb1-dev armhf 1.10-2ubuntu1 [72.5 kB] Get:208 http://ftpmaster.internal/ubuntu/ trusty/main libx11-dev armhf 2:1.6.2-1ubuntu2 [575 kB] Get:209 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-render-dev all 2:0.11.1-2 [20.1 kB] Get:210 http://ftpmaster.internal/ubuntu/ trusty/main libxrender-dev armhf 1:0.9.8-1 [23.9 kB] Get:211 http://ftpmaster.internal/ubuntu/ trusty/main libice-dev armhf 2:1.0.8-2 [47.8 kB] Get:212 http://ftpmaster.internal/ubuntu/ trusty/main libsm-dev armhf 2:1.2.1-2 [16.4 kB] Get:213 http://ftpmaster.internal/ubuntu/ trusty/main libpixman-1-dev armhf 0.30.2-2ubuntu1 [175 kB] Get:214 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-render0-dev armhf 1.10-2ubuntu1 [16.2 kB] Get:215 http://ftpmaster.internal/ubuntu/ trusty/main libxcb-shm0-dev armhf 1.10-2ubuntu1 [6868 B] Get:216 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-xext-dev all 7.3.0-1 [212 kB] Get:217 http://ftpmaster.internal/ubuntu/ trusty/main libxext-dev armhf 2:1.3.2-1 [84.4 kB] Get:218 http://ftpmaster.internal/ubuntu/ trusty/main libcairo2-dev armhf 1.13.0~20140204-0ubuntu1 [500 kB] Get:219 http://ftpmaster.internal/ubuntu/ trusty/main libenchant-dev armhf 1.6.0-10ubuntu1 [46.5 kB] Get:220 http://ftpmaster.internal/ubuntu/ trusty/universe libfloat-coq all 1:8.4-3 [11.4 MB] Get:221 http://ftpmaster.internal/ubuntu/ trusty/main libgdk-pixbuf2.0-dev armhf 2.30.4-0ubuntu1 [42.4 kB] Get:222 http://ftpmaster.internal/ubuntu/ trusty/main libxft-dev armhf 2.3.1-2 [40.5 kB] Get:223 http://ftpmaster.internal/ubuntu/ trusty/main libharfbuzz-dev armhf 0.9.26-4 [28.9 kB] Get:224 http://ftpmaster.internal/ubuntu/ trusty/main libpango1.0-dev armhf 1.36.1-0ubuntu1 [258 kB] Get:225 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-xinerama-dev all 1.2.1-2 [4966 B] Get:226 http://ftpmaster.internal/ubuntu/ trusty/main libxinerama-dev armhf 2:1.1.3-1 [7988 B] Get:227 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-fixes-dev all 1:5.0-2ubuntu2 [14.2 kB] Get:228 http://ftpmaster.internal/ubuntu/ trusty/main libxfixes-dev armhf 1:5.0.1-1ubuntu1 [10.8 kB] Get:229 http://ftpmaster.internal/ubuntu/ trusty/main libxi-dev armhf 2:1.7.1.901-1ubuntu1 [196 kB] Get:230 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-randr-dev all 1.4.0+git20120101.is.really.1.4.0-0ubuntu1 [32.9 kB] Get:231 http://ftpmaster.internal/ubuntu/ trusty/main libxrandr-dev armhf 2:1.4.2-1 [19.9 kB] Get:232 http://ftpmaster.internal/ubuntu/ trusty/main libxcursor-dev armhf 1:1.1.14-1 [26.1 kB] Get:233 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-composite-dev all 1:0.4.2-2 [10.5 kB] Get:234 http://ftpmaster.internal/ubuntu/ trusty/main libxcomposite-dev armhf 1:0.4.4-1 [9562 B] Get:235 http://ftpmaster.internal/ubuntu/ trusty/main x11proto-damage-dev all 1:1.2.1-2 [8286 B] Get:236 http://ftpmaster.internal/ubuntu/ trusty/main libxdamage-dev armhf 1:1.1.4-1ubuntu1 [4966 B] Get:237 http://ftpmaster.internal/ubuntu/ trusty/main libxml2-utils armhf 2.9.1+dfsg1-3ubuntu3 [33.6 kB] Get:238 http://ftpmaster.internal/ubuntu/ trusty/main libgtk2.0-dev armhf 2.24.22-1ubuntu2 [2375 kB] Get:239 http://ftpmaster.internal/ubuntu/ trusty/main libxml2-dev armhf 2.9.1+dfsg1-3ubuntu3 [561 kB] Get:240 http://ftpmaster.internal/ubuntu/ trusty/main libglade2-dev armhf 1:2.6.4-2 [69.9 kB] Get:241 http://ftpmaster.internal/ubuntu/ trusty/universe libgtksourceview2.0-common all 2.10.5-1ubuntu2 [434 kB] Get:242 http://ftpmaster.internal/ubuntu/ trusty/universe libgtksourceview2.0-0 armhf 2.10.5-1ubuntu2 [121 kB] Get:243 http://ftpmaster.internal/ubuntu/ trusty/main libgtkspell-dev armhf 2.0.16-1ubuntu7 [22.2 kB] Get:244 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtk2-gnome-ocaml armhf 2.16.0+dfsg-1 [63.9 kB] Get:245 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtk2-ocaml-dev armhf 2.16.0+dfsg-1 [1306 kB] Get:246 http://ftpmaster.internal/ubuntu/ trusty/universe liblablgtksourceview2-ocaml armhf 2.16.0+dfsg-1 [88.7 kB] Get:247 http://ftpmaster.internal/ubuntu/ trusty/universe libocamlgraph-ocaml-dev armhf 1.8.3-1build1 [1082 kB] Get:248 http://ftpmaster.internal/ubuntu/ trusty/universe libzarith-ocaml armhf 1.2.1-2build1 [25.2 kB] Get:249 http://ftpmaster.internal/ubuntu/ trusty/universe ocaml-native-compilers armhf 4.01.0-3ubuntu3 [2197 kB] Get:250 http://ftpmaster.internal/ubuntu/ trusty/main dh-ocaml all 1.0.8 [80.5 kB] Get:251 http://ftpmaster.internal/ubuntu/ trusty/universe frama-c-base armhf 20130601+fluorine3+dfsg-2build1 [21.8 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 138 MB in 20s (6700 kB/s) Selecting previously unselected package libexpat1:armhf. (Reading database ... 11278 files and directories currently installed.) Preparing to unpack .../libexpat1_2.1.0-4ubuntu1_armhf.deb ... Unpacking libexpat1:armhf (2.1.0-4ubuntu1) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../libmagic1_1%3a5.14-2ubuntu1_armhf.deb ... Unpacking libmagic1:armhf (1:5.14-2ubuntu1) ... Selecting previously unselected package libpopt0:armhf. Preparing to unpack .../libpopt0_1.16-8ubuntu1_armhf.deb ... Unpacking libpopt0:armhf (1.16-8ubuntu1) ... Selecting previously unselected package libssl1.0.0:armhf. Preparing to unpack .../libssl1.0.0_1.0.1f-1ubuntu1_armhf.deb ... Unpacking libssl1.0.0:armhf (1.0.1f-1ubuntu1) ... Selecting previously unselected package libasprintf0c2:armhf. Preparing to unpack .../libasprintf0c2_0.18.3.1-1ubuntu2_armhf.deb ... Unpacking libasprintf0c2:armhf (0.18.3.1-1ubuntu2) ... Selecting previously unselected package libglib2.0-0:armhf. Preparing to unpack .../libglib2.0-0_2.39.4-0ubuntu1_armhf.deb ... Unpacking libglib2.0-0:armhf (2.39.4-0ubuntu1) ... Selecting previously unselected package libdbus-glib-1-2:armhf. Preparing to unpack .../libdbus-glib-1-2_0.100.2-1_armhf.deb ... Unpacking libdbus-glib-1-2:armhf (0.100.2-1) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../libpipeline1_1.2.6-2_armhf.deb ... Unpacking libpipeline1:armhf (1.2.6-2) ... Selecting previously unselected package libsystemd-login0:armhf. Preparing to unpack .../libsystemd-login0_204-5ubuntu11_armhf.deb ... Unpacking libsystemd-login0:armhf (204-5ubuntu11) ... Selecting previously unselected package libxau6:armhf. Preparing to unpack .../libxau6_1%3a1.0.8-1_armhf.deb ... Unpacking libxau6:armhf (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:armhf. Preparing to unpack .../libxdmcp6_1%3a1.1.1-1_armhf.deb ... Unpacking libxdmcp6:armhf (1:1.1.1-1) ... Selecting previously unselected package libxcb1:armhf. Preparing to unpack .../libxcb1_1.10-2ubuntu1_armhf.deb ... Unpacking libxcb1:armhf (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:armhf. Preparing to unpack .../libx11-6_2%3a1.6.2-1ubuntu2_armhf.deb ... Unpacking libx11-6:armhf (2:1.6.2-1ubuntu2) ... Selecting previously unselected package libxext6:armhf. Preparing to unpack .../libxext6_2%3a1.3.2-1_armhf.deb ... Unpacking libxext6:armhf (2:1.3.2-1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../libxml2_2.9.1+dfsg1-3ubuntu3_armhf.deb ... Unpacking libxml2:armhf (2.9.1+dfsg1-3ubuntu3) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.2-5_armhf.deb ... Unpacking groff-base (1.22.2-5) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.5ubuntu1_armhf.deb ... Unpacking bsdmainutils (9.0.5ubuntu1) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.6.6-1_armhf.deb ... Unpacking man-db (2.6.6-1) ... Selecting previously unselected package libart-2.0-2:armhf. Preparing to unpack .../libart-2.0-2_2.3.21-2_armhf.deb ... Unpacking libart-2.0-2:armhf (2.3.21-2) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../libasound2-data_1.0.27.2-3ubuntu2_all.deb ... Unpacking libasound2-data (1.0.27.2-3ubuntu2) ... Selecting previously unselected package libasound2:armhf. Preparing to unpack .../libasound2_1.0.27.2-3ubuntu2_armhf.deb ... Unpacking libasound2:armhf (1.0.27.2-3ubuntu2) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../libatk1.0-data_2.10.0-2ubuntu2_all.deb ... Unpacking libatk1.0-data (2.10.0-2ubuntu2) ... Selecting previously unselected package libatk1.0-0:armhf. Preparing to unpack .../libatk1.0-0_2.10.0-2ubuntu2_armhf.deb ... Unpacking libatk1.0-0:armhf (2.10.0-2ubuntu2) ... Selecting previously unselected package libavahi-common-data:armhf. Preparing to unpack .../libavahi-common-data_0.6.31-4ubuntu1_armhf.deb ... Unpacking libavahi-common-data:armhf (0.6.31-4ubuntu1) ... Selecting previously unselected package libavahi-common3:armhf. Preparing to unpack .../libavahi-common3_0.6.31-4ubuntu1_armhf.deb ... Unpacking libavahi-common3:armhf (0.6.31-4ubuntu1) ... Selecting previously unselected package libavahi-client3:armhf. Preparing to unpack .../libavahi-client3_0.6.31-4ubuntu1_armhf.deb ... Unpacking libavahi-client3:armhf (0.6.31-4ubuntu1) ... Selecting previously unselected package libavahi-glib1:armhf. Preparing to unpack .../libavahi-glib1_0.6.31-4ubuntu1_armhf.deb ... Unpacking libavahi-glib1:armhf (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:armhf. Preparing to unpack .../libidl0_0.8.14-0.2ubuntu4_armhf.deb ... Unpacking libidl0:armhf (0.8.14-0.2ubuntu4) ... Selecting previously unselected package liborbit-2-0:armhf. Preparing to unpack .../liborbit-2-0_1%3a2.14.19-0.3_armhf.deb ... Unpacking liborbit-2-0:armhf (1:2.14.19-0.3) ... Selecting previously unselected package liborbit2:armhf. Preparing to unpack .../liborbit2_1%3a2.14.19-0.3_armhf.deb ... Unpacking liborbit2:armhf (1:2.14.19-0.3) ... Selecting previously unselected package libbonobo2-0:armhf. Preparing to unpack .../libbonobo2-0_2.32.1-0ubuntu5_armhf.deb ... Unpacking libbonobo2-0:armhf (2.32.1-0ubuntu5) ... Selecting previously unselected package ucf. Preparing to unpack .../ucf_3.0027+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0027+nmu1) ... Selecting previously unselected package gconf2-common. Preparing to unpack .../gconf2-common_3.2.6-0ubuntu1_all.deb ... Unpacking gconf2-common (3.2.6-0ubuntu1) ... Selecting previously unselected package libgconf-2-4:armhf. Preparing to unpack .../libgconf-2-4_3.2.6-0ubuntu1_armhf.deb ... Unpacking libgconf-2-4:armhf (3.2.6-0ubuntu1) ... Selecting previously unselected package gconf-service-backend. Preparing to unpack .../gconf-service-backend_3.2.6-0ubuntu1_armhf.deb ... Unpacking gconf-service-backend (3.2.6-0ubuntu1) ... Selecting previously unselected package gconf-service. Preparing to unpack .../gconf-service_3.2.6-0ubuntu1_armhf.deb ... Unpacking gconf-service (3.2.6-0ubuntu1) ... Selecting previously unselected package libjpeg-turbo8:armhf. Preparing to unpack .../libjpeg-turbo8_1.3.0-0ubuntu2_armhf.deb ... Unpacking libjpeg-turbo8:armhf (1.3.0-0ubuntu2) ... Selecting previously unselected package libjpeg8:armhf. Preparing to unpack .../libjpeg8_8c-2ubuntu8_armhf.deb ... Unpacking libjpeg8:armhf (8c-2ubuntu8) ... Selecting previously unselected package libjasper1:armhf. Preparing to unpack .../libjasper1_1.900.1-14ubuntu3_armhf.deb ... Unpacking libjasper1:armhf (1.900.1-14ubuntu3) ... Selecting previously unselected package libjbig0:armhf. Preparing to unpack .../libjbig0_2.0-2ubuntu4_armhf.deb ... Unpacking libjbig0:armhf (2.0-2ubuntu4) ... Selecting previously unselected package libtiff5:armhf. Preparing to unpack .../libtiff5_4.0.3-7_armhf.deb ... Unpacking libtiff5:armhf (4.0.3-7) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../libgdk-pixbuf2.0-common_2.30.4-0ubuntu1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.30.4-0ubuntu1) ... Selecting previously unselected package libgdk-pixbuf2.0-0:armhf. Preparing to unpack .../libgdk-pixbuf2.0-0_2.30.4-0ubuntu1_armhf.deb ... Unpacking libgdk-pixbuf2.0-0:armhf (2.30.4-0ubuntu1) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../libgtk2.0-common_2.24.22-1ubuntu2_all.deb ... Unpacking libgtk2.0-common (2.24.22-1ubuntu2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../fonts-dejavu-core_2.34-1ubuntu1_all.deb ... Unpacking fonts-dejavu-core (2.34-1ubuntu1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../fontconfig-config_2.11.0-0ubuntu4_all.deb ... Unpacking fontconfig-config (2.11.0-0ubuntu4) ... Selecting previously unselected package libfreetype6:armhf. Preparing to unpack .../libfreetype6_2.5.2-1ubuntu1_armhf.deb ... Unpacking libfreetype6:armhf (2.5.2-1ubuntu1) ... Selecting previously unselected package libfontconfig1:armhf. Preparing to unpack .../libfontconfig1_2.11.0-0ubuntu4_armhf.deb ... Unpacking libfontconfig1:armhf (2.11.0-0ubuntu4) ... Selecting previously unselected package libpixman-1-0:armhf. Preparing to unpack .../libpixman-1-0_0.30.2-2ubuntu1_armhf.deb ... Unpacking libpixman-1-0:armhf (0.30.2-2ubuntu1) ... Selecting previously unselected package libxcb-render0:armhf. Preparing to unpack .../libxcb-render0_1.10-2ubuntu1_armhf.deb ... Unpacking libxcb-render0:armhf (1.10-2ubuntu1) ... Selecting previously unselected package libxcb-shm0:armhf. Preparing to unpack .../libxcb-shm0_1.10-2ubuntu1_armhf.deb ... Unpacking libxcb-shm0:armhf (1.10-2ubuntu1) ... Selecting previously unselected package libxrender1:armhf. Preparing to unpack .../libxrender1_1%3a0.9.8-1_armhf.deb ... Unpacking libxrender1:armhf (1:0.9.8-1) ... Selecting previously unselected package libcairo2:armhf. Preparing to unpack .../libcairo2_1.13.0~20140204-0ubuntu1_armhf.deb ... Unpacking libcairo2:armhf (1.13.0~20140204-0ubuntu1) ... Selecting previously unselected package libcups2:armhf. Preparing to unpack .../libcups2_1.7.1-4ubuntu1_armhf.deb ... Unpacking libcups2:armhf (1.7.1-4ubuntu1) ... 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:armhf. Preparing to unpack .../libdatrie1_0.2.8-1_armhf.deb ... Unpacking libdatrie1:armhf (0.2.8-1) ... Selecting previously unselected package libthai0:armhf. Preparing to unpack .../libthai0_0.1.20-3_armhf.deb ... Unpacking libthai0:armhf (0.1.20-3) ... Selecting previously unselected package fontconfig. Preparing to unpack .../fontconfig_2.11.0-0ubuntu4_armhf.deb ... Unpacking fontconfig (2.11.0-0ubuntu4) ... Selecting previously unselected package libpango-1.0-0:armhf. Preparing to unpack .../libpango-1.0-0_1.36.1-0ubuntu1_armhf.deb ... Unpacking libpango-1.0-0:armhf (1.36.1-0ubuntu1) ... Selecting previously unselected package libgraphite2-3:armhf. Preparing to unpack .../libgraphite2-3_1.2.4-1ubuntu1_armhf.deb ... Unpacking libgraphite2-3:armhf (1.2.4-1ubuntu1) ... Selecting previously unselected package libharfbuzz0b:armhf. Preparing to unpack .../libharfbuzz0b_0.9.26-4_armhf.deb ... Unpacking libharfbuzz0b:armhf (0.9.26-4) ... Selecting previously unselected package libpangoft2-1.0-0:armhf. Preparing to unpack .../libpangoft2-1.0-0_1.36.1-0ubuntu1_armhf.deb ... Unpacking libpangoft2-1.0-0:armhf (1.36.1-0ubuntu1) ... Selecting previously unselected package libpangocairo-1.0-0:armhf. Preparing to unpack .../libpangocairo-1.0-0_1.36.1-0ubuntu1_armhf.deb ... Unpacking libpangocairo-1.0-0:armhf (1.36.1-0ubuntu1) ... Selecting previously unselected package libxcomposite1:armhf. Preparing to unpack .../libxcomposite1_1%3a0.4.4-1_armhf.deb ... Unpacking libxcomposite1:armhf (1:0.4.4-1) ... Selecting previously unselected package libxfixes3:armhf. Preparing to unpack .../libxfixes3_1%3a5.0.1-1ubuntu1_armhf.deb ... Unpacking libxfixes3:armhf (1:5.0.1-1ubuntu1) ... Selecting previously unselected package libxcursor1:armhf. Preparing to unpack .../libxcursor1_1%3a1.1.14-1_armhf.deb ... Unpacking libxcursor1:armhf (1:1.1.14-1) ... Selecting previously unselected package libxdamage1:armhf. Preparing to unpack .../libxdamage1_1%3a1.1.4-1ubuntu1_armhf.deb ... Unpacking libxdamage1:armhf (1:1.1.4-1ubuntu1) ... Selecting previously unselected package libxi6:armhf. Preparing to unpack .../libxi6_2%3a1.7.1.901-1ubuntu1_armhf.deb ... Unpacking libxi6:armhf (2:1.7.1.901-1ubuntu1) ... Selecting previously unselected package libxinerama1:armhf. Preparing to unpack .../libxinerama1_2%3a1.1.3-1_armhf.deb ... Unpacking libxinerama1:armhf (2:1.1.3-1) ... Selecting previously unselected package libxrandr2:armhf. Preparing to unpack .../libxrandr2_2%3a1.4.2-1_armhf.deb ... Unpacking libxrandr2:armhf (2:1.4.2-1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../shared-mime-info_1.2-0ubuntu1_armhf.deb ... Unpacking shared-mime-info (1.2-0ubuntu1) ... Selecting previously unselected package libgtk2.0-0:armhf. Preparing to unpack .../libgtk2.0-0_2.24.22-1ubuntu2_armhf.deb ... Unpacking libgtk2.0-0:armhf (2.24.22-1ubuntu2) ... Selecting previously unselected package libglade2-0:armhf. Preparing to unpack .../libglade2-0_1%3a2.6.4-2_armhf.deb ... Unpacking libglade2-0:armhf (1:2.6.4-2) ... Selecting previously unselected package libltdl7:armhf. Preparing to unpack .../libltdl7_2.4.2-1.7ubuntu1_armhf.deb ... Unpacking libltdl7:armhf (2.4.2-1.7ubuntu1) ... Selecting previously unselected package libtdb1:armhf. Preparing to unpack .../libtdb1_1.2.12-1_armhf.deb ... Unpacking libtdb1:armhf (1.2.12-1) ... Selecting previously unselected package libogg0:armhf. Preparing to unpack .../libogg0_1.3.1-1ubuntu1_armhf.deb ... Unpacking libogg0:armhf (1.3.1-1ubuntu1) ... Selecting previously unselected package libvorbis0a:armhf. Preparing to unpack .../libvorbis0a_1.3.2-1.3ubuntu1_armhf.deb ... Unpacking libvorbis0a:armhf (1.3.2-1.3ubuntu1) ... Selecting previously unselected package libvorbisfile3:armhf. Preparing to unpack .../libvorbisfile3_1.3.2-1.3ubuntu1_armhf.deb ... Unpacking libvorbisfile3:armhf (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:armhf. Preparing to unpack .../libcanberra0_0.30-0ubuntu2_armhf.deb ... Unpacking libcanberra0:armhf (0.30-0ubuntu2) ... Selecting previously unselected package libapparmor1:armhf. Preparing to unpack .../libapparmor1_2.8.0-0ubuntu38_armhf.deb ... Unpacking libapparmor1:armhf (2.8.0-0ubuntu38) ... Selecting previously unselected package netbase. Preparing to unpack .../archives/netbase_5.2_all.deb ... Unpacking netbase (5.2) ... Selecting previously unselected package dbus. Preparing to unpack .../dbus_1.6.18-0ubuntu3_armhf.deb ... Unpacking dbus (1.6.18-0ubuntu3) ... Selecting previously unselected package psmisc. Preparing to unpack .../psmisc_22.20-1ubuntu2_armhf.deb ... Unpacking psmisc (22.20-1ubuntu2) ... Selecting previously unselected package dbus-x11. Preparing to unpack .../dbus-x11_1.6.18-0ubuntu3_armhf.deb ... Unpacking dbus-x11 (1.6.18-0ubuntu3) ... Selecting previously unselected package libpython2.7-minimal:armhf. Preparing to unpack .../libpython2.7-minimal_2.7.6-5_armhf.deb ... Unpacking libpython2.7-minimal:armhf (2.7.6-5) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../python2.7-minimal_2.7.6-5_armhf.deb ... Unpacking python2.7-minimal (2.7.6-5) ... 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:armhf. Preparing to unpack .../libpython2.7-stdlib_2.7.6-5_armhf.deb ... Unpacking libpython2.7-stdlib:armhf (2.7.6-5) ... Selecting previously unselected package python2.7. Preparing to unpack .../python2.7_2.7.6-5_armhf.deb ... Unpacking python2.7 (2.7.6-5) ... Selecting previously unselected package python-minimal. Preparing to unpack .../python-minimal_2.7.5-5ubuntu3_armhf.deb ... Unpacking python-minimal (2.7.5-5ubuntu3) ... Selecting previously unselected package libpython-stdlib:armhf. Preparing to unpack .../libpython-stdlib_2.7.5-5ubuntu3_armhf.deb ... Unpacking libpython-stdlib:armhf (2.7.5-5ubuntu3) ... Selecting previously unselected package python. Preparing to unpack .../python_2.7.5-5ubuntu3_armhf.deb ... Unpacking python (2.7.5-5ubuntu3) ... Selecting previously unselected package gconf2. Preparing to unpack .../gconf2_3.2.6-0ubuntu1_armhf.deb ... Unpacking gconf2 (3.2.6-0ubuntu1) ... Selecting previously unselected package libgnomevfs2-common. Preparing to unpack .../libgnomevfs2-common_1%3a2.24.4-1ubuntu6_armhf.deb ... Unpacking libgnomevfs2-common (1:2.24.4-1ubuntu6) ... Selecting previously unselected package libgnomevfs2-0:armhf. Preparing to unpack .../libgnomevfs2-0_1%3a2.24.4-1ubuntu6_armhf.deb ... Unpacking libgnomevfs2-0:armhf (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_armhf.deb ... Unpacking libgnome2-bin (2.32.1-4ubuntu1) ... Selecting previously unselected package libgnome2-0:armhf. Preparing to unpack .../libgnome2-0_2.32.1-4ubuntu1_armhf.deb ... Unpacking libgnome2-0:armhf (2.32.1-4ubuntu1) ... Selecting previously unselected package libgail18:armhf. Preparing to unpack .../libgail18_2.24.22-1ubuntu2_armhf.deb ... Unpacking libgail18:armhf (2.24.22-1ubuntu2) ... Selecting previously unselected package libgnomecanvas2-common. Preparing to unpack .../libgnomecanvas2-common_2.30.3-2_all.deb ... Unpacking libgnomecanvas2-common (2.30.3-2) ... Selecting previously unselected package libgnomecanvas2-0:armhf. Preparing to unpack .../libgnomecanvas2-0_2.30.3-2_armhf.deb ... Unpacking libgnomecanvas2-0:armhf (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:armhf. Preparing to unpack .../libbonoboui2-0_2.24.5-0ubuntu3_armhf.deb ... Unpacking libbonoboui2-0:armhf (2.24.5-0ubuntu3) ... Selecting previously unselected package libcairo-gobject2:armhf. Preparing to unpack .../libcairo-gobject2_1.13.0~20140204-0ubuntu1_armhf.deb ... Unpacking libcairo-gobject2:armhf (1.13.0~20140204-0ubuntu1) ... Selecting previously unselected package liblzo2-2:armhf. Preparing to unpack .../liblzo2-2_2.06-1.2ubuntu1_armhf.deb ... Unpacking liblzo2-2:armhf (2.06-1.2ubuntu1) ... Selecting previously unselected package libcairo-script-interpreter2:armhf. Preparing to unpack .../libcairo-script-interpreter2_1.13.0~20140204-0ubuntu1_armhf.deb ... Unpacking libcairo-script-interpreter2:armhf (1.13.0~20140204-0ubuntu1) ... Selecting previously unselected package libcroco3:armhf. Preparing to unpack .../libcroco3_0.6.8-2ubuntu1_armhf.deb ... Unpacking libcroco3:armhf (0.6.8-2ubuntu1) ... Selecting previously unselected package libelfg0:armhf. Preparing to unpack .../libelfg0_0.8.13-5_armhf.deb ... Unpacking libelfg0:armhf (0.8.13-5) ... Selecting previously unselected package libaspell15. Preparing to unpack .../libaspell15_0.60.7~20110707-1ubuntu1_armhf.deb ... Unpacking libaspell15 (0.60.7~20110707-1ubuntu1) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../libtext-iconv-perl_1.7-5build2_armhf.deb ... Unpacking libtext-iconv-perl (1.7-5build2) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../dictionaries-common_1.20.5_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.20.5) ... Selecting previously unselected package aspell. Preparing to unpack .../aspell_0.60.7~20110707-1ubuntu1_armhf.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:armhf. Preparing to unpack .../libhunspell-1.3-0_1.3.2-6ubuntu2_armhf.deb ... Unpacking libhunspell-1.3-0:armhf (1.3.2-6ubuntu2) ... Selecting previously unselected package libenchant1c2a:armhf. Preparing to unpack .../libenchant1c2a_1.6.0-10ubuntu1_armhf.deb ... Unpacking libenchant1c2a:armhf (1.6.0-10ubuntu1) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Preparing to unpack .../libgmpxx4ldbl_2%3a5.1.3+dfsg-1ubuntu1_armhf.deb ... Unpacking libgmpxx4ldbl:armhf (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:armhf. Preparing to unpack .../libgnome-keyring0_3.8.0-2_armhf.deb ... Unpacking libgnome-keyring0:armhf (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:armhf. Preparing to unpack .../libice6_2%3a1.0.8-2_armhf.deb ... Unpacking libice6:armhf (2:1.0.8-2) ... Selecting previously unselected package libsm6:armhf. Preparing to unpack .../libsm6_2%3a1.2.1-2_armhf.deb ... Unpacking libsm6:armhf (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:armhf. Preparing to unpack .../libgnomeui-0_2.24.5-3_armhf.deb ... Unpacking libgnomeui-0:armhf (2.24.5-3) ... Selecting previously unselected package libharfbuzz-gobject0:armhf. Preparing to unpack .../libharfbuzz-gobject0_0.9.26-4_armhf.deb ... Unpacking libharfbuzz-gobject0:armhf (0.9.26-4) ... Selecting previously unselected package libicu52:armhf. Preparing to unpack .../libicu52_52.1-3_armhf.deb ... Unpacking libicu52:armhf (52.1-3) ... Selecting previously unselected package libharfbuzz-icu0:armhf. Preparing to unpack .../libharfbuzz-icu0_0.9.26-4_armhf.deb ... Unpacking libharfbuzz-icu0:armhf (0.9.26-4) ... Selecting previously unselected package libmpdec2:armhf. Preparing to unpack .../libmpdec2_2.4.0-6_armhf.deb ... Unpacking libmpdec2:armhf (2.4.0-6) ... Selecting previously unselected package libxft2:armhf. Preparing to unpack .../libxft2_2.3.1-2_armhf.deb ... Unpacking libxft2:armhf (2.3.1-2) ... Selecting previously unselected package libpangoxft-1.0-0:armhf. Preparing to unpack .../libpangoxft-1.0-0_1.36.1-0ubuntu1_armhf.deb ... Unpacking libpangoxft-1.0-0:armhf (1.36.1-0ubuntu1) ... Selecting previously unselected package libpcrecpp0:armhf. Preparing to unpack .../libpcrecpp0_1%3a8.31-2ubuntu2_armhf.deb ... Unpacking libpcrecpp0:armhf (1:8.31-2ubuntu2) ... Selecting previously unselected package libppl12:armhf. Preparing to unpack .../libppl12_1%3a1.0-7ubuntu2_armhf.deb ... Unpacking libppl12:armhf (1:1.0-7ubuntu2) ... Selecting previously unselected package libppl-c4:armhf. Preparing to unpack .../libppl-c4_1%3a1.0-7ubuntu2_armhf.deb ... Unpacking libppl-c4:armhf (1:1.0-7ubuntu2) ... Selecting previously unselected package libpython3.4-minimal:armhf. Preparing to unpack .../libpython3.4-minimal_3.4~rc1-1build1_armhf.deb ... Unpacking libpython3.4-minimal:armhf (3.4~rc1-1build1) ... Selecting previously unselected package libpython3.4-stdlib:armhf. Preparing to unpack .../libpython3.4-stdlib_3.4~rc1-1build1_armhf.deb ... Unpacking libpython3.4-stdlib:armhf (3.4~rc1-1build1) ... Selecting previously unselected package librsvg2-2:armhf. Preparing to unpack .../librsvg2-2_2.40.1-0ubuntu1_armhf.deb ... Unpacking librsvg2-2:armhf (2.40.1-0ubuntu1) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../libsigsegv2_2.10-2_armhf.deb ... Unpacking libsigsegv2:armhf (2.10-2) ... Selecting previously unselected package libunistring0:armhf. Preparing to unpack .../libunistring0_0.9.3-5ubuntu3_armhf.deb ... Unpacking libunistring0:armhf (0.9.3-5ubuntu3) ... Selecting previously unselected package python3.4-minimal. Preparing to unpack .../python3.4-minimal_3.4~rc1-1build1_armhf.deb ... Unpacking python3.4-minimal (3.4~rc1-1build1) ... Selecting previously unselected package python3.4. Preparing to unpack .../python3.4_3.4~rc1-1build1_armhf.deb ... Unpacking python3.4 (3.4~rc1-1build1) ... Selecting previously unselected package python3-minimal. Preparing to unpack .../python3-minimal_3.4~rc1-1_armhf.deb ... Unpacking python3-minimal (3.4~rc1-1) ... Selecting previously unselected package libpython3-stdlib:armhf. Preparing to unpack .../libpython3-stdlib_3.4~rc1-1_armhf.deb ... Unpacking libpython3-stdlib:armhf (3.4~rc1-1) ... Selecting previously unselected package python3. Preparing to unpack .../python3_3.4~rc1-1_armhf.deb ... Unpacking python3 (3.4~rc1-1) ... Selecting previously unselected package dh-python. Preparing to unpack .../dh-python_1.20140128-1ubuntu2_all.deb ... Unpacking dh-python (1.20140128-1ubuntu2) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.14-2ubuntu1_armhf.deb ... Unpacking file (1:5.14-2ubuntu1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../gettext-base_0.18.3.1-1ubuntu2_armhf.deb ... Unpacking gettext-base (0.18.3.1-1ubuntu2) ... Selecting previously unselected package libgirepository-1.0-1. Preparing to unpack .../libgirepository-1.0-1_1.39.3-0ubuntu2_armhf.deb ... Unpacking libgirepository-1.0-1 (1.39.3-0ubuntu2) ... Selecting previously unselected package gir1.2-glib-2.0. Preparing to unpack .../gir1.2-glib-2.0_1.39.3-0ubuntu2_armhf.deb ... Unpacking gir1.2-glib-2.0 (1.39.3-0ubuntu2) ... Selecting previously unselected package libglib2.0-data. Preparing to unpack .../libglib2.0-data_2.39.4-0ubuntu1_all.deb ... Unpacking libglib2.0-data (2.39.4-0ubuntu1) ... Selecting previously unselected package m4. Preparing to unpack .../m4_1.4.17-2ubuntu1_armhf.deb ... Unpacking m4 (1.4.17-2ubuntu1) ... Selecting previously unselected package autoconf. Preparing to unpack .../autoconf_2.69-4_all.deb ... Unpacking autoconf (2.69-4) ... 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_armhf.deb ... Unpacking ocaml-base-nox (4.01.0-3ubuntu3) ... Selecting previously unselected package libtinfo-dev:armhf. Preparing to unpack .../libtinfo-dev_5.9+20131221-1ubuntu1_armhf.deb ... Unpacking libtinfo-dev:armhf (5.9+20131221-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:armhf. Preparing to unpack .../libncurses5-dev_5.9+20131221-1ubuntu1_armhf.deb ... Unpacking libncurses5-dev:armhf (5.9+20131221-1ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../ocaml-compiler-libs_4.01.0-3ubuntu3_armhf.deb ... Unpacking ocaml-compiler-libs (4.01.0-3ubuntu3) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../ocaml-interp_4.01.0-3ubuntu3_armhf.deb ... Unpacking ocaml-interp (4.01.0-3ubuntu3) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../ocaml-nox_4.01.0-3ubuntu3_armhf.deb ... Unpacking ocaml-nox (4.01.0-3ubuntu3) ... Selecting previously unselected package camlidl. Preparing to unpack .../camlidl_1.05-14build1_armhf.deb ... Unpacking camlidl (1.05-14build1) ... Selecting previously unselected package camlp4. Preparing to unpack .../camlp4_4.01.0-3ubuntu3_armhf.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_armhf.deb ... Unpacking libgtkspell0 (2.0.16-1ubuntu7) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../liblablgtk2-ocaml_2.16.0+dfsg-1_armhf.deb ... Unpacking liblablgtk2-ocaml (2.16.0+dfsg-1) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../libcoq-ocaml_8.4pl3dfsg-1_armhf.deb ... Unpacking libcoq-ocaml (8.4pl3dfsg-1) ... Selecting previously unselected package coq. Preparing to unpack .../coq_8.4pl3dfsg-1_armhf.deb ... Unpacking coq (8.4pl3dfsg-1) ... Selecting previously unselected package gettext. Preparing to unpack .../gettext_0.18.3.1-1ubuntu2_armhf.deb ... Unpacking gettext (0.18.3.1-1ubuntu2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../intltool-debian_0.35.0+20060710.1_all.deb ... Unpacking intltool-debian (0.35.0+20060710.1) ... Selecting previously unselected package po-debconf. Preparing to unpack .../po-debconf_1.0.16+nmu2ubuntu1_all.deb ... Unpacking po-debconf (1.0.16+nmu2ubuntu1) ... Selecting previously unselected package apparmor-easyprof. Preparing to unpack .../apparmor-easyprof_2.8.0-0ubuntu38_all.deb ... Unpacking apparmor-easyprof (2.8.0-0ubuntu38) ... Selecting previously unselected package dh-apparmor. Preparing to unpack .../dh-apparmor_2.8.0-0ubuntu38_all.deb ... Unpacking dh-apparmor (2.8.0-0ubuntu38) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20131127ubuntu2_all.deb ... Unpacking debhelper (9.20131127ubuntu2) ... Selecting previously unselected package gir1.2-atk-1.0. Preparing to unpack .../gir1.2-atk-1.0_2.10.0-2ubuntu2_armhf.deb ... Unpacking gir1.2-atk-1.0 (2.10.0-2ubuntu2) ... Selecting previously unselected package gir1.2-freedesktop. Preparing to unpack .../gir1.2-freedesktop_1.39.3-0ubuntu2_armhf.deb ... Unpacking gir1.2-freedesktop (1.39.3-0ubuntu2) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0. Preparing to unpack .../gir1.2-gdkpixbuf-2.0_2.30.4-0ubuntu1_armhf.deb ... Unpacking gir1.2-gdkpixbuf-2.0 (2.30.4-0ubuntu1) ... Selecting previously unselected package gir1.2-pango-1.0. Preparing to unpack .../gir1.2-pango-1.0_1.36.1-0ubuntu1_armhf.deb ... Unpacking gir1.2-pango-1.0 (1.36.1-0ubuntu1) ... Selecting previously unselected package gir1.2-gtk-2.0. Preparing to unpack .../gir1.2-gtk-2.0_2.24.22-1ubuntu2_armhf.deb ... Unpacking gir1.2-gtk-2.0 (2.24.22-1ubuntu2) ... Selecting previously unselected package libapron. Preparing to unpack .../libapron_0.9.10-5.2ubuntu6_armhf.deb ... Unpacking libapron (0.9.10-5.2ubuntu6) ... Selecting previously unselected package libgmp-dev:armhf. Preparing to unpack .../libgmp-dev_2%3a5.1.3+dfsg-1ubuntu1_armhf.deb ... Unpacking libgmp-dev:armhf (2:5.1.3+dfsg-1ubuntu1) ... Selecting previously unselected package libgmp3-dev. Preparing to unpack .../libgmp3-dev_2%3a5.1.3+dfsg-1ubuntu1_armhf.deb ... Unpacking libgmp3-dev (2:5.1.3+dfsg-1ubuntu1) ... Selecting previously unselected package libmpfr-dev:armhf. Preparing to unpack .../libmpfr-dev_3.1.2-1_armhf.deb ... Unpacking libmpfr-dev:armhf (3.1.2-1) ... Selecting previously unselected package libppl0.12-dev:armhf. Preparing to unpack .../libppl0.12-dev_1%3a1.0-7ubuntu2_armhf.deb ... Unpacking libppl0.12-dev:armhf (1:1.0-7ubuntu2) ... Selecting previously unselected package libapron-dev. Preparing to unpack .../libapron-dev_0.9.10-5.2ubuntu6_all.deb ... Unpacking libapron-dev (0.9.10-5.2ubuntu6) ... Selecting previously unselected package libapron-ocaml. Preparing to unpack .../libapron-ocaml_0.9.10-5.2ubuntu6_armhf.deb ... Unpacking libapron-ocaml (0.9.10-5.2ubuntu6) ... Selecting previously unselected package libapron-ocaml-dev. Preparing to unpack .../libapron-ocaml-dev_0.9.10-5.2ubuntu6_armhf.deb ... Unpacking libapron-ocaml-dev (0.9.10-5.2ubuntu6) ... Selecting previously unselected package pkg-config. Preparing to unpack .../pkg-config_0.26-1ubuntu4_armhf.deb ... Unpacking pkg-config (0.26-1ubuntu4) ... Selecting previously unselected package libglib2.0-bin. Preparing to unpack .../libglib2.0-bin_2.39.4-0ubuntu1_armhf.deb ... Unpacking libglib2.0-bin (2.39.4-0ubuntu1) ... Selecting previously unselected package libpcre3-dev:armhf. Preparing to unpack .../libpcre3-dev_1%3a8.31-2ubuntu2_armhf.deb ... Unpacking libpcre3-dev:armhf (1:8.31-2ubuntu2) ... Selecting previously unselected package zlib1g-dev:armhf. Preparing to unpack .../zlib1g-dev_1%3a1.2.8.dfsg-1ubuntu1_armhf.deb ... Unpacking zlib1g-dev:armhf (1:1.2.8.dfsg-1ubuntu1) ... Selecting previously unselected package libglib2.0-dev. Preparing to unpack .../libglib2.0-dev_2.39.4-0ubuntu1_armhf.deb ... Unpacking libglib2.0-dev (2.39.4-0ubuntu1) ... Selecting previously unselected package libatk1.0-dev. Preparing to unpack .../libatk1.0-dev_2.10.0-2ubuntu2_armhf.deb ... Unpacking libatk1.0-dev (2.10.0-2ubuntu2) ... Selecting previously unselected package libexpat1-dev:armhf. Preparing to unpack .../libexpat1-dev_2.1.0-4ubuntu1_armhf.deb ... Unpacking libexpat1-dev:armhf (2.1.0-4ubuntu1) ... Selecting previously unselected package libpng12-dev. Preparing to unpack .../libpng12-dev_1.2.50-1ubuntu1_armhf.deb ... Unpacking libpng12-dev (1.2.50-1ubuntu1) ... Selecting previously unselected package libfreetype6-dev. Preparing to unpack .../libfreetype6-dev_2.5.2-1ubuntu1_armhf.deb ... Unpacking libfreetype6-dev (2.5.2-1ubuntu1) ... Selecting previously unselected package libfontconfig1-dev. Preparing to unpack .../libfontconfig1-dev_2.11.0-0ubuntu4_armhf.deb ... Unpacking libfontconfig1-dev (2.11.0-0ubuntu4) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../xorg-sgml-doctools_1%3a1.11-1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1) ... Selecting previously unselected package x11proto-core-dev. Preparing to unpack .../x11proto-core-dev_7.0.24-1_all.deb ... Unpacking x11proto-core-dev (7.0.24-1) ... Selecting previously unselected package libxau-dev:armhf. Preparing to unpack .../libxau-dev_1%3a1.0.8-1_armhf.deb ... Unpacking libxau-dev:armhf (1:1.0.8-1) ... Selecting previously unselected package libxdmcp-dev:armhf. Preparing to unpack .../libxdmcp-dev_1%3a1.1.1-1_armhf.deb ... Unpacking libxdmcp-dev:armhf (1:1.1.1-1) ... Selecting previously unselected package x11proto-input-dev. Preparing to unpack .../x11proto-input-dev_2.3-1_all.deb ... Unpacking x11proto-input-dev (2.3-1) ... Selecting previously unselected package x11proto-kb-dev. Preparing to unpack .../x11proto-kb-dev_1.0.6-2_all.deb ... Unpacking x11proto-kb-dev (1.0.6-2) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../xtrans-dev_1.3.2-1_all.deb ... Unpacking xtrans-dev (1.3.2-1) ... Selecting previously unselected package libpthread-stubs0-dev:armhf. Preparing to unpack .../libpthread-stubs0-dev_0.3-4_armhf.deb ... Unpacking libpthread-stubs0-dev:armhf (0.3-4) ... Selecting previously unselected package libxcb1-dev:armhf. Preparing to unpack .../libxcb1-dev_1.10-2ubuntu1_armhf.deb ... Unpacking libxcb1-dev:armhf (1.10-2ubuntu1) ... Selecting previously unselected package libx11-dev:armhf. Preparing to unpack .../libx11-dev_2%3a1.6.2-1ubuntu2_armhf.deb ... Unpacking libx11-dev:armhf (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:armhf. Preparing to unpack .../libxrender-dev_1%3a0.9.8-1_armhf.deb ... Unpacking libxrender-dev:armhf (1:0.9.8-1) ... Selecting previously unselected package libice-dev:armhf. Preparing to unpack .../libice-dev_2%3a1.0.8-2_armhf.deb ... Unpacking libice-dev:armhf (2:1.0.8-2) ... Selecting previously unselected package libsm-dev:armhf. Preparing to unpack .../libsm-dev_2%3a1.2.1-2_armhf.deb ... Unpacking libsm-dev:armhf (2:1.2.1-2) ... Selecting previously unselected package libpixman-1-dev. Preparing to unpack .../libpixman-1-dev_0.30.2-2ubuntu1_armhf.deb ... Unpacking libpixman-1-dev (0.30.2-2ubuntu1) ... Selecting previously unselected package libxcb-render0-dev:armhf. Preparing to unpack .../libxcb-render0-dev_1.10-2ubuntu1_armhf.deb ... Unpacking libxcb-render0-dev:armhf (1.10-2ubuntu1) ... Selecting previously unselected package libxcb-shm0-dev:armhf. Preparing to unpack .../libxcb-shm0-dev_1.10-2ubuntu1_armhf.deb ... Unpacking libxcb-shm0-dev:armhf (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:armhf. Preparing to unpack .../libxext-dev_2%3a1.3.2-1_armhf.deb ... Unpacking libxext-dev:armhf (2:1.3.2-1) ... Selecting previously unselected package libcairo2-dev. Preparing to unpack .../libcairo2-dev_1.13.0~20140204-0ubuntu1_armhf.deb ... Unpacking libcairo2-dev (1.13.0~20140204-0ubuntu1) ... Selecting previously unselected package libenchant-dev. Preparing to unpack .../libenchant-dev_1.6.0-10ubuntu1_armhf.deb ... Unpacking libenchant-dev (1.6.0-10ubuntu1) ... Selecting previously unselected package libfloat-coq. Preparing to unpack .../libfloat-coq_1%3a8.4-3_all.deb ... Unpacking libfloat-coq (1:8.4-3) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Preparing to unpack .../libgdk-pixbuf2.0-dev_2.30.4-0ubuntu1_armhf.deb ... Unpacking libgdk-pixbuf2.0-dev (2.30.4-0ubuntu1) ... Selecting previously unselected package libxft-dev. Preparing to unpack .../libxft-dev_2.3.1-2_armhf.deb ... Unpacking libxft-dev (2.3.1-2) ... Selecting previously unselected package libharfbuzz-dev. Preparing to unpack .../libharfbuzz-dev_0.9.26-4_armhf.deb ... Unpacking libharfbuzz-dev (0.9.26-4) ... Selecting previously unselected package libpango1.0-dev. Preparing to unpack .../libpango1.0-dev_1.36.1-0ubuntu1_armhf.deb ... Unpacking libpango1.0-dev (1.36.1-0ubuntu1) ... Selecting previously unselected package x11proto-xinerama-dev. Preparing to unpack .../x11proto-xinerama-dev_1.2.1-2_all.deb ... Unpacking x11proto-xinerama-dev (1.2.1-2) ... Selecting previously unselected package libxinerama-dev:armhf. Preparing to unpack .../libxinerama-dev_2%3a1.1.3-1_armhf.deb ... Unpacking libxinerama-dev:armhf (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:armhf. Preparing to unpack .../libxfixes-dev_1%3a5.0.1-1ubuntu1_armhf.deb ... Unpacking libxfixes-dev:armhf (1:5.0.1-1ubuntu1) ... Selecting previously unselected package libxi-dev. Preparing to unpack .../libxi-dev_2%3a1.7.1.901-1ubuntu1_armhf.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:armhf. Preparing to unpack .../libxrandr-dev_2%3a1.4.2-1_armhf.deb ... Unpacking libxrandr-dev:armhf (2:1.4.2-1) ... Selecting previously unselected package libxcursor-dev:armhf. Preparing to unpack .../libxcursor-dev_1%3a1.1.14-1_armhf.deb ... Unpacking libxcursor-dev:armhf (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_armhf.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:armhf. Preparing to unpack .../libxdamage-dev_1%3a1.1.4-1ubuntu1_armhf.deb ... Unpacking libxdamage-dev:armhf (1:1.1.4-1ubuntu1) ... Selecting previously unselected package libxml2-utils. Preparing to unpack .../libxml2-utils_2.9.1+dfsg1-3ubuntu3_armhf.deb ... Unpacking libxml2-utils (2.9.1+dfsg1-3ubuntu3) ... Selecting previously unselected package libgtk2.0-dev. Preparing to unpack .../libgtk2.0-dev_2.24.22-1ubuntu2_armhf.deb ... Unpacking libgtk2.0-dev (2.24.22-1ubuntu2) ... Selecting previously unselected package libxml2-dev:armhf. Preparing to unpack .../libxml2-dev_2.9.1+dfsg1-3ubuntu3_armhf.deb ... Unpacking libxml2-dev:armhf (2.9.1+dfsg1-3ubuntu3) ... Selecting previously unselected package libglade2-dev:armhf. Preparing to unpack .../libglade2-dev_1%3a2.6.4-2_armhf.deb ... Unpacking libglade2-dev:armhf (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_armhf.deb ... Unpacking libgtksourceview2.0-0 (2.10.5-1ubuntu2) ... Selecting previously unselected package libgtkspell-dev. Preparing to unpack .../libgtkspell-dev_2.0.16-1ubuntu7_armhf.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_armhf.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_armhf.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_armhf.deb ... Unpacking liblablgtksourceview2-ocaml (2.16.0+dfsg-1) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../libocamlgraph-ocaml-dev_1.8.3-1build1_armhf.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.3-1build1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../libzarith-ocaml_1.2.1-2build1_armhf.deb ... Unpacking libzarith-ocaml (1.2.1-2build1) ... Selecting previously unselected package ocaml-native-compilers. Preparing to unpack .../ocaml-native-compilers_4.01.0-3ubuntu3_armhf.deb ... Unpacking ocaml-native-compilers (4.01.0-3ubuntu3) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../dh-ocaml_1.0.8_all.deb ... Unpacking dh-ocaml (1.0.8) ... Selecting previously unselected package frama-c-base. Preparing to unpack .../frama-c-base_20130601+fluorine3+dfsg-2build1_armhf.deb ... Unpacking frama-c-base (20130601+fluorine3+dfsg-2build1) ... Setting up libexpat1:armhf (2.1.0-4ubuntu1) ... Setting up libmagic1:armhf (1:5.14-2ubuntu1) ... Setting up libpopt0:armhf (1.16-8ubuntu1) ... Setting up libssl1.0.0:armhf (1.0.1f-1ubuntu1) ... Setting up libasprintf0c2:armhf (0.18.3.1-1ubuntu2) ... Setting up libglib2.0-0:armhf (2.39.4-0ubuntu1) ... No schema files found: doing nothing. Setting up libdbus-glib-1-2:armhf (0.100.2-1) ... Setting up libpipeline1:armhf (1.2.6-2) ... Setting up libsystemd-login0:armhf (204-5ubuntu11) ... Setting up libxau6:armhf (1:1.0.8-1) ... Setting up libxdmcp6:armhf (1:1.1.1-1) ... Setting up libxcb1:armhf (1.10-2ubuntu1) ... Setting up libx11-data (2:1.6.2-1ubuntu2) ... Setting up libx11-6:armhf (2:1.6.2-1ubuntu2) ... Setting up libxext6:armhf (2:1.3.2-1) ... Setting up libxml2:armhf (2.9.1+dfsg1-3ubuntu3) ... Setting up groff-base (1.22.2-5) ... Setting up bsdmainutils (9.0.5ubuntu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up man-db (2.6.6-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libart-2.0-2:armhf (2.3.21-2) ... Setting up libasound2-data (1.0.27.2-3ubuntu2) ... Setting up libasound2:armhf (1.0.27.2-3ubuntu2) ... Setting up libatk1.0-data (2.10.0-2ubuntu2) ... Setting up libatk1.0-0:armhf (2.10.0-2ubuntu2) ... Setting up libavahi-common-data:armhf (0.6.31-4ubuntu1) ... Setting up libavahi-common3:armhf (0.6.31-4ubuntu1) ... Setting up libavahi-client3:armhf (0.6.31-4ubuntu1) ... Setting up libavahi-glib1:armhf (0.6.31-4ubuntu1) ... Setting up libbonobo2-common (2.32.1-0ubuntu5) ... Setting up libidl-common (0.8.14-0.2ubuntu4) ... Setting up libidl0:armhf (0.8.14-0.2ubuntu4) ... Setting up liborbit-2-0:armhf (1:2.14.19-0.3) ... Setting up liborbit2:armhf (1:2.14.19-0.3) ... Setting up libbonobo2-0:armhf (2.32.1-0ubuntu5) ... Setting up ucf (3.0027+nmu1) ... Setting up gconf2-common (3.2.6-0ubuntu1) ... Creating config file /etc/gconf/2/path with new version Setting up libgconf-2-4:armhf (3.2.6-0ubuntu1) ... Setting up libjpeg-turbo8:armhf (1.3.0-0ubuntu2) ... Setting up libjpeg8:armhf (8c-2ubuntu8) ... Setting up libjasper1:armhf (1.900.1-14ubuntu3) ... Setting up libjbig0:armhf (2.0-2ubuntu4) ... Setting up libtiff5:armhf (4.0.3-7) ... Setting up libgdk-pixbuf2.0-common (2.30.4-0ubuntu1) ... Setting up libgdk-pixbuf2.0-0:armhf (2.30.4-0ubuntu1) ... Setting up libgtk2.0-common (2.24.22-1ubuntu2) ... Setting up fonts-dejavu-core (2.34-1ubuntu1) ... Setting up fontconfig-config (2.11.0-0ubuntu4) ... Setting up libfreetype6:armhf (2.5.2-1ubuntu1) ... Setting up libfontconfig1:armhf (2.11.0-0ubuntu4) ... Setting up libpixman-1-0:armhf (0.30.2-2ubuntu1) ... Setting up libxcb-render0:armhf (1.10-2ubuntu1) ... Setting up libxcb-shm0:armhf (1.10-2ubuntu1) ... Setting up libxrender1:armhf (1:0.9.8-1) ... Setting up libcairo2:armhf (1.13.0~20140204-0ubuntu1) ... Setting up libcups2:armhf (1.7.1-4ubuntu1) ... Setting up libthai-data (0.1.20-3) ... Setting up libdatrie1:armhf (0.2.8-1) ... Setting up libthai0:armhf (0.1.20-3) ... Setting up fontconfig (2.11.0-0ubuntu4) ... Regenerating fonts cache... done. Setting up libpango-1.0-0:armhf (1.36.1-0ubuntu1) ... Setting up libgraphite2-3:armhf (1.2.4-1ubuntu1) ... Setting up libharfbuzz0b:armhf (0.9.26-4) ... Setting up libpangoft2-1.0-0:armhf (1.36.1-0ubuntu1) ... Setting up libpangocairo-1.0-0:armhf (1.36.1-0ubuntu1) ... Setting up libxcomposite1:armhf (1:0.4.4-1) ... Setting up libxfixes3:armhf (1:5.0.1-1ubuntu1) ... Setting up libxcursor1:armhf (1:1.1.14-1) ... Setting up libxdamage1:armhf (1:1.1.4-1ubuntu1) ... Setting up libxi6:armhf (2:1.7.1.901-1ubuntu1) ... Setting up libxinerama1:armhf (2:1.1.3-1) ... Setting up libxrandr2:armhf (2:1.4.2-1) ... Setting up shared-mime-info (1.2-0ubuntu1) ... Setting up libgtk2.0-0:armhf (2.24.22-1ubuntu2) ... Setting up libglade2-0:armhf (1:2.6.4-2) ... Setting up libltdl7:armhf (2.4.2-1.7ubuntu1) ... Setting up libtdb1:armhf (1.2.12-1) ... Setting up libogg0:armhf (1.3.1-1ubuntu1) ... Setting up libvorbis0a:armhf (1.3.2-1.3ubuntu1) ... Setting up libvorbisfile3:armhf (1.3.2-1.3ubuntu1) ... Setting up sound-theme-freedesktop (0.8-1) ... Setting up libcanberra0:armhf (0.30-0ubuntu2) ... Setting up libapparmor1:armhf (2.8.0-0ubuntu38) ... Setting up netbase (5.2) ... Setting up dbus (1.6.18-0ubuntu3) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up psmisc (22.20-1ubuntu2) ... Setting up dbus-x11 (1.6.18-0ubuntu3) ... Setting up libpython2.7-minimal:armhf (2.7.6-5) ... Setting up python2.7-minimal (2.7.6-5) ... 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:armhf (2.7.6-5) ... Setting up python2.7 (2.7.6-5) ... Setting up python-minimal (2.7.5-5ubuntu3) ... Setting up libpython-stdlib:armhf (2.7.5-5ubuntu3) ... Setting up python (2.7.5-5ubuntu3) ... Setting up libgail18:armhf (2.24.22-1ubuntu2) ... Setting up libgnomecanvas2-common (2.30.3-2) ... Setting up libgnomecanvas2-0:armhf (2.30.3-2) ... Setting up libbonoboui2-common (2.24.5-0ubuntu3) ... Setting up libcairo-gobject2:armhf (1.13.0~20140204-0ubuntu1) ... Setting up liblzo2-2:armhf (2.06-1.2ubuntu1) ... Setting up libcairo-script-interpreter2:armhf (1.13.0~20140204-0ubuntu1) ... Setting up libcroco3:armhf (0.6.8-2ubuntu1) ... Setting up libelfg0:armhf (0.8.13-5) ... Setting up libaspell15 (0.60.7~20110707-1ubuntu1) ... Setting up libtext-iconv-perl (1.7-5build2) ... Setting up dictionaries-common (1.20.5) ... Setting up libhunspell-1.3-0:armhf (1.3.2-6ubuntu2) ... Setting up libgmpxx4ldbl:armhf (2:5.1.3+dfsg-1ubuntu1) ... Setting up libgnome-keyring-common (3.8.0-2) ... Setting up libgnome-keyring0:armhf (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:armhf (2:1.0.8-2) ... Setting up libsm6:armhf (2:1.2.1-2) ... Setting up libgnomeui-common (2.24.5-3) ... Setting up libharfbuzz-gobject0:armhf (0.9.26-4) ... Setting up libicu52:armhf (52.1-3) ... Setting up libharfbuzz-icu0:armhf (0.9.26-4) ... Setting up libmpdec2:armhf (2.4.0-6) ... Setting up libxft2:armhf (2.3.1-2) ... Setting up libpangoxft-1.0-0:armhf (1.36.1-0ubuntu1) ... Setting up libpcrecpp0:armhf (1:8.31-2ubuntu2) ... Setting up libppl12:armhf (1:1.0-7ubuntu2) ... Setting up libppl-c4:armhf (1:1.0-7ubuntu2) ... Setting up libpython3.4-minimal:armhf (3.4~rc1-1build1) ... Setting up libpython3.4-stdlib:armhf (3.4~rc1-1build1) ... Setting up librsvg2-2:armhf (2.40.1-0ubuntu1) ... Setting up libsigsegv2:armhf (2.10-2) ... Setting up libunistring0:armhf (0.9.3-5ubuntu3) ... Setting up python3.4-minimal (3.4~rc1-1build1) ... Setting up python3.4 (3.4~rc1-1build1) ... Setting up python3-minimal (3.4~rc1-1) ... Setting up libpython3-stdlib:armhf (3.4~rc1-1) ... Setting up file (1:5.14-2ubuntu1) ... Setting up gettext-base (0.18.3.1-1ubuntu2) ... Setting up libgirepository-1.0-1 (1.39.3-0ubuntu2) ... Setting up gir1.2-glib-2.0 (1.39.3-0ubuntu2) ... Setting up libglib2.0-data (2.39.4-0ubuntu1) ... Setting up m4 (1.4.17-2ubuntu1) ... Setting up autoconf (2.69-4) ... Setting up autotools-dev (20130810.1) ... Setting up ocaml-base-nox (4.01.0-3ubuntu3) ... Setting up libtinfo-dev:armhf (5.9+20131221-1ubuntu1) ... Setting up libncurses5-dev:armhf (5.9+20131221-1ubuntu1) ... Setting up emacsen-common (2.0.7) ... Setting up gettext (0.18.3.1-1ubuntu2) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up gir1.2-atk-1.0 (2.10.0-2ubuntu2) ... Setting up gir1.2-freedesktop (1.39.3-0ubuntu2) ... Setting up gir1.2-gdkpixbuf-2.0 (2.30.4-0ubuntu1) ... Setting up gir1.2-pango-1.0 (1.36.1-0ubuntu1) ... Setting up gir1.2-gtk-2.0 (2.24.22-1ubuntu2) ... Setting up libapron (0.9.10-5.2ubuntu6) ... Setting up libgmp-dev:armhf (2:5.1.3+dfsg-1ubuntu1) ... Setting up libgmp3-dev (2:5.1.3+dfsg-1ubuntu1) ... Setting up libmpfr-dev:armhf (3.1.2-1) ... Setting up libppl0.12-dev:armhf (1:1.0-7ubuntu2) ... Setting up libapron-dev (0.9.10-5.2ubuntu6) ... Setting up libapron-ocaml (0.9.10-5.2ubuntu6) ... Setting up pkg-config (0.26-1ubuntu4) ... Setting up libglib2.0-bin (2.39.4-0ubuntu1) ... Setting up libpcre3-dev:armhf (1:8.31-2ubuntu2) ... Setting up zlib1g-dev:armhf (1:1.2.8.dfsg-1ubuntu1) ... Setting up libglib2.0-dev (2.39.4-0ubuntu1) ... Setting up libatk1.0-dev (2.10.0-2ubuntu2) ... Setting up libexpat1-dev:armhf (2.1.0-4ubuntu1) ... Setting up libpng12-dev (1.2.50-1ubuntu1) ... Setting up libfreetype6-dev (2.5.2-1ubuntu1) ... Setting up libfontconfig1-dev (2.11.0-0ubuntu4) ... Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up x11proto-core-dev (7.0.24-1) ... Setting up libxau-dev:armhf (1:1.0.8-1) ... Setting up libxdmcp-dev:armhf (1:1.1.1-1) ... Setting up x11proto-input-dev (2.3-1) ... Setting up x11proto-kb-dev (1.0.6-2) ... Setting up xtrans-dev (1.3.2-1) ... Setting up libpthread-stubs0-dev:armhf (0.3-4) ... Setting up libxcb1-dev:armhf (1.10-2ubuntu1) ... Setting up libx11-dev:armhf (2:1.6.2-1ubuntu2) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up libxrender-dev:armhf (1:0.9.8-1) ... Setting up libice-dev:armhf (2:1.0.8-2) ... Setting up libsm-dev:armhf (2:1.2.1-2) ... Setting up libpixman-1-dev (0.30.2-2ubuntu1) ... Setting up libxcb-render0-dev:armhf (1.10-2ubuntu1) ... Setting up libxcb-shm0-dev:armhf (1.10-2ubuntu1) ... Setting up x11proto-xext-dev (7.3.0-1) ... Setting up libxext-dev:armhf (2:1.3.2-1) ... Setting up libcairo2-dev (1.13.0~20140204-0ubuntu1) ... Setting up libgdk-pixbuf2.0-dev (2.30.4-0ubuntu1) ... Setting up libxft-dev (2.3.1-2) ... Setting up libharfbuzz-dev (0.9.26-4) ... Setting up libpango1.0-dev (1.36.1-0ubuntu1) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up libxinerama-dev:armhf (2:1.1.3-1) ... Setting up x11proto-fixes-dev (1:5.0-2ubuntu2) ... Setting up libxfixes-dev:armhf (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:armhf (2:1.4.2-1) ... Setting up libxcursor-dev:armhf (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:armhf (1:1.1.4-1ubuntu1) ... Setting up libxml2-utils (2.9.1+dfsg1-3ubuntu3) ... Setting up libgtk2.0-dev (2.24.22-1ubuntu2) ... Setting up libxml2-dev:armhf (2.9.1+dfsg1-3ubuntu3) ... Setting up libglade2-dev:armhf (1:2.6.4-2) ... Setting up libgtksourceview2.0-common (2.10.5-1ubuntu2) ... Setting up libgtksourceview2.0-0 (2.10.5-1ubuntu2) ... Setting up libzarith-ocaml (1.2.1-2build1) ... Setting up dh-ocaml (1.0.8) ... Processing triggers for dictionaries-common (1.20.5) ... aspell-autobuildhash: processing: en [en-common] aspell-autobuildhash: processing: en [en-variant_0] aspell-autobuildhash: processing: en [en-variant_1] aspell-autobuildhash: processing: en [en-variant_2] aspell-autobuildhash: processing: en [en-w_accents-only] aspell-autobuildhash: processing: en [en-wo_accents-only] aspell-autobuildhash: processing: en [en_CA-variant_0] aspell-autobuildhash: processing: en [en_CA-variant_1] aspell-autobuildhash: processing: en [en_CA-w_accents-only] aspell-autobuildhash: processing: en [en_CA-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only] aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only] aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only] aspell-autobuildhash: processing: en [en_GB-variant_0] aspell-autobuildhash: processing: en [en_GB-variant_1] aspell-autobuildhash: processing: en [en_US-w_accents-only] aspell-autobuildhash: processing: en [en_US-wo_accents-only] Setting up aspell (0.60.7~20110707-1ubuntu1) ... Processing triggers for dictionaries-common (1.20.5) ... Setting up aspell-en (7.1-0-1) ... Processing triggers for dictionaries-common (1.20.5) ... Setting up libenchant1c2a:armhf (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 gconf-service (3.2.6-0ubuntu1) ... Setting up python3 (3.4~rc1-1) ... running python rtupdate hooks for python3.4... running python post-rtupdate hooks for python3.4... Exception ignored in: > Traceback (most recent call last): File "/usr/lib/python3.4/subprocess.py", line 897, in __del__ TypeError: 'NoneType' object is not callable Setting up dh-python (1.20140128-1ubuntu2) ... Setting up ocaml-compiler-libs (4.01.0-3ubuntu3) ... Setting up ocaml-interp (4.01.0-3ubuntu3) ... Setting up coq-theories (8.4pl3dfsg-1) ... Setting up coq (8.4pl3dfsg-1) ... ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file. Install coq for emacs Setting up apparmor-easyprof (2.8.0-0ubuntu38) ... Setting up dh-apparmor (2.8.0-0ubuntu38) ... Setting up debhelper (9.20131127ubuntu2) ... Setting up libfloat-coq (1:8.4-3) ... Setting up gconf-service-backend (3.2.6-0ubuntu1) ... Setting up gconf2 (3.2.6-0ubuntu1) ... update-alternatives: using /usr/bin/gconftool-2 to provide /usr/bin/gconftool (gconftool) in auto mode (gconftool-2:9259): GConf-WARNING **: Client failed to connect to the D-BUS daemon: Unable to autolaunch a dbus-daemon without a $DISPLAY for X11 Setting up libgnomevfs2-common (1:2.24.4-1ubuntu6) ... Setting up libgnomevfs2-0:armhf (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:armhf (2.32.1-4ubuntu1) ... Setting up libbonoboui2-0:armhf (2.24.5-0ubuntu3) ... Setting up libgnomeui-0:armhf (2.24.5-3) ... Setting up ocaml-nox (4.01.0-3ubuntu3) ... Setting up camlidl (1.05-14build1) ... Setting up camlp4 (4.01.0-3ubuntu3) ... Setting up libapron-ocaml-dev (0.9.10-5.2ubuntu6) ... Setting up liblablgtk2-gnome-ocaml (2.16.0+dfsg-1) ... Setting up liblablgtk2-ocaml-dev (2.16.0+dfsg-1) ... Setting up libocamlgraph-ocaml-dev (1.8.3-1build1) ... Setting up ocaml-native-compilers (4.01.0-3ubuntu3) ... Setting up frama-c-base (20130601+fluorine3+dfsg-2build1) ... Processing triggers for libc-bin (2.18-0ubuntu7) ... Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.18-0ubuntu7 make_3.81-8.2ubuntu3 dpkg-dev_1.17.5ubuntu4 gcc-4.8_4.8.2-16ubuntu1 g++-4.8_4.8.2-16ubuntu1 binutils_2.24-2ubuntu3 libstdc++-4.8-dev_4.8.2-16ubuntu1 libstdc++6_4.8.2-16ubuntu1 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::Quilt gpgv: Signature made Mon Feb 17 08:13:16 2014 UTC using RSA key ID D4CACDFF gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./why_2.33-2.dsc dpkg-source: info: extracting why in why-2.33 dpkg-source: info: unpacking why_2.33.orig.tar.gz dpkg-source: info: unpacking why_2.33-2.debian.tar.xz dpkg-source: info: applying deprecated-or dpkg-source: info: applying hashtbl dpkg-source: info: applying atp-versions dpkg-source: info: applying frama-c-versions dpkg-buildpackage: source package why dpkg-buildpackage: source version 2.33-2 dpkg-buildpackage: source distribution unstable dpkg-source --before-build why-2.33 dpkg-buildpackage: host architecture armhf /usr/bin/fakeroot debian/rules clean dh --with ocaml clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/buildd/why-2.33' [ ! -f Makefile ] || sed -e 's/include .depend.*//g' Makefile > Makefile.debian [ ! -f Makefile.debian ] || /usr/bin/make -f Makefile.debian clean rm -f -f lib/coq/*.glob make[1]: Leaving directory `/build/buildd/why-2.33' dh_ocamlclean rm -f ocamlinit-stamp dh_clean rm -f debian/why.substvars rm -f debian/why.*.debhelper rm -rf debian/why/ rm -f debian/why-examples.substvars rm -f debian/why-examples.*.debhelper rm -rf debian/why-examples/ rm -f debian/libwhy-coq.substvars rm -f debian/libwhy-coq.*.debhelper rm -rf debian/libwhy-coq/ rm -f debian/*.debhelper.log rm -f -- Makefile Makefile.debian a.out bin/gwhy.opt bin/krakatoa.opt bin/simplify2why.opt bin/why-config.opt config.status config.log bench/bench config/check_ocamlgraph.cmi config/check_ocamlgraph.cmo config/check_ocamlgraph.cmx config/check_ocamlgraph.o doc/version.tex jc/jc.a jc/jc.cma jc/jc.cmxa lib/coq/WhyCoqCompat.vo lib/why/arrays_why.v lib/why/floats_why.v lib/why/prelude_why.v mix/mix_parser.output regtest.opt tools/simplify_parser.output tools/toolstat_pars.output rm -f debian/files find . \( \( -type f -a \ \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ \) -exec rm -f {} + \) -o \ \( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \) rm -f *-stamp debian/rules build-arch dh --with ocaml build-arch dh_testdir -a dh_ocamlinit -a touch ocamlinit-stamp debian/rules override_dh_auto_configure make[1]: Entering directory `/build/buildd/why-2.33' autoconf ./configure \ --host=arm-linux-gnueabihf \ --build=arm-linux-gnueabihf \ --prefix=/usr \ --libdir=/usr/share \ --mandir=\${prefix}/share/man \ --infodir=\${prefix}/share/info \ --enable-apron=yes \ LDFLAGS="-Wl,-z,defs" checking for ocamlc... ocamlc ocaml version is 4.01.0 ocaml library path is /usr/lib/ocaml checking OS dependent settings... Unix checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocamlopt.opt... ocamlopt.opt checking ocamlc.opt version... ok checking for ocamldep... ocamldep checking for ocamldep.opt... ocamldep.opt checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc checking for ocamldoc... ocamldoc checking for ocamldoc.opt... ocamldoc.opt 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... yes checking for frama-c... frama-c checking Frama-c version... Fatal error: exception Invalid_argument("String.sub") configure: WARNING: you need Frama-C version Fluorine-20130401 checking for camlp4o... camlp4o checking camlp4 version... ok checking for coqc... coqc checking for coqdep... coqdep checking Coq version... 8.4pl3 checking Coq floating-point library... no checking Coq legacy floating-point library... yes checking for why3... no configure: WARNING: Cannot find why3. checking for pvs... no configure: WARNING: Cannot find PVS. checking for mizf... no configure: WARNING: Cannot find Mizar. configure: creating ./config.status config.status: creating Makefile config.status: creating bench/bench Summary ----------------------------------------- OCaml version : 4.01.0 OCaml library path : /usr/lib/ocaml OcamlGraph lib : in Ocaml lib, subdir ocamlgraph Verbose make : no Inference of annotations : yes APRON lib : -I +apron Frama-C plugin : no you need Frama-C version Fluorine-20130401 GWhy : yes Coq support : yes Version : v8.1 (8.4pl3) : (Jessie3 Coq proofs disabled, requires Coq realizations for Why3) Lib : /usr/lib/coq FP lib (Flocq) : no (Coq library Flocq/Core/Fcore.vo not found) FP lib (Float) : yes PVS support : no Mizar support : no Other provers support : at run-time (use why-config to configure) make[1]: Leaving directory `/build/buildd/why-2.33' dh_auto_build -a make -j1 make[1]: Entering directory `/build/buildd/why-2.33' BINDIR=/usr/bin LIBDIR=/usr/share COQVER=v8.1 ./version.sh ocamllex.opt src/rc.mll 39 states, 1677 transitions, table size 6942 bytes 1933 additional bytes used for bindings ocamllex.opt src/xml.mll 51 states, 1824 transitions, table size 7602 bytes 2541 additional bytes used for bindings ocamllex.opt src/lexer.mll 100 states, 1298 transitions, table size 5792 bytes 4626 additional bytes used for bindings ocamlyacc -v src/parser.mly ocamllex.opt src/linenum.mll 15 states, 323 transitions, table size 1382 bytes 1194 additional bytes used for bindings ocamllex.opt jc/numconst.mll 71 states, 764 transitions, table size 3482 bytes rm -f jc/jc_stdlib.ml case 4.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.opt jc/jc_lexer.mll 526 states, 32030 transitions, table size 131276 bytes 16374 additional bytes used for bindings ocamlyacc -v jc/jc_parser.mly 1 shift/reduce conflict. if test "yes" = "yes" ; then \ echo "# 1 \"jc/jc_annot_inference.ml\"" > jc/jc_ai.ml; \ cat jc/jc_annot_inference.ml >> jc/jc_ai.ml; \ else \ echo "# 1 \"jc/jc_annot_fail.ml\"" > jc/jc_ai.ml; \ cat jc/jc_annot_fail.ml >> jc/jc_ai.ml; \ fi ocamlyacc -v java/java_parser.mly ocamllex.opt java/java_lexer.mll 168 states, 1957 transitions, table size 8836 bytes 4503 additional bytes used for bindings ocamlyacc -v ml/parsing/parser.mly ocamllex.opt ml/parsing/lexer.mll 172 states, 3313 transitions, table size 14284 bytes 2252 additional bytes used for bindings ocamllex.opt ml/parsing/linenum.mll 12 states, 323 transitions, table size 1364 bytes ocamllex.opt 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.opt c/cllexer.mll 276 states, 15549 transitions, table size 63852 bytes ocamlyacc -v c/clparser.mly ocamllex.opt c/cpp.mll 105 states, 331 transitions, table size 1954 bytes ocamllex.opt c/cconst.mll 61 states, 574 transitions, table size 2662 bytes ocamllex.opt intf/hilight.mll 43 states, 532 transitions, table size 2386 bytes ocamllex.opt intf/whyhilight.mll 101 states, 6417 transitions, table size 26274 bytes ocamllex.opt intf/tagsplit.mll 9 states, 495 transitions, table size 2034 bytes ocamllex.opt intf/config.mll 14 states, 446 transitions, table size 1868 bytes ocamllex.opt tools/why2html.mll 82 states, 2034 transitions, table size 8628 bytes ocamllex.opt tools/cvcl_split.mll 18 states, 262 transitions, table size 1156 bytes ocamllex.opt tools/simplify_split.mll 38 states, 429 transitions, table size 1944 bytes ocamllex.opt tools/smtlib_split.mll 61 states, 455 transitions, table size 2186 bytes ocamllex.opt tools/rv_split.mll 65 states, 376 transitions, table size 1894 bytes ocamllex.opt tools/zenon_split.mll 37 states, 379 transitions, table size 1738 bytes ocamllex.opt tools/ergo_split.mll 41 states, 2642 transitions, table size 10814 bytes ocamllex.opt tools/simplify_lexer.mll 16 states, 364 transitions, table size 1552 bytes ocamlyacc -v tools/simplify_parser.mly ocamllex.opt 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.opt mix/mix_lexer.mll 65 states, 434 transitions, table size 2126 bytes ocamlyacc -v mix/mix_parser.mly printf "[main]\n" > lib/why3/why3.conf printf "loadpath=\"/usr/share/why/why3\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[prover_modifiers]\n" >> lib/why3/why3.conf printf "name=\"Coq\"\n" >> lib/why3/why3.conf printf "option=\"-R /usr/share/why/coq Why\"\n" >> lib/why3/why3.conf printf "driver=\"/usr/share/why/why3/coq.drv\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[editor_modifiers coqide]\n" >> lib/why3/why3.conf printf "option=\"-R /usr/share/why/coq Why\"\n" >> lib/why3/why3.conf printf "\n" >> lib/why3/why3.conf printf "[editor_modifiers proofgeneral-coq]\n" >> lib/why3/why3.conf printf "option=\"--eval \\\\\"(setq coq-load-path (cons '(\\\\\\\\\\\\\"/usr/share/why/coq\\\\\\\\\\\\\" \\\\\\\\\\\\\"Why\\\\\\\\\\\\\") coq-load-path))\\\\\"\"\n" >> lib/why3/why3.conf rm -f .depend ocamldep.opt -slash -I src -I jc -I 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.opt -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[1]: Leaving directory `/build/buildd/why-2.33' make[1]: Entering directory `/build/buildd/why-2.33' Ocamlc src/lib.mli Ocamlopt src/lib.ml Ocamlc src/rc.mli Ocamlopt src/rc.ml Ocamlc tools/dpConfig.mli Ocamlopt tools/dpConfig.ml Ocamlopt 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 Ocamlopt src/options.ml Ocamlc src/linenum.mli Ocamlopt src/linenum.ml Ocamlopt src/loc.ml Ocamlopt src/ident.ml Ocamlopt src/print_real.ml Ocamlopt src/effect.ml Ocamlc src/pp.mli Ocamlopt src/pp.ml Ocamlc src/option_misc.mli Ocamlopt src/option_misc.ml Ocamlc src/misc.mli Ocamlopt src/misc.ml Ocamlc src/error.mli Ocamlc src/parser.mli Ocamlopt src/parser.ml Ocamlc src/lexer.mli Ocamlopt src/lexer.ml Ocamlc src/report.mli Ocamlopt src/report.ml Ocamlopt src/env.ml Ocamlopt src/mapenv.ml Ocamlc src/rename.mli Ocamlopt src/rename.ml Ocamlc src/explain.mli Ocamlopt src/explain.ml Ocamlc src/util.mli Ocamlopt src/util.ml Ocamlc src/ltyping.mli Ocamlopt src/ltyping.ml Ocamlc src/typing.mli Ocamlopt src/typing.ml Ocamlc src/wp.mli Ocamlopt src/wp.ml Ocamlc src/fastwp.mli Ocamlopt src/fastwp.ml Ocamlc src/monadSig.mli Ocamlc src/monad.mli Ocamlopt src/monad.ml Ocamlc src/mlize.mli Ocamlopt src/mlize.ml Ocamlc src/red.mli Ocamlopt src/red.ml Ocamlc src/log.mli Ocamlc src/vcg.mli Ocamlopt src/vcg.ml Ocamlc src/predDefExpansor.mli Ocamlopt src/predDefExpansor.ml Ocamlc src/encoding_mono_inst.mli Ocamlopt src/encoding_mono_inst.ml Ocamlc src/encoding_rec.mli Ocamlopt src/encoding_rec.ml Ocamlc src/encoding_pred.mli Ocamlopt src/encoding_pred.ml Ocamlc src/encoding_strat.mli Ocamlopt src/encoding_strat.ml Ocamlopt src/encoding_mono.ml Ocamlc src/monomorph.mli Ocamlopt src/monomorph.ml Ocamlc src/encoding.mli Ocamlopt src/encoding.ml Ocamlc src/pvs.mli Ocamlopt src/pvs.ml Ocamlc src/hol4.mli Ocamlopt src/hol4.ml Ocamlc src/gappa.mli Ocamlopt src/gappa.ml Ocamlc src/holl.mli Ocamlopt src/holl.ml Ocamlc src/harvey.mli Ocamlopt src/harvey.ml Ocamlc src/simplify.mli Ocamlopt src/simplify.ml Ocamlc src/regen.mli Ocamlopt src/regen.ml Ocamlc src/mizar.mli Ocamlopt src/mizar.ml Ocamlc src/smtlib.mli Ocamlopt src/smtlib.ml Ocamlc src/coq.mli Ocamlopt src/coq.ml Ocamlc src/zenon.mli Ocamlopt src/zenon.ml Ocamlc src/z3.mli Ocamlopt src/z3.ml Ocamlc src/cvcl.mli Ocamlopt src/cvcl.ml Ocamlc tools/calldp.mli Ocamlopt tools/calldp.ml Ocamlc src/xml.mli Ocamlopt src/xml.ml Ocamlopt src/project.ml Ocamlc src/why3_kw.mli Ocamlopt src/why3_kw.ml Ocamlc src/why3.mli Ocamlopt src/why3.ml Ocamlc src/pretty.mli Ocamlopt src/pretty.ml Ocamlopt src/unionfind.ml Ocamlopt src/theoryreducer.ml Ocamlopt src/theory_filtering.ml Ocamlopt src/hypotheses_filtering.ml Ocamlc src/dispatcher.mli Ocamlopt src/dispatcher.ml Ocamlc src/isabelle.mli Ocamlopt src/isabelle.ml Ocamlc src/ocaml.mli Ocamlopt src/ocaml.ml Ocamlopt src/main.ml Ocamlopt src/why.ml Linking bin/why.opt strip bin/why.opt Ocamlopt tools/whyConfig.ml Linking bin/why-config.opt strip bin/why-config.opt WHYLIB=lib bin/why.opt --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.opt -tc $f; \ done make -C atp atp.cmx make[2]: Entering directory `/build/buildd/why-2.33/atp' ./Mk_ml_file lib.ml intro.ml formulas.ml prop.ml propexamples.ml defcnf.ml dp.ml fol.ml skolem.ml herbrand.ml qelim.ml cooper.ml fourier_motzkin.ml >atp.ml ocamlopt -w ax -c atp.ml make[2]: Leaving directory `/build/buildd/why-2.33/atp' Ocamlc jc/jc_env.mli Ocamlc jc/output.mli Ocamlopt jc/output.ml Ocamlc jc/jc_common_options.mli Ocamlopt jc/jc_common_options.ml Ocamlopt jc/jc_stdlib.ml Ocamlc jc/jc_stdlib.ml Ocamlc jc/jc_envset.mli Ocamlopt jc/jc_envset.ml Ocamlopt jc/jc_region.ml Ocamlc jc/jc_region.ml Ocamlc jc/jc_ast.mli Ocamlopt jc/jc_fenv.ml Ocamlc jc/jc_fenv.ml Ocamlc jc/jc_constructors.mli Ocamlopt jc/jc_constructors.ml Ocamlc jc/jc_pervasives.mli Ocamlopt jc/jc_pervasives.ml Ocamlc jc/jc_iterators.mli Ocamlopt jc/jc_iterators.ml Ocamlc jc/jc_type_var.mli Ocamlopt jc/jc_type_var.ml Ocamlopt jc/jc_output_misc.ml Ocamlopt jc/jc_poutput.ml Ocamlopt jc/jc_output.ml Ocamlopt jc/jc_noutput.ml Ocamlc jc/jc_options.mli Ocamlopt jc/jc_options.ml Ocamlopt jc/jc_name.ml Ocamlc jc/jc_struct_tools.mli Ocamlopt jc/jc_struct_tools.ml Ocamlc jc/jc_norm.mli Ocamlopt jc/jc_norm.ml Ocamlc jc/jc_typing.mli Ocamlopt jc/jc_typing.ml Ocamlc jc/numconst.mli Ocamlopt jc/numconst.ml Ocamlc jc/jc_parser.mli Ocamlopt jc/jc_parser.ml Ocamlc jc/jc_lexer.mli Ocamlopt jc/jc_lexer.ml Ocamlopt jc/jc_separation.ml Ocamlc jc/jc_callgraph.mli Ocamlopt jc/jc_callgraph.ml Ocamlopt jc/jc_effect.ml Ocamlc jc/jc_ai.mli Ocamlopt jc/jc_ai.ml Ocamlc jc/jc_interp_misc.mli Ocamlopt jc/jc_interp_misc.ml Ocamlopt jc/jc_invariants.ml Ocamlopt jc/jc_pattern.ml Ocamlopt jc/jc_frame_notin.ml Ocamlc jc/jc_interp.mli Ocamlopt jc/jc_interp.ml Ocamlc jc/jc_frame.mli Ocamlopt jc/jc_frame.ml Ocamlopt jc/jc_make.ml Ocamlopt jc/jc_main.ml Linking bin/jessie.opt strip bin/jessie.opt Ocamlc java/java_env.mli Ocamlopt java/java_options.ml Ocamlc java/java_ast.mli Ocamlc java/java_tast.mli Ocamlopt java/java_pervasives.ml Ocamlopt java/java_abstract.ml Ocamlc java/java_parser.mli Ocamlopt java/java_parser.ml Ocamlopt java/java_lexer.ml Ocamlopt java/java_syntax.ml Ocamlc java/java_typing.mli Ocamlopt java/java_typing.ml Ocamlc java/java_callgraph.mli Ocamlopt java/java_callgraph.ml Ocamlopt java/java_analysis.ml Ocamlopt java/java_interp.ml Ocamlopt java/java_main.ml Linking bin/krakatoa.opt strip bin/krakatoa.opt 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.opt --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 ocamlopt.opt -w Z -warn-error A -dtypes -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.opt tools/why2html.ml Ocamlc tools/cvcl_split.mli Ocamlopt tools/cvcl_split.ml Ocamlc tools/simplify_split.mli Ocamlopt tools/simplify_split.ml Ocamlopt tools/smtlib_split.ml Ocamlc tools/zenon_split.mli Ocamlopt tools/zenon_split.ml Ocamlc tools/ergo_split.mli Ocamlopt tools/ergo_split.ml Ocamlopt tools/rv_split.ml Ocamlopt tools/dp.ml ocamlopt.opt -w Z -warn-error A -dtypes -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.opt unix.cmxa str.cmxa src/lib.cmx tools/cvcl_split.cmx tools/simplify_split.cmx tools/smtlib_split.cmx tools/zenon_split.cmx tools/ergo_split.cmx tools/rv_split.cmx src/rc.cmx tools/dpConfig.cmx src/version.cmx tools/calldp.cmx tools/dp.cmx cc -o bin/why-cpulimit tools/cpulimit.c ocamlopt.opt -w Z -warn-error A -dtypes -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.opt tools/rv_merge.ml Ocamlopt tools/obfuscator.ml ocamlopt.opt -w Z -warn-error A -dtypes -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.opt nums.cmxa src/pp.cmx src/loc.cmx src/ident.cmx src/parser.cmx src/lexer.cmx src/print_real.cmx tools/obfuscator.cmx Ocamlc tools/simplify_ast.mli Ocamlc tools/simplify_parser.mli Ocamlopt tools/simplify_parser.ml Ocamlopt tools/simplify_lexer.ml Ocamlopt tools/simplify_towhy.ml ocamlopt.opt -w Z -warn-error A -dtypes -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.opt src/ident.cmx src/pp.cmx tools/simplify_parser.cmx tools/simplify_lexer.cmx tools/simplify_towhy.cmx Ocamlopt tools/whystat.ml ocamlopt.opt -w Z -warn-error A -dtypes -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.opt src/pp.cmx src/loc.cmx src/ident.cmx src/parser.cmx src/lexer.cmx tools/whystat.cmx Ocamlc tools/toolstat_types.mli Ocamlc tools/toolstat_pars.mli Ocamlopt tools/toolstat_pars.ml Ocamlopt tools/toolstat_lex.ml Ocamlopt tools/toolstat.ml ocamlopt.opt -w Z -warn-error A -dtypes -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.opt src/loc.cmx src/pp.cmx tools/toolstat_pars.cmx tools/toolstat_lex.cmx tools/toolstat.cmx Ocamlc intf/colors.mli Ocamlopt intf/colors.ml Ocamlopt intf/tags.ml Ocamlopt intf/tools.ml Ocamlopt intf/tagsplit.ml Ocamlopt intf/astprinter.ml Ocamlopt intf/astnprinter.ml Ocamlopt intf/astpprinter.ml Ocamlc intf/model.mli Ocamlopt intf/model.ml Ocamlopt intf/cache.ml Ocamlc intf/gConfig.mli Ocamlopt intf/gConfig.ml Ocamlopt intf/hilight.ml Ocamlopt intf/whyhilight.ml Ocamlc intf/tags.ml Ocamlc intf/pprinter.mli Ocamlopt intf/pprinter.ml Ocamlopt intf/preferences.ml Ocamlopt intf/stat.ml Linking bin/gwhy.opt strip bin/gwhy.opt Ocamlc src/lib.ml Ocamlc src/rc.ml Ocamlc src/loc.ml Ocamlc src/ident.ml Ocamlc src/print_real.ml Ocamlc src/effect.ml Ocamlc src/pp.ml Ocamlc src/option_misc.ml Ocamlc src/parser.ml Ocamlc src/lexer.ml Ocamlc src/report.ml Ocamlc src/explain.ml Ocamlc src/xml.ml Ocamlc src/project.ml Ocamlc src/why3_kw.ml Ocamlc jc/output.ml Ocamlc jc/jc_common_options.ml Ocamlc jc/jc_envset.ml Ocamlc jc/jc_constructors.ml Ocamlc jc/jc_pervasives.ml Ocamlc jc/jc_iterators.ml Ocamlc jc/jc_type_var.ml Ocamlc jc/jc_output_misc.ml Ocamlc jc/jc_poutput.ml Ocamlc jc/jc_output.ml Ocamlc jc/jc_noutput.ml ocamlc.opt -w 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 ocamlopt.opt -w Z -warn-error A -dtypes -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.cmx src/ast.cmi src/lib.cmx src/rc.cmx src/loc.cmx src/ident.cmx src/print_real.cmx src/effect.cmx src/pp.cmx src/option_misc.cmx src/parser.cmx src/lexer.cmx src/report.cmx src/explain.cmx src/xml.cmx src/project.cmx src/why3_kw.cmx jc/output.cmx jc/jc_common_options.cmx jc/jc_stdlib.cmx jc/jc_envset.cmx jc/jc_region.cmx jc/jc_fenv.cmx jc/jc_constructors.cmx jc/jc_pervasives.cmx jc/jc_iterators.cmx jc/jc_type_var.cmx jc/jc_output_misc.cmx jc/jc_poutput.cmx jc/jc_output.cmx jc/jc_noutput.cmx ocamlopt.opt -w Z -warn-error A -dtypes -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.opt unix.cmxa str.cmxa threads.cmxa tools/regtest.ml make[1]: Leaving directory `/build/buildd/why-2.33' dh_auto_test -a make -j1 test make[1]: Entering directory `/build/buildd/why-2.33' [ ! -f bench/test.ml ] || bin/why.opt -d -V -coq bench/test.ml make[1]: Leaving directory `/build/buildd/why-2.33' /usr/bin/fakeroot debian/rules binary-arch dh --with ocaml binary-arch dh_testroot -a dh_prep -a rm -f debian/why.substvars rm -f debian/why.*.debhelper rm -rf debian/why/ dh_installdirs -a install -d debian/why install -d debian/why/usr/share/why debian/rules override_dh_auto_install Fatal error: exception Invalid_argument("String.sub") Fatal error: exception Invalid_argument("String.sub") make[1]: Entering directory `/build/buildd/why-2.33' mkdir -p /build/buildd/why-2.33/debian/why/ /usr/bin/make prefix=/build/buildd/why-2.33/debian/why/usr install \ LIBDIR=/build/buildd/why-2.33/debian/why/usr/share \ PLUGIN_INSTALL_DIR=/build/buildd/why-2.33/debian/why/usr/lib/frama-c/plugins \ COQLIB=/build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq make[2]: Entering directory `/build/buildd/why-2.33' mkdir -p /build/buildd/why-2.33/debian/why/usr/bin cp -f bin/why.opt /build/buildd/why-2.33/debian/why/usr/bin/why cp -f bin/why-config.opt /build/buildd/why-2.33/debian/why/usr/bin/why-config cp -f bin/jessie.opt /build/buildd/why-2.33/debian/why/usr/bin/jessie cp -f bin/krakatoa.opt /build/buildd/why-2.33/debian/why/usr/bin/krakatoa cp -f bin/gwhy.sh /build/buildd/why-2.33/debian/why/usr/bin/gwhy cp -f bin/why2html.opt /build/buildd/why-2.33/debian/why/usr/bin/why2html cp -f bin/why-dp.opt /build/buildd/why-2.33/debian/why/usr/bin/why-dp cp -f bin/why-cpulimit /build/buildd/why-2.33/debian/why/usr/bin/why-cpulimit cp -f bin/rv_merge.opt /build/buildd/why-2.33/debian/why/usr/bin/rv_merge cp -f bin/why-obfuscator.opt /build/buildd/why-2.33/debian/why/usr/bin/why-obfuscator cp -f bin/why-stat.opt /build/buildd/why-2.33/debian/why/usr/bin/why-stat cp -f bin/tool-stat.opt /build/buildd/why-2.33/debian/why/usr/bin/tool-stat cp -f bin/simplify2why.opt /build/buildd/why-2.33/debian/why/usr/bin/simplify2why if test -f bin/gwhy.opt; then \ cp -f bin/gwhy.opt /build/buildd/why-2.33/debian/why/usr/bin/gwhy-bin; \ fi mkdir -p /build/buildd/why-2.33/debian/why/usr/share/why/why cp -f lib/why/prelude.why lib/why/bool.why lib/why/integer.why lib/why/divisions.why lib/why/real.why lib/why/arrays.why lib/why/jessie.why lib/why/jessie_bitvectors.why lib/why/mybag.why lib/why/mix.why lib/why/floats_common.why lib/why/floats_strict.why lib/why/floats_full.why lib/why/floats_multi_rounding.why /build/buildd/why-2.33/debian/why/usr/share/why/why rm -rf /build/buildd/why-2.33/debian/why/usr/share/why/why3 mkdir -p /build/buildd/why-2.33/debian/why/usr/share/why/why3 cp -f lib/why3/why3.conf lib/why3/coq.drv lib/why3/jessie3theories.why lib/why3/jessie3.mlw lib/why3/jessie3_integer.why /build/buildd/why-2.33/debian/why/usr/share/why/why3 mkdir -p /build/buildd/why-2.33/debian/why/usr/share/jessie cp -f jc/jc.cmo jc/jc.cmx jc/jc.o jc/jc_ast.cmi jc/jc_env.cmi jc/jc.cmi src/lib.cmi src/rc.cmi src/loc.cmi src/ident.cmi src/print_real.cmi src/effect.cmi src/pp.cmi src/option_misc.cmi src/parser.cmi src/lexer.cmi src/report.cmi src/explain.cmi src/xml.cmi src/project.cmi src/why3_kw.cmi jc/output.cmi jc/jc_common_options.cmi jc/jc_stdlib.cmi jc/jc_envset.cmi jc/jc_region.cmi jc/jc_fenv.cmi jc/jc_constructors.cmi jc/jc_pervasives.cmi jc/jc_iterators.cmi jc/jc_type_var.cmi jc/jc_output_misc.cmi jc/jc_poutput.cmi jc/jc_output.cmi jc/jc_noutput.cmi /build/buildd/why-2.33/debian/why/usr/share/jessie cd lib; cp -rf java_api /build/buildd/why-2.33/debian/why/usr/share/why cd lib; cp -rf javacard_api /build/buildd/why-2.33/debian/why/usr/share/why mkdir -p /build/buildd/why-2.33/debian/why/usr/share/why/images cp -f lib/images/*.png /build/buildd/why-2.33/debian/why/usr/share/why/images mkdir -p /build/buildd/why-2.33/debian/why/usr/share/why/emacs cp -f lib/emacs/why.el /build/buildd/why-2.33/debian/why/usr/share/why/emacs find /build/buildd/why-2.33/debian/why/usr/share -name CVS | xargs rm -f -r mkdir -p /build/buildd/why-2.33/debian/why/usr/share/man/man1 cp -f doc/*.1 /build/buildd/why-2.33/debian/why/usr/share/man/man1 if test -w /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq ; then \ rm -f /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/Why*.v* ; \ rm -f /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/caduceus*.v* /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/Caduceus*.v* ; \ rm -f /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/jessie*.v* /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/Jessie*.v* ; \ mkdir -p /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \ cp -f lib/coq/WhyInt.vo lib/coq/WhyArrays.vo lib/coq/WhyBool.vo lib/coq/WhyTuples.vo lib/coq/WhyPermut.vo lib/coq/WhyCoqCompat.vo lib/coq/WhySorted.vo lib/coq/WhyExn.vo lib/coq/WhyLemmas.vo lib/coq/WhyTactics.vo lib/coq/WhyPrelude.vo lib/coq/WhyCM.vo lib/coq/Why.vo lib/coq/WhyReal.vo lib/coq/jessie_why.vo lib/coq/WhyFloatsStrictLegacy.vo /build/buildd/why-2.33/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \ else \ echo "Cannot copy to Coq standard library. Add \"-R /build/buildd/why-2.33/debian/why/usr/share/why/coq Why\" to Coq options." ;\ fi Cannot copy to Coq standard library. Add "-R /build/buildd/why-2.33/debian/why/usr/share/why/coq Why" to Coq options. mkdir -p /build/buildd/why-2.33/debian/why/usr/share/why/coq cp -f lib/coq/WhyInt.vo lib/coq/WhyArrays.vo lib/coq/WhyBool.vo lib/coq/WhyTuples.vo lib/coq/WhyPermut.vo lib/coq/WhyCoqCompat.vo lib/coq/WhySorted.vo lib/coq/WhyExn.vo lib/coq/WhyLemmas.vo lib/coq/WhyTactics.vo lib/coq/WhyPrelude.vo lib/coq/WhyCM.vo lib/coq/Why.vo lib/coq/WhyReal.vo lib/coq/jessie_why.vo lib/coq/WhyFloatsStrictLegacy.vo /build/buildd/why-2.33/debian/why/usr/share/why/coq make[2]: Leaving directory `/build/buildd/why-2.33' #Used to remove /usr/share/coq/jessie_why.v which is alone and installed by libwhy-coq rm -f -rf /build/buildd/why-2.33/debian/why/usr/share/coq/ #There is no program using the Jessie library. rm -f -rf /build/buildd/why-2.33/debian/why/usr/share/jessie/ #Jessie.cma is installed, no need for this extra file rm -f -f /build/buildd/why-2.33/debian/why//Jessie.cmo echo 'F:CoqABI=8.4pl3+4.01.0' >> debian/libwhy-coq.substvars echo 'F:FramaCVersion=20130601+fluorine3+dfsg-2build1' >> debian/why.substvars make[1]: Leaving directory `/build/buildd/why-2.33' dh_ocamldoc -a dh_installdocs -a install -g 0 -o 0 -d debian/why/usr/share/doc/why cp -a README debian/why/usr/share/doc/why cp -a debian/README.source debian/why/usr/share/doc/why chown -R 0:0 debian/why/usr/share/doc chmod -R go=rX debian/why/usr/share/doc chmod -R u\+rw debian/why/usr/share/doc install -g 0 -o 0 -m 644 -p debian/copyright debian/why/usr/share/doc/why/copyright dh_installchangelogs -a install -o 0 -g 0 -p -m644 debian/changelog debian/why/usr/share/doc/why/changelog.Debian dh_installman -a install -p -m644 debian/why-cpulimit.1 debian/why/usr/share/man/man1/why-cpulimit.1 man --recode UTF-8 ./why\.1 > why\.1\.new chmod 644 why.1.new mv -f why.1.new why.1 man --recode UTF-8 ./why\-cpulimit\.1 > why\-cpulimit\.1\.new chmod 644 why-cpulimit.1.new mv -f why-cpulimit.1.new why-cpulimit.1 dh_perl -a dh_link -a rm -f debian/why/usr/share/man/man1/why-config.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/why-config.1.gz rm -f debian/why/usr/share/man/man1/tool-stat.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/tool-stat.1.gz rm -f debian/why/usr/share/man/man1/gwhy-bin.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/gwhy-bin.1.gz rm -f debian/why/usr/share/man/man1/krakatoa.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/krakatoa.1.gz rm -f debian/why/usr/share/man/man1/why2html.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/why2html.1.gz rm -f debian/why/usr/share/man/man1/why-stat.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/why-stat.1.gz rm -f debian/why/usr/share/man/man1/why-obfuscator.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/why-obfuscator.1.gz rm -f debian/why/usr/share/man/man1/simplify2why.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/simplify2why.1.gz rm -f debian/why/usr/share/man/man1/rv_merge.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/rv_merge.1.gz rm -f debian/why/usr/share/man/man1/jessie.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/jessie.1.gz rm -f debian/why/usr/share/man/man1/gwhy.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/gwhy.1.gz rm -f debian/why/usr/share/man/man1/why-dp.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/why-dp.1.gz rm -f debian/why/usr/share/man/man1/caduceus.1.gz ln -sf why.1.gz debian/why/usr/share/man/man1/caduceus.1.gz debian/rules override_dh_compress make[1]: Entering directory `/build/buildd/why-2.33' dh_compress -X.v -X.sx -X.why cd debian/why chmod a-x usr/share/man/man1/why.1 usr/share/man/man1/why-cpulimit.1 usr/share/doc/why/changelog.Debian gzip -9nf usr/share/man/man1/why.1 usr/share/man/man1/why-cpulimit.1 usr/share/doc/why/changelog.Debian cd '/build/buildd/why-2.33' make[1]: Leaving directory `/build/buildd/why-2.33' dh_fixperms -a find debian/why -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/why ! -type l -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/why/usr/share/doc -type f ! -regex 'debian/why/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 644 find debian/why/usr/share/doc -type d -print0 2>/dev/null | xargs -0r chmod 755 find debian/why/usr/share/man debian/why/usr/man/ debian/why/usr/X11*/man/ -type f -print0 2>/dev/null | xargs -0r chmod 644 find debian/why -perm -5 -type f \( -name '*.so.*' -or -name '*.so' -or -name '*.la' -or -name '*.a' \) -print0 2>/dev/null | xargs -0r chmod 644 find debian/why/usr/include -type f -print0 2>/dev/null | xargs -0r chmod 644 find debian/why/usr/share/applications -type f -print0 2>/dev/null | xargs -0r chmod 644 find debian/why -perm -5 -type f \( -name '*.cmxs' \) -print0 2>/dev/null | xargs -0r chmod 644 find debian/why/usr/lib/perl5 debian/why/usr/share/perl5 -type f -perm -5 -name '*.pm' -print0 2>/dev/null | xargs -0r chmod a-X find debian/why/usr/bin -type f -print0 2>/dev/null | xargs -0r chmod a+x find debian/why/usr/lib -type f -name '*.ali' -print0 2>/dev/null | xargs -0r chmod uga-w dh_strip -a dh_strip debug symbol extraction: not enabling -a because /CurrentlyBuilding exists dh_strip debug symbol extraction: all non-arch-all packages for this build platform armhf: why dh_strip debug symbol extraction: packages to act on: why dh_strip debug symbol extraction: ignored packages: dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe /usr/bin/pkg_create_dbgsym: building ddeb package dpkg-deb: building package `why-dbgsym' in `../why-dbgsym_2.33-2_armhf.ddeb'. strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/gwhy-bin strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/jessie strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/krakatoa strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/why-config strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/why2html strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/why-cpulimit strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/why-stat strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/rv_merge strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/tool-stat strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/why strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/simplify2why strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/why-dp strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/why-obfuscator 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/gwhy-bin debian/why/usr/bin/jessie debian/why/usr/bin/krakatoa debian/why/usr/bin/why-config debian/why/usr/bin/why2html debian/why/usr/bin/why-cpulimit debian/why/usr/bin/why-stat debian/why/usr/bin/rv_merge debian/why/usr/bin/tool-stat debian/why/usr/bin/why debian/why/usr/bin/simplify2why debian/why/usr/bin/why-dp debian/why/usr/bin/why-obfuscator dh_installdeb -a dh_ocaml -a +++ Remove former .olist.debhelper files +++ +++ Generate .olist.debhelper files +++ "cat debian/why.olist.debhelper" +++ 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 dh_gencontrol -a echo misc:Depends= >> debian/why.substvars dpkg-gencontrol -pwhy -ldebian/changelog -Tdebian/why.substvars -Pdebian/why dpkg-gencontrol: warning: Depends field of package why: unknown substitution variable ${ocaml:Depends} dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe chmod 644 debian/why/DEBIAN/control chown 0:0 debian/why/DEBIAN/control dh_md5sums -a (cd debian/why >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum > DEBIAN/md5sums) >/dev/null chmod 644 debian/why/DEBIAN/md5sums chown 0:0 debian/why/DEBIAN/md5sums dh_builddeb -a dpkg-deb --build debian/why .. INFO: pkgstriptranslations version 119 pkgstriptranslations: processing why (in debian/why); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/why/DEBIAN/control, package why, directory debian/why pkgstripfiles: Truncating usr/share/doc/why/changelog.Debian.gz to topmost ten records OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/pause-bw.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 2013 bytes Input file size = 2188 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1932 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1932 Output IDAT size = 1932 bytes (81 bytes decrease) Output file size = 2107 bytes (81 bytes = 3.70% decrease) 2107 2107 100% ./usr/share/why/images/pause-bw.png (Bigger 2111) 2107 2107 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/help-bw.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Reducing image to 8 bits/pixel, 60 colors (57 transparent) in palette Input IDAT size = 485 bytes Input file size = 613 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 255 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 ./usr/share/why/images/help-bw.png is already optimized. 613 432 70% ./usr/share/why/images/help-bw.png 613 432 70% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/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/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/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/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/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/bug-bw.png 32x32 pixels, 4x8 bits/pixel, RGB+alpha Input IDAT size = 1779 bytes Input file size = 1954 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 IDAT size = 1774 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 zc = 9 zm = 8 zs = 1 f = 1 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 zc = 9 zm = 8 zs = 1 f = 2 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 IDAT size = 1735 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1689 zc = 9 zm = 8 zs = 1 f = 5 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 Selecting parameters: zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 1689 Output IDAT size = 1689 bytes (90 bytes decrease) Output file size = 1864 bytes (90 bytes = 4.61% decrease) 1864 1809 97% ./usr/share/why/images/bug-bw.png 1864 1809 97% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/why-logo-1.png 577x124 pixels, 3x8 bits/pixel, RGB Input IDAT size = 14378 bytes Input file size = 14447 bytes Trying: zc = 9 zm = 8 zs = 0 f = 0 zc = 9 zm = 8 zs = 1 f = 0 zc = 1 zm = 8 zs = 2 f = 0 zc = 9 zm = 8 zs = 3 f = 0 zc = 9 zm = 8 zs = 0 f = 1 IDAT size = 14148 zc = 9 zm = 8 zs = 1 f = 1 IDAT size = 14109 zc = 1 zm = 8 zs = 2 f = 1 zc = 9 zm = 8 zs = 3 f = 1 zc = 9 zm = 8 zs = 0 f = 2 IDAT size = 14030 zc = 9 zm = 8 zs = 1 f = 2 IDAT size = 14010 zc = 1 zm = 8 zs = 2 f = 2 zc = 9 zm = 8 zs = 3 f = 2 IDAT size = 13754 zc = 9 zm = 8 zs = 0 f = 3 zc = 9 zm = 8 zs = 1 f = 3 zc = 1 zm = 8 zs = 2 f = 3 zc = 9 zm = 8 zs = 3 f = 3 zc = 9 zm = 8 zs = 0 f = 4 zc = 9 zm = 8 zs = 1 f = 4 zc = 1 zm = 8 zs = 2 f = 4 zc = 9 zm = 8 zs = 3 f = 4 zc = 9 zm = 8 zs = 0 f = 5 IDAT size = 13464 zc = 9 zm = 8 zs = 1 f = 5 IDAT size = 13360 zc = 1 zm = 8 zs = 2 f = 5 zc = 9 zm = 8 zs = 3 f = 5 IDAT size = 12914 Selecting parameters: zc = 9 zm = 8 zs = 3 f = 5 IDAT size = 12914 Output IDAT size = 12914 bytes (1464 bytes decrease) Output file size = 12971 bytes (1476 bytes = 10.22% decrease) 12971 12971 100% ./usr/share/why/images/why-logo-1.png (Bigger 16505) 12971 12971 100% OptiPNG 0.6.4: Advanced PNG optimizer. Copyright (C) 2001-2010 Cosmin Truta. ** Processing: ./usr/share/why/images/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/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/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/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/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/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/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 20 s dpkg-deb: warning: 'debian/why/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `why' in `../why_2.33-2_armhf.deb'. dpkg-genchanges -B -mUbuntu/armhf Build Daemon >../why_2.33-2_armhf.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build why-2.33 dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20140219-1242 Publishing debug debs. chroot-autobuild/build/buildd/why_2.33-2_armhf.deb: new debian package, version 2.0. size 3374638 bytes: control archive= 5581 bytes. 1036 bytes, 19 lines control 12831 bytes, 165 lines md5sums Package: why Version: 2.33-2 Architecture: armhf Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 15043 Depends: libc6 (>= 2.15), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10, libgtk2.0-0 (>= 2.24.0), libmpfr4 (>= 3.1.2), libpango-1.0-0 (>= 1.14.0), frama-c-base (= 20130601+fluorine3+dfsg-2build1), make Recommends: alt-ergo | cvc3 | coq Suggests: libwhy-coq (= 2.33-2) Section: math Priority: optional Homepage: http://why.lri.fr/ Description: Software verification tool Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey. chroot-autobuild/build/buildd/why_2.33-2_armhf.deb: drwxr-xr-x root/root 0 2014-02-19 12:41 ./ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/doc/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/doc/why/ -rw-r--r-- root/root 849 2014-02-17 07:41 ./usr/share/doc/why/README.source -rw-r--r-- root/root 3206 2013-04-20 06:34 ./usr/share/doc/why/README -rw-r--r-- root/root 3865 2014-02-17 07:41 ./usr/share/doc/why/copyright -rw-r--r-- root/root 1667 2014-02-19 12:41 ./usr/share/doc/why/changelog.Debian.gz drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/man/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/man/man1/ -rw-r--r-- root/root 405 2014-02-19 12:40 ./usr/share/man/man1/why.1.gz -rw-r--r-- root/root 364 2014-02-19 12:40 ./usr/share/man/man1/why-cpulimit.1.gz drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/java_api/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/java_api/java/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/java_api/java/io/ -rw-r--r-- root/root 1103 2014-02-19 12:40 ./usr/share/why/java_api/java/io/IOException.java -rw-r--r-- root/root 5152 2014-02-19 12:40 ./usr/share/why/java_api/java/io/FilterOutputStream.java -rw-r--r-- root/root 1932 2014-02-19 12:40 ./usr/share/why/java_api/java/io/FileNotFoundException.java -rw-r--r-- root/root 5082 2014-02-19 12:40 ./usr/share/why/java_api/java/io/OutputStream.java -rw-r--r-- root/root 7268 2014-02-19 12:40 ./usr/share/why/java_api/java/io/Reader.java -rw-r--r-- root/root 7104 2014-02-19 12:40 ./usr/share/why/java_api/java/io/BufferedWriter.java -rw-r--r-- root/root 5732 2014-02-19 12:40 ./usr/share/why/java_api/java/io/InputStreamReader.java -rw-r--r-- root/root 25753 2014-02-19 12:40 ./usr/share/why/java_api/java/io/StreamTokenizer.java -rw-r--r-- root/root 6788 2014-02-19 12:40 ./usr/share/why/java_api/java/io/OutputStreamWriter.java -rw-r--r-- root/root 2093 2014-02-19 12:40 ./usr/share/why/java_api/java/io/FileReader.java -rw-r--r-- root/root 4695 2014-02-19 12:40 ./usr/share/why/java_api/java/io/Serializable.java -rw-r--r-- root/root 64725 2014-02-19 12:40 ./usr/share/why/java_api/java/io/ObjectStreamClass.java -rw-r--r-- root/root 14881 2014-02-19 12:40 ./usr/share/why/java_api/java/io/InputStream.java -rw-r--r-- root/root 18130 2014-02-19 12:40 ./usr/share/why/java_api/java/io/PrintStream.java -rw-r--r-- root/root 3929 2014-02-19 12:40 ./usr/share/why/java_api/java/io/FileDescriptor.java -rw-r--r-- root/root 63721 2014-02-19 12:40 ./usr/share/why/java_api/java/io/File.java drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/java_api/java/util/ -rw-r--r-- root/root 34531 2014-02-19 12:40 ./usr/share/why/java_api/java/util/HashMap.java -rw-r--r-- root/root 23747 2014-02-19 12:40 ./usr/share/why/java_api/java/util/AbstractMap.java -rw-r--r-- root/root 785 2014-02-19 12:40 ./usr/share/why/java_api/java/util/HashMapIntegerLong.java -rw-r--r-- root/root 2165 2014-02-19 12:40 ./usr/share/why/java_api/java/util/Iterator.java -rw-r--r-- root/root 39 2014-02-19 12:40 ./usr/share/why/java_api/java/util/Locale.java -rw-r--r-- root/root 14662 2014-02-19 12:40 ./usr/share/why/java_api/java/util/Set.java -rw-r--r-- root/root 19069 2014-02-19 12:40 ./usr/share/why/java_api/java/util/Map.java -rw-r--r-- root/root 761 2014-02-19 12:40 ./usr/share/why/java_api/java/util/HashMapIntegerInteger.java -rw-r--r-- root/root 18850 2014-02-19 12:40 ./usr/share/why/java_api/java/util/Collection.java drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/ -rw-r--r-- root/root 893 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/IllegalArgumentException.java -rw-r--r-- root/root 23657 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/Object.java -rw-r--r-- root/root 26985 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/Throwable.java -rw-r--r-- root/root 74738 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/Character.java -rw-r--r-- root/root 37242 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/Math.java -rw-r--r-- root/root 1353 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/Cloneable.java -rw-r--r-- root/root 3067 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/CharSequence.java -rw-r--r-- root/root 38062 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/System.java -rw-r--r-- root/root 3072 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/Number.java -rw-r--r-- root/root 35750 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/Integer.java -rw-r--r-- root/root 89699 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/Class.java -rw-r--r-- root/root 1356 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/NumberFormatException.java -rw-r--r-- root/root 34165 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/Long.java -rw-r--r-- root/root 1028 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/ArrayStoreException.java -rw-r--r-- root/root 5730 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/Comparable.java -rw-r--r-- root/root 90665 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/String.java -rw-r--r-- root/root 50601 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/StringBuffer.java -rw-r--r-- root/root 2935 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/RuntimeException.java -rw-r--r-- root/root 2772 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/Exception.java -rw-r--r-- root/root 28832 2014-02-19 12:40 ./usr/share/why/java_api/java/lang/Double.java drwxr-xr-x root/root 0 2014-02-19 12:41 ./usr/share/why/images/ -rw-r--r-- root/root 2107 2014-02-19 12:40 ./usr/share/why/images/pause-bw.png -rw-r--r-- root/root 432 2014-02-19 12:41 ./usr/share/why/images/help-bw.png -rw-r--r-- root/root 1975 2014-02-19 12:40 ./usr/share/why/images/stop-bw.png -rw-r--r-- root/root 1975 2014-02-19 12:40 ./usr/share/why/images/stop32.png -rw-r--r-- root/root 2440 2014-02-19 12:40 ./usr/share/why/images/clock32.png -rw-r--r-- root/root 2098 2014-02-19 12:41 ./usr/share/why/images/play-bw.png -rw-r--r-- root/root 2098 2014-02-19 12:41 ./usr/share/why/images/play32.png -rw-r--r-- root/root 1809 2014-02-19 12:41 ./usr/share/why/images/bug-bw.png -rw-r--r-- root/root 12971 2014-02-19 12:40 ./usr/share/why/images/why-logo-1.png -rw-r--r-- root/root 2182 2014-02-19 12:40 ./usr/share/why/images/delete32.png -rw-r--r-- root/root 2107 2014-02-19 12:40 ./usr/share/why/images/pause32.png -rw-r--r-- root/root 1809 2014-02-19 12:41 ./usr/share/why/images/bug32.png -rw-r--r-- root/root 409 2014-02-19 12:41 ./usr/share/why/images/delete-bw.png -rw-r--r-- root/root 2180 2014-02-19 12:40 ./usr/share/why/images/help32.png -rw-r--r-- root/root 577 2014-02-19 12:41 ./usr/share/why/images/accept-bw.png -rw-r--r-- root/root 2277 2014-02-19 12:40 ./usr/share/why/images/accept32.png -rw-r--r-- root/root 452 2014-02-19 12:41 ./usr/share/why/images/clock-bw.png -rw-r--r-- root/root 6162 2014-02-19 12:41 ./usr/share/why/images/logo-why-small.png drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/javacard_api/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/javacard_api/java/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/javacard_api/java/lang/ -rw-r--r-- root/root 3513 2014-02-19 12:40 ./usr/share/why/javacard_api/java/lang/Object.java -rw-r--r-- root/root 482 2014-02-19 12:40 ./usr/share/why/javacard_api/java/lang/IndexOutOfBoundsException.java -rw-r--r-- root/root 1793 2014-02-19 12:40 ./usr/share/why/javacard_api/java/lang/Throwable.java -rw-r--r-- root/root 500 2014-02-19 12:40 ./usr/share/why/javacard_api/java/lang/ArrayIndexOutOfBoundsException.java -rw-r--r-- root/root 1758 2014-02-19 12:40 ./usr/share/why/javacard_api/java/lang/RuntimeException.java -rw-r--r-- root/root 1659 2014-02-19 12:40 ./usr/share/why/javacard_api/java/lang/Exception.java drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/javacard_api/com/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/javacard_api/com/sun/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/javacard_api/com/sun/javacard/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/javacard_api/com/sun/javacard/impl/ -rw-r--r-- root/root 65 2014-02-19 12:40 ./usr/share/why/javacard_api/com/sun/javacard/impl/NativeMethods.java -rw-r--r-- root/root 62 2014-02-19 12:40 ./usr/share/why/javacard_api/com/sun/javacard/impl/PrivAccess.java -rw-r--r-- root/root 64 2014-02-19 12:40 ./usr/share/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java -rw-r--r-- root/root 114 2014-02-19 12:40 ./usr/share/why/javacard_api/com/sun/javacard/impl/Constants.java drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/javacard_api/javacardx/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/javacard_api/javacardx/crypto/ -rw-r--r-- root/root 2970 2014-02-19 12:40 ./usr/share/why/javacard_api/javacardx/crypto/Cipher.java drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/ drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/ -rw-r--r-- root/root 10715 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/RSAPrivateCrtKey.java -rw-r--r-- root/root 4723 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/RSAPublicKey.java -rw-r--r-- root/root 18870 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/Signature.java -rw-r--r-- root/root 5796 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/KeyBuilder.java -rw-r--r-- root/root 1186 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/SecretKey.java -rw-r--r-- root/root 3257 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/RandomData.java -rw-r--r-- root/root 6928 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/DSAKey.java -rw-r--r-- root/root 2223 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/Key.java -rw-r--r-- root/root 3138 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/DESKey.java -rw-r--r-- root/root 6484 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/KeyPair.java -rw-r--r-- root/root 1190 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/PrivateKey.java -rw-r--r-- root/root 3305 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/DSAPrivateKey.java -rw-r--r-- root/root 5014 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/RSAPrivateKey.java -rw-r--r-- root/root 3308 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/DSAPublicKey.java -rw-r--r-- root/root 5038 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/MessageDigest.java -rw-r--r-- root/root 3820 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/CryptoException.java -rw-r--r-- root/root 1190 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/security/PublicKey.java drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/ -rw-r--r-- root/root 4779 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/ISO7816.java -rw-r--r-- root/root 14548 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/Applet.java -rw-r--r-- root/root 3306 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/CardRuntimeException.java -rw-r--r-- root/root 3167 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/CardException.java -rw-r--r-- root/root 4167 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/TransactionException.java -rw-r--r-- root/root 17202 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/Util.java -rw-r--r-- root/root 7395 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/AID.java -rw-r--r-- root/root 9040 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/Dispatcher.java -rw-r--r-- root/root 17345 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/JCSystem.java -rw-r--r-- root/root 38103 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/APDU.java -rw-r--r-- root/root 5358 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/PIN.java -rw-r--r-- root/root 4190 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/ISOException.java -rw-r--r-- root/root 3042 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/PINException.java -rw-r--r-- root/root 5011 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/APDUException.java -rw-r--r-- root/root 11618 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/OwnerPIN.java -rw-r--r-- root/root 4295 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/SystemException.java -rw-r--r-- root/root 3223 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/UserException.java -rw-r--r-- root/root 1565 2014-02-19 12:40 ./usr/share/why/javacard_api/javacard/framework/Shareable.java drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/why/ -rw-r--r-- root/root 28404 2014-02-19 12:40 ./usr/share/why/why/jessie.why -rw-r--r-- root/root 42399 2014-02-19 12:40 ./usr/share/why/why/floats_full.why -rw-r--r-- root/root 11421 2014-02-19 12:40 ./usr/share/why/why/floats_strict.why -rw-r--r-- root/root 0 2014-02-19 12:40 ./usr/share/why/why/mybag.why -rw-r--r-- root/root 2727 2014-02-19 12:40 ./usr/share/why/why/arrays.why -rw-r--r-- root/root 1534 2014-02-19 12:40 ./usr/share/why/why/integer.why -rw-r--r-- root/root 5816 2014-02-19 12:40 ./usr/share/why/why/real.why -rw-r--r-- root/root 202 2014-02-19 12:40 ./usr/share/why/why/mix.why -rw-r--r-- root/root 1376 2014-02-19 12:40 ./usr/share/why/why/divisions.why -rw-r--r-- root/root 6591 2014-02-19 12:40 ./usr/share/why/why/jessie_bitvectors.why -rw-r--r-- root/root 4483 2014-02-19 12:40 ./usr/share/why/why/floats_common.why -rw-r--r-- root/root 2642 2014-02-19 12:40 ./usr/share/why/why/prelude.why -rw-r--r-- root/root 12492 2014-02-19 12:40 ./usr/share/why/why/floats_multi_rounding.why -rw-r--r-- root/root 661 2014-02-19 12:40 ./usr/share/why/why/bool.why drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/coq/ -rw-r--r-- root/root 20153 2014-02-19 12:40 ./usr/share/why/coq/WhyPrelude.vo -rw-r--r-- root/root 20609 2014-02-19 12:40 ./usr/share/why/coq/WhyExn.vo -rw-r--r-- root/root 21018 2014-02-19 12:40 ./usr/share/why/coq/WhyArrays.vo -rw-r--r-- root/root 36417 2014-02-19 12:40 ./usr/share/why/coq/WhyCM.vo -rw-r--r-- root/root 13108 2014-02-19 12:40 ./usr/share/why/coq/WhyInt.vo -rw-r--r-- root/root 248101 2014-02-19 12:40 ./usr/share/why/coq/WhyFloatsStrictLegacy.vo -rw-r--r-- root/root 102360 2014-02-19 12:40 ./usr/share/why/coq/WhySorted.vo -rw-r--r-- root/root 97811 2014-02-19 12:40 ./usr/share/why/coq/jessie_why.vo -rw-r--r-- root/root 17414 2014-02-19 12:40 ./usr/share/why/coq/WhyReal.vo -rw-r--r-- root/root 23059 2014-02-19 12:40 ./usr/share/why/coq/WhyBool.vo -rw-r--r-- root/root 16944 2014-02-19 12:40 ./usr/share/why/coq/WhyTactics.vo -rw-r--r-- root/root 61405 2014-02-19 12:40 ./usr/share/why/coq/WhyTuples.vo -rw-r--r-- root/root 13253 2014-02-19 12:40 ./usr/share/why/coq/Why.vo -rw-r--r-- root/root 21227 2014-02-19 12:40 ./usr/share/why/coq/WhyLemmas.vo -rw-r--r-- root/root 12144 2014-02-19 12:40 ./usr/share/why/coq/WhyCoqCompat.vo -rw-r--r-- root/root 98634 2014-02-19 12:40 ./usr/share/why/coq/WhyPermut.vo drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/why3/ -rw-r--r-- root/root 2631 2014-02-19 12:40 ./usr/share/why/why3/jessie3_integer.why -rw-r--r-- root/root 344 2014-02-19 12:40 ./usr/share/why/why3/why3.conf -rw-r--r-- root/root 133 2014-02-19 12:40 ./usr/share/why/why3/coq.drv -rw-r--r-- root/root 19478 2014-02-19 12:40 ./usr/share/why/why3/jessie3.mlw -rw-r--r-- root/root 19703 2014-02-19 12:40 ./usr/share/why/why3/jessie3theories.why drwxr-xr-x root/root 0 2014-02-19 12:40 ./usr/share/why/emacs/ -rw-r--r-- root/root 4933 2014-02-19 12:40 ./usr/share/why/emacs/why.el drwxr-xr-x root/root 0 2014-02-19 12:41 ./usr/bin/ -rwxr-xr-x root/root 3264400 2014-02-19 12:41 ./usr/bin/gwhy-bin -rwxr-xr-x root/root 3246488 2014-02-19 12:41 ./usr/bin/jessie -rwxr-xr-x root/root 591 2014-02-19 12:40 ./usr/bin/gwhy -rwxr-xr-x root/root 1643308 2014-02-19 12:41 ./usr/bin/krakatoa -rwxr-xr-x root/root 354172 2014-02-19 12:41 ./usr/bin/why-config -rwxr-xr-x root/root 162560 2014-02-19 12:41 ./usr/bin/why2html -rwxr-xr-x root/root 5532 2014-02-19 12:41 ./usr/bin/why-cpulimit -rwxr-xr-x root/root 445592 2014-02-19 12:41 ./usr/bin/why-stat -rwxr-xr-x root/root 180772 2014-02-19 12:41 ./usr/bin/rv_merge -rwxr-xr-x root/root 392056 2014-02-19 12:41 ./usr/bin/tool-stat -rwxr-xr-x root/root 2056476 2014-02-19 12:41 ./usr/bin/why -rwxr-xr-x root/root 304256 2014-02-19 12:41 ./usr/bin/simplify2why -rwxr-xr-x root/root 441376 2014-02-19 12:41 ./usr/bin/why-dp -rwxr-xr-x root/root 557860 2014-02-19 12:41 ./usr/bin/why-obfuscator lrwxrwxrwx root/root 0 2014-02-19 12:40 ./usr/share/man/man1/why2html.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-19 12:40 ./usr/share/man/man1/gwhy-bin.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-19 12:40 ./usr/share/man/man1/why-stat.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-19 12:40 ./usr/share/man/man1/jessie.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-19 12:40 ./usr/share/man/man1/krakatoa.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-19 12:40 ./usr/share/man/man1/why-obfuscator.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-19 12:40 ./usr/share/man/man1/simplify2why.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-19 12:40 ./usr/share/man/man1/why-dp.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-19 12:40 ./usr/share/man/man1/rv_merge.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-19 12:40 ./usr/share/man/man1/tool-stat.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-19 12:40 ./usr/share/man/man1/why-config.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-19 12:40 ./usr/share/man/man1/gwhy.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2014-02-19 12:40 ./usr/share/man/man1/caduceus.1.gz -> why.1.gz why_2.33-2_armhf.changes: Format: 1.8 Date: Mon, 17 Feb 2014 08:40:19 +0100 Source: why Binary: why why-examples libwhy-coq Architecture: armhf Version: 2.33-2 Distribution: trusty-proposed Urgency: low Maintainer: Ubuntu/armhf Build Daemon Changed-By: Ralf Treinen Description: libwhy-coq - Why library for Coq why - Software verification tool why-examples - Examples of programs certified with Why Changes: why (2.33-2) unstable; urgency=low . * fixed typo in debian/tests/control (dependency of frama-c+jessie+alt-ergo) Checksums-Sha1: 4d1df199b2462475984e41532fcee884a235929a 3374638 why_2.33-2_armhf.deb Checksums-Sha256: 9cf063a24b78d4201bc8c1c8720cd5027d4b2ea1170a7b29b0ec1396cf4da996 3374638 why_2.33-2_armhf.deb Files: 1ac52a76af4298d8f4cbf41cee4a14a9 3374638 math optional why_2.33-2_armhf.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20140219-1242 Build needed 00:03:55, 127812k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-5616179'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-5616179/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-5616179'] Unmounting chroot for build PACKAGEBUILD-5616179... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-5616179'] Removing build PACKAGEBUILD-5616179