sbuild (Debian sbuild) 0.62.6 (07 Dec 2011) on build02.raspbian.lan ╔══════════════════════════════════════════════════════════════════════════════╗ ║ alt-ergo 0.94-2 (armhf) 31 May 2012 06:59 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: alt-ergo Version: 0.94-2 Source Version: 0.94-2 Distribution: testing Architecture: armhf I: NOTICE: Log filtering will replace 'build/alt-ergo-k1QoVu/alt-ergo-0.94' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/alt-ergo-k1QoVu' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/testing-armhf-sbuild-6cc94a3f-abbe-487b-a9ae-d666ed2dff6b' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Hit http://repo.raspbian.lan testing InRelease Hit http://repo.raspbian.lan testing/main Sources Hit http://repo.raspbian.lan testing/main armhf Packages Ign http://repo.raspbian.lan testing/main Translation-en 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: 'alt-ergo' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git Need to get 203 kB of source archives. Get:1 http://repo.raspbian.lan/raspbian/ testing/main alt-ergo 0.94-2 (dsc) [1770 B] Get:2 http://repo.raspbian.lan/raspbian/ testing/main alt-ergo 0.94-2 (tar) [188 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main alt-ergo 0.94-2 (diff) [13.1 kB] Fetched 203 kB in 0s (2027 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-oR7tbO/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 3 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 ... 10652 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, ocaml-nox (>= 3.11.1-3~), libocamlgraph-ocaml-dev (>= 1.1), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~), quilt (>= 0.46-7~), dh-ocaml (>= 0.9.0~) 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, ocaml-nox (>= 3.11.1-3~), libocamlgraph-ocaml-dev (>= 1.1), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~), quilt (>= 0.46-7~), dh-ocaml (>= 0.9.0~) dpkg-deb: building package `sbuild-build-depends-alt-ergo-dummy' in `/«BUILDDIR»/resolver-IcpGqs/apt_archive/sbuild-build-depends-alt-ergo-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install alt-ergo 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 dbus dbus-x11 debhelper dh-ocaml dictionaries-common diffstat dmsetup file fontconfig fontconfig-config gconf-service gconf2 gconf2-common gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gconf-2.0 gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gnomekeyring-1.0 gir1.2-pango-1.0 gir1.2-rsvg-2.0 gnome-mime-data groff-base gvfs gvfs-common gvfs-daemons gvfs-libs html2text intltool-debian libart-2.0-2 libart-2.0-dev libasound2 libaspell15 libatasmart4 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client-dev libavahi-client3 libavahi-common-data libavahi-common-dev libavahi-common3 libavahi-glib-dev libavahi-glib1 libbluray1 libbonobo2-0 libbonobo2-common libbonobo2-dev libbonoboui2-0 libbonoboui2-common libbonoboui2-dev libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcanberra-dev libcanberra0 libcap2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdbus-1-dev libdbus-glib-1-2 libdevmapper1.02.1 libdrm2 libelf1 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfam0 libffi5 libfontconfig1 libfontconfig1-dev libfontenc1 libfreetype6 libfreetype6-dev libgail-common libgail-dev libgail18 libgconf-2-4 libgconf2-dev libgcrypt11 libgcrypt11-dev 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 libgnome-keyring-common libgnome-keyring-dev libgnome-keyring0 libgnome2-0 libgnome2-common libgnome2-dev libgnomecanvas2-0 libgnomecanvas2-common libgnomecanvas2-dev libgnomeui-0 libgnomeui-common libgnomeui-dev libgnomevfs2-0 libgnomevfs2-common libgnomevfs2-dev libgnutls-dev libgnutls-openssl27 libgnutls26 libgnutlsxx27 libgpg-error-dev libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libgudev-1.0-0 libhunspell-1.3-0 libice-dev libice6 libidl-dev libidl0 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-gnome-ocaml liblablgtk2-gnome-ocaml-dev liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev libldap-2.4-2 libltdl7 liblvm2app2.2 libmagic1 libncurses5-dev libocamlgraph-ocaml-dev libogg0 liborbit2 liborbit2-dev libp11-kit-dev 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 libpopt-dev libpopt0 libpthread-stubs0 libpthread-stubs0-dev librsvg2-2 librsvg2-common librsvg2-dev libsasl2-2 libselinux1-dev libsepol1-dev libsgutils2-2 libsm-dev libsm6 libsqlite3-0 libssl1.0.0 libsystemd-login0 libtasn1-3 libtasn1-3-dev 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 quilt 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 dh-make git ispell emacsen-common 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 libgail-doc rng-tools libgcrypt11-doc glade glade-gnome libglib2.0-doc gnome-keyring desktop-base libgnome2-doc libgnomecanvas2-doc gnome-icon-theme libgnomeui-doc libgnomevfs2-bin gnutls-doc krb5-doc krb5-user libgtk2.0-doc libgtksourceview2.0-doc libice-doc libjasper-runtime liblablgtk2-gl-ocaml-dev 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 librsvg2-bin librsvg2-doc 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 procmail graphviz default-mta mail-transport-agent xfsprogs reiserfsprogs mdadm cryptsetup mesa-utils Recommended packages: automake automaken curl wget lynx-cur autopoint policykit-1-gnome libaacs0 enchant libgconf2-doc 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 orbit2 libsasl2-modules libx11-doc xml-core ledit readline-editor camlp4 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 dbus dbus-x11 debhelper dh-ocaml dictionaries-common diffstat dmsetup file fontconfig fontconfig-config gconf-service gconf2 gconf2-common gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gconf-2.0 gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gnomekeyring-1.0 gir1.2-pango-1.0 gir1.2-rsvg-2.0 gnome-mime-data groff-base gvfs gvfs-common gvfs-daemons gvfs-libs html2text intltool-debian libart-2.0-2 libart-2.0-dev libasound2 libaspell15 libatasmart4 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client-dev libavahi-client3 libavahi-common-data libavahi-common-dev libavahi-common3 libavahi-glib-dev libavahi-glib1 libbluray1 libbonobo2-0 libbonobo2-common libbonobo2-dev libbonoboui2-0 libbonoboui2-common libbonoboui2-dev libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcanberra-dev libcanberra0 libcap2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdbus-1-dev libdbus-glib-1-2 libdevmapper1.02.1 libdrm2 libelf1 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfam0 libffi5 libfontconfig1 libfontconfig1-dev libfontenc1 libfreetype6 libfreetype6-dev libgail-common libgail-dev libgail18 libgconf-2-4 libgconf2-dev libgcrypt11 libgcrypt11-dev 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 libgnome-keyring-common libgnome-keyring-dev libgnome-keyring0 libgnome2-0 libgnome2-common libgnome2-dev libgnomecanvas2-0 libgnomecanvas2-common libgnomecanvas2-dev libgnomeui-0 libgnomeui-common libgnomeui-dev libgnomevfs2-0 libgnomevfs2-common libgnomevfs2-dev libgnutls-dev libgnutls-openssl27 libgnutls26 libgnutlsxx27 libgpg-error-dev libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev libgtkspell0 libgudev-1.0-0 libhunspell-1.3-0 libice-dev libice6 libidl-dev libidl0 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-gnome-ocaml liblablgtk2-gnome-ocaml-dev liblablgtk2-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev libldap-2.4-2 libltdl7 liblvm2app2.2 libmagic1 libncurses5-dev libocamlgraph-ocaml-dev libogg0 liborbit2 liborbit2-dev libp11-kit-dev 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 libpopt-dev libpopt0 libpthread-stubs0 libpthread-stubs0-dev librsvg2-2 librsvg2-common librsvg2-dev libsasl2-2 libselinux1-dev libsepol1-dev libsgutils2-2 libsm-dev libsm6 libsqlite3-0 libssl1.0.0 libsystemd-login0 libtasn1-3 libtasn1-3-dev 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 quilt sbuild-build-depends-alt-ergo-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, 286 newly installed, 0 to remove and 3 not upgraded. Need to get 11.2 MB/101 MB of archives. After this operation, 292 MB of additional disk space will be used. Get:1 http://repo.raspbian.lan/raspbian/ testing/main libgtksourceview2.0-common all 2.10.4-1 [929 kB] Get:2 http://repo.raspbian.lan/raspbian/ testing/main libgtksourceview2.0-0 armhf 2.10.4-1 [202 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main libgtksourceview2.0-dev armhf 2.10.4-1 [252 kB] Get:4 http://repo.raspbian.lan/raspbian/ testing/main libgtkspell-dev armhf 2.0.16-1 [30.7 kB] Get:5 http://repo.raspbian.lan/raspbian/ testing/main ocaml-base-nox armhf 3.12.1-3 [496 kB] Get:6 http://repo.raspbian.lan/raspbian/ testing/main liblablgtk2-ocaml armhf 2.14.2+dfsg-2 [318 kB] Get:7 http://repo.raspbian.lan/raspbian/ testing/main liblablgtk2-gnome-ocaml armhf 2.14.2+dfsg-2 [52.8 kB] Get:8 http://repo.raspbian.lan/raspbian/ testing/main ocaml-interp armhf 3.12.1-3 [318 kB] Get:9 http://repo.raspbian.lan/raspbian/ testing/main ocaml-nox armhf 3.12.1-3 [4888 kB] Get:10 http://repo.raspbian.lan/raspbian/ testing/main liblablgtk2-ocaml-dev armhf 2.14.2+dfsg-2 [1377 kB] Get:11 http://repo.raspbian.lan/raspbian/ testing/main liblablgtk2-gnome-ocaml-dev armhf 2.14.2+dfsg-2 [106 kB] Get:12 http://repo.raspbian.lan/raspbian/ testing/main liblablgtksourceview2-ocaml armhf 2.14.2+dfsg-2 [47.4 kB] Get:13 http://repo.raspbian.lan/raspbian/ testing/main liblablgtksourceview2-ocaml-dev armhf 2.14.2+dfsg-2 [80.9 kB] Get:14 http://repo.raspbian.lan/raspbian/ testing/main libocamlgraph-ocaml-dev armhf 1.8.2-2 [2024 kB] Get:15 http://repo.raspbian.lan/raspbian/ testing/main dh-ocaml all 1.0.5 [90.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 11.2 MB in 3s (3498 kB/s) Selecting previously unselected package libpcre3:armhf. (Reading database ... 10652 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 libgnutls-openssl27:armhf. Unpacking libgnutls-openssl27:armhf (from .../libgnutls-openssl27_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 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 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 libgnutlsxx27:armhf. Unpacking libgnutlsxx27:armhf (from .../libgnutlsxx27_2.12.19-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 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 diffstat. Unpacking diffstat (from .../diffstat_1.55-2_armhf.deb) ... Selecting previously unselected package gconf-service. Unpacking gconf-service (from .../gconf-service_3.2.5-1_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 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-gconf-2.0. Unpacking gir1.2-gconf-2.0 (from .../gir1.2-gconf-2.0_3.2.5-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-gnomekeyring-1.0. Unpacking gir1.2-gnomekeyring-1.0 (from .../gir1.2-gnomekeyring-1.0_3.4.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 gir1.2-rsvg-2.0. Unpacking gir1.2-rsvg-2.0 (from .../gir1.2-rsvg-2.0_2.36.1-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 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 libart-2.0-2. Unpacking libart-2.0-2 (from .../libart-2.0-2_2.3.21-1_armhf.deb) ... Selecting previously unselected package pkg-config. Unpacking pkg-config (from .../pkg-config_0.26-1_armhf.deb) ... Selecting previously unselected package libart-2.0-dev. Unpacking libart-2.0-dev (from .../libart-2.0-dev_2.3.21-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 libavahi-common-dev. Unpacking libavahi-common-dev (from .../libavahi-common-dev_0.6.31-1_armhf.deb) ... Selecting previously unselected package libdbus-1-dev. Unpacking libdbus-1-dev (from .../libdbus-1-dev_1.5.12-1_armhf.deb) ... Selecting previously unselected package libavahi-client-dev. Unpacking libavahi-client-dev (from .../libavahi-client-dev_0.6.31-1_armhf.deb) ... Selecting previously unselected package libavahi-glib-dev. Unpacking libavahi-glib-dev (from .../libavahi-glib-dev_0.6.31-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 libidl-dev. Unpacking libidl-dev (from .../libidl-dev_0.8.14-0.2_armhf.deb) ... Selecting previously unselected package liborbit2-dev. Unpacking liborbit2-dev (from .../liborbit2-dev_1%3a2.14.19-0.1_armhf.deb) ... Selecting previously unselected package libpopt-dev:armhf. Unpacking libpopt-dev:armhf (from .../libpopt-dev_1.16-4_armhf.deb) ... Selecting previously unselected package libbonobo2-dev. Unpacking libbonobo2-dev (from .../libbonobo2-dev_2.24.3-1_armhf.deb) ... Selecting previously unselected package libglade2-0. Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1_armhf.deb) ... Selecting previously unselected package libfam0. Unpacking libfam0 (from .../libfam0_2.7.0-17_armhf.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 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 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 libpng12-dev. Unpacking libpng12-dev (from .../libpng12-dev_1.2.49-1_armhf.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 libfreetype6-dev. Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.4.9-1_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 libexpat1-dev. Unpacking libexpat1-dev (from .../libexpat1-dev_2.1.0-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 libxft-dev. Unpacking libxft-dev (from .../libxft-dev_2.2.0-3_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 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 libgail-common:armhf. Unpacking libgail-common:armhf (from .../libgail-common_2.24.10-1_armhf.deb) ... Selecting previously unselected package libgail-dev. Unpacking libgail-dev (from .../libgail-dev_2.24.10-1_armhf.deb) ... Selecting previously unselected package libgnomecanvas2-dev. Unpacking libgnomecanvas2-dev (from .../libgnomecanvas2-dev_2.30.3-1_armhf.deb) ... Selecting previously unselected package libgconf2-dev. Unpacking libgconf2-dev (from .../libgconf2-dev_3.2.5-1_armhf.deb) ... Selecting previously unselected package libgpg-error-dev. Unpacking libgpg-error-dev (from .../libgpg-error-dev_1.10-3_armhf.deb) ... Selecting previously unselected package libgcrypt11-dev. Unpacking libgcrypt11-dev (from .../libgcrypt11-dev_1.5.0-3_armhf.deb) ... Selecting previously unselected package libtasn1-3-dev. Unpacking libtasn1-3-dev (from .../libtasn1-3-dev_2.12-1_armhf.deb) ... Selecting previously unselected package libp11-kit-dev. Unpacking libp11-kit-dev (from .../libp11-kit-dev_0.12-3_armhf.deb) ... Selecting previously unselected package libgnutls-dev. Unpacking libgnutls-dev (from .../libgnutls-dev_2.12.19-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 libsepol1-dev. Unpacking libsepol1-dev (from .../libsepol1-dev_2.1.4-3_armhf.deb) ... Selecting previously unselected package libselinux1-dev. Unpacking libselinux1-dev (from .../libselinux1-dev_2.1.9-2_armhf.deb) ... Selecting previously unselected package libgnomevfs2-dev. Unpacking libgnomevfs2-dev (from .../libgnomevfs2-dev_1%3a2.24.4-1_armhf.deb) ... Selecting previously unselected package libcanberra-dev:armhf. Unpacking libcanberra-dev:armhf (from .../libcanberra-dev_0.28-4_armhf.deb) ... Selecting previously unselected package libgnome2-dev. Unpacking libgnome2-dev (from .../libgnome2-dev_2.32.1-2_armhf.deb) ... Selecting previously unselected package libbonoboui2-dev. Unpacking libbonoboui2-dev (from .../libbonoboui2-dev_2.24.3-1_armhf.deb) ... Selecting previously unselected package libenchant1c2a. Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-7_armhf.deb) ... Selecting previously unselected package libenchant-dev. Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-7_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 libgnome-keyring-dev. Unpacking libgnome-keyring-dev (from .../libgnome-keyring-dev_3.4.1-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 libgnomeui-dev. Unpacking libgnomeui-dev (from .../libgnomeui-dev_2.24.5-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 libgtksourceview2.0-dev. Unpacking libgtksourceview2.0-dev (from .../libgtksourceview2.0-dev_2.10.4-1_armhf.deb) ... Selecting previously unselected package libgtkspell0. Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-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 ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-3_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 liblablgtk2-gnome-ocaml. Unpacking liblablgtk2-gnome-ocaml (from .../liblablgtk2-gnome-ocaml_2.14.2+dfsg-2_armhf.deb) ... Selecting previously unselected package librsvg2-common:armhf. Unpacking librsvg2-common:armhf (from .../librsvg2-common_2.36.1-1_armhf.deb) ... Selecting previously unselected package librsvg2-dev. Unpacking librsvg2-dev (from .../librsvg2-dev_2.36.1-1_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 liblablgtk2-ocaml-dev. Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.14.2+dfsg-2_armhf.deb) ... Selecting previously unselected package liblablgtk2-gnome-ocaml-dev. Unpacking liblablgtk2-gnome-ocaml-dev (from .../liblablgtk2-gnome-ocaml-dev_2.14.2+dfsg-2_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 liblablgtksourceview2-ocaml-dev. Unpacking liblablgtksourceview2-ocaml-dev (from .../liblablgtksourceview2-ocaml-dev_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 quilt. Unpacking quilt (from .../archives/quilt_0.60-2_all.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-alt-ergo-dummy. Unpacking sbuild-build-depends-alt-ergo-dummy (from .../sbuild-build-depends-alt-ergo-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 libgnutls-openssl27: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 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 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 libgnutlsxx27:armhf (2.12.19-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 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 diffstat (1.55-2) ... Setting up gconf-service (3.2.5-1) ... 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 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-gconf-2.0 (3.2.5-1) ... Setting up gir1.2-gdkpixbuf-2.0 (2.26.1-1) ... Setting up gir1.2-gnomekeyring-1.0 (3.4.1-1) ... Setting up gir1.2-pango-1.0 (1.30.0-1) ... Setting up gir1.2-rsvg-2.0 (2.36.1-1) ... Setting up gnome-mime-data (2.18.0-1) ... 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 libart-2.0-2 (2.3.21-1) ... Setting up pkg-config (0.26-1) ... Setting up libart-2.0-dev (2.3.21-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 libavahi-common-dev (0.6.31-1) ... Setting up libdbus-1-dev (1.5.12-1) ... Setting up libavahi-client-dev (0.6.31-1) ... Setting up libavahi-glib-dev (0.6.31-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 libidl-dev (0.8.14-0.2) ... Setting up liborbit2-dev (1:2.14.19-0.1) ... Setting up libpopt-dev:armhf (1.16-4) ... Setting up libbonobo2-dev (2.24.3-1) ... Setting up libglade2-0 (1:2.6.4-1) ... Setting up libfam0 (2.7.0-17) ... 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 libgnomecanvas2-common (2.30.3-1) ... Setting up libgnomecanvas2-0 (2.30.3-1) ... Setting up libbonoboui2-common (2.24.3-1) ... 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 libpng12-dev (1.2.49-1) ... Setting up libgdk-pixbuf2.0-dev (2.26.1-1) ... Setting up libfreetype6-dev (2.4.9-1) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up libxrender-dev:armhf (1:0.9.7-1) ... Setting up libexpat1-dev (2.1.0-1) ... Setting up libfontconfig1-dev (2.9.0-5) ... Setting up libxft-dev (2.2.0-3) ... 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 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 libgail-common:armhf (2.24.10-1) ... Setting up libgail-dev (2.24.10-1) ... Setting up libgnomecanvas2-dev (2.30.3-1) ... Setting up libgconf2-dev (3.2.5-1) ... Setting up libgpg-error-dev (1.10-3) ... Setting up libgcrypt11-dev (1.5.0-3) ... Setting up libtasn1-3-dev (2.12-1) ... Setting up libp11-kit-dev (0.12-3) ... Setting up libgnutls-dev (2.12.19-1) ... Setting up libxml2-dev:armhf (2.7.8.dfsg-9.1) ... Setting up libsepol1-dev (2.1.4-3) ... Setting up libselinux1-dev (2.1.9-2) ... Setting up libgnomevfs2-dev (1:2.24.4-1) ... Setting up libcanberra-dev:armhf (0.28-4) ... Setting up libglade2-dev (1:2.6.4-1) ... Setting up libgnome-keyring-dev (3.4.1-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 libgtksourceview2.0-dev (2.10.4-1) ... Setting up ocaml-base-nox (3.12.1-3) ... Setting up librsvg2-common:armhf (2.36.1-1) ... Setting up librsvg2-dev (2.36.1-1) ... 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 libocamlgraph-ocaml-dev (1.8.2-2) ... Setting up quilt (0.60-2) ... 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 libenchant-dev (1.6.0-7) ... Setting up libgtkspell0 (2.0.16-1) ... Setting up libgtkspell-dev (2.0.16-1) ... Setting up liblablgtk2-ocaml (2.14.2+dfsg-2) ... Setting up liblablgtk2-ocaml-dev (2.14.2+dfsg-2) ... Setting up liblablgtksourceview2-ocaml (2.14.2+dfsg-2) ... Setting up liblablgtksourceview2-ocaml-dev (2.14.2+dfsg-2) ... 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 libgnome2-dev (2.32.1-2) ... Setting up libbonoboui2-dev (2.24.3-1) ... Setting up libgnomeui-0 (2.24.5-2) ... Setting up libgnomeui-dev (2.24.5-2) ... Setting up liblablgtk2-gnome-ocaml (2.14.2+dfsg-2) ... Setting up liblablgtk2-gnome-ocaml-dev (2.14.2+dfsg-2) ... Setting up sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ... Setting up dmsetup (2:1.02.67-2) ... Processing triggers for libgdk-pixbuf2.0-0:armhf ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 3.2.0-2-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 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 diffstat_1.55-2 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 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 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-gconf-2.0_3.2.5-1 gir1.2-gdkpixbuf-2.0_2.26.1-1 gir1.2-glib-2.0_1.32.1-1 gir1.2-gnomekeyring-1.0_3.4.1-1 gir1.2-pango-1.0_1.30.0-1 gir1.2-rsvg-2.0_2.36.1-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 libapt-pkg4.12_0.9.3 libart-2.0-2_2.3.21-1 libart-2.0-dev_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-client-dev_0.6.31-1 libavahi-client3_0.6.31-1 libavahi-common-data_0.6.31-1 libavahi-common-dev_0.6.31-1 libavahi-common3_0.6.31-1 libavahi-glib-dev_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 libbonobo2-dev_2.24.3-1 libbonoboui2-0_2.24.3-1 libbonoboui2-common_2.24.3-1 libbonoboui2-dev_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 libcanberra-dev_0.28-4 libcanberra0_0.28-4 libcap2_1:2.22-1 libclass-isa-perl_0.36-3 libcomerr2_1.42.2-2 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-1-dev_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 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 libgail-common_2.24.10-1 libgail-dev_2.24.10-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 libgconf2-dev_3.2.5-1 libgcrypt11_1.5.0-3 libgcrypt11-dev_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 libgmp10_2:5.0.5+dfsg-1.1 libgnome-keyring-common_3.4.1-1 libgnome-keyring-dev_3.4.1-1 libgnome-keyring0_3.4.1-1 libgnome2-0_2.32.1-2 libgnome2-common_2.32.1-2 libgnome2-dev_2.32.1-2 libgnomecanvas2-0_2.30.3-1 libgnomecanvas2-common_2.30.3-1 libgnomecanvas2-dev_2.30.3-1 libgnomeui-0_2.24.5-2 libgnomeui-common_2.24.5-2 libgnomeui-dev_2.24.5-2 libgnomevfs2-0_1:2.24.4-1 libgnomevfs2-common_1:2.24.4-1 libgnomevfs2-dev_1:2.24.4-1 libgnutls-dev_2.12.19-1 libgnutls-openssl27_2.12.19-1 libgnutls26_2.12.19-1 libgnutlsxx27_2.12.19-1 libgomp1_4.7.0-1.1+rpi libgpg-error-dev_1.10-3 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 libgtksourceview2.0-dev_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 libidl-dev_0.8.14-0.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-gnome-ocaml-dev_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 liblablgtksourceview2-ocaml-dev_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 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 liborbit2-dev_1:2.14.19-0.1 libp11-kit-dev_0.12-3 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 libpopt-dev_1.16-4 libpopt0_1.16-4 libpthread-stubs0_0.3-3 libpthread-stubs0-dev_0.3-3 libreadline6_6.2-8 librsvg2-2_2.36.1-1 librsvg2-common_2.36.1-1 librsvg2-dev_2.36.1-1 libsasl2-2_2.1.25.dfsg1-4 libselinux1_2.1.9-2 libselinux1-dev_2.1.9-2 libsemanage-common_2.1.6-2 libsemanage1_2.1.6-2 libsepol1_2.1.4-3 libsepol1-dev_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 libtasn1-3-dev_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-11 perl-base_5.14.2-11 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 quilt_0.60-2 readline-common_6.2-8 sbuild-build-depends-alt-ergo-dummy_0.invalid.0 sbuild-build-depends-core-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 Mon May 14 12:24:48 2012 UTC using RSA key ID 05465268 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./alt-ergo_0.94-2.dsc dpkg-source: info: extracting alt-ergo in alt-ergo-0.94 dpkg-source: info: unpacking alt-ergo_0.94.orig.tar.gz dpkg-source: info: applying alt-ergo_0.94-2.diff.gz 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-6cc94a3f-abbe-487b-a9ae-d666ed2dff6b SCHROOT_UID=106 SCHROOT_USER=buildd SHELL=/bin/sh TERM=xterm USER=buildd dpkg-buildpackage ───────────────── dpkg-buildpackage: source package alt-ergo dpkg-buildpackage: source version 0.94-2 dpkg-source --before-build alt-ergo-0.94 dpkg-buildpackage: host architecture armhf fakeroot debian/rules clean dh --with quilt,ocaml clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/«PKGBUILDDIR»' if [ -f Makefile ]; then \ /usr/bin/make clean; \ fi for i in .depend; do \ [ ! -f $i.debian ] || mv $i.debian $i; \ done make[1]: Leaving directory `/«PKGBUILDDIR»' dh_quilt_unpatch No patch removed dh_ocamlclean dh_clean debian/rules build-arch dh --with quilt,ocaml build-arch dh_testdir -a dh_quilt_patch -a Applying patch 0001-No-need-to-activate-debug-flag.patch patching file Makefile.in Applying patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch patching file Makefile.in Applying patch 0003-Fix-a-typo.patch patching file cc.ml Applying patch 0004-Add-rules-and-targets-for-gui.byte.patch patching file Makefile.in Applying patch 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch patching file configure patching file configure.in Applying patch 0006-PRECM-O-X-is-needed-to-link-altgr-ergo.patch patching file Makefile.in Applying patch 0007-Fix-all-target.patch patching file Makefile.in Applying patch 0008-Split-install-pack-into-two-separate-targets-opt-and.patch patching file Makefile.in Applying patch 0009-fix-install-gui-target.patch patching file Makefile.in Now at patch 0009-fix-install-gui-target.patch dh_ocamlinit -a debian/rules override_dh_auto_configure make[1]: Entering directory `/«PKGBUILDDIR»' ./configure --host=arm-linux-gnueabihf \ --build=arm-linux-gnueabihf \ --prefix=/usr \ --libdir=/usr/lib/ocaml/alt-ergo \ --mandir=\${prefix}/share/man checking for ocamlc... ocamlc ocaml version is 3.12.1 ocaml library path is /usr/lib/ocaml checking for /usr/lib/ocaml/ocamlgraph/graph.cmi... yes checking for ocamlopt... no configure: WARNING: Cannot find ocamlopt; bytecode compilation only. checking for ocamlc.opt... no checking for ocamldep... ocamldep checking for ocamllex... ocamllex checking for ocamllex.opt... no checking for ocamlyacc... ocamlyacc checking for /usr/lib/ocaml/lablgtk2/lablgtksourceview2.cma... yes checking for ocamlweb... true checking platform... checking for ocamlwizard... true configure: creating ./config.status config.status: creating Makefile config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting make[1]: Leaving directory `/«PKGBUILDDIR»' debian/rules override_dh_auto_build make[1]: Entering directory `/«PKGBUILDDIR»' for i in .depend; do \ cp -ax $i $i.debian; \ done /usr/bin/make all altgr-ergo.byte make[2]: Entering directory `/«PKGBUILDDIR»' ocamlyacc -v why_parser.mly ocamllex why_lexer.mll > /dev/null ocamlyacc -v smt_parser.mly ocamllex smt_lex.mll > /dev/null ocamlyacc -v smtlib2_parse.mly ocamllex smtlib2_lex.mll > /dev/null make[2]: Leaving directory `/«PKGBUILDDIR»' make[2]: Entering directory `/«PKGBUILDDIR»' ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot version.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot print_color.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot print_color.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot preoptions.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot preoptions.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot options.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot options.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot hashcons.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot hstring.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot ty.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot symbols.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot subst.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot term.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot literal.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot formula.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot explanation.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot exception.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot exception.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot loc.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot hashcons.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot hstring.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot symbols.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot subst.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot ty.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot why_ptree.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot common.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot common.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot term.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot literal.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot formula.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot explanation.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot why_parser.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot why_parser.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot why_lexer.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot pretty.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot pretty.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot smt_ast.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot smt_parser.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot smt_parser.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot smt_lex.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot smt_to_why.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot smtlib2_util.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot smtlib2_ast.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot smtlib2_parse.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot smtlib2_parse.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot smtlib2_lex.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot smtlib2_to_why.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot polynome.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot polynome.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot sig.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot ac.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot ac.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot uf.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot uf.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot use.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot use.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot intervals.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot intervals.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot fm.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot fm.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot arith.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot arith.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot records.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot records.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot bitv.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot bitv.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot arrays.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot arrays.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot sum.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot sum.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot combine.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot combine.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot cc.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot cc.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot existantial.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot existantial.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot triggers.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot triggers.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot cnf.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot cnf.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot why_typing.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot why_typing.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot matching.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot matching.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot sat.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot sat.ml ocamlc -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot -pack -o altErgo.cmo version.cmo print_color.cmo preoptions.cmo options.cmo exception.cmo loc.cmo hashcons.cmo hstring.cmo symbols.cmo subst.cmo ty.cmo common.cmo term.cmo literal.cmo formula.cmo explanation.cmo why_parser.cmo why_lexer.cmo pretty.cmo smt_parser.cmo smt_lex.cmo smt_to_why.cmo smtlib2_util.cmo smtlib2_ast.cmo smtlib2_parse.cmo smtlib2_lex.cmo smtlib2_to_why.cmo polynome.cmo ac.cmo uf.cmo use.cmo intervals.cmo fm.cmo arith.cmo records.cmo bitv.cmo arrays.cmo sum.cmo combine.cmo cc.cmo existantial.cmo triggers.cmo cnf.cmo why_typing.cmo matching.cmo sat.cmo ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot parseoptions.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot pruning.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot pruning.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot frontend.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot frontend.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot main.ml ocamlc -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot -o alt-ergo.byte nums.cma graph.cma unix.cma version.cmo print_color.cmo preoptions.cmo parseoptions.cmo options.cmo exception.cmo loc.cmo hashcons.cmo hstring.cmo symbols.cmo subst.cmo ty.cmo common.cmo term.cmo literal.cmo formula.cmo explanation.cmo why_parser.cmo why_lexer.cmo pretty.cmo smt_parser.cmo smt_lex.cmo smt_to_why.cmo smtlib2_util.cmo smtlib2_ast.cmo smtlib2_parse.cmo smtlib2_lex.cmo smtlib2_to_why.cmo polynome.cmo ac.cmo uf.cmo use.cmo intervals.cmo fm.cmo arith.cmo records.cmo bitv.cmo arrays.cmo sum.cmo combine.cmo cc.cmo existantial.cmo triggers.cmo cnf.cmo why_typing.cmo matching.cmo sat.cmo pruning.cmo frontend.cmo main.cmo ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot why_annoted.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot why_annoted.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot why_connected.mli ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot why_connected.ml ocamlc -c -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot gui.ml ocamlc -dtypes -I +ocamlgraph -I +lablgtk2 -I +threads -annot -for-pack AltErgo -o altgr-ergo.byte nums.cma graph.cma unix.cma threads.cma lablgtk.cma lablgtksourceview2.cma gtkThread.cmo version.cmo print_color.cmo preoptions.cmo options.cmo exception.cmo loc.cmo hashcons.cmo hstring.cmo symbols.cmo subst.cmo ty.cmo common.cmo term.cmo literal.cmo formula.cmo explanation.cmo why_parser.cmo why_lexer.cmo pretty.cmo smt_parser.cmo smt_lex.cmo smt_to_why.cmo smtlib2_util.cmo smtlib2_ast.cmo smtlib2_parse.cmo smtlib2_lex.cmo smtlib2_to_why.cmo polynome.cmo ac.cmo uf.cmo use.cmo intervals.cmo fm.cmo arith.cmo records.cmo bitv.cmo arrays.cmo sum.cmo combine.cmo cc.cmo existantial.cmo triggers.cmo cnf.cmo why_typing.cmo matching.cmo sat.cmo pruning.cmo frontend.cmo why_annoted.cmo why_connected.cmo gui.cmo make[2]: Leaving directory `/«PKGBUILDDIR»' make[1]: Leaving directory `/«PKGBUILDDIR»' dh_auto_test -a make[1]: Entering directory `/«PKGBUILDDIR»' [ ! -f test.mlw ] || ./alt-ergo.byte test.mlw make[1]: Leaving directory `/«PKGBUILDDIR»' fakeroot debian/rules binary-arch dh --with quilt,ocaml binary-arch dh_testroot -a dh_prep -a dh_installdirs -a debian/rules override_dh_auto_install make[1]: Entering directory `/«PKGBUILDDIR»' /usr/bin/make BINDIR=/«PKGBUILDDIR»/debian/alt-ergo/usr/bin \ LIBDIR=/«PKGBUILDDIR»/debian/alt-ergo//usr/lib/ocaml/alt-ergo \ MANDIR=/«PKGBUILDDIR»/debian/alt-ergo/usr/share/man \ prefix=/«PKGBUILDDIR»/debian/alt-ergo/usr \ install-byte install-gui install-pack-byte make[2]: Entering directory `/«PKGBUILDDIR»' mkdir -p /«PKGBUILDDIR»/debian/alt-ergo/usr/share/man/man1 cp -f doc/*.1 /«PKGBUILDDIR»/debian/alt-ergo/usr/share/man/man1 mkdir -p /«PKGBUILDDIR»/debian/alt-ergo//usr/lib/ocaml/alt-ergo cp -f altErgo.cmo /«PKGBUILDDIR»/debian/alt-ergo//usr/lib/ocaml/alt-ergo cp -f altErgo.cmi /«PKGBUILDDIR»/debian/alt-ergo//usr/lib/ocaml/alt-ergo mkdir -p /«PKGBUILDDIR»/debian/alt-ergo/usr/bin cp -f alt-ergo.byte /«PKGBUILDDIR»/debian/alt-ergo/usr/bin/alt-ergo mkdir -p /«PKGBUILDDIR»/debian/alt-ergo/usr/bin cp -f altgr-ergo.byte /«PKGBUILDDIR»/debian/alt-ergo/usr/bin/altgr-ergo cp -f util/gtk-lang/alt-ergo.lang /«PKGBUILDDIR»/debian/alt-ergo/usr/share/gtksourceview-2.0/language-specs/alt-ergo.lang make[2]: `install-pack-byte' is up to date. make[2]: Leaving directory `/«PKGBUILDDIR»' sed "s/@VERSION@/0.94-2/" debian/META.in > /«PKGBUILDDIR»/debian/alt-ergo//usr/lib/ocaml/alt-ergo/META make[1]: Leaving directory `/«PKGBUILDDIR»' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installexamples -a dh_installman -a dh_installcatalogs -a dh_installcron -a dh_installdebconf -a 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 dh_compress -a dh_fixperms -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_ocaml -a W: alt-ergo doesn't resolve dependency on unit Polynome W: alt-ergo doesn't resolve dependency on unit Intervals W: alt-ergo doesn't resolve dependency on unit Smtlib2_parse W: alt-ergo doesn't resolve dependency on unit Fm W: alt-ergo doesn't resolve dependency on unit Combine W: alt-ergo doesn't resolve dependency on unit Smt_to_why W: alt-ergo doesn't resolve dependency on unit Main W: alt-ergo doesn't resolve dependency on unit GtkSourceView2_types W: alt-ergo doesn't resolve dependency on unit Pruning W: alt-ergo doesn't resolve dependency on unit Explanation W: alt-ergo doesn't resolve dependency on unit Term W: alt-ergo doesn't resolve dependency on unit Smtlib2_ast W: alt-ergo doesn't resolve dependency on unit Sig W: alt-ergo doesn't resolve dependency on unit Hstring W: alt-ergo doesn't resolve dependency on unit Smt_parser W: alt-ergo doesn't resolve dependency on unit Preoptions W: alt-ergo doesn't resolve dependency on unit Smtlib2_lex W: alt-ergo doesn't resolve dependency on unit Loc W: alt-ergo doesn't resolve dependency on unit Matching W: alt-ergo doesn't resolve dependency on unit Symbols W: alt-ergo doesn't resolve dependency on unit Smt_ast W: alt-ergo doesn't resolve dependency on unit Uf W: alt-ergo doesn't resolve dependency on unit Pretty W: alt-ergo doesn't resolve dependency on unit Cc W: alt-ergo doesn't resolve dependency on unit Cnf W: alt-ergo doesn't resolve dependency on unit Options W: alt-ergo doesn't resolve dependency on unit Exception W: alt-ergo doesn't resolve dependency on unit Why_annoted W: alt-ergo doesn't resolve dependency on unit Common W: alt-ergo doesn't resolve dependency on unit Frontend W: alt-ergo doesn't resolve dependency on unit Records W: alt-ergo doesn't resolve dependency on unit Version W: alt-ergo doesn't resolve dependency on unit Use W: alt-ergo doesn't resolve dependency on unit Why_lexer W: alt-ergo doesn't resolve dependency on unit Ty W: alt-ergo doesn't resolve dependency on unit Ac W: alt-ergo doesn't resolve dependency on unit Bitv W: alt-ergo doesn't resolve dependency on unit Why_typing W: alt-ergo doesn't resolve dependency on unit Triggers W: alt-ergo doesn't resolve dependency on unit Why_ptree W: alt-ergo doesn't resolve dependency on unit Smtlib2_to_why W: alt-ergo doesn't resolve dependency on unit Subst W: alt-ergo doesn't resolve dependency on unit Hashcons W: alt-ergo doesn't resolve dependency on unit Existantial W: alt-ergo doesn't resolve dependency on unit Print_color W: alt-ergo doesn't resolve dependency on unit Arrays W: alt-ergo doesn't resolve dependency on unit Parseoptions W: alt-ergo doesn't resolve dependency on unit Smt_lex W: alt-ergo doesn't resolve dependency on unit Formula W: alt-ergo doesn't resolve dependency on unit Gui W: alt-ergo doesn't resolve dependency on unit Sum W: alt-ergo doesn't resolve dependency on unit Why_parser W: alt-ergo doesn't resolve dependency on unit Sat W: alt-ergo doesn't resolve dependency on unit Smtlib2_util W: alt-ergo doesn't resolve dependency on unit Why_connected W: alt-ergo doesn't resolve dependency on unit Literal W: alt-ergo doesn't resolve dependency on unit Arith dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package alt-ergo: unknown substitution variable ${shlibs:Depends} dh_md5sums -a dh_builddeb -a dpkg-deb: building package `alt-ergo' in `../alt-ergo_0.94-2_armhf.deb'. dpkg-genchanges -B -mbuildd >../alt-ergo_0.94-2_armhf.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build alt-ergo-0.94 dpkg-buildpackage: binary only upload (no source included) ──────────────────────────────────────────────────────────────────────────────── Build finished at 20120531-0709 Finished ──────── I: Built successfully ┌──────────────────────────────────────────────────────────────────────────────┐ │ Changes │ └──────────────────────────────────────────────────────────────────────────────┘ alt-ergo_0.94-2_armhf.changes: ────────────────────────────── Format: 1.8 Date: Mon, 14 May 2012 14:11:48 +0200 Source: alt-ergo Binary: alt-ergo Architecture: armhf Version: 0.94-2 Distribution: testing Urgency: high Maintainer: buildd Changed-By: Mehdi Dogguy Description: alt-ergo - Automatic theorem prover dedicated to program verification Closes: 669539 Changes: alt-ergo (0.94-2) unstable; urgency=high . * Add autoconf to Build-Depends to resolve an FTBFS (Closes: #669539). * Setting urgency to "high" to fix the RC bug. Checksums-Sha1: 4c20746885abaeab3d335d0979523958fea2a089 695436 alt-ergo_0.94-2_armhf.deb Checksums-Sha256: 491962569388077881cbac92442dc72d37015ab9224f3a35e456ee7ec6476a49 695436 alt-ergo_0.94-2_armhf.deb Files: 647a44693cb2b73ff4004ad8609c314e 695436 math optional alt-ergo_0.94-2_armhf.deb ┌──────────────────────────────────────────────────────────────────────────────┐ │ Package contents │ └──────────────────────────────────────────────────────────────────────────────┘ alt-ergo_0.94-2_armhf.deb ───────────────────────── new debian package, version 2.0. size 695436 bytes: control archive= 1029 bytes. 885 bytes, 19 lines control 740 bytes, 11 lines md5sums Package: alt-ergo Version: 0.94-2 Architecture: armhf Maintainer: Debian OCaml Maintainers Installed-Size: 3474 Depends: liblablgtk2-ocaml-yeug0, liblablgtksourceview2-ocaml-wz3i5, ocaml-base-nox-3.12.1 Suggests: why Section: math Priority: optional Homepage: http://alt-ergo.lri.fr Description: Automatic theorem prover dedicated to program verification Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X) a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism. . Alt-Ergo is both safe and modular: each box is described by a small set of inference rules and is implemented as an OCaml functor. drwxr-xr-x root/root 0 2012-05-31 07:09 ./ drwxr-xr-x root/root 0 2012-05-31 07:09 ./usr/ drwxr-xr-x root/root 0 2012-05-31 07:09 ./usr/lib/ drwxr-xr-x root/root 0 2012-05-31 07:09 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2012-05-31 07:09 ./usr/lib/ocaml/alt-ergo/ -rw-r--r-- root/root 561960 2012-05-31 07:09 ./usr/lib/ocaml/alt-ergo/altErgo.cmo -rw-r--r-- root/root 128 2012-05-31 07:09 ./usr/lib/ocaml/alt-ergo/META -rw-r--r-- root/root 155421 2012-05-31 07:09 ./usr/lib/ocaml/alt-ergo/altErgo.cmi drwxr-xr-x root/root 0 2012-05-31 07:09 ./usr/share/ drwxr-xr-x root/root 0 2012-05-31 07:09 ./usr/share/gtksourceview-2.0/ drwxr-xr-x root/root 0 2012-05-31 07:09 ./usr/share/gtksourceview-2.0/language-specs/ -rw-r--r-- root/root 3957 2012-05-31 07:09 ./usr/share/gtksourceview-2.0/language-specs/alt-ergo.lang drwxr-xr-x root/root 0 2012-05-31 07:09 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-05-31 07:09 ./usr/share/doc/alt-ergo/ -rw-r--r-- root/root 1477 2011-12-07 01:37 ./usr/share/doc/alt-ergo/changelog.gz -rw-r--r-- root/root 1675 2011-12-07 01:37 ./usr/share/doc/alt-ergo/README -rw-r--r-- root/root 922 2012-05-31 07:06 ./usr/share/doc/alt-ergo/changelog.Debian.gz -rw-r--r-- root/root 22736 2012-05-31 07:06 ./usr/share/doc/alt-ergo/copyright drwxr-xr-x root/root 0 2012-05-31 07:09 ./usr/share/man/ drwxr-xr-x root/root 0 2012-05-31 07:09 ./usr/share/man/man1/ -rw-r--r-- root/root 989 2012-05-31 07:09 ./usr/share/man/man1/alt-ergo.1.gz drwxr-xr-x root/root 0 2012-05-31 07:09 ./usr/bin/ -rwxr-xr-x root/root 1058186 2012-05-31 07:09 ./usr/bin/alt-ergo -rwxr-xr-x root/root 1692446 2012-05-31 07:09 ./usr/bin/altgr-ergo ┌──────────────────────────────────────────────────────────────────────────────┐ │ Post Build │ └──────────────────────────────────────────────────────────────────────────────┘ ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 3 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* dbus* dbus-x11* debhelper* dh-ocaml* dictionaries-common* diffstat* dmsetup* file* fontconfig* fontconfig-config* gconf-service* gconf2* gconf2-common* gettext* gettext-base* gir1.2-atk-1.0* gir1.2-freedesktop* gir1.2-gconf-2.0* gir1.2-gdkpixbuf-2.0* gir1.2-glib-2.0* gir1.2-gnomekeyring-1.0* gir1.2-pango-1.0* gir1.2-rsvg-2.0* gnome-mime-data* groff-base* gvfs* gvfs-common* gvfs-daemons* gvfs-libs* html2text* intltool-debian* libart-2.0-2* libart-2.0-dev* libasound2* libaspell15* libatasmart4* libatk1.0-0* libatk1.0-data* libatk1.0-dev* libavahi-client-dev* libavahi-client3* libavahi-common-data* libavahi-common-dev* libavahi-common3* libavahi-glib-dev* libavahi-glib1* libbluray1* libbonobo2-0* libbonobo2-common* libbonobo2-dev* libbonoboui2-0* libbonoboui2-common* libbonoboui2-dev* libcairo-gobject2* libcairo-script-interpreter2* libcairo2* libcairo2-dev* libcanberra-dev* libcanberra0* libcap2* libcroco3* libcups2* libdatrie1* libdbus-1-3* libdbus-1-dev* libdbus-glib-1-2* libdevmapper1.02.1* libdrm2* libelf1* libenchant-dev* libenchant1c2a* libexpat1* libexpat1-dev* libfam0* libffi5* libfontconfig1* libfontconfig1-dev* libfontenc1* libfreetype6* libfreetype6-dev* libgail-common* libgail-dev* libgail18* libgconf-2-4* libgconf2-dev* libgcrypt11* libgcrypt11-dev* 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* libgnome-keyring-common* libgnome-keyring-dev* libgnome-keyring0* libgnome2-0* libgnome2-common* libgnome2-dev* libgnomecanvas2-0* libgnomecanvas2-common* libgnomecanvas2-dev* libgnomeui-0* libgnomeui-common* libgnomeui-dev* libgnomevfs2-0* libgnomevfs2-common* libgnomevfs2-dev* libgnutls-dev* libgnutls-openssl27* libgnutls26* libgnutlsxx27* libgpg-error-dev* libgpg-error0* libgssapi-krb5-2* libgtk2.0-0* libgtk2.0-common* libgtk2.0-dev* libgtksourceview2.0-0* libgtksourceview2.0-common* libgtksourceview2.0-dev* libgtkspell-dev* libgtkspell0* libgudev-1.0-0* libhunspell-1.3-0* libice-dev* libice6* libidl-dev* libidl0* libjasper1* libjbig0* libjpeg8* libk5crypto3* libkeyutils1* libkrb5-3* libkrb5support0* liblablgtk2-gnome-ocaml* liblablgtk2-gnome-ocaml-dev* liblablgtk2-ocaml* liblablgtk2-ocaml-dev* liblablgtksourceview2-ocaml* liblablgtksourceview2-ocaml-dev* libldap-2.4-2* libltdl7* liblvm2app2.2* libmagic1* libncurses5-dev* libocamlgraph-ocaml-dev* libogg0* liborbit2* liborbit2-dev* libp11-kit-dev* 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* libpopt-dev* libpopt0* libpthread-stubs0* libpthread-stubs0-dev* librsvg2-2* librsvg2-common* librsvg2-dev* libsasl2-2* libselinux1-dev* libsepol1-dev* libsgutils2-2* libsm-dev* libsm6* libsqlite3-0* libssl1.0.0* libsystemd-login0* libtasn1-3* libtasn1-3-dev* 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* quilt* sbuild-build-depends-alt-ergo-dummy* sbuild-build-depends-core-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, 287 to remove and 3 not upgraded. After this operation, 292 MB disk space will be freed. (Reading database ... 22196 files and directories currently installed.) Removing sbuild-build-depends-alt-ergo-dummy ... Removing liblablgtk2-gnome-ocaml-dev ... Removing liblablgtk2-gnome-ocaml ... Removing libgnomeui-dev ... Removing libgnomeui-0 ... Purging configuration files for libgnomeui-0 ... Removing libbonoboui2-dev ... Removing libgnome2-dev ... 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-dev ... 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 libgconf2-dev ... 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-dev ... Removing liblablgtksourceview2-ocaml ... Removing liblablgtk2-ocaml-dev ... Removing liblablgtk2-ocaml ... Removing libgtkspell-dev ... Removing libgtkspell0 ... Purging configuration files for libgtkspell0 ... Removing libenchant-dev ... Removing libenchant1c2a ... Removing aspell-en ... Purging configuration files for aspell-en ... Removing aspell ... Removing autoconf ... Purging configuration files for autoconf ... Removing autotools-dev ... Removing quilt ... Purging configuration files for quilt ... Removing debhelper ... Removing man-db ... Purging configuration files for man-db ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing dh-ocaml ... 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 diffstat ... Removing libparted0debian1:armhf ... Purging configuration files for libparted0debian1:armhf ... Removing liblvm2app2.2 ... Purging configuration files for liblvm2app2.2 ... Removing file ... Removing librsvg2-dev ... Removing librsvg2-common:armhf ... Removing gir1.2-rsvg-2.0 ... Removing librsvg2-2:armhf ... Purging configuration files for librsvg2-2:armhf ... Removing libgtksourceview2.0-dev ... Removing libgnomecanvas2-dev ... Removing libglade2-dev ... Removing libgail-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 libglade2-0 ... Purging configuration files for libglade2-0 ... Removing libgail-common:armhf ... Removing libgail18:armhf ... Purging configuration files for libgail18:armhf ... Removing libgtk2.0-0:armhf ... Purging configuration files for libgtk2.0-0:armhf ... Removing gir1.2-pango-1.0 ... Removing libpango1.0-0:armhf ... Purging configuration files for libpango1.0-0:armhf ... Removing fontconfig ... Purging configuration files for fontconfig ... Removing x11-utils ... Purging configuration files for x11-utils ... Removing libxft-dev ... Removing libxft2:armhf ... Purging configuration files for libxft2:armhf ... 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 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 gir1.2-gconf-2.0 ... 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 libgnome-keyring-dev ... Removing gir1.2-gnomekeyring-1.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 libart-2.0-dev ... Removing libart-2.0-2 ... Purging configuration files for libart-2.0-2 ... Removing libcanberra-dev:armhf ... Removing libcanberra0:armhf ... Purging configuration files for libcanberra0:armhf ... Removing libasound2:armhf ... Purging configuration files for libasound2:armhf ... Removing libaspell15 ... Purging configuration files for libaspell15 ... Removing libatasmart4:armhf ... Purging configuration files for libatasmart4:armhf ... Removing libatk1.0-0:armhf ... Purging configuration files for libatk1.0-0:armhf ... Removing libatk1.0-data ... Removing libavahi-client-dev ... Removing libcups2:armhf ... Purging configuration files for libcups2:armhf ... Removing libavahi-client3:armhf ... Purging configuration files for libavahi-client3:armhf ... Removing libavahi-glib-dev ... Removing libavahi-glib1:armhf ... Purging configuration files for libavahi-glib1:armhf ... Removing libavahi-common-dev ... Removing libavahi-common3:armhf ... Purging configuration files for libavahi-common3:armhf ... Removing libavahi-common-data:armhf ... Removing libbluray1:armhf ... Purging configuration files for libbluray1:armhf ... Removing libbonobo2-dev ... 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 libthai0:armhf ... Purging configuration files for libthai0:armhf ... Removing libdatrie1:armhf ... Purging configuration files for libdatrie1: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 libdbus-1-dev ... Removing libdbus-1-3:armhf ... Purging configuration files for libdbus-1-3:armhf ... Removing libgl1-mesa-glx:armhf ... Purging configuration files for libgl1-mesa-glx:armhf ... Removing libdrm2:armhf ... Purging configuration files for libdrm2:armhf ... Removing liborbit2-dev ... Removing libidl-dev ... 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 libexpat1:armhf ... Purging configuration files for libexpat1:armhf ... Removing libfam0 ... Purging configuration files for libfam0 ... Removing shared-mime-info ... Purging configuration files for shared-mime-info ... 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 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 libfontenc1:armhf ... Purging configuration files for libfontenc1:armhf ... Removing libfreetype6-dev ... Removing libfreetype6:armhf ... Purging configuration files for libfreetype6:armhf ... Removing libldap-2.4-2:armhf ... Purging configuration files for libldap-2.4-2:armhf ... Removing libgnutls-dev ... Removing libgnutlsxx27:armhf ... Purging configuration files for libgnutlsxx27:armhf ... Removing libgnutls-openssl27:armhf ... Purging configuration files for libgnutls-openssl27:armhf ... Removing libgnutls26:armhf ... Purging configuration files for libgnutls26:armhf ... Removing libgcrypt11-dev ... Removing libgcrypt11:armhf ... Purging configuration files for libgcrypt11:armhf ... Removing libgdk-pixbuf2.0-common ... Removing libglapi-mesa:armhf ... Purging configuration files for libglapi-mesa:armhf ... Removing libglib2.0-data ... Removing libgnome-keyring-common ... Removing libgnomecanvas2-common ... Removing libgnomeui-common ... Removing libgpg-error-dev ... 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 libgtksourceview2.0-common ... Removing libhunspell-1.3-0:armhf ... Purging configuration files for libhunspell-1.3-0:armhf ... 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 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 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 libp11-kit-dev ... Removing libp11-kit0:armhf ... Purging configuration files for libp11-kit0:armhf ... Removing libpcre3-dev ... Removing libpcrecpp0:armhf ... Purging configuration files for libpcrecpp0:armhf ... Removing libpcre3:armhf ... Purging configuration files for libpcre3:armhf ... Removing libpipeline1:armhf ... Purging configuration files for libpipeline1:armhf ... Removing libpixman-1-dev ... Removing libpixman-1-0:armhf ... Purging configuration files for libpixman-1-0:armhf ... Removing libpng12-dev ... Removing libpng12-0:armhf ... Purging configuration files for libpng12-0:armhf ... Removing libpopt-dev:armhf ... 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 libsasl2-2:armhf ... Purging configuration files for libsasl2-2:armhf ... Removing libselinux1-dev ... Removing libsepol1-dev ... 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 libtasn1-3-dev ... Removing libtasn1-3:armhf ... Purging configuration files for libtasn1-3:armhf ... Removing libtdb1:armhf ... Purging configuration files for libtdb1:armhf ... Removing libthai-data ... 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 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 libxpm4:armhf ... Purging configuration files for libxpm4:armhf ... Removing libxmuu1:armhf ... Purging configuration files for libxmuu1: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-xcb1:armhf ... Purging configuration files for libx11-xcb1:armhf ... Removing libx11-6:armhf ... Purging configuration files for libx11-6:armhf ... Removing libx11-data ... Removing libxau-dev:armhf ... Removing libxcb-shm0:armhf ... Purging configuration files for libxcb-shm0:armhf ... Removing libxcb-shape0:armhf ... Purging configuration files for libxcb-shape0: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 libxdmcp-dev:armhf ... Removing libxdmcp6:armhf ... Purging configuration files for libxdmcp6:armhf ... Removing libxml2-utils ... Removing libxml2-dev:armhf ... Removing libxml2:armhf ... Purging configuration files for libxml2:armhf ... Removing m4 ... Removing mime-support ... Purging configuration files for mime-support ... Removing ocaml-interp ... Purging configuration files for ocaml-interp ... Removing ocaml-base-nox ... Removing psmisc ... Purging configuration files for psmisc ... Removing sbuild-build-depends-core-dummy ... Removing ttf-dejavu-core ... 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 dmsetup ... Removing libdevmapper1.02.1 ... Purging configuration files for libdevmapper1.02.1 ... Removing libudev0:armhf ... Purging configuration files for libudev0:armhf ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: armhf Build-Space: 19964 Build-Time: 173 Distribution: testing Install-Time: 446 Job: alt-ergo_0.94-2 Package: alt-ergo Package-Time: 638 Source-Version: 0.94-2 Space: 19964 Status: successful Version: 0.94-2 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120531-0709 Build needed 00:10:38, 19964k disc space