Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/c/coq-float/coq-float_8.10.0-1_all.buildinfo
Use metasnap for getting required timestamps
New buildinfo file: /tmp/coq-float-8.10.0-16cyp6r72/coq-float_8.10.0-1_all.buildinfo
Get source package info: coq-float=1:8.10.0-1
Source URL: http://snapshot.notset.fr/mr/package/coq-float/1:8.10.0-1/srcfiles?fileinfo=1
env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=adduser=3.118 adwaita-icon-theme=3.36.0-1 autoconf=2.69-11.1 automake=1:1.16.1-4 autopoint=0.19.8.1-10 autotools-dev=20180224.1 base-files=11 base-passwd=3.5.47 bash=5.0-6 binutils=2.34-4 binutils-common=2.34-4 binutils-x86-64-linux-gnu=2.34-4 bsdmainutils=11.1.2+b1 bsdutils=1:2.34-0.1 build-essential=12.8 bzip2=1.0.8-2 coq=8.11.0-1 coq-theories=8.11.0-1 coreutils=8.30-3+b1 cpp=4:9.2.1-3.1 cpp-9=9.3.0-3 dash=0.5.10.2-6 dbus=1.12.16-2 dbus-user-session=1.12.16-2 dconf-gsettings-backend=0.36.0-1 dconf-service=0.36.0-1 debconf=1.5.73 debhelper=12.9 debianutils=4.9.1 dh-autoreconf=19 dh-strip-nondeterminism=1.6.3-2 diffutils=1:3.7-3 dmsetup=2:1.02.167-1+b1 dpkg=1.19.7 dpkg-dev=1.19.7 dwz=0.13-5 fdisk=2.34-0.1 file=1:5.38-4 findutils=4.7.0-1 fontconfig=2.13.1-2+b1 fontconfig-config=2.13.1-2 fonts-dejavu-core=2.37-1 g++=4:9.2.1-3.1 g++-9=9.3.0-3 gcc=4:9.2.1-3.1 gcc-10-base=10-20200312-2 gcc-9=9.3.0-3 gcc-9-base=9.3.0-3 gettext=0.19.8.1-10 gettext-base=0.19.8.1-10 glib-networking=2.64.0-1 glib-networking-common=2.64.0-1 glib-networking-services=2.64.0-1 grep=3.4-1 groff-base=1.22.4-4 gsettings-desktop-schemas=3.36.0-1 gtk-update-icon-cache=3.24.14-1 gzip=1.10-1 hicolor-icon-theme=0.17-2 hostname=3.23 init-system-helpers=1.57 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-6 libapparmor1=2.13.3-7 libarchive-zip-perl=1.68-1 libargon2-1=0~20171227-0.2 libasan5=9.3.0-3 libatk-bridge2.0-0=2.34.1-2 libatk1.0-0=2.34.1-1 libatk1.0-data=2.34.1-1 libatomic1=10-20200312-2 libatspi2.0-0=2.36.0-2 libattr1=1:2.4.48-5 libaudit-common=1:2.8.5-2 libaudit1=1:2.8.5-2+b1 libavahi-client3=0.7-5 libavahi-common-data=0.7-5 libavahi-common3=0.7-5 libbinutils=2.34-4 libblkid1=2.34-0.1 libbrotli1=1.0.7-6 libbsd0=0.10.0-1 libbz2-1.0=1.0.8-2 libc-bin=2.30-2 libc-dev-bin=2.30-2 libc6=2.30-2 libc6-dev=2.30-2 libcairo-gobject2=1.16.0-4 libcairo2=1.16.0-4 libcairo2-ocaml=0.6.1+dfsg-3 libcap-ng0=0.7.9-2.1+b2 libcap2=1:2.32-1 libcc1-0=10-20200312-2 libcolord2=1.4.4-1 libcom-err2=1.45.5-2 libcoq-ocaml=8.11.0-1 libcroco3=0.6.13-1 libcrypt-dev=1:4.4.15-1 libcrypt1=1:4.4.15-1 libcryptsetup12=2:2.3.0-1 libctf-nobfd0=2.34-4 libctf0=2.34-4 libcups2=2.3.1-11 libdatrie1=0.2.12-3 libdb5.3=5.3.28+dfsg1-0.6 libdbus-1-3=1.12.16-2 libdconf1=0.36.0-1 libdebconfclient0=0.251 libdebhelper-perl=12.9 libdevmapper1.02.1=2:1.02.167-1+b1 libdpkg-perl=1.19.7 libelf1=0.176-1.1 libepoxy0=1.5.4-1 libexpat1=2.2.9-1 libfdisk1=2.34-0.1 libffi7=3.3-3 libfile-stripnondeterminism-perl=1.6.3-2 libfindlib-ocaml=1.8.1-1+b1 libfontconfig1=2.13.1-2+b1 libfreetype6=2.10.1-2 libfribidi0=1.0.8-2 libgcc-9-dev=9.3.0-3 libgcc-s1=10-20200312-2 libgcc1=1:10-20200312-2 libgcrypt20=1.8.5-5 libgdbm-compat4=1.18.1-5 libgdbm6=1.18.1-5 libgdk-pixbuf2.0-0=2.40.0+dfsg-3 libgdk-pixbuf2.0-common=2.40.0+dfsg-3 libglib2.0-0=2.64.1-1 libgmp10=2:6.2.0+dfsg-4 libgnutls30=3.6.12-2 libgomp1=10-20200312-2 libgpg-error0=1.37-1 libgraphite2-3=1.3.13-11 libgssapi-krb5-2=1.17-6 libgtk-3-0=3.24.14-1 libgtk-3-common=3.24.14-1 libgtksourceview-3.0-1=3.24.11-2 libgtksourceview-3.0-common=3.24.11-2 libharfbuzz0b=2.6.4-1 libhogweed5=3.5.1+really3.5.1-2 libicu63=63.2-3 libidn2-0=2.3.0-1 libip4tc2=1.8.4-3 libisl22=0.22.1-1 libitm1=10-20200312-2 libjbig0=2.1-3.1+b2 libjpeg62-turbo=1:1.5.2-2+b1 libjson-c4=0.13.1+dfsg-7 libjson-glib-1.0-0=1.4.4-2 libjson-glib-1.0-common=1.4.4-2 libk5crypto3=1.17-6 libkeyutils1=1.6.1-2 libkmod2=27-2 libkrb5-3=1.17-6 libkrb5support0=1.17-6 liblablgtk3-ocaml=3.0~beta6-2+b1 liblablgtksourceview3-ocaml=3.0~beta6-2+b1 liblcms2-2=2.9-4+b1 liblsan0=10-20200312-2 liblz4-1=1.9.2-2 liblzma5=5.2.4-1+b1 libmagic-mgc=1:5.38-4 libmagic1=1:5.38-4 libmount1=2.34-0.1 libmpc3=1.1.0-1 libmpdec2=2.4.2-3 libmpfr6=4.0.2-1 libncurses-dev=6.2-1 libncurses5-dev=6.2-1 libncurses6=6.2-1 libncursesw6=6.2-1 libnettle7=3.5.1+really3.5.1-2 libnum-ocaml=1.3-1 libp11-kit0=0.23.20-1 libpam-modules=1.3.1-5 libpam-modules-bin=1.3.1-5 libpam-runtime=1.3.1-5 libpam-systemd=245-2 libpam0g=1.3.1-5 libpango-1.0-0=1.42.4-8 libpangocairo-1.0-0=1.42.4-8 libpangoft2-1.0-0=1.42.4-8 libpcre2-8-0=10.34-7 libpcre3=2:8.39-12+b1 libperl5.30=5.30.0-9 libpipeline1=1.5.2-2 libpixman-1-0=0.36.0-1 libpng16-16=1.6.37-2 libproxy1v5=0.4.15-9 libpsl5=0.21.0-1 libpython3-stdlib=3.8.2-1 libpython3.8-minimal=3.8.2-1 libpython3.8-stdlib=3.8.2-1 libquadmath0=10-20200312-2 libreadline8=8.0-4 librest-0.7-0=0.8.1-1+b1 librsvg2-2=2.46.4-1 librsvg2-common=2.46.4-1 libseccomp2=2.4.3-1 libselinux1=3.0-1+b1 libsemanage-common=3.0-1 libsemanage1=3.0-1+b1 libsepol1=3.0-1 libsigsegv2=2.12-2 libsmartcols1=2.34-0.1 libsoup-gnome2.4-1=2.70.0-1 libsoup2.4-1=2.70.0-1 libsqlite3-0=3.31.1-4 libssl1.1=1.1.1d-2 libstdc++-9-dev=9.3.0-3 libstdc++6=10-20200312-2 libsub-override-perl=0.09-2 libsystemd0=245-2 libtasn1-6=4.16.0-2 libthai-data=0.1.28-3 libthai0=0.1.28-3 libtiff5=4.1.0+git191117-2 libtinfo6=6.2-1 libtool=2.4.6-14 libtsan0=10-20200312-2 libubsan1=10-20200312-2 libuchardet0=0.0.6-3 libudev1=245-2 libunistring2=0.9.10-2 libuuid1=2.34-0.1 libwayland-client0=1.18.0-1 libwayland-cursor0=1.18.0-1 libwayland-egl1=1.18.0-1 libwebp6=0.6.1-2+b1 libx11-6=2:1.6.9-2 libx11-data=2:1.6.9-2 libxau6=1:1.0.8-1+b2 libxcb-render0=1.13.1-5 libxcb-shm0=1.13.1-5 libxcb1=1.13.1-5 libxcomposite1=1:0.4.4-2 libxcursor1=1:1.2.0-2 libxdamage1=1:1.1.5-1 libxdmcp6=1:1.1.2-3 libxext6=2:1.3.3-1+b2 libxfixes3=1:5.0.3-1 libxi6=2:1.7.9-1 libxinerama1=2:1.1.4-2 libxkbcommon0=0.10.0-1 libxml2=2.9.10+dfsg-4 libxrandr2=2:1.5.1-1 libxrender1=1:0.9.10-1 libzstd1=1.4.4+dfsg-3 linux-libc-dev=5.4.19-1 login=1:4.8.1-1 lsb-base=11.1.0 m4=1.4.18-4 make=4.2.1-1.2 man-db=2.9.1-1 mawk=1.3.4.20200120-2 mime-support=3.64 mount=2.34-0.1 ncurses-base=6.2-1 ncurses-bin=6.2-1 ocaml-base-nox=4.08.1-8 ocaml-compiler-libs=4.08.1-8 ocaml-findlib=1.8.1-1+b1 ocaml-interp=4.08.1-8 ocaml-nox=4.08.1-8 passwd=1:4.8.1-1 patch=2.7.6-6 perl=5.30.0-9 perl-base=5.30.0-9 perl-modules-5.30=5.30.0-9 po-debconf=1.0.21 python3=3.8.2-1 python3-minimal=3.8.2-1 python3.8=3.8.2-1 python3.8-minimal=3.8.2-1 readline-common=8.0-4 sed=4.7-1 sensible-utils=0.0.12+nmu1 shared-mime-info=1.10-1 systemd=245-2 systemd-sysv=245-2 sysvinit-utils=2.96-2.1 tar=1.30+dfsg-7 ucf=3.0038+nmu1 util-linux=2.34-0.1 xkb-data=2.29-2 xz-utils=5.2.4-1+b1 zlib1g=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20200323T101008Z/ bullseye main
deb-src http://snapshot.notset.fr/archive/debian/20200323T101008Z/ bullseye main
deb http://snapshot.notset.fr/archive/debian/20200318T161225Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d coq-float=1:8.10.0-1 && mkdir -p /build/coq-float-jS358t && dpkg-source --no-check -x /*.dsc /build/coq-float-jS358t/coq-float-8.10.0 && chown -R builduser:builduser /build/coq-float-jS358t" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coq-float-jS358t/coq-float-8.10.0 && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1584353322" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=all" --customize-hook=sync-out /build/coq-float-jS358t /tmp/coq-float-8.10.0-16cyp6r72 bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20200318T161225Z unstable main
I: automatically chosen mode: root
I: chroot architecture amd64 is equal to the host's architecture
I: automatically chosen format: null
I: using /tmp/mmdebstrap.jD96Yiva7S as tempdir
I: running apt-get update...
I: downloading packages with apt...
I: extracting archives...
I: installing essential packages...
I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.jD96Yiva7S
Reading package lists...
Building dependency tree...
util-linux is already the newest version (2.34-0.1).
The following NEW packages will be installed:
  fakeroot libfakeroot
