Package: src:matita
Version: 0.99.1-3
Severity: serious
Dear Maintainer,
Your package fails to build from source. Here is an excerpt from the
build
log:
OCAMLOPT nCic.ml
File "nCic.ml", line 142, characters 11-460:
Error: This class type should be virtual.
The following variables are undefined : ppterm ppsubst ppobj
ppmetasenv ppcontext
../Makefile.common:102: recipe for target 'nCic.cmx' failed
make[3]: *** [nCic.cmx] Error 2
A full build log is attached.
Regards,
--
Mehdi -> Copying COW directory
forking: rm -rf /var/cache/pbuilder/build//cow.12549
forking: cp -al /var/cache/pbuilder/cows/unstable-amd64/
/var/cache/pbuilder/build//cow.12549
I: removed stale ilistfile /var/cache/pbuilder/build//cow.12549/.ilist
forking: chroot /var/cache/pbuilder/build//cow.12549 cowdancer-ilistcreate
/.ilist find . -xdev -path ./home -prune -o \( \( -type l -o -type f \) -a
-links +1 -print0 \) | xargs -0 stat --format '%d %i '
-> Invoking pbuilder
forking: pbuilder build --buildplace /var/cache/pbuilder/build//cow.12549
--buildresult /var/cache/pbuilder/result/unstable-amd64 --debbuildopts
--no-targz --internal-chrootexec chroot /var/cache/pbuilder/build//cow.12549
cow-shell /tmp/tmp.xoIxvDvlsS/matita_0.99.1-3.dsc
I: Running in no-targz mode
I: using fakeroot in build.
I: pbuilder: network access will be disabled during build
I: Current time: Sun Oct 18 22:53:33 CEST 2015
I: pbuilder-time-stamp: 1445201613
I: copying local configuration
I: mounting /proc filesystem
I: mounting /run/shm filesystem
I: mounting /dev/pts filesystem
I: Mounting /var/cache/pbuilder/result/
I: policy-rc.d already exists
I: Obtaining the cached apt archive contents
I: Installing the build-deps
W: execute priv not set on file D09custompool, not executing.
I: user script /var/cache/pbuilder/build/cow.12549/tmp/hooks/D10aptupdate
starting
Get:1 http://incoming.debian.org buildd-unstable InRelease [111 kB]
Get:2 http://incoming.debian.org buildd-unstable/main amd64 Packages [128 kB]
Get:3 http://http.debian.net unstable InRelease [250 kB]
Get:4 http://incoming.debian.org buildd-unstable/contrib amd64 Packages [500 B]
Get:5 http://incoming.debian.org buildd-unstable/non-free amd64 Packages [1828
B]
Get:6 http://incoming.debian.org buildd-unstable/contrib Translation-en [402 B]
Get:7 http://incoming.debian.org buildd-unstable/main Translation-en [109 kB]
Get:8 http://http.debian.net unstable/main amd64 Packages/DiffIndex [7876 B]
Get:9 http://incoming.debian.org buildd-unstable/non-free Translation-en [2546
B]
Get:10 http://http.debian.net unstable/main Translation-en/DiffIndex [7876 B]
Get:11 http://http.debian.net unstable/main amd64 2015-10-18-1440.19.pdiff
[13.4 kB]
Get:12 http://http.debian.net unstable/main amd64 2015-10-18-1440.19.pdiff
[13.4 kB]
Get:13 http://http.debian.net unstable/main 2015-10-18-1440.19.pdiff [2025 B]
Get:14 http://http.debian.net unstable/main 2015-10-18-1440.19.pdiff [2025 B]
Fetched 635 kB in 3s (191 kB/s)
Reading package lists... Done
I: user script /var/cache/pbuilder/build/cow.12549/tmp/hooks/D10aptupdate
finished
I: user script /var/cache/pbuilder/build/cow.12549/tmp/hooks/D11unsafeio
starting
Setting force-unsafe-io for dpkg
I: user script /var/cache/pbuilder/build/cow.12549/tmp/hooks/D11unsafeio
finished
W: execute priv not set on file D12aptupgrade, not executing.
-> Attempting to satisfy build-dependencies
-> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
Version: 0.invalid.0
Architecture: amd64
Maintainer: Debian Pbuilder Team <pbuilder-ma...@lists.alioth.debian.org>
Description: Dummy package to satisfy dependencies with aptitude - created by
pbuilder
This package was created automatically by pbuilder to satisfy the
build-dependencies of the package being currently built.
Depends: ocaml (>= 3.10.2), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev,
liblablgtk2-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev,
libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper (>=
8), camlp5 (>= 5.04), liblablgtksourceview2-ocaml-dev, autoconf, help2man
dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in
'/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'.
Selecting previously unselected package pbuilder-satisfydepends-dummy.
(Reading database ... 12072 files and directories currently installed.)
Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ...
Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ...
dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring
anyway as you requested:
pbuilder-satisfydepends-dummy depends on ocaml (>= 3.10.2); however:
Package ocaml is not installed.
pbuilder-satisfydepends-dummy depends on ocaml-findlib (>= 1.2.1-2); however:
Package ocaml-findlib is not installed.
pbuilder-satisfydepends-dummy depends on libgdome2-ocaml-dev; however:
Package libgdome2-ocaml-dev is not installed.
pbuilder-satisfydepends-dummy depends on liblablgtk2-ocaml-dev; however:
Package liblablgtk2-ocaml-dev is not installed.
pbuilder-satisfydepends-dummy depends on libocamlnet-ocaml-dev; however:
Package libocamlnet-ocaml-dev is not installed.
pbuilder-satisfydepends-dummy depends on libzip-ocaml-dev; however:
Package libzip-ocaml-dev is not installed.
pbuilder-satisfydepends-dummy depends on libhttp-ocaml-dev; however:
Package libhttp-ocaml-dev is not installed.
pbuilder-satisfydepends-dummy depends on ocaml-ulex08 (>= 0.8-4); however:
Package ocaml-ulex08 is not i
Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ...
pbuilder-satisfydepends-dummy is already installed at the requested version
(0.invalid.0)
pbuilder-satisfydepends-dummy is already installed at the requested version
(0.invalid.0)
The following NEW packages will be installed:
aspell{a} aspell-en{a} autoconf{a} bsdmainutils{a} camlp5{a} debhelper{a}
dh-strip-nondeterminism{a} dictionaries-common{a} emacsen-common{a}
file{a} fontconfig{a} fontconfig-config{a} fonts-dejavu-core{a} gettext{a}
gettext-base{a} gir1.2-atk-1.0{a} gir1.2-freedesktop{a}
gir1.2-gdkpixbuf-2.0{a} gir1.2-glib-2.0{a} gir1.2-gtk-2.0{a}
gir1.2-pango-1.0{a} groff-base{a} help2man{a} icu-devtools{a}
intltool-debian{a}
libarchive-zip-perl{a} libaspell15{a} libatk1.0-0{a} libatk1.0-data{a}
libatk1.0-dev{a} libavahi-client3{a} libavahi-common-data{a}
libavahi-common3{a} libcairo-gobject2{a} libcairo-script-interpreter2{a}
libcairo2{a} libcairo2-dev{a} libcroco3{a} libcups2{a} libdatrie1{a}
libdbus-1-3{a} libelf1{a} libenchant-dev{a} libenchant1c2a{a}
libexpat-ocaml{a} libexpat-ocaml-dev{a} libexpat1{a} libexpat1-dev{a}
libffi6{a}
libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfontconfig1{a}
libfontconfig1-dev{a} libfreetype6{a} libfreetype6-dev{a}
libgdk-pixbuf2.0-0{a} libgdk-pixbuf2.0-common{a} libgdk-pixbuf2.0-dev{a}
libgdome2-0{a} libgdome2-dev{a} libgdome2-ocaml{a}
libgdome2-ocaml-dev{a} libgirepository-1.0-1{a} libglade2-0{a}
libglade2-dev{a} libglib2.0-0{a} libglib2.0-bin{a} libglib2.0-data{a}
libglib2.0-dev{a} libgnutls-deb0-28{a} libgraphite2-3{a} libgssapi-krb5-2{a}
libgtk2.0-0{a} libgtk2.0-common{a} libgtk2.0-dev{a}
libgtksourceview2.0-0{a} libgtksourceview2.0-common{a}
libgtksourceview2.0-dev{a} libgtkspell-dev{a} libgtkspell0{a}
libharfbuzz-dev{a}
libharfbuzz-gobject0{a} libharfbuzz-icu0{a} libharfbuzz0b{a} libhogweed4{a}
libhttp-ocaml-dev{a} libhunspell-1.3-0{a} libice-dev{a} libice6{a}
libicu-dev{a} libicu55{a} libjbig0{a} libjpeg62-turbo{a} libk5crypto3{a}
libkeyutils1{a} libkrb5-3{a} libkrb5support0{a} liblablgtk2-ocaml{a}
liblablgtk2-ocaml-dev{a} liblablgtksourceview2-ocaml{a}
liblablgtksourceview2-ocaml-dev{a} liblzo2-2{a} libmagic1{a} libncurses5-dev{a}
libnettle6{a} libocamlnet-ocaml{a} libocamlnet-ocaml-dev{a} libp11-kit0{a}
libpango-1.0-0{a} libpango1.0-dev{a} libpangocairo-1.0-0{a}
libpangoft2-1.0-0{a} libpangoxft-1.0-0{a} libpcre-ocaml{a}
libpcre-ocaml-dev{a} libpcre16-3{a} libpcre3-dev{a} libpcre32-3{a}
libpcrecpp0v5{a}
libpipeline1{a} libpixman-1-0{a} libpixman-1-dev{a} libpng12-0{a}
libpng12-dev{a} libpthread-stubs0-dev{a} libpython-stdlib{a}
libpython2.7-minimal{a} libpython2.7-stdlib{a} libsigsegv2{a} libsm-dev{a}
libsm6{a} libssl1.0.0{a} libtasn1-6{a} libthai-data{a} libthai0{a}
libtiff5{a} libtimedate-perl{a} libtinfo-dev{a} libunistring0{a} libx11-6{a}
libx11-data{a} libx11-dev{a} libxau-dev{a} libxau6{a}
libxcb-render0{a} libxcb-render0-dev{a} libxcb-shm0{a} libxcb-shm0-dev{a}
libxcb1{a} libxcb1-dev{a} libxcomposite-dev{a} libxcomposite1{a}
libxcursor-dev{a} libxcursor1{a} libxdamage-dev{a} libxdamage1{a}
libxdmcp-dev{a} libxdmcp6{a} libxext-dev{a} libxext6{a} libxfixes-dev{a}
libxfixes3{a} libxft-dev{a} libxft2{a} libxi-dev{a} libxi6{a}
libxinerama-dev{a} libxinerama1{a} libxml2{a} libxml2-dev{a} libxml2-utils{a}
libxrandr-dev{a} libxrandr2{a} libxrender-dev{a} libxrender1{a}
libzip-ocaml{a} libzip-ocaml-dev{a} m4{a} man-db{a} mime-support{a} ocaml{a}
ocaml-base{a} ocaml-base-nox{a} ocaml-compiler-libs{a} ocaml-findlib{a}
ocaml-interp{a} ocaml-nox{a} ocaml-ulex08{a} pkg-config{a}
po-debconf{a} python{a} python-minimal{a} python2.7{a} python2.7-minimal{a}
shared-mime-info{a} ucf{a} x11-common{a} x11proto-composite-dev{a}
x11proto-core-dev{a} x11proto-damage-dev{a} x11proto-fixes-dev{a}
x11proto-input-dev{a} x11proto-kb-dev{a} x11proto-randr-dev{a}
x11proto-render-dev{a} x11proto-xext-dev{a} x11proto-xinerama-dev{a}
xorg-sgml-doctools{a} xtrans-dev{a} zlib1g-dev{a}
The following packages are RECOMMENDED but will NOT be installed:
automake automake1.11 camlp4 curl dbus enchant hicolor-icon-theme hunspell-af
hunspell-an hunspell-ar hunspell-be hunspell-bg hunspell-bn
hunspell-br hunspell-bs hunspell-ca hunspell-cs hunspell-da hunspell-de-at
hunspell-de-at-frami hunspell-de-ch hunspell-de-ch-frami
hunspell-de-de hunspell-de-de-frami hunspell-el hunspell-en-au hunspell-en-ca
hunspell-en-gb hunspell-en-us hunspell-en-za hunspell-es
hunspell-eu hunspell-fr hunspell-fr-classical hunspell-fr-comprehensive
hunspell-fr-modern hunspell-fr-revised hunspell-gd hunspell-gl
hunspell-gl-es hunspell-gu hunspell-he hunspell-hi hunspell-hr hunspell-hu
hunspell-is hunspell-it hunspell-kk hunspell-kmr hunspell-ko
hunspell-lo hunspell-lt hunspell-ne hunspell-nl hunspell-no hunspell-oc
hunspell-pl hunspell-pt-br hunspell-pt-pt hunspell-ro hunspell-ru
hunspell-se hunspell-sh hunspell-si hunspell-sk hunspell-sl hunspell-sr
hunspell-sv hunspell-sv-se hunspell-sw hunspell-te hunspell-th
hunspell-uk hunspell-uz hunspell-vi krb5-locales ledit libfindlib-ocaml-dev
libgtk2.0-bin liblablgtk2-ocaml-doc libmail-sendmail-perl
libnethttpd-ocaml-dev libocamlnet-ocaml-doc libx11-doc lynx-cur myspell-af
myspell-bg myspell-ca myspell-cs myspell-da myspell-de-at
myspell-de-ch myspell-de-de myspell-de-de-oldspell myspell-en-au
myspell-en-gb myspell-en-us myspell-en-za myspell-eo myspell-es myspell-et
myspell-fa myspell-fo myspell-fr myspell-fr-gut myspell-ga myspell-gd
myspell-gv myspell-he myspell-hr myspell-hu myspell-hy myspell-it
myspell-ku myspell-lt myspell-lv myspell-nb myspell-nl myspell-nn myspell-pl
myspell-pt-br myspell-pt-pt myspell-ru myspell-sk myspell-sw
myspell-th myspell-tl myspell-uk rlfe rlwrap wget xdg-user-dirs xml-core
0 packages upgraded, 210 newly installed, 0 to remove and 1 not upgraded.
Need to get 0 B/109 MB of archives. After unpacking 480 MB will be used.
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package groff-base.
(Reading database ... 12072 files and directories currently installed.)
Preparing to unpack .../groff-base_1.22.3-1_amd64.deb ...
Unpacking groff-base (1.22.3-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../bsdmainutils_9.0.6_amd64.deb ...
Unpacking bsdmainutils (9.0.6) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../libpipeline1_1.4.1-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.4.1-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../man-db_2.7.4-1_amd64.deb ...
Unpacking man-db (2.7.4-1) ...
Selecting previously unselected package libpython2.7-minimal:amd64.
Preparing to unpack .../libpython2.7-minimal_2.7.10-5_amd64.deb ...
Unpacking libpython2.7-minimal:amd64 (2.7.10-5) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../python2.7-minimal_2.7.10-5_amd64.deb ...
Unpacking python2.7-minimal (2.7.10-5) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../python-minimal_2.7.9-1_amd64.deb ...
Unpacking python-minimal (2.7.9-1) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../mime-support_3.59_all.deb ...
Unpacking mime-support (3.59) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../libexpat1_2.1.0-7_amd64.deb ...
Unpacking libexpat1:amd64 (2.1.0-7) ...
Selecting previously unselected package libffi6:amd64.
Preparing to unpack .../libffi6_3.2.1-3_amd64.deb ...
Unpacking libffi6:amd64 (3.2.1-3) ...
Selecting previously unselected package libssl1.0.0:amd64.
Preparing to unpack .../libssl1.0.0_1.0.2d-1_amd64.deb ...
Unpacking libssl1.0.0:amd64 (1.0.2d-1) ...
Selecting previously unselected package libpython2.7-stdlib:amd64.
Preparing to unpack .../libpython2.7-stdlib_2.7.10-5_amd64.deb ...
Unpacking libpython2.7-stdlib:amd64 (2.7.10-5) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../python2.7_2.7.10-5_amd64.deb ...
Unpacking python2.7 (2.7.10-5) ...
Selecting previously unselected package libpython-stdlib:amd64.
Preparing to unpack .../libpython-stdlib_2.7.9-1_amd64.deb ...
Unpacking libpython-stdlib:amd64 (2.7.9-1) ...
Setting up libpython2.7-minimal:amd64 (2.7.10-5) ...
Setting up python2.7-minimal (2.7.10-5) ...
Setting up python-minimal (2.7.9-1) ...
Selecting previously unselected package python.
(Reading database ... 13429 files and directories currently installed.)
Preparing to unpack .../python_2.7.9-1_amd64.deb ...
Unpacking python (2.7.9-1) ...
Selecting previously unselected package libpng12-0:amd64.
Preparing to unpack .../libpng12-0_1.2.50-2+b2_amd64.deb ...
Unpacking libpng12-0:amd64 (1.2.50-2+b2) ...
Selecting previously unselected package libfreetype6:amd64.
Preparing to unpack .../libfreetype6_2.6-2_amd64.deb ...
Unpacking libfreetype6:amd64 (2.6-2) ...
Selecting previously unselected package ucf.
Preparing to unpack .../archives/ucf_3.0030_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0030) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../fonts-dejavu-core_2.35-1_all.deb ...
Unpacking fonts-dejavu-core (2.35-1) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../fontconfig-config_2.11.0-6.3_all.deb ...
Unpacking fontconfig-config (2.11.0-6.3) ...
Selecting previously unselected package libfontconfig1:amd64.
Preparing to unpack .../libfontconfig1_2.11.0-6.3_amd64.deb ...
Unpacking libfontconfig1:amd64 (2.11.0-6.3) ...
Selecting previously unselected package fontconfig.
Preparing to unpack .../fontconfig_2.11.0-6.3_amd64.deb ...
Unpacking fontconfig (2.11.0-6.3) ...
Selecting previously unselected package libaspell15:amd64.
Preparing to unpack .../libaspell15_0.60.7~20110707-3_amd64.deb ...
Unpacking libaspell15:amd64 (0.60.7~20110707-3) ...
Selecting previously unselected package libavahi-common-data:amd64.
Preparing to unpack .../libavahi-common-data_0.6.31-5_amd64.deb ...
Unpacking libavahi-common-data:amd64 (0.6.31-5) ...
Selecting previously unselected package libavahi-common3:amd64.
Preparing to unpack .../libavahi-common3_0.6.31-5_amd64.deb ...
Unpacking libavahi-common3:amd64 (0.6.31-5) ...
Selecting previously unselected package libdbus-1-3:amd64.
Preparing to unpack .../libdbus-1-3_1.10.0-3_amd64.deb ...
Unpacking libdbus-1-3:amd64 (1.10.0-3) ...
Selecting previously unselected package libavahi-client3:amd64.
Preparing to unpack .../libavahi-client3_0.6.31-5_amd64.deb ...
Unpacking libavahi-client3:amd64 (0.6.31-5) ...
Selecting previously unselected package libglib2.0-0:amd64.
Preparing to unpack .../libglib2.0-0_2.46.1-1_amd64.deb ...
Unpacking libglib2.0-0:amd64 (2.46.1-1) ...
Selecting previously unselected package libicu55:amd64.
Preparing to unpack .../libicu55_55.1-5_amd64.deb ...
Unpacking libicu55:amd64 (55.1-5) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../libxml2_2.9.2+zdfsg1-4_amd64.deb ...
Unpacking libxml2:amd64 (2.9.2+zdfsg1-4) ...
Selecting previously unselected package libcroco3:amd64.
Preparing to unpack .../libcroco3_0.6.8-3+b1_amd64.deb ...
Unpacking libcroco3:amd64 (0.6.8-3+b1) ...
Selecting previously unselected package emacsen-common.
Preparing to unpack .../emacsen-common_2.0.8_all.deb ...
Unpacking emacsen-common (2.0.8) ...
Selecting previously unselected package dictionaries-common.
Preparing to unpack .../dictionaries-common_1.26.3_all.deb ...
Adding 'diversion of /usr/share/dict/words to
/usr/share/dict/words.pre-dictionaries-common by dictionaries-common'
Unpacking dictionaries-common (1.26.3) ...
Selecting previously unselected package aspell.
Preparing to unpack .../aspell_0.60.7~20110707-3_amd64.deb ...
Unpacking aspell (0.60.7~20110707-3) ...
Selecting previously unselected package aspell-en.
Preparing to unpack .../aspell-en_7.1-0-1.1_all.deb ...
Unpacking aspell-en (7.1-0-1.1) ...
Selecting previously unselected package libhunspell-1.3-0:amd64.
Preparing to unpack .../libhunspell-1.3-0_1.3.3-3+b1_amd64.deb ...
Unpacking libhunspell-1.3-0:amd64 (1.3.3-3+b1) ...
Selecting previously unselected package libenchant1c2a:amd64.
Preparing to unpack .../libenchant1c2a_1.6.0-10.1_amd64.deb ...
Unpacking libenchant1c2a:amd64 (1.6.0-10.1) ...
Selecting previously unselected package libatk1.0-data.
Preparing to unpack .../libatk1.0-data_2.18.0-1_all.deb ...
Unpacking libatk1.0-data (2.18.0-1) ...
Selecting previously unselected package libatk1.0-0:amd64.
Preparing to unpack .../libatk1.0-0_2.18.0-1_amd64.deb ...
Unpacking libatk1.0-0:amd64 (2.18.0-1) ...
Selecting previously unselected package libpixman-1-0:amd64.
Preparing to unpack .../libpixman-1-0_0.33.2-2_amd64.deb ...
Unpacking libpixman-1-0:amd64 (0.33.2-2) ...
Selecting previously unselected package libxau6:amd64.
Preparing to unpack .../libxau6_1%3a1.0.8-1_amd64.deb ...
Unpacking libxau6:amd64 (1:1.0.8-1) ...
Selecting previously unselected package libxdmcp6:amd64.
Preparing to unpack .../libxdmcp6_1%3a1.1.2-1_amd64.deb ...
Unpacking libxdmcp6:amd64 (1:1.1.2-1) ...
Selecting previously unselected package libxcb1:amd64.
Preparing to unpack .../libxcb1_1.10-3+b1_amd64.deb ...
Unpacking libxcb1:amd64 (1.10-3+b1) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../libx11-data_2%3a1.6.3-1_all.deb ...
Unpacking libx11-data (2:1.6.3-1) ...
Selecting previously unselected package libx11-6:amd64.
Preparing to unpack .../libx11-6_2%3a1.6.3-1_amd64.deb ...
Unpacking libx11-6:amd64 (2:1.6.3-1) ...
Selecting previously unselected package libxcb-render0:amd64.
Preparing to unpack .../libxcb-render0_1.10-3+b1_amd64.deb ...
Unpacking libxcb-render0:amd64 (1.10-3+b1) ...
Selecting previously unselected package libxcb-shm0:amd64.
Preparing to unpack .../libxcb-shm0_1.10-3+b1_amd64.deb ...
Unpacking libxcb-shm0:amd64 (1.10-3+b1) ...
Selecting previously unselected package libxext6:amd64.
Preparing to unpack .../libxext6_2%3a1.3.3-1_amd64.deb ...
Unpacking libxext6:amd64 (2:1.3.3-1) ...
Selecting previously unselected package libxrender1:amd64.
Preparing to unpack .../libxrender1_1%3a0.9.8-1+b1_amd64.deb ...
Unpacking libxrender1:amd64 (1:0.9.8-1+b1) ...
Selecting previously unselected package libcairo2:amd64.
Preparing to unpack .../libcairo2_1.14.2-2_amd64.deb ...
Unpacking libcairo2:amd64 (1.14.2-2) ...
Selecting previously unselected package libjpeg62-turbo:amd64.
Preparing to unpack .../libjpeg62-turbo_1%3a1.4.1-2_amd64.deb ...
Unpacking libjpeg62-turbo:amd64 (1:1.4.1-2) ...
Selecting previously unselected package libjbig0:amd64.
Preparing to unpack .../libjbig0_2.1-3.1_amd64.deb ...
Unpacking libjbig0:amd64 (2.1-3.1) ...
Selecting previously unselected package libtiff5:amd64.
Preparing to unpack .../libtiff5_4.0.5-1_amd64.deb ...
Unpacking libtiff5:amd64 (4.0.5-1) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Preparing to unpack .../libgdk-pixbuf2.0-common_2.32.1-1_all.deb ...
Unpacking libgdk-pixbuf2.0-common (2.32.1-1) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:amd64.
Preparing to unpack .../libgdk-pixbuf2.0-0_2.32.1-1_amd64.deb ...
Unpacking libgdk-pixbuf2.0-0:amd64 (2.32.1-1) ...
Selecting previously unselected package libgtk2.0-common.
Preparing to unpack .../libgtk2.0-common_2.24.28-1_all.deb ...
Unpacking libgtk2.0-common (2.24.28-1) ...
Selecting previously unselected package libnettle6:amd64.
Preparing to unpack .../libnettle6_3.1.1-4_amd64.deb ...
Unpacking libnettle6:amd64 (3.1.1-4) ...
Selecting previously unselected package libhogweed4:amd64.
Preparing to unpack .../libhogweed4_3.1.1-4_amd64.deb ...
Unpacking libhogweed4:amd64 (3.1.1-4) ...
Selecting previously unselected package libp11-kit0:amd64.
Preparing to unpack .../libp11-kit0_0.23.1-3_amd64.deb ...
Unpacking libp11-kit0:amd64 (0.23.1-3) ...
Selecting previously unselected package libtasn1-6:amd64.
Preparing to unpack .../libtasn1-6_4.7-2_amd64.deb ...
Unpacking libtasn1-6:amd64 (4.7-2) ...
Selecting previously unselected package libgnutls-deb0-28:amd64.
Preparing to unpack .../libgnutls-deb0-28_3.3.18-1_amd64.deb ...
Unpacking libgnutls-deb0-28:amd64 (3.3.18-1) ...
Selecting previously unselected package libkeyutils1:amd64.
Preparing to unpack .../libkeyutils1_1.5.9-8_amd64.deb ...
Unpacking libkeyutils1:amd64 (1.5.9-8) ...
Selecting previously unselected package libkrb5support0:amd64.
Preparing to unpack .../libkrb5support0_1.13.2+dfsg-2_amd64.deb ...
Unpacking libkrb5support0:amd64 (1.13.2+dfsg-2) ...
Selecting previously unselected package libk5crypto3:amd64.
Preparing to unpack .../libk5crypto3_1.13.2+dfsg-2_amd64.deb ...
Unpacking libk5crypto3:amd64 (1.13.2+dfsg-2) ...
Selecting previously unselected package libkrb5-3:amd64.
Preparing to unpack .../libkrb5-3_1.13.2+dfsg-2_amd64.deb ...
Unpacking libkrb5-3:amd64 (1.13.2+dfsg-2) ...
Selecting previously unselected package libgssapi-krb5-2:amd64.
Preparing to unpack .../libgssapi-krb5-2_1.13.2+dfsg-2_amd64.deb ...
Unpacking libgssapi-krb5-2:amd64 (1.13.2+dfsg-2) ...
Selecting previously unselected package libcups2:amd64.
Preparing to unpack .../libcups2_2.1.0-4_amd64.deb ...
Unpacking libcups2:amd64 (2.1.0-4) ...
Selecting previously unselected package libthai-data.
Preparing to unpack .../libthai-data_0.1.22-2_all.deb ...
Unpacking libthai-data (0.1.22-2) ...
Selecting previously unselected package libdatrie1:amd64.
Preparing to unpack .../libdatrie1_0.2.9-3_amd64.deb ...
Unpacking libdatrie1:amd64 (0.2.9-3) ...
Selecting previously unselected package libthai0:amd64.
Preparing to unpack .../libthai0_0.1.22-2_amd64.deb ...
Unpacking libthai0:amd64 (0.1.22-2) ...
Selecting previously unselected package libpango-1.0-0:amd64.
Preparing to unpack .../libpango-1.0-0_1.38.0-3_amd64.deb ...
Unpacking libpango-1.0-0:amd64 (1.38.0-3) ...
Selecting previously unselected package libgraphite2-3:amd64.
Preparing to unpack .../libgraphite2-3_1.3.3-1_amd64.deb ...
Unpacking libgraphite2-3:amd64 (1.3.3-1) ...
Selecting previously unselected package libharfbuzz0b:amd64.
Preparing to unpack .../libharfbuzz0b_1.0.1-1+b1_amd64.deb ...
Unpacking libharfbuzz0b:amd64 (1.0.1-1+b1) ...
Selecting previously unselected package libpangoft2-1.0-0:amd64.
Preparing to unpack .../libpangoft2-1.0-0_1.38.0-3_amd64.deb ...
Unpacking libpangoft2-1.0-0:amd64 (1.38.0-3) ...
Selecting previously unselected package libpangocairo-1.0-0:amd64.
Preparing to unpack .../libpangocairo-1.0-0_1.38.0-3_amd64.deb ...
Unpacking libpangocairo-1.0-0:amd64 (1.38.0-3) ...
Selecting previously unselected package libxcomposite1:amd64.
Preparing to unpack .../libxcomposite1_1%3a0.4.4-1_amd64.deb ...
Unpacking libxcomposite1:amd64 (1:0.4.4-1) ...
Selecting previously unselected package libxfixes3:amd64.
Preparing to unpack .../libxfixes3_1%3a5.0.1-2+b2_amd64.deb ...
Unpacking libxfixes3:amd64 (1:5.0.1-2+b2) ...
Selecting previously unselected package libxcursor1:amd64.
Preparing to unpack .../libxcursor1_1%3a1.1.14-1+b1_amd64.deb ...
Unpacking libxcursor1:amd64 (1:1.1.14-1+b1) ...
Selecting previously unselected package libxdamage1:amd64.
Preparing to unpack .../libxdamage1_1%3a1.1.4-2+b1_amd64.deb ...
Unpacking libxdamage1:amd64 (1:1.1.4-2+b1) ...
Selecting previously unselected package libxi6:amd64.
Preparing to unpack .../libxi6_2%3a1.7.5-1_amd64.deb ...
Unpacking libxi6:amd64 (2:1.7.5-1) ...
Selecting previously unselected package libxinerama1:amd64.
Preparing to unpack .../libxinerama1_2%3a1.1.3-1+b1_amd64.deb ...
Unpacking libxinerama1:amd64 (2:1.1.3-1+b1) ...
Selecting previously unselected package libxrandr2:amd64.
Preparing to unpack .../libxrandr2_2%3a1.5.0-1_amd64.deb ...
Unpacking libxrandr2:amd64 (2:1.5.0-1) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../shared-mime-info_1.5-2_amd64.deb ...
Unpacking shared-mime-info (1.5-2) ...
Selecting previously unselected package libgtk2.0-0:amd64.
Preparing to unpack .../libgtk2.0-0_2.24.28-1_amd64.deb ...
Unpacking libgtk2.0-0:amd64 (2.24.28-1) ...
Selecting previously unselected package libglade2-0:amd64.
Preparing to unpack .../libglade2-0_1%3a2.6.4-2_amd64.deb ...
Unpacking libglade2-0:amd64 (1:2.6.4-2) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../x11-common_1%3a7.7+12_all.deb ...
Unpacking x11-common (1:7.7+12) ...
Selecting previously unselected package libice6:amd64.
Preparing to unpack .../libice6_2%3a1.0.9-1+b1_amd64.deb ...
Unpacking libice6:amd64 (2:1.0.9-1+b1) ...
Selecting previously unselected package liblzo2-2:amd64.
Preparing to unpack .../liblzo2-2_2.08-1.2_amd64.deb ...
Unpacking liblzo2-2:amd64 (2.08-1.2) ...
Selecting previously unselected package libpcrecpp0v5:amd64.
Preparing to unpack .../libpcrecpp0v5_2%3a8.35-7.2_amd64.deb ...
Unpacking libpcrecpp0v5:amd64 (2:8.35-7.2) ...
Selecting previously unselected package libsigsegv2:amd64.
Preparing to unpack .../libsigsegv2_2.10-4+b1_amd64.deb ...
Unpacking libsigsegv2:amd64 (2.10-4+b1) ...
Selecting previously unselected package libsm6:amd64.
Preparing to unpack .../libsm6_2%3a1.2.2-1+b1_amd64.deb ...
Unpacking libsm6:amd64 (2:1.2.2-1+b1) ...
Selecting previously unselected package libunistring0:amd64.
Preparing to unpack .../libunistring0_0.9.3-5.2+b1_amd64.deb ...
Unpacking libunistring0:amd64 (0.9.3-5.2+b1) ...
Selecting previously unselected package libxft2:amd64.
Preparing to unpack .../libxft2_2.3.2-1_amd64.deb ...
Unpacking libxft2:amd64 (2.3.2-1) ...
Selecting previously unselected package libmagic1:amd64.
Preparing to unpack .../libmagic1_1%3a5.25-2_amd64.deb ...
Unpacking libmagic1:amd64 (1:5.25-2) ...
Selecting previously unselected package file.
Preparing to unpack .../file_1%3a5.25-2_amd64.deb ...
Unpacking file (1:5.25-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../gettext-base_0.19.6-1_amd64.deb ...
Unpacking gettext-base (0.19.6-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../archives/m4_1.4.17-4_amd64.deb ...
Unpacking m4 (1.4.17-4) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../autoconf_2.69-9_all.deb ...
Unpacking autoconf (2.69-9) ...
Selecting previously unselected package gettext.
Preparing to unpack .../gettext_0.19.6-1_amd64.deb ...
Unpacking gettext (0.19.6-1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../intltool-debian_0.35.0+20060710.4_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.4) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../po-debconf_1.0.18_all.deb ...
Unpacking po-debconf (1.0.18) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../libarchive-zip-perl_1.53-1_all.deb ...
Unpacking libarchive-zip-perl (1.53-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../libfile-stripnondeterminism-perl_0.013-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.013-1) ...
Selecting previously unselected package libtimedate-perl.
Preparing to unpack .../libtimedate-perl_2.3000-2_all.deb ...
Unpacking libtimedate-perl (2.3000-2) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../dh-strip-nondeterminism_0.013-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.013-1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../debhelper_9.20151005_all.deb ...
Unpacking debhelper (9.20151005) ...
Selecting previously unselected package libgirepository-1.0-1:amd64.
Preparing to unpack .../libgirepository-1.0-1_1.46.0-1_amd64.deb ...
Unpacking libgirepository-1.0-1:amd64 (1.46.0-1) ...
Selecting previously unselected package gir1.2-glib-2.0:amd64.
Preparing to unpack .../gir1.2-glib-2.0_1.46.0-1_amd64.deb ...
Unpacking gir1.2-glib-2.0:amd64 (1.46.0-1) ...
Selecting previously unselected package gir1.2-atk-1.0.
Preparing to unpack .../gir1.2-atk-1.0_2.18.0-1_amd64.deb ...
Unpacking gir1.2-atk-1.0 (2.18.0-1) ...
Selecting previously unselected package libcairo-gobject2:amd64.
Preparing to unpack .../libcairo-gobject2_1.14.2-2_amd64.deb ...
Unpacking libcairo-gobject2:amd64 (1.14.2-2) ...
Selecting previously unselected package gir1.2-freedesktop:amd64.
Preparing to unpack .../gir1.2-freedesktop_1.46.0-1_amd64.deb ...
Unpacking gir1.2-freedesktop:amd64 (1.46.0-1) ...
Selecting previously unselected package gir1.2-gdkpixbuf-2.0:amd64.
Preparing to unpack .../gir1.2-gdkpixbuf-2.0_2.32.1-1_amd64.deb ...
Unpacking gir1.2-gdkpixbuf-2.0:amd64 (2.32.1-1) ...
Selecting previously unselected package libpangoxft-1.0-0:amd64.
Preparing to unpack .../libpangoxft-1.0-0_1.38.0-3_amd64.deb ...
Unpacking libpangoxft-1.0-0:amd64 (1.38.0-3) ...
Selecting previously unselected package gir1.2-pango-1.0:amd64.
Preparing to unpack .../gir1.2-pango-1.0_1.38.0-3_amd64.deb ...
Unpacking gir1.2-pango-1.0:amd64 (1.38.0-3) ...
Selecting previously unselected package gir1.2-gtk-2.0.
Preparing to unpack .../gir1.2-gtk-2.0_2.24.28-1_amd64.deb ...
Unpacking gir1.2-gtk-2.0 (2.24.28-1) ...
Selecting previously unselected package help2man.
Preparing to unpack .../help2man_1.47.2_amd64.deb ...
Unpacking help2man (1.47.2) ...
Selecting previously unselected package icu-devtools.
Preparing to unpack .../icu-devtools_55.1-5_amd64.deb ...
Unpacking icu-devtools (55.1-5) ...
Selecting previously unselected package pkg-config.
Preparing to unpack .../pkg-config_0.28-1_amd64.deb ...
Unpacking pkg-config (0.28-1) ...
Selecting previously unselected package libelf1:amd64.
Preparing to unpack .../libelf1_0.163-5.1_amd64.deb ...
Unpacking libelf1:amd64 (0.163-5.1) ...
Selecting previously unselected package libglib2.0-data.
Preparing to unpack .../libglib2.0-data_2.46.1-1_all.deb ...
Unpacking libglib2.0-data (2.46.1-1) ...
Selecting previously unselected package libglib2.0-bin.
Preparing to unpack .../libglib2.0-bin_2.46.1-1_amd64.deb ...
Unpacking libglib2.0-bin (2.46.1-1) ...
Selecting previously unselected package libpcre16-3:amd64.
Preparing to unpack .../libpcre16-3_2%3a8.35-7.2_amd64.deb ...
Unpacking libpcre16-3:amd64 (2:8.35-7.2) ...
Selecting previously unselected package libpcre32-3:amd64.
Preparing to unpack .../libpcre32-3_2%3a8.35-7.2_amd64.deb ...
Unpacking libpcre32-3:amd64 (2:8.35-7.2) ...
Selecting previously unselected package libpcre3-dev:amd64.
Preparing to unpack .../libpcre3-dev_2%3a8.35-7.2_amd64.deb ...
Unpacking libpcre3-dev:amd64 (2:8.35-7.2) ...
Selecting previously unselected package zlib1g-dev:amd64.
Preparing to unpack .../zlib1g-dev_1%3a1.2.8.dfsg-2+b1_amd64.deb ...
Unpacking zlib1g-dev:amd64 (1:1.2.8.dfsg-2+b1) ...
Selecting previously unselected package libglib2.0-dev.
Preparing to unpack .../libglib2.0-dev_2.46.1-1_amd64.deb ...
Unpacking libglib2.0-dev (2.46.1-1) ...
Selecting previously unselected package libatk1.0-dev.
Preparing to unpack .../libatk1.0-dev_2.18.0-1_amd64.deb ...
Unpacking libatk1.0-dev (2.18.0-1) ...
Selecting previously unselected package libcairo-script-interpreter2:amd64.
Preparing to unpack .../libcairo-script-interpreter2_1.14.2-2_amd64.deb ...
Unpacking libcairo-script-interpreter2:amd64 (1.14.2-2) ...
Selecting previously unselected package libexpat1-dev:amd64.
Preparing to unpack .../libexpat1-dev_2.1.0-7_amd64.deb ...
Unpacking libexpat1-dev:amd64 (2.1.0-7) ...
Selecting previously unselected package libpng12-dev:amd64.
Preparing to unpack .../libpng12-dev_1.2.50-2+b2_amd64.deb ...
Unpacking libpng12-dev:amd64 (1.2.50-2+b2) ...
Selecting previously unselected package libfreetype6-dev.
Preparing to unpack .../libfreetype6-dev_2.6-2_amd64.deb ...
Unpacking libfreetype6-dev (2.6-2) ...
Selecting previously unselected package libfontconfig1-dev:amd64.
Preparing to unpack .../libfontconfig1-dev_2.11.0-6.3_amd64.deb ...
Unpacking libfontconfig1-dev:amd64 (2.11.0-6.3) ...
Selecting previously unselected package xorg-sgml-doctools.
Preparing to unpack .../xorg-sgml-doctools_1%3a1.11-1_all.deb ...
Unpacking xorg-sgml-doctools (1:1.11-1) ...
Selecting previously unselected package x11proto-core-dev.
Preparing to unpack .../x11proto-core-dev_7.0.27-1_all.deb ...
Unpacking x11proto-core-dev (7.0.27-1) ...
Selecting previously unselected package libxau-dev:amd64.
Preparing to unpack .../libxau-dev_1%3a1.0.8-1_amd64.deb ...
Unpacking libxau-dev:amd64 (1:1.0.8-1) ...
Selecting previously unselected package libxdmcp-dev:amd64.
Preparing to unpack .../libxdmcp-dev_1%3a1.1.2-1_amd64.deb ...
Unpacking libxdmcp-dev:amd64 (1:1.1.2-1) ...
Selecting previously unselected package x11proto-input-dev.
Preparing to unpack .../x11proto-input-dev_2.3.1-1_all.deb ...
Unpacking x11proto-input-dev (2.3.1-1) ...
Selecting previously unselected package x11proto-kb-dev.
Preparing to unpack .../x11proto-kb-dev_1.0.6-2_all.deb ...
Unpacking x11proto-kb-dev (1.0.6-2) ...
Selecting previously unselected package xtrans-dev.
Preparing to unpack .../xtrans-dev_1.3.5-1_all.deb ...
Unpacking xtrans-dev (1.3.5-1) ...
Selecting previously unselected package libpthread-stubs0-dev:amd64.
Preparing to unpack .../libpthread-stubs0-dev_0.3-4_amd64.deb ...
Unpacking libpthread-stubs0-dev:amd64 (0.3-4) ...
Selecting previously unselected package libxcb1-dev:amd64.
Preparing to unpack .../libxcb1-dev_1.10-3+b1_amd64.deb ...
Unpacking libxcb1-dev:amd64 (1.10-3+b1) ...
Selecting previously unselected package libx11-dev:amd64.
Preparing to unpack .../libx11-dev_2%3a1.6.3-1_amd64.deb ...
Unpacking libx11-dev:amd64 (2:1.6.3-1) ...
Selecting previously unselected package x11proto-render-dev.
Preparing to unpack .../x11proto-render-dev_2%3a0.11.1-2_all.deb ...
Unpacking x11proto-render-dev (2:0.11.1-2) ...
Selecting previously unselected package libxrender-dev:amd64.
Preparing to unpack .../libxrender-dev_1%3a0.9.8-1+b1_amd64.deb ...
Unpacking libxrender-dev:amd64 (1:0.9.8-1+b1) ...
Selecting previously unselected package x11proto-xext-dev.
Preparing to unpack .../x11proto-xext-dev_7.3.0-1_all.deb ...
Unpacking x11proto-xext-dev (7.3.0-1) ...
Selecting previously unselected package libxext-dev:amd64.
Preparing to unpack .../libxext-dev_2%3a1.3.3-1_amd64.deb ...
Unpacking libxext-dev:amd64 (2:1.3.3-1) ...
Selecting previously unselected package libice-dev:amd64.
Preparing to unpack .../libice-dev_2%3a1.0.9-1+b1_amd64.deb ...
Unpacking libice-dev:amd64 (2:1.0.9-1+b1) ...
Selecting previously unselected package libsm-dev:amd64.
Preparing to unpack .../libsm-dev_2%3a1.2.2-1+b1_amd64.deb ...
Unpacking libsm-dev:amd64 (2:1.2.2-1+b1) ...
Selecting previously unselected package libpixman-1-dev.
Preparing to unpack .../libpixman-1-dev_0.33.2-2_amd64.deb ...
Unpacking libpixman-1-dev (0.33.2-2) ...
Selecting previously unselected package libxcb-render0-dev:amd64.
Preparing to unpack .../libxcb-render0-dev_1.10-3+b1_amd64.deb ...
Unpacking libxcb-render0-dev:amd64 (1.10-3+b1) ...
Selecting previously unselected package libxcb-shm0-dev:amd64.
Preparing to unpack .../libxcb-shm0-dev_1.10-3+b1_amd64.deb ...
Unpacking libxcb-shm0-dev:amd64 (1.10-3+b1) ...
Selecting previously unselected package libcairo2-dev.
Preparing to unpack .../libcairo2-dev_1.14.2-2_amd64.deb ...
Unpacking libcairo2-dev (1.14.2-2) ...
Selecting previously unselected package libenchant-dev.
Preparing to unpack .../libenchant-dev_1.6.0-10.1_amd64.deb ...
Unpacking libenchant-dev (1.6.0-10.1) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../ocaml-base-nox_4.02.3-3_amd64.deb ...
Unpacking ocaml-base-nox (4.02.3-3) ...
Selecting previously unselected package libexpat-ocaml.
Preparing to unpack .../libexpat-ocaml_0.9.1+debian1-7+b4_amd64.deb ...
Unpacking libexpat-ocaml (0.9.1+debian1-7+b4) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../libfindlib-ocaml_1.5.5-2_amd64.deb ...
Unpacking libfindlib-ocaml (1.5.5-2) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../ocaml-findlib_1.5.5-2_amd64.deb ...
Unpacking ocaml-findlib (1.5.5-2) ...
Selecting previously unselected package libtinfo-dev:amd64.
Preparing to unpack .../libtinfo-dev_6.0+20150810-1_amd64.deb ...
Unpacking libtinfo-dev:amd64 (6.0+20150810-1) ...
Selecting previously unselected package libncurses5-dev:amd64.
Preparing to unpack .../libncurses5-dev_6.0+20150810-1_amd64.deb ...
Unpacking libncurses5-dev:amd64 (6.0+20150810-1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../ocaml-compiler-libs_4.02.3-3_amd64.deb ...
Unpacking ocaml-compiler-libs (4.02.3-3) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../ocaml-interp_4.02.3-3_amd64.deb ...
Unpacking ocaml-interp (4.02.3-3) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../ocaml-nox_4.02.3-3_amd64.deb ...
Unpacking ocaml-nox (4.02.3-3) ...
Selecting previously unselected package libexpat-ocaml-dev.
Preparing to unpack .../libexpat-ocaml-dev_0.9.1+debian1-7+b4_amd64.deb ...
Unpacking libexpat-ocaml-dev (0.9.1+debian1-7+b4) ...
Selecting previously unselected package libgdk-pixbuf2.0-dev.
Preparing to unpack .../libgdk-pixbuf2.0-dev_2.32.1-1_amd64.deb ...
Unpacking libgdk-pixbuf2.0-dev (2.32.1-1) ...
Selecting previously unselected package libgdome2-0.
Preparing to unpack .../libgdome2-0_0.8.1+debian-6_amd64.deb ...
Unpacking libgdome2-0 (0.8.1+debian-6) ...
Selecting previously unselected package libicu-dev:amd64.
Preparing to unpack .../libicu-dev_55.1-5_amd64.deb ...
Unpacking libicu-dev:amd64 (55.1-5) ...
Selecting previously unselected package libxml2-dev:amd64.
Preparing to unpack .../libxml2-dev_2.9.2+zdfsg1-4_amd64.deb ...
Unpacking libxml2-dev:amd64 (2.9.2+zdfsg1-4) ...
Selecting previously unselected package libgdome2-dev.
Preparing to unpack .../libgdome2-dev_0.8.1+debian-6_amd64.deb ...
Unpacking libgdome2-dev (0.8.1+debian-6) ...
Selecting previously unselected package libgdome2-ocaml.
Preparing to unpack .../libgdome2-ocaml_0.2.6-6.2+b1_amd64.deb ...
Unpacking libgdome2-ocaml (0.2.6-6.2+b1) ...
Selecting previously unselected package libgdome2-ocaml-dev.
Preparing to unpack .../libgdome2-ocaml-dev_0.2.6-6.2+b1_amd64.deb ...
Unpacking libgdome2-ocaml-dev (0.2.6-6.2+b1) ...
Selecting previously unselected package libharfbuzz-icu0:amd64.
Preparing to unpack .../libharfbuzz-icu0_1.0.1-1+b1_amd64.deb ...
Unpacking libharfbuzz-icu0:amd64 (1.0.1-1+b1) ...
Selecting previously unselected package libharfbuzz-gobject0:amd64.
Preparing to unpack .../libharfbuzz-gobject0_1.0.1-1+b1_amd64.deb ...
Unpacking libharfbuzz-gobject0:amd64 (1.0.1-1+b1) ...
Selecting previously unselected package libharfbuzz-dev.
Preparing to unpack .../libharfbuzz-dev_1.0.1-1+b1_amd64.deb ...
Unpacking libharfbuzz-dev (1.0.1-1+b1) ...
Selecting previously unselected package libxft-dev.
Preparing to unpack .../libxft-dev_2.3.2-1_amd64.deb ...
Unpacking libxft-dev (2.3.2-1) ...
Selecting previously unselected package libpango1.0-dev.
Preparing to unpack .../libpango1.0-dev_1.38.0-3_amd64.deb ...
Unpacking libpango1.0-dev (1.38.0-3) ...
Selecting previously unselected package x11proto-xinerama-dev.
Preparing to unpack .../x11proto-xinerama-dev_1.2.1-2_all.deb ...
Unpacking x11proto-xinerama-dev (1.2.1-2) ...
Selecting previously unselected package libxinerama-dev:amd64.
Preparing to unpack .../libxinerama-dev_2%3a1.1.3-1+b1_amd64.deb ...
Unpacking libxinerama-dev:amd64 (2:1.1.3-1+b1) ...
Selecting previously unselected package x11proto-fixes-dev.
Preparing to unpack .../x11proto-fixes-dev_1%3a5.0-2_all.deb ...
Unpacking x11proto-fixes-dev (1:5.0-2) ...
Selecting previously unselected package libxfixes-dev:amd64.
Preparing to unpack .../libxfixes-dev_1%3a5.0.1-2+b2_amd64.deb ...
Unpacking libxfixes-dev:amd64 (1:5.0.1-2+b2) ...
Selecting previously unselected package libxi-dev.
Preparing to unpack .../libxi-dev_2%3a1.7.5-1_amd64.deb ...
Unpacking libxi-dev (2:1.7.5-1) ...
Selecting previously unselected package x11proto-randr-dev.
Preparing to unpack .../x11proto-randr-dev_1.5.0-1_all.deb ...
Unpacking x11proto-randr-dev (1.5.0-1) ...
Selecting previously unselected package libxrandr-dev:amd64.
Preparing to unpack .../libxrandr-dev_2%3a1.5.0-1_amd64.deb ...
Unpacking libxrandr-dev:amd64 (2:1.5.0-1) ...
Selecting previously unselected package libxcursor-dev:amd64.
Preparing to unpack .../libxcursor-dev_1%3a1.1.14-1+b1_amd64.deb ...
Unpacking libxcursor-dev:amd64 (1:1.1.14-1+b1) ...
Selecting previously unselected package x11proto-composite-dev.
Preparing to unpack .../x11proto-composite-dev_1%3a0.4.2-2_all.deb ...
Unpacking x11proto-composite-dev (1:0.4.2-2) ...
Selecting previously unselected package libxcomposite-dev.
Preparing to unpack .../libxcomposite-dev_1%3a0.4.4-1_amd64.deb ...
Unpacking libxcomposite-dev (1:0.4.4-1) ...
Selecting previously unselected package x11proto-damage-dev.
Preparing to unpack .../x11proto-damage-dev_1%3a1.2.1-2_all.deb ...
Unpacking x11proto-damage-dev (1:1.2.1-2) ...
Selecting previously unselected package libxdamage-dev:amd64.
Preparing to unpack .../libxdamage-dev_1%3a1.1.4-2+b1_amd64.deb ...
Unpacking libxdamage-dev:amd64 (1:1.1.4-2+b1) ...
Selecting previously unselected package libxml2-utils.
Preparing to unpack .../libxml2-utils_2.9.2+zdfsg1-4_amd64.deb ...
Unpacking libxml2-utils (2.9.2+zdfsg1-4) ...
Selecting previously unselected package libgtk2.0-dev.
Preparing to unpack .../libgtk2.0-dev_2.24.28-1_amd64.deb ...
Unpacking libgtk2.0-dev (2.24.28-1) ...
Selecting previously unselected package libglade2-dev:amd64.
Preparing to unpack .../libglade2-dev_1%3a2.6.4-2_amd64.deb ...
Unpacking libglade2-dev:amd64 (1:2.6.4-2) ...
Selecting previously unselected package libgtksourceview2.0-common.
Preparing to unpack .../libgtksourceview2.0-common_2.10.5-2_all.deb ...
Unpacking libgtksourceview2.0-common (2.10.5-2) ...
Selecting previously unselected package libgtksourceview2.0-0.
Preparing to unpack .../libgtksourceview2.0-0_2.10.5-2_amd64.deb ...
Unpacking libgtksourceview2.0-0 (2.10.5-2) ...
Selecting previously unselected package libgtksourceview2.0-dev.
Preparing to unpack .../libgtksourceview2.0-dev_2.10.5-2_amd64.deb ...
Unpacking libgtksourceview2.0-dev (2.10.5-2) ...
Selecting previously unselected package libgtkspell0.
Preparing to unpack .../libgtkspell0_2.0.16-1.1_amd64.deb ...
Unpacking libgtkspell0 (2.0.16-1.1) ...
Selecting previously unselected package libgtkspell-dev.
Preparing to unpack .../libgtkspell-dev_2.0.16-1.1_amd64.deb ...
Unpacking libgtkspell-dev (2.0.16-1.1) ...
Selecting previously unselected package libpcre-ocaml.
Preparing to unpack .../libpcre-ocaml_7.0.4-2+b1_amd64.deb ...
Unpacking libpcre-ocaml (7.0.4-2+b1) ...
Selecting previously unselected package libzip-ocaml.
Preparing to unpack .../libzip-ocaml_1.05-3+b1_amd64.deb ...
Unpacking libzip-ocaml (1.05-3+b1) ...
Selecting previously unselected package libocamlnet-ocaml.
Preparing to unpack .../libocamlnet-ocaml_4.0.4-1_amd64.deb ...
Unpacking libocamlnet-ocaml (4.0.4-1) ...
Selecting previously unselected package libpcre-ocaml-dev.
Preparing to unpack .../libpcre-ocaml-dev_7.0.4-2+b1_amd64.deb ...
Unpacking libpcre-ocaml-dev (7.0.4-2+b1) ...
Selecting previously unselected package libzip-ocaml-dev.
Preparing to unpack .../libzip-ocaml-dev_1.05-3+b1_amd64.deb ...
Unpacking libzip-ocaml-dev (1.05-3+b1) ...
Selecting previously unselected package libocamlnet-ocaml-dev.
Preparing to unpack .../libocamlnet-ocaml-dev_4.0.4-1_amd64.deb ...
Unpacking libocamlnet-ocaml-dev (4.0.4-1) ...
Selecting previously unselected package libhttp-ocaml-dev.
Preparing to unpack .../libhttp-ocaml-dev_0.1.5-1+b6_amd64.deb ...
Unpacking libhttp-ocaml-dev (0.1.5-1+b6) ...
Selecting previously unselected package liblablgtk2-ocaml.
Preparing to unpack .../liblablgtk2-ocaml_2.18.3+dfsg-1_amd64.deb ...
Unpacking liblablgtk2-ocaml (2.18.3+dfsg-1) ...
Selecting previously unselected package liblablgtk2-ocaml-dev.
Preparing to unpack .../liblablgtk2-ocaml-dev_2.18.3+dfsg-1_amd64.deb ...
Unpacking liblablgtk2-ocaml-dev (2.18.3+dfsg-1) ...
Selecting previously unselected package liblablgtksourceview2-ocaml.
Preparing to unpack .../liblablgtksourceview2-ocaml_2.18.3+dfsg-1_amd64.deb ...
Unpacking liblablgtksourceview2-ocaml (2.18.3+dfsg-1) ...
Selecting previously unselected package liblablgtksourceview2-ocaml-dev.
Preparing to unpack .../liblablgtksourceview2-ocaml-dev_2.18.3+dfsg-1_amd64.deb
...
Unpacking liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-1) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../ocaml-base_4.02.3-3_amd64.deb ...
Unpacking ocaml-base (4.02.3-3) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../ocaml_4.02.3-3_amd64.deb ...
Unpacking ocaml (4.02.3-3) ...
Selecting previously unselected package camlp5.
Preparing to unpack .../camlp5_6.14-1_amd64.deb ...
Unpacking camlp5 (6.14-1) ...
Selecting previously unselected package ocaml-ulex08.
Preparing to unpack .../ocaml-ulex08_0.8-10+b5_amd64.deb ...
Unpacking ocaml-ulex08 (0.8-10+b5) ...
Processing triggers for libc-bin (2.19-22) ...
Processing triggers for systemd (227-2) ...
Setting up groff-base (1.22.3-1) ...
Setting up bsdmainutils (9.0.6) ...
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 libpipeline1:amd64 (1.4.1-1) ...
Setting up man-db (2.7.4-1) ...
Building database of manual pages ...
Setting up mime-support (3.59) ...
Setting up libexpat1:amd64 (2.1.0-7) ...
Setting up libffi6:amd64 (3.2.1-3) ...
Setting up libssl1.0.0:amd64 (1.0.2d-1) ...
Setting up libpython2.7-stdlib:amd64 (2.7.10-5) ...
Setting up python2.7 (2.7.10-5) ...
Setting up libpython-stdlib:amd64 (2.7.9-1) ...
Setting up python (2.7.9-1) ...
Setting up libpng12-0:amd64 (1.2.50-2+b2) ...
Setting up libfreetype6:amd64 (2.6-2) ...
Setting up ucf (3.0030) ...
Setting up fonts-dejavu-core (2.35-1) ...
Setting up fontconfig-config (2.11.0-6.3) ...
Setting up libfontconfig1:amd64 (2.11.0-6.3) ...
Setting up fontconfig (2.11.0-6.3) ...
Regenerating fonts cache... done.
Setting up libaspell15:amd64 (0.60.7~20110707-3) ...
Setting up libavahi-common-data:amd64 (0.6.31-5) ...
Setting up libavahi-common3:amd64 (0.6.31-5) ...
Setting up libdbus-1-3:amd64 (1.10.0-3) ...
Setting up libavahi-client3:amd64 (0.6.31-5) ...
Setting up libglib2.0-0:amd64 (2.46.1-1) ...
No schema files found: doing nothing.
Setting up libicu55:amd64 (55.1-5) ...
Setting up libxml2:amd64 (2.9.2+zdfsg1-4) ...
Setting up libcroco3:amd64 (0.6.8-3+b1) ...
Setting up emacsen-common (2.0.8) ...
Setting up dictionaries-common (1.26.3) ...
Setting up aspell (0.60.7~20110707-3) ...
Setting up aspell-en (7.1-0-1.1) ...
Setting up libhunspell-1.3-0:amd64 (1.3.3-3+b1) ...
Setting up libenchant1c2a:amd64 (1.6.0-10.1) ...
Setting up libatk1.0-data (2.18.0-1) ...
Setting up libatk1.0-0:amd64 (2.18.0-1) ...
Setting up libpixman-1-0:amd64 (0.33.2-2) ...
Setting up libxau6:amd64 (1:1.0.8-1) ...
Setting up libxdmcp6:amd64 (1:1.1.2-1) ...
Setting up libxcb1:amd64 (1.10-3+b1) ...
Setting up libx11-data (2:1.6.3-1) ...
Setting up libx11-6:amd64 (2:1.6.3-1) ...
Setting up libxcb-render0:amd64 (1.10-3+b1) ...
Setting up libxcb-shm0:amd64 (1.10-3+b1) ...
Setting up libxext6:amd64 (2:1.3.3-1) ...
Setting up libxrender1:amd64 (1:0.9.8-1+b1) ...
Setting up libcairo2:amd64 (1.14.2-2) ...
Setting up libjpeg62-turbo:amd64 (1:1.4.1-2) ...
Setting up libjbig0:amd64 (2.1-3.1) ...
Setting up libtiff5:amd64 (4.0.5-1) ...
Setting up libgdk-pixbuf2.0-common (2.32.1-1) ...
Setting up libgdk-pixbuf2.0-0:amd64 (2.32.1-1) ...
Setting up libgtk2.0-common (2.24.28-1) ...
Setting up libnettle6:amd64 (3.1.1-4) ...
Setting up libhogweed4:amd64 (3.1.1-4) ...
Setting up libp11-kit0:amd64 (0.23.1-3) ...
Setting up libtasn1-6:amd64 (4.7-2) ...
Setting up libgnutls-deb0-28:amd64 (3.3.18-1) ...
Setting up libkeyutils1:amd64 (1.5.9-8) ...
Setting up libkrb5support0:amd64 (1.13.2+dfsg-2) ...
Setting up libk5crypto3:amd64 (1.13.2+dfsg-2) ...
Setting up libkrb5-3:amd64 (1.13.2+dfsg-2) ...
Setting up libgssapi-krb5-2:amd64 (1.13.2+dfsg-2) ...
Setting up libcups2:amd64 (2.1.0-4) ...
Setting up libthai-data (0.1.22-2) ...
Setting up libdatrie1:amd64 (0.2.9-3) ...
Setting up libthai0:amd64 (0.1.22-2) ...
Setting up libpango-1.0-0:amd64 (1.38.0-3) ...
Setting up libgraphite2-3:amd64 (1.3.3-1) ...
Setting up libharfbuzz0b:amd64 (1.0.1-1+b1) ...
Setting up libpangoft2-1.0-0:amd64 (1.38.0-3) ...
Setting up libpangocairo-1.0-0:amd64 (1.38.0-3) ...
Setting up libxcomposite1:amd64 (1:0.4.4-1) ...
Setting up libxfixes3:amd64 (1:5.0.1-2+b2) ...
Setting up libxcursor1:amd64 (1:1.1.14-1+b1) ...
Setting up libxdamage1:amd64 (1:1.1.4-2+b1) ...
Setting up libxi6:amd64 (2:1.7.5-1) ...
Setting up libxinerama1:amd64 (2:1.1.3-1+b1) ...
Setting up libxrandr2:amd64 (2:1.5.0-1) ...
Setting up shared-mime-info (1.5-2) ...
Setting up libgtk2.0-0:amd64 (2.24.28-1) ...
Setting up libglade2-0:amd64 (1:2.6.4-2) ...
Setting up x11-common (1:7.7+12) ...
update-rc.d: warning: start and stop actions are no longer supported; falling
back to defaults
Running in chroot, ignoring request.
[ ok ] Setting up X socket directories... /tmp/.X11-unix /tmp/.ICE-unix.
Setting up libice6:amd64 (2:1.0.9-1+b1) ...
Setting up liblzo2-2:amd64 (2.08-1.2) ...
Setting up libpcrecpp0v5:amd64 (2:8.35-7.2) ...
Setting up libsigsegv2:amd64 (2.10-4+b1) ...
Setting up libsm6:amd64 (2:1.2.2-1+b1) ...
Setting up libunistring0:amd64 (0.9.3-5.2+b1) ...
Setting up libxft2:amd64 (2.3.2-1) ...
Setting up libmagic1:amd64 (1:5.25-2) ...
Setting up file (1:5.25-2) ...
Setting up gettext-base (0.19.6-1) ...
Setting up m4 (1.4.17-4) ...
Setting up autoconf (2.69-9) ...
Setting up gettext (0.19.6-1) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up po-debconf (1.0.18) ...
Setting up libarchive-zip-perl (1.53-1) ...
Setting up libfile-stripnondeterminism-perl (0.013-1) ...
Setting up libtimedate-perl (2.3000-2) ...
Setting up libgirepository-1.0-1:amd64 (1.46.0-1) ...
Setting up gir1.2-glib-2.0:amd64 (1.46.0-1) ...
Setting up gir1.2-atk-1.0 (2.18.0-1) ...
Setting up libcairo-gobject2:amd64 (1.14.2-2) ...
Setting up gir1.2-freedesktop:amd64 (1.46.0-1) ...
Setting up gir1.2-gdkpixbuf-2.0:amd64 (2.32.1-1) ...
Setting up libpangoxft-1.0-0:amd64 (1.38.0-3) ...
Setting up gir1.2-pango-1.0:amd64 (1.38.0-3) ...
Setting up gir1.2-gtk-2.0 (2.24.28-1) ...
Setting up help2man (1.47.2) ...
Setting up icu-devtools (55.1-5) ...
Setting up pkg-config (0.28-1) ...
Setting up libelf1:amd64 (0.163-5.1) ...
Setting up libglib2.0-data (2.46.1-1) ...
Setting up libglib2.0-bin (2.46.1-1) ...
Setting up libpcre16-3:amd64 (2:8.35-7.2) ...
Setting up libpcre32-3:amd64 (2:8.35-7.2) ...
Setting up libpcre3-dev:amd64 (2:8.35-7.2) ...
Setting up zlib1g-dev:amd64 (1:1.2.8.dfsg-2+b1) ...
Setting up libglib2.0-dev (2.46.1-1) ...
Setting up libatk1.0-dev (2.18.0-1) ...
Setting up libcairo-script-interpreter2:amd64 (1.14.2-2) ...
Setting up libexpat1-dev:amd64 (2.1.0-7) ...
Setting up libpng12-dev:amd64 (1.2.50-2+b2) ...
Setting up libfreetype6-dev (2.6-2) ...
Setting up libfontconfig1-dev:amd64 (2.11.0-6.3) ...
Setting up xorg-sgml-doctools (1:1.11-1) ...
Setting up x11proto-core-dev (7.0.27-1) ...
Setting up libxau-dev:amd64 (1:1.0.8-1) ...
Setting up libxdmcp-dev:amd64 (1:1.1.2-1) ...
Setting up x11proto-input-dev (2.3.1-1) ...
Setting up x11proto-kb-dev (1.0.6-2) ...
Setting up xtrans-dev (1.3.5-1) ...
Setting up libpthread-stubs0-dev:amd64 (0.3-4) ...
Setting up libxcb1-dev:amd64 (1.10-3+b1) ...
Setting up libx11-dev:amd64 (2:1.6.3-1) ...
Setting up x11proto-render-dev (2:0.11.1-2) ...
Setting up libxrender-dev:amd64 (1:0.9.8-1+b1) ...
Setting up x11proto-xext-dev (7.3.0-1) ...
Setting up libxext-dev:amd64 (2:1.3.3-1) ...
Setting up libice-dev:amd64 (2:1.0.9-1+b1) ...
Setting up libsm-dev:amd64 (2:1.2.2-1+b1) ...
Setting up libpixman-1-dev (0.33.2-2) ...
Setting up libxcb-render0-dev:amd64 (1.10-3+b1) ...
Setting up libxcb-shm0-dev:amd64 (1.10-3+b1) ...
Setting up libcairo2-dev (1.14.2-2) ...
Setting up libenchant-dev (1.6.0-10.1) ...
Setting up ocaml-base-nox (4.02.3-3) ...
Setting up libexpat-ocaml (0.9.1+debian1-7+b4) ...
Setting up libfindlib-ocaml (1.5.5-2) ...
Setting up ocaml-findlib (1.5.5-2) ...
Setting up libtinfo-dev:amd64 (6.0+20150810-1) ...
Setting up libncurses5-dev:amd64 (6.0+20150810-1) ...
Setting up libgdk-pixbuf2.0-dev (2.32.1-1) ...
Setting up libgdome2-0 (0.8.1+debian-6) ...
Setting up libicu-dev:amd64 (55.1-5) ...
Setting up libxml2-dev:amd64 (2.9.2+zdfsg1-4) ...
Setting up libgdome2-dev (0.8.1+debian-6) ...
Setting up libgdome2-ocaml (0.2.6-6.2+b1) ...
Setting up libharfbuzz-icu0:amd64 (1.0.1-1+b1) ...
Setting up libharfbuzz-gobject0:amd64 (1.0.1-1+b1) ...
Setting up libharfbuzz-dev (1.0.1-1+b1) ...
Setting up libxft-dev (2.3.2-1) ...
Setting up libpango1.0-dev (1.38.0-3) ...
Setting up x11proto-xinerama-dev (1.2.1-2) ...
Setting up libxinerama-dev:amd64 (2:1.1.3-1+b1) ...
Setting up x11proto-fixes-dev (1:5.0-2) ...
Setting up libxfixes-dev:amd64 (1:5.0.1-2+b2) ...
Setting up libxi-dev (2:1.7.5-1) ...
Setting up x11proto-randr-dev (1.5.0-1) ...
Setting up libxrandr-dev:amd64 (2:1.5.0-1) ...
Setting up libxcursor-dev:amd64 (1:1.1.14-1+b1) ...
Setting up x11proto-composite-dev (1:0.4.2-2) ...
Setting up libxcomposite-dev (1:0.4.4-1) ...
Setting up x11proto-damage-dev (1:1.2.1-2) ...
Setting up libxdamage-dev:amd64 (1:1.1.4-2+b1) ...
Setting up libxml2-utils (2.9.2+zdfsg1-4) ...
Setting up libgtk2.0-dev (2.24.28-1) ...
Setting up libglade2-dev:amd64 (1:2.6.4-2) ...
Setting up libgtksourceview2.0-common (2.10.5-2) ...
Setting up libgtksourceview2.0-0 (2.10.5-2) ...
Setting up libgtksourceview2.0-dev (2.10.5-2) ...
Setting up libgtkspell0 (2.0.16-1.1) ...
Setting up libgtkspell-dev (2.0.16-1.1) ...
Setting up libpcre-ocaml (7.0.4-2+b1) ...
Setting up libzip-ocaml (1.05-3+b1) ...
Setting up libocamlnet-ocaml (4.0.4-1) ...
Setting up liblablgtk2-ocaml (2.18.3+dfsg-1) ...
Setting up liblablgtksourceview2-ocaml (2.18.3+dfsg-1) ...
Setting up ocaml-base (4.02.3-3) ...
Setting up debhelper (9.20151005) ...
Setting up ocaml-compiler-libs (4.02.3-3) ...
Setting up ocaml-interp (4.02.3-3) ...
Setting up dh-strip-nondeterminism (0.013-1) ...
Setting up ocaml-nox (4.02.3-3) ...
Setting up libexpat-ocaml-dev (0.9.1+debian1-7+b4) ...
Setting up libgdome2-ocaml-dev (0.2.6-6.2+b1) ...
Setting up libpcre-ocaml-dev (7.0.4-2+b1) ...
Setting up libzip-ocaml-dev (1.05-3+b1) ...
Setting up libocamlnet-ocaml-dev (4.0.4-1) ...
Setting up libhttp-ocaml-dev (0.1.5-1+b6) ...
Setting up liblablgtk2-ocaml-dev (2.18.3+dfsg-1) ...
Setting up liblablgtksourceview2-ocaml-dev (2.18.3+dfsg-1) ...
Setting up ocaml (4.02.3-3) ...
Setting up camlp5 (6.14-1) ...
Setting up ocaml-ulex08 (0.8-10+b5) ...
Processing triggers for libc-bin (2.19-22) ...
Processing triggers for dictionaries-common (1.26.3) ...
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].
Processing triggers for systemd (227-2) ...
Current status: 0 (-1) broken.
-> Finished parsing the build-deps
Reading package lists...
Building dependency tree...
Reading state information...
The following extra packages will be installed:
libfakeroot
The following NEW packages will be installed:
fakeroot libfakeroot
0 upgraded, 2 newly installed, 0 to remove and 1 not upgraded.
Need to get 0 B/129 kB of archives.
After this operation, 434 kB of additional disk space will be used.
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libfakeroot:amd64.
(Reading database ... 23597 files and directories currently installed.)
Preparing to unpack .../libfakeroot_1.20.2-1_amd64.deb ...
Unpacking libfakeroot:amd64 (1.20.2-1) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../fakeroot_1.20.2-1_amd64.deb ...
Unpacking fakeroot (1.20.2-1) ...
Processing triggers for man-db (2.7.4-1) ...
Setting up libfakeroot:amd64 (1.20.2-1) ...
Setting up fakeroot (1.20.2-1) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot
(fakeroot) in auto mode
I: Copying back the cached apt archive contents
I: Copying source file
I: copying [/tmp/tmp.xoIxvDvlsS/matita_0.99.1-3.dsc]
I: copying [/tmp/tmp.xoIxvDvlsS/matita_0.99.1.orig.tar.gz]
I: copying [/tmp/tmp.xoIxvDvlsS/matita_0.99.1-3.debian.tar.gz]
I: Extracting source
gpgv: keyblock resource `/tmp/buildd/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Tue Dec 10 20:40:16 2013 UTC using DSA key ID 0123F2F2
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./matita_0.99.1-3.dsc
dpkg-source: info: extracting matita in matita-0.99.1
dpkg-source: info: unpacking matita_0.99.1.orig.tar.gz
dpkg-source: info: unpacking matita_0.99.1-3.debian.tar.gz
dpkg-source: info: applying 0001-configure.patch
dpkg-source: info: applying
0002-Help-type-checker-for-nCicUntrusted.set_kind.patch
I: Building the package
W: no hooks of type A found -- ignoring
I: Running cd tmp/buildd/*/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin"
dpkg-buildpackage -us -uc -rfakeroot
dpkg-buildpackage: source package matita
dpkg-buildpackage: source version 0.99.1-3
dpkg-buildpackage: source distribution unstable
dpkg-buildpackage: source changed by Enrico Tassi <gareuselesi...@debian.org>
dpkg-buildpackage: host architecture amd64
dpkg-source --before-build matita-0.99.1
fakeroot debian/rules clean
dh clean
dh_testdir
debian/rules override_dh_auto_clean
make[1]: Entering directory '/tmp/buildd/matita-0.99.1'
dh_auto_clean || true
make -j1 distclean
make[2]: Entering directory '/tmp/buildd/matita-0.99.1'
Makefile:3: Makefile.defs: No such file or directory
make[2]: *** No rule to make target 'Makefile.defs'. Stop.
make[2]: Leaving directory '/tmp/buildd/matita-0.99.1'
dh_auto_clean: make -j1 distclean returned exit code 2
rm -f Makefile.defs components/extlib/componentsConf.ml config.log
config.status configure matita/.depend.opt matita/help/C/version.txt
matita/matita.conf.xml matita/matita.glade.utf8
make[1]: Leaving directory '/tmp/buildd/matita-0.99.1'
dh_clean
dpkg-source -b matita-0.99.1
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building matita using existing ./matita_0.99.1.orig.tar.gz
dpkg-source: warning: ignoring deletion of file matita/.depend.opt, use
--include-removal to override
dpkg-source: info: building matita in matita_0.99.1-3.debian.tar.xz
dpkg-source: info: building matita in matita_0.99.1-3.dsc
debian/rules build
dh build
dh_testdir
debian/rules override_dh_auto_configure
make[1]: Entering directory '/tmp/buildd/matita-0.99.1'
autoconf
./configure --with-runtime-dir=/usr/share/matita \
--prefix=/usr/ \
--with-dbhost=FAKE_HOST
checking for ocamlc... yes
checking for ocamlopt... yes
checking for ocamlfind... yes
checking for lablgladecc2... yes
checking for camlp5o... yes
creating METAs ... done
checking for expat ocaml library... yes
checking for gdome2 ocaml library... yes
checking for http ocaml library... yes
checking for lablgtk2 ocaml library... yes
checking for lablgtk2.sourceview2 ocaml library... yes
checking for netstring ocaml library... yes
checking for ulex08 ocaml library... yes
checking for zip ocaml library... yes
checking for helm-disambiguation ocaml library... yes
checking for helm-grafite ocaml library... yes
checking for helm-grafite_engine ocaml library... yes
checking for helm-ng_disambiguation ocaml library... yes
checking for helm-ng_cic_content ocaml library... yes
checking for helm-grafite_parser ocaml library... yes
checking for helm-content_pres ocaml library... yes
checking for helm-ng_paramodulation ocaml library... yes
checking for helm-ng_tactics ocaml library... yes
checking for lablgtk2.glade ocaml library... yes
checking for lablgtk2.sourceview2 ocaml library... yes
checking --enable-debug argument... no, debugging enabled.
checking --enable-annot argument... no, type annotation disabled.
checking --with-runtime-dir argument... /usr/share/matita
checking --with-dbhost argument... FAKE_HOST
configure: creating ./config.status
config.status: creating components/extlib/componentsConf.ml
config.status: creating matita/matita.conf.xml
config.status: creating matita/buildTimeConf.ml
config.status: creating matita/help/C/version.txt
config.status: creating Makefile.defs
make[1]: Leaving directory '/tmp/buildd/matita-0.99.1'
dh_auto_build
make -j1
make[1]: Entering directory '/tmp/buildd/matita-0.99.1'
make r...@depend.opt@components r...@depend.opt@matita
make[2]: Entering directory '/tmp/buildd/matita-0.99.1'
make -C components depend.opt DESTDIR=
make[3]: Entering directory '/tmp/buildd/matita-0.99.1/components'
make[4]: Entering directory
'/tmp/buildd/matita-0.99.1/components/syntax_extensions'
ocamlfind: Package `helm-utf8_macros' not found
../Makefile.common:74: warning: overriding recipe for target 'test'
Makefile:40: warning: ignoring old recipe for target 'test'
OCAMLDEP
make[4]: Leaving directory
'/tmp/buildd/matita-0.99.1/components/syntax_extensions'
make[4]: Entering directory
'/tmp/buildd/matita-0.99.1/components/syntax_extensions'
ocamlfind: Package `helm-utf8_macros' not found
../Makefile.common:74: warning: overriding recipe for target 'test'
Makefile:40: warning: ignoring old recipe for target 'test'
OCAMLC utf8MacroTable.ml
OCAMLC utf8Macro.mli
OCAMLC utf8Macro.ml
OCAMLC -a utf8_macros.cma
OCAMLC pa_unicode_macro.ml
OCAMLC -a pa_unicode_macro.cma
OCAMLC profiling_macros.ml
OCAMLC -a profiling_macros.cma
make[4]: Leaving directory
'/tmp/buildd/matita-0.99.1/components/syntax_extensions'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/extlib'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/extlib'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/xml'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/xml'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/registry'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/registry'
make[4]: Entering directory
'/tmp/buildd/matita-0.99.1/components/syntax_extensions'
ocamlfind: Package `helm-utf8_macros' not found
../Makefile.common:74: warning: overriding recipe for target 'test'
Makefile:40: warning: ignoring old recipe for target 'test'
OCAMLDEP -native
make[4]: Leaving directory
'/tmp/buildd/matita-0.99.1/components/syntax_extensions'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/thread'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/thread'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/logger'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/logger'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/ng_kernel'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/ng_kernel'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/getter'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/getter'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/library'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/library'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/content'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/content'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/grafite'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/grafite'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/ng_refiner'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/ng_refiner'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/ng_library'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/ng_library'
make[4]: Entering directory
'/tmp/buildd/matita-0.99.1/components/ng_cic_content'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/ng_cic_content'
make[4]: Entering directory
'/tmp/buildd/matita-0.99.1/components/disambiguation'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/disambiguation'
make[4]: Entering directory
'/tmp/buildd/matita-0.99.1/components/ng_disambiguation'
OCAMLDEP -native
make[4]: Leaving directory
'/tmp/buildd/matita-0.99.1/components/ng_disambiguation'
make[4]: Entering directory
'/tmp/buildd/matita-0.99.1/components/ng_paramodulation'
OCAMLDEP -native
make[4]: Leaving directory
'/tmp/buildd/matita-0.99.1/components/ng_paramodulation'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/content_pres'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/content_pres'
make[4]: Entering directory
'/tmp/buildd/matita-0.99.1/components/grafite_parser'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/grafite_parser'
make[4]: Entering directory '/tmp/buildd/matita-0.99.1/components/ng_tactics'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/ng_tactics'
make[4]: Entering directory
'/tmp/buildd/matita-0.99.1/components/grafite_engine'
OCAMLDEP -native
make[4]: Leaving directory '/tmp/buildd/matita-0.99.1/components/grafite_engine'
make[3]: Leaving directory '/tmp/buildd/matita-0.99.1/components'
make -C matita depend.opt DESTDIR=
make[3]: Entering directory '/tmp/buildd/matita-0.99.1/matita'
OCAMLDEP -native
make[3]: Leaving directory '/tmp/buildd/matita-0.99.1/matita'
make[2]: Leaving directory '/tmp/buildd/matita-0.99.1'
make -C components world DESTDIR=
make[2]: Entering directory '/tmp/buildd/matita-0.99.1/components'
make[3]: Entering directory
'/tmp/buildd/matita-0.99.1/components/syntax_extensions'
ocamlfind: Package `helm-utf8_macros' not found
../Makefile.common:74: warning: overriding recipe for target 'test'
Makefile:40: warning: ignoring old recipe for target 'test'
OCAMLDEP
make[3]: Leaving directory
'/tmp/buildd/matita-0.99.1/components/syntax_extensions'
make[3]: Entering directory
'/tmp/buildd/matita-0.99.1/components/syntax_extensions'
ocamlfind: Package `helm-utf8_macros' not found
../Makefile.common:74: warning: overriding recipe for target 'test'
Makefile:40: warning: ignoring old recipe for target 'test'
make[3]: Leaving directory
'/tmp/buildd/matita-0.99.1/components/syntax_extensions'
make[3]: Entering directory '/tmp/buildd/matita-0.99.1/components/extlib'
OCAMLC componentsConf.mli
OCAMLOPT componentsConf.ml
OCAMLC hExtlib.mli
OCAMLOPT hExtlib.ml
File "hExtlib.ml", line 463, characters 10-23:
Warning 3: deprecated: String.create
Use Bytes.create instead.
OCAMLC hMarshal.mli
OCAMLOPT hMarshal.ml
File "hMarshal.ml", line 50, characters 12-25:
Warning 3: deprecated: String.create
Use Bytes.create instead.
OCAMLC patternMatcher.mli
OCAMLOPT patternMatcher.ml
OCAMLC hLog.mli
OCAMLOPT hLog.ml
OCAMLC trie.mli
OCAMLOPT trie.ml
OCAMLC discrimination_tree.mli
OCAMLOPT discrimination_tree.ml
OCAMLC hTopoSort.mli
OCAMLOPT hTopoSort.ml
OCAMLC graphvizPp.mli
OCAMLOPT graphvizPp.ml
OCAMLOPT -a extlib.cmxa
make[3]: Leaving directory '/tmp/buildd/matita-0.99.1/components/extlib'
make[3]: Entering directory '/tmp/buildd/matita-0.99.1/components/xml'
OCAMLC xml.mli
OCAMLOPT xml.ml
OCAMLC xmlPushParser.mli
OCAMLOPT xmlPushParser.ml
File "xmlPushParser.ml", line 97, characters 18-31:
Warning 3: deprecated: String.create
Use Bytes.create instead.
OCAMLOPT -a xml.cmxa
make[3]: Leaving directory '/tmp/buildd/matita-0.99.1/components/xml'
make[3]: Entering directory '/tmp/buildd/matita-0.99.1/components/registry'
OCAMLC helm_registry.mli
OCAMLOPT helm_registry.ml
OCAMLOPT -a registry.cmxa
make[3]: Leaving directory '/tmp/buildd/matita-0.99.1/components/registry'
make[3]: Entering directory
'/tmp/buildd/matita-0.99.1/components/syntax_extensions'
ocamlfind: Package `helm-utf8_macros' not found
../Makefile.common:74: warning: overriding recipe for target 'test'
Makefile:40: warning: ignoring old recipe for target 'test'
OCAMLOPT utf8MacroTable.ml
OCAMLOPT utf8Macro.ml
OCAMLOPT -a utf8_macros.cmxa
make[3]: Leaving directory
'/tmp/buildd/matita-0.99.1/components/syntax_extensions'
make[3]: Entering directory '/tmp/buildd/matita-0.99.1/components/thread'
OCAMLC threadSafe.mli
OCAMLOPT threadSafe.ml
OCAMLC extThread.mli
OCAMLOPT extThread.ml
OCAMLOPT -a thread.cmxa
OCAMLC fake/threadSafe.mli
OCAMLOPT -a thread_fake.cmxa
make[3]: Leaving directory '/tmp/buildd/matita-0.99.1/components/thread'
make[3]: Entering directory '/tmp/buildd/matita-0.99.1/components/logger'
OCAMLC helmLogger.mli
OCAMLOPT helmLogger.ml
OCAMLOPT -a logger.cmxa
make[3]: Leaving directory '/tmp/buildd/matita-0.99.1/components/logger'
make[3]: Entering directory '/tmp/buildd/matita-0.99.1/components/ng_kernel'
OCAMLC nUri.mli
OCAMLOPT nUri.ml
OCAMLC nReference.mli
OCAMLOPT nReference.ml
OCAMLOPT nCic.ml
File "nCic.ml", line 142, characters 11-460:
Error: This class type should be virtual.
The following variables are undefined : ppterm ppsubst ppobj
ppmetasenv ppcontext
../Makefile.common:102: recipe for target 'nCic.cmx' failed
make[3]: *** [nCic.cmx] Error 2
make[3]: Leaving directory '/tmp/buildd/matita-0.99.1/components/ng_kernel'
Makefile:61: recipe for target 'rec@opt@ng_kernel' failed
make[2]: *** [rec@opt@ng_kernel] Error 2
make[2]: Leaving directory '/tmp/buildd/matita-0.99.1/components'
Makefile:41: recipe for target 'rec@world@components' failed
make[1]: *** [rec@world@components] Error 2
make[1]: Leaving directory '/tmp/buildd/matita-0.99.1'
dh_auto_build: make -j1 returned exit code 2
debian/rules:4: recipe for target 'build' failed
make: *** [build] Error 2
dpkg-buildpackage: error: debian/rules build gave error exit status 2
E: Failed autobuilding of package
