Wed 22 Aug 23:53:39 BST 2018: starting build of coq-float version 1:8.4-5 arch armel on mustang3 Running apt-get -q --download-only --only-source source coq-float=1:8.4-5 Reading package lists... NOTICE: 'coq-float' packaging is maintained in the 'Git' version control system at: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq-float.git Please use: git clone git://anonscm.debian.org/pkg-ocaml-maint/packages/coq-float.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 358 kB of source archives. Get:1 http://mirror/debian unstable/main coq-float 1:8.4-5 (dsc) [1,986 B] Get:2 http://mirror/debian unstable/main coq-float 1:8.4-5 (tar) [352 kB] Get:3 http://mirror/debian unstable/main coq-float 1:8.4-5 (diff) [3,368 B] Fetched 358 kB in 0s (6,179 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'coq-float_8.4-5.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) total 356 -rw-r--r-- 1 root root 3368 Oct 14 2015 coq-float_8.4-5.debian.tar.xz -rw-r--r-- 1 root root 1986 Oct 14 2015 coq-float_8.4-5.dsc -rw-r--r-- 1 root root 352313 May 8 2013 coq-float_8.4.orig.tar.gz W: /root/.pbuilderrc does not exist I: using fakeroot in build. I: pbuilder: network access will be disabled during build I: Current time: Wed Aug 22 23:53:39 BST 2018 I: pbuilder-time-stamp: 1534978419 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-armel.tgz] I: copying local configuration I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: Mounting /dev I: Mounting /dev/pts I: Mounting /proc I: Mounting /sys I: policy-rc.d already exists I: Obtaining the cached apt archive contents I: Copying source file I: copying [coq-float_8.4-5.dsc] I: copying [./coq-float_8.4.orig.tar.gz] I: copying [./coq-float_8.4-5.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Wed Oct 14 20:39:57 2015 UTC gpgv: using RSA key 7853DA4D49881AD3 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./coq-float_8.4-5.dsc dpkg-source: info: extracting coq-float in coq-float-8.4 dpkg-source: info: unpacking coq-float_8.4.orig.tar.gz dpkg-source: info: unpacking coq-float_8.4-5.debian.tar.xz I: Installing the build-deps I: user script /chroot/rebuildd/pbuilder/14945/tmp/hooks/D01update starting Get:1 http://mirror.einval.org/debian sid InRelease [233 kB] Ign:2 http://mirror.einval.org/debian sid/main armel Packages.diff/Index Get:2 http://mirror.einval.org/debian sid/main armel Packages.diff/Index [27.9 kB] Ign:2 http://mirror.einval.org/debian sid/main armel Packages.diff/Index Get:3 http://mirror.einval.org/debian sid/main armel Packages [7892 kB] Fetched 8125 kB in 3s (2750 kB/s) Reading package lists... I: user script /chroot/rebuildd/pbuilder/14945/tmp/hooks/D01update finished W: skipping an editor backup file /chroot/rebuildd/pbuilder/14945/tmp/hooks/D01update~ I: user script /chroot/rebuildd/pbuilder/14945/tmp/hooks/D02enable_swp starting I: user script /chroot/rebuildd/pbuilder/14945/tmp/hooks/D02enable_swp finished W: skipping an editor backup file /chroot/rebuildd/pbuilder/14945/tmp/hooks/D02enable_swp~ -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armel Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper (>= 9), coq (>= 8.4) dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 11698 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper (>= 9); however: Package debhelper is not installed. pbuilder-satisfydepends-dummy depends on coq (>= 8.4); however: Package coq is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: adwaita-icon-theme{a} aspell{a} aspell-en{a} autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdmainutils{a} coq{a} coq-theories{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dictionaries-common{a} dwz{a} emacsen-common{a} file{a} fontconfig{a} fontconfig-config{a} fonts-dejavu-core{a} gettext{a} gettext-base{a} groff-base{a} gtk-update-icon-cache{a} hicolor-icon-theme{a} intltool-debian{a} libarchive-zip-perl{a} libaspell15{a} libatk1.0-0{a} libatk1.0-data{a} libavahi-client3{a} libavahi-common-data{a} libavahi-common3{a} libbsd0{a} libcairo2{a} libcoq-ocaml{a} libcroco3{a} libcups2{a} libdatrie1{a} libdbus-1-3{a} libelf1{a} libenchant1c2a{a} libexpat1{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfontconfig1{a} libfreetype6{a} libfribidi0{a} libgdk-pixbuf2.0-0{a} libgdk-pixbuf2.0-common{a} libglade2-0{a} libglib2.0-0{a} libgraphite2-3{a} libgssapi-krb5-2{a} libgtk2.0-0{a} libgtk2.0-common{a} libgtksourceview2.0-0{a} libgtksourceview2.0-common{a} libgtkspell0{a} libharfbuzz0b{a} libhunspell-1.6-0{a} libicu-le-hb0{a} libicu60{a} libjbig0{a} libjpeg62-turbo{a} libk5crypto3{a} libkeyutils1{a} libkrb5-3{a} libkrb5support0{a} liblablgtk2-ocaml{a} liblablgtksourceview2-ocaml{a} libmagic-mgc{a} libmagic1{a} libncurses-dev{a} libncurses5-dev{a} libncurses6{a} libpango-1.0-0{a} libpangocairo-1.0-0{a} libpangoft2-1.0-0{a} libpipeline1{a} libpixman-1-0{a} libpng16-16{a} librsvg2-2{a} librsvg2-common{a} libsigsegv2{a} libtext-iconv-perl{a} libthai-data{a} libthai0{a} libtiff5{a} libtimedate-perl{a} libtool{a} libx11-6{a} libx11-data{a} libxau6{a} libxcb-render0{a} libxcb-shm0{a} libxcb1{a} libxcomposite1{a} libxcursor1{a} libxdamage1{a} libxdmcp6{a} libxext6{a} libxfixes3{a} libxi6{a} libxinerama1{a} libxml2{a} libxrandr2{a} libxrender1{a} m4{a} man-db{a} ocaml-base-nox{a} ocaml-compiler-libs{a} ocaml-findlib{a} ocaml-interp{a} ocaml-nox{a} po-debconf{a} sensible-utils{a} shared-mime-info{a} ucf{a} The following packages are RECOMMENDED but will NOT be installed: camlp4 coqide curl dbus enchant hunspell-af hunspell-an hunspell-ar hunspell-be hunspell-bg hunspell-bn hunspell-bo hunspell-br hunspell-bs hunspell-ca hunspell-cs hunspell-da hunspell-de-at hunspell-de-at-frami hunspell-de-ch hunspell-de-ch-frami hunspell-de-de hunspell-de-de-frami hunspell-dz hunspell-el hunspell-en-au hunspell-en-ca hunspell-en-gb hunspell-en-us hunspell-en-za hunspell-es hunspell-eu hunspell-fr-classical hunspell-fr-comprehensive hunspell-fr-modern hunspell-fr-revised hunspell-gd hunspell-gl hunspell-gl-es hunspell-gu hunspell-gug hunspell-he hunspell-hi hunspell-hr hunspell-hu hunspell-id hunspell-is hunspell-it hunspell-kk hunspell-kmr hunspell-ko hunspell-lo hunspell-lt hunspell-lv hunspell-ne hunspell-nl hunspell-no hunspell-oc hunspell-pl hunspell-pt-br hunspell-pt-pt hunspell-ro hunspell-ru hunspell-se hunspell-si hunspell-sk hunspell-sl hunspell-sr hunspell-sv hunspell-sv-se hunspell-sw hunspell-te hunspell-th hunspell-uk hunspell-uz hunspell-vi krb5-locales ledit libarchive-cpio-perl libfindlib-ocaml-dev libgail-common libgdk-pixbuf2.0-bin libglib2.0-data libgpm2 libgtk2.0-bin libltdl-dev libmail-sendmail-perl lynx myspell-cs myspell-da myspell-de-de-1901 myspell-en-au myspell-eo myspell-es myspell-et myspell-fa myspell-fo myspell-fr myspell-fr-gut myspell-ga myspell-gd myspell-gv myspell-he myspell-hu myspell-hy myspell-nb myspell-nn myspell-pt-br myspell-pt-pt myspell-ru myspell-sk myspell-sq myspell-tl myspell-uk proofgeneral rlfe rlwrap wget xdg-user-dirs 0 packages upgraded, 119 newly installed, 0 to remove and 9 not upgraded. Need to get 51.1 MB/127 MB of archives. After unpacking 538 MB will be used. Writing extended state information... Get: 1 http://mirror.einval.org/debian sid/main armel coq-theories armel 8.6-5 [22.9 MB] Get: 2 http://mirror.einval.org/debian sid/main armel libgtksourceview2.0-common all 2.10.5-3 [470 kB] Get: 3 http://mirror.einval.org/debian sid/main armel libgtksourceview2.0-0 armel 2.10.5-3 [169 kB] Get: 4 http://mirror.einval.org/debian sid/main armel liblablgtksourceview2-ocaml armel 2.18.5+dfsg-1+b2 [58.2 kB] Get: 5 http://mirror.einval.org/debian sid/main armel libcoq-ocaml armel 8.6-5 [2332 kB] Get: 6 http://mirror.einval.org/debian sid/main armel coq armel 8.6-5 [25.2 MB] Fetched 51.1 MB in 1s (37.2 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:armel. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11698 files and directories currently installed.) Preparing to unpack .../000-libbsd0_0.9.1-1_armel.deb ... Unpacking libbsd0:armel (0.9.1-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../001-bsdmainutils_11.1.2+b1_armel.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package groff-base. Preparing to unpack .../002-groff-base_1.22.3-10_armel.deb ... Unpacking groff-base (1.22.3-10) ... Selecting previously unselected package libpipeline1:armel. Preparing to unpack .../003-libpipeline1_1.5.0-1_armel.deb ... Unpacking libpipeline1:armel (1.5.0-1) ... Selecting previously unselected package man-db. Preparing to unpack .../004-man-db_2.8.4-2_armel.deb ... Unpacking man-db (2.8.4-2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../005-sensible-utils_0.0.12_all.deb ... Unpacking sensible-utils (0.0.12) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../006-libmagic-mgc_1%3a5.34-2_armel.deb ... Unpacking libmagic-mgc (1:5.34-2) ... Selecting previously unselected package libmagic1:armel. Preparing to unpack .../007-libmagic1_1%3a5.34-2_armel.deb ... Unpacking libmagic1:armel (1:5.34-2) ... Selecting previously unselected package file. Preparing to unpack .../008-file_1%3a5.34-2_armel.deb ... Unpacking file (1:5.34-2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../009-gettext-base_0.19.8.1-7_armel.deb ... Unpacking gettext-base (0.19.8.1-7) ... Selecting previously unselected package ucf. Preparing to unpack .../010-ucf_3.0038_all.deb ... Moving old data out of the way Unpacking ucf (3.0038) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../011-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package libglib2.0-0:armel. Preparing to unpack .../012-libglib2.0-0_2.56.1-2_armel.deb ... Unpacking libglib2.0-0:armel (2.56.1-2) ... Selecting previously unselected package libjpeg62-turbo:armel. Preparing to unpack .../013-libjpeg62-turbo_1%3a1.5.2-2+b1_armel.deb ... Unpacking libjpeg62-turbo:armel (1:1.5.2-2+b1) ... Selecting previously unselected package libpng16-16:armel. Preparing to unpack .../014-libpng16-16_1.6.34-2_armel.deb ... Unpacking libpng16-16:armel (1.6.34-2) ... Selecting previously unselected package libjbig0:armel. Preparing to unpack .../015-libjbig0_2.1-3.1+b2_armel.deb ... Unpacking libjbig0:armel (2.1-3.1+b2) ... Selecting previously unselected package libtiff5:armel. Preparing to unpack .../016-libtiff5_4.0.9-6_armel.deb ... Unpacking libtiff5:armel (4.0.9-6) ... Selecting previously unselected package libxau6:armel. Preparing to unpack .../017-libxau6_1%3a1.0.8-1+b2_armel.deb ... Unpacking libxau6:armel (1:1.0.8-1+b2) ... Selecting previously unselected package libxdmcp6:armel. Preparing to unpack .../018-libxdmcp6_1%3a1.1.2-3_armel.deb ... Unpacking libxdmcp6:armel (1:1.1.2-3) ... Selecting previously unselected package libxcb1:armel. Preparing to unpack .../019-libxcb1_1.13-2_armel.deb ... Unpacking libxcb1:armel (1.13-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../020-libx11-data_2%3a1.6.5-1_all.deb ... Unpacking libx11-data (2:1.6.5-1) ... Selecting previously unselected package libx11-6:armel. Preparing to unpack .../021-libx11-6_2%3a1.6.5-1_armel.deb ... Unpacking libx11-6:armel (2:1.6.5-1) ... Selecting previously unselected package libfreetype6:armel. Preparing to unpack .../022-libfreetype6_2.8.1-2_armel.deb ... Unpacking libfreetype6:armel (2.8.1-2) ... Selecting previously unselected package libgraphite2-3:armel. Preparing to unpack .../023-libgraphite2-3_1.3.11-2_armel.deb ... Unpacking libgraphite2-3:armel (1.3.11-2) ... Selecting previously unselected package libharfbuzz0b:armel. Preparing to unpack .../024-libharfbuzz0b_1.8.8-2_armel.deb ... Unpacking libharfbuzz0b:armel (1.8.8-2) ... Selecting previously unselected package libicu-le-hb0:armel. Preparing to unpack .../025-libicu-le-hb0_1.0.3+git161113-5_armel.deb ... Unpacking libicu-le-hb0:armel (1.0.3+git161113-5) ... Selecting previously unselected package libicu60:armel. Preparing to unpack .../026-libicu60_60.2-6_armel.deb ... Unpacking libicu60:armel (60.2-6) ... Selecting previously unselected package libxml2:armel. Preparing to unpack .../027-libxml2_2.9.4+dfsg1-7+b1_armel.deb ... Unpacking libxml2:armel (2.9.4+dfsg1-7+b1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../028-shared-mime-info_1.9-2_armel.deb ... Unpacking shared-mime-info (1.9-2) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../029-libgdk-pixbuf2.0-common_2.36.12-2_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.36.12-2) ... Selecting previously unselected package libgdk-pixbuf2.0-0:armel. Preparing to unpack .../030-libgdk-pixbuf2.0-0_2.36.12-2_armel.deb ... Unpacking libgdk-pixbuf2.0-0:armel (2.36.12-2) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../031-gtk-update-icon-cache_3.22.30-2_armel.deb ... No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. Unpacking gtk-update-icon-cache (3.22.30-2) ... Selecting previously unselected package libexpat1:armel. Preparing to unpack .../032-libexpat1_2.2.6-1_armel.deb ... Unpacking libexpat1:armel (2.2.6-1) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../033-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../034-fontconfig-config_2.13.0-5_all.deb ... Unpacking fontconfig-config (2.13.0-5) ... Selecting previously unselected package libfontconfig1:armel. Preparing to unpack .../035-libfontconfig1_2.13.0-5_armel.deb ... Unpacking libfontconfig1:armel (2.13.0-5) ... Selecting previously unselected package libpixman-1-0:armel. Preparing to unpack .../036-libpixman-1-0_0.34.0-2_armel.deb ... Unpacking libpixman-1-0:armel (0.34.0-2) ... Selecting previously unselected package libxcb-render0:armel. Preparing to unpack .../037-libxcb-render0_1.13-2_armel.deb ... Unpacking libxcb-render0:armel (1.13-2) ... Selecting previously unselected package libxcb-shm0:armel. Preparing to unpack .../038-libxcb-shm0_1.13-2_armel.deb ... Unpacking libxcb-shm0:armel (1.13-2) ... Selecting previously unselected package libxext6:armel. Preparing to unpack .../039-libxext6_2%3a1.3.3-1+b2_armel.deb ... Unpacking libxext6:armel (2:1.3.3-1+b2) ... Selecting previously unselected package libxrender1:armel. Preparing to unpack .../040-libxrender1_1%3a0.9.10-1_armel.deb ... Unpacking libxrender1:armel (1:0.9.10-1) ... Selecting previously unselected package libcairo2:armel. Preparing to unpack .../041-libcairo2_1.15.10-3_armel.deb ... Unpacking libcairo2:armel (1.15.10-3) ... Selecting previously unselected package libcroco3:armel. Preparing to unpack .../042-libcroco3_0.6.12-2_armel.deb ... Unpacking libcroco3:armel (0.6.12-2) ... Selecting previously unselected package fontconfig. Preparing to unpack .../043-fontconfig_2.13.0-5_armel.deb ... Unpacking fontconfig (2.13.0-5) ... Selecting previously unselected package libfribidi0:armel. Preparing to unpack .../044-libfribidi0_1.0.5-3_armel.deb ... Unpacking libfribidi0:armel (1.0.5-3) ... Selecting previously unselected package libthai-data. Preparing to unpack .../045-libthai-data_0.1.28-1_all.deb ... Unpacking libthai-data (0.1.28-1) ... Selecting previously unselected package libdatrie1:armel. Preparing to unpack .../046-libdatrie1_0.2.12-1_armel.deb ... Unpacking libdatrie1:armel (0.2.12-1) ... Selecting previously unselected package libthai0:armel. Preparing to unpack .../047-libthai0_0.1.28-1_armel.deb ... Unpacking libthai0:armel (0.1.28-1) ... Selecting previously unselected package libpango-1.0-0:armel. Preparing to unpack .../048-libpango-1.0-0_1.42.4-1_armel.deb ... Unpacking libpango-1.0-0:armel (1.42.4-1) ... Selecting previously unselected package libpangoft2-1.0-0:armel. Preparing to unpack .../049-libpangoft2-1.0-0_1.42.4-1_armel.deb ... Unpacking libpangoft2-1.0-0:armel (1.42.4-1) ... Selecting previously unselected package libpangocairo-1.0-0:armel. Preparing to unpack .../050-libpangocairo-1.0-0_1.42.4-1_armel.deb ... Unpacking libpangocairo-1.0-0:armel (1.42.4-1) ... Selecting previously unselected package librsvg2-2:armel. Preparing to unpack .../051-librsvg2-2_2.40.20-2_armel.deb ... Unpacking librsvg2-2:armel (2.40.20-2) ... Selecting previously unselected package librsvg2-common:armel. Preparing to unpack .../052-librsvg2-common_2.40.20-2_armel.deb ... Unpacking librsvg2-common:armel (2.40.20-2) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../053-adwaita-icon-theme_3.28.0-1_all.deb ... Unpacking adwaita-icon-theme (3.28.0-1) ... Selecting previously unselected package libaspell15:armel. Preparing to unpack .../054-libaspell15_0.60.7~20110707-5_armel.deb ... Unpacking libaspell15:armel (0.60.7~20110707-5) ... Selecting previously unselected package libtext-iconv-perl. Preparing to unpack .../055-libtext-iconv-perl_1.7-5+b6_armel.deb ... Unpacking libtext-iconv-perl (1.7-5+b6) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../056-emacsen-common_3.0.2_all.deb ... Unpacking emacsen-common (3.0.2) ... Selecting previously unselected package dictionaries-common. Preparing to unpack .../057-dictionaries-common_1.28.0_all.deb ... Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common' Unpacking dictionaries-common (1.28.0) ... Selecting previously unselected package aspell. Preparing to unpack .../058-aspell_0.60.7~20110707-5_armel.deb ... Unpacking aspell (0.60.7~20110707-5) ... Selecting previously unselected package aspell-en. Preparing to unpack .../059-aspell-en_2017.08.24-0-0.1_all.deb ... Unpacking aspell-en (2017.08.24-0-0.1) ... Selecting previously unselected package libsigsegv2:armel. Preparing to unpack .../060-libsigsegv2_2.12-2_armel.deb ... Unpacking libsigsegv2:armel (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../061-m4_1.4.18-1_armel.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../062-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../063-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../064-automake_1%3a1.16.1-1_all.deb ... Unpacking automake (1:1.16.1-1) ... Selecting previously unselected package autopoint. Preparing to unpack .../065-autopoint_0.19.8.1-7_all.deb ... Unpacking autopoint (0.19.8.1-7) ... Selecting previously unselected package coq-theories. Preparing to unpack .../066-coq-theories_8.6-5_armel.deb ... Unpacking coq-theories (8.6-5) ... Selecting previously unselected package libncurses6:armel. Preparing to unpack .../067-libncurses6_6.1+20180714-1_armel.deb ... Unpacking libncurses6:armel (6.1+20180714-1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../068-ocaml-base-nox_4.05.0-10+b1_armel.deb ... Unpacking ocaml-base-nox (4.05.0-10+b1) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../069-libatk1.0-data_2.28.1-1_all.deb ... Unpacking libatk1.0-data (2.28.1-1) ... Selecting previously unselected package libatk1.0-0:armel. Preparing to unpack .../070-libatk1.0-0_2.28.1-1_armel.deb ... Unpacking libatk1.0-0:armel (2.28.1-1) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../071-libgtk2.0-common_2.24.32-3_all.deb ... Unpacking libgtk2.0-common (2.24.32-3) ... Selecting previously unselected package libavahi-common-data:armel. Preparing to unpack .../072-libavahi-common-data_0.7-4_armel.deb ... Unpacking libavahi-common-data:armel (0.7-4) ... Selecting previously unselected package libavahi-common3:armel. Preparing to unpack .../073-libavahi-common3_0.7-4_armel.deb ... Unpacking libavahi-common3:armel (0.7-4) ... Selecting previously unselected package libdbus-1-3:armel. Preparing to unpack .../074-libdbus-1-3_1.12.10-1_armel.deb ... Unpacking libdbus-1-3:armel (1.12.10-1) ... Selecting previously unselected package libavahi-client3:armel. Preparing to unpack .../075-libavahi-client3_0.7-4_armel.deb ... Unpacking libavahi-client3:armel (0.7-4) ... Selecting previously unselected package libkeyutils1:armel. Preparing to unpack .../076-libkeyutils1_1.5.9-9.3_armel.deb ... Unpacking libkeyutils1:armel (1.5.9-9.3) ... Selecting previously unselected package libkrb5support0:armel. Preparing to unpack .../077-libkrb5support0_1.16-2_armel.deb ... Unpacking libkrb5support0:armel (1.16-2) ... Selecting previously unselected package libk5crypto3:armel. Preparing to unpack .../078-libk5crypto3_1.16-2_armel.deb ... Unpacking libk5crypto3:armel (1.16-2) ... Selecting previously unselected package libkrb5-3:armel. Preparing to unpack .../079-libkrb5-3_1.16-2_armel.deb ... Unpacking libkrb5-3:armel (1.16-2) ... Selecting previously unselected package libgssapi-krb5-2:armel. Preparing to unpack .../080-libgssapi-krb5-2_1.16-2_armel.deb ... Unpacking libgssapi-krb5-2:armel (1.16-2) ... Selecting previously unselected package libcups2:armel. Preparing to unpack .../081-libcups2_2.2.8-5_armel.deb ... Unpacking libcups2:armel (2.2.8-5) ... Selecting previously unselected package libxcomposite1:armel. Preparing to unpack .../082-libxcomposite1_1%3a0.4.4-2_armel.deb ... Unpacking libxcomposite1:armel (1:0.4.4-2) ... Selecting previously unselected package libxfixes3:armel. Preparing to unpack .../083-libxfixes3_1%3a5.0.3-1_armel.deb ... Unpacking libxfixes3:armel (1:5.0.3-1) ... Selecting previously unselected package libxcursor1:armel. Preparing to unpack .../084-libxcursor1_1%3a1.1.15-1_armel.deb ... Unpacking libxcursor1:armel (1:1.1.15-1) ... Selecting previously unselected package libxdamage1:armel. Preparing to unpack .../085-libxdamage1_1%3a1.1.4-3_armel.deb ... Unpacking libxdamage1:armel (1:1.1.4-3) ... Selecting previously unselected package libxi6:armel. Preparing to unpack .../086-libxi6_2%3a1.7.9-1_armel.deb ... Unpacking libxi6:armel (2:1.7.9-1) ... Selecting previously unselected package libxinerama1:armel. Preparing to unpack .../087-libxinerama1_2%3a1.1.3-1+b3_armel.deb ... Unpacking libxinerama1:armel (2:1.1.3-1+b3) ... Selecting previously unselected package libxrandr2:armel. Preparing to unpack .../088-libxrandr2_2%3a1.5.1-1_armel.deb ... Unpacking libxrandr2:armel (2:1.5.1-1) ... Selecting previously unselected package libgtk2.0-0:armel. Preparing to unpack .../089-libgtk2.0-0_2.24.32-3_armel.deb ... Unpacking libgtk2.0-0:armel (2.24.32-3) ... Selecting previously unselected package libglade2-0:armel. Preparing to unpack .../090-libglade2-0_1%3a2.6.4-2+b1_armel.deb ... Unpacking libglade2-0:armel (1:2.6.4-2+b1) ... Selecting previously unselected package libhunspell-1.6-0:armel. Preparing to unpack .../091-libhunspell-1.6-0_1.6.2-1+b1_armel.deb ... Unpacking libhunspell-1.6-0:armel (1.6.2-1+b1) ... Selecting previously unselected package libenchant1c2a:armel. Preparing to unpack .../092-libenchant1c2a_1.6.0-11.1_armel.deb ... Unpacking libenchant1c2a:armel (1.6.0-11.1) ... Selecting previously unselected package libgtkspell0:armel. Preparing to unpack .../093-libgtkspell0_2.0.16-1.2_armel.deb ... Unpacking libgtkspell0:armel (2.0.16-1.2) ... Selecting previously unselected package liblablgtk2-ocaml. Preparing to unpack .../094-liblablgtk2-ocaml_2.18.5+dfsg-1+b2_armel.deb ... Unpacking liblablgtk2-ocaml (2.18.5+dfsg-1+b2) ... Selecting previously unselected package libgtksourceview2.0-common. Preparing to unpack .../095-libgtksourceview2.0-common_2.10.5-3_all.deb ... Unpacking libgtksourceview2.0-common (2.10.5-3) ... Selecting previously unselected package libgtksourceview2.0-0:armel. Preparing to unpack .../096-libgtksourceview2.0-0_2.10.5-3_armel.deb ... Unpacking libgtksourceview2.0-0:armel (2.10.5-3) ... Selecting previously unselected package liblablgtksourceview2-ocaml. Preparing to unpack .../097-liblablgtksourceview2-ocaml_2.18.5+dfsg-1+b2_armel.deb ... Unpacking liblablgtksourceview2-ocaml (2.18.5+dfsg-1+b2) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../098-libcoq-ocaml_8.6-5_armel.deb ... Unpacking libcoq-ocaml (8.6-5) ... Selecting previously unselected package libncurses-dev:armel. Preparing to unpack .../099-libncurses-dev_6.1+20180714-1_armel.deb ... Unpacking libncurses-dev:armel (6.1+20180714-1) ... Selecting previously unselected package libncurses5-dev:armel. Preparing to unpack .../100-libncurses5-dev_6.1+20180714-1_armel.deb ... Unpacking libncurses5-dev:armel (6.1+20180714-1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../101-ocaml-compiler-libs_4.05.0-10+b1_armel.deb ... Unpacking ocaml-compiler-libs (4.05.0-10+b1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../102-ocaml-interp_4.05.0-10+b1_armel.deb ... Unpacking ocaml-interp (4.05.0-10+b1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../103-ocaml-nox_4.05.0-10+b1_armel.deb ... Unpacking ocaml-nox (4.05.0-10+b1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../104-libfindlib-ocaml_1.7.3-2+b2_armel.deb ... Unpacking libfindlib-ocaml (1.7.3-2+b2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../105-ocaml-findlib_1.7.3-2+b2_armel.deb ... Unpacking ocaml-findlib (1.7.3-2+b2) ... Selecting previously unselected package coq. Preparing to unpack .../106-coq_8.6-5_armel.deb ... Unpacking coq (8.6-5) ... Selecting previously unselected package libtool. Preparing to unpack .../107-libtool_2.4.6-2.1_all.deb ... Unpacking libtool (2.4.6-2.1) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../108-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../109-libarchive-zip-perl_1.62-2_all.deb ... Unpacking libarchive-zip-perl (1.62-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../110-libfile-stripnondeterminism-perl_0.042-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.042-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../111-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../112-dh-strip-nondeterminism_0.042-1_all.deb ... Unpacking dh-strip-nondeterminism (0.042-1) ... Selecting previously unselected package libelf1:armel. Preparing to unpack .../113-libelf1_0.170-0.5_armel.deb ... Unpacking libelf1:armel (0.170-0.5) ... Selecting previously unselected package dwz. Preparing to unpack .../114-dwz_0.12-2_armel.deb ... Unpacking dwz (0.12-2) ... Selecting previously unselected package gettext. Preparing to unpack .../115-gettext_0.19.8.1-7_armel.deb ... Unpacking gettext (0.19.8.1-7) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../116-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../117-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../118-debhelper_11.3.5_all.deb ... Unpacking debhelper (11.3.5) ... Setting up libexpat1:armel (2.2.6-1) ... Setting up libgtk2.0-common (2.24.32-3) ... Setting up libjpeg62-turbo:armel (1:1.5.2-2+b1) ... Setting up libarchive-zip-perl (1.62-2) ... Setting up libhunspell-1.6-0:armel (1.6.2-1+b1) ... Setting up libpng16-16:armel (1.6.34-2) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libjbig0:armel (2.1-3.1+b2) ... Setting up libsigsegv2:armel (2.12-2) ... Setting up libaspell15:armel (0.60.7~20110707-5) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up libelf1:armel (0.170-0.5) ... Setting up groff-base (1.22.3-10) ... Setting up libglib2.0-0:armel (2.56.1-2) ... No schema files found: doing nothing. Setting up emacsen-common (3.0.2) ... Setting up libgdk-pixbuf2.0-common (2.36.12-2) ... Setting up libdatrie1:armel (0.2.12-1) ... Setting up libtiff5:armel (4.0.9-6) ... Setting up gettext-base (0.19.8.1-7) ... Setting up libpipeline1:armel (1.5.0-1) ... Setting up m4 (1.4.18-1) ... Setting up libbsd0:armel (0.9.1-1) ... Setting up libfreetype6:armel (2.8.1-2) ... Setting up libmagic-mgc (1:5.34-2) ... Setting up libmagic1:armel (1:5.34-2) ... Setting up libgraphite2-3:armel (1.3.11-2) ... Setting up libatk1.0-data (2.28.1-1) ... Setting up sensible-utils (0.0.12) ... Setting up libpixman-1-0:armel (0.34.0-2) ... Setting up libgtksourceview2.0-common (2.10.5-3) ... Processing triggers for libc-bin (2.27-5) ... Setting up dwz (0.12-2) ... Setting up autotools-dev (20180224.1) ... Setting up libatk1.0-0:armel (2.28.1-1) ... Setting up libtext-iconv-perl (1.7-5+b6) ... Setting up libfribidi0:armel (1.0.5-3) ... Setting up libthai-data (0.1.28-1) ... Setting up libxdmcp6:armel (1:1.1.2-3) ... Setting up libkeyutils1:armel (1.5.9-9.3) ... Setting up bsdmainutils (11.1.2+b1) ... 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 hicolor-icon-theme (0.17-2) ... Setting up libncurses6:armel (6.1+20180714-1) ... Setting up libx11-data (2:1.6.5-1) ... Setting up libxau6:armel (1:1.0.8-1+b2) ... Setting up autopoint (0.19.8.1-7) ... Setting up libdbus-1-3:armel (1.12.10-1) ... Setting up libavahi-common-data:armel (0.7-4) ... Setting up libfile-stripnondeterminism-perl (0.042-1) ... Setting up dictionaries-common (1.28.0) ... Setting up ocaml-base-nox (4.05.0-10+b1) ... Setting up libharfbuzz0b:armel (1.8.8-2) ... Setting up autoconf (2.69-11) ... Setting up libthai0:armel (0.1.28-1) ... Setting up file (1:5.34-2) ... Setting up libkrb5support0:armel (1.16-2) ... Setting up ucf (3.0038) ... Setting up automake (1:1.16.1-1) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up man-db (2.8.4-2) ... Building database of manual pages ... Setting up libavahi-common3:armel (0.7-4) ... Setting up aspell (0.60.7~20110707-5) ... Setting up libncurses-dev:armel (6.1+20180714-1) ... Setting up libxcb1:armel (1.13-2) ... Setting up libfindlib-ocaml (1.7.3-2+b2) ... Setting up ocaml-findlib (1.7.3-2+b2) ... Setting up libtool (2.4.6-2.1) ... Setting up libk5crypto3:armel (1.16-2) ... Setting up fontconfig-config (2.13.0-5) ... Setting up libxcb-render0:armel (1.13-2) ... Setting up libx11-6:armel (2:1.6.5-1) ... Setting up libncurses5-dev:armel (6.1+20180714-1) ... Setting up aspell-en (2017.08.24-0-0.1) ... Setting up libxcomposite1:armel (1:0.4.4-2) ... Setting up libxcb-shm0:armel (1.13-2) ... Setting up libxrender1:armel (1:0.9.10-1) ... Setting up libavahi-client3:armel (0.7-4) ... Setting up libkrb5-3:armel (1.16-2) ... Setting up libenchant1c2a:armel (1.6.0-11.1) ... Setting up libfontconfig1:armel (2.13.0-5) ... Setting up libxext6:armel (2:1.3.3-1+b2) ... Setting up libxfixes3:armel (1:5.0.3-1) ... Setting up libgssapi-krb5-2:armel (1.16-2) ... Setting up libxcursor1:armel (1:1.1.15-1) ... Setting up libxrandr2:armel (2:1.5.1-1) ... Setting up fontconfig (2.13.0-5) ... Regenerating fonts cache... done. Setting up libcups2:armel (2.2.8-5) ... Setting up libxi6:armel (2:1.7.9-1) ... Setting up libcairo2:armel (1.15.10-3) ... Setting up libxinerama1:armel (2:1.1.3-1+b3) ... Setting up libxdamage1:armel (1:1.1.4-3) ... Setting up libpango-1.0-0:armel (1.42.4-1) ... Setting up libpangoft2-1.0-0:armel (1.42.4-1) ... Setting up libpangocairo-1.0-0:armel (1.42.4-1) ... Setting up coq-theories (8.6-5) ... Setting up dh-autoreconf (19) ... Setting up libicu-le-hb0:armel (1.0.3+git161113-5) ... Setting up ocaml-interp (4.05.0-10+b1) ... Setting up dh-strip-nondeterminism (0.042-1) ... Setting up libicu60:armel (60.2-6) ... Setting up ocaml-nox (4.05.0-10+b1) ... Setting up libxml2:armel (2.9.4+dfsg1-7+b1) ... Setting up libcroco3:armel (0.6.12-2) ... Setting up shared-mime-info (1.9-2) ... Setting up ocaml-compiler-libs (4.05.0-10+b1) ... Setting up gettext (0.19.8.1-7) ... Setting up libgdk-pixbuf2.0-0:armel (2.36.12-2) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up gtk-update-icon-cache (3.22.30-2) ... Setting up librsvg2-2:armel (2.40.20-2) ... Setting up po-debconf (1.0.20) ... Setting up librsvg2-common:armel (2.40.20-2) ... Setting up adwaita-icon-theme (3.28.0-1) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up debhelper (11.3.5) ... Setting up libgtk2.0-0:armel (2.24.32-3) ... Setting up libgtksourceview2.0-0:armel (2.10.5-3) ... Setting up libgtkspell0:armel (2.0.16-1.2) ... Setting up libglade2-0:armel (1:2.6.4-2+b1) ... Setting up liblablgtk2-ocaml (2.18.5+dfsg-1+b2) ... Setting up liblablgtksourceview2-ocaml (2.18.5+dfsg-1+b2) ... Setting up libcoq-ocaml (8.6-5) ... Setting up coq (8.6-5) ... ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file. Install coq for emacs Processing triggers for libc-bin (2.27-5) ... Processing triggers for dictionaries-common (1.28.0) ... aspell-autobuildhash: processing: en [en-common]. aspell-autobuildhash: processing: en [en-variant_0]. aspell-autobuildhash: processing: en [en-variant_1]. aspell-autobuildhash: processing: en [en-variant_2]. aspell-autobuildhash: processing: en [en-w_accents-only]. aspell-autobuildhash: processing: en [en-wo_accents-only]. aspell-autobuildhash: processing: en [en_AU-variant_0]. aspell-autobuildhash: processing: en [en_AU-variant_1]. aspell-autobuildhash: processing: en [en_AU-w_accents-only]. aspell-autobuildhash: processing: en [en_AU-wo_accents-only]. aspell-autobuildhash: processing: en [en_CA-variant_0]. aspell-autobuildhash: processing: en [en_CA-variant_1]. aspell-autobuildhash: processing: en [en_CA-w_accents-only]. aspell-autobuildhash: processing: en [en_CA-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only]. aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only]. aspell-autobuildhash: processing: en [en_GB-variant_0]. aspell-autobuildhash: processing: en [en_GB-variant_1]. aspell-autobuildhash: processing: en [en_US-w_accents-only]. aspell-autobuildhash: processing: en [en_US-wo_accents-only]. Processing triggers for libgdk-pixbuf2.0-0:armel (2.36.12-2) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libfakeroot The following NEW packages will be installed: fakeroot libfakeroot debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 2 newly installed, 0 to remove and 9 not upgraded. Need to get 0 B/129 kB of archives. After this operation, 348 kB of additional disk space will be used. Selecting previously unselected package libfakeroot:armel. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 25910 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.23-1_armel.deb ... Unpacking libfakeroot:armel (1.23-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.23-1_armel.deb ... Unpacking fakeroot (1.23-1) ... Processing triggers for libc-bin (2.27-5) ... Setting up libfakeroot:armel (1.23-1) ... Processing triggers for man-db (2.8.4-2) ... Setting up fakeroot (1.23-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.27-5) ... I: Copying back the cached apt archive contents I: new cache content 'libgtksourceview2.0-0_2.10.5-3_armel.deb' added I: new cache content 'liblablgtksourceview2-ocaml_2.18.5+dfsg-1+b2_armel.deb' added I: new cache content 'coq-theories_8.6-5_armel.deb' added I: new cache content 'libgtksourceview2.0-common_2.10.5-3_all.deb' added I: new cache content 'coq_8.6-5_armel.deb' added I: new cache content 'libcoq-ocaml_8.6-5_armel.deb' added I: Building the package I: Running cd /build/coq-float-8.4/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin" HOME="/nonexistent" dpkg-buildpackage -us -uc -rfakeroot dpkg-buildpackage: info: source package coq-float dpkg-buildpackage: info: source version 1:8.4-5 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Stéphane Glondu dpkg-source --before-build coq-float-8.4 dpkg-buildpackage: info: host architecture armel fakeroot debian/rules clean dh clean dh_auto_clean make -j1 clean make[1]: Entering directory '/build/coq-float-8.4' rm -f AllFloat.vo Closest2Plus.vo Closest2Prop.vo ClosestMult.vo ClosestPlus.vo ClosestProp.vo Closest.vo Digit.vo Faux.vo Fbound.vo Fcomp.vo Finduct.vo Float.vo Fmin.vo Fnorm.vo Fodd.vo Fop.vo FPred.vo Fprop.vo FroundMult.vo FroundPlus.vo FroundProp.vo Fround.vo Fsucc.vo FSucc.vo MSBProp.vo MSB.vo Option.vo Paux.vo RND.vo Rpow.vo sTactic.vo Zdivides.vo Zenum.vo Ct2/FboundI.vo Ct2/FnormI.vo Expansions/EFast2Sum.vo Expansions/Fast2Diff.vo Expansions/Fast2Sum.vo Expansions/Fexp2.vo Expansions/FexpAdd.vo Expansions/FexpDiv.vo Expansions/FexpPlus.vo Expansions/Fexp.vo Expansions/ThreeSum2.vo Expansions/ThreeSumProps.vo Expansions/TwoSum.vo FnElem/Axpy.vo FnElem/DoubleRound.vo FnElem/FArgReduct2.vo FnElem/FArgReduct3.vo FnElem/FArgReduct4.vo FnElem/FArgReduct.vo FnElem/FIA64elem.vo FnElem/FmaErr2.vo FnElem/FmaErrApprox2.vo FnElem/FmaErrApprox.vo FnElem/FmaErr.vo FnElem/MinOrMax.vo Others/AlgoPredSucc.vo Others/DblRndOdd.vo Others/Dekker.vo Others/discriminant2.vo Others/discriminant3.vo Others/discriminant.vo Others/Divnk.vo Others/FmaEmul.vo Others/FminOp.vo Others/FroundDivSqrt.vo Others/PradixE.vo Others/Veltkamp.vo AllFloat.vi Closest2Plus.vi Closest2Prop.vi ClosestMult.vi ClosestPlus.vi ClosestProp.vi Closest.vi Digit.vi Faux.vi Fbound.vi Fcomp.vi Finduct.vi Float.vi Fmin.vi Fnorm.vi Fodd.vi Fop.vi FPred.vi Fprop.vi FroundMult.vi FroundPlus.vi FroundProp.vi Fround.vi Fsucc.vi FSucc.vi MSBProp.vi MSB.vi Option.vi Paux.vi RND.vi Rpow.vi sTactic.vi Zdivides.vi Zenum.vi Ct2/FboundI.vi Ct2/FnormI.vi Expansions/EFast2Sum.vi Expansions/Fast2Diff.vi Expansions/Fast2Sum.vi Expansions/Fexp2.vi Expansions/FexpAdd.vi Expansions/FexpDiv.vi Expansions/FexpPlus.vi Expansions/Fexp.vi Expansions/ThreeSum2.vi Expansions/ThreeSumProps.vi Expansions/TwoSum.vi FnElem/Axpy.vi FnElem/DoubleRound.vi FnElem/FArgReduct2.vi FnElem/FArgReduct3.vi FnElem/FArgReduct4.vi FnElem/FArgReduct.vi FnElem/FIA64elem.vi FnElem/FmaErr2.vi FnElem/FmaErrApprox2.vi FnElem/FmaErrApprox.vi FnElem/FmaErr.vi FnElem/MinOrMax.vi Others/AlgoPredSucc.vi Others/DblRndOdd.vi Others/Dekker.vi Others/discriminant2.vi Others/discriminant3.vi Others/discriminant.vi Others/Divnk.vi Others/FmaEmul.vi Others/FminOp.vi Others/FroundDivSqrt.vi Others/PradixE.vi Others/Veltkamp.vi AllFloat.g Closest2Plus.g Closest2Prop.g ClosestMult.g ClosestPlus.g ClosestProp.g Closest.g Digit.g Faux.g Fbound.g Fcomp.g Finduct.g Float.g Fmin.g Fnorm.g Fodd.g Fop.g FPred.g Fprop.g FroundMult.g FroundPlus.g FroundProp.g Fround.g Fsucc.g FSucc.g MSBProp.g MSB.g Option.g Paux.g RND.g Rpow.g sTactic.g Zdivides.g Zenum.g Ct2/FboundI.g Ct2/FnormI.g Expansions/EFast2Sum.g Expansions/Fast2Diff.g Expansions/Fast2Sum.g Expansions/Fexp2.g Expansions/FexpAdd.g Expansions/FexpDiv.g Expansions/FexpPlus.g Expansions/Fexp.g Expansions/ThreeSum2.g Expansions/ThreeSumProps.g Expansions/TwoSum.g FnElem/Axpy.g FnElem/DoubleRound.g FnElem/FArgReduct2.g FnElem/FArgReduct3.g FnElem/FArgReduct4.g FnElem/FArgReduct.g FnElem/FIA64elem.g FnElem/FmaErr2.g FnElem/FmaErrApprox2.g FnElem/FmaErrApprox.g FnElem/FmaErr.g FnElem/MinOrMax.g Others/AlgoPredSucc.g Others/DblRndOdd.g Others/Dekker.g Others/discriminant2.g Others/discriminant3.g Others/discriminant.g Others/Divnk.g Others/FmaEmul.g Others/FminOp.g Others/FroundDivSqrt.g Others/PradixE.g Others/Veltkamp.g AllFloat.v.d Closest2Plus.v.d Closest2Prop.v.d ClosestMult.v.d ClosestPlus.v.d ClosestProp.v.d Closest.v.d Digit.v.d Faux.v.d Fbound.v.d Fcomp.v.d Finduct.v.d Float.v.d Fmin.v.d Fnorm.v.d Fodd.v.d Fop.v.d FPred.v.d Fprop.v.d FroundMult.v.d FroundPlus.v.d FroundProp.v.d Fround.v.d Fsucc.v.d FSucc.v.d MSBProp.v.d MSB.v.d Option.v.d Paux.v.d RND.v.d Rpow.v.d sTactic.v.d Zdivides.v.d Zenum.v.d Ct2/FboundI.v.d Ct2/FnormI.v.d Expansions/EFast2Sum.v.d Expansions/Fast2Diff.v.d Expansions/Fast2Sum.v.d Expansions/Fexp2.v.d Expansions/FexpAdd.v.d Expansions/FexpDiv.v.d Expansions/FexpPlus.v.d Expansions/Fexp.v.d Expansions/ThreeSum2.v.d Expansions/ThreeSumProps.v.d Expansions/TwoSum.v.d FnElem/Axpy.v.d FnElem/DoubleRound.v.d FnElem/FArgReduct2.v.d FnElem/FArgReduct3.v.d FnElem/FArgReduct4.v.d FnElem/FArgReduct.v.d FnElem/FIA64elem.v.d FnElem/FmaErr2.v.d FnElem/FmaErrApprox2.v.d FnElem/FmaErrApprox.v.d FnElem/FmaErr.v.d FnElem/MinOrMax.v.d Others/AlgoPredSucc.v.d Others/DblRndOdd.v.d Others/Dekker.v.d Others/discriminant2.v.d Others/discriminant3.v.d Others/discriminant.v.d Others/Divnk.v.d Others/FmaEmul.v.d Others/FminOp.v.d Others/FroundDivSqrt.v.d Others/PradixE.v.d Others/Veltkamp.v.d AllFloat.v.beautified Closest2Plus.v.beautified Closest2Prop.v.beautified ClosestMult.v.beautified ClosestPlus.v.beautified ClosestProp.v.beautified Closest.v.beautified Digit.v.beautified Faux.v.beautified Fbound.v.beautified Fcomp.v.beautified Finduct.v.beautified Float.v.beautified Fmin.v.beautified Fnorm.v.beautified Fodd.v.beautified Fop.v.beautified FPred.v.beautified Fprop.v.beautified FroundMult.v.beautified FroundPlus.v.beautified FroundProp.v.beautified Fround.v.beautified Fsucc.v.beautified FSucc.v.beautified MSBProp.v.beautified MSB.v.beautified Option.v.beautified Paux.v.beautified RND.v.beautified Rpow.v.beautified sTactic.v.beautified Zdivides.v.beautified Zenum.v.beautified Ct2/FboundI.v.beautified Ct2/FnormI.v.beautified Expansions/EFast2Sum.v.beautified Expansions/Fast2Diff.v.beautified Expansions/Fast2Sum.v.beautified Expansions/Fexp2.v.beautified Expansions/FexpAdd.v.beautified Expansions/FexpDiv.v.beautified Expansions/FexpPlus.v.beautified Expansions/Fexp.v.beautified Expansions/ThreeSum2.v.beautified Expansions/ThreeSumProps.v.beautified Expansions/TwoSum.v.beautified FnElem/Axpy.v.beautified FnElem/DoubleRound.v.beautified FnElem/FArgReduct2.v.beautified FnElem/FArgReduct3.v.beautified FnElem/FArgReduct4.v.beautified FnElem/FArgReduct.v.beautified FnElem/FIA64elem.v.beautified FnElem/FmaErr2.v.beautified FnElem/FmaErrApprox2.v.beautified FnElem/FmaErrApprox.v.beautified FnElem/FmaErr.v.beautified FnElem/MinOrMax.v.beautified Others/AlgoPredSucc.v.beautified Others/DblRndOdd.v.beautified Others/Dekker.v.beautified Others/discriminant2.v.beautified Others/discriminant3.v.beautified Others/discriminant.v.beautified Others/Divnk.v.beautified Others/FmaEmul.v.beautified Others/FminOp.v.beautified Others/FroundDivSqrt.v.beautified Others/PradixE.v.beautified Others/Veltkamp.v.beautified AllFloat.v.old Closest2Plus.v.old Closest2Prop.v.old ClosestMult.v.old ClosestPlus.v.old ClosestProp.v.old Closest.v.old Digit.v.old Faux.v.old Fbound.v.old Fcomp.v.old Finduct.v.old Float.v.old Fmin.v.old Fnorm.v.old Fodd.v.old Fop.v.old FPred.v.old Fprop.v.old FroundMult.v.old FroundPlus.v.old FroundProp.v.old Fround.v.old Fsucc.v.old FSucc.v.old MSBProp.v.old MSB.v.old Option.v.old Paux.v.old RND.v.old Rpow.v.old sTactic.v.old Zdivides.v.old Zenum.v.old Ct2/FboundI.v.old Ct2/FnormI.v.old Expansions/EFast2Sum.v.old Expansions/Fast2Diff.v.old Expansions/Fast2Sum.v.old Expansions/Fexp2.v.old Expansions/FexpAdd.v.old Expansions/FexpDiv.v.old Expansions/FexpPlus.v.old Expansions/Fexp.v.old Expansions/ThreeSum2.v.old Expansions/ThreeSumProps.v.old Expansions/TwoSum.v.old FnElem/Axpy.v.old FnElem/DoubleRound.v.old FnElem/FArgReduct2.v.old FnElem/FArgReduct3.v.old FnElem/FArgReduct4.v.old FnElem/FArgReduct.v.old FnElem/FIA64elem.v.old FnElem/FmaErr2.v.old FnElem/FmaErrApprox2.v.old FnElem/FmaErrApprox.v.old FnElem/FmaErr.v.old FnElem/MinOrMax.v.old Others/AlgoPredSucc.v.old Others/DblRndOdd.v.old Others/Dekker.v.old Others/discriminant2.v.old Others/discriminant3.v.old Others/discriminant.v.old Others/Divnk.v.old Others/FmaEmul.v.old Others/FminOp.v.old Others/FroundDivSqrt.v.old Others/PradixE.v.old Others/Veltkamp.v.old rm -f all.ps all-gal.ps all.pdf all-gal.pdf all.glob AllFloat.glob Closest2Plus.glob Closest2Prop.glob ClosestMult.glob ClosestPlus.glob ClosestProp.glob Closest.glob Digit.glob Faux.glob Fbound.glob Fcomp.glob Finduct.glob Float.glob Fmin.glob Fnorm.glob Fodd.glob Fop.glob FPred.glob Fprop.glob FroundMult.glob FroundPlus.glob FroundProp.glob Fround.glob Fsucc.glob FSucc.glob MSBProp.glob MSB.glob Option.glob Paux.glob RND.glob Rpow.glob sTactic.glob Zdivides.glob Zenum.glob Ct2/FboundI.glob Ct2/FnormI.glob Expansions/EFast2Sum.glob Expansions/Fast2Diff.glob Expansions/Fast2Sum.glob Expansions/Fexp2.glob Expansions/FexpAdd.glob Expansions/FexpDiv.glob Expansions/FexpPlus.glob Expansions/Fexp.glob Expansions/ThreeSum2.glob Expansions/ThreeSumProps.glob Expansions/TwoSum.glob FnElem/Axpy.glob FnElem/DoubleRound.glob FnElem/FArgReduct2.glob FnElem/FArgReduct3.glob FnElem/FArgReduct4.glob FnElem/FArgReduct.glob FnElem/FIA64elem.glob FnElem/FmaErr2.glob FnElem/FmaErrApprox2.glob FnElem/FmaErrApprox.glob FnElem/FmaErr.glob FnElem/MinOrMax.glob Others/AlgoPredSucc.glob Others/DblRndOdd.glob Others/Dekker.glob Others/discriminant2.glob Others/discriminant3.glob Others/discriminant.glob Others/Divnk.glob Others/FmaEmul.glob Others/FminOp.glob Others/FroundDivSqrt.glob Others/PradixE.glob Others/Veltkamp.glob AllFloat.tex Closest2Plus.tex Closest2Prop.tex ClosestMult.tex ClosestPlus.tex ClosestProp.tex Closest.tex Digit.tex Faux.tex Fbound.tex Fcomp.tex Finduct.tex Float.tex Fmin.tex Fnorm.tex Fodd.tex Fop.tex FPred.tex Fprop.tex FroundMult.tex FroundPlus.tex FroundProp.tex Fround.tex Fsucc.tex FSucc.tex MSBProp.tex MSB.tex Option.tex Paux.tex RND.tex Rpow.tex sTactic.tex Zdivides.tex Zenum.tex Ct2/FboundI.tex Ct2/FnormI.tex Expansions/EFast2Sum.tex Expansions/Fast2Diff.tex Expansions/Fast2Sum.tex Expansions/Fexp2.tex Expansions/FexpAdd.tex Expansions/FexpDiv.tex Expansions/FexpPlus.tex Expansions/Fexp.tex Expansions/ThreeSum2.tex Expansions/ThreeSumProps.tex Expansions/TwoSum.tex FnElem/Axpy.tex FnElem/DoubleRound.tex FnElem/FArgReduct2.tex FnElem/FArgReduct3.tex FnElem/FArgReduct4.tex FnElem/FArgReduct.tex FnElem/FIA64elem.tex FnElem/FmaErr2.tex FnElem/FmaErrApprox2.tex FnElem/FmaErrApprox.tex FnElem/FmaErr.tex FnElem/MinOrMax.tex Others/AlgoPredSucc.tex Others/DblRndOdd.tex Others/Dekker.tex Others/discriminant2.tex Others/discriminant3.tex Others/discriminant.tex Others/Divnk.tex Others/FmaEmul.tex Others/FminOp.tex Others/FroundDivSqrt.tex Others/PradixE.tex Others/Veltkamp.tex AllFloat.g.tex Closest2Plus.g.tex Closest2Prop.g.tex ClosestMult.g.tex ClosestPlus.g.tex ClosestProp.g.tex Closest.g.tex Digit.g.tex Faux.g.tex Fbound.g.tex Fcomp.g.tex Finduct.g.tex Float.g.tex Fmin.g.tex Fnorm.g.tex Fodd.g.tex Fop.g.tex FPred.g.tex Fprop.g.tex FroundMult.g.tex FroundPlus.g.tex FroundProp.g.tex Fround.g.tex Fsucc.g.tex FSucc.g.tex MSBProp.g.tex MSB.g.tex Option.g.tex Paux.g.tex RND.g.tex Rpow.g.tex sTactic.g.tex Zdivides.g.tex Zenum.g.tex Ct2/FboundI.g.tex Ct2/FnormI.g.tex Expansions/EFast2Sum.g.tex Expansions/Fast2Diff.g.tex Expansions/Fast2Sum.g.tex Expansions/Fexp2.g.tex Expansions/FexpAdd.g.tex Expansions/FexpDiv.g.tex Expansions/FexpPlus.g.tex Expansions/Fexp.g.tex Expansions/ThreeSum2.g.tex Expansions/ThreeSumProps.g.tex Expansions/TwoSum.g.tex FnElem/Axpy.g.tex FnElem/DoubleRound.g.tex FnElem/FArgReduct2.g.tex FnElem/FArgReduct3.g.tex FnElem/FArgReduct4.g.tex FnElem/FArgReduct.g.tex FnElem/FIA64elem.g.tex FnElem/FmaErr2.g.tex FnElem/FmaErrApprox2.g.tex FnElem/FmaErrApprox.g.tex FnElem/FmaErr.g.tex FnElem/MinOrMax.g.tex Others/AlgoPredSucc.g.tex Others/DblRndOdd.g.tex Others/Dekker.g.tex Others/discriminant2.g.tex Others/discriminant3.g.tex Others/discriminant.g.tex Others/Divnk.g.tex Others/FmaEmul.g.tex Others/FminOp.g.tex Others/FroundDivSqrt.g.tex Others/PradixE.g.tex Others/Veltkamp.g.tex all-mli.tex rm -rf html mlihtml make[1]: Leaving directory '/build/coq-float-8.4' debian/rules override_dh_clean make[1]: Entering directory '/build/coq-float-8.4' dh_clean for u in Makefile; do \ if [ -f "$u.backup" ]; then mv "$u.backup" "$u"; fi \ done make[1]: Leaving directory '/build/coq-float-8.4' dpkg-source -b coq-float-8.4 dpkg-source: info: using source format '3.0 (quilt)' dpkg-source: info: building coq-float using existing ./coq-float_8.4.orig.tar.gz dpkg-source: info: building coq-float in coq-float_8.4-5.debian.tar.xz dpkg-source: info: building coq-float in coq-float_8.4-5.dsc debian/rules build dh build dh_update_autotools_config debian/rules override_dh_auto_configure make[1]: Entering directory '/build/coq-float-8.4' for u in Makefile; do \ if [ ! -f "$u.backup" ]; then cp "$u" "$u.backup"; fi \ done coq_makefile -R . Float ./Finduct.v ./sTactic.v ./FroundPlus.v ./Fcomp.v ./Fprop.v ./ClosestPlus.v ./Float.v ./FroundMult.v ./FSucc.v ./Rpow.v ./Fmin.v ./Fop.v ./Ct2/FnormI.v ./Ct2/FboundI.v ./RND.v ./Zdivides.v ./Closest.v ./MSB.v ./Paux.v ./Fbound.v ./Fodd.v ./FroundProp.v ./Option.v ./Faux.v ./Fnorm.v ./MSBProp.v ./Zenum.v ./Digit.v ./ClosestProp.v ./FnElem/FIA64elem.v ./FnElem/FArgReduct3.v ./FnElem/FmaErrApprox2.v ./FnElem/FArgReduct4.v ./FnElem/DoubleRound.v ./FnElem/Axpy.v ./FnElem/FArgReduct2.v ./FnElem/FmaErrApprox.v ./FnElem/FmaErr.v ./FnElem/FmaErr2.v ./FnElem/MinOrMax.v ./FnElem/FArgReduct.v ./Others/discriminant3.v ./Others/FmaEmul.v ./Others/DblRndOdd.v ./Others/discriminant2.v ./Others/Dekker.v ./Others/discriminant.v ./Others/AlgoPredSucc.v ./Others/PradixE.v ./Others/FminOp.v ./Others/Divnk.v ./Others/Veltkamp.v ./Others/FroundDivSqrt.v ./AllFloat.v ./Fsucc.v ./Closest2Prop.v ./Expansions/FexpDiv.v ./Expansions/EFast2Sum.v ./Expansions/FexpPlus.v ./Expansions/FexpAdd.v ./Expansions/Fast2Sum.v ./Expansions/TwoSum.v ./Expansions/ThreeSum2.v ./Expansions/Fexp2.v ./Expansions/Fexp.v ./Expansions/Fast2Diff.v ./Expansions/ThreeSumProps.v ./FPred.v ./Fround.v ./ClosestMult.v ./Closest2Plus.v > Makefile make[1]: Leaving directory '/build/coq-float-8.4' debian/rules override_dh_auto_build make[1]: Entering directory '/build/coq-float-8.4' /usr/bin/make depend make[2]: Entering directory '/build/coq-float-8.4' COQDEP Closest2Plus.v COQDEP ClosestMult.v COQDEP Fround.v COQDEP FPred.v COQDEP Expansions/ThreeSumProps.v COQDEP Expansions/Fast2Diff.v COQDEP Expansions/Fexp.v COQDEP Expansions/Fexp2.v COQDEP Expansions/ThreeSum2.v COQDEP Expansions/TwoSum.v COQDEP Expansions/Fast2Sum.v COQDEP Expansions/FexpAdd.v COQDEP Expansions/FexpPlus.v COQDEP Expansions/EFast2Sum.v COQDEP Expansions/FexpDiv.v COQDEP Closest2Prop.v COQDEP Fsucc.v COQDEP AllFloat.v COQDEP Others/FroundDivSqrt.v COQDEP Others/Veltkamp.v COQDEP Others/Divnk.v COQDEP Others/FminOp.v COQDEP Others/PradixE.v COQDEP Others/AlgoPredSucc.v COQDEP Others/discriminant.v COQDEP Others/Dekker.v COQDEP Others/discriminant2.v COQDEP Others/DblRndOdd.v COQDEP Others/FmaEmul.v COQDEP Others/discriminant3.v COQDEP FnElem/FArgReduct.v COQDEP FnElem/MinOrMax.v COQDEP FnElem/FmaErr2.v COQDEP FnElem/FmaErr.v COQDEP FnElem/FmaErrApprox.v COQDEP FnElem/FArgReduct2.v COQDEP FnElem/Axpy.v COQDEP FnElem/DoubleRound.v COQDEP FnElem/FArgReduct4.v COQDEP FnElem/FmaErrApprox2.v COQDEP FnElem/FArgReduct3.v COQDEP FnElem/FIA64elem.v COQDEP ClosestProp.v COQDEP Digit.v COQDEP Zenum.v COQDEP MSBProp.v COQDEP Fnorm.v COQDEP Faux.v COQDEP Option.v COQDEP FroundProp.v COQDEP Fodd.v COQDEP Fbound.v COQDEP Paux.v COQDEP MSB.v COQDEP Closest.v COQDEP Zdivides.v COQDEP RND.v COQDEP Ct2/FboundI.v COQDEP Ct2/FnormI.v COQDEP Fop.v COQDEP Fmin.v COQDEP Rpow.v COQDEP FSucc.v COQDEP FroundMult.v COQDEP Float.v COQDEP ClosestPlus.v COQDEP Fprop.v COQDEP Fcomp.v COQDEP FroundPlus.v COQDEP sTactic.v COQDEP Finduct.v make[2]: *** No rule to make target 'depend'. Stop. make[2]: Leaving directory '/build/coq-float-8.4' make[1]: *** [debian/rules:29: override_dh_auto_build] Error 2 make[1]: Leaving directory '/build/coq-float-8.4' make: *** [debian/rules:17: build] Error 2 dpkg-buildpackage: error: debian/rules build subprocess returned exit status 2 I: Terminate timeout process I: copying local configuration /usr/lib/pbuilder/pbuilder-modules: line 1: 10038 Terminated ( : Timeout process; sleep "${TIMEOUT_TIME}"; log.i "Terminating build process due to timeout "; kill "${BUILD_PID}" || true ) E: Failed autobuilding of package I: user script /chroot/rebuildd/pbuilder/14945/tmp/hooks/C01kill-gpg-agent starting /tmp/hooks/C01kill-gpg-agent: 18: /tmp/hooks/C01kill-gpg-agent: ps: not found I: user script /chroot/rebuildd/pbuilder/14945/tmp/hooks/C01kill-gpg-agent finished I: unmounting /sys filesystem I: unmounting /proc filesystem I: unmounting /dev/pts filesystem I: unmounting /dev filesystem I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env  I: removing directory /chroot/rebuildd/pbuilder/14945 and its subdirectories FAILED to build: 1