Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/p/prooftree/prooftree_0.13-2+b1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/prooftree-0.13-2+b1yr0l3we5/prooftree_0.13-2+b1_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-11.1 automake=1:1.16.2-4 autopoint=0.19.8.1-10 autotools-dev=20180224.1 base-files=11 base-passwd=3.5.48 bash=5.0-7 binutils=2.35.1-2 binutils-common=2.35.1-2 binutils-x86-64-linux-gnu=2.35.1-2 bsdextrautils=2.36-3+b1 bsdutils=1:2.36-3+b1 build-essential=12.8 bzip2=1.0.8-4 coq=8.12.0-3+b2 coq-theories=8.12.0-3+b2 coreutils=8.32-4+b1 cpp=4:10.2.0-1 cpp-10=10.2.0-15 dash=0.5.10.2-7 dbus=1.12.20-1 dbus-user-session=1.12.20-1 dconf-gsettings-backend=0.38.0-1 dconf-service=0.38.0-1 debconf=1.5.74 debhelper=13.2.1 debianutils=4.11.2 dh-autoreconf=19 dh-ocaml=1.1.3 dh-strip-nondeterminism=1.9.0-1 dictionaries-common=1.28.3 diffutils=1:3.7-3 dmsetup=2:1.02.171-3 dpkg=1.20.5 dpkg-dev=1.20.5 dwz=0.13-5 emacsen-common=3.0.4 file=1:5.38-5 findutils=4.7.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.0-1 g++-10=10.2.0-15 gcc=4:10.2.0-1 gcc-10=10.2.0-15 gcc-10-base=10.2.0-15 gettext=0.19.8.1-10 gettext-base=0.19.8.1-10 gir1.2-atk-1.0=2.36.0-2 gir1.2-freedesktop=1.66.1-1 gir1.2-gdkpixbuf-2.0=2.40.0+dfsg-5 gir1.2-glib-2.0=1.66.1-1 gir1.2-gtk-2.0=2.24.32-4 gir1.2-harfbuzz-0.0=2.6.7-1 gir1.2-pango-1.0=1.46.2-1 glib-networking=2.66.0-2 glib-networking-common=2.66.0-2 glib-networking-services=2.66.0-2 grep=3.4-1 groff-base=1.22.4-5 gsettings-desktop-schemas=3.38.0-2 gtk-update-icon-cache=3.24.23-2 gzip=1.10-2 hicolor-icon-theme=0.17-2 hostname=3.23 hunspell-en-us=1:2019.10.06-1 icu-devtools=67.1-4 init-system-helpers=1.58 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-8 libapparmor1=2.13.4-3+b1 libarchive-zip-perl=1.68-1 libargon2-1=0~20171227-0.2 libasan6=10.2.0-15 libaspell15=0.60.8-1 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.0-15 libatspi2.0-0=2.38.0-2 libattr1=1:2.4.48-5 libaudit-common=1:2.8.5-3 libaudit1=1:2.8.5-3+b1 libavahi-client3=0.8-3 libavahi-common-data=0.8-3 libavahi-common3=0.8-3 libbinutils=2.35.1-2 libblkid-dev=2.36-3+b1 libblkid1=2.36-3+b1 libbrotli-dev=1.0.9-2+b1 libbrotli1=1.0.9-2+b1 libbsd0=0.10.0-1 libbz2-1.0=1.0.8-4 libc-bin=2.31-4 libc-dev-bin=2.31-4 libc6=2.31-4 libc6-dev=2.31-4 libcairo-gobject2=1.16.0-4 libcairo-script-interpreter2=1.16.0-4 libcairo2=1.16.0-4 libcairo2-dev=1.16.0-4 libcairo2-ocaml=0.6.1+dfsg-6 libcap-ng0=0.7.9-2.2 libcap2=1:2.43-1 libcc1-0=10.2.0-15 libcolord2=1.4.4-2 libcom-err2=1.45.6-1 libcoq-ocaml=8.12.0-3+b2 libcroco3=0.6.13-1 libcrypt-dev=1:4.4.17-1 libcrypt1=1:4.4.17-1 libcryptsetup12=2:2.3.4-1 libctf-nobfd0=2.35.1-2 libctf0=2.35.1-2 libcups2=2.3.3-3 libdatrie-dev=0.2.12-3 libdatrie1=0.2.12-3 libdb5.3=5.3.28+dfsg1-0.6 libdbus-1-3=1.12.20-1 libdconf1=0.38.0-1 libdebconfclient0=0.254 libdebhelper-perl=13.2.1 libdevmapper1.02.1=2:1.02.171-3 libdpkg-perl=1.20.5 libelf1=0.181-1 libenchant-2-2=2.2.8-1 libenchant-2-dev=2.2.8-1 libepoxy0=1.5.4-1 libexpat1=2.2.10-1 libexpat1-dev=2.2.10-1 libffi-dev=3.3-4 libffi7=3.3-4 libfile-stripnondeterminism-perl=1.9.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.2+dfsg-3 libfreetype6=2.10.2+dfsg-3 libfreetype6-dev=2.10.2+dfsg-3 libfribidi-dev=1.0.8-2 libfribidi0=1.0.8-2 libgcc-10-dev=10.2.0-15 libgcc-s1=10.2.0-15 libgcrypt20=1.8.6-2 libgdbm-compat4=1.18.1-5.1 libgdbm6=1.18.1-5.1 libgdk-pixbuf2.0-0=2.40.0+dfsg-5 libgdk-pixbuf2.0-bin=2.40.0+dfsg-5 libgdk-pixbuf2.0-common=2.40.0+dfsg-5 libgdk-pixbuf2.0-dev=2.40.0+dfsg-5 libgirepository-1.0-1=1.66.1-1 libglib2.0-0=2.66.1-1 libglib2.0-bin=2.66.1-1 libglib2.0-data=2.66.1-1 libglib2.0-dev=2.66.1-1 libglib2.0-dev-bin=2.66.1-1 libgmp10=2:6.2.0+dfsg-6 libgnutls30=3.6.15-4 libgomp1=10.2.0-15 libgpg-error0=1.38-2 libgraphite2-3=1.3.14-1 libgraphite2-dev=1.3.14-1 libgssapi-krb5-2=1.17-10 libgtk-3-0=3.24.23-2 libgtk-3-common=3.24.23-2 libgtk2.0-0=2.24.32-4 libgtk2.0-common=2.24.32-4 libgtk2.0-dev=2.24.32-4 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.6.7-1 libharfbuzz-gobject0=2.6.7-1 libharfbuzz-icu0=2.6.7-1 libharfbuzz0b=2.6.7-1 libhogweed6=3.6-2 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-4 libicu67=67.1-4 libidn2-0=2.3.0-1 libip4tc2=1.8.5-3 libisl22=0.22.1-1 libitm1=10.2.0-15 libjbig0=2.1-3.1+b2 libjpeg62-turbo=1:2.0.5-1.1 libjson-c5=0.15-1 libjson-glib-1.0-0=1.6.0-1 libjson-glib-1.0-common=1.6.0-1 libk5crypto3=1.17-10 libkeyutils1=1.6.1-2 libkmod2=27+20200310-2 libkrb5-3=1.17-10 libkrb5support0=1.17-10 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.9-4+b1 liblsan0=10.2.0-15 liblz4-1=1.9.2-2 liblzma5=5.2.4-1+b1 liblzo2-2=2.10-2 libmagic-mgc=1:5.38-5 libmagic1=1:5.38-5 libmount-dev=2.36-3+b1 libmount1=2.36-3+b1 libmpc3=1.2.0-1 libmpfr6=4.1.0-3 libncurses-dev=6.2+20200918-1 libncurses5-dev=6.2+20200918-1 libncurses6=6.2+20200918-1 libncursesw6=6.2+20200918-1 libnettle8=3.6-2 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libnss-nis=3.1-3 libnss-nisplus=1.3-3 libnum-ocaml=1.3-1+b1 libp11-kit0=0.23.21-2 libpam-modules=1.3.1-5 libpam-modules-bin=1.3.1-5 libpam-runtime=1.3.1-5 libpam-systemd=246.6-1 libpam0g=1.3.1-5 libpango-1.0-0=1.46.2-1 libpango1.0-dev=1.46.2-1 libpangocairo-1.0-0=1.46.2-1 libpangoft2-1.0-0=1.46.2-1 libpangoxft-1.0-0=1.46.2-1 libpcre16-3=2:8.39-13 libpcre2-16-0=10.34-7 libpcre2-32-0=10.34-7 libpcre2-8-0=10.34-7 libpcre2-dev=10.34-7 libpcre2-posix2=10.34-7 libpcre3=2:8.39-13 libpcre3-dev=2:8.39-13 libpcre32-3=2:8.39-13 libpcrecpp0v5=2:8.39-13 libperl5.30=5.30.3-4 libpipeline1=1.5.3-1 libpixman-1-0=0.36.0-1 libpixman-1-dev=0.36.0-1 libpng-dev=1.6.37-3 libpng16-16=1.6.37-3 libproxy1v5=0.4.15-14 libpsl5=0.21.0-1.1 libpthread-stubs0-dev=0.4-1 libpython3-stdlib=3.8.6-1 libpython3.8-minimal=3.8.6-1 libpython3.8-stdlib=3.8.6-1 libquadmath0=10.2.0-15 libreadline8=8.0-4 librest-0.7-0=0.8.1-1+b1 libseccomp2=2.4.4-1 libselinux1=3.1-2+b1 libselinux1-dev=3.1-2+b1 libsemanage-common=3.1-1 libsemanage1=3.1-1 libsepol1=3.1-1 libsepol1-dev=3.1-1 libsigsegv2=2.12-2 libsm-dev=2:1.2.3-1 libsm6=2:1.2.3-1 libsmartcols1=2.36-3+b1 libsoup-gnome2.4-1=2.72.0-2 libsoup2.4-1=2.72.0-2 libsqlite3-0=3.33.0-1 libssl1.1=1.1.1h-1 libstdc++-10-dev=10.2.0-15 libstdc++6=10.2.0-15 libsub-override-perl=0.09-2 libsystemd0=246.6-1 libtasn1-6=4.16.0-2 libtext-iconv-perl=1.7-7 libthai-data=0.1.28-3 libthai-dev=0.1.28-3 libthai0=0.1.28-3 libtiff5=4.1.0+git191117-2 libtinfo6=6.2+20200918-1 libtirpc-common=1.2.6-2 libtirpc-dev=1.2.6-2 libtirpc3=1.2.6-2 libtool=2.4.6-14 libtsan0=10.2.0-15 libubsan1=10.2.0-15 libuchardet0=0.0.7-1 libudev1=246.6-1 libunistring2=0.9.10-4 libuuid1=2.36-3+b1 libwayland-client0=1.18.0-2~exp1.1 libwayland-cursor0=1.18.0-2~exp1.1 libwayland-egl1=1.18.0-2~exp1.1 libwebp6=0.6.1-2+b1 libx11-6=2:1.6.12-1 libx11-data=2:1.6.12-1 libx11-dev=2:1.6.12-1 libxau-dev=1:1.0.8-1+b2 libxau6=1:1.0.8-1+b2 libxcb-render0=1.14-2 libxcb-render0-dev=1.14-2 libxcb-shm0=1.14-2 libxcb-shm0-dev=1.14-2 libxcb1=1.14-2 libxcb1-dev=1.14-2 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+b2 libxext6=2:1.3.3-1+b2 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=0.10.0-1 libxml2=2.9.10+dfsg-6 libxml2-utils=2.9.10+dfsg-6 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.5+dfsg-4 linux-libc-dev=5.8.14-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 mime-support=3.64 mount=2.36-3+b1 ncurses-base=6.2+20200918-1 ncurses-bin=6.2+20200918-1 ocaml-base-nox=4.11.1-3 ocaml-compiler-libs=4.11.1-3 ocaml-findlib=1.8.1-2 ocaml-interp=4.11.1-3 ocaml-nox=4.11.1-3 pango1.0-tools=1.46.2-1 passwd=1:4.8.1-1 patch=2.7.6-6 perl=5.30.3-4 perl-base=5.30.3-4 perl-modules-5.30=5.30.3-4 pkg-config=0.29.2-1 po-debconf=1.0.21 python3=3.8.6-1 python3-distutils=3.8.6-1 python3-lib2to3=3.8.6-1 python3-minimal=3.8.6-1 python3.8=3.8.6-1 python3.8-minimal=3.8.6-1 readline-common=8.0-4 sed=4.7-1 sensible-utils=0.0.12+nmu1 shared-mime-info=2.0-1 systemd=246.6-1 systemd-sysv=246.6-1 systemd-timesyncd=246.6-1 sysvinit-utils=2.96-5 tar=1.30+dfsg-7 ucf=3.0043 util-linux=2.36-3+b1 uuid-dev=2.36-3+b1 x11-common=1:7.7+21 x11proto-core-dev=2020.1-1 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 xtrans-dev=1.4.0-1 xz-utils=5.2.4-1+b1 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/20201016T150844Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20201011T210159Z/ 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-FFsxKD && dpkg-source --no-check -x /*.dsc /build/prooftree-FFsxKD/prooftree-0.13 && cd /build/prooftree-FFsxKD/prooftree-0.13 && { printf '%s' 'prooftree (0.13-2+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild with OCaml 4.11.1 -- amd64 / i386 Build Daemon (x86-ubc-01) Wed, 14 Oct 2020 05:17:28 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/prooftree-FFsxKD" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/prooftree-FFsxKD/prooftree-0.13 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1602652648" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/prooftree-FFsxKD /tmp/prooftree-0.13-2+b1yr0l3we5 bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20201011T210159Z 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.KMt_FQNcQX 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.KMt_FQNcQX Reading package lists... Building dependency tree... util-linux is already the newest version (2.36-3+b1). 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/20201011T210159Z unstable/main amd64 libfakeroot amd64 1.25.3-1 [47.0 kB] Get:2 http://snapshot.notset.fr/archive/debian/20201011T210159Z unstable/main amd64 fakeroot amd64 1.25.3-1 [87.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 134 kB in 0s (1079 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 ... 4592 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.25.3-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.25.3-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.25.3-1_amd64.deb ... Unpacking fakeroot (1.25.3-1) ... Setting up libfakeroot:amd64 (1.25.3-1) ... Setting up fakeroot (1.25.3-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.31-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/20201016T150844Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20201011T210159Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.KMt_FQNcQX Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Get:2 http://snapshot.notset.fr/archive/debian/20201016T150844Z unstable InRelease [146 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20201011T210159Z 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/20201016T150844Z unstable/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20201016T150844Z unstable/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20201016T150844Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20201016T150844Z unstable/main amd64 Packages [11.4 MB] Fetched 34.1 MB in 31s (1117 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.KMt_FQNcQX 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-FFsxKD && dpkg-source --no-check -x /*.dsc /build/prooftree-FFsxKD/prooftree-0.13 && cd /build/prooftree-FFsxKD/prooftree-0.13 && { printf '%s' 'prooftree (0.13-2+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild with OCaml 4.11.1 -- amd64 / i386 Build Daemon (x86-ubc-01) Wed, 14 Oct 2020 05:17:28 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/prooftree-FFsxKD"' exec /tmp/mmdebstrap.KMt_FQNcQX 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 (695 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-FFsxKD/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-FFsxKD/prooftree-0.13 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1602652648" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.KMt_FQNcQX dpkg-buildpackage: info: source package prooftree dpkg-buildpackage: info: source version 0.13-2+b1 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-FFsxKD/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-FFsxKD/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-FFsxKD/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-FFsxKD/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-FFsxKD/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-FFsxKD/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_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-FFsxKD/prooftree-0.13/debian/prooftree AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/build/prooftree-FFsxKD/prooftree-0.13' mkdir -p /build/prooftree-FFsxKD/prooftree-0.13/debian/prooftree/usr/bin cp prooftree /build/prooftree-FFsxKD/prooftree-0.13/debian/prooftree/usr/bin mkdir -p /build/prooftree-FFsxKD/prooftree-0.13/debian/prooftree/usr/share/man/man1 cp prooftree.1 /build/prooftree-FFsxKD/prooftree-0.13/debian/prooftree/usr/share/man/man1 make[1]: Leaving directory '/build/prooftree-FFsxKD/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+b1_amd64.deb'. dpkg-deb: building package 'prooftree-dbgsym' in '../prooftree-dbgsym_0.13-2+b1_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../prooftree_0.13-2+b1_amd64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/prooftree-FFsxKD /tmp/prooftree-0.13-2+b1yr0l3we5 I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.KMt_FQNcQX... I: success in 810.8909 seconds md5: prooftree-dbgsym_0.13-2+b1_amd64.deb: OK md5: prooftree_0.13-2+b1_amd64.deb: OK sha1: prooftree-dbgsym_0.13-2+b1_amd64.deb: OK sha1: prooftree_0.13-2+b1_amd64.deb: OK sha256: prooftree-dbgsym_0.13-2+b1_amd64.deb: OK sha256: prooftree_0.13-2+b1_amd64.deb: OK Checksums: OK