Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/c/coq-stdpp/coq-stdpp_1.7.0-2_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/coq-stdpp-1.7.0-2c7wup72i/coq-stdpp_1.7.0-2_amd64.buildinfo Get source package info: coq-stdpp=1.7.0-2 Source URL: http://snapshot.notset.fr/mr/package/coq-stdpp/1.7.0-2/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.1 binutils=2.38.90.20220713-2 binutils-common=2.38.90.20220713-2 binutils-x86-64-linux-gnu=2.38.90.20220713-2 bsdextrautils=2.38-5 bsdutils=1:2.38-5 build-essential=12.9 bzip2=1.0.8-5 coq=8.15.2+dfsg-2 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.3.0-5 dash=0.5.11+git20210903+057cd650a4ed-8 debconf=1.5.79 debhelper=13.8 debianutils=5.7-0.2 dh-autoreconf=20 dh-coq=0.3 dh-ocaml=1.1.3 dh-strip-nondeterminism=1.13.0-1 diffutils=1:3.7-5 dpkg=1.21.9 dpkg-dev=1.21.9 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-5 gcc=4:11.2.0-2 gcc-11=11.3.0-5 gcc-11-base=11.3.0-5 gcc-12-base=12.1.0-7 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.64 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.3.0-5 libatomic1=12.1.0-7 libattr1=1:2.5.1-1 libaudit-common=1:3.0.7-1 libaudit1=1:3.0.7-1+b1 libbinutils=2.38.90.20220713-2 libblkid1=2.38-5 libbz2-1.0=1.0.8-5 libc-bin=2.33-8 libc-dev-bin=2.33-8 libc6=2.33-8 libc6-dev=2.33-8 libcap-ng0=0.8.3-1 libcap2=1:2.44-1 libcc1-0=12.1.0-7 libcom-err2=1.46.5-2 libcoq-core-ocaml=8.15.2+dfsg-2 libcoq-core-ocaml-dev=8.15.2+dfsg-2 libcoq-stdlib=8.15.2+dfsg-2 libcrypt-dev=1:4.4.28-2 libcrypt1=1:4.4.28-2 libctf-nobfd0=2.38.90.20220713-2 libctf0=2.38.90.20220713-2 libdb5.3=5.3.28+dfsg1-0.10 libdebconfclient0=0.263 libdebhelper-perl=13.8 libdpkg-perl=1.21.9 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-5 libgcc-s1=12.1.0-7 libgcrypt20=1.10.1-2 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libgmp-dev=2:6.2.1+dfsg1-1 libgmp10=2:6.2.1+dfsg1-1 libgmp3-dev=2:6.2.1+dfsg1-1 libgmpxx4ldbl=2:6.2.1+dfsg1-1 libgomp1=12.1.0-7 libgpg-error0=1.45-2 libgprofng0=2.38.90.20220713-2 libgssapi-krb5-2=1.19.2-2+b2 libicu71=71.1-3 libisl23=0.25-1 libitm1=12.1.0-7 libk5crypto3=1.19.2-2+b2 libkeyutils1=1.6.3-1 libkrb5-3=1.19.2-2+b2 libkrb5support0=1.19.2-2+b2 liblsan0=12.1.0-7 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-5 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-5 libpipeline1=1.5.6-1 libpython3-stdlib=3.10.5-3 libpython3.10-minimal=3.10.5-1 libpython3.10-stdlib=3.10.5-1 libquadmath0=12.1.0-7 libreadline8=8.1.2-1.2 libseccomp2=2.5.4-1 libselinux1=3.4-1 libsigsegv2=2.14-1 libsmartcols1=2.38-5 libsqlite3-0=3.39.1-1 libssl3=3.0.4-2 libstdc++-11-dev=11.3.0-5 libstdc++6=12.1.0-7 libsub-override-perl=0.09-3 libsystemd0=251.3-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-5 libubsan1=12.1.0-7 libuchardet0=0.0.7-1 libudev1=251.3-1 libunistring2=1.0-1 libuuid1=2.38-5 libxml2=2.9.14+dfsg-1 libzarith-ocaml=1.12-1+b1 libzarith-ocaml-dev=1.12-1+b1 libzstd1=1.5.2+dfsg-1 linux-libc-dev=5.18.5-1 login=1:4.11.1+dfsg1-2 lsb-base=11.2 m4=1.4.18-5 make=4.3-4.1 man-db=2.10.2-1 mawk=1.3.4.20200120-3.1 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-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-5 perl-base=5.34.0-5 perl-modules-5.34=5.34.0-5 po-debconf=1.0.21+nmu1 python3=3.10.5-3 python3-minimal=3.10.5-3 python3.10=3.10.5-1 python3.10-minimal=3.10.5-1 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-5 util-linux-extra=2.38-5 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/20220723T220108Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220723T220108Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220722T085138Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d coq-stdpp=1.7.0-2 && mkdir -p /build/coq-stdpp-NmKyU4 && dpkg-source --no-check -x /*.dsc /build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0 && chown -R builduser:builduser /build/coq-stdpp-NmKyU4" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1658393900" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/coq-stdpp-NmKyU4 /tmp/coq-stdpp-1.7.0-2c7wup72i bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220722T085138Z 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.UHdZKpm2_f 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.UHdZKpm2_f Reading package lists... Building dependency tree... util-linux is already the newest version (2.38-5). 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/20220722T085138Z unstable/main amd64 libfakeroot amd64 1.29-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220722T085138Z 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 (1024 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 ... 4625 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-8) ... 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/20220723T220108Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220723T220108Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220722T085138Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.UHdZKpm2_f Get:1 http://snapshot.notset.fr/archive/debian/20220723T220108Z bookworm InRelease [157 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20220722T085138Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20220723T220108Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220723T220108Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220723T220108Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220723T220108Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220723T220108Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220723T220108Z bookworm/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20220723T220108Z bookworm/main Sources [12.1 MB] Get:4 http://snapshot.notset.fr/archive/debian/20220723T220108Z bookworm/main amd64 Packages [11.5 MB] Fetched 23.7 MB in 20s (1212 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.UHdZKpm2_f I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d coq-stdpp=1.7.0-2 && mkdir -p /build/coq-stdpp-NmKyU4 && dpkg-source --no-check -x /*.dsc /build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0 && chown -R builduser:builduser /build/coq-stdpp-NmKyU4"' exec /tmp/mmdebstrap.UHdZKpm2_f Reading package lists... NOTICE: 'coq-stdpp' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/coq-stdpp.git Please use: git clone https://salsa.debian.org/ocaml-team/coq-stdpp.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 242 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220723T220108Z bookworm/main coq-stdpp 1.7.0-2 (dsc) [2036 B] Get:2 http://snapshot.notset.fr/archive/debian/20220723T220108Z bookworm/main coq-stdpp 1.7.0-2 (tar) [238 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220723T220108Z bookworm/main coq-stdpp 1.7.0-2 (diff) [2272 B] Fetched 242 kB in 0s (725 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'coq-stdpp_1.7.0-2.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting coq-stdpp in /build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0 dpkg-source: info: unpacking coq-stdpp_1.7.0.orig.tar.gz dpkg-source: info: unpacking coq-stdpp_1.7.0-2.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1658393900" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.UHdZKpm2_f dpkg-buildpackage: info: source package coq-stdpp dpkg-buildpackage: info: source version 1.7.0-2 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 coq,ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' # doesn't work like this make[1]: Leaving directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with coq,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/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' make make[2]: Entering directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' "coq_makefile" -f _CoqProject -o Makefile.coq make[3]: Entering directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' COQDEP VFILES COQDEP TESTFILES COQLINT COQC theories/options.v COQC theories/base.v COQC theories/proof_irrel.v COQC theories/decidable.v COQC theories/tactics.v COQC theories/option.v COQC theories/numbers.v COQC theories/list.v COQC theories/list_numbers.v COQC theories/fin.v COQC theories/well_founded.v COQC theories/countable.v COQC theories/strings.v COQTEST tests/eunify.v (ref: tests/eunify.ref) COQC theories/orders.v COQC theories/vector.v COQC theories/finite.v COQC theories/sets.v COQC theories/relations.v COQC theories/fin_sets.v COQC theories/fin_maps.v COQC theories/fin_map_dom.v COQTEST tests/fin_maps.v (ref: tests/fin_maps.ref) COQC theories/pretty.v COQC theories/infinite.v COQC theories/mapset.v COQC theories/pmap.v COQC theories/propset.v COQC theories/gmap.v COQTEST tests/gmap.v (ref: tests/gmap.ref) COQTEST tests/is_closed_term.v (ref: tests/is_closed_term.ref) COQC theories/listset.v COQC theories/lexico.v COQC theories/prelude.v COQTEST tests/length.v (ref: tests/length.ref) COQTEST tests/list.v (ref: tests/list.ref) COQC theories/gmultiset.v COQTEST tests/multiset_solver.v (ref: tests/multiset_solver.ref) COQTEST tests/notation.v (ref: tests/notation.ref) COQTEST tests/numbers.v (ref: tests/numbers.ref) COQTEST tests/pretty.v (ref: tests/pretty.ref) COQTEST tests/proper.v (ref: tests/proper.ref) COQTEST tests/sets.v (ref: tests/sets.ref) COQC theories/coPset.v COQC theories/namespaces.v COQTEST tests/solve_ndisj.v (ref: tests/solve_ndisj.ref) COQTEST tests/tactics.v (ref: tests/tactics.ref) COQC theories/telescopes.v COQTEST tests/telescopes.v (ref: tests/telescopes.ref) COQTEST tests/typeclasses.v (ref: tests/typeclasses.ref) COQC theories/boolset.v COQC theories/stringmap.v COQC theories/zmap.v COQC theories/hashset.v COQC theories/natmap.v COQC theories/streams.v COQC theories/listset_nodup.v COQC theories/nmap.v COQC theories/coGset.v COQC theories/functions.v COQC theories/hlist.v COQC theories/sorting.v COQC theories/nat_cancel.v COQC theories/binders.v make[3]: Leaving directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' make[2]: Leaving directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' make[1]: Leaving directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.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 debian/rules override_dh_auto_install make[1]: Entering directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' make install DESTDIR=debian/tmp make[2]: Entering directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' make[3]: Entering directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' INSTALL theories/options.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/base.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/tactics.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/option.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/fin_map_dom.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/boolset.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/fin_maps.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/fin.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/vector.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/pmap.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/stringmap.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/fin_sets.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/mapset.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/proof_irrel.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/hashset.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/pretty.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/countable.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/orders.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/natmap.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/strings.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/well_founded.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/relations.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/sets.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/listset.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/streams.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/gmap.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/gmultiset.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/prelude.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/listset_nodup.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/finite.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/numbers.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/nmap.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/zmap.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/coPset.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/coGset.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/lexico.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/propset.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/decidable.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/list.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/list_numbers.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/functions.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/hlist.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/sorting.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/infinite.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/nat_cancel.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/namespaces.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/telescopes.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/binders.vo debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/options.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/base.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/tactics.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/option.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/fin_map_dom.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/boolset.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/fin_maps.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/fin.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/vector.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/pmap.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/stringmap.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/fin_sets.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/mapset.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/proof_irrel.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/hashset.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/pretty.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/countable.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/orders.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/natmap.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/strings.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/well_founded.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/relations.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/sets.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/listset.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/streams.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/gmap.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/gmultiset.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/prelude.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/listset_nodup.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/finite.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/numbers.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/nmap.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/zmap.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/coPset.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/coGset.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/lexico.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/propset.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/decidable.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/list.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/list_numbers.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/functions.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/hlist.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/sorting.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/infinite.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/nat_cancel.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/namespaces.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/telescopes.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/binders.v debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/options.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/base.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/tactics.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/option.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/fin_map_dom.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/boolset.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/fin_maps.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/fin.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/vector.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/pmap.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/stringmap.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/fin_sets.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/mapset.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/proof_irrel.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/hashset.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/pretty.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/countable.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/orders.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/natmap.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/strings.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/well_founded.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/relations.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/sets.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/listset.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/streams.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/gmap.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/gmultiset.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/prelude.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/listset_nodup.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/finite.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/numbers.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/nmap.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/zmap.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/coPset.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/coGset.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/lexico.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/propset.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/decidable.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/list.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/list_numbers.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/functions.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/hlist.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/sorting.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/infinite.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/nat_cancel.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/namespaces.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/telescopes.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ INSTALL theories/binders.glob debian/tmp//usr/lib/ocaml/coq//user-contrib/stdpp/ make[4]: Entering directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' make[4]: Leaving directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' make[3]: Leaving directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' make[2]: Leaving directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' make[1]: Leaving directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' dh_install -a dh_ocamldoc -a dh_installdocs -a debian/rules override_dh_installchangelogs make[1]: Entering directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' dh_installchangelogs CHANGELOG.md make[1]: Leaving directory '/build/coq-stdpp-NmKyU4/coq-stdpp-1.7.0' 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_coq -a dh_ocaml -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'libcoq-stdpp' in '../libcoq-stdpp_1.7.0-2_amd64.deb'. dpkg-genbuildinfo --build=any -O../coq-stdpp_1.7.0-2_amd64.buildinfo dpkg-genchanges --build=any -O../coq-stdpp_1.7.0-2_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/coq-stdpp-NmKyU4 /tmp/coq-stdpp-1.7.0-2c7wup72i I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.UHdZKpm2_f... I: success in 705.1327 seconds md5: Value of 'md5' differs for libcoq-stdpp_1.7.0-2_amd64.deb sha1: Value of 'sha1' differs for libcoq-stdpp_1.7.0-2_amd64.deb sha256: Value of 'sha256' differs for libcoq-stdpp_1.7.0-2_amd64.deb Checksums: FAIL Cannot generate diffoscope for libcoq-stdpp_1.7.0-2_amd64.deb: RetryError[]