0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded.
Need to get 132 kB of archives.
After this operation, 393 kB of additional disk space will be used.
Get:1 http://snapshot.notset.fr/archive/debian/20200318T161225Z unstable/main amd64 libfakeroot amd64 1.24-1 [45.7 kB]
Get:2 http://snapshot.notset.fr/archive/debian/20200318T161225Z unstable/main amd64 fakeroot amd64 1.24-1 [85.9 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 132 kB in 0s (960 kB/s)
Selecting previously unselected package libfakeroot:amd64.
(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 ... 4507 files and directories currently installed.)
Preparing to unpack .../libfakeroot_1.24-1_amd64.deb ...
Unpacking libfakeroot:amd64 (1.24-1) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../fakeroot_1.24-1_amd64.deb ...
Unpacking fakeroot (1.24-1) ...
Setting up libfakeroot:amd64 (1.24-1) ...
Setting up fakeroot (1.24-1) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode
Processing triggers for libc-bin (2.30-2) ...
I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/
I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20200323T101008Z/ bullseye main
deb-src http://snapshot.notset.fr/archive/debian/20200323T101008Z/ bullseye main
deb http://snapshot.notset.fr/archive/debian/20200318T161225Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.jD96Yiva7S
Get:1 http://snapshot.notset.fr/archive/debian/20200323T101008Z bullseye InRelease [116 kB]
Hit:2 http://snapshot.notset.fr/archive/debian/20200318T161225Z unstable InRelease
Ign:3 http://snapshot.notset.fr/archive/debian/20200323T101008Z bullseye/main Sources
Ign:4 http://snapshot.notset.fr/archive/debian/20200323T101008Z bullseye/main amd64 Packages
Ign:3 http://snapshot.notset.fr/archive/debian/20200323T101008Z bullseye/main Sources
Ign:4 http://snapshot.notset.fr/archive/debian/20200323T101008Z bullseye/main amd64 Packages
Ign:3 http://snapshot.notset.fr/archive/debian/20200323T101008Z bullseye/main Sources
Ign:4 http://snapshot.notset.fr/archive/debian/20200323T101008Z bullseye/main amd64 Packages
Get:3 http://snapshot.notset.fr/archive/debian/20200323T101008Z bullseye/main Sources [10.4 MB]
Get:4 http://snapshot.notset.fr/archive/debian/20200323T101008Z bullseye/main amd64 Packages [10.2 MB]
Fetched 20.7 MB in 18s (1172 kB/s)
Reading package lists...
I: installing remaining packages inside the chroot...
I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.jD96Yiva7S
I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d coq-float=1:8.10.0-1 && mkdir -p /build/coq-float-jS358t && dpkg-source --no-check -x /*.dsc /build/coq-float-jS358t/coq-float-8.10.0 && chown -R builduser:builduser /build/coq-float-jS358t"' exec /tmp/mmdebstrap.jD96Yiva7S
Reading package lists...
NOTICE: 'coq-float' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/coq-float.git
Please use:
git clone https://salsa.debian.org/ocaml-team/coq-float.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 104 kB of source archives.
Get:1 http://snapshot.notset.fr/archive/debian/20200323T101008Z bullseye/main coq-float 1:8.10.0-1 (dsc) [1947 B]
Get:2 http://snapshot.notset.fr/archive/debian/20200323T101008Z bullseye/main coq-float 1:8.10.0-1 (tar) [99.1 kB]
Get:3 http://snapshot.notset.fr/archive/debian/20200323T101008Z bullseye/main coq-float 1:8.10.0-1 (diff) [3360 B]
Fetched 104 kB in 0s (533 kB/s)
Download complete and in download only mode
W: Download is performed unsandboxed as root as file 'coq-float_8.10.0-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied)
dpkg-source: info: extracting coq-float in /build/coq-float-jS358t/coq-float-8.10.0
dpkg-source: info: unpacking coq-float_8.10.0.orig.tar.gz
dpkg-source: info: unpacking coq-float_8.10.0-1.debian.tar.xz
I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coq-float-jS358t/coq-float-8.10.0 && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1584353322" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=all"' exec /tmp/mmdebstrap.jD96Yiva7S
dpkg-buildpackage: info: source package coq-float
dpkg-buildpackage: info: source version 1:8.10.0-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Ralf Treinen <treinen@debian.org>
 dpkg-source --before-build .
 debian/rules clean
dh clean
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
dh_auto_clean
	make -j10 clean
make[2]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
make -f Makefile.coq Makefile
make[3]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
make[3]: Nothing to be done for 'Makefile'.
make[3]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
make -f Makefile.coq clean
make[3]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
CLEAN
make[3]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
rm -f Makefile.coq
make[2]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
rm -f Makefile.coq.conf .*.aux
make[1]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
   dh_clean
 debian/rules binary-indep
dh binary-indep
   dh_update_autotools_config -i
   dh_autoreconf -i
   dh_auto_configure -i
   debian/rules override_dh_auto_build
make[1]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
/usr/bin/make all
make[2]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
coq_makefile -f Make -o Makefile.coq
make -f Makefile.coq Makefile
make[3]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
COQDEP VFILES
make[3]: Nothing to be done for 'Makefile'.
make[3]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
make -f Makefile.coq all
make[3]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
COQC sTactic.v
COQC Faux.v
COQC Digit.v
File "./Digit.v", line 102, characters 0-18:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./Digit.v", line 337, characters 0-18:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
COQC Rpow.v
COQC Float.v
File "./Float.v", line 52, characters 0-30:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
File "./Float.v", line 315, characters 0-16:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC Fcomp.v
File "./Fcomp.v", line 8, characters 0-21:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC Fop.v
File "./Fop.v", line 8, characters 0-21:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC Fbound.v
File "./Fbound.v", line 8, characters 0-19:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
File "./Fbound.v", line 57, characters 0-21:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
COQC Fprop.v
File "./Fprop.v", line 8, characters 0-22:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC Zenum.v
COQC Fnorm.v
File "./Fnorm.v", line 8, characters 0-22:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC FSucc.v
File "./FSucc.v", line 9, characters 0-21:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC FPred.v
File "./FPred.v", line 8, characters 0-21:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC Fmin.v
File "./Fmin.v", line 9, characters 0-21:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC Fodd.v
File "./Fodd.v", line 8, characters 0-20:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC Fround.v
File "./Fround.v", line 8, characters 0-21:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC Option.v
COQC Paux.v
COQC Zdivides.v
COQC MSB.v
File "./MSB.v", line 8, characters 0-21:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC FroundProp.v
File "./FroundProp.v", line 8, characters 0-22:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC FroundMult.v
File "./FroundMult.v", line 8, characters 0-26:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC Closest.v
File "./Closest.v", line 9, characters 0-22:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC ClosestProp.v
File "./ClosestProp.v", line 8, characters 0-26:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC ClosestMult.v
File "./ClosestMult.v", line 8, characters 0-26:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC Finduct.v
File "./Finduct.v", line 9, characters 0-21:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC FroundPlus.v
File "./FroundPlus.v", line 8, characters 0-23:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC ClosestPlus.v
File "./ClosestPlus.v", line 9, characters 0-26:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC Closest2Prop.v
File "./Closest2Prop.v", line 8, characters 0-27:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
File "./Closest2Prop.v", line 21, characters 0-28:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
COQC Closest2Plus.v
File "./Closest2Plus.v", line 8, characters 0-27:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
File "./Closest2Plus.v", line 22, characters 0-28:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
COQC AllFloat.v
File "./AllFloat.v", line 1, characters 0-27:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC MSBProp.v
File "./MSBProp.v", line 8, characters 0-19:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
COQC Power.v
make[3]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
make[2]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
/usr/bin/make html
make[2]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
make -f Makefile.coq Makefile
make[3]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
make[3]: Nothing to be done for 'Makefile'.
make[3]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
make -f Makefile.coq html
make[3]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
COQDOC -d html 
make[3]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
make[2]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
make[1]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
   dh_auto_test -i
   create-stamp debian/debhelper-build-stamp
   dh_testroot -i
   dh_prep -i
   dh_auto_install -i
	make -j10 install DESTDIR=/build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true"
make[1]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
make -f Makefile.coq Makefile
make[2]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
make[2]: Nothing to be done for 'Makefile'.
make[2]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
make -f Makefile.coq install
make[2]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
INSTALL AllFloat.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Closest.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Closest2Plus.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Closest2Prop.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL ClosestMult.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL ClosestPlus.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL ClosestProp.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Digit.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FPred.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FSucc.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Faux.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fbound.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fcomp.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Finduct.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Float.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fmin.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fnorm.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fodd.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fop.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fprop.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fround.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FroundMult.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FroundPlus.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FroundProp.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL MSB.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL MSBProp.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Option.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Paux.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Power.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Zdivides.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Zenum.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL sTactic.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Rpow.vo /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL AllFloat.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Closest.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Closest2Plus.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Closest2Prop.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL ClosestMult.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL ClosestPlus.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL ClosestProp.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Digit.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FPred.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FSucc.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Faux.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fbound.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fcomp.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Finduct.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Float.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fmin.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fnorm.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fodd.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fop.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fprop.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fround.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FroundMult.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FroundPlus.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FroundProp.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL MSB.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL MSBProp.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Option.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Paux.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Power.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Zdivides.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Zenum.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL sTactic.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Rpow.v /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL AllFloat.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Closest.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Closest2Plus.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Closest2Prop.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL ClosestMult.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL ClosestPlus.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL ClosestProp.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Digit.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FPred.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FSucc.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Faux.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fbound.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fcomp.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Finduct.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Float.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fmin.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fnorm.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fodd.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fop.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fprop.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Fround.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FroundMult.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FroundPlus.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL FroundProp.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL MSB.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL MSBProp.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Option.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Paux.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Power.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Zdivides.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Zenum.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL sTactic.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
INSTALL Rpow.glob /build/coq-float-jS358t/coq-float-8.10.0/debian/libfloat-coq//usr/lib/coq//user-contrib/Float/
make[3]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
make[3]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
make[2]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
make[1]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
   dh_installdocs -i
   dh_installchangelogs -i
   dh_perl -i
   dh_link -i
   dh_strip_nondeterminism -i
   dh_compress -i
   dh_fixperms -i
   dh_missing -i
   dh_installdeb -i
   debian/rules override_dh_gencontrol
make[1]: Entering directory '/build/coq-float-jS358t/coq-float-8.10.0'
dh_gencontrol -- -VF:CoqABI="8.11.0+4.08.1"
dpkg-gencontrol: warning: Depends field of package libfloat-coq: substitution variable ${shlibs:Depends} used, but is not defined
make[1]: Leaving directory '/build/coq-float-jS358t/coq-float-8.10.0'
   dh_md5sums -i
   dh_builddeb -i
dpkg-deb: building package 'libfloat-coq' in '../libfloat-coq_8.10.0-1_all.deb'.
 dpkg-genbuildinfo --build=all
 dpkg-genchanges --build=all >../coq-float_8.10.0-1_all.changes
dpkg-genchanges: info: binary-only arch-indep upload (source code and arch-specific packages not included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
I: running special hook: sync-out /build/coq-float-jS358t /tmp/coq-float-8.10.0-16cyp6r72
I: cleaning package lists and apt cache...
I: removing tempdir /tmp/mmdebstrap.jD96Yiva7S...
I: success in 722.9688 seconds
md5: libfloat-coq_8.10.0-1_all.deb: OK
sha1: libfloat-coq_8.10.0-1_all.deb: OK
sha256: libfloat-coq_8.10.0-1_all.deb: OK
Checksums: OK