sbuild (Debian sbuild) 0.62.6 (07 Dec 2011) on build00.raspbian.lan ╔══════════════════════════════════════════════════════════════════════════════╗ ║ why 2.30+dfsg-5 (armhf) 31 May 2012 15:03 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: why Version: 2.30+dfsg-5 Source Version: 2.30+dfsg-5 Distribution: testing Architecture: armhf I: NOTICE: Log filtering will replace 'build/why-Tr7JLY/why-2.30+dfsg' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/why-Tr7JLY' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/testing-armhf-sbuild-3117aecc-a637-43f2-9ab0-ce1c62ccdb36' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Get:1 http://repo.raspbian.lan testing InRelease [3588 B] Get:2 http://repo.raspbian.lan testing/main Sources [5996 kB] Get:3 http://repo.raspbian.lan testing/main armhf Packages [6834 kB] Ign http://repo.raspbian.lan testing/main Translation-en Fetched 12.8 MB in 40s (316 kB/s) Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... NOTICE: 'why' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/pkg-ocaml-maint/packages/why.git Need to get 3247 kB of source archives. Get:1 http://repo.raspbian.lan/raspbian/ testing/main why 2.30+dfsg-5 (dsc) [1968 B] Get:2 http://repo.raspbian.lan/raspbian/ testing/main why 2.30+dfsg-5 (tar) [3234 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main why 2.30+dfsg-5 (diff) [11.4 kB] Fetched 3247 kB in 0s (3400 kB/s) Download complete and in download only mode Check arch ────────── Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/«BUILDDIR»/resolver-HMBvWR/apt_archive/sbuild-build-depends-core-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install core build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 1 newly installed, 0 to remove and 5 not upgraded. Need to get 0 B/706 B of archives. After this operation, 0 B of additional disk space will be used. Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 10648 files and directories currently installed.) Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), 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 (>= 20111001+nitrogen+dfsg-1~), libapron-ocaml-dev (>= 0.9.10-4~), camlidl Filtered Build-Depends: libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), 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 (>= 20111001+nitrogen+dfsg-1~), libapron-ocaml-dev (>= 0.9.10-4~), camlidl dpkg-deb: building package `sbuild-build-depends-why-dummy' in `/«BUILDDIR»/resolver-FMa7kh/apt_archive/sbuild-build-depends-why-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install why build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: adduser aspell aspell-en autoconf autotools-dev bsdmainutils camlidl camlp4 coq coq-theories dbus dbus-x11 debhelper dh-ocaml dictionaries-common dmsetup emacsen-common file fontconfig fontconfig-config frama-c-base gconf-service 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-pango-1.0 gnome-mime-data groff-base gvfs gvfs-common gvfs-daemons gvfs-libs html2text intltool-debian libapron libapron-dev libapron-ocaml libapron-ocaml-dev libart-2.0-2 libasound2 libaspell15 libatasmart4 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libavahi-glib1 libbluray1 libbonobo2-0 libbonobo2-common libbonoboui2-0 libbonoboui2-common libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcanberra0 libcap2 libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdevmapper1.02.1 libdrm2 libelf1 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfam0 libffi5 libfloat-coq libfontconfig1 libfontconfig1-dev libfontenc1 libfreetype6 libfreetype6-dev libgail18 libgconf-2-4 libgcrypt11 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgdu0 libgirepository-1.0-1 libgl1-mesa-glx libglade2-0 libglade2-dev libglapi-mesa 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-common libgnomecanvas2-0 libgnomecanvas2-common libgnomeui-0 libgnomeui-common libgnomevfs2-0 libgnomevfs2-common libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell-dev libgtkspell0 libgudev-1.0-0 libhunspell-1.3-0 libice-dev libice6 libidl0 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-gnome-ocaml liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml libldap-2.4-2 libltdl7 liblvm2app2.2 libmagic1 libmpfr-dev libncurses5-dev libocamlgraph-ocaml-dev libogg0 liborbit2 libp11-kit0 libpango1.0-0 libpango1.0-dev libparted0debian1 libpcre3 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-0 libpng12-dev libpolkit-gobject-1-0 libpopt0 libppl-c4 libppl0.11-dev libppl9 libpthread-stubs0 libpthread-stubs0-dev libpwl5 librsvg2-2 libsasl2-2 libsgutils2-2 libsm-dev libsm6 libsqlite3-0 libssl1.0.0 libsystemd-login0 libtasn1-3 libtdb1 libthai-data libthai0 libtiff4 libtinfo-dev libudev0 libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev libx11-xcb1 libxau-dev libxau6 libxaw7 libxcb-render0 libxcb-render0-dev libxcb-shape0 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 libxmu6 libxmuu1 libxpm4 libxrandr-dev libxrandr2 libxrender-dev libxrender1 libxt6 libxtst6 libxv1 libxxf86dga1 libxxf86vm1 m4 man-db mime-support ocaml-base-nox ocaml-interp ocaml-nox pkg-config po-debconf psmisc python python-minimal python2.7 python2.7-minimal shared-mime-info ttf-dejavu-core udev udisks x11-common x11-utils 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 ispell jed-extra gconf-defaults-service gettext-doc groff gvfs-backends libasound2-plugins libbluray-bdj libbonobo2-bin libcairo2-doc libcanberra-gtk0 libcanberra-pulse cups-common libenchant-voikko fam rng-tools glade glade-gnome libglib2.0-doc libgmp10-doc gnome-keyring desktop-base gnome-icon-theme libgnomevfs2-bin krb5-doc krb5-user 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 parted nparted libparted0-dev libparted0-i18n libppl-doc librsvg2-bin sg3-utils libsm-doc libxcb-doc libxext-doc less www-browser libgdbm-dev tuareg-mode ocaml-mode libmail-box-perl python-doc python-tk python2.7-doc binfmt-support xfsprogs reiserfsprogs mdadm cryptsetup mesa-utils Recommended packages: automake automaken alt-ergo libwhy-coq curl wget lynx-cur autopoint policykit-1-gnome libaacs0 enchant libgl1-mesa-dri libgnomevfs2-extra hicolor-icon-theme libgtk2.0-bin hunspell-en-us hunspell-dictionary myspell-dictionary krb5-locales liblablgtk2-ocaml-doc ocaml-findlib libsasl2-modules libx11-doc xml-core libmail-sendmail-perl usbutils pciutils policykit-1 hdparm dosfstools mtools ntfs-3g eject The following NEW packages will be installed: adduser aspell aspell-en autoconf autotools-dev bsdmainutils camlidl camlp4 coq coq-theories dbus dbus-x11 debhelper dh-ocaml dictionaries-common dmsetup emacsen-common file fontconfig fontconfig-config frama-c-base gconf-service 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-pango-1.0 gnome-mime-data groff-base gvfs gvfs-common gvfs-daemons gvfs-libs html2text intltool-debian libapron libapron-dev libapron-ocaml libapron-ocaml-dev libart-2.0-2 libasound2 libaspell15 libatasmart4 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libavahi-glib1 libbluray1 libbonobo2-0 libbonobo2-common libbonoboui2-0 libbonoboui2-common libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcanberra0 libcap2 libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-1-3 libdbus-glib-1-2 libdevmapper1.02.1 libdrm2 libelf1 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfam0 libffi5 libfloat-coq libfontconfig1 libfontconfig1-dev libfontenc1 libfreetype6 libfreetype6-dev libgail18 libgconf-2-4 libgcrypt11 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgdu0 libgirepository-1.0-1 libgl1-mesa-glx libglade2-0 libglade2-dev libglapi-mesa 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-common libgnomecanvas2-0 libgnomecanvas2-common libgnomeui-0 libgnomeui-common libgnomevfs2-0 libgnomevfs2-common libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtkspell-dev libgtkspell0 libgudev-1.0-0 libhunspell-1.3-0 libice-dev libice6 libidl0 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-gnome-ocaml liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml libldap-2.4-2 libltdl7 liblvm2app2.2 libmagic1 libmpfr-dev libncurses5-dev libocamlgraph-ocaml-dev libogg0 liborbit2 libp11-kit0 libpango1.0-0 libpango1.0-dev libparted0debian1 libpcre3 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-0 libpng12-dev libpolkit-gobject-1-0 libpopt0 libppl-c4 libppl0.11-dev libppl9 libpthread-stubs0 libpthread-stubs0-dev libpwl5 librsvg2-2 libsasl2-2 libsgutils2-2 libsm-dev libsm6 libsqlite3-0 libssl1.0.0 libsystemd-login0 libtasn1-3 libtdb1 libthai-data libthai0 libtiff4 libtinfo-dev libudev0 libunistring0 libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev libx11-xcb1 libxau-dev libxau6 libxaw7 libxcb-render0 libxcb-render0-dev libxcb-shape0 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 libxmu6 libxmuu1 libxpm4 libxrandr-dev libxrandr2 libxrender-dev libxrender1 libxt6 libxtst6 libxv1 libxxf86dga1 libxxf86vm1 m4 man-db mime-support ocaml-base-nox ocaml-interp ocaml-nox pkg-config po-debconf psmisc python python-minimal python2.7 python2.7-minimal sbuild-build-depends-why-dummy shared-mime-info ttf-dejavu-core udev udisks x11-common x11-utils 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, 268 newly installed, 0 to remove and 5 not upgraded. Need to get 48.0 MB/208 MB of archives. After this operation, 677 MB of additional disk space will be used. Get:1 http://repo.raspbian.lan/raspbian/ testing/main libgail18 armhf 2.24.10-1 [482 kB] Get:2 http://repo.raspbian.lan/raspbian/ testing/main libppl9 armhf 0.11.2-6 [477 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main libpwl5 armhf 0.11.2-6 [28.9 kB] Get:4 http://repo.raspbian.lan/raspbian/ testing/main libppl-c4 armhf 0.11.2-6 [907 kB] Get:5 http://repo.raspbian.lan/raspbian/ testing/main camlidl armhf 1.05-14 [114 kB] Get:6 http://repo.raspbian.lan/raspbian/ testing/main libart-2.0-2 armhf 2.3.21-1 [62.7 kB] Get:7 http://repo.raspbian.lan/raspbian/ testing/main libgnomecanvas2-common all 2.30.3-1 [177 kB] Get:8 http://repo.raspbian.lan/raspbian/ testing/main libgnomecanvas2-0 armhf 2.30.3-1 [114 kB] Get:9 http://repo.raspbian.lan/raspbian/ testing/main libbonoboui2-common all 2.24.3-1 [401 kB] Get:10 http://repo.raspbian.lan/raspbian/ testing/main libbonoboui2-0 armhf 2.24.3-1 [217 kB] Get:11 http://repo.raspbian.lan/raspbian/ testing/main libgnomeui-common all 2.24.5-2 [863 kB] Get:12 http://repo.raspbian.lan/raspbian/ testing/main libgnomeui-0 armhf 2.24.5-2 [345 kB] Get:13 http://repo.raspbian.lan/raspbian/ testing/main liblablgtk2-gnome-ocaml armhf 2.14.2+dfsg-2 [52.8 kB] Get:14 http://repo.raspbian.lan/raspbian/ testing/main libgtksourceview2.0-common all 2.10.4-1 [929 kB] Get:15 http://repo.raspbian.lan/raspbian/ testing/main libgtksourceview2.0-0 armhf 2.10.4-1 [202 kB] Get:16 http://repo.raspbian.lan/raspbian/ testing/main liblablgtksourceview2-ocaml armhf 2.14.2+dfsg-2 [47.4 kB] Get:17 http://repo.raspbian.lan/raspbian/ testing/main frama-c-base armhf 20111001+nitrogen+dfsg-4 [19.0 MB] Get:18 http://repo.raspbian.lan/raspbian/ testing/main libapron armhf 0.9.10-5.2 [613 kB] Get:19 http://repo.raspbian.lan/raspbian/ testing/main libgmp3-dev armhf 2:5.0.5+dfsg-1.1 [13.6 kB] Get:20 http://repo.raspbian.lan/raspbian/ testing/main libmpfr-dev armhf 3.1.0-5 [593 kB] Get:21 http://repo.raspbian.lan/raspbian/ testing/main libppl0.11-dev armhf 0.11.2-6 [2469 kB] Get:22 http://repo.raspbian.lan/raspbian/ testing/main libapron-dev all 0.9.10-5.2 [197 kB] Get:23 http://repo.raspbian.lan/raspbian/ testing/main libapron-ocaml armhf 0.9.10-5.2 [70.1 kB] Get:24 http://repo.raspbian.lan/raspbian/ testing/main libapron-ocaml-dev armhf 0.9.10-5.2 [2956 kB] Get:25 http://repo.raspbian.lan/raspbian/ testing/main libfloat-coq all 1:8.3pl1-3 [16.6 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 48.0 MB in 15s (3064 kB/s) Selecting previously unselected package libpcre3:armhf. (Reading database ... 10648 files and directories currently installed.) Unpacking libpcre3:armhf (from .../libpcre3_1%3a8.30-5_armhf.deb) ... Selecting previously unselected package libpipeline1:armhf. Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.1-1_armhf.deb) ... Selecting previously unselected package libpopt0:armhf. Unpacking libpopt0:armhf (from .../libpopt0_1.16-4_armhf.deb) ... Selecting previously unselected package libssl1.0.0:armhf. Unpacking libssl1.0.0:armhf (from .../libssl1.0.0_1.0.1c-1_armhf.deb) ... Selecting previously unselected package libudev0:armhf. Unpacking libudev0:armhf (from .../libudev0_175-3.1_armhf.deb) ... Selecting previously unselected package udev. Unpacking udev (from .../udev_175-3.1_armhf.deb) ... Selecting previously unselected package libgpg-error0:armhf. Unpacking libgpg-error0:armhf (from .../libgpg-error0_1.10-3_armhf.deb) ... Selecting previously unselected package libgcrypt11:armhf. Unpacking libgcrypt11:armhf (from .../libgcrypt11_1.5.0-3_armhf.deb) ... Selecting previously unselected package libp11-kit0:armhf. Unpacking libp11-kit0:armhf (from .../libp11-kit0_0.12-3_armhf.deb) ... Selecting previously unselected package libtasn1-3:armhf. Unpacking libtasn1-3:armhf (from .../libtasn1-3_2.12-1_armhf.deb) ... Selecting previously unselected package libgnutls26:armhf. Unpacking libgnutls26:armhf (from .../libgnutls26_2.12.19-1_armhf.deb) ... Selecting previously unselected package libkeyutils1:armhf. Unpacking libkeyutils1:armhf (from .../libkeyutils1_1.5.5-2_armhf.deb) ... Selecting previously unselected package libkrb5support0:armhf. Unpacking libkrb5support0:armhf (from .../libkrb5support0_1.10.1+dfsg-1_armhf.deb) ... Selecting previously unselected package libk5crypto3:armhf. Unpacking libk5crypto3:armhf (from .../libk5crypto3_1.10.1+dfsg-1_armhf.deb) ... Selecting previously unselected package libkrb5-3:armhf. Unpacking libkrb5-3:armhf (from .../libkrb5-3_1.10.1+dfsg-1_armhf.deb) ... Selecting previously unselected package libgssapi-krb5-2:armhf. Unpacking libgssapi-krb5-2:armhf (from .../libgssapi-krb5-2_1.10.1+dfsg-1_armhf.deb) ... Selecting previously unselected package libsasl2-2:armhf. Unpacking libsasl2-2:armhf (from .../libsasl2-2_2.1.25.dfsg1-4_armhf.deb) ... Selecting previously unselected package libldap-2.4-2:armhf. Unpacking libldap-2.4-2:armhf (from .../libldap-2.4-2_2.4.28-1.1+rpi1_armhf.deb) ... Selecting previously unselected package libmagic1:armhf. Unpacking libmagic1:armhf (from .../libmagic1_5.11-1_armhf.deb) ... Selecting previously unselected package libsqlite3-0:armhf. Unpacking libsqlite3-0:armhf (from .../libsqlite3-0_3.7.11-3_armhf.deb) ... Selecting previously unselected package libxml2:armhf. Unpacking libxml2:armhf (from .../libxml2_2.7.8.dfsg-9.1_armhf.deb) ... Selecting previously unselected package libasound2:armhf. Unpacking libasound2:armhf (from .../libasound2_1.0.25-2_armhf.deb) ... Selecting previously unselected package libatasmart4:armhf. Unpacking libatasmart4:armhf (from .../libatasmart4_0.18-3_armhf.deb) ... Selecting previously unselected package libffi5:armhf. Unpacking libffi5:armhf (from .../libffi5_3.0.10-3+b3_armhf.deb) ... Selecting previously unselected package libglib2.0-0:armhf. Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.32.3-1_armhf.deb) ... Selecting previously unselected package libatk1.0-data. Unpacking libatk1.0-data (from .../libatk1.0-data_2.4.0-2_all.deb) ... Selecting previously unselected package libatk1.0-0:armhf. Unpacking libatk1.0-0:armhf (from .../libatk1.0-0_2.4.0-2_armhf.deb) ... Selecting previously unselected package libavahi-common-data:armhf. Unpacking libavahi-common-data:armhf (from .../libavahi-common-data_0.6.31-1_armhf.deb) ... Selecting previously unselected package libavahi-common3:armhf. Unpacking libavahi-common3:armhf (from .../libavahi-common3_0.6.31-1_armhf.deb) ... Selecting previously unselected package libdbus-1-3:armhf. Unpacking libdbus-1-3:armhf (from .../libdbus-1-3_1.5.12-1_armhf.deb) ... Selecting previously unselected package libavahi-client3:armhf. Unpacking libavahi-client3:armhf (from .../libavahi-client3_0.6.31-1_armhf.deb) ... Selecting previously unselected package libavahi-glib1:armhf. Unpacking libavahi-glib1:armhf (from .../libavahi-glib1_0.6.31-1_armhf.deb) ... Selecting previously unselected package libbluray1:armhf. Unpacking libbluray1:armhf (from .../libbluray1_1%3a0.2.2-1_armhf.deb) ... Selecting previously unselected package libexpat1:armhf. Unpacking libexpat1:armhf (from .../libexpat1_2.1.0-1_armhf.deb) ... Selecting previously unselected package libfreetype6:armhf. Unpacking libfreetype6:armhf (from .../libfreetype6_2.4.9-1_armhf.deb) ... Selecting previously unselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-2_all.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.9.0-5_all.deb) ... Selecting previously unselected package libfontconfig1:armhf. Unpacking libfontconfig1:armhf (from .../libfontconfig1_2.9.0-5_armhf.deb) ... Selecting previously unselected package libpixman-1-0:armhf. Unpacking libpixman-1-0:armhf (from .../libpixman-1-0_0.24.4-1_armhf.deb) ... Selecting previously unselected package libpng12-0:armhf. Unpacking libpng12-0:armhf (from .../libpng12-0_1.2.49-1_armhf.deb) ... Selecting previously unselected package libxau6:armhf. Unpacking libxau6:armhf (from .../libxau6_1%3a1.0.7-1_armhf.deb) ... Selecting previously unselected package libxdmcp6:armhf. Unpacking libxdmcp6:armhf (from .../libxdmcp6_1%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package libxcb1:armhf. Unpacking libxcb1:armhf (from .../libxcb1_1.8.1-1_armhf.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.4.99.901-2_all.deb) ... Selecting previously unselected package libx11-6:armhf. Unpacking libx11-6:armhf (from .../libx11-6_2%3a1.4.99.901-2_armhf.deb) ... Selecting previously unselected package libxcb-render0:armhf. Unpacking libxcb-render0:armhf (from .../libxcb-render0_1.8.1-1_armhf.deb) ... Selecting previously unselected package libxcb-shm0:armhf. Unpacking libxcb-shm0:armhf (from .../libxcb-shm0_1.8.1-1_armhf.deb) ... Selecting previously unselected package libxrender1:armhf. Unpacking libxrender1:armhf (from .../libxrender1_1%3a0.9.7-1_armhf.deb) ... Selecting previously unselected package libcairo2:armhf. Unpacking libcairo2:armhf (from .../libcairo2_1.12.2-1_armhf.deb) ... Selecting previously unselected package libcairo-gobject2:armhf. Unpacking libcairo-gobject2:armhf (from .../libcairo-gobject2_1.12.2-1_armhf.deb) ... Selecting previously unselected package libcairo-script-interpreter2:armhf. Unpacking libcairo-script-interpreter2:armhf (from .../libcairo-script-interpreter2_1.12.2-1_armhf.deb) ... Selecting previously unselected package libltdl7:armhf. Unpacking libltdl7:armhf (from .../libltdl7_2.4.2-1+b2_armhf.deb) ... Selecting previously unselected package libogg0:armhf. Unpacking libogg0:armhf (from .../libogg0_1.2.2~dfsg-1.1_armhf.deb) ... Selecting previously unselected package libtdb1:armhf. Unpacking libtdb1:armhf (from .../libtdb1_1.2.10-2_armhf.deb) ... Selecting previously unselected package libvorbis0a:armhf. Unpacking libvorbis0a:armhf (from .../libvorbis0a_1.3.2-1.3_armhf.deb) ... Selecting previously unselected package libvorbisfile3:armhf. Unpacking libvorbisfile3:armhf (from .../libvorbisfile3_1.3.2-1.3_armhf.deb) ... Selecting previously unselected package libcanberra0:armhf. Unpacking libcanberra0:armhf (from .../libcanberra0_0.28-4_armhf.deb) ... Selecting previously unselected package libcroco3:armhf. Unpacking libcroco3:armhf (from .../libcroco3_0.6.5-1_armhf.deb) ... Selecting previously unselected package libcups2:armhf. Unpacking libcups2:armhf (from .../libcups2_1.5.3-1_armhf.deb) ... Selecting previously unselected package libdatrie1:armhf. Unpacking libdatrie1:armhf (from .../libdatrie1_0.2.5-3_armhf.deb) ... Selecting previously unselected package libdbus-glib-1-2:armhf. Unpacking libdbus-glib-1-2:armhf (from .../libdbus-glib-1-2_0.98-1_armhf.deb) ... Selecting previously unselected package libdrm2:armhf. Unpacking libdrm2:armhf (from .../libdrm2_2.4.33-1_armhf.deb) ... Selecting previously unselected package libfontenc1:armhf. Unpacking libfontenc1:armhf (from .../libfontenc1_1%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package libthai-data. Unpacking libthai-data (from .../libthai-data_0.1.17-1_all.deb) ... Selecting previously unselected package libthai0:armhf. Unpacking libthai0:armhf (from .../libthai0_0.1.17-1_armhf.deb) ... Selecting previously unselected package libxft2:armhf. Unpacking libxft2:armhf (from .../libxft2_2.2.0-3_armhf.deb) ... Selecting previously unselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.9.0-5_armhf.deb) ... Selecting previously unselected package libpango1.0-0:armhf. Unpacking libpango1.0-0:armhf (from .../libpango1.0-0_1.30.0-1_armhf.deb) ... Selecting previously unselected package libgtk2.0-common. Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.10-1_all.deb) ... Selecting previously unselected package libjpeg8:armhf. Unpacking libjpeg8:armhf (from .../libjpeg8_8d-1_armhf.deb) ... Selecting previously unselected package libjasper1:armhf. Unpacking libjasper1:armhf (from .../libjasper1_1.900.1-13_armhf.deb) ... Selecting previously unselected package libjbig0:armhf. Unpacking libjbig0:armhf (from .../libjbig0_2.0-2_armhf.deb) ... Selecting previously unselected package libtiff4:armhf. Unpacking libtiff4:armhf (from .../libtiff4_3.9.6-5_armhf.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.26.1-1_all.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-0:armhf. Unpacking libgdk-pixbuf2.0-0:armhf (from .../libgdk-pixbuf2.0-0_2.26.1-1_armhf.deb) ... Selecting previously unselected package libxcomposite1:armhf. Unpacking libxcomposite1:armhf (from .../libxcomposite1_1%3a0.4.3-2_armhf.deb) ... Selecting previously unselected package libxfixes3:armhf. Unpacking libxfixes3:armhf (from .../libxfixes3_1%3a5.0-4_armhf.deb) ... Selecting previously unselected package libxcursor1:armhf. Unpacking libxcursor1:armhf (from .../libxcursor1_1%3a1.1.13-1_armhf.deb) ... Selecting previously unselected package libxdamage1:armhf. Unpacking libxdamage1:armhf (from .../libxdamage1_1%3a1.1.3-2_armhf.deb) ... Selecting previously unselected package libxext6:armhf. Unpacking libxext6:armhf (from .../libxext6_2%3a1.3.1-2_armhf.deb) ... Selecting previously unselected package libxi6:armhf. Unpacking libxi6:armhf (from .../libxi6_2%3a1.6.0-1_armhf.deb) ... Selecting previously unselected package libxinerama1:armhf. Unpacking libxinerama1:armhf (from .../libxinerama1_2%3a1.1.2-1_armhf.deb) ... Selecting previously unselected package libxrandr2:armhf. Unpacking libxrandr2:armhf (from .../libxrandr2_2%3a1.3.2-2_armhf.deb) ... Selecting previously unselected package shared-mime-info. Unpacking shared-mime-info (from .../shared-mime-info_0.90-1.1_armhf.deb) ... Selecting previously unselected package libgtk2.0-0:armhf. Unpacking libgtk2.0-0:armhf (from .../libgtk2.0-0_2.24.10-1_armhf.deb) ... Selecting previously unselected package libgail18:armhf. Unpacking libgail18:armhf (from .../libgail18_2.24.10-1_armhf.deb) ... Selecting previously unselected package gconf2-common. Unpacking gconf2-common (from .../gconf2-common_3.2.5-1_all.deb) ... Selecting previously unselected package libgconf-2-4:armhf. Unpacking libgconf-2-4:armhf (from .../libgconf-2-4_3.2.5-1_armhf.deb) ... Selecting previously unselected package libglapi-mesa:armhf. Unpacking libglapi-mesa:armhf (from .../libglapi-mesa_7.11.2-1_armhf.deb) ... Selecting previously unselected package libxxf86vm1:armhf. Unpacking libxxf86vm1:armhf (from .../libxxf86vm1_1%3a1.1.2-1_armhf.deb) ... Selecting previously unselected package libgl1-mesa-glx:armhf. Unpacking libgl1-mesa-glx:armhf (from .../libgl1-mesa-glx_7.11.2-1_armhf.deb) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Unpacking libgmpxx4ldbl:armhf (from .../libgmpxx4ldbl_2%3a5.0.5+dfsg-1.1_armhf.deb) ... Selecting previously unselected package libgnome-keyring-common. Unpacking libgnome-keyring-common (from .../libgnome-keyring-common_3.4.1-1_all.deb) ... Selecting previously unselected package libgnome-keyring0:armhf. Unpacking libgnome-keyring0:armhf (from .../libgnome-keyring0_3.4.1-1_armhf.deb) ... Selecting previously unselected package libgudev-1.0-0:armhf. Unpacking libgudev-1.0-0:armhf (from .../libgudev-1.0-0_175-3.1_armhf.deb) ... Selecting previously unselected package libhunspell-1.3-0:armhf. Unpacking libhunspell-1.3-0:armhf (from .../libhunspell-1.3-0_1.3.2-4_armhf.deb) ... Selecting previously unselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.6+13_all.deb) ... Selecting previously unselected package libice6:armhf. Unpacking libice6:armhf (from .../libice6_2%3a1.0.8-2_armhf.deb) ... Selecting previously unselected package dmsetup. Unpacking dmsetup (from .../dmsetup_2%3a1.02.67-2_armhf.deb) ... Selecting previously unselected package libdevmapper1.02.1. Unpacking libdevmapper1.02.1 (from .../libdevmapper1.02.1_2%3a1.02.67-2_armhf.deb) ... Selecting previously unselected package libparted0debian1:armhf. Unpacking libparted0debian1:armhf (from .../libparted0debian1_2.3-9.1_armhf.deb) ... Selecting previously unselected package libpcrecpp0:armhf. Unpacking libpcrecpp0:armhf (from .../libpcrecpp0_1%3a8.30-5_armhf.deb) ... Selecting previously unselected package libpolkit-gobject-1-0:armhf. Unpacking libpolkit-gobject-1-0:armhf (from .../libpolkit-gobject-1-0_0.104-2_armhf.deb) ... Selecting previously unselected package libppl9:armhf. Unpacking libppl9:armhf (from .../libppl9_0.11.2-6_armhf.deb) ... Selecting previously unselected package libpwl5:armhf. Unpacking libpwl5:armhf (from .../libpwl5_0.11.2-6_armhf.deb) ... Selecting previously unselected package libppl-c4:armhf. Unpacking libppl-c4:armhf (from .../libppl-c4_0.11.2-6_armhf.deb) ... Selecting previously unselected package librsvg2-2:armhf. Unpacking librsvg2-2:armhf (from .../librsvg2-2_2.36.1-1_armhf.deb) ... Selecting previously unselected package libsm6:armhf. Unpacking libsm6:armhf (from .../libsm6_2%3a1.2.1-2_armhf.deb) ... Selecting previously unselected package libunistring0:armhf. Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ... Selecting previously unselected package libx11-xcb1:armhf. Unpacking libx11-xcb1:armhf (from .../libx11-xcb1_2%3a1.4.99.901-2_armhf.deb) ... Selecting previously unselected package libxt6:armhf. Unpacking libxt6:armhf (from .../libxt6_1%3a1.1.3-1_armhf.deb) ... Selecting previously unselected package libxmu6:armhf. Unpacking libxmu6:armhf (from .../libxmu6_2%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package libxpm4:armhf. Unpacking libxpm4:armhf (from .../libxpm4_1%3a3.5.10-1_armhf.deb) ... Selecting previously unselected package libxaw7:armhf. Unpacking libxaw7:armhf (from .../libxaw7_2%3a1.0.10-2_armhf.deb) ... Selecting previously unselected package libxcb-shape0:armhf. Unpacking libxcb-shape0:armhf (from .../libxcb-shape0_1.8.1-1_armhf.deb) ... Selecting previously unselected package libxmuu1:armhf. Unpacking libxmuu1:armhf (from .../libxmuu1_2%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package libxtst6:armhf. Unpacking libxtst6:armhf (from .../libxtst6_2%3a1.2.1-1_armhf.deb) ... Selecting previously unselected package libxv1:armhf. Unpacking libxv1:armhf (from .../libxv1_2%3a1.0.7-1_armhf.deb) ... Selecting previously unselected package adduser. Unpacking adduser (from .../adduser_3.113+nmu2_all.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.2_armhf.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-7_armhf.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.1-2_armhf.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.11-1_armhf.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-5+rpi1_armhf.deb) ... Selecting previously unselected package libcap2. Unpacking libcap2 (from .../libcap2_1%3a2.22-1_armhf.deb) ... Selecting previously unselected package m4. Unpacking m4 (from .../archives/m4_1.4.16-3_armhf.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.52-1_all.deb) ... Selecting previously unselected package python2.7-minimal. Unpacking python2.7-minimal (from .../python2.7-minimal_2.7.3~rc2-2.1_armhf.deb) ... Selecting previously unselected package python2.7. Unpacking python2.7 (from .../python2.7_2.7.3~rc2-2.1_armhf.deb) ... Selecting previously unselected package python-minimal. Unpacking python-minimal (from .../python-minimal_2.7.2-10_all.deb) ... Selecting previously unselected package python. Unpacking python (from .../python_2.7.2-10_all.deb) ... Selecting previously unselected package libaspell15. Unpacking libaspell15 (from .../libaspell15_0.60.7~20110707-1_armhf.deb) ... Selecting previously unselected package dictionaries-common. Unpacking dictionaries-common (from .../dictionaries-common_1.12.7_all.deb) ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Selecting previously unselected package aspell. Unpacking aspell (from .../aspell_0.60.7~20110707-1_armhf.deb) ... Selecting previously unselected package aspell-en. Unpacking aspell-en (from .../aspell-en_7.1-0-1_all.deb) ... Selecting previously unselected package autoconf. Unpacking autoconf (from .../autoconf_2.69-1_all.deb) ... Selecting previously unselected package autotools-dev. Unpacking autotools-dev (from .../autotools-dev_20120210.1_all.deb) ... Selecting previously unselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-3_armhf.deb) ... Selecting previously unselected package libtinfo-dev:armhf. Unpacking libtinfo-dev:armhf (from .../libtinfo-dev_5.9-7_armhf.deb) ... Selecting previously unselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-7_armhf.deb) ... Selecting previously unselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_3.12.1-3_armhf.deb) ... Selecting previously unselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.12.1-3_armhf.deb) ... Selecting previously unselected package camlidl. Unpacking camlidl (from .../camlidl_1.05-14_armhf.deb) ... Selecting previously unselected package camlp4. Unpacking camlp4 (from .../camlp4_3.12.1-3_armhf.deb) ... Selecting previously unselected package coq-theories. Unpacking coq-theories (from .../coq-theories_8.3.pl4+dfsg-1_all.deb) ... Selecting previously unselected package emacsen-common. Unpacking emacsen-common (from .../emacsen-common_1.4.23_all.deb) ... Selecting previously unselected package libglade2-0. Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1_armhf.deb) ... Selecting previously unselected package libenchant1c2a. Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-7_armhf.deb) ... Selecting previously unselected package libgtkspell0. Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1_armhf.deb) ... Selecting previously unselected package liblablgtk2-ocaml. Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.2+dfsg-2_armhf.deb) ... Selecting previously unselected package libcoq-ocaml. Unpacking libcoq-ocaml (from .../libcoq-ocaml_8.3.pl4+dfsg-1_armhf.deb) ... Selecting previously unselected package coq. Unpacking coq (from .../coq_8.3.pl4+dfsg-1_armhf.deb) ... Selecting previously unselected package libsystemd-login0. Unpacking libsystemd-login0 (from .../libsystemd-login0_37-1.1_armhf.deb) ... Selecting previously unselected package dbus. Unpacking dbus (from .../dbus_1.5.12-1_armhf.deb) ... Selecting previously unselected package dbus-x11. Unpacking dbus-x11 (from .../dbus-x11_1.5.12-1_armhf.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_armhf.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-5+rpi1_armhf.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120419_all.deb) ... Selecting previously unselected package gconf-service. Unpacking gconf-service (from .../gconf-service_3.2.5-1_armhf.deb) ... Selecting previously unselected package libart-2.0-2. Unpacking libart-2.0-2 (from .../libart-2.0-2_2.3.21-1_armhf.deb) ... Selecting previously unselected package libbonobo2-common. Unpacking libbonobo2-common (from .../libbonobo2-common_2.24.3-1_all.deb) ... Selecting previously unselected package libidl0. Unpacking libidl0 (from .../libidl0_0.8.14-0.2_armhf.deb) ... Selecting previously unselected package liborbit2. Unpacking liborbit2 (from .../liborbit2_1%3a2.14.19-0.1_armhf.deb) ... Selecting previously unselected package libbonobo2-0. Unpacking libbonobo2-0 (from .../libbonobo2-0_2.24.3-1_armhf.deb) ... Selecting previously unselected package libfam0. Unpacking libfam0 (from .../libfam0_2.7.0-17_armhf.deb) ... Selecting previously unselected package psmisc. Unpacking psmisc (from .../psmisc_22.16-1_armhf.deb) ... Selecting previously unselected package gconf2. Unpacking gconf2 (from .../gconf2_3.2.5-1_armhf.deb) ... Selecting previously unselected package gnome-mime-data. Unpacking gnome-mime-data (from .../gnome-mime-data_2.18.0-1_all.deb) ... Selecting previously unselected package libgnomevfs2-common. Unpacking libgnomevfs2-common (from .../libgnomevfs2-common_1%3a2.24.4-1_all.deb) ... Selecting previously unselected package libgnomevfs2-0. Unpacking libgnomevfs2-0 (from .../libgnomevfs2-0_1%3a2.24.4-1_armhf.deb) ... Selecting previously unselected package libgnome2-common. Unpacking libgnome2-common (from .../libgnome2-common_2.32.1-2_all.deb) ... Selecting previously unselected package liblvm2app2.2. Unpacking liblvm2app2.2 (from .../liblvm2app2.2_2.02.88-2_armhf.deb) ... Selecting previously unselected package libsgutils2-2. Unpacking libsgutils2-2 (from .../libsgutils2-2_1.33-1_armhf.deb) ... Selecting previously unselected package udisks. Unpacking udisks (from .../udisks_1.0.4-5_armhf.deb) ... Selecting previously unselected package libgdu0. Unpacking libgdu0 (from .../libgdu0_3.0.2-2_armhf.deb) ... Selecting previously unselected package libxxf86dga1. Unpacking libxxf86dga1 (from .../libxxf86dga1_2%3a1.1.2-1_armhf.deb) ... Selecting previously unselected package x11-utils. Unpacking x11-utils (from .../x11-utils_7.7~1_armhf.deb) ... Selecting previously unselected package gvfs-common. Unpacking gvfs-common (from .../gvfs-common_1.12.3-1_all.deb) ... Selecting previously unselected package gvfs-libs:armhf. Unpacking gvfs-libs:armhf (from .../gvfs-libs_1.12.3-1_armhf.deb) ... Selecting previously unselected package gvfs-daemons. Unpacking gvfs-daemons (from .../gvfs-daemons_1.12.3-1_armhf.deb) ... Selecting previously unselected package gvfs:armhf. Unpacking gvfs:armhf (from .../gvfs_1.12.3-1_armhf.deb) ... Selecting previously unselected package libgnome2-0. Unpacking libgnome2-0 (from .../libgnome2-0_2.32.1-2_armhf.deb) ... Selecting previously unselected package libgnomecanvas2-common. Unpacking libgnomecanvas2-common (from .../libgnomecanvas2-common_2.30.3-1_all.deb) ... Selecting previously unselected package libgnomecanvas2-0. Unpacking libgnomecanvas2-0 (from .../libgnomecanvas2-0_2.30.3-1_armhf.deb) ... Selecting previously unselected package libbonoboui2-common. Unpacking libbonoboui2-common (from .../libbonoboui2-common_2.24.3-1_all.deb) ... Selecting previously unselected package libbonoboui2-0. Unpacking libbonoboui2-0 (from .../libbonoboui2-0_2.24.3-1_armhf.deb) ... Selecting previously unselected package libgnomeui-common. Unpacking libgnomeui-common (from .../libgnomeui-common_2.24.5-2_all.deb) ... Selecting previously unselected package libgnomeui-0. Unpacking libgnomeui-0 (from .../libgnomeui-0_2.24.5-2_armhf.deb) ... Selecting previously unselected package liblablgtk2-gnome-ocaml. Unpacking liblablgtk2-gnome-ocaml (from .../liblablgtk2-gnome-ocaml_2.14.2+dfsg-2_armhf.deb) ... Selecting previously unselected package libgtksourceview2.0-common. Unpacking libgtksourceview2.0-common (from .../libgtksourceview2.0-common_2.10.4-1_all.deb) ... Selecting previously unselected package libgtksourceview2.0-0. Unpacking libgtksourceview2.0-0 (from .../libgtksourceview2.0-0_2.10.4-1_armhf.deb) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Unpacking liblablgtksourceview2-ocaml (from .../liblablgtksourceview2-ocaml_2.14.2+dfsg-2_armhf.deb) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Unpacking libocamlgraph-ocaml-dev (from .../libocamlgraph-ocaml-dev_1.8.2-2_armhf.deb) ... Selecting previously unselected package frama-c-base. Unpacking frama-c-base (from .../frama-c-base_20111001+nitrogen+dfsg-4_armhf.deb) ... Selecting previously unselected package libgirepository-1.0-1. Unpacking libgirepository-1.0-1 (from .../libgirepository-1.0-1_1.32.1-1_armhf.deb) ... Selecting previously unselected package gir1.2-glib-2.0. Unpacking gir1.2-glib-2.0 (from .../gir1.2-glib-2.0_1.32.1-1_armhf.deb) ... Selecting previously unselected package gir1.2-atk-1.0. Unpacking gir1.2-atk-1.0 (from .../gir1.2-atk-1.0_2.4.0-2_armhf.deb) ... Selecting previously unselected package gir1.2-freedesktop. Unpacking gir1.2-freedesktop (from .../gir1.2-freedesktop_1.32.1-1_armhf.deb) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0. Unpacking gir1.2-gdkpixbuf-2.0 (from .../gir1.2-gdkpixbuf-2.0_2.26.1-1_armhf.deb) ... Selecting previously unselected package gir1.2-pango-1.0. Unpacking gir1.2-pango-1.0 (from .../gir1.2-pango-1.0_1.30.0-1_armhf.deb) ... Selecting previously unselected package libapron. Unpacking libapron (from .../libapron_0.9.10-5.2_armhf.deb) ... Selecting previously unselected package libgmp-dev. Unpacking libgmp-dev (from .../libgmp-dev_2%3a5.0.5+dfsg-1.1_armhf.deb) ... Selecting previously unselected package libgmp3-dev. Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a5.0.5+dfsg-1.1_armhf.deb) ... Selecting previously unselected package libmpfr-dev:armhf. Unpacking libmpfr-dev:armhf (from .../libmpfr-dev_3.1.0-5_armhf.deb) ... Selecting previously unselected package libppl0.11-dev:armhf. Unpacking libppl0.11-dev:armhf (from .../libppl0.11-dev_0.11.2-6_armhf.deb) ... Selecting previously unselected package libapron-dev. Unpacking libapron-dev (from .../libapron-dev_0.9.10-5.2_all.deb) ... Selecting previously unselected package libapron-ocaml. Unpacking libapron-ocaml (from .../libapron-ocaml_0.9.10-5.2_armhf.deb) ... Selecting previously unselected package libapron-ocaml-dev. Unpacking libapron-ocaml-dev (from .../libapron-ocaml-dev_0.9.10-5.2_armhf.deb) ... Selecting previously unselected package pkg-config. Unpacking pkg-config (from .../pkg-config_0.26-1_armhf.deb) ... Selecting previously unselected package libelf1. Unpacking libelf1 (from .../libelf1_0.152-1+rpi1_armhf.deb) ... Selecting previously unselected package libglib2.0-data. Unpacking libglib2.0-data (from .../libglib2.0-data_2.32.3-1_all.deb) ... Selecting previously unselected package libglib2.0-bin. Unpacking libglib2.0-bin (from .../libglib2.0-bin_2.32.3-1_armhf.deb) ... Selecting previously unselected package libpcre3-dev. Unpacking libpcre3-dev (from .../libpcre3-dev_1%3a8.30-5_armhf.deb) ... Selecting previously unselected package zlib1g-dev:armhf. Unpacking zlib1g-dev:armhf (from .../zlib1g-dev_1%3a1.2.7.dfsg-1_armhf.deb) ... Selecting previously unselected package libglib2.0-dev. Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.32.3-1_armhf.deb) ... Selecting previously unselected package libatk1.0-dev. Unpacking libatk1.0-dev (from .../libatk1.0-dev_2.4.0-2_armhf.deb) ... Selecting previously unselected package libexpat1-dev. Unpacking libexpat1-dev (from .../libexpat1-dev_2.1.0-1_armhf.deb) ... Selecting previously unselected package libfreetype6-dev. Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.4.9-1_armhf.deb) ... Selecting previously unselected package libfontconfig1-dev. Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.9.0-5_armhf.deb) ... Selecting previously unselected package xorg-sgml-doctools. Unpacking xorg-sgml-doctools (from .../xorg-sgml-doctools_1%3a1.10-1_all.deb) ... Selecting previously unselected package x11proto-core-dev. Unpacking x11proto-core-dev (from .../x11proto-core-dev_7.0.23-1_all.deb) ... Selecting previously unselected package libxau-dev:armhf. Unpacking libxau-dev:armhf (from .../libxau-dev_1%3a1.0.7-1_armhf.deb) ... Selecting previously unselected package libxdmcp-dev:armhf. Unpacking libxdmcp-dev:armhf (from .../libxdmcp-dev_1%3a1.1.1-1_armhf.deb) ... Selecting previously unselected package x11proto-input-dev. Unpacking x11proto-input-dev (from .../x11proto-input-dev_2.2-1_all.deb) ... Selecting previously unselected package x11proto-kb-dev. Unpacking x11proto-kb-dev (from .../x11proto-kb-dev_1.0.6-1_all.deb) ... Selecting previously unselected package xtrans-dev. Unpacking xtrans-dev (from .../xtrans-dev_1.2.7-1_all.deb) ... Selecting previously unselected package libpthread-stubs0:armhf. Unpacking libpthread-stubs0:armhf (from .../libpthread-stubs0_0.3-3_armhf.deb) ... Selecting previously unselected package libpthread-stubs0-dev:armhf. Unpacking libpthread-stubs0-dev:armhf (from .../libpthread-stubs0-dev_0.3-3_armhf.deb) ... Selecting previously unselected package libxcb1-dev:armhf. Unpacking libxcb1-dev:armhf (from .../libxcb1-dev_1.8.1-1_armhf.deb) ... Selecting previously unselected package libx11-dev:armhf. Unpacking libx11-dev:armhf (from .../libx11-dev_2%3a1.4.99.901-2_armhf.deb) ... Selecting previously unselected package x11proto-render-dev. Unpacking x11proto-render-dev (from .../x11proto-render-dev_2%3a0.11.1-2_all.deb) ... Selecting previously unselected package libxrender-dev:armhf. Unpacking libxrender-dev:armhf (from .../libxrender-dev_1%3a0.9.7-1_armhf.deb) ... Selecting previously unselected package libpng12-dev. Unpacking libpng12-dev (from .../libpng12-dev_1.2.49-1_armhf.deb) ... Selecting previously unselected package libice-dev:armhf. Unpacking libice-dev:armhf (from .../libice-dev_2%3a1.0.8-2_armhf.deb) ... Selecting previously unselected package libsm-dev:armhf. Unpacking libsm-dev:armhf (from .../libsm-dev_2%3a1.2.1-2_armhf.deb) ... Selecting previously unselected package libpixman-1-dev. Unpacking libpixman-1-dev (from .../libpixman-1-dev_0.24.4-1_armhf.deb) ... Selecting previously unselected package libxcb-render0-dev:armhf. Unpacking libxcb-render0-dev:armhf (from .../libxcb-render0-dev_1.8.1-1_armhf.deb) ... Selecting previously unselected package libxcb-shm0-dev:armhf. Unpacking libxcb-shm0-dev:armhf (from .../libxcb-shm0-dev_1.8.1-1_armhf.deb) ... Selecting previously unselected package libcairo2-dev. Unpacking libcairo2-dev (from .../libcairo2-dev_1.12.2-1_armhf.deb) ... Selecting previously unselected package libenchant-dev. Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-7_armhf.deb) ... Selecting previously unselected package libfloat-coq. Unpacking libfloat-coq (from .../libfloat-coq_1%3a8.3pl1-3_all.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-dev. Unpacking libgdk-pixbuf2.0-dev (from .../libgdk-pixbuf2.0-dev_2.26.1-1_armhf.deb) ... Selecting previously unselected package libxft-dev. Unpacking libxft-dev (from .../libxft-dev_2.2.0-3_armhf.deb) ... Selecting previously unselected package libpango1.0-dev. Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.30.0-1_armhf.deb) ... Selecting previously unselected package x11proto-xext-dev. Unpacking x11proto-xext-dev (from .../x11proto-xext-dev_7.2.1-1_all.deb) ... Selecting previously unselected package libxext-dev:armhf. Unpacking libxext-dev:armhf (from .../libxext-dev_2%3a1.3.1-2_armhf.deb) ... Selecting previously unselected package x11proto-xinerama-dev. Unpacking x11proto-xinerama-dev (from .../x11proto-xinerama-dev_1.2.1-2_all.deb) ... Selecting previously unselected package libxinerama-dev:armhf. Unpacking libxinerama-dev:armhf (from .../libxinerama-dev_2%3a1.1.2-1_armhf.deb) ... Selecting previously unselected package libxi-dev. Unpacking libxi-dev (from .../libxi-dev_2%3a1.6.0-1_armhf.deb) ... Selecting previously unselected package x11proto-randr-dev. Unpacking x11proto-randr-dev (from .../x11proto-randr-dev_1.3.2-2_all.deb) ... Selecting previously unselected package libxrandr-dev. Unpacking libxrandr-dev (from .../libxrandr-dev_2%3a1.3.2-2_armhf.deb) ... Selecting previously unselected package x11proto-fixes-dev. Unpacking x11proto-fixes-dev (from .../x11proto-fixes-dev_1%3a5.0-2_all.deb) ... Selecting previously unselected package libxfixes-dev. Unpacking libxfixes-dev (from .../libxfixes-dev_1%3a5.0-4_armhf.deb) ... Selecting previously unselected package libxcursor-dev:armhf. Unpacking libxcursor-dev:armhf (from .../libxcursor-dev_1%3a1.1.13-1_armhf.deb) ... Selecting previously unselected package x11proto-composite-dev. Unpacking x11proto-composite-dev (from .../x11proto-composite-dev_1%3a0.4.2-2_all.deb) ... Selecting previously unselected package libxcomposite-dev. Unpacking libxcomposite-dev (from .../libxcomposite-dev_1%3a0.4.3-2_armhf.deb) ... Selecting previously unselected package x11proto-damage-dev. Unpacking x11proto-damage-dev (from .../x11proto-damage-dev_1%3a1.2.1-2_all.deb) ... Selecting previously unselected package libxdamage-dev. Unpacking libxdamage-dev (from .../libxdamage-dev_1%3a1.1.3-2_armhf.deb) ... Selecting previously unselected package libxml2-utils. Unpacking libxml2-utils (from .../libxml2-utils_2.7.8.dfsg-9.1_armhf.deb) ... Selecting previously unselected package libgtk2.0-dev. Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.24.10-1_armhf.deb) ... Selecting previously unselected package libxml2-dev:armhf. Unpacking libxml2-dev:armhf (from .../libxml2-dev_2.7.8.dfsg-9.1_armhf.deb) ... Selecting previously unselected package libglade2-dev. Unpacking libglade2-dev (from .../libglade2-dev_1%3a2.6.4-1_armhf.deb) ... Selecting previously unselected package libgtkspell-dev. Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1_armhf.deb) ... Selecting previously unselected package liblablgtk2-ocaml-dev. Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.14.2+dfsg-2_armhf.deb) ... Selecting previously unselected package dh-ocaml. Unpacking dh-ocaml (from .../dh-ocaml_1.0.5_all.deb) ... Selecting previously unselected package sbuild-build-depends-why-dummy. Unpacking sbuild-build-depends-why-dummy (from .../sbuild-build-depends-why-dummy.deb) ... Setting up libpcre3:armhf (1:8.30-5) ... Setting up libpipeline1:armhf (1.2.1-1) ... Setting up libpopt0:armhf (1.16-4) ... Setting up libssl1.0.0:armhf (1.0.1c-1) ... Setting up libudev0:armhf (175-3.1) ... Setting up udev (175-3.1) ... A chroot environment has been detected, udev not started. Setting up libgpg-error0:armhf (1.10-3) ... Setting up libgcrypt11:armhf (1.5.0-3) ... Setting up libp11-kit0:armhf (0.12-3) ... Setting up libtasn1-3:armhf (2.12-1) ... Setting up libgnutls26:armhf (2.12.19-1) ... Setting up libkeyutils1:armhf (1.5.5-2) ... Setting up libkrb5support0:armhf (1.10.1+dfsg-1) ... Setting up libk5crypto3:armhf (1.10.1+dfsg-1) ... Setting up libkrb5-3:armhf (1.10.1+dfsg-1) ... Setting up libgssapi-krb5-2:armhf (1.10.1+dfsg-1) ... Setting up libsasl2-2:armhf (2.1.25.dfsg1-4) ... Setting up libldap-2.4-2:armhf (2.4.28-1.1+rpi1) ... Setting up libmagic1:armhf (5.11-1) ... Setting up libsqlite3-0:armhf (3.7.11-3) ... Setting up libxml2:armhf (2.7.8.dfsg-9.1) ... Setting up libasound2:armhf (1.0.25-2) ... Setting up libatasmart4:armhf (0.18-3) ... Setting up libffi5:armhf (3.0.10-3+b3) ... Setting up libglib2.0-0:armhf (2.32.3-1) ... No schema files found: doing nothing. Setting up libatk1.0-data (2.4.0-2) ... Setting up libatk1.0-0:armhf (2.4.0-2) ... Setting up libavahi-common-data:armhf (0.6.31-1) ... Setting up libavahi-common3:armhf (0.6.31-1) ... Setting up libdbus-1-3:armhf (1.5.12-1) ... Setting up libavahi-client3:armhf (0.6.31-1) ... Setting up libavahi-glib1:armhf (0.6.31-1) ... Setting up libbluray1:armhf (1:0.2.2-1) ... Setting up libexpat1:armhf (2.1.0-1) ... Setting up libfreetype6:armhf (2.4.9-1) ... Setting up ttf-dejavu-core (2.33-2) ... Setting up fontconfig-config (2.9.0-5) ... Setting up libfontconfig1:armhf (2.9.0-5) ... Setting up libpixman-1-0:armhf (0.24.4-1) ... Setting up libpng12-0:armhf (1.2.49-1) ... Setting up libxau6:armhf (1:1.0.7-1) ... Setting up libxdmcp6:armhf (1:1.1.1-1) ... Setting up libxcb1:armhf (1.8.1-1) ... Setting up libx11-data (2:1.4.99.901-2) ... Setting up libx11-6:armhf (2:1.4.99.901-2) ... Setting up libxcb-render0:armhf (1.8.1-1) ... Setting up libxcb-shm0:armhf (1.8.1-1) ... Setting up libxrender1:armhf (1:0.9.7-1) ... Setting up libcairo2:armhf (1.12.2-1) ... Setting up libcairo-gobject2:armhf (1.12.2-1) ... Setting up libcairo-script-interpreter2:armhf (1.12.2-1) ... Setting up libltdl7:armhf (2.4.2-1+b2) ... Setting up libogg0:armhf (1.2.2~dfsg-1.1) ... Setting up libtdb1:armhf (1.2.10-2) ... Setting up libvorbis0a:armhf (1.3.2-1.3) ... Setting up libvorbisfile3:armhf (1.3.2-1.3) ... Setting up libcanberra0:armhf (0.28-4) ... Setting up libcroco3:armhf (0.6.5-1) ... Setting up libcups2:armhf (1.5.3-1) ... Setting up libdatrie1:armhf (0.2.5-3) ... Setting up libdbus-glib-1-2:armhf (0.98-1) ... Setting up libdrm2:armhf (2.4.33-1) ... Setting up libfontenc1:armhf (1:1.1.1-1) ... Setting up libthai-data (0.1.17-1) ... Setting up libthai0:armhf (0.1.17-1) ... Setting up libxft2:armhf (2.2.0-3) ... Setting up fontconfig (2.9.0-5) ... Cleaning up old fontconfig caches... done. Regenerating fonts cache... done. Setting up libpango1.0-0:armhf (1.30.0-1) ... Setting up libgtk2.0-common (2.24.10-1) ... Setting up libjpeg8:armhf (8d-1) ... Setting up libjasper1:armhf (1.900.1-13) ... Setting up libjbig0:armhf (2.0-2) ... Setting up libtiff4:armhf (3.9.6-5) ... Setting up libgdk-pixbuf2.0-common (2.26.1-1) ... Setting up libgdk-pixbuf2.0-0:armhf (2.26.1-1) ... Setting up libxcomposite1:armhf (1:0.4.3-2) ... Setting up libxfixes3:armhf (1:5.0-4) ... Setting up libxcursor1:armhf (1:1.1.13-1) ... Setting up libxdamage1:armhf (1:1.1.3-2) ... Setting up libxext6:armhf (2:1.3.1-2) ... Setting up libxi6:armhf (2:1.6.0-1) ... Setting up libxinerama1:armhf (2:1.1.2-1) ... Setting up libxrandr2:armhf (2:1.3.2-2) ... Setting up shared-mime-info (0.90-1.1) ... Setting up libgtk2.0-0:armhf (2.24.10-1) ... Setting up libgail18:armhf (2.24.10-1) ... Setting up gconf2-common (3.2.5-1) ... Creating config file /etc/gconf/2/path with new version Setting up libgconf-2-4:armhf (3.2.5-1) ... Setting up libglapi-mesa:armhf (7.11.2-1) ... Setting up libxxf86vm1:armhf (1:1.1.2-1) ... Setting up libgl1-mesa-glx:armhf (7.11.2-1) ... Setting up libgmpxx4ldbl:armhf (2:5.0.5+dfsg-1.1) ... Setting up libgnome-keyring-common (3.4.1-1) ... Setting up libgnome-keyring0:armhf (3.4.1-1) ... Setting up libgudev-1.0-0:armhf (175-3.1) ... Setting up libhunspell-1.3-0:armhf (1.3.2-4) ... Setting up x11-common (1:7.6+13) ... All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:armhf (2:1.0.8-2) ... Setting up libpcrecpp0:armhf (1:8.30-5) ... Setting up libpolkit-gobject-1-0:armhf (0.104-2) ... Setting up libppl9:armhf (0.11.2-6) ... Setting up libpwl5:armhf (0.11.2-6) ... Setting up libppl-c4:armhf (0.11.2-6) ... Setting up librsvg2-2:armhf (2.36.1-1) ... Setting up libsm6:armhf (2:1.2.1-2) ... Setting up libunistring0:armhf (0.9.3-5) ... Setting up libx11-xcb1:armhf (2:1.4.99.901-2) ... Setting up libxt6:armhf (1:1.1.3-1) ... Setting up libxmu6:armhf (2:1.1.1-1) ... Setting up libxpm4:armhf (1:3.5.10-1) ... Setting up libxaw7:armhf (2:1.0.10-2) ... Setting up libxcb-shape0:armhf (1.8.1-1) ... Setting up libxmuu1:armhf (2:1.1.1-1) ... Setting up libxtst6:armhf (2:1.2.1-1) ... Setting up libxv1:armhf (2:1.0.7-1) ... Setting up adduser (3.113+nmu2) ... Setting up bsdmainutils (9.0.2) ... 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 groff-base (1.21-7) ... Setting up man-db (2.6.1-2) ... Building database of manual pages ... Setting up file (5.11-1) ... Setting up gettext-base (0.18.1.1-5+rpi1) ... Setting up libcap2 (1:2.22-1) ... Setting up m4 (1.4.16-3) ... Setting up mime-support (3.52-1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode. Setting up python2.7-minimal (2.7.3~rc2-2.1) ... Setting up python2.7 (2.7.3~rc2-2.1) ... Setting up python-minimal (2.7.2-10) ... Setting up python (2.7.2-10) ... Setting up libaspell15 (0.60.7~20110707-1) ... Setting up dictionaries-common (1.12.7) ... Setting up autoconf (2.69-1) ... Setting up autotools-dev (20120210.1) ... Setting up ocaml-base-nox (3.12.1-3) ... Setting up libtinfo-dev:armhf (5.9-7) ... Setting up libncurses5-dev (5.9-7) ... Setting up ocaml-interp (3.12.1-3) ... Setting up ocaml-nox (3.12.1-3) ... Setting up camlidl (1.05-14) ... Setting up camlp4 (3.12.1-3) ... Setting up emacsen-common (1.4.23) ... emacsen-common: Handling install of emacsen flavor emacs Setting up libglade2-0 (1:2.6.4-1) ... Setting up libsystemd-login0 (37-1.1) ... Setting up dbus (1.5.12-1) ... All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of start. Setting up dbus-x11 (1.5.12-1) ... Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-5+rpi1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2) ... Setting up debhelper (9.20120419) ... Setting up gconf-service (3.2.5-1) ... Setting up libart-2.0-2 (2.3.21-1) ... Setting up libbonobo2-common (2.24.3-1) ... Setting up libidl0 (0.8.14-0.2) ... Setting up liborbit2 (1:2.14.19-0.1) ... Setting up libbonobo2-0 (2.24.3-1) ... Setting up libfam0 (2.7.0-17) ... Setting up psmisc (22.16-1) ... Setting up gconf2 (3.2.5-1) ... update-alternatives: using /usr/bin/gconftool-2 to provide /usr/bin/gconftool (gconftool) in auto mode. Setting up gnome-mime-data (2.18.0-1) ... Setting up libgnomevfs2-common (1:2.24.4-1) ... Setting up libgnomevfs2-0 (1:2.24.4-1) ... Setting up libgnome2-common (2.32.1-2) ... Setting up libsgutils2-2 (1.33-1) ... Setting up libxxf86dga1 (2:1.1.2-1) ... Setting up x11-utils (7.7~1) ... Setting up gvfs-common (1.12.3-1) ... Setting up gvfs-libs:armhf (1.12.3-1) ... Setting up libgnomecanvas2-common (2.30.3-1) ... Setting up libgnomecanvas2-0 (2.30.3-1) ... Setting up libbonoboui2-common (2.24.3-1) ... Setting up libgnomeui-common (2.24.5-2) ... Setting up libgtksourceview2.0-common (2.10.4-1) ... Setting up libgtksourceview2.0-0 (2.10.4-1) ... Setting up libocamlgraph-ocaml-dev (1.8.2-2) ... Setting up libgirepository-1.0-1 (1.32.1-1) ... Setting up gir1.2-glib-2.0 (1.32.1-1) ... Setting up gir1.2-atk-1.0 (2.4.0-2) ... Setting up gir1.2-freedesktop (1.32.1-1) ... Setting up gir1.2-gdkpixbuf-2.0 (2.26.1-1) ... Setting up gir1.2-pango-1.0 (1.30.0-1) ... Setting up libapron (0.9.10-5.2) ... Setting up libgmp-dev (2:5.0.5+dfsg-1.1) ... Setting up libgmp3-dev (2:5.0.5+dfsg-1.1) ... Setting up libmpfr-dev:armhf (3.1.0-5) ... Setting up libppl0.11-dev:armhf (0.11.2-6) ... Setting up libapron-dev (0.9.10-5.2) ... Setting up libapron-ocaml (0.9.10-5.2) ... Setting up libapron-ocaml-dev (0.9.10-5.2) ... Setting up pkg-config (0.26-1) ... Setting up libelf1 (0.152-1+rpi1) ... Setting up libglib2.0-data (2.32.3-1) ... Setting up libglib2.0-bin (2.32.3-1) ... Setting up libpcre3-dev (1:8.30-5) ... Setting up zlib1g-dev:armhf (1:1.2.7.dfsg-1) ... Setting up libglib2.0-dev (2.32.3-1) ... Setting up libatk1.0-dev (2.4.0-2) ... Setting up libexpat1-dev (2.1.0-1) ... Setting up libfreetype6-dev (2.4.9-1) ... Setting up libfontconfig1-dev (2.9.0-5) ... Setting up xorg-sgml-doctools (1:1.10-1) ... Setting up x11proto-core-dev (7.0.23-1) ... Setting up libxau-dev:armhf (1:1.0.7-1) ... Setting up libxdmcp-dev:armhf (1:1.1.1-1) ... Setting up x11proto-input-dev (2.2-1) ... Setting up x11proto-kb-dev (1.0.6-1) ... Setting up xtrans-dev (1.2.7-1) ... Setting up libpthread-stubs0:armhf (0.3-3) ... Setting up libpthread-stubs0-dev:armhf (0.3-3) ... Setting up libxcb1-dev:armhf (1.8.1-1) ... Setting up libx11-dev:armhf (2:1.4.99.901-2) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up libxrender-dev:armhf (1:0.9.7-1) ... Setting up libpng12-dev (1.2.49-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.24.4-1) ... Setting up libxcb-render0-dev:armhf (1.8.1-1) ... Setting up libxcb-shm0-dev:armhf (1.8.1-1) ... Setting up libcairo2-dev (1.12.2-1) ... Setting up libgdk-pixbuf2.0-dev (2.26.1-1) ... Setting up libxft-dev (2.2.0-3) ... Setting up libpango1.0-dev (1.30.0-1) ... Setting up x11proto-xext-dev (7.2.1-1) ... Setting up libxext-dev:armhf (2:1.3.1-2) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up libxinerama-dev:armhf (2:1.1.2-1) ... Setting up libxi-dev (2:1.6.0-1) ... Setting up x11proto-randr-dev (1.3.2-2) ... Setting up libxrandr-dev (2:1.3.2-2) ... Setting up x11proto-fixes-dev (1:5.0-2) ... Setting up libxfixes-dev (1:5.0-4) ... Setting up libxcursor-dev:armhf (1:1.1.13-1) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxcomposite-dev (1:0.4.3-2) ... Setting up x11proto-damage-dev (1:1.2.1-2) ... Setting up libxdamage-dev (1:1.1.3-2) ... Setting up libxml2-utils (2.7.8.dfsg-9.1) ... Setting up libgtk2.0-dev (2.24.10-1) ... Setting up libxml2-dev:armhf (2.7.8.dfsg-9.1) ... Setting up libglade2-dev (1:2.6.4-1) ... Setting up dh-ocaml (1.0.5) ... Processing triggers for dictionaries-common ... 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-1) ... Processing triggers for dictionaries-common ... Setting up aspell-en (7.1-0-1) ... Processing triggers for dictionaries-common ... Setting up libenchant1c2a (1.6.0-7) ... Setting up libgtkspell0 (2.0.16-1) ... Setting up liblablgtk2-ocaml (2.14.2+dfsg-2) ... Setting up libcoq-ocaml (8.3.pl4+dfsg-1) ... Setting up liblablgtksourceview2-ocaml (2.14.2+dfsg-2) ... Setting up libenchant-dev (1.6.0-7) ... Setting up libgtkspell-dev (2.0.16-1) ... Setting up liblablgtk2-ocaml-dev (2.14.2+dfsg-2) ... Setting up coq-theories (8.3.pl4+dfsg-1) ... Setting up coq (8.3.pl4+dfsg-1) ... emacsen-common: Handling install of emacsen flavor emacs Setting up libfloat-coq (1:8.3pl1-3) ... Setting up libdevmapper1.02.1 (2:1.02.67-2) ... Setting up libparted0debian1:armhf (2.3-9.1) ... Setting up liblvm2app2.2 (2.02.88-2) ... Setting up udisks (1.0.4-5) ... Setting up libgdu0 (3.0.2-2) ... Setting up gvfs-daemons (1.12.3-1) ... Setting up gvfs:armhf (1.12.3-1) ... Setting up libgnome2-0 (2.32.1-2) ... Setting up libbonoboui2-0 (2.24.3-1) ... Setting up libgnomeui-0 (2.24.5-2) ... Setting up liblablgtk2-gnome-ocaml (2.14.2+dfsg-2) ... Setting up frama-c-base (20111001+nitrogen+dfsg-4) ... Setting up sbuild-build-depends-why-dummy (0.invalid.0) ... Setting up dmsetup (2:1.02.67-2) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 3.2.12-mx5 armhf (armv7l) Toolchain package versions: binutils_2.22-6 dpkg-dev_1.16.3 g++-4.6_4.6.3-1.1+rpi2 gcc-4.6_4.6.3-1.1+rpi2 libc6-dev_2.13-32 libstdc++6_4.7.0-1.1+rpi libstdc++6-4.6-dev_4.6.3-1.1+rpi2 linux-libc-dev_3.2.12-1 Package versions: adduser_3.113+nmu2 apt_0.9.3 aspell_0.60.7~20110707-1 aspell-en_7.1-0-1 autoconf_2.69-1 autotools-dev_20120210.1 base-files_6.7 base-passwd_3.5.24 bash_4.2-2 binutils_2.22-6 bsdmainutils_9.0.2 bsdutils_1:2.20.1-4 build-essential_11.5+b1 bzip2_1.0.6-1 camlidl_1.05-14 camlp4_3.12.1-3 coq_8.3.pl4+dfsg-1 coq-theories_8.3.pl4+dfsg-1 coreutils_8.13-3.2 cpp_4:4.6.2-4 cpp-4.6_4.6.3-1.1+rpi2 dash_0.5.7-3 dbus_1.5.12-1 dbus-x11_1.5.12-1 debconf_1.5.43 debfoster_2.7-1.1 debhelper_9.20120419 debian-archive-keyring_2012.3 debianutils_4.3 dh-ocaml_1.0.5 dictionaries-common_1.12.7 diffutils_1:3.2-6 dmsetup_2:1.02.67-2 dpkg_1.16.3 dpkg-dev_1.16.3 e2fslibs_1.42.2-2 e2fsprogs_1.42.2-2 emacsen-common_1.4.23 fakeroot_1.18.3-1 file_5.11-1 findutils_4.4.2-4 fontconfig_2.9.0-5 fontconfig-config_2.9.0-5 frama-c-base_20111001+nitrogen+dfsg-4 g++_4:4.6.2-4 g++-4.6_4.6.3-1.1+rpi2 gcc_4:4.6.2-4 gcc-4.4-base_4.4.7-1.1+rpi1 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6_4.6.3-1.1+rpi2 gcc-4.6-base_4.6.3-1.1+rpi2 gcc-4.7-base_4.7.0-1.1+rpi gconf-service_3.2.5-1 gconf2_3.2.5-1 gconf2-common_3.2.5-1 gettext_0.18.1.1-5+rpi1 gettext-base_0.18.1.1-5+rpi1 gir1.2-atk-1.0_2.4.0-2 gir1.2-freedesktop_1.32.1-1 gir1.2-gdkpixbuf-2.0_2.26.1-1 gir1.2-glib-2.0_1.32.1-1 gir1.2-pango-1.0_1.30.0-1 gnome-mime-data_2.18.0-1 gnupg_1.4.12-4 gpgv_1.4.12-4 grep_2.12-2 groff-base_1.21-7 gvfs_1.12.3-1 gvfs-common_1.12.3-1 gvfs-daemons_1.12.3-1 gvfs-libs_1.12.3-1 gzip_1.4-5 hostname_3.11 html2text_1.3.2a-15 initscripts_2.88dsf-22.1 insserv_1.14.0-3 intltool-debian_0.35.0+20060710.1 libacl1_2.2.51-7 libapron_0.9.10-5.2 libapron-dev_0.9.10-5.2 libapron-ocaml_0.9.10-5.2 libapron-ocaml-dev_0.9.10-5.2 libapt-pkg4.12_0.9.3 libart-2.0-2_2.3.21-1 libasound2_1.0.25-2 libaspell15_0.60.7~20110707-1 libatasmart4_0.18-3 libatk1.0-0_2.4.0-2 libatk1.0-data_2.4.0-2 libatk1.0-dev_2.4.0-2 libattr1_1:2.4.46-7 libavahi-client3_0.6.31-1 libavahi-common-data_0.6.31-1 libavahi-common3_0.6.31-1 libavahi-glib1_0.6.31-1 libblkid1_2.20.1-4 libbluray1_1:0.2.2-1 libbonobo2-0_2.24.3-1 libbonobo2-common_2.24.3-1 libbonoboui2-0_2.24.3-1 libbonoboui2-common_2.24.3-1 libbz2-1.0_1.0.6-1 libc-bin_2.13-32 libc-dev-bin_2.13-32 libc6_2.13-32 libc6-dev_2.13-32 libcairo-gobject2_1.12.2-1 libcairo-script-interpreter2_1.12.2-1 libcairo2_1.12.2-1 libcairo2-dev_1.12.2-1 libcanberra0_0.28-4 libcap2_1:2.22-1 libclass-isa-perl_0.36-3 libcomerr2_1.42.2-2 libcoq-ocaml_8.3.pl4+dfsg-1 libcroco3_0.6.5-1 libcups2_1.5.3-1 libdatrie1_0.2.5-3 libdb5.1_5.1.29-1 libdbus-1-3_1.5.12-1 libdbus-glib-1-2_0.98-1 libdevmapper1.02.1_2:1.02.67-2 libdpkg-perl_1.16.3 libdrm2_2.4.33-1 libelf1_0.152-1+rpi1 libenchant-dev_1.6.0-7 libenchant1c2a_1.6.0-7 libexpat1_2.1.0-1 libexpat1-dev_2.1.0-1 libfam0_2.7.0-17 libffi5_3.0.10-3+b3 libfile-fcntllock-perl_0.14-1 libfloat-coq_1:8.3pl1-3 libfontconfig1_2.9.0-5 libfontconfig1-dev_2.9.0-5 libfontenc1_1:1.1.1-1 libfreetype6_2.4.9-1 libfreetype6-dev_2.4.9-1 libgail18_2.24.10-1 libgc1c2_1:7.1-8 libgcc1_1:4.7.0-1.1+rpi libgconf-2-4_3.2.5-1 libgcrypt11_1.5.0-3 libgdbm3_1.8.3-10 libgdk-pixbuf2.0-0_2.26.1-1 libgdk-pixbuf2.0-common_2.26.1-1 libgdk-pixbuf2.0-dev_2.26.1-1 libgdu0_3.0.2-2 libgirepository-1.0-1_1.32.1-1 libgl1-mesa-glx_7.11.2-1 libglade2-0_1:2.6.4-1 libglade2-dev_1:2.6.4-1 libglapi-mesa_7.11.2-1 libglib2.0-0_2.32.3-1 libglib2.0-bin_2.32.3-1 libglib2.0-data_2.32.3-1 libglib2.0-dev_2.32.3-1 libgmp-dev_2:5.0.5+dfsg-1.1 libgmp10_2:5.0.5+dfsg-1.1 libgmp3-dev_2:5.0.5+dfsg-1.1 libgmpxx4ldbl_2:5.0.5+dfsg-1.1 libgnome-keyring-common_3.4.1-1 libgnome-keyring0_3.4.1-1 libgnome2-0_2.32.1-2 libgnome2-common_2.32.1-2 libgnomecanvas2-0_2.30.3-1 libgnomecanvas2-common_2.30.3-1 libgnomeui-0_2.24.5-2 libgnomeui-common_2.24.5-2 libgnomevfs2-0_1:2.24.4-1 libgnomevfs2-common_1:2.24.4-1 libgnutls26_2.12.19-1 libgomp1_4.7.0-1.1+rpi libgpg-error0_1.10-3 libgssapi-krb5-2_1.10.1+dfsg-1 libgtk2.0-0_2.24.10-1 libgtk2.0-common_2.24.10-1 libgtk2.0-dev_2.24.10-1 libgtksourceview2.0-0_2.10.4-1 libgtksourceview2.0-common_2.10.4-1 libgtkspell-dev_2.0.16-1 libgtkspell0_2.0.16-1 libgudev-1.0-0_175-3.1 libhunspell-1.3-0_1.3.2-4 libice-dev_2:1.0.8-2 libice6_2:1.0.8-2 libidl0_0.8.14-0.2 libjasper1_1.900.1-13 libjbig0_2.0-2 libjpeg8_8d-1 libk5crypto3_1.10.1+dfsg-1 libkeyutils1_1.5.5-2 libkrb5-3_1.10.1+dfsg-1 libkrb5support0_1.10.1+dfsg-1 liblablgtk2-gnome-ocaml_2.14.2+dfsg-2 liblablgtk2-ocaml_2.14.2+dfsg-2 liblablgtk2-ocaml-dev_2.14.2+dfsg-2 liblablgtksourceview2-ocaml_2.14.2+dfsg-2 libldap-2.4-2_2.4.28-1.1+rpi1 liblocale-gettext-perl_1.05-7 libltdl7_2.4.2-1+b2 liblvm2app2.2_2.02.88-2 liblzma5_5.1.1alpha+20110809-3 libmagic1_5.11-1 libmount1_2.20.1-4 libmpc2_0.9-4 libmpfr-dev_3.1.0-5 libmpfr4_3.1.0-5 libncurses5_5.9-7 libncurses5-dev_5.9-7 libncursesw5_5.9-7 libocamlgraph-ocaml-dev_1.8.2-2 libogg0_1.2.2~dfsg-1.1 liborbit2_1:2.14.19-0.1 libp11-kit0_0.12-3 libpam-modules_1.1.3-7.1 libpam-modules-bin_1.1.3-7.1 libpam-runtime_1.1.3-7.1 libpam0g_1.1.3-7.1 libpango1.0-0_1.30.0-1 libpango1.0-dev_1.30.0-1 libparted0debian1_2.3-9.1 libpcre3_1:8.30-5 libpcre3-dev_1:8.30-5 libpcrecpp0_1:8.30-5 libpipeline1_1.2.1-1 libpixman-1-0_0.24.4-1 libpixman-1-dev_0.24.4-1 libpng12-0_1.2.49-1 libpng12-dev_1.2.49-1 libpolkit-gobject-1-0_0.104-2 libpopt0_1.16-4 libppl-c4_0.11.2-6 libppl0.11-dev_0.11.2-6 libppl9_0.11.2-6 libpthread-stubs0_0.3-3 libpthread-stubs0-dev_0.3-3 libpwl5_0.11.2-6 libreadline6_6.2-8 librsvg2-2_2.36.1-1 libsasl2-2_2.1.25.dfsg1-4 libselinux1_2.1.9-2 libsemanage-common_2.1.6-2 libsemanage1_2.1.6-2 libsepol1_2.1.4-3 libsgutils2-2_1.33-1 libslang2_2.2.4-10 libsm-dev_2:1.2.1-2 libsm6_2:1.2.1-2 libsqlite3-0_3.7.11-3 libss2_1.42.2-2 libssl1.0.0_1.0.1c-1 libstdc++6_4.7.0-1.1+rpi libstdc++6-4.6-dev_4.6.3-1.1+rpi2 libswitch-perl_2.16-2 libsystemd-login0_37-1.1 libtasn1-3_2.12-1 libtdb1_1.2.10-2 libtext-charwidth-perl_0.04-7 libtext-iconv-perl_1.7-5 libtext-wrapi18n-perl_0.06-7 libthai-data_0.1.17-1 libthai0_0.1.17-1 libtiff4_3.9.6-5 libtimedate-perl_1.2000-1 libtinfo-dev_5.9-7 libtinfo5_5.9-7 libudev0_175-3.1 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20 libustr-1.0-1_1.0.4-2 libuuid1_2.20.1-4 libvorbis0a_1.3.2-1.3 libvorbisfile3_1.3.2-1.3 libx11-6_2:1.4.99.901-2 libx11-data_2:1.4.99.901-2 libx11-dev_2:1.4.99.901-2 libx11-xcb1_2:1.4.99.901-2 libxau-dev_1:1.0.7-1 libxau6_1:1.0.7-1 libxaw7_2:1.0.10-2 libxcb-render0_1.8.1-1 libxcb-render0-dev_1.8.1-1 libxcb-shape0_1.8.1-1 libxcb-shm0_1.8.1-1 libxcb-shm0-dev_1.8.1-1 libxcb1_1.8.1-1 libxcb1-dev_1.8.1-1 libxcomposite-dev_1:0.4.3-2 libxcomposite1_1:0.4.3-2 libxcursor-dev_1:1.1.13-1 libxcursor1_1:1.1.13-1 libxdamage-dev_1:1.1.3-2 libxdamage1_1:1.1.3-2 libxdmcp-dev_1:1.1.1-1 libxdmcp6_1:1.1.1-1 libxext-dev_2:1.3.1-2 libxext6_2:1.3.1-2 libxfixes-dev_1:5.0-4 libxfixes3_1:5.0-4 libxft-dev_2.2.0-3 libxft2_2.2.0-3 libxi-dev_2:1.6.0-1 libxi6_2:1.6.0-1 libxinerama-dev_2:1.1.2-1 libxinerama1_2:1.1.2-1 libxml2_2.7.8.dfsg-9.1 libxml2-dev_2.7.8.dfsg-9.1 libxml2-utils_2.7.8.dfsg-9.1 libxmu6_2:1.1.1-1 libxmuu1_2:1.1.1-1 libxpm4_1:3.5.10-1 libxrandr-dev_2:1.3.2-2 libxrandr2_2:1.3.2-2 libxrender-dev_1:0.9.7-1 libxrender1_1:0.9.7-1 libxt6_1:1.1.3-1 libxtst6_2:1.2.1-1 libxv1_2:1.0.7-1 libxxf86dga1_2:1.1.2-1 libxxf86vm1_1:1.1.2-1 linux-libc-dev_3.2.12-1 login_1:4.1.5-1 lsb-base_4.1+Debian4 m4_1.4.16-3 make_3.81-8.2 man-db_2.6.1-2 mawk_1.3.3-17 mime-support_3.52-1 mount_2.20.1-4 multiarch-support_2.13-32 ncurses-base_5.9-7 ncurses-bin_5.9-7 ocaml-base-nox_3.12.1-3 ocaml-interp_3.12.1-3 ocaml-nox_3.12.1-3 passwd_1:4.1.5-1 patch_2.6.1-3 perl_5.14.2-9 perl-base_5.14.2-9 perl-modules_5.14.2-11 pkg-config_0.26-1 po-debconf_1.0.16+nmu2 psmisc_22.16-1 python_2.7.2-10 python-minimal_2.7.2-10 python2.7_2.7.3~rc2-2.1 python2.7-minimal_2.7.3~rc2-2.1 readline-common_6.2-8 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-why-dummy_0.invalid.0 sed_4.2.1-9 sensible-utils_0.0.7 shared-mime-info_0.90-1.1 sysv-rc_2.88dsf-22.1 sysvinit_2.88dsf-22.1 sysvinit-utils_2.88dsf-22.1 tar_1.26-4 ttf-dejavu-core_2.33-2 tzdata_2012c-1 ucf_3.0025+nmu3 udev_175-3.1 udisks_1.0.4-5 util-linux_2.20.1-4 x11-common_1:7.6+13 x11-utils_7.7~1 x11proto-composite-dev_1:0.4.2-2 x11proto-core-dev_7.0.23-1 x11proto-damage-dev_1:1.2.1-2 x11proto-fixes-dev_1:5.0-2 x11proto-input-dev_2.2-1 x11proto-kb-dev_1.0.6-1 x11proto-randr-dev_1.3.2-2 x11proto-render-dev_2:0.11.1-2 x11proto-xext-dev_7.2.1-1 x11proto-xinerama-dev_1.2.1-2 xorg-sgml-doctools_1:1.10-1 xtrans-dev_1.2.7-1 xz-utils_5.1.1alpha+20110809-3 zlib1g_1:1.2.7.dfsg-1 zlib1g-dev_1:1.2.7.dfsg-1 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Wed May 16 10:59:19 2012 UTC using RSA key ID 05465268 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./why_2.30+dfsg-5.dsc dpkg-source: info: extracting why in why-2.30+dfsg dpkg-source: info: unpacking why_2.30+dfsg.orig.tar.gz dpkg-source: info: unpacking why_2.30+dfsg-5.debian.tar.gz dpkg-source: info: applying 0001-Why-2.29-do-support-Coq-8.3.patch dpkg-source: info: applying 0002-Mark-alt-ergo-0.93-as-compatible.patch dpkg-source: info: applying 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch dpkg-source: info: applying 0004-Default-to-why2-for-jessie-atp.patch dpkg-source: info: applying 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch dpkg-source: info: applying 0006-Fix-spelling-error-in-binary.patch dpkg-source: info: applying 0007-Replace-caduceus-invocation-by-Frama-C.patch Check disc space ──────────────── Sufficient free space for build User Environment ──────────────── HOME=/sbuild-nonexistent LOGNAME=buildd PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin:/usr/games SCHROOT_CHROOT_NAME=testing-armhf-sbuild SCHROOT_COMMAND=env SCHROOT_GID=108 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=testing-armhf-sbuild-3117aecc-a637-43f2-9ab0-ce1c62ccdb36 SCHROOT_UID=106 SCHROOT_USER=buildd SHELL=/bin/sh TERM=xterm USER=buildd dpkg-buildpackage ───────────────── dpkg-buildpackage: source package why dpkg-buildpackage: source version 2.30+dfsg-5 dpkg-source --before-build why-2.30+dfsg dpkg-buildpackage: host architecture armhf fakeroot debian/rules clean dh --with ocaml clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/«BUILDDIR»/why-2.30+dfsg' [ ! -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 `/«BUILDDIR»/why-2.30+dfsg' 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 `/«BUILDDIR»/why-2.30+dfsg' 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 3.12.1 ocaml library path is /usr/lib/ocaml checking OS dependent settings... Unix checking for ocamlopt... no configure: WARNING: Cannot find ocamlopt; bytecode compilation only. checking for ocamlc.opt... no checking for ocamldep... ocamldep checking for ocamldep.opt... no checking for ocamllex... ocamllex checking for ocamllex.opt... no checking for ocamlyacc... ocamlyacc checking for ocamldoc... ocamldoc checking for ocamldoc.opt... no checking for /usr/lib/ocaml/ocamlgraph/graph.cmi... yes checking for /usr/lib/ocaml/lablgtk2/lablgtk.cma... yes checking for ocamlweb... true checking for /usr/lib/ocaml/apron/apron.cmxa... no checking for /usr/lib/apron.cmxa... no configure: WARNING: Cannot find APRON library. checking for frama-c... frama-c checking Frama-c version... Nitrogen-20111001 checking for camlp4o... camlp4o checking camlp4 version... ok checking for coqc... coqc checking for coqdep... coqdep checking Coq version... 8.3pl4 checking Coq floating-point library... no checking Coq legacy floating-point library... yes checking for pvs... no configure: WARNING: Cannot find PVS. checking for mizf... no configure: WARNING: Cannot find Mizar. configure: creating ./config.status config.status: creating Makefile config.status: creating bench/bench Summary ----------------------------------------- OCaml version : 3.12.1 OCaml library path : /usr/lib/ocaml OcamlGraph lib : in Ocaml lib, subdir ocamlgraph Verbose make : no Inference of annotations : no (APRON library cannot be found, see above) Frama-C plugin : yes Frama-C version : Nitrogen-20111001 GWhy : yes Coq support : yes Version : v8.1 (8.3pl4) 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 `/«BUILDDIR»/why-2.30+dfsg' dh_auto_build -a make -j1 make[1]: Entering directory `/«BUILDDIR»/why-2.30+dfsg' BINDIR=/usr/bin LIBDIR=/usr/share COQVER=v8.1 ./version.sh ocamllex src/rc.mll 39 states, 1677 transitions, table size 6942 bytes 1933 additional bytes used for bindings ocamllex src/xml.mll 51 states, 1824 transitions, table size 7602 bytes 2541 additional bytes used for bindings ocamllex src/lexer.mll 100 states, 1298 transitions, table size 5792 bytes 4626 additional bytes used for bindings ocamlyacc -v src/parser.mly ocamllex src/linenum.mll 15 states, 323 transitions, table size 1382 bytes 1194 additional bytes used for bindings ocamllex jc/numconst.mll 71 states, 764 transitions, table size 3482 bytes rm -f jc/jc_stdlib.ml case 3.12.1 in \ 3.0*|3.10*|3.11*) cp jc/jc_stdlib_lt312.ml jc/jc_stdlib.ml ;; \ *) cp jc/jc_stdlib_ge312.ml jc/jc_stdlib.ml ;; \ esac chmod -w jc/jc_stdlib.ml ocamllex jc/jc_lexer.mll 499 states, 29420 transitions, table size 120674 bytes 11712 additional bytes used for bindings ocamlyacc -v jc/jc_parser.mly 1 shift/reduce conflict. if test "no (APRON library cannot be found, see above)" = "yes" ; then \ echo "# 1 \"jc/jc_annot_inference.ml\"" > jc/jc_ai.ml; \ cat jc/jc_annot_inference.ml >> jc/jc_ai.ml; \ else \ echo "# 1 \"jc/jc_annot_fail.ml\"" > jc/jc_ai.ml; \ cat jc/jc_annot_fail.ml >> jc/jc_ai.ml; \ fi ocamlyacc -v java/java_parser.mly ocamllex java/java_lexer.mll 149 states, 1616 transitions, table size 7358 bytes 3745 additional bytes used for bindings ocamlyacc -v ml/parsing/parser.mly ocamllex ml/parsing/lexer.mll 172 states, 3313 transitions, table size 14284 bytes 2252 additional bytes used for bindings ocamllex ml/parsing/linenum.mll 12 states, 323 transitions, table size 1364 bytes ocamllex c/clexer.mll 317 states, 15579 transitions, table size 64218 bytes 3110 additional bytes used for bindings ocamlyacc -v c/cparser.mly 1 shift/reduce conflict, 24 reduce/reduce conflicts. ocamllex c/cllexer.mll 276 states, 15549 transitions, table size 63852 bytes ocamlyacc -v c/clparser.mly ocamllex c/cpp.mll 105 states, 331 transitions, table size 1954 bytes ocamllex c/cconst.mll 61 states, 574 transitions, table size 2662 bytes ocamllex intf/hilight.mll 43 states, 532 transitions, table size 2386 bytes ocamllex intf/whyhilight.mll 101 states, 6417 transitions, table size 26274 bytes ocamllex intf/tagsplit.mll 9 states, 495 transitions, table size 2034 bytes ocamllex intf/config.mll 14 states, 446 transitions, table size 1868 bytes ocamllex tools/why2html.mll 82 states, 2034 transitions, table size 8628 bytes ocamllex tools/cvcl_split.mll 18 states, 262 transitions, table size 1156 bytes ocamllex tools/simplify_split.mll 38 states, 429 transitions, table size 1944 bytes ocamllex tools/smtlib_split.mll 61 states, 455 transitions, table size 2186 bytes ocamllex tools/rv_split.mll 65 states, 376 transitions, table size 1894 bytes ocamllex tools/zenon_split.mll 37 states, 379 transitions, table size 1738 bytes ocamllex tools/ergo_split.mll 41 states, 2642 transitions, table size 10814 bytes ocamllex tools/simplify_lexer.mll 16 states, 364 transitions, table size 1552 bytes ocamlyacc -v tools/simplify_parser.mly ocamllex tools/toolstat_lex.mll 223 states, 5431 transitions, table size 23062 bytes 11960 additional bytes used for bindings ocamlyacc -v tools/toolstat_pars.mly ocamllex mix/mix_lexer.mll 65 states, 434 transitions, table size 2126 bytes ocamlyacc -v mix/mix_parser.mly rm -f .depend ocamldep -slash -I src -I jc -I c -I java -I intf -I tools -I mix -I ml src/*.ml src/*.mli jc/*.mli jc/*.ml c/*.mli c/*.ml java/*.mli java/*.ml intf/*.ml intf/*.mli tools/*.mli tools/*.ml mix/*.mli mix/*.ml ml/*.ml ml/*.mli > .depend ocamldep -slash -I ml/utils -I ml/parsing -I ml/typing ml/parsing/*.ml ml/parsing/*.mli ml/typing/*.ml ml/typing/*.mli ml/utils/*.ml ml/utils/*.mli >> .depend make -C frama-c-plugin depend make[2]: Entering directory `/«BUILDDIR»/why-2.30+dfsg/frama-c-plugin' /usr/share/frama-c/Makefile.dynamic:269: .depend: No such file or directory sh -c 'for f in "$@"; do if test -e $f; then chmod u+w $f; fi done' chmod_rw ./.depend ocamldep -slash \ -I . -I "/usr/lib/frama-c" \ jessie_config.ml jessie_options.ml integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \ \ > ./.depend touch Jessie_DEP sh -c 'for f in "$@"; do if test -e $f; then chmod u+w $f; fi done' chmod_rw ./.depend sh -c 'for f in "$@"; do if test -e $f; then chmod u+w $f; fi done' chmod_rw ./.depend ocamldep -slash \ -I . -I "/usr/lib/frama-c" \ jessie_config.ml jessie_options.ml integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \ \ > ./.depend true ./.depend make[2]: Leaving directory `/«BUILDDIR»/why-2.30+dfsg/frama-c-plugin' make[1]: Leaving directory `/«BUILDDIR»/why-2.30+dfsg' make[1]: Entering directory `/«BUILDDIR»/why-2.30+dfsg' Ocamlc src/lib.mli Ocamlc src/lib.ml Ocamlc src/rc.mli Ocamlc src/rc.ml Ocamlc tools/dpConfig.mli Ocamlc tools/dpConfig.ml Ocamlc src/version.ml Ocamlc src/ident.mli Ocamlc src/logic.mli Ocamlc src/loc.mli Ocamlc src/effect.mli Ocamlc src/types.mli Ocamlc src/cc.mli Ocamlc src/ptree.mli Ocamlc src/ast.mli Ocamlc src/env.mli Ocamlc src/logic_decl.mli Ocamlc src/project.mli Ocamlc src/options.mli Ocamlc src/options.ml Ocamlc src/linenum.mli Ocamlc src/linenum.ml Ocamlc src/loc.ml Ocamlc src/ident.ml Ocamlc src/print_real.ml Ocamlc src/effect.ml Ocamlc src/pp.mli Ocamlc src/pp.ml Ocamlc src/option_misc.mli Ocamlc src/option_misc.ml Ocamlc src/misc.mli Ocamlc src/misc.ml Ocamlc src/error.mli Ocamlc src/parser.mli Ocamlc src/parser.ml Ocamlc src/lexer.mli Ocamlc src/lexer.ml Ocamlc src/report.mli Ocamlc src/report.ml Ocamlc src/env.ml Ocamlc src/mapenv.ml Ocamlc src/rename.mli Ocamlc src/rename.ml Ocamlc src/explain.mli Ocamlc src/explain.ml Ocamlc src/util.mli Ocamlc src/util.ml Ocamlc src/ltyping.mli Ocamlc src/ltyping.ml Ocamlc src/typing.mli Ocamlc src/typing.ml Ocamlc src/wp.mli Ocamlc src/wp.ml Ocamlc src/fastwp.mli Ocamlc src/fastwp.ml Ocamlc src/monadSig.mli Ocamlc src/monad.mli Ocamlc src/monad.ml Ocamlc src/mlize.mli Ocamlc src/mlize.ml Ocamlc src/red.mli Ocamlc src/red.ml Ocamlc src/log.mli Ocamlc src/vcg.mli Ocamlc src/vcg.ml Ocamlc src/predDefExpansor.mli Ocamlc src/predDefExpansor.ml Ocamlc src/encoding_mono_inst.mli Ocamlc src/encoding_mono_inst.ml Ocamlc src/encoding_rec.mli Ocamlc src/encoding_rec.ml Ocamlc src/encoding_pred.mli Ocamlc src/encoding_pred.ml Ocamlc src/encoding_strat.mli Ocamlc src/encoding_strat.ml Ocamlc src/encoding_mono.ml Ocamlc src/monomorph.mli Ocamlc src/monomorph.ml Ocamlc src/encoding.mli Ocamlc src/encoding.ml Ocamlc src/pvs.mli Ocamlc src/pvs.ml Ocamlc src/hol4.mli Ocamlc src/hol4.ml Ocamlc src/gappa.mli Ocamlc src/gappa.ml Ocamlc src/holl.mli Ocamlc src/holl.ml Ocamlc src/harvey.mli Ocamlc src/harvey.ml Ocamlc src/simplify.mli Ocamlc src/simplify.ml Ocamlc src/regen.mli Ocamlc src/regen.ml Ocamlc src/mizar.mli Ocamlc src/mizar.ml Ocamlc src/smtlib.mli Ocamlc src/smtlib.ml Ocamlc src/coq.mli Ocamlc src/coq.ml Ocamlc src/zenon.mli Ocamlc src/zenon.ml Ocamlc src/z3.mli Ocamlc src/z3.ml Ocamlc src/cvcl.mli Ocamlc src/cvcl.ml Ocamlc tools/calldp.mli Ocamlc tools/calldp.ml Ocamlc src/xml.mli Ocamlc src/xml.ml Ocamlc src/project.ml Ocamlc src/why3.mli Ocamlc src/why3.ml Ocamlc src/pretty.mli Ocamlc src/pretty.ml Ocamlc src/unionfind.ml Ocamlc src/theoryreducer.ml Ocamlc src/theory_filtering.ml Ocamlc src/hypotheses_filtering.ml Ocamlc src/dispatcher.mli Ocamlc src/dispatcher.ml Ocamlc src/isabelle.mli Ocamlc src/isabelle.ml Ocamlc src/ocaml.mli Ocamlc src/ocaml.ml Ocamlc src/main.ml Ocamlc src/why.ml Linking bin/why.byte Ocamlc tools/whyConfig.ml # @echo 'Linking bin/why-config.byte' && ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/why-config.byte unix.cma str.cma src/rc.cmo src/version.cmo tools/dpConfig.cmo tools/whyConfig.cmo WHYLIB=lib bin/why.byte --no-pervasives -tc lib/why/prelude.why for f in lib/why/bool.why lib/why/integer.why lib/why/divisions.why lib/why/real.why lib/why/arrays.why lib/why/jessie.why lib/why/jessie_bitvectors.why lib/why/mybag.why lib/why/mix.why lib/why/floats_common.why lib/why/floats_strict.why lib/why/floats_full.why lib/why/floats_multi_rounding.why ; do \ WHYLIB=lib bin/why.byte -tc $f; \ done Ocamlc jc/output.mli Ocamlc jc/output.ml Ocamlc jc/jc_env.mli Ocamlc jc/jc_common_options.mli Ocamlc jc/jc_common_options.ml Ocamlc jc/jc_stdlib.ml Ocamlc jc/jc_envset.mli Ocamlc jc/jc_envset.ml Ocamlc jc/jc_region.ml Ocamlc jc/jc_ast.mli Ocamlc jc/jc_fenv.ml Ocamlc jc/jc_constructors.mli Ocamlc jc/jc_constructors.ml Ocamlc jc/jc_pervasives.mli Ocamlc jc/jc_pervasives.ml Ocamlc jc/jc_iterators.mli Ocamlc jc/jc_iterators.ml Ocamlc jc/jc_type_var.mli Ocamlc jc/jc_type_var.ml Ocamlc jc/jc_output_misc.ml Ocamlc jc/jc_poutput.ml Ocamlc jc/jc_output.ml Ocamlc jc/jc_noutput.ml Ocamlc jc/jc_options.mli Ocamlc jc/jc_options.ml Ocamlc jc/jc_name.ml Ocamlc jc/jc_struct_tools.mli Ocamlc jc/jc_struct_tools.ml Ocamlc jc/jc_norm.mli Ocamlc jc/jc_norm.ml Ocamlc jc/jc_typing.mli Ocamlc jc/jc_typing.ml Ocamlc jc/numconst.mli Ocamlc jc/numconst.ml Ocamlc jc/jc_parser.mli Ocamlc jc/jc_parser.ml Ocamlc jc/jc_lexer.mli Ocamlc jc/jc_lexer.ml Ocamlc jc/jc_separation.ml Ocamlc jc/jc_callgraph.mli Ocamlc jc/jc_callgraph.ml Ocamlc jc/jc_effect.ml Ocamlc jc/jc_ai.mli Ocamlc jc/jc_ai.ml Ocamlc jc/jc_interp_misc.mli Ocamlc jc/jc_interp_misc.ml Ocamlc jc/jc_invariants.ml Ocamlc jc/jc_pattern.ml Ocamlc jc/jc_frame_notin.ml Ocamlc jc/jc_interp.mli Ocamlc jc/jc_interp.ml Ocamlc jc/jc_frame.mli Ocamlc jc/jc_frame.ml Ocamlc jc/jc_make.ml Ocamlc jc/jc_main.ml Linking bin/jessie.byte Ocamlc java/java_env.mli Ocamlc java/java_options.ml Ocamlc java/java_ast.mli Ocamlc java/java_tast.mli Ocamlc java/java_pervasives.ml Ocamlc java/java_abstract.ml Ocamlc java/java_parser.mli Ocamlc java/java_parser.ml Ocamlc java/java_lexer.ml Ocamlc java/java_syntax.ml Ocamlc java/java_typing.mli Ocamlc java/java_typing.ml Ocamlc java/java_callgraph.mli Ocamlc java/java_callgraph.ml Ocamlc java/java_analysis.ml Ocamlc java/java_interp.ml Ocamlc java/java_main.ml Linking bin/krakatoa.byte coqc -R lib/coq Why lib/coq/WhyInt.v coqc -R lib/coq Why lib/coq/WhyArrays.v coqc -R lib/coq Why lib/coq/WhyBool.v coqc -R lib/coq Why lib/coq/WhyTuples.v coqc -R lib/coq Why lib/coq/WhyPermut.v coqc -R lib/coq Why lib/coq/WhyCoqCompat.v coqc -R lib/coq Why lib/coq/WhySorted.v coqc -R lib/coq Why lib/coq/WhyExn.v coqc -R lib/coq Why lib/coq/WhyLemmas.v coqc -R lib/coq Why lib/coq/WhyTactics.v coqc -R lib/coq Why lib/coq/WhyPrelude.v coqc -R lib/coq Why lib/coq/WhyCM.v coqc -R lib/coq Why lib/coq/Why.v coqc -R lib/coq Why lib/coq/WhyReal.v WHYLIB=lib bin/why.byte --dir lib/coq --coq-v8 -coq-preamble \ "Require Export Reals. Require Export Why." \ --no-coq-use-dp lib/why/jessie.why coqc -R lib/coq Why lib/coq/jessie_why.v coqc -R lib/coq Why lib/coq/WhyFloatsStrictLegacy.v ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/why2html.byte tools/why2html.ml Ocamlc tools/cvcl_split.mli Ocamlc tools/cvcl_split.ml Ocamlc tools/simplify_split.mli Ocamlc tools/simplify_split.ml Ocamlc tools/smtlib_split.ml Ocamlc tools/zenon_split.mli Ocamlc tools/zenon_split.ml Ocamlc tools/ergo_split.mli Ocamlc tools/ergo_split.ml Ocamlc tools/rv_split.ml Ocamlc tools/dp.ml ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/why-dp.byte unix.cma str.cma src/lib.cmo tools/cvcl_split.cmo tools/simplify_split.cmo tools/smtlib_split.cmo tools/zenon_split.cmo tools/ergo_split.cmo tools/rv_split.cmo src/rc.cmo tools/dpConfig.cmo src/version.cmo tools/calldp.cmo tools/dp.cmo cc -o bin/why-cpulimit tools/cpulimit.c ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/rv_merge.byte tools/rv_merge.ml Ocamlc tools/obfuscator.ml ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/why-obfuscator.byte nums.cma src/pp.cmo src/loc.cmo src/ident.cmo src/parser.cmo src/lexer.cmo src/print_real.cmo tools/obfuscator.cmo Ocamlc tools/simplify_ast.mli Ocamlc tools/simplify_parser.mli Ocamlc tools/simplify_parser.ml Ocamlc tools/simplify_lexer.ml Ocamlc tools/simplify_towhy.ml ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/simplify2why.byte src/ident.cmo src/pp.cmo tools/simplify_parser.cmo tools/simplify_lexer.cmo tools/simplify_towhy.cmo Ocamlc tools/whystat.ml ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/why-stat.byte src/pp.cmo src/loc.cmo src/ident.cmo src/parser.cmo src/lexer.cmo tools/whystat.cmo Ocamlc tools/toolstat_types.mli Ocamlc tools/toolstat_pars.mli Ocamlc tools/toolstat_pars.ml Ocamlc tools/toolstat_lex.ml Ocamlc tools/toolstat.ml ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -o bin/tool-stat.byte src/loc.cmo src/pp.cmo tools/toolstat_pars.cmo tools/toolstat_lex.cmo tools/toolstat.cmo Ocamlc intf/colors.mli Ocamlc intf/colors.ml Ocamlc intf/tags.ml Ocamlc intf/tools.ml Ocamlc intf/tagsplit.ml Ocamlc intf/astprinter.ml Ocamlc intf/astnprinter.ml Ocamlc intf/astpprinter.ml Ocamlc intf/model.mli Ocamlc intf/model.ml Ocamlc intf/cache.ml Ocamlc intf/gConfig.mli Ocamlc intf/gConfig.ml Ocamlc intf/hilight.ml Ocamlc intf/whyhilight.ml Ocamlc intf/pprinter.mli Ocamlc intf/pprinter.ml Ocamlc intf/preferences.ml Ocamlc intf/stat.ml Linking bin/gwhy.byte ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -pack -o jc/jc.cmo src/ast.cmi src/lib.cmo src/rc.cmo src/loc.cmo src/ident.cmo src/print_real.cmo src/effect.cmo src/pp.cmo src/option_misc.cmo src/parser.cmo src/lexer.cmo src/report.cmo src/explain.cmo src/xml.cmo src/project.cmo jc/output.cmo jc/jc_common_options.cmo jc/jc_stdlib.cmo jc/jc_envset.cmo jc/jc_region.cmo jc/jc_fenv.cmo jc/jc_constructors.cmo jc/jc_pervasives.cmo jc/jc_iterators.cmo jc/jc_type_var.cmo jc/jc_output_misc.cmo jc/jc_poutput.cmo jc/jc_output.cmo jc/jc_noutput.cmo ocamlc -w Z -warn-error A -dtypes -g -I src -I jc -I c -I java -I intf -I tools -I mix -I ml -I +lablgtk2 -I +threads -I +ocamlgraph -thread -o regtest.byte unix.cma str.cma threads.cma tools/regtest.ml make -C frama-c-plugin depend make[2]: Entering directory `/«BUILDDIR»/why-2.30+dfsg/frama-c-plugin' sh -c 'for f in "$@"; do if test -e $f; then chmod u+w $f; fi done' chmod_rw ./.depend ocamldep -slash \ -I . -I "/usr/lib/frama-c" \ jessie_config.ml jessie_options.ml integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \ \ > ./.depend true ./.depend make[2]: Leaving directory `/«BUILDDIR»/why-2.30+dfsg/frama-c-plugin' make -C frama-c-plugin Jessie.cma make[2]: Entering directory `/«BUILDDIR»/why-2.30+dfsg/frama-c-plugin' ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc jessie_config.ml ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc jessie_options.mli ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc jessie_options.ml ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc integer.ml ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc common.mli ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc common.ml ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc rewrite.ml ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc norm.mli ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc norm.ml ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc retype.ml ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc interp.mli ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc interp.ml ocamlc -c -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc register.ml ocamlc -c Jessie.mli ocamlc -o Jessie.cmo -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc -pack \ \ ./jessie_config.cmo ./jessie_options.cmo ./integer.cmo ./common.cmo ./rewrite.cmo ./norm.cmo ./retype.cmo ./interp.cmo ./register.cmo ocamlc -o Jessie.cma -I . -w +a-4-6-7-9 -annot -g -I "/usr/lib/frama-c" -I +ocamlgraph -I ./../src -I ./../jc \ \ -a ./../jc/jc.cmo Jessie.cmo make[2]: Leaving directory `/«BUILDDIR»/why-2.30+dfsg/frama-c-plugin' make[1]: Leaving directory `/«BUILDDIR»/why-2.30+dfsg' dh_auto_test -a make -j1 test make[1]: Entering directory `/«BUILDDIR»/why-2.30+dfsg' [ ! -f bench/test.ml ] || bin/why.byte -d -V -coq bench/test.ml make[1]: Leaving directory `/«BUILDDIR»/why-2.30+dfsg' fakeroot debian/rules binary-arch dh --with ocaml binary-arch dh_testroot -a dh_prep -a rm -f debian/why.substvars rm -f debian/why.*.debhelper rm -rf debian/why/ dh_installdirs -a install -d debian/why install -d debian/why/usr/share/why debian/rules override_dh_auto_install make[1]: Entering directory `/«BUILDDIR»/why-2.30+dfsg' mkdir -p /«BUILDDIR»/why-2.30+dfsg/debian/why//usr/lib/frama-c/plugins /usr/bin/make prefix=/«BUILDDIR»/why-2.30+dfsg/debian/why/usr install \ LIBDIR=/«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share \ PLUGIN_INSTALL_DIR=/«BUILDDIR»/why-2.30+dfsg/debian/why/usr/lib/frama-c/plugins \ COQLIB=/«BUILDDIR»/why-2.30+dfsg/debian/libwhy-coq//usr/lib/coq make[2]: Entering directory `/«BUILDDIR»/why-2.30+dfsg' mkdir -p /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin cp -f bin/why.byte /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/why cp -f bin/why-config.byte /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/why-config cp -f bin/jessie.byte /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/jessie cp -f bin/krakatoa.byte /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/krakatoa cp -f bin/gwhy.sh /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/gwhy cp -f bin/why2html.byte /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/why2html cp -f bin/why-dp.byte /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/why-dp cp -f bin/why-cpulimit /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/why-cpulimit cp -f bin/rv_merge.byte /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/rv_merge cp -f bin/why-obfuscator.byte /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/why-obfuscator cp -f bin/why-stat.byte /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/why-stat cp -f bin/tool-stat.byte /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/tool-stat cp -f bin/simplify2why.byte /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/simplify2why if test -f bin/gwhy.byte; then \ cp -f bin/gwhy.byte /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin/gwhy-bin; \ fi mkdir -p /«BUILDDIR»/why-2.30+dfsg/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 /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/why/why mkdir -p /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/why/why3 cp -f lib/why3/jessie3.why lib/why3/jessie3.mlw /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/why/why3 mkdir -p /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/jessie cp -f jc/jc.cmo jc/jc_ast.cmi jc/jc_env.cmi jc/jc.cmi src/lib.cmi src/rc.cmi src/loc.cmi src/ident.cmi src/print_real.cmi src/effect.cmi src/pp.cmi src/option_misc.cmi src/parser.cmi src/lexer.cmi src/report.cmi src/explain.cmi src/xml.cmi src/project.cmi 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 /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/jessie mkdir -p /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/coq if test "v8.1" = "v7"; then \ true \ else \ cp -f lib/coq/jessie_why.v /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/coq; \ fi cd lib; cp -rf java_api /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/why cd lib; cp -rf javacard_api /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/why mkdir -p /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/why/images cp -f lib/images/*.png /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/why/images mkdir -p /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/why/emacs cp -f lib/emacs/why.el /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/why/emacs find /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share -name CVS | xargs rm -f -r mkdir -p /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/man/man1 cp -f doc/*.1 /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/man/man1 if test -w /«BUILDDIR»/why-2.30+dfsg/debian/libwhy-coq//usr/lib/coq ; then \ mkdir -p /«BUILDDIR»/why-2.30+dfsg/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 /«BUILDDIR»/why-2.30+dfsg/debian/libwhy-coq//usr/lib/coq/user-contrib/Why ; \ else \ echo "Cannot copy to Coq standard library. Add \"-R /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/why/coq Why\" to Coq options." ;\ mkdir -p /«BUILDDIR»/why-2.30+dfsg/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 lib/coq/WhyInt.v lib/coq/WhyArrays.v lib/coq/WhyBool.v lib/coq/WhyTuples.v lib/coq/WhyPermut.v lib/coq/WhyCoqCompat.v lib/coq/WhySorted.v lib/coq/WhyExn.v lib/coq/WhyLemmas.v lib/coq/WhyTactics.v lib/coq/WhyPrelude.v lib/coq/WhyCM.v lib/coq/Why.v lib/coq/WhyReal.v lib/coq/jessie_why.v lib/coq/WhyFloatsStrictLegacy.v /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/why/coq ;\ fi Cannot copy to Coq standard library. Add "-R /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/why/coq Why" to Coq options. /usr/bin/make -C frama-c-plugin install make[3]: Entering directory `/«BUILDDIR»/why-2.30+dfsg/frama-c-plugin' mkdir -p /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/lib/frama-c/plugins /bin/cp ./Jessie.cmi ./Jessie.cmo ./Jessie.cma /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/lib/frama-c/plugins if [ -f frama-c-Jessie.byte ]; then \ /bin/cp frama-c-Jessie.byte "/«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin"; \ fi if [ -f frama-c-Jessie.byte ]; then \ /bin/cp frama-c-Jessie.byte \ "/«BUILDDIR»/why-2.30+dfsg/debian/why/usr/bin"/frama-c-Jessie; \ fi make[3]: Leaving directory `/«BUILDDIR»/why-2.30+dfsg/frama-c-plugin' make[2]: Leaving directory `/«BUILDDIR»/why-2.30+dfsg' #Used to remove /usr/share/coq/jessie_why.v which is alone and installed by libwhy-coq rm -f -rf /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/coq/ #There is no program using the Jessie library. rm -f -rf /«BUILDDIR»/why-2.30+dfsg/debian/why/usr/share/jessie/ #Jessie.cma is installed, no need for this extra file rm -f -f /«BUILDDIR»/why-2.30+dfsg/debian/why//usr/lib/frama-c/plugins/Jessie.cmo echo 'F:CoqABI=8.3pl4+3.12.1' >> debian/libwhy-coq.substvars echo 'F:FramaCVersion=20111001+nitrogen+dfsg-4' >> debian/why.substvars make[1]: Leaving directory `/«BUILDDIR»/why-2.30+dfsg' dh_install -a 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 install -o 0 -g 0 -p -m644 ./CHANGES debian/why/usr/share/doc/why/changelog dh_installexamples -a dh_installman -a install -p -m644 debian/why-cpulimit.1 debian/why/usr/share/man/man1/why-cpulimit.1 man --recode UTF-8 ./why\-cpulimit\.1 > why\-cpulimit\.1\.new chmod 644 why-cpulimit.1.new mv -f why-cpulimit.1.new why-cpulimit.1 man --recode UTF-8 ./why\.1 > why\.1\.new chmod 644 why.1.new mv -f why.1.new why.1 dh_installcatalogs -a grep -s -v '^misc:Depends=' debian/why.substvars > debian/why.substvars.new || true mv debian/why.substvars.new debian/why.substvars dh_installcron -a dh_installdebconf -a install -o 0 -g 0 -d debian/why/DEBIAN dh_installemacsen -a dh_installifupdown -a dh_installinfo -a dh_installinit -a dh_installmenu -a dh_installmime -a dh_installmodules -a dh_installlogcheck -a dh_installlogrotate -a dh_installpam -a dh_installppp -a dh_installudev -a dh_installwm -a dh_installxfonts -a dh_installgsettings -a dh_bugfiles -a dh_ucf -a dh_lintian -a dh_gconf -a dh_icons -a dh_perl -a dh_usrlocal -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 `/«BUILDDIR»/why-2.30+dfsg' dh_compress -X.v -X.sx -X.why cd debian/why chmod a-x usr/share/man/man1/why-cpulimit.1 usr/share/man/man1/why.1 usr/share/doc/why/changelog.Debian usr/share/doc/why/changelog gzip -9nf usr/share/man/man1/why-cpulimit.1 usr/share/man/man1/why.1 usr/share/doc/why/changelog.Debian usr/share/doc/why/changelog cd '/«BUILDDIR»/why-2.30+dfsg' make[1]: Leaving directory `/«BUILDDIR»/why-2.30+dfsg' 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 strip --remove-section=.comment --remove-section=.note debian/why/usr/bin/why-cpulimit dh_makeshlibs -a rm -f debian/why/DEBIAN/shlibs dh_shlibdeps -a dpkg-shlibdeps -Tdebian/why.substvars debian/why/usr/bin/why-cpulimit dh_installdeb -a dh_ocaml -a +++ Remove former .olist.debhelper files +++ +++ Generate .olist.debhelper files +++ "cat debian/why.olist.debhelper" debian/why/usr/lib/frama-c/plugins/Jessie.cmi debian/why/usr/lib/frama-c/plugins/Jessie.cma debian/why/usr/bin/tool-stat debian/why/usr/bin/simplify2why debian/why/usr/bin/why2html debian/why/usr/bin/krakatoa debian/why/usr/bin/why-stat debian/why/usr/bin/jessie debian/why/usr/bin/why debian/why/usr/bin/why-dp debian/why/usr/bin/why-obfuscator debian/why/usr/bin/why-config debian/why/usr/bin/gwhy-bin debian/why/usr/bin/rv_merge +++ Compute .md5sums and lintian files for dev packages +++ +++ Compute dependencies for dev +++ +++ Compute dependencies for binary packages+++ grep -s -v '^ocaml:Depends=' debian/why.substvars > debian/why.substvars.new || true mv debian/why.substvars.new debian/why.substvars /usr/bin/ocaml-md5sums -v --package why dep < debian/why.olist.debhelper Processing debian/why/usr/lib/frama-c/plugins/Jessie.cmi Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/Jessie.cmi Processing debian/why/usr/lib/frama-c/plugins/Jessie.cma Execute ocamlobjinfo debian/why/usr/lib/frama-c/plugins/Jessie.cma Processing debian/why/usr/bin/tool-stat Execute ocamlobjinfo debian/why/usr/bin/tool-stat Processing debian/why/usr/bin/simplify2why Execute ocamlobjinfo debian/why/usr/bin/simplify2why Processing debian/why/usr/bin/why2html Execute ocamlobjinfo debian/why/usr/bin/why2html Processing debian/why/usr/bin/krakatoa Execute ocamlobjinfo debian/why/usr/bin/krakatoa Processing debian/why/usr/bin/why-stat Execute ocamlobjinfo debian/why/usr/bin/why-stat Processing debian/why/usr/bin/jessie Execute ocamlobjinfo debian/why/usr/bin/jessie Processing debian/why/usr/bin/why Execute ocamlobjinfo debian/why/usr/bin/why Processing debian/why/usr/bin/why-dp Execute ocamlobjinfo debian/why/usr/bin/why-dp Processing debian/why/usr/bin/why-obfuscator Execute ocamlobjinfo debian/why/usr/bin/why-obfuscator Processing debian/why/usr/bin/why-config Execute ocamlobjinfo debian/why/usr/bin/why-config Processing debian/why/usr/bin/gwhy-bin Execute ocamlobjinfo debian/why/usr/bin/gwhy-bin Processing debian/why/usr/bin/rv_merge Execute ocamlobjinfo debian/why/usr/bin/rv_merge why depends on liblablgtk2-ocaml-dev/liblablgtk2-ocaml v2.14.2+dfsg-2 through GObj why depends on libocamlgraph-ocaml-dev v1.8.2-2 through Graph why depends on ocaml-nox/ocaml-base-nox v3.12.1-3 through List W: why doesn't resolve dependency on unit DpConfig W: why doesn't resolve dependency on unit State_set W: why doesn't resolve dependency on unit Jc_common_options W: why doesn't resolve dependency on unit Jc_invariants W: why doesn't resolve dependency on unit Astpprinter W: why doesn't resolve dependency on unit Pp W: why doesn't resolve dependency on unit Unionfind W: why doesn't resolve dependency on unit Jc_effect W: why doesn't resolve dependency on unit Java_interp W: why doesn't resolve dependency on unit Java_syntax W: why doesn't resolve dependency on unit Dp W: why doesn't resolve dependency on unit Vcg W: why doesn't resolve dependency on unit Stat W: why doesn't resolve dependency on unit Simplify_split W: why doesn't resolve dependency on unit Rv_merge W: why doesn't resolve dependency on unit MonadSig W: why doesn't resolve dependency on unit CilE W: why doesn't resolve dependency on unit Explain W: why doesn't resolve dependency on unit Ast W: why doesn't resolve dependency on unit Jc_pattern W: why doesn't resolve dependency on unit Db W: why doesn't resolve dependency on unit Numconst W: why doesn't resolve dependency on unit Bit_utils W: why doesn't resolve dependency on unit Inthash W: why doesn't resolve dependency on unit Logic_const W: why doesn't resolve dependency on unit Log W: why doesn't resolve dependency on unit Escape W: why doesn't resolve dependency on unit Encoding W: why doesn't resolve dependency on unit Regen W: why doesn't resolve dependency on unit Jc_output_misc W: why doesn't resolve dependency on unit Descr W: why doesn't resolve dependency on unit Java_ast W: why doesn't resolve dependency on unit Jc_type_var W: why doesn't resolve dependency on unit Obfuscator W: why doesn't resolve dependency on unit Lattice_With_Isotropy W: why doesn't resolve dependency on unit Gappa W: why doesn't resolve dependency on unit Dispatcher W: why doesn't resolve dependency on unit Cc W: why doesn't resolve dependency on unit Jc_callgraph W: why doesn't resolve dependency on unit Why W: why doesn't resolve dependency on unit Harvey W: why doesn't resolve dependency on unit Jc_region W: why doesn't resolve dependency on unit Cvcl W: why doesn't resolve dependency on unit PdgMarks W: why doesn't resolve dependency on unit Offsetmap W: why doesn't resolve dependency on unit Cvcl_split W: why doesn't resolve dependency on unit Main W: why doesn't resolve dependency on unit Jc_options W: why doesn't resolve dependency on unit Mlize W: why doesn't resolve dependency on unit Hol4 W: why doesn't resolve dependency on unit Effect W: why doesn't resolve dependency on unit Rv_split W: why doesn't resolve dependency on unit Log W: why doesn't resolve dependency on unit Encoding_rec W: why doesn't resolve dependency on unit Cabs W: why doesn't resolve dependency on unit Cabs2cil W: why doesn't resolve dependency on unit State_selection W: why doesn't resolve dependency on unit Mapenv W: why doesn't resolve dependency on unit Jc_env W: why doesn't resolve dependency on unit Cilutil W: why doesn't resolve dependency on unit Output W: why doesn't resolve dependency on unit Function_Froms W: why doesn't resolve dependency on unit Simplify_ast W: why doesn't resolve dependency on unit PdgTypes W: why doesn't resolve dependency on unit Extlib W: why doesn't resolve dependency on unit Logic_utils W: why doesn't resolve dependency on unit Datatype W: why doesn't resolve dependency on unit Cmdline W: why doesn't resolve dependency on unit Utf8_logic W: why doesn't resolve dependency on unit Kernel_function W: why doesn't resolve dependency on unit Int_Base W: why doesn't resolve dependency on unit Model W: why doesn't resolve dependency on unit Toolstat_lex W: why doesn't resolve dependency on unit Logic_decl W: why doesn't resolve dependency on unit Pprinter W: why doesn't resolve dependency on unit Java_typing W: why doesn't resolve dependency on unit Type W: why doesn't resolve dependency on unit Jc_interp_misc W: why doesn't resolve dependency on unit Zenon W: why doesn't resolve dependency on unit Simplify_lexer W: why doesn't resolve dependency on unit State_dependency_graph W: why doesn't resolve dependency on unit Jc_ast W: why doesn't resolve dependency on unit Print_real W: why doesn't resolve dependency on unit Tools W: why doesn't resolve dependency on unit Hptset W: why doesn't resolve dependency on unit Env W: why doesn't resolve dependency on unit Lattice_Interval_Set W: why doesn't resolve dependency on unit Lib W: why doesn't resolve dependency on unit My_bigint W: why doesn't resolve dependency on unit Cabshelper W: why doesn't resolve dependency on unit Structural_descr W: why doesn't resolve dependency on unit Abstract_value W: why doesn't resolve dependency on unit Typing W: why doesn't resolve dependency on unit Java_main W: why doesn't resolve dependency on unit Java_analysis W: why doesn't resolve dependency on unit Smtlib W: why doesn't resolve dependency on unit Jc_parser W: why doesn't resolve dependency on unit Hypotheses_filtering W: why doesn't resolve dependency on unit Pretty_utils W: why doesn't resolve dependency on unit Toolstat_pars W: why doesn't resolve dependency on unit Map_common_interface W: why doesn't resolve dependency on unit Project W: why doesn't resolve dependency on unit Jc_frame W: why doesn't resolve dependency on unit Theory_filtering W: why doesn't resolve dependency on unit GConfig W: why doesn't resolve dependency on unit Whyhilight W: why doesn't resolve dependency on unit Util W: why doesn't resolve dependency on unit Cil_types W: why doesn't resolve dependency on unit Ergo_split W: why doesn't resolve dependency on unit Abstract_interp W: why doesn't resolve dependency on unit Java_tast W: why doesn't resolve dependency on unit Why2html W: why doesn't resolve dependency on unit Jc_separation W: why doesn't resolve dependency on unit Cil_const W: why doesn't resolve dependency on unit Globals W: why doesn't resolve dependency on unit Logic_ptree W: why doesn't resolve dependency on unit Jc_frame_notin W: why doesn't resolve dependency on unit PredDefExpansor W: why doesn't resolve dependency on unit Encoding_mono_inst W: why doesn't resolve dependency on unit Base W: why doesn't resolve dependency on unit Config W: why doesn't resolve dependency on unit Pvs W: why doesn't resolve dependency on unit Parameter W: why doesn't resolve dependency on unit Red W: why doesn't resolve dependency on unit Jc_stdlib W: why doesn't resolve dependency on unit Cache W: why doesn't resolve dependency on unit Ptree W: why doesn't resolve dependency on unit Jc_iterators W: why doesn't resolve dependency on unit Tagsplit W: why doesn't resolve dependency on unit Simplify W: why doesn't resolve dependency on unit Java_pervasives W: why doesn't resolve dependency on unit Jc_main W: why doesn't resolve dependency on unit Jc_name W: why doesn't resolve dependency on unit Jc_poutput W: why doesn't resolve dependency on unit Lmap_bitwise W: why doesn't resolve dependency on unit Jc_envset W: why doesn't resolve dependency on unit Astnprinter W: why doesn't resolve dependency on unit Buckx W: why doesn't resolve dependency on unit Annotations W: why doesn't resolve dependency on unit Cvalue W: why doesn't resolve dependency on unit Options W: why doesn't resolve dependency on unit Kernel W: why doesn't resolve dependency on unit Plugin W: why doesn't resolve dependency on unit Property W: why doesn't resolve dependency on unit Locations W: why doesn't resolve dependency on unit Toolstat W: why doesn't resolve dependency on unit Jc_noutput W: why doesn't resolve dependency on unit Smtlib_split W: why doesn't resolve dependency on unit Encoding_mono W: why doesn't resolve dependency on unit Colors W: why doesn't resolve dependency on unit File W: why doesn't resolve dependency on unit Isabelle W: why doesn't resolve dependency on unit Monad W: why doesn't resolve dependency on unit Jc_fenv W: why doesn't resolve dependency on unit Jc_interp W: why doesn't resolve dependency on unit Mizar W: why doesn't resolve dependency on unit Ast W: why doesn't resolve dependency on unit Encoding_strat W: why doesn't resolve dependency on unit Fastwp W: why doesn't resolve dependency on unit Inout_type W: why doesn't resolve dependency on unit Ast_printer W: why doesn't resolve dependency on unit Ast_info W: why doesn't resolve dependency on unit Java_abstract W: why doesn't resolve dependency on unit Theoryreducer W: why doesn't resolve dependency on unit Pretty W: why doesn't resolve dependency on unit Jc_struct_tools W: why doesn't resolve dependency on unit Monomorph W: why doesn't resolve dependency on unit Java_parser W: why doesn't resolve dependency on unit Ival W: why doesn't resolve dependency on unit Why3 W: why doesn't resolve dependency on unit Toolstat_types W: why doesn't resolve dependency on unit SlicingInternals W: why doesn't resolve dependency on unit Xml W: why doesn't resolve dependency on unit State W: why doesn't resolve dependency on unit PdgIndex W: why doesn't resolve dependency on unit Java_callgraph W: why doesn't resolve dependency on unit Java_options W: why doesn't resolve dependency on unit Types W: why doesn't resolve dependency on unit Astprinter W: why doesn't resolve dependency on unit Lexer W: why doesn't resolve dependency on unit Jc_make W: why doesn't resolve dependency on unit Misc W: why doesn't resolve dependency on unit Project W: why doesn't resolve dependency on unit Simplify_parser W: why doesn't resolve dependency on unit Preferences W: why doesn't resolve dependency on unit SlicingTypes W: why doesn't resolve dependency on unit Version W: why doesn't resolve dependency on unit Visitor W: why doesn't resolve dependency on unit Printer W: why doesn't resolve dependency on unit Logic_env W: why doesn't resolve dependency on unit Jc_typing W: why doesn't resolve dependency on unit Hook W: why doesn't resolve dependency on unit Project_skeleton W: why doesn't resolve dependency on unit Java_lexer W: why doesn't resolve dependency on unit Report W: why doesn't resolve dependency on unit Simplify_towhy W: why doesn't resolve dependency on unit Cil W: why doesn't resolve dependency on unit Jc_constructors W: why doesn't resolve dependency on unit Ocaml W: why doesn't resolve dependency on unit Rc W: why doesn't resolve dependency on unit Hptmap W: why doesn't resolve dependency on unit Jc_norm W: why doesn't resolve dependency on unit Dashtbl W: why doesn't resolve dependency on unit Error W: why doesn't resolve dependency on unit Hilight W: why doesn't resolve dependency on unit WhyConfig W: why doesn't resolve dependency on unit Dynamic W: why doesn't resolve dependency on unit State_builder W: why doesn't resolve dependency on unit Parser W: why doesn't resolve dependency on unit Loc W: why doesn't resolve dependency on unit Jc_output W: why doesn't resolve dependency on unit Cil_datatype W: why doesn't resolve dependency on unit Ltyping W: why doesn't resolve dependency on unit Jc_lexer W: why doesn't resolve dependency on unit Jc_ai W: why doesn't resolve dependency on unit Origin W: why doesn't resolve dependency on unit Holl W: why doesn't resolve dependency on unit Z3 W: why doesn't resolve dependency on unit Emitter W: why doesn't resolve dependency on unit Wp W: why doesn't resolve dependency on unit Ident W: why doesn't resolve dependency on unit Zenon_split W: why doesn't resolve dependency on unit Linenum W: why doesn't resolve dependency on unit Java_env W: why doesn't resolve dependency on unit Jc_pervasives W: why doesn't resolve dependency on unit Tags W: why doesn't resolve dependency on unit Calldp W: why doesn't resolve dependency on unit Unmarshal W: why doesn't resolve dependency on unit Whystat W: why doesn't resolve dependency on unit Rename W: why doesn't resolve dependency on unit Property_status W: why doesn't resolve dependency on unit Coq W: why doesn't resolve dependency on unit Logic W: why doesn't resolve dependency on unit Option_misc W: why doesn't resolve dependency on unit Encoding_pred (grep -s -v ocaml:Depends debian/why.substvars; echo ocaml:Depends=liblablgtk2-ocaml-yeug0) > debian/why.substvars.new mv debian/why.substvars.new debian/why.substvars (grep -s -v ocaml:Depends debian/why.substvars; echo "ocaml:Depends=liblablgtk2-ocaml-yeug0, ocaml-base-nox-3.12.1") > debian/why.substvars.new mv debian/why.substvars.new debian/why.substvars dh_gencontrol -a echo misc:Depends= >> debian/why.substvars dpkg-gencontrol -pwhy -ldebian/changelog -Tdebian/why.substvars -Pdebian/why 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 .. dpkg-deb: building package `why' in `../why_2.30+dfsg-5_armhf.deb'. dpkg-genchanges -B -mbuildd >../why_2.30+dfsg-5_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.30+dfsg dpkg-buildpackage: binary only upload (no source included) ──────────────────────────────────────────────────────────────────────────────── Build finished at 20120531-1530 Finished ──────── I: Built successfully ┌──────────────────────────────────────────────────────────────────────────────┐ │ Changes │ └──────────────────────────────────────────────────────────────────────────────┘ why_2.30+dfsg-5_armhf.changes: ────────────────────────────── Format: 1.8 Date: Wed, 16 May 2012 12:54:14 +0200 Source: why Binary: why why-examples libwhy-coq Architecture: armhf Version: 2.30+dfsg-5 Distribution: testing Urgency: low Maintainer: buildd Changed-By: Mehdi Dogguy Description: libwhy-coq - Why library for Coq why - Software verification tool why-examples - Examples of programs certified with Why Changes: why (2.30+dfsg-5) unstable; urgency=low . * Update 0001-Why-2.29-do-support-Coq-8.3.patch - Mark Coq 8.3pl4 as compatible. * Bump Standards-Version to 3.9.3, no changes required. Checksums-Sha1: 17feb1799dbbe95aaccf0a6a847788757ae2d1f8 16667612 why_2.30+dfsg-5_armhf.deb Checksums-Sha256: fe54c052797d832881d60cc0535c6e479dd1c86aa8a34eae3cf2cddfe9e700b0 16667612 why_2.30+dfsg-5_armhf.deb Files: eea158959826e52a7731b07a84ee4b1e 16667612 math optional why_2.30+dfsg-5_armhf.deb ┌──────────────────────────────────────────────────────────────────────────────┐ │ Package contents │ └──────────────────────────────────────────────────────────────────────────────┘ why_2.30+dfsg-5_armhf.deb ───────────────────────── new debian package, version 2.0. size 16667612 bytes: control archive= 5855 bytes. 856 bytes, 18 lines control 13851 bytes, 181 lines md5sums Package: why Version: 2.30+dfsg-5 Architecture: armhf Maintainer: Debian OCaml Maintainers Installed-Size: 41750 Depends: libc6 (>= 2.13-28), liblablgtk2-ocaml-yeug0, ocaml-base-nox-3.12.1, frama-c-base (= 20111001+nitrogen+dfsg-4), make Recommends: alt-ergo Suggests: libwhy-coq (= 2.30+dfsg-5) 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. drwxr-xr-x root/root 0 2012-05-31 15:28 ./ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/doc/why/ -rw-r--r-- root/root 3971 2012-05-16 03:54 ./usr/share/doc/why/changelog.Debian.gz -rw-r--r-- root/root 3865 2012-05-15 04:30 ./usr/share/doc/why/copyright -rw-r--r-- root/root 10876 2011-10-24 08:21 ./usr/share/doc/why/changelog.gz -rw-r--r-- root/root 849 2012-05-15 04:30 ./usr/share/doc/why/README.source -rw-r--r-- root/root 3206 2011-10-24 08:21 ./usr/share/doc/why/README drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/images/ -rw-r--r-- root/root 1954 2012-05-31 15:28 ./usr/share/why/images/bug32.png -rw-r--r-- root/root 2171 2012-05-31 15:28 ./usr/share/why/images/play32.png -rw-r--r-- root/root 2038 2012-05-31 15:28 ./usr/share/why/images/stop-bw.png -rw-r--r-- root/root 582 2012-05-31 15:28 ./usr/share/why/images/delete-bw.png -rw-r--r-- root/root 669 2012-05-31 15:28 ./usr/share/why/images/clock-bw.png -rw-r--r-- root/root 2300 2012-05-31 15:28 ./usr/share/why/images/accept32.png -rw-r--r-- root/root 717 2012-05-31 15:28 ./usr/share/why/images/accept-bw.png -rw-r--r-- root/root 2188 2012-05-31 15:28 ./usr/share/why/images/pause-bw.png -rw-r--r-- root/root 2171 2012-05-31 15:28 ./usr/share/why/images/play-bw.png -rw-r--r-- root/root 2038 2012-05-31 15:28 ./usr/share/why/images/stop32.png -rw-r--r-- root/root 2203 2012-05-31 15:28 ./usr/share/why/images/delete32.png -rw-r--r-- root/root 2209 2012-05-31 15:28 ./usr/share/why/images/help32.png -rw-r--r-- root/root 613 2012-05-31 15:28 ./usr/share/why/images/help-bw.png -rw-r--r-- root/root 1954 2012-05-31 15:28 ./usr/share/why/images/bug-bw.png -rw-r--r-- root/root 2454 2012-05-31 15:28 ./usr/share/why/images/clock32.png -rw-r--r-- root/root 7473 2012-05-31 15:28 ./usr/share/why/images/logo-why-small.png -rw-r--r-- root/root 2188 2012-05-31 15:28 ./usr/share/why/images/pause32.png -rw-r--r-- root/root 14447 2012-05-31 15:28 ./usr/share/why/images/why-logo-1.png drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/coq/ -rw-r--r-- root/root 8729 2012-05-31 15:28 ./usr/share/why/coq/WhyInt.vo -rw-r--r-- root/root 12385 2012-05-31 15:28 ./usr/share/why/coq/WhyTactics.vo -rw-r--r-- root/root 18297 2012-05-31 15:28 ./usr/share/why/coq/WhyArrays.vo -rw-r--r-- root/root 1207 2012-05-31 15:28 ./usr/share/why/coq/WhyTactics.v -rw-r--r-- root/root 2946 2012-05-31 15:28 ./usr/share/why/coq/WhyBool.v -rw-r--r-- root/root 2975 2012-05-31 15:28 ./usr/share/why/coq/WhyPrelude.v -rw-r--r-- root/root 754 2012-05-31 15:28 ./usr/share/why/coq/WhyCoqCompat.v -rw-r--r-- root/root 19862 2012-05-31 15:28 ./usr/share/why/coq/WhyBool.vo -rw-r--r-- root/root 1039 2012-05-31 15:28 ./usr/share/why/coq/Why.v -rw-r--r-- root/root 3378 2012-05-31 15:28 ./usr/share/why/coq/WhyArrays.v -rw-r--r-- root/root 5321 2012-05-31 15:28 ./usr/share/why/coq/WhySorted.v -rw-r--r-- root/root 15683 2012-05-31 15:28 ./usr/share/why/coq/WhyPrelude.vo -rw-r--r-- root/root 1585 2012-05-31 15:28 ./usr/share/why/coq/WhyReal.v -rw-r--r-- root/root 17167 2012-05-31 15:28 ./usr/share/why/coq/WhyLemmas.vo -rw-r--r-- root/root 3860 2012-05-31 15:28 ./usr/share/why/coq/WhyTuples.v -rw-r--r-- root/root 123571 2012-05-31 15:28 ./usr/share/why/coq/WhySorted.vo -rw-r--r-- root/root 810 2012-05-31 15:28 ./usr/share/why/coq/WhyInt.v -rw-r--r-- root/root 68586 2012-05-31 15:28 ./usr/share/why/coq/WhyTuples.vo -rw-r--r-- root/root 34694 2012-05-31 15:28 ./usr/share/why/coq/jessie_why.v -rw-r--r-- root/root 8988 2012-05-31 15:28 ./usr/share/why/coq/Why.vo -rw-r--r-- root/root 21473 2012-05-31 15:28 ./usr/share/why/coq/WhyFloatsStrictLegacy.v -rw-r--r-- root/root 10347 2012-05-31 15:28 ./usr/share/why/coq/WhyPermut.v -rw-r--r-- root/root 2875 2012-05-31 15:28 ./usr/share/why/coq/WhyLemmas.v -rw-r--r-- root/root 4170 2012-05-31 15:28 ./usr/share/why/coq/WhyCM.v -rw-r--r-- root/root 2907 2012-05-31 15:28 ./usr/share/why/coq/WhyExn.v -rw-r--r-- root/root 119031 2012-05-31 15:28 ./usr/share/why/coq/WhyPermut.vo -rw-r--r-- root/root 35912 2012-05-31 15:28 ./usr/share/why/coq/WhyCM.vo -rw-r--r-- root/root 280676 2012-05-31 15:28 ./usr/share/why/coq/WhyFloatsStrictLegacy.vo -rw-r--r-- root/root 7819 2012-05-31 15:28 ./usr/share/why/coq/WhyCoqCompat.vo -rw-r--r-- root/root 13323 2012-05-31 15:28 ./usr/share/why/coq/WhyReal.vo -rw-r--r-- root/root 20165 2012-05-31 15:28 ./usr/share/why/coq/WhyExn.vo -rw-r--r-- root/root 94233 2012-05-31 15:28 ./usr/share/why/coq/jessie_why.vo drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/why3/ -rw-r--r-- root/root 19652 2012-05-31 15:28 ./usr/share/why/why3/jessie3.why -rw-r--r-- root/root 17302 2012-05-31 15:28 ./usr/share/why/why3/jessie3.mlw drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/why/ -rw-r--r-- root/root 28185 2012-05-31 15:28 ./usr/share/why/why/jessie.why -rw-r--r-- root/root 202 2012-05-31 15:28 ./usr/share/why/why/mix.why -rw-r--r-- root/root 12337 2012-05-31 15:28 ./usr/share/why/why/floats_multi_rounding.why -rw-r--r-- root/root 1534 2012-05-31 15:28 ./usr/share/why/why/integer.why -rw-r--r-- root/root 5790 2012-05-31 15:28 ./usr/share/why/why/real.why -rw-r--r-- root/root 1376 2012-05-31 15:28 ./usr/share/why/why/divisions.why -rw-r--r-- root/root 6591 2012-05-31 15:28 ./usr/share/why/why/jessie_bitvectors.why -rw-r--r-- root/root 42399 2012-05-31 15:28 ./usr/share/why/why/floats_full.why -rw-r--r-- root/root 4483 2012-05-31 15:28 ./usr/share/why/why/floats_common.why -rw-r--r-- root/root 2727 2012-05-31 15:28 ./usr/share/why/why/arrays.why -rw-r--r-- root/root 661 2012-05-31 15:28 ./usr/share/why/why/bool.why -rw-r--r-- root/root 11421 2012-05-31 15:28 ./usr/share/why/why/floats_strict.why -rw-r--r-- root/root 0 2012-05-31 15:28 ./usr/share/why/why/mybag.why -rw-r--r-- root/root 2642 2012-05-31 15:28 ./usr/share/why/why/prelude.why drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/emacs/ -rw-r--r-- root/root 4933 2012-05-31 15:28 ./usr/share/why/emacs/why.el drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/java_api/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/java_api/java/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/ -rw-r--r-- root/root 90665 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/String.java -rw-r--r-- root/root 3067 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/CharSequence.java -rw-r--r-- root/root 1028 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/ArrayStoreException.java -rw-r--r-- root/root 35750 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/Integer.java -rw-r--r-- root/root 1356 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/NumberFormatException.java -rw-r--r-- root/root 2935 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/RuntimeException.java -rw-r--r-- root/root 38062 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/System.java -rw-r--r-- root/root 3072 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/Number.java -rw-r--r-- root/root 37242 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/Math.java -rw-r--r-- root/root 89699 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/Class.java -rw-r--r-- root/root 34165 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/Long.java -rw-r--r-- root/root 893 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/IllegalArgumentException.java -rw-r--r-- root/root 50601 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/StringBuffer.java -rw-r--r-- root/root 28832 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/Double.java -rw-r--r-- root/root 2772 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/Exception.java -rw-r--r-- root/root 26985 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/Throwable.java -rw-r--r-- root/root 5730 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/Comparable.java -rw-r--r-- root/root 1353 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/Cloneable.java -rw-r--r-- root/root 74738 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/Character.java -rw-r--r-- root/root 23657 2012-05-31 15:28 ./usr/share/why/java_api/java/lang/Object.java drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/java_api/java/io/ -rw-r--r-- root/root 3929 2012-05-31 15:28 ./usr/share/why/java_api/java/io/FileDescriptor.java -rw-r--r-- root/root 6788 2012-05-31 15:28 ./usr/share/why/java_api/java/io/OutputStreamWriter.java -rw-r--r-- root/root 1932 2012-05-31 15:28 ./usr/share/why/java_api/java/io/FileNotFoundException.java -rw-r--r-- root/root 5082 2012-05-31 15:28 ./usr/share/why/java_api/java/io/OutputStream.java -rw-r--r-- root/root 5732 2012-05-31 15:28 ./usr/share/why/java_api/java/io/InputStreamReader.java -rw-r--r-- root/root 4695 2012-05-31 15:28 ./usr/share/why/java_api/java/io/Serializable.java -rw-r--r-- root/root 25753 2012-05-31 15:28 ./usr/share/why/java_api/java/io/StreamTokenizer.java -rw-r--r-- root/root 5152 2012-05-31 15:28 ./usr/share/why/java_api/java/io/FilterOutputStream.java -rw-r--r-- root/root 2093 2012-05-31 15:28 ./usr/share/why/java_api/java/io/FileReader.java -rw-r--r-- root/root 7104 2012-05-31 15:28 ./usr/share/why/java_api/java/io/BufferedWriter.java -rw-r--r-- root/root 1103 2012-05-31 15:28 ./usr/share/why/java_api/java/io/IOException.java -rw-r--r-- root/root 7268 2012-05-31 15:28 ./usr/share/why/java_api/java/io/Reader.java -rw-r--r-- root/root 14881 2012-05-31 15:28 ./usr/share/why/java_api/java/io/InputStream.java -rw-r--r-- root/root 18130 2012-05-31 15:28 ./usr/share/why/java_api/java/io/PrintStream.java -rw-r--r-- root/root 63721 2012-05-31 15:28 ./usr/share/why/java_api/java/io/File.java -rw-r--r-- root/root 64725 2012-05-31 15:28 ./usr/share/why/java_api/java/io/ObjectStreamClass.java drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/java_api/java/util/ -rw-r--r-- root/root 2165 2012-05-31 15:28 ./usr/share/why/java_api/java/util/Iterator.java -rw-r--r-- root/root 14662 2012-05-31 15:28 ./usr/share/why/java_api/java/util/Set.java -rw-r--r-- root/root 34531 2012-05-31 15:28 ./usr/share/why/java_api/java/util/HashMap.java -rw-r--r-- root/root 19069 2012-05-31 15:28 ./usr/share/why/java_api/java/util/Map.java -rw-r--r-- root/root 39 2012-05-31 15:28 ./usr/share/why/java_api/java/util/Locale.java -rw-r--r-- root/root 761 2012-05-31 15:28 ./usr/share/why/java_api/java/util/HashMapIntegerInteger.java -rw-r--r-- root/root 18850 2012-05-31 15:28 ./usr/share/why/java_api/java/util/Collection.java -rw-r--r-- root/root 785 2012-05-31 15:28 ./usr/share/why/java_api/java/util/HashMapIntegerLong.java -rw-r--r-- root/root 23747 2012-05-31 15:28 ./usr/share/why/java_api/java/util/AbstractMap.java drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/javacard_api/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/javacard_api/com/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/javacard_api/com/sun/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/javacard_api/com/sun/javacard/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/javacard_api/com/sun/javacard/impl/ -rw-r--r-- root/root 114 2012-05-31 15:28 ./usr/share/why/javacard_api/com/sun/javacard/impl/Constants.java -rw-r--r-- root/root 64 2012-05-31 15:28 ./usr/share/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java -rw-r--r-- root/root 62 2012-05-31 15:28 ./usr/share/why/javacard_api/com/sun/javacard/impl/PrivAccess.java -rw-r--r-- root/root 65 2012-05-31 15:28 ./usr/share/why/javacard_api/com/sun/javacard/impl/NativeMethods.java drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/ -rw-r--r-- root/root 3138 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/DESKey.java -rw-r--r-- root/root 18870 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/Signature.java -rw-r--r-- root/root 6484 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/KeyPair.java -rw-r--r-- root/root 3308 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/DSAPublicKey.java -rw-r--r-- root/root 10715 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/RSAPrivateCrtKey.java -rw-r--r-- root/root 1186 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/SecretKey.java -rw-r--r-- root/root 1190 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/PrivateKey.java -rw-r--r-- root/root 1190 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/PublicKey.java -rw-r--r-- root/root 3820 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/CryptoException.java -rw-r--r-- root/root 3305 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/DSAPrivateKey.java -rw-r--r-- root/root 5796 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/KeyBuilder.java -rw-r--r-- root/root 6928 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/DSAKey.java -rw-r--r-- root/root 3257 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/RandomData.java -rw-r--r-- root/root 5014 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/RSAPrivateKey.java -rw-r--r-- root/root 4723 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/RSAPublicKey.java -rw-r--r-- root/root 2223 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/Key.java -rw-r--r-- root/root 5038 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/security/MessageDigest.java drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/ -rw-r--r-- root/root 7395 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/AID.java -rw-r--r-- root/root 17202 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/Util.java -rw-r--r-- root/root 14548 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/Applet.java -rw-r--r-- root/root 3306 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/CardRuntimeException.java -rw-r--r-- root/root 9040 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/Dispatcher.java -rw-r--r-- root/root 17345 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/JCSystem.java -rw-r--r-- root/root 4295 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/SystemException.java -rw-r--r-- root/root 38103 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/APDU.java -rw-r--r-- root/root 5011 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/APDUException.java -rw-r--r-- root/root 1565 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/Shareable.java -rw-r--r-- root/root 4779 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/ISO7816.java -rw-r--r-- root/root 3167 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/CardException.java -rw-r--r-- root/root 3042 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/PINException.java -rw-r--r-- root/root 4167 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/TransactionException.java -rw-r--r-- root/root 11618 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/OwnerPIN.java -rw-r--r-- root/root 4190 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/ISOException.java -rw-r--r-- root/root 5358 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/PIN.java -rw-r--r-- root/root 3223 2012-05-31 15:28 ./usr/share/why/javacard_api/javacard/framework/UserException.java drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/javacard_api/javacardx/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/javacard_api/javacardx/crypto/ -rw-r--r-- root/root 2970 2012-05-31 15:28 ./usr/share/why/javacard_api/javacardx/crypto/Cipher.java drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/javacard_api/java/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/why/javacard_api/java/lang/ -rw-r--r-- root/root 482 2012-05-31 15:28 ./usr/share/why/javacard_api/java/lang/IndexOutOfBoundsException.java -rw-r--r-- root/root 1758 2012-05-31 15:28 ./usr/share/why/javacard_api/java/lang/RuntimeException.java -rw-r--r-- root/root 1659 2012-05-31 15:28 ./usr/share/why/javacard_api/java/lang/Exception.java -rw-r--r-- root/root 500 2012-05-31 15:28 ./usr/share/why/javacard_api/java/lang/ArrayIndexOutOfBoundsException.java -rw-r--r-- root/root 1793 2012-05-31 15:28 ./usr/share/why/javacard_api/java/lang/Throwable.java -rw-r--r-- root/root 3513 2012-05-31 15:28 ./usr/share/why/javacard_api/java/lang/Object.java drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/man/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/share/man/man1/ -rw-r--r-- root/root 364 2012-05-31 15:28 ./usr/share/man/man1/why-cpulimit.1.gz -rw-r--r-- root/root 405 2012-05-31 15:28 ./usr/share/man/man1/why.1.gz drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/lib/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/lib/frama-c/ drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/lib/frama-c/plugins/ -rw-r--r-- root/root 139 2012-05-31 15:28 ./usr/lib/frama-c/plugins/Jessie.cmi -rw-r--r-- root/root 4426187 2012-05-31 15:28 ./usr/lib/frama-c/plugins/Jessie.cma drwxr-xr-x root/root 0 2012-05-31 15:28 ./usr/bin/ -rwxr-xr-x root/root 917262 2012-05-31 15:28 ./usr/bin/tool-stat -rwxr-xr-x root/root 565 2012-05-31 15:28 ./usr/bin/gwhy -rwxr-xr-x root/root 730005 2012-05-31 15:28 ./usr/bin/simplify2why -rwxr-xr-x root/root 282455 2012-05-31 15:28 ./usr/bin/why2html -rwxr-xr-x root/root 5890512 2012-05-31 15:28 ./usr/bin/krakatoa -rwxr-xr-x root/root 1133730 2012-05-31 15:28 ./usr/bin/why-stat -rwxr-xr-x root/root 7853221 2012-05-31 15:28 ./usr/bin/jessie -rwxr-xr-x root/root 7214894 2012-05-31 15:28 ./usr/bin/why -rwxr-xr-x root/root 1031654 2012-05-31 15:28 ./usr/bin/why-dp -rwxr-xr-x root/root 1471335 2012-05-31 15:28 ./usr/bin/why-obfuscator -rwxr-xr-x root/root 786047 2012-05-31 15:28 ./usr/bin/why-config -rwxr-xr-x root/root 8168855 2012-05-31 15:28 ./usr/bin/gwhy-bin -rwxr-xr-x root/root 3480 2012-05-31 15:28 ./usr/bin/why-cpulimit -rwxr-xr-x root/root 335012 2012-05-31 15:28 ./usr/bin/rv_merge lrwxrwxrwx root/root 0 2012-05-31 15:28 ./usr/share/man/man1/gwhy-bin.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2012-05-31 15:28 ./usr/share/man/man1/tool-stat.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2012-05-31 15:28 ./usr/share/man/man1/rv_merge.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2012-05-31 15:28 ./usr/share/man/man1/simplify2why.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2012-05-31 15:28 ./usr/share/man/man1/why-dp.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2012-05-31 15:28 ./usr/share/man/man1/gwhy.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2012-05-31 15:28 ./usr/share/man/man1/why-obfuscator.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2012-05-31 15:28 ./usr/share/man/man1/jessie.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2012-05-31 15:28 ./usr/share/man/man1/why-config.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2012-05-31 15:28 ./usr/share/man/man1/caduceus.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2012-05-31 15:28 ./usr/share/man/man1/why2html.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2012-05-31 15:28 ./usr/share/man/man1/why-stat.1.gz -> why.1.gz lrwxrwxrwx root/root 0 2012-05-31 15:28 ./usr/share/man/man1/krakatoa.1.gz -> why.1.gz ┌──────────────────────────────────────────────────────────────────────────────┐ │ Post Build │ └──────────────────────────────────────────────────────────────────────────────┘ ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 5 not upgraded. Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: adduser* aspell* aspell-en* autoconf* autotools-dev* bsdmainutils* camlidl* camlp4* coq* coq-theories* dbus* dbus-x11* debhelper* dh-ocaml* dictionaries-common* dmsetup* emacsen-common* file* fontconfig* fontconfig-config* frama-c-base* gconf-service* 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-pango-1.0* gnome-mime-data* groff-base* gvfs* gvfs-common* gvfs-daemons* gvfs-libs* html2text* intltool-debian* libapron* libapron-dev* libapron-ocaml* libapron-ocaml-dev* libart-2.0-2* libasound2* libaspell15* libatasmart4* libatk1.0-0* libatk1.0-data* libatk1.0-dev* libavahi-client3* libavahi-common-data* libavahi-common3* libavahi-glib1* libbluray1* libbonobo2-0* libbonobo2-common* libbonoboui2-0* libbonoboui2-common* libcairo-gobject2* libcairo-script-interpreter2* libcairo2* libcairo2-dev* libcanberra0* libcap2* libcoq-ocaml* libcroco3* libcups2* libdatrie1* libdbus-1-3* libdbus-glib-1-2* libdevmapper1.02.1* libdrm2* libelf1* libenchant-dev* libenchant1c2a* libexpat1* libexpat1-dev* libfam0* libffi5* libfloat-coq* libfontconfig1* libfontconfig1-dev* libfontenc1* libfreetype6* libfreetype6-dev* libgail18* libgconf-2-4* libgcrypt11* libgdk-pixbuf2.0-0* libgdk-pixbuf2.0-common* libgdk-pixbuf2.0-dev* libgdu0* libgirepository-1.0-1* libgl1-mesa-glx* libglade2-0* libglade2-dev* libglapi-mesa* 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-common* libgnomecanvas2-0* libgnomecanvas2-common* libgnomeui-0* libgnomeui-common* libgnomevfs2-0* libgnomevfs2-common* libgnutls26* libgpg-error0* libgssapi-krb5-2* libgtk2.0-0* libgtk2.0-common* libgtk2.0-dev* libgtksourceview2.0-0* libgtksourceview2.0-common* libgtkspell-dev* libgtkspell0* libgudev-1.0-0* libhunspell-1.3-0* libice-dev* libice6* libidl0* libjasper1* libjbig0* libjpeg8* libk5crypto3* libkeyutils1* libkrb5-3* libkrb5support0* liblablgtk2-gnome-ocaml* liblablgtk2-ocaml* liblablgtk2-ocaml-dev* liblablgtksourceview2-ocaml* libldap-2.4-2* libltdl7* liblvm2app2.2* libmagic1* libmpfr-dev* libncurses5-dev* libocamlgraph-ocaml-dev* libogg0* liborbit2* libp11-kit0* libpango1.0-0* libpango1.0-dev* libparted0debian1* libpcre3* libpcre3-dev* libpcrecpp0* libpipeline1* libpixman-1-0* libpixman-1-dev* libpng12-0* libpng12-dev* libpolkit-gobject-1-0* libpopt0* libppl-c4* libppl0.11-dev* libppl9* libpthread-stubs0* libpthread-stubs0-dev* libpwl5* librsvg2-2* libsasl2-2* libsgutils2-2* libsm-dev* libsm6* libsqlite3-0* libssl1.0.0* libsystemd-login0* libtasn1-3* libtdb1* libthai-data* libthai0* libtiff4* libtinfo-dev* libudev0* libunistring0* libvorbis0a* libvorbisfile3* libx11-6* libx11-data* libx11-dev* libx11-xcb1* libxau-dev* libxau6* libxaw7* libxcb-render0* libxcb-render0-dev* libxcb-shape0* 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* libxmu6* libxmuu1* libxpm4* libxrandr-dev* libxrandr2* libxrender-dev* libxrender1* libxt6* libxtst6* libxv1* libxxf86dga1* libxxf86vm1* m4* man-db* mime-support* ocaml-base-nox* ocaml-interp* ocaml-nox* pkg-config* po-debconf* psmisc* python* python-minimal* python2.7* python2.7-minimal* sbuild-build-depends-core-dummy* sbuild-build-depends-why-dummy* shared-mime-info* ttf-dejavu-core* udev* udisks* x11-common* x11-utils* 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, 0 newly installed, 269 to remove and 5 not upgraded. After this operation, 677 MB disk space will be freed. (Reading database ... 23669 files and directories currently installed.) Removing sbuild-build-depends-why-dummy ... Removing frama-c-base ... Removing liblablgtk2-gnome-ocaml ... Removing libgnomeui-0 ... Purging configuration files for libgnomeui-0 ... Removing libbonoboui2-0 ... Purging configuration files for libbonoboui2-0 ... Removing libgnome2-0 ... Purging configuration files for libgnome2-0 ... Removing gvfs:armhf ... Removing gvfs-daemons ... Removing libgdu0 ... Purging configuration files for libgdu0 ... Removing udisks ... Purging configuration files for udisks ... Removing libgnomevfs2-0 ... Purging configuration files for libgnomevfs2-0 ... Removing libgnomevfs2-common ... Purging configuration files for libgnomevfs2-common ... Removing libgnome2-common ... Purging configuration files for libgnome2-common ... Removing gconf2 ... Purging configuration files for gconf2 ... Removing dbus-x11 ... Purging configuration files for dbus-x11 ... Removing dbus ... All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of stop. Purging configuration files for dbus ... rmdir: failed to remove `/var/run/dbus': No such file or directory Removing adduser ... Purging configuration files for adduser ... Removing liblablgtksourceview2-ocaml ... Removing liblablgtk2-ocaml-dev ... Removing libfloat-coq ... Removing libgtkspell-dev ... Removing libenchant-dev ... Removing autoconf ... Purging configuration files for autoconf ... Removing autotools-dev ... Removing debhelper ... Removing man-db ... Purging configuration files for man-db ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing camlidl ... Removing camlp4 ... Removing dh-ocaml ... Removing libparted0debian1:armhf ... Purging configuration files for libparted0debian1:armhf ... Removing liblvm2app2.2 ... Purging configuration files for liblvm2app2.2 ... Removing file ... Removing librsvg2-2:armhf ... Purging configuration files for librsvg2-2:armhf ... Removing libglade2-dev ... Removing libgtk2.0-dev ... Removing libpango1.0-dev ... Removing libgtksourceview2.0-0 ... Purging configuration files for libgtksourceview2.0-0 ... Removing libgnomecanvas2-0 ... Purging configuration files for libgnomecanvas2-0 ... Removing libgail18:armhf ... Purging configuration files for libgail18:armhf ... Removing gir1.2-pango-1.0 ... Removing x11-utils ... Purging configuration files for x11-utils ... Removing libxft-dev ... Removing libcairo2-dev ... Removing libfontconfig1-dev ... Removing libcairo-script-interpreter2:armhf ... Purging configuration files for libcairo-script-interpreter2:armhf ... Removing gir1.2-freedesktop ... Removing libcairo-gobject2:armhf ... Purging configuration files for libcairo-gobject2:armhf ... Removing gconf-service ... Removing libgconf-2-4:armhf ... Purging configuration files for libgconf-2-4:armhf ... Removing gconf2-common ... Purging configuration files for gconf2-common ... Removing po-debconf ... Removing intltool-debian ... Removing gettext ... Removing gettext-base ... Removing libatk1.0-dev ... Removing gir1.2-atk-1.0 ... Removing libgdk-pixbuf2.0-dev ... Removing gir1.2-gdkpixbuf-2.0 ... Removing gir1.2-glib-2.0 ... Removing gnome-mime-data ... Purging configuration files for gnome-mime-data ... Removing groff-base ... Purging configuration files for groff-base ... Removing gvfs-libs:armhf ... Removing gvfs-common ... Removing html2text ... Purging configuration files for html2text ... Removing libapron-ocaml-dev ... Removing libapron-ocaml ... Removing libapron ... Purging configuration files for libapron ... Removing libapron-dev ... Removing libart-2.0-2 ... Purging configuration files for libart-2.0-2 ... Removing libcanberra0:armhf ... Purging configuration files for libcanberra0:armhf ... Removing libasound2:armhf ... Purging configuration files for libasound2:armhf ... Removing libatasmart4:armhf ... Purging configuration files for libatasmart4:armhf ... Removing libavahi-glib1:armhf ... Purging configuration files for libavahi-glib1:armhf ... Removing libbluray1:armhf ... Purging configuration files for libbluray1:armhf ... Removing libbonobo2-0 ... Purging configuration files for libbonobo2-0 ... Removing libbonobo2-common ... Purging configuration files for libbonobo2-common ... Removing libbonoboui2-common ... Removing libsystemd-login0 ... Purging configuration files for libsystemd-login0 ... Removing libcap2 ... Purging configuration files for libcap2 ... Removing libcroco3:armhf ... Purging configuration files for libcroco3:armhf ... Removing libgnome-keyring0:armhf ... Purging configuration files for libgnome-keyring0:armhf ... Removing libdbus-glib-1-2:armhf ... Purging configuration files for libdbus-glib-1-2:armhf ... Removing libgl1-mesa-glx:armhf ... Purging configuration files for libgl1-mesa-glx:armhf ... Removing libdrm2:armhf ... Purging configuration files for libdrm2:armhf ... Removing libglib2.0-dev ... Removing libglib2.0-bin ... Purging configuration files for libglib2.0-bin ... Removing libelf1 ... Purging configuration files for libelf1 ... Removing python ... Purging configuration files for python ... Removing python2.7 ... Purging configuration files for python2.7 ... Removing libexpat1-dev ... Removing libfam0 ... Purging configuration files for libfam0 ... Removing pkg-config ... Removing libpolkit-gobject-1-0:armhf ... Purging configuration files for libpolkit-gobject-1-0:armhf ... Removing liborbit2 ... Purging configuration files for liborbit2 ... Removing libidl0 ... Purging configuration files for libidl0 ... Removing libgudev-1.0-0:armhf ... Purging configuration files for libgudev-1.0-0:armhf ... Removing libgirepository-1.0-1 ... Purging configuration files for libgirepository-1.0-1 ... Removing libfontenc1:armhf ... Purging configuration files for libfontenc1:armhf ... Removing libfreetype6-dev ... Removing libldap-2.4-2:armhf ... Purging configuration files for libldap-2.4-2:armhf ... Removing libglapi-mesa:armhf ... Purging configuration files for libglapi-mesa:armhf ... Removing libglib2.0-data ... Removing libmpfr-dev:armhf ... Removing libgmp3-dev ... Removing libgmp-dev ... Removing libppl0.11-dev:armhf ... Removing libppl-c4:armhf ... Purging configuration files for libppl-c4:armhf ... Removing libppl9:armhf ... Purging configuration files for libppl9:armhf ... Removing libgmpxx4ldbl:armhf ... Purging configuration files for libgmpxx4ldbl:armhf ... Removing libgnome-keyring-common ... Removing libgnomecanvas2-common ... Removing libgnomeui-common ... Removing libgtksourceview2.0-common ... Removing libsm-dev:armhf ... Removing libice-dev:armhf ... Removing libxaw7:armhf ... Purging configuration files for libxaw7:armhf ... Removing libxmu6:armhf ... Purging configuration files for libxmu6:armhf ... Removing libxt6:armhf ... Purging configuration files for libxt6:armhf ... Removing libsm6:armhf ... Purging configuration files for libsm6:armhf ... Removing libice6:armhf ... Purging configuration files for libice6:armhf ... Removing libltdl7:armhf ... Purging configuration files for libltdl7:armhf ... Removing libmagic1:armhf ... Purging configuration files for libmagic1:armhf ... Removing libocamlgraph-ocaml-dev ... Removing ocaml-nox ... Purging configuration files for ocaml-nox ... Removing libncurses5-dev ... Removing libvorbisfile3:armhf ... Purging configuration files for libvorbisfile3:armhf ... Removing libvorbis0a:armhf ... Purging configuration files for libvorbis0a:armhf ... Removing libogg0:armhf ... Purging configuration files for libogg0:armhf ... Removing libpcre3-dev ... Removing libpcrecpp0:armhf ... Purging configuration files for libpcrecpp0:armhf ... Removing libpipeline1:armhf ... Purging configuration files for libpipeline1:armhf ... Removing libpixman-1-dev ... Removing libpng12-dev ... Removing libpopt0:armhf ... Purging configuration files for libpopt0:armhf ... Removing libxcb-shm0-dev:armhf ... Removing libxcb-render0-dev:armhf ... Removing libxrandr-dev ... Removing libxcursor-dev:armhf ... Removing libxrender-dev:armhf ... Removing libxinerama-dev:armhf ... Removing libxi-dev ... Removing libxdamage-dev ... Removing libxcomposite-dev ... Removing libxfixes-dev ... Removing libxext-dev:armhf ... Removing libx11-dev:armhf ... Removing libxcb1-dev:armhf ... Removing libpthread-stubs0-dev:armhf ... Removing libpthread-stubs0:armhf ... Removing libpwl5:armhf ... Purging configuration files for libpwl5:armhf ... Removing libsasl2-2:armhf ... Purging configuration files for libsasl2-2:armhf ... dpkg: warning: while removing libsasl2-2:armhf, directory '/usr/lib/sasl2' not empty so not removed. Removing libsgutils2-2 ... Purging configuration files for libsgutils2-2 ... Removing libsqlite3-0:armhf ... Purging configuration files for libsqlite3-0:armhf ... Removing python-minimal ... Removing python2.7-minimal ... Purging configuration files for python2.7-minimal ... Removing libssl1.0.0:armhf ... Purging configuration files for libssl1.0.0:armhf ... Removing libtdb1:armhf ... Purging configuration files for libtdb1:armhf ... Removing libtinfo-dev:armhf ... Removing udev ... Purging configuration files for udev ... Removing libunistring0:armhf ... Purging configuration files for libunistring0:armhf ... Removing libxxf86vm1:armhf ... Purging configuration files for libxxf86vm1:armhf ... Removing libxxf86dga1 ... Purging configuration files for libxxf86dga1 ... Removing libxv1:armhf ... Purging configuration files for libxv1:armhf ... Removing libxtst6:armhf ... Purging configuration files for libxtst6:armhf ... Removing libxpm4:armhf ... Purging configuration files for libxpm4:armhf ... Removing libxmuu1:armhf ... Purging configuration files for libxmuu1:armhf ... Removing libx11-xcb1:armhf ... Purging configuration files for libx11-xcb1:armhf ... Removing libxau-dev:armhf ... Removing libxcb-shape0:armhf ... Purging configuration files for libxcb-shape0:armhf ... Removing libxdmcp-dev:armhf ... Removing libxml2-utils ... Removing libxml2-dev:armhf ... Removing m4 ... Removing mime-support ... Purging configuration files for mime-support ... Removing ocaml-interp ... Purging configuration files for ocaml-interp ... Removing psmisc ... Purging configuration files for psmisc ... Removing sbuild-build-depends-core-dummy ... Removing x11-common ... All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of stop. Purging configuration files for x11-common ... Removing x11proto-composite-dev ... Removing x11proto-damage-dev ... Removing x11proto-fixes-dev ... Removing x11proto-xext-dev ... Removing x11proto-render-dev ... Removing x11proto-input-dev ... Removing x11proto-core-dev ... Removing x11proto-kb-dev ... Removing x11proto-randr-dev ... Removing x11proto-xinerama-dev ... Removing xorg-sgml-doctools ... Removing xtrans-dev ... Removing zlib1g-dev:armhf ... Removing libdevmapper1.02.1 ... Purging configuration files for libdevmapper1.02.1 ... Removing coq ... Purging configuration files for coq ... Removing coq-theories ... Removing libcoq-ocaml ... Removing liblablgtk2-ocaml ... Removing libgtkspell0 ... Purging configuration files for libgtkspell0 ... Removing libenchant1c2a ... Removing aspell-en ... Purging configuration files for aspell-en ... Removing aspell ... Removing dictionaries-common ... Removing 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Purging configuration files for dictionaries-common ... Removing dmsetup ... Removing emacsen-common ... emacsen-common: Handling removal of emacsen flavor emacs Purging configuration files for emacsen-common ... Removing libglade2-0 ... Purging configuration files for libglade2-0 ... Removing libgtk2.0-0:armhf ... Purging configuration files for libgtk2.0-0:armhf ... Removing libpango1.0-0:armhf ... Purging configuration files for libpango1.0-0:armhf ... Removing fontconfig ... Purging configuration files for fontconfig ... Removing libxft2:armhf ... Purging configuration files for libxft2:armhf ... Removing libcairo2:armhf ... Purging configuration files for libcairo2:armhf ... Removing libfontconfig1:armhf ... Purging configuration files for libfontconfig1:armhf ... Removing fontconfig-config ... Purging configuration files for fontconfig-config ... Removing libaspell15 ... Purging configuration files for libaspell15 ... Removing libatk1.0-0:armhf ... Purging configuration files for libatk1.0-0:armhf ... Removing libatk1.0-data ... Removing libcups2:armhf ... Purging configuration files for libcups2:armhf ... Removing libavahi-client3:armhf ... Purging configuration files for libavahi-client3:armhf ... Removing libavahi-common3:armhf ... Purging configuration files for libavahi-common3:armhf ... Removing libavahi-common-data:armhf ... Removing libthai0:armhf ... Purging configuration files for libthai0:armhf ... Removing libdatrie1:armhf ... Purging configuration files for libdatrie1:armhf ... Removing libdbus-1-3:armhf ... Purging configuration files for libdbus-1-3:armhf ... Removing libexpat1:armhf ... Purging configuration files for libexpat1:armhf ... Removing shared-mime-info ... Purging configuration files for shared-mime-info ... Removing libgdk-pixbuf2.0-0:armhf ... Purging configuration files for libgdk-pixbuf2.0-0:armhf ... Removing libglib2.0-0:armhf ... Purging configuration files for libglib2.0-0:armhf ... Removing libffi5:armhf ... Purging configuration files for libffi5:armhf ... Removing libfreetype6:armhf ... Purging configuration files for libfreetype6:armhf ... Removing libgnutls26:armhf ... Purging configuration files for libgnutls26:armhf ... Removing libgcrypt11:armhf ... Purging configuration files for libgcrypt11:armhf ... Removing libgdk-pixbuf2.0-common ... Removing libgpg-error0:armhf ... Purging configuration files for libgpg-error0:armhf ... Removing libgssapi-krb5-2:armhf ... Purging configuration files for libgssapi-krb5-2:armhf ... Removing libgtk2.0-common ... Purging configuration files for libgtk2.0-common ... Removing libhunspell-1.3-0:armhf ... Purging configuration files for libhunspell-1.3-0:armhf ... Removing libjasper1:armhf ... Purging configuration files for libjasper1:armhf ... Removing libtiff4:armhf ... Purging configuration files for libtiff4:armhf ... Removing libjbig0:armhf ... Purging configuration files for libjbig0:armhf ... Removing libjpeg8:armhf ... Removing libkrb5-3:armhf ... Purging configuration files for libkrb5-3:armhf ... Removing libk5crypto3:armhf ... Purging configuration files for libk5crypto3:armhf ... Removing libkrb5support0:armhf ... Purging configuration files for libkrb5support0:armhf ... Removing libkeyutils1:armhf ... Purging configuration files for libkeyutils1:armhf ... Removing libp11-kit0:armhf ... Purging configuration files for libp11-kit0:armhf ... Removing libpcre3:armhf ... Purging configuration files for libpcre3:armhf ... Removing libpixman-1-0:armhf ... Purging configuration files for libpixman-1-0:armhf ... Removing libpng12-0:armhf ... Purging configuration files for libpng12-0:armhf ... Removing libtasn1-3:armhf ... Purging configuration files for libtasn1-3:armhf ... Removing libthai-data ... Removing libudev0:armhf ... Purging configuration files for libudev0:armhf ... Removing libxrandr2:armhf ... Purging configuration files for libxrandr2:armhf ... Removing libxcursor1:armhf ... Purging configuration files for libxcursor1:armhf ... Removing libxrender1:armhf ... Purging configuration files for libxrender1:armhf ... Removing libxinerama1:armhf ... Purging configuration files for libxinerama1:armhf ... Removing libxi6:armhf ... Purging configuration files for libxi6:armhf ... Removing libxfixes3:armhf ... Purging configuration files for libxfixes3:armhf ... Removing libxext6:armhf ... Purging configuration files for libxext6:armhf ... Removing libxdamage1:armhf ... Purging configuration files for libxdamage1:armhf ... Removing libxcomposite1:armhf ... Purging configuration files for libxcomposite1:armhf ... Removing libx11-6:armhf ... Purging configuration files for libx11-6:armhf ... Removing libx11-data ... Removing libxcb-shm0:armhf ... Purging configuration files for libxcb-shm0:armhf ... Removing libxcb-render0:armhf ... Purging configuration files for libxcb-render0:armhf ... Removing libxcb1:armhf ... Purging configuration files for libxcb1:armhf ... Removing libxau6:armhf ... Purging configuration files for libxau6:armhf ... Removing libxdmcp6:armhf ... Purging configuration files for libxdmcp6:armhf ... Removing libxml2:armhf ... Purging configuration files for libxml2:armhf ... Removing ocaml-base-nox ... Removing ttf-dejavu-core ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: armhf Build-Space: 192976 Build-Time: 1052 Distribution: testing Install-Time: 501 Job: why_2.30+dfsg-5 Package: why Package-Time: 1618 Source-Version: 2.30+dfsg-5 Space: 192976 Status: successful Version: 2.30+dfsg-5 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120531-1530 Build needed 00:26:58, 192976k disc space