Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/g/gappa/gappa_1.4.0-4_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/gappa-1.4.0-4d52cxpr4/gappa_1.4.0-4_amd64.buildinfo Get source package info: gappa=1.4.0-4 Source URL: http://snapshot.notset.fr/mr/package/gappa/1.4.0-4/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.71-2 automake=1:1.16.5-1.3 autopoint=0.21-6 autotools-dev=20220109.1 base-files=12.2 base-passwd=3.5.52 bash=5.1-6.1 binutils=2.38.90.20220713-2 binutils-common=2.38.90.20220713-2 binutils-x86-64-linux-gnu=2.38.90.20220713-2 bison=2:3.8.2+dfsg-1 bsdextrautils=2.38-5 bsdutils=1:2.38-5 build-essential=12.9 bzip2=1.0.8-5 ca-certificates=20211016 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.3.0-5 dash=0.5.11+git20210903+057cd650a4ed-8 debconf=1.5.79 debhelper=13.8 debianutils=5.7-0.2 dh-autoreconf=20 dh-strip-nondeterminism=1.13.0-1 diffutils=1:3.7-5 docutils-common=0.17.1+dfsg-2 dpkg=1.21.9 dpkg-dev=1.21.9 dwz=0.14-1 file=1:5.41-4 findutils=4.9.0-3 flex=2.6.4-8 g++=4:11.2.0-2 g++-11=11.3.0-5 gcc=4:11.2.0-2 gcc-11=11.3.0-5 gcc-11-base=11.3.0-5 gcc-12-base=12.1.0-7 gettext=0.21-6 gettext-base=0.21-6 grep=3.7-1 groff-base=1.22.4-8 gzip=1.12-1 help2man=1.49.2 hostname=3.23 init-system-helpers=1.64 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.3.0-5 libatomic1=12.1.0-7 libattr1=1:2.5.1-1 libaudit-common=1:3.0.7-1 libaudit1=1:3.0.7-1+b1 libbinutils=2.38.90.20220713-2 libblkid1=2.38-5 libboost-dev=1.74.0.3 libboost1.74-dev=1.74.0-16.1+b1 libbz2-1.0=1.0.8-5 libc-bin=2.33-8 libc-dev-bin=2.33-8 libc6=2.33-8 libc6-dev=2.33-8 libcap-ng0=0.8.3-1 libcap2=1:2.44-1 libcc1-0=12.1.0-7 libcom-err2=1.46.5-2 libcrypt-dev=1:4.4.28-2 libcrypt1=1:4.4.28-2 libctf-nobfd0=2.38.90.20220713-2 libctf0=2.38.90.20220713-2 libdb5.3=5.3.28+dfsg1-0.10 libdebconfclient0=0.263 libdebhelper-perl=13.8 libdpkg-perl=1.21.9 libelf1=0.187-1 libexpat1=2.4.8-1 libffi8=3.4.2-4 libfile-stripnondeterminism-perl=1.13.0-1 libgcc-11-dev=11.3.0-5 libgcc-s1=12.1.0-7 libgcrypt20=1.10.1-2 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libgmp-dev=2:6.2.1+dfsg1-1 libgmp10=2:6.2.1+dfsg1-1 libgmpxx4ldbl=2:6.2.1+dfsg1-1 libgomp1=12.1.0-7 libgpg-error0=1.45-2 libgprofng0=2.38.90.20220713-2 libgssapi-krb5-2=1.19.2-2+b2 libicu71=71.1-3 libisl23=0.25-1 libitm1=12.1.0-7 libjs-jquery=3.6.0+dfsg+~3.5.13-1 libjs-sphinxdoc=4.5.0-4 libjs-underscore=1.13.3~dfsg+~1.11.4-1 libjson-perl=4.07000-1 libk5crypto3=1.19.2-2+b2 libkeyutils1=1.6.3-1 libkrb5-3=1.19.2-2+b2 libkrb5support0=1.19.2-2+b2 liblocale-gettext-perl=1.07-4+b2 liblsan0=12.1.0-7 liblz4-1=1.9.3-2 liblzma5=5.2.5-2.1 libmagic-mgc=1:5.41-4 libmagic1=1:5.41-4 libmount1=2.38-5 libmpc3=1.2.1-2 libmpdec3=2.5.1-2 libmpfr-dev=4.1.0-3 libmpfr6=4.1.0-3 libncursesw6=6.3+20220423-2 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libpam-modules=1.4.0-13 libpam-modules-bin=1.4.0-13 libpam-runtime=1.4.0-13 libpam0g=1.4.0-13 libpcre2-8-0=10.40-1 libpcre3=2:8.39-14 libperl5.34=5.34.0-5 libpipeline1=1.5.6-1 libpython3-stdlib=3.10.5-3 libpython3.10-minimal=3.10.5-1 libpython3.10-stdlib=3.10.5-1 libquadmath0=12.1.0-7 libreadline8=8.1.2-1.2 libseccomp2=2.5.4-1 libselinux1=3.4-1 libsigsegv2=2.14-1 libsmartcols1=2.38-5 libsqlite3-0=3.39.2-1 libssl3=3.0.4-2 libstdc++-11-dev=11.3.0-5 libstdc++6=12.1.0-7 libsub-override-perl=0.09-3 libsystemd0=251.3-1 libtinfo6=6.3+20220423-2 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.7-4 libtsan0=11.3.0-5 libubsan1=12.1.0-7 libuchardet0=0.0.7-1 libudev1=251.3-1 libunistring2=1.0-1 libuuid1=2.38-5 libxml2=2.9.14+dfsg-1+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 openssl=3.0.4-2 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 python-babel-localedata=2.8.0+dfsg.1-7 python3=3.10.5-3 python3-alabaster=0.7.12-1 python3-babel=2.8.0+dfsg.1-7 python3-certifi=2020.6.20-1 python3-chardet=4.0.0-2 python3-charset-normalizer=2.0.6-2 python3-distutils=3.10.5-2 python3-docutils=0.17.1+dfsg-2 python3-idna=3.3-1 python3-imagesize=1.4.1-1 python3-importlib-metadata=4.6.4-1 python3-jinja2=3.0.3-1 python3-lib2to3=3.10.5-2 python3-markupsafe=2.0.1-2+b2 python3-minimal=3.10.5-3 python3-more-itertools=8.10.0-2 python3-packaging=21.3-1 python3-pkg-resources=59.6.0-1.2 python3-pygments=2.12.0+dfsg-2 python3-pyparsing=3.0.7-2 python3-requests=2.27.1+dfsg-1 python3-roman=3.3-1 python3-six=1.16.0-3 python3-snowballstemmer=2.2.0-1 python3-sphinx=4.5.0-4 python3-tz=2022.1-1 python3-urllib3=1.26.9-1 python3-zipp=1.0.0-4 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 sgml-base=1.30 sphinx-common=4.5.0-4 sysvinit-utils=3.03-1 tar=1.34+dfsg-1 tzdata=2022a-1 util-linux=2.38-5 util-linux-extra=2.38-5 xml-core=0.18+nmu1 xz-utils=5.2.5-2.1 zlib1g=1:1.2.11.dfsg-4 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220723T220108Z/ unstable main deb-src http://snapshot.notset.fr/archive/debian/20220723T220108Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220804T151519Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220722T085138Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d gappa=1.4.0-4 && mkdir -p /build/gappa-tGMdk1 && dpkg-source --no-check -x /*.dsc /build/gappa-tGMdk1/gappa-1.4.0 && chown -R builduser:builduser /build/gappa-tGMdk1" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/gappa-tGMdk1/gappa-1.4.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1658596515" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/gappa-tGMdk1 /tmp/gappa-1.4.0-4d52cxpr4 bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220722T085138Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: null I: using /tmp/mmdebstrap.DuMkveHyIr 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.DuMkveHyIr Reading package lists... Building dependency tree... util-linux is already the newest version (2.38-5). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 136 kB of archives. After this operation, 401 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220722T085138Z unstable/main amd64 libfakeroot amd64 1.29-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220722T085138Z unstable/main amd64 fakeroot amd64 1.29-1 [87.3 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 136 kB in 1s (216 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4625 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.29-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.29-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.29-1_amd64.deb ... Unpacking fakeroot (1.29-1) ... Setting up libfakeroot:amd64 (1.29-1) ... Setting up fakeroot (1.29-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.33-8) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220723T220108Z/ unstable main deb-src http://snapshot.notset.fr/archive/debian/20220723T220108Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220804T151519Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220722T085138Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.DuMkveHyIr Get:1 http://snapshot.notset.fr/archive/debian/20220723T220108Z unstable InRelease [192 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220804T151519Z unstable InRelease [192 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20220722T085138Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20220723T220108Z unstable/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220723T220108Z unstable/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220723T220108Z unstable/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220723T220108Z unstable/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220723T220108Z unstable/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220723T220108Z unstable/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20220723T220108Z unstable/main Sources [13.0 MB] Get:5 http://snapshot.notset.fr/archive/debian/20220723T220108Z unstable/main amd64 Packages [12.6 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20220804T151519Z unstable/main amd64 Packages Err:6 http://snapshot.notset.fr/archive/debian/20220804T151519Z unstable/main amd64 Packages 404 Not Found [IP: 10.13.0.253 80] Ign:6 http://snapshot.notset.fr/archive/debian/20220804T151519Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20220804T151519Z unstable/main amd64 Packages [12.6 MB] Fetched 38.5 MB in 34s (1137 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.DuMkveHyIr I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d gappa=1.4.0-4 && mkdir -p /build/gappa-tGMdk1 && dpkg-source --no-check -x /*.dsc /build/gappa-tGMdk1/gappa-1.4.0 && chown -R builduser:builduser /build/gappa-tGMdk1"' exec /tmp/mmdebstrap.DuMkveHyIr Reading package lists... NOTICE: 'gappa' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/math-team/gappa.git Please use: git clone https://salsa.debian.org/math-team/gappa.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 309 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220723T220108Z unstable/main gappa 1.4.0-4 (dsc) [2003 B] Get:2 http://snapshot.notset.fr/archive/debian/20220723T220108Z unstable/main gappa 1.4.0-4 (tar) [298 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220723T220108Z unstable/main gappa 1.4.0-4 (diff) [8884 B] Fetched 309 kB in 0s (1067 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'gappa_1.4.0-4.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting gappa in /build/gappa-tGMdk1/gappa-1.4.0 dpkg-source: info: unpacking gappa_1.4.0.orig.tar.bz2 dpkg-source: info: unpacking gappa_1.4.0-4.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/gappa-tGMdk1/gappa-1.4.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1658596515" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.DuMkveHyIr dpkg-buildpackage: info: source package gappa dpkg-buildpackage: info: source version 1.4.0-4 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean dh_clean debian/rules binary-arch dh binary-arch dh_update_autotools_config -a dh_autoreconf -a autoreconf: warning: autoconf input should be named 'configure.ac', not 'configure.in' aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' configure.in:8: warning: AC_PROG_LEX without either yywrap or noyywrap is obsolete ./lib/autoconf/programs.m4:716: _AC_PROG_LEX is expanded from... ./lib/autoconf/programs.m4:709: AC_PROG_LEX is expanded from... configure.in:8: the top level configure.in:22: warning: The macro `AC_TRY_COMPILE' is obsolete. configure.in:22: You should run autoupdate. ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from... configure.in:22: the top level configure.in:30: warning: The macro `AC_TRY_COMPILE' is obsolete. configure.in:30: You should run autoupdate. ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from... configure.in:30: the top level autoheader: warning: autoconf input should be named 'configure.ac', not 'configure.in' debian/rules override_dh_auto_configure make[1]: Entering directory '/build/gappa-tGMdk1/gappa-1.4.0' touch stamp-config_h.in dh_auto_configure ./configure --build=x86_64-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-option-checking --disable-silent-rules --libdir=\${prefix}/lib/x86_64-linux-gnu --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking checking for g++... g++ 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 g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed checking for gcc... gcc 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 flex... flex checking for lex output file root... lex.yy checking for lex library... none needed checking for library containing yywrap... no checking whether yytext is a pointer... yes checking for bison... bison -y checking how to run the C preprocessor... gcc -E checking for gcc... gcc checking whether the compiler supports GNU C... (cached) yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... (cached) none needed checking how to run the C preprocessor... gcc -E checking how to run the C++ preprocessor... g++ -E checking for g++... g++ checking whether the compiler supports GNU C++... (cached) yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... (cached) none needed checking how to run the C++ preprocessor... g++ -E checking for __gmpz_init in -lgmp... yes checking for mpfr_snprintf in -lmpfr... yes checking for Boost (>=1.32)... yes checking for tr1/unordered_map... yes configure: building remake... /usr/bin/ld: /tmp/ccH8V17I.o: in function `main': remake.cpp:(.text.startup+0xbb2): warning: the use of `tempnam' is dangerous, better use `mkstemp' configure: creating ./config.status config.status: creating stamp-config_h config.status: creating Remakefile config.status: creating config.h make[1]: Leaving directory '/build/gappa-tGMdk1/gappa-1.4.0' debian/rules override_dh_auto_build make[1]: Entering directory '/build/gappa-tGMdk1/gappa-1.4.0' ./remake Building src/parser/parser.cpp src/parser/parser.hpp src/parser/parser.ypp:89.1-7: warning: POSIX Yacc does not support %define [-Wyacc] 89 | %define parse.error verbose | ^~~~~~~ src/parser/parser.ypp:90.1-7: warning: POSIX Yacc does not support %define [-Wyacc] 90 | %define api.pure | ^~~~~~~ Finished src/parser/parser.cpp src/parser/parser.hpp Building src/arithmetic/fixed.o Finished src/arithmetic/fixed.o Building src/arithmetic/float.o Finished src/arithmetic/float.o Building src/arithmetic/homogen.o Finished src/arithmetic/homogen.o Building src/arithmetic/relative.o Finished src/arithmetic/relative.o Building src/backends/backend.o Finished src/backends/backend.o Building src/backends/coq.o Finished src/backends/coq.o Building src/backends/coq_common.o Finished src/backends/coq_common.o Building src/backends/coq_lambda.o Finished src/backends/coq_lambda.o Building src/backends/holl.o Finished src/backends/holl.o Building src/backends/latex.o Finished src/backends/latex.o Building src/numbers/interval.o Finished src/numbers/interval.o Building src/numbers/io.o Finished src/numbers/io.o Building src/numbers/real.o Finished src/numbers/real.o Building src/numbers/round.o Finished src/numbers/round.o Building src/parser/ast.o Finished src/parser/ast.o Building src/parser/lexer.cpp Finished src/parser/lexer.cpp Building src/parser/lexer.o Finished src/parser/lexer.o Building src/parser/parser_aux.o Finished src/parser/parser_aux.o Building src/parser/parser.o Finished src/parser/parser.o Building src/parser/pattern.o Finished src/parser/pattern.o Building src/parser/ring.o Finished src/parser/ring.o Building src/proofs/basic_proof.o Finished src/proofs/basic_proof.o Building src/proofs/dichotomy.o Finished src/proofs/dichotomy.o Building src/proofs/proof_graph.o Finished src/proofs/proof_graph.o Building src/proofs/property.o Finished src/proofs/property.o Building src/proofs/rewriting.o Finished src/proofs/rewriting.o Building src/proofs/schemes.o Finished src/proofs/schemes.o Building src/proofs/updater.o Finished src/proofs/updater.o Building src/main.o Finished src/main.o Building src/parameters.o Finished src/parameters.o Building src/gappa Finished src/gappa Building all Finished all help2man src/gappa --no-info --no-discard-stderr > debian/gappa.1 sphinx-build doc html Running Sphinx v4.5.0 making output directory... done WARNING: html_static_path entry '_static' does not exist building [mo]: targets for 0 po files that are out of date building [html]: targets for 12 source files that are out of date updating environment: [new config] 12 added, 0 changed, 0 removed reading sources... [ 8%] arithmetic reading sources... [ 16%] bibliography reading sources... [ 25%] customizing reading sources... [ 33%] errors reading sources... [ 41%] examples reading sources... [ 50%] formalizing reading sources... [ 58%] genindex reading sources... [ 66%] index reading sources... [ 75%] invoking reading sources... [ 83%] language reading sources... [ 91%] theorems reading sources... [100%] tools /build/gappa-tGMdk1/gappa-1.4.0/doc/index.rst:65: WARNING: toctree contains reference to nonexisting document 'generated/news' looking for now-outdated files... none found pickling environment... done checking consistency... done preparing documents... done writing output... [ 8%] arithmetic writing output... [ 16%] bibliography writing output... [ 25%] customizing writing output... [ 33%] errors writing output... [ 41%] examples writing output... [ 50%] formalizing writing output... [ 58%] genindex writing output... [ 66%] index writing output... [ 75%] invoking writing output... [ 83%] language writing output... [ 91%] theorems writing output... [100%] tools generating indices... genindex done writing additional pages... search done copying images... [100%] images/gwhy-sqrt.png copying static files... done copying extra files... done dumping search index in English (code: en)... done dumping object inventory... done build succeeded, 2 warnings. The HTML pages are in html. make[1]: Leaving directory '/build/gappa-tGMdk1/gappa-1.4.0' create-stamp debian/debhelper-build-stamp dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/build/gappa-tGMdk1/gappa-1.4.0' DESTDIR=/build/gappa-tGMdk1/gappa-1.4.0/debian/tmp ./remake install Building install Finished install make[1]: Leaving directory '/build/gappa-tGMdk1/gappa-1.4.0' 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_gencontrol -a dpkg-gencontrol: warning: Depends field of package gappa: substitution variable ${shlib:Depends} used, but is not defined dpkg-gencontrol: warning: package gappa: substitution variable ${shlibs:Depends} unused, but is defined dpkg-gencontrol: warning: Depends field of package gappa: substitution variable ${shlib:Depends} used, but is not defined dpkg-gencontrol: warning: package gappa: substitution variable ${shlibs:Depends} unused, but is defined dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'gappa' in '../gappa_1.4.0-4_amd64.deb'. dpkg-deb: building package 'gappa-dbgsym' in '../gappa-dbgsym_1.4.0-4_amd64.deb'. dpkg-genbuildinfo --build=any -O../gappa_1.4.0-4_amd64.buildinfo dpkg-genchanges --build=any -O../gappa_1.4.0-4_amd64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/gappa-tGMdk1 /tmp/gappa-1.4.0-4d52cxpr4 I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.DuMkveHyIr... I: success in 524.7117 seconds md5: gappa-dbgsym_1.4.0-4_amd64.deb: OK md5: Value of 'md5' differs for gappa_1.4.0-4_amd64.deb md5: Size differs for gappa_1.4.0-4_amd64.deb sha1: gappa-dbgsym_1.4.0-4_amd64.deb: OK sha1: Value of 'sha1' differs for gappa_1.4.0-4_amd64.deb sha1: Size differs for gappa_1.4.0-4_amd64.deb sha256: gappa-dbgsym_1.4.0-4_amd64.deb: OK sha256: Value of 'sha256' differs for gappa_1.4.0-4_amd64.deb sha256: Size differs for gappa_1.4.0-4_amd64.deb Checksums: FAIL Cannot generate diffoscope for gappa_1.4.0-4_amd64.deb: RetryError[]