Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/m/mathcomp-analysis/mathcomp-analysis_0.5.0-3_amd64.buildinfo
Use metasnap for getting required timestamps
New buildinfo file: /tmp/mathcomp-analysis-0.5.0-3ve7e3e3d/mathcomp-analysis_0.5.0-3_amd64.buildinfo
Get source package info: mathcomp-analysis=0.5.0-3
Source URL: http://snapshot.notset.fr/mr/package/mathcomp-analysis/0.5.0-3/srcfiles?fileinfo=1
env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.71-2 automake=1:1.16.5-1.3 autopoint=0.21-6 autotools-dev=20220109.1 base-files=12.2 base-passwd=3.5.52 bash=5.1-6 binutils=2.38-3 binutils-common=2.38-3 binutils-x86-64-linux-gnu=2.38-3 bsdextrautils=2.38-2 bsdutils=1:2.37.3-1+b1 build-essential=12.9 bzip2=1.0.8-5 camlp5=8.00.03-1 coq=8.15.1+dfsg-1 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.2.0-19 dash=0.5.11+git20210903+057cd650a4ed-8 debconf=1.5.79 debhelper=13.6 debianutils=5.7-0.1 dh-autoreconf=20 dh-ocaml=1.1.3 dh-strip-nondeterminism=1.13.0-1 diffutils=1:3.7-5 dpkg=1.21.7 dpkg-dev=1.21.7 dwz=0.14-1 file=1:5.41-3 findutils=4.9.0-2 g++=4:11.2.0-2 g++-11=11.2.0-19 gcc=4:11.2.0-2 gcc-11=11.2.0-19 gcc-11-base=11.2.0-19 gcc-12-base=12-20220319-1 gettext=0.21-6 gettext-base=0.21-6 grep=3.7-1 groff-base=1.22.4-8 gzip=1.12-1 hostname=3.23 init-system-helpers=1.62 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.2.0-19 libatomic1=12-20220319-1 libattr1=1:2.5.1-1 libaudit-common=1:3.0.7-1 libaudit1=1:3.0.7-1+b1 libbinutils=2.38-3 libblkid1=2.37.3-1+b1 libbz2-1.0=1.0.8-5 libc-bin=2.33-7 libc-dev-bin=2.33-7 libc6=2.33-7 libc6-dev=2.33-7 libcap-ng0=0.7.9-2.2+b2 libcap2=1:2.44-1 libcc1-0=12-20220319-1 libcom-err2=1.46.5-2 libcoq-core-ocaml=8.15.1+dfsg-1 libcoq-core-ocaml-dev=8.15.1+dfsg-1 libcoq-elpi=1.13.0-5 libcoq-elpi-ocaml=1.13.0-5 libcoq-elpi-ocaml-dev=1.13.0-5 libcoq-hierarchy-builder=1.2.1-4 libcoq-mathcomp=1.14.0-8 libcoq-mathcomp-algebra=1.14.0-8 libcoq-mathcomp-bigenough=1.0.1-2 libcoq-mathcomp-character=1.14.0-8 libcoq-mathcomp-field=1.14.0-8 libcoq-mathcomp-fingroup=1.14.0-8 libcoq-mathcomp-finmap=1.5.1-2 libcoq-mathcomp-solvable=1.14.0-8 libcoq-mathcomp-ssreflect=1.14.0-8 libcoq-stdlib=8.15.1+dfsg-1 libcrypt-dev=1:4.4.27-1.1 libcrypt1=1:4.4.27-1.1 libctf-nobfd0=2.38-3 libctf0=2.38-3 libdb5.3=5.3.28+dfsg1-0.8 libdebconfclient0=0.261 libdebhelper-perl=13.6 libdpkg-perl=1.21.7 libelf1=0.186-1 libelpi-ocaml=1.14.3-1 libelpi-ocaml-dev=1.14.3-1 libexpat1=2.4.8-1 libffi8=3.4.2-4 libfile-stripnondeterminism-perl=1.13.0-1 libfindlib-ocaml=1.9.3-1 libgcc-11-dev=11.2.0-19 libgcc-s1=12-20220319-1 libgcrypt20=1.10.1-2 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libgmp-dev=2:6.2.1+dfsg-3 libgmp10=2:6.2.1+dfsg-3 libgmp3-dev=2:6.2.1+dfsg-3 libgmpxx4ldbl=2:6.2.1+dfsg-3 libgomp1=12-20220319-1 libgpg-error0=1.43-3 libgssapi-krb5-2=1.19.2-2+b1 libicu67=67.1-7 libisl23=0.24-2 libitm1=12-20220319-1 libk5crypto3=1.19.2-2+b1 libkeyutils1=1.6.1-3 libkrb5-3=1.19.2-2+b1 libkrb5support0=1.19.2-2+b1 liblsan0=12-20220319-1 liblz4-1=1.9.3-2 liblzma5=5.2.5-2.1 libmagic-mgc=1:5.41-3 libmagic1=1:5.41-3 libmount1=2.37.3-1+b1 libmpc3=1.2.1-2 libmpdec3=2.5.1-2 libmpfr6=4.1.0-3 libncurses-dev=6.3-2 libncurses5-dev=6.3-2 libncurses6=6.3-2 libncursesw6=6.3-2 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libocaml-compiler-libs-ocaml-dev=0.12.4-1+b1 libpam-modules=1.4.0-11 libpam-modules-bin=1.4.0-11 libpam-runtime=1.4.0-11 libpam0g=1.4.0-11 libpcre2-8-0=10.39-3 libpcre3=2:8.39-14 libperl5.34=5.34.0-4 libpipeline1=1.5.5-1 libppx-derivers-ocaml-dev=1.2.1-1+b3 libppx-deriving-ocaml=5.2.1-1 libppx-deriving-ocaml-dev=5.2.1-1 libppxlib-ocaml-dev=0.24.0-1 libpython3-stdlib=3.10.4-1 libpython3.10-minimal=3.10.4-3 libpython3.10-stdlib=3.10.4-3 libquadmath0=12-20220319-1 libre-ocaml-dev=1.10.3-1+b1 libreadline8=8.1.2-1 libresult-ocaml=1.5-1+b2 libresult-ocaml-dev=1.5-1+b2 libseccomp2=2.5.3-2 libselinux1=3.3-1+b2 libsexplib0-ocaml=0.14.0-1+b2 libsexplib0-ocaml-dev=0.14.0-1+b2 libsigsegv2=2.14-1 libsmartcols1=2.38-2 libsqlite3-0=3.38.2-1 libssl1.1=1.1.1n-1 libstdc++-11-dev=11.2.0-19 libstdc++6=12-20220319-1 libsub-override-perl=0.09-2 libsystemd0=250.4-1 libtinfo6=6.3-2 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.7-3 libtsan0=11.2.0-19 libubsan1=12-20220319-1 libuchardet0=0.0.7-1 libudev1=250.4-1 libunistring2=1.0-1 libuuid1=2.37.3-1+b1 libxml2=2.9.13+dfsg-1 libzarith-ocaml=1.12-1+b1 libzarith-ocaml-dev=1.12-1+b1 libzstd1=1.4.10+dfsg-1 linux-libc-dev=5.16.18-1 login=1:4.11.1+dfsg1-2 lsb-base=11.1.0 m4=1.4.18-5 make=4.3-4.1 man-db=2.10.2-1 mawk=1.3.4.20200120-3+b1 media-types=7.1.0 ncurses-base=6.3-2 ncurses-bin=6.3-2 ocaml=4.13.1-3 ocaml-base=4.13.1-3 ocaml-compiler-libs=4.13.1-3 ocaml-dune=2.9.1-1+b1 ocaml-findlib=1.9.3-1 ocaml-interp=4.13.1-3 ocaml-nox=4.13.1-3 patch=2.7.6-7 perl=5.34.0-4 perl-base=5.34.0-4 perl-modules-5.34=5.34.0-4 po-debconf=1.0.21+nmu1 python3=3.10.4-1 python3-minimal=3.10.4-1 python3.10=3.10.4-3 python3.10-minimal=3.10.4-3 readline-common=8.1.2-1 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 sysvinit-utils=3.01-1 tar=1.34+dfsg-1 util-linux=2.37.3-1+b1 xz-utils=5.2.5-2.1 zlib1g=1:1.2.11.dfsg-4 --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/20220422T030701Z/ bookworm main
deb-src http://snapshot.notset.fr/archive/debian/20220422T030701Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20220413T211711Z/ unstable main
deb http://snapshot.notset.fr/archive/debian/20220411T092602Z/ 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 mathcomp-analysis=0.5.0-3 && mkdir -p /build/mathcomp-analysis-Jh1rFk && dpkg-source --no-check -x /*.dsc /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0 && chown -R builduser:builduser /build/mathcomp-analysis-Jh1rFk" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1649855263" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/mathcomp-analysis-Jh1rFk /tmp/mathcomp-analysis-0.5.0-3ve7e3e3d bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220411T092602Z 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.qMG6IyT1oY 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.qMG6IyT1oY
Reading package lists...
Building dependency tree...
util-linux is already the newest version (2.37.3-1+b1).
The following NEW packages will be installed:
  fakeroot libfakeroot
