Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/m/mathcomp-multinomials/mathcomp-multinomials_1.5.5-4_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/mathcomp-multinomials-1.5.5-4851dswnh/mathcomp-multinomials_1.5.5-4_amd64.buildinfo Get source package info: mathcomp-multinomials=1.5.5-4 Source URL: http://snapshot.notset.fr/mr/package/mathcomp-multinomials/1.5.5-4/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+b1 binutils=2.38-4 binutils-common=2.38-4 binutils-x86-64-linux-gnu=2.38-4 bsdextrautils=2.38-4 bsdutils=1:2.38-4 build-essential=12.9 bzip2=1.0.8-5 coq=8.15.1+dfsg-2 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.3.0-3 dash=0.5.11+git20210903+057cd650a4ed-8 debconf=1.5.79 debhelper=13.7.1 debianutils=5.7-0.2 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-4 findutils=4.9.0-3 g++=4:11.2.0-2 g++-11=11.3.0-3 gcc=4:11.2.0-2 gcc-11=11.3.0-3 gcc-11-base=11.3.0-3 gcc-12-base=12.1.0-2 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.3.0-3 libatomic1=12.1.0-2 libattr1=1:2.5.1-1 libaudit-common=1:3.0.7-1 libaudit1=1:3.0.7-1+b1 libbinutils=2.38-4 libblkid1=2.38-4 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.1.0-2 libcom-err2=1.46.5-2 libcoq-core-ocaml=8.15.1+dfsg-2 libcoq-mathcomp-algebra=1.14.0-10 libcoq-mathcomp-bigenough=1.0.1-5 libcoq-mathcomp-fingroup=1.14.0-10 libcoq-mathcomp-finmap=1.5.1-5 libcoq-mathcomp-ssreflect=1.14.0-10 libcoq-stdlib=8.15.1+dfsg-2 libcrypt-dev=1:4.4.27-1.1 libcrypt1=1:4.4.27-1.1 libctf-nobfd0=2.38-4 libctf0=2.38-4 libdb5.3=5.3.28+dfsg1-0.9 libdebconfclient0=0.262 libdebhelper-perl=13.7.1 libdpkg-perl=1.21.7 libelf1=0.187-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.3.0-3 libgcc-s1=12.1.0-2 libgcrypt20=1.10.1-2 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libgmp10=2:6.2.1+dfsg-3 libgomp1=12.1.0-2 libgpg-error0=1.45-2 libgssapi-krb5-2=1.19.2-2+b2 libicu71=71.1-3 libisl23=0.24-2 libitm1=12.1.0-2 libk5crypto3=1.19.2-2+b2 libkeyutils1=1.6.1-3 libkrb5-3=1.19.2-2+b2 libkrb5support0=1.19.2-2+b2 liblsan0=12.1.0-2 liblz4-1=1.9.3-2 liblzma5=5.2.5-2.1 libmagic-mgc=1:5.41-4 libmagic1=1:5.41-4 libmount1=2.38-4 libmpc3=1.2.1-2 libmpdec3=2.5.1-2 libmpfr6=4.1.0-3 libncurses-dev=6.3+20220423-2 libncurses5-dev=6.3+20220423-2 libncurses6=6.3+20220423-2 libncursesw6=6.3+20220423-2 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libpam-modules=1.4.0-13 libpam-modules-bin=1.4.0-13 libpam-runtime=1.4.0-13 libpam0g=1.4.0-13 libpcre2-8-0=10.40-1 libpcre3=2:8.39-14 libperl5.34=5.34.0-4 libpipeline1=1.5.6-1 libpython3-stdlib=3.10.4-1+b1 libpython3.10-minimal=3.10.4-4+b1 libpython3.10-stdlib=3.10.4-4+b1 libquadmath0=12.1.0-2 libreadline8=8.1.2-1.2 libseccomp2=2.5.4-1 libselinux1=3.3-1+b2 libsigsegv2=2.14-1 libsmartcols1=2.38-4 libsqlite3-0=3.38.5-1 libssl3=3.0.3-5 libstdc++-11-dev=11.3.0-3 libstdc++6=12.1.0-2 libsub-override-perl=0.09-2 libsystemd0=250.4-1 libtinfo6=6.3+20220423-2 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.7-4 libtsan0=11.3.0-3 libubsan1=12.1.0-2 libuchardet0=0.0.7-1 libudev1=250.4-1 libunistring2=1.0-1 libuuid1=2.38-4 libxml2=2.9.14+dfsg-1 libzarith-ocaml=1.12-1+b1 libzstd1=1.5.2+dfsg-1 linux-libc-dev=5.17.6-1+b1 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=8.0.0 ncurses-base=6.3+20220423-2 ncurses-bin=6.3+20220423-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+b1 python3-minimal=3.10.4-1+b1 python3.10=3.10.4-4+b1 python3.10-minimal=3.10.4-4+b1 readline-common=8.1.2-1.2 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 sysvinit-utils=3.03-1 tar=1.34+dfsg-1 util-linux=2.38-4 util-linux-extra=2.38-4 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/20220529T034001Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220529T034001Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220602T030029Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220523T090707Z/ 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-multinomials=1.5.5-4 && mkdir -p /build/mathcomp-multinomials-UovjDI && dpkg-source --no-check -x /*.dsc /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5 && chown -R builduser:builduser /build/mathcomp-multinomials-UovjDI" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1653376081" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/mathcomp-multinomials-UovjDI /tmp/mathcomp-multinomials-1.5.5-4851dswnh bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220523T090707Z 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.HdmVFaF7Dv 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.HdmVFaF7Dv Reading package lists... Building dependency tree... util-linux is already the newest version (2.38-4). 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, 401 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220523T090707Z unstable/main amd64 libfakeroot amd64 1.29-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220523T090707Z unstable/main amd64 fakeroot amd64 1.29-1 [87.3 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 136 kB in 0s (1101 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 ... 4629 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.29-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.29-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.29-1_amd64.deb ... Unpacking fakeroot (1.29-1) ... Setting up libfakeroot:amd64 (1.29-1) ... Setting up fakeroot (1.29-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/20220529T034001Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220529T034001Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220602T030029Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220523T090707Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.HdmVFaF7Dv Get:1 http://snapshot.notset.fr/archive/debian/20220529T034001Z bookworm InRelease [130 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220602T030029Z unstable InRelease [165 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20220523T090707Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20220529T034001Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220529T034001Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220529T034001Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220529T034001Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220529T034001Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220529T034001Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20220529T034001Z bookworm/main Sources [12.0 MB] Get:5 http://snapshot.notset.fr/archive/debian/20220529T034001Z bookworm/main amd64 Packages [11.5 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20220602T030029Z unstable/main amd64 Packages Err:6 http://snapshot.notset.fr/archive/debian/20220602T030029Z unstable/main amd64 Packages 404 Not Found [IP: 10.13.0.253 80] Ign:6 http://snapshot.notset.fr/archive/debian/20220602T030029Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20220602T030029Z unstable/main amd64 Packages [12.5 MB] Fetched 36.2 MB in 29s (1240 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.HdmVFaF7Dv I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d mathcomp-multinomials=1.5.5-4 && mkdir -p /build/mathcomp-multinomials-UovjDI && dpkg-source --no-check -x /*.dsc /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5 && chown -R builduser:builduser /build/mathcomp-multinomials-UovjDI"' exec /tmp/mmdebstrap.HdmVFaF7Dv Reading package lists... NOTICE: 'mathcomp-multinomials' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/mathcomp-multinomials.git Please use: git clone https://salsa.debian.org/ocaml-team/mathcomp-multinomials.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 97.9 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220529T034001Z bookworm/main mathcomp-multinomials 1.5.5-4 (dsc) [2219 B] Get:2 http://snapshot.notset.fr/archive/debian/20220529T034001Z bookworm/main mathcomp-multinomials 1.5.5-4 (tar) [87.1 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220529T034001Z bookworm/main mathcomp-multinomials 1.5.5-4 (diff) [8588 B] Fetched 97.9 kB in 0s (774 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'mathcomp-multinomials_1.5.5-4.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting mathcomp-multinomials in /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5 dpkg-source: info: unpacking mathcomp-multinomials_1.5.5.orig.tar.gz dpkg-source: info: unpacking mathcomp-multinomials_1.5.5-4.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1653376081" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.HdmVFaF7Dv dpkg-buildpackage: info: source package mathcomp-multinomials dpkg-buildpackage: info: source version 1.5.5-4 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml dh_auto_clean make -j10 clean make[1]: Entering directory '/build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5' dune clean make[1]: Leaving directory '/build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a debian/rules override_dh_auto_configure make[1]: Entering directory '/build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5' ./configure --prefix=/usr Warning: Ignore argument '--prefix=/usr' coq-native support disabled. make[1]: Leaving directory '/build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5' debian/rules override_dh_auto_build make[1]: Entering directory '/build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5' dune build File "./src/ssrcomplements.v", line 190, characters 32-42: Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead. [deprecated-syntactic-definition,deprecated] File "./src/ssrcomplements.v", line 192, characters 0-29: Warning: The default value for hint locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding hints outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] File "./src/ssrcomplements.v", line 197, characters 13-23: Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead. [deprecated-syntactic-definition,deprecated] File "./src/monalg.v", line 51, characters 0-111: 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 "./src/monalg.v", line 53, characters 0-93: 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 "./src/mpoly.v", line 991, characters 0-31: Warning: The default value for hint locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding hints outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] File "./src/mpoly.v", line 1507, characters 20-30: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1507, characters 20-30: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1507, characters 20-30: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1513, characters 20-30: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1513, characters 20-30: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1513, characters 20-30: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1541, characters 10-20: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1541, characters 10-20: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1541, characters 10-20: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1549, characters 10-20: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1549, characters 10-20: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1549, characters 10-20: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1945, characters 11-21: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1945, characters 11-21: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1945, characters 11-21: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1962, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1962, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1962, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1967, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1967, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 1967, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2106, characters 27-39: Warning: Notation join_sup_seq is deprecated since mathcomp 1.13.0. Use joins_sup_seq instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2106, characters 27-39: Warning: Notation join_sup_seq is deprecated since mathcomp 1.13.0. Use joins_sup_seq instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2489, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2489, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2489, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2876, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2876, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 2876, characters 8-18: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 4834, characters 10-22: Warning: Notation join_sup_seq is deprecated since mathcomp 1.13.0. Use joins_sup_seq instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 4834, characters 10-22: Warning: Notation join_sup_seq is deprecated since mathcomp 1.13.0. Use joins_sup_seq instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 5068, characters 25-35: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 5068, characters 25-35: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 5068, characters 25-35: Warning: Notation big_uncond is deprecated since mathcomp 1.13.0. Use big_rmcond instead. [deprecated-syntactic-definition,deprecated] File "./src/mpoly.v", line 5179, characters 0-82: Warning: The default value for hint locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding hints outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated] make[1]: Leaving directory '/build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5' 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-multinomials-UovjDI/mathcomp-multinomials-1.5.5' dune install --destdir /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp --prefix=/usr --libdir=../usr/lib/ocaml Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/lib/ocaml/coq-mathcomp-multinomials/META Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/lib/ocaml/coq-mathcomp-multinomials/dune-package Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/lib/ocaml/coq-mathcomp-multinomials/opam Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/freeg.v Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/freeg.vo Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/monalg.v Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/monalg.vo Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/mpoly.v Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/mpoly.vo Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/ssrcomplements.v Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/ssrcomplements.vo Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/xfinmap.v Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/lib/ocaml/coq/user-contrib/SsrMultinomials/xfinmap.vo Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/doc/coq-mathcomp-multinomials/LICENSE Installing /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp/usr/doc/coq-mathcomp-multinomials/README.md find /build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5/debian/tmp -name LICENSE -delete make[1]: Leaving directory '/build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5' 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 debian/rules override_dh_gencontrol make[1]: Entering directory '/build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5' dh_gencontrol -- -VF:CoqABI="8.15.1+4.13.1" dpkg-gencontrol: warning: Provides field of package libcoq-mathcomp-multinomials: substitution variable ${ocaml:Provides} used, but is not defined make[1]: Leaving directory '/build/mathcomp-multinomials-UovjDI/mathcomp-multinomials-1.5.5' dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'libcoq-mathcomp-multinomials' in '../libcoq-mathcomp-multinomials_1.5.5-4_amd64.deb'. dpkg-genbuildinfo --build=any -O../mathcomp-multinomials_1.5.5-4_amd64.buildinfo dpkg-genchanges --build=any -O../mathcomp-multinomials_1.5.5-4_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-multinomials-UovjDI /tmp/mathcomp-multinomials-1.5.5-4851dswnh I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.HdmVFaF7Dv... I: success in 553.7643 seconds md5: libcoq-mathcomp-multinomials_1.5.5-4_amd64.deb: OK sha1: libcoq-mathcomp-multinomials_1.5.5-4_amd64.deb: OK sha256: libcoq-mathcomp-multinomials_1.5.5-4_amd64.deb: OK Checksums: OK