Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/h/hol-light/hol-light_20190729-4+b4_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/hol-light-20190729-4+b4kgy8b9cs/hol-light_20190729-4+b4_amd64.buildinfo Get source package info: hol-light=20190729-4 Source URL: http://snapshot.notset.fr/mr/package/hol-light/20190729-4/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.71-2 automake=1:1.16.5-1.1 autopoint=0.21-4 autotools-dev=20180224.1+nmu1 base-files=12 base-passwd=3.5.52 bash=5.1-3.1 binutils=2.37-9 binutils-common=2.37-9 binutils-x86-64-linux-gnu=2.37-9 bsdextrautils=2.37.2-4 bsdutils=1:2.37.2-4 build-essential=12.9 bzip2=1.0.8-4 camlp5=7.14-1 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.2.0-10 dash=0.5.11+git20210903+057cd650a4ed-3 debconf=1.5.79 debhelper=13.5.2 debianutils=5.5-1 dh-autoreconf=20 dh-ocaml=1.1.3 dh-strip-nondeterminism=1.12.0-2 diffutils=1:3.7-5 dpkg=1.20.9 dpkg-dev=1.20.9 dwz=0.14-1 file=1:5.41-2 findutils=4.8.0-1 g++=4:11.2.0-2 g++-11=11.2.0-10 gcc=4:11.2.0-2 gcc-11=11.2.0-10 gcc-11-base=11.2.0-10 gettext=0.21-4 gettext-base=0.21-4 grep=3.7-1 groff-base=1.22.4-7 gzip=1.10-4 hostname=3.23 init-system-helpers=1.60 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.2.0-10 libatomic1=11.2.0-10 libattr1=1:2.5.1-1 libaudit-common=1:3.0.6-1 libaudit1=1:3.0.6-1 libbinutils=2.37-9 libblkid1=2.37.2-4 libbz2-1.0=1.0.8-4 libc-bin=2.32-4 libc-dev-bin=2.32-4 libc6=2.32-4 libc6-dev=2.32-4 libcap-ng0=0.7.9-2.2+b1 libcap2=1:2.44-1 libcc1-0=11.2.0-10 libcom-err2=1.46.4-1 libcrypt-dev=1:4.4.26-1 libcrypt1=1:4.4.26-1 libctf-nobfd0=2.37-9 libctf0=2.37-9 libdb5.3=5.3.28+dfsg1-0.8 libdebconfclient0=0.261 libdebhelper-perl=13.5.2 libdpkg-perl=1.20.9 libelf1=0.186-1 libfile-stripnondeterminism-perl=1.12.0-2 libgcc-11-dev=11.2.0-10 libgcc-s1=11.2.0-10 libgcrypt20=1.9.4-3+b1 libgdbm-compat4=1.22-1 libgdbm6=1.22-1 libgmp10=2:6.2.1+dfsg-3 libgomp1=11.2.0-10 libgpg-error0=1.42-3 libgssapi-krb5-2=1.18.3-7 libicu67=67.1-7 libisl23=0.24-2 libitm1=11.2.0-10 libk5crypto3=1.18.3-7 libkeyutils1=1.6.1-2 libkrb5-3=1.18.3-7 libkrb5support0=1.18.3-7 liblsan0=11.2.0-10 liblz4-1=1.9.3-2 liblzma5=5.2.5-2 libmagic-mgc=1:5.41-2 libmagic1=1:5.41-2 libmount1=2.37.2-4 libmpc3=1.2.1-1 libmpfr6=4.1.0-3 libncurses-dev=6.3-1 libncurses5-dev=6.3-1 libncurses6=6.3-1 libncursesw6=6.3-1 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libnum-ocaml=1.4-1 libnum-ocaml-dev=1.4-1 libpam-modules=1.4.0-10 libpam-modules-bin=1.4.0-10 libpam-runtime=1.4.0-10 libpam0g=1.4.0-10 libpcre2-8-0=10.39-3 libpcre3=2:8.39-13 libperl5.32=5.32.1-6 libpipeline1=1.5.4-1 libquadmath0=11.2.0-10 libseccomp2=2.5.2-2 libselinux1=3.3-1 libsigsegv2=2.13-1 libsmartcols1=2.37.2-4 libssl1.1=1.1.1l-1 libstdc++-11-dev=11.2.0-10 libstdc++6=11.2.0-10 libsub-override-perl=0.09-2 libsystemd0=249.6-2 libtinfo6=6.3-1 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.6-15 libtsan0=11.2.0-10 libubsan1=11.2.0-10 libuchardet0=0.0.7-1 libudev1=249.6-2 libunistring2=0.9.10-6 libuuid1=2.37.2-4 libxml2=2.9.12+dfsg-5+b1 libzstd1=1.4.8+dfsg-3 linux-libc-dev=5.14.16-1 login=1:4.8.1-2 lsb-base=11.1.0 m4=1.4.18-5 make=4.3-4.1 man-db=2.9.4-2 mawk=1.3.4.20200120-2 ncurses-base=6.3-1 ncurses-bin=6.3-1 ocaml-base-nox=4.11.1-4 ocaml-compiler-libs=4.11.1-4 ocaml-interp=4.11.1-4 ocaml-nox=4.11.1-4 patch=2.7.6-7 perl=5.32.1-6 perl-base=5.32.1-6 perl-modules-5.32=5.32.1-6 po-debconf=1.0.21+nmu1 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 sysvinit-utils=3.00-1 tar=1.34+dfsg-1 util-linux=2.37.2-4 xz-utils=5.2.5-2 zlib1g=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220119T145430Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20211118T084946Z/ 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 hol-light=20190729-4 && mkdir -p /build/hol-light-CCaxyJ && dpkg-source --no-check -x /*.dsc /build/hol-light-CCaxyJ/hol-light-20190729 && cd /build/hol-light-CCaxyJ/hol-light-20190729 && { printf '%s' 'hol-light (20190729-4+b4) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild with new camlp5 ABI -- amd64 / i386 Build Daemon (x86-csail-01) Sun, 21 Nov 2021 16:46:12 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/hol-light-CCaxyJ" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/hol-light-CCaxyJ/hol-light-20190729 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1637513172" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/hol-light-CCaxyJ /tmp/hol-light-20190729-4+b4kgy8b9cs bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20211118T084946Z 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.OWe4OGU3HI 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.OWe4OGU3HI Reading package lists... Building dependency tree... util-linux is already the newest version (2.37.2-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 134 kB of archives. After this operation, 397 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20211118T084946Z unstable/main amd64 libfakeroot amd64 1.26-1 [47.3 kB] Get:2 http://snapshot.notset.fr/archive/debian/20211118T084946Z unstable/main amd64 fakeroot amd64 1.26-1 [87.1 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 134 kB in 0s (883 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 ... 4669 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.26-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.26-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.26-1_amd64.deb ... Unpacking fakeroot (1.26-1) ... Setting up libfakeroot:amd64 (1.26-1) ... Setting up fakeroot (1.26-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.32-4) ... 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/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220119T145430Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20211118T084946Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.OWe4OGU3HI Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220119T145430Z unstable InRelease [165 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20211118T084946Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20220119T145430Z unstable/main amd64 Packages Err:6 http://snapshot.notset.fr/archive/debian/20220119T145430Z unstable/main amd64 Packages 404 Not Found [IP: 10.13.0.253 80] Ign:6 http://snapshot.notset.fr/archive/debian/20220119T145430Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20220119T145430Z unstable/main amd64 Packages [12.1 MB] Fetched 34.8 MB in 30s (1174 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.OWe4OGU3HI I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d hol-light=20190729-4 && mkdir -p /build/hol-light-CCaxyJ && dpkg-source --no-check -x /*.dsc /build/hol-light-CCaxyJ/hol-light-20190729 && cd /build/hol-light-CCaxyJ/hol-light-20190729 && { printf '%s' 'hol-light (20190729-4+b4) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild with new camlp5 ABI -- amd64 / i386 Build Daemon (x86-csail-01) Sun, 21 Nov 2021 16:46:12 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/hol-light-CCaxyJ"' exec /tmp/mmdebstrap.OWe4OGU3HI Reading package lists... NOTICE: 'hol-light' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/hol-light.git Please use: git clone https://salsa.debian.org/ocaml-team/hol-light.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 6972 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main hol-light 20190729-4 (dsc) [1781 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main hol-light 20190729-4 (tar) [6960 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main hol-light 20190729-4 (diff) [11.1 kB] Fetched 6972 kB in 6s (1261 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'hol-light_20190729-4.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting hol-light in /build/hol-light-CCaxyJ/hol-light-20190729 dpkg-source: info: unpacking hol-light_20190729.orig.tar.gz dpkg-source: info: unpacking hol-light_20190729-4.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying default-hollight-dir dpkg-source: info: applying holtest-no-proof-recording.patch dpkg-source: info: applying cd-holtest-parallel.patch dpkg-source: info: applying 0004-Fix-compilation-with-camlp5-7.11.patch I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/hol-light-CCaxyJ/hol-light-20190729 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1637513172" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.OWe4OGU3HI dpkg-buildpackage: info: source package hol-light dpkg-buildpackage: info: source version 20190729-4+b4 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 ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/build/hol-light-CCaxyJ/hol-light-20190729' dh_auto_clean make -j10 clean make[2]: Entering directory '/build/hol-light-CCaxyJ/hol-light-20190729' rm -f update_database.ml pa_j.ml pa_j.cmi pa_j.cmo hol hol.multivariate hol.sosa hol.card hol.complex; make[2]: Leaving directory '/build/hol-light-CCaxyJ/hol-light-20190729' make -C Mizarlight clean make[2]: Entering directory '/build/hol-light-CCaxyJ/hol-light-20190729/Mizarlight' rm -f pa_f.cmi pa_f.cmo make[2]: Leaving directory '/build/hol-light-CCaxyJ/hol-light-20190729/Mizarlight' make[1]: Leaving directory '/build/hol-light-CCaxyJ/hol-light-20190729' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a dh_auto_configure -a dh_auto_build -a make -j10 "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/hol-light-CCaxyJ/hol-light-20190729' cp update_database_`ocamlc -version | cut -c1`.ml update_database.ml \ if test `ocamlc -version | cut -c1-3` = "3.0" ; \ then cp pa_j_`ocamlc -version | cut -c1-4`.ml pa_j.ml ; \ else if test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1` = "7" ; \ then if test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.01" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.02" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.03" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.04" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.05" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "7.06" ; \ then cp pa_j_4.xx_7.06.ml pa_j.ml; \ else cp pa_j_4.xx_7.xx.ml pa_j.ml; \ fi \ else if test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.02.1" ; \ then cp pa_j_3.1x_6.02.1.ml pa_j.ml; \ else if test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.02.2" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.02.3" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.03" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.04" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.05" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.06" ; \ then cp pa_j_3.1x_6.02.2.ml pa_j.ml; \ else if test `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.06" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.07" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.08" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.09" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.10" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.11" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.12" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.13" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.14" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.15" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.16" -o `camlp5 -v 2>&1 | cut -f3 -d' ' | cut -f1-3 -d'.' | cut -f1 -d'-' | cut -c1-6` = "6.17" ; \ then cp pa_j_3.1x_6.11.ml pa_j.ml; \ else cp pa_j_3.1x_`camlp5 -v 2>&1 | cut -f3 -d' ' | cut -c1`.xx.ml pa_j.ml; \ fi \ fi \ fi \ fi \ fi if test `ocamlc -version | cut -c1-3` = "3.0" ; \ then ocamlc -c -pp "camlp4r pa_extend.cmo q_MLast.cmo" -I `camlp4 -where` pa_j.ml ; \ else if test `ocamlc -version | cut -c1-3` = "3.1" -o `ocamlc -version | cut -c1-4` = "4.00" -o `ocamlc -version | cut -c1-4` = "4.01" -o `ocamlc -version | cut -c1-4` = "4.02" -o `ocamlc -version | cut -c1-4` = "4.03" -o `ocamlc -version | cut -c1-4` = "4.04" -o `ocamlc -version | cut -c1-4` = "4.05" ; \ then ocamlc -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I `camlp5 -where` pa_j.ml ; \ else ocamlc -safe-string -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I `camlp5 -where` pa_j.ml ; \ fi \ fi File "pa_j.ml", line 808, characters 23-39: 808 | value is_uppercase s = String.uppercase s = s; ^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.uppercase Use String.uppercase_ascii instead. File "pa_j.ml", line 809, characters 28-44: 809 | value is_only_lowercase s = String.lowercase s = s && not(is_uppercase s); ^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.lowercase Use String.lowercase_ascii instead. make[1]: Leaving directory '/build/hol-light-CCaxyJ/hol-light-20190729' create-stamp debian/debhelper-build-stamp dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/build/hol-light-CCaxyJ/hol-light-20190729' install -d debian/hol-light/usr/share/hol-light tar --anchored --exclude-from=debian/hol-light-source.exclude -c . | \ tar -C debian/hol-light/usr/share/hol-light -x chmod -x debian/hol-light/usr/share/hol-light/Help/HYP_TAC.doc chmod -x debian/hol-light/usr/share/hol-light/RichterHilbertAxiomGeometry/TarskiAxiomGeometry_read.ml chmod -x debian/hol-light/usr/share/hol-light/Multivariate/cvectors.ml install -d debian/hol-light/usr/bin install debian/hol-light.sh debian/hol-light/usr/bin/hol-light make[1]: Leaving directory '/build/hol-light-CCaxyJ/hol-light-20190729' dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installman -a dh_installmenu -a dh_lintian -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a debian/rules override_dh_missing make[1]: Entering directory '/build/hol-light-CCaxyJ/hol-light-20190729' dh_missing --fail-missing make[1]: Leaving directory '/build/hol-light-CCaxyJ/hol-light-20190729' dh_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a debian/rules override_dh_ocaml make[1]: Entering directory '/build/hol-light-CCaxyJ/hol-light-20190729' dh_ocaml --runtime-map hol-light W: hol-light v20190729-4+b4 doesn't resolve dependency on unit Parsetree W: hol-light v20190729-4+b4 doesn't resolve dependency on unit Asttypes W: hol-light v20190729-4+b4 doesn't resolve dependency on unit Location W: hol-light v20190729-4+b4 doesn't resolve dependency on unit Longident W: hol-light v20190729-4+b4 doesn't resolve dependency on unit Warnings make[1]: Leaving directory '/build/hol-light-CCaxyJ/hol-light-20190729' dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package hol-light: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: package hol-light: substitution variable ${ocaml:Provides} unused, but is defined dpkg-gencontrol: warning: package hol-light: substitution variable ${perl:Depends} unused, but is defined dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'hol-light' in '../hol-light_20190729-4+b4_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../hol-light_20190729-4+b4_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/hol-light-CCaxyJ /tmp/hol-light-20190729-4+b4kgy8b9cs I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.OWe4OGU3HI... I: success in 3103.8866 seconds md5: Value of 'md5' differs for hol-light_20190729-4+b4_amd64.deb md5: Size differs for hol-light_20190729-4+b4_amd64.deb sha1: Value of 'sha1' differs for hol-light_20190729-4+b4_amd64.deb sha1: Size differs for hol-light_20190729-4+b4_amd64.deb sha256: Value of 'sha256' differs for hol-light_20190729-4+b4_amd64.deb sha256: Size differs for hol-light_20190729-4+b4_amd64.deb Checksums: FAIL Cannot generate diffoscope for hol-light_20190729-4+b4_amd64.deb: RetryError[]