0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded.
Need to get 135 kB of archives.
After this operation, 406 kB of additional disk space will be used.
Get:1 http://snapshot.notset.fr/archive/debian/20220411T092602Z unstable/main amd64 libfakeroot amd64 1.28-1 [48.2 kB]
Get:2 http://snapshot.notset.fr/archive/debian/20220411T092602Z unstable/main amd64 fakeroot amd64 1.28-1 [87.2 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 135 kB in 0s (1077 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 ... 4701 files and directories currently installed.)
Preparing to unpack .../libfakeroot_1.28-1_amd64.deb ...
Unpacking libfakeroot:amd64 (1.28-1) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../fakeroot_1.28-1_amd64.deb ...
Unpacking fakeroot (1.28-1) ...
Setting up libfakeroot:amd64 (1.28-1) ...
Setting up fakeroot (1.28-1) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode
Processing triggers for libc-bin (2.33-7) ...
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/20220422T030701Z/ bookworm main
deb-src http://snapshot.notset.fr/archive/debian/20220422T030701Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20220413T211711Z/ unstable main
deb http://snapshot.notset.fr/archive/debian/20220411T092602Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.qMG6IyT1oY
Get:1 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm InRelease [130 kB]
Get:2 http://snapshot.notset.fr/archive/debian/20220413T211711Z unstable InRelease [165 kB]
Hit:3 http://snapshot.notset.fr/archive/debian/20220411T092602Z unstable InRelease
Ign:4 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main Sources
Ign:5 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main amd64 Packages
Ign:4 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main Sources
Ign:5 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main amd64 Packages
Ign:4 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main Sources
Ign:5 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main amd64 Packages
Get:4 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main Sources [12.0 MB]
Get:5 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main amd64 Packages [11.4 MB]
Ign:6 http://snapshot.notset.fr/archive/debian/20220413T211711Z unstable/main amd64 Packages
Err:6 http://snapshot.notset.fr/archive/debian/20220413T211711Z unstable/main amd64 Packages
  404  Not Found [IP: 10.13.0.253 80]
