Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/p/proofgeneral/proofgeneral_4.4.1~pre170114-1.2_all.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/proofgeneral-4.4.1~pre170114-1.2whieq0me/proofgeneral_4.4.1~pre170114-1.2_all.buildinfo Get source package info: proofgeneral=4.4.1~pre170114-1.2 Source URL: http://snapshot.notset.fr/mr/package/proofgeneral/4.4.1~pre170114-1.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.34.0-2 autoconf=2.69-11 automake=1:1.16.1-4 autopoint=0.19.8.1-10 autotools-dev=20180224.1 base-files=11 base-passwd=3.5.47 bash=5.0-5 binutils=2.33.1-6 binutils-common=2.33.1-6 binutils-x86-64-linux-gnu=2.33.1-6 bsdmainutils=11.1.2+b1 bsdutils=1:2.34-0.1 build-essential=12.8 bzip2=1.0.8-2 coreutils=8.30-3+b1 cpp=4:9.2.1-3.1 cpp-9=9.2.1-21 dash=0.5.10.2-6 dbus=1.12.16-2 dbus-user-session=1.12.16-2 dconf-gsettings-backend=0.34.0-1 dconf-service=0.34.0-1 debconf=1.5.73 debhelper=12.7.2 debianutils=4.9.1 dh-autoreconf=19 dh-strip-nondeterminism=1.6.3-1 diffutils=1:3.7-3 dmsetup=2:1.02.155-3 dpkg=1.19.7 dpkg-dev=1.19.7 dwz=0.13-5 emacs-bin-common=1:26.3+1-1 emacs-common=1:26.3+1-1 emacs-gtk=1:26.3+1-1 emacsen-common=3.0.4 fdisk=2.34-0.1 file=1:5.37-6 findutils=4.7.0-1 fontconfig=2.13.1-2+b1 fontconfig-config=2.13.1-2 fonts-dejavu-core=2.37-1 fonts-lmodern=2.004.5-6 g++=4:9.2.1-3.1 g++-9=9.2.1-21 gcc=4:9.2.1-3.1 gcc-9=9.2.1-21 gcc-9-base=9.2.1-21 gettext=0.19.8.1-10 gettext-base=0.19.8.1-10 glib-networking=2.62.1-1 glib-networking-common=2.62.1-1 glib-networking-services=2.62.1-1 grep=3.3-1 groff-base=1.22.4-3 gsettings-desktop-schemas=3.34.0-2 gtk-update-icon-cache=3.24.13-1 gzip=1.9-3+b1 hicolor-icon-theme=0.17-2 hostname=3.23 imagemagick-6-common=8:6.9.10.23+dfsg-2.1 init-system-helpers=1.57 install-info=6.7.0.dfsg.2-5 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-5 libapparmor1=2.13.3-7 libarchive-zip-perl=1.67-1 libargon2-1=0~20171227-0.2 libasan5=9.2.1-21 libasound2=1.1.9-1 libasound2-data=1.1.9-1 libatk-bridge2.0-0=2.34.1-2 libatk1.0-0=2.34.1-1 libatk1.0-data=2.34.1-1 libatomic1=9.2.1-21 libatspi2.0-0=2.34.0-3 libattr1=1:2.4.48-5 libaudit-common=1:2.8.5-2 libaudit1=1:2.8.5-2+b1 libavahi-client3=0.7-5 libavahi-common-data=0.7-5 libavahi-common3=0.7-5 libbinutils=2.33.1-6 libblkid1=2.34-0.1 libbrotli1=1.0.7-5+b1 libbsd0=0.10.0-1 libbz2-1.0=1.0.8-2 libc-bin=2.29-6 libc-dev-bin=2.29-6 libc6=2.29-6 libc6-dev=2.29-6 libcairo-gobject2=1.16.0-4 libcairo2=1.16.0-4 libcap-ng0=0.7.9-2.1+b1 libcap2=1:2.27-1 libcc1-0=9.2.1-21 libcolord2=1.4.4-1 libcom-err2=1.45.4-1 libcroco3=0.6.13-1 libcrypt1=1:4.4.10-7 libcrypt1-dev=1:4.4.10-7 libcryptsetup12=2:2.2.2-1 libcups2=2.3.0-7 libdatrie1=0.2.12-3 libdb5.3=5.3.28+dfsg1-0.6 libdbus-1-3=1.12.16-2 libdconf1=0.34.0-1 libde265-0=1.0.3-1+b2 libdebconfclient0=0.250 libdebhelper-perl=12.7.2 libdevmapper1.02.1=2:1.02.155-3 libdpkg-perl=1.19.7 libelf1=0.176-1.1 libepoxy0=1.5.4-1 libexpat1=2.2.9-1 libfdisk1=2.34-0.1 libffi6=3.2.1-9 libfftw3-double3=3.3.8-2 libfile-stripnondeterminism-perl=1.6.3-1 libfontconfig1=2.13.1-2+b1 libfreetype6=2.10.1-2 libfribidi0=1.0.7-1.1 libgcc-9-dev=9.2.1-21 libgcc1=1:9.2.1-21 libgcrypt20=1.8.5-3 libgd3=2.2.5-5.2 libgdbm-compat4=1.18.1-5 libgdbm6=1.18.1-5 libgdk-pixbuf2.0-0=2.40.0+dfsg-1 libgdk-pixbuf2.0-common=2.40.0+dfsg-1 libgif7=5.1.9-1 libglib2.0-0=2.62.3-2 libgmp10=2:6.1.2+dfsg-4 libgnutls30=3.6.11.1-2 libgomp1=9.2.1-21 libgpg-error0=1.36-7 libgpm2=1.20.7-5+b1 libgraphite2-3=1.3.13-11 libgssapi-krb5-2=1.17-6 libgtk-3-0=3.24.13-1 libgtk-3-common=3.24.13-1 libharfbuzz-icu0=2.6.4-1 libharfbuzz0b=2.6.4-1 libheif1=1.6.0-1 libhogweed5=3.5.1+really3.5.1-2 libice6=2:1.0.9-2 libicu63=63.2-2 libidn2-0=2.2.0-2 libip4tc2=1.8.4-1 libisl22=0.22-2 libitm1=9.2.1-21 libjbig0=2.1-3.1+b2 libjpeg62-turbo=1:1.5.2-2+b1 libjson-c4=0.13.1+dfsg-6 libjson-glib-1.0-0=1.4.4-2 libjson-glib-1.0-common=1.4.4-2 libk5crypto3=1.17-6 libkeyutils1=1.6-6 libkmod2=26-3 libkpathsea6=2019.20190605.51237-3 libkrb5-3=1.17-6 libkrb5support0=1.17-6 liblcms2-2=2.9-4 liblqr-1-0=0.4.2-2.1 liblsan0=9.2.1-21 libltdl7=2.4.6-11 liblz4-1=1.9.2-2 liblzma5=5.2.4-1+b1 libm17n-0=1.8.0-2 libmagic-mgc=1:5.37-6 libmagic1=1:5.37-6 libmagickcore-6.q16-6=8:6.9.10.23+dfsg-2.1+b2 libmagickwand-6.q16-6=8:6.9.10.23+dfsg-2.1+b2 libmount1=2.34-0.1 libmpc3=1.1.0-1 libmpfr6=4.0.2-1 libncursesw6=6.1+20191019-1 libnettle7=3.5.1+really3.5.1-2 libnuma1=2.0.12-1+b1 libopenjp2-7=2.3.1-1 libotf0=0.9.13-4+b1 libp11-kit0=0.23.18.1-2 libpam-modules=1.3.1-5 libpam-modules-bin=1.3.1-5 libpam-runtime=1.3.1-5 libpam-systemd=244-3 libpam0g=1.3.1-5 libpango-1.0-0=1.42.4-7 libpangocairo-1.0-0=1.42.4-7 libpangoft2-1.0-0=1.42.4-7 libpaper-utils=1.1.28+b1 libpaper1=1.1.28+b1 libpcre2-8-0=10.34-7 libpcre3=2:8.39-12+b1 libperl5.30=5.30.0-9 libpipeline1=1.5.1-3 libpixman-1-0=0.36.0-1 libpng16-16=1.6.37-1 libproxy1v5=0.4.15-9 libpsl5=0.20.2-2 libptexenc1=2019.20190605.51237-3 libquadmath0=9.2.1-21 librest-0.7-0=0.8.1-1+b1 librsvg2-2=2.46.4-1 librsvg2-common=2.46.4-1 libseccomp2=2.4.2-2 libselinux1=3.0-1 libsemanage-common=3.0-1 libsemanage1=3.0-1 libsepol1=3.0-1 libsigsegv2=2.12-2 libsm6=2:1.2.3-1 libsmartcols1=2.34-0.1 libsoup-gnome2.4-1=2.68.2-1 libsoup2.4-1=2.68.2-1 libsqlite3-0=3.30.1-1 libssl1.1=1.1.1d-2 libstdc++-9-dev=9.2.1-21 libstdc++6=9.2.1-21 libsub-override-perl=0.09-2 libsynctex2=2019.20190605.51237-3 libsystemd0=244-3 libtasn1-6=4.15.0-2 libteckit0=2.5.8+ds2-5 libtexlua53=2019.20190605.51237-3 libtexluajit2=2019.20190605.51237-3 libtext-unidecode-perl=1.30-1 libthai-data=0.1.28-3 libthai0=0.1.28-3 libtiff5=4.1.0+git191117-1 libtinfo6=6.1+20191019-1 libtool=2.4.6-11 libtsan0=9.2.1-21 libubsan1=9.2.1-21 libuchardet0=0.0.6-3 libudev1=244-3 libunistring2=0.9.10-2 libuuid1=2.34-0.1 libwayland-client0=1.17.0-1 libwayland-cursor0=1.17.0-1 libwayland-egl1=1.17.0-1 libwebp6=0.6.1-2+b1 libwebpmux3=0.6.1-2+b1 libx11-6=2:1.6.8-1 libx11-data=2:1.6.8-1 libx11-xcb1=2:1.6.8-1 libx265-179=3.2.1-1 libxau6=1:1.0.8-1+b2 libxaw7=2:1.0.13-1+b2 libxcb-render0=1.13.1-2 libxcb-shm0=1.13.1-2 libxcb1=1.13.1-2 libxcomposite1=1:0.4.4-2 libxcursor1=1:1.2.0-2 libxdamage1=1:1.1.5-1 libxdmcp6=1:1.1.2-3 libxext6=2:1.3.3-1+b2 libxfixes3=1:5.0.3-1 libxft2=2.3.2-2 libxi6=2:1.7.9-1 libxinerama1=2:1.1.4-2 libxkbcommon0=0.9.1-1 libxml-libxml-perl=2.0134+dfsg-1+b1 libxml-namespacesupport-perl=1.12-1 libxml-sax-base-perl=1.09-1 libxml-sax-perl=1.02+dfsg-1 libxml2=2.9.4+dfsg1-8 libxmu6=2:1.1.2-2+b3 libxpm4=1:3.5.12-1 libxrandr2=2:1.5.1-1 libxrender1=1:0.9.10-1 libxt6=1:1.1.5-1+b3 libzstd1=1.4.4+dfsg-1 libzzip-0-13=0.13.62-3.2 linux-libc-dev=5.3.15-1 login=1:4.7-2 lsb-base=11.1.0 m17n-db=1.8.0-3 m4=1.4.18-4 make=4.2.1-1.2 man-db=2.9.0-2 mawk=1.3.3-17+b3 mount=2.34-0.1 ncurses-base=6.1+20191019-1 ncurses-bin=6.1+20191019-1 passwd=1:4.7-2 patch=2.7.6-6 perl=5.30.0-9 perl-base=5.30.0-9 perl-modules-5.30=5.30.0-9 po-debconf=1.0.21 sed=4.7-1 sensible-utils=0.0.12+nmu1 shared-mime-info=1.10-1 systemd=244-3 systemd-sysv=244-3 sysvinit-utils=2.96-1 t1utils=1.41-3 tar=1.30+dfsg-6+b1 tex-common=6.13 texinfo=6.7.0.dfsg.2-5 texlive-base=2019.20191208-4 texlive-binaries=2019.20190605.51237-3 texlive-fonts-recommended=2019.20191208-4 texlive-latex-base=2019.20191208-4 texlive-latex-recommended=2019.20191208-4 texlive-plain-generic=2019.20191208-1 ucf=3.0038+nmu1 util-linux=2.34-0.1 x11-common=1:7.7+20 xdg-utils=1.1.3-1 xkb-data=2.26-2 xz-utils=5.2.4-1+b1 zlib1g=1:1.2.11.dfsg-1+b1 --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/20191219T210858Z/ 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 proofgeneral=4.4.1~pre170114-1.2 && mkdir -p /build/proofgeneral-1trlxJ && dpkg-source --no-check -x /*.dsc /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114 && chown -R builduser:builduser /build/proofgeneral-1trlxJ" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114 && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1576515059" dpkg-buildpackage -uc -a amd64 --build=all" --customize-hook=sync-out /build/proofgeneral-1trlxJ /tmp/proofgeneral-4.4.1~pre170114-1.2whieq0me bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20191219T210858Z 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.q4t3blpUqU 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.q4t3blpUqU Reading package lists... Building dependency tree... util-linux is already the newest version (2.34-0.1). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 132 kB of archives. After this operation, 393 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20191219T210858Z unstable/main amd64 libfakeroot amd64 1.24-1 [45.7 kB] Get:2 http://snapshot.notset.fr/archive/debian/20191219T210858Z unstable/main amd64 fakeroot amd64 1.24-1 [85.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 132 kB in 0s (791 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 ... 4508 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.24-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.24-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.24-1_amd64.deb ... Unpacking fakeroot (1.24-1) ... Setting up libfakeroot:amd64 (1.24-1) ... Setting up fakeroot (1.24-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.29-6) ... 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/20191219T210858Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.q4t3blpUqU Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20191219T210858Z 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 23s (980 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.q4t3blpUqU I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d proofgeneral=4.4.1~pre170114-1.2 && mkdir -p /build/proofgeneral-1trlxJ && dpkg-source --no-check -x /*.dsc /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114 && chown -R builduser:builduser /build/proofgeneral-1trlxJ"' exec /tmp/mmdebstrap.q4t3blpUqU Reading package lists... Need to get 9322 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main proofgeneral 4.4.1~pre170114-1.2 (dsc) [1983 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main proofgeneral 4.4.1~pre170114-1.2 (tar) [9300 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main proofgeneral 4.4.1~pre170114-1.2 (diff) [19.9 kB] Fetched 9322 kB in 8s (1196 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'proofgeneral_4.4.1~pre170114-1.2.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting proofgeneral in /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114 dpkg-source: info: unpacking proofgeneral_4.4.1~pre170114.orig.tar.xz dpkg-source: info: unpacking proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying restrict-installed-provers.patch dpkg-source: info: applying dont-install-mmm-mode.patch dpkg-source: info: applying fix-package-name-in-install-path.patch dpkg-source: info: applying dont-install-elc.patch dpkg-source: info: applying only-install-simplified-pg-script dpkg-source: info: applying debian-specific-site-init.patch dpkg-source: info: applying prepare-user-manual dpkg-source: info: applying install-examples.patch dpkg-source: info: applying transition_to_makeinfo.patch dpkg-source: info: applying fix-coqtags.patch dpkg-source: info: applying desktop-keyword-entry.patch I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114 && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1576515059" dpkg-buildpackage -uc -a amd64 --build=all"' exec /tmp/mmdebstrap.q4t3blpUqU dpkg-buildpackage: info: source package proofgeneral dpkg-buildpackage: info: source version 4.4.1~pre170114-1.2 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Gard Spreemann dpkg-source --before-build . fakeroot debian/rules clean dh clean dh_auto_clean make -j1 distclean make[1]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' ***** CLEANING UP INTERMEDIATE FILES **** rm -f doc/ProofGeneralPortrait.eps.gz rm -f ../web/ProofGeneral (for i in bin/proofgeneral isar/interface bin/proofgeneral lego/legotags coq/coqtags isar/isartags; do \ if [ -f $i.rm ] ; then \ rm -f $i.rm; \ fi; \ if [ -f $i.orig ] ; then \ mv -f $i.orig $i; \ fi; \ done) rm -rf doc/html doc/proofgeneral.pdf doc/proofgeneral.info rm -f coq/coq-abbrev.elc coq/coq-autotest.elc coq/coq-compile-common.elc coq/coq-db.elc coq/coq-indent.elc coq/coq-local-vars.elc coq/coq-mmm.elc coq/coq-par-compile.elc coq/coq-par-test.elc coq/coq-seq-compile.elc coq/coq-smie.elc coq/coq-syntax.elc coq/coq-system.elc coq/coq-unicode-tokens.elc coq/coq.elc hol-light/hol-light-autotest.elc hol-light/hol-light-unicode-tokens.elc hol-light/hol-light.elc generic/pg-assoc.elc generic/pg-autotest.elc generic/pg-custom.elc generic/pg-goals.elc generic/pg-movie.elc generic/pg-pamacs.elc generic/pg-pbrpm.elc generic/pg-pgip.elc generic/pg-response.elc generic/pg-user.elc generic/pg-vars.elc generic/pg-xml.elc generic/proof-autoloads.elc generic/proof-auxmodes.elc generic/proof-config.elc generic/proof-depends.elc generic/proof-easy-config.elc generic/proof-faces.elc generic/proof-indent.elc generic/proof-maths-menu.elc generic/proof-menu.elc generic/proof-mmm.elc generic/proof-script.elc generic/proof-shell.elc generic/proof-site.elc generic/proof-splash.elc generic/proof-syntax.elc generic/proof-toolbar.elc generic/proof-tree.elc generic/proof-unicode-tokens.elc generic/proof-useropts.elc generic/proof-utils.elc generic/proof.elc lib/bufhist.elc lib/holes.elc lib/local-vars-list.elc lib/maths-menu.elc lib/pg-dev.elc lib/pg-fontsets.elc lib/proof-compat.elc lib/scomint.elc lib/span.elc lib/texi-docstring-magic.elc lib/unicode-chars.elc lib/unicode-tokens.elc .\#* */.\#* */.autotest.log */.profile.log (cd doc; make clean) make[2]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" clean make[3]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' rm -f ProofGeneral.cp ProofGeneral.fn ProofGeneral.vr ProofGeneral.tp ProofGeneral.ky ProofGeneral.kys ProofGeneral.pg ProofGeneral.fns ProofGeneral.vrs ProofGeneral.cps ProofGeneral.aux ProofGeneral.log ProofGeneral.cp ProofGeneral.cp0 ProofGeneral.toc make[3]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' make[2]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' ***** CLEANING UP ALL JUNK FILES **** find . \( -name '*~' -o -name '#*#' -o -name '\.\#*' -o -name '\.*\.log' \) -print | xargs rm -f (cd doc; make distclean) make[2]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" distclean make[3]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' rm -f ProofGeneral.cp ProofGeneral.fn ProofGeneral.vr ProofGeneral.tp ProofGeneral.ky ProofGeneral.kys ProofGeneral.pg ProofGeneral.fns ProofGeneral.vrs ProofGeneral.cps ProofGeneral.aux ProofGeneral.log ProofGeneral.cp ProofGeneral.cp0 ProofGeneral.toc rm -rf ProofGeneral.info* ProofGeneral.pdf ProofGeneral rm -f *~ make[3]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' make[2]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' make[1]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' dh_clean rm -f debian/debhelper-build-stamp rm -rf debian/.debhelper/ rm -f -- debian/proofgeneral.substvars debian/proofgeneral-doc.substvars debian/files rm -fr -- debian/proofgeneral/ debian/tmp/ debian/proofgeneral-doc/ find . \( \( \ \( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS -o -path .\*/.pc -o -path .\*/_darcs \) -prune -o -type f -a \ \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ \) -exec rm -f {} + \) -o \ \( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \) debian/rules build-indep dh build-indep dh_update_autotools_config -i dh_auto_configure -i debian/rules override_dh_auto_build make[1]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' make prepare-doc make[2]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' (cd doc; make EMACS=emacs info) make[3]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" info make[4]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' makeinfo ProofGeneral.texi make[4]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' make[3]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' (cd doc; make EMACS=emacs pdf) make[3]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" pdf make[4]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' texi2pdf ProofGeneral.texi This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2019-09-20.22]: pdf, fonts, markup, glyphs, page headings, tables, conditionals, indexing, sectioning, toc, environments, defuns, macros, cross references, insertions, (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex This is `epsf.tex' v2.7.4 <14 February 2011> ) localization, formatting, and turning on texinfo input format.) [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] (Preface) Cross reference values unknown; you must run TeX again. Writing index file ProofGeneral.cp [1] [2] Chapter 1 [3] [4] [5] [6] [7] Chapter 2 [8] [9] [10] [11] [12] [13] Writing index file ProofGeneral.fn Writing index file ProofGeneral.vr [14] Writing index file ProofGeneral.ky [15] [16] [17] [18] Chapter 3 [19] [20] [21] [22] [23] [24] [25] Chapter 4 [26] [27] [28] [29] [30] Chapter 5 [31] [32] [33] [34] Chapter 6 [35] [36] Chapter 7 [37] [38] [39] Chapter 8 [40] [41] [42] [43] [44] [45] [46] [47] [48] Chapter 9 [49] [50] [51] [52] Chapter 10 [53] [54] Chapter 11 [55] [56] [57] [58] Underfull \hbox (badness 10000) in paragraph at lines 4509--4516 @textrm and set @texttt coq-compile-parallel-in-background[] @textrm (menu @te xttt Coq -> Auto Compilation Underfull \hbox (badness 10000) in paragraph at lines 4509--4516 @texttt -> Parallel background compilation[]@textrm ) for par-al-lel asyn-chro nous com-pi-la-tion [59] [60] [61] [62] [63] Underfull \hbox (badness 10000) in paragraph at lines 4950--4952 []@textrm This op-tion can be set/reset via menu `@texttt Coq -> Settings -> C onfirm External [64] Overfull \hbox (13.29272pt too wide) in paragraph at lines 4982--4982 [] @texttt di-rec-tory to be mapped to the log-i-cal path 'path'[] ('-I dir -as path').[] [65] [66] Chapter 12 [67] [68] [69] [70] Chapter 13 [71] [72] Chapter 14 [73] [74] Appendix A [75] [76] [77] Appendix B [78] (References) [79] [80] (History of Proof General) [81] [82] [83] [84] [85] (Function and Command Index) [86] No file ProofGeneral.fns. (Variable and User Option Index) [87] [88] No file ProofGeneral.vrs. (Keystroke Index) [89] [90] No file ProofGeneral.kys. (Concept Index) [91] [92] No file ProofGeneral.cps. [93] [94] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.toc [-1] [-2]) [-3] [-4] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.toc) (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.toc) ) (see the transcript file for additional information) Output written on ProofGeneral.pdf (100 pages, 473490 bytes). Transcript written on ProofGeneral.log. This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2019-09-20.22]: pdf, fonts, markup, glyphs, page headings, tables, conditionals, indexing, sectioning, toc, environments, defuns, macros, cross references, insertions, (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex This is `epsf.tex' v2.7.4 <14 February 2011> ) localization, formatting, and turning on texinfo input format.) [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] (Preface) (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.aux) Writing index file ProofGeneral.cp [1] [2] Chapter 1 [3] [4] [5] [6] [7] Chapter 2 [8] [9] [10] [11] [12] [13] Writing index file ProofGeneral.fn Writing index file ProofGeneral.vr [14] Writing index file ProofGeneral.ky [15] [16] [17] [18] Chapter 3 [19] [20] [21] [22] [23] [24] [25] Chapter 4 [26] [27] [28] [29] [30] Chapter 5 [31] [32] [33] [34] Chapter 6 [35] [36] Chapter 7 [37] [38] [39] Chapter 8 [40] [41] [42] [43] [44] [45] [46] [47] [48] Chapter 9 [49] [50] [51] [52] Chapter 10 [53] [54] Chapter 11 [55] [56] [57] [58] Underfull \hbox (badness 10000) in paragraph at lines 4509--4516 @textrm and set @texttt coq-compile-parallel-in-background[] @textrm (menu @te xttt Coq -> Auto Compilation Underfull \hbox (badness 10000) in paragraph at lines 4509--4516 @texttt -> Parallel background compilation[]@textrm ) for par-al-lel asyn-chro nous com-pi-la-tion [59] [60] [61] [62] [63] Underfull \hbox (badness 10000) in paragraph at lines 4950--4952 []@textrm This op-tion can be set/reset via menu `@texttt Coq -> Settings -> C onfirm External [64] Overfull \hbox (13.29272pt too wide) in paragraph at lines 4982--4982 [] @texttt di-rec-tory to be mapped to the log-i-cal path 'path'[] ('-I dir -as path').[] [65] [66] Chapter 12 [67] [68] [69] [70] Chapter 13 [71] [72] Chapter 14 [73] [74] Appendix A [75] [76] [77] Appendix B [78] (References) [79] [80] (History of Proof General) [81] [82] [83] [84] [85] (Function and Command Index) [86] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.fns) (Variable and User Option Index) [87] [88] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.vrs) Overfull \vbox (0.23743pt too high) has occurred while \output is active (Keystroke Index) [89] [90] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.kys) (Concept Index) [91] [92] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.cps [93]) [94] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.toc [-1] [-2]) [-3] [-4] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.toc) (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.toc) ) (see the transcript file for additional information) Output written on ProofGeneral.pdf (100 pages, 510663 bytes). Transcript written on ProofGeneral.log. This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2019-09-20.22]: pdf, fonts, markup, glyphs, page headings, tables, conditionals, indexing, sectioning, toc, environments, defuns, macros, cross references, insertions, (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex This is `epsf.tex' v2.7.4 <14 February 2011> ) localization, formatting, and turning on texinfo input format.) [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] (Preface) (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.aux) Writing index file ProofGeneral.cp [1] [2] Chapter 1 [3] [4] [5] [6] [7] Chapter 2 [8] [9] [10] [11] [12] [13] Writing index file ProofGeneral.fn Writing index file ProofGeneral.vr [14] Writing index file ProofGeneral.ky [15] [16] [17] [18] Chapter 3 [19] [20] [21] [22] [23] [24] [25] Chapter 4 [26] [27] [28] [29] [30] Chapter 5 [31] [32] [33] [34] Chapter 6 [35] [36] Chapter 7 [37] [38] [39] Chapter 8 [40] [41] [42] [43] [44] [45] [46] [47] [48] Chapter 9 [49] [50] [51] [52] Chapter 10 [53] [54] Chapter 11 [55] [56] [57] [58] Underfull \hbox (badness 10000) in paragraph at lines 4509--4516 @textrm and set @texttt coq-compile-parallel-in-background[] @textrm (menu @te xttt Coq -> Auto Compilation Underfull \hbox (badness 10000) in paragraph at lines 4509--4516 @texttt -> Parallel background compilation[]@textrm ) for par-al-lel asyn-chro nous com-pi-la-tion [59] [60] [61] [62] [63] Underfull \hbox (badness 10000) in paragraph at lines 4950--4952 []@textrm This op-tion can be set/reset via menu `@texttt Coq -> Settings -> C onfirm External [64] Overfull \hbox (13.29272pt too wide) in paragraph at lines 4982--4982 [] @texttt di-rec-tory to be mapped to the log-i-cal path 'path'[] ('-I dir -as path').[] [65] [66] Chapter 12 [67] [68] [69] [70] Chapter 13 [71] [72] Chapter 14 [73] [74] Appendix A [75] [76] [77] Appendix B [78] (References) [79] [80] (History of Proof General) [81] [82] [83] [84] [85] (Function and Command Index) [86] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.fns) (Variable and User Option Index) [87] [88] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.vrs) Overfull \vbox (0.23743pt too high) has occurred while \output is active (Keystroke Index) [89] [90] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.kys) (Concept Index) [91] [92] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.cps [93]) [94] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.toc [-1] [-2]) [-3] [-4] (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.toc) (/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc/ProofGeneral.toc) ) (see the transcript file for additional information) Output written on ProofGeneral.pdf (100 pages, 510674 bytes). Transcript written on ProofGeneral.log. make[4]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' make[3]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' (cd doc; make EMACS=emacs html) make[3]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" html make[4]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' makeinfo --html --ifinfo --number-sections --split=chapter --no-headers --css-include=proofgen.css ProofGeneral.texi make[4]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' make[3]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/doc' mv doc/ProofGeneral doc/html mv doc/ProofGeneral.pdf doc/proofgeneral.pdf mv doc/ProofGeneral.info doc/proofgeneral.info make[2]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' make[1]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' debian/rules override_dh_auto_test make[1]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' true make[1]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' fakeroot debian/rules binary-indep dh binary-indep dh_testroot -i dh_prep -i rm -f -- debian/proofgeneral.substvars debian/proofgeneral-doc.substvars rm -fr -- debian/.debhelper/generated/proofgeneral/ debian/proofgeneral/ debian/tmp/ debian/.debhelper/generated/proofgeneral-doc/ debian/proofgeneral-doc/ dh_auto_install -i install -d debian/proofgeneral debian/proofgeneral-doc make -j1 install DESTDIR=/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' mkdir -p /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/icons/hicolor/16x16 cp etc/desktop/icons/16x16/proofgeneral.png /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/icons/hicolor/16x16 mkdir -p /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/icons/hicolor/32x32 cp etc/desktop/icons/32x32/proofgeneral.png /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/icons/hicolor/32x32 mkdir -p /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/icons/hicolor/48x48 cp etc/desktop/icons/48x48/proofgeneral.png /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/icons/hicolor/48x48 mkdir -p /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/pixmaps cp etc/desktop/icons/48x48/proofgeneral.png /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/pixmaps mkdir -p /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/applications cp etc/desktop/proofgeneral.desktop /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/applications mkdir -p /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/mime-info cp etc/desktop/mime-info/proofgeneral.mime /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/mime-info cp etc/desktop/mime-info/proofgeneral.keys /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/mime-info mkdir -p /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/application-registry cp etc/desktop/application-registry/proofgeneral.applications /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/application-registry mkdir -p /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/emacs/site-lisp/proofgeneral for f in coq hol-light generic lib images; do mkdir -p /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done for f in coq hol-light generic lib; do cp -pf $f/*.el /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done for f in images; do cp -prf $f/* /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done for f in ; do cp -pf $f /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done mkdir -p /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/bin cp -pf coq/coqtags /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/bin cp debian/proofgeneral-shell-script /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/bin/proofgeneral mkdir -p /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/doc/proofgeneral/examples cp coq/example.v /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/tmp/usr/share/doc/proofgeneral/examples/coq_example.v make[1]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' dh_install -i install -d debian/proofgeneral//usr/bin cp --reflink=auto -a debian/tmp/usr/bin/coqtags debian/tmp/usr/bin/proofgeneral debian/proofgeneral//usr/bin/ install -d debian/proofgeneral//usr/share cp --reflink=auto -a debian/tmp/usr/share/application-registry debian/tmp/usr/share/applications debian/tmp/usr/share/emacs debian/tmp/usr/share/icons debian/tmp/usr/share/mime-info debian/tmp/usr/share/pixmaps debian/proofgeneral//usr/share/ install -d debian/proofgeneral//usr/share/doc/proofgeneral cp --reflink=auto -a debian/tmp/usr/share/doc/proofgeneral/examples debian/proofgeneral//usr/share/doc/proofgeneral/ install -d debian/.debhelper/generated/proofgeneral install -d debian/.debhelper/generated/proofgeneral-doc dh_installdocs -i cp --reflink=auto -a ./AUTHORS debian/proofgeneral/usr/share/doc/proofgeneral cp --reflink=auto -a ./BUGS debian/proofgeneral/usr/share/doc/proofgeneral cp --reflink=auto -a ./COMPATIBILITY debian/proofgeneral/usr/share/doc/proofgeneral cp --reflink=auto -a ./FAQ.md debian/proofgeneral/usr/share/doc/proofgeneral cp --reflink=auto -a ./README.md debian/proofgeneral/usr/share/doc/proofgeneral cp --reflink=auto -a ./REGISTER debian/proofgeneral/usr/share/doc/proofgeneral chown -R 0:0 debian/proofgeneral/usr/share/doc chmod -R u\+rw,go=rX debian/proofgeneral/usr/share/doc install -p -m0644 debian/README.Debian debian/proofgeneral/usr/share/doc/proofgeneral/README.Debian install -p -m0644 debian/copyright debian/proofgeneral/usr/share/doc/proofgeneral/copyright install -d debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc cp --reflink=auto -a ./doc/proofgeneral.pdf debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc cd './doc/html/..' && find 'html' \( -type f -or -type l \) -and ! -empty -print0 | LC_ALL=C sort -z | xargs -0 -I {} cp --reflink=auto --parents -dp {} /build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114/debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc chown -R 0:0 debian/proofgeneral-doc/usr/share/doc chmod -R u\+rw,go=rX debian/proofgeneral-doc/usr/share/doc install -p -m0644 debian/copyright debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc/copyright install -d debian/proofgeneral-doc/usr/share/doc-base/ install -p -m0644 debian/proofgeneral-doc.doc-base debian/proofgeneral-doc/usr/share/doc-base/proofgeneral-user-manual dh_installchangelogs -i install -p -m0644 debian/changelog debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc/changelog.Debian install -p -m0644 ./CHANGES debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc/changelog install -p -m0644 debian/changelog debian/proofgeneral/usr/share/doc/proofgeneral/changelog.Debian install -p -m0644 ./CHANGES debian/proofgeneral/usr/share/doc/proofgeneral/changelog dh_installman -i install -d debian/proofgeneral/usr/share/man/man1/ install -p -m0644 ./debian/proofgeneral.1 debian/proofgeneral/usr/share/man/man1/proofgeneral.1 man-recode --to-code UTF-8 --suffix .dh-new debian/proofgeneral/usr/share/man/man1/proofgeneral.1 mv debian/proofgeneral/usr/share/man/man1/proofgeneral.1.dh-new debian/proofgeneral/usr/share/man/man1/proofgeneral.1 chmod 0644 -- debian/proofgeneral/usr/share/man/man1/proofgeneral.1 dh_installemacsen -i install -d debian/proofgeneral/usr/lib/emacsen-common/packages/compat install -p -m0644 debian/proofgeneral.emacsen-compat debian/proofgeneral/usr/lib/emacsen-common/packages/compat/proofgeneral install -d debian/proofgeneral/usr/lib/emacsen-common/packages/install install -p -m0755 debian/emacsen-install debian/proofgeneral/usr/lib/emacsen-common/packages/install/proofgeneral install -d debian/proofgeneral/usr/lib/emacsen-common/packages/remove install -p -m0755 debian/emacsen-remove debian/proofgeneral/usr/lib/emacsen-common/packages/remove/proofgeneral install -d debian/proofgeneral/etc/emacs/site-start.d/ install -p -m0644 debian/emacsen-startup debian/proofgeneral/etc/emacs/site-start.d/50proofgeneral.el [META] Append autosnippet "preinst-emacsen" to preinst [debian/proofgeneral.preinst.debhelper] [META] Append autosnippet "postinst-emacsen" to postinst [debian/proofgeneral.postinst.debhelper] [META] Append autosnippet "prerm-emacsen" to prerm [debian/proofgeneral.prerm.debhelper] dh_installinfo -i install -d debian/proofgeneral-doc/usr/share/info cp --reflink=auto ./doc/proofgeneral.info debian/proofgeneral-doc/usr/share/info chmod -R u\+rw,go=rX debian/proofgeneral-doc/usr/share/info/ dh_icons -i dh_perl -i (grep -a -s -v perl:Depends debian/proofgeneral.substvars; echo perl:Depends=perl:any) > debian/proofgeneral.substvars.new mv debian/proofgeneral.substvars.new debian/proofgeneral.substvars dh_link -i dh_strip_nondeterminism -i Using 1576515059 as canonical time debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.png: 1 bytes of garbage after IEND chunk at /usr/share/perl5/File/StripNondeterminism/handlers/png.pm line 165. Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-command.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-goal.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-home.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-goto.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-retract.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-qed.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-state.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-abort.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-info.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-use.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-next.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-help.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-interrupt.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-context.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/pixmaps/proofgeneral.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/icons/hicolor/32x32/proofgeneral.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/icons/hicolor/16x16/proofgeneral.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/icons/hicolor/48x48/proofgeneral.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/ProofGeneral-splash.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-find.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-undo.png using File::StripNondeterminism::handlers::png debian/rules override_dh_compress make[1]: Entering directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' dh_compress --exclude=proofgeneral.pdf cd debian/proofgeneral cd debian/proofgeneral-doc chmod a-x usr/share/doc/proofgeneral/FAQ.md usr/share/doc/proofgeneral/changelog usr/share/doc/proofgeneral/changelog.Debian usr/share/man/man1/proofgeneral.1 chmod a-x usr/share/doc/proofgeneral-doc/changelog usr/share/doc/proofgeneral-doc/changelog.Debian usr/share/info/proofgeneral.info gzip -9nf usr/share/doc/proofgeneral-doc/changelog usr/share/doc/proofgeneral-doc/changelog.Debian usr/share/info/proofgeneral.info gzip -9nf usr/share/doc/proofgeneral/FAQ.md usr/share/doc/proofgeneral/changelog usr/share/doc/proofgeneral/changelog.Debian usr/share/man/man1/proofgeneral.1 cd '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' cd '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' make[1]: Leaving directory '/build/proofgeneral-1trlxJ/proofgeneral-4.4.1-pre170114' dh_fixperms -i find debian/proofgeneral -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/proofgeneral-doc -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/proofgeneral-doc ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/proofgeneral ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/proofgeneral-doc/usr/share/doc -type f -a -true -a ! -regex 'debian/proofgeneral-doc/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral/usr/share/doc -type f -a -true -a ! -regex 'debian/proofgeneral/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 find debian/proofgeneral/usr/share/man debian/proofgeneral/usr/share/applications -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral-doc/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 find debian/proofgeneral -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral-doc -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral/usr/bin -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod a+x find debian/proofgeneral/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w dh_missing -i dh_installdeb -i install -d debian/proofgeneral/DEBIAN printf '#!/bin/sh\nset -e\n' > debian/proofgeneral/DEBIAN/postinst cat debian/proofgeneral.postinst.debhelper >> debian/proofgeneral/DEBIAN/postinst chmod 0755 -- debian/proofgeneral/DEBIAN/postinst chown 0:0 -- debian/proofgeneral/DEBIAN/postinst cp -f debian/preinst debian/proofgeneral/DEBIAN/preinst [META] Replace #TOKEN#s in "debian/proofgeneral/DEBIAN/preinst" chmod 0755 -- debian/proofgeneral/DEBIAN/preinst chown 0:0 -- debian/proofgeneral/DEBIAN/preinst printf '#!/bin/sh\nset -e\n' > debian/proofgeneral/DEBIAN/prerm cat debian/proofgeneral.prerm.debhelper >> debian/proofgeneral/DEBIAN/prerm chmod 0755 -- debian/proofgeneral/DEBIAN/prerm chown 0:0 -- debian/proofgeneral/DEBIAN/prerm find debian/proofgeneral/etc -type f -printf '/etc/%P ' | LC_ALL=C sort >> debian/proofgeneral/DEBIAN/conffiles chmod 0644 -- debian/proofgeneral/DEBIAN/conffiles chown 0:0 -- debian/proofgeneral/DEBIAN/conffiles install -d debian/proofgeneral-doc/DEBIAN dh_gencontrol -i echo misc:Depends= >> debian/proofgeneral.substvars echo misc:Pre-Depends= >> debian/proofgeneral.substvars dpkg-gencontrol -pproofgeneral -ldebian/changelog -Tdebian/proofgeneral.substvars -Pdebian/proofgeneral -UMulti-Arch echo misc:Depends= >> debian/proofgeneral-doc.substvars echo misc:Pre-Depends= >> debian/proofgeneral-doc.substvars dpkg-gencontrol -pproofgeneral-doc -ldebian/changelog -Tdebian/proofgeneral-doc.substvars -Pdebian/proofgeneral-doc -UMulti-Arch chmod 0644 -- debian/proofgeneral-doc/DEBIAN/control chown 0:0 -- debian/proofgeneral-doc/DEBIAN/control dpkg-gencontrol: warning: package proofgeneral: substitution variable ${perl:Depends} unused, but is defined chmod 0644 -- debian/proofgeneral/DEBIAN/control chown 0:0 -- debian/proofgeneral/DEBIAN/control dh_md5sums -i cd debian/proofgeneral-doc >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums cd debian/proofgeneral >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums chmod 0644 -- debian/proofgeneral/DEBIAN/md5sums chown 0:0 -- debian/proofgeneral/DEBIAN/md5sums chmod 0644 -- debian/proofgeneral-doc/DEBIAN/md5sums chown 0:0 -- debian/proofgeneral-doc/DEBIAN/md5sums dh_builddeb -i dpkg-deb --build debian/proofgeneral .. dpkg-deb --build debian/proofgeneral-doc .. dpkg-deb: building package 'proofgeneral-doc' in '../proofgeneral-doc_4.4.1~pre170114-1.2_all.deb'. dpkg-deb: building package 'proofgeneral' in '../proofgeneral_4.4.1~pre170114-1.2_all.deb'. dpkg-genbuildinfo --build=all dpkg-genchanges --build=all >../proofgeneral_4.4.1~pre170114-1.2_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/proofgeneral-1trlxJ /tmp/proofgeneral-4.4.1~pre170114-1.2whieq0me I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.q4t3blpUqU... I: success in 679.6331 seconds md5: proofgeneral-doc_4.4.1~pre170114-1.2_all.deb: OK md5: proofgeneral_4.4.1~pre170114-1.2_all.deb: OK sha1: proofgeneral-doc_4.4.1~pre170114-1.2_all.deb: OK sha1: proofgeneral_4.4.1~pre170114-1.2_all.deb: OK sha256: proofgeneral-doc_4.4.1~pre170114-1.2_all.deb: OK sha256: proofgeneral_4.4.1~pre170114-1.2_all.deb: OK Checksums: OK