Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/p/prooftree/prooftree_0.13-2+b2_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/prooftree-0.13-2+b2cm4ic4qa/prooftree_0.13-2+b2_amd64.buildinfo Get source package info: prooftree=0.13-2 Source URL: http://snapshot.notset.fr/mr/package/prooftree/0.13-2/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=adduser=3.118 adwaita-icon-theme=3.38.0-1 autoconf=2.69-14 automake=1:1.16.4-1 autopoint=0.21-4 autotools-dev=20180224.1+nmu1 base-files=11.1 base-passwd=3.5.51 bash=5.1-3+b1 binutils=2.35.2-2 binutils-common=2.35.2-2 binutils-x86-64-linux-gnu=2.35.2-2 bsdextrautils=2.36.1-8 bsdutils=1:2.36.1-8 build-essential=12.9 bzip2=1.0.8-4 coq=8.12.0-3+b3 coq-theories=8.12.0-3+b3 coreutils=8.32-4+b1 cpp=4:10.2.1-1 cpp-10=10.2.1-6 dash=0.5.11+git20210120+802ebd4-1 dbus=1.12.20-2 dbus-user-session=1.12.20-2 dconf-gsettings-backend=0.38.0-2 dconf-service=0.38.0-2 debconf=1.5.77 debhelper=13.3.4 debianutils=4.11.2 dh-autoreconf=20 dh-ocaml=1.1.3 dh-strip-nondeterminism=1.12.0-1 dictionaries-common=1.28.4 diffutils=1:3.7-5 dmsetup=2:1.02.175-2.1 dpkg=1.20.9 dpkg-dev=1.20.9 dwz=0.14-1 emacsen-common=3.0.4 file=1:5.39-3 findutils=4.8.0-1 fontconfig=2.13.1-4.2 fontconfig-config=2.13.1-4.2 fonts-dejavu-core=2.37-2 g++=4:10.2.1-1 g++-10=10.2.1-6 gcc=4:10.2.1-1 gcc-10=10.2.1-6 gcc-10-base=10.2.1-6 gettext=0.21-4 gettext-base=0.21-4 gir1.2-atk-1.0=2.36.0-2 gir1.2-freedesktop=1.66.1-1+b1 gir1.2-gdkpixbuf-2.0=2.42.6+dfsg-2 gir1.2-glib-2.0=1.66.1-1+b1 gir1.2-gtk-2.0=2.24.33-2 gir1.2-harfbuzz-0.0=2.7.4-1 gir1.2-pango-1.0=1.46.2-3 glib-networking=2.66.0-2 glib-networking-common=2.66.0-2 glib-networking-services=2.66.0-2 grep=3.6-1 groff-base=1.22.4-6 gsettings-desktop-schemas=3.38.0-2 gtk-update-icon-cache=3.24.24-4 gzip=1.10-4 hicolor-icon-theme=0.17-2 hostname=3.23 hunspell-en-us=1:2019.10.06-1 icu-devtools=67.1-7 init-system-helpers=1.60 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-10 libapparmor1=2.13.6-10 libarchive-zip-perl=1.68-1 libargon2-1=0~20171227-0.2 libasan6=10.2.1-6 libaspell15=0.60.8-3 libatk-bridge2.0-0=2.38.0-1 libatk1.0-0=2.36.0-2 libatk1.0-data=2.36.0-2 libatk1.0-dev=2.36.0-2 libatomic1=10.2.1-6 libatspi2.0-0=2.38.0-4 libattr1=1:2.4.48-6 libaudit-common=1:3.0-2 libaudit1=1:3.0-2 libavahi-client3=0.8-5 libavahi-common-data=0.8-5 libavahi-common3=0.8-5 libbinutils=2.35.2-2 libblkid-dev=2.36.1-8 libblkid1=2.36.1-8 libbrotli-dev=1.0.9-2+b2 libbrotli1=1.0.9-2+b2 libbsd0=0.11.3-1 libbz2-1.0=1.0.8-4 libc-bin=2.31-13 libc-dev-bin=2.31-13 libc6=2.31-13 libc6-dev=2.31-13 libcairo-gobject2=1.16.0-5 libcairo-script-interpreter2=1.16.0-5 libcairo2=1.16.0-5 libcairo2-dev=1.16.0-5 libcairo2-ocaml=0.6.2+dfsg-1 libcap-ng0=0.7.9-2.2+b1 libcap2=1:2.44-1 libcc1-0=10.2.1-6 libcolord2=1.4.5-3 libcom-err2=1.46.2-2 libcoq-ocaml=8.12.0-3+b3 libcrypt-dev=1:4.4.18-5 libcrypt1=1:4.4.18-5 libcryptsetup12=2:2.3.5-1 libctf-nobfd0=2.35.2-2 libctf0=2.35.2-2 libcups2=2.3.3op2-3+deb11u1 libdatrie-dev=0.2.13-1 libdatrie1=0.2.13-1 libdb5.3=5.3.28+dfsg1-0.8 libdbus-1-3=1.12.20-2 libdconf1=0.38.0-2 libdebconfclient0=0.260 libdebhelper-perl=13.3.4 libdeflate-dev=1.7-1 libdeflate0=1.7-1 libdevmapper1.02.1=2:1.02.175-2.1 libdpkg-perl=1.20.9 libelf1=0.183-3 libenchant-2-2=2.2.15-1 libenchant-2-dev=2.2.15-1 libepoxy0=1.5.5-1 libexpat1=2.2.10-2 libexpat1-dev=2.2.10-2 libffi-dev=3.3-6 libffi7=3.3-6 libfile-stripnondeterminism-perl=1.12.0-1 libfindlib-ocaml=1.8.1-2 libfontconfig-dev=2.13.1-4.2 libfontconfig1=2.13.1-4.2 libfontconfig1-dev=2.13.1-4.2 libfreetype-dev=2.10.4+dfsg-1 libfreetype6=2.10.4+dfsg-1 libfreetype6-dev=2.10.4+dfsg-1 libfribidi-dev=1.0.8-2 libfribidi0=1.0.8-2 libgcc-10-dev=10.2.1-6 libgcc-s1=10.2.1-6 libgcrypt20=1.8.7-6 libgdbm-compat4=1.19-2 libgdbm6=1.19-2 libgdk-pixbuf-2.0-0=2.42.6+dfsg-2 libgdk-pixbuf-2.0-dev=2.42.6+dfsg-2 libgdk-pixbuf-xlib-2.0-0=2.40.2-2 libgdk-pixbuf2.0-0=2.40.2-2 libgdk-pixbuf2.0-bin=2.42.6+dfsg-2 libgdk-pixbuf2.0-common=2.42.6+dfsg-2 libgirepository-1.0-1=1.66.1-1+b1 libglib2.0-0=2.66.8-1 libglib2.0-bin=2.66.8-1 libglib2.0-data=2.66.8-1 libglib2.0-dev=2.66.8-1 libglib2.0-dev-bin=2.66.8-1 libgmp10=2:6.2.1+dfsg-1 libgnutls30=3.7.1-5 libgomp1=10.2.1-6 libgpg-error0=1.38-2 libgraphite2-3=1.3.14-1 libgraphite2-dev=1.3.14-1 libgssapi-krb5-2=1.18.3-6 libgtk-3-0=3.24.24-4 libgtk-3-common=3.24.24-4 libgtk2.0-0=2.24.33-2 libgtk2.0-common=2.24.33-2 libgtk2.0-dev=2.24.33-2 libgtksourceview-3.0-1=3.24.11-2 libgtksourceview-3.0-common=3.24.11-2 libgtkspell-dev=2.0.16-1.3 libgtkspell0=2.0.16-1.3 libharfbuzz-dev=2.7.4-1 libharfbuzz-gobject0=2.7.4-1 libharfbuzz-icu0=2.7.4-1 libharfbuzz0b=2.7.4-1 libhogweed6=3.7.3-1 libhunspell-1.7-0=1.7.0-3 libice-dev=2:1.0.10-1 libice6=2:1.0.10-1 libicu-dev=67.1-7 libicu67=67.1-7 libidn2-0=2.3.0-5 libip4tc2=1.8.7-1 libisl23=0.23-1 libitm1=10.2.1-6 libjbig-dev=2.1-3.1+b2 libjbig0=2.1-3.1+b2 libjpeg-dev=1:2.0.6-4 libjpeg62-turbo=1:2.0.6-4 libjpeg62-turbo-dev=1:2.0.6-4 libjson-c5=0.15-2 libjson-glib-1.0-0=1.6.2-1 libjson-glib-1.0-common=1.6.2-1 libk5crypto3=1.18.3-6 libkeyutils1=1.6.1-2 libkmod2=28-1 libkrb5-3=1.18.3-6 libkrb5support0=1.18.3-6 liblablgtk2-ocaml=2.18.11-1+b1 liblablgtk2-ocaml-dev=2.18.11-1+b1 liblablgtk3-ocaml=3.1.1+official-1+b1 liblablgtksourceview3-ocaml=3.1.1+official-1+b1 liblcms2-2=2.12~rc1-2 liblsan0=10.2.1-6 liblz4-1=1.9.3-2 liblzma-dev=5.2.5-2 liblzma5=5.2.5-2 liblzo2-2=2.10-2 libmagic-mgc=1:5.39-3 libmagic1=1:5.39-3 libmd0=1.0.3-3 libmount-dev=2.36.1-8 libmount1=2.36.1-8 libmpc3=1.2.0-1 libmpdec3=2.5.1-2 libmpfr6=4.1.0-3 libncurses-dev=6.2+20201114-2 libncurses5-dev=6.2+20201114-2 libncurses6=6.2+20201114-2 libncursesw6=6.2+20201114-2 libnettle8=3.7.3-1 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libnum-ocaml=1.4-1 libp11-kit0=0.23.22-1 libpam-modules=1.4.0-9 libpam-modules-bin=1.4.0-9 libpam-runtime=1.4.0-9 libpam-systemd=247.3-6 libpam0g=1.4.0-9 libpango-1.0-0=1.46.2-3 libpango1.0-dev=1.46.2-3 libpangocairo-1.0-0=1.46.2-3 libpangoft2-1.0-0=1.46.2-3 libpangoxft-1.0-0=1.46.2-3 libpcre16-3=2:8.39-13 libpcre2-16-0=10.36-2 libpcre2-32-0=10.36-2 libpcre2-8-0=10.36-2 libpcre2-dev=10.36-2 libpcre2-posix2=10.36-2 libpcre3=2:8.39-13 libpcre3-dev=2:8.39-13 libpcre32-3=2:8.39-13 libpcrecpp0v5=2:8.39-13 libperl5.32=5.32.1-5 libpipeline1=1.5.3-1 libpixman-1-0=0.40.0-1 libpixman-1-dev=0.40.0-1 libpng-dev=1.6.37-3 libpng16-16=1.6.37-3 libproxy1v5=0.4.17-1 libpsl5=0.21.0-1.2 libpthread-stubs0-dev=0.4-1 libpython3-stdlib=3.9.2-3 libpython3.9-minimal=3.9.2-1 libpython3.9-stdlib=3.9.2-1 libquadmath0=10.2.1-6 libreadline8=8.1-2 librest-0.7-0=0.8.1-1.1 libseccomp2=2.5.1-1 libselinux1=3.1-3 libselinux1-dev=3.1-3 libsemanage-common=3.1-1 libsemanage1=3.1-1+b2 libsepol1=3.1-1 libsepol1-dev=3.1-1 libsigsegv2=2.13-1 libsm-dev=2:1.2.3-1 libsm6=2:1.2.3-1 libsmartcols1=2.36.1-8 libsoup-gnome2.4-1=2.72.0-2 libsoup2.4-1=2.72.0-2 libsqlite3-0=3.34.1-3 libssl1.1=1.1.1k-1 libstdc++-10-dev=10.2.1-6 libstdc++6=10.2.1-6 libsub-override-perl=0.09-2 libsystemd0=247.3-6 libtasn1-6=4.16.0-2 libtext-iconv-perl=1.7-7+b1 libthai-data=0.1.28-4 libthai-dev=0.1.28-4 libthai0=0.1.28-4 libtiff-dev=4.2.0-1 libtiff5=4.2.0-1 libtiffxx5=4.2.0-1 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-15 libtsan0=10.2.1-6 libubsan1=10.2.1-6 libuchardet0=0.0.7-1 libudev1=247.3-6 libunistring2=0.9.10-4 libuuid1=2.36.1-8 libwayland-client0=1.19.0-2 libwayland-cursor0=1.19.0-2 libwayland-egl1=1.19.0-2 libwebp6=0.6.1-2.1 libx11-6=2:1.7.2-1 libx11-data=2:1.7.2-1 libx11-dev=2:1.7.2-1 libxau-dev=1:1.0.9-1 libxau6=1:1.0.9-1 libxcb-render0=1.14-3 libxcb-render0-dev=1.14-3 libxcb-shm0=1.14-3 libxcb-shm0-dev=1.14-3 libxcb1=1.14-3 libxcb1-dev=1.14-3 libxcomposite-dev=1:0.4.5-1 libxcomposite1=1:0.4.5-1 libxcursor-dev=1:1.2.0-2 libxcursor1=1:1.2.0-2 libxdamage-dev=1:1.1.5-2 libxdamage1=1:1.1.5-2 libxdmcp-dev=1:1.1.2-3 libxdmcp6=1:1.1.2-3 libxext-dev=2:1.3.3-1.1 libxext6=2:1.3.3-1.1 libxfixes-dev=1:5.0.3-2 libxfixes3=1:5.0.3-2 libxft-dev=2.3.2-2 libxft2=2.3.2-2 libxi-dev=2:1.7.10-1 libxi6=2:1.7.10-1 libxinerama-dev=2:1.1.4-2 libxinerama1=2:1.1.4-2 libxkbcommon0=1.0.3-2 libxml2=2.9.10+dfsg-6.7 libxml2-utils=2.9.10+dfsg-6.7 libxrandr-dev=2:1.5.1-1 libxrandr2=2:1.5.1-1 libxrender-dev=1:0.9.10-1 libxrender1=1:0.9.10-1 libzstd1=1.4.8+dfsg-2.1 linux-libc-dev=5.10.46-4 login=1:4.8.1-1 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 media-types=4.0.0 mount=2.36.1-8 ncurses-base=6.2+20201114-2 ncurses-bin=6.2+20201114-2 ocaml-base-nox=4.11.1-4 ocaml-compiler-libs=4.11.1-4 ocaml-findlib=1.8.1-2 ocaml-interp=4.11.1-4 ocaml-nox=4.11.1-4 pango1.0-tools=1.46.2-3 passwd=1:4.8.1-1 patch=2.7.6-7 perl=5.32.1-5 perl-base=5.32.1-5 perl-modules-5.32=5.32.1-5 pkg-config=0.29.2-1 po-debconf=1.0.21+nmu1 python3=3.9.2-3 python3-distutils=3.9.2-1 python3-lib2to3=3.9.2-1 python3-minimal=3.9.2-3 python3.9=3.9.2-1 python3.9-minimal=3.9.2-1 readline-common=8.1-2 sed=4.7-1 sensible-utils=0.0.14 shared-mime-info=2.0-1 systemd=247.3-6 systemd-sysv=247.3-6 systemd-timesyncd=247.3-6 sysvinit-utils=2.96-7 tar=1.34+dfsg-1 tzdata=2021a-1 ucf=3.0043 util-linux=2.36.1-8 uuid-dev=2.36.1-8 x11-common=1:7.7+22 x11proto-dev=2020.1-1 x11proto-input-dev=2020.1-1 x11proto-randr-dev=2020.1-1 x11proto-xext-dev=2020.1-1 x11proto-xinerama-dev=2020.1-1 xkb-data=2.29-2 xorg-sgml-doctools=1:1.11-1.1 xtrans-dev=1.4.0-1 xz-utils=5.2.5-2 zlib1g=1:1.2.11.dfsg-2 zlib1g-dev=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/20210815T204244Z/ 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 prooftree=0.13-2 && mkdir -p /build/prooftree-VqkhbI && dpkg-source --no-check -x /*.dsc /build/prooftree-VqkhbI/prooftree-0.13 && cd /build/prooftree-VqkhbI/prooftree-0.13 && { printf '%s' 'prooftree (0.13-2+b2) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild to drop dependency on libgdk-pixbuf2.0-0 -- amd64 / i386 Build Daemon (x86-ubc-01) Sun, 15 Aug 2021 18:39:25 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/prooftree-VqkhbI" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/prooftree-VqkhbI/prooftree-0.13 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1629052765" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/prooftree-VqkhbI /tmp/prooftree-0.13-2+b2cm4ic4qa bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20210815T204244Z 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.AKzX4s00eO 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.AKzX4s00eO Reading package lists... Building dependency tree... util-linux is already the newest version (2.36.1-8). 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/20210815T204244Z unstable/main amd64 libfakeroot amd64 1.25.3-1.1 [47.0 kB] Get:2 http://snapshot.notset.fr/archive/debian/20210815T204244Z 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 (1013 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 ... 4668 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-13) ... 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/20210815T204244Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.AKzX4s00eO Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20210815T204244Z 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 19s (1180 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.AKzX4s00eO I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d prooftree=0.13-2 && mkdir -p /build/prooftree-VqkhbI && dpkg-source --no-check -x /*.dsc /build/prooftree-VqkhbI/prooftree-0.13 && cd /build/prooftree-VqkhbI/prooftree-0.13 && { printf '%s' 'prooftree (0.13-2+b2) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild to drop dependency on libgdk-pixbuf2.0-0 -- amd64 / i386 Build Daemon (x86-ubc-01) Sun, 15 Aug 2021 18:39:25 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/prooftree-VqkhbI"' exec /tmp/mmdebstrap.AKzX4s00eO Reading package lists... NOTICE: 'prooftree' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/prooftree.git Please use: git clone https://salsa.debian.org/ocaml-team/prooftree.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 118 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main prooftree 0.13-2 (dsc) [1976 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main prooftree 0.13-2 (tar) [113 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main prooftree 0.13-2 (diff) [2464 B] Fetched 118 kB in 0s (668 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'prooftree_0.13-2.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting prooftree in /build/prooftree-VqkhbI/prooftree-0.13 dpkg-source: info: unpacking prooftree_0.13.orig.tar.gz dpkg-source: info: unpacking prooftree_0.13-2.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/prooftree-VqkhbI/prooftree-0.13 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1629052765" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.AKzX4s00eO dpkg-buildpackage: info: source package prooftree dpkg-buildpackage: info: source version 0.13-2+b2 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by amd64 / i386 Build Daemon (x86-ubc-01) dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean dh clean --with ocaml dh: warning: Compatibility levels before 10 are deprecated (level 9 in use) debian/rules override_dh_auto_clean make[1]: Entering directory '/build/prooftree-VqkhbI/prooftree-0.13' dh_auto_clean dh_auto_clean: warning: Compatibility levels before 10 are deprecated (level 9 in use) rm -f Makefile make[1]: Leaving directory '/build/prooftree-VqkhbI/prooftree-0.13' dh_ocamlclean dh_clean dh_clean: warning: Compatibility levels before 10 are deprecated (level 9 in use) debian/rules build-arch dh build-arch --with ocaml dh: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_update_autotools_config -a dh_ocamlinit -a debian/rules override_dh_auto_configure make[1]: Entering directory '/build/prooftree-VqkhbI/prooftree-0.13' ./configure --prefix /usr ocamlc version 4.11.1 found. ocamlopt.opt version 4.11.1 found. Native compilation enabled. test ocamlopt.opt -I +lablgtk2 Configuration summary: binaries will be copied to /usr/bin man pages will be copied to /usr/share/man native-code compilation enabled with ocamlopt.opt LablGtk2 at +lablgtk2 make[1]: Leaving directory '/build/prooftree-VqkhbI/prooftree-0.13' dh_auto_build -a dh_auto_build: warning: Compatibility levels before 10 are deprecated (level 9 in use) make -j1 make[1]: Entering directory '/build/prooftree-VqkhbI/prooftree-0.13' echo '(* This file is automatically generated from version.txt *)' > version.ml echo '(* DO NOT EDIT! *)' >> version.ml echo "let version = \"`head -1 version.txt`\"" >> version.ml ocamldep.opt version.mli proof_tree.mli input.mli version.ml util.ml gtk_ext.ml configuration.ml draw_tree.ml tree_layers.ml about_window.ml help_window.ml node_window.ml ext_dialog.ml emacs_commands.ml proof_window.ml proof_tree.ml coq.ml input.ml main.ml > Makefile.deps ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 version.mli ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 version.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 util.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 gtk_ext.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 configuration.ml File "configuration.ml", line 504, characters 16-57: 504 | | Failure "Incompatible configuration file version" -> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "configuration.ml", line 929, characters 16-57: 929 | | Failure "Incompatible configuration file version" -> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "configuration.ml", line 934, characters 16-44: 934 | | Failure "Invalid configuration file" -> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "_none_", line 1: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 draw_tree.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 ext_dialog.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 tree_layers.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 about_window.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 help_window.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 node_window.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 emacs_commands.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 proof_window.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 proof_tree.mli ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 proof_tree.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 coq.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 input.mli ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 input.ml ocamlopt.opt -c -safe-string -w Aem-48 -g -I +lablgtk2 main.ml ocamlopt.opt -g -I +lablgtk2 -o prooftree \ unix.cmxa lablgtk.cmxa gtkInit.cmx version.cmx util.cmx gtk_ext.cmx configuration.cmx draw_tree.cmx tree_layers.cmx about_window.cmx help_window.cmx node_window.cmx ext_dialog.cmx emacs_commands.cmx proof_window.cmx proof_tree.cmx coq.cmx input.cmx main.cmx make[1]: Leaving directory '/build/prooftree-VqkhbI/prooftree-0.13' dh_auto_test -a dh_auto_test: warning: Compatibility levels before 10 are deprecated (level 9 in use) fakeroot debian/rules binary-arch dh binary-arch --with ocaml dh: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_auto_test -a dh_auto_test: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_testroot -a dh_prep -a dh_auto_install -a dh_auto_install: warning: Compatibility levels before 10 are deprecated (level 9 in use) make -j1 install DESTDIR=/build/prooftree-VqkhbI/prooftree-0.13/debian/prooftree AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/build/prooftree-VqkhbI/prooftree-0.13' mkdir -p /build/prooftree-VqkhbI/prooftree-0.13/debian/prooftree/usr/bin cp prooftree /build/prooftree-VqkhbI/prooftree-0.13/debian/prooftree/usr/bin mkdir -p /build/prooftree-VqkhbI/prooftree-0.13/debian/prooftree/usr/share/man/man1 cp prooftree.1 /build/prooftree-VqkhbI/prooftree-0.13/debian/prooftree/usr/share/man/man1 make[1]: Leaving directory '/build/prooftree-VqkhbI/prooftree-0.13' dh_ocamldoc -a dh_installdocs -a dh_installdocs: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_installchangelogs -a dh_installchangelogs: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_installman -a dh_installman: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_compress: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_fixperms -a dh_missing -a dh_missing: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_strip -a dh_strip: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_makeshlibs -a dh_makeshlibs: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_shlibdeps -a dh_shlibdeps: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_installdeb -a dh_installdeb: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_ocaml -a dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package prooftree: substitution variable ${ocaml:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package prooftree: substitution variable ${ocaml:Depends} used, but is not defined dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'prooftree' in '../prooftree_0.13-2+b2_amd64.deb'. dpkg-deb: building package 'prooftree-dbgsym' in '../prooftree-dbgsym_0.13-2+b2_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../prooftree_0.13-2+b2_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/prooftree-VqkhbI /tmp/prooftree-0.13-2+b2cm4ic4qa I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.AKzX4s00eO... I: success in 704.4300 seconds md5: prooftree-dbgsym_0.13-2+b2_amd64.deb: OK md5: prooftree_0.13-2+b2_amd64.deb: OK sha1: prooftree-dbgsym_0.13-2+b2_amd64.deb: OK sha1: prooftree_0.13-2+b2_amd64.deb: OK sha256: prooftree-dbgsym_0.13-2+b2_amd64.deb: OK sha256: prooftree_0.13-2+b2_amd64.deb: OK Checksums: OK