Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/m/mathcomp-finmap/mathcomp-finmap_1.5.1-1+b1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/mathcomp-finmap-1.5.1-1+b1unw_2q5f/mathcomp-finmap_1.5.1-1+b1_amd64.buildinfo Get source package info: mathcomp-finmap=1.5.1-1 Source URL: http://snapshot.notset.fr/mr/package/mathcomp-finmap/1.5.1-1/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.1 autopoint=0.21-4 autotools-dev=20220109.1 base-files=12.2 base-passwd=3.5.52 bash=5.1-6 binutils=2.38-1 binutils-common=2.38-1 binutils-x86-64-linux-gnu=2.38-1 bsdextrautils=2.37.3-1+b1 bsdutils=1:2.37.3-1+b1 build-essential=12.9 bzip2=1.0.8-5 coq=8.15.0+dfsg-2+b1 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.2.0-16 dash=0.5.11+git20210903+057cd650a4ed-3 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.1 dpkg-dev=1.21.1 dwz=0.14-1 file=1:5.41-2 findutils=4.8.0-1 g++=4:11.2.0-2 g++-11=11.2.0-16 gcc=4:11.2.0-2 gcc-11=11.2.0-16 gcc-11-base=11.2.0-16 gettext=0.21-4 gettext-base=0.21-4 grep=3.7-1 groff-base=1.22.4-8 gzip=1.10-4 hostname=3.23 init-system-helpers=1.61 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.2.0-16 libatomic1=11.2.0-16 libattr1=1:2.5.1-1 libaudit-common=1:3.0.7-1 libaudit1=1:3.0.7-1 libbinutils=2.38-1 libblkid1=2.37.3-1+b1 libbz2-1.0=1.0.8-5 libc-bin=2.33-5 libc-dev-bin=2.33-5 libc6=2.33-5 libc6-dev=2.33-5 libcap-ng0=0.7.9-2.2+b1 libcap2=1:2.44-1 libcc1-0=11.2.0-16 libcom-err2=1.46.5-2 libcoq-core-ocaml=8.15.0+dfsg-2+b1 libcoq-mathcomp-ssreflect=1.14.0-6 libcoq-stdlib=8.15.0+dfsg-2+b1 libcrypt-dev=1:4.4.27-1.1 libcrypt1=1:4.4.27-1.1 libctf-nobfd0=2.38-1 libctf0=2.38-1 libdb5.3=5.3.28+dfsg1-0.8 libdebconfclient0=0.261 libdebhelper-perl=13.6 libdpkg-perl=1.21.1 libelf1=0.186-1 libexpat1=2.4.4-1 libffi8=3.4.2-4 libfile-stripnondeterminism-perl=1.13.0-1 libfindlib-ocaml=1.9.1-1+b1 libgcc-11-dev=11.2.0-16 libgcc-s1=11.2.0-16 libgcrypt20=1.9.4-5 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libgmp10=2:6.2.1+dfsg-3 libgomp1=11.2.0-16 libgpg-error0=1.43-3 libgssapi-krb5-2=1.18.3-7 libicu67=67.1-7 libisl23=0.24-2 libitm1=11.2.0-16 libk5crypto3=1.18.3-7 libkeyutils1=1.6.1-2 libkrb5-3=1.18.3-7 libkrb5support0=1.18.3-7 liblsan0=11.2.0-16 liblz4-1=1.9.3-2 liblzma5=5.2.5-2 libmagic-mgc=1:5.41-2 libmagic1=1:5.41-2 libmount1=2.37.3-1+b1 libmpc3=1.2.1-1 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 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-13 libperl5.34=5.34.0-3 libpipeline1=1.5.5-1 libpython3-stdlib=3.9.8-1 libpython3.9-minimal=3.9.10-1 libpython3.9-stdlib=3.9.10-1 libquadmath0=11.2.0-16 libreadline8=8.1.2-1 libseccomp2=2.5.3-2 libselinux1=3.3-1+b1 libsigsegv2=2.14-1 libsmartcols1=2.37.3-1+b1 libsqlite3-0=3.37.2-2 libssl1.1=1.1.1m-1 libstdc++-11-dev=11.2.0-16 libstdc++6=11.2.0-16 libsub-override-perl=0.09-2 libsystemd0=250.3-2 libtinfo6=6.3-2 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.6-15 libtsan0=11.2.0-16 libubsan1=11.2.0-16 libuchardet0=0.0.7-1 libudev1=250.3-2 libunistring2=1.0-1 libuuid1=2.37.3-1+b1 libxml2=2.9.12+dfsg-5+b1 libzarith-ocaml=1.12-1+b1 libzstd1=1.4.8+dfsg-3 linux-libc-dev=5.16.7-2 login=1:4.11.1+dfsg1-1 lsb-base=11.1.0 m4=1.4.18-5 make=4.3-4.1 man-db=2.10.1-1 mawk=1.3.4.20200120-3+b1 media-types=5.0.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.1-1+b1 ocaml-interp=4.13.1-3 ocaml-nox=4.13.1-3 patch=2.7.6-7 perl=5.34.0-3 perl-base=5.34.0-3 perl-modules-5.34=5.34.0-3 po-debconf=1.0.21+nmu1 python3=3.9.8-1 python3-minimal=3.9.8-1 python3.9=3.9.10-1 python3.9-minimal=3.9.10-1 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 tzdata=2021e-1 util-linux=2.37.3-1+b1 xz-utils=5.2.5-2 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/20220219T032615Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220219T032615Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220215T212953Z/ 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-finmap=1.5.1-1 && mkdir -p /build/mathcomp-finmap-CYF1VK && dpkg-source --no-check -x /*.dsc /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1 && cd /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1 && { printf '%s' 'mathcomp-finmap (1.5.1-1+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild on buildd -- amd64 / i386 Build Daemon (x86-ubc-01) Mon, 14 Feb 2022 21:57:42 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/mathcomp-finmap-CYF1VK" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1644875862" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/mathcomp-finmap-CYF1VK /tmp/mathcomp-finmap-1.5.1-1+b1unw_2q5f bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220215T212953Z 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.lq69KapPSm 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.lq69KapPSm 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 136 kB of archives. After this operation, 406 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220215T212953Z unstable/main amd64 libfakeroot amd64 1.27-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220215T212953Z unstable/main amd64 fakeroot amd64 1.27-1 [87.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 136 kB in 0s (898 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 ... 4696 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.27-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.27-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.27-1_amd64.deb ... Unpacking fakeroot (1.27-1) ... Setting up libfakeroot:amd64 (1.27-1) ... Setting up fakeroot (1.27-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.33-5) ... 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/20220219T032615Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220219T032615Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220215T212953Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.lq69KapPSm Get:1 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm InRelease [129 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20220215T212953Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main Sources [11.9 MB] Get:4 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main amd64 Packages [11.3 MB] Fetched 23.3 MB in 19s (1211 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.lq69KapPSm I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d mathcomp-finmap=1.5.1-1 && mkdir -p /build/mathcomp-finmap-CYF1VK && dpkg-source --no-check -x /*.dsc /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1 && cd /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1 && { printf '%s' 'mathcomp-finmap (1.5.1-1+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild on buildd -- amd64 / i386 Build Daemon (x86-ubc-01) Mon, 14 Feb 2022 21:57:42 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/mathcomp-finmap-CYF1VK"' exec /tmp/mmdebstrap.lq69KapPSm Reading package lists... NOTICE: 'mathcomp-finmap' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/mathcomp-finmap.git Please use: git clone https://salsa.debian.org/ocaml-team/mathcomp-finmap.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 74.2 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main mathcomp-finmap 1.5.1-1 (dsc) [2071 B] Get:2 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main mathcomp-finmap 1.5.1-1 (tar) [63.8 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main mathcomp-finmap 1.5.1-1 (diff) [8344 B] Fetched 74.2 kB in 0s (855 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'mathcomp-finmap_1.5.1-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting mathcomp-finmap in /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1 dpkg-source: info: unpacking mathcomp-finmap_1.5.1.orig.tar.gz dpkg-source: info: unpacking mathcomp-finmap_1.5.1-1.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1644875862" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.lq69KapPSm dpkg-buildpackage: info: source package mathcomp-finmap dpkg-buildpackage: info: source version 1.5.1-1+b1 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by amd64 / i386 Build Daemon (x86-ubc-01) 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-finmap-CYF1VK/mathcomp-finmap-1.5.1' rm -f Makefile.coq Makefile.coq.conf Makefile.coq rm -f make[1]: Leaving directory '/build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1' 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 debian/rules override_dh_auto_build make[1]: Entering directory '/build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1' dune build @all File "./set.v", line 2, characters 0-79: Warning: Notation "[ rel _ _ | _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "[ rel _ _ : _ | _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "[ rel _ _ in _ & _ | _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "[ rel _ _ in _ & _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "[ rel _ _ in _ | _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "[ rel _ _ in _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "_ + _" was already used in scope nat_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "_ - _" was already used in scope nat_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "_ <= _" was already used in scope nat_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "_ < _" was already used in scope nat_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "_ >= _" was already used in scope nat_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "_ > _" was already used in scope nat_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "_ <= _ <= _" was already used in scope nat_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "_ < _ <= _" was already used in scope nat_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "_ <= _ < _" was already used in scope nat_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "_ < _ < _" was already used in scope nat_scope. [notation-overridden,parsing] File "./set.v", line 2, characters 0-79: Warning: Notation "_ * _" was already used in scope nat_scope. [notation-overridden,parsing] File "./set.v", line 117, characters 0-54: Warning: Notation "_ \subset _" was already used in scope bool_scope. [notation-overridden,parsing] File "./set.v", line 118, characters 0-57: Warning: Notation "_ \proper _" was already used in scope bool_scope. [notation-overridden,parsing] File "./set.v", line 119, characters 0-14: Warning: Notation "_ \subset _" was already used in scope bool_scope. [notation-overridden,parsing] File "./set.v", line 119, characters 0-14: Warning: Notation "_ \proper _" was already used in scope bool_scope. [notation-overridden,parsing] File "./set.v", line 206, characters 0-45: Warning: eqType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 206, characters 0-45: Warning: New coercion path [eqType; Equality.sort; pred_of_argType; PredOfSimpl.coerce; fun_of_pred] : type >-> Funclass is ambiguous with existing [sort] : type >-> Funclass. [ambiguous-paths,typechecker] File "./set.v", line 207, characters 0-43: Warning: choiceType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 207, characters 0-43: Warning: New coercion path [choiceType; Choice.eqType] : type >-> Equality.type is ambiguous with existing [eqType] : type >-> Equality.type. [ambiguous-paths,typechecker] File "./set.v", line 208, characters 0-49: Warning: porderType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 208, characters 0-49: Warning: New coercion path [porderType; Order.POrder.choiceType] : type >-> Choice.type is ambiguous with existing [choiceType] : type >-> Choice.type. [ambiguous-paths,typechecker] File "./set.v", line 209, characters 0-51: Warning: latticeType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 209, characters 0-51: Warning: New coercion path [latticeType; Order.Lattice.porderType] : type >-> Order.POrder.type is ambiguous with existing [porderType] : type >-> Order.POrder.type. [ambiguous-paths,typechecker] File "./set.v", line 210, characters 0-53: Warning: bLatticeType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 210, characters 0-53: Warning: New coercion path [bLatticeType; Order.BLattice.latticeType] : type >-> Order.Lattice.type is ambiguous with existing [latticeType] : type >-> Order.Lattice.type. [ambiguous-paths,typechecker] File "./set.v", line 211, characters 0-61: Warning: distrLatticeType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 211, characters 0-61: Warning: New coercion path [distrLatticeType; Order.DistrLattice.latticeType] : type >-> Order.Lattice.type is ambiguous with existing [latticeType] : type >-> Order.Lattice.type. [ambiguous-paths,typechecker] File "./set.v", line 212, characters 0-63: Warning: bDistrLatticeType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 212, characters 0-63: Warning: New coercion path [bDistrLatticeType; Order.BDistrLattice.distrLatticeType] : type >-> Order.DistrLattice.type is ambiguous with existing [distrLatticeType] : type >-> Order.DistrLattice.type. New coercion path [bDistrLatticeType; Order.BDistrLattice.bLatticeType] : type >-> Order.BLattice.type is ambiguous with existing [bLatticeType] : type >-> Order.BLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 213, characters 0-65: Warning: cbDistrLatticeType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 213, characters 0-65: Warning: New coercion path [cbDistrLatticeType; Order.CBDistrLattice.bDistrLatticeType] : type >-> Order.BDistrLattice.type is ambiguous with existing [bDistrLatticeType] : type >-> Order.BDistrLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 239, characters 0-12: Warning: New coercion path [eqType; Equality.sort; pred_of_argType; PredOfSimpl.coerce; fun_of_pred] : type >-> Funclass is ambiguous with existing [sort] : type >-> Funclass. [ambiguous-paths,typechecker] File "./set.v", line 239, characters 0-12: Warning: New coercion path [choiceType; Choice.eqType] : type >-> Equality.type is ambiguous with existing [eqType] : type >-> Equality.type. [ambiguous-paths,typechecker] File "./set.v", line 239, characters 0-12: Warning: New coercion path [porderType; Order.POrder.choiceType] : type >-> Choice.type is ambiguous with existing [choiceType] : type >-> Choice.type. [ambiguous-paths,typechecker] File "./set.v", line 239, characters 0-12: Warning: New coercion path [latticeType; Order.Lattice.porderType] : type >-> Order.POrder.type is ambiguous with existing [porderType] : type >-> Order.POrder.type. [ambiguous-paths,typechecker] File "./set.v", line 239, characters 0-12: Warning: New coercion path [bLatticeType; Order.BLattice.latticeType] : type >-> Order.Lattice.type is ambiguous with existing [latticeType] : type >-> Order.Lattice.type. [ambiguous-paths,typechecker] File "./set.v", line 239, characters 0-12: Warning: New coercion path [distrLatticeType; Order.DistrLattice.latticeType] : type >-> Order.Lattice.type is ambiguous with existing [latticeType] : type >-> Order.Lattice.type. [ambiguous-paths,typechecker] File "./set.v", line 239, characters 0-12: Warning: New coercion path [bDistrLatticeType; Order.BDistrLattice.distrLatticeType] : type >-> Order.DistrLattice.type is ambiguous with existing [distrLatticeType] : type >-> Order.DistrLattice.type. New coercion path [bDistrLatticeType; Order.BDistrLattice.bLatticeType] : type >-> Order.BLattice.type is ambiguous with existing [bLatticeType] : type >-> Order.BLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 239, characters 0-12: Warning: New coercion path [cbDistrLatticeType; Order.CBDistrLattice.bDistrLatticeType] : type >-> Order.BDistrLattice.type is ambiguous with existing [bDistrLatticeType] : type >-> Order.BDistrLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 242, characters 0-23: Warning: New coercion path [Semiset.eqType; Equality.sort; pred_of_argType; PredOfSimpl.coerce; fun_of_pred] : Semiset.type >-> Funclass is ambiguous with existing [Semiset.sort] : Semiset.type >-> Funclass. [ambiguous-paths,typechecker] File "./set.v", line 242, characters 0-23: Warning: New coercion path [Semiset.choiceType; Choice.eqType] : Semiset.type >-> Equality.type is ambiguous with existing [Semiset.eqType] : Semiset.type >-> Equality.type. [ambiguous-paths,typechecker] File "./set.v", line 242, characters 0-23: Warning: New coercion path [Semiset.porderType; Order.POrder.choiceType] : Semiset.type >-> Choice.type is ambiguous with existing [Semiset.choiceType] : Semiset.type >-> Choice.type. [ambiguous-paths,typechecker] File "./set.v", line 242, characters 0-23: Warning: New coercion path [Semiset.latticeType; Order.Lattice.porderType] : Semiset.type >-> Order.POrder.type is ambiguous with existing [Semiset.porderType] : Semiset.type >-> Order.POrder.type. [ambiguous-paths,typechecker] File "./set.v", line 242, characters 0-23: Warning: New coercion path [Semiset.bLatticeType; Order.BLattice.latticeType] : Semiset.type >-> Order.Lattice.type is ambiguous with existing [Semiset.latticeType] : Semiset.type >-> Order.Lattice.type. [ambiguous-paths,typechecker] File "./set.v", line 242, characters 0-23: Warning: New coercion path [Semiset.distrLatticeType; Order.DistrLattice.latticeType] : Semiset.type >-> Order.Lattice.type is ambiguous with existing [Semiset.latticeType] : Semiset.type >-> Order.Lattice.type. [ambiguous-paths,typechecker] File "./set.v", line 242, characters 0-23: Warning: New coercion path [Semiset.bDistrLatticeType; Order.BDistrLattice.distrLatticeType] : Semiset.type >-> Order.DistrLattice.type is ambiguous with existing [Semiset.distrLatticeType] : Semiset.type >-> Order.DistrLattice.type. New coercion path [Semiset.bDistrLatticeType; Order.BDistrLattice.bLatticeType] : Semiset.type >-> Order.BLattice.type is ambiguous with existing [Semiset.bLatticeType] : Semiset.type >-> Order.BLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 242, characters 0-23: Warning: New coercion path [Semiset.cbDistrLatticeType; Order.CBDistrLattice.bDistrLatticeType] : Semiset.type >-> Order.BDistrLattice.type is ambiguous with existing [Semiset.bDistrLatticeType] : Semiset.type >-> Order.BDistrLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 929, characters 0-53: Warning: New coercion path [base2; Semiset.base] : class_of >-> Funclass is ambiguous with existing [base] : class_of >-> Funclass. [ambiguous-paths,typechecker] File "./set.v", line 957, characters 0-53: Warning: New coercion path [base2; Semiset.base] : class_of >-> Funclass is ambiguous with existing [base] : class_of >-> Funclass. [ambiguous-paths,typechecker] File "./set.v", line 981, characters 0-51: Warning: New coercion path [base2; Semiset.base] : class_of >-> Funclass is ambiguous with existing [base] : class_of >-> Funclass. [ambiguous-paths,typechecker] File "./set.v", line 983, characters 0-44: Warning: eqType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 983, characters 0-44: Warning: New coercion path [eqType; Equality.sort; pred_of_argType; PredOfSimpl.coerce; fun_of_pred] : type >-> Funclass is ambiguous with existing [sort] : type >-> Funclass. [ambiguous-paths,typechecker] File "./set.v", line 984, characters 0-43: Warning: choiceType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 984, characters 0-43: Warning: New coercion path [choiceType; Choice.eqType] : type >-> Equality.type is ambiguous with existing [eqType] : type >-> Equality.type. [ambiguous-paths,typechecker] File "./set.v", line 985, characters 0-49: Warning: porderType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 985, characters 0-49: Warning: New coercion path [porderType; Order.POrder.choiceType] : type >-> Choice.type is ambiguous with existing [choiceType] : type >-> Choice.type. [ambiguous-paths,typechecker] File "./set.v", line 986, characters 0-51: Warning: latticeType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 986, characters 0-51: Warning: New coercion path [latticeType; Order.Lattice.porderType] : type >-> Order.POrder.type is ambiguous with existing [porderType] : type >-> Order.POrder.type. [ambiguous-paths,typechecker] File "./set.v", line 987, characters 0-53: Warning: bLatticeType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 987, characters 0-53: Warning: New coercion path [bLatticeType; Order.BLattice.latticeType] : type >-> Order.Lattice.type is ambiguous with existing [latticeType] : type >-> Order.Lattice.type. [ambiguous-paths,typechecker] File "./set.v", line 988, characters 0-61: Warning: distrLatticeType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 988, characters 0-61: Warning: New coercion path [distrLatticeType; Order.DistrLattice.latticeType] : type >-> Order.Lattice.type is ambiguous with existing [latticeType] : type >-> Order.Lattice.type. [ambiguous-paths,typechecker] File "./set.v", line 989, characters 0-63: Warning: bDistrLatticeType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 989, characters 0-63: Warning: New coercion path [bDistrLatticeType; Order.BDistrLattice.distrLatticeType] : type >-> Order.DistrLattice.type is ambiguous with existing [distrLatticeType] : type >-> Order.DistrLattice.type. New coercion path [bDistrLatticeType; Order.BDistrLattice.bLatticeType] : type >-> Order.BLattice.type is ambiguous with existing [bLatticeType] : type >-> Order.BLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 990, characters 0-65: Warning: cbDistrLatticeType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 990, characters 0-65: Warning: New coercion path [cbDistrLatticeType; Order.CBDistrLattice.bDistrLatticeType] : type >-> Order.BDistrLattice.type is ambiguous with existing [bDistrLatticeType] : type >-> Order.BDistrLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 991, characters 0-67: Warning: ctbDistrLatticeType does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./set.v", line 991, characters 0-67: Warning: New coercion path [ctbDistrLatticeType; Order.CTBDistrLattice.cbDistrLatticeType] : type >-> Order.CBDistrLattice.type is ambiguous with existing [cbDistrLatticeType] : type >-> Order.CBDistrLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 992, characters 0-45: Warning: New coercion path [semisetType; Semiset.cbDistrLatticeType] : type >-> Order.CBDistrLattice.type is ambiguous with existing [cbDistrLatticeType] : type >-> Order.CBDistrLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 1010, characters 0-12: Warning: New coercion path [base2; Semiset.base] : class_of >-> Funclass is ambiguous with existing [base] : class_of >-> Funclass. [ambiguous-paths,typechecker] File "./set.v", line 1010, characters 0-12: Warning: New coercion path [eqType; Equality.sort; pred_of_argType; PredOfSimpl.coerce; fun_of_pred] : type >-> Funclass is ambiguous with existing [sort] : type >-> Funclass. [ambiguous-paths,typechecker] File "./set.v", line 1010, characters 0-12: Warning: New coercion path [choiceType; Choice.eqType] : type >-> Equality.type is ambiguous with existing [eqType] : type >-> Equality.type. [ambiguous-paths,typechecker] File "./set.v", line 1010, characters 0-12: Warning: New coercion path [porderType; Order.POrder.choiceType] : type >-> Choice.type is ambiguous with existing [choiceType] : type >-> Choice.type. [ambiguous-paths,typechecker] File "./set.v", line 1010, characters 0-12: Warning: New coercion path [latticeType; Order.Lattice.porderType] : type >-> Order.POrder.type is ambiguous with existing [porderType] : type >-> Order.POrder.type. [ambiguous-paths,typechecker] File "./set.v", line 1010, characters 0-12: Warning: New coercion path [bLatticeType; Order.BLattice.latticeType] : type >-> Order.Lattice.type is ambiguous with existing [latticeType] : type >-> Order.Lattice.type. [ambiguous-paths,typechecker] File "./set.v", line 1010, characters 0-12: Warning: New coercion path [distrLatticeType; Order.DistrLattice.latticeType] : type >-> Order.Lattice.type is ambiguous with existing [latticeType] : type >-> Order.Lattice.type. [ambiguous-paths,typechecker] File "./set.v", line 1010, characters 0-12: Warning: New coercion path [bDistrLatticeType; Order.BDistrLattice.distrLatticeType] : type >-> Order.DistrLattice.type is ambiguous with existing [distrLatticeType] : type >-> Order.DistrLattice.type. New coercion path [bDistrLatticeType; Order.BDistrLattice.bLatticeType] : type >-> Order.BLattice.type is ambiguous with existing [bLatticeType] : type >-> Order.BLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 1010, characters 0-12: Warning: New coercion path [cbDistrLatticeType; Order.CBDistrLattice.bDistrLatticeType] : type >-> Order.BDistrLattice.type is ambiguous with existing [bDistrLatticeType] : type >-> Order.BDistrLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 1010, characters 0-12: Warning: New coercion path [ctbDistrLatticeType; Order.CTBDistrLattice.cbDistrLatticeType] : type >-> Order.CBDistrLattice.type is ambiguous with existing [cbDistrLatticeType] : type >-> Order.CBDistrLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 1010, characters 0-12: Warning: New coercion path [semisetType; Semiset.cbDistrLatticeType] : type >-> Order.CBDistrLattice.type is ambiguous with existing [cbDistrLatticeType] : type >-> Order.CBDistrLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 1013, characters 0-19: Warning: New coercion path [set.base2; Semiset.base] : set.class_of >-> Funclass is ambiguous with existing [set.base] : set.class_of >-> Funclass. [ambiguous-paths,typechecker] File "./set.v", line 1013, characters 0-19: Warning: New coercion path [set.eqType; Equality.sort; pred_of_argType; PredOfSimpl.coerce; fun_of_pred] : set.type >-> Funclass is ambiguous with existing [set.sort] : set.type >-> Funclass. [ambiguous-paths,typechecker] File "./set.v", line 1013, characters 0-19: Warning: New coercion path [set.choiceType; Choice.eqType] : set.type >-> Equality.type is ambiguous with existing [set.eqType] : set.type >-> Equality.type. [ambiguous-paths,typechecker] File "./set.v", line 1013, characters 0-19: Warning: New coercion path [set.porderType; Order.POrder.choiceType] : set.type >-> Choice.type is ambiguous with existing [set.choiceType] : set.type >-> Choice.type. [ambiguous-paths,typechecker] File "./set.v", line 1013, characters 0-19: Warning: New coercion path [set.latticeType; Order.Lattice.porderType] : set.type >-> Order.POrder.type is ambiguous with existing [set.porderType] : set.type >-> Order.POrder.type. [ambiguous-paths,typechecker] File "./set.v", line 1013, characters 0-19: Warning: New coercion path [set.bLatticeType; Order.BLattice.latticeType] : set.type >-> Order.Lattice.type is ambiguous with existing [set.latticeType] : set.type >-> Order.Lattice.type. [ambiguous-paths,typechecker] File "./set.v", line 1013, characters 0-19: Warning: New coercion path [set.distrLatticeType; Order.DistrLattice.latticeType] : set.type >-> Order.Lattice.type is ambiguous with existing [set.latticeType] : set.type >-> Order.Lattice.type. [ambiguous-paths,typechecker] File "./set.v", line 1013, characters 0-19: Warning: New coercion path [set.bDistrLatticeType; Order.BDistrLattice.distrLatticeType] : set.type >-> Order.DistrLattice.type is ambiguous with existing [set.distrLatticeType] : set.type >-> Order.DistrLattice.type. New coercion path [set.bDistrLatticeType; Order.BDistrLattice.bLatticeType] : set.type >-> Order.BLattice.type is ambiguous with existing [set.bLatticeType] : set.type >-> Order.BLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 1013, characters 0-19: Warning: New coercion path [set.cbDistrLatticeType; Order.CBDistrLattice.bDistrLatticeType] : set.type >-> Order.BDistrLattice.type is ambiguous with existing [set.bDistrLatticeType] : set.type >-> Order.BDistrLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 1013, characters 0-19: Warning: New coercion path [set.ctbDistrLatticeType; Order.CTBDistrLattice.cbDistrLatticeType] : set.type >-> Order.CBDistrLattice.type is ambiguous with existing [set.cbDistrLatticeType] : set.type >-> Order.CBDistrLattice.type. [ambiguous-paths,typechecker] File "./set.v", line 1013, characters 0-19: Warning: New coercion path [set.semisetType; Semiset.cbDistrLatticeType] : set.type >-> Order.CBDistrLattice.type is ambiguous with existing [set.cbDistrLatticeType] : set.type >-> Order.CBDistrLattice.type. [ambiguous-paths,typechecker] File "./finmap.v", line 5, characters 0-72: Warning: Notation "[ rel _ _ | _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "[ rel _ _ : _ | _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "[ rel _ _ in _ & _ | _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "[ rel _ _ in _ & _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "[ rel _ _ in _ | _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "[ rel _ _ in _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "_ + _" was already used in scope nat_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "_ - _" was already used in scope nat_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "_ <= _" was already used in scope nat_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "_ < _" was already used in scope nat_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "_ >= _" was already used in scope nat_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "_ > _" was already used in scope nat_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "_ <= _ <= _" was already used in scope nat_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "_ < _ <= _" was already used in scope nat_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "_ <= _ < _" was already used in scope nat_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "_ < _ < _" was already used in scope nat_scope. [notation-overridden,parsing] File "./finmap.v", line 5, characters 0-72: Warning: Notation "_ * _" was already used in scope nat_scope. [notation-overridden,parsing] File "./finmap.v", line 621, characters 0-59: Warning: Ignoring canonical projection to mkFinSet by Sub in finSetSubType: redundant with fsetType [redundant-canonical-projection,typechecker] File "./finmap.v", line 621, characters 0-59: Warning: Ignoring canonical projection to enum_fset by val in finSetSubType: redundant with fsetType [redundant-canonical-projection,typechecker] File "./finmap.v", line 621, characters 0-59: Warning: Ignoring canonical projection to finSet by sub_sort in finSetSubType: redundant with fsetType [redundant-canonical-projection,typechecker] File "./finmap.v", line 623, characters 0-79: Warning: Ignoring canonical projection to finset_of by Equality.sort in finSetEqType: redundant with fset_eqType [redundant-canonical-projection,typechecker] File "./finmap.v", line 625, characters 0-91: Warning: Ignoring canonical projection to finset_of by Choice.sort in finSetChoiceType: redundant with fset_choiceType [redundant-canonical-projection,typechecker] File "./finmap.v", line 2074, characters 10-24: Warning: Notation disjoint_trans is deprecated since mathcomp 1.12.0. Use disjointWl instead. [deprecated-syntactic-definition,deprecated] File "./finmap.v", line 2074, characters 10-24: Warning: Notation disjoint_trans is deprecated since mathcomp 1.12.0. Use disjointWl instead. [deprecated-syntactic-definition,deprecated] File "./finmap.v", line 2668, characters 42-50: Warning: Notation iter_add is deprecated since mathcomp 1.12.0. Use iterD instead. [deprecated-syntactic-definition,deprecated] File "./finmap.v", line 2668, characters 42-50: Warning: Notation iter_add is deprecated since mathcomp 1.12.0. Use iterD instead. [deprecated-syntactic-definition,deprecated] File "./finmap.v", line 2668, characters 42-50: Warning: Notation iter_add is deprecated since mathcomp 1.12.0. Use iterD instead. [deprecated-syntactic-definition,deprecated] File "./finmap.v", line 2691, characters 11-19: Warning: Notation iter_add is deprecated since mathcomp 1.12.0. Use iterD instead. [deprecated-syntactic-definition,deprecated] File "./finmap.v", line 2691, characters 11-19: Warning: Notation iter_add is deprecated since mathcomp 1.12.0. Use iterD instead. [deprecated-syntactic-definition,deprecated] File "./finmap.v", line 2691, characters 11-19: Warning: Notation iter_add is deprecated since mathcomp 1.12.0. Use iterD instead. [deprecated-syntactic-definition,deprecated] File "./finmap.v", line 2910, characters 0-115: Warning: grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead. [deprecated-ident-entry,deprecated] File "./finmap.v", line 2916, characters 0-117: Warning: grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead. [deprecated-ident-entry,deprecated] File "./multiset.v", line 8, characters 0-72: Warning: Notation "[ rel _ _ | _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "[ rel _ _ : _ | _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "[ rel _ _ in _ & _ | _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "[ rel _ _ in _ & _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "[ rel _ _ in _ | _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "[ rel _ _ in _ ]" was already used in scope fun_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "_ + _" was already used in scope nat_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "_ - _" was already used in scope nat_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "_ <= _" was already used in scope nat_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "_ < _" was already used in scope nat_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "_ >= _" was already used in scope nat_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "_ > _" was already used in scope nat_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "_ <= _ <= _" was already used in scope nat_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "_ < _ <= _" was already used in scope nat_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "_ <= _ < _" was already used in scope nat_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "_ < _ < _" was already used in scope nat_scope. [notation-overridden,parsing] File "./multiset.v", line 8, characters 0-72: Warning: Notation "_ * _" was already used in scope nat_scope. [notation-overridden,parsing] File "./multiset.v", line 62, characters 0-137: Warning: grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead. [deprecated-ident-entry,deprecated] File "./multiset.v", line 64, characters 0-125: Warning: grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead. [deprecated-ident-entry,deprecated] File "./multiset.v", line 66, characters 0-161: Warning: grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead. [deprecated-ident-entry,deprecated] make[1]: Leaving directory '/build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1' 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 debian/rules override_dh_auto_install make[1]: Entering directory '/build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1' dune install --destdir=/build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1/debian/tmp Installing /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1/debian/tmp/usr/lib/ocaml/coq-mathcomp-finmap/META Installing /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1/debian/tmp/usr/lib/ocaml/coq-mathcomp-finmap/dune-package Installing /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1/debian/tmp/usr/lib/ocaml/coq-mathcomp-finmap/opam Installing /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1/debian/tmp/usr/lib/ocaml/coq/user-contrib/mathcomp/finmap/finmap.v Installing /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1/debian/tmp/usr/lib/ocaml/coq/user-contrib/mathcomp/finmap/finmap.vo Installing /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1/debian/tmp/usr/lib/ocaml/coq/user-contrib/mathcomp/finmap/multiset.v Installing /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1/debian/tmp/usr/lib/ocaml/coq/user-contrib/mathcomp/finmap/multiset.vo Installing /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1/debian/tmp/usr/lib/ocaml/coq/user-contrib/mathcomp/finmap/set.v Installing /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1/debian/tmp/usr/lib/ocaml/coq/user-contrib/mathcomp/finmap/set.vo Installing /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1/debian/tmp/usr/doc/coq-mathcomp-finmap/CHANGELOG.md Installing /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1/debian/tmp/usr/doc/coq-mathcomp-finmap/CHANGELOG_UNRELEASED.md Installing /build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1/debian/tmp/usr/doc/coq-mathcomp-finmap/README.md make[1]: Leaving directory '/build/mathcomp-finmap-CYF1VK/mathcomp-finmap-1.5.1' dh_install -a 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-finmap: substitution variable ${ocaml:Provides} used, but is not defined dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'libcoq-mathcomp-finmap' in '../libcoq-mathcomp-finmap_1.5.1-1+b1_amd64.deb'. dpkg-genbuildinfo --build=any -O../mathcomp-finmap_1.5.1-1+b1_amd64.buildinfo dpkg-genchanges --build=any -O../mathcomp-finmap_1.5.1-1+b1_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-finmap-CYF1VK /tmp/mathcomp-finmap-1.5.1-1+b1unw_2q5f I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.lq69KapPSm... I: success in 913.7325 seconds md5: libcoq-mathcomp-finmap_1.5.1-1+b1_amd64.deb: OK sha1: libcoq-mathcomp-finmap_1.5.1-1+b1_amd64.deb: OK sha256: libcoq-mathcomp-finmap_1.5.1-1+b1_amd64.deb: OK Checksums: OK