Fri Jun 9 23:11:50 UTC 2023 I: starting to build proofgeneral/bookworm/i386 on jenkins on '2023-06-09 23:11' Fri Jun 9 23:11:50 UTC 2023 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/i386_10/401/console.log Fri Jun 9 23:11:50 UTC 2023 I: Downloading source for bookworm/proofgeneral=4.4.1~pre170114-1.2 --2023-06-09 23:11:50-- http://cdn-fastly.deb.debian.org/debian/pool/main/p/proofgeneral/proofgeneral_4.4.1%7epre170114-1.2.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 1983 (1.9K) [text/prs.lines.tag] Saving to: ‘proofgeneral_4.4.1~pre170114-1.2.dsc’ 0K . 100% 269M=0s 2023-06-09 23:11:50 (269 MB/s) - ‘proofgeneral_4.4.1~pre170114-1.2.dsc’ saved [1983/1983] Fri Jun 9 23:11:50 UTC 2023 I: proofgeneral_4.4.1~pre170114-1.2.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: proofgeneral Binary: proofgeneral, proofgeneral-doc Architecture: all Version: 4.4.1~pre170114-1.2 Maintainer: Hendrik Tews Homepage: https://proofgeneral.github.io/ Standards-Version: 3.9.8 Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-plain-generic, texlive-fonts-recommended, emacs-gtk Package-List: proofgeneral deb editors optional arch=all proofgeneral-doc deb doc optional arch=all Checksums-Sha1: e0fec0c4d6c6203c8a6325100073911e0db30d74 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz ebb27ec63fa5f6bb89725df5fdd3ee86c9ef9a28 19908 proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz Checksums-Sha256: bdfa34555199aa70fda60906aa7d087d176bf11d3b9f1a60740c37fc3148e50d 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz 184d07cc7aaa1dc58928b30639668d87d996c64c1e508f4f7259613acc298cd5 19908 proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz Files: 56ff3a7d19e7062598664674aa890332 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz f93803a132978a784df69075beb0b89a 19908 proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEESYqTBWsFJgT6y8ijKb+g0HkpCsoFAl37LXQACgkQKb+g0Hkp CsqHWQ//e9CDO/dDMKSrnFqXkC8chkt8ymWmFaxS6m8Sn3Ixd4GAVw75eGaWdy97 UDqNzO0RV7J9cPqQCJgFITyVSzHD4YrZHyPhqcy8Q3a6Vec1XAWvZw4E9iLD8/VA toYNOkWjbD84LX73vMak6fFwalGJbWUUScNCoeJVL3Ivoezu7x43+9mtdnklvlp8 tODluJoyTSiEeJQ9LxtnlYykz0MiH/QU3RX1Z8u/NKNxDV7Vb5oRuh/bjptYS12F JCYAI4l+2Wj2sc9MJEP2J9IuilfHvG3bkkDJmCZ2ORHwwaFRURTvyKJVy8chtGXy 0fJTMIgatTQQv1dBhFUSZKQIaX/ixlOZy38gnrngzpZ8jNHKRCDc1huPsbeseDAx kSdmxev0UPTB5mejfaxAO/32Hmaji5Ydw+7Q4oxAam6aozqjtVqT/O36tfn5TlIk Ui1rZ8jkDZldnrli4+3SbDHjqlGwbQ/Okl+fhn2XgXniTPE500sBXT1fd4mgAim/ U3gdv1kYIvYQS1Rq0KDKz+GETQnd4rCp6ZZrNsak8dDVjkG3oIvw/IIM2xuQsEGL wLfXr3NSi6SmDU7LRqJcWBMs6zFN0EUaPnEtzgi0//WguNCuVZWPEqk7USoScHWr KOl5QO+URp2avx86VTUL6+r6LYwckfHzqr1AyukjHwxNkfW0fOk= =uJmg -----END PGP SIGNATURE----- Fri Jun 9 23:11:50 UTC 2023 I: Checking whether the package is not for us Fri Jun 9 23:11:50 UTC 2023 I: Starting 1st build on remote node ionos6-i386.debian.net. Fri Jun 9 23:11:50 UTC 2023 I: Preparing to do remote build '1' on ionos6-i386.debian.net. Fri Jun 9 23:14:20 UTC 2023 I: Deleting $TMPDIR on ionos6-i386.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Wed Aug 13 23:57:56 -12 2025 I: pbuilder-time-stamp: 1755172676 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bookworm-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: using eatmydata during job I: Copying source file I: copying [proofgeneral_4.4.1~pre170114-1.2.dsc] I: copying [./proofgeneral_4.4.1~pre170114.orig.tar.xz] I: copying [./proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz] I: Extracting source gpgv: Signature made Wed Dec 18 19:57:40 2019 -12 gpgv: using RSA key 498A93056B052604FACBC8A329BFA0D079290ACA gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./proofgeneral_4.4.1~pre170114-1.2.dsc: no acceptable signature found dpkg-source: info: extracting proofgeneral in 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: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/88364/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='i386' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=16 ' DISTRIBUTION='bookworm' HOME='/root' HOST_ARCH='i386' IFS=' ' INVOCATION_ID='61880fca9eab4e81bea0f137113356cd' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' LD_LIBRARY_PATH='/usr/lib/libeatmydata' LD_PRELOAD='libeatmydata.so' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='88364' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.tUJo6UXh/pbuilderrc_hpbc --distribution bookworm --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bookworm-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.tUJo6UXh/b1 --logfile b1/build.log proofgeneral_4.4.1~pre170114-1.2.dsc' SUDO_GID='112' SUDO_UID='107' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://85.184.249.68:3128' I: uname -a Linux ionos6-i386 5.10.0-23-amd64 #1 SMP Debian 5.10.179-1 (2023-05-12) x86_64 GNU/Linux I: ls -l /bin total 6036 -rwxr-xr-x 1 root root 1408088 Apr 23 2023 bash -rwxr-xr-x 3 root root 38404 Sep 18 2022 bunzip2 -rwxr-xr-x 3 root root 38404 Sep 18 2022 bzcat lrwxrwxrwx 1 root root 6 Sep 18 2022 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2225 Sep 18 2022 bzdiff lrwxrwxrwx 1 root root 6 Sep 18 2022 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4893 Nov 27 2021 bzexe lrwxrwxrwx 1 root root 6 Sep 18 2022 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3775 Sep 18 2022 bzgrep -rwxr-xr-x 3 root root 38404 Sep 18 2022 bzip2 -rwxr-xr-x 1 root root 17892 Sep 18 2022 bzip2recover lrwxrwxrwx 1 root root 6 Sep 18 2022 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Sep 18 2022 bzmore -rwxr-xr-x 1 root root 42920 Sep 20 2022 cat -rwxr-xr-x 1 root root 79816 Sep 20 2022 chgrp -rwxr-xr-x 1 root root 67496 Sep 20 2022 chmod -rwxr-xr-x 1 root root 79816 Sep 20 2022 chown -rwxr-xr-x 1 root root 162024 Sep 20 2022 cp -rwxr-xr-x 1 root root 136916 Jan 5 2023 dash -rwxr-xr-x 1 root root 137160 Sep 20 2022 date -rwxr-xr-x 1 root root 100364 Sep 20 2022 dd -rwxr-xr-x 1 root root 108940 Sep 20 2022 df -rwxr-xr-x 1 root root 162152 Sep 20 2022 dir -rwxr-xr-x 1 root root 87760 Mar 22 2023 dmesg lrwxrwxrwx 1 root root 8 Dec 19 2022 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Dec 19 2022 domainname -> hostname -rwxr-xr-x 1 root root 38760 Sep 20 2022 echo -rwxr-xr-x 1 root root 41 Jan 24 2023 egrep -rwxr-xr-x 1 root root 34664 Sep 20 2022 false -rwxr-xr-x 1 root root 41 Jan 24 2023 fgrep -rwxr-xr-x 1 root root 84272 Mar 22 2023 findmnt -rwsr-xr-x 1 root root 30240 Mar 22 2023 fusermount -rwxr-xr-x 1 root root 218680 Jan 24 2023 grep -rwxr-xr-x 2 root root 2346 Apr 9 2022 gunzip -rwxr-xr-x 1 root root 6447 Apr 9 2022 gzexe -rwxr-xr-x 1 root root 100952 Apr 9 2022 gzip -rwxr-xr-x 1 root root 21916 Dec 19 2022 hostname -rwxr-xr-x 1 root root 75756 Sep 20 2022 ln -rwxr-xr-x 1 root root 55600 Mar 22 2023 login -rwxr-xr-x 1 root root 162152 Sep 20 2022 ls -rwxr-xr-x 1 root root 214568 Mar 22 2023 lsblk -rwxr-xr-x 1 root root 96328 Sep 20 2022 mkdir -rwxr-xr-x 1 root root 84008 Sep 20 2022 mknod -rwxr-xr-x 1 root root 38792 Sep 20 2022 mktemp -rwxr-xr-x 1 root root 63016 Mar 22 2023 more -rwsr-xr-x 1 root root 58912 Mar 22 2023 mount -rwxr-xr-x 1 root root 13856 Mar 22 2023 mountpoint -rwxr-xr-x 1 root root 157932 Sep 20 2022 mv lrwxrwxrwx 1 root root 8 Dec 19 2022 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Apr 2 2023 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 38792 Sep 20 2022 pwd lrwxrwxrwx 1 root root 4 Apr 23 2023 rbash -> bash -rwxr-xr-x 1 root root 51080 Sep 20 2022 readlink -rwxr-xr-x 1 root root 75720 Sep 20 2022 rm -rwxr-xr-x 1 root root 51080 Sep 20 2022 rmdir -rwxr-xr-x 1 root root 22308 Nov 2 2022 run-parts -rwxr-xr-x 1 root root 133224 Jan 5 2023 sed lrwxrwxrwx 1 root root 4 Jan 5 2023 sh -> dash -rwxr-xr-x 1 root root 38760 Sep 20 2022 sleep -rwxr-xr-x 1 root root 87976 Sep 20 2022 stty -rwsr-xr-x 1 root root 83492 Mar 22 2023 su -rwxr-xr-x 1 root root 38792 Sep 20 2022 sync -rwxr-xr-x 1 root root 598456 Apr 6 2023 tar -rwxr-xr-x 1 root root 13860 Nov 2 2022 tempfile -rwxr-xr-x 1 root root 120776 Sep 20 2022 touch -rwxr-xr-x 1 root root 34664 Sep 20 2022 true -rwxr-xr-x 1 root root 17892 Mar 22 2023 ulockmgr_server -rwsr-xr-x 1 root root 30236 Mar 22 2023 umount -rwxr-xr-x 1 root root 38760 Sep 20 2022 uname -rwxr-xr-x 2 root root 2346 Apr 9 2022 uncompress -rwxr-xr-x 1 root root 162152 Sep 20 2022 vdir -rwxr-xr-x 1 root root 71216 Mar 22 2023 wdctl lrwxrwxrwx 1 root root 8 Dec 19 2022 ypdomainname -> hostname -rwxr-xr-x 1 root root 1984 Apr 9 2022 zcat -rwxr-xr-x 1 root root 1678 Apr 9 2022 zcmp -rwxr-xr-x 1 root root 6460 Apr 9 2022 zdiff -rwxr-xr-x 1 root root 29 Apr 9 2022 zegrep -rwxr-xr-x 1 root root 29 Apr 9 2022 zfgrep -rwxr-xr-x 1 root root 2081 Apr 9 2022 zforce -rwxr-xr-x 1 root root 8103 Apr 9 2022 zgrep -rwxr-xr-x 1 root root 2206 Apr 9 2022 zless -rwxr-xr-x 1 root root 1842 Apr 9 2022 zmore -rwxr-xr-x 1 root root 4577 Apr 9 2022 znew I: user script /srv/workspace/pbuilder/88364/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: i386 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-plain-generic, texlive-fonts-recommended, emacs-gtk dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19599 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper (>= 9); however: Package debhelper is not installed. pbuilder-satisfydepends-dummy depends on texinfo; however: Package texinfo is not installed. pbuilder-satisfydepends-dummy depends on texlive-latex-recommended; however: Package texlive-latex-recommended is not installed. pbuilder-satisfydepends-dummy depends on texlive-plain-generic; however: Package texlive-plain-generic is not installed. pbuilder-satisfydepends-dummy depends on texlive-fonts-recommended; however: Package texlive-fonts-recommended is not installed. pbuilder-satisfydepends-dummy depends on emacs-gtk; however: Package emacs-gtk is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: adwaita-icon-theme{a} at-spi2-common{a} autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} dbus{a} dbus-bin{a} dbus-daemon{a} dbus-session-bus-common{a} dbus-system-bus-common{a} dbus-user-session{a} dconf-gsettings-backend{a} dconf-service{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dmsetup{a} dwz{a} emacs-bin-common{a} emacs-common{a} emacs-el{a} emacs-gtk{a} emacsen-common{a} file{a} fontconfig{a} fontconfig-config{a} fonts-dejavu-core{a} fonts-lmodern{a} gettext{a} gettext-base{a} groff-base{a} gtk-update-icon-cache{a} hicolor-icon-theme{a} install-info{a} intltool-debian{a} isa-support{a} libabsl20220623{a} libaom3{a} libapparmor1{a} libarchive-zip-perl{a} libargon2-1{a} libasound2{a} libasound2-data{a} libatk-bridge2.0-0{a} libatk1.0-0{a} libatspi2.0-0{a} libavahi-client3{a} libavahi-common-data{a} libavahi-common3{a} libavif15{a} libbrotli1{a} libbsd0{a} libcairo-gobject2{a} libcairo2{a} libcolord2{a} libcryptsetup12{a} libcups2{a} libdatrie1{a} libdav1d6{a} libdbus-1-3{a} libdconf1{a} libde265-0{a} libdebhelper-perl{a} libdeflate0{a} libdevmapper1.02.1{a} libelf1{a} libepoxy0{a} libexpat1{a} libfdisk1{a} libfile-stripnondeterminism-perl{a} libfontconfig1{a} libfreetype6{a} libfribidi0{a} libgav1-1{a} libgccjit0{a} libgd3{a} libgdk-pixbuf-2.0-0{a} libgdk-pixbuf2.0-common{a} libgif7{a} libglib2.0-0{a} libgpm2{a} libgraphite2-3{a} libgtk-3-0{a} libgtk-3-common{a} libharfbuzz0b{a} libheif1{a} libice6{a} libicu72{a} libip4tc2{a} libjbig0{a} libjpeg62-turbo{a} libjson-c5{a} libkmod2{a} libkpathsea6{a} liblcms2-2{a} liblerc4{a} libm17n-0{a} libmagic-mgc{a} libmagic1{a} libnuma1{a} libotf1{a} libpam-systemd{a} libpango-1.0-0{a} libpangocairo-1.0-0{a} libpangoft2-1.0-0{a} libpaper-utils{a} libpaper1{a} libpipeline1{a} libpixman-1-0{a} libpng16-16{a} libproc2-0{a} libptexenc1{a} librav1e0{a} librsvg2-2{a} libsm6{a} libsub-override-perl{a} libsynctex2{a} libsystemd-shared{a} libteckit0{a} libtexlua53-5{a} libtexluajit2{a} libtext-unidecode-perl{a} libthai-data{a} libthai0{a} libtiff6{a} libtool{a} libuchardet0{a} libwayland-client0{a} libwayland-cursor0{a} libwayland-egl1{a} libwebp7{a} libx11-6{a} libx11-data{a} libx265-199{a} libxau6{a} libxaw7{a} libxcb-render0{a} libxcb-shm0{a} libxcb1{a} libxcomposite1{a} libxcursor1{a} libxdamage1{a} libxdmcp6{a} libxext6{a} libxfixes3{a} libxft2{a} libxi6{a} libxinerama1{a} libxkbcommon0{a} libxml-libxml-perl{a} libxml-namespacesupport-perl{a} libxml-sax-base-perl{a} libxml-sax-perl{a} libxml2{a} libxmu6{a} libxpm4{a} libxrandr2{a} libxrender1{a} libxt6{a} libyuv0{a} libzzip-0-13{a} m17n-db{a} m4{a} man-db{a} po-debconf{a} procps{a} sensible-utils{a} shared-mime-info{a} sse2-support{a} systemd{a} systemd-sysv{a} t1utils{a} tex-common{a} texinfo{a} texlive-base{a} texlive-binaries{a} texlive-fonts-recommended{a} texlive-latex-base{a} texlive-latex-recommended{a} texlive-plain-generic{a} ucf{a} x11-common{a} xdg-utils{a} xkb-data{a} The following packages are RECOMMENDED but will NOT be installed: alsa-topology-conf alsa-ucm-conf at-spi2-core chrony curl dvisvgm fonts-noto-color-emoji libarchive-cpio-perl libfile-mimeinfo-perl libgdk-pixbuf2.0-bin libglib2.0-data libgtk-3-bin libltdl-dev libmail-sendmail-perl libnet-dbus-perl libnss-systemd librsvg2-common libwww-perl libx11-protocol-perl libxml-sax-expat-perl lmodern lynx mailutils ntpsec openntpd psmisc systemd-timesyncd tex-gyre tipa wget x11-utils x11-xserver-utils xdg-user-dirs 0 packages upgraded, 186 newly installed, 0 to remove and 0 not upgraded. Need to get 196 MB of archives. After unpacking 657 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian bookworm/main i386 libargon2-1 i386 0~20171227-0.3+deb12u1 [22.4 kB] Get: 2 http://deb.debian.org/debian bookworm/main i386 dmsetup i386 2:1.02.185-2 [77.2 kB] Get: 3 http://deb.debian.org/debian bookworm/main i386 libdevmapper1.02.1 i386 2:1.02.185-2 [129 kB] Get: 4 http://deb.debian.org/debian bookworm/main i386 libjson-c5 i386 0.16-2 [46.4 kB] Get: 5 http://deb.debian.org/debian bookworm/main i386 libcryptsetup12 i386 2:2.6.1-4~deb12u1 [256 kB] Get: 6 http://deb.debian.org/debian bookworm/main i386 libfdisk1 i386 2.38.1-5+b1 [212 kB] Get: 7 http://deb.debian.org/debian bookworm/main i386 libkmod2 i386 30+20221128-1 [62.8 kB] Get: 8 http://deb.debian.org/debian bookworm/main i386 libapparmor1 i386 3.0.8-3 [42.2 kB] Get: 9 http://deb.debian.org/debian bookworm/main i386 libip4tc2 i386 1.8.9-2 [19.8 kB] Get: 10 http://deb.debian.org/debian bookworm/main i386 libsystemd-shared i386 252.6-1 [1753 kB] Get: 11 http://deb.debian.org/debian bookworm/main i386 systemd i386 252.6-1 [3025 kB] Get: 12 http://deb.debian.org/debian bookworm/main i386 systemd-sysv i386 252.6-1 [41.5 kB] Get: 13 http://deb.debian.org/debian bookworm/main i386 libdbus-1-3 i386 1.14.6-1 [213 kB] Get: 14 http://deb.debian.org/debian bookworm/main i386 dbus-bin i386 1.14.6-1 [104 kB] Get: 15 http://deb.debian.org/debian bookworm/main i386 dbus-session-bus-common all 1.14.6-1 [76.6 kB] Get: 16 http://deb.debian.org/debian bookworm/main i386 libexpat1 i386 2.5.0-1 [103 kB] Get: 17 http://deb.debian.org/debian bookworm/main i386 dbus-daemon i386 1.14.6-1 [192 kB] Get: 18 http://deb.debian.org/debian bookworm/main i386 dbus-system-bus-common all 1.14.6-1 [77.7 kB] Get: 19 http://deb.debian.org/debian bookworm/main i386 dbus i386 1.14.6-1 [97.9 kB] Get: 20 http://deb.debian.org/debian bookworm/main i386 isa-support i386 15.1 [9436 B] Get: 21 http://deb.debian.org/debian bookworm/main i386 sse2-support i386 15.1 [3316 B] Get: 22 http://deb.debian.org/debian bookworm/main i386 install-info i386 6.8-6+b1 [174 kB] Get: 23 http://deb.debian.org/debian bookworm/main i386 libproc2-0 i386 2:4.0.2-3 [63.7 kB] Get: 24 http://deb.debian.org/debian bookworm/main i386 procps i386 2:4.0.2-3 [706 kB] Get: 25 http://deb.debian.org/debian bookworm/main i386 sensible-utils all 0.0.17+nmu1 [19.0 kB] Get: 26 http://deb.debian.org/debian bookworm/main i386 libmagic-mgc i386 1:5.44-3 [305 kB] Get: 27 http://deb.debian.org/debian bookworm/main i386 libmagic1 i386 1:5.44-3 [114 kB] Get: 28 http://deb.debian.org/debian bookworm/main i386 file i386 1:5.44-3 [42.5 kB] Get: 29 http://deb.debian.org/debian bookworm/main i386 gettext-base i386 0.21-12 [162 kB] Get: 30 http://deb.debian.org/debian bookworm/main i386 libuchardet0 i386 0.0.7-1 [67.9 kB] Get: 31 http://deb.debian.org/debian bookworm/main i386 groff-base i386 1.22.4-10 [932 kB] Get: 32 http://deb.debian.org/debian bookworm/main i386 libpam-systemd i386 252.6-1 [231 kB] Get: 33 http://deb.debian.org/debian bookworm/main i386 bsdextrautils i386 2.38.1-5+b1 [90.3 kB] Get: 34 http://deb.debian.org/debian bookworm/main i386 libpipeline1 i386 1.5.7-1 [40.0 kB] Get: 35 http://deb.debian.org/debian bookworm/main i386 man-db i386 2.11.2-2 [1397 kB] Get: 36 http://deb.debian.org/debian bookworm/main i386 ucf all 3.0043+nmu1 [55.2 kB] Get: 37 http://deb.debian.org/debian bookworm/main i386 hicolor-icon-theme all 0.17-2 [11.4 kB] Get: 38 http://deb.debian.org/debian bookworm/main i386 libgdk-pixbuf2.0-common all 2.42.10+dfsg-1 [306 kB] Get: 39 http://deb.debian.org/debian bookworm/main i386 libglib2.0-0 i386 2.74.6-2 [1467 kB] Get: 40 http://deb.debian.org/debian bookworm/main i386 libicu72 i386 72.1-3 [9541 kB] Get: 41 http://deb.debian.org/debian bookworm/main i386 libxml2 i386 2.9.14+dfsg-1.2 [720 kB] Get: 42 http://deb.debian.org/debian bookworm/main i386 shared-mime-info i386 2.2-1 [730 kB] Get: 43 http://deb.debian.org/debian bookworm/main i386 libjpeg62-turbo i386 1:2.1.5-2 [169 kB] Get: 44 http://deb.debian.org/debian bookworm/main i386 libpng16-16 i386 1.6.39-2 [283 kB] Get: 45 http://deb.debian.org/debian bookworm/main i386 libdeflate0 i386 1.14-1 [57.5 kB] Get: 46 http://deb.debian.org/debian bookworm/main i386 libjbig0 i386 2.1-6.1 [31.6 kB] Get: 47 http://deb.debian.org/debian bookworm/main i386 liblerc4 i386 4.0.0+ds-2 [181 kB] Get: 48 http://deb.debian.org/debian bookworm/main i386 libwebp7 i386 1.2.4-0.2 [293 kB] Get: 49 http://deb.debian.org/debian bookworm/main i386 libtiff6 i386 4.5.0-6 [332 kB] Get: 50 http://deb.debian.org/debian bookworm/main i386 libgdk-pixbuf-2.0-0 i386 2.42.10+dfsg-1+b1 [147 kB] Get: 51 http://deb.debian.org/debian bookworm/main i386 gtk-update-icon-cache i386 3.24.37-2 [43.9 kB] Get: 52 http://deb.debian.org/debian bookworm/main i386 adwaita-icon-theme all 43-1 [5124 kB] Get: 53 http://deb.debian.org/debian bookworm/main i386 at-spi2-common all 2.46.0-5 [162 kB] Get: 54 http://deb.debian.org/debian bookworm/main i386 m4 i386 1.4.19-3 [294 kB] Get: 55 http://deb.debian.org/debian bookworm/main i386 autoconf all 2.71-3 [332 kB] Get: 56 http://deb.debian.org/debian bookworm/main i386 autotools-dev all 20220109.1 [51.6 kB] Get: 57 http://deb.debian.org/debian bookworm/main i386 automake all 1:1.16.5-1.3 [823 kB] Get: 58 http://deb.debian.org/debian bookworm/main i386 autopoint all 0.21-12 [495 kB] Get: 59 http://deb.debian.org/debian bookworm/main i386 dbus-user-session i386 1.14.6-1 [76.5 kB] Get: 60 http://deb.debian.org/debian bookworm/main i386 libdconf1 i386 0.40.0-4 [42.9 kB] Get: 61 http://deb.debian.org/debian bookworm/main i386 dconf-service i386 0.40.0-4 [34.3 kB] Get: 62 http://deb.debian.org/debian bookworm/main i386 dconf-gsettings-backend i386 0.40.0-4 [29.8 kB] Get: 63 http://deb.debian.org/debian bookworm/main i386 libdebhelper-perl all 13.11.4 [81.2 kB] Get: 64 http://deb.debian.org/debian bookworm/main i386 libtool all 2.4.7-5 [517 kB] Get: 65 http://deb.debian.org/debian bookworm/main i386 dh-autoreconf all 20 [17.1 kB] Get: 66 http://deb.debian.org/debian bookworm/main i386 libarchive-zip-perl all 1.68-1 [104 kB] Get: 67 http://deb.debian.org/debian bookworm/main i386 libsub-override-perl all 0.09-4 [9304 B] Get: 68 http://deb.debian.org/debian bookworm/main i386 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get: 69 http://deb.debian.org/debian bookworm/main i386 dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get: 70 http://deb.debian.org/debian bookworm/main i386 libelf1 i386 0.188-2.1 [179 kB] Get: 71 http://deb.debian.org/debian bookworm/main i386 dwz i386 0.15-1 [118 kB] Get: 72 http://deb.debian.org/debian bookworm/main i386 gettext i386 0.21-12 [1311 kB] Get: 73 http://deb.debian.org/debian bookworm/main i386 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 74 http://deb.debian.org/debian bookworm/main i386 po-debconf all 1.0.21+nmu1 [248 kB] Get: 75 http://deb.debian.org/debian bookworm/main i386 debhelper all 13.11.4 [942 kB] Get: 76 http://deb.debian.org/debian bookworm/main i386 emacs-el all 1:28.2+1-15 [16.9 MB] Get: 77 http://deb.debian.org/debian bookworm/main i386 emacsen-common all 3.0.5 [12.3 kB] Get: 78 http://deb.debian.org/debian bookworm/main i386 emacs-common all 1:28.2+1-15 [14.0 MB] Get: 79 http://deb.debian.org/debian bookworm/main i386 emacs-bin-common i386 1:28.2+1-15 [102 kB] Get: 80 http://deb.debian.org/debian bookworm/main i386 libasound2-data all 1.2.8-1 [20.5 kB] Get: 81 http://deb.debian.org/debian bookworm/main i386 libasound2 i386 1.2.8-1+b1 [388 kB] Get: 82 http://deb.debian.org/debian bookworm/main i386 libbrotli1 i386 1.0.9-2+b6 [275 kB] Get: 83 http://deb.debian.org/debian bookworm/main i386 libfreetype6 i386 2.12.1+dfsg-5 [410 kB] Get: 84 http://deb.debian.org/debian bookworm/main i386 fonts-dejavu-core all 2.37-6 [1068 kB] Get: 85 http://deb.debian.org/debian bookworm/main i386 fontconfig-config i386 2.14.1-4 [315 kB] Get: 86 http://deb.debian.org/debian bookworm/main i386 libfontconfig1 i386 2.14.1-4 [398 kB] Get: 87 http://deb.debian.org/debian bookworm/main i386 libpixman-1-0 i386 0.42.2-1 [548 kB] Get: 88 http://deb.debian.org/debian bookworm/main i386 libxau6 i386 1:1.0.9-1 [20.0 kB] Get: 89 http://deb.debian.org/debian bookworm/main i386 libbsd0 i386 0.11.7-2 [121 kB] Get: 90 http://deb.debian.org/debian bookworm/main i386 libxdmcp6 i386 1:1.1.2-3 [26.7 kB] Get: 91 http://deb.debian.org/debian bookworm/main i386 libxcb1 i386 1.15-1 [148 kB] Get: 92 http://deb.debian.org/debian bookworm/main i386 libx11-data all 2:1.8.4-2 [292 kB] Get: 93 http://deb.debian.org/debian bookworm/main i386 libx11-6 i386 2:1.8.4-2 [782 kB] Get: 94 http://deb.debian.org/debian bookworm/main i386 libxcb-render0 i386 1.15-1 [116 kB] Get: 95 http://deb.debian.org/debian bookworm/main i386 libxcb-shm0 i386 1.15-1 [106 kB] Get: 96 http://deb.debian.org/debian bookworm/main i386 libxext6 i386 2:1.3.4-1+b1 [55.3 kB] Get: 97 http://deb.debian.org/debian bookworm/main i386 libxrender1 i386 1:0.9.10-1.1 [34.1 kB] Get: 98 http://deb.debian.org/debian bookworm/main i386 libcairo2 i386 1.16.0-7 [627 kB] Get: 99 http://deb.debian.org/debian bookworm/main i386 libgccjit0 i386 12.2.0-14 [9312 kB] Get: 100 http://deb.debian.org/debian bookworm/main i386 libgif7 i386 5.2.1-2.5 [48.3 kB] Get: 101 http://deb.debian.org/debian bookworm/main i386 libgpm2 i386 1.20.7-10+b1 [14.9 kB] Get: 102 http://deb.debian.org/debian bookworm/main i386 libatk1.0-0 i386 2.46.0-5 [49.4 kB] Get: 103 http://deb.debian.org/debian bookworm/main i386 libxi6 i386 2:1.8-1+b1 [86.2 kB] Get: 104 http://deb.debian.org/debian bookworm/main i386 libatspi2.0-0 i386 2.46.0-5 [79.1 kB] Get: 105 http://deb.debian.org/debian bookworm/main i386 libatk-bridge2.0-0 i386 2.46.0-5 [69.8 kB] Get: 106 http://deb.debian.org/debian bookworm/main i386 libcairo-gobject2 i386 1.16.0-7 [111 kB] Get: 107 http://deb.debian.org/debian bookworm/main i386 liblcms2-2 i386 2.14-2 [165 kB] Get: 108 http://deb.debian.org/debian bookworm/main i386 libcolord2 i386 1.4.6-2.2 [144 kB] Get: 109 http://deb.debian.org/debian bookworm/main i386 libavahi-common-data i386 0.8-10 [107 kB] Get: 110 http://deb.debian.org/debian bookworm/main i386 libavahi-common3 i386 0.8-10 [43.5 kB] Get: 111 http://deb.debian.org/debian bookworm/main i386 libavahi-client3 i386 0.8-10 [47.6 kB] Get: 112 http://deb.debian.org/debian bookworm/main i386 libcups2 i386 2.4.2-3 [261 kB] Get: 113 http://deb.debian.org/debian bookworm/main i386 libepoxy0 i386 1.5.10-1 [198 kB] Get: 114 http://deb.debian.org/debian bookworm/main i386 libfribidi0 i386 1.0.8-2.1 [65.6 kB] Get: 115 http://deb.debian.org/debian bookworm/main i386 libgraphite2-3 i386 1.3.14-1 [84.0 kB] Get: 116 http://deb.debian.org/debian bookworm/main i386 libharfbuzz0b i386 6.0.0+dfsg-3 [1966 kB] Get: 117 http://deb.debian.org/debian bookworm/main i386 fontconfig i386 2.14.1-4 [450 kB] Get: 118 http://deb.debian.org/debian bookworm/main i386 libthai-data all 0.1.29-1 [176 kB] Get: 119 http://deb.debian.org/debian bookworm/main i386 libdatrie1 i386 0.2.13-2+b1 [45.0 kB] Get: 120 http://deb.debian.org/debian bookworm/main i386 libthai0 i386 0.1.29-1 [58.6 kB] Get: 121 http://deb.debian.org/debian bookworm/main i386 libpango-1.0-0 i386 1.50.12+ds-1 [220 kB] Get: 122 http://deb.debian.org/debian bookworm/main i386 libpangoft2-1.0-0 i386 1.50.12+ds-1 [50.5 kB] Get: 123 http://deb.debian.org/debian bookworm/main i386 libpangocairo-1.0-0 i386 1.50.12+ds-1 [35.4 kB] Get: 124 http://deb.debian.org/debian bookworm/main i386 libwayland-client0 i386 1.21.0-1 [29.0 kB] Get: 125 http://deb.debian.org/debian bookworm/main i386 libwayland-cursor0 i386 1.21.0-1 [15.0 kB] Get: 126 http://deb.debian.org/debian bookworm/main i386 libwayland-egl1 i386 1.21.0-1 [8740 B] Get: 127 http://deb.debian.org/debian bookworm/main i386 libxcomposite1 i386 1:0.4.5-1 [16.9 kB] Get: 128 http://deb.debian.org/debian bookworm/main i386 libxfixes3 i386 1:6.0.0-2 [23.0 kB] Get: 129 http://deb.debian.org/debian bookworm/main i386 libxcursor1 i386 1:1.2.1-1 [42.4 kB] Get: 130 http://deb.debian.org/debian bookworm/main i386 libxdamage1 i386 1:1.1.6-1 [15.3 kB] Get: 131 http://deb.debian.org/debian bookworm/main i386 libxinerama1 i386 2:1.1.4-3 [18.1 kB] Get: 132 http://deb.debian.org/debian bookworm/main i386 xkb-data all 2.35.1-1 [764 kB] Get: 133 http://deb.debian.org/debian bookworm/main i386 libxkbcommon0 i386 1.5.0-1 [112 kB] Get: 134 http://deb.debian.org/debian bookworm/main i386 libxrandr2 i386 2:1.5.2-2+b1 [40.8 kB] Get: 135 http://deb.debian.org/debian bookworm/main i386 libgtk-3-common all 3.24.37-2 [3891 kB] Get: 136 http://deb.debian.org/debian bookworm/main i386 libgtk-3-0 i386 3.24.37-2 [3045 kB] Get: 137 http://deb.debian.org/debian bookworm/main i386 x11-common all 1:7.7+23 [252 kB] Get: 138 http://deb.debian.org/debian bookworm/main i386 libice6 i386 2:1.0.10-1 [60.8 kB] Get: 139 http://deb.debian.org/debian bookworm/main i386 m17n-db all 1.8.0-5 [1297 kB] Get: 140 http://deb.debian.org/debian bookworm/main i386 libaom3 i386 3.6.0-1 [1895 kB] Get: 141 http://deb.debian.org/debian bookworm/main i386 libdav1d6 i386 1.0.0-2 [316 kB] Get: 142 http://deb.debian.org/debian bookworm/main i386 libabsl20220623 i386 20220623.1-1 [444 kB] Get: 143 http://deb.debian.org/debian bookworm/main i386 libgav1-1 i386 0.18.0-1+b1 [307 kB] Get: 144 http://deb.debian.org/debian bookworm/main i386 librav1e0 i386 0.5.1-6 [615 kB] Get: 145 http://deb.debian.org/debian bookworm/main i386 libyuv0 i386 0.0~git20230123.b2528b0-1 [108 kB] Get: 146 http://deb.debian.org/debian bookworm/main i386 libavif15 i386 0.11.1-1 [101 kB] Get: 147 http://deb.debian.org/debian bookworm/main i386 libde265-0 i386 1.0.11-1 [193 kB] Get: 148 http://deb.debian.org/debian bookworm/main i386 libnuma1 i386 2.0.16-1 [22.7 kB] Get: 149 http://deb.debian.org/debian bookworm/main i386 libx265-199 i386 3.5-2+b1 [687 kB] Get: 150 http://deb.debian.org/debian bookworm/main i386 libheif1 i386 1.15.1-1 [230 kB] Get: 151 http://deb.debian.org/debian bookworm/main i386 libxpm4 i386 1:3.5.12-1.1 [50.0 kB] Get: 152 http://deb.debian.org/debian bookworm/main i386 libgd3 i386 2.3.3-9 [129 kB] Get: 153 http://deb.debian.org/debian bookworm/main i386 libotf1 i386 0.9.16-4 [54.6 kB] Get: 154 http://deb.debian.org/debian bookworm/main i386 libxft2 i386 2.3.6-1 [62.8 kB] Get: 155 http://deb.debian.org/debian bookworm/main i386 libsm6 i386 2:1.2.3-1 [35.7 kB] Get: 156 http://deb.debian.org/debian bookworm/main i386 libxt6 i386 1:1.2.1-1.1 [192 kB] Get: 157 http://deb.debian.org/debian bookworm/main i386 libm17n-0 i386 1.8.0-6 [263 kB] Get: 158 http://deb.debian.org/debian bookworm/main i386 librsvg2-2 i386 2.54.5+dfsg-1 [2753 kB] Get: 159 http://deb.debian.org/debian bookworm/main i386 emacs-gtk i386 1:28.2+1-15 [6244 kB] Get: 160 http://deb.debian.org/debian bookworm/main i386 fonts-lmodern all 2.005-1 [4540 kB] Get: 161 http://deb.debian.org/debian bookworm/main i386 libkpathsea6 i386 2022.20220321.62855-5.1 [155 kB] Get: 162 http://deb.debian.org/debian bookworm/main i386 libpaper1 i386 1.1.29 [12.7 kB] Get: 163 http://deb.debian.org/debian bookworm/main i386 libpaper-utils i386 1.1.29 [8972 B] Get: 164 http://deb.debian.org/debian bookworm/main i386 libptexenc1 i386 2022.20220321.62855-5.1 [44.7 kB] Get: 165 http://deb.debian.org/debian bookworm/main i386 libsynctex2 i386 2022.20220321.62855-5.1 [62.4 kB] Get: 166 http://deb.debian.org/debian bookworm/main i386 libteckit0 i386 2.5.11+ds1-1+b1 [282 kB] Get: 167 http://deb.debian.org/debian bookworm/main i386 libtexlua53-5 i386 2022.20220321.62855-5.1 [126 kB] Get: 168 http://deb.debian.org/debian bookworm/main i386 libtexluajit2 i386 2022.20220321.62855-5.1 [262 kB] Get: 169 http://deb.debian.org/debian bookworm/main i386 libtext-unidecode-perl all 1.30-3 [101 kB] Get: 170 http://deb.debian.org/debian bookworm/main i386 libxmu6 i386 2:1.1.3-3 [62.5 kB] Get: 171 http://deb.debian.org/debian bookworm/main i386 libxaw7 i386 2:1.0.14-1 [209 kB] Get: 172 http://deb.debian.org/debian bookworm/main i386 libxml-namespacesupport-perl all 1.12-2 [15.1 kB] Get: 173 http://deb.debian.org/debian bookworm/main i386 libxml-sax-base-perl all 1.09-3 [20.6 kB] Get: 174 http://deb.debian.org/debian bookworm/main i386 libxml-sax-perl all 1.02+dfsg-3 [59.4 kB] Get: 175 http://deb.debian.org/debian bookworm/main i386 libxml-libxml-perl i386 2.0207+dfsg+really+2.0134-1+b1 [333 kB] Get: 176 http://deb.debian.org/debian bookworm/main i386 libzzip-0-13 i386 0.13.72+dfsg.1-1.1 [60.1 kB] Get: 177 http://deb.debian.org/debian bookworm/main i386 t1utils i386 1.41-4 [62.3 kB] Get: 178 http://deb.debian.org/debian bookworm/main i386 tex-common all 6.18 [32.5 kB] Get: 179 http://deb.debian.org/debian bookworm/main i386 texinfo i386 6.8-6+b1 [1820 kB] Get: 180 http://deb.debian.org/debian bookworm/main i386 texlive-binaries i386 2022.20220321.62855-5.1 [10.6 MB] Get: 181 http://deb.debian.org/debian bookworm/main i386 xdg-utils all 1.1.3-4.1 [75.5 kB] Get: 182 http://deb.debian.org/debian bookworm/main i386 texlive-base all 2022.20230122-3 [21.9 MB] Get: 183 http://deb.debian.org/debian bookworm/main i386 texlive-fonts-recommended all 2022.20230122-3 [4988 kB] Get: 184 http://deb.debian.org/debian bookworm/main i386 texlive-latex-base all 2022.20230122-3 [1182 kB] Get: 185 http://deb.debian.org/debian bookworm/main i386 texlive-latex-recommended all 2022.20230122-3 [8880 kB] Get: 186 http://deb.debian.org/debian bookworm/main i386 texlive-plain-generic all 2022.20230122-4 [28.9 MB] Fetched 196 MB in 7s (28.3 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libargon2-1:i386. (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 ... 19599 files and directories currently installed.) Preparing to unpack .../00-libargon2-1_0~20171227-0.3+deb12u1_i386.deb ... Unpacking libargon2-1:i386 (0~20171227-0.3+deb12u1) ... Selecting previously unselected package dmsetup. Preparing to unpack .../01-dmsetup_2%3a1.02.185-2_i386.deb ... Unpacking dmsetup (2:1.02.185-2) ... Selecting previously unselected package libdevmapper1.02.1:i386. Preparing to unpack .../02-libdevmapper1.02.1_2%3a1.02.185-2_i386.deb ... Unpacking libdevmapper1.02.1:i386 (2:1.02.185-2) ... Selecting previously unselected package libjson-c5:i386. Preparing to unpack .../03-libjson-c5_0.16-2_i386.deb ... Unpacking libjson-c5:i386 (0.16-2) ... Selecting previously unselected package libcryptsetup12:i386. Preparing to unpack .../04-libcryptsetup12_2%3a2.6.1-4~deb12u1_i386.deb ... Unpacking libcryptsetup12:i386 (2:2.6.1-4~deb12u1) ... Selecting previously unselected package libfdisk1:i386. Preparing to unpack .../05-libfdisk1_2.38.1-5+b1_i386.deb ... Unpacking libfdisk1:i386 (2.38.1-5+b1) ... Selecting previously unselected package libkmod2:i386. Preparing to unpack .../06-libkmod2_30+20221128-1_i386.deb ... Unpacking libkmod2:i386 (30+20221128-1) ... Selecting previously unselected package libapparmor1:i386. Preparing to unpack .../07-libapparmor1_3.0.8-3_i386.deb ... Unpacking libapparmor1:i386 (3.0.8-3) ... Selecting previously unselected package libip4tc2:i386. Preparing to unpack .../08-libip4tc2_1.8.9-2_i386.deb ... Unpacking libip4tc2:i386 (1.8.9-2) ... Selecting previously unselected package libsystemd-shared:i386. Preparing to unpack .../09-libsystemd-shared_252.6-1_i386.deb ... Unpacking libsystemd-shared:i386 (252.6-1) ... Selecting previously unselected package systemd. Preparing to unpack .../10-systemd_252.6-1_i386.deb ... Unpacking systemd (252.6-1) ... Setting up libargon2-1:i386 (0~20171227-0.3+deb12u1) ... Setting up libjson-c5:i386 (0.16-2) ... Setting up libfdisk1:i386 (2.38.1-5+b1) ... Setting up libkmod2:i386 (30+20221128-1) ... Setting up libapparmor1:i386 (3.0.8-3) ... Setting up libip4tc2:i386 (1.8.9-2) ... Setting up libsystemd-shared:i386 (252.6-1) ... Setting up libdevmapper1.02.1:i386 (2:1.02.185-2) ... Setting up libcryptsetup12:i386 (2:2.6.1-4~deb12u1) ... Setting up systemd (252.6-1) ... Created symlink /etc/systemd/system/getty.target.wants/getty@tty1.service -> /lib/systemd/system/getty@.service. Created symlink /etc/systemd/system/multi-user.target.wants/remote-fs.target -> /lib/systemd/system/remote-fs.target. Created symlink /etc/systemd/system/sysinit.target.wants/systemd-pstore.service -> /lib/systemd/system/systemd-pstore.service. Initializing machine ID from random generator. Creating group 'systemd-journal' with GID 999. Creating group 'systemd-network' with GID 998. Creating user 'systemd-network' (systemd Network Management) with UID 998 and GID 998. Setting up dmsetup (2:1.02.185-2) ... Selecting previously unselected package systemd-sysv. (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 ... 20514 files and directories currently installed.) Preparing to unpack .../0-systemd-sysv_252.6-1_i386.deb ... Unpacking systemd-sysv (252.6-1) ... Selecting previously unselected package libdbus-1-3:i386. Preparing to unpack .../1-libdbus-1-3_1.14.6-1_i386.deb ... Unpacking libdbus-1-3:i386 (1.14.6-1) ... Selecting previously unselected package dbus-bin. Preparing to unpack .../2-dbus-bin_1.14.6-1_i386.deb ... Unpacking dbus-bin (1.14.6-1) ... Selecting previously unselected package dbus-session-bus-common. Preparing to unpack .../3-dbus-session-bus-common_1.14.6-1_all.deb ... Unpacking dbus-session-bus-common (1.14.6-1) ... Selecting previously unselected package libexpat1:i386. Preparing to unpack .../4-libexpat1_2.5.0-1_i386.deb ... Unpacking libexpat1:i386 (2.5.0-1) ... Selecting previously unselected package dbus-daemon. Preparing to unpack .../5-dbus-daemon_1.14.6-1_i386.deb ... Unpacking dbus-daemon (1.14.6-1) ... Selecting previously unselected package dbus-system-bus-common. Preparing to unpack .../6-dbus-system-bus-common_1.14.6-1_all.deb ... Unpacking dbus-system-bus-common (1.14.6-1) ... Selecting previously unselected package dbus. Preparing to unpack .../7-dbus_1.14.6-1_i386.deb ... Unpacking dbus (1.14.6-1) ... Selecting previously unselected package isa-support:i386. Preparing to unpack .../8-isa-support_15.1_i386.deb ... Unpacking isa-support:i386 (15.1) ... Setting up isa-support:i386 (15.1) ... Selecting previously unselected package sse2-support. (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 ... 20633 files and directories currently installed.) Preparing to unpack .../sse2-support_15.1_i386.deb ... Unpacking sse2-support (15.1) ... Selecting previously unselected package install-info. Preparing to unpack .../install-info_6.8-6+b1_i386.deb ... Unpacking install-info (6.8-6+b1) ... Setting up install-info (6.8-6+b1) ... Selecting previously unselected package libproc2-0:i386. (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 ... 20650 files and directories currently installed.) Preparing to unpack .../000-libproc2-0_2%3a4.0.2-3_i386.deb ... Unpacking libproc2-0:i386 (2:4.0.2-3) ... Selecting previously unselected package procps. Preparing to unpack .../001-procps_2%3a4.0.2-3_i386.deb ... Unpacking procps (2:4.0.2-3) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../002-sensible-utils_0.0.17+nmu1_all.deb ... Unpacking sensible-utils (0.0.17+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../003-libmagic-mgc_1%3a5.44-3_i386.deb ... Unpacking libmagic-mgc (1:5.44-3) ... Selecting previously unselected package libmagic1:i386. Preparing to unpack .../004-libmagic1_1%3a5.44-3_i386.deb ... Unpacking libmagic1:i386 (1:5.44-3) ... Selecting previously unselected package file. Preparing to unpack .../005-file_1%3a5.44-3_i386.deb ... Unpacking file (1:5.44-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../006-gettext-base_0.21-12_i386.deb ... Unpacking gettext-base (0.21-12) ... Selecting previously unselected package libuchardet0:i386. Preparing to unpack .../007-libuchardet0_0.0.7-1_i386.deb ... Unpacking libuchardet0:i386 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../008-groff-base_1.22.4-10_i386.deb ... Unpacking groff-base (1.22.4-10) ... Selecting previously unselected package libpam-systemd:i386. Preparing to unpack .../009-libpam-systemd_252.6-1_i386.deb ... Unpacking libpam-systemd:i386 (252.6-1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../010-bsdextrautils_2.38.1-5+b1_i386.deb ... Unpacking bsdextrautils (2.38.1-5+b1) ... Selecting previously unselected package libpipeline1:i386. Preparing to unpack .../011-libpipeline1_1.5.7-1_i386.deb ... Unpacking libpipeline1:i386 (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../012-man-db_2.11.2-2_i386.deb ... Unpacking man-db (2.11.2-2) ... Selecting previously unselected package ucf. Preparing to unpack .../013-ucf_3.0043+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0043+nmu1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../014-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../015-libgdk-pixbuf2.0-common_2.42.10+dfsg-1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-1) ... Selecting previously unselected package libglib2.0-0:i386. Preparing to unpack .../016-libglib2.0-0_2.74.6-2_i386.deb ... Unpacking libglib2.0-0:i386 (2.74.6-2) ... Selecting previously unselected package libicu72:i386. Preparing to unpack .../017-libicu72_72.1-3_i386.deb ... Unpacking libicu72:i386 (72.1-3) ... Selecting previously unselected package libxml2:i386. Preparing to unpack .../018-libxml2_2.9.14+dfsg-1.2_i386.deb ... Unpacking libxml2:i386 (2.9.14+dfsg-1.2) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../019-shared-mime-info_2.2-1_i386.deb ... Unpacking shared-mime-info (2.2-1) ... Selecting previously unselected package libjpeg62-turbo:i386. Preparing to unpack .../020-libjpeg62-turbo_1%3a2.1.5-2_i386.deb ... Unpacking libjpeg62-turbo:i386 (1:2.1.5-2) ... Selecting previously unselected package libpng16-16:i386. Preparing to unpack .../021-libpng16-16_1.6.39-2_i386.deb ... Unpacking libpng16-16:i386 (1.6.39-2) ... Selecting previously unselected package libdeflate0:i386. Preparing to unpack .../022-libdeflate0_1.14-1_i386.deb ... Unpacking libdeflate0:i386 (1.14-1) ... Selecting previously unselected package libjbig0:i386. Preparing to unpack .../023-libjbig0_2.1-6.1_i386.deb ... Unpacking libjbig0:i386 (2.1-6.1) ... Selecting previously unselected package liblerc4:i386. Preparing to unpack .../024-liblerc4_4.0.0+ds-2_i386.deb ... Unpacking liblerc4:i386 (4.0.0+ds-2) ... Selecting previously unselected package libwebp7:i386. Preparing to unpack .../025-libwebp7_1.2.4-0.2_i386.deb ... Unpacking libwebp7:i386 (1.2.4-0.2) ... Selecting previously unselected package libtiff6:i386. Preparing to unpack .../026-libtiff6_4.5.0-6_i386.deb ... Unpacking libtiff6:i386 (4.5.0-6) ... Selecting previously unselected package libgdk-pixbuf-2.0-0:i386. Preparing to unpack .../027-libgdk-pixbuf-2.0-0_2.42.10+dfsg-1+b1_i386.deb ... Unpacking libgdk-pixbuf-2.0-0:i386 (2.42.10+dfsg-1+b1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../028-gtk-update-icon-cache_3.24.37-2_i386.deb ... Unpacking gtk-update-icon-cache (3.24.37-2) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../029-adwaita-icon-theme_43-1_all.deb ... Unpacking adwaita-icon-theme (43-1) ... Selecting previously unselected package at-spi2-common. Preparing to unpack .../030-at-spi2-common_2.46.0-5_all.deb ... Unpacking at-spi2-common (2.46.0-5) ... Selecting previously unselected package m4. Preparing to unpack .../031-m4_1.4.19-3_i386.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package autoconf. Preparing to unpack .../032-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../033-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../034-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../035-autopoint_0.21-12_all.deb ... Unpacking autopoint (0.21-12) ... Selecting previously unselected package dbus-user-session. Preparing to unpack .../036-dbus-user-session_1.14.6-1_i386.deb ... Unpacking dbus-user-session (1.14.6-1) ... Selecting previously unselected package libdconf1:i386. Preparing to unpack .../037-libdconf1_0.40.0-4_i386.deb ... Unpacking libdconf1:i386 (0.40.0-4) ... Selecting previously unselected package dconf-service. Preparing to unpack .../038-dconf-service_0.40.0-4_i386.deb ... Unpacking dconf-service (0.40.0-4) ... Selecting previously unselected package dconf-gsettings-backend:i386. Preparing to unpack .../039-dconf-gsettings-backend_0.40.0-4_i386.deb ... Unpacking dconf-gsettings-backend:i386 (0.40.0-4) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../040-libdebhelper-perl_13.11.4_all.deb ... Unpacking libdebhelper-perl (13.11.4) ... Selecting previously unselected package libtool. Preparing to unpack .../041-libtool_2.4.7-5_all.deb ... Unpacking libtool (2.4.7-5) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../042-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../043-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../044-libsub-override-perl_0.09-4_all.deb ... Unpacking libsub-override-perl (0.09-4) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../045-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../046-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:i386. Preparing to unpack .../047-libelf1_0.188-2.1_i386.deb ... Unpacking libelf1:i386 (0.188-2.1) ... Selecting previously unselected package dwz. Preparing to unpack .../048-dwz_0.15-1_i386.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package gettext. Preparing to unpack .../049-gettext_0.21-12_i386.deb ... Unpacking gettext (0.21-12) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../050-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../051-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../052-debhelper_13.11.4_all.deb ... Unpacking debhelper (13.11.4) ... Selecting previously unselected package emacs-el. Preparing to unpack .../053-emacs-el_1%3a28.2+1-15_all.deb ... Unpacking emacs-el (1:28.2+1-15) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../054-emacsen-common_3.0.5_all.deb ... Unpacking emacsen-common (3.0.5) ... Selecting previously unselected package emacs-common. Preparing to unpack .../055-emacs-common_1%3a28.2+1-15_all.deb ... Unpacking emacs-common (1:28.2+1-15) ... Selecting previously unselected package emacs-bin-common. Preparing to unpack .../056-emacs-bin-common_1%3a28.2+1-15_i386.deb ... Unpacking emacs-bin-common (1:28.2+1-15) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../057-libasound2-data_1.2.8-1_all.deb ... Unpacking libasound2-data (1.2.8-1) ... Selecting previously unselected package libasound2:i386. Preparing to unpack .../058-libasound2_1.2.8-1+b1_i386.deb ... Unpacking libasound2:i386 (1.2.8-1+b1) ... Selecting previously unselected package libbrotli1:i386. Preparing to unpack .../059-libbrotli1_1.0.9-2+b6_i386.deb ... Unpacking libbrotli1:i386 (1.0.9-2+b6) ... Selecting previously unselected package libfreetype6:i386. Preparing to unpack .../060-libfreetype6_2.12.1+dfsg-5_i386.deb ... Unpacking libfreetype6:i386 (2.12.1+dfsg-5) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../061-fonts-dejavu-core_2.37-6_all.deb ... Unpacking fonts-dejavu-core (2.37-6) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../062-fontconfig-config_2.14.1-4_i386.deb ... Unpacking fontconfig-config (2.14.1-4) ... Selecting previously unselected package libfontconfig1:i386. Preparing to unpack .../063-libfontconfig1_2.14.1-4_i386.deb ... Unpacking libfontconfig1:i386 (2.14.1-4) ... Selecting previously unselected package libpixman-1-0:i386. Preparing to unpack .../064-libpixman-1-0_0.42.2-1_i386.deb ... Unpacking libpixman-1-0:i386 (0.42.2-1) ... Selecting previously unselected package libxau6:i386. Preparing to unpack .../065-libxau6_1%3a1.0.9-1_i386.deb ... Unpacking libxau6:i386 (1:1.0.9-1) ... Selecting previously unselected package libbsd0:i386. Preparing to unpack .../066-libbsd0_0.11.7-2_i386.deb ... Unpacking libbsd0:i386 (0.11.7-2) ... Selecting previously unselected package libxdmcp6:i386. Preparing to unpack .../067-libxdmcp6_1%3a1.1.2-3_i386.deb ... Unpacking libxdmcp6:i386 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:i386. Preparing to unpack .../068-libxcb1_1.15-1_i386.deb ... Unpacking libxcb1:i386 (1.15-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../069-libx11-data_2%3a1.8.4-2_all.deb ... Unpacking libx11-data (2:1.8.4-2) ... Selecting previously unselected package libx11-6:i386. Preparing to unpack .../070-libx11-6_2%3a1.8.4-2_i386.deb ... Unpacking libx11-6:i386 (2:1.8.4-2) ... Selecting previously unselected package libxcb-render0:i386. Preparing to unpack .../071-libxcb-render0_1.15-1_i386.deb ... Unpacking libxcb-render0:i386 (1.15-1) ... Selecting previously unselected package libxcb-shm0:i386. Preparing to unpack .../072-libxcb-shm0_1.15-1_i386.deb ... Unpacking libxcb-shm0:i386 (1.15-1) ... Selecting previously unselected package libxext6:i386. Preparing to unpack .../073-libxext6_2%3a1.3.4-1+b1_i386.deb ... Unpacking libxext6:i386 (2:1.3.4-1+b1) ... Selecting previously unselected package libxrender1:i386. Preparing to unpack .../074-libxrender1_1%3a0.9.10-1.1_i386.deb ... Unpacking libxrender1:i386 (1:0.9.10-1.1) ... Selecting previously unselected package libcairo2:i386. Preparing to unpack .../075-libcairo2_1.16.0-7_i386.deb ... Unpacking libcairo2:i386 (1.16.0-7) ... Selecting previously unselected package libgccjit0:i386. Preparing to unpack .../076-libgccjit0_12.2.0-14_i386.deb ... Unpacking libgccjit0:i386 (12.2.0-14) ... Selecting previously unselected package libgif7:i386. Preparing to unpack .../077-libgif7_5.2.1-2.5_i386.deb ... Unpacking libgif7:i386 (5.2.1-2.5) ... Selecting previously unselected package libgpm2:i386. Preparing to unpack .../078-libgpm2_1.20.7-10+b1_i386.deb ... Unpacking libgpm2:i386 (1.20.7-10+b1) ... Selecting previously unselected package libatk1.0-0:i386. Preparing to unpack .../079-libatk1.0-0_2.46.0-5_i386.deb ... Unpacking libatk1.0-0:i386 (2.46.0-5) ... Selecting previously unselected package libxi6:i386. Preparing to unpack .../080-libxi6_2%3a1.8-1+b1_i386.deb ... Unpacking libxi6:i386 (2:1.8-1+b1) ... Selecting previously unselected package libatspi2.0-0:i386. Preparing to unpack .../081-libatspi2.0-0_2.46.0-5_i386.deb ... Unpacking libatspi2.0-0:i386 (2.46.0-5) ... Selecting previously unselected package libatk-bridge2.0-0:i386. Preparing to unpack .../082-libatk-bridge2.0-0_2.46.0-5_i386.deb ... Unpacking libatk-bridge2.0-0:i386 (2.46.0-5) ... Selecting previously unselected package libcairo-gobject2:i386. Preparing to unpack .../083-libcairo-gobject2_1.16.0-7_i386.deb ... Unpacking libcairo-gobject2:i386 (1.16.0-7) ... Selecting previously unselected package liblcms2-2:i386. Preparing to unpack .../084-liblcms2-2_2.14-2_i386.deb ... Unpacking liblcms2-2:i386 (2.14-2) ... Selecting previously unselected package libcolord2:i386. Preparing to unpack .../085-libcolord2_1.4.6-2.2_i386.deb ... Unpacking libcolord2:i386 (1.4.6-2.2) ... Selecting previously unselected package libavahi-common-data:i386. Preparing to unpack .../086-libavahi-common-data_0.8-10_i386.deb ... Unpacking libavahi-common-data:i386 (0.8-10) ... Selecting previously unselected package libavahi-common3:i386. Preparing to unpack .../087-libavahi-common3_0.8-10_i386.deb ... Unpacking libavahi-common3:i386 (0.8-10) ... Selecting previously unselected package libavahi-client3:i386. Preparing to unpack .../088-libavahi-client3_0.8-10_i386.deb ... Unpacking libavahi-client3:i386 (0.8-10) ... Selecting previously unselected package libcups2:i386. Preparing to unpack .../089-libcups2_2.4.2-3_i386.deb ... Unpacking libcups2:i386 (2.4.2-3) ... Selecting previously unselected package libepoxy0:i386. Preparing to unpack .../090-libepoxy0_1.5.10-1_i386.deb ... Unpacking libepoxy0:i386 (1.5.10-1) ... Selecting previously unselected package libfribidi0:i386. Preparing to unpack .../091-libfribidi0_1.0.8-2.1_i386.deb ... Unpacking libfribidi0:i386 (1.0.8-2.1) ... Selecting previously unselected package libgraphite2-3:i386. Preparing to unpack .../092-libgraphite2-3_1.3.14-1_i386.deb ... Unpacking libgraphite2-3:i386 (1.3.14-1) ... Selecting previously unselected package libharfbuzz0b:i386. Preparing to unpack .../093-libharfbuzz0b_6.0.0+dfsg-3_i386.deb ... Unpacking libharfbuzz0b:i386 (6.0.0+dfsg-3) ... Selecting previously unselected package fontconfig. Preparing to unpack .../094-fontconfig_2.14.1-4_i386.deb ... Unpacking fontconfig (2.14.1-4) ... Selecting previously unselected package libthai-data. Preparing to unpack .../095-libthai-data_0.1.29-1_all.deb ... Unpacking libthai-data (0.1.29-1) ... Selecting previously unselected package libdatrie1:i386. Preparing to unpack .../096-libdatrie1_0.2.13-2+b1_i386.deb ... Unpacking libdatrie1:i386 (0.2.13-2+b1) ... Selecting previously unselected package libthai0:i386. Preparing to unpack .../097-libthai0_0.1.29-1_i386.deb ... Unpacking libthai0:i386 (0.1.29-1) ... Selecting previously unselected package libpango-1.0-0:i386. Preparing to unpack .../098-libpango-1.0-0_1.50.12+ds-1_i386.deb ... Unpacking libpango-1.0-0:i386 (1.50.12+ds-1) ... Selecting previously unselected package libpangoft2-1.0-0:i386. Preparing to unpack .../099-libpangoft2-1.0-0_1.50.12+ds-1_i386.deb ... Unpacking libpangoft2-1.0-0:i386 (1.50.12+ds-1) ... Selecting previously unselected package libpangocairo-1.0-0:i386. Preparing to unpack .../100-libpangocairo-1.0-0_1.50.12+ds-1_i386.deb ... Unpacking libpangocairo-1.0-0:i386 (1.50.12+ds-1) ... Selecting previously unselected package libwayland-client0:i386. Preparing to unpack .../101-libwayland-client0_1.21.0-1_i386.deb ... Unpacking libwayland-client0:i386 (1.21.0-1) ... Selecting previously unselected package libwayland-cursor0:i386. Preparing to unpack .../102-libwayland-cursor0_1.21.0-1_i386.deb ... Unpacking libwayland-cursor0:i386 (1.21.0-1) ... Selecting previously unselected package libwayland-egl1:i386. Preparing to unpack .../103-libwayland-egl1_1.21.0-1_i386.deb ... Unpacking libwayland-egl1:i386 (1.21.0-1) ... Selecting previously unselected package libxcomposite1:i386. Preparing to unpack .../104-libxcomposite1_1%3a0.4.5-1_i386.deb ... Unpacking libxcomposite1:i386 (1:0.4.5-1) ... Selecting previously unselected package libxfixes3:i386. Preparing to unpack .../105-libxfixes3_1%3a6.0.0-2_i386.deb ... Unpacking libxfixes3:i386 (1:6.0.0-2) ... Selecting previously unselected package libxcursor1:i386. Preparing to unpack .../106-libxcursor1_1%3a1.2.1-1_i386.deb ... Unpacking libxcursor1:i386 (1:1.2.1-1) ... Selecting previously unselected package libxdamage1:i386. Preparing to unpack .../107-libxdamage1_1%3a1.1.6-1_i386.deb ... Unpacking libxdamage1:i386 (1:1.1.6-1) ... Selecting previously unselected package libxinerama1:i386. Preparing to unpack .../108-libxinerama1_2%3a1.1.4-3_i386.deb ... Unpacking libxinerama1:i386 (2:1.1.4-3) ... Selecting previously unselected package xkb-data. Preparing to unpack .../109-xkb-data_2.35.1-1_all.deb ... Unpacking xkb-data (2.35.1-1) ... Selecting previously unselected package libxkbcommon0:i386. Preparing to unpack .../110-libxkbcommon0_1.5.0-1_i386.deb ... Unpacking libxkbcommon0:i386 (1.5.0-1) ... Selecting previously unselected package libxrandr2:i386. Preparing to unpack .../111-libxrandr2_2%3a1.5.2-2+b1_i386.deb ... Unpacking libxrandr2:i386 (2:1.5.2-2+b1) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../112-libgtk-3-common_3.24.37-2_all.deb ... Unpacking libgtk-3-common (3.24.37-2) ... Selecting previously unselected package libgtk-3-0:i386. Preparing to unpack .../113-libgtk-3-0_3.24.37-2_i386.deb ... Unpacking libgtk-3-0:i386 (3.24.37-2) ... Selecting previously unselected package x11-common. Preparing to unpack .../114-x11-common_1%3a7.7+23_all.deb ... Unpacking x11-common (1:7.7+23) ... Selecting previously unselected package libice6:i386. Preparing to unpack .../115-libice6_2%3a1.0.10-1_i386.deb ... Unpacking libice6:i386 (2:1.0.10-1) ... Selecting previously unselected package m17n-db. Preparing to unpack .../116-m17n-db_1.8.0-5_all.deb ... Unpacking m17n-db (1.8.0-5) ... Selecting previously unselected package libaom3:i386. Preparing to unpack .../117-libaom3_3.6.0-1_i386.deb ... Unpacking libaom3:i386 (3.6.0-1) ... Selecting previously unselected package libdav1d6:i386. Preparing to unpack .../118-libdav1d6_1.0.0-2_i386.deb ... Unpacking libdav1d6:i386 (1.0.0-2) ... Selecting previously unselected package libabsl20220623:i386. Preparing to unpack .../119-libabsl20220623_20220623.1-1_i386.deb ... Unpacking libabsl20220623:i386 (20220623.1-1) ... Selecting previously unselected package libgav1-1:i386. Preparing to unpack .../120-libgav1-1_0.18.0-1+b1_i386.deb ... Unpacking libgav1-1:i386 (0.18.0-1+b1) ... Selecting previously unselected package librav1e0:i386. Preparing to unpack .../121-librav1e0_0.5.1-6_i386.deb ... Unpacking librav1e0:i386 (0.5.1-6) ... Selecting previously unselected package libyuv0:i386. Preparing to unpack .../122-libyuv0_0.0~git20230123.b2528b0-1_i386.deb ... Unpacking libyuv0:i386 (0.0~git20230123.b2528b0-1) ... Selecting previously unselected package libavif15:i386. Preparing to unpack .../123-libavif15_0.11.1-1_i386.deb ... Unpacking libavif15:i386 (0.11.1-1) ... Selecting previously unselected package libde265-0:i386. Preparing to unpack .../124-libde265-0_1.0.11-1_i386.deb ... Unpacking libde265-0:i386 (1.0.11-1) ... Selecting previously unselected package libnuma1:i386. Preparing to unpack .../125-libnuma1_2.0.16-1_i386.deb ... Unpacking libnuma1:i386 (2.0.16-1) ... Selecting previously unselected package libx265-199:i386. Preparing to unpack .../126-libx265-199_3.5-2+b1_i386.deb ... Unpacking libx265-199:i386 (3.5-2+b1) ... Selecting previously unselected package libheif1:i386. Preparing to unpack .../127-libheif1_1.15.1-1_i386.deb ... Unpacking libheif1:i386 (1.15.1-1) ... Selecting previously unselected package libxpm4:i386. Preparing to unpack .../128-libxpm4_1%3a3.5.12-1.1_i386.deb ... Unpacking libxpm4:i386 (1:3.5.12-1.1) ... Selecting previously unselected package libgd3:i386. Preparing to unpack .../129-libgd3_2.3.3-9_i386.deb ... Unpacking libgd3:i386 (2.3.3-9) ... Selecting previously unselected package libotf1:i386. Preparing to unpack .../130-libotf1_0.9.16-4_i386.deb ... Unpacking libotf1:i386 (0.9.16-4) ... Selecting previously unselected package libxft2:i386. Preparing to unpack .../131-libxft2_2.3.6-1_i386.deb ... Unpacking libxft2:i386 (2.3.6-1) ... Selecting previously unselected package libsm6:i386. Preparing to unpack .../132-libsm6_2%3a1.2.3-1_i386.deb ... Unpacking libsm6:i386 (2:1.2.3-1) ... Selecting previously unselected package libxt6:i386. Preparing to unpack .../133-libxt6_1%3a1.2.1-1.1_i386.deb ... Unpacking libxt6:i386 (1:1.2.1-1.1) ... Selecting previously unselected package libm17n-0:i386. Preparing to unpack .../134-libm17n-0_1.8.0-6_i386.deb ... Unpacking libm17n-0:i386 (1.8.0-6) ... Selecting previously unselected package librsvg2-2:i386. Preparing to unpack .../135-librsvg2-2_2.54.5+dfsg-1_i386.deb ... Unpacking librsvg2-2:i386 (2.54.5+dfsg-1) ... Selecting previously unselected package emacs-gtk. Preparing to unpack .../136-emacs-gtk_1%3a28.2+1-15_i386.deb ... Unpacking emacs-gtk (1:28.2+1-15) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../137-fonts-lmodern_2.005-1_all.deb ... Unpacking fonts-lmodern (2.005-1) ... Selecting previously unselected package libkpathsea6:i386. Preparing to unpack .../138-libkpathsea6_2022.20220321.62855-5.1_i386.deb ... Unpacking libkpathsea6:i386 (2022.20220321.62855-5.1) ... Selecting previously unselected package libpaper1:i386. Preparing to unpack .../139-libpaper1_1.1.29_i386.deb ... Unpacking libpaper1:i386 (1.1.29) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../140-libpaper-utils_1.1.29_i386.deb ... Unpacking libpaper-utils (1.1.29) ... Selecting previously unselected package libptexenc1:i386. Preparing to unpack .../141-libptexenc1_2022.20220321.62855-5.1_i386.deb ... Unpacking libptexenc1:i386 (2022.20220321.62855-5.1) ... Selecting previously unselected package libsynctex2:i386. Preparing to unpack .../142-libsynctex2_2022.20220321.62855-5.1_i386.deb ... Unpacking libsynctex2:i386 (2022.20220321.62855-5.1) ... Selecting previously unselected package libteckit0:i386. Preparing to unpack .../143-libteckit0_2.5.11+ds1-1+b1_i386.deb ... Unpacking libteckit0:i386 (2.5.11+ds1-1+b1) ... Selecting previously unselected package libtexlua53-5:i386. Preparing to unpack .../144-libtexlua53-5_2022.20220321.62855-5.1_i386.deb ... Unpacking libtexlua53-5:i386 (2022.20220321.62855-5.1) ... Selecting previously unselected package libtexluajit2:i386. Preparing to unpack .../145-libtexluajit2_2022.20220321.62855-5.1_i386.deb ... Unpacking libtexluajit2:i386 (2022.20220321.62855-5.1) ... Selecting previously unselected package libtext-unidecode-perl. Preparing to unpack .../146-libtext-unidecode-perl_1.30-3_all.deb ... Unpacking libtext-unidecode-perl (1.30-3) ... Selecting previously unselected package libxmu6:i386. Preparing to unpack .../147-libxmu6_2%3a1.1.3-3_i386.deb ... Unpacking libxmu6:i386 (2:1.1.3-3) ... Selecting previously unselected package libxaw7:i386. Preparing to unpack .../148-libxaw7_2%3a1.0.14-1_i386.deb ... Unpacking libxaw7:i386 (2:1.0.14-1) ... Selecting previously unselected package libxml-namespacesupport-perl. Preparing to unpack .../149-libxml-namespacesupport-perl_1.12-2_all.deb ... Unpacking libxml-namespacesupport-perl (1.12-2) ... Selecting previously unselected package libxml-sax-base-perl. Preparing to unpack .../150-libxml-sax-base-perl_1.09-3_all.deb ... Unpacking libxml-sax-base-perl (1.09-3) ... Selecting previously unselected package libxml-sax-perl. Preparing to unpack .../151-libxml-sax-perl_1.02+dfsg-3_all.deb ... Unpacking libxml-sax-perl (1.02+dfsg-3) ... Selecting previously unselected package libxml-libxml-perl. Preparing to unpack .../152-libxml-libxml-perl_2.0207+dfsg+really+2.0134-1+b1_i386.deb ... Unpacking libxml-libxml-perl (2.0207+dfsg+really+2.0134-1+b1) ... Selecting previously unselected package libzzip-0-13:i386. Preparing to unpack .../153-libzzip-0-13_0.13.72+dfsg.1-1.1_i386.deb ... Unpacking libzzip-0-13:i386 (0.13.72+dfsg.1-1.1) ... Selecting previously unselected package t1utils. Preparing to unpack .../154-t1utils_1.41-4_i386.deb ... Unpacking t1utils (1.41-4) ... Selecting previously unselected package tex-common. Preparing to unpack .../155-tex-common_6.18_all.deb ... Unpacking tex-common (6.18) ... Selecting previously unselected package texinfo. Preparing to unpack .../156-texinfo_6.8-6+b1_i386.deb ... Unpacking texinfo (6.8-6+b1) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../157-texlive-binaries_2022.20220321.62855-5.1_i386.deb ... Unpacking texlive-binaries (2022.20220321.62855-5.1) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../158-xdg-utils_1.1.3-4.1_all.deb ... Unpacking xdg-utils (1.1.3-4.1) ... Selecting previously unselected package texlive-base. Preparing to unpack .../159-texlive-base_2022.20230122-3_all.deb ... Unpacking texlive-base (2022.20230122-3) ... Selecting previously unselected package texlive-fonts-recommended. Preparing to unpack .../160-texlive-fonts-recommended_2022.20230122-3_all.deb ... Unpacking texlive-fonts-recommended (2022.20230122-3) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../161-texlive-latex-base_2022.20230122-3_all.deb ... Unpacking texlive-latex-base (2022.20230122-3) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../162-texlive-latex-recommended_2022.20230122-3_all.deb ... Unpacking texlive-latex-recommended (2022.20230122-3) ... Selecting previously unselected package texlive-plain-generic. Preparing to unpack .../163-texlive-plain-generic_2022.20230122-4_all.deb ... Unpacking texlive-plain-generic (2022.20230122-4) ... Setting up libexpat1:i386 (2.5.0-1) ... Setting up libpipeline1:i386 (1.5.7-1) ... Setting up libgraphite2-3:i386 (1.3.14-1) ... Setting up liblcms2-2:i386 (2.14-2) ... Setting up libpixman-1-0:i386 (0.42.2-1) ... Setting up libaom3:i386 (3.6.0-1) ... Setting up libabsl20220623:i386 (20220623.1-1) ... Setting up systemd-sysv (252.6-1) ... Setting up libxau6:i386 (1:1.0.9-1) ... Setting up libgpm2:i386 (1.20.7-10+b1) ... Setting up libicu72:i386 (72.1-3) ... Setting up liblerc4:i386 (4.0.0+ds-2) ... Setting up bsdextrautils (2.38.1-5+b1) ... Setting up hicolor-icon-theme (0.17-2) ... Setting up libdatrie1:i386 (0.2.13-2+b1) ... Setting up libmagic-mgc (1:5.44-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:i386 (2.74.6-2) ... Setting up libtexluajit2:i386 (2022.20220321.62855-5.1) ... Setting up libdebhelper-perl (13.11.4) ... Setting up libbrotli1:i386 (1.0.9-2+b6) ... Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-1) ... Setting up x11-common (1:7.7+23) ... Running in chroot, ignoring request. Setting up X socket directories... /tmp/.X11-unix /tmp/.ICE-unix. Setting up libmagic1:i386 (1:5.44-3) ... Setting up libdeflate0:i386 (1.14-1) ... Setting up m17n-db (1.8.0-5) ... Setting up libxml-namespacesupport-perl (1.12-2) ... Setting up gettext-base (0.21-12) ... Setting up m4 (1.4.19-3) ... Setting up xkb-data (2.35.1-1) ... Setting up libzzip-0-13:i386 (0.13.72+dfsg.1-1.1) ... Setting up file (1:5.44-3) ... Setting up libjbig0:i386 (2.1-6.1) ... Setting up sse2-support (15.1) ... Setting up librav1e0:i386 (0.5.1-6) ... Setting up libcolord2:i386 (1.4.6-2.2) ... Setting up libdconf1:i386 (0.40.0-4) ... Setting up libasound2-data (1.2.8-1) ... Setting up libxml-sax-base-perl (1.09-3) ... Setting up autotools-dev (20220109.1) ... Setting up libjpeg62-turbo:i386 (1:2.1.5-2) ... Setting up emacsen-common (3.0.5) ... Setting up libx11-data (2:1.8.4-2) ... Setting up libepoxy0:i386 (1.5.10-1) ... Setting up libteckit0:i386 (2.5.11+ds1-1+b1) ... Setting up libavahi-common-data:i386 (0.8-10) ... Setting up libdbus-1-3:i386 (1.14.6-1) ... Setting up libfribidi0:i386 (1.0.8-2.1) ... Setting up t1utils (1.41-4) ... Setting up libtexlua53-5:i386 (2022.20220321.62855-5.1) ... Setting up libproc2-0:i386 (2:4.0.2-3) ... Setting up libpng16-16:i386 (1.6.39-2) ... Setting up autopoint (0.21-12) ... Setting up fonts-dejavu-core (2.37-6) ... Setting up libgav1-1:i386 (0.18.0-1+b1) ... Setting up libdav1d6:i386 (1.0.0-2) ... Setting up libkpathsea6:i386 (2022.20220321.62855-5.1) ... Setting up autoconf (2.71-3) ... Setting up libwebp7:i386 (1.2.4-0.2) ... Setting up libgif7:i386 (5.2.1-2.5) ... Setting up libnuma1:i386 (2.0.16-1) ... Setting up sensible-utils (0.0.17+nmu1) ... Setting up at-spi2-common (2.46.0-5) ... Setting up libtiff6:i386 (4.5.0-6) ... Setting up dbus-session-bus-common (1.14.6-1) ... Setting up libuchardet0:i386 (0.0.7-1) ... Setting up procps (2:4.0.2-3) ... Setting up libasound2:i386 (1.2.8-1+b1) ... Setting up fonts-lmodern (2.005-1) ... Setting up libsub-override-perl (0.09-4) ... Setting up libthai-data (0.1.29-1) ... Setting up libatk1.0-0:i386 (2.46.0-5) ... Setting up libwayland-egl1:i386 (1.21.0-1) ... Setting up dbus-system-bus-common (1.14.6-1) ... Setting up libtext-unidecode-perl (1.30-3) ... Setting up libde265-0:i386 (1.0.11-1) ... Setting up libgccjit0:i386 (12.2.0-14) ... Setting up libbsd0:i386 (0.11.7-2) ... Setting up libyuv0:i386 (0.0~git20230123.b2528b0-1) ... Setting up libelf1:i386 (0.188-2.1) ... Setting up libxml2:i386 (2.9.14+dfsg-1.2) ... Setting up xdg-utils (1.1.3-4.1) ... update-alternatives: using /usr/bin/xdg-open to provide /usr/bin/open (open) in auto mode Setting up dbus-bin (1.14.6-1) ... Setting up libsynctex2:i386 (2022.20220321.62855-5.1) ... Setting up libxkbcommon0:i386 (1.5.0-1) ... Setting up libwayland-client0:i386 (1.21.0-1) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up libice6:i386 (2:1.0.10-1) ... Setting up libxdmcp6:i386 (1:1.1.2-3) ... Setting up libxcb1:i386 (1.15-1) ... Setting up gettext (0.21-12) ... Setting up libavif15:i386 (0.11.1-1) ... Setting up libtool (2.4.7-5) ... Setting up libxcb-render0:i386 (1.15-1) ... Setting up fontconfig-config (2.14.1-4) ... Setting up libavahi-common3:i386 (0.8-10) ... Setting up libxcb-shm0:i386 (1.15-1) ... Setting up dbus-daemon (1.14.6-1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libthai0:i386 (0.1.29-1) ... Setting up libptexenc1:i386 (2022.20220321.62855-5.1) ... Setting up libfreetype6:i386 (2.12.1+dfsg-5) ... Setting up dbus (1.14.6-1) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up shared-mime-info (2.2-1) ... Setting up ucf (3.0043+nmu1) ... Setting up libx265-199:i386 (3.5-2+b1) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up dwz (0.15-1) ... Setting up groff-base (1.22.4-10) ... Setting up libwayland-cursor0:i386 (1.21.0-1) ... Setting up libpam-systemd:i386 (252.6-1) ... Setting up libx11-6:i386 (2:1.8.4-2) ... Setting up libharfbuzz0b:i386 (6.0.0+dfsg-3) ... Setting up libgdk-pixbuf-2.0-0:i386 (2.42.10+dfsg-1+b1) ... Setting up libfontconfig1:i386 (2.14.1-4) ... Setting up libxcomposite1:i386 (1:0.4.5-1) ... Setting up libsm6:i386 (2:1.2.3-1) ... Setting up libavahi-client3:i386 (0.8-10) ... Setting up libotf1:i386 (0.9.16-4) ... Setting up libpaper1:i386 (1.1.29) ... Creating config file /etc/papersize with new version Setting up gtk-update-icon-cache (3.24.37-2) ... Setting up fontconfig (2.14.1-4) ... Regenerating fonts cache... done. Setting up libxdamage1:i386 (1:1.1.6-1) ... Setting up libxpm4:i386 (1:3.5.12-1.1) ... Setting up libxrender1:i386 (1:0.9.10-1.1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpango-1.0-0:i386 (1.50.12+ds-1) ... Setting up libheif1:i386 (1.15.1-1) ... Setting up libxext6:i386 (2:1.3.4-1+b1) ... Setting up libpaper-utils (1.1.29) ... Setting up man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer -> /lib/systemd/system/man-db.timer. Setting up libxml-sax-perl (1.02+dfsg-3) ... update-perl-sax-parsers: Registering Perl SAX parser XML::SAX::PurePerl with priority 10... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Creating config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up libcairo2:i386 (1.16.0-7) ... Setting up tex-common (6.18) ... update-language: texlive-base not installed and configured, doing nothing! Setting up dbus-user-session (1.14.6-1) ... Setting up adwaita-icon-theme (43-1) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up libxfixes3:i386 (1:6.0.0-2) ... Setting up libxinerama1:i386 (2:1.1.4-3) ... Setting up libgd3:i386 (2.3.3-9) ... Setting up libxrandr2:i386 (2:1.5.2-2+b1) ... Setting up libxt6:i386 (1:1.2.1-1.1) ... Setting up libxml-libxml-perl (2.0207+dfsg+really+2.0134-1+b1) ... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX::Parser with priority 50... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX with priority 50... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Replacing config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up libcups2:i386 (2.4.2-3) ... Setting up libcairo-gobject2:i386 (1.16.0-7) ... Setting up libpangoft2-1.0-0:i386 (1.50.12+ds-1) ... Setting up libpangocairo-1.0-0:i386 (1.50.12+ds-1) ... Setting up libxft2:i386 (2.3.6-1) ... Setting up libxmu6:i386 (2:1.1.3-3) ... Setting up libxi6:i386 (2:1.8-1+b1) ... Setting up libxcursor1:i386 (1:1.2.1-1) ... Setting up debhelper (13.11.4) ... Setting up dconf-service (0.40.0-4) ... Setting up libm17n-0:i386 (1.8.0-6) ... Setting up libxaw7:i386 (2:1.0.14-1) ... Setting up libatspi2.0-0:i386 (2.46.0-5) ... Setting up librsvg2-2:i386 (2.54.5+dfsg-1) ... Setting up libatk-bridge2.0-0:i386 (2.46.0-5) ... Setting up texinfo (6.8-6+b1) ... Running mktexlsr. This may take some time. ... done. Setting up texlive-binaries (2022.20220321.62855-5.1) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up texlive-base (2022.20230122-3) ... tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/tex-ini-files/pdftexconfig.tex Setting up dconf-gsettings-backend:i386 (0.40.0-4) ... Setting up texlive-plain-generic (2022.20230122-4) ... Setting up texlive-latex-base (2022.20230122-3) ... Setting up texlive-latex-recommended (2022.20230122-3) ... Setting up texlive-fonts-recommended (2022.20230122-3) ... Setting up libgtk-3-common (3.24.37-2) ... Setting up libgtk-3-0:i386 (3.24.37-2) ... Setting up emacs-el (1:28.2+1-15) ... Setting up emacs-common (1:28.2+1-15) ... Setting up emacs-bin-common (1:28.2+1-15) ... update-alternatives: using /usr/bin/ctags.emacs to provide /usr/bin/ctags (ctags) in auto mode update-alternatives: using /usr/bin/ebrowse.emacs to provide /usr/bin/ebrowse (ebrowse) in auto mode update-alternatives: using /usr/bin/emacsclient.emacs to provide /usr/bin/emacsclient (emacsclient) in auto mode update-alternatives: using /usr/bin/etags.emacs to provide /usr/bin/etags (etags) in auto mode Setting up emacs-gtk (1:28.2+1-15) ... update-alternatives: using /usr/bin/emacs-gtk to provide /usr/bin/emacs (emacs) in auto mode update-alternatives: using /usr/bin/emacs to provide /usr/bin/editor (editor) in auto mode Install emacsen-common for emacs emacsen-common: Handling install of emacsen flavor emacs Processing triggers for install-info (6.8-6+b1) ... Processing triggers for libc-bin (2.36-9) ... Processing triggers for tex-common (6.18) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... fakeroot is already the newest version (1.31-1.2). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: Running cd /build/proofgeneral-4.4.1~pre170114/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../proofgeneral_4.4.1~pre170114-1.2_source.changes 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 . dpkg-buildpackage: info: host architecture i386 fakeroot debian/rules clean dh clean dh: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_auto_clean dh_auto_clean: warning: Compatibility levels before 10 are deprecated (level 9 in use) make -j1 distclean make[1]: Entering directory '/build/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-4.4.1~pre170114/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" clean make[3]: Entering directory '/build/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-4.4.1~pre170114/doc' make[2]: Leaving directory '/build/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-4.4.1~pre170114/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" distclean make[3]: Entering directory '/build/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-4.4.1~pre170114/doc' make[2]: Leaving directory '/build/proofgeneral-4.4.1~pre170114/doc' make[1]: Leaving directory '/build/proofgeneral-4.4.1~pre170114' dh_clean rm -f debian/debhelper-build-stamp rm -rf debian/.debhelper/ dh_clean: warning: Compatibility levels before 10 are deprecated (level 9 in use) 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 dh build dh: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_update_autotools_config dh_auto_configure dh_auto_configure: warning: Compatibility levels before 10 are deprecated (level 9 in use) debian/rules override_dh_auto_build make[1]: Entering directory '/build/proofgeneral-4.4.1~pre170114' make prepare-doc make[2]: Entering directory '/build/proofgeneral-4.4.1~pre170114' (cd doc; make EMACS=emacs info) make[3]: Entering directory '/build/proofgeneral-4.4.1~pre170114/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" info make[4]: Entering directory '/build/proofgeneral-4.4.1~pre170114/doc' makeinfo ProofGeneral.texi ProofGeneral.texi:730: warning: @inforef is obsolete. ProofGeneral.texi:1573: warning: @inforef is obsolete. ProofGeneral.texi:2889: warning: @inforef is obsolete. ProofGeneral.texi:2985: warning: @inforef is obsolete. ProofGeneral.texi:3341: warning: @inforef is obsolete. ProofGeneral.texi:4047: warning: @inforef is obsolete. ProofGeneral.texi:4112: warning: @inforef is obsolete. ProofGeneral.texi:4115: warning: @inforef is obsolete. ProofGeneral.texi:4127: warning: @inforef is obsolete. ProofGeneral.texi:4148: warning: @inforef is obsolete. ProofGeneral.texi:4404: warning: @inforef is obsolete. ProofGeneral.texi:4573: warning: @inforef is obsolete. make[4]: Leaving directory '/build/proofgeneral-4.4.1~pre170114/doc' make[3]: Leaving directory '/build/proofgeneral-4.4.1~pre170114/doc' (cd doc; make EMACS=emacs pdf) make[3]: Entering directory '/build/proofgeneral-4.4.1~pre170114/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" pdf make[4]: Entering directory '/build/proofgeneral-4.4.1~pre170114/doc' texi2pdf ProofGeneral.texi This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2021-04-25.21]: pdf, fonts, 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-4.4.1~pre170114/doc/ProofGeneral.toc [-1] [-2]) [-3] [-4] (/build/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.toc) (/build/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.toc) ) (see the transcript file for additional information) Output written on ProofGeneral.pdf (100 pages, 473519 bytes). Transcript written on ProofGeneral.log. This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2021-04-25.21]: pdf, fonts, 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-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-4.4.1~pre170114/doc/ProofGeneral.fns) (Variable and User Option Index) [87] [88] (/build/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-4.4.1~pre170114/doc/ProofGeneral.kys) (Concept Index) [91] [92] (/build/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.cps [93]) [94] (/build/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.toc [-1] [-2]) [-3] [-4] (/build/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.toc) (/build/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.toc) ) (see the transcript file for additional information) Output written on ProofGeneral.pdf (100 pages, 510681 bytes). Transcript written on ProofGeneral.log. This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2021-04-25.21]: pdf, fonts, 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-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-4.4.1~pre170114/doc/ProofGeneral.fns) (Variable and User Option Index) [87] [88] (/build/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-4.4.1~pre170114/doc/ProofGeneral.kys) (Concept Index) [91] [92] (/build/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.cps [93]) [94] (/build/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.toc [-1] [-2]) [-3] [-4] (/build/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.toc) (/build/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.toc) ) (see the transcript file for additional information) Output written on ProofGeneral.pdf (100 pages, 510685 bytes). Transcript written on ProofGeneral.log. make[4]: Leaving directory '/build/proofgeneral-4.4.1~pre170114/doc' make[3]: Leaving directory '/build/proofgeneral-4.4.1~pre170114/doc' (cd doc; make EMACS=emacs html) make[3]: Entering directory '/build/proofgeneral-4.4.1~pre170114/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" html make[4]: Entering directory '/build/proofgeneral-4.4.1~pre170114/doc' makeinfo --html --ifinfo --number-sections --split=chapter --no-headers --css-include=proofgen.css ProofGeneral.texi ProofGeneral.texi:730: warning: @inforef is obsolete. ProofGeneral.texi:1573: warning: @inforef is obsolete. ProofGeneral.texi:2889: warning: @inforef is obsolete. ProofGeneral.texi:2985: warning: @inforef is obsolete. ProofGeneral.texi:3341: warning: @inforef is obsolete. ProofGeneral.texi:4047: warning: @inforef is obsolete. ProofGeneral.texi:4112: warning: @inforef is obsolete. ProofGeneral.texi:4115: warning: @inforef is obsolete. ProofGeneral.texi:4127: warning: @inforef is obsolete. ProofGeneral.texi:4148: warning: @inforef is obsolete. ProofGeneral.texi:4404: warning: @inforef is obsolete. ProofGeneral.texi:4573: warning: @inforef is obsolete. make[4]: Leaving directory '/build/proofgeneral-4.4.1~pre170114/doc' make[3]: Leaving directory '/build/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-4.4.1~pre170114' make[1]: Leaving directory '/build/proofgeneral-4.4.1~pre170114' debian/rules override_dh_auto_test make[1]: Entering directory '/build/proofgeneral-4.4.1~pre170114' true make[1]: Leaving directory '/build/proofgeneral-4.4.1~pre170114' fakeroot debian/rules binary dh binary dh: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_testroot dh_prep 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 dh_auto_install: warning: Compatibility levels before 10 are deprecated (level 9 in use) install -m0755 -d debian/proofgeneral debian/proofgeneral-doc make -j1 install DESTDIR=/build/proofgeneral-4.4.1\~pre170114/debian/tmp AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/build/proofgeneral-4.4.1~pre170114' mkdir -p /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/icons/hicolor/16x16 cp etc/desktop/icons/16x16/proofgeneral.png /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/icons/hicolor/16x16 mkdir -p /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/icons/hicolor/32x32 cp etc/desktop/icons/32x32/proofgeneral.png /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/icons/hicolor/32x32 mkdir -p /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/icons/hicolor/48x48 cp etc/desktop/icons/48x48/proofgeneral.png /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/icons/hicolor/48x48 mkdir -p /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/pixmaps cp etc/desktop/icons/48x48/proofgeneral.png /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/pixmaps mkdir -p /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/applications cp etc/desktop/proofgeneral.desktop /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/applications mkdir -p /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/mime-info cp etc/desktop/mime-info/proofgeneral.mime /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/mime-info cp etc/desktop/mime-info/proofgeneral.keys /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/mime-info mkdir -p /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/application-registry cp etc/desktop/application-registry/proofgeneral.applications /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/application-registry mkdir -p /build/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-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-4.4.1~pre170114/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done for f in images; do cp -prf $f/* /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done for f in ; do cp -pf $f /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done mkdir -p /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/bin cp -pf coq/coqtags /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/bin cp debian/proofgeneral-shell-script /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/bin/proofgeneral mkdir -p /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/doc/proofgeneral/examples cp coq/example.v /build/proofgeneral-4.4.1~pre170114/debian/tmp/usr/share/doc/proofgeneral/examples/coq_example.v make[1]: Leaving directory '/build/proofgeneral-4.4.1~pre170114' dh_install dh_install: warning: Compatibility levels before 10 are deprecated (level 9 in use) install -m0755 -d debian/proofgeneral//usr/bin cp --reflink=auto -a debian/tmp/usr/bin/coqtags debian/tmp/usr/bin/proofgeneral debian/proofgeneral//usr/bin/ install -m0755 -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 -m0755 -d debian/proofgeneral//usr/share/doc/proofgeneral cp --reflink=auto -a debian/tmp/usr/share/doc/proofgeneral/examples debian/proofgeneral//usr/share/doc/proofgeneral/ dh_installdocs dh_installdocs: warning: Compatibility levels before 10 are deprecated (level 9 in use) install -m0755 -d debian/proofgeneral/usr/share/doc/proofgeneral 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 -m0755 -d debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc install -m0755 -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-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 -m0755 -d debian/proofgeneral-doc/usr/share/doc-base/ install -p -m0644 debian/proofgeneral-doc.doc-base debian/proofgeneral-doc/usr/share/doc-base/proofgeneral-doc.proofgeneral-user-manual dh_installchangelogs dh_installchangelogs: warning: Compatibility levels before 10 are deprecated (level 9 in use) install -m0755 -d debian/proofgeneral/usr/share/doc/proofgeneral install -p -m0644 debian/.debhelper/generated/proofgeneral/dh_installchangelogs.dch.trimmed debian/proofgeneral/usr/share/doc/proofgeneral/changelog.Debian install -p -m0644 ./CHANGES debian/proofgeneral/usr/share/doc/proofgeneral/changelog install -m0755 -d debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc install -p -m0644 debian/.debhelper/generated/proofgeneral-doc/dh_installchangelogs.dch.trimmed debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc/changelog.Debian install -p -m0644 ./CHANGES debian/proofgeneral-doc/usr/share/doc/proofgeneral-doc/changelog dh_installman dh_installman: warning: Compatibility levels before 10 are deprecated (level 9 in use) install -m0755 -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 install -m0755 -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 -m0755 -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 -m0755 -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 -m0755 -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 dh_installinfo: warning: Compatibility levels before 10 are deprecated (level 9 in use) install -m0755 -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 dh_perl mv debian/proofgeneral.substvars.new debian/proofgeneral.substvars dh_link dh_strip_nondeterminism 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 172. 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-state.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/emacs/site-lisp/proofgeneral/images/ProofGeneral.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-home.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-restart.png using File::StripNondeterminism::handlers::png 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-goto.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 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-qed.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-abort.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/ProofGeneral-splash.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-prooftree.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/48x48/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/32x32/proofgeneral.png using File::StripNondeterminism::handlers::png debian/rules override_dh_compress make[1]: Entering directory '/build/proofgeneral-4.4.1~pre170114' dh_compress --exclude=proofgeneral.pdf dh_compress: warning: Compatibility levels before 10 are deprecated (level 9 in use) cd debian/proofgeneral dh_compress: warning: Compatibility levels before 10 are deprecated (level 9 in use) 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 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-4.4.1~pre170114' 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 cd '/build/proofgeneral-4.4.1~pre170114' make[1]: Leaving directory '/build/proofgeneral-4.4.1~pre170114' dh_fixperms 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 ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s 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-doc ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s 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 -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/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/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 find debian/proofgeneral-doc/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 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 dh_missing dh_missing: warning: Compatibility levels before 10 are deprecated (level 9 in use) dh_installdeb dh_installdeb: warning: Compatibility levels before 10 are deprecated (level 9 in use) install -m0755 -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 -m0755 -d debian/proofgeneral-doc/DEBIAN dh_gencontrol install -m0755 -d debian/proofgeneral/DEBIAN echo misc:Depends= >> debian/proofgeneral.substvars echo misc:Pre-Depends= >> debian/proofgeneral.substvars dpkg-gencontrol -pproofgeneral -ldebian/changelog -Tdebian/proofgeneral.substvars -Pdebian/proofgeneral install -m0755 -d debian/proofgeneral-doc/DEBIAN 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 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 install -m0755 -d debian/proofgeneral/DEBIAN install -m0755 -d debian/proofgeneral-doc/DEBIAN 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-doc/DEBIAN/md5sums chown 0:0 -- debian/proofgeneral-doc/DEBIAN/md5sums chmod 0644 -- debian/proofgeneral/DEBIAN/md5sums chown 0:0 -- debian/proofgeneral/DEBIAN/md5sums dh_builddeb dpkg-deb --build debian/proofgeneral-doc .. dpkg-deb --build debian/proofgeneral .. 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=binary -O../proofgeneral_4.4.1~pre170114-1.2_i386.buildinfo dpkg-genchanges --build=binary -O../proofgeneral_4.4.1~pre170114-1.2_i386.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/88364 and its subdirectories I: Current time: Thu Aug 14 00:00:19 -12 2025 I: pbuilder-time-stamp: 1755172819 Fri Jun 9 23:14:20 UTC 2023 I: 1st build successful. Starting 2nd build on remote node ionos2-i386.debian.net. Fri Jun 9 23:14:20 UTC 2023 I: Preparing to do remote build '2' on ionos2-i386.debian.net. Fri Jun 9 23:16:58 UTC 2023 I: Deleting $TMPDIR on ionos2-i386.debian.net. Fri Jun 9 23:16:59 UTC 2023 I: proofgeneral_4.4.1~pre170114-1.2_i386.changes: Format: 1.8 Date: Mon, 16 Dec 2019 17:50:59 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: all Version: 4.4.1~pre170114-1.2 Distribution: unstable Urgency: medium Maintainer: Hendrik Tews Changed-By: Gard Spreemann Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 941544 Changes: proofgeneral (4.4.1~pre170114-1.2) unstable; urgency=medium . * Non-maintainer upload. * Build-depend on texlive-plain-generic instead of texlive-generic-recommended. Thanks to Steve Langasek for patch. (Closes: #941544) Checksums-Sha1: 1ae966233c3ef8871ea1005e26764f9e6917a92b 679356 proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 32119be2356863624f44540b268095b56e1aa825 598952 proofgeneral_4.4.1~pre170114-1.2_all.deb cb9e40736b74b3a7054bac4cc9b85afffa8773aa 10182 proofgeneral_4.4.1~pre170114-1.2_i386.buildinfo Checksums-Sha256: 9f913f45a463199b6b324b9ef83837fba063276fd42954174e1ba901aacbab19 679356 proofgeneral-doc_4.4.1~pre170114-1.2_all.deb f2b4873ae2f2f2d260b089e047070bd6ff9d248b71f99a7ffc78e98b2f5eae9c 598952 proofgeneral_4.4.1~pre170114-1.2_all.deb 9648ad0e7726f72f27a34e316d843462b014295404d54b041880d852119df6a0 10182 proofgeneral_4.4.1~pre170114-1.2_i386.buildinfo Files: 334e65817fbdf6f059df0a0b78c6953e 679356 doc optional proofgeneral-doc_4.4.1~pre170114-1.2_all.deb c1394f3820f325764545f4bd558231fb 598952 editors optional proofgeneral_4.4.1~pre170114-1.2_all.deb 6798a2a249b378956dc6fc5069cc4ef8 10182 editors optional proofgeneral_4.4.1~pre170114-1.2_i386.buildinfo Fri Jun 9 23:17:00 UTC 2023 I: diffoscope 242 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.tUJo6UXh/proofgeneral_4.4.1~pre170114-1.2.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.tUJo6UXh/proofgeneral_4.4.1~pre170114-1.2.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.tUJo6UXh/proofgeneral_4.4.1~pre170114-1.2.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.tUJo6UXh/b1/proofgeneral_4.4.1~pre170114-1.2_i386.changes /srv/reproducible-results/rbuild-debian/r-b-build.tUJo6UXh/b2/proofgeneral_4.4.1~pre170114-1.2_i386.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 0.340s) 0.340s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.035s) 0.034s 12 calls diffoscope.comparators.binary.FilesystemFile 0.000s 10 calls abc.DotChangesFile ## specialize (total time: 0.000s) 0.000s 1 call specialize Fri Jun 9 23:17:01 UTC 2023 I: diffoscope 242 found no differences in the changes files, and a .buildinfo file also exists. Fri Jun 9 23:17:01 UTC 2023 I: proofgeneral from bookworm built successfully and reproducibly on i386. Fri Jun 9 23:17:02 UTC 2023 I: Submitting .buildinfo files to external archives: Fri Jun 9 23:17:02 UTC 2023 I: Submitting 12K b1/proofgeneral_4.4.1~pre170114-1.2_i386.buildinfo.asc Fri Jun 9 23:17:03 UTC 2023 I: Submitting 12K b2/proofgeneral_4.4.1~pre170114-1.2_i386.buildinfo.asc Fri Jun 9 23:17:04 UTC 2023 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Fri Jun 9 23:17:04 UTC 2023 I: Done submitting .buildinfo files. Fri Jun 9 23:17:04 UTC 2023 I: Removing signed proofgeneral_4.4.1~pre170114-1.2_i386.buildinfo.asc files: removed './b1/proofgeneral_4.4.1~pre170114-1.2_i386.buildinfo.asc' removed './b2/proofgeneral_4.4.1~pre170114-1.2_i386.buildinfo.asc'