DC-Build-Header: ssreflect 1.3pl1-4 / Sun Sep 11 12:41:47 +0200 2011 Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node sbuild (Debian sbuild) 0.62.2 (05 Apr 2011) on talc-116.nancy.grid5000.fr ╔══════════════════════════════════════════════════════════════════════════════╗ ║ ssreflect 1.3pl1-4 (amd64) 11 Sep 2011 13:31 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: ssreflect Version: 1.3pl1-4 Source Version: 1.3pl1-4 Distribution: lsid64c Architecture: amd64 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Ign http://localhost sid InRelease Hit http://localhost sid Release.gpg Hit http://localhost sid Release Ign http://localhost sid/main Sources/DiffIndex Ign http://localhost sid/main amd64 Packages/DiffIndex Ign http://localhost sid/main TranslationIndex Hit http://localhost sid/main Sources Hit http://localhost sid/main amd64 Packages Ign http://localhost sid/main Translation-en Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: binutils cpp-4.6 g++-4.6 gcc-4.6 gcc-4.6-base libc-bin libc-dev-bin libc6 libc6-dev libgcc1 libgomp1 libquadmath0 libstdc++6 libstdc++6-4.6-dev multiarch-support 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 34.4 MB of archives. After this operation, 1073 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libc6-dev libc-dev-bin libgomp1 gcc-4.6-base libgcc1 cpp-4.6 libquadmath0 libstdc++6-4.6-dev g++-4.6 gcc-4.6 libstdc++6 binutils libc-bin libc6 multiarch-support Authentication warning overridden. Get:1 http://localhost/debian/ sid/main libc6-dev amd64 2.13-20 [2637 kB] Get:2 http://localhost/debian/ sid/main libc-dev-bin amd64 2.13-20 [217 kB] Get:3 http://localhost/debian/ sid/main libgomp1 amd64 4.6.1-10 [25.7 kB] Get:4 http://localhost/debian/ sid/main gcc-4.6-base amd64 4.6.1-10 [135 kB] Get:5 http://localhost/debian/ sid/main libgcc1 amd64 1:4.6.1-10 [42.9 kB] Get:6 http://localhost/debian/ sid/main cpp-4.6 amd64 4.6.1-10 [4816 kB] Get:7 http://localhost/debian/ sid/main libquadmath0 amd64 4.6.1-10 [126 kB] Get:8 http://localhost/debian/ sid/main libstdc++6-4.6-dev amd64 4.6.1-10 [1660 kB] Get:9 http://localhost/debian/ sid/main g++-4.6 amd64 4.6.1-10 [6952 kB] Get:10 http://localhost/debian/ sid/main gcc-4.6 amd64 4.6.1-10 [7303 kB] Get:11 http://localhost/debian/ sid/main libstdc++6 amd64 4.6.1-10 [337 kB] Get:12 http://localhost/debian/ sid/main binutils amd64 2.21.53.20110910-1 [4844 kB] Get:13 http://localhost/debian/ sid/main libc-bin amd64 2.13-20 [819 kB] Get:14 http://localhost/debian/ sid/main libc6 amd64 2.13-20 [4323 kB] Get:15 http://localhost/debian/ sid/main multiarch-support amd64 2.13-20 [141 kB] Preconfiguring packages ... Fetched 34.4 MB in 0s (35.0 MB/s) (Reading database ... 10788 files and directories currently installed.) Preparing to replace libc6-dev 2.13-18 (using .../libc6-dev_2.13-20_amd64.deb) ... Unpacking replacement libc6-dev ... Preparing to replace libc-dev-bin 2.13-18 (using .../libc-dev-bin_2.13-20_amd64.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace libgomp1 4.6.1-9 (using .../libgomp1_4.6.1-10_amd64.deb) ... Unpacking replacement libgomp1 ... Preparing to replace gcc-4.6-base 4.6.1-9 (using .../gcc-4.6-base_4.6.1-10_amd64.deb) ... Unpacking replacement gcc-4.6-base ... Setting up gcc-4.6-base (4.6.1-10) ... (Reading database ... 10788 files and directories currently installed.) Preparing to replace libgcc1 1:4.6.1-9 (using .../libgcc1_1%3a4.6.1-10_amd64.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.6.1-10) ... (Reading database ... 10788 files and directories currently installed.) Preparing to replace cpp-4.6 4.6.1-9 (using .../cpp-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement cpp-4.6 ... Preparing to replace libquadmath0 4.6.1-9 (using .../libquadmath0_4.6.1-10_amd64.deb) ... Unpacking replacement libquadmath0 ... Preparing to replace libstdc++6-4.6-dev 4.6.1-9 (using .../libstdc++6-4.6-dev_4.6.1-10_amd64.deb) ... Unpacking replacement libstdc++6-4.6-dev ... Preparing to replace g++-4.6 4.6.1-9 (using .../g++-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement g++-4.6 ... Preparing to replace gcc-4.6 4.6.1-9 (using .../gcc-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement gcc-4.6 ... Preparing to replace libstdc++6 4.6.1-9 (using .../libstdc++6_4.6.1-10_amd64.deb) ... Unpacking replacement libstdc++6 ... Setting up libstdc++6 (4.6.1-10) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace binutils 2.21.53.20110823-3 (using .../binutils_2.21.53.20110910-1_amd64.deb) ... Unpacking replacement binutils ... Preparing to replace libc-bin 2.13-18 (using .../libc-bin_2.13-20_amd64.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.13-20) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace libc6 2.13-18 (using .../libc6_2.13-20_amd64.deb) ... Unpacking replacement libc6 ... Setting up libc6 (2.13-20) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace multiarch-support 2.13-18 (using .../multiarch-support_2.13-20_amd64.deb) ... Unpacking replacement multiarch-support ... Setting up multiarch-support (2.13-20) ... Setting up libc-dev-bin (2.13-20) ... Setting up libc6-dev (2.13-20) ... Setting up libgomp1 (4.6.1-10) ... Setting up cpp-4.6 (4.6.1-10) ... Setting up libquadmath0 (4.6.1-10) ... Setting up binutils (2.21.53.20110910-1) ... Setting up gcc-4.6 (4.6.1-10) ... Setting up libstdc++6-4.6-dev (4.6.1-10) ... Setting up g++-4.6 (4.6.1-10) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... NOTICE: 'ssreflect' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.git Need to get 843 kB of source archives. Get:1 http://localhost/debian/ sid/main ssreflect 1.3pl1-4 (dsc) [2113 B] Get:2 http://localhost/debian/ sid/main ssreflect 1.3pl1-4 (tar) [829 kB] Get:3 http://localhost/debian/ sid/main ssreflect 1.3pl1-4 (diff) [12.2 kB] Fetched 843 kB in 0s (854 kB/s) Download complete and in download only mode Check arch ────────── Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/build/ssreflect-KEqqRe/resolver-ybjl9W/apt_archive/sbuild-build-depends-core-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install core build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/706 B of archives. After this operation, 0 B of additional disk space will be used. WARNING: The following packages cannot be authenticated! sbuild-build-depends-core-dummy Authentication warning overridden. Selecting previously deselected package sbuild-build-depends-core-dummy. (Reading database ... 10801 files and directories currently installed.) Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Cannot open /var/lib/schroot/mount/lsid64c-72070057-bda7-43b7-96b1-b7002b95e108/etc/lsb-release: No such file or directory Merged Build-Depends: base-files, base-passwd, bash, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, ncurses-base, ncurses-bin, perl-base, sed, login, sysvinit-utils, sysvinit, tar, bsdutils, mount, util-linux, libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 7.0.50~), coq (>= 8.3), libcoq-ocaml-dev (>= 8.3), dh-ocaml (>= 0.9~), camlp5 (>= 5.12-2~), ocaml-best-compilers, ocaml-nox (>= 3.11.1-3~) Filtered Build-Depends: base-files, base-passwd, bash, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, ncurses-base, ncurses-bin, perl-base, sed, login, sysvinit-utils, sysvinit, tar, bsdutils, mount, util-linux, libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 7.0.50~), coq (>= 8.3), libcoq-ocaml-dev (>= 8.3), dh-ocaml (>= 0.9~), camlp5 (>= 5.12-2~), ocaml-best-compilers, ocaml-nox (>= 3.11.1-3~) dpkg-deb: building package `sbuild-build-depends-ssreflect-dummy' in `/build/ssreflect-KEqqRe/resolver-5ZBjSJ/apt_archive/sbuild-build-depends-ssreflect-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install ssreflect build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils camlp5 coq coq-theories debhelper dh-ocaml emacsen-common file fontconfig fontconfig-config gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-pango-1.0 groff-base html2text intltool-debian libaspell15 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcoq-ocaml libcoq-ocaml-dev libcroco3 libcups2 libdatrie1 libdb4.8 libdbus-1-3 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgcrypt11 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtkspell-dev libgtkspell0 libhunspell-1.2-0 libice-dev libice6 libjasper1 libjpeg62 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtk2-ocaml-dev libmagic1 libncurses5-dev libp11-kit0 libpango1.0-0 libpango1.0-dev libpcre3 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-0 libpng12-dev libpopt0 libpthread-stubs0 libpthread-stubs0-dev libsm-dev libsm6 libsqlite3-0 libssl1.0.0 libtasn1-3 libthai-data libthai0 libtiff4 libunistring0 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 man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-native-compilers ocaml-nox pkg-config po-debconf python python-minimal python2.6 python2.6-minimal shared-mime-info 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: wamerican wordlist whois vacation ocaml-findlib proofgeneral-coq ledit readline-editor why coq-doc dh-make git defoma gettext-doc groff aspell libcairo2-doc cups-common libenchant-voikko rng-tools glade glade-gnome libglib2.0-doc gnutls-bin krb5-doc krb5-user librsvg2-common gvfs libgtk2.0-doc libjasper-runtime liblablgtk2-gl-ocaml-dev liblablgtk2-gnome-ocaml-dev ncurses-doc ttf-baekmuk ttf-arphic-gbsn00lp ttf-arphic-bsmi00lp ttf-arphic-gkai00mp ttf-arphic-bkai00mp libpango1.0-doc imagemagick www-browser libgdbm-dev tuareg-mode ocaml-mode libmail-box-perl python-doc python-tk python2.6-doc binfmt-support Recommended packages: curl wget lynx-cur autopoint aspell-en aspell-dictionary aspell6a-dictionary dbus hicolor-icon-theme libgtk2.0-bin hunspell-en-us hunspell-dictionary myspell-dictionary liblablgtk2-ocaml-doc x-ttcidfont-conf xml-core camlp4 libmail-sendmail-perl The following NEW packages will be installed: bsdmainutils camlp5 coq coq-theories debhelper dh-ocaml emacsen-common file fontconfig fontconfig-config gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-pango-1.0 groff-base html2text intltool-debian libaspell15 libatk1.0-0 libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3 libcairo-gobject2 libcairo-script-interpreter2 libcairo2 libcairo2-dev libcoq-ocaml libcoq-ocaml-dev libcroco3 libcups2 libdatrie1 libdb4.8 libdbus-1-3 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgcrypt11 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libgtkspell-dev libgtkspell0 libhunspell-1.2-0 libice-dev libice6 libjasper1 libjpeg62 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk2-ocaml liblablgtk2-ocaml-dev libmagic1 libncurses5-dev libp11-kit0 libpango1.0-0 libpango1.0-dev libpcre3 libpipeline1 libpixman-1-0 libpixman-1-dev libpng12-0 libpng12-dev libpopt0 libpthread-stubs0 libpthread-stubs0-dev libsm-dev libsm6 libsqlite3-0 libssl1.0.0 libtasn1-3 libthai-data libthai0 libtiff4 libunistring0 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 man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-native-compilers ocaml-nox pkg-config po-debconf python python-minimal python2.6 python2.6-minimal sbuild-build-depends-ssreflect-dummy shared-mime-info 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, 166 newly installed, 0 to remove and 0 not upgraded. Need to get 149 MB/149 MB of archives. After this operation, 477 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libpipeline1 libssl1.0.0 libgpg-error0 libgcrypt11 libp11-kit0 libtasn1-3 libgnutls26 libkeyutils1 libkrb5support0 libk5crypto3 libkrb5-3 libgssapi-krb5-2 libpcre3 libglib2.0-0 libatk1.0-data libatk1.0-0 libavahi-common-data libavahi-common3 libdbus-1-3 libavahi-client3 libcups2 libdatrie1 libexpat1 libfreetype6 ucf ttf-dejavu-core fontconfig-config libfontconfig1 libjpeg8 libjasper1 libpng12-0 libjpeg62 libtiff4 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libgdk-pixbuf2.0-0 libgtk2.0-common libpixman-1-0 libxcb-render0 libxcb-shm0 libxrender1 libcairo2 libthai-data libthai0 libxft2 fontconfig libpango1.0-0 libxcomposite1 libxfixes3 libxcursor1 libxdamage1 libxext6 libxi6 libxinerama1 libxrandr2 libxml2 shared-mime-info libgtk2.0-0 x11-common libice6 libsm6 libdb4.8 bsdmainutils groff-base libpopt0 man-db libmagic1 file gettext-base libsqlite3-0 mime-support python2.6-minimal python2.6 python-minimal python coq-theories emacsen-common ocaml-base-nox libglade2-0 libaspell15 libhunspell-1.2-0 libenchant1c2a libgtkspell0 liblablgtk2-ocaml libcoq-ocaml coq html2text libcroco3 libunistring0 gettext intltool-debian po-debconf debhelper libgirepository-1.0-1 gir1.2-glib-2.0 gir1.2-atk-1.0 libcairo-gobject2 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-pango-1.0 pkg-config libglib2.0-data libglib2.0-bin zlib1g-dev libglib2.0-dev libatk1.0-dev libcairo-script-interpreter2 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 libncurses5-dev ocaml-interp ocaml-nox ocaml-compiler-libs camlp5 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 libenchant-dev libgtkspell-dev liblablgtk2-ocaml-dev libcoq-ocaml-dev ocaml-native-compilers dh-ocaml sbuild-build-depends-ssreflect-dummy Authentication warning overridden. Get:1 http://localhost/debian/ sid/main libpipeline1 amd64 1.2.0-3 [37.9 kB] Get:2 http://localhost/debian/ sid/main libssl1.0.0 amd64 1.0.0e-2 [1143 kB] Get:3 http://localhost/debian/ sid/main libgpg-error0 amd64 1.10-1 [66.6 kB] Get:4 http://localhost/debian/ sid/main libgcrypt11 amd64 1.5.0-3 [298 kB] Get:5 http://localhost/debian/ sid/main libp11-kit0 amd64 0.4-2 [45.2 kB] Get:6 http://localhost/debian/ sid/main libtasn1-3 amd64 2.9-4 [63.9 kB] Get:7 http://localhost/debian/ sid/main libgnutls26 amd64 2.12.10-1 [784 kB] Get:8 http://localhost/debian/ sid/main libkeyutils1 amd64 1.5.2-2 [8860 B] Get:9 http://localhost/debian/ sid/main libkrb5support0 amd64 1.9.1+dfsg-2 [47.1 kB] Get:10 http://localhost/debian/ sid/main libk5crypto3 amd64 1.9.1+dfsg-2 [111 kB] Get:11 http://localhost/debian/ sid/main libkrb5-3 amd64 1.9.1+dfsg-2 [381 kB] Get:12 http://localhost/debian/ sid/main libgssapi-krb5-2 amd64 1.9.1+dfsg-2 [147 kB] Get:13 http://localhost/debian/ sid/main libpcre3 amd64 8.12-4 [225 kB] Get:14 http://localhost/debian/ sid/main libglib2.0-0 amd64 2.28.6-1 [1648 kB] Get:15 http://localhost/debian/ sid/main libatk1.0-data all 2.0.1-2 [215 kB] Get:16 http://localhost/debian/ sid/main libatk1.0-0 amd64 2.0.1-2 [93.0 kB] Get:17 http://localhost/debian/ sid/main libavahi-common-data amd64 0.6.30-5 [131 kB] Get:18 http://localhost/debian/ sid/main libavahi-common3 amd64 0.6.30-5 [54.0 kB] Get:19 http://localhost/debian/ sid/main libdbus-1-3 amd64 1.4.14-1 [163 kB] Get:20 http://localhost/debian/ sid/main libavahi-client3 amd64 0.6.30-5 [58.8 kB] Get:21 http://localhost/debian/ sid/main libcups2 amd64 1.5.0-5 [248 kB] Get:22 http://localhost/debian/ sid/main libdatrie1 amd64 0.2.4-3 [27.6 kB] Get:23 http://localhost/debian/ sid/main libexpat1 amd64 2.0.1-7 [137 kB] Get:24 http://localhost/debian/ sid/main libfreetype6 amd64 2.4.6-2 [435 kB] Get:25 http://localhost/debian/ sid/main ucf all 3.0025+nmu2 [70.6 kB] Get:26 http://localhost/debian/ sid/main ttf-dejavu-core all 2.33-2 [1552 kB] Get:27 http://localhost/debian/ sid/main fontconfig-config all 2.8.0-3 [221 kB] Get:28 http://localhost/debian/ sid/main libfontconfig1 amd64 2.8.0-3 [282 kB] Get:29 http://localhost/debian/ sid/main libjpeg8 amd64 8c-2 [132 kB] Get:30 http://localhost/debian/ sid/main libjasper1 amd64 1.900.1-10 [159 kB] Get:31 http://localhost/debian/ sid/main libpng12-0 amd64 1.2.46-3 [188 kB] Get:32 http://localhost/debian/ sid/main libjpeg62 amd64 6b1-2 [94.1 kB] Get:33 http://localhost/debian/ sid/main libtiff4 amd64 3.9.5-1 [200 kB] Get:34 http://localhost/debian/ sid/main libxau6 amd64 1:1.0.6-3 [17.0 kB] Get:35 http://localhost/debian/ sid/main libxdmcp6 amd64 1:1.1.0-3 [22.9 kB] Get:36 http://localhost/debian/ sid/main libxcb1 amd64 1.7-3 [45.4 kB] Get:37 http://localhost/debian/ sid/main libx11-data all 2:1.4.4-1 [183 kB] Get:38 http://localhost/debian/ sid/main libx11-6 amd64 2:1.4.4-1 [889 kB] Get:39 http://localhost/debian/ sid/main libgdk-pixbuf2.0-0 amd64 2.24.0-1 [666 kB] Get:40 http://localhost/debian/ sid/main libgtk2.0-common all 2.24.6-1 [7228 kB] Get:41 http://localhost/debian/ sid/main libpixman-1-0 amd64 0.22.2-1 [356 kB] Get:42 http://localhost/debian/ sid/main libxcb-render0 amd64 1.7-3 [16.3 kB] Get:43 http://localhost/debian/ sid/main libxcb-shm0 amd64 1.7-3 [9458 B] Get:44 http://localhost/debian/ sid/main libxrender1 amd64 1:0.9.6-2 [31.5 kB] Get:45 http://localhost/debian/ sid/main libcairo2 amd64 1.10.2-6.1 [948 kB] Get:46 http://localhost/debian/ sid/main libthai-data all 0.1.15-2 [201 kB] Get:47 http://localhost/debian/ sid/main libthai0 amd64 0.1.15-2 [42.9 kB] Get:48 http://localhost/debian/ sid/main libxft2 amd64 2.2.0-3 [58.1 kB] Get:49 http://localhost/debian/ sid/main fontconfig amd64 2.8.0-3 [334 kB] Get:50 http://localhost/debian/ sid/main libpango1.0-0 amd64 1.28.4-3 [442 kB] Get:51 http://localhost/debian/ sid/main libxcomposite1 amd64 1:0.4.3-2 [16.6 kB] Get:52 http://localhost/debian/ sid/main libxfixes3 amd64 1:5.0-4 [21.5 kB] Get:53 http://localhost/debian/ sid/main libxcursor1 amd64 1:1.1.12-1 [26.8 kB] Get:54 http://localhost/debian/ sid/main libxdamage1 amd64 1:1.1.3-2 [14.3 kB] Get:55 http://localhost/debian/ sid/main libxext6 amd64 2:1.3.0-3 [52.3 kB] Get:56 http://localhost/debian/ sid/main libxi6 amd64 2:1.4.3-3 [66.2 kB] Get:57 http://localhost/debian/ sid/main libxinerama1 amd64 2:1.1.1-3 [15.9 kB] Get:58 http://localhost/debian/ sid/main libxrandr2 amd64 2:1.3.2-2 [33.5 kB] Get:59 http://localhost/debian/ sid/main libxml2 amd64 2.7.8.dfsg-4 [892 kB] Get:60 http://localhost/debian/ sid/main shared-mime-info amd64 0.90-1 [1014 kB] Get:61 http://localhost/debian/ sid/main libgtk2.0-0 amd64 2.24.6-1 [2700 kB] Get:62 http://localhost/debian/ sid/main x11-common all 1:7.6+8 [276 kB] Get:63 http://localhost/debian/ sid/main libice6 amd64 2:1.0.7-2 [56.5 kB] Get:64 http://localhost/debian/ sid/main libsm6 amd64 2:1.2.0-2 [29.8 kB] Get:65 http://localhost/debian/ sid/main libdb4.8 amd64 4.8.30-9 [694 kB] Get:66 http://localhost/debian/ sid/main bsdmainutils amd64 8.2.3 [208 kB] Get:67 http://localhost/debian/ sid/main groff-base amd64 1.21-6 [1150 kB] Get:68 http://localhost/debian/ sid/main libpopt0 amd64 1.16-1 [54.1 kB] Get:69 http://localhost/debian/ sid/main man-db amd64 2.6.0.2-2 [1023 kB] Get:70 http://localhost/debian/ sid/main libmagic1 amd64 5.08-1 [246 kB] Get:71 http://localhost/debian/ sid/main file amd64 5.08-1 [51.7 kB] Get:72 http://localhost/debian/ sid/main gettext-base amd64 0.18.1.1-4 [154 kB] Get:73 http://localhost/debian/ sid/main libsqlite3-0 amd64 3.7.7-2 [420 kB] Get:74 http://localhost/debian/ sid/main mime-support all 3.51-1 [35.0 kB] Get:75 http://localhost/debian/ sid/main python2.6-minimal amd64 2.6.7-4 [1524 kB] Get:76 http://localhost/debian/ sid/main python2.6 amd64 2.6.7-4 [2483 kB] Get:77 http://localhost/debian/ sid/main python-minimal all 2.6.7-3 [39.2 kB] Get:78 http://localhost/debian/ sid/main python all 2.6.7-3 [177 kB] Get:79 http://localhost/debian/ sid/main coq-theories all 8.3.pl2+dfsg-1 [53.3 MB] Get:80 http://localhost/debian/ sid/main emacsen-common all 1.4.22 [18.8 kB] Get:81 http://localhost/debian/ sid/main ocaml-base-nox amd64 3.12.0-7 [687 kB] Get:82 http://localhost/debian/ sid/main libglade2-0 amd64 1:2.6.4-1 [89.0 kB] Get:83 http://localhost/debian/ sid/main libaspell15 amd64 0.60.7~20110707-1 [707 kB] Get:84 http://localhost/debian/ sid/main libhunspell-1.2-0 amd64 1.2.14-4 [172 kB] Get:85 http://localhost/debian/ sid/main libenchant1c2a amd64 1.6.0-3 [92.8 kB] Get:86 http://localhost/debian/ sid/main libgtkspell0 amd64 2.0.16-1 [28.9 kB] Get:87 http://localhost/debian/ sid/main liblablgtk2-ocaml amd64 2.14.2+dfsg-2 [1030 kB] Get:88 http://localhost/debian/ sid/main libcoq-ocaml amd64 8.3.pl2+dfsg-1 [2090 kB] Get:89 http://localhost/debian/ sid/main coq amd64 8.3.pl2+dfsg-1 [5672 kB] Get:90 http://localhost/debian/ sid/main html2text amd64 1.3.2a-15 [103 kB] Get:91 http://localhost/debian/ sid/main libcroco3 amd64 0.6.2-1 [125 kB] Get:92 http://localhost/debian/ sid/main libunistring0 amd64 0.9.3-4 [437 kB] Get:93 http://localhost/debian/ sid/main gettext amd64 0.18.1.1-4 [2079 kB] Get:94 http://localhost/debian/ sid/main intltool-debian all 0.35.0+20060710.1 [30.8 kB] Get:95 http://localhost/debian/ sid/main po-debconf all 1.0.16+nmu1 [223 kB] Get:96 http://localhost/debian/ sid/main debhelper all 8.9.6 [562 kB] Get:97 http://localhost/debian/ sid/main libgirepository-1.0-1 amd64 0.10.8-2 [104 kB] Get:98 http://localhost/debian/ sid/main gir1.2-glib-2.0 amd64 0.10.8-2 [150 kB] Get:99 http://localhost/debian/ sid/main gir1.2-atk-1.0 amd64 2.0.1-2 [63.0 kB] Get:100 http://localhost/debian/ sid/main libcairo-gobject2 amd64 1.10.2-6.1 [589 kB] Get:101 http://localhost/debian/ sid/main gir1.2-freedesktop amd64 0.10.8-2 [18.9 kB] Get:102 http://localhost/debian/ sid/main gir1.2-gdkpixbuf-2.0 amd64 2.24.0-1 [15.3 kB] Get:103 http://localhost/debian/ sid/main gir1.2-pango-1.0 amd64 1.28.4-3 [129 kB] Get:104 http://localhost/debian/ sid/main pkg-config amd64 0.26-1 [59.5 kB] Get:105 http://localhost/debian/ sid/main libglib2.0-data all 2.28.6-1 [1994 kB] Get:106 http://localhost/debian/ sid/main libglib2.0-bin amd64 2.28.6-1 [483 kB] Get:107 http://localhost/debian/ sid/main zlib1g-dev amd64 1:1.2.3.4.dfsg-3 [192 kB] Get:108 http://localhost/debian/ sid/main libglib2.0-dev amd64 2.28.6-1 [2115 kB] Get:109 http://localhost/debian/ sid/main libatk1.0-dev amd64 2.0.1-2 [169 kB] Get:110 http://localhost/debian/ sid/main libcairo-script-interpreter2 amd64 1.10.2-6.1 [631 kB] Get:111 http://localhost/debian/ sid/main libexpat1-dev amd64 2.0.1-7 [221 kB] Get:112 http://localhost/debian/ sid/main libfreetype6-dev amd64 2.4.6-2 [797 kB] Get:113 http://localhost/debian/ sid/main libfontconfig1-dev amd64 2.8.0-3 [833 kB] Get:114 http://localhost/debian/ sid/main xorg-sgml-doctools all 1:1.8-2 [20.0 kB] Get:115 http://localhost/debian/ sid/main x11proto-core-dev all 7.0.22-1 [323 kB] Get:116 http://localhost/debian/ sid/main libxau-dev amd64 1:1.0.6-3 [20.5 kB] Get:117 http://localhost/debian/ sid/main libxdmcp-dev amd64 1:1.1.0-3 [56.5 kB] Get:118 http://localhost/debian/ sid/main x11proto-input-dev all 2.0.2-2 [82.3 kB] Get:119 http://localhost/debian/ sid/main x11proto-kb-dev all 1.0.5-2 [27.5 kB] Get:120 http://localhost/debian/ sid/main xtrans-dev all 1.2.6-2 [101 kB] Get:121 http://localhost/debian/ sid/main libpthread-stubs0 amd64 0.3-2.1 [3232 B] Get:122 http://localhost/debian/ sid/main libpthread-stubs0-dev amd64 0.3-2.1 [3554 B] Get:123 http://localhost/debian/ sid/main libxcb1-dev amd64 1.7-3 [83.1 kB] Get:124 http://localhost/debian/ sid/main libx11-dev amd64 2:1.4.4-1 [3383 kB] Get:125 http://localhost/debian/ sid/main x11proto-render-dev all 2:0.11.1-2 [20.8 kB] Get:126 http://localhost/debian/ sid/main libxrender-dev amd64 1:0.9.6-2 [39.7 kB] Get:127 http://localhost/debian/ sid/main libpng12-dev amd64 1.2.46-3 [265 kB] Get:128 http://localhost/debian/ sid/main libice-dev amd64 2:1.0.7-2 [143 kB] Get:129 http://localhost/debian/ sid/main libsm-dev amd64 2:1.2.0-2 [101 kB] Get:130 http://localhost/debian/ sid/main libpixman-1-dev amd64 0.22.2-1 [385 kB] Get:131 http://localhost/debian/ sid/main libxcb-render0-dev amd64 1.7-3 [23.8 kB] Get:132 http://localhost/debian/ sid/main libxcb-shm0-dev amd64 1.7-3 [11.0 kB] Get:133 http://localhost/debian/ sid/main libcairo2-dev amd64 1.10.2-6.1 [1156 kB] Get:134 http://localhost/debian/ sid/main libncurses5-dev amd64 5.9-1 [507 kB] Get:135 http://localhost/debian/ sid/main ocaml-interp amd64 3.12.0-7 [315 kB] Get:136 http://localhost/debian/ sid/main ocaml-nox amd64 3.12.0-7 [7534 kB] Get:137 http://localhost/debian/ sid/main ocaml-compiler-libs amd64 3.12.0-7 [1192 kB] Get:138 http://localhost/debian/ sid/main camlp5 amd64 6.02.2-1 [4180 kB] Get:139 http://localhost/debian/ sid/main libgdk-pixbuf2.0-dev amd64 2.24.0-1 [55.2 kB] Get:140 http://localhost/debian/ sid/main libxft-dev amd64 2.2.0-3 [71.5 kB] Get:141 http://localhost/debian/ sid/main libpango1.0-dev amd64 1.28.4-3 [596 kB] Get:142 http://localhost/debian/ sid/main x11proto-xext-dev all 7.2.0-3 [255 kB] Get:143 http://localhost/debian/ sid/main libxext-dev amd64 2:1.3.0-3 [167 kB] Get:144 http://localhost/debian/ sid/main x11proto-xinerama-dev all 1.2.1-2 [4938 B] Get:145 http://localhost/debian/ sid/main libxinerama-dev amd64 2:1.1.1-3 [18.1 kB] Get:146 http://localhost/debian/ sid/main libxi-dev amd64 2:1.4.3-3 [253 kB] Get:147 http://localhost/debian/ sid/main x11proto-randr-dev all 1.3.2-2 [40.0 kB] Get:148 http://localhost/debian/ sid/main libxrandr-dev amd64 2:1.3.2-2 [41.9 kB] Get:149 http://localhost/debian/ sid/main x11proto-fixes-dev all 1:5.0-2 [19.2 kB] Get:150 http://localhost/debian/ sid/main libxfixes-dev amd64 1:5.0-4 [23.4 kB] Get:151 http://localhost/debian/ sid/main libxcursor-dev amd64 1:1.1.12-1 [34.7 kB] Get:152 http://localhost/debian/ sid/main x11proto-composite-dev all 1:0.4.2-2 [15.3 kB] Get:153 http://localhost/debian/ sid/main libxcomposite-dev amd64 1:0.4.3-2 [20.2 kB] Get:154 http://localhost/debian/ sid/main x11proto-damage-dev all 1:1.2.1-2 [11.8 kB] Get:155 http://localhost/debian/ sid/main libxdamage-dev amd64 1:1.1.3-2 [14.0 kB] Get:156 http://localhost/debian/ sid/main libxml2-utils amd64 2.7.8.dfsg-4 [92.5 kB] Get:157 http://localhost/debian/ sid/main libgtk2.0-dev amd64 2.24.6-1 [4264 kB] Get:158 http://localhost/debian/ sid/main libxml2-dev amd64 2.7.8.dfsg-4 [854 kB] Get:159 http://localhost/debian/ sid/main libglade2-dev amd64 1:2.6.4-1 [139 kB] Get:160 http://localhost/debian/ sid/main libenchant-dev amd64 1.6.0-3 [71.2 kB] Get:161 http://localhost/debian/ sid/main libgtkspell-dev amd64 2.0.16-1 [31.9 kB] Get:162 http://localhost/debian/ sid/main liblablgtk2-ocaml-dev amd64 2.14.2+dfsg-2 [2065 kB] Get:163 http://localhost/debian/ sid/main libcoq-ocaml-dev amd64 8.3.pl2+dfsg-1 [5920 kB] Get:164 http://localhost/debian/ sid/main ocaml-native-compilers amd64 3.12.0-7 [3203 kB] Get:165 http://localhost/debian/ sid/main dh-ocaml all 1.0.2 [88.2 kB] Extracting templates from packages: 18% Extracting templates from packages: 36% Extracting templates from packages: 54% Extracting templates from packages: 72% Extracting templates from packages: 90% Extracting templates from packages: 100% Preconfiguring packages ... Fetched 149 MB in 1min 57s (1266 kB/s) Selecting previously deselected package libpipeline1. (Reading database ... 10801 files and directories currently installed.) Unpacking libpipeline1 (from .../libpipeline1_1.2.0-3_amd64.deb) ... Selecting previously deselected package libssl1.0.0. Unpacking libssl1.0.0 (from .../libssl1.0.0_1.0.0e-2_amd64.deb) ... Selecting previously deselected package libgpg-error0. Unpacking libgpg-error0 (from .../libgpg-error0_1.10-1_amd64.deb) ... Selecting previously deselected package libgcrypt11. Unpacking libgcrypt11 (from .../libgcrypt11_1.5.0-3_amd64.deb) ... Selecting previously deselected package libp11-kit0. Unpacking libp11-kit0 (from .../libp11-kit0_0.4-2_amd64.deb) ... Selecting previously deselected package libtasn1-3. Unpacking libtasn1-3 (from .../libtasn1-3_2.9-4_amd64.deb) ... Selecting previously deselected package libgnutls26. Unpacking libgnutls26 (from .../libgnutls26_2.12.10-1_amd64.deb) ... Selecting previously deselected package libkeyutils1. Unpacking libkeyutils1 (from .../libkeyutils1_1.5.2-2_amd64.deb) ... Selecting previously deselected package libkrb5support0. Unpacking libkrb5support0 (from .../libkrb5support0_1.9.1+dfsg-2_amd64.deb) ... Selecting previously deselected package libk5crypto3. Unpacking libk5crypto3 (from .../libk5crypto3_1.9.1+dfsg-2_amd64.deb) ... Selecting previously deselected package libkrb5-3. Unpacking libkrb5-3 (from .../libkrb5-3_1.9.1+dfsg-2_amd64.deb) ... Selecting previously deselected package libgssapi-krb5-2. Unpacking libgssapi-krb5-2 (from .../libgssapi-krb5-2_1.9.1+dfsg-2_amd64.deb) ... Selecting previously deselected package libpcre3. Unpacking libpcre3 (from .../libpcre3_8.12-4_amd64.deb) ... Selecting previously deselected package libglib2.0-0. Unpacking libglib2.0-0 (from .../libglib2.0-0_2.28.6-1_amd64.deb) ... Selecting previously deselected package libatk1.0-data. Unpacking libatk1.0-data (from .../libatk1.0-data_2.0.1-2_all.deb) ... Selecting previously deselected package libatk1.0-0. Unpacking libatk1.0-0 (from .../libatk1.0-0_2.0.1-2_amd64.deb) ... Selecting previously deselected package libavahi-common-data. Unpacking libavahi-common-data (from .../libavahi-common-data_0.6.30-5_amd64.deb) ... Selecting previously deselected package libavahi-common3. Unpacking libavahi-common3 (from .../libavahi-common3_0.6.30-5_amd64.deb) ... Selecting previously deselected package libdbus-1-3. Unpacking libdbus-1-3 (from .../libdbus-1-3_1.4.14-1_amd64.deb) ... Selecting previously deselected package libavahi-client3. Unpacking libavahi-client3 (from .../libavahi-client3_0.6.30-5_amd64.deb) ... Selecting previously deselected package libcups2. Unpacking libcups2 (from .../libcups2_1.5.0-5_amd64.deb) ... Selecting previously deselected package libdatrie1. Unpacking libdatrie1 (from .../libdatrie1_0.2.4-3_amd64.deb) ... Selecting previously deselected package libexpat1. Unpacking libexpat1 (from .../libexpat1_2.0.1-7_amd64.deb) ... Selecting previously deselected package libfreetype6. Unpacking libfreetype6 (from .../libfreetype6_2.4.6-2_amd64.deb) ... Selecting previously deselected package ucf. Unpacking ucf (from .../ucf_3.0025+nmu2_all.deb) ... Moving old data out of the way Selecting previously deselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-2_all.deb) ... Selecting previously deselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.8.0-3_all.deb) ... Selecting previously deselected package libfontconfig1. Unpacking libfontconfig1 (from .../libfontconfig1_2.8.0-3_amd64.deb) ... Selecting previously deselected package libjpeg8. Unpacking libjpeg8 (from .../libjpeg8_8c-2_amd64.deb) ... Selecting previously deselected package libjasper1. Unpacking libjasper1 (from .../libjasper1_1.900.1-10_amd64.deb) ... Selecting previously deselected package libpng12-0. Unpacking libpng12-0 (from .../libpng12-0_1.2.46-3_amd64.deb) ... Selecting previously deselected package libjpeg62. Unpacking libjpeg62 (from .../libjpeg62_6b1-2_amd64.deb) ... Selecting previously deselected package libtiff4. Unpacking libtiff4 (from .../libtiff4_3.9.5-1_amd64.deb) ... Selecting previously deselected package libxau6. Unpacking libxau6 (from .../libxau6_1%3a1.0.6-3_amd64.deb) ... Selecting previously deselected package libxdmcp6. Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.1.0-3_amd64.deb) ... Selecting previously deselected package libxcb1. Unpacking libxcb1 (from .../libxcb1_1.7-3_amd64.deb) ... Selecting previously deselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.4.4-1_all.deb) ... Selecting previously deselected package libx11-6. Unpacking libx11-6 (from .../libx11-6_2%3a1.4.4-1_amd64.deb) ... Selecting previously deselected package libgdk-pixbuf2.0-0. Unpacking libgdk-pixbuf2.0-0 (from .../libgdk-pixbuf2.0-0_2.24.0-1_amd64.deb) ... Selecting previously deselected package libgtk2.0-common. Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.6-1_all.deb) ... Selecting previously deselected package libpixman-1-0. Unpacking libpixman-1-0 (from .../libpixman-1-0_0.22.2-1_amd64.deb) ... Selecting previously deselected package libxcb-render0. Unpacking libxcb-render0 (from .../libxcb-render0_1.7-3_amd64.deb) ... Selecting previously deselected package libxcb-shm0. Unpacking libxcb-shm0 (from .../libxcb-shm0_1.7-3_amd64.deb) ... Selecting previously deselected package libxrender1. Unpacking libxrender1 (from .../libxrender1_1%3a0.9.6-2_amd64.deb) ... Selecting previously deselected package libcairo2. Unpacking libcairo2 (from .../libcairo2_1.10.2-6.1_amd64.deb) ... Selecting previously deselected package libthai-data. Unpacking libthai-data (from .../libthai-data_0.1.15-2_all.deb) ... Selecting previously deselected package libthai0. Unpacking libthai0 (from .../libthai0_0.1.15-2_amd64.deb) ... Selecting previously deselected package libxft2. Unpacking libxft2 (from .../libxft2_2.2.0-3_amd64.deb) ... Selecting previously deselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.8.0-3_amd64.deb) ... Selecting previously deselected package libpango1.0-0. Unpacking libpango1.0-0 (from .../libpango1.0-0_1.28.4-3_amd64.deb) ... Selecting previously deselected package libxcomposite1. Unpacking libxcomposite1 (from .../libxcomposite1_1%3a0.4.3-2_amd64.deb) ... Selecting previously deselected package libxfixes3. Unpacking libxfixes3 (from .../libxfixes3_1%3a5.0-4_amd64.deb) ... Selecting previously deselected package libxcursor1. Unpacking libxcursor1 (from .../libxcursor1_1%3a1.1.12-1_amd64.deb) ... Selecting previously deselected package libxdamage1. Unpacking libxdamage1 (from .../libxdamage1_1%3a1.1.3-2_amd64.deb) ... Selecting previously deselected package libxext6. Unpacking libxext6 (from .../libxext6_2%3a1.3.0-3_amd64.deb) ... Selecting previously deselected package libxi6. Unpacking libxi6 (from .../libxi6_2%3a1.4.3-3_amd64.deb) ... Selecting previously deselected package libxinerama1. Unpacking libxinerama1 (from .../libxinerama1_2%3a1.1.1-3_amd64.deb) ... Selecting previously deselected package libxrandr2. Unpacking libxrandr2 (from .../libxrandr2_2%3a1.3.2-2_amd64.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-4_amd64.deb) ... Selecting previously deselected package shared-mime-info. Unpacking shared-mime-info (from .../shared-mime-info_0.90-1_amd64.deb) ... Selecting previously deselected package libgtk2.0-0. Unpacking libgtk2.0-0 (from .../libgtk2.0-0_2.24.6-1_amd64.deb) ... Selecting previously deselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.6+8_all.deb) ... Selecting previously deselected package libice6. Unpacking libice6 (from .../libice6_2%3a1.0.7-2_amd64.deb) ... Selecting previously deselected package libsm6. Unpacking libsm6 (from .../libsm6_2%3a1.2.0-2_amd64.deb) ... Selecting previously deselected package libdb4.8. Unpacking libdb4.8 (from .../libdb4.8_4.8.30-9_amd64.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.3_amd64.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-6_amd64.deb) ... Selecting previously deselected package libpopt0. Unpacking libpopt0 (from .../libpopt0_1.16-1_amd64.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.6.0.2-2_amd64.deb) ... Selecting previously deselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.08-1_amd64.deb) ... Selecting previously deselected package file. Unpacking file (from .../archives/file_5.08-1_amd64.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-4_amd64.deb) ... Selecting previously deselected package libsqlite3-0. Unpacking libsqlite3-0 (from .../libsqlite3-0_3.7.7-2_amd64.deb) ... Selecting previously deselected package mime-support. Unpacking mime-support (from .../mime-support_3.51-1_all.deb) ... Selecting previously deselected package python2.6-minimal. Unpacking python2.6-minimal (from .../python2.6-minimal_2.6.7-4_amd64.deb) ... Selecting previously deselected package python2.6. Unpacking python2.6 (from .../python2.6_2.6.7-4_amd64.deb) ... Selecting previously deselected package python-minimal. Unpacking python-minimal (from .../python-minimal_2.6.7-3_all.deb) ... Selecting previously deselected package python. Unpacking python (from .../python_2.6.7-3_all.deb) ... Selecting previously deselected package coq-theories. Unpacking coq-theories (from .../coq-theories_8.3.pl2+dfsg-1_all.deb) ... Selecting previously deselected package emacsen-common. Unpacking emacsen-common (from .../emacsen-common_1.4.22_all.deb) ... Selecting previously deselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.0-7_amd64.deb) ... Selecting previously deselected package libglade2-0. Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1_amd64.deb) ... Selecting previously deselected package libaspell15. Unpacking libaspell15 (from .../libaspell15_0.60.7~20110707-1_amd64.deb) ... Selecting previously deselected package libhunspell-1.2-0. Unpacking libhunspell-1.2-0 (from .../libhunspell-1.2-0_1.2.14-4_amd64.deb) ... Selecting previously deselected package libenchant1c2a. Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-3_amd64.deb) ... Selecting previously deselected package libgtkspell0. Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1_amd64.deb) ... Selecting previously deselected package liblablgtk2-ocaml. Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.2+dfsg-2_amd64.deb) ... Selecting previously deselected package libcoq-ocaml. Unpacking libcoq-ocaml (from .../libcoq-ocaml_8.3.pl2+dfsg-1_amd64.deb) ... Selecting previously deselected package coq. Unpacking coq (from .../coq_8.3.pl2+dfsg-1_amd64.deb) ... Selecting previously deselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_amd64.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_amd64.deb) ... Selecting previously deselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-4_amd64.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-4_amd64.deb) ... Selecting previously deselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously deselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu1_all.deb) ... Selecting previously deselected package debhelper. Unpacking debhelper (from .../debhelper_8.9.6_all.deb) ... Selecting previously deselected package libgirepository-1.0-1. Unpacking libgirepository-1.0-1 (from .../libgirepository-1.0-1_0.10.8-2_amd64.deb) ... Selecting previously deselected package gir1.2-glib-2.0. Unpacking gir1.2-glib-2.0 (from .../gir1.2-glib-2.0_0.10.8-2_amd64.deb) ... Selecting previously deselected package gir1.2-atk-1.0. Unpacking gir1.2-atk-1.0 (from .../gir1.2-atk-1.0_2.0.1-2_amd64.deb) ... Selecting previously deselected package libcairo-gobject2. Unpacking libcairo-gobject2 (from .../libcairo-gobject2_1.10.2-6.1_amd64.deb) ... Selecting previously deselected package gir1.2-freedesktop. Unpacking gir1.2-freedesktop (from .../gir1.2-freedesktop_0.10.8-2_amd64.deb) ... Selecting previously deselected package gir1.2-gdkpixbuf-2.0. Unpacking gir1.2-gdkpixbuf-2.0 (from .../gir1.2-gdkpixbuf-2.0_2.24.0-1_amd64.deb) ... Selecting previously deselected package gir1.2-pango-1.0. Unpacking gir1.2-pango-1.0 (from .../gir1.2-pango-1.0_1.28.4-3_amd64.deb) ... Selecting previously deselected package pkg-config. Unpacking pkg-config (from .../pkg-config_0.26-1_amd64.deb) ... Selecting previously deselected package libglib2.0-data. Unpacking libglib2.0-data (from .../libglib2.0-data_2.28.6-1_all.deb) ... Selecting previously deselected package libglib2.0-bin. Unpacking libglib2.0-bin (from .../libglib2.0-bin_2.28.6-1_amd64.deb) ... Selecting previously deselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3_amd64.deb) ... Selecting previously deselected package libglib2.0-dev. Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.28.6-1_amd64.deb) ... Selecting previously deselected package libatk1.0-dev. Unpacking libatk1.0-dev (from .../libatk1.0-dev_2.0.1-2_amd64.deb) ... Selecting previously deselected package libcairo-script-interpreter2. Unpacking libcairo-script-interpreter2 (from .../libcairo-script-interpreter2_1.10.2-6.1_amd64.deb) ... Selecting previously deselected package libexpat1-dev. Unpacking libexpat1-dev (from .../libexpat1-dev_2.0.1-7_amd64.deb) ... Selecting previously deselected package libfreetype6-dev. Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.4.6-2_amd64.deb) ... Selecting previously deselected package libfontconfig1-dev. Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.8.0-3_amd64.deb) ... Selecting previously deselected package xorg-sgml-doctools. Unpacking xorg-sgml-doctools (from .../xorg-sgml-doctools_1%3a1.8-2_all.deb) ... Selecting previously deselected package x11proto-core-dev. Unpacking x11proto-core-dev (from .../x11proto-core-dev_7.0.22-1_all.deb) ... Selecting previously deselected package libxau-dev. Unpacking libxau-dev (from .../libxau-dev_1%3a1.0.6-3_amd64.deb) ... Selecting previously deselected package libxdmcp-dev. Unpacking libxdmcp-dev (from .../libxdmcp-dev_1%3a1.1.0-3_amd64.deb) ... Selecting previously deselected package x11proto-input-dev. Unpacking x11proto-input-dev (from .../x11proto-input-dev_2.0.2-2_all.deb) ... Selecting previously deselected package x11proto-kb-dev. Unpacking x11proto-kb-dev (from .../x11proto-kb-dev_1.0.5-2_all.deb) ... Selecting previously deselected package xtrans-dev. Unpacking xtrans-dev (from .../xtrans-dev_1.2.6-2_all.deb) ... Selecting previously deselected package libpthread-stubs0. Unpacking libpthread-stubs0 (from .../libpthread-stubs0_0.3-2.1_amd64.deb) ... Selecting previously deselected package libpthread-stubs0-dev. Unpacking libpthread-stubs0-dev (from .../libpthread-stubs0-dev_0.3-2.1_amd64.deb) ... Selecting previously deselected package libxcb1-dev. Unpacking libxcb1-dev (from .../libxcb1-dev_1.7-3_amd64.deb) ... Selecting previously deselected package libx11-dev. Unpacking libx11-dev (from .../libx11-dev_2%3a1.4.4-1_amd64.deb) ... Selecting previously deselected package x11proto-render-dev. Unpacking x11proto-render-dev (from .../x11proto-render-dev_2%3a0.11.1-2_all.deb) ... Selecting previously deselected package libxrender-dev. Unpacking libxrender-dev (from .../libxrender-dev_1%3a0.9.6-2_amd64.deb) ... Selecting previously deselected package libpng12-dev. Unpacking libpng12-dev (from .../libpng12-dev_1.2.46-3_amd64.deb) ... Selecting previously deselected package libice-dev. Unpacking libice-dev (from .../libice-dev_2%3a1.0.7-2_amd64.deb) ... Selecting previously deselected package libsm-dev. Unpacking libsm-dev (from .../libsm-dev_2%3a1.2.0-2_amd64.deb) ... Selecting previously deselected package libpixman-1-dev. Unpacking libpixman-1-dev (from .../libpixman-1-dev_0.22.2-1_amd64.deb) ... Selecting previously deselected package libxcb-render0-dev. Unpacking libxcb-render0-dev (from .../libxcb-render0-dev_1.7-3_amd64.deb) ... Selecting previously deselected package libxcb-shm0-dev. Unpacking libxcb-shm0-dev (from .../libxcb-shm0-dev_1.7-3_amd64.deb) ... Selecting previously deselected package libcairo2-dev. Unpacking libcairo2-dev (from .../libcairo2-dev_1.10.2-6.1_amd64.deb) ... Selecting previously deselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-1_amd64.deb) ... Selecting previously deselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_3.12.0-7_amd64.deb) ... Selecting previously deselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.12.0-7_amd64.deb) ... Selecting previously deselected package ocaml-compiler-libs. Unpacking ocaml-compiler-libs (from .../ocaml-compiler-libs_3.12.0-7_amd64.deb) ... Selecting previously deselected package camlp5. Unpacking camlp5 (from .../camlp5_6.02.2-1_amd64.deb) ... Selecting previously deselected package libgdk-pixbuf2.0-dev. Unpacking libgdk-pixbuf2.0-dev (from .../libgdk-pixbuf2.0-dev_2.24.0-1_amd64.deb) ... Selecting previously deselected package libxft-dev. Unpacking libxft-dev (from .../libxft-dev_2.2.0-3_amd64.deb) ... Selecting previously deselected package libpango1.0-dev. Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.28.4-3_amd64.deb) ... Selecting previously deselected package x11proto-xext-dev. Unpacking x11proto-xext-dev (from .../x11proto-xext-dev_7.2.0-3_all.deb) ... Selecting previously deselected package libxext-dev. Unpacking libxext-dev (from .../libxext-dev_2%3a1.3.0-3_amd64.deb) ... Selecting previously deselected package x11proto-xinerama-dev. Unpacking x11proto-xinerama-dev (from .../x11proto-xinerama-dev_1.2.1-2_all.deb) ... Selecting previously deselected package libxinerama-dev. Unpacking libxinerama-dev (from .../libxinerama-dev_2%3a1.1.1-3_amd64.deb) ... Selecting previously deselected package libxi-dev. Unpacking libxi-dev (from .../libxi-dev_2%3a1.4.3-3_amd64.deb) ... Selecting previously deselected package x11proto-randr-dev. Unpacking x11proto-randr-dev (from .../x11proto-randr-dev_1.3.2-2_all.deb) ... Selecting previously deselected package libxrandr-dev. Unpacking libxrandr-dev (from .../libxrandr-dev_2%3a1.3.2-2_amd64.deb) ... Selecting previously deselected package x11proto-fixes-dev. Unpacking x11proto-fixes-dev (from .../x11proto-fixes-dev_1%3a5.0-2_all.deb) ... Selecting previously deselected package libxfixes-dev. Unpacking libxfixes-dev (from .../libxfixes-dev_1%3a5.0-4_amd64.deb) ... Selecting previously deselected package libxcursor-dev. Unpacking libxcursor-dev (from .../libxcursor-dev_1%3a1.1.12-1_amd64.deb) ... Selecting previously deselected package x11proto-composite-dev. Unpacking x11proto-composite-dev (from .../x11proto-composite-dev_1%3a0.4.2-2_all.deb) ... Selecting previously deselected package libxcomposite-dev. Unpacking libxcomposite-dev (from .../libxcomposite-dev_1%3a0.4.3-2_amd64.deb) ... Selecting previously deselected package x11proto-damage-dev. Unpacking x11proto-damage-dev (from .../x11proto-damage-dev_1%3a1.2.1-2_all.deb) ... Selecting previously deselected package libxdamage-dev. Unpacking libxdamage-dev (from .../libxdamage-dev_1%3a1.1.3-2_amd64.deb) ... Selecting previously deselected package libxml2-utils. Unpacking libxml2-utils (from .../libxml2-utils_2.7.8.dfsg-4_amd64.deb) ... Selecting previously deselected package libgtk2.0-dev. Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.24.6-1_amd64.deb) ... Selecting previously deselected package libxml2-dev. Unpacking libxml2-dev (from .../libxml2-dev_2.7.8.dfsg-4_amd64.deb) ... Selecting previously deselected package libglade2-dev. Unpacking libglade2-dev (from .../libglade2-dev_1%3a2.6.4-1_amd64.deb) ... Selecting previously deselected package libenchant-dev. Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-3_amd64.deb) ... Selecting previously deselected package libgtkspell-dev. Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1_amd64.deb) ... Selecting previously deselected package liblablgtk2-ocaml-dev. Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.14.2+dfsg-2_amd64.deb) ... Selecting previously deselected package libcoq-ocaml-dev. Unpacking libcoq-ocaml-dev (from .../libcoq-ocaml-dev_8.3.pl2+dfsg-1_amd64.deb) ... Selecting previously deselected package ocaml-native-compilers. Unpacking ocaml-native-compilers (from .../ocaml-native-compilers_3.12.0-7_amd64.deb) ... Selecting previously deselected package dh-ocaml. Unpacking dh-ocaml (from .../dh-ocaml_1.0.2_all.deb) ... Selecting previously deselected package sbuild-build-depends-ssreflect-dummy. Unpacking sbuild-build-depends-ssreflect-dummy (from .../sbuild-build-depends-ssreflect-dummy.deb) ... Processing triggers for install-info ... Setting up libpipeline1 (1.2.0-3) ... Setting up libssl1.0.0 (1.0.0e-2) ... Setting up libgpg-error0 (1.10-1) ... Setting up libgcrypt11 (1.5.0-3) ... Setting up libp11-kit0 (0.4-2) ... Setting up libtasn1-3 (2.9-4) ... Setting up libgnutls26 (2.12.10-1) ... Setting up libkeyutils1 (1.5.2-2) ... Setting up libkrb5support0 (1.9.1+dfsg-2) ... Setting up libk5crypto3 (1.9.1+dfsg-2) ... Setting up libkrb5-3 (1.9.1+dfsg-2) ... Setting up libgssapi-krb5-2 (1.9.1+dfsg-2) ... Setting up libpcre3 (8.12-4) ... Setting up libglib2.0-0 (2.28.6-1) ... No schema files found: doing nothing. Setting up libatk1.0-data (2.0.1-2) ... Setting up libatk1.0-0 (2.0.1-2) ... Setting up libavahi-common-data (0.6.30-5) ... Setting up libavahi-common3 (0.6.30-5) ... Setting up libdbus-1-3 (1.4.14-1) ... Setting up libavahi-client3 (0.6.30-5) ... Setting up libcups2 (1.5.0-5) ... Setting up libdatrie1 (0.2.4-3) ... Setting up libexpat1 (2.0.1-7) ... Setting up libfreetype6 (2.4.6-2) ... Setting up ucf (3.0025+nmu2) ... Setting up ttf-dejavu-core (2.33-2) ... Setting up fontconfig-config (2.8.0-3) ... Setting up libfontconfig1 (2.8.0-3) ... Setting up libjpeg8 (8c-2) ... Setting up libjasper1 (1.900.1-10) ... Setting up libpng12-0 (1.2.46-3) ... Setting up libjpeg62 (6b1-2) ... Setting up libtiff4 (3.9.5-1) ... Setting up libxau6 (1:1.0.6-3) ... Setting up libxdmcp6 (1:1.1.0-3) ... Setting up libxcb1 (1.7-3) ... Setting up libx11-data (2:1.4.4-1) ... Setting up libx11-6 (2:1.4.4-1) ... Setting up libgdk-pixbuf2.0-0 (2.24.0-1) ... Setting up libgtk2.0-common (2.24.6-1) ... Setting up libpixman-1-0 (0.22.2-1) ... Setting up libxcb-render0 (1.7-3) ... Setting up libxcb-shm0 (1.7-3) ... Setting up libxrender1 (1:0.9.6-2) ... Setting up libcairo2 (1.10.2-6.1) ... Setting up libthai-data (0.1.15-2) ... Setting up libthai0 (0.1.15-2) ... Setting up libxft2 (2.2.0-3) ... Setting up fontconfig (2.8.0-3) ... Cleaning up old fontconfig caches... done. Regenerating fonts cache... done. Setting up libpango1.0-0 (1.28.4-3) ... Setting up libxcomposite1 (1:0.4.3-2) ... Setting up libxfixes3 (1:5.0-4) ... Setting up libxcursor1 (1:1.1.12-1) ... Setting up libxdamage1 (1:1.1.3-2) ... Setting up libxext6 (2:1.3.0-3) ... Setting up libxi6 (2:1.4.3-3) ... Setting up libxinerama1 (2:1.1.1-3) ... Setting up libxrandr2 (2:1.3.2-2) ... Setting up libxml2 (2.7.8.dfsg-4) ... Setting up shared-mime-info (0.90-1) ... Setting up libgtk2.0-0 (2.24.6-1) ... Setting up x11-common (1:7.6+8) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6 (2:1.0.7-2) ... Setting up libsm6 (2:1.2.0-2) ... Setting up libdb4.8 (4.8.30-9) ... Setting up bsdmainutils (8.2.3) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode. update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode. Setting up groff-base (1.21-6) ... Setting up libpopt0 (1.16-1) ... Setting up man-db (2.6.0.2-2) ... Building database of manual pages ... Setting up libmagic1 (5.08-1) ... Setting up file (5.08-1) ... Setting up gettext-base (0.18.1.1-4) ... Setting up libsqlite3-0 (3.7.7-2) ... Setting up mime-support (3.51-1) ... Setting up python2.6-minimal (2.6.7-4) ... Setting up python2.6 (2.6.7-4) ... Setting up python-minimal (2.6.7-3) ... Setting up python (2.6.7-3) ... Setting up emacsen-common (1.4.22) ... emacsen-common: Handling install of emacsen flavor emacs Setting up ocaml-base-nox (3.12.0-7) ... Setting up libglade2-0 (1:2.6.4-1) ... Setting up libaspell15 (0.60.7~20110707-1) ... Setting up libhunspell-1.2-0 (1.2.14-4) ... Setting up libenchant1c2a (1.6.0-3) ... Setting up libgtkspell0 (2.0.16-1) ... Setting up liblablgtk2-ocaml (2.14.2+dfsg-2) ... Setting up libcoq-ocaml (8.3.pl2+dfsg-1) ... Setting up html2text (1.3.2a-15) ... Setting up libcroco3 (0.6.2-1) ... Setting up libunistring0 (0.9.3-4) ... Setting up gettext (0.18.1.1-4) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu1) ... Setting up debhelper (8.9.6) ... Setting up libgirepository-1.0-1 (0.10.8-2) ... Setting up gir1.2-glib-2.0 (0.10.8-2) ... Setting up gir1.2-atk-1.0 (2.0.1-2) ... Setting up libcairo-gobject2 (1.10.2-6.1) ... Setting up gir1.2-freedesktop (0.10.8-2) ... Setting up gir1.2-gdkpixbuf-2.0 (2.24.0-1) ... Setting up gir1.2-pango-1.0 (1.28.4-3) ... Setting up pkg-config (0.26-1) ... Setting up libglib2.0-data (2.28.6-1) ... Setting up libglib2.0-bin (2.28.6-1) ... Setting up zlib1g-dev (1:1.2.3.4.dfsg-3) ... Setting up libglib2.0-dev (2.28.6-1) ... Setting up libatk1.0-dev (2.0.1-2) ... Setting up libcairo-script-interpreter2 (1.10.2-6.1) ... Setting up libexpat1-dev (2.0.1-7) ... Setting up libfreetype6-dev (2.4.6-2) ... Setting up libfontconfig1-dev (2.8.0-3) ... Setting up xorg-sgml-doctools (1:1.8-2) ... Setting up x11proto-core-dev (7.0.22-1) ... Setting up libxau-dev (1:1.0.6-3) ... Setting up libxdmcp-dev (1:1.1.0-3) ... Setting up x11proto-input-dev (2.0.2-2) ... Setting up x11proto-kb-dev (1.0.5-2) ... Setting up xtrans-dev (1.2.6-2) ... Setting up libpthread-stubs0 (0.3-2.1) ... Setting up libpthread-stubs0-dev (0.3-2.1) ... Setting up libxcb1-dev (1.7-3) ... Setting up libx11-dev (2:1.4.4-1) ... Setting up x11proto-render-dev (2:0.11.1-2) ... Setting up libxrender-dev (1:0.9.6-2) ... Setting up libpng12-dev (1.2.46-3) ... Setting up libice-dev (2:1.0.7-2) ... Setting up libsm-dev (2:1.2.0-2) ... Setting up libpixman-1-dev (0.22.2-1) ... Setting up libxcb-render0-dev (1.7-3) ... Setting up libxcb-shm0-dev (1.7-3) ... Setting up libcairo2-dev (1.10.2-6.1) ... Setting up libncurses5-dev (5.9-1) ... Setting up ocaml-interp (3.12.0-7) ... Setting up ocaml-nox (3.12.0-7) ... Setting up ocaml-compiler-libs (3.12.0-7) ... Setting up camlp5 (6.02.2-1) ... Setting up libgdk-pixbuf2.0-dev (2.24.0-1) ... Setting up libxft-dev (2.2.0-3) ... Setting up libpango1.0-dev (1.28.4-3) ... Setting up x11proto-xext-dev (7.2.0-3) ... Setting up libxext-dev (2:1.3.0-3) ... Setting up x11proto-xinerama-dev (1.2.1-2) ... Setting up libxinerama-dev (2:1.1.1-3) ... Setting up libxi-dev (2:1.4.3-3) ... Setting up x11proto-randr-dev (1.3.2-2) ... Setting up libxrandr-dev (2:1.3.2-2) ... Setting up x11proto-fixes-dev (1:5.0-2) ... Setting up libxfixes-dev (1:5.0-4) ... Setting up libxcursor-dev (1:1.1.12-1) ... Setting up x11proto-composite-dev (1:0.4.2-2) ... Setting up libxcomposite-dev (1:0.4.3-2) ... Setting up x11proto-damage-dev (1:1.2.1-2) ... Setting up libxdamage-dev (1:1.1.3-2) ... Setting up libxml2-utils (2.7.8.dfsg-4) ... Setting up libgtk2.0-dev (2.24.6-1) ... Setting up libxml2-dev (2.7.8.dfsg-4) ... Setting up libglade2-dev (1:2.6.4-1) ... Setting up libenchant-dev (1.6.0-3) ... Setting up libgtkspell-dev (2.0.16-1) ... Setting up liblablgtk2-ocaml-dev (2.14.2+dfsg-2) ... Setting up ocaml-native-compilers (3.12.0-7) ... Setting up dh-ocaml (1.0.2) ... Setting up coq-theories (8.3.pl2+dfsg-1) ... Setting up coq (8.3.pl2+dfsg-1) ... emacsen-common: Handling install of emacsen flavor emacs Setting up libcoq-ocaml-dev (8.3.pl2+dfsg-1) ... Setting up sbuild-build-depends-ssreflect-dummy (0.invalid.0) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 2.6.32-5-amd64 amd64 (x86_64) Toolchain package versions: binutils_2.21.53.20110910-1 dpkg-dev_1.16.0.3 g++-4.6_4.6.1-10 gcc-4.6_4.6.1-10 libc6-dev_2.13-20 libstdc++6_4.6.1-10 libstdc++6-4.6-dev_4.6.1-10 linux-libc-dev_3.0.0-3 Package versions: apt_0.8.15.6 apt-utils_0.8.15.6 base-files_6.5 base-passwd_3.5.23 bash_4.1-3 binutils_2.21.53.20110910-1 bsdmainutils_8.2.3 bsdutils_1:2.19.1-5 build-essential_11.5 bzip2_1.0.5-7 camlp5_6.02.2-1 clang_2.9-11 coq_8.3.pl2+dfsg-1 coq-theories_8.3.pl2+dfsg-1 coreutils_8.5-1 cpp_4:4.6.1-2 cpp-4.6_4.6.1-10 dash_0.5.7-1 debconf_1.5.41 debfoster_2.7-1.1 debhelper_8.9.6 debian-archive-keyring_2010.08.28 debianutils_4.0.2 dh-ocaml_1.0.2 diffutils_1:3.0-1 dpkg_1.16.0.3 dpkg-dev_1.16.0.3 e2fslibs_1.42~WIP-2011-07-02-1 e2fsprogs_1.42~WIP-2011-07-02-1 emacsen-common_1.4.22 fakeroot_1.18-1 file_5.08-1 findutils_4.4.2-1+b1 fontconfig_2.8.0-3 fontconfig-config_2.8.0-3 g++_4:4.6.1-2 g++-4.6_4.6.1-10 gcc_4:4.6.1-2 gcc-4.6_4.6.1-10 gcc-4.6-base_4.6.1-10 gettext_0.18.1.1-4 gettext-base_0.18.1.1-4 gir1.2-atk-1.0_2.0.1-2 gir1.2-freedesktop_0.10.8-2 gir1.2-gdkpixbuf-2.0_2.24.0-1 gir1.2-glib-2.0_0.10.8-2 gir1.2-pango-1.0_1.28.4-3 gnupg_1.4.11-3 gpgv_1.4.11-3 grep_2.9-2 groff-base_1.21-6 gzip_1.4-1 hostname_3.06 html2text_1.3.2a-15 initscripts_2.88dsf-13.11 insserv_1.14.0-2.1 install-info_4.13a.dfsg.1-8 intltool-debian_0.35.0+20060710.1 less_444-1 libacl1_2.2.51-3 libaspell15_0.60.7~20110707-1 libatk1.0-0_2.0.1-2 libatk1.0-data_2.0.1-2 libatk1.0-dev_2.0.1-2 libattr1_1:2.4.46-3 libavahi-client3_0.6.30-5 libavahi-common-data_0.6.30-5 libavahi-common3_0.6.30-5 libblkid1_2.19.1-5 libbz2-1.0_1.0.5-7 libc-bin_2.13-20 libc-dev-bin_2.13-20 libc6_2.13-20 libc6-dev_2.13-20 libcairo-gobject2_1.10.2-6.1 libcairo-script-interpreter2_1.10.2-6.1 libcairo2_1.10.2-6.1 libcairo2-dev_1.10.2-6.1 libcomerr2_1.42~WIP-2011-07-02-1 libcoq-ocaml_8.3.pl2+dfsg-1 libcoq-ocaml-dev_8.3.pl2+dfsg-1 libcroco3_0.6.2-1 libcups2_1.5.0-5 libdatrie1_0.2.4-3 libdb4.8_4.8.30-9 libdb5.1_5.1.25-11 libdbus-1-3_1.4.14-1 libdpkg-perl_1.16.0.3 libenchant-dev_1.6.0-3 libenchant1c2a_1.6.0-3 libexpat1_2.0.1-7 libexpat1-dev_2.0.1-7 libffi5_3.0.10~rc10-3 libfontconfig1_2.8.0-3 libfontconfig1-dev_2.8.0-3 libfreetype6_2.4.6-2 libfreetype6-dev_2.4.6-2 libgc1c2_1:7.1-8 libgcc1_1:4.6.1-10 libgcrypt11_1.5.0-3 libgdbm3_1.8.3-10 libgdk-pixbuf2.0-0_2.24.0-1 libgdk-pixbuf2.0-dev_2.24.0-1 libgirepository-1.0-1_0.10.8-2 libglade2-0_1:2.6.4-1 libglade2-dev_1:2.6.4-1 libglib2.0-0_2.28.6-1 libglib2.0-bin_2.28.6-1 libglib2.0-data_2.28.6-1 libglib2.0-dev_2.28.6-1 libgmp10_2:5.0.2+dfsg-1 libgnutls26_2.12.10-1 libgomp1_4.6.1-10 libgpg-error0_1.10-1 libgssapi-krb5-2_1.9.1+dfsg-2 libgtk2.0-0_2.24.6-1 libgtk2.0-common_2.24.6-1 libgtk2.0-dev_2.24.6-1 libgtkspell-dev_2.0.16-1 libgtkspell0_2.0.16-1 libhunspell-1.2-0_1.2.14-4 libice-dev_2:1.0.7-2 libice6_2:1.0.7-2 libjasper1_1.900.1-10 libjpeg62_6b1-2 libjpeg8_8c-2 libk5crypto3_1.9.1+dfsg-2 libkeyutils1_1.5.2-2 libkrb5-3_1.9.1+dfsg-2 libkrb5support0_1.9.1+dfsg-2 liblablgtk2-ocaml_2.14.2+dfsg-2 liblablgtk2-ocaml-dev_2.14.2+dfsg-2 libllvm2.9_2.9+dfsg-3 liblzma2_5.1.1alpha+20110809-2 libmagic1_5.08-1 libmount1_2.19.1-5 libmpc2_0.9-3 libmpfr4_3.0.1-6 libncurses5_5.9-1 libncurses5-dev_5.9-1 libncursesw5_5.9-1 libp11-kit0_0.4-2 libpam-modules_1.1.3-2 libpam-modules-bin_1.1.3-2 libpam-runtime_1.1.3-2 libpam0g_1.1.3-2 libpango1.0-0_1.28.4-3 libpango1.0-dev_1.28.4-3 libpcre3_8.12-4 libpipeline1_1.2.0-3 libpixman-1-0_0.22.2-1 libpixman-1-dev_0.22.2-1 libpng12-0_1.2.46-3 libpng12-dev_1.2.46-3 libpopt0_1.16-1 libpthread-stubs0_0.3-2.1 libpthread-stubs0-dev_0.3-2.1 libquadmath0_4.6.1-10 libreadline6_6.2-4 libselinux1_2.1.0-1 libsepol1_2.1.0-1.1 libslang2_2.2.4-3 libsm-dev_2:1.2.0-2 libsm6_2:1.2.0-2 libsqlite3-0_3.7.7-2 libss2_1.42~WIP-2011-07-02-1 libssl1.0.0_1.0.0e-2 libstdc++6_4.6.1-10 libstdc++6-4.6-dev_4.6.1-10 libtasn1-3_2.9-4 libthai-data_0.1.15-2 libthai0_0.1.15-2 libtiff4_3.9.5-1 libtimedate-perl_1.2000-1 libunistring0_0.9.3-4 libusb-0.1-4_2:0.1.12-19 libuuid1_2.19.1-5 libx11-6_2:1.4.4-1 libx11-data_2:1.4.4-1 libx11-dev_2:1.4.4-1 libxau-dev_1:1.0.6-3 libxau6_1:1.0.6-3 libxcb-render0_1.7-3 libxcb-render0-dev_1.7-3 libxcb-shm0_1.7-3 libxcb-shm0-dev_1.7-3 libxcb1_1.7-3 libxcb1-dev_1.7-3 libxcomposite-dev_1:0.4.3-2 libxcomposite1_1:0.4.3-2 libxcursor-dev_1:1.1.12-1 libxcursor1_1:1.1.12-1 libxdamage-dev_1:1.1.3-2 libxdamage1_1:1.1.3-2 libxdmcp-dev_1:1.1.0-3 libxdmcp6_1:1.1.0-3 libxext-dev_2:1.3.0-3 libxext6_2:1.3.0-3 libxfixes-dev_1:5.0-4 libxfixes3_1:5.0-4 libxft-dev_2.2.0-3 libxft2_2.2.0-3 libxi-dev_2:1.4.3-3 libxi6_2:1.4.3-3 libxinerama-dev_2:1.1.1-3 libxinerama1_2:1.1.1-3 libxml2_2.7.8.dfsg-4 libxml2-dev_2.7.8.dfsg-4 libxml2-utils_2.7.8.dfsg-4 libxrandr-dev_2:1.3.2-2 libxrandr2_2:1.3.2-2 libxrender-dev_1:0.9.6-2 libxrender1_1:0.9.6-2 linux-libc-dev_3.0.0-3 login_1:4.1.4.2+svn3283-3 lsb-base_3.2-28 make_3.81-8.1 man-db_2.6.0.2-2 mawk_1.3.3-15 mime-support_3.51-1 mount_2.19.1-5 multiarch-support_2.13-20 ncurses-base_5.9-1 ncurses-bin_5.9-1 nvi_1.81.6-8.2 ocaml-base-nox_3.12.0-7 ocaml-compiler-libs_3.12.0-7 ocaml-interp_3.12.0-7 ocaml-native-compilers_3.12.0-7 ocaml-nox_3.12.0-7 passwd_1:4.1.4.2+svn3283-3 patch_2.6.1-2 perl_5.12.4-4 perl-base_5.12.4-4 perl-modules_5.12.4-4 pkg-config_0.26-1 po-debconf_1.0.16+nmu1 python_2.6.7-3 python-minimal_2.6.7-3 python2.6_2.6.7-4 python2.6-minimal_2.6.7-4 readline-common_6.2-4 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-ssreflect-dummy_0.invalid.0 sed_4.2.1-9 sensible-utils_0.0.6 shared-mime-info_0.90-1 sysv-rc_2.88dsf-13.11 sysvinit_2.88dsf-13.11 sysvinit-utils_2.88dsf-13.11 tar_1.26-2 ttf-dejavu-core_2.33-2 tzdata_2011i-2 ucf_3.0025+nmu2 util-linux_2.19.1-5 x11-common_1:7.6+8 x11proto-composite-dev_1:0.4.2-2 x11proto-core-dev_7.0.22-1 x11proto-damage-dev_1:1.2.1-2 x11proto-fixes-dev_1:5.0-2 x11proto-input-dev_2.0.2-2 x11proto-kb-dev_1.0.5-2 x11proto-randr-dev_1.3.2-2 x11proto-render-dev_2:0.11.1-2 x11proto-xext-dev_7.2.0-3 x11proto-xinerama-dev_1.2.1-2 xorg-sgml-doctools_1:1.8-2 xtrans-dev_1.2.6-2 xz-utils_5.1.1alpha+20110809-2 zlib1g_1:1.2.3.4.dfsg-3 zlib1g-dev_1:1.2.3.4.dfsg-3 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/var/lib/sbuild/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Sun Apr 24 15:14:18 2011 CEST using RSA key ID 49881AD3 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./ssreflect_1.3pl1-4.dsc dpkg-source: info: extracting ssreflect in ssreflect-1.3pl1 dpkg-source: info: unpacking ssreflect_1.3pl1.orig.tar.gz dpkg-source: info: unpacking ssreflect_1.3pl1-4.debian.tar.gz dpkg-source: info: applying 0001-Fix-tests-Make.patch Check disc space ──────────────── Sufficient free space for build dpkg-buildpackage ───────────────── dpkg-buildpackage: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: source package ssreflect dpkg-buildpackage: source version 1.3pl1-4 dpkg-source --before-build ssreflect-1.3pl1 dpkg-buildpackage: host architecture amd64 fakeroot debian/rules clean dh --with ocaml clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' dh_auto_clean make[2]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' make -C test/ clean make[3]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' make -f Makefile.coq Makefile make[4]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' make[4]: Nothing to be done for `Makefile'. make[4]: Leaving directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' make -f Makefile.coq clean make[4]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' rm -f absevarprop.vo binders.vo congr.vo deferclear.vo elim.vo first_n.vo havesuff.vo have_view_idiom.vo ipatalternation.vo multiview.vo occarrow.vo ssrsyntax1.vo ssrsyntax2.vo rewpatterns.vo testmx.vo wlogletin.vo wlog_suff.vo absevarprop.vi binders.vi congr.vi deferclear.vi elim.vi first_n.vi havesuff.vi have_view_idiom.vi ipatalternation.vi multiview.vi occarrow.vi ssrsyntax1.vi ssrsyntax2.vi rewpatterns.vi testmx.vi wlogletin.vi wlog_suff.vi absevarprop.g binders.g congr.g deferclear.g elim.g first_n.g havesuff.g have_view_idiom.g ipatalternation.g multiview.g occarrow.g ssrsyntax1.g ssrsyntax2.g rewpatterns.g testmx.g wlogletin.g wlog_suff.g *~ rm -f all.ps all-gal.ps all.pdf all-gal.pdf all.glob absevarprop.glob binders.glob congr.glob deferclear.glob elim.glob first_n.glob havesuff.glob have_view_idiom.glob ipatalternation.glob multiview.glob occarrow.glob ssrsyntax1.glob ssrsyntax2.glob rewpatterns.glob testmx.glob wlogletin.glob wlog_suff.glob absevarprop.html binders.html congr.html deferclear.html elim.html first_n.html havesuff.html have_view_idiom.html ipatalternation.html multiview.html occarrow.html ssrsyntax1.html ssrsyntax2.html rewpatterns.html testmx.html wlogletin.html wlog_suff.html absevarprop.g.html binders.g.html congr.g.html deferclear.g.html elim.g.html first_n.g.html havesuff.g.html have_view_idiom.g.html ipatalternation.g.html multiview.g.html occarrow.g.html ssrsyntax1.g.html ssrsyntax2.g.html rewpatterns.g.html testmx.g.html wlogletin.g.html wlog_suff.g.html absevarprop.tex binders.tex congr.tex deferclear.tex elim.tex first_n.tex havesuff.tex have_view_idiom.tex ipatalternation.tex multiview.tex occarrow.tex ssrsyntax1.tex ssrsyntax2.tex rewpatterns.tex testmx.tex wlogletin.tex wlog_suff.tex absevarprop.g.tex binders.g.tex congr.g.tex deferclear.g.tex elim.g.tex first_n.g.tex havesuff.g.tex have_view_idiom.g.tex ipatalternation.g.tex multiview.g.tex occarrow.g.tex ssrsyntax1.g.tex ssrsyntax2.g.tex rewpatterns.g.tex testmx.g.tex wlogletin.g.tex wlog_suff.g.tex absevarprop.v.d binders.v.d congr.v.d deferclear.v.d elim.v.d first_n.v.d havesuff.v.d have_view_idiom.v.d ipatalternation.v.d multiview.v.d occarrow.v.d ssrsyntax1.v.d ssrsyntax2.v.d rewpatterns.v.d testmx.v.d wlogletin.v.d wlog_suff.v.d rm -rf html make[4]: Leaving directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' rm -f -rf Makefile.coq make[3]: Leaving directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' make -f Makefile.coq clean make[3]: Makefile.coq: No such file or directory make[3]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' make[3]: *** No rule to make target `Makefile.coq'. Stop. make[3]: Leaving directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' make[2]: [clean] Error 2 (ignored) rm -f Makefile.coq rm -rf ssreflect-1.3pl1 ssreflect-1.3pl1.tar.gz rm -rf test-dist-static test-dist-dynamic make[2]: Leaving directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' /usr/bin/make -C test clean make[2]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' /usr/bin/coq_makefile -f Make -o Makefile.coq Warning: install target will copy files at the first level of the coq contributions installation directory; option -R is recommended Warning: in option -R, ../theories is not a subdirectoty of the current directory /usr/bin/make -f Makefile.coq Makefile make[3]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "wlog_suff.v" > "wlog_suff.v.d" || ( RV=$?; rm -f "wlog_suff.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "wlogletin.v" > "wlogletin.v.d" || ( RV=$?; rm -f "wlogletin.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "testmx.v" > "testmx.v.d" || ( RV=$?; rm -f "testmx.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "rewpatterns.v" > "rewpatterns.v.d" || ( RV=$?; rm -f "rewpatterns.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "ssrsyntax2.v" > "ssrsyntax2.v.d" || ( RV=$?; rm -f "ssrsyntax2.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "ssrsyntax1.v" > "ssrsyntax1.v.d" || ( RV=$?; rm -f "ssrsyntax1.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "occarrow.v" > "occarrow.v.d" || ( RV=$?; rm -f "occarrow.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "multiview.v" > "multiview.v.d" || ( RV=$?; rm -f "multiview.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "ipatalternation.v" > "ipatalternation.v.d" || ( RV=$?; rm -f "ipatalternation.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "have_view_idiom.v" > "have_view_idiom.v.d" || ( RV=$?; rm -f "have_view_idiom.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "havesuff.v" > "havesuff.v.d" || ( RV=$?; rm -f "havesuff.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "first_n.v" > "first_n.v.d" || ( RV=$?; rm -f "first_n.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "elim.v" > "elim.v.d" || ( RV=$?; rm -f "elim.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "deferclear.v" > "deferclear.v.d" || ( RV=$?; rm -f "deferclear.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "congr.v" > "congr.v.d" || ( RV=$?; rm -f "congr.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "binders.v" > "binders.v.d" || ( RV=$?; rm -f "binders.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -I . -I ../src/ -R ../theories Ssreflect "absevarprop.v" > "absevarprop.v.d" || ( RV=$?; rm -f "absevarprop.v.d"; exit ${RV} ) make[3]: Leaving directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' make[3]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' make[3]: Nothing to be done for `Makefile'. make[3]: Leaving directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' /usr/bin/make -f Makefile.coq clean make[3]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' rm -f absevarprop.vo binders.vo congr.vo deferclear.vo elim.vo first_n.vo havesuff.vo have_view_idiom.vo ipatalternation.vo multiview.vo occarrow.vo ssrsyntax1.vo ssrsyntax2.vo rewpatterns.vo testmx.vo wlogletin.vo wlog_suff.vo absevarprop.vi binders.vi congr.vi deferclear.vi elim.vi first_n.vi havesuff.vi have_view_idiom.vi ipatalternation.vi multiview.vi occarrow.vi ssrsyntax1.vi ssrsyntax2.vi rewpatterns.vi testmx.vi wlogletin.vi wlog_suff.vi absevarprop.g binders.g congr.g deferclear.g elim.g first_n.g havesuff.g have_view_idiom.g ipatalternation.g multiview.g occarrow.g ssrsyntax1.g ssrsyntax2.g rewpatterns.g testmx.g wlogletin.g wlog_suff.g *~ rm -f all.ps all-gal.ps all.pdf all-gal.pdf all.glob absevarprop.glob binders.glob congr.glob deferclear.glob elim.glob first_n.glob havesuff.glob have_view_idiom.glob ipatalternation.glob multiview.glob occarrow.glob ssrsyntax1.glob ssrsyntax2.glob rewpatterns.glob testmx.glob wlogletin.glob wlog_suff.glob absevarprop.html binders.html congr.html deferclear.html elim.html first_n.html havesuff.html have_view_idiom.html ipatalternation.html multiview.html occarrow.html ssrsyntax1.html ssrsyntax2.html rewpatterns.html testmx.html wlogletin.html wlog_suff.html absevarprop.g.html binders.g.html congr.g.html deferclear.g.html elim.g.html first_n.g.html havesuff.g.html have_view_idiom.g.html ipatalternation.g.html multiview.g.html occarrow.g.html ssrsyntax1.g.html ssrsyntax2.g.html rewpatterns.g.html testmx.g.html wlogletin.g.html wlog_suff.g.html absevarprop.tex binders.tex congr.tex deferclear.tex elim.tex first_n.tex havesuff.tex have_view_idiom.tex ipatalternation.tex multiview.tex occarrow.tex ssrsyntax1.tex ssrsyntax2.tex rewpatterns.tex testmx.tex wlogletin.tex wlog_suff.tex absevarprop.g.tex binders.g.tex congr.g.tex deferclear.g.tex elim.g.tex first_n.g.tex havesuff.g.tex have_view_idiom.g.tex ipatalternation.g.tex multiview.g.tex occarrow.g.tex ssrsyntax1.g.tex ssrsyntax2.g.tex rewpatterns.g.tex testmx.g.tex wlogletin.g.tex wlog_suff.g.tex absevarprop.v.d binders.v.d congr.v.d deferclear.v.d elim.v.d first_n.v.d havesuff.v.d have_view_idiom.v.d ipatalternation.v.d multiview.v.d occarrow.v.d ssrsyntax1.v.d ssrsyntax2.v.d rewpatterns.v.d testmx.v.d wlogletin.v.d wlog_suff.v.d rm -rf html make[3]: Leaving directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' rm -f -rf Makefile.coq make[2]: Leaving directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1/test' rm -Rf bin make[1]: Leaving directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' "dh_ocamlinit -d" debian/rules override_dh_clean make[1]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' dh_clean rm -Rf html make[1]: Leaving directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' dpkg-source -b ssreflect-1.3pl1 dpkg-source: info: using source format `3.0 (quilt)' dpkg-source: info: building ssreflect using existing ./ssreflect_1.3pl1.orig.tar.gz dpkg-source: info: building ssreflect in ssreflect_1.3pl1-4.debian.tar.gz dpkg-source: info: building ssreflect in ssreflect_1.3pl1-4.dsc debian/rules build dh --with ocaml build dh_testdir dh_ocamlinit dh_auto_configure # Skipping dh_auto_build - empty override # Skipping dh_auto_test - empty override fakeroot debian/rules binary dh --with ocaml binary dh_testroot dh_prep dh_installdirs debian/rules override_dh_auto_install make[1]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' /usr/bin/make Makefile.coq make[2]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' /usr/bin/coq_makefile -f Make > Makefile.coq Warning: install target will copy files at the first level of the coq contributions installation directory; option -R is recommended make[2]: Leaving directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' /usr/bin/make all make[2]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' mkdir -p bin /usr/bin/make -f Makefile.coq all make[3]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' ocamldep -slash -I src -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/dp -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -loc loc -impl" "src/ssreflect.ml" > "src/ssreflect.ml.d" /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/zmodp.v" > "theories/zmodp.v.d" || ( RV=$?; rm -f "theories/zmodp.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/vector.v" > "theories/vector.v.d" || ( RV=$?; rm -f "theories/vector.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/tuple.v" > "theories/tuple.v.d" || ( RV=$?; rm -f "theories/tuple.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/sylow.v" > "theories/sylow.v.d" || ( RV=$?; rm -f "theories/sylow.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/ssrnat.v" > "theories/ssrnat.v.d" || ( RV=$?; rm -f "theories/ssrnat.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/ssrfun.v" > "theories/ssrfun.v.d" || ( RV=$?; rm -f "theories/ssrfun.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/ssreflect.v" > "theories/ssreflect.v.d" || ( RV=$?; rm -f "theories/ssreflect.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/ssrbool.v" > "theories/ssrbool.v.d" || ( RV=$?; rm -f "theories/ssrbool.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/ssralg.v" > "theories/ssralg.v.d" || ( RV=$?; rm -f "theories/ssralg.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/seq.v" > "theories/seq.v.d" || ( RV=$?; rm -f "theories/seq.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/quotient.v" > "theories/quotient.v.d" || ( RV=$?; rm -f "theories/quotient.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/primitive_action.v" > "theories/primitive_action.v.d" || ( RV=$?; rm -f "theories/primitive_action.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/prime.v" > "theories/prime.v.d" || ( RV=$?; rm -f "theories/prime.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/presentation.v" > "theories/presentation.v.d" || ( RV=$?; rm -f "theories/presentation.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/poly.v" > "theories/poly.v.d" || ( RV=$?; rm -f "theories/poly.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/pgroup.v" > "theories/pgroup.v.d" || ( RV=$?; rm -f "theories/pgroup.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/perm.v" > "theories/perm.v.d" || ( RV=$?; rm -f "theories/perm.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/path.v" > "theories/path.v.d" || ( RV=$?; rm -f "theories/path.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/nilpotent.v" > "theories/nilpotent.v.d" || ( RV=$?; rm -f "theories/nilpotent.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/mxrepresentation.v" > "theories/mxrepresentation.v.d" || ( RV=$?; rm -f "theories/mxrepresentation.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/mxpoly.v" > "theories/mxpoly.v.d" || ( RV=$?; rm -f "theories/mxpoly.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/mxalgebra.v" > "theories/mxalgebra.v.d" || ( RV=$?; rm -f "theories/mxalgebra.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/mxabelem.v" > "theories/mxabelem.v.d" || ( RV=$?; rm -f "theories/mxabelem.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/morphism.v" > "theories/morphism.v.d" || ( RV=$?; rm -f "theories/morphism.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/maximal.v" > "theories/maximal.v.d" || ( RV=$?; rm -f "theories/maximal.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/matrix.v" > "theories/matrix.v.d" || ( RV=$?; rm -f "theories/matrix.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/jordanholder.v" > "theories/jordanholder.v.d" || ( RV=$?; rm -f "theories/jordanholder.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/hall.v" > "theories/hall.v.d" || ( RV=$?; rm -f "theories/hall.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/gseries.v" > "theories/gseries.v.d" || ( RV=$?; rm -f "theories/gseries.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/gproduct.v" > "theories/gproduct.v.d" || ( RV=$?; rm -f "theories/gproduct.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/gfunctor.v" > "theories/gfunctor.v.d" || ( RV=$?; rm -f "theories/gfunctor.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/frobenius.v" > "theories/frobenius.v.d" || ( RV=$?; rm -f "theories/frobenius.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/fintype.v" > "theories/fintype.v.d" || ( RV=$?; rm -f "theories/fintype.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/finset.v" > "theories/finset.v.d" || ( RV=$?; rm -f "theories/finset.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/finmodule.v" > "theories/finmodule.v.d" || ( RV=$?; rm -f "theories/finmodule.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/fingroup.v" > "theories/fingroup.v.d" || ( RV=$?; rm -f "theories/fingroup.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/fingraph.v" > "theories/fingraph.v.d" || ( RV=$?; rm -f "theories/fingraph.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/finfun.v" > "theories/finfun.v.d" || ( RV=$?; rm -f "theories/finfun.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/finalg.v" > "theories/finalg.v.d" || ( RV=$?; rm -f "theories/finalg.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/extremal.v" > "theories/extremal.v.d" || ( RV=$?; rm -f "theories/extremal.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/extraspecial.v" > "theories/extraspecial.v.d" || ( RV=$?; rm -f "theories/extraspecial.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/eqtype.v" > "theories/eqtype.v.d" || ( RV=$?; rm -f "theories/eqtype.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/div.v" > "theories/div.v.d" || ( RV=$?; rm -f "theories/div.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/cyclic.v" > "theories/cyclic.v.d" || ( RV=$?; rm -f "theories/cyclic.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/commutator.v" > "theories/commutator.v.d" || ( RV=$?; rm -f "theories/commutator.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/choice.v" > "theories/choice.v.d" || ( RV=$?; rm -f "theories/choice.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/center.v" > "theories/center.v.d" || ( RV=$?; rm -f "theories/center.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/binomial.v" > "theories/binomial.v.d" || ( RV=$?; rm -f "theories/binomial.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/bigop.v" > "theories/bigop.v.d" || ( RV=$?; rm -f "theories/bigop.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/automorphism.v" > "theories/automorphism.v.d" || ( RV=$?; rm -f "theories/automorphism.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/alt.v" > "theories/alt.v.d" || ( RV=$?; rm -f "theories/alt.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/action.v" > "theories/action.v.d" || ( RV=$?; rm -f "theories/action.v.d"; exit ${RV} ) /usr/bin/coqdep -c -slash -R theories Ssreflect -R src Ssreflect "theories/abelian.v" > "theories/abelian.v.d" || ( RV=$?; rm -f "theories/abelian.v.d"; exit ${RV} ) make[3]: Leaving directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' make[3]: Entering directory `/build/ssreflect-KEqqRe/ssreflect-1.3pl1' ocamlc.opt -c -rectypes -I src -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/dp -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/dp -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -loc loc -impl" src/ssreflect.ml ocamlopt.opt -rectypes -I src -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/dp -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 -shared -o src/ssreflect.cmxs -pp ""camlp5"o -I /usr/lib/ocaml -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/dp -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -loc loc -impl" src/ssreflect.ml /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/ssreflect Defining 'is' as keyword Defining 'of' as keyword Defining 'nosimpl' as keyword /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/ssrfun /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/ssrbool /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/eqtype /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/ssrnat /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/seq /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/path /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/div /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/choice /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/fintype Defining 'forallb' as keyword Defining 'existsb' as keyword /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/tuple /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/finfun /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/bigop /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/finset /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/prime /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/binomial /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/fingroup /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/morphism /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/perm /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/automorphism /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/quotient /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/action /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/gproduct /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/gfunctor /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/ssralg /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/finalg /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/zmodp /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/poly /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/cyclic /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/pgroup /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/commutator /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/center /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/gseries /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/nilpotent /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/sylow /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/abelian /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/primitive_action /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/alt /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/presentation /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/finmodule /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/matrix /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/maximal /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/extremal /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/extraspecial /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/fingraph /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/frobenius /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/hall /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/jordanholder /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/mxalgebra /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/mxpoly /usr/bin/coqc -q -R theories Ssreflect -R src Ssreflect theories/mxrepresentation make: *** [binary] Terminated make[3]: *** [theories/mxrepresentation.vo] Deleting file `theories/mxrepresentation.glob' make[3]: *** [theories/mxrepresentation.vo] Terminated E: Caught signal 'Terminated': terminating immediately make[2]: *** [all] Terminated make[1]: *** [override_dh_auto_install] Terminated Build killed with signal TERM after 60 minutes of inactivity ──────────────────────────────────────────────────────────────────────────────── Build finished at 20110911-1624 Finished ──────── E: Build failure (dpkg-buildpackage died) ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /var/lib/schroot/mount/lsid64c-72070057-bda7-43b7-96b1-b7002b95e108/build/ssreflect-KEqqRe Not cleaning session: cloned chroot in use ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: amd64 Build-Space: 40076 Build-Time: 6453 Distribution: lsid64c Fail-Stage: build Install-Time: 3043 Job: ssreflect_1.3pl1-4 Package: ssreflect Package-Time: 10396 Source-Version: 1.3pl1-4 Space: 40076 Status: attempted Version: 1.3pl1-4 ──────────────────────────────────────────────────────────────────────────────── Finished at 20110911-1624 Build needed 02:53:16, 40076k disc space DC-Build-Status: Failed 13401.385384s ### Content of /var/log/daemon.log ### Sep 11 10:47:57 talc-116 approx: Concurrent download of debian/dists/sid/Release.gpg is taking too long Sep 11 10:48:08 talc-116 approx: Concurrent download of debian/dists/sid/Release.gpg is taking too long Sep 11 10:48:24 talc-116 approx: Concurrent download of debian/dists/sid/Release is taking too long Sep 11 10:48:41 talc-116 approx: Concurrent download of debian/dists/sid/Release is taking too long Sep 11 10:48:41 talc-116 approx: Concurrent download of debian/dists/sid/main/i18n/Index is taking too long Sep 11 10:48:56 talc-116 approx: Concurrent download of debian/dists/sid/Release is taking too long Sep 11 10:48:59 talc-116 approx: Concurrent download of debian/dists/sid/main/source/Sources.xz is taking too long Sep 11 10:49:07 talc-116 approx: Concurrent download of debian/dists/sid/Release is taking too long Sep 11 10:49:14 talc-116 approx: Concurrent download of debian/dists/sid/main/binary-amd64/Packages.xz is taking too long Sep 11 10:49:18 talc-116 approx: Concurrent download of debian/dists/sid/Release is taking too long Sep 11 10:49:25 talc-116 approx: Concurrent download of debian/dists/sid/main/binary-amd64/Packages.xz is taking too long Sep 11 10:49:47 talc-116 approx: Concurrent download of debian/dists/sid/main/i18n/Index is taking too long Sep 11 10:49:58 talc-116 approx: Concurrent download of debian/dists/sid/main/i18n/Index is taking too long Sep 11 10:50:07 talc-116 approx: Concurrent download of debian/dists/sid/main/i18n/Translation-en.bz2 is taking too long Sep 11 10:50:18 talc-116 approx: Concurrent download of debian/dists/sid/main/i18n/Index is taking too long Sep 11 10:50:39 talc-116 approx: Concurrent download of debian/dists/sid/main/i18n/Index is taking too long Sep 11 10:50:51 talc-116 approx: Concurrent download of debian/dists/sid/main/i18n/Translation-en is taking too long Sep 11 10:50:57 talc-116 approx: Concurrent download of debian/dists/sid/main/binary-amd64/Packages.xz is taking too long Sep 11 10:51:05 talc-116 approx: Concurrent download of debian/dists/sid/main/i18n/Translation-en.bz2 is taking too long Sep 11 10:51:10 talc-116 approx: Concurrent download of debian/dists/sid/main/binary-amd64/Packages.xz is taking too long Sep 11 10:51:21 talc-116 approx: Concurrent download of debian/dists/sid/main/i18n/Translation-en.xz is taking too long Sep 11 10:51:33 talc-116 approx: Concurrent download of debian/dists/sid/main/i18n/Translation-en.gz is taking too long Sep 11 10:51:44 talc-116 approx: Concurrent download of debian/dists/sid/main/i18n/Translation-en is taking too long Sep 11 11:15:57 talc-116 approx: Concurrent download of debian/dists/sid/main/source/Sources.xz is taking too long Sep 11 11:16:11 talc-116 approx: Concurrent download of debian/dists/sid/main/binary-amd64/Packages.xz is taking too long ### End of content of /var/log/daemon.log ### DC-Time-Estimation: 13401.385384 versus expected 346 (r/m: 37.732327699422 ; m: 346.0) DC-Build-Network: USED. See /tmp/rulesafter.uDvMrQ ! ************************************************************ # Generated by iptables-save v1.4.8 on Sun Sep 11 16:25:08 2011 *filter :INPUT ACCEPT [3589072:15156685718] :FORWARD ACCEPT [0:0] :OUTPUT DROP [0:0] :LD - [0:0] [1130358:13261323472] -A OUTPUT -o lo -j ACCEPT [0:0] -A OUTPUT -d 129.88.0.0/16 -j ACCEPT [0:0] -A OUTPUT -d 10.0.0.0/8 -j ACCEPT [0:0] -A OUTPUT -d 192.168.133.0/24 -j ACCEPT [0:0] -A OUTPUT -d 192.168.159.0/24 -j ACCEPT [0:0] -A OUTPUT -d 192.168.160.0/24 -j ACCEPT [0:0] -A OUTPUT -d 10.69.0.0/17 -j ACCEPT [0:0] -A OUTPUT -d 172.28.52.0/22 -j ACCEPT [0:0] -A OUTPUT -d 172.24.0.0/16 -j ACCEPT [0:0] -A OUTPUT -d 131.254.202.0/23 -j ACCEPT [0:0] -A OUTPUT -d 138.96.20.0/22 -j ACCEPT [0:0] -A OUTPUT -d 192.168.22.0/24 -j ACCEPT [587285:65907761] -A OUTPUT -d 172.16.0.0/16 -j ACCEPT [9308:887184] -A OUTPUT -d 224.0.0.0/4 -p udp -j ACCEPT [3:160] -A OUTPUT -j LD [3:160] -A LD -j LOG [3:160] -A LD -j REJECT --reject-with icmp-port-unreachable COMMIT # Completed on Sun Sep 11 16:25:08 2011 ************************************************************ --- /tmp/rulesbefore.9BmoqM 2011-09-11 12:41:47.086442145 +0200 +++ /tmp/rulesafter.uDvMrQ 2011-09-11 16:25:08.638217745 +0200 @@ -1,10 +1,10 @@ -# Generated by iptables-save v1.4.8 on Sun Sep 11 12:41:47 2011 +# Generated by iptables-save v1.4.8 on Sun Sep 11 16:25:08 2011 *filter -:INPUT ACCEPT [2102575:10911933299] +:INPUT ACCEPT [3589072:15156685718] :FORWARD ACCEPT [0:0] :OUTPUT DROP [0:0] :LD - [0:0] -[747576:9536465252] -A OUTPUT -o lo -j ACCEPT +[1130358:13261323472] -A OUTPUT -o lo -j ACCEPT [0:0] -A OUTPUT -d 129.88.0.0/16 -j ACCEPT [0:0] -A OUTPUT -d 10.0.0.0/8 -j ACCEPT [0:0] -A OUTPUT -d 192.168.133.0/24 -j ACCEPT @@ -16,10 +16,10 @@ [0:0] -A OUTPUT -d 131.254.202.0/23 -j ACCEPT [0:0] -A OUTPUT -d 138.96.20.0/22 -j ACCEPT [0:0] -A OUTPUT -d 192.168.22.0/24 -j ACCEPT -[449900:43234804] -A OUTPUT -d 172.16.0.0/16 -j ACCEPT -[2985:288692] -A OUTPUT -d 224.0.0.0/4 -p udp -j ACCEPT +[587285:65907761] -A OUTPUT -d 172.16.0.0/16 -j ACCEPT +[9308:887184] -A OUTPUT -d 224.0.0.0/4 -p udp -j ACCEPT [3:160] -A OUTPUT -j LD [3:160] -A LD -j LOG [3:160] -A LD -j REJECT --reject-with icmp-port-unreachable COMMIT -# Completed on Sun Sep 11 12:41:47 2011 +# Completed on Sun Sep 11 16:25:08 2011 ************************************************************ [12371.783193] 0000000000015780 0000000000015780 ffff8803489ef100 ffff8803489ef3f8 [12371.827756] Call Trace: [12371.842431] [] ? pick_next_task_fair+0xca/0xd6 [12371.878941] [] ? get_request+0x7e/0x2ba [12371.911801] [] ? io_schedule+0x73/0xb7 [12371.944144] [] ? get_request_wait+0xf0/0x188 [12371.979623] [] ? autoremove_wake_function+0x0/0x2e [12372.018194] [] ? __make_request+0x2f7/0x428 [12372.053135] [] ? generic_make_request+0x299/0x2f9 [12372.091200] [] ? submit_bio+0xd6/0xf2 [12372.123018] [] ? end_swap_bio_read+0x0/0x60 [12372.157974] [] ? bio_alloc+0x10/0x1f [12372.189265] [] ? get_swap_bio+0x4a/0x9a [12372.222129] [] ? swap_readpage+0x4f/0x53 [12372.255511] [] ? read_swap_cache_async+0xb3/0xf3 [12372.293065] [] ? swapin_readahead+0x57/0x98 [12372.327996] [] ? handle_mm_fault+0x47f/0x80f [12372.363457] [] ? do_page_fault+0x2e0/0x2fc [12372.397891] [] ? page_fault+0x25/0x30 [12372.429706] INFO: task gcc:19736 blocked for more than 120 seconds. [12372.467246] "echo 0 > /proc/sys/kernel/hung_task_timeout_secs" disables this message. [12372.514169] gcc D ffff880376ea5a18 0 19736 19735 0x00000000 [12372.555487] ffff88043e5db880 0000000000000086 ffff88043a4b0000 ffff880180e05540 [12372.600084] ffff88043b2bd800 ffffffff8118bc16 000000000000f9e0 ffff880376ea5fd8 [12372.644697] 0000000000015780 0000000000015780 ffff8803489ef810 ffff8803489efb08 [12372.689317] Call Trace: [12372.703987] [] ? cfq_dispatch_requests+0x106/0x420 [12372.742580] [] ? cfq_may_queue+0x59/0xd7 [12372.775970] [] ? read_tsc+0xa/0x20 [12372.806223] [] ? get_request+0x7e/0x2ba [12372.839086] [] ? io_schedule+0x73/0xb7 [12372.871436] [] ? get_request_wait+0xf0/0x188 [12372.906894] [] ? autoremove_wake_function+0x0/0x2e [12372.945487] [] ? __make_request+0x2f7/0x428 [12372.980417] [] ? generic_make_request+0x299/0x2f9 [12373.018480] [] ? submit_bio+0xd6/0xf2 [12373.050304] [] ? end_swap_bio_read+0x0/0x60 [12373.085244] [] ? bio_alloc+0x10/0x1f [12373.116558] [] ? get_swap_bio+0x4a/0x9a [12373.149410] [] ? swap_readpage+0x4f/0x53 [12373.182792] [] ? read_swap_cache_async+0xb3/0xf3 [12373.220347] [] ? swapin_readahead+0x57/0x98 [12373.255279] [] ? handle_mm_fault+0x47f/0x80f [12373.290741] [] ? do_page_fault+0x2e0/0x2fc [12373.325176] [] ? page_fault+0x25/0x30 [12373.356987] [] ? copy_user_generic_string+0x2d/0x40 [12373.396103] [] ? save_i387_xstate+0x12f/0x1b2 [12373.432074] [] ? do_notify_resume+0x289/0x73f [12373.468059] [] ? sys_wait4+0xa0/0xb0 [12373.499389] [] ? int_signal+0x12/0x17 ************************************************************