Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/c/coqprime/coqprime_8.15-1+b1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/coqprime-8.15-1+b1h47koylz/coqprime_8.15-1+b1_amd64.buildinfo Get source package info: coqprime=8.15-1 Source URL: http://snapshot.notset.fr/mr/package/coqprime/8.15-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.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:12.1.0-3 cpp-12=12.1.0-7 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:12.1.0-3 g++-12=12.1.0-7 gcc=4:12.1.0-3 gcc-12=12.1.0-7 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 libasan8=12.1.0-7 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+b1 libcap2=1:2.44-1 libcc1-0=12.1.0-7 libcom-err2=1.46.5-2 libcoq-bignums=8.15.0-7 libcoq-bignums-ocaml=8.15.0-7 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 libecm1=7.0.5+ds-1 libecm1-dev=7.0.5+ds-1 libecm1-dev-common=7.0.5+ds-1 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-12-dev=12.1.0-7 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.20-1 libicu71=71.1-3 libisl23=0.25-1 libitm1=12.1.0-7 libk5crypto3=1.20-1 libkeyutils1=1.6.3-1 libkrb5-3=1.20-1 libkrb5support0=1.20-1 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 libnum-ocaml=1.4-2 libnum-ocaml-dev=1.4-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+b1 libselinux1=3.4-1+b1 libsigsegv2=2.14-1 libsmartcols1=2.38-5 libsqlite3-0=3.39.2-1 libssl3=3.0.5-1 libstdc++-12-dev=12.1.0-7 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 libtsan2=12.1.0-7 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+b1 libzarith-ocaml=1.12-1+b1 libzarith-ocaml-dev=1.12-1+b1 libzstd1=1.5.2+dfsg-1 linux-libc-dev=5.18.14-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/20220727T154516Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220727T154516Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220728T094517Z/ 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 coqprime=8.15-1 && mkdir -p /build/coqprime-lCwDUE && dpkg-source --no-check -x /*.dsc /build/coqprime-lCwDUE/coqprime-8.15 && cd /build/coqprime-lCwDUE/coqprime-8.15 && { printf '%s' 'coqprime (8.15-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-csail-01) Wed, 27 Jul 2022 00:56:12 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/coqprime-lCwDUE" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coqprime-lCwDUE/coqprime-8.15 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1658883372" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/coqprime-lCwDUE /tmp/coqprime-8.15-1+b1h47koylz bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220728T094517Z 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.2JnJd4aAOt 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.2JnJd4aAOt 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/20220728T094517Z unstable/main amd64 libfakeroot amd64 1.29-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220728T094517Z 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 (1107 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-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/20220727T154516Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220727T154516Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220728T094517Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.2JnJd4aAOt Get:1 http://snapshot.notset.fr/archive/debian/20220727T154516Z bookworm InRelease [157 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20220728T094517Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20220727T154516Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220727T154516Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220727T154516Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220727T154516Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220727T154516Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220727T154516Z bookworm/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20220727T154516Z bookworm/main Sources [12.1 MB] Get:4 http://snapshot.notset.fr/archive/debian/20220727T154516Z bookworm/main amd64 Packages [11.5 MB] Fetched 23.8 MB in 20s (1172 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.2JnJd4aAOt I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d coqprime=8.15-1 && mkdir -p /build/coqprime-lCwDUE && dpkg-source --no-check -x /*.dsc /build/coqprime-lCwDUE/coqprime-8.15 && cd /build/coqprime-lCwDUE/coqprime-8.15 && { printf '%s' 'coqprime (8.15-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-csail-01) Wed, 27 Jul 2022 00:56:12 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/coqprime-lCwDUE"' exec /tmp/mmdebstrap.2JnJd4aAOt Reading package lists... NOTICE: 'coqprime' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/coqprime.git Please use: git clone https://salsa.debian.org/ocaml-team/coqprime.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 993 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220727T154516Z bookworm/main coqprime 8.15-1 (dsc) [2144 B] Get:2 http://snapshot.notset.fr/archive/debian/20220727T154516Z bookworm/main coqprime 8.15-1 (tar) [987 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220727T154516Z bookworm/main coqprime 8.15-1 (diff) [3512 B] Fetched 993 kB in 1s (1275 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'coqprime_8.15-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting coqprime in /build/coqprime-lCwDUE/coqprime-8.15 dpkg-source: info: unpacking coqprime_8.15.orig.tar.gz dpkg-source: info: unpacking coqprime_8.15-1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying lowest_prime_is_2.patch dpkg-source: info: applying fix_typos.patch I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coqprime-lCwDUE/coqprime-8.15 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1658883372" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.2JnJd4aAOt dpkg-buildpackage: info: source package coqprime dpkg-buildpackage: info: source version 8.15-1+b1 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by amd64 / i386 Build Daemon (x86-csail-01) dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with coq debian/rules override_dh_auto_clean make[1]: Entering directory '/build/coqprime-lCwDUE/coqprime-8.15' # doesn't work make[1]: Leaving directory '/build/coqprime-lCwDUE/coqprime-8.15' dh_clean debian/rules binary-arch dh binary-arch --with coq dh_update_autotools_config -a dh_autoreconf -a dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/build/coqprime-lCwDUE/coqprime-8.15' make make[2]: Entering directory '/build/coqprime-lCwDUE/coqprime-8.15' /usr/bin//coq_makefile -f _CoqProject -o Makefile.coq echo $COQ_VERSION_INFO (8.15.2) > .coq-version CP src/Coqprime/num/Int63Compat.v{.v815,} COQDEP VFILES COQC src/Coqprime/Tactic/Tactic.v COQC src/Coqprime/N/NatAux.v COQC src/Coqprime/List/ListAux.v COQC src/Coqprime/List/Permutation.v COQC src/Coqprime/List/Iterator.v COQC src/Coqprime/List/UList.v COQC src/Coqprime/List/ZProgression.v COQC src/Coqprime/Z/ZCmisc.v File "./src/Coqprime/Z/ZCmisc.v", line 31, characters 0-85: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] File "./src/Coqprime/Z/ZCmisc.v", line 46, characters 0-44: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] COQC src/Coqprime/Z/Pmod.v File "./src/Coqprime/Z/Pmod.v", line 505, characters 0-68: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] COQC src/Coqprime/Z/ZCAux.v COQC src/Coqprime/Z/Zmod.v COQC src/Coqprime/Z/Ppow.v COQC src/Coqprime/Z/ZSum.v COQC src/Coqprime/PrimalityTest/Root.v COQC src/Coqprime/PrimalityTest/FGroup.v COQC src/Coqprime/PrimalityTest/IGroup.v COQC src/Coqprime/PrimalityTest/Lagrange.v COQC src/Coqprime/PrimalityTest/EGroup.v COQC src/Coqprime/PrimalityTest/Cyclic.v COQC src/Coqprime/PrimalityTest/Euler.v COQC src/Coqprime/PrimalityTest/PGroup.v COQC src/Coqprime/PrimalityTest/LucasLehmer.v COQC src/Coqprime/PrimalityTest/Zp.v COQC src/Coqprime/PrimalityTest/Pocklington.v COQC src/Coqprime/PrimalityTest/Pepin.v COQC src/Coqprime/PrimalityTest/PocklingtonCertificat.v File "./src/Coqprime/PrimalityTest/PocklingtonCertificat.v", line 281, characters 0-123: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] File "./src/Coqprime/PrimalityTest/PocklingtonCertificat.v", line 314, characters 0-71: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] File "./src/Coqprime/PrimalityTest/PocklingtonCertificat.v", line 315, characters 0-35: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] File "./src/Coqprime/PrimalityTest/PocklingtonCertificat.v", line 332, characters 0-31: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] File "./src/Coqprime/PrimalityTest/PocklingtonCertificat.v", line 345, characters 0-32: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] File "./src/Coqprime/PrimalityTest/PocklingtonCertificat.v", line 357, characters 0-43: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] File "./src/Coqprime/PrimalityTest/PocklingtonCertificat.v", line 363, characters 0-35: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] File "./src/Coqprime/PrimalityTest/PocklingtonCertificat.v", line 373, characters 0-40: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] File "./src/Coqprime/PrimalityTest/PocklingtonCertificat.v", line 383, characters 0-39: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] File "./src/Coqprime/PrimalityTest/PocklingtonCertificat.v", line 394, characters 0-39: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] File "./src/Coqprime/PrimalityTest/PocklingtonCertificat.v", line 415, characters 0-40: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] File "./src/Coqprime/PrimalityTest/PocklingtonCertificat.v", line 438, characters 0-36: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] File "./src/Coqprime/PrimalityTest/PocklingtonCertificat.v", line 445, characters 0-36: Warning: The default value for rewriting 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 rewriting 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 Rewrite foo : bar." [deprecated-hint-rewrite-without-locality,deprecated] COQC src/Coqprime/PrimalityTest/Proth.v COQC src/Coqprime/elliptic/GZnZ.v COQC src/Coqprime/elliptic/SMain.v Finished transaction in 0.012 secs (0.012u,0.s) (successful) Finished transaction in 0.039 secs (0.038u,0.s) (successful) Finished transaction in 0.047 secs (0.046u,0.s) (successful) Finished transaction in 0.29 secs (0.286u,0.s) (successful) Finished transaction in 1.195 secs (1.176u,0.007s) (successful) Finished transaction in 0.108 secs (0.105u,0.001s) (successful) Finished transaction in 0.279 secs (0.276u,0.s) (successful) Finished transaction in 0.256 secs (0.254u,0.s) (successful) Finished transaction in 0.392 secs (0.386u,0.s) (successful) Finished transaction in 0.817 secs (0.803u,0.004s) (successful) Finished transaction in 0.562 secs (0.554u,0.002s) (successful) COQC src/Coqprime/elliptic/ZEll.v COQC src/Coqprime/num/Bits.v COQC src/Coqprime/num/Int63Compat.v COQC src/Coqprime/num/Mod_op.v COQC src/Coqprime/num/W.v COQC src/Coqprime/num/Lucas.v COQC src/Coqprime/num/NEll.v = true : bool Finished transaction in 0.237 secs (0.231u,0.s) (successful) = true : bool Finished transaction in 0.503 secs (0.484u,0.009s) (successful) COQC src/Coqprime/num/montgomery.v = 1740564225 :: 343969132 :: 6812243 :: nil : number = 0 :: 1 :: nil : number = 31415926535897932384626433%Z : Z COQC src/Coqprime/num/MEll.v COQC src/Coqprime/num/Pock.v COQC src/Coqprime/examples/BasePrimes.v COQC src/Coqprime/examples/PocklingtonRefl.v make[2]: Leaving directory '/build/coqprime-lCwDUE/coqprime-8.15' cd gencertif ; autoreconf ; ./configure --prefix=/usr ; make checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking for log in -lm... yes checking for __gmpz_init in -lgmp... yes checking for ecm_init in -lecm... yes configure: creating ./config.status config.status: creating Makefile make[2]: Entering directory '/build/coqprime-lCwDUE/coqprime-8.15/gencertif' gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/coqprime-lCwDUE/coqprime-8.15=. -fstack-protector-strong -Wformat -Werror=format-security -I -I -Wall -pedantic -c certif.c gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/coqprime-lCwDUE/coqprime-8.15=. -fstack-protector-strong -Wformat -Werror=format-security -I -I -Wall -pedantic -c factorize.c gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/coqprime-lCwDUE/coqprime-8.15=. -fstack-protector-strong -Wformat -Werror=format-security -I -I -Wall -pedantic -c pocklington.c pocklington.c: In function ‘main’: pocklington.c:255:3: warning: ‘p’ may be used uninitialized [-Wmaybe-uninitialized] 255 | print_file(filename, lemmaname, p, lc); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pocklington.c:54:16: note: ‘p’ was declared here 54 | pre_certif_t p; | ^ pocklington.c:255:3: warning: ‘filename’ may be used uninitialized [-Wmaybe-uninitialized] 255 | print_file(filename, lemmaname, p, lc); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pocklington.c:57:9: note: ‘filename’ was declared here 57 | char *filename; | ^~~~~~~~ gcc -Wdate-time -D_FORTIFY_SOURCE=2 -Wl,-z,relro -g -O2 -ffile-prefix-map=/build/coqprime-lCwDUE/coqprime-8.15=. -fstack-protector-strong -Wformat -Werror=format-security -o pocklington certif.o factorize.o pocklington.o -lecm -lgmp -lm gcc -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/coqprime-lCwDUE/coqprime-8.15=. -fstack-protector-strong -Wformat -Werror=format-security -I -I -Wall -pedantic -c firstprimes.c gcc -Wdate-time -D_FORTIFY_SOURCE=2 -Wl,-z,relro -g -O2 -ffile-prefix-map=/build/coqprime-lCwDUE/coqprime-8.15=. -fstack-protector-strong -Wformat -Werror=format-security -o firstprimes certif.o factorize.o firstprimes.o -lecm -lgmp -lm ocamlc -o o2v nums.cma str.cma parser.ml make[2]: Leaving directory '/build/coqprime-lCwDUE/coqprime-8.15/gencertif' make[1]: Leaving directory '/build/coqprime-lCwDUE/coqprime-8.15' 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/coqprime-lCwDUE/coqprime-8.15' DESTDIR=/build/coqprime-lCwDUE/coqprime-8.15/debian/tmp make install make[2]: Entering directory '/build/coqprime-lCwDUE/coqprime-8.15' INSTALL src/Coqprime/Tactic/Tactic.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Tactic INSTALL src/Coqprime/N/NatAux.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/List/Iterator.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ListAux.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/Permutation.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/UList.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ZProgression.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/Z/Pmod.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCAux.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Zmod.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Ppow.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCmisc.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZSum.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/PrimalityTest/Cyclic.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/EGroup.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Euler.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/FGroup.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/IGroup.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Lagrange.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/LucasLehmer.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pepin.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PGroup.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PocklingtonCertificat.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pocklington.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Proth.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Root.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Zp.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/elliptic/GZnZ.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/SMain.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/ZEll.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/num/Bits.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Int63Compat.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Lucas.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/NEll.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/MEll.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Mod_op.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Pock.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/montgomery.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/W.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/examples/BasePrimes.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/examples/PocklingtonRefl.vo /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/Tactic/Tactic.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Tactic INSTALL src/Coqprime/N/NatAux.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/List/Iterator.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ListAux.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/Permutation.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/UList.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ZProgression.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/Z/Pmod.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCAux.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Zmod.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Ppow.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCmisc.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZSum.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/PrimalityTest/Cyclic.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/EGroup.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Euler.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/FGroup.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/IGroup.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Lagrange.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/LucasLehmer.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pepin.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PGroup.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PocklingtonCertificat.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pocklington.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Proth.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Root.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Zp.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/elliptic/GZnZ.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/SMain.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/ZEll.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/num/Bits.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Int63Compat.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Lucas.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/NEll.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/MEll.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Mod_op.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Pock.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/montgomery.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/W.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/examples/BasePrimes.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/examples/PocklingtonRefl.v /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/Tactic/Tactic.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Tactic INSTALL src/Coqprime/N/NatAux.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//N INSTALL src/Coqprime/List/Iterator.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ListAux.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/Permutation.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/UList.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/List/ZProgression.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//List INSTALL src/Coqprime/Z/Pmod.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCAux.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Zmod.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/Ppow.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZCmisc.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/Z/ZSum.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//Z INSTALL src/Coqprime/PrimalityTest/Cyclic.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/EGroup.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Euler.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/FGroup.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/IGroup.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Lagrange.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/LucasLehmer.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pepin.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PGroup.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/PocklingtonCertificat.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Pocklington.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Proth.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Root.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/PrimalityTest/Zp.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//PrimalityTest INSTALL src/Coqprime/elliptic/GZnZ.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/SMain.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/elliptic/ZEll.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//elliptic INSTALL src/Coqprime/num/Bits.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Int63Compat.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Lucas.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/NEll.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/MEll.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Mod_op.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/Pock.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/montgomery.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/num/W.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//num INSTALL src/Coqprime/examples/BasePrimes.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//examples INSTALL src/Coqprime/examples/PocklingtonRefl.glob /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp//usr/lib/ocaml/coq//user-contrib/Coqprime//examples make[3]: Entering directory '/build/coqprime-lCwDUE/coqprime-8.15' make[3]: Leaving directory '/build/coqprime-lCwDUE/coqprime-8.15' make[2]: Leaving directory '/build/coqprime-lCwDUE/coqprime-8.15' rm -rf /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp/usr/lib/ocaml/coq/user-contrib/Coqprime/examples mkdir -p /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp/usr/bin cp gencertif/firstprimes gencertif/o2v gencertif/pocklington /build/coqprime-lCwDUE/coqprime-8.15/debian/tmp/usr/bin make[1]: Leaving directory '/build/coqprime-lCwDUE/coqprime-8.15' dh_install -a dh_installdocs -a dh_installchangelogs -a dh_installman -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_dwz -a 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-coqprime' in '../libcoq-coqprime_8.15-1+b1_amd64.deb'. dpkg-deb: building package 'coqprime-tools' in '../coqprime-tools_8.15-1+b1_amd64.deb'. dpkg-deb: building package 'coqprime-tools-dbgsym' in '../coqprime-tools-dbgsym_8.15-1+b1_amd64.deb'. dpkg-genbuildinfo --build=any -O../coqprime_8.15-1+b1_amd64.buildinfo dpkg-genchanges --build=any -O../coqprime_8.15-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/coqprime-lCwDUE /tmp/coqprime-8.15-1+b1h47koylz I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.2JnJd4aAOt... I: success in 901.4434 seconds md5: coqprime-tools-dbgsym_8.15-1+b1_amd64.deb: OK md5: coqprime-tools_8.15-1+b1_amd64.deb: OK md5: Value of 'md5' differs for libcoq-coqprime_8.15-1+b1_amd64.deb sha1: coqprime-tools-dbgsym_8.15-1+b1_amd64.deb: OK sha1: coqprime-tools_8.15-1+b1_amd64.deb: OK sha1: Value of 'sha1' differs for libcoq-coqprime_8.15-1+b1_amd64.deb sha256: coqprime-tools-dbgsym_8.15-1+b1_amd64.deb: OK sha256: coqprime-tools_8.15-1+b1_amd64.deb: OK sha256: Value of 'sha256' differs for libcoq-coqprime_8.15-1+b1_amd64.deb Checksums: FAIL Cannot generate diffoscope for libcoq-coqprime_8.15-1+b1_amd64.deb: RetryError[]