Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/c/coq-simple-io/coq-simple-io_1.7.0-1+b1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/coq-simple-io-1.7.0-1+b1lc1r3cbw/coq-simple-io_1.7.0-1+b1_amd64.buildinfo Get source package info: coq-simple-io=1.7.0-1 Source URL: http://snapshot.notset.fr/mr/package/coq-simple-io/1.7.0-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.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.50.20220629-4 binutils-common=2.38.50.20220629-4 binutils-x86-64-linux-gnu=2.38.50.20220629-4 bsdextrautils=2.38-4 bsdutils=1:2.38-4 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-4 cppo=1.6.8-1+b1 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-4 gcc=4:11.2.0-2 gcc-11=11.3.0-4 gcc-11-base=11.3.0-4 gcc-12-base=12.1.0-5 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-4 libatomic1=12.1.0-5 libattr1=1:2.5.1-1 libaudit-common=1:3.0.7-1 libaudit1=1:3.0.7-1+b1 libbinutils=2.38.50.20220629-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.8.3-1 libcap2=1:2.44-1 libcc1-0=12.1.0-5 libcom-err2=1.46.5-2 libcoq-core-ocaml=8.15.2+dfsg-2 libcoq-core-ocaml-dev=8.15.2+dfsg-2 libcoq-ext-lib=0.11.6-1+b1 libcoq-stdlib=8.15.2+dfsg-2 libcrypt-dev=1:4.4.28-1 libcrypt1=1:4.4.28-1 libctf-nobfd0=2.38.50.20220629-4 libctf0=2.38.50.20220629-4 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-4 libgcc-s1=12.1.0-5 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-5 libgpg-error0=1.45-2 libgprofng0=2.38.50.20220629-4 libgssapi-krb5-2=1.19.2-2+b2 libicu71=71.1-3 libisl23=0.24-2 libitm1=12.1.0-5 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-5 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-5 libpipeline1=1.5.6-1 libpython3-stdlib=3.10.4-1+b1 libpython3.10-minimal=3.10.5-1 libpython3.10-stdlib=3.10.5-1 libquadmath0=12.1.0-5 libreadline8=8.1.2-1.2 libseccomp2=2.5.4-1 libselinux1=3.4-1 libsigsegv2=2.14-1 libsmartcols1=2.38-4 libsqlite3-0=3.39.0-2 libssl3=3.0.4-2 libstdc++-11-dev=11.3.0-4 libstdc++6=12.1.0-5 libsub-override-perl=0.09-3 libsystemd0=251.2-7 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-4 libubsan1=12.1.0-5 libuchardet0=0.0.7-1 libudev1=251.2-7 libunistring2=1.0-1 libuuid1=2.38-4 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 ocamlbuild=0.14.1-1 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.4-1+b1 python3-minimal=3.10.4-1+b1 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-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/20220711T030423Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220711T030423Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220714T031504Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220706T211221Z/ 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-simple-io=1.7.0-1 && mkdir -p /build/coq-simple-io-tpuG3s && dpkg-source --no-check -x /*.dsc /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0 && cd /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0 && { printf '%s' 'coq-simple-io (1.7.0-1+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild on buildd -- all / amd64 / i386 Build Daemon (x86-conova-01) Sun, 10 Jul 2022 10:28:11 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/coq-simple-io-tpuG3s" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1657448891" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/coq-simple-io-tpuG3s /tmp/coq-simple-io-1.7.0-1+b1lc1r3cbw bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220706T211221Z 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.0emtCPh3bq 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.0emtCPh3bq 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/20220706T211221Z unstable/main amd64 libfakeroot amd64 1.29-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220706T211221Z 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 (1114 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 ... 4627 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/20220711T030423Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220711T030423Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220714T031504Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220706T211221Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.0emtCPh3bq Get:1 http://snapshot.notset.fr/archive/debian/20220711T030423Z bookworm InRelease [130 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220714T031504Z unstable InRelease [165 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20220706T211221Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20220711T030423Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220711T030423Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220711T030423Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220711T030423Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220711T030423Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220711T030423Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20220711T030423Z bookworm/main Sources [12.1 MB] Get:5 http://snapshot.notset.fr/archive/debian/20220711T030423Z bookworm/main amd64 Packages [11.5 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20220714T031504Z unstable/main amd64 Packages Err:6 http://snapshot.notset.fr/archive/debian/20220714T031504Z unstable/main amd64 Packages 404 Not Found [IP: 10.13.0.253 80] Ign:6 http://snapshot.notset.fr/archive/debian/20220714T031504Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20220714T031504Z unstable/main amd64 Packages [12.5 MB] Fetched 36.4 MB in 29s (1239 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.0emtCPh3bq I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d coq-simple-io=1.7.0-1 && mkdir -p /build/coq-simple-io-tpuG3s && dpkg-source --no-check -x /*.dsc /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0 && cd /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0 && { printf '%s' 'coq-simple-io (1.7.0-1+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild on buildd -- all / amd64 / i386 Build Daemon (x86-conova-01) Sun, 10 Jul 2022 10:28:11 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/coq-simple-io-tpuG3s"' exec /tmp/mmdebstrap.0emtCPh3bq Reading package lists... NOTICE: 'coq-simple-io' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/coq-simple-io.git Please use: git clone https://salsa.debian.org/ocaml-team/coq-simple-io.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 30.2 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220711T030423Z bookworm/main coq-simple-io 1.7.0-1 (dsc) [2146 B] Get:2 http://snapshot.notset.fr/archive/debian/20220711T030423Z bookworm/main coq-simple-io 1.7.0-1 (tar) [26.2 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220711T030423Z bookworm/main coq-simple-io 1.7.0-1 (diff) [1872 B] Fetched 30.2 kB in 0s (183 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'coq-simple-io_1.7.0-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting coq-simple-io in /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0 dpkg-source: info: unpacking coq-simple-io_1.7.0.orig.tar.gz dpkg-source: info: unpacking coq-simple-io_1.7.0-1.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1657448891" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.0emtCPh3bq dpkg-buildpackage: info: source package coq-simple-io dpkg-buildpackage: info: source version 1.7.0-1+b1 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by all / amd64 / i386 Build Daemon (x86-conova-01) dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with coq dh_auto_clean make -j10 clean make[1]: Entering directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' if [ -e Makefile.coq ]; then make -f Makefile.coq cleanall; fi rm -f Makefile.coq Makefile.coq.conf *.cmxs rm -f -r _build/ build/ rm -f deps.dot deps.jpg rm -f test/*.ml{i,} rm -f plugin/coqsimpleio.mlg _CoqProject src/SimpleIO.v src/IO_Stdlib.v src/IO_RawChar.v src/IO_String.v src/IO_Float.v src/IO_Unsafe.v make[1]: Leaving directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' dh_clean debian/rules binary-arch dh binary-arch --with coq dh_update_autotools_config -a dh_autoreconf -a dh_auto_configure -a dh_auto_build -a make -j10 "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' cppo -V COQ:8.15.2 -V OCAML:4.13.1 -n -o _CoqProject _CoqProject.cppo cppo -V COQ:8.15.2 -V OCAML:4.13.1 -n -o plugin/coqsimpleio.mlg plugin/coqsimpleio.mlg.cppo cppo -V COQ:8.15.2 -V OCAML:4.13.1 -n -o src/SimpleIO.v src/SimpleIO.v.cppo cppo -V COQ:8.15.2 -V OCAML:4.13.1 -n -o src/IO_Stdlib.v src/IO_Stdlib.v.cppo cppo -V COQ:8.15.2 -V OCAML:4.13.1 -n -o src/IO_RawChar.v src/IO_RawChar.v.cppo cppo -V COQ:8.15.2 -V OCAML:4.13.1 -n -o src/IO_String.v src/IO_String.v.cppo cppo -V COQ:8.15.2 -V OCAML:4.13.1 -n -o src/IO_Float.v src/IO_Float.v.cppo cppo -V COQ:8.15.2 -V OCAML:4.13.1 -n -o src/IO_Unsafe.v src/IO_Unsafe.v.cppo coq_makefile -f _CoqProject -o Makefile.coq make -f Makefile.coq make[2]: Entering directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' make[2]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. COQDEP VFILES COQPP plugin/coqsimpleio.mlg CAMLDEP plugin/coqsimpleio.mli OCAMLLIBDEP plugin/coqsimpleio_plugin.mlpack CAMLDEP plugin/coqsimpleio.ml make[2]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. COQC src/IO_Monad.v File "./src/IO_Monad.v", line 72, characters 0-31: Warning: Declaring a scope implicitly is deprecated; use in advance an explicit "Declare Scope io_scope.". [undeclared-scope,deprecated] File "./src/IO_Monad.v", line 142, characters 0-62: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances 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] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./src/IO_Monad.v", line 146, characters 0-160: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances 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] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./src/IO_Monad.v", line 154, characters 0-78: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances 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] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] COQC src/IO_Stdlib.v File "./src/IO_Stdlib.v", line 70, characters 0-33: Warning: Declaring a scope implicitly is deprecated; use in advance an explicit "Declare Scope int_scope.". [undeclared-scope,deprecated] COQC src/IO_StdlibAxioms.v COQC src/IO_Exceptions.v COQC src/IO_RawChar.v COQC src/IO_String.v CAMLC -c plugin/coqsimpleio.mli CAMLOPT -c -for-pack Coqsimpleio_plugin plugin/coqsimpleio.ml CAMLOPT -pack -o plugin/coqsimpleio_plugin.cmx CAMLOPT -a -o plugin/coqsimpleio_plugin.cmxa CAMLOPT -shared -o plugin/coqsimpleio_plugin.cmxs COQC src/SimpleIO.v COQC src/IO_MonadFix.v File "./src/IO_MonadFix.v", line 9, characters 0-68: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances 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] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] COQC src/IO_Bytes.v COQC src/IO_Random.v COQC src/IO_Float.v COQC src/IO_Unix.v COQC src/IO_Sys.v COQC src/IO_Unsafe.v COQC src/IO_UnsafeNat.v make[2]: Leaving directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' make[1]: Leaving directory '/build/coq-simple-io-tpuG3s/coq-simple-io-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-simple-io-tpuG3s/coq-simple-io-1.7.0' DESTDIR=/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp make install make[2]: Entering directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' make -f Makefile.coq make[3]: Entering directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' make[4]: Nothing to be done for 'real-all'. make[3]: Leaving directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' make -f Makefile.coq install make[3]: Entering directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' INSTALL src/SimpleIO.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Monad.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Stdlib.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_MonadFix.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_String.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Bytes.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_RawChar.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Exceptions.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Random.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Unix.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Sys.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Float.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Unsafe.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_UnsafeNat.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_StdlibAxioms.vo /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/SimpleIO.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Monad.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Stdlib.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_MonadFix.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_String.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Bytes.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_RawChar.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Exceptions.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Random.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Unix.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Sys.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Float.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Unsafe.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_UnsafeNat.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_StdlibAxioms.v /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/SimpleIO.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Monad.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Stdlib.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_MonadFix.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_String.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Bytes.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_RawChar.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Exceptions.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Random.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Unix.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Sys.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Float.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_Unsafe.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_UnsafeNat.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL src/IO_StdlibAxioms.glob /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL plugin/coqsimpleio_plugin.cmi /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL plugin/coqsimpleio_plugin.cmxs /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL plugin/coqsimpleio_plugin.cmxs /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL plugin/coqsimpleio_plugin.cmxa /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ INSTALL plugin/coqsimpleio_plugin.cmx /build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/SimpleIO/ make[4]: Entering directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' make[4]: Leaving directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' make[3]: Leaving directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' make[2]: Leaving directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' make[1]: Leaving directory '/build/coq-simple-io-tpuG3s/coq-simple-io-1.7.0' dh_install -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_dwz -a dwz: debian/libcoq-simple-io/usr/lib/ocaml/coq/user-contrib/SimpleIO/coqsimpleio_plugin.cmxs: .debug_info section not present dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_coq -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'libcoq-simple-io-dbgsym' in '../libcoq-simple-io-dbgsym_1.7.0-1+b1_amd64.deb'. dpkg-deb: building package 'libcoq-simple-io' in '../libcoq-simple-io_1.7.0-1+b1_amd64.deb'. dpkg-genbuildinfo --build=any -O../coq-simple-io_1.7.0-1+b1_amd64.buildinfo dpkg-genchanges --build=any -O../coq-simple-io_1.7.0-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/coq-simple-io-tpuG3s /tmp/coq-simple-io-1.7.0-1+b1lc1r3cbw I: cleaning package lists and apt cache... W: deleting files in /tmp: coq_simple_io I: removing tempdir /tmp/mmdebstrap.0emtCPh3bq... I: success in 552.3876 seconds md5: libcoq-simple-io-dbgsym_1.7.0-1+b1_amd64.deb: OK md5: Value of 'md5' differs for libcoq-simple-io_1.7.0-1+b1_amd64.deb sha1: libcoq-simple-io-dbgsym_1.7.0-1+b1_amd64.deb: OK sha1: Value of 'sha1' differs for libcoq-simple-io_1.7.0-1+b1_amd64.deb sha256: libcoq-simple-io-dbgsym_1.7.0-1+b1_amd64.deb: OK sha256: Value of 'sha256' differs for libcoq-simple-io_1.7.0-1+b1_amd64.deb Checksums: FAIL Cannot generate diffoscope for libcoq-simple-io_1.7.0-1+b1_amd64.deb: RetryError[]