Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/p/prover9-manual/prover9-manual_0.0.200902a-2.1_all.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/prover9-manual-0.0.200902a-2.1m7fpl1m1/prover9-manual_0.0.200902a-2.1_all.buildinfo Get source package info: prover9-manual=0.0.200902a-2.1 Source URL: http://snapshot.notset.fr/mr/package/prover9-manual/0.0.200902a-2.1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.69-14 automake=1:1.16.3-2 autopoint=0.21-3 autotools-dev=20180224.1+nmu1 base-files=11 base-passwd=3.5.48 bash=5.1-2 binutils=2.35.1-6 binutils-common=2.35.1-6 binutils-x86-64-linux-gnu=2.35.1-6 bsdextrautils=2.36.1-4 bsdutils=1:2.36.1-4 build-essential=12.9 bzip2=1.0.8-4 coreutils=8.32-4+b1 cpp=4:10.2.0-1 cpp-10=10.2.1-3 dash=0.5.11+git20200708+dd9ef66-5 debconf=1.5.74 debhelper=13.3.1 debianutils=4.11.2 dh-autoreconf=19 dh-strip-nondeterminism=1.9.0-1 diffutils=1:3.7-5 dpkg=1.20.5 dpkg-dev=1.20.5 dwz=0.13+20201015-2 file=1:5.39-3 findutils=4.7.0+git20201010-2 fontconfig-config=2.13.1-4.2 fonts-dejavu-core=2.37-2 g++=4:10.2.0-1 g++-10=10.2.1-3 gcc=4:10.2.0-1 gcc-10=10.2.1-3 gcc-10-base=10.2.1-3 gettext=0.21-3 gettext-base=0.21-3 grep=3.6-1 groff-base=1.22.4-5 gzip=1.10-2 hostname=3.23 htmldoc=1.9.11-1 htmldoc-common=1.9.11-1 init-system-helpers=1.60 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-9 libarchive-zip-perl=1.68-1 libasan6=10.2.1-3 libatomic1=10.2.1-3 libattr1=1:2.4.48-6 libaudit-common=1:3.0-1 libaudit1=1:3.0-1 libbinutils=2.35.1-6 libblkid1=2.36.1-4 libbrotli1=1.0.9-2+b2 libbsd0=0.10.0-1 libbz2-1.0=1.0.8-4 libc-bin=2.31-7 libc-dev-bin=2.31-7 libc6=2.31-7 libc6-dev=2.31-7 libcap-ng0=0.7.9-2.2+b1 libcc1-0=10.2.1-3 libcom-err2=1.45.6-1 libcrypt-dev=1:4.4.17-1 libcrypt1=1:4.4.17-1 libctf-nobfd0=2.35.1-6 libctf0=2.35.1-6 libdb5.3=5.3.28+dfsg1-0.6 libdebconfclient0=0.256 libdebhelper-perl=13.3.1 libdpkg-perl=1.20.5 libdrm-amdgpu1=2.4.103-2 libdrm-common=2.4.103-2 libdrm-intel1=2.4.103-2 libdrm-nouveau2=2.4.103-2 libdrm-radeon1=2.4.103-2 libdrm2=2.4.103-2 libedit2=3.1-20191231-2+b1 libelf1=0.182-2 libexpat1=2.2.10-1 libffi7=3.3-5 libfile-stripnondeterminism-perl=1.9.0-1 libfltk1.1=1.1.10-27 libfontconfig1=2.13.1-4.2 libfreetype6=2.10.4+dfsg-1 libgcc-10-dev=10.2.1-3 libgcc-s1=10.2.1-3 libgcrypt20=1.8.7-2 libgdbm-compat4=1.18.1-5.1 libgdbm6=1.18.1-5.1 libgl1=1.3.2-1 libgl1-mesa-dri=20.3.2-1 libglapi-mesa=20.3.2-1 libglvnd0=1.3.2-1 libglx-mesa0=20.3.2-1 libglx0=1.3.2-1 libgmp10=2:6.2.1+dfsg-1 libgnutls30=3.7.0-5 libgomp1=10.2.1-3 libgpg-error0=1.38-2 libgssapi-krb5-2=1.18.3-4 libhogweed6=3.6-2 libicu67=67.1-5 libidn2-0=2.3.0-4 libisl23=0.23-1 libitm1=10.2.1-3 libjpeg62-turbo=1:2.0.5-2 libk5crypto3=1.18.3-4 libkeyutils1=1.6.1-2 libkrb5-3=1.18.3-4 libkrb5support0=1.18.3-4 libllvm11=1:11.0.1~+rc2-1 liblsan0=10.2.1-3 liblz4-1=1.9.3-1 liblzma5=5.2.5-1.0 libmagic-mgc=1:5.39-3 libmagic1=1:5.39-3 libmount1=2.36.1-4 libmpc3=1.2.0-1 libmpfr6=4.1.0-3 libnettle8=3.6-2 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libp11-kit0=0.23.22-1 libpam-modules=1.4.0-2 libpam-modules-bin=1.4.0-2 libpam-runtime=1.4.0-2 libpam0g=1.4.0-2 libpciaccess0=0.16-1 libpcre2-8-0=10.36-2 libpcre3=2:8.39-13 libperl5.32=5.32.0-6 libpipeline1=1.5.3-1 libpng16-16=1.6.37-3 libquadmath0=10.2.1-3 libseccomp2=2.5.1-1 libselinux1=3.1-2+b2 libsensors-config=1:3.6.0-2 libsensors5=1:3.6.0-2 libsigsegv2=2.12-3 libsmartcols1=2.36.1-4 libssl1.1=1.1.1i-1 libstdc++-10-dev=10.2.1-3 libstdc++6=10.2.1-3 libsub-override-perl=0.09-2 libsystemd0=247.2-4 libtasn1-6=4.16.0-2 libtinfo6=6.2+20201114-2 libtirpc-common=1.3.1-1 libtirpc-dev=1.3.1-1 libtirpc3=1.3.1-1 libtool=2.4.6-14 libtsan0=10.2.1-3 libubsan1=10.2.1-3 libuchardet0=0.0.7-1 libudev1=247.2-4 libunistring2=0.9.10-4 libuuid1=2.36.1-4 libvulkan1=1.2.154.1-1 libx11-6=2:1.6.12-1 libx11-data=2:1.6.12-1 libx11-xcb1=2:1.6.12-1 libxau6=1:1.0.8-1+b2 libxcb-dri2-0=1.14-2.1 libxcb-dri3-0=1.14-2.1 libxcb-glx0=1.14-2.1 libxcb-present0=1.14-2.1 libxcb-shm0=1.14-2.1 libxcb-sync1=1.14-2.1 libxcb-xfixes0=1.14-2.1 libxcb1=1.14-2.1 libxdamage1=1:1.1.5-2 libxdmcp6=1:1.1.2-3 libxext6=2:1.3.3-1.1 libxfixes3=1:5.0.3-2 libxft2=2.3.2-2 libxinerama1=2:1.1.4-2 libxml2=2.9.10+dfsg-6.3+b1 libxpm4=1:3.5.12-1 libxrender1=1:0.9.10-1 libxshmfence1=1.3-1 libxxf86vm1=1:1.1.4-1+b2 libz3-4=4.8.9-1 libzstd1=1.4.8+dfsg-1 linux-libc-dev=5.10.4-1 login=1:4.8.1-1 lsb-base=11.1.0 m4=1.4.18-4 make=4.3-4 man-db=2.9.3-2 mawk=1.3.4.20200120-2 ncurses-base=6.2+20201114-2 ncurses-bin=6.2+20201114-2 patch=2.7.6-6 perl=5.32.0-6 perl-base=5.32.0-6 perl-modules-5.32=5.32.0-6 po-debconf=1.0.21+nmu1 sed=4.7-1 sensible-utils=0.0.12+nmu1 sysvinit-utils=2.96-5 tar=1.32+dfsg-1 ucf=3.0043 util-linux=2.36.1-4 xz-utils=5.2.5-1.0 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/20210105T023154Z/ 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 prover9-manual=0.0.200902a-2.1 && mkdir -p /build/prover9-manual-d55LA6 && dpkg-source --no-check -x /*.dsc /build/prover9-manual-d55LA6/prover9-manual-0.0.200902a && chown -R builduser:builduser /build/prover9-manual-d55LA6" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/prover9-manual-d55LA6/prover9-manual-0.0.200902a && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1609885265" dpkg-buildpackage -uc -a amd64 --build=all" --customize-hook=sync-out /build/prover9-manual-d55LA6 /tmp/prover9-manual-0.0.200902a-2.1m7fpl1m1 bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20210105T023154Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: tar I: using /tmp/mmdebstrap.DkZPFzxYqo 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.DkZPFzxYqo Reading package lists... Building dependency tree... util-linux is already the newest version (2.36.1-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/20210105T023154Z unstable/main amd64 libfakeroot amd64 1.25.3-1.1 [47.0 kB] Get:2 http://snapshot.notset.fr/archive/debian/20210105T023154Z unstable/main amd64 fakeroot amd64 1.25.3-1.1 [87.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 134 kB in 0s (1083 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 ... 4647 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.25.3-1.1_amd64.deb ... Unpacking libfakeroot:amd64 (1.25.3-1.1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.25.3-1.1_amd64.deb ... Unpacking fakeroot (1.25.3-1.1) ... Setting up libfakeroot:amd64 (1.25.3-1.1) ... Setting up fakeroot (1.25.3-1.1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.31-7) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20210105T023154Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.DkZPFzxYqo Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20210105T023154Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Fetched 22.6 MB in 20s (1135 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.DkZPFzxYqo I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d prover9-manual=0.0.200902a-2.1 && mkdir -p /build/prover9-manual-d55LA6 && dpkg-source --no-check -x /*.dsc /build/prover9-manual-d55LA6/prover9-manual-0.0.200902a && chown -R builduser:builduser /build/prover9-manual-d55LA6"' exec /tmp/mmdebstrap.DkZPFzxYqo Reading package lists... NOTICE: 'prover9-manual' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/collab-maint/prover9-manual.git Please use: git clone git://git.debian.org/git/collab-maint/prover9-manual.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 1041 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main prover9-manual 0.0.200902a-2.1 (dsc) [1980 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main prover9-manual 0.0.200902a-2.1 (tar) [1034 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main prover9-manual 0.0.200902a-2.1 (diff) [4668 B] Fetched 1041 kB in 1s (1135 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'prover9-manual_0.0.200902a-2.1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting prover9-manual in /build/prover9-manual-d55LA6/prover9-manual-0.0.200902a dpkg-source: info: unpacking prover9-manual_0.0.200902a.orig.tar.gz dpkg-source: info: unpacking prover9-manual_0.0.200902a-2.1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying 01-entities.patch I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/prover9-manual-d55LA6/prover9-manual-0.0.200902a && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1609885265" dpkg-buildpackage -uc -a amd64 --build=all"' exec /tmp/mmdebstrap.DkZPFzxYqo dpkg-buildpackage: info: source package prover9-manual dpkg-buildpackage: info: source version 0.0.200902a-2.1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Holger Levsen dpkg-source --before-build . fakeroot debian/rules clean dh_testdir dh_testroot rm -f build-stamp rm -rf finalbook dh_clean dh_clean: warning: Compatibility levels before 10 are deprecated (level 9 in use) debian/rules build-indep dh_testdir # Rebuild the pdf to update it and point it to the correct example directory mkdir -p finalbook cp *.html *.css *.gif finalbook/ sed -i 's#href="\(2inverter\.in\|2inverter\.out\|andrews\.in\|andrews\.out\|andrews\.out2\|assoc-comm\.clauses\|BA2\.in\|BA2\.interps\|BA2\.interps2\|BA2\.interps3\|BA2\.interps4\|BA2\.interps5\|BA4\.in\|BA4\.out\|BA-Sheffer\.demods\|bool-ring\.demods\|bool-ring\.in\|bool-ring\.out\|cabbages\.in\|cabbages\.out\|easy\.hints\|easy\.in\|easy\.out\|group\.demods\|group-terms\.in\|group-terms\.out\|hard-hints\.out\|hard\.in\|hard\.out\|interp3\.dtd\|interp3\.xsl\|jugs\.in\|jugs\.out\|kenken6\.in\|kenken6\.out\|list\.in\|list\.out\|LT-82-2\.in\|LT-82-2-interp\.in\|LT-82-2-interp\.out\|LT-82-2\.out\|LT-port\.in\|LT-port\.out\|LT-port\.out2\|MOL-cand\.238\|MOL-cand\.296\|MOL\.in\|MOL\.interps\|MOL\.interps2\|non-MOL-OML\.interps\|olsax\.in\|olsax\.out\|port\.py\|proof3\.dtd\|PUZ031-1\.in\|PUZ031-1\.out\|PUZ031-1\.out2\|PUZ031-1\.tptp\|qg4-ac\.interps\|qg4\.interps\|queens1\.in\|queens1\.out\|queens2\.in\|queens2\.out\|queens3\.in\|queens3\.out\|RBA-2\.in\|RBA-2q\.tptp\|RBA-2\.tptp\|redeclare\.in\|redeclare\.out\|ring41\.in\|ring41\.out\|send-money\.in\|send-money\.out\|subset\.in\|subset_trans_expand\.in\|subset_trans_expand\.out\|subset_trans\.in\|subset_trans\.out\|subset_trans\.out2\|subset_trans\.out3\|subset_trans\.out4\|subset_trans\.proof1\|subset_trans\.proof2\|subset_trans\.proof3\|subset_trans\.proof4\|subset_trans\.proof5\.xml\|subset_trans\.proof6\|subset_trans\.proof7\|subset_trans\.proof8\|trans\.in\|uc-18\.interps\|uc-hunt\.clauses\|uc-hunt\.out\|weight_test\.in\|weight_test\.out\|x2\.cooked\|x2\.in\|x2\.mace4\.out\|x2\.portable\|x2\.prover9\.out\|x2\.raw\|x2\.standard\|x2\.standard2\|x2\.tabular\|x2\.tex\|x2\.xml\|zebra2\.in\|zebra2\.out\)"#href="examples/\1"#g' finalbook/*.html ./setup_book < finalbook/nav.html > finalbook/make_book chmod +x finalbook/make_book cd finalbook && ./make_book PAGES: 119 BYTES: 806520 touch build-stamp fakeroot debian/rules binary-indep dh_testdir dh_testroot dh_prep dh_installdirs dh_installdirs: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_testdir dh_testroot dh_install dh_install: warning: Compatibility levels before 10 are deprecated (level 9 in use) sed -i 's#href="\(2inverter\.in\|2inverter\.out\|andrews\.in\|andrews\.out\|andrews\.out2\|assoc-comm\.clauses\|BA2\.in\|BA2\.interps\|BA2\.interps2\|BA2\.interps3\|BA2\.interps4\|BA2\.interps5\|BA4\.in\|BA4\.out\|BA-Sheffer\.demods\|bool-ring\.demods\|bool-ring\.in\|bool-ring\.out\|cabbages\.in\|cabbages\.out\|easy\.hints\|easy\.in\|easy\.out\|group\.demods\|group-terms\.in\|group-terms\.out\|hard-hints\.out\|hard\.in\|hard\.out\|interp3\.dtd\|interp3\.xsl\|jugs\.in\|jugs\.out\|kenken6\.in\|kenken6\.out\|list\.in\|list\.out\|LT-82-2\.in\|LT-82-2-interp\.in\|LT-82-2-interp\.out\|LT-82-2\.out\|LT-port\.in\|LT-port\.out\|LT-port\.out2\|MOL-cand\.238\|MOL-cand\.296\|MOL\.in\|MOL\.interps\|MOL\.interps2\|non-MOL-OML\.interps\|olsax\.in\|olsax\.out\|port\.py\|proof3\.dtd\|PUZ031-1\.in\|PUZ031-1\.out\|PUZ031-1\.out2\|PUZ031-1\.tptp\|qg4-ac\.interps\|qg4\.interps\|queens1\.in\|queens1\.out\|queens2\.in\|queens2\.out\|queens3\.in\|queens3\.out\|RBA-2\.in\|RBA-2q\.tptp\|RBA-2\.tptp\|redeclare\.in\|redeclare\.out\|ring41\.in\|ring41\.out\|send-money\.in\|send-money\.out\|subset\.in\|subset_trans_expand\.in\|subset_trans_expand\.out\|subset_trans\.in\|subset_trans\.out\|subset_trans\.out2\|subset_trans\.out3\|subset_trans\.out4\|subset_trans\.proof1\|subset_trans\.proof2\|subset_trans\.proof3\|subset_trans\.proof4\|subset_trans\.proof5\.xml\|subset_trans\.proof6\|subset_trans\.proof7\|subset_trans\.proof8\|trans\.in\|uc-18\.interps\|uc-hunt\.clauses\|uc-hunt\.out\|weight_test\.in\|weight_test\.out\|x2\.cooked\|x2\.in\|x2\.mace4\.out\|x2\.portable\|x2\.prover9\.out\|x2\.raw\|x2\.standard\|x2\.standard2\|x2\.tabular\|x2\.tex\|x2\.xml\|zebra2\.in\|zebra2\.out\)"#href="../examples/\1"#g' debian/prover9-doc/usr/share/doc/prover9-doc/html/*.html dh_installchangelogs dh_installchangelogs: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_installdocs dh_installdocs: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_compress dh_compress: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_installexamples dh_installexamples: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_fixperms dh_installdeb dh_installdeb: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'prover9-doc' in '../prover9-doc_0.0.200902a-2.1_all.deb'. dpkg-genbuildinfo --build=all dpkg-genchanges --build=all >../prover9-manual_0.0.200902a-2.1_all.changes dpkg-genchanges: info: binary-only arch-indep upload (source code and arch-specific packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/prover9-manual-d55LA6 /tmp/prover9-manual-0.0.200902a-2.1m7fpl1m1 I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.DkZPFzxYqo... I: success in 386.5495 seconds md5: prover9-doc_0.0.200902a-2.1_all.deb: OK sha1: prover9-doc_0.0.200902a-2.1_all.deb: OK sha256: prover9-doc_0.0.200902a-2.1_all.deb: OK Checksums: OK