RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep']
Forking launchpad-buildd slave process...
Kernel version: 3.2.0-1415-omap4 #20-Ubuntu SMP PREEMPT Mon Jun 18 19:03:59 UTC 2012 armv7l
Buildd toolchain package versions: launchpad-buildd_114-0~53~0.IS.08.04 python-lpbuildd_114-0~53~0.IS.08.04 bzr_2.5.1-0ubuntu2.
Syncing the system clock with the buildd NTP service...
14 Sep 01:45:54 ntpdate[31882]: adjust time server 10.211.37.1 offset -0.000519 sec
RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '82aa2af97d749ec7e224b360eddfbac3a0b2736b', '/home/buildd/filecache-default/9aaef0c15f438994f53976d863cfc99044857a9f']
Unpacking chroot for build 82aa2af97d749ec7e224b360eddfbac3a0b2736b
RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '82aa2af97d749ec7e224b360eddfbac3a0b2736b']
Mounting chroot for build 82aa2af97d749ec7e224b360eddfbac3a0b2736b
RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '82aa2af97d749ec7e224b360eddfbac3a0b2736b', 'deb http://ftpmaster.internal/ubuntu quantal main universe']
Overriding sources.list in build-82aa2af97d749ec7e224b360eddfbac3a0b2736b
RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '82aa2af97d749ec7e224b360eddfbac3a0b2736b', 'armel']
Updating debian chroot for build 82aa2af97d749ec7e224b360eddfbac3a0b2736b
Ign http://ftpmaster.internal quantal InRelease
Get:1 http://ftpmaster.internal quantal Release.gpg [198 B]
Get:2 http://ftpmaster.internal quantal Release [49.6 kB]
Get:3 http://ftpmaster.internal quantal/main armel Packages [1135 kB]
Get:4 http://ftpmaster.internal quantal/universe armel Packages [5213 kB]
Get:5 http://ftpmaster.internal quantal/main Translation-en [659 kB]
Get:6 http://ftpmaster.internal quantal/universe Translation-en [3669 kB]
Fetched 10.7 MB in 26s (398 kB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '82aa2af97d749ec7e224b360eddfbac3a0b2736b', 'armel', 'quantal', '--nolog', '--batch', '--archive=ubuntu', '--dist=quantal', '--purpose=PRIMARY', '--architecture=armel', '--comp=universe', 'why_2.30+dfsg-5.dsc']
Initiating build 82aa2af97d749ec7e224b360eddfbac3a0b2736b with 2 jobs across 2 processor cores.
Kernel reported to sbuild: 3.2.0-1415-omap4 #20-Ubuntu SMP PREEMPT Mon Jun 18 19:03:59 UTC 2012 armv7l
Automatic build of why_2.30+dfsg-5 on iara by sbuild/armel 1.170.5
Build started at 20120914-0147
******************************************************************************
why_2.30+dfsg-5.dsc exists in cwd
** Using build dependencies supplied by package:
Build-Depends: debhelper (>= 7.0.50~), autotools-dev, autoconf, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev (>= 2.12.0-3~), coq (>= 8.3~), libfloat-coq, libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20111001+nitrogen+dfsg-1~), libapron-ocaml-dev (>= 0.9.10-4~), camlidl
Checking for already installed source dependencies...
debhelper: missing
autotools-dev: missing
autoconf: missing
dh-ocaml: missing
ocaml-nox: missing
ocaml-best-compilers: missing
camlp4: missing
liblablgtk2-ocaml-dev: missing
coq: missing
libfloat-coq: missing
libocamlgraph-ocaml-dev: missing
frama-c-base: missing
libapron-ocaml-dev: missing
camlidl: missing
Checking for source dependency conflicts...
  /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper autotools-dev autoconf dh-ocaml ocaml-nox ocaml-best-compilers camlp4 liblablgtk2-ocaml-dev coq libfloat-coq libocamlgraph-ocaml-dev frama-c-base libapron-ocaml-dev camlidl
Reading package lists...
Building dependency tree...
Reading state information...
The following extra packages will be installed:
  aspell aspell-en bsdmainutils coq-theories dbus dbus-x11 dh-apparmor
  dictionaries-common emacsen-common file fontconfig fontconfig-config
  gconf-service gconf-service-backend gconf2 gconf2-common gettext
  gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0
  gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 groff-base html2text
  intltool-debian libapron libapron-dev libapron-ocaml libart-2.0-2 libasound2
  libaspell15 libasprintf0c2 libatk1.0-0 libatk1.0-data libatk1.0-dev
  libavahi-client3 libavahi-common-data libavahi-common3 libavahi-glib1
  libbonobo2-0 libbonobo2-common libbonoboui2-0 libbonoboui2-common
  libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev
  libcanberra0 libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-glib-1-2
  libelf1 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfontconfig1
  libfontconfig1-dev libfreetype6 libfreetype6-dev libgail18 libgconf-2-4
  libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev
  libgettextpo0 libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-bin
  libglib2.0-data libglib2.0-dev libgmp-dev libgmp3-dev libgmpxx4ldbl
  libgnome-keyring-common libgnome-keyring0 libgnome2-0 libgnome2-bin
  libgnome2-common libgnomecanvas2-0 libgnomecanvas2-common libgnomeui-0
  libgnomeui-common libgnomevfs2-0 libgnomevfs2-common libgtk2.0-0
  libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0
  libgtksourceview2.0-common libgtkspell-dev libgtkspell0 libhunspell-1.3-0
  libice-dev libice6 libidl-common libidl0 libjasper1 libjbig0 libjpeg-turbo8
  libjpeg8 liblablgtk2-gnome-ocaml liblablgtk2-ocaml
  liblablgtksourceview2-ocaml libltdl7 libmagic1 libmpfr-dev libncurses5-dev
  libogg0 liborbit2 libpango1.0-0 libpango1.0-dev libpcre3-dev libpcrecpp0
  libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-dev libpopt0 libppl-c4
  libppl0.11-dev libppl9 libpthread-stubs0 libpthread-stubs0-dev libpwl5
  librsvg2-2 libsm-dev libsm6 libtdb1 libtext-iconv-perl libthai-data libthai0
  libtiff5 libtinfo-dev libunistring0 libvorbis0a libvorbisfile3 libx11-6
  libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev
  libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev
  libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1
  libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3
  libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2
  libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev
  libxrender1 m4 man-db mime-support netbase ocaml-base-nox ocaml-interp
  pkg-config po-debconf psmisc python python2.7 shared-mime-info
  sound-theme-freedesktop ttf-dejavu-core ucf x11-common
  x11proto-composite-dev x11proto-core-dev x11proto-damage-dev
  x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev
  x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev
  xorg-sgml-doctools xtrans-dev zlib1g-dev
Suggested packages:
  aspell-doc spellutils autoconf2.13 autoconf-archive gnu-standards
  autoconf-doc libtool wamerican wordlist whois vacation camlidl-doc
  proofgeneral ledit readline-editor libcoq-ocaml-dev why coq-doc dh-make git
  ispell jed-extra gconf-defaults-service gettext-doc groff libasound2-plugins
  libasound2-python libbonobo2-bin libcairo2-doc libcanberra-gtk0
  libcanberra-pulse cups-common libenchant-voikko glade glade-gnome
  libglib2.0-doc libgmp10-doc gnome-keyring desktop-base gnome-icon-theme
  libgnomevfs2-bin libgnomevfs2-extra gamin fam gnome-mime-data
  librsvg2-common libgtk2.0-doc libice-doc libjasper-runtime
  liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocaml-dev libmpfr-doc ncurses-doc
  ttf-baekmuk ttf-arphic-gbsn00lp ttf-arphic-bsmi00lp ttf-arphic-gkai00mp
  ttf-arphic-bkai00mp libpango1.0-doc imagemagick libppl-doc librsvg2-bin
  libsm-doc libxcb-doc libxext-doc less www-browser libgdbm-dev tuareg-mode
  ocaml-mode libmail-box-perl python-doc python-tk python2.7-doc
Recommended packages:
  automake automaken alt-ergo libwhy-coq curl wget lynx-cur enchant gvfs
  hicolor-icon-theme libgtk2.0-bin hunspell-en-us hunspell-dictionary
  myspell-dictionary liblablgtk2-ocaml-doc ocaml-findlib libx11-doc xml-core
  libmail-sendmail-perl
The following NEW packages will be installed:
  aspell aspell-en autoconf autotools-dev bsdmainutils camlidl camlp4 coq
  coq-theories dbus dbus-x11 debhelper dh-apparmor dh-ocaml
  dictionaries-common emacsen-common file fontconfig fontconfig-config
  frama-c-base gconf-service gconf-service-backend gconf2 gconf2-common
  gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0
  gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-pango-1.0 groff-base html2text
  intltool-debian libapron libapron-dev libapron-ocaml libapron-ocaml-dev
  libart-2.0-2 libasound2 libaspell15 libasprintf0c2 libatk1.0-0
  libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data
  libavahi-common3 libavahi-glib1 libbonobo2-0 libbonobo2-common
  libbonoboui2-0 libbonoboui2-common libcairo-gobject2
  libcairo-script-interpreter2 libcairo2 libcairo2-dev libcanberra0
  libcoq-ocaml libcroco3 libcups2 libdatrie1 libdbus-glib-1-2 libelf1
  libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfloat-coq
  libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgail18
  libgconf-2-4 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev
  libgettextpo0 libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-bin
  libglib2.0-data libglib2.0-dev libgmp-dev libgmp3-dev libgmpxx4ldbl
  libgnome-keyring-common libgnome-keyring0 libgnome2-0 libgnome2-bin
  libgnome2-common libgnomecanvas2-0 libgnomecanvas2-common libgnomeui-0
  libgnomeui-common libgnomevfs2-0 libgnomevfs2-common libgtk2.0-0
  libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0
  libgtksourceview2.0-common libgtkspell-dev libgtkspell0 libhunspell-1.3-0
  libice-dev libice6 libidl-common libidl0 libjasper1 libjbig0 libjpeg-turbo8
  libjpeg8 liblablgtk2-gnome-ocaml liblablgtk2-ocaml liblablgtk2-ocaml-dev
  liblablgtksourceview2-ocaml libltdl7 libmagic1 libmpfr-dev libncurses5-dev
  libocamlgraph-ocaml-dev libogg0 liborbit2 libpango1.0-0 libpango1.0-dev
  libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev
  libpng12-dev libpopt0 libppl-c4 libppl0.11-dev libppl9 libpthread-stubs0
  libpthread-stubs0-dev libpwl5 librsvg2-2 libsm-dev libsm6 libtdb1
  libtext-iconv-perl libthai-data libthai0 libtiff5 libtinfo-dev libunistring0
  libvorbis0a libvorbisfile3 libx11-6 libx11-data libx11-dev libxau-dev
  libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev
  libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev
  libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev
  libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6
  libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev
  libxrandr2 libxrender-dev libxrender1 m4 man-db mime-support netbase
  ocaml-base-nox ocaml-interp ocaml-native-compilers ocaml-nox pkg-config
  po-debconf psmisc python python2.7 shared-mime-info sound-theme-freedesktop
  ttf-dejavu-core ucf x11-common x11proto-composite-dev x11proto-core-dev
  x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev
  x11proto-randr-dev x11proto-render-dev x11proto-xext-dev
  x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev
0 upgraded, 221 newly installed, 0 to remove and 0 not upgraded.
Need to get 183 MB of archives.
After this operation, 627 MB of additional disk space will be used.
WARNING: The following packages cannot be authenticated!
  libexpat1 libmagic1 libpopt0 libasprintf0c2 libdbus-glib-1-2 libelf1
  libpipeline1 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libxext6 ucf
  ttf-dejavu-core fontconfig-config libart-2.0-2 libasound2 libatk1.0-data
  libatk1.0-0 libavahi-common-data libavahi-common3 libavahi-client3
  libavahi-glib1 libbonobo2-common libidl-common libidl0 liborbit2 libxml2
  libbonobo2-0 gconf2-common libgconf-2-4 gconf-service-backend gconf-service
  libjpeg-turbo8 libjpeg8 libjasper1 libjbig0 libtiff5 libgdk-pixbuf2.0-common
  libgdk-pixbuf2.0-0 libgtk2.0-common libfreetype6 libfontconfig1
  libpixman-1-0 libxcb-render0 libxcb-shm0 libxrender1 libcairo2 libcups2
  libthai-data libdatrie1 libthai0 libxft2 fontconfig libpango1.0-0
  libxcomposite1 libxfixes3 libxcursor1 libxdamage1 libxi6 libxinerama1
  libxrandr2 shared-mime-info libgtk2.0-0 libglade2-0 libltdl7 libtdb1 libogg0
  libvorbis0a libvorbisfile3 sound-theme-freedesktop libcanberra0 netbase dbus
  psmisc dbus-x11 mime-support python2.7 python gconf2 libgnomevfs2-common
  libgnomevfs2-0 libgnome2-common libgnome2-bin libgnome2-0 libgail18
  libgnomecanvas2-common libgnomecanvas2-0 libbonoboui2-common libbonoboui2-0
  libcairo-gobject2 libcairo-script-interpreter2 libcroco3 libunistring0
  libgettextpo0 libglib2.0-data libglib2.0-bin libgmpxx4ldbl
  libgnome-keyring-common libgnome-keyring0 x11-common libice6 libsm6
  libgnomeui-common libgnomeui-0 libhunspell-1.3-0 libpcrecpp0 libppl9 libpwl5
  libppl-c4 librsvg2-2 file libtext-iconv-perl bsdmainutils gettext-base
  libgirepository-1.0-1 gir1.2-glib-2.0 groff-base man-db libaspell15
  dictionaries-common aspell aspell-en m4 autoconf autotools-dev
  ocaml-base-nox libtinfo-dev libncurses5-dev ocaml-interp ocaml-nox camlidl
  camlp4 coq-theories emacsen-common libenchant1c2a libgtkspell0
  liblablgtk2-ocaml libcoq-ocaml coq html2text gettext intltool-debian
  po-debconf dh-apparmor debhelper gir1.2-atk-1.0 gir1.2-freedesktop
  gir1.2-gdkpixbuf-2.0 gir1.2-pango-1.0 gir1.2-gtk-2.0 libapron libgmp-dev
  libgmp3-dev libmpfr-dev libppl0.11-dev libapron-dev libapron-ocaml
  libapron-ocaml-dev pkg-config libpcre3-dev zlib1g-dev libglib2.0-dev
  libatk1.0-dev libexpat1-dev libfreetype6-dev libfontconfig1-dev
  xorg-sgml-doctools x11proto-core-dev libxau-dev libxdmcp-dev
  x11proto-input-dev x11proto-kb-dev xtrans-dev libpthread-stubs0
  libpthread-stubs0-dev libxcb1-dev libx11-dev x11proto-render-dev
  libxrender-dev libpng12-dev libice-dev libsm-dev libpixman-1-dev
  libxcb-render0-dev libxcb-shm0-dev libcairo2-dev libenchant-dev libfloat-coq
  libgdk-pixbuf2.0-dev libxft-dev libpango1.0-dev x11proto-xext-dev
  libxext-dev x11proto-xinerama-dev libxinerama-dev libxi-dev
  x11proto-randr-dev libxrandr-dev x11proto-fixes-dev libxfixes-dev
  libxcursor-dev x11proto-composite-dev libxcomposite-dev x11proto-damage-dev
  libxdamage-dev libxml2-utils libgtk2.0-dev libxml2-dev libglade2-dev
  libgtksourceview2.0-common libgtksourceview2.0-0 libgtkspell-dev
  liblablgtk2-gnome-ocaml liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml
  libocamlgraph-ocaml-dev ocaml-native-compilers dh-ocaml frama-c-base
