Fri Nov 29 07:35:27 UTC 2024 I: starting to build proofgeneral/unstable/armhf on jenkins on '2024-11-29 07:35' Fri Nov 29 07:35:27 UTC 2024 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/armhf_8/11849/console.log Fri Nov 29 07:35:27 UTC 2024 I: Downloading source for unstable/proofgeneral=4.5-3 --2024-11-29 07:35:27-- http://deb.debian.org/debian/pool/main/p/proofgeneral/proofgeneral_4.5-3.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2122 (2.1K) [text/prs.lines.tag] Saving to: ‘proofgeneral_4.5-3.dsc’ 0K .. 100% 178M=0s 2024-11-29 07:35:27 (178 MB/s) - ‘proofgeneral_4.5-3.dsc’ saved [2122/2122] Fri Nov 29 07:35:27 UTC 2024 I: proofgeneral_4.5-3.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: proofgeneral Binary: proofgeneral, proofgeneral-doc Architecture: all Version: 4.5-3 Maintainer: Debian Math Team Uploaders: Julien Puydt Homepage: https://proofgeneral.github.io/ Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/math-team/proofgeneral Vcs-Git: https://salsa.debian.org/math-team/proofgeneral.git Build-Depends: debhelper-compat (= 13), texinfo, texlive-latex-recommended, texlive-plain-generic, texlive-fonts-recommended, emacs | emacs-nox, dh-elpa Package-List: proofgeneral deb editors optional arch=all proofgeneral-doc deb doc optional arch=all Checksums-Sha1: 8dc48a09217b386747815289590ca9c7c602ff92 1198535 proofgeneral_4.5.orig.tar.gz 4811dcca260f66bef4e5f1699f0ffb66510e1f48 17424 proofgeneral_4.5-3.debian.tar.xz Checksums-Sha256: b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2 1198535 proofgeneral_4.5.orig.tar.gz b40ac95a1214a27100e9a981ee2b1e55844ed93372e457cf107155ecc1e301e9 17424 proofgeneral_4.5-3.debian.tar.xz Files: 7fc03264e924f8020e717cc4cff67197 1198535 proofgeneral_4.5.orig.tar.gz b4f539b38b2a0eb3d4c9fa7609266530 17424 proofgeneral_4.5-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdHVwUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR5W4P/RgSfNZ1t8/hrOjReXysVe6kCUkGlGHc m9X270c6GUv2Mtdef0werEO2VSKok+hzzU25vSsX1jPFGuhR47I5P9iJK4fZpTVA tZSD8uf2QKR3YwfmsEd8Z1ki8WKd59HoPvu0Vea0HyGGKVlxdBvi6fGahKA/E+i8 INIM/NO4LkKiyUg206ql+Fa9rmh1HNVUOirTxhPg2FMG9c4kJ4tCVV8yHzBFMIAk 1LqFUYEVAuAj8+ob8qH4K1cGXlvwh0uD0SWO/1bXm2xxdMCMoVT3wKOxx5jMyF0J 1gKsDMDHWIGi1zecrPOaao+wevGlu0LJD01mTY8HfByT35a/En2mJ/DRx8zN586r gxD1Sx1C4XsZXGEEKapdnZ/M+Vn22HLWhXOnyLLyDq9q/q/VR/Nj5zPXmY/5shnS NII8xkdA3mEK8KN7ylpf82ehq6LwKvlRo+Cfy/FsYKIO+SGwXm5OKywS+Yk3v2lq isxaQdWUnr7IpXbcahBGDRUOLoI0l+HviA0/0U2qS2248v7u5R7/hBCAqU72FgiA Ye6gMgs1QjrdFtTZ1Qw5/rwVPxnK44vqYiaapd2o0WjO3OlKTlEJqYzWKV5R8osB W2FspbrzB6zB4EgAnX5BoFxV1oEMpsAwQkS0eVOHQBng+GTb3vv5WrcriBFXs0Me oyUaWWe7ysfn =1FEh -----END PGP SIGNATURE----- Fri Nov 29 07:35:27 UTC 2024 I: Checking whether the package is not for us Fri Nov 29 07:35:27 UTC 2024 I: Starting 1st build on remote node virt64a-armhf-rb.debian.net. Fri Nov 29 07:35:27 UTC 2024 I: Preparing to do remote build '1' on virt64a-armhf-rb.debian.net. Fri Nov 29 07:45:54 UTC 2024 I: Deleting $TMPDIR on virt64a-armhf-rb.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Thu Nov 28 19:35:35 -12 2024 I: pbuilder-time-stamp: 1732865735 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-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: Copying source file I: copying [proofgeneral_4.5-3.dsc] I: copying [./proofgeneral_4.5.orig.tar.gz] I: copying [./proofgeneral_4.5-3.debian.tar.xz] I: Extracting source gpgv: Signature made Wed Nov 27 17:29:41 2024 gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 gpgv: issuer "jpuydt@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./proofgeneral_4.5-3.dsc: no acceptable signature found dpkg-source: info: extracting proofgeneral in proofgeneral-4.5 dpkg-source: info: unpacking proofgeneral_4.5.orig.tar.gz dpkg-source: info: unpacking proofgeneral_4.5-3.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 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 desktop-keyword-entry.patch I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/7112/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build/reproducible-path' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='armhf' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3 ' DISTRIBUTION='unstable' HOME='/root' HOST_ARCH='armhf' IFS=' ' INVOCATION_ID='069138bbb3954f62867ceeb6eefd2a94' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' 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='7112' 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.CKOwezfO/pbuilderrc_iHKm --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.CKOwezfO/b1 --logfile b1/build.log proofgeneral_4.5-3.dsc' SUDO_GID='114' SUDO_UID='108' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://10.0.0.15:3142/' I: uname -a Linux virt64a 6.1.0-28-arm64 #1 SMP Debian 6.1.119-1 (2024-11-22) aarch64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin I: user script /srv/workspace/pbuilder/7112/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: armhf 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-compat (= 13), texinfo, texlive-latex-recommended, texlive-plain-generic, texlive-fonts-recommended, emacs | emacs-nox, dh-elpa dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19684 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-compat (= 13); however: Package debhelper-compat 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 | emacs-nox; however: Package emacs is not installed. Package emacs-nox is not installed. pbuilder-satisfydepends-dummy depends on dh-elpa; however: Package dh-elpa 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} ca-certificates{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-elpa{a} dh-strip-nondeterminism{a} dwz{a} emacs{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-dejavu-mono{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} libabsl20230802{a} libaom3{a} libapparmor1{a} libapt-pkg-perl{a} libarchive-zip-perl{a} libarray-unique-perl{a} libarray-utils-perl{a} libasound2-data{a} libasound2t64{a} libatk-bridge2.0-0t64{a} libatk1.0-0t64{a} libatspi2.0-0t64{a} libavahi-client3{a} libavahi-common-data{a} libavahi-common3{a} libavif16{a} libbrotli1{a} libcairo-gobject2{a} libcairo2{a} libcgi-pm-perl{a} libclass-accessor-perl{a} libclone-perl{a} libcloudproviders0{a} libcolord2{a} libcom-err2{a} libconfig-tiny-perl{a} libcups2t64{a} libdatrie1{a} libdav1d7{a} libdbus-1-3{a} libdconf1{a} libde265-0{a} libdebhelper-perl{a} libdebian-source-perl{a} libdeflate0{a} libelf1t64{a} libencode-locale-perl{a} libepoxy0{a} liberror-perl{a} libexpat1{a} libexporter-lite-perl{a} libexporter-tiny-perl{a} libfile-find-rule-perl{a} libfile-listing-perl{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-0t64{a} libgpm2{a} libgraphite2-3{a} libgssapi-krb5-2{a} libgtk-3-0t64{a} libgtk-3-common{a} libharfbuzz0b{a} libheif-plugin-dav1d{a} libheif-plugin-libde265{a} libheif1{a} libhtml-form-perl{a} libhtml-parser-perl{a} libhtml-tagset-perl{a} libhtml-tree-perl{a} libhttp-cookies-perl{a} libhttp-date-perl{a} libhttp-message-perl{a} libhttp-negotiate-perl{a} libice6{a} libicu72{a} libimagequant0{a} libio-html-perl{a} libio-socket-ssl-perl{a} libio-stringy-perl{a} libjbig0{a} libjpeg62-turbo{a} libk5crypto3{a} libkeyutils1{a} libkpathsea6{a} libkrb5-3{a} libkrb5support0{a} liblcms2-2{a} liblerc4{a} liblist-moreutils-perl{a} liblist-moreutils-xs-perl{a} liblwp-mediatypes-perl{a} liblwp-protocol-https-perl{a} libm17n-0{a} libmagic-mgc{a} libmagic1t64{a} libmpfi0{a} libnet-http-perl{a} libnet-ssleay-perl{a} libnumber-compare-perl{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} libparse-debcontrol-perl{a} libpipeline1{a} libpixman-1-0{a} libpng16-16t64{a} libpotrace0{a} libproc2-0{a} libptexenc1{a} libraqm0{a} librav1e0.7{a} librsvg2-2{a} libsharpyuv0{a} libsm6{a} libsub-install-perl{a} libsub-name-perl{a} libsvtav1enc2{a} libsynctex2{a} libsystemd-shared{a} libteckit0{a} libtexlua53-5{a} libtext-glob-perl{a} libtext-unidecode-perl{a} libthai-data{a} libthai0{a} libtie-ixhash-perl{a} libtiff6{a} libtimedate-perl{a} libtool{a} libtree-sitter0{a} libtry-tiny-perl{a} libuchardet0{a} liburi-perl{a} libwayland-client0{a} libwayland-cursor0{a} libwayland-egl1{a} libwebp7{a} libwebpdecoder3{a} libwebpdemux2{a} libwww-mechanize-perl{a} libwww-perl{a} libwww-robotrules-perl{a} libx11-6{a} libx11-data{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} libxt6t64{a} libyuv0{a} libzzip-0-13t64{a} m17n-db{a} m4{a} man-db{a} netbase{a} openssl{a} perl-openssl-defaults{a} po-debconf{a} procps{a} sensible-utils{a} shared-mime-info{a} systemd{a} systemd-sysv{a} t1utils{a} tex-common{a} texinfo{a} texinfo-lib{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 krb5-locales libarchive-cpio-perl libcgi-fast-perl libdata-dump-perl libfile-mimeinfo-perl libgdk-pixbuf2.0-bin libglib2.0-data libgtk-3-bin libheif-plugin-aomenc libheif-plugin-x265 libhtml-format-perl libhttp-daemon-perl libio-compress-brotli-perl libkmod2 libltdl-dev libmail-sendmail-perl libmailtools-perl libnet-dbus-perl libnss-systemd librsvg2-common libx11-protocol-perl libxml-sax-expat-perl linux-sysctl-defaults lmodern lynx mailutils ntpsec openntpd psmisc systemd-cryptsetup systemd-timesyncd tex-gyre tipa wget x11-utils x11-xserver-utils xdg-user-dirs 0 packages upgraded, 240 newly installed, 0 to remove and 0 not upgraded. Need to get 191 MB of archives. After unpacking 614 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian unstable/main armhf libapparmor1 armhf 3.1.7-1+b3 [38.0 kB] Get: 2 http://deb.debian.org/debian unstable/main armhf libsystemd-shared armhf 257~rc3-1 [1956 kB] Get: 3 http://deb.debian.org/debian unstable/main armhf systemd armhf 257~rc3-1 [3499 kB] Get: 4 http://deb.debian.org/debian unstable/main armhf systemd-sysv armhf 257~rc3-1 [59.5 kB] Get: 5 http://deb.debian.org/debian unstable/main armhf libdbus-1-3 armhf 1.14.10-6 [180 kB] Get: 6 http://deb.debian.org/debian unstable/main armhf dbus-bin armhf 1.14.10-6 [104 kB] Get: 7 http://deb.debian.org/debian unstable/main armhf dbus-session-bus-common all 1.14.10-6 [79.2 kB] Get: 8 http://deb.debian.org/debian unstable/main armhf libexpat1 armhf 2.6.4-1 [83.5 kB] Get: 9 http://deb.debian.org/debian unstable/main armhf dbus-daemon armhf 1.14.10-6 [171 kB] Get: 10 http://deb.debian.org/debian unstable/main armhf dbus-system-bus-common all 1.14.10-6 [80.2 kB] Get: 11 http://deb.debian.org/debian unstable/main armhf dbus armhf 1.14.10-6 [95.9 kB] Get: 12 http://deb.debian.org/debian unstable/main armhf install-info armhf 7.1.1-1+b1 [163 kB] Get: 13 http://deb.debian.org/debian unstable/main armhf netbase all 6.4 [12.8 kB] Get: 14 http://deb.debian.org/debian unstable/main armhf libproc2-0 armhf 2:4.0.4-6 [56.0 kB] Get: 15 http://deb.debian.org/debian unstable/main armhf procps armhf 2:4.0.4-6 [864 kB] Get: 16 http://deb.debian.org/debian unstable/main armhf sensible-utils all 0.0.24 [24.8 kB] Get: 17 http://deb.debian.org/debian unstable/main armhf openssl armhf 3.3.2-2 [1348 kB] Get: 18 http://deb.debian.org/debian unstable/main armhf ca-certificates all 20240203 [158 kB] Get: 19 http://deb.debian.org/debian unstable/main armhf libmagic-mgc armhf 1:5.45-3+b1 [314 kB] Get: 20 http://deb.debian.org/debian unstable/main armhf libmagic1t64 armhf 1:5.45-3+b1 [98.5 kB] Get: 21 http://deb.debian.org/debian unstable/main armhf file armhf 1:5.45-3+b1 [42.3 kB] Get: 22 http://deb.debian.org/debian unstable/main armhf gettext-base armhf 0.22.5-2 [195 kB] Get: 23 http://deb.debian.org/debian unstable/main armhf libuchardet0 armhf 0.0.8-1+b2 [65.6 kB] Get: 24 http://deb.debian.org/debian unstable/main armhf groff-base armhf 1.23.0-5 [1091 kB] Get: 25 http://deb.debian.org/debian unstable/main armhf libpam-systemd armhf 257~rc3-1 [266 kB] Get: 26 http://deb.debian.org/debian unstable/main armhf bsdextrautils armhf 2.40.2-11 [83.6 kB] Get: 27 http://deb.debian.org/debian unstable/main armhf libpipeline1 armhf 1.5.8-1 [35.0 kB] Get: 28 http://deb.debian.org/debian unstable/main armhf man-db armhf 2.13.0-1 [1382 kB] Get: 29 http://deb.debian.org/debian unstable/main armhf ucf all 3.0043+nmu1 [55.2 kB] Get: 30 http://deb.debian.org/debian unstable/main armhf libgdk-pixbuf2.0-common all 2.42.12+dfsg-1 [311 kB] Get: 31 http://deb.debian.org/debian unstable/main armhf libglib2.0-0t64 armhf 2.82.2-3 [1326 kB] Get: 32 http://deb.debian.org/debian unstable/main armhf libicu72 armhf 72.1-5+b1 [9088 kB] Get: 33 http://deb.debian.org/debian unstable/main armhf libxml2 armhf 2.12.7+dfsg+really2.9.14-0.2+b1 [605 kB] Get: 34 http://deb.debian.org/debian unstable/main armhf shared-mime-info armhf 2.4-5+b1 [753 kB] Get: 35 http://deb.debian.org/debian unstable/main armhf libjpeg62-turbo armhf 1:2.1.5-3+b1 [145 kB] Get: 36 http://deb.debian.org/debian unstable/main armhf libpng16-16t64 armhf 1.6.44-2 [263 kB] Get: 37 http://deb.debian.org/debian unstable/main armhf libdeflate0 armhf 1.22-1 [36.3 kB] Get: 38 http://deb.debian.org/debian unstable/main armhf libjbig0 armhf 2.1-6.1+b2 [27.3 kB] Get: 39 http://deb.debian.org/debian unstable/main armhf liblerc4 armhf 4.0.0+ds-5 [146 kB] Get: 40 http://deb.debian.org/debian unstable/main armhf libsharpyuv0 armhf 1.4.0-0.1+b1 [111 kB] Get: 41 http://deb.debian.org/debian unstable/main armhf libwebp7 armhf 1.4.0-0.1+b1 [266 kB] Get: 42 http://deb.debian.org/debian unstable/main armhf libtiff6 armhf 4.5.1+git230720-5 [302 kB] Get: 43 http://deb.debian.org/debian unstable/main armhf libgdk-pixbuf-2.0-0 armhf 2.42.12+dfsg-1+b1 [124 kB] Get: 44 http://deb.debian.org/debian unstable/main armhf gtk-update-icon-cache armhf 4.16.7+ds-1 [49.1 kB] Get: 45 http://deb.debian.org/debian unstable/main armhf hicolor-icon-theme all 0.18-1 [12.0 kB] Get: 46 http://deb.debian.org/debian unstable/main armhf adwaita-icon-theme all 47.0-2 [463 kB] Get: 47 http://deb.debian.org/debian unstable/main armhf at-spi2-common all 2.54.0-1 [170 kB] Get: 48 http://deb.debian.org/debian unstable/main armhf m4 armhf 1.4.19-4 [264 kB] Get: 49 http://deb.debian.org/debian unstable/main armhf autoconf all 2.72-3 [493 kB] Get: 50 http://deb.debian.org/debian unstable/main armhf autotools-dev all 20220109.1 [51.6 kB] Get: 51 http://deb.debian.org/debian unstable/main armhf automake all 1:1.16.5-1.3 [823 kB] Get: 52 http://deb.debian.org/debian unstable/main armhf autopoint all 0.22.5-2 [723 kB] Get: 53 http://deb.debian.org/debian unstable/main armhf dbus-user-session armhf 1.14.10-6 [79.0 kB] Get: 54 http://deb.debian.org/debian unstable/main armhf libdconf1 armhf 0.40.0-4+b3 [37.0 kB] Get: 55 http://deb.debian.org/debian unstable/main armhf dconf-service armhf 0.40.0-4+b3 [27.7 kB] Get: 56 http://deb.debian.org/debian unstable/main armhf dconf-gsettings-backend armhf 0.40.0-4+b3 [24.1 kB] Get: 57 http://deb.debian.org/debian unstable/main armhf libdebhelper-perl all 13.20 [89.7 kB] Get: 58 http://deb.debian.org/debian unstable/main armhf libtool all 2.4.7-8 [517 kB] Get: 59 http://deb.debian.org/debian unstable/main armhf dh-autoreconf all 20 [17.1 kB] Get: 60 http://deb.debian.org/debian unstable/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Get: 61 http://deb.debian.org/debian unstable/main armhf libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB] Get: 62 http://deb.debian.org/debian unstable/main armhf dh-strip-nondeterminism all 1.14.0-1 [8448 B] Get: 63 http://deb.debian.org/debian unstable/main armhf libelf1t64 armhf 0.192-4 [184 kB] Get: 64 http://deb.debian.org/debian unstable/main armhf dwz armhf 0.15-1+b2 [106 kB] Get: 65 http://deb.debian.org/debian unstable/main armhf gettext armhf 0.22.5-2 [1485 kB] Get: 66 http://deb.debian.org/debian unstable/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 67 http://deb.debian.org/debian unstable/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 68 http://deb.debian.org/debian unstable/main armhf debhelper all 13.20 [915 kB] Get: 69 http://deb.debian.org/debian unstable/main armhf libapt-pkg-perl armhf 0.1.40+b6 [62.4 kB] Get: 70 http://deb.debian.org/debian unstable/main armhf libtie-ixhash-perl all 1.23-4 [11.7 kB] Get: 71 http://deb.debian.org/debian unstable/main armhf libarray-unique-perl all 0.09-1 [12.9 kB] Get: 72 http://deb.debian.org/debian unstable/main armhf libsub-name-perl armhf 0.27-1+b3 [12.0 kB] Get: 73 http://deb.debian.org/debian unstable/main armhf libclass-accessor-perl all 0.51-2 [22.7 kB] Get: 74 http://deb.debian.org/debian unstable/main armhf libexporter-tiny-perl all 1.006002-1 [38.7 kB] Get: 75 http://deb.debian.org/debian unstable/main armhf liblist-moreutils-xs-perl armhf 0.430-4+b1 [36.6 kB] Get: 76 http://deb.debian.org/debian unstable/main armhf liblist-moreutils-perl all 0.430-2 [46.9 kB] Get: 77 http://deb.debian.org/debian unstable/main armhf libio-stringy-perl all 2.113-2 [48.3 kB] Get: 78 http://deb.debian.org/debian unstable/main armhf libencode-locale-perl all 1.05-3 [12.9 kB] Get: 79 http://deb.debian.org/debian unstable/main armhf libtimedate-perl all 2.3300-2 [39.3 kB] Get: 80 http://deb.debian.org/debian unstable/main armhf libhttp-date-perl all 6.06-1 [10.7 kB] Get: 81 http://deb.debian.org/debian unstable/main armhf libfile-listing-perl all 6.16-1 [12.4 kB] Get: 82 http://deb.debian.org/debian unstable/main armhf libhtml-tagset-perl all 3.24-1 [14.7 kB] Get: 83 http://deb.debian.org/debian unstable/main armhf liburi-perl all 5.30-1 [105 kB] Get: 84 http://deb.debian.org/debian unstable/main armhf libhtml-parser-perl armhf 3.83-1+b1 [96.4 kB] Get: 85 http://deb.debian.org/debian unstable/main armhf libhtml-tree-perl all 5.07-3 [211 kB] Get: 86 http://deb.debian.org/debian unstable/main armhf libclone-perl armhf 0.47-1+b1 [13.3 kB] Get: 87 http://deb.debian.org/debian unstable/main armhf libio-html-perl all 1.004-3 [16.2 kB] Get: 88 http://deb.debian.org/debian unstable/main armhf liblwp-mediatypes-perl all 6.04-2 [20.2 kB] Get: 89 http://deb.debian.org/debian unstable/main armhf libhttp-message-perl all 7.00-2 [79.8 kB] Get: 90 http://deb.debian.org/debian unstable/main armhf libhttp-cookies-perl all 6.11-1 [19.1 kB] Get: 91 http://deb.debian.org/debian unstable/main armhf libhttp-negotiate-perl all 6.01-2 [13.1 kB] Get: 92 http://deb.debian.org/debian unstable/main armhf perl-openssl-defaults armhf 7+b2 [6708 B] Get: 93 http://deb.debian.org/debian unstable/main armhf libnet-ssleay-perl armhf 1.94-2 [319 kB] Get: 94 http://deb.debian.org/debian unstable/main armhf libio-socket-ssl-perl all 2.089-1 [223 kB] Get: 95 http://deb.debian.org/debian unstable/main armhf libnet-http-perl all 6.23-1 [23.9 kB] Get: 96 http://deb.debian.org/debian unstable/main armhf liblwp-protocol-https-perl all 6.14-1 [10.8 kB] Get: 97 http://deb.debian.org/debian unstable/main armhf libtry-tiny-perl all 0.32-1 [22.9 kB] Get: 98 http://deb.debian.org/debian unstable/main armhf libwww-robotrules-perl all 6.02-1 [12.9 kB] Get: 99 http://deb.debian.org/debian unstable/main armhf libwww-perl all 6.77-1 [183 kB] Get: 100 http://deb.debian.org/debian unstable/main armhf liberror-perl all 0.17029-2 [29.0 kB] Get: 101 http://deb.debian.org/debian unstable/main armhf libexporter-lite-perl all 0.09-2 [10.7 kB] Get: 102 http://deb.debian.org/debian unstable/main armhf libparse-debcontrol-perl all 2.005-6 [21.6 kB] Get: 103 http://deb.debian.org/debian unstable/main armhf libsub-install-perl all 0.929-1 [10.5 kB] Get: 104 http://deb.debian.org/debian unstable/main armhf libcgi-pm-perl all 4.66-1 [217 kB] Get: 105 http://deb.debian.org/debian unstable/main armhf libhtml-form-perl all 6.12-1 [32.3 kB] Get: 106 http://deb.debian.org/debian unstable/main armhf libwww-mechanize-perl all 2.19-1 [114 kB] Get: 107 http://deb.debian.org/debian unstable/main armhf libdebian-source-perl all 0.126 [53.2 kB] Get: 108 http://deb.debian.org/debian unstable/main armhf emacs-el all 1:29.4+1-3 [18.8 MB] Get: 109 http://deb.debian.org/debian unstable/main armhf emacsen-common all 3.0.5 [12.3 kB] Get: 110 http://deb.debian.org/debian unstable/main armhf emacs-common all 1:29.4+1-3 [15.2 MB] Get: 111 http://deb.debian.org/debian unstable/main armhf emacs-bin-common armhf 1:29.4+1-3 [87.4 kB] Get: 112 http://deb.debian.org/debian unstable/main armhf libasound2-data all 1.2.12-1 [21.0 kB] Get: 113 http://deb.debian.org/debian unstable/main armhf libasound2t64 armhf 1.2.12-1+b1 [317 kB] Get: 114 http://deb.debian.org/debian unstable/main armhf libbrotli1 armhf 1.1.0-2+b6 [282 kB] Get: 115 http://deb.debian.org/debian unstable/main armhf libfreetype6 armhf 2.13.3+dfsg-1 [385 kB] Get: 116 http://deb.debian.org/debian unstable/main armhf fonts-dejavu-mono all 2.37-8 [489 kB] Get: 117 http://deb.debian.org/debian unstable/main armhf fonts-dejavu-core all 2.37-8 [840 kB] Get: 118 http://deb.debian.org/debian unstable/main armhf fontconfig-config armhf 2.15.0-1.1+b1 [318 kB] Get: 119 http://deb.debian.org/debian unstable/main armhf libfontconfig1 armhf 2.15.0-1.1+b1 [371 kB] Get: 120 http://deb.debian.org/debian unstable/main armhf libpixman-1-0 armhf 0.44.0-3 [164 kB] Get: 121 http://deb.debian.org/debian unstable/main armhf libxau6 armhf 1:1.0.11-1 [19.7 kB] Get: 122 http://deb.debian.org/debian unstable/main armhf libxdmcp6 armhf 1:1.1.5-1 [26.4 kB] Get: 123 http://deb.debian.org/debian unstable/main armhf libxcb1 armhf 1.17.0-2+b1 [140 kB] Get: 124 http://deb.debian.org/debian unstable/main armhf libx11-data all 2:1.8.10-2 [337 kB] Get: 125 http://deb.debian.org/debian unstable/main armhf libx11-6 armhf 2:1.8.10-2 [750 kB] Get: 126 http://deb.debian.org/debian unstable/main armhf libxcb-render0 armhf 1.17.0-2+b1 [114 kB] Get: 127 http://deb.debian.org/debian unstable/main armhf libxcb-shm0 armhf 1.17.0-2+b1 [105 kB] Get: 128 http://deb.debian.org/debian unstable/main armhf libxext6 armhf 2:1.3.4-1+b2 [45.2 kB] Get: 129 http://deb.debian.org/debian unstable/main armhf libxrender1 armhf 1:0.9.10-1.1+b2 [25.0 kB] Get: 130 http://deb.debian.org/debian unstable/main armhf libcairo2 armhf 1.18.2-2 [443 kB] Get: 131 http://deb.debian.org/debian unstable/main armhf libgccjit0 armhf 14.2.0-8 [7896 kB] Get: 132 http://deb.debian.org/debian unstable/main armhf libgif7 armhf 5.2.2-1+b1 [41.4 kB] Get: 133 http://deb.debian.org/debian unstable/main armhf libgpm2 armhf 1.20.7-11+b1 [13.9 kB] Get: 134 http://deb.debian.org/debian unstable/main armhf libatk1.0-0t64 armhf 2.54.0-1 [44.4 kB] Get: 135 http://deb.debian.org/debian unstable/main armhf libxi6 armhf 2:1.8.2-1 [73.6 kB] Get: 136 http://deb.debian.org/debian unstable/main armhf libatspi2.0-0t64 armhf 2.54.0-1 [66.0 kB] Get: 137 http://deb.debian.org/debian unstable/main armhf libatk-bridge2.0-0t64 armhf 2.54.0-1 [59.9 kB] Get: 138 http://deb.debian.org/debian unstable/main armhf libcairo-gobject2 armhf 1.18.2-2 [129 kB] Get: 139 http://deb.debian.org/debian unstable/main armhf libcloudproviders0 armhf 0.3.6-1+b1 [24.7 kB] Get: 140 http://deb.debian.org/debian unstable/main armhf liblcms2-2 armhf 2.16-2 [131 kB] Get: 141 http://deb.debian.org/debian unstable/main armhf libcolord2 armhf 1.4.7-1+b2 [121 kB] Get: 142 http://deb.debian.org/debian unstable/main armhf libavahi-common-data armhf 0.8-13+b3 [111 kB] Get: 143 http://deb.debian.org/debian unstable/main armhf libavahi-common3 armhf 0.8-13+b3 [40.1 kB] Get: 144 http://deb.debian.org/debian unstable/main armhf libavahi-client3 armhf 0.8-13+b3 [43.6 kB] Get: 145 http://deb.debian.org/debian unstable/main armhf libkrb5support0 armhf 1.21.3-3 [30.0 kB] Get: 146 http://deb.debian.org/debian unstable/main armhf libcom-err2 armhf 1.47.1-1+b1 [22.3 kB] Get: 147 http://deb.debian.org/debian unstable/main armhf libk5crypto3 armhf 1.21.3-3 [75.8 kB] Get: 148 http://deb.debian.org/debian unstable/main armhf libkeyutils1 armhf 1.6.3-4 [8096 B] Get: 149 http://deb.debian.org/debian unstable/main armhf libkrb5-3 armhf 1.21.3-3 [283 kB] Get: 150 http://deb.debian.org/debian unstable/main armhf libgssapi-krb5-2 armhf 1.21.3-3 [114 kB] Get: 151 http://deb.debian.org/debian unstable/main armhf libcups2t64 armhf 2.4.10-2 [216 kB] Get: 152 http://deb.debian.org/debian unstable/main armhf libepoxy0 armhf 1.5.10-2 [165 kB] Get: 153 http://deb.debian.org/debian unstable/main armhf libfribidi0 armhf 1.0.15-1 [70.0 kB] Get: 154 http://deb.debian.org/debian unstable/main armhf libgraphite2-3 armhf 1.3.14-2+b1 [63.1 kB] Get: 155 http://deb.debian.org/debian unstable/main armhf libharfbuzz0b armhf 10.0.1-1 [418 kB] Get: 156 http://deb.debian.org/debian unstable/main armhf fontconfig armhf 2.15.0-1.1+b1 [461 kB] Get: 157 http://deb.debian.org/debian unstable/main armhf libthai-data all 0.1.29-2 [168 kB] Get: 158 http://deb.debian.org/debian unstable/main armhf libdatrie1 armhf 0.2.13-3+b1 [34.7 kB] Get: 159 http://deb.debian.org/debian unstable/main armhf libthai0 armhf 0.1.29-2+b1 [46.0 kB] Get: 160 http://deb.debian.org/debian unstable/main armhf libpango-1.0-0 armhf 1.54.0+ds-3 [198 kB] Get: 161 http://deb.debian.org/debian unstable/main armhf libpangoft2-1.0-0 armhf 1.54.0+ds-3 [47.6 kB] Get: 162 http://deb.debian.org/debian unstable/main armhf libpangocairo-1.0-0 armhf 1.54.0+ds-3 [31.1 kB] Get: 163 http://deb.debian.org/debian unstable/main armhf libwayland-client0 armhf 1.23.0-1+b1 [21.2 kB] Get: 164 http://deb.debian.org/debian unstable/main armhf libwayland-cursor0 armhf 1.23.0-1+b1 [10.5 kB] Get: 165 http://deb.debian.org/debian unstable/main armhf libwayland-egl1 armhf 1.23.0-1+b1 [5452 B] Get: 166 http://deb.debian.org/debian unstable/main armhf libxcomposite1 armhf 1:0.4.6-1 [15.8 kB] Get: 167 http://deb.debian.org/debian unstable/main armhf libxfixes3 armhf 1:6.0.0-2+b2 [18.6 kB] Get: 168 http://deb.debian.org/debian unstable/main armhf libxcursor1 armhf 1:1.2.2-1+b1 [34.1 kB] Get: 169 http://deb.debian.org/debian unstable/main armhf libxdamage1 armhf 1:1.1.6-1+b2 [14.8 kB] Get: 170 http://deb.debian.org/debian unstable/main armhf libxinerama1 armhf 2:1.1.4-3+b2 [15.6 kB] Get: 171 http://deb.debian.org/debian unstable/main armhf xkb-data all 2.42-1 [790 kB] Get: 172 http://deb.debian.org/debian unstable/main armhf libxkbcommon0 armhf 1.7.0-1 [99.9 kB] Get: 173 http://deb.debian.org/debian unstable/main armhf libxrandr2 armhf 2:1.5.4-1+b1 [33.1 kB] Get: 174 http://deb.debian.org/debian unstable/main armhf libgtk-3-common all 3.24.43-4 [4657 kB] Get: 175 http://deb.debian.org/debian unstable/main armhf libgtk-3-0t64 armhf 3.24.43-4 [2368 kB] Get: 176 http://deb.debian.org/debian unstable/main armhf x11-common all 1:7.7+23.1 [216 kB] Get: 177 http://deb.debian.org/debian unstable/main armhf libice6 armhf 2:1.1.1-1 [58.5 kB] Get: 178 http://deb.debian.org/debian unstable/main armhf m17n-db all 1.8.9-1 [1529 kB] Get: 179 http://deb.debian.org/debian unstable/main armhf libaom3 armhf 3.11.0-1 [1599 kB] Get: 180 http://deb.debian.org/debian unstable/main armhf libdav1d7 armhf 1.5.0-1+b1 [250 kB] Get: 181 http://deb.debian.org/debian unstable/main armhf libabsl20230802 armhf 20230802.1-4 [432 kB] Get: 182 http://deb.debian.org/debian unstable/main armhf libgav1-1 armhf 0.19.0-2+b2 [298 kB] Get: 183 http://deb.debian.org/debian unstable/main armhf librav1e0.7 armhf 0.7.1-7+b2 [587 kB] Get: 184 http://deb.debian.org/debian unstable/main armhf libsvtav1enc2 armhf 2.2.1+dfsg-2 [937 kB] Get: 185 http://deb.debian.org/debian unstable/main armhf libyuv0 armhf 0.0.1898.20241125-1 [86.6 kB] Get: 186 http://deb.debian.org/debian unstable/main armhf libavif16 armhf 1.1.1-1 [103 kB] Get: 187 http://deb.debian.org/debian unstable/main armhf libheif-plugin-dav1d armhf 1.19.3-1 [10.8 kB] Get: 188 http://deb.debian.org/debian unstable/main armhf libde265-0 armhf 1.0.15-1+b2 [145 kB] Get: 189 http://deb.debian.org/debian unstable/main armhf libheif-plugin-libde265 armhf 1.19.3-1 [13.9 kB] Get: 190 http://deb.debian.org/debian unstable/main armhf libheif1 armhf 1.19.3-1 [410 kB] Get: 191 http://deb.debian.org/debian unstable/main armhf libimagequant0 armhf 2.18.0-1+b2 [30.5 kB] Get: 192 http://deb.debian.org/debian unstable/main armhf libraqm0 armhf 0.10.1-1+b2 [11.8 kB] Get: 193 http://deb.debian.org/debian unstable/main armhf libxpm4 armhf 1:3.5.17-1+b2 [50.4 kB] Get: 194 http://deb.debian.org/debian unstable/main armhf libgd3 armhf 2.3.3-12+b1 [105 kB] Get: 195 http://deb.debian.org/debian unstable/main armhf libotf1 armhf 0.9.16-4+b2 [50.8 kB] Get: 196 http://deb.debian.org/debian unstable/main armhf libxft2 armhf 2.3.6-1+b2 [46.5 kB] Get: 197 http://deb.debian.org/debian unstable/main armhf libsm6 armhf 2:1.2.4-1 [33.5 kB] Get: 198 http://deb.debian.org/debian unstable/main armhf libxt6t64 armhf 1:1.2.1-1.2+b1 [160 kB] Get: 199 http://deb.debian.org/debian unstable/main armhf libm17n-0 armhf 1.8.4-2 [220 kB] Get: 200 http://deb.debian.org/debian unstable/main armhf librsvg2-2 armhf 2.59.2+dfsg-1 [1543 kB] Get: 201 http://deb.debian.org/debian unstable/main armhf libtree-sitter0 armhf 0.20.8-2+b2 [73.1 kB] Get: 202 http://deb.debian.org/debian unstable/main armhf libwebpdecoder3 armhf 1.4.0-0.1+b1 [182 kB] Get: 203 http://deb.debian.org/debian unstable/main armhf libwebpdemux2 armhf 1.4.0-0.1+b1 [110 kB] Get: 204 http://deb.debian.org/debian unstable/main armhf emacs-gtk armhf 1:29.4+1-3 [6692 kB] Get: 205 http://deb.debian.org/debian unstable/main armhf emacs all 1:29.4+1-3 [18.4 kB] Get: 206 http://deb.debian.org/debian unstable/main armhf libarray-utils-perl all 0.5-3 [6184 B] Get: 207 http://deb.debian.org/debian unstable/main armhf libconfig-tiny-perl all 2.30-1 [18.9 kB] Get: 208 http://deb.debian.org/debian unstable/main armhf libnumber-compare-perl all 0.03-3 [6332 B] Get: 209 http://deb.debian.org/debian unstable/main armhf libtext-glob-perl all 0.11-3 [7676 B] Get: 210 http://deb.debian.org/debian unstable/main armhf libfile-find-rule-perl all 0.34-3 [26.6 kB] Get: 211 http://deb.debian.org/debian unstable/main armhf dh-elpa all 2.1.5 [29.7 kB] Get: 212 http://deb.debian.org/debian unstable/main armhf fonts-lmodern all 2.005-1 [4540 kB] Get: 213 http://deb.debian.org/debian unstable/main armhf libkpathsea6 armhf 2024.20240313.70630+ds-5 [147 kB] Get: 214 http://deb.debian.org/debian unstable/main armhf libmpfi0 armhf 1.5.4+ds-4 [28.8 kB] Get: 215 http://deb.debian.org/debian unstable/main armhf libpaper1 armhf 1.1.29+b2 [12.2 kB] Get: 216 http://deb.debian.org/debian unstable/main armhf libpaper-utils armhf 1.1.29+b2 [8700 B] Get: 217 http://deb.debian.org/debian unstable/main armhf libpotrace0 armhf 1.16-2+b2 [22.7 kB] Get: 218 http://deb.debian.org/debian unstable/main armhf libptexenc1 armhf 2024.20240313.70630+ds-5 [44.4 kB] Get: 219 http://deb.debian.org/debian unstable/main armhf libsynctex2 armhf 2024.20240313.70630+ds-5 [49.2 kB] Get: 220 http://deb.debian.org/debian unstable/main armhf libteckit0 armhf 2.5.12+ds1-1+b1 [259 kB] Get: 221 http://deb.debian.org/debian unstable/main armhf libtexlua53-5 armhf 2024.20240313.70630+ds-5 [83.4 kB] Get: 222 http://deb.debian.org/debian unstable/main armhf libtext-unidecode-perl all 1.30-3 [101 kB] Get: 223 http://deb.debian.org/debian unstable/main armhf libxmu6 armhf 2:1.1.3-3+b3 [51.2 kB] Get: 224 http://deb.debian.org/debian unstable/main armhf libxaw7 armhf 2:1.0.16-1 [177 kB] Get: 225 http://deb.debian.org/debian unstable/main armhf libxml-namespacesupport-perl all 1.12-2 [15.1 kB] Get: 226 http://deb.debian.org/debian unstable/main armhf libxml-sax-base-perl all 1.09-3 [20.6 kB] Get: 227 http://deb.debian.org/debian unstable/main armhf libxml-sax-perl all 1.02+dfsg-4 [53.4 kB] Get: 228 http://deb.debian.org/debian unstable/main armhf libxml-libxml-perl armhf 2.0207+dfsg+really+2.0134-5+b1 [298 kB] Get: 229 http://deb.debian.org/debian unstable/main armhf libzzip-0-13t64 armhf 0.13.72+dfsg.1-1.3 [53.1 kB] Get: 230 http://deb.debian.org/debian unstable/main armhf t1utils armhf 1.41-4 [54.7 kB] Get: 231 http://deb.debian.org/debian unstable/main armhf tex-common all 6.18 [32.5 kB] Get: 232 http://deb.debian.org/debian unstable/main armhf texinfo-lib armhf 7.1.1-1+b1 [209 kB] Get: 233 http://deb.debian.org/debian unstable/main armhf texinfo all 7.1.1-1 [1753 kB] Get: 234 http://deb.debian.org/debian unstable/main armhf texlive-binaries armhf 2024.20240313.70630+ds-5 [6041 kB] Get: 235 http://deb.debian.org/debian unstable/main armhf xdg-utils all 1.1.3-4.1 [75.5 kB] Get: 236 http://deb.debian.org/debian unstable/main armhf texlive-base all 2024.20241115-1 [22.7 MB] Get: 237 http://deb.debian.org/debian unstable/main armhf texlive-fonts-recommended all 2024.20241115-1 [4991 kB] Get: 238 http://deb.debian.org/debian unstable/main armhf texlive-latex-base all 2024.20241115-1 [1278 kB] Get: 239 http://deb.debian.org/debian unstable/main armhf texlive-latex-recommended all 2024.20241115-1 [8757 kB] Get: 240 http://deb.debian.org/debian unstable/main armhf texlive-plain-generic all 2024.20241115-1 [28.6 MB] Fetched 191 MB in 4s (44.5 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libapparmor1:armhf. (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 ... 19684 files and directories currently installed.) Preparing to unpack .../libapparmor1_3.1.7-1+b3_armhf.deb ... Unpacking libapparmor1:armhf (3.1.7-1+b3) ... Selecting previously unselected package libsystemd-shared:armhf. Preparing to unpack .../libsystemd-shared_257~rc3-1_armhf.deb ... Unpacking libsystemd-shared:armhf (257~rc3-1) ... Selecting previously unselected package systemd. Preparing to unpack .../systemd_257~rc3-1_armhf.deb ... Unpacking systemd (257~rc3-1) ... Setting up libapparmor1:armhf (3.1.7-1+b3) ... Setting up libsystemd-shared:armhf (257~rc3-1) ... Setting up systemd (257~rc3-1) ... Created symlink '/etc/systemd/system/getty.target.wants/getty@tty1.service' -> '/usr/lib/systemd/system/getty@.service'. Created symlink '/etc/systemd/system/multi-user.target.wants/remote-fs.target' -> '/usr/lib/systemd/system/remote-fs.target'. Created symlink '/etc/systemd/system/sysinit.target.wants/systemd-pstore.service' -> '/usr/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. /usr/lib/tmpfiles.d/legacy.conf:14: Duplicate line for path "/run/lock", ignoring. 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 ... 20639 files and directories currently installed.) Preparing to unpack .../0-systemd-sysv_257~rc3-1_armhf.deb ... Unpacking systemd-sysv (257~rc3-1) ... Selecting previously unselected package libdbus-1-3:armhf. Preparing to unpack .../1-libdbus-1-3_1.14.10-6_armhf.deb ... Unpacking libdbus-1-3:armhf (1.14.10-6) ... Selecting previously unselected package dbus-bin. Preparing to unpack .../2-dbus-bin_1.14.10-6_armhf.deb ... Unpacking dbus-bin (1.14.10-6) ... Selecting previously unselected package dbus-session-bus-common. Preparing to unpack .../3-dbus-session-bus-common_1.14.10-6_all.deb ... Unpacking dbus-session-bus-common (1.14.10-6) ... Selecting previously unselected package libexpat1:armhf. Preparing to unpack .../4-libexpat1_2.6.4-1_armhf.deb ... Unpacking libexpat1:armhf (2.6.4-1) ... Selecting previously unselected package dbus-daemon. Preparing to unpack .../5-dbus-daemon_1.14.10-6_armhf.deb ... Unpacking dbus-daemon (1.14.10-6) ... Selecting previously unselected package dbus-system-bus-common. Preparing to unpack .../6-dbus-system-bus-common_1.14.10-6_all.deb ... Unpacking dbus-system-bus-common (1.14.10-6) ... Selecting previously unselected package dbus. Preparing to unpack .../7-dbus_1.14.10-6_armhf.deb ... Unpacking dbus (1.14.10-6) ... Selecting previously unselected package install-info. Preparing to unpack .../8-install-info_7.1.1-1+b1_armhf.deb ... Unpacking install-info (7.1.1-1+b1) ... Setting up install-info (7.1.1-1+b1) ... Selecting previously unselected package netbase. (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 ... 20756 files and directories currently installed.) Preparing to unpack .../000-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Selecting previously unselected package libproc2-0:armhf. Preparing to unpack .../001-libproc2-0_2%3a4.0.4-6_armhf.deb ... Unpacking libproc2-0:armhf (2:4.0.4-6) ... Selecting previously unselected package procps. Preparing to unpack .../002-procps_2%3a4.0.4-6_armhf.deb ... Unpacking procps (2:4.0.4-6) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../003-sensible-utils_0.0.24_all.deb ... Unpacking sensible-utils (0.0.24) ... Selecting previously unselected package openssl. Preparing to unpack .../004-openssl_3.3.2-2_armhf.deb ... Unpacking openssl (3.3.2-2) ... Selecting previously unselected package ca-certificates. Preparing to unpack .../005-ca-certificates_20240203_all.deb ... Unpacking ca-certificates (20240203) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../006-libmagic-mgc_1%3a5.45-3+b1_armhf.deb ... Unpacking libmagic-mgc (1:5.45-3+b1) ... Selecting previously unselected package libmagic1t64:armhf. Preparing to unpack .../007-libmagic1t64_1%3a5.45-3+b1_armhf.deb ... Unpacking libmagic1t64:armhf (1:5.45-3+b1) ... Selecting previously unselected package file. Preparing to unpack .../008-file_1%3a5.45-3+b1_armhf.deb ... Unpacking file (1:5.45-3+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../009-gettext-base_0.22.5-2_armhf.deb ... Unpacking gettext-base (0.22.5-2) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../010-libuchardet0_0.0.8-1+b2_armhf.deb ... Unpacking libuchardet0:armhf (0.0.8-1+b2) ... Selecting previously unselected package groff-base. Preparing to unpack .../011-groff-base_1.23.0-5_armhf.deb ... Unpacking groff-base (1.23.0-5) ... Selecting previously unselected package libpam-systemd:armhf. Preparing to unpack .../012-libpam-systemd_257~rc3-1_armhf.deb ... Unpacking libpam-systemd:armhf (257~rc3-1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../013-bsdextrautils_2.40.2-11_armhf.deb ... Unpacking bsdextrautils (2.40.2-11) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../014-libpipeline1_1.5.8-1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../015-man-db_2.13.0-1_armhf.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package ucf. Preparing to unpack .../016-ucf_3.0043+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0043+nmu1) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../017-libgdk-pixbuf2.0-common_2.42.12+dfsg-1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... Selecting previously unselected package libglib2.0-0t64:armhf. Preparing to unpack .../018-libglib2.0-0t64_2.82.2-3_armhf.deb ... Unpacking libglib2.0-0t64:armhf (2.82.2-3) ... Selecting previously unselected package libicu72:armhf. Preparing to unpack .../019-libicu72_72.1-5+b1_armhf.deb ... Unpacking libicu72:armhf (72.1-5+b1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../020-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_armhf.deb ... Unpacking libxml2:armhf (2.12.7+dfsg+really2.9.14-0.2+b1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../021-shared-mime-info_2.4-5+b1_armhf.deb ... Unpacking shared-mime-info (2.4-5+b1) ... Selecting previously unselected package libjpeg62-turbo:armhf. Preparing to unpack .../022-libjpeg62-turbo_1%3a2.1.5-3+b1_armhf.deb ... Unpacking libjpeg62-turbo:armhf (1:2.1.5-3+b1) ... Selecting previously unselected package libpng16-16t64:armhf. Preparing to unpack .../023-libpng16-16t64_1.6.44-2_armhf.deb ... Unpacking libpng16-16t64:armhf (1.6.44-2) ... Selecting previously unselected package libdeflate0:armhf. Preparing to unpack .../024-libdeflate0_1.22-1_armhf.deb ... Unpacking libdeflate0:armhf (1.22-1) ... Selecting previously unselected package libjbig0:armhf. Preparing to unpack .../025-libjbig0_2.1-6.1+b2_armhf.deb ... Unpacking libjbig0:armhf (2.1-6.1+b2) ... Selecting previously unselected package liblerc4:armhf. Preparing to unpack .../026-liblerc4_4.0.0+ds-5_armhf.deb ... Unpacking liblerc4:armhf (4.0.0+ds-5) ... Selecting previously unselected package libsharpyuv0:armhf. Preparing to unpack .../027-libsharpyuv0_1.4.0-0.1+b1_armhf.deb ... Unpacking libsharpyuv0:armhf (1.4.0-0.1+b1) ... Selecting previously unselected package libwebp7:armhf. Preparing to unpack .../028-libwebp7_1.4.0-0.1+b1_armhf.deb ... Unpacking libwebp7:armhf (1.4.0-0.1+b1) ... Selecting previously unselected package libtiff6:armhf. Preparing to unpack .../029-libtiff6_4.5.1+git230720-5_armhf.deb ... Unpacking libtiff6:armhf (4.5.1+git230720-5) ... Selecting previously unselected package libgdk-pixbuf-2.0-0:armhf. Preparing to unpack .../030-libgdk-pixbuf-2.0-0_2.42.12+dfsg-1+b1_armhf.deb ... Unpacking libgdk-pixbuf-2.0-0:armhf (2.42.12+dfsg-1+b1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../031-gtk-update-icon-cache_4.16.7+ds-1_armhf.deb ... No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. Unpacking gtk-update-icon-cache (4.16.7+ds-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../032-hicolor-icon-theme_0.18-1_all.deb ... Unpacking hicolor-icon-theme (0.18-1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../033-adwaita-icon-theme_47.0-2_all.deb ... Unpacking adwaita-icon-theme (47.0-2) ... Selecting previously unselected package at-spi2-common. Preparing to unpack .../034-at-spi2-common_2.54.0-1_all.deb ... Unpacking at-spi2-common (2.54.0-1) ... Selecting previously unselected package m4. Preparing to unpack .../035-m4_1.4.19-4_armhf.deb ... Unpacking m4 (1.4.19-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../036-autoconf_2.72-3_all.deb ... Unpacking autoconf (2.72-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../037-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../038-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 .../039-autopoint_0.22.5-2_all.deb ... Unpacking autopoint (0.22.5-2) ... Selecting previously unselected package dbus-user-session. Preparing to unpack .../040-dbus-user-session_1.14.10-6_armhf.deb ... Unpacking dbus-user-session (1.14.10-6) ... Selecting previously unselected package libdconf1:armhf. Preparing to unpack .../041-libdconf1_0.40.0-4+b3_armhf.deb ... Unpacking libdconf1:armhf (0.40.0-4+b3) ... Selecting previously unselected package dconf-service. Preparing to unpack .../042-dconf-service_0.40.0-4+b3_armhf.deb ... Unpacking dconf-service (0.40.0-4+b3) ... Selecting previously unselected package dconf-gsettings-backend:armhf. Preparing to unpack .../043-dconf-gsettings-backend_0.40.0-4+b3_armhf.deb ... Unpacking dconf-gsettings-backend:armhf (0.40.0-4+b3) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../044-libdebhelper-perl_13.20_all.deb ... Unpacking libdebhelper-perl (13.20) ... Selecting previously unselected package libtool. Preparing to unpack .../045-libtool_2.4.7-8_all.deb ... Unpacking libtool (2.4.7-8) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../046-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../047-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../048-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../049-dh-strip-nondeterminism_1.14.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.14.0-1) ... Selecting previously unselected package libelf1t64:armhf. Preparing to unpack .../050-libelf1t64_0.192-4_armhf.deb ... Unpacking libelf1t64:armhf (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../051-dwz_0.15-1+b2_armhf.deb ... Unpacking dwz (0.15-1+b2) ... Selecting previously unselected package gettext. Preparing to unpack .../052-gettext_0.22.5-2_armhf.deb ... Unpacking gettext (0.22.5-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../053-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 .../054-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../055-debhelper_13.20_all.deb ... Unpacking debhelper (13.20) ... Selecting previously unselected package libapt-pkg-perl. Preparing to unpack .../056-libapt-pkg-perl_0.1.40+b6_armhf.deb ... Unpacking libapt-pkg-perl (0.1.40+b6) ... Selecting previously unselected package libtie-ixhash-perl. Preparing to unpack .../057-libtie-ixhash-perl_1.23-4_all.deb ... Unpacking libtie-ixhash-perl (1.23-4) ... Selecting previously unselected package libarray-unique-perl. Preparing to unpack .../058-libarray-unique-perl_0.09-1_all.deb ... Unpacking libarray-unique-perl (0.09-1) ... Selecting previously unselected package libsub-name-perl:armhf. Preparing to unpack .../059-libsub-name-perl_0.27-1+b3_armhf.deb ... Unpacking libsub-name-perl:armhf (0.27-1+b3) ... Selecting previously unselected package libclass-accessor-perl. Preparing to unpack .../060-libclass-accessor-perl_0.51-2_all.deb ... Unpacking libclass-accessor-perl (0.51-2) ... Selecting previously unselected package libexporter-tiny-perl. Preparing to unpack .../061-libexporter-tiny-perl_1.006002-1_all.deb ... Unpacking libexporter-tiny-perl (1.006002-1) ... Selecting previously unselected package liblist-moreutils-xs-perl. Preparing to unpack .../062-liblist-moreutils-xs-perl_0.430-4+b1_armhf.deb ... Unpacking liblist-moreutils-xs-perl (0.430-4+b1) ... Selecting previously unselected package liblist-moreutils-perl. Preparing to unpack .../063-liblist-moreutils-perl_0.430-2_all.deb ... Unpacking liblist-moreutils-perl (0.430-2) ... Selecting previously unselected package libio-stringy-perl. Preparing to unpack .../064-libio-stringy-perl_2.113-2_all.deb ... Unpacking libio-stringy-perl (2.113-2) ... Selecting previously unselected package libencode-locale-perl. Preparing to unpack .../065-libencode-locale-perl_1.05-3_all.deb ... Unpacking libencode-locale-perl (1.05-3) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../066-libtimedate-perl_2.3300-2_all.deb ... Unpacking libtimedate-perl (2.3300-2) ... Selecting previously unselected package libhttp-date-perl. Preparing to unpack .../067-libhttp-date-perl_6.06-1_all.deb ... Unpacking libhttp-date-perl (6.06-1) ... Selecting previously unselected package libfile-listing-perl. Preparing to unpack .../068-libfile-listing-perl_6.16-1_all.deb ... Unpacking libfile-listing-perl (6.16-1) ... Selecting previously unselected package libhtml-tagset-perl. Preparing to unpack .../069-libhtml-tagset-perl_3.24-1_all.deb ... Unpacking libhtml-tagset-perl (3.24-1) ... Selecting previously unselected package liburi-perl. Preparing to unpack .../070-liburi-perl_5.30-1_all.deb ... Unpacking liburi-perl (5.30-1) ... Selecting previously unselected package libhtml-parser-perl:armhf. Preparing to unpack .../071-libhtml-parser-perl_3.83-1+b1_armhf.deb ... Unpacking libhtml-parser-perl:armhf (3.83-1+b1) ... Selecting previously unselected package libhtml-tree-perl. Preparing to unpack .../072-libhtml-tree-perl_5.07-3_all.deb ... Unpacking libhtml-tree-perl (5.07-3) ... Selecting previously unselected package libclone-perl:armhf. Preparing to unpack .../073-libclone-perl_0.47-1+b1_armhf.deb ... Unpacking libclone-perl:armhf (0.47-1+b1) ... Selecting previously unselected package libio-html-perl. Preparing to unpack .../074-libio-html-perl_1.004-3_all.deb ... Unpacking libio-html-perl (1.004-3) ... Selecting previously unselected package liblwp-mediatypes-perl. Preparing to unpack .../075-liblwp-mediatypes-perl_6.04-2_all.deb ... Unpacking liblwp-mediatypes-perl (6.04-2) ... Selecting previously unselected package libhttp-message-perl. Preparing to unpack .../076-libhttp-message-perl_7.00-2_all.deb ... Unpacking libhttp-message-perl (7.00-2) ... Selecting previously unselected package libhttp-cookies-perl. Preparing to unpack .../077-libhttp-cookies-perl_6.11-1_all.deb ... Unpacking libhttp-cookies-perl (6.11-1) ... Selecting previously unselected package libhttp-negotiate-perl. Preparing to unpack .../078-libhttp-negotiate-perl_6.01-2_all.deb ... Unpacking libhttp-negotiate-perl (6.01-2) ... Selecting previously unselected package perl-openssl-defaults:armhf. Preparing to unpack .../079-perl-openssl-defaults_7+b2_armhf.deb ... Unpacking perl-openssl-defaults:armhf (7+b2) ... Selecting previously unselected package libnet-ssleay-perl:armhf. Preparing to unpack .../080-libnet-ssleay-perl_1.94-2_armhf.deb ... Unpacking libnet-ssleay-perl:armhf (1.94-2) ... Selecting previously unselected package libio-socket-ssl-perl. Preparing to unpack .../081-libio-socket-ssl-perl_2.089-1_all.deb ... Unpacking libio-socket-ssl-perl (2.089-1) ... Selecting previously unselected package libnet-http-perl. Preparing to unpack .../082-libnet-http-perl_6.23-1_all.deb ... Unpacking libnet-http-perl (6.23-1) ... Selecting previously unselected package liblwp-protocol-https-perl. Preparing to unpack .../083-liblwp-protocol-https-perl_6.14-1_all.deb ... Unpacking liblwp-protocol-https-perl (6.14-1) ... Selecting previously unselected package libtry-tiny-perl. Preparing to unpack .../084-libtry-tiny-perl_0.32-1_all.deb ... Unpacking libtry-tiny-perl (0.32-1) ... Selecting previously unselected package libwww-robotrules-perl. Preparing to unpack .../085-libwww-robotrules-perl_6.02-1_all.deb ... Unpacking libwww-robotrules-perl (6.02-1) ... Selecting previously unselected package libwww-perl. Preparing to unpack .../086-libwww-perl_6.77-1_all.deb ... Unpacking libwww-perl (6.77-1) ... Selecting previously unselected package liberror-perl. Preparing to unpack .../087-liberror-perl_0.17029-2_all.deb ... Unpacking liberror-perl (0.17029-2) ... Selecting previously unselected package libexporter-lite-perl. Preparing to unpack .../088-libexporter-lite-perl_0.09-2_all.deb ... Unpacking libexporter-lite-perl (0.09-2) ... Selecting previously unselected package libparse-debcontrol-perl. Preparing to unpack .../089-libparse-debcontrol-perl_2.005-6_all.deb ... Unpacking libparse-debcontrol-perl (2.005-6) ... Selecting previously unselected package libsub-install-perl. Preparing to unpack .../090-libsub-install-perl_0.929-1_all.deb ... Unpacking libsub-install-perl (0.929-1) ... Selecting previously unselected package libcgi-pm-perl. Preparing to unpack .../091-libcgi-pm-perl_4.66-1_all.deb ... Unpacking libcgi-pm-perl (4.66-1) ... Selecting previously unselected package libhtml-form-perl. Preparing to unpack .../092-libhtml-form-perl_6.12-1_all.deb ... Unpacking libhtml-form-perl (6.12-1) ... Selecting previously unselected package libwww-mechanize-perl. Preparing to unpack .../093-libwww-mechanize-perl_2.19-1_all.deb ... Unpacking libwww-mechanize-perl (2.19-1) ... Selecting previously unselected package libdebian-source-perl. Preparing to unpack .../094-libdebian-source-perl_0.126_all.deb ... Unpacking libdebian-source-perl (0.126) ... Selecting previously unselected package emacs-el. Preparing to unpack .../095-emacs-el_1%3a29.4+1-3_all.deb ... Unpacking emacs-el (1:29.4+1-3) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../096-emacsen-common_3.0.5_all.deb ... Unpacking emacsen-common (3.0.5) ... Selecting previously unselected package emacs-common. Preparing to unpack .../097-emacs-common_1%3a29.4+1-3_all.deb ... Unpacking emacs-common (1:29.4+1-3) ... Selecting previously unselected package emacs-bin-common. Preparing to unpack .../098-emacs-bin-common_1%3a29.4+1-3_armhf.deb ... Unpacking emacs-bin-common (1:29.4+1-3) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../099-libasound2-data_1.2.12-1_all.deb ... Unpacking libasound2-data (1.2.12-1) ... Selecting previously unselected package libasound2t64:armhf. Preparing to unpack .../100-libasound2t64_1.2.12-1+b1_armhf.deb ... Unpacking libasound2t64:armhf (1.2.12-1+b1) ... Selecting previously unselected package libbrotli1:armhf. Preparing to unpack .../101-libbrotli1_1.1.0-2+b6_armhf.deb ... Unpacking libbrotli1:armhf (1.1.0-2+b6) ... Selecting previously unselected package libfreetype6:armhf. Preparing to unpack .../102-libfreetype6_2.13.3+dfsg-1_armhf.deb ... Unpacking libfreetype6:armhf (2.13.3+dfsg-1) ... Selecting previously unselected package fonts-dejavu-mono. Preparing to unpack .../103-fonts-dejavu-mono_2.37-8_all.deb ... Unpacking fonts-dejavu-mono (2.37-8) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../104-fonts-dejavu-core_2.37-8_all.deb ... Unpacking fonts-dejavu-core (2.37-8) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../105-fontconfig-config_2.15.0-1.1+b1_armhf.deb ... Unpacking fontconfig-config (2.15.0-1.1+b1) ... Selecting previously unselected package libfontconfig1:armhf. Preparing to unpack .../106-libfontconfig1_2.15.0-1.1+b1_armhf.deb ... Unpacking libfontconfig1:armhf (2.15.0-1.1+b1) ... Selecting previously unselected package libpixman-1-0:armhf. Preparing to unpack .../107-libpixman-1-0_0.44.0-3_armhf.deb ... Unpacking libpixman-1-0:armhf (0.44.0-3) ... Selecting previously unselected package libxau6:armhf. Preparing to unpack .../108-libxau6_1%3a1.0.11-1_armhf.deb ... Unpacking libxau6:armhf (1:1.0.11-1) ... Selecting previously unselected package libxdmcp6:armhf. Preparing to unpack .../109-libxdmcp6_1%3a1.1.5-1_armhf.deb ... Unpacking libxdmcp6:armhf (1:1.1.5-1) ... Selecting previously unselected package libxcb1:armhf. Preparing to unpack .../110-libxcb1_1.17.0-2+b1_armhf.deb ... Unpacking libxcb1:armhf (1.17.0-2+b1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../111-libx11-data_2%3a1.8.10-2_all.deb ... Unpacking libx11-data (2:1.8.10-2) ... Selecting previously unselected package libx11-6:armhf. Preparing to unpack .../112-libx11-6_2%3a1.8.10-2_armhf.deb ... Unpacking libx11-6:armhf (2:1.8.10-2) ... Selecting previously unselected package libxcb-render0:armhf. Preparing to unpack .../113-libxcb-render0_1.17.0-2+b1_armhf.deb ... Unpacking libxcb-render0:armhf (1.17.0-2+b1) ... Selecting previously unselected package libxcb-shm0:armhf. Preparing to unpack .../114-libxcb-shm0_1.17.0-2+b1_armhf.deb ... Unpacking libxcb-shm0:armhf (1.17.0-2+b1) ... Selecting previously unselected package libxext6:armhf. Preparing to unpack .../115-libxext6_2%3a1.3.4-1+b2_armhf.deb ... Unpacking libxext6:armhf (2:1.3.4-1+b2) ... Selecting previously unselected package libxrender1:armhf. Preparing to unpack .../116-libxrender1_1%3a0.9.10-1.1+b2_armhf.deb ... Unpacking libxrender1:armhf (1:0.9.10-1.1+b2) ... Selecting previously unselected package libcairo2:armhf. Preparing to unpack .../117-libcairo2_1.18.2-2_armhf.deb ... Unpacking libcairo2:armhf (1.18.2-2) ... Selecting previously unselected package libgccjit0:armhf. Preparing to unpack .../118-libgccjit0_14.2.0-8_armhf.deb ... Unpacking libgccjit0:armhf (14.2.0-8) ... Selecting previously unselected package libgif7:armhf. Preparing to unpack .../119-libgif7_5.2.2-1+b1_armhf.deb ... Unpacking libgif7:armhf (5.2.2-1+b1) ... Selecting previously unselected package libgpm2:armhf. Preparing to unpack .../120-libgpm2_1.20.7-11+b1_armhf.deb ... Unpacking libgpm2:armhf (1.20.7-11+b1) ... Selecting previously unselected package libatk1.0-0t64:armhf. Preparing to unpack .../121-libatk1.0-0t64_2.54.0-1_armhf.deb ... Unpacking libatk1.0-0t64:armhf (2.54.0-1) ... Selecting previously unselected package libxi6:armhf. Preparing to unpack .../122-libxi6_2%3a1.8.2-1_armhf.deb ... Unpacking libxi6:armhf (2:1.8.2-1) ... Selecting previously unselected package libatspi2.0-0t64:armhf. Preparing to unpack .../123-libatspi2.0-0t64_2.54.0-1_armhf.deb ... Unpacking libatspi2.0-0t64:armhf (2.54.0-1) ... Selecting previously unselected package libatk-bridge2.0-0t64:armhf. Preparing to unpack .../124-libatk-bridge2.0-0t64_2.54.0-1_armhf.deb ... Unpacking libatk-bridge2.0-0t64:armhf (2.54.0-1) ... Selecting previously unselected package libcairo-gobject2:armhf. Preparing to unpack .../125-libcairo-gobject2_1.18.2-2_armhf.deb ... Unpacking libcairo-gobject2:armhf (1.18.2-2) ... Selecting previously unselected package libcloudproviders0:armhf. Preparing to unpack .../126-libcloudproviders0_0.3.6-1+b1_armhf.deb ... Unpacking libcloudproviders0:armhf (0.3.6-1+b1) ... Selecting previously unselected package liblcms2-2:armhf. Preparing to unpack .../127-liblcms2-2_2.16-2_armhf.deb ... Unpacking liblcms2-2:armhf (2.16-2) ... Selecting previously unselected package libcolord2:armhf. Preparing to unpack .../128-libcolord2_1.4.7-1+b2_armhf.deb ... Unpacking libcolord2:armhf (1.4.7-1+b2) ... Selecting previously unselected package libavahi-common-data:armhf. Preparing to unpack .../129-libavahi-common-data_0.8-13+b3_armhf.deb ... Unpacking libavahi-common-data:armhf (0.8-13+b3) ... Selecting previously unselected package libavahi-common3:armhf. Preparing to unpack .../130-libavahi-common3_0.8-13+b3_armhf.deb ... Unpacking libavahi-common3:armhf (0.8-13+b3) ... Selecting previously unselected package libavahi-client3:armhf. Preparing to unpack .../131-libavahi-client3_0.8-13+b3_armhf.deb ... Unpacking libavahi-client3:armhf (0.8-13+b3) ... Selecting previously unselected package libkrb5support0:armhf. Preparing to unpack .../132-libkrb5support0_1.21.3-3_armhf.deb ... Unpacking libkrb5support0:armhf (1.21.3-3) ... Selecting previously unselected package libcom-err2:armhf. Preparing to unpack .../133-libcom-err2_1.47.1-1+b1_armhf.deb ... Unpacking libcom-err2:armhf (1.47.1-1+b1) ... Selecting previously unselected package libk5crypto3:armhf. Preparing to unpack .../134-libk5crypto3_1.21.3-3_armhf.deb ... Unpacking libk5crypto3:armhf (1.21.3-3) ... Selecting previously unselected package libkeyutils1:armhf. Preparing to unpack .../135-libkeyutils1_1.6.3-4_armhf.deb ... Unpacking libkeyutils1:armhf (1.6.3-4) ... Selecting previously unselected package libkrb5-3:armhf. Preparing to unpack .../136-libkrb5-3_1.21.3-3_armhf.deb ... Unpacking libkrb5-3:armhf (1.21.3-3) ... Selecting previously unselected package libgssapi-krb5-2:armhf. Preparing to unpack .../137-libgssapi-krb5-2_1.21.3-3_armhf.deb ... Unpacking libgssapi-krb5-2:armhf (1.21.3-3) ... Selecting previously unselected package libcups2t64:armhf. Preparing to unpack .../138-libcups2t64_2.4.10-2_armhf.deb ... Unpacking libcups2t64:armhf (2.4.10-2) ... Selecting previously unselected package libepoxy0:armhf. Preparing to unpack .../139-libepoxy0_1.5.10-2_armhf.deb ... Unpacking libepoxy0:armhf (1.5.10-2) ... Selecting previously unselected package libfribidi0:armhf. Preparing to unpack .../140-libfribidi0_1.0.15-1_armhf.deb ... Unpacking libfribidi0:armhf (1.0.15-1) ... Selecting previously unselected package libgraphite2-3:armhf. Preparing to unpack .../141-libgraphite2-3_1.3.14-2+b1_armhf.deb ... Unpacking libgraphite2-3:armhf (1.3.14-2+b1) ... Selecting previously unselected package libharfbuzz0b:armhf. Preparing to unpack .../142-libharfbuzz0b_10.0.1-1_armhf.deb ... Unpacking libharfbuzz0b:armhf (10.0.1-1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../143-fontconfig_2.15.0-1.1+b1_armhf.deb ... Unpacking fontconfig (2.15.0-1.1+b1) ... Selecting previously unselected package libthai-data. Preparing to unpack .../144-libthai-data_0.1.29-2_all.deb ... Unpacking libthai-data (0.1.29-2) ... Selecting previously unselected package libdatrie1:armhf. Preparing to unpack .../145-libdatrie1_0.2.13-3+b1_armhf.deb ... Unpacking libdatrie1:armhf (0.2.13-3+b1) ... Selecting previously unselected package libthai0:armhf. Preparing to unpack .../146-libthai0_0.1.29-2+b1_armhf.deb ... Unpacking libthai0:armhf (0.1.29-2+b1) ... Selecting previously unselected package libpango-1.0-0:armhf. Preparing to unpack .../147-libpango-1.0-0_1.54.0+ds-3_armhf.deb ... Unpacking libpango-1.0-0:armhf (1.54.0+ds-3) ... Selecting previously unselected package libpangoft2-1.0-0:armhf. Preparing to unpack .../148-libpangoft2-1.0-0_1.54.0+ds-3_armhf.deb ... Unpacking libpangoft2-1.0-0:armhf (1.54.0+ds-3) ... Selecting previously unselected package libpangocairo-1.0-0:armhf. Preparing to unpack .../149-libpangocairo-1.0-0_1.54.0+ds-3_armhf.deb ... Unpacking libpangocairo-1.0-0:armhf (1.54.0+ds-3) ... Selecting previously unselected package libwayland-client0:armhf. Preparing to unpack .../150-libwayland-client0_1.23.0-1+b1_armhf.deb ... Unpacking libwayland-client0:armhf (1.23.0-1+b1) ... Selecting previously unselected package libwayland-cursor0:armhf. Preparing to unpack .../151-libwayland-cursor0_1.23.0-1+b1_armhf.deb ... Unpacking libwayland-cursor0:armhf (1.23.0-1+b1) ... Selecting previously unselected package libwayland-egl1:armhf. Preparing to unpack .../152-libwayland-egl1_1.23.0-1+b1_armhf.deb ... Unpacking libwayland-egl1:armhf (1.23.0-1+b1) ... Selecting previously unselected package libxcomposite1:armhf. Preparing to unpack .../153-libxcomposite1_1%3a0.4.6-1_armhf.deb ... Unpacking libxcomposite1:armhf (1:0.4.6-1) ... Selecting previously unselected package libxfixes3:armhf. Preparing to unpack .../154-libxfixes3_1%3a6.0.0-2+b2_armhf.deb ... Unpacking libxfixes3:armhf (1:6.0.0-2+b2) ... Selecting previously unselected package libxcursor1:armhf. Preparing to unpack .../155-libxcursor1_1%3a1.2.2-1+b1_armhf.deb ... Unpacking libxcursor1:armhf (1:1.2.2-1+b1) ... Selecting previously unselected package libxdamage1:armhf. Preparing to unpack .../156-libxdamage1_1%3a1.1.6-1+b2_armhf.deb ... Unpacking libxdamage1:armhf (1:1.1.6-1+b2) ... Selecting previously unselected package libxinerama1:armhf. Preparing to unpack .../157-libxinerama1_2%3a1.1.4-3+b2_armhf.deb ... Unpacking libxinerama1:armhf (2:1.1.4-3+b2) ... Selecting previously unselected package xkb-data. Preparing to unpack .../158-xkb-data_2.42-1_all.deb ... Unpacking xkb-data (2.42-1) ... Selecting previously unselected package libxkbcommon0:armhf. Preparing to unpack .../159-libxkbcommon0_1.7.0-1_armhf.deb ... Unpacking libxkbcommon0:armhf (1.7.0-1) ... Selecting previously unselected package libxrandr2:armhf. Preparing to unpack .../160-libxrandr2_2%3a1.5.4-1+b1_armhf.deb ... Unpacking libxrandr2:armhf (2:1.5.4-1+b1) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../161-libgtk-3-common_3.24.43-4_all.deb ... Unpacking libgtk-3-common (3.24.43-4) ... Selecting previously unselected package libgtk-3-0t64:armhf. Preparing to unpack .../162-libgtk-3-0t64_3.24.43-4_armhf.deb ... Unpacking libgtk-3-0t64:armhf (3.24.43-4) ... Selecting previously unselected package x11-common. Preparing to unpack .../163-x11-common_1%3a7.7+23.1_all.deb ... Unpacking x11-common (1:7.7+23.1) ... Selecting previously unselected package libice6:armhf. Preparing to unpack .../164-libice6_2%3a1.1.1-1_armhf.deb ... Unpacking libice6:armhf (2:1.1.1-1) ... Selecting previously unselected package m17n-db. Preparing to unpack .../165-m17n-db_1.8.9-1_all.deb ... Unpacking m17n-db (1.8.9-1) ... Selecting previously unselected package libaom3:armhf. Preparing to unpack .../166-libaom3_3.11.0-1_armhf.deb ... Unpacking libaom3:armhf (3.11.0-1) ... Selecting previously unselected package libdav1d7:armhf. Preparing to unpack .../167-libdav1d7_1.5.0-1+b1_armhf.deb ... Unpacking libdav1d7:armhf (1.5.0-1+b1) ... Selecting previously unselected package libabsl20230802:armhf. Preparing to unpack .../168-libabsl20230802_20230802.1-4_armhf.deb ... Unpacking libabsl20230802:armhf (20230802.1-4) ... Selecting previously unselected package libgav1-1:armhf. Preparing to unpack .../169-libgav1-1_0.19.0-2+b2_armhf.deb ... Unpacking libgav1-1:armhf (0.19.0-2+b2) ... Selecting previously unselected package librav1e0.7:armhf. Preparing to unpack .../170-librav1e0.7_0.7.1-7+b2_armhf.deb ... Unpacking librav1e0.7:armhf (0.7.1-7+b2) ... Selecting previously unselected package libsvtav1enc2:armhf. Preparing to unpack .../171-libsvtav1enc2_2.2.1+dfsg-2_armhf.deb ... Unpacking libsvtav1enc2:armhf (2.2.1+dfsg-2) ... Selecting previously unselected package libyuv0:armhf. Preparing to unpack .../172-libyuv0_0.0.1898.20241125-1_armhf.deb ... Unpacking libyuv0:armhf (0.0.1898.20241125-1) ... Selecting previously unselected package libavif16:armhf. Preparing to unpack .../173-libavif16_1.1.1-1_armhf.deb ... Unpacking libavif16:armhf (1.1.1-1) ... Selecting previously unselected package libheif-plugin-dav1d:armhf. Preparing to unpack .../174-libheif-plugin-dav1d_1.19.3-1_armhf.deb ... Unpacking libheif-plugin-dav1d:armhf (1.19.3-1) ... Selecting previously unselected package libde265-0:armhf. Preparing to unpack .../175-libde265-0_1.0.15-1+b2_armhf.deb ... Unpacking libde265-0:armhf (1.0.15-1+b2) ... Selecting previously unselected package libheif-plugin-libde265:armhf. Preparing to unpack .../176-libheif-plugin-libde265_1.19.3-1_armhf.deb ... Unpacking libheif-plugin-libde265:armhf (1.19.3-1) ... Selecting previously unselected package libheif1:armhf. Preparing to unpack .../177-libheif1_1.19.3-1_armhf.deb ... Unpacking libheif1:armhf (1.19.3-1) ... Selecting previously unselected package libimagequant0:armhf. Preparing to unpack .../178-libimagequant0_2.18.0-1+b2_armhf.deb ... Unpacking libimagequant0:armhf (2.18.0-1+b2) ... Selecting previously unselected package libraqm0:armhf. Preparing to unpack .../179-libraqm0_0.10.1-1+b2_armhf.deb ... Unpacking libraqm0:armhf (0.10.1-1+b2) ... Selecting previously unselected package libxpm4:armhf. Preparing to unpack .../180-libxpm4_1%3a3.5.17-1+b2_armhf.deb ... Unpacking libxpm4:armhf (1:3.5.17-1+b2) ... Selecting previously unselected package libgd3:armhf. Preparing to unpack .../181-libgd3_2.3.3-12+b1_armhf.deb ... Unpacking libgd3:armhf (2.3.3-12+b1) ... Selecting previously unselected package libotf1:armhf. Preparing to unpack .../182-libotf1_0.9.16-4+b2_armhf.deb ... Unpacking libotf1:armhf (0.9.16-4+b2) ... Selecting previously unselected package libxft2:armhf. Preparing to unpack .../183-libxft2_2.3.6-1+b2_armhf.deb ... Unpacking libxft2:armhf (2.3.6-1+b2) ... Selecting previously unselected package libsm6:armhf. Preparing to unpack .../184-libsm6_2%3a1.2.4-1_armhf.deb ... Unpacking libsm6:armhf (2:1.2.4-1) ... Selecting previously unselected package libxt6t64:armhf. Preparing to unpack .../185-libxt6t64_1%3a1.2.1-1.2+b1_armhf.deb ... Unpacking libxt6t64:armhf (1:1.2.1-1.2+b1) ... Selecting previously unselected package libm17n-0:armhf. Preparing to unpack .../186-libm17n-0_1.8.4-2_armhf.deb ... Unpacking libm17n-0:armhf (1.8.4-2) ... Selecting previously unselected package librsvg2-2:armhf. Preparing to unpack .../187-librsvg2-2_2.59.2+dfsg-1_armhf.deb ... Unpacking librsvg2-2:armhf (2.59.2+dfsg-1) ... Selecting previously unselected package libtree-sitter0:armhf. Preparing to unpack .../188-libtree-sitter0_0.20.8-2+b2_armhf.deb ... Unpacking libtree-sitter0:armhf (0.20.8-2+b2) ... Selecting previously unselected package libwebpdecoder3:armhf. Preparing to unpack .../189-libwebpdecoder3_1.4.0-0.1+b1_armhf.deb ... Unpacking libwebpdecoder3:armhf (1.4.0-0.1+b1) ... Selecting previously unselected package libwebpdemux2:armhf. Preparing to unpack .../190-libwebpdemux2_1.4.0-0.1+b1_armhf.deb ... Unpacking libwebpdemux2:armhf (1.4.0-0.1+b1) ... Selecting previously unselected package emacs-gtk. Preparing to unpack .../191-emacs-gtk_1%3a29.4+1-3_armhf.deb ... Unpacking emacs-gtk (1:29.4+1-3) ... Selecting previously unselected package emacs. Preparing to unpack .../192-emacs_1%3a29.4+1-3_all.deb ... Unpacking emacs (1:29.4+1-3) ... Selecting previously unselected package libarray-utils-perl. Preparing to unpack .../193-libarray-utils-perl_0.5-3_all.deb ... Unpacking libarray-utils-perl (0.5-3) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../194-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package libnumber-compare-perl. Preparing to unpack .../195-libnumber-compare-perl_0.03-3_all.deb ... Unpacking libnumber-compare-perl (0.03-3) ... Selecting previously unselected package libtext-glob-perl. Preparing to unpack .../196-libtext-glob-perl_0.11-3_all.deb ... Unpacking libtext-glob-perl (0.11-3) ... Selecting previously unselected package libfile-find-rule-perl. Preparing to unpack .../197-libfile-find-rule-perl_0.34-3_all.deb ... Unpacking libfile-find-rule-perl (0.34-3) ... Selecting previously unselected package dh-elpa. Preparing to unpack .../198-dh-elpa_2.1.5_all.deb ... Unpacking dh-elpa (2.1.5) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../199-fonts-lmodern_2.005-1_all.deb ... Unpacking fonts-lmodern (2.005-1) ... Selecting previously unselected package libkpathsea6:armhf. Preparing to unpack .../200-libkpathsea6_2024.20240313.70630+ds-5_armhf.deb ... Unpacking libkpathsea6:armhf (2024.20240313.70630+ds-5) ... Selecting previously unselected package libmpfi0:armhf. Preparing to unpack .../201-libmpfi0_1.5.4+ds-4_armhf.deb ... Unpacking libmpfi0:armhf (1.5.4+ds-4) ... Selecting previously unselected package libpaper1:armhf. Preparing to unpack .../202-libpaper1_1.1.29+b2_armhf.deb ... Unpacking libpaper1:armhf (1.1.29+b2) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../203-libpaper-utils_1.1.29+b2_armhf.deb ... Unpacking libpaper-utils (1.1.29+b2) ... Selecting previously unselected package libpotrace0:armhf. Preparing to unpack .../204-libpotrace0_1.16-2+b2_armhf.deb ... Unpacking libpotrace0:armhf (1.16-2+b2) ... Selecting previously unselected package libptexenc1:armhf. Preparing to unpack .../205-libptexenc1_2024.20240313.70630+ds-5_armhf.deb ... Unpacking libptexenc1:armhf (2024.20240313.70630+ds-5) ... Selecting previously unselected package libsynctex2:armhf. Preparing to unpack .../206-libsynctex2_2024.20240313.70630+ds-5_armhf.deb ... Unpacking libsynctex2:armhf (2024.20240313.70630+ds-5) ... Selecting previously unselected package libteckit0:armhf. Preparing to unpack .../207-libteckit0_2.5.12+ds1-1+b1_armhf.deb ... Unpacking libteckit0:armhf (2.5.12+ds1-1+b1) ... Selecting previously unselected package libtexlua53-5:armhf. Preparing to unpack .../208-libtexlua53-5_2024.20240313.70630+ds-5_armhf.deb ... Unpacking libtexlua53-5:armhf (2024.20240313.70630+ds-5) ... Selecting previously unselected package libtext-unidecode-perl. Preparing to unpack .../209-libtext-unidecode-perl_1.30-3_all.deb ... Unpacking libtext-unidecode-perl (1.30-3) ... Selecting previously unselected package libxmu6:armhf. Preparing to unpack .../210-libxmu6_2%3a1.1.3-3+b3_armhf.deb ... Unpacking libxmu6:armhf (2:1.1.3-3+b3) ... Selecting previously unselected package libxaw7:armhf. Preparing to unpack .../211-libxaw7_2%3a1.0.16-1_armhf.deb ... Unpacking libxaw7:armhf (2:1.0.16-1) ... Selecting previously unselected package libxml-namespacesupport-perl. Preparing to unpack .../212-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 .../213-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 .../214-libxml-sax-perl_1.02+dfsg-4_all.deb ... Unpacking libxml-sax-perl (1.02+dfsg-4) ... Selecting previously unselected package libxml-libxml-perl. Preparing to unpack .../215-libxml-libxml-perl_2.0207+dfsg+really+2.0134-5+b1_armhf.deb ... Unpacking libxml-libxml-perl (2.0207+dfsg+really+2.0134-5+b1) ... Selecting previously unselected package libzzip-0-13t64:armhf. Preparing to unpack .../216-libzzip-0-13t64_0.13.72+dfsg.1-1.3_armhf.deb ... Unpacking libzzip-0-13t64:armhf (0.13.72+dfsg.1-1.3) ... Selecting previously unselected package t1utils. Preparing to unpack .../217-t1utils_1.41-4_armhf.deb ... Unpacking t1utils (1.41-4) ... Selecting previously unselected package tex-common. Preparing to unpack .../218-tex-common_6.18_all.deb ... Unpacking tex-common (6.18) ... Selecting previously unselected package texinfo-lib. Preparing to unpack .../219-texinfo-lib_7.1.1-1+b1_armhf.deb ... Unpacking texinfo-lib (7.1.1-1+b1) ... Selecting previously unselected package texinfo. Preparing to unpack .../220-texinfo_7.1.1-1_all.deb ... Unpacking texinfo (7.1.1-1) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../221-texlive-binaries_2024.20240313.70630+ds-5_armhf.deb ... Unpacking texlive-binaries (2024.20240313.70630+ds-5) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../222-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 .../223-texlive-base_2024.20241115-1_all.deb ... Unpacking texlive-base (2024.20241115-1) ... Selecting previously unselected package texlive-fonts-recommended. Preparing to unpack .../224-texlive-fonts-recommended_2024.20241115-1_all.deb ... Unpacking texlive-fonts-recommended (2024.20241115-1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../225-texlive-latex-base_2024.20241115-1_all.deb ... Unpacking texlive-latex-base (2024.20241115-1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../226-texlive-latex-recommended_2024.20241115-1_all.deb ... Unpacking texlive-latex-recommended (2024.20241115-1) ... Selecting previously unselected package texlive-plain-generic. Preparing to unpack .../227-texlive-plain-generic_2024.20241115-1_all.deb ... Unpacking texlive-plain-generic (2024.20241115-1) ... Setting up libapt-pkg-perl (0.1.40+b6) ... Setting up libarray-utils-perl (0.5-3) ... Setting up libexpat1:armhf (2.6.4-1) ... Setting up libpipeline1:armhf (1.5.8-1) ... Setting up libgraphite2-3:armhf (1.3.14-2+b1) ... Setting up liblcms2-2:armhf (2.16-2) ... Setting up libpixman-1-0:armhf (0.44.0-3) ... Setting up libsharpyuv0:armhf (1.4.0-0.1+b1) ... Setting up libaom3:armhf (3.11.0-1) ... Setting up systemd-sysv (257~rc3-1) ... Setting up libxau6:armhf (1:1.0.11-1) ... Setting up libxdmcp6:armhf (1:1.1.5-1) ... Setting up libkeyutils1:armhf (1.6.3-4) ... Setting up libxcb1:armhf (1.17.0-2+b1) ... Setting up libtie-ixhash-perl (1.23-4) ... Setting up libgpm2:armhf (1.20.7-11+b1) ... Setting up libicu72:armhf (72.1-5+b1) ... Setting up liblerc4:armhf (4.0.0+ds-5) ... Setting up bsdextrautils (2.40.2-11) ... Setting up hicolor-icon-theme (0.18-1) ... Setting up libdatrie1:armhf (0.2.13-3+b1) ... Setting up libtext-glob-perl (0.11-3) ... Setting up libmagic-mgc (1:5.45-3+b1) ... Setting up libxcb-render0:armhf (1.17.0-2+b1) ... Setting up libclone-perl:armhf (0.47-1+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libio-stringy-perl (2.113-2) ... Setting up libhtml-tagset-perl (3.24-1) ... Setting up libdebhelper-perl (13.20) ... Setting up libbrotli1:armhf (1.1.0-2+b6) ... Setting up liblwp-mediatypes-perl (6.04-2) ... Setting up libgdk-pixbuf2.0-common (2.42.12+dfsg-1) ... Setting up libmagic1t64:armhf (1:5.45-3+b1) ... Setting up x11-common (1:7.7+23.1) ... Running in chroot, ignoring request. Setting up X socket directories... /tmp/.X11-unix /tmp/.ICE-unix. Setting up libtry-tiny-perl (0.32-1) ... Setting up libdeflate0:armhf (1.22-1) ... Setting up m17n-db (1.8.9-1) ... Setting up perl-openssl-defaults:armhf (7+b2) ... Setting up libwebpdecoder3:armhf (1.4.0-0.1+b1) ... Setting up libxml-namespacesupport-perl (1.12-2) ... Setting up gettext-base (0.22.5-2) ... Setting up m4 (1.4.19-4) ... Setting up xkb-data (2.42-1) ... Setting up libencode-locale-perl (1.05-3) ... Setting up libxcb-shm0:armhf (1.17.0-2+b1) ... Setting up libcom-err2:armhf (1.47.1-1+b1) ... Setting up file (1:5.45-3+b1) ... Setting up texinfo-lib (7.1.1-1+b1) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up libjbig0:armhf (2.1-6.1+b2) ... Setting up libsub-install-perl (0.929-1) ... Setting up libelf1t64:armhf (0.192-4) ... Setting up libkrb5support0:armhf (1.21.3-3) ... Setting up libnumber-compare-perl (0.03-3) ... Setting up liberror-perl (0.17029-2) ... Setting up libasound2-data (1.2.12-1) ... Setting up libxml-sax-base-perl (1.09-3) ... Setting up autotools-dev (20220109.1) ... Setting up libglib2.0-0t64:armhf (2.82.2-3) ... Setting up libasound2t64:armhf (1.2.12-1+b1) ... Setting up libjpeg62-turbo:armhf (1:2.1.5-3+b1) ... Setting up libtree-sitter0:armhf (0.20.8-2+b2) ... Setting up emacsen-common (3.0.5) ... Setting up libzzip-0-13t64:armhf (0.13.72+dfsg.1-1.3) ... Setting up libx11-data (2:1.8.10-2) ... Setting up libsvtav1enc2:armhf (2.2.1+dfsg-2) ... Setting up libepoxy0:armhf (1.5.10-2) ... Setting up libfile-find-rule-perl (0.34-3) ... Setting up libteckit0:armhf (2.5.12+ds1-1+b1) ... Setting up libavahi-common-data:armhf (0.8-13+b3) ... Setting up libdbus-1-3:armhf (1.14.10-6) ... Setting up libfribidi0:armhf (1.0.15-1) ... Setting up t1utils (1.41-4) ... Setting up libtexlua53-5:armhf (2024.20240313.70630+ds-5) ... Setting up libimagequant0:armhf (2.18.0-1+b2) ... Setting up libproc2-0:armhf (2:4.0.4-6) ... Setting up libarray-unique-perl (0.09-1) ... Setting up fonts-dejavu-mono (2.37-8) ... Setting up libpng16-16t64:armhf (1.6.44-2) ... Setting up libio-html-perl (1.004-3) ... Setting up autopoint (0.22.5-2) ... Setting up libmpfi0:armhf (1.5.4+ds-4) ... Setting up fonts-dejavu-core (2.37-8) ... Setting up liblist-moreutils-xs-perl (0.430-4+b1) ... Setting up libk5crypto3:armhf (1.21.3-3) ... Setting up libkpathsea6:armhf (2024.20240313.70630+ds-5) ... Setting up autoconf (2.72-3) ... Setting up libwebp7:armhf (1.4.0-0.1+b1) ... Setting up libtimedate-perl (2.3300-2) ... Setting up libexporter-lite-perl (0.09-2) ... Setting up libsub-name-perl:armhf (0.27-1+b3) ... Setting up libgif7:armhf (5.2.2-1+b1) ... Setting up dwz (0.15-1+b2) ... Setting up libdav1d7:armhf (1.5.0-1+b1) ... Setting up sensible-utils (0.0.24) ... Setting up at-spi2-common (2.54.0-1) ... Setting up libtiff6:armhf (4.5.1+git230720-5) ... Setting up dbus-session-bus-common (1.14.10-6) ... Setting up librav1e0.7:armhf (0.7.1-7+b2) ... Setting up libuchardet0:armhf (0.0.8-1+b2) ... Setting up procps (2:4.0.4-6) ... Setting up fonts-lmodern (2.005-1) ... Setting up libx11-6:armhf (2:1.8.10-2) ... Setting up libthai-data (0.1.29-2) ... Setting up netbase (6.4) ... Setting up libabsl20230802:armhf (20230802.1-4) ... Setting up libkrb5-3:armhf (1.21.3-3) ... Setting up libwayland-egl1:armhf (1.23.0-1+b1) ... Setting up libexporter-tiny-perl (1.006002-1) ... Setting up dbus-system-bus-common (1.14.10-6) ... useradd: Warning: missing or non-executable shell '/usr/sbin/nologin' Setting up libclass-accessor-perl (0.51-2) ... Setting up libtext-unidecode-perl (1.30-3) ... Setting up libde265-0:armhf (1.0.15-1+b2) ... Setting up libgccjit0:armhf (14.2.0-8) ... Setting up openssl (3.3.2-2) ... Setting up libyuv0:armhf (0.0.1898.20241125-1) ... Setting up libxcomposite1:armhf (1:0.4.6-1) ... Setting up libxml2:armhf (2.12.7+dfsg+really2.9.14-0.2+b1) ... 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 liburi-perl (5.30-1) ... Setting up dbus-bin (1.14.10-6) ... Setting up libsynctex2:armhf (2024.20240313.70630+ds-5) ... Setting up libxkbcommon0:armhf (1.7.0-1) ... Setting up libpotrace0:armhf (1.16-2+b2) ... Setting up libwayland-client0:armhf (1.23.0-1+b1) ... Setting up libnet-ssleay-perl:armhf (1.94-2) ... 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.14.0-1) ... Setting up libice6:armhf (2:1.1.1-1) ... Setting up libhttp-date-perl (6.06-1) ... Setting up gettext (0.22.5-2) ... Setting up libxdamage1:armhf (1:1.1.6-1+b2) ... Setting up libatk1.0-0t64:armhf (2.54.0-1) ... Setting up libfile-listing-perl (6.16-1) ... Setting up libxpm4:armhf (1:3.5.17-1+b2) ... Setting up libxrender1:armhf (1:0.9.10-1.1+b2) ... Setting up libtool (2.4.7-8) ... Setting up fontconfig-config (2.15.0-1.1+b1) ... Setting up liblist-moreutils-perl (0.430-2) ... Setting up libwebpdemux2:armhf (1.4.0-0.1+b1) ... Setting up libavahi-common3:armhf (0.8-13+b3) ... Setting up libcloudproviders0:armhf (0.3.6-1+b1) ... Setting up libxext6:armhf (2:1.3.4-1+b2) ... Setting up libnet-http-perl (6.23-1) ... Setting up dbus-daemon (1.14.10-6) ... Setting up libcolord2:armhf (1.4.7-1+b2) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libdconf1:armhf (0.40.0-4+b3) ... Setting up dh-autoreconf (20) ... Setting up libthai0:armhf (0.1.29-2+b1) ... Setting up ca-certificates (20240203) ... Updating certificates in /etc/ssl/certs... 146 added, 0 removed; done. Setting up libptexenc1:armhf (2024.20240313.70630+ds-5) ... Setting up libfreetype6:armhf (2.13.3+dfsg-1) ... Setting up libxfixes3:armhf (1:6.0.0-2+b2) ... Setting up dbus (1.14.10-6) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up shared-mime-info (2.4-5+b1) ... Setting up libxinerama1:armhf (2:1.1.4-3+b2) ... Setting up libgssapi-krb5-2:armhf (1.21.3-3) ... Setting up libxrandr2:armhf (2:1.5.4-1+b1) ... Setting up libgav1-1:armhf (0.19.0-2+b2) ... Setting up ucf (3.0043+nmu1) ... Setting up dh-strip-nondeterminism (1.14.0-1) ... Setting up libwww-robotrules-perl (6.02-1) ... Setting up groff-base (1.23.0-5) ... Setting up libwayland-cursor0:armhf (1.23.0-1+b1) ... Setting up libhtml-parser-perl:armhf (3.83-1+b1) ... Setting up libpam-systemd:armhf (257~rc3-1) ... Setting up libharfbuzz0b:armhf (10.0.1-1) ... Setting up libgdk-pixbuf-2.0-0:armhf (2.42.12+dfsg-1+b1) ... Setting up libfontconfig1:armhf (2.15.0-1.1+b1) ... Setting up libsm6:armhf (2:1.2.4-1) ... Setting up libavahi-client3:armhf (0.8-13+b3) ... Setting up libio-socket-ssl-perl (2.089-1) ... Setting up libhttp-message-perl (7.00-2) ... Setting up libhtml-form-perl (6.12-1) ... Setting up libotf1:armhf (0.9.16-4+b2) ... Setting up libpaper1:armhf (1.1.29+b2) ... Creating config file /etc/papersize with new version Setting up gtk-update-icon-cache (4.16.7+ds-1) ... Setting up libhttp-negotiate-perl (6.01-2) ... Setting up fontconfig (2.15.0-1.1+b1) ... Regenerating fonts cache... done. Setting up libavif16:armhf (1.1.1-1) ... Setting up libxft2:armhf (2.3.6-1+b2) ... Setting up libxi6:armhf (2:1.8.2-1) ... Setting up libhttp-cookies-perl (6.11-1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libhtml-tree-perl (5.07-3) ... Setting up libxcursor1:armhf (1:1.2.2-1+b1) ... Setting up libpango-1.0-0:armhf (1.54.0+ds-3) ... Setting up libcgi-pm-perl (4.66-1) ... Setting up libpaper-utils (1.1.29+b2) ... Setting up man-db (2.13.0-1) ... Not building database; man-db/auto-update is not 'true'. Created symlink '/etc/systemd/system/timers.target.wants/man-db.timer' -> '/usr/lib/systemd/system/man-db.timer'. Setting up libxml-sax-perl (1.02+dfsg-4) ... 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:armhf (1.18.2-2) ... Setting up tex-common (6.18) ... update-language: texlive-base not installed and configured, doing nothing! Setting up dbus-user-session (1.14.10-6) ... Setting up adwaita-icon-theme (47.0-2) ... 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 libatspi2.0-0t64:armhf (2.54.0-1) ... Setting up libraqm0:armhf (0.10.1-1+b2) ... Setting up libxt6t64:armhf (1:1.2.1-1.2+b1) ... Setting up libxml-libxml-perl (2.0207+dfsg+really+2.0134-5+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 libcairo-gobject2:armhf (1.18.2-2) ... Setting up libpangoft2-1.0-0:armhf (1.54.0+ds-3) ... Setting up libcups2t64:armhf (2.4.10-2) ... Setting up libpangocairo-1.0-0:armhf (1.54.0+ds-3) ... Setting up libatk-bridge2.0-0t64:armhf (2.54.0-1) ... Setting up libxmu6:armhf (2:1.1.3-3+b3) ... Setting up debhelper (13.20) ... Setting up dconf-service (0.40.0-4+b3) ... Setting up libxaw7:armhf (2:1.0.16-1) ... Setting up librsvg2-2:armhf (2.59.2+dfsg-1) ... Setting up texinfo (7.1.1-1) ... Running mktexlsr. This may take some time. ... done. Setting up texlive-binaries (2024.20240313.70630+ds-5) ... 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 (2024.20241115-1) ... 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:armhf (0.40.0-4+b3) ... Setting up texlive-plain-generic (2024.20241115-1) ... Setting up texlive-latex-base (2024.20241115-1) ... Setting up texlive-latex-recommended (2024.20241115-1) ... Setting up texlive-fonts-recommended (2024.20241115-1) ... Setting up libgtk-3-common (3.24.43-4) ... Setting up libgtk-3-0t64:armhf (3.24.43-4) ... Setting up emacs-el (1:29.4+1-3) ... Setting up emacs-common (1:29.4+1-3) ... Setting up liblwp-protocol-https-perl (6.14-1) ... Setting up libwww-perl (6.77-1) ... Setting up libheif1:armhf (1.19.3-1) ... Setting up libparse-debcontrol-perl (2.005-6) ... Setting up libwww-mechanize-perl (2.19-1) ... Setting up libgd3:armhf (2.3.3-12+b1) ... Setting up libdebian-source-perl (0.126) ... Setting up emacs-bin-common (1:29.4+1-3) ... 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/etags.emacs to provide /usr/bin/etags (etags) in auto mode Setting up libheif-plugin-dav1d:armhf (1.19.3-1) ... Setting up libheif-plugin-libde265:armhf (1.19.3-1) ... Setting up libm17n-0:armhf (1.8.4-2) ... Setting up emacs-gtk (1:29.4+1-3) ... 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 update-alternatives: using /usr/bin/emacsclient.emacs to provide /usr/bin/emacsclient (emacsclient) in auto mode Install emacsen-common for emacs emacsen-common: Handling install of emacsen flavor emacs Setting up emacs (1:29.4+1-3) ... Setting up dh-elpa (2.1.5) ... Processing triggers for libc-bin (2.40-4) ... Processing triggers for install-info (7.1.1-1+b1) ... Processing triggers for ca-certificates (20240203) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. 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 I: Building the package I: Running cd /build/reproducible-path/proofgeneral-4.5/ && 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.5-3_source.changes dpkg-buildpackage: info: source package proofgeneral dpkg-buildpackage: info: source version 4.5-3 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf debian/rules clean dh clean --with elpa dh_auto_clean make -j3 distclean make[1]: Entering directory '/build/reproducible-path/proofgeneral-4.5' (for i in coq/coqtags; do \ if [ -f $i.rm ] ; then \ rm -f $i.rm; \ fi; \ if [ -f $i.orig ] ; then \ mv -f $i.orig $i; \ fi; \ done) ***** CLEANING UP INTERMEDIATE FILES **** rm -f doc/ProofGeneralPortrait.eps.gz rm -f ../web/ProofGeneral 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-diffs.elc coq/coq-indent.elc coq/coq-local-vars.elc coq/coq-mode.elc coq/coq-par-compile.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 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-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 ci/compile-tests/cct-lib.elc ci/compile-tests/001-mini-project/runtest.elc ci/compile-tests/002-require-no-dependencies/runtest.elc ci/compile-tests/003-require-error/runtest.elc ci/compile-tests/004-dependency-cycle/runtest.elc ci/compile-tests/005-change-recompile/runtest.elc ci/compile-tests/006-ready-dependee/runtest.elc ci/compile-tests/007-slow-require/runtest.elc ci/compile-tests/008-default-dir/runtest.elc ci/compile-tests/009-failure-processing/runtest.elc ci/simple-tests/test-coq-par-job-needs-compilation-quick.elc ci/simple-tests/test-coqtop-unavailable.elc ci/simple-tests/test-omit-proofs.elc ci/simple-tests/test-prelude-correct.elc ci/simple-tests/test-qrhl.elc .\#* */.\#* */.autotest.log */.profile.log (cd doc; make clean) make[2]: Entering directory '/build/reproducible-path/proofgeneral-4.5/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" clean make[3]: Entering directory '/build/reproducible-path/proofgeneral-4.5/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/reproducible-path/proofgeneral-4.5/doc' make[2]: Leaving directory '/build/reproducible-path/proofgeneral-4.5/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/reproducible-path/proofgeneral-4.5/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" distclean make[3]: Entering directory '/build/reproducible-path/proofgeneral-4.5/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/reproducible-path/proofgeneral-4.5/doc' make[2]: Leaving directory '/build/reproducible-path/proofgeneral-4.5/doc' make[1]: Leaving directory '/build/reproducible-path/proofgeneral-4.5' dh_clean rm -f debian/debhelper-build-stamp rm -rf debian/.debhelper/ rm -f -- debian/proofgeneral.substvars debian/proofgeneral-doc.substvars debian/files rm -fr -- debian/proofgeneral/ debian/tmp/ debian/proofgeneral-doc/ find . \( \( \ \( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS -o -path .\*/.pc -o -path .\*/_darcs \) -prune -o -type f -a \ \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ \) -exec rm -f {} + \) -o \ \( -type d -a \( -name autom4te.cache -o -name __pycache__ \) -prune -exec rm -rf {} + \) \) debian/rules binary dh binary --with elpa dh_update_autotools_config dh_autoreconf dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory '/build/reproducible-path/proofgeneral-4.5' make prepare-doc make[2]: Entering directory '/build/reproducible-path/proofgeneral-4.5' (cd doc; make EMACS=emacs info) make[3]: Entering directory '/build/reproducible-path/proofgeneral-4.5/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" info make[4]: Entering directory '/build/reproducible-path/proofgeneral-4.5/doc' makeinfo ProofGeneral.texi ProofGeneral.texi:726: warning: @inforef is obsolete ProofGeneral.texi:1607: warning: @inforef is obsolete ProofGeneral.texi:2912: warning: @inforef is obsolete ProofGeneral.texi:3008: warning: @inforef is obsolete ProofGeneral.texi:3364: warning: @inforef is obsolete ProofGeneral.texi:4085: warning: @inforef is obsolete ProofGeneral.texi:4129: warning: @inforef is obsolete ProofGeneral.texi:4135: warning: @inforef is obsolete ProofGeneral.texi:4146: warning: @inforef is obsolete ProofGeneral.texi:4155: warning: @inforef is obsolete ProofGeneral.texi:4299: warning: @inforef is obsolete ProofGeneral.texi:4300: warning: @inforef is obsolete ProofGeneral.texi:4321: warning: @inforef is obsolete ProofGeneral.texi:4524: warning: @inforef is obsolete make[4]: Leaving directory '/build/reproducible-path/proofgeneral-4.5/doc' make[3]: Leaving directory '/build/reproducible-path/proofgeneral-4.5/doc' (cd doc; make EMACS=emacs pdf) make[3]: Entering directory '/build/reproducible-path/proofgeneral-4.5/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" pdf make[4]: Entering directory '/build/reproducible-path/proofgeneral-4.5/doc' texi2pdf ProofGeneral.texi This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2025/dev/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2023-09-19.19]: 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, microtype, and turning on texinfo input format.) [1{/var/li b/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] [19] Chapter 3 [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] [55] [56] [57] [58] [59] [60] [61] [62] [63] Overfull \hbox (13.29272pt too wide) in paragraph at lines 4990--4990 [] @texttt directory to be mapped to the logical path path [] ( -I dir -as path ).[] [64] [65] [66] [67] Chapter 11 [68] Chapter 12 [69] [70] Appendix A [71] [72] [73] Appendix B [74] (References) [75] [76] (History of Proof General) [77] [78] [79] [80] [81] (Function and Command Index) [82] No file ProofGeneral.fns. (Variable and User Option Index) [83] [84] No file ProofGeneral.vrs. (Keystroke Index) [85] [86] No file ProofGeneral.kys. (Concept Index) [87] [88] No file ProofGeneral.cps. [89] [90] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.toc) (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.toc [-1] [-2]) [-3] [-4] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.toc) (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.toc) ) (see the transcript file for additional information) Output written on ProofGeneral.pdf (96 pages, 472854 bytes). Transcript written on ProofGeneral.log. This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2025/dev/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2023-09-19.19]: 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, microtype, and turning on texinfo input format.) [1{/var/li b/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] (Preface) (/build/reproducible-path/proofgeneral-4.5/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] [19] Chapter 3 [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] [55] [56] [57] [58] [59] [60] [61] [62] [63] Overfull \hbox (13.29272pt too wide) in paragraph at lines 4990--4990 [] @texttt directory to be mapped to the logical path path [] ( -I dir -as path ).[] [64] [65] [66] [67] Chapter 11 [68] Chapter 12 [69] [70] Appendix A [71] [72] [73] Appendix B [74] (References) [75] [76] (History of Proof General) [77] [78] [79] [80] [81] (Function and Command Index) [82] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.fns) (Variable and User Option Index) [83] [84] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.vrs) (Keystroke Index) [85] [86] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.kys) (Concept Index) [87] [88] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.cps [89]) [90] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.toc) (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.toc [-1] [-2]) [-3] [-4] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.toc) (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.toc) ) (see the transcript file for additional information) Output written on ProofGeneral.pdf (96 pages, 500422 bytes). Transcript written on ProofGeneral.log. This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2025/dev/Debian) (preloaded format=pdfetex) restricted \write18 enabled. entering extended mode (./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex Loading texinfo [version 2023-09-19.19]: 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, microtype, and turning on texinfo input format.) [1{/var/li b/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] (Preface) (/build/reproducible-path/proofgeneral-4.5/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] [19] Chapter 3 [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] [55] [56] [57] [58] [59] [60] [61] [62] [63] Overfull \hbox (13.29272pt too wide) in paragraph at lines 4990--4990 [] @texttt directory to be mapped to the logical path path [] ( -I dir -as path ).[] [64] [65] [66] [67] Chapter 11 [68] Chapter 12 [69] [70] Appendix A [71] [72] [73] Appendix B [74] (References) [75] [76] (History of Proof General) [77] [78] [79] [80] [81] (Function and Command Index) [82] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.fns) (Variable and User Option Index) [83] [84] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.vrs) (Keystroke Index) [85] [86] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.kys) (Concept Index) [87] [88] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.cps [89]) [90] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.toc) (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.toc [-1] [-2]) [-3] [-4] (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.toc) (/build/reproducible-path/proofgeneral-4.5/doc/ProofGeneral.toc) ) (see the transcript file for additional information) Output written on ProofGeneral.pdf (96 pages, 500667 bytes). Transcript written on ProofGeneral.log. make[4]: Leaving directory '/build/reproducible-path/proofgeneral-4.5/doc' make[3]: Leaving directory '/build/reproducible-path/proofgeneral-4.5/doc' (cd doc; make EMACS=emacs html) make[3]: Entering directory '/build/reproducible-path/proofgeneral-4.5/doc' make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" html make[4]: Entering directory '/build/reproducible-path/proofgeneral-4.5/doc' makeinfo --html --ifinfo --number-sections --split=chapter --no-headers --css-include=proofgen.css ProofGeneral.texi ProofGeneral.texi:726: warning: @inforef is obsolete ProofGeneral.texi:1607: warning: @inforef is obsolete ProofGeneral.texi:2912: warning: @inforef is obsolete ProofGeneral.texi:3008: warning: @inforef is obsolete ProofGeneral.texi:3364: warning: @inforef is obsolete ProofGeneral.texi:4085: warning: @inforef is obsolete ProofGeneral.texi:4129: warning: @inforef is obsolete ProofGeneral.texi:4135: warning: @inforef is obsolete ProofGeneral.texi:4146: warning: @inforef is obsolete ProofGeneral.texi:4155: warning: @inforef is obsolete ProofGeneral.texi:4299: warning: @inforef is obsolete ProofGeneral.texi:4300: warning: @inforef is obsolete ProofGeneral.texi:4321: warning: @inforef is obsolete ProofGeneral.texi:4524: warning: @inforef is obsolete make[4]: Leaving directory '/build/reproducible-path/proofgeneral-4.5/doc' make[3]: Leaving directory '/build/reproducible-path/proofgeneral-4.5/doc' mv doc/ProofGeneral_html doc/html mv doc/ProofGeneral.pdf doc/proofgeneral.pdf mv doc/ProofGeneral.info doc/proofgeneral.info make[2]: Leaving directory '/build/reproducible-path/proofgeneral-4.5' make[1]: Leaving directory '/build/reproducible-path/proofgeneral-4.5' debian/rules override_dh_auto_test make[1]: Entering directory '/build/reproducible-path/proofgeneral-4.5' true make[1]: Leaving directory '/build/reproducible-path/proofgeneral-4.5' create-stamp debian/debhelper-build-stamp 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/ debian/rules override_dh_auto_install make[1]: Entering directory '/build/reproducible-path/proofgeneral-4.5' dh_auto_install install -m0755 -d /build/reproducible-path/proofgeneral-4.5/debian/tmp make -j3 install DESTDIR=/build/reproducible-path/proofgeneral-4.5/debian/tmp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[2]: Entering directory '/build/reproducible-path/proofgeneral-4.5' mkdir -p /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/icons/hicolor/16x16/apps cp etc/desktop/icons/16x16/proofgeneral.png /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/icons/hicolor/16x16/apps mkdir -p /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/icons/hicolor/32x32/apps cp etc/desktop/icons/32x32/proofgeneral.png /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/icons/hicolor/32x32/apps mkdir -p /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/icons/hicolor/48x48/apps cp etc/desktop/icons/48x48/proofgeneral.png /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/icons/hicolor/48x48/apps mkdir -p /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/emacs/site-lisp/proofgeneral mkdir -p /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/icons/hicolor/64x64/apps mkdir -p /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/bin cp etc/desktop/icons/64x64/proofgeneral.png /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/icons/hicolor/64x64/apps for f in coq generic lib images; do mkdir -p /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done cp -pf coq/coqtags /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/bin mkdir -p /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/icons/hicolor/128x128/apps cp debian/proofgeneral-shell-script /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/bin/proofgeneral cp etc/desktop/icons/128x128/proofgeneral.png /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/icons/hicolor/128x128/apps mkdir -p /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/doc/proofgeneral/examples mkdir -p /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/applications cp coq/example.v /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/doc/proofgeneral/examples/coq_example.v cp etc/desktop/proofgeneral.desktop /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/applications for f in coq generic lib; do cp -pf $f/*.el /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done mkdir -p /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/mime-info cp etc/desktop/mime-info/proofgeneral.mime /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/mime-info cp etc/desktop/mime-info/proofgeneral.keys /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/mime-info mkdir -p /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/application-registry cp etc/desktop/application-registry/proofgeneral.applications /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/application-registry for f in images; do cp -prf $f/* /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done for f in ; do cp -pf $f /build/reproducible-path/proofgeneral-4.5/debian/tmp/usr/share/emacs/site-lisp/proofgeneral/$f; done make[2]: Leaving directory '/build/reproducible-path/proofgeneral-4.5' find debian/tmp -name README -delete make[1]: Leaving directory '/build/reproducible-path/proofgeneral-4.5' dh_install 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/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/ rm -f debian/proofgeneral-doc.debhelper.log debian/proofgeneral.debhelper.log debian/rules override_dh_elpa make[1]: Entering directory '/build/reproducible-path/proofgeneral-4.5' # nothing! make[1]: Leaving directory '/build/reproducible-path/proofgeneral-4.5' dh_installdocs 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 ./CHANGES 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 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 cp --reflink=auto -a ./doc/proofgeneral.pdf debian/proofgeneral-doc/usr/share/doc/proofgeneral 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/reproducible-path/proofgeneral-4.5/debian/proofgeneral-doc/usr/share/doc/proofgeneral 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 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 mv debian/proofgeneral/usr/share/doc/proofgeneral/CHANGES debian/proofgeneral/usr/share/doc/proofgeneral/changelog chmod 0644 -- 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 install -m0755 -d debian/proofgeneral/usr/share/man/man1/ install -p -m0644 ./debian/proofgeneral.1 debian/proofgeneral/usr/share/man/man1/proofgeneral.1 install -m0755 -d debian/proofgeneral/usr/share/man/man1/ install -p -m0644 ./debian/coqtags.1 debian/proofgeneral/usr/share/man/man1/coqtags.1 man-recode --to-code UTF-8 --suffix .dh-new debian/proofgeneral/usr/share/man/man1/coqtags.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/coqtags.1.dh-new debian/proofgeneral/usr/share/man/man1/coqtags.1 chmod 0644 -- debian/proofgeneral/usr/share/man/man1/coqtags.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/etc/emacs/site-start.d/ install -p -m0644 debian/emacsen-startup debian/proofgeneral/etc/emacs/site-start.d/50proofgeneral.el dh_installinfo 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_lintian install -m0755 -d debian/proofgeneral/usr/share/lintian/overrides install -p -m0644 debian/lintian-overrides debian/proofgeneral/usr/share/lintian/overrides/proofgeneral dh_icons dh_perl mv debian/proofgeneral.substvars.new debian/proofgeneral.substvars dh_link dh_strip_nondeterminism Using 1732728497 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-state.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-home.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-use.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/icons/hicolor/128x128/apps/proofgeneral.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/icons/hicolor/48x48/apps/proofgeneral.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/icons/hicolor/64x64/apps/proofgeneral.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/icons/hicolor/32x32/apps/proofgeneral.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/icons/hicolor/16x16/apps/proofgeneral.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-restart.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-info.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-find.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-retract.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/ProofGeneral-splash.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-prooftree.png using File::StripNondeterminism::handlers::png Normalizing debian/proofgeneral/usr/share/emacs/site-lisp/proofgeneral/images/epg-next.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-context.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-undo.png using File::StripNondeterminism::handlers::png debian/rules override_dh_compress make[1]: Entering directory '/build/reproducible-path/proofgeneral-4.5' dh_compress --exclude=proofgeneral.pdf cd debian/proofgeneral-doc cd debian/proofgeneral chmod a-x usr/share/doc/proofgeneral/FAQ.md usr/share/doc/proofgeneral/README.md usr/share/doc/proofgeneral/changelog usr/share/doc/proofgeneral/changelog.Debian usr/share/man/man1/coqtags.1 usr/share/man/man1/proofgeneral.1 chmod a-x usr/share/doc/proofgeneral-doc/changelog usr/share/doc/proofgeneral-doc/changelog.Debian usr/share/info/proofgeneral.info gzip -9nf usr/share/doc/proofgeneral/FAQ.md usr/share/doc/proofgeneral/README.md usr/share/doc/proofgeneral/changelog usr/share/doc/proofgeneral/changelog.Debian usr/share/man/man1/coqtags.1 usr/share/man/man1/proofgeneral.1 gzip -9nf usr/share/doc/proofgeneral-doc/changelog usr/share/doc/proofgeneral-doc/changelog.Debian usr/share/info/proofgeneral.info cd '/build/reproducible-path/proofgeneral-4.5' cd '/build/reproducible-path/proofgeneral-4.5' make[1]: Leaving directory '/build/reproducible-path/proofgeneral-4.5' dh_fixperms find debian/proofgeneral ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/proofgeneral-doc ! -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/usr/share/doc -type f -a -true -a ! -regex 'debian/proofgeneral-doc/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 find debian/proofgeneral-doc/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 debian/proofgeneral/usr/share/lintian/overrides -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral-doc -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/proofgeneral/usr/bin -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod a+x find debian/proofgeneral/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w dh_missing dh_installdeb install -m0755 -d debian/proofgeneral/DEBIAN find debian/proofgeneral/etc -type f -printf '/etc/%P ' | LC_ALL=C sort >> debian/proofgeneral/DEBIAN/conffiles chmod 0644 -- 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 -cdebian/control -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 -cdebian/control -Pdebian/proofgeneral-doc chmod 0644 -- debian/proofgeneral-doc/DEBIAN/control dpkg-gencontrol: warning: Depends field of package proofgeneral: substitution variable ${elpa:Depends} used, but is not defined dpkg-gencontrol: warning: package proofgeneral: substitution variable ${perl:Depends} unused, but is defined chmod 0644 -- debian/proofgeneral/DEBIAN/control dh_md5sums install -m0755 -d debian/proofgeneral-doc/DEBIAN install -m0755 -d debian/proofgeneral/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/DEBIAN/md5sums chmod 0644 -- debian/proofgeneral-doc/DEBIAN/md5sums dh_builddeb dpkg-deb --root-owner-group --build debian/proofgeneral .. dpkg-deb --root-owner-group --build debian/proofgeneral-doc .. dpkg-deb: building package 'proofgeneral' in '../proofgeneral_4.5-3_all.deb'. dpkg-deb: building package 'proofgeneral-doc' in '../proofgeneral-doc_4.5-3_all.deb'. dpkg-genbuildinfo --build=binary -O../proofgeneral_4.5-3_armhf.buildinfo dpkg-genchanges --build=binary -O../proofgeneral_4.5-3_armhf.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/7112 and its subdirectories I: Current time: Thu Nov 28 19:45:43 -12 2024 I: pbuilder-time-stamp: 1732866343 Fri Nov 29 07:45:56 UTC 2024 I: 1st build successful. Starting 2nd build on remote node virt32c-armhf-rb.debian.net. Fri Nov 29 07:45:56 UTC 2024 I: Preparing to do remote build '2' on virt32c-armhf-rb.debian.net. Fri Nov 29 07:55:55 UTC 2024 I: Deleting $TMPDIR on virt32c-armhf-rb.debian.net. Fri Nov 29 07:55:58 UTC 2024 I: proofgeneral_4.5-3_armhf.changes: Format: 1.8 Date: Wed, 27 Nov 2024 18:28:17 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: all Version: 4.5-3 Distribution: unstable Urgency: medium Maintainer: Debian Math Team Changed-By: Julien Puydt Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 1077126 Changes: proofgeneral (4.5-3) unstable; urgency=medium . * Bump standards-version to 4.7.0. * Rebuild against newer dh-elpa (Closes: #1077126). Checksums-Sha1: cde0732c3208850f47fd8e83c0dd7d17c6b96b2f 675940 proofgeneral-doc_4.5-3_all.deb 92c645221e7ecec43200bbc64e76f5bf123856ce 640580 proofgeneral_4.5-3_all.deb 76e154bbdd28363f69532904949dd7d35535dd66 12067 proofgeneral_4.5-3_armhf.buildinfo Checksums-Sha256: 01b533494f45b9a0708a4e73b8d6c8e452f7a81890bf3f98ca55e8ae900124b7 675940 proofgeneral-doc_4.5-3_all.deb 3da387654657c3bb09e67f4d4bf3eadf3e85a016dd7a973598db338479fd081b 640580 proofgeneral_4.5-3_all.deb debd7a36f97580a9c8ee484aa6c4256bd104ed0de2db8ed2b122c82747547fc8 12067 proofgeneral_4.5-3_armhf.buildinfo Files: 22c575028154ce0c20bd1ea6ff8d7a7b 675940 doc optional proofgeneral-doc_4.5-3_all.deb 1cbbbcd9d8444a44157cfaaa3498a1ce 640580 editors optional proofgeneral_4.5-3_all.deb 4cb150388ceec11be141990e948092eb 12067 editors optional proofgeneral_4.5-3_armhf.buildinfo Fri Nov 29 07:55:59 UTC 2024 I: diffoscope 283 will be used to compare the two builds: Running as unit: rb-diffoscope-armhf_8-11849.service # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.CKOwezfO/proofgeneral_4.5-3.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.CKOwezfO/proofgeneral_4.5-3.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.CKOwezfO/proofgeneral_4.5-3.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.CKOwezfO/b1/proofgeneral_4.5-3_armhf.changes /srv/reproducible-results/rbuild-debian/r-b-build.CKOwezfO/b2/proofgeneral_4.5-3_armhf.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.339s) 0.339s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.026s) 0.026s 12 calls diffoscope.comparators.binary.FilesystemFile ## specialize (total time: 0.000s) 0.000s 1 call specialize Finished with result: success Main processes terminated with: code=exited/status=0 Service runtime: 630ms CPU time consumed: 629ms Fri Nov 29 07:56:00 UTC 2024 I: diffoscope 283 found no differences in the changes files, and a .buildinfo file also exists. Fri Nov 29 07:56:00 UTC 2024 I: proofgeneral from unstable built successfully and reproducibly on armhf. Fri Nov 29 07:56:01 UTC 2024 I: Submitting .buildinfo files to external archives: Fri Nov 29 07:56:01 UTC 2024 I: Submitting 16K b1/proofgeneral_4.5-3_armhf.buildinfo.asc Fri Nov 29 07:56:02 UTC 2024 I: Submitting 16K b2/proofgeneral_4.5-3_armhf.buildinfo.asc Fri Nov 29 07:56:02 UTC 2024 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Fri Nov 29 07:56:02 UTC 2024 I: Done submitting .buildinfo files. Fri Nov 29 07:56:02 UTC 2024 I: Removing signed proofgeneral_4.5-3_armhf.buildinfo.asc files: removed './b1/proofgeneral_4.5-3_armhf.buildinfo.asc' removed './b2/proofgeneral_4.5-3_armhf.buildinfo.asc'