Ign:6 http://snapshot.notset.fr/archive/debian/20220413T211711Z unstable/main amd64 Packages
Get:6 http://snapshot.notset.fr/archive/debian/20220413T211711Z unstable/main amd64 Packages [12.4 MB]
Fetched 36.1 MB in 29s (1239 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.qMG6IyT1oY
I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d mathcomp-analysis=0.5.0-3 && mkdir -p /build/mathcomp-analysis-Jh1rFk && dpkg-source --no-check -x /*.dsc /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0 && chown -R builduser:builduser /build/mathcomp-analysis-Jh1rFk"' exec /tmp/mmdebstrap.qMG6IyT1oY
Reading package lists...
NOTICE: 'mathcomp-analysis' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
Please use:
git clone https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 673 kB of source archives.
Get:1 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main mathcomp-analysis 0.5.0-3 (dsc) [2201 B]
Get:2 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main mathcomp-analysis 0.5.0-3 (tar) [662 kB]
Get:3 http://snapshot.notset.fr/archive/debian/20220422T030701Z bookworm/main mathcomp-analysis 0.5.0-3 (diff) [8416 B]
Fetched 673 kB in 1s (1175 kB/s)
Download complete and in download only mode
W: Download is performed unsandboxed as root as file 'mathcomp-analysis_0.5.0-3.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied)
dpkg-source: info: extracting mathcomp-analysis in /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0
dpkg-source: info: unpacking mathcomp-analysis_0.5.0.orig.tar.gz
dpkg-source: info: unpacking mathcomp-analysis_0.5.0-3.debian.tar.xz
I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1649855263" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.qMG6IyT1oY
dpkg-buildpackage: info: source package mathcomp-analysis
dpkg-buildpackage: info: source version 0.5.0-3
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
 debian/rules clean
dh clean --with ocaml
   dh_auto_clean
	make -j10 distclean
make[1]: Entering directory '/build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0'
rm -f Makefile.coq Makefile.coq.conf Makefile.coq
rm -f 
make[1]: Leaving directory '/build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0'
   dh_ocamlclean
   dh_clean
 debian/rules binary-arch
dh binary-arch --with ocaml
   dh_update_autotools_config -a
   dh_autoreconf -a
   dh_ocamlinit -a
   dh_auto_configure -a
   dh_auto_build -a
	make -j10 "INSTALL=install --strip-program=true"
make[1]: Entering directory '/build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0'
/usr/bin/coq_makefile  -f _CoqProject -o Makefile.coq
make -f Makefile.coq 
make[2]: Entering directory '/build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0'
COQDEP VFILES
COQC theories/mathcomp_extra.v
COQC theories/boolp.v
COQC theories/forms.v
COQC theories/altreals/xfinmap.v
File "./theories/forms.v", line 124, characters 0-52:
Warning: class_of_axiom does not respect the uniform inheritance condition
[uniform-inheritance,typechecker]
File "./theories/forms.v", line 140, characters 0-48:
Warning: additiver does not respect the uniform inheritance condition
[uniform-inheritance,typechecker]
File "./theories/forms.v", line 141, characters 0-45:
Warning: linearr does not respect the uniform inheritance condition
[uniform-inheritance,typechecker]
COQC theories/signed.v
COQC theories/classical_sets.v
COQC theories/functions.v
COQC theories/reals.v
COQC theories/altreals/discrete.v
COQC theories/prodnormedzmodule.v
COQC theories/topology.v
COQC theories/cardinality.v
COQC theories/ereal.v
File "./theories/ereal.v", line 2182, characters 0-84:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/ereal.v", line 2182, characters 0-84:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
COQC theories/altreals/realseq.v
COQC theories/normedtype.v
COQC theories/nsatz_realtype.v
COQC theories/altreals/realsum.v
COQC theories/altreals/distr.v
COQC theories/landau.v
COQC theories/Rstruct.v
COQC theories/fsbigop.v
COQC theories/summability.v
COQC theories/sequences.v
COQC theories/derive.v
COQC theories/esum.v
COQC theories/set_interval.v
COQC theories/numfun.v
File "./theories/numfun.v", line 218, characters 0-88:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/numfun.v", line 218, characters 0-88:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/numfun.v", line 219, characters 0-88:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/numfun.v", line 219, characters 0-88:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
COQC theories/measure.v
File "./theories/measure.v", line 1193, characters 0-127:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/measure.v", line 1193, characters 0-127:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/measure.v", line 1193, characters 0-127:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/measure.v", line 1295, characters 0-4:
Warning: measure_to_nadditive_measure does not respect the uniform
inheritance condition [uniform-inheritance,typechecker]
File "./theories/measure.v", line 1333, characters 0-80:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/measure.v", line 1333, characters 0-80:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/measure.v", line 1350, characters 0-72:
Warning: measure_additive_measure does not respect the uniform inheritance
condition [uniform-inheritance,typechecker]
COQC theories/lebesgue_measure.v
COQC theories/realfun.v
File "./theories/lebesgue_measure.v", line 130, characters 0-76:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/lebesgue_measure.v", line 130, characters 0-76:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
COQC theories/exp.v
COQC theories/lebesgue_integral.v
COQC theories/trigo.v
File "./theories/lebesgue_integral.v", line 680, characters 0-116:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/lebesgue_integral.v", line 680, characters 0-116:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
File "./theories/lebesgue_integral.v", line 680, characters 0-116:
Warning: Casts are ignored in patterns [cast-in-pattern,automation]
make[2]: Leaving directory '/build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0'
make[1]: Leaving directory '/build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0'
dh: command-omitted: The call to "dh_auto_test -a" was omitted due to "DEB_BUILD_OPTIONS=nocheck"
   create-stamp debian/debhelper-build-stamp
   dh_prep -a
   dh_auto_install --destdir=debian/libcoq-mathcomp-analysis/ -a
	make -j10 install DESTDIR=/build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true"
make[1]: Entering directory '/build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0'
/usr/bin/coq_makefile  -f _CoqProject -o Makefile.coq
make -f Makefile.coq  install
make[2]: Entering directory '/build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0'
make[2]: warning: jobserver unavailable: using -j1.  Add '+' to parent make rule.
INSTALL theories/mathcomp_extra.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/boolp.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/ereal.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/reals.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/landau.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/classical_sets.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/Rstruct.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/topology.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/prodnormedzmodule.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/normedtype.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/realfun.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/sequences.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/exp.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/trigo.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/nsatz_realtype.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/cardinality.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/esum.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/fsbigop.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/set_interval.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/lebesgue_measure.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/forms.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/derive.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/measure.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/numfun.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/lebesgue_integral.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/summability.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/functions.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/signed.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/altreals/xfinmap.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/altreals/discrete.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/altreals/realseq.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/altreals/realsum.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/altreals/distr.vo /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/mathcomp_extra.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/boolp.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/ereal.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/reals.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/landau.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/classical_sets.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/Rstruct.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/topology.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/prodnormedzmodule.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/normedtype.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/realfun.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/sequences.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/exp.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/trigo.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/nsatz_realtype.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/cardinality.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/esum.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/fsbigop.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/set_interval.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/lebesgue_measure.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/forms.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/derive.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/measure.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/numfun.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/lebesgue_integral.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/summability.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/functions.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/signed.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/altreals/xfinmap.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/altreals/discrete.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/altreals/realseq.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/altreals/realsum.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/altreals/distr.v /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/mathcomp_extra.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/boolp.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/ereal.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/reals.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/landau.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/classical_sets.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/Rstruct.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/topology.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/prodnormedzmodule.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/normedtype.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/realfun.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/sequences.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/exp.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/trigo.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/nsatz_realtype.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/cardinality.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/esum.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/fsbigop.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/set_interval.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/lebesgue_measure.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/forms.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/derive.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/measure.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/numfun.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/lebesgue_integral.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/summability.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/functions.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/signed.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/
INSTALL theories/altreals/xfinmap.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/altreals/discrete.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/altreals/realseq.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/altreals/realsum.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
INSTALL theories/altreals/distr.glob /build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals
make[3]: Entering directory '/build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0'
make[3]: Leaving directory '/build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0'
make[2]: Leaving directory '/build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0'
make[1]: Leaving directory '/build/mathcomp-analysis-Jh1rFk/mathcomp-analysis-0.5.0'
   dh_ocamldoc -a
   dh_installdocs -a
   dh_installchangelogs -a
   dh_perl -a
   dh_link -a
   dh_strip_nondeterminism -a
   dh_compress -a
   dh_fixperms -a
   dh_missing -a
   dh_strip -a
   dh_makeshlibs -a
   dh_shlibdeps -a
   dh_installdeb -a
   dh_ocaml -a
   dh_gencontrol -a
dpkg-gencontrol: warning: Provides field of package libcoq-mathcomp-analysis: substitution variable ${ocaml:Provides} used, but is not defined
   dh_md5sums -a
   dh_builddeb -a
dpkg-deb: building package 'libcoq-mathcomp-analysis' in '../libcoq-mathcomp-analysis_0.5.0-3_amd64.deb'.
 dpkg-genbuildinfo --build=any -O../mathcomp-analysis_0.5.0-3_amd64.buildinfo
 dpkg-genchanges --build=any -O../mathcomp-analysis_0.5.0-3_amd64.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
I: running special hook: sync-out /build/mathcomp-analysis-Jh1rFk /tmp/mathcomp-analysis-0.5.0-3ve7e3e3d
I: cleaning package lists and apt cache...
I: removing tempdir /tmp/mmdebstrap.qMG6IyT1oY...
I: success in 1533.5728 seconds
md5: libcoq-mathcomp-analysis_0.5.0-3_amd64.deb: OK
sha1: libcoq-mathcomp-analysis_0.5.0-3_amd64.deb: OK
sha256: libcoq-mathcomp-analysis_0.5.0-3_amd64.deb: OK
Checksums: OK