Authentication warning overridden.
Get:1 http://ftpmaster.internal/ubuntu/ quantal/main libexpat1 armel 2.1.0-1 [109 kB]
Get:2 http://ftpmaster.internal/ubuntu/ quantal/main libmagic1 armel 5.11-2 [169 kB]
Get:3 http://ftpmaster.internal/ubuntu/ quantal/main libpopt0 armel 1.16-7ubuntu1 [28.8 kB]
Get:4 http://ftpmaster.internal/ubuntu/ quantal/main libasprintf0c2 armel 0.18.1.1-9ubuntu1 [6500 B]
Get:5 http://ftpmaster.internal/ubuntu/ quantal/main libdbus-glib-1-2 armel 0.100-1 [62.9 kB]
Get:6 http://ftpmaster.internal/ubuntu/ quantal/main libelf1 armel 0.153-1ubuntu1 [53.0 kB]
Get:7 http://ftpmaster.internal/ubuntu/ quantal/main libpipeline1 armel 1.2.1-1 [20.7 kB]
Get:8 http://ftpmaster.internal/ubuntu/ quantal/main libxau6 armel 1:1.0.7-1 [7650 B]
Get:9 http://ftpmaster.internal/ubuntu/ quantal/main libxdmcp6 armel 1:1.1.1-1 [11.4 kB]
Get:10 http://ftpmaster.internal/ubuntu/ quantal/main libxcb1 armel 1.8.1-1 [35.4 kB]
Get:11 http://ftpmaster.internal/ubuntu/ quantal/main libx11-data all 2:1.5.0-1 [181 kB]
Get:12 http://ftpmaster.internal/ubuntu/ quantal/main libx11-6 armel 2:1.5.0-1 [717 kB]
Get:13 http://ftpmaster.internal/ubuntu/ quantal/main libxext6 armel 2:1.3.1-2 [28.4 kB]
Get:14 http://ftpmaster.internal/ubuntu/ quantal/main ucf all 3.0025+nmu3 [55.0 kB]
Get:15 http://ftpmaster.internal/ubuntu/ quantal/main ttf-dejavu-core all 2.33-2ubuntu1 [1552 kB]
Get:16 http://ftpmaster.internal/ubuntu/ quantal/main fontconfig-config all 2.10.1-0ubuntu3 [46.3 kB]
Get:17 http://ftpmaster.internal/ubuntu/ quantal/main libart-2.0-2 armel 2.3.21-2 [58.8 kB]
Get:18 http://ftpmaster.internal/ubuntu/ quantal/main libasound2 armel 1.0.25-3ubuntu3 [381 kB]
Get:19 http://ftpmaster.internal/ubuntu/ quantal/main libatk1.0-data all 2.5.91-0ubuntu1 [13.1 kB]
Get:20 http://ftpmaster.internal/ubuntu/ quantal/main libatk1.0-0 armel 2.5.91-0ubuntu1 [53.4 kB]
Get:21 http://ftpmaster.internal/ubuntu/ quantal/main libavahi-common-data armel 0.6.31-1ubuntu1 [21.5 kB]
Get:22 http://ftpmaster.internal/ubuntu/ quantal/main libavahi-common3 armel 0.6.31-1ubuntu1 [25.4 kB]
Get:23 http://ftpmaster.internal/ubuntu/ quantal/main libavahi-client3 armel 0.6.31-1ubuntu1 [26.8 kB]
Get:24 http://ftpmaster.internal/ubuntu/ quantal/main libavahi-glib1 armel 0.6.31-1ubuntu1 [9834 B]
Get:25 http://ftpmaster.internal/ubuntu/ quantal/main libbonobo2-common all 2.32.1-0ubuntu2 [36.6 kB]
Get:26 http://ftpmaster.internal/ubuntu/ quantal/main libidl-common all 0.8.14-0.2ubuntu2 [8572 B]
Get:27 http://ftpmaster.internal/ubuntu/ quantal/main libidl0 armel 0.8.14-0.2ubuntu2 [75.1 kB]
Get:28 http://ftpmaster.internal/ubuntu/ quantal/main liborbit2 armel 1:2.14.19-0.1ubuntu1 [152 kB]
Get:29 http://ftpmaster.internal/ubuntu/ quantal/main libxml2 armel 2.8.0+dfsg1-5 [601 kB]
Get:30 http://ftpmaster.internal/ubuntu/ quantal/main libbonobo2-0 armel 2.32.1-0ubuntu2 [243 kB]
Get:31 http://ftpmaster.internal/ubuntu/ quantal/main gconf2-common all 3.2.5-0ubuntu3 [22.0 kB]
Get:32 http://ftpmaster.internal/ubuntu/ quantal/main libgconf-2-4 armel 3.2.5-0ubuntu3 [87.0 kB]
Get:33 http://ftpmaster.internal/ubuntu/ quantal/main gconf-service-backend armel 3.2.5-0ubuntu3 [63.6 kB]
Get:34 http://ftpmaster.internal/ubuntu/ quantal/main gconf-service armel 3.2.5-0ubuntu3 [2022 B]
Get:35 http://ftpmaster.internal/ubuntu/ quantal/main libjpeg-turbo8 armel 1.1.90+svn733-0ubuntu6 [91.7 kB]
Get:36 http://ftpmaster.internal/ubuntu/ quantal/main libjpeg8 armel 8c-2ubuntu7 [2116 B]
Get:37 http://ftpmaster.internal/ubuntu/ quantal/main libjasper1 armel 1.900.1-13 [129 kB]
Get:38 http://ftpmaster.internal/ubuntu/ quantal/main libjbig0 armel 2.0-2ubuntu1 [27.5 kB]
Get:39 http://ftpmaster.internal/ubuntu/ quantal/main libtiff5 armel 4.0.2-1ubuntu2 [162 kB]
Get:40 http://ftpmaster.internal/ubuntu/ quantal/main libgdk-pixbuf2.0-common all 2.26.3-0ubuntu1 [7744 B]
Get:41 http://ftpmaster.internal/ubuntu/ quantal/main libgdk-pixbuf2.0-0 armel 2.26.3-0ubuntu1 [186 kB]
Get:42 http://ftpmaster.internal/ubuntu/ quantal/main libgtk2.0-common all 2.24.12-0ubuntu1 [118 kB]
Get:43 http://ftpmaster.internal/ubuntu/ quantal/main libfreetype6 armel 2.4.10-0ubuntu1 [297 kB]
Get:44 http://ftpmaster.internal/ubuntu/ quantal/main libfontconfig1 armel 2.10.1-0ubuntu3 [122 kB]
Get:45 http://ftpmaster.internal/ubuntu/ quantal/main libpixman-1-0 armel 0.26.0-3 [225 kB]
Get:46 http://ftpmaster.internal/ubuntu/ quantal/main libxcb-render0 armel 1.8.1-1 [11.0 kB]
Get:47 http://ftpmaster.internal/ubuntu/ quantal/main libxcb-shm0 armel 1.8.1-1 [5166 B]
Get:48 http://ftpmaster.internal/ubuntu/ quantal/main libxrender1 armel 1:0.9.7-1 [19.4 kB]
Get:49 http://ftpmaster.internal/ubuntu/ quantal/main libcairo2 armel 1.12.2-1ubuntu1 [545 kB]
Get:50 http://ftpmaster.internal/ubuntu/ quantal/main libcups2 armel 1.6.1-0ubuntu5 [178 kB]
Get:51 http://ftpmaster.internal/ubuntu/ quantal/main libthai-data all 0.1.18-1 [179 kB]
Get:52 http://ftpmaster.internal/ubuntu/ quantal/main libdatrie1 armel 0.2.5-3 [12.9 kB]
Get:53 http://ftpmaster.internal/ubuntu/ quantal/main libthai0 armel 0.1.18-1 [17.2 kB]
Get:54 http://ftpmaster.internal/ubuntu/ quantal/main libxft2 armel 2.3.1-1 [39.0 kB]
Get:55 http://ftpmaster.internal/ubuntu/ quantal/main fontconfig armel 2.10.1-0ubuntu3 [169 kB]
Get:56 http://ftpmaster.internal/ubuntu/ quantal/main libpango1.0-0 armel 1.30.1-0ubuntu3 [330 kB]
Get:57 http://ftpmaster.internal/ubuntu/ quantal/main libxcomposite1 armel 1:0.4.3-2build1 [6956 B]
Get:58 http://ftpmaster.internal/ubuntu/ quantal/main libxfixes3 armel 1:5.0-4ubuntu4 [10.4 kB]
Get:59 http://ftpmaster.internal/ubuntu/ quantal/main libxcursor1 armel 1:1.1.13-1 [20.1 kB]
Get:60 http://ftpmaster.internal/ubuntu/ quantal/main libxdamage1 armel 1:1.1.3-2build1 [6720 B]
Get:61 http://ftpmaster.internal/ubuntu/ quantal/main libxi6 armel 2:1.6.1-1 [27.5 kB]
Get:62 http://ftpmaster.internal/ubuntu/ quantal/main libxinerama1 armel 2:1.1.2-1 [7608 B]
Get:63 http://ftpmaster.internal/ubuntu/ quantal/main libxrandr2 armel 2:1.4.0-1 [16.3 kB]
Get:64 http://ftpmaster.internal/ubuntu/ quantal/main shared-mime-info armel 1.0-1ubuntu1 [451 kB]
Get:65 http://ftpmaster.internal/ubuntu/ quantal/main libgtk2.0-0 armel 2.24.12-0ubuntu1 [2441 kB]
Get:66 http://ftpmaster.internal/ubuntu/ quantal/main libglade2-0 armel 1:2.6.4-1ubuntu2 [48.6 kB]
Get:67 http://ftpmaster.internal/ubuntu/ quantal/main libltdl7 armel 2.4.2-1ubuntu1 [33.8 kB]
Get:68 http://ftpmaster.internal/ubuntu/ quantal/main libtdb1 armel 1.2.10-2 [34.2 kB]
Get:69 http://ftpmaster.internal/ubuntu/ quantal/main libogg0 armel 1.3.0-4 [14.9 kB]
Get:70 http://ftpmaster.internal/ubuntu/ quantal/main libvorbis0a armel 1.3.2-1.3 [105 kB]
Get:71 http://ftpmaster.internal/ubuntu/ quantal/main libvorbisfile3 armel 1.3.2-1.3 [19.3 kB]
Get:72 http://ftpmaster.internal/ubuntu/ quantal/main sound-theme-freedesktop all 0.7.pristine-2 [412 kB]
Get:73 http://ftpmaster.internal/ubuntu/ quantal/main libcanberra0 armel 0.29-0ubuntu2 [44.0 kB]
Get:74 http://ftpmaster.internal/ubuntu/ quantal/main netbase all 5.0ubuntu1 [13.8 kB]
Get:75 http://ftpmaster.internal/ubuntu/ quantal/main dbus armel 1.6.4-1ubuntu1 [314 kB]
Get:76 http://ftpmaster.internal/ubuntu/ quantal/main psmisc armel 22.19-1ubuntu1 [52.5 kB]
Get:77 http://ftpmaster.internal/ubuntu/ quantal/main dbus-x11 armel 1.6.4-1ubuntu1 [20.5 kB]
Get:78 http://ftpmaster.internal/ubuntu/ quantal/main mime-support all 3.52-1ubuntu1 [31.3 kB]
Get:79 http://ftpmaster.internal/ubuntu/ quantal/main python2.7 armel 2.7.3-5ubuntu1 [2695 kB]
Get:80 http://ftpmaster.internal/ubuntu/ quantal/main python armel 2.7.3-0ubuntu5 [168 kB]
Get:81 http://ftpmaster.internal/ubuntu/ quantal/main gconf2 armel 3.2.5-0ubuntu3 [77.1 kB]
Get:82 http://ftpmaster.internal/ubuntu/ quantal/main libgnomevfs2-common armel 1:2.24.4-1ubuntu3 [24.6 kB]
Get:83 http://ftpmaster.internal/ubuntu/ quantal/main libgnomevfs2-0 armel 1:2.24.4-1ubuntu3 [231 kB]
Get:84 http://ftpmaster.internal/ubuntu/ quantal/main libgnome2-common all 2.32.1-2ubuntu3 [36.7 kB]
Get:85 http://ftpmaster.internal/ubuntu/ quantal/main libgnome2-bin armel 2.32.1-2ubuntu3 [15.6 kB]
Get:86 http://ftpmaster.internal/ubuntu/ quantal/main libgnome2-0 armel 2.32.1-2ubuntu3 [47.3 kB]
Get:87 http://ftpmaster.internal/ubuntu/ quantal/main libgail18 armel 2.24.12-0ubuntu1 [15.2 kB]
Get:88 http://ftpmaster.internal/ubuntu/ quantal/main libgnomecanvas2-common all 2.30.3-1ubuntu1 [9204 B]
Get:89 http://ftpmaster.internal/ubuntu/ quantal/main libgnomecanvas2-0 armel 2.30.3-1ubuntu1 [83.6 kB]
Get:90 http://ftpmaster.internal/ubuntu/ quantal/main libbonoboui2-common all 2.24.5-0ubuntu2 [11.7 kB]
Get:91 http://ftpmaster.internal/ubuntu/ quantal/main libbonoboui2-0 armel 2.24.5-0ubuntu2 [159 kB]
Get:92 http://ftpmaster.internal/ubuntu/ quantal/main libcairo-gobject2 armel 1.12.2-1ubuntu1 [19.2 kB]
Get:93 http://ftpmaster.internal/ubuntu/ quantal/main libcairo-script-interpreter2 armel 1.12.2-1ubuntu1 [55.8 kB]
Get:94 http://ftpmaster.internal/ubuntu/ quantal/main libcroco3 armel 0.6.5-1 [82.2 kB]
Get:95 http://ftpmaster.internal/ubuntu/ quantal/main libunistring0 armel 0.9.3-5 [394 kB]
Get:96 http://ftpmaster.internal/ubuntu/ quantal/main libgettextpo0 armel 0.18.1.1-9ubuntu1 [111 kB]
Get:97 http://ftpmaster.internal/ubuntu/ quantal/main libglib2.0-data all 2.33.12-3 [93.8 kB]
Get:98 http://ftpmaster.internal/ubuntu/ quantal/main libglib2.0-bin armel 2.33.12-3 [39.8 kB]
Get:99 http://ftpmaster.internal/ubuntu/ quantal/main libgmpxx4ldbl armel 2:5.0.2+dfsg-2ubuntu1 [7504 B]
Get:100 http://ftpmaster.internal/ubuntu/ quantal/main libgnome-keyring-common all 3.5.6-0ubuntu2 [5448 B]
Get:101 http://ftpmaster.internal/ubuntu/ quantal/main libgnome-keyring0 armel 3.5.6-0ubuntu2 [57.1 kB]
Get:102 http://ftpmaster.internal/ubuntu/ quantal/main x11-common all 1:7.7+1ubuntu3 [58.2 kB]
Get:103 http://ftpmaster.internal/ubuntu/ quantal/main libice6 armel 2:1.0.8-2 [41.0 kB]
Get:104 http://ftpmaster.internal/ubuntu/ quantal/main libsm6 armel 2:1.2.1-2 [16.6 kB]
Get:105 http://ftpmaster.internal/ubuntu/ quantal/main libgnomeui-common all 2.24.5-2ubuntu2 [16.5 kB]
Get:106 http://ftpmaster.internal/ubuntu/ quantal/main libgnomeui-0 armel 2.24.5-2ubuntu2 [214 kB]
Get:107 http://ftpmaster.internal/ubuntu/ quantal/main libhunspell-1.3-0 armel 1.3.2-4 [128 kB]
Get:108 http://ftpmaster.internal/ubuntu/ quantal/main libpcrecpp0 armel 1:8.30-5 [15.0 kB]
Get:109 http://ftpmaster.internal/ubuntu/ quantal/main libppl9 armel 0.11.2-6ubuntu3 [363 kB]
Get:110 http://ftpmaster.internal/ubuntu/ quantal/main libpwl5 armel 0.11.2-6ubuntu3 [11.2 kB]
Get:111 http://ftpmaster.internal/ubuntu/ quantal/main libppl-c4 armel 0.11.2-6ubuntu3 [852 kB]
Get:112 http://ftpmaster.internal/ubuntu/ quantal/main librsvg2-2 armel 2.36.3-0ubuntu1 [98.8 kB]
Get:113 http://ftpmaster.internal/ubuntu/ quantal/main file armel 5.11-2 [17.9 kB]
Get:114 http://ftpmaster.internal/ubuntu/ quantal/main libtext-iconv-perl armel 1.7-5 [14.6 kB]
Get:115 http://ftpmaster.internal/ubuntu/ quantal/main bsdmainutils armel 9.0.3ubuntu1 [201 kB]
Get:116 http://ftpmaster.internal/ubuntu/ quantal/main gettext-base armel 0.18.1.1-9ubuntu1 [54.0 kB]
Get:117 http://ftpmaster.internal/ubuntu/ quantal/main libgirepository-1.0-1 armel 1.33.10-1 [92.3 kB]
Get:118 http://ftpmaster.internal/ubuntu/ quantal/main gir1.2-glib-2.0 armel 1.33.10-1 [160 kB]
Get:119 http://ftpmaster.internal/ubuntu/ quantal/main groff-base armel 1.21-9 [967 kB]
Get:120 http://ftpmaster.internal/ubuntu/ quantal/main man-db armel 2.6.2-1 [729 kB]
Get:121 http://ftpmaster.internal/ubuntu/ quantal/main libaspell15 armel 0.60.7~20110707-1 [556 kB]
Get:122 http://ftpmaster.internal/ubuntu/ quantal/main dictionaries-common all 1.12.10 [247 kB]
Get:123 http://ftpmaster.internal/ubuntu/ quantal/main aspell armel 0.60.7~20110707-1 [82.0 kB]
Get:124 http://ftpmaster.internal/ubuntu/ quantal/main aspell-en all 7.1-0-1 [267 kB]
Get:125 http://ftpmaster.internal/ubuntu/ quantal/main m4 armel 1.4.16-3 [188 kB]
Get:126 http://ftpmaster.internal/ubuntu/ quantal/main autoconf all 2.69-1ubuntu1 [568 kB]
Get:127 http://ftpmaster.internal/ubuntu/ quantal/main autotools-dev all 20120608.1 [42.9 kB]
Get:128 http://ftpmaster.internal/ubuntu/ quantal/main ocaml-base-nox armel 3.12.1-2ubuntu3 [439 kB]
Get:129 http://ftpmaster.internal/ubuntu/ quantal/main libtinfo-dev armel 5.9-10 [90.0 kB]
Get:130 http://ftpmaster.internal/ubuntu/ quantal/main libncurses5-dev armel 5.9-10 [203 kB]
Get:131 http://ftpmaster.internal/ubuntu/ quantal/main ocaml-interp armel 3.12.1-2ubuntu3 [257 kB]
Get:132 http://ftpmaster.internal/ubuntu/ quantal/main ocaml-nox armel 3.12.1-2ubuntu3 [7008 kB]
Get:133 http://ftpmaster.internal/ubuntu/ quantal/universe camlidl armel 1.05-14 [113 kB]
Get:134 http://ftpmaster.internal/ubuntu/ quantal/main camlp4 armel 3.12.1-2ubuntu3 [18.6 MB]
Get:135 http://ftpmaster.internal/ubuntu/ quantal/universe coq-theories all 8.3.pl4+dfsg-2 [54.4 MB]
Get:136 http://ftpmaster.internal/ubuntu/ quantal/main emacsen-common all 2.0.3 [17.3 kB]
Get:137 http://ftpmaster.internal/ubuntu/ quantal/main libenchant1c2a armel 1.6.0-7 [62.3 kB]
Get:138 http://ftpmaster.internal/ubuntu/ quantal/main libgtkspell0 armel 2.0.16-1ubuntu5 [10.7 kB]
Get:139 http://ftpmaster.internal/ubuntu/ quantal/universe liblablgtk2-ocaml armel 2.14.2+dfsg-3 [289 kB]
Get:140 http://ftpmaster.internal/ubuntu/ quantal/universe libcoq-ocaml armel 8.3.pl4+dfsg-2 [490 kB]
Get:141 http://ftpmaster.internal/ubuntu/ quantal/universe coq armel 8.3.pl4+dfsg-2 [6078 kB]
Get:142 http://ftpmaster.internal/ubuntu/ quantal/main html2text armel 1.3.2a-15 [94.3 kB]
Get:143 http://ftpmaster.internal/ubuntu/ quantal/main gettext armel 0.18.1.1-9ubuntu1 [1108 kB]
Get:144 http://ftpmaster.internal/ubuntu/ quantal/main intltool-debian all 0.35.0+20060710.1 [31.6 kB]
Get:145 http://ftpmaster.internal/ubuntu/ quantal/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB]
Get:146 http://ftpmaster.internal/ubuntu/ quantal/main dh-apparmor all 2.8.0-0ubuntu2 [9684 B]
Get:147 http://ftpmaster.internal/ubuntu/ quantal/main debhelper all 9.20120608ubuntu1 [623 kB]
Get:148 http://ftpmaster.internal/ubuntu/ quantal/main gir1.2-atk-1.0 armel 2.5.91-0ubuntu1 [20.6 kB]
Get:149 http://ftpmaster.internal/ubuntu/ quantal/main gir1.2-freedesktop armel 1.33.10-1 [6220 B]
Get:150 http://ftpmaster.internal/ubuntu/ quantal/main gir1.2-gdkpixbuf-2.0 armel 2.26.3-0ubuntu1 [8862 B]
Get:151 http://ftpmaster.internal/ubuntu/ quantal/main gir1.2-pango-1.0 armel 1.30.1-0ubuntu3 [22.8 kB]
Get:152 http://ftpmaster.internal/ubuntu/ quantal/main gir1.2-gtk-2.0 armel 2.24.12-0ubuntu1 [243 kB]
Get:153 http://ftpmaster.internal/ubuntu/ quantal/universe libapron armel 0.9.10-5.2ubuntu3 [577 kB]
Get:154 http://ftpmaster.internal/ubuntu/ quantal/main libgmp-dev armel 2:5.0.2+dfsg-2ubuntu1 [285 kB]
Get:155 http://ftpmaster.internal/ubuntu/ quantal/main libgmp3-dev armel 2:5.0.2+dfsg-2ubuntu1 [1814 B]
Get:156 http://ftpmaster.internal/ubuntu/ quantal/main libmpfr-dev armel 3.1.0-3ubuntu2 [221 kB]
Get:157 http://ftpmaster.internal/ubuntu/ quantal/main libppl0.11-dev armel 0.11.2-6ubuntu3 [2226 kB]
Get:158 http://ftpmaster.internal/ubuntu/ quantal/universe libapron-dev all 0.9.10-5.2ubuntu3 [195 kB]
Get:159 http://ftpmaster.internal/ubuntu/ quantal/universe libapron-ocaml armel 0.9.10-5.2ubuntu3 [59.8 kB]
Get:160 http://ftpmaster.internal/ubuntu/ quantal/universe libapron-ocaml-dev armel 0.9.10-5.2ubuntu3 [2958 kB]
Get:161 http://ftpmaster.internal/ubuntu/ quantal/main pkg-config armel 0.26-1ubuntu1 [38.0 kB]
Get:162 http://ftpmaster.internal/ubuntu/ quantal/main libpcre3-dev armel 1:8.30-5 [255 kB]
Get:163 http://ftpmaster.internal/ubuntu/ quantal/main zlib1g-dev armel 1:1.2.7.dfsg-13 [177 kB]
Get:164 http://ftpmaster.internal/ubuntu/ quantal/main libglib2.0-dev armel 2.33.12-3 [1636 kB]
Get:165 http://ftpmaster.internal/ubuntu/ quantal/main libatk1.0-dev armel 2.5.91-0ubuntu1 [72.2 kB]
Get:166 http://ftpmaster.internal/ubuntu/ quantal/main libexpat1-dev armel 2.1.0-1 [197 kB]
Get:167 http://ftpmaster.internal/ubuntu/ quantal/main libfreetype6-dev armel 2.4.10-0ubuntu1 [744 kB]
Get:168 http://ftpmaster.internal/ubuntu/ quantal/main libfontconfig1-dev armel 2.10.1-0ubuntu3 [664 kB]
Get:169 http://ftpmaster.internal/ubuntu/ quantal/main xorg-sgml-doctools all 1:1.10-1 [12.0 kB]
Get:170 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-core-dev all 7.0.23-1 [744 kB]
Get:171 http://ftpmaster.internal/ubuntu/ quantal/main libxau-dev armel 1:1.0.7-1 [9508 B]
Get:172 http://ftpmaster.internal/ubuntu/ quantal/main libxdmcp-dev armel 1:1.1.1-1 [26.1 kB]
Get:173 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-input-dev all 2.2-1 [133 kB]
Get:174 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-kb-dev all 1.0.6-2 [269 kB]
Get:175 http://ftpmaster.internal/ubuntu/ quantal/main xtrans-dev all 1.2.7-1 [84.3 kB]
Get:176 http://ftpmaster.internal/ubuntu/ quantal/main libpthread-stubs0 armel 0.3-3 [3266 B]
Get:177 http://ftpmaster.internal/ubuntu/ quantal/main libpthread-stubs0-dev armel 0.3-3 [2874 B]
Get:178 http://ftpmaster.internal/ubuntu/ quantal/main libxcb1-dev armel 1.8.1-1 [73.7 kB]
Get:179 http://ftpmaster.internal/ubuntu/ quantal/main libx11-dev armel 2:1.5.0-1 [839 kB]
Get:180 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-render-dev all 2:0.11.1-2 [20.1 kB]
Get:181 http://ftpmaster.internal/ubuntu/ quantal/main libxrender-dev armel 1:0.9.7-1 [25.1 kB]
Get:182 http://ftpmaster.internal/ubuntu/ quantal/main libpng12-dev armel 1.2.49-1ubuntu1 [200 kB]
Get:183 http://ftpmaster.internal/ubuntu/ quantal/main libice-dev armel 2:1.0.8-2 [49.3 kB]
Get:184 http://ftpmaster.internal/ubuntu/ quantal/main libsm-dev armel 2:1.2.1-2 [17.7 kB]
Get:185 http://ftpmaster.internal/ubuntu/ quantal/main libpixman-1-dev armel 0.26.0-3 [251 kB]
Get:186 http://ftpmaster.internal/ubuntu/ quantal/main libxcb-render0-dev armel 1.8.1-1 [19.5 kB]
Get:187 http://ftpmaster.internal/ubuntu/ quantal/main libxcb-shm0-dev armel 1.8.1-1 [6756 B]
Get:188 http://ftpmaster.internal/ubuntu/ quantal/main libcairo2-dev armel 1.12.2-1ubuntu1 [663 kB]
Get:189 http://ftpmaster.internal/ubuntu/ quantal/main libenchant-dev armel 1.6.0-7 [54.4 kB]
Get:190 http://ftpmaster.internal/ubuntu/ quantal/universe libfloat-coq all 1:8.3pl1-4 [16.6 MB]
Get:191 http://ftpmaster.internal/ubuntu/ quantal/main libgdk-pixbuf2.0-dev armel 2.26.3-0ubuntu1 [50.1 kB]
Get:192 http://ftpmaster.internal/ubuntu/ quantal/main libxft-dev armel 2.3.1-1 [49.6 kB]
Get:193 http://ftpmaster.internal/ubuntu/ quantal/main libpango1.0-dev armel 1.30.1-0ubuntu3 [452 kB]
Get:194 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-xext-dev all 7.2.1-1 [265 kB]
Get:195 http://ftpmaster.internal/ubuntu/ quantal/main libxext-dev armel 2:1.3.1-2 [87.1 kB]
Get:196 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-xinerama-dev all 1.2.1-2 [4966 B]
Get:197 http://ftpmaster.internal/ubuntu/ quantal/main libxinerama-dev armel 2:1.1.2-1 [8046 B]
Get:198 http://ftpmaster.internal/ubuntu/ quantal/main libxi-dev armel 2:1.6.1-1 [198 kB]
Get:199 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-randr-dev all 1.4.0+git20120101.is.really.1.4.0-0ubuntu1 [32.9 kB]
Get:200 http://ftpmaster.internal/ubuntu/ quantal/main libxrandr-dev armel 2:1.4.0-1 [23.5 kB]
Get:201 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-fixes-dev all 1:5.0-2ubuntu1 [15.5 kB]
Get:202 http://ftpmaster.internal/ubuntu/ quantal/main libxfixes-dev armel 1:5.0-4ubuntu4 [10.9 kB]
Get:203 http://ftpmaster.internal/ubuntu/ quantal/main libxcursor-dev armel 1:1.1.13-1 [27.2 kB]
Get:204 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-composite-dev all 1:0.4.2-2 [10.5 kB]
Get:205 http://ftpmaster.internal/ubuntu/ quantal/main libxcomposite-dev armel 1:0.4.3-2build1 [9098 B]
Get:206 http://ftpmaster.internal/ubuntu/ quantal/main x11proto-damage-dev all 1:1.2.1-2 [8286 B]
Get:207 http://ftpmaster.internal/ubuntu/ quantal/main libxdamage-dev armel 1:1.1.3-2build1 [4820 B]
Get:208 http://ftpmaster.internal/ubuntu/ quantal/main libxml2-utils armel 2.8.0+dfsg1-5 [40.8 kB]
Get:209 http://ftpmaster.internal/ubuntu/ quantal/main libgtk2.0-dev armel 2.24.12-0ubuntu1 [3448 kB]
Get:210 http://ftpmaster.internal/ubuntu/ quantal/main libxml2-dev armel 2.8.0+dfsg1-5 [769 kB]
Get:211 http://ftpmaster.internal/ubuntu/ quantal/main libglade2-dev armel 1:2.6.4-1ubuntu2 [86.8 kB]
Get:212 http://ftpmaster.internal/ubuntu/ quantal/universe libgtksourceview2.0-common all 2.10.5-0ubuntu3 [134 kB]
Get:213 http://ftpmaster.internal/ubuntu/ quantal/universe libgtksourceview2.0-0 armel 2.10.5-0ubuntu3 [145 kB]
Get:214 http://ftpmaster.internal/ubuntu/ quantal/main libgtkspell-dev armel 2.0.16-1ubuntu5 [24.7 kB]
Get:215 http://ftpmaster.internal/ubuntu/ quantal/universe liblablgtk2-gnome-ocaml armel 2.14.2+dfsg-3 [33.1 kB]
Get:216 http://ftpmaster.internal/ubuntu/ quantal/universe liblablgtk2-ocaml-dev armel 2.14.2+dfsg-3 [2051 kB]
Get:217 http://ftpmaster.internal/ubuntu/ quantal/universe liblablgtksourceview2-ocaml armel 2.14.2+dfsg-3 [27.0 kB]
Get:218 http://ftpmaster.internal/ubuntu/ quantal/universe libocamlgraph-ocaml-dev armel 1.8.2-2 [2257 kB]
Get:219 http://ftpmaster.internal/ubuntu/ quantal/universe ocaml-native-compilers armel 3.12.1-2ubuntu3 [2988 kB]
Get:220 http://ftpmaster.internal/ubuntu/ quantal/main dh-ocaml all 1.0.5 [90.2 kB]
Get:221 http://ftpmaster.internal/ubuntu/ quantal/universe frama-c-base armel 20111001+nitrogen+dfsg-4 [26.0 MB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 183 MB in 53s (3430 kB/s)
Selecting previously unselected package libexpat1:armel.
(Reading database ... 12202 files and directories currently installed.)
Unpacking libexpat1:armel (from .../libexpat1_2.1.0-1_armel.deb) ...
Selecting previously unselected package libmagic1:armel.
Unpacking libmagic1:armel (from .../libmagic1_5.11-2_armel.deb) ...
Selecting previously unselected package libpopt0:armel.
Unpacking libpopt0:armel (from .../libpopt0_1.16-7ubuntu1_armel.deb) ...
Selecting previously unselected package libasprintf0c2:armel.
Unpacking libasprintf0c2:armel (from .../libasprintf0c2_0.18.1.1-9ubuntu1_armel.deb) ...
Selecting previously unselected package libdbus-glib-1-2:armel.
Unpacking libdbus-glib-1-2:armel (from .../libdbus-glib-1-2_0.100-1_armel.deb) ...
Selecting previously unselected package libelf1:armel.
Unpacking libelf1:armel (from .../libelf1_0.153-1ubuntu1_armel.deb) ...
Selecting previously unselected package libpipeline1:armel.
Unpacking libpipeline1:armel (from .../libpipeline1_1.2.1-1_armel.deb) ...
Selecting previously unselected package libxau6:armel.
Unpacking libxau6:armel (from .../libxau6_1%3a1.0.7-1_armel.deb) ...
Selecting previously unselected package libxdmcp6:armel.
Unpacking libxdmcp6:armel (from .../libxdmcp6_1%3a1.1.1-1_armel.deb) ...
Selecting previously unselected package libxcb1:armel.
Unpacking libxcb1:armel (from .../libxcb1_1.8.1-1_armel.deb) ...
Selecting previously unselected package libx11-data.
Unpacking libx11-data (from .../libx11-data_2%3a1.5.0-1_all.deb) ...
Selecting previously unselected package libx11-6:armel.
Unpacking libx11-6:armel (from .../libx11-6_2%3a1.5.0-1_armel.deb) ...
Selecting previously unselected package libxext6:armel.
Unpacking libxext6:armel (from .../libxext6_2%3a1.3.1-2_armel.deb) ...
Selecting previously unselected package ucf.
Unpacking ucf (from .../ucf_3.0025+nmu3_all.deb) ...
Moving old data out of the way
Selecting previously unselected package ttf-dejavu-core.
Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-2ubuntu1_all.deb) ...
Selecting previously unselected package fontconfig-config.
Unpacking fontconfig-config (from .../fontconfig-config_2.10.1-0ubuntu3_all.deb) ...
Selecting previously unselected package libart-2.0-2:armel.
Unpacking libart-2.0-2:armel (from .../libart-2.0-2_2.3.21-2_armel.deb) ...
Selecting previously unselected package libasound2:armel.
Unpacking libasound2:armel (from .../libasound2_1.0.25-3ubuntu3_armel.deb) ...
Selecting previously unselected package libatk1.0-data.
Unpacking libatk1.0-data (from .../libatk1.0-data_2.5.91-0ubuntu1_all.deb) ...
Selecting previously unselected package libatk1.0-0:armel.
Unpacking libatk1.0-0:armel (from .../libatk1.0-0_2.5.91-0ubuntu1_armel.deb) ...
Selecting previously unselected package libavahi-common-data:armel.
Unpacking libavahi-common-data:armel (from .../libavahi-common-data_0.6.31-1ubuntu1_armel.deb) ...
Selecting previously unselected package libavahi-common3:armel.
Unpacking libavahi-common3:armel (from .../libavahi-common3_0.6.31-1ubuntu1_armel.deb) ...
Selecting previously unselected package libavahi-client3:armel.
Unpacking libavahi-client3:armel (from .../libavahi-client3_0.6.31-1ubuntu1_armel.deb) ...
Selecting previously unselected package libavahi-glib1:armel.
Unpacking libavahi-glib1:armel (from .../libavahi-glib1_0.6.31-1ubuntu1_armel.deb) ...
Selecting previously unselected package libbonobo2-common.
Unpacking libbonobo2-common (from .../libbonobo2-common_2.32.1-0ubuntu2_all.deb) ...
Selecting previously unselected package libidl-common.
Unpacking libidl-common (from .../libidl-common_0.8.14-0.2ubuntu2_all.deb) ...
Selecting previously unselected package libidl0:armel.
Unpacking libidl0:armel (from .../libidl0_0.8.14-0.2ubuntu2_armel.deb) ...
Selecting previously unselected package liborbit2:armel.
Unpacking liborbit2:armel (from .../liborbit2_1%3a2.14.19-0.1ubuntu1_armel.deb) ...
Selecting previously unselected package libxml2:armel.
Unpacking libxml2:armel (from .../libxml2_2.8.0+dfsg1-5_armel.deb) ...
Selecting previously unselected package libbonobo2-0:armel.
Unpacking libbonobo2-0:armel (from .../libbonobo2-0_2.32.1-0ubuntu2_armel.deb) ...
Selecting previously unselected package gconf2-common.
Unpacking gconf2-common (from .../gconf2-common_3.2.5-0ubuntu3_all.deb) ...
Selecting previously unselected package libgconf-2-4:armel.
Unpacking libgconf-2-4:armel (from .../libgconf-2-4_3.2.5-0ubuntu3_armel.deb) ...
Selecting previously unselected package gconf-service-backend.
Unpacking gconf-service-backend (from .../gconf-service-backend_3.2.5-0ubuntu3_armel.deb) ...
Selecting previously unselected package gconf-service.
Unpacking gconf-service (from .../gconf-service_3.2.5-0ubuntu3_armel.deb) ...
Selecting previously unselected package libjpeg-turbo8:armel.
Unpacking libjpeg-turbo8:armel (from .../libjpeg-turbo8_1.1.90+svn733-0ubuntu6_armel.deb) ...
Selecting previously unselected package libjpeg8:armel.
Unpacking libjpeg8:armel (from .../libjpeg8_8c-2ubuntu7_armel.deb) ...
Selecting previously unselected package libjasper1:armel.
Unpacking libjasper1:armel (from .../libjasper1_1.900.1-13_armel.deb) ...
Selecting previously unselected package libjbig0:armel.
Unpacking libjbig0:armel (from .../libjbig0_2.0-2ubuntu1_armel.deb) ...
Selecting previously unselected package libtiff5:armel.
Unpacking libtiff5:armel (from .../libtiff5_4.0.2-1ubuntu2_armel.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.26.3-0ubuntu1_all.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:armel.
Unpacking libgdk-pixbuf2.0-0:armel (from .../libgdk-pixbuf2.0-0_2.26.3-0ubuntu1_armel.deb) ...
Selecting previously unselected package libgtk2.0-common.
Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.12-0ubuntu1_all.deb) ...
Selecting previously unselected package libfreetype6:armel.
Unpacking libfreetype6:armel (from .../libfreetype6_2.4.10-0ubuntu1_armel.deb) ...
Selecting previously unselected package libfontconfig1:armel.
Unpacking libfontconfig1:armel (from .../libfontconfig1_2.10.1-0ubuntu3_armel.deb) ...
Selecting previously unselected package libpixman-1-0:armel.
Unpacking libpixman-1-0:armel (from .../libpixman-1-0_0.26.0-3_armel.deb) ...
Selecting previously unselected package libxcb-render0:armel.
Unpacking libxcb-render0:armel (from .../libxcb-render0_1.8.1-1_armel.deb) ...
Selecting previously unselected package libxcb-shm0:armel.
Unpacking libxcb-shm0:armel (from .../libxcb-shm0_1.8.1-1_armel.deb) ...
Selecting previously unselected package libxrender1:armel.
Unpacking libxrender1:armel (from .../libxrender1_1%3a0.9.7-1_armel.deb) ...
Selecting previously unselected package libcairo2:armel.
Unpacking libcairo2:armel (from .../libcairo2_1.12.2-1ubuntu1_armel.deb) ...
Selecting previously unselected package libcups2:armel.
Unpacking libcups2:armel (from .../libcups2_1.6.1-0ubuntu5_armel.deb) ...
Selecting previously unselected package libthai-data.
Unpacking libthai-data (from .../libthai-data_0.1.18-1_all.deb) ...
Selecting previously unselected package libdatrie1:armel.
Unpacking libdatrie1:armel (from .../libdatrie1_0.2.5-3_armel.deb) ...
Selecting previously unselected package libthai0:armel.
Unpacking libthai0:armel (from .../libthai0_0.1.18-1_armel.deb) ...
Selecting previously unselected package libxft2:armel.
Unpacking libxft2:armel (from .../libxft2_2.3.1-1_armel.deb) ...
Selecting previously unselected package fontconfig.
Unpacking fontconfig (from .../fontconfig_2.10.1-0ubuntu3_armel.deb) ...
Selecting previously unselected package libpango1.0-0:armel.
Unpacking libpango1.0-0:armel (from .../libpango1.0-0_1.30.1-0ubuntu3_armel.deb) ...
Selecting previously unselected package libxcomposite1:armel.
Unpacking libxcomposite1:armel (from .../libxcomposite1_1%3a0.4.3-2build1_armel.deb) ...
Selecting previously unselected package libxfixes3:armel.
Unpacking libxfixes3:armel (from .../libxfixes3_1%3a5.0-4ubuntu4_armel.deb) ...
Selecting previously unselected package libxcursor1:armel.
Unpacking libxcursor1:armel (from .../libxcursor1_1%3a1.1.13-1_armel.deb) ...
Selecting previously unselected package libxdamage1:armel.
Unpacking libxdamage1:armel (from .../libxdamage1_1%3a1.1.3-2build1_armel.deb) ...
Selecting previously unselected package libxi6:armel.
Unpacking libxi6:armel (from .../libxi6_2%3a1.6.1-1_armel.deb) ...
Selecting previously unselected package libxinerama1:armel.
Unpacking libxinerama1:armel (from .../libxinerama1_2%3a1.1.2-1_armel.deb) ...
Selecting previously unselected package libxrandr2:armel.
Unpacking libxrandr2:armel (from .../libxrandr2_2%3a1.4.0-1_armel.deb) ...
Selecting previously unselected package shared-mime-info.
Unpacking shared-mime-info (from .../shared-mime-info_1.0-1ubuntu1_armel.deb) ...
Selecting previously unselected package libgtk2.0-0:armel.
Unpacking libgtk2.0-0:armel (from .../libgtk2.0-0_2.24.12-0ubuntu1_armel.deb) ...
Selecting previously unselected package libglade2-0:armel.
Unpacking libglade2-0:armel (from .../libglade2-0_1%3a2.6.4-1ubuntu2_armel.deb) ...
Selecting previously unselected package libltdl7:armel.
Unpacking libltdl7:armel (from .../libltdl7_2.4.2-1ubuntu1_armel.deb) ...
Selecting previously unselected package libtdb1:armel.
Unpacking libtdb1:armel (from .../libtdb1_1.2.10-2_armel.deb) ...
Selecting previously unselected package libogg0:armel.
Unpacking libogg0:armel (from .../libogg0_1.3.0-4_armel.deb) ...
Selecting previously unselected package libvorbis0a:armel.
Unpacking libvorbis0a:armel (from .../libvorbis0a_1.3.2-1.3_armel.deb) ...
Selecting previously unselected package libvorbisfile3:armel.
Unpacking libvorbisfile3:armel (from .../libvorbisfile3_1.3.2-1.3_armel.deb) ...
Selecting previously unselected package sound-theme-freedesktop.
Unpacking sound-theme-freedesktop (from .../sound-theme-freedesktop_0.7.pristine-2_all.deb) ...
Selecting previously unselected package libcanberra0:armel.
Unpacking libcanberra0:armel (from .../libcanberra0_0.29-0ubuntu2_armel.deb) ...
Selecting previously unselected package netbase.
Unpacking netbase (from .../netbase_5.0ubuntu1_all.deb) ...
Selecting previously unselected package dbus.
Unpacking dbus (from .../dbus_1.6.4-1ubuntu1_armel.deb) ...
Selecting previously unselected package psmisc.
Unpacking psmisc (from .../psmisc_22.19-1ubuntu1_armel.deb) ...
Selecting previously unselected package dbus-x11.
Unpacking dbus-x11 (from .../dbus-x11_1.6.4-1ubuntu1_armel.deb) ...
Selecting previously unselected package mime-support.
Unpacking mime-support (from .../mime-support_3.52-1ubuntu1_all.deb) ...
Selecting previously unselected package python2.7.
Unpacking python2.7 (from .../python2.7_2.7.3-5ubuntu1_armel.deb) ...
Selecting previously unselected package python.
Unpacking python (from .../python_2.7.3-0ubuntu5_armel.deb) ...
Selecting previously unselected package gconf2.
Unpacking gconf2 (from .../gconf2_3.2.5-0ubuntu3_armel.deb) ...
Selecting previously unselected package libgnomevfs2-common.
Unpacking libgnomevfs2-common (from .../libgnomevfs2-common_1%3a2.24.4-1ubuntu3_armel.deb) ...
Selecting previously unselected package libgnomevfs2-0:armel.
Unpacking libgnomevfs2-0:armel (from .../libgnomevfs2-0_1%3a2.24.4-1ubuntu3_armel.deb) ...
Selecting previously unselected package libgnome2-common.
Unpacking libgnome2-common (from .../libgnome2-common_2.32.1-2ubuntu3_all.deb) ...
Selecting previously unselected package libgnome2-bin.
Unpacking libgnome2-bin (from .../libgnome2-bin_2.32.1-2ubuntu3_armel.deb) ...
Selecting previously unselected package libgnome2-0:armel.
Unpacking libgnome2-0:armel (from .../libgnome2-0_2.32.1-2ubuntu3_armel.deb) ...
Selecting previously unselected package libgail18:armel.
Unpacking libgail18:armel (from .../libgail18_2.24.12-0ubuntu1_armel.deb) ...
Selecting previously unselected package libgnomecanvas2-common.
Unpacking libgnomecanvas2-common (from .../libgnomecanvas2-common_2.30.3-1ubuntu1_all.deb) ...
Selecting previously unselected package libgnomecanvas2-0.
Unpacking libgnomecanvas2-0 (from .../libgnomecanvas2-0_2.30.3-1ubuntu1_armel.deb) ...
Selecting previously unselected package libbonoboui2-common.
Unpacking libbonoboui2-common (from .../libbonoboui2-common_2.24.5-0ubuntu2_all.deb) ...
Selecting previously unselected package libbonoboui2-0:armel.
Unpacking libbonoboui2-0:armel (from .../libbonoboui2-0_2.24.5-0ubuntu2_armel.deb) ...
Selecting previously unselected package libcairo-gobject2:armel.
Unpacking libcairo-gobject2:armel (from .../libcairo-gobject2_1.12.2-1ubuntu1_armel.deb) ...
Selecting previously unselected package libcairo-script-interpreter2:armel.
Unpacking libcairo-script-interpreter2:armel (from .../libcairo-script-interpreter2_1.12.2-1ubuntu1_armel.deb) ...
Selecting previously unselected package libcroco3:armel.
Unpacking libcroco3:armel (from .../libcroco3_0.6.5-1_armel.deb) ...
Selecting previously unselected package libunistring0:armel.
Unpacking libunistring0:armel (from .../libunistring0_0.9.3-5_armel.deb) ...
Selecting previously unselected package libgettextpo0:armel.
Unpacking libgettextpo0:armel (from .../libgettextpo0_0.18.1.1-9ubuntu1_armel.deb) ...
Selecting previously unselected package libglib2.0-data.
Unpacking libglib2.0-data (from .../libglib2.0-data_2.33.12-3_all.deb) ...
Selecting previously unselected package libglib2.0-bin.
Unpacking libglib2.0-bin (from .../libglib2.0-bin_2.33.12-3_armel.deb) ...
Selecting previously unselected package libgmpxx4ldbl:armel.
Unpacking libgmpxx4ldbl:armel (from .../libgmpxx4ldbl_2%3a5.0.2+dfsg-2ubuntu1_armel.deb) ...
Selecting previously unselected package libgnome-keyring-common.
Unpacking libgnome-keyring-common (from .../libgnome-keyring-common_3.5.6-0ubuntu2_all.deb) ...
Selecting previously unselected package libgnome-keyring0:armel.
Unpacking libgnome-keyring0:armel (from .../libgnome-keyring0_3.5.6-0ubuntu2_armel.deb) ...
Selecting previously unselected package x11-common.
Unpacking x11-common (from .../x11-common_1%3a7.7+1ubuntu3_all.deb) ...
Selecting previously unselected package libice6:armel.
Unpacking libice6:armel (from .../libice6_2%3a1.0.8-2_armel.deb) ...
Selecting previously unselected package libsm6:armel.
Unpacking libsm6:armel (from .../libsm6_2%3a1.2.1-2_armel.deb) ...
Selecting previously unselected package libgnomeui-common.
Unpacking libgnomeui-common (from .../libgnomeui-common_2.24.5-2ubuntu2_all.deb) ...
Selecting previously unselected package libgnomeui-0:armel.
Unpacking libgnomeui-0:armel (from .../libgnomeui-0_2.24.5-2ubuntu2_armel.deb) ...
Selecting previously unselected package libhunspell-1.3-0:armel.
Unpacking libhunspell-1.3-0:armel (from .../libhunspell-1.3-0_1.3.2-4_armel.deb) ...
Selecting previously unselected package libpcrecpp0:armel.
Unpacking libpcrecpp0:armel (from .../libpcrecpp0_1%3a8.30-5_armel.deb) ...
Selecting previously unselected package libppl9:armel.
Unpacking libppl9:armel (from .../libppl9_0.11.2-6ubuntu3_armel.deb) ...
Selecting previously unselected package libpwl5:armel.
Unpacking libpwl5:armel (from .../libpwl5_0.11.2-6ubuntu3_armel.deb) ...
Selecting previously unselected package libppl-c4:armel.
Unpacking libppl-c4:armel (from .../libppl-c4_0.11.2-6ubuntu3_armel.deb) ...
Selecting previously unselected package librsvg2-2:armel.
Unpacking librsvg2-2:armel (from .../librsvg2-2_2.36.3-0ubuntu1_armel.deb) ...
Selecting previously unselected package file.
Unpacking file (from .../archives/file_5.11-2_armel.deb) ...
Selecting previously unselected package libtext-iconv-perl.
Unpacking libtext-iconv-perl (from .../libtext-iconv-perl_1.7-5_armel.deb) ...
Selecting previously unselected package bsdmainutils.
Unpacking bsdmainutils (from .../bsdmainutils_9.0.3ubuntu1_armel.deb) ...
Selecting previously unselected package gettext-base.
Unpacking gettext-base (from .../gettext-base_0.18.1.1-9ubuntu1_armel.deb) ...
Selecting previously unselected package libgirepository-1.0-1.
Unpacking libgirepository-1.0-1 (from .../libgirepository-1.0-1_1.33.10-1_armel.deb) ...
Selecting previously unselected package gir1.2-glib-2.0.
Unpacking gir1.2-glib-2.0 (from .../gir1.2-glib-2.0_1.33.10-1_armel.deb) ...
Selecting previously unselected package groff-base.
Unpacking groff-base (from .../groff-base_1.21-9_armel.deb) ...
Selecting previously unselected package man-db.
Unpacking man-db (from .../man-db_2.6.2-1_armel.deb) ...
Selecting previously unselected package libaspell15.
Unpacking libaspell15 (from .../libaspell15_0.60.7~20110707-1_armel.deb) ...
Selecting previously unselected package dictionaries-common.
Unpacking dictionaries-common (from .../dictionaries-common_1.12.10_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_armel.deb) ...
Selecting previously unselected package aspell-en.
Unpacking aspell-en (from .../aspell-en_7.1-0-1_all.deb) ...
Selecting previously unselected package m4.
Unpacking m4 (from .../archives/m4_1.4.16-3_armel.deb) ...
Selecting previously unselected package autoconf.
Unpacking autoconf (from .../autoconf_2.69-1ubuntu1_all.deb) ...
Selecting previously unselected package autotools-dev.
Unpacking autotools-dev (from .../autotools-dev_20120608.1_all.deb) ...
Selecting previously unselected package ocaml-base-nox.
Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-2ubuntu3_armel.deb) ...
Selecting previously unselected package libtinfo-dev:armel.
Unpacking libtinfo-dev:armel (from .../libtinfo-dev_5.9-10_armel.deb) ...
Selecting previously unselected package libncurses5-dev.
Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-10_armel.deb) ...
Selecting previously unselected package ocaml-interp.
Unpacking ocaml-interp (from .../ocaml-interp_3.12.1-2ubuntu3_armel.deb) ...
Selecting previously unselected package ocaml-nox.
Unpacking ocaml-nox (from .../ocaml-nox_3.12.1-2ubuntu3_armel.deb) ...
Selecting previously unselected package camlidl.
Unpacking camlidl (from .../camlidl_1.05-14_armel.deb) ...
Selecting previously unselected package camlp4.
Unpacking camlp4 (from .../camlp4_3.12.1-2ubuntu3_armel.deb) ...
Selecting previously unselected package coq-theories.
Unpacking coq-theories (from .../coq-theories_8.3.pl4+dfsg-2_all.deb) ...
Selecting previously unselected package emacsen-common.
Unpacking emacsen-common (from .../emacsen-common_2.0.3_all.deb) ...
Selecting previously unselected package libenchant1c2a.
Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-7_armel.deb) ...
Selecting previously unselected package libgtkspell0.
Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1ubuntu5_armel.deb) ...
Selecting previously unselected package liblablgtk2-ocaml.
Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.2+dfsg-3_armel.deb) ...
Selecting previously unselected package libcoq-ocaml.
Unpacking libcoq-ocaml (from .../libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb) ...
Selecting previously unselected package coq.
Unpacking coq (from .../coq_8.3.pl4+dfsg-2_armel.deb) ...
Selecting previously unselected package html2text.
Unpacking html2text (from .../html2text_1.3.2a-15_armel.deb) ...
Selecting previously unselected package gettext.
Unpacking gettext (from .../gettext_0.18.1.1-9ubuntu1_armel.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+nmu2ubuntu1_all.deb) ...
Selecting previously unselected package dh-apparmor.
Unpacking dh-apparmor (from .../dh-apparmor_2.8.0-0ubuntu2_all.deb) ...
Selecting previously unselected package debhelper.
Unpacking debhelper (from .../debhelper_9.20120608ubuntu1_all.deb) ...
Selecting previously unselected package gir1.2-atk-1.0.
Unpacking gir1.2-atk-1.0 (from .../gir1.2-atk-1.0_2.5.91-0ubuntu1_armel.deb) ...
Selecting previously unselected package gir1.2-freedesktop.
Unpacking gir1.2-freedesktop (from .../gir1.2-freedesktop_1.33.10-1_armel.deb) ...
Selecting previously unselected package gir1.2-gdkpixbuf-2.0.
Unpacking gir1.2-gdkpixbuf-2.0 (from .../gir1.2-gdkpixbuf-2.0_2.26.3-0ubuntu1_armel.deb) ...
Selecting previously unselected package gir1.2-pango-1.0.
Unpacking gir1.2-pango-1.0 (from .../gir1.2-pango-1.0_1.30.1-0ubuntu3_armel.deb) ...
Selecting previously unselected package gir1.2-gtk-2.0.
Unpacking gir1.2-gtk-2.0 (from .../gir1.2-gtk-2.0_2.24.12-0ubuntu1_armel.deb) ...
Selecting previously unselected package libapron.
Unpacking libapron (from .../libapron_0.9.10-5.2ubuntu3_armel.deb) ...
Selecting previously unselected package libgmp-dev.
Unpacking libgmp-dev (from .../libgmp-dev_2%3a5.0.2+dfsg-2ubuntu1_armel.deb) ...
Selecting previously unselected package libgmp3-dev.
Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a5.0.2+dfsg-2ubuntu1_armel.deb) ...
Selecting previously unselected package libmpfr-dev:armel.
Unpacking libmpfr-dev:armel (from .../libmpfr-dev_3.1.0-3ubuntu2_armel.deb) ...
Selecting previously unselected package libppl0.11-dev:armel.
Unpacking libppl0.11-dev:armel (from .../libppl0.11-dev_0.11.2-6ubuntu3_armel.deb) ...
Selecting previously unselected package libapron-dev.
Unpacking libapron-dev (from .../libapron-dev_0.9.10-5.2ubuntu3_all.deb) ...
Selecting previously unselected package libapron-ocaml.
Unpacking libapron-ocaml (from .../libapron-ocaml_0.9.10-5.2ubuntu3_armel.deb) ...
Selecting previously unselected package libapron-ocaml-dev.
Unpacking libapron-ocaml-dev (from .../libapron-ocaml-dev_0.9.10-5.2ubuntu3_armel.deb) ...
Selecting previously unselected package pkg-config.
Unpacking pkg-config (from .../pkg-config_0.26-1ubuntu1_armel.deb) ...
Selecting previously unselected package libpcre3-dev.
Unpacking libpcre3-dev (from .../libpcre3-dev_1%3a8.30-5_armel.deb) ...
Selecting previously unselected package zlib1g-dev:armel.
Unpacking zlib1g-dev:armel (from .../zlib1g-dev_1%3a1.2.7.dfsg-13_armel.deb) ...
Selecting previously unselected package libglib2.0-dev.
Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.33.12-3_armel.deb) ...
Selecting previously unselected package libatk1.0-dev.
Unpacking libatk1.0-dev (from .../libatk1.0-dev_2.5.91-0ubuntu1_armel.deb) ...
Selecting previously unselected package libexpat1-dev.
Unpacking libexpat1-dev (from .../libexpat1-dev_2.1.0-1_armel.deb) ...
Selecting previously unselected package libfreetype6-dev.
Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.4.10-0ubuntu1_armel.deb) ...
Selecting previously unselected package libfontconfig1-dev.
Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.10.1-0ubuntu3_armel.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:armel.
Unpacking libxau-dev:armel (from .../libxau-dev_1%3a1.0.7-1_armel.deb) ...
Selecting previously unselected package libxdmcp-dev:armel.
Unpacking libxdmcp-dev:armel (from .../libxdmcp-dev_1%3a1.1.1-1_armel.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-2_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:armel.
Unpacking libpthread-stubs0:armel (from .../libpthread-stubs0_0.3-3_armel.deb) ...
Selecting previously unselected package libpthread-stubs0-dev:armel.
Unpacking libpthread-stubs0-dev:armel (from .../libpthread-stubs0-dev_0.3-3_armel.deb) ...
Selecting previously unselected package libxcb1-dev:armel.
Unpacking libxcb1-dev:armel (from .../libxcb1-dev_1.8.1-1_armel.deb) ...
Selecting previously unselected package libx11-dev:armel.
Unpacking libx11-dev:armel (from .../libx11-dev_2%3a1.5.0-1_armel.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:armel.
Unpacking libxrender-dev:armel (from .../libxrender-dev_1%3a0.9.7-1_armel.deb) ...
Selecting previously unselected package libpng12-dev.
Unpacking libpng12-dev (from .../libpng12-dev_1.2.49-1ubuntu1_armel.deb) ...
Selecting previously unselected package libice-dev:armel.
Unpacking libice-dev:armel (from .../libice-dev_2%3a1.0.8-2_armel.deb) ...
Selecting previously unselected package libsm-dev:armel.
Unpacking libsm-dev:armel (from .../libsm-dev_2%3a1.2.1-2_armel.deb) ...
Selecting previously unselected package libpixman-1-dev.
Unpacking libpixman-1-dev (from .../libpixman-1-dev_0.26.0-3_armel.deb) ...
Selecting previously unselected package libxcb-render0-dev:armel.
Unpacking libxcb-render0-dev:armel (from .../libxcb-render0-dev_1.8.1-1_armel.deb) ...
Selecting previously unselected package libxcb-shm0-dev:armel.
Unpacking libxcb-shm0-dev:armel (from .../libxcb-shm0-dev_1.8.1-1_armel.deb) ...
Selecting previously unselected package libcairo2-dev.
Unpacking libcairo2-dev (from .../libcairo2-dev_1.12.2-1ubuntu1_armel.deb) ...
Selecting previously unselected package libenchant-dev.
Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-7_armel.deb) ...
Selecting previously unselected package libfloat-coq.
Unpacking libfloat-coq (from .../libfloat-coq_1%3a8.3pl1-4_all.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-dev.
Unpacking libgdk-pixbuf2.0-dev (from .../libgdk-pixbuf2.0-dev_2.26.3-0ubuntu1_armel.deb) ...
Selecting previously unselected package libxft-dev.
Unpacking libxft-dev (from .../libxft-dev_2.3.1-1_armel.deb) ...
Selecting previously unselected package libpango1.0-dev.
Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.30.1-0ubuntu3_armel.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:armel.
Unpacking libxext-dev:armel (from .../libxext-dev_2%3a1.3.1-2_armel.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:armel.
Unpacking libxinerama-dev:armel (from .../libxinerama-dev_2%3a1.1.2-1_armel.deb) ...
Selecting previously unselected package libxi-dev.
Unpacking libxi-dev (from .../libxi-dev_2%3a1.6.1-1_armel.deb) ...
Selecting previously unselected package x11proto-randr-dev.
Unpacking x11proto-randr-dev (from .../x11proto-randr-dev_1.4.0+git20120101.is.really.1.4.0-0ubuntu1_all.deb) ...
Selecting previously unselected package libxrandr-dev.
Unpacking libxrandr-dev (from .../libxrandr-dev_2%3a1.4.0-1_armel.deb) ...
Selecting previously unselected package x11proto-fixes-dev.
Unpacking x11proto-fixes-dev (from .../x11proto-fixes-dev_1%3a5.0-2ubuntu1_all.deb) ...
Selecting previously unselected package libxfixes-dev.
Unpacking libxfixes-dev (from .../libxfixes-dev_1%3a5.0-4ubuntu4_armel.deb) ...
Selecting previously unselected package libxcursor-dev:armel.
Unpacking libxcursor-dev:armel (from .../libxcursor-dev_1%3a1.1.13-1_armel.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-2build1_armel.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-2build1_armel.deb) ...
Selecting previously unselected package libxml2-utils.
Unpacking libxml2-utils (from .../libxml2-utils_2.8.0+dfsg1-5_armel.deb) ...
Selecting previously unselected package libgtk2.0-dev.
Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.24.12-0ubuntu1_armel.deb) ...
Selecting previously unselected package libxml2-dev:armel.
Unpacking libxml2-dev:armel (from .../libxml2-dev_2.8.0+dfsg1-5_armel.deb) ...
Selecting previously unselected package libglade2-dev:armel.
Unpacking libglade2-dev:armel (from .../libglade2-dev_1%3a2.6.4-1ubuntu2_armel.deb) ...
Selecting previously unselected package libgtksourceview2.0-common.
Unpacking libgtksourceview2.0-common (from .../libgtksourceview2.0-common_2.10.5-0ubuntu3_all.deb) ...
Selecting previously unselected package libgtksourceview2.0-0.
Unpacking libgtksourceview2.0-0 (from .../libgtksourceview2.0-0_2.10.5-0ubuntu3_armel.deb) ...
Selecting previously unselected package libgtkspell-dev.
Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1ubuntu5_armel.deb) ...
Selecting previously unselected package liblablgtk2-gnome-ocaml.
Unpacking liblablgtk2-gnome-ocaml (from .../liblablgtk2-gnome-ocaml_2.14.2+dfsg-3_armel.deb) ...
Selecting previously unselected package liblablgtk2-ocaml-dev.
Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.14.2+dfsg-3_armel.deb) ...
Selecting previously unselected package liblablgtksourceview2-ocaml.
Unpacking liblablgtksourceview2-ocaml (from .../liblablgtksourceview2-ocaml_2.14.2+dfsg-3_armel.deb) ...
Selecting previously unselected package libocamlgraph-ocaml-dev.
Unpacking libocamlgraph-ocaml-dev (from .../libocamlgraph-ocaml-dev_1.8.2-2_armel.deb) ...
Selecting previously unselected package ocaml-native-compilers.
Unpacking ocaml-native-compilers (from .../ocaml-native-compilers_3.12.1-2ubuntu3_armel.deb) ...
Selecting previously unselected package dh-ocaml.
Unpacking dh-ocaml (from .../dh-ocaml_1.0.5_all.deb) ...
Selecting previously unselected package frama-c-base.
Unpacking frama-c-base (from .../frama-c-base_20111001+nitrogen+dfsg-4_armel.deb) ...
Processing triggers for libglib2.0-0:armel ...
No schema files found: doing nothing.
Setting up libexpat1:armel (2.1.0-1) ...
Setting up libmagic1:armel (5.11-2) ...
Setting up libpopt0:armel (1.16-7ubuntu1) ...
Setting up libasprintf0c2:armel (0.18.1.1-9ubuntu1) ...
Setting up libdbus-glib-1-2:armel (0.100-1) ...
Setting up libelf1:armel (0.153-1ubuntu1) ...
Setting up libpipeline1:armel (1.2.1-1) ...
Setting up libxau6:armel (1:1.0.7-1) ...
Setting up libxdmcp6:armel (1:1.1.1-1) ...
Setting up libxcb1:armel (1.8.1-1) ...
Setting up libx11-data (2:1.5.0-1) ...
Setting up libx11-6:armel (2:1.5.0-1) ...
Setting up libxext6:armel (2:1.3.1-2) ...
Setting up ucf (3.0025+nmu3) ...
Setting up ttf-dejavu-core (2.33-2ubuntu1) ...
Setting up fontconfig-config (2.10.1-0ubuntu3) ...
Setting up libart-2.0-2:armel (2.3.21-2) ...
Setting up libasound2:armel (1.0.25-3ubuntu3) ...
Setting up libatk1.0-data (2.5.91-0ubuntu1) ...
Setting up libatk1.0-0:armel (2.5.91-0ubuntu1) ...
Setting up libavahi-common-data:armel (0.6.31-1ubuntu1) ...
Setting up libavahi-common3:armel (0.6.31-1ubuntu1) ...
Setting up libavahi-client3:armel (0.6.31-1ubuntu1) ...
Setting up libavahi-glib1:armel (0.6.31-1ubuntu1) ...
Setting up libbonobo2-common (2.32.1-0ubuntu2) ...
Setting up libidl-common (0.8.14-0.2ubuntu2) ...
Setting up libidl0:armel (0.8.14-0.2ubuntu2) ...
Setting up liborbit2:armel (1:2.14.19-0.1ubuntu1) ...
Setting up libxml2:armel (2.8.0+dfsg1-5) ...
Setting up libbonobo2-0:armel (2.32.1-0ubuntu2) ...
Setting up gconf2-common (3.2.5-0ubuntu3) ...

Creating config file /etc/gconf/2/path with new version
Setting up libgconf-2-4:armel (3.2.5-0ubuntu3) ...
Setting up libjpeg-turbo8:armel (1.1.90+svn733-0ubuntu6) ...
Setting up libjpeg8:armel (8c-2ubuntu7) ...
Setting up libjasper1:armel (1.900.1-13) ...
Setting up libjbig0:armel (2.0-2ubuntu1) ...
Setting up libtiff5:armel (4.0.2-1ubuntu2) ...
Setting up libgdk-pixbuf2.0-common (2.26.3-0ubuntu1) ...
Setting up libgdk-pixbuf2.0-0:armel (2.26.3-0ubuntu1) ...
Setting up libgtk2.0-common (2.24.12-0ubuntu1) ...
Setting up libfreetype6:armel (2.4.10-0ubuntu1) ...
Setting up libfontconfig1:armel (2.10.1-0ubuntu3) ...
Setting up libpixman-1-0:armel (0.26.0-3) ...
Setting up libxcb-render0:armel (1.8.1-1) ...
Setting up libxcb-shm0:armel (1.8.1-1) ...
Setting up libxrender1:armel (1:0.9.7-1) ...
Setting up libcairo2:armel (1.12.2-1ubuntu1) ...
Setting up libcups2:armel (1.6.1-0ubuntu5) ...
Setting up libthai-data (0.1.18-1) ...
Setting up libdatrie1:armel (0.2.5-3) ...
Setting up libthai0:armel (0.1.18-1) ...
Setting up libxft2:armel (2.3.1-1) ...
Setting up fontconfig (2.10.1-0ubuntu3) ...
Regenerating fonts cache... done.
Setting up libpango1.0-0:armel (1.30.1-0ubuntu3) ...
Setting up libxcomposite1:armel (1:0.4.3-2build1) ...
Setting up libxfixes3:armel (1:5.0-4ubuntu4) ...
Setting up libxcursor1:armel (1:1.1.13-1) ...
Setting up libxdamage1:armel (1:1.1.3-2build1) ...
Setting up libxi6:armel (2:1.6.1-1) ...
Setting up libxinerama1:armel (2:1.1.2-1) ...
Setting up libxrandr2:armel (2:1.4.0-1) ...
Setting up shared-mime-info (1.0-1ubuntu1) ...
Setting up libgtk2.0-0:armel (2.24.12-0ubuntu1) ...
Setting up libglade2-0:armel (1:2.6.4-1ubuntu2) ...
Setting up libltdl7:armel (2.4.2-1ubuntu1) ...
Setting up libtdb1:armel (1.2.10-2) ...
Setting up libogg0:armel (1.3.0-4) ...
Setting up libvorbis0a:armel (1.3.2-1.3) ...
Setting up libvorbisfile3:armel (1.3.2-1.3) ...
Setting up sound-theme-freedesktop (0.7.pristine-2) ...
Setting up libcanberra0:armel (0.29-0ubuntu2) ...
Setting up netbase (5.0ubuntu1) ...
Setting up dbus (1.6.4-1ubuntu1) ...
invoke-rc.d: policy-rc.d denied execution of start.
Setting up psmisc (22.19-1ubuntu1) ...
Setting up dbus-x11 (1.6.4-1ubuntu1) ...
Setting up mime-support (3.52-1ubuntu1) ...
update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode
Setting up python2.7 (2.7.3-5ubuntu1) ...
Setting up python (2.7.3-0ubuntu5) ...
Setting up libgail18:armel (2.24.12-0ubuntu1) ...
Setting up libgnomecanvas2-common (2.30.3-1ubuntu1) ...
Setting up libgnomecanvas2-0 (2.30.3-1ubuntu1) ...
Setting up libbonoboui2-common (2.24.5-0ubuntu2) ...
Setting up libcairo-gobject2:armel (1.12.2-1ubuntu1) ...
Setting up libcairo-script-interpreter2:armel (1.12.2-1ubuntu1) ...
Setting up libcroco3:armel (0.6.5-1) ...
Setting up libunistring0:armel (0.9.3-5) ...
Setting up libgettextpo0:armel (0.18.1.1-9ubuntu1) ...
Setting up libglib2.0-data (2.33.12-3) ...
Setting up libglib2.0-bin (2.33.12-3) ...
Setting up libgmpxx4ldbl:armel (2:5.0.2+dfsg-2ubuntu1) ...
Setting up libgnome-keyring-common (3.5.6-0ubuntu2) ...
Setting up libgnome-keyring0:armel (3.5.6-0ubuntu2) ...
Setting up x11-common (1:7.7+1ubuntu3) ...
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libice6:armel (2:1.0.8-2) ...
Setting up libsm6:armel (2:1.2.1-2) ...
Setting up libgnomeui-common (2.24.5-2ubuntu2) ...
Setting up libhunspell-1.3-0:armel (1.3.2-4) ...
Setting up libpcrecpp0:armel (1:8.30-5) ...
Setting up libppl9:armel (0.11.2-6ubuntu3) ...
Setting up libpwl5:armel (0.11.2-6ubuntu3) ...
Setting up libppl-c4:armel (0.11.2-6ubuntu3) ...
Setting up librsvg2-2:armel (2.36.3-0ubuntu1) ...
Setting up file (5.11-2) ...
Setting up libtext-iconv-perl (1.7-5) ...
Setting up bsdmainutils (9.0.3ubuntu1) ...
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 gettext-base (0.18.1.1-9ubuntu1) ...
Setting up libgirepository-1.0-1 (1.33.10-1) ...
Setting up gir1.2-glib-2.0 (1.33.10-1) ...
Setting up groff-base (1.21-9) ...
Setting up man-db (2.6.2-1) ...
Building database of manual pages ...
Setting up libaspell15 (0.60.7~20110707-1) ...
Setting up dictionaries-common (1.12.10) ...
Setting up m4 (1.4.16-3) ...
Setting up autoconf (2.69-1ubuntu1) ...
Setting up autotools-dev (20120608.1) ...
Setting up ocaml-base-nox (3.12.1-2ubuntu3) ...
Setting up libtinfo-dev:armel (5.9-10) ...
Setting up libncurses5-dev (5.9-10) ...
Setting up ocaml-interp (3.12.1-2ubuntu3) ...
Setting up ocaml-nox (3.12.1-2ubuntu3) ...
Setting up camlidl (1.05-14) ...
Setting up camlp4 (3.12.1-2ubuntu3) ...
Setting up emacsen-common (2.0.3) ...
Setting up html2text (1.3.2a-15) ...
Setting up gettext (0.18.1.1-9ubuntu1) ...
Setting up intltool-debian (0.35.0+20060710.1) ...
Setting up po-debconf (1.0.16+nmu2ubuntu1) ...
Setting up dh-apparmor (2.8.0-0ubuntu2) ...
Setting up debhelper (9.20120608ubuntu1) ...
Setting up gir1.2-atk-1.0 (2.5.91-0ubuntu1) ...
Setting up gir1.2-freedesktop (1.33.10-1) ...
Setting up gir1.2-gdkpixbuf-2.0 (2.26.3-0ubuntu1) ...
Setting up gir1.2-pango-1.0 (1.30.1-0ubuntu3) ...
Setting up gir1.2-gtk-2.0 (2.24.12-0ubuntu1) ...
Setting up libapron (0.9.10-5.2ubuntu3) ...
Setting up libgmp-dev (2:5.0.2+dfsg-2ubuntu1) ...
Setting up libgmp3-dev (2:5.0.2+dfsg-2ubuntu1) ...
Setting up libmpfr-dev:armel (3.1.0-3ubuntu2) ...
Setting up libppl0.11-dev:armel (0.11.2-6ubuntu3) ...
Setting up libapron-dev (0.9.10-5.2ubuntu3) ...
Setting up libapron-ocaml (0.9.10-5.2ubuntu3) ...
Setting up libapron-ocaml-dev (0.9.10-5.2ubuntu3) ...
Setting up pkg-config (0.26-1ubuntu1) ...
Setting up libpcre3-dev (1:8.30-5) ...
Setting up zlib1g-dev:armel (1:1.2.7.dfsg-13) ...
Setting up libglib2.0-dev (2.33.12-3) ...
Setting up libatk1.0-dev (2.5.91-0ubuntu1) ...
Setting up libexpat1-dev (2.1.0-1) ...
Setting up libfreetype6-dev (2.4.10-0ubuntu1) ...
Setting up libfontconfig1-dev (2.10.1-0ubuntu3) ...
Setting up xorg-sgml-doctools (1:1.10-1) ...
Setting up x11proto-core-dev (7.0.23-1) ...
Setting up libxau-dev:armel (1:1.0.7-1) ...
Setting up libxdmcp-dev:armel (1:1.1.1-1) ...
Setting up x11proto-input-dev (2.2-1) ...
Setting up x11proto-kb-dev (1.0.6-2) ...
Setting up xtrans-dev (1.2.7-1) ...
Setting up libpthread-stubs0:armel (0.3-3) ...
Setting up libpthread-stubs0-dev:armel (0.3-3) ...
Setting up libxcb1-dev:armel (1.8.1-1) ...
Setting up libx11-dev:armel (2:1.5.0-1) ...
Setting up x11proto-render-dev (2:0.11.1-2) ...
Setting up libxrender-dev:armel (1:0.9.7-1) ...
Setting up libpng12-dev (1.2.49-1ubuntu1) ...
Setting up libice-dev:armel (2:1.0.8-2) ...
Setting up libsm-dev:armel (2:1.2.1-2) ...
Setting up libpixman-1-dev (0.26.0-3) ...
Setting up libxcb-render0-dev:armel (1.8.1-1) ...
Setting up libxcb-shm0-dev:armel (1.8.1-1) ...
Setting up libcairo2-dev (1.12.2-1ubuntu1) ...
Setting up libgdk-pixbuf2.0-dev (2.26.3-0ubuntu1) ...
Setting up libxft-dev (2.3.1-1) ...
Setting up libpango1.0-dev (1.30.1-0ubuntu3) ...
Setting up x11proto-xext-dev (7.2.1-1) ...
Setting up libxext-dev:armel (2:1.3.1-2) ...
Setting up x11proto-xinerama-dev (1.2.1-2) ...
Setting up libxinerama-dev:armel (2:1.1.2-1) ...
Setting up libxi-dev (2:1.6.1-1) ...
Setting up x11proto-randr-dev (1.4.0+git20120101.is.really.1.4.0-0ubuntu1) ...
Setting up libxrandr-dev (2:1.4.0-1) ...
Setting up x11proto-fixes-dev (1:5.0-2ubuntu1) ...
Setting up libxfixes-dev (1:5.0-4ubuntu4) ...
Setting up libxcursor-dev:armel (1:1.1.13-1) ...
Setting up x11proto-composite-dev (1:0.4.2-2) ...
Setting up libxcomposite-dev (1:0.4.3-2build1) ...
Setting up x11proto-damage-dev (1:1.2.1-2) ...
Setting up libxdamage-dev (1:1.1.3-2build1) ...
Setting up libxml2-utils (2.8.0+dfsg1-5) ...
Setting up libgtk2.0-dev (2.24.12-0ubuntu1) ...
Setting up libxml2-dev:armel (2.8.0+dfsg1-5) ...
Setting up libglade2-dev:armel (1:2.6.4-1ubuntu2) ...
Setting up libgtksourceview2.0-common (2.10.5-0ubuntu3) ...
Setting up libgtksourceview2.0-0 (2.10.5-0ubuntu3) ...
Setting up libocamlgraph-ocaml-dev (1.8.2-2) ...
Setting up ocaml-native-compilers (3.12.1-2ubuntu3) ...
Setting up dh-ocaml (1.0.5) ...
Processing triggers for dictionaries-common ...
aspell-autobuildhash: processing: en [en-common]
aspell-autobuildhash: processing: en [en-variant_0]
aspell-autobuildhash: processing: en [en-variant_1]
aspell-autobuildhash: processing: en [en-variant_2]
aspell-autobuildhash: processing: en [en-w_accents-only]
aspell-autobuildhash: processing: en [en-wo_accents-only]
aspell-autobuildhash: processing: en [en_CA-variant_0]
aspell-autobuildhash: processing: en [en_CA-variant_1]
aspell-autobuildhash: processing: en [en_CA-w_accents-only]
aspell-autobuildhash: processing: en [en_CA-wo_accents-only]
aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only]
aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only]
aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only]
aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only]
aspell-autobuildhash: processing: en [en_GB-variant_0]
aspell-autobuildhash: processing: en [en_GB-variant_1]
aspell-autobuildhash: processing: en [en_US-w_accents-only]
aspell-autobuildhash: processing: en [en_US-wo_accents-only]
Setting up aspell (0.60.7~20110707-1) ...
Processing triggers for dictionaries-common ...
Setting up aspell-en (7.1-0-1) ...
Processing triggers for dictionaries-common ...
Setting up libenchant1c2a (1.6.0-7) ...
Setting up libgtkspell0 (2.0.16-1ubuntu5) ...
Setting up liblablgtk2-ocaml (2.14.2+dfsg-3) ...
Setting up libcoq-ocaml (8.3.pl4+dfsg-2) ...
Setting up libenchant-dev (1.6.0-7) ...
Setting up libgtkspell-dev (2.0.16-1ubuntu5) ...
Setting up liblablgtk2-ocaml-dev (2.14.2+dfsg-3) ...
Setting up liblablgtksourceview2-ocaml (2.14.2+dfsg-3) ...
Setting up coq-theories (8.3.pl4+dfsg-2) ...
Setting up coq (8.3.pl4+dfsg-2) ...
Install emacsen-common for emacs
Install coq for emacs
Setting up libfloat-coq (1:8.3pl1-4) ...
Setting up gconf-service-backend (3.2.5-0ubuntu3) ...
Setting up gconf-service (3.2.5-0ubuntu3) ...
Setting up gconf2 (3.2.5-0ubuntu3) ...
update-alternatives: using /usr/bin/gconftool-2 to provide /usr/bin/gconftool (gconftool) in auto mode
Setting up libgnomevfs2-common (1:2.24.4-1ubuntu3) ...
Setting up libgnomevfs2-0:armel (1:2.24.4-1ubuntu3) ...
Setting up libgnome2-common (2.32.1-2ubuntu3) ...
Setting up libgnome2-bin (2.32.1-2ubuntu3) ...
Setting up libgnome2-0:armel (2.32.1-2ubuntu3) ...
Setting up libbonoboui2-0:armel (2.24.5-0ubuntu2) ...
Setting up libgnomeui-0:armel (2.24.5-2ubuntu2) ...
Setting up liblablgtk2-gnome-ocaml (2.14.2+dfsg-3) ...
Setting up frama-c-base (20111001+nitrogen+dfsg-4) ...
Processing triggers for libc-bin ...
ldconfig deferred processing now taking place
Checking correctness of source dependencies...
Toolchain package versions: libc6-dev_2.15-0ubuntu18 make_3.81-8.2 dpkg-dev_1.16.7ubuntu3 gcc-4.7_4.7.1-8ubuntu1 g++-4.7_4.7.1-8ubuntu1 binutils_2.22.90.20120913-1ubuntu1 libstdc++6-4.7-dev_4.7.1-8ubuntu1 libstdc++6_4.7.1-8ubuntu1
------------------------------------------------------------------------------
dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::quilt
gpgv: Signature made Wed May 16 10:59:19 2012 UTC using RSA key ID 05465268
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./why_2.30+dfsg-5.dsc
dpkg-source: info: extracting why in why-2.30+dfsg
dpkg-source: info: unpacking why_2.30+dfsg.orig.tar.gz
dpkg-source: info: unpacking why_2.30+dfsg-5.debian.tar.gz
dpkg-source: info: applying 0001-Why-2.29-do-support-Coq-8.3.patch
dpkg-source: info: applying 0002-Mark-alt-ergo-0.93-as-compatible.patch
dpkg-source: info: applying 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch
dpkg-source: info: applying 0004-Default-to-why2-for-jessie-atp.patch
dpkg-source: info: applying 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch
dpkg-source: info: applying 0006-Fix-spelling-error-in-binary.patch
dpkg-source: info: applying 0007-Replace-caduceus-invocation-by-Frama-C.patch
dpkg-buildpackage: source package why
dpkg-buildpackage: source version 2.30+dfsg-5
 dpkg-source --before-build why-2.30+dfsg
dpkg-buildpackage: host architecture armel
 /usr/bin/fakeroot debian/rules clean
dh --with ocaml clean
   dh_testdir
   debian/rules override_dh_auto_clean
make[1]: Entering directory `/build/buildd/why-2.30+dfsg'
[ ! -f Makefile ] || sed -e 's/include .depend.*//g' Makefile > Makefile.debian
[ ! -f Makefile.debian ] || /usr/bin/make -f Makefile.debian clean
rm -f -f lib/coq/*.glob
make[1]: Leaving directory `/build/buildd/why-2.30+dfsg'
   dh_ocamlclean
	rm -f ocamlinit-stamp 
   dh_clean
	rm -f debian/why.substvars
	rm -f debian/why.*.debhelper
	rm -rf debian/why/
	rm -f debian/why-examples.substvars
	rm -f debian/why-examples.*.debhelper
	rm -rf debian/why-examples/
	rm -f debian/libwhy-coq.substvars
	rm -f debian/libwhy-coq.*.debhelper
	rm -rf debian/libwhy-coq/
	rm -f debian/*.debhelper.log
	rm -f -- Makefile Makefile.debian a.out bin/gwhy.opt bin/krakatoa.opt bin/simplify2why.opt bin/why-config.opt config.status config.log bench/bench config/check_ocamlgraph.cmi config/check_ocamlgraph.cmo config/check_ocamlgraph.cmx config/check_ocamlgraph.o doc/version.tex jc/jc.a jc/jc.cma jc/jc.cmxa lib/coq/WhyCoqCompat.vo lib/why/arrays_why.v lib/why/floats_why.v lib/why/prelude_why.v mix/mix_parser.output regtest.opt tools/simplify_parser.output tools/toolstat_pars.output
	rm -f debian/files
	find .  \( \( -type f -a \
	        \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \
		 -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \
		 -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \
		 -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \
		\) -exec rm -f {} \; \) -o \
		\( -type d -a -name autom4te.cache -prune -exec rm -rf {} \; \) \)
	rm -f *-stamp
 debian/rules build-arch
dh --with ocaml build-arch
   dh_testdir -a
   dh_ocamlinit -a
	touch ocamlinit-stamp
   debian/rules override_dh_auto_configure
make[1]: Entering directory `/build/buildd/why-2.30+dfsg'
autoconf
./configure \
	    --host=arm-linux-gnueabi \
	    --build=arm-linux-gnueabi \
	    --prefix=/usr \
	    --libdir=/usr/share \
	    --mandir=\${prefix}/share/man \
	    --infodir=\${prefix}/share/info \
	    --enable-apron=yes \
	    LDFLAGS="-Wl,-z,defs"
checking for ocamlc... ocamlc
ocaml version is 3.12.1
ocaml library path is /usr/lib/ocaml
checking OS dependent settings... Unix
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... ok
checking for ocamldep... ocamldep
checking for ocamldep.opt... ocamldep.opt
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
checking for /usr/lib/ocaml/ocamlgraph/graph.cmi... yes
checking for /usr/lib/ocaml/lablgtk2/lablgtk.cma... yes
checking for ocamlweb... true
checking for /usr/lib/ocaml/apron/apron.cmxa... yes
checking for frama-c... frama-c
checking Frama-c version... Nitrogen-20111001
checking for camlp4o... camlp4o
checking camlp4 version... ok
checking for coqc... coqc
checking for coqdep... coqdep
checking Coq version... 8.3pl4
checking Coq floating-point library... no
checking Coq legacy floating-point library... yes
checking for pvs... no
configure: WARNING: Cannot find PVS.
checking for mizf... no
configure: WARNING: Cannot find Mizar.
configure: creating ./config.status
config.status: creating Makefile
config.status: creating bench/bench

                 Summary
-----------------------------------------
OCaml version            : 3.12.1
OCaml library path       : /usr/lib/ocaml
OcamlGraph lib           :  in Ocaml lib, subdir ocamlgraph
Verbose make             : no
Inference of annotations : yes
    APRON lib            : -I +apron
Frama-C plugin           : yes
    Frama-C version      : Nitrogen-20111001
GWhy                     : yes
Coq support              : yes
    Version              : v8.1 (8.3pl4)
    Lib                  : /usr/lib/coq
    FP lib (Flocq)       : no (Coq library Flocq/Core/Fcore.vo not found)
    FP lib (Float)       : yes
PVS support              : no
Mizar support            : no
Other provers support    : at run-time (use why-config to configure)
make[1]: Leaving directory `/build/buildd/why-2.30+dfsg'
   dh_auto_build -a
	make -j1
make[1]: Entering directory `/build/buildd/why-2.30+dfsg'
BINDIR=/usr/bin LIBDIR=/usr/share COQVER=v8.1 ./version.sh
ocamllex.opt src/rc.mll
39 states, 1677 transitions, table size 6942 bytes
1933 additional bytes used for bindings
ocamllex.opt src/xml.mll
51 states, 1824 transitions, table size 7602 bytes
2541 additional bytes used for bindings
ocamllex.opt src/lexer.mll
100 states, 1298 transitions, table size 5792 bytes
4626 additional bytes used for bindings
ocamlyacc -v src/parser.mly
ocamllex.opt src/linenum.mll
15 states, 323 transitions, table size 1382 bytes
1194 additional bytes used for bindings
ocamllex.opt jc/numconst.mll
71 states, 764 transitions, table size 3482 bytes
rm -f jc/jc_stdlib.ml
case 3.12.1 in \
         3.0*|3.10*|3.11*) cp jc/jc_stdlib_lt312.ml jc/jc_stdlib.ml ;; \
         *) cp jc/jc_stdlib_ge312.ml jc/jc_stdlib.ml ;; \
        esac
chmod -w jc/jc_stdlib.ml
ocamllex.opt jc/jc_lexer.mll
499 states, 29420 transitions, table size 120674 bytes
11712 additional bytes used for bindings
ocamlyacc -v jc/jc_parser.mly
1 shift/reduce conflict.
if test "yes" = "yes" ; then \
	  echo "# 1 \"jc/jc_annot_inference.ml\"" > jc/jc_ai.ml; \
	  cat jc/jc_annot_inference.ml >> jc/jc_ai.ml; \
	else \
	  echo "# 1 \"jc/jc_annot_fail.ml\"" > jc/jc_ai.ml; \
	  cat jc/jc_annot_fail.ml >> jc/jc_ai.ml; \
	fi
ocamlyacc -v java/java_parser.mly
ocamllex.opt java/java_lexer.mll
149 states, 1616 transitions, table size 7358 bytes
3745 additional bytes used for bindings
ocamlyacc -v ml/parsing/parser.mly
ocamllex.opt ml/parsing/lexer.mll
172 states, 3313 transitions, table size 14284 bytes
2252 additional bytes used for bindings
ocamllex.opt ml/parsing/linenum.mll
12 states, 323 transitions, table size 1364 bytes
ocamllex.opt c/clexer.mll
317 states, 15579 transitions, table size 64218 bytes
3110 additional bytes used for bindings
ocamlyacc -v c/cparser.mly
1 shift/reduce conflict, 24 reduce/reduce conflicts.
ocamllex.opt c/cllexer.mll
276 states, 15549 transitions, table size 63852 bytes
ocamlyacc -v c/clparser.mly
ocamllex.opt c/cpp.mll
105 states, 331 transitions, table size 1954 bytes
ocamllex.opt c/cconst.mll
61 states, 574 transitions, table size 2662 bytes
ocamllex.opt intf/hilight.mll
43 states, 532 transitions, table size 2386 bytes
ocamllex.opt intf/whyhilight.mll
101 states, 6417 transitions, table size 26274 bytes
ocamllex.opt intf/tagsplit.mll
9 states, 495 transitions, table size 2034 bytes
ocamllex.opt intf/config.mll
14 states, 446 transitions, table size 1868 bytes
ocamllex.opt tools/why2html.mll
82 states, 2034 transitions, table size 8628 bytes
ocamllex.opt tools/cvcl_split.mll
18 states, 262 transitions, table size 1156 bytes
ocamllex.opt tools/simplify_split.mll
38 states, 429 transitions, table size 1944 bytes
ocamllex.opt tools/smtlib_split.mll
61 states, 455 transitions, table size 2186 bytes
ocamllex.opt tools/rv_split.mll
65 states, 376 transitions, table size 1894 bytes
ocamllex.opt tools/zenon_split.mll
37 states, 379 transitions, table size 1738 bytes
ocamllex.opt tools/ergo_split.mll
41 states, 2642 transitions, table size 10814 bytes
ocamllex.opt tools/simplify_lexer.mll
16 states, 364 transitions, table size 1552 bytes
ocamlyacc -v tools/simplify_parser.mly
ocamllex.opt tools/toolstat_lex.mll
223 states, 5431 transitions, table size 23062 bytes
11960 additional bytes used for bindings
ocamlyacc -v tools/toolstat_pars.mly
ocamllex.opt mix/mix_lexer.mll
65 states, 434 transitions, table size 2126 bytes
ocamlyacc -v mix/mix_parser.mly
rm -f .depend
ocamldep.opt -slash -I src -I jc -I c -I java -I intf -I tools -I mix -I ml src/*.ml src/*.mli jc/*.mli jc/*.ml c/*.mli c/*.ml java/*.mli java/*.ml intf/*.ml intf/*.mli tools/*.mli tools/*.ml mix/*.mli mix/*.ml ml/*.ml ml/*.mli > .depend
ocamldep.opt -slash -I ml/utils -I ml/parsing -I ml/typing ml/parsing/*.ml ml/parsing/*.mli ml/typing/*.ml ml/typing/*.mli ml/utils/*.ml ml/utils/*.mli >> .depend
make -C frama-c-plugin depend
make[2]: Entering directory `/build/buildd/why-2.30+dfsg/frama-c-plugin'
/usr/share/frama-c/Makefile.dynamic:269: .depend: No such file or directory
sh -c 'for f in "$@"; do if test -e $f; then chmod u+w $f; fi done' chmod_rw ./.depend
ocamldep.opt -slash  \
	    -I . -I "/usr/lib/frama-c"  \
	    jessie_config.ml jessie_options.ml integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \
	     \
              > ./.depend
touch Jessie_DEP
sh -c 'for f in "$@"; do if test -e $f; then chmod u+w $f; fi done' chmod_rw ./.depend
sh -c 'for f in "$@"; do if test -e $f; then chmod u+w $f; fi done' chmod_rw ./.depend
ocamldep.opt -slash  \
	    -I . -I "/usr/lib/frama-c"  \
	      jessie_config.ml jessie_options.ml integer.ml common.ml rewrite.ml norm.ml retype.ml interp.ml register.ml jessie_config.mli jessie_options.mli integer.mli common.mli rewrite.mli norm.mli retype.mli interp.mli register.mli Jessie.mli \
	     \
              > ./.depend
true ./.depend
make[2]: Leaving directory `/build/buildd/why-2.30+dfsg/frama-c-plugin'
make[1]: Leaving directory `/build/buildd/why-2.30+dfsg'
make[1]: Entering directory `/build/buildd/why-2.30+dfsg'
Ocamlc   src/lib.mli
Ocamlopt src/lib.ml
Ocamlc   src/rc.mli
Ocamlopt src/rc.ml
Ocamlc   tools/dpConfig.mli
Ocamlopt tools/dpConfig.ml
Ocamlopt src/version.ml
Ocamlc   src/ident.mli
Ocamlc   src/logic.mli
Ocamlc   src/loc.mli
Ocamlc   src/effect.mli
Ocamlc   src/types.mli
Ocamlc   src/cc.mli
Ocamlc   src/ptree.mli
Ocamlc   src/ast.mli
Ocamlc   src/env.mli
Ocamlc   src/logic_decl.mli
Ocamlc   src/project.mli
Ocamlc   src/options.mli
Ocamlopt src/options.ml
Ocamlc   src/linenum.mli
Ocamlopt src/linenum.ml
Ocamlopt src/loc.ml
Ocamlopt src/ident.ml
Ocamlopt src/print_real.ml
Ocamlopt src/effect.ml
Ocamlc   src/pp.mli
Ocamlopt src/pp.ml
Ocamlc   src/option_misc.mli
Ocamlopt src/option_misc.ml
Ocamlc   src/misc.mli
Ocamlopt src/misc.ml
Ocamlc   src/error.mli
Ocamlc   src/parser.mli
Ocamlopt src/parser.ml
Ocamlc   src/lexer.mli
Ocamlopt src/lexer.ml
Ocamlc   src/report.mli
Ocamlopt src/report.ml
Ocamlopt src/env.ml
Ocamlopt src/mapenv.ml
Ocamlc   src/rename.mli
Ocamlopt src/rename.ml
Ocamlc   src/explain.mli
Ocamlopt src/explain.ml
Ocamlc   src/util.mli
Ocamlopt src/util.ml
Ocamlc   src/ltyping.mli
Ocamlopt src/ltyping.ml
Ocamlc   src/typing.mli
Ocamlopt src/typing.ml
Ocamlc   src/wp.mli
Ocamlopt src/wp.ml
Ocamlc   src/fastwp.mli
Ocamlopt src/fastwp.ml
Ocamlc   src/monadSig.mli
Ocamlc   src/monad.mli
Ocamlopt src/monad.ml
Ocamlc   src/mlize.mli
Ocamlopt src/mlize.ml
Ocamlc   src/red.mli
Ocamlopt src/red.ml
Ocamlc   src/log.mli
Ocamlc   src/vcg.mli
Ocamlopt src/vcg.ml
Ocamlc   src/predDefExpansor.mli
Ocamlopt src/predDefExpansor.ml
Ocamlc   src/encoding_mono_inst.mli
Ocamlopt src/encoding_mono_inst.ml
Ocamlc   src/encoding_rec.mli
Ocamlopt src/encoding_rec.ml
Ocamlc   src/encoding_pred.mli
Ocamlopt src/encoding_pred.ml
Ocamlc   src/encoding_strat.mli
Ocamlopt src/encoding_strat.ml
Ocamlopt src/encoding_mono.ml
Ocamlc   src/monomorph.mli
Ocamlopt src/monomorph.ml
Ocamlc   src/encoding.mli
Ocamlopt src/encoding.ml
Ocamlc   src/pvs.mli
Ocamlopt src/pvs.ml
Ocamlc   src/hol4.mli
Ocamlopt src/hol4.ml
Ocamlc   src/gappa.mli
Ocamlopt src/gappa.ml
Ocamlc   src/holl.mli
Ocamlopt src/holl.ml
Ocamlc   src/harvey.mli
Ocamlopt src/harvey.ml
Ocamlc   src/simplify.mli
Ocamlopt src/simplify.ml
Ocamlc   src/regen.mli
Ocamlopt src/regen.ml
Ocamlc   src/mizar.mli
Ocamlopt src/mizar.ml
Ocamlc   src/smtlib.mli
Ocamlopt src/smtlib.ml
Ocamlc   src/coq.mli
Ocamlopt src/coq.ml
Ocamlc   src/zenon.mli
Ocamlopt src/zenon.ml
Ocamlc   src/z3.mli
Ocamlopt src/z3.ml
Ocamlc   src/cvcl.mli
Ocamlopt src/cvcl.ml
Ocamlc   tools/calldp.mli
Ocamlopt tools/calldp.ml
Ocamlc   src/xml.mli
Ocamlopt src/xml.ml
Ocamlopt src/project.ml
Ocamlc   src/why3.mli
Ocamlopt src/why3.ml
Ocamlc   src/pretty.mli
Ocamlopt src/pretty.ml
Ocamlopt src/unionfind.ml
Ocamlopt src/theoryreducer.ml
Ocamlopt src/theory_filtering.ml
Ocamlopt src/hypotheses_filtering.ml
Ocamlc   src/dispatcher.mli
Ocamlopt src/dispatcher.ml
Ocamlc   src/isabelle.mli
Ocamlopt src/isabelle.ml
Ocamlc   src/ocaml.mli
Ocamlopt src/ocaml.ml
Ocamlopt src/main.ml
Ocamlopt src/why.ml
Linking  bin/why.opt
strip bin/why.opt
Ocamlopt tools/whyConfig.ml
Linking  bin/why-config.opt
strip bin/why-config.opt
WHYLIB=lib bin/why.opt --no-pervasives -tc lib/why/prelude.why
for f in lib/why/bool.why lib/why/integer.why lib/why/divisions.why lib/why/real.why lib/why/arrays.why lib/why/jessie.why lib/why/jessie_bitvectors.why lib/why/mybag.why lib/why/mix.why lib/why/floats_common.why lib/why/floats_strict.why lib/why/floats_full.why lib/why/floats_multi_rounding.why  ; do \
		WHYLIB=lib bin/why.opt -tc $f; \
	done
make -C atp atp.cmx
make[2]: Entering directory `/build/buildd/why-2.30+dfsg/atp'
./Mk_ml_file lib.ml intro.ml formulas.ml prop.ml propexamples.ml defcnf.ml dp.ml fol.ml skolem.ml herbrand.ml qelim.ml cooper.ml fourier_motzkin.ml >atp.ml
ocamlopt -w ax -c atp.ml
make[2]: Leaving directory `/build/buildd/why-2.30+dfsg/atp'
Ocamlc   jc/output.mli
Ocamlopt jc/output.ml
Ocamlc   jc/jc_env.mli
Ocamlc   jc/jc_common_options.mli
Ocamlopt jc/jc_common_options.ml
Ocamlopt jc/jc_stdlib.ml
Ocamlc   jc/jc_stdlib.ml
Ocamlc   jc/jc_envset.mli
Ocamlopt jc/jc_envset.ml
Ocamlopt jc/jc_region.ml
Ocamlc   jc/jc_region.ml
Ocamlc   jc/jc_ast.mli
Ocamlopt jc/jc_fenv.ml
Ocamlc   jc/jc_fenv.ml
Ocamlc   jc/jc_constructors.mli
Ocamlopt jc/jc_constructors.ml
Ocamlc   jc/jc_pervasives.mli
Ocamlopt jc/jc_pervasives.ml
Ocamlc   jc/jc_iterators.mli
Ocamlopt jc/jc_iterators.ml
Ocamlc   jc/jc_type_var.mli
Ocamlopt jc/jc_type_var.ml
Ocamlopt jc/jc_output_misc.ml
Ocamlopt jc/jc_poutput.ml
Ocamlopt jc/jc_output.ml
Ocamlopt jc/jc_noutput.ml
Ocamlc   jc/jc_options.mli
Ocamlopt jc/jc_options.ml
Ocamlopt jc/jc_name.ml
Ocamlc   jc/jc_struct_tools.mli
Ocamlopt jc/jc_struct_tools.ml
Ocamlc   jc/jc_norm.mli
Ocamlopt jc/jc_norm.ml
Ocamlc   jc/jc_typing.mli
Ocamlopt jc/jc_typing.ml
Ocamlc   jc/numconst.mli
Ocamlopt jc/numconst.ml
Ocamlc   jc/jc_parser.mli
Ocamlopt jc/jc_parser.ml
Ocamlc   jc/jc_lexer.mli
Ocamlopt jc/jc_lexer.ml
Ocamlopt jc/jc_separation.ml
Ocamlc   jc/jc_callgraph.mli
Ocamlopt jc/jc_callgraph.ml
Ocamlopt jc/jc_effect.ml
Ocamlc   jc/jc_ai.mli
Ocamlopt jc/jc_ai.ml
Ocamlc   jc/jc_interp_misc.mli
Ocamlopt jc/jc_interp_misc.ml
Ocamlopt jc/jc_invariants.ml
Ocamlopt jc/jc_pattern.ml
Ocamlopt jc/jc_frame_notin.ml
Ocamlc   jc/jc_interp.mli
Ocamlopt jc/jc_interp.ml
Ocamlc   jc/jc_frame.mli
Ocamlopt jc/jc_frame.ml
Ocamlopt jc/jc_make.ml
Ocamlopt jc/jc_main.ml
Linking  bin/jessie.opt
strip    bin/jessie.opt
Ocamlc   java/java_env.mli
Ocamlopt java/java_options.ml
Ocamlc   java/java_ast.mli
Ocamlc   java/java_tast.mli
Ocamlopt java/java_pervasives.ml
Ocamlopt java/java_abstract.ml
Ocamlc   java/java_parser.mli
Ocamlopt java/java_parser.ml
Ocamlopt java/java_lexer.ml
Ocamlopt java/java_syntax.ml
Ocamlc   java/java_typing.mli
Ocamlopt java/java_typing.ml
Ocamlc   java/java_callgraph.mli
Ocamlopt java/java_callgraph.ml
Ocamlopt java/java_analysis.ml
Ocamlopt java/java_interp.ml
Ocamlopt java/java_main.ml
Linking  bin/krakatoa.opt
strip    bin/krakatoa.opt
coqc -R lib/coq Why lib/coq/WhyInt.v
coqc -R lib/coq Why lib/coq/WhyArrays.v
coqc -R lib/coq Why lib/coq/WhyBool.v
coqc -R lib/coq Why lib/coq/WhyTuples.v
coqc -R lib/coq Why lib/coq/WhyPermut.v
coqc -R lib/coq Why lib/coq/WhyCoqCompat.v
coqc -R lib/coq Why lib/coq/WhySorted.v
coqc -R lib/coq Why lib/coq/WhyExn.v
coqc -R lib/coq Why lib/coq/WhyLemmas.v
coqc -R lib/coq Why lib/coq/WhyTactics.v
coqc -R lib/coq Why lib/coq/WhyPrelude.v
coqc -R lib/coq Why lib/coq/WhyCM.v
coqc -R lib/coq Why lib/coq/Why.v
coqc -R lib/coq Why lib/coq/WhyReal.v
WHYLIB=lib bin/why.opt --dir lib/coq --coq-v8 -coq-preamble \
        "Require Export Reals. Require Export Why." \
        --no-coq-use-dp lib/why/jessie.why
coqc -R lib/coq Why lib/coq/jessie_why.v
coqc -R lib/coq Why lib/coq/WhyFloatsStrictLegacy.v
File "/build/buildd/why-2.30+dfsg/lib/coq/WhyFloatsStrictLegacy.v", line 5, characters 0-24:
Error: Compiled library Float.AllFloat.vo makes inconsistent assumptions over
library Coq.Init.Tactics
make[1]: *** [lib/coq/WhyFloatsStrictLegacy.vo] Error 1
make[1]: Leaving directory `/build/buildd/why-2.30+dfsg'
dh_auto_build: make -j1 returned exit code 2
make: *** [build-arch] Error 2
dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2
******************************************************************************
Build finished at 20120914-0158
FAILED [dpkg-buildpackage died]
******************************************************************************
Finished at 20120914-0158
Build needed 00:04:08, 84008k disk space
RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '82aa2af97d749ec7e224b360eddfbac3a0b2736b']
Scanning for processes to kill in build /home/buildd/build-82aa2af97d749ec7e224b360eddfbac3a0b2736b/chroot-autobuild...
RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '82aa2af97d749ec7e224b360eddfbac3a0b2736b']
Unmounting chroot for build 82aa2af97d749ec7e224b360eddfbac3a0b2736b...
RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '82aa2af97d749ec7e224b360eddfbac3a0b2736b']
Removing build 82aa2af97d749ec7e224b360eddfbac3a0b2736b