Raspbian Package Auto-Building

acl2 → 8.3dfsg-2 → armhf → 2022-04-29 05:44:35

sbuild (Debian sbuild) 0.72.0 (25 Oct 2016) on mb-lxc-01

+==============================================================================+
| acl2 8.3dfsg-2 (armhf)                       Fri, 29 Apr 2022 05:06:24 +0000 |
+==============================================================================+

Package: acl2
Version: 8.3dfsg-2
Source Version: 8.3dfsg-2
Distribution: bullseye-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/bullseye-staging-armhf-sbuild-3cabda59-fb54-4a39-89b0-2d4016409890' with '<<CHROOT>>'

+------------------------------------------------------------------------------+
| Update chroot                                                                |
+------------------------------------------------------------------------------+

Get:1 http://172.17.4.1/private bullseye-staging InRelease [11.3 kB]
Get:2 http://172.17.4.1/private bullseye-staging/main Sources [12.2 MB]
Get:3 http://172.17.4.1/private bullseye-staging/main armhf Packages [13.2 MB]
Fetched 25.5 MB in 9s (2868 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Fetch source files                                                           |
+------------------------------------------------------------------------------+


Check APT
---------

Checking available source versions...

Download source files with APT
------------------------------

Reading package lists...
Need to get 117 MB of source archives.
Get:1 http://172.17.4.1/private bullseye-staging/main acl2 8.3dfsg-2 (dsc) [2275 B]
Get:2 http://172.17.4.1/private bullseye-staging/main acl2 8.3dfsg-2 (tar) [117 MB]
Get:3 http://172.17.4.1/private bullseye-staging/main acl2 8.3dfsg-2 (diff) [228 kB]
Fetched 117 MB in 12s (9423 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/acl2-5m1gP0/acl2-8.3dfsg' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/acl2-5m1gP0' with '<<BUILDDIR>>'

+------------------------------------------------------------------------------+
| Install build-essential                                                      |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-EjF1vp/apt_archive/sbuild-build-depends-core-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 1 entries to output Packages file.
gpg: keybox '/<<BUILDDIR>>/resolver-EjF1vp/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-EjF1vp/gpg/trustdb.gpg: trustdb created
gpg: key 37145E60F90AF620: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg:               imported: 1
gpg: key 37145E60F90AF620: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 37145E60F90AF620: secret key imported
gpg: Total number processed: 1
gpg:              unchanged: 1
gpg:       secret keys read: 1
gpg:   secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-EjF1vp/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-EjF1vp/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-EjF1vp/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-EjF1vp/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-EjF1vp/apt_archive ./ Packages [432 B]
Fetched 2108 B in 0s (9490 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

Install core build dependencies (apt-based resolver)
----------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
  bsdextrautils libnss-nis libnss-nisplus libpam-cap netbase sensible-utils
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
  sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 52 not upgraded.
Need to get 852 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-EjF1vp/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 852 B in 0s (58.6 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12565 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Check architectures                                                          |
+------------------------------------------------------------------------------+

Arch check ok (armhf included in any all)

+------------------------------------------------------------------------------+
| Install package build dependencies                                           |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: debhelper-compat (= 13), gcl (>= 2.6.12-92), libgmp3-dev, libreadline-dev, emacs-gtk | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo
Filtered Build-Depends: debhelper-compat (= 13), gcl (>= 2.6.12-92), libgmp3-dev, libreadline-dev, emacs-gtk, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo
dpkg-deb: building package 'sbuild-build-depends-acl2-dummy' in '/<<BUILDDIR>>/resolver-EjF1vp/apt_archive/sbuild-build-depends-acl2-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-acl2-dummy sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-EjF1vp/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-EjF1vp/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-EjF1vp/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-EjF1vp/apt_archive ./ Sources [582 B]
Get:5 copy:/<<BUILDDIR>>/resolver-EjF1vp/apt_archive ./ Packages [658 B]
Fetched 2573 B in 0s (11.6 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

Install acl2 build dependencies (apt-based resolver)
----------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
  libnss-nis libnss-nisplus libpam-cap netbase
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
  adwaita-icon-theme autoconf automake autopoint autotools-dev dbus
  dbus-user-session dconf-gsettings-backend dconf-service debhelper
  dh-autoreconf dh-strip-nondeterminism dmsetup dwz emacs-bin-common
  emacs-common emacs-gtk emacsen-common file fontconfig fontconfig-config
  fonts-dejavu-core fonts-lmodern gcl gettext gettext-base glib-networking
  glib-networking-common glib-networking-services groff-base
  gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme
  install-info intltool-debian libapparmor1 libarchive-zip-perl libargon2-1
  libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data
  libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3
  libbrotli1 libbsd0 libcairo-gobject2 libcairo2 libcanna1g libcolord2
  libcompfaceg1 libcryptsetup12 libcups2 libdatrie1 libdbus-1-3 libdconf1
  libdebhelper-perl libdeflate0 libdevmapper1.02.1 libelf1 libepoxy0 libexpat1
  libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libfribidi0
  libgd3 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgif7 libglib2.0-0
  libgmp-dev libgmp10 libgmp3-dev libgmpxx4ldbl libgpm2 libgraphite2-3
  libgtk-3-0 libgtk-3-common libharfbuzz0b libice-dev libice6 libicu67
  libip4tc2 libjansson4 libjbig0 libjpeg62-turbo libjson-c5 libjson-glib-1.0-0
  libjson-glib-1.0-common libkmod2 libkpathsea6 liblcms2-2 libm17n-0
  libmagic-mgc libmagic1 libmd0 libncurses-dev libncurses6 libotf0
  libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0
  libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpng16-16 libproxy1v5
  libpsl5 libptexenc1 libpthread-stubs0-dev libreadline-dev librest-0.7-0
  librsvg2-2 libsigsegv2 libsm-dev libsm6 libsoup-gnome2.4-1 libsoup2.4-1
  libsub-override-perl libsynctex2 libsystemd0 libtcl8.6 libteckit0
  libtexlua53 libtexluajit2 libtext-unidecode-perl libthai-data libthai0
  libtiff5 libtk8.6 libtool libuchardet0 libwayland-client0 libwayland-cursor0
  libwayland-egl1 libwebp6 libx11-6 libx11-data libx11-dev libxau-dev libxau6
  libxaw7 libxaw7-dev libxcb-render0 libxcb-shm0 libxcb1 libxcb1-dev
  libxcomposite1 libxcursor1 libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev
  libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0
  libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl
  libxml-sax-perl libxml2 libxmu-dev libxmu-headers libxmu6 libxpm-dev libxpm4
  libxrandr2 libxrender1 libxss1 libxt-dev libxt6 libzzip-0-13 m17n-db m4
  man-db po-debconf shared-mime-info systemd systemd-sysv t1utils tex-common
  texinfo texlive-base texlive-binaries texlive-latex-base
  texlive-latex-recommended time ucf x11-common x11proto-core-dev x11proto-dev
  x11proto-xext-dev xdg-utils xemacs21-basesupport xemacs21-bin
  xemacs21-mule-canna-wnn xemacs21-mulesupport xemacs21-support xkb-data
  xorg-sgml-doctools xtrans-dev
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc dh-make emacs-common-non-dfsg
  ncurses-term gcl-doc gettext-doc libasprintf-dev libgettextpo-dev groff
  libasound2-plugins alsa-utils colord cups-common libgd-tools gmp-doc
  libgmp10-doc libmpfr-dev gpm gvfs libice-doc liblcms2-utils m17n-docs
  ncurses-doc readline-doc librsvg2-bin libsm-doc tcl8.6 tk8.6 libtool-doc
  gfortran | fortran95-compiler gcj-jdk libx11-doc libxaw-doc libxcb-doc
  libxext-doc libxt-doc gawk m4-doc apparmor less libmail-box-perl
  systemd-container policykit-1 texlive-plain-generic
  texlive-fonts-recommended ghostscript gv | postscript-viewer perl-tk xpdf
  | pdf-viewer xzdec texlive-latex-base-doc texlive-latex-recommended-doc
  texlive-luatex texlive-pstricks xfonts-cjk xemacs21-supportel
Recommended packages:
  librsvg2-common mailutils emacs-el curl | wget | lynx alsa-ucm-conf
  alsa-topology-conf at-spi2-core libarchive-cpio-perl libgdk-pixbuf2.0-bin
  libglib2.0-data xdg-user-dirs libgtk-3-bin publicsuffix libltdl-dev
  libwww-perl libxml-sax-expat-perl libmail-sendmail-perl systemd-timesyncd
  | time-daemon libnss-systemd lmodern dvisvgm libfile-mimeinfo-perl
  libnet-dbus-perl libx11-protocol-perl x11-utils x11-xserver-utils
The following NEW packages will be installed:
  adwaita-icon-theme autoconf automake autopoint autotools-dev dbus
  dbus-user-session dconf-gsettings-backend dconf-service debhelper
  dh-autoreconf dh-strip-nondeterminism dmsetup dwz emacs-bin-common
  emacs-common emacs-gtk emacsen-common file fontconfig fontconfig-config
  fonts-dejavu-core fonts-lmodern gcl gettext gettext-base glib-networking
  glib-networking-common glib-networking-services groff-base
  gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme
  install-info intltool-debian libapparmor1 libarchive-zip-perl libargon2-1
  libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data
  libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3
  libbrotli1 libbsd0 libcairo-gobject2 libcairo2 libcanna1g libcolord2
  libcompfaceg1 libcryptsetup12 libcups2 libdatrie1 libdbus-1-3 libdconf1
  libdebhelper-perl libdeflate0 libdevmapper1.02.1 libelf1 libepoxy0 libexpat1
  libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libfribidi0
  libgd3 libgdk-pixbuf-2.0-0 libgdk-pixbuf2.0-common libgif7 libglib2.0-0
  libgmp-dev libgmp3-dev libgmpxx4ldbl libgpm2 libgraphite2-3 libgtk-3-0
  libgtk-3-common libharfbuzz0b libice-dev libice6 libicu67 libip4tc2
  libjansson4 libjbig0 libjpeg62-turbo libjson-c5 libjson-glib-1.0-0
  libjson-glib-1.0-common libkmod2 libkpathsea6 liblcms2-2 libm17n-0
  libmagic-mgc libmagic1 libmd0 libncurses-dev libncurses6 libotf0
  libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0
  libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpng16-16 libproxy1v5
  libpsl5 libptexenc1 libpthread-stubs0-dev libreadline-dev librest-0.7-0
  librsvg2-2 libsigsegv2 libsm-dev libsm6 libsoup-gnome2.4-1 libsoup2.4-1
  libsub-override-perl libsynctex2 libtcl8.6 libteckit0 libtexlua53
  libtexluajit2 libtext-unidecode-perl libthai-data libthai0 libtiff5 libtk8.6
  libtool libuchardet0 libwayland-client0 libwayland-cursor0 libwayland-egl1
  libwebp6 libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxaw7
  libxaw7-dev libxcb-render0 libxcb-shm0 libxcb1 libxcb1-dev libxcomposite1
  libxcursor1 libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6
  libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml-libxml-perl
  libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2
  libxmu-dev libxmu-headers libxmu6 libxpm-dev libxpm4 libxrandr2 libxrender1
  libxss1 libxt-dev libxt6 libzzip-0-13 m17n-db m4 man-db po-debconf
  sbuild-build-depends-acl2-dummy shared-mime-info systemd systemd-sysv
  t1utils tex-common texinfo texlive-base texlive-binaries texlive-latex-base
  texlive-latex-recommended time ucf x11-common x11proto-core-dev x11proto-dev
  x11proto-xext-dev xdg-utils xemacs21-basesupport xemacs21-bin
  xemacs21-mule-canna-wnn xemacs21-mulesupport xemacs21-support xkb-data
  xorg-sgml-doctools xtrans-dev
The following packages will be upgraded:
  libgmp10 libsystemd0
2 upgraded, 209 newly installed, 0 to remove and 50 not upgraded.
Need to get 187 MB/187 MB of archives.
After this operation, 720 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-EjF1vp/apt_archive ./ sbuild-build-depends-acl2-dummy 0.invalid.0 [944 B]
Get:2 http://172.17.4.1/private bullseye-staging/main armhf install-info armhf 6.7.0.dfsg.2-6 [140 kB]
Get:3 http://172.17.4.1/private bullseye-staging/main armhf libsystemd0 armhf 247.3-7+rpi1 [346 kB]
Get:4 http://172.17.4.1/private bullseye-staging/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB]
Get:5 http://172.17.4.1/private bullseye-staging/main armhf groff-base armhf 1.22.4-6 [793 kB]
Get:6 http://172.17.4.1/private bullseye-staging/main armhf libpipeline1 armhf 1.5.3-1 [29.9 kB]
Get:7 http://172.17.4.1/private bullseye-staging/main armhf man-db armhf 2.9.4-2 [1307 kB]
Get:8 http://172.17.4.1/private bullseye-staging/main armhf libapparmor1 armhf 2.13.6-10 [94.9 kB]
Get:9 http://172.17.4.1/private bullseye-staging/main armhf dmsetup armhf 2:1.02.175-2.1 [91.4 kB]
Get:10 http://172.17.4.1/private bullseye-staging/main armhf libdevmapper1.02.1 armhf 2:1.02.175-2.1 [134 kB]
Get:11 http://172.17.4.1/private bullseye-staging/main armhf libjson-c5 armhf 0.15-2 [38.7 kB]
Get:12 http://172.17.4.1/private bullseye-staging/main armhf libcryptsetup12 armhf 2:2.3.7-1+deb11u1 [222 kB]
Get:13 http://172.17.4.1/private bullseye-staging/main armhf libip4tc2 armhf 1.8.7-1 [32.7 kB]
Get:14 http://172.17.4.1/private bullseye-staging/main armhf libkmod2 armhf 28-1 [48.2 kB]
Get:15 http://172.17.4.1/private bullseye-staging/main armhf systemd armhf 247.3-7+rpi1 [4242 kB]
Get:16 http://172.17.4.1/private bullseye-staging/main armhf systemd-sysv armhf 247.3-7+rpi1 [113 kB]
Get:17 http://172.17.4.1/private bullseye-staging/main armhf libdbus-1-3 armhf 1.12.20-2 [193 kB]
Get:18 http://172.17.4.1/private bullseye-staging/main armhf libexpat1 armhf 2.2.10-2+deb11u3 [74.9 kB]
Get:19 http://172.17.4.1/private bullseye-staging/main armhf dbus armhf 1.12.20-2 [215 kB]
Get:20 http://172.17.4.1/private bullseye-staging/main armhf ucf all 3.0043 [74.0 kB]
Get:21 http://172.17.4.1/private bullseye-staging/main armhf tex-common all 6.16 [53.7 kB]
Get:22 http://172.17.4.1/private bullseye-staging/main armhf libgmp10 armhf 2:6.2.1+dfsg-1+deb11u1 [509 kB]
Get:23 http://172.17.4.1/private bullseye-staging/main armhf libmagic-mgc armhf 1:5.39-3 [273 kB]
Get:24 http://172.17.4.1/private bullseye-staging/main armhf libmagic1 armhf 1:5.39-3 [117 kB]
Get:25 http://172.17.4.1/private bullseye-staging/main armhf file armhf 1:5.39-3 [68.0 kB]
Get:26 http://172.17.4.1/private bullseye-staging/main armhf gettext-base armhf 0.21-4 [171 kB]
Get:27 http://172.17.4.1/private bullseye-staging/main armhf libpam-systemd armhf 247.3-7+rpi1 [260 kB]
Get:28 http://172.17.4.1/private bullseye-staging/main armhf time armhf 1.9-0.1 [50.5 kB]
Get:29 http://172.17.4.1/private bullseye-staging/main armhf hicolor-icon-theme all 0.17-2 [11.4 kB]
Get:30 http://172.17.4.1/private bullseye-staging/main armhf libgdk-pixbuf2.0-common all 2.42.2+dfsg-1 [320 kB]
Get:31 http://172.17.4.1/private bullseye-staging/main armhf libglib2.0-0 armhf 2.66.8-1 [1183 kB]
Get:32 http://172.17.4.1/private bullseye-staging/main armhf libicu67 armhf 67.1-7 [8291 kB]
Get:33 http://172.17.4.1/private bullseye-staging/main armhf libxml2 armhf 2.9.10+dfsg-6.7+deb11u1 [580 kB]
Get:34 http://172.17.4.1/private bullseye-staging/main armhf shared-mime-info armhf 2.0-1 [697 kB]
Get:35 http://172.17.4.1/private bullseye-staging/main armhf libjpeg62-turbo armhf 1:2.0.6-4 [122 kB]
Get:36 http://172.17.4.1/private bullseye-staging/main armhf libpng16-16 armhf 1.6.37-3 [276 kB]
Get:37 http://172.17.4.1/private bullseye-staging/main armhf libdeflate0 armhf 1.7-1 [44.0 kB]
Get:38 http://172.17.4.1/private bullseye-staging/main armhf libjbig0 armhf 2.1-3.1+b2 [27.6 kB]
Get:39 http://172.17.4.1/private bullseye-staging/main armhf libwebp6 armhf 0.6.1-2.1 [225 kB]
Get:40 http://172.17.4.1/private bullseye-staging/main armhf libtiff5 armhf 4.2.0-1+deb11u1 [269 kB]
Get:41 http://172.17.4.1/private bullseye-staging/main armhf libgdk-pixbuf-2.0-0 armhf 2.42.2+dfsg-1 [130 kB]
Get:42 http://172.17.4.1/private bullseye-staging/main armhf gtk-update-icon-cache armhf 3.24.24-4+deb11u2 [87.0 kB]
Get:43 http://172.17.4.1/private bullseye-staging/main armhf adwaita-icon-theme all 3.38.0-1 [10.9 MB]
Get:44 http://172.17.4.1/private bullseye-staging/main armhf libsigsegv2 armhf 2.13-1 [34.3 kB]
Get:45 http://172.17.4.1/private bullseye-staging/main armhf m4 armhf 1.4.18-5 [186 kB]
Get:46 http://172.17.4.1/private bullseye-staging/main armhf autoconf all 2.69-14 [313 kB]
Get:47 http://172.17.4.1/private bullseye-staging/main armhf autotools-dev all 20180224.1+nmu1 [77.1 kB]
Get:48 http://172.17.4.1/private bullseye-staging/main armhf automake all 1:1.16.3-2 [814 kB]
Get:49 http://172.17.4.1/private bullseye-staging/main armhf autopoint all 0.21-4 [510 kB]
Get:50 http://172.17.4.1/private bullseye-staging/main armhf dbus-user-session armhf 1.12.20-2 [96.2 kB]
Get:51 http://172.17.4.1/private bullseye-staging/main armhf libdconf1 armhf 0.38.0-2 [39.3 kB]
Get:52 http://172.17.4.1/private bullseye-staging/main armhf dconf-service armhf 0.38.0-2 [34.7 kB]
Get:53 http://172.17.4.1/private bullseye-staging/main armhf dconf-gsettings-backend armhf 0.38.0-2 [26.8 kB]
Get:54 http://172.17.4.1/private bullseye-staging/main armhf libdebhelper-perl all 13.3.4 [189 kB]
Get:55 http://172.17.4.1/private bullseye-staging/main armhf libtool all 2.4.6-15 [513 kB]
Get:56 http://172.17.4.1/private bullseye-staging/main armhf dh-autoreconf all 20 [17.1 kB]
Get:57 http://172.17.4.1/private bullseye-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:58 http://172.17.4.1/private bullseye-staging/main armhf libsub-override-perl all 0.09-2 [10.2 kB]
Get:59 http://172.17.4.1/private bullseye-staging/main armhf libfile-stripnondeterminism-perl all 1.12.0-1 [26.3 kB]
Get:60 http://172.17.4.1/private bullseye-staging/main armhf dh-strip-nondeterminism all 1.12.0-1 [15.4 kB]
Get:61 http://172.17.4.1/private bullseye-staging/main armhf libelf1 armhf 0.183-1 [161 kB]
Get:62 http://172.17.4.1/private bullseye-staging/main armhf dwz armhf 0.13+20210201-1 [164 kB]
Get:63 http://172.17.4.1/private bullseye-staging/main armhf gettext armhf 0.21-4 [1215 kB]
Get:64 http://172.17.4.1/private bullseye-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:65 http://172.17.4.1/private bullseye-staging/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
Get:66 http://172.17.4.1/private bullseye-staging/main armhf debhelper all 13.3.4 [1049 kB]
Get:67 http://172.17.4.1/private bullseye-staging/main armhf emacsen-common all 3.0.4 [19.3 kB]
Get:68 http://172.17.4.1/private bullseye-staging/main armhf emacs-common all 1:27.1+1-3.1 [13.7 MB]
Get:69 http://172.17.4.1/private bullseye-staging/main armhf emacs-bin-common armhf 1:27.1+1-3.1 [134 kB]
Get:70 http://172.17.4.1/private bullseye-staging/main armhf libasound2-data all 1.2.4-1.1 [38.2 kB]
Get:71 http://172.17.4.1/private bullseye-staging/main armhf libasound2 armhf 1.2.4-1.1 [303 kB]
Get:72 http://172.17.4.1/private bullseye-staging/main armhf libbrotli1 armhf 1.0.9-2+b1 [261 kB]
Get:73 http://172.17.4.1/private bullseye-staging/main armhf libfreetype6 armhf 2.10.4+dfsg-1 [353 kB]
Get:74 http://172.17.4.1/private bullseye-staging/main armhf fonts-dejavu-core all 2.37-2 [1069 kB]
Get:75 http://172.17.4.1/private bullseye-staging/main armhf fontconfig-config all 2.13.1-4.2 [281 kB]
Get:76 http://172.17.4.1/private bullseye-staging/main armhf libfontconfig1 armhf 2.13.1-4.2 [328 kB]
Get:77 http://172.17.4.1/private bullseye-staging/main armhf libpixman-1-0 armhf 0.40.0-1 [463 kB]
Get:78 http://172.17.4.1/private bullseye-staging/main armhf libxau6 armhf 1:1.0.9-1 [19.1 kB]
Get:79 http://172.17.4.1/private bullseye-staging/main armhf libmd0 armhf 1.0.3-3 [27.2 kB]
Get:80 http://172.17.4.1/private bullseye-staging/main armhf libbsd0 armhf 0.11.3-1 [103 kB]
Get:81 http://172.17.4.1/private bullseye-staging/main armhf libxdmcp6 armhf 1:1.1.2-3 [25.0 kB]
Get:82 http://172.17.4.1/private bullseye-staging/main armhf libxcb1 armhf 1.14-3 [136 kB]
Get:83 http://172.17.4.1/private bullseye-staging/main armhf libx11-data all 2:1.7.2-1 [311 kB]
Get:84 http://172.17.4.1/private bullseye-staging/main armhf libx11-6 armhf 2:1.7.2-1 [705 kB]
Get:85 http://172.17.4.1/private bullseye-staging/main armhf libxcb-render0 armhf 1.14-3 [110 kB]
Get:86 http://172.17.4.1/private bullseye-staging/main armhf libxcb-shm0 armhf 1.14-3 [101 kB]
Get:87 http://172.17.4.1/private bullseye-staging/main armhf libxext6 armhf 2:1.3.3-1.1 [47.8 kB]
Get:88 http://172.17.4.1/private bullseye-staging/main armhf libxrender1 armhf 1:0.9.10-1 [29.9 kB]
Get:89 http://172.17.4.1/private bullseye-staging/main armhf libcairo2 armhf 1.16.0-5 [602 kB]
Get:90 http://172.17.4.1/private bullseye-staging/main armhf libgif7 armhf 5.1.9-2 [42.9 kB]
Get:91 http://172.17.4.1/private bullseye-staging/main armhf libgpm2 armhf 1.20.7-8 [34.9 kB]
Get:92 http://172.17.4.1/private bullseye-staging/main armhf libatk1.0-data all 2.36.0-2 [149 kB]
Get:93 http://172.17.4.1/private bullseye-staging/main armhf libatk1.0-0 armhf 2.36.0-2 [44.2 kB]
Get:94 http://172.17.4.1/private bullseye-staging/main armhf libatspi2.0-0 armhf 2.38.0-4 [62.2 kB]
Get:95 http://172.17.4.1/private bullseye-staging/main armhf libatk-bridge2.0-0 armhf 2.38.0-1 [55.8 kB]
Get:96 http://172.17.4.1/private bullseye-staging/main armhf libcairo-gobject2 armhf 1.16.0-5 [124 kB]
Get:97 http://172.17.4.1/private bullseye-staging/main armhf liblcms2-2 armhf 2.12~rc1-2 [121 kB]
Get:98 http://172.17.4.1/private bullseye-staging/main armhf libcolord2 armhf 1.4.5-3 [123 kB]
Get:99 http://172.17.4.1/private bullseye-staging/main armhf libavahi-common-data armhf 0.8-5 [123 kB]
Get:100 http://172.17.4.1/private bullseye-staging/main armhf libavahi-common3 armhf 0.8-5 [55.3 kB]
Get:101 http://172.17.4.1/private bullseye-staging/main armhf libavahi-client3 armhf 0.8-5 [57.9 kB]
Get:102 http://172.17.4.1/private bullseye-staging/main armhf libcups2 armhf 2.3.3op2-3+deb11u1 [312 kB]
Get:103 http://172.17.4.1/private bullseye-staging/main armhf libepoxy0 armhf 1.5.5-1 [172 kB]
Get:104 http://172.17.4.1/private bullseye-staging/main armhf libfribidi0 armhf 1.0.8-2 [63.5 kB]
Get:105 http://172.17.4.1/private bullseye-staging/main armhf libgraphite2-3 armhf 1.3.14-1 [70.3 kB]
Get:106 http://172.17.4.1/private bullseye-staging/main armhf libharfbuzz0b armhf 2.7.4-1 [1422 kB]
Get:107 http://172.17.4.1/private bullseye-staging/main armhf libjson-glib-1.0-common all 1.6.2-1 [56.9 kB]
Get:108 http://172.17.4.1/private bullseye-staging/main armhf libjson-glib-1.0-0 armhf 1.6.2-1 [57.0 kB]
Get:109 http://172.17.4.1/private bullseye-staging/main armhf fontconfig armhf 2.13.1-4.2 [416 kB]
Get:110 http://172.17.4.1/private bullseye-staging/main armhf libthai-data all 0.1.28-3 [170 kB]
Get:111 http://172.17.4.1/private bullseye-staging/main armhf libdatrie1 armhf 0.2.13-1+b1 [39.7 kB]
Get:112 http://172.17.4.1/private bullseye-staging/main armhf libthai0 armhf 0.1.28-3 [51.0 kB]
Get:113 http://172.17.4.1/private bullseye-staging/main armhf libpango-1.0-0 armhf 1.46.2-3 [172 kB]
Get:114 http://172.17.4.1/private bullseye-staging/main armhf libpangoft2-1.0-0 armhf 1.46.2-3 [55.7 kB]
Get:115 http://172.17.4.1/private bullseye-staging/main armhf libpangocairo-1.0-0 armhf 1.46.2-3 [46.7 kB]
Get:116 http://172.17.4.1/private bullseye-staging/main armhf libproxy1v5 armhf 0.4.17-1 [53.3 kB]
Get:117 http://172.17.4.1/private bullseye-staging/main armhf glib-networking-common all 2.66.0-2 [68.1 kB]
Get:118 http://172.17.4.1/private bullseye-staging/main armhf glib-networking-services armhf 2.66.0-2 [16.9 kB]
Get:119 http://172.17.4.1/private bullseye-staging/main armhf gsettings-desktop-schemas all 3.38.0-2 [588 kB]
Get:120 http://172.17.4.1/private bullseye-staging/main armhf glib-networking armhf 2.66.0-2 [60.7 kB]
Get:121 http://172.17.4.1/private bullseye-staging/main armhf libpsl5 armhf 0.21.0-1.2 [56.2 kB]
Get:122 http://172.17.4.1/private bullseye-staging/main armhf libsoup2.4-1 armhf 2.72.0-2 [242 kB]
Get:123 http://172.17.4.1/private bullseye-staging/main armhf libsoup-gnome2.4-1 armhf 2.72.0-2 [21.8 kB]
Get:124 http://172.17.4.1/private bullseye-staging/main armhf librest-0.7-0 armhf 0.8.1-1.1 [28.0 kB]
Get:125 http://172.17.4.1/private bullseye-staging/main armhf libwayland-client0 armhf 1.18.0-2~exp1.1 [22.1 kB]
Get:126 http://172.17.4.1/private bullseye-staging/main armhf libwayland-cursor0 armhf 1.18.0-2~exp1.1 [13.5 kB]
Get:127 http://172.17.4.1/private bullseye-staging/main armhf libwayland-egl1 armhf 1.18.0-2~exp1.1 [8232 B]
Get:128 http://172.17.4.1/private bullseye-staging/main armhf libxcomposite1 armhf 1:0.4.5-1 [16.2 kB]
Get:129 http://172.17.4.1/private bullseye-staging/main armhf libxfixes3 armhf 1:5.0.3-2 [20.7 kB]
Get:130 http://172.17.4.1/private bullseye-staging/main armhf libxcursor1 armhf 1:1.2.0-2 [34.2 kB]
Get:131 http://172.17.4.1/private bullseye-staging/main armhf libxdamage1 armhf 1:1.1.5-2 [15.2 kB]
Get:132 http://172.17.4.1/private bullseye-staging/main armhf libxi6 armhf 2:1.7.10-1 [77.9 kB]
Get:133 http://172.17.4.1/private bullseye-staging/main armhf libxinerama1 armhf 2:1.1.4-2 [17.3 kB]
Get:134 http://172.17.4.1/private bullseye-staging/main armhf xkb-data all 2.29-2 [655 kB]
Get:135 http://172.17.4.1/private bullseye-staging/main armhf libxkbcommon0 armhf 1.0.3-2 [88.5 kB]
Get:136 http://172.17.4.1/private bullseye-staging/main armhf libxrandr2 armhf 2:1.5.1-1 [34.5 kB]
Get:137 http://172.17.4.1/private bullseye-staging/main armhf libgtk-3-common all 3.24.24-4+deb11u2 [3759 kB]
Get:138 http://172.17.4.1/private bullseye-staging/main armhf libgtk-3-0 armhf 3.24.24-4+deb11u2 [2275 kB]
Get:139 http://172.17.4.1/private bullseye-staging/main armhf x11-common all 1:7.7+22 [252 kB]
Get:140 http://172.17.4.1/private bullseye-staging/main armhf libice6 armhf 2:1.0.10-1 [51.7 kB]
Get:141 http://172.17.4.1/private bullseye-staging/main armhf libjansson4 armhf 2.13.1-1.1 [36.2 kB]
Get:142 http://172.17.4.1/private bullseye-staging/main armhf m17n-db all 1.8.0-3 [1289 kB]
Get:143 http://172.17.4.1/private bullseye-staging/main armhf libxpm4 armhf 1:3.5.12-1 [43.6 kB]
Get:144 http://172.17.4.1/private bullseye-staging/main armhf libgd3 armhf 2.3.0-2 [116 kB]
Get:145 http://172.17.4.1/private bullseye-staging/main armhf libotf0 armhf 0.9.13-7 [47.6 kB]
Get:146 http://172.17.4.1/private bullseye-staging/main armhf libsm6 armhf 2:1.2.3-1 [32.9 kB]
Get:147 http://172.17.4.1/private bullseye-staging/main armhf libxft2 armhf 2.3.2-2 [49.3 kB]
Get:148 http://172.17.4.1/private bullseye-staging/main armhf libxt6 armhf 1:1.2.0-1 [159 kB]
Get:149 http://172.17.4.1/private bullseye-staging/main armhf libm17n-0 armhf 1.8.0-2 [212 kB]
Get:150 http://172.17.4.1/private bullseye-staging/main armhf librsvg2-2 armhf 2.50.3+dfsg-1 [2057 kB]
Get:151 http://172.17.4.1/private bullseye-staging/main armhf emacs-gtk armhf 1:27.1+1-3.1 [3007 kB]
Get:152 http://172.17.4.1/private bullseye-staging/main armhf fonts-lmodern all 2.004.5-6.1 [4540 kB]
Get:153 http://172.17.4.1/private bullseye-staging/main armhf libtcl8.6 armhf 8.6.11+dfsg-1 [894 kB]
Get:154 http://172.17.4.1/private bullseye-staging/main armhf libxss1 armhf 1:1.2.3-1 [17.3 kB]
Get:155 http://172.17.4.1/private bullseye-staging/main armhf libtk8.6 armhf 8.6.11-2 [681 kB]
Get:156 http://172.17.4.1/private bullseye-staging/main armhf xemacs21-support all 21.4.24-9 [4181 kB]
Get:157 http://172.17.4.1/private bullseye-staging/main armhf xemacs21-bin armhf 21.4.24-9 [381 kB]
Get:158 http://172.17.4.1/private bullseye-staging/main armhf libcanna1g armhf 3.7p3-16 [317 kB]
Get:159 http://172.17.4.1/private bullseye-staging/main armhf libcompfaceg1 armhf 1:1.5.2-5 [14.1 kB]
Get:160 http://172.17.4.1/private bullseye-staging/main armhf libxmu6 armhf 2:1.1.2-2+b3 [52.1 kB]
Get:161 http://172.17.4.1/private bullseye-staging/main armhf libxaw7 armhf 2:1.0.13-1.1 [166 kB]
Get:162 http://172.17.4.1/private bullseye-staging/main armhf xemacs21-mulesupport all 2009.02.17.dfsg.2-5 [3130 kB]
Get:163 http://172.17.4.1/private bullseye-staging/main armhf xemacs21-basesupport all 2009.02.17.dfsg.2-5 [15.9 MB]
Get:164 http://172.17.4.1/private bullseye-staging/main armhf xemacs21-mule-canna-wnn armhf 21.4.24-9 [1513 kB]
Get:165 http://172.17.4.1/private bullseye-staging/main armhf gcl armhf 2.6.12-102+rpi1 [26.1 MB]
Get:166 http://172.17.4.1/private bullseye-staging/main armhf libgmpxx4ldbl armhf 2:6.2.1+dfsg-1+deb11u1 [337 kB]
Get:167 http://172.17.4.1/private bullseye-staging/main armhf libgmp-dev armhf 2:6.2.1+dfsg-1+deb11u1 [583 kB]
Get:168 http://172.17.4.1/private bullseye-staging/main armhf libgmp3-dev armhf 2:6.2.1+dfsg-1+deb11u1 [330 kB]
Get:169 http://172.17.4.1/private bullseye-staging/main armhf xorg-sgml-doctools all 1:1.11-1.1 [22.1 kB]
Get:170 http://172.17.4.1/private bullseye-staging/main armhf x11proto-dev all 2020.1-1 [594 kB]
Get:171 http://172.17.4.1/private bullseye-staging/main armhf libice-dev armhf 2:1.0.10-1 [58.7 kB]
Get:172 http://172.17.4.1/private bullseye-staging/main armhf libkpathsea6 armhf 2020.20200327.54578-7 [163 kB]
Get:173 http://172.17.4.1/private bullseye-staging/main armhf libncurses6 armhf 6.2+20201114-2 [79.9 kB]
Get:174 http://172.17.4.1/private bullseye-staging/main armhf libncurses-dev armhf 6.2+20201114-2 [288 kB]
Get:175 http://172.17.4.1/private bullseye-staging/main armhf libpaper1 armhf 1.1.28 [20.5 kB]
Get:176 http://172.17.4.1/private bullseye-staging/main armhf libpaper-utils armhf 1.1.28 [17.7 kB]
Get:177 http://172.17.4.1/private bullseye-staging/main armhf libptexenc1 armhf 2020.20200327.54578-7 [61.2 kB]
Get:178 http://172.17.4.1/private bullseye-staging/main armhf libpthread-stubs0-dev armhf 0.4-1 [5344 B]
Get:179 http://172.17.4.1/private bullseye-staging/main armhf libreadline-dev armhf 8.1-1 [121 kB]
Get:180 http://172.17.4.1/private bullseye-staging/main armhf x11proto-core-dev all 2020.1-1 [3404 B]
Get:181 http://172.17.4.1/private bullseye-staging/main armhf libsm-dev armhf 2:1.2.3-1 [35.4 kB]
Get:182 http://172.17.4.1/private bullseye-staging/main armhf libsynctex2 armhf 2020.20200327.54578-7 [70.2 kB]
Get:183 http://172.17.4.1/private bullseye-staging/main armhf libteckit0 armhf 2.5.10+ds1-3 [252 kB]
Get:184 http://172.17.4.1/private bullseye-staging/main armhf libtexlua53 armhf 2020.20200327.54578-7 [102 kB]
Get:185 http://172.17.4.1/private bullseye-staging/main armhf libtexluajit2 armhf 2020.20200327.54578-7 [208 kB]
Get:186 http://172.17.4.1/private bullseye-staging/main armhf libtext-unidecode-perl all 1.30-1 [103 kB]
Get:187 http://172.17.4.1/private bullseye-staging/main armhf libxau-dev armhf 1:1.0.9-1 [22.3 kB]
Get:188 http://172.17.4.1/private bullseye-staging/main armhf libxdmcp-dev armhf 1:1.1.2-3 [40.9 kB]
Get:189 http://172.17.4.1/private bullseye-staging/main armhf xtrans-dev all 1.4.0-1 [98.7 kB]
Get:190 http://172.17.4.1/private bullseye-staging/main armhf libxcb1-dev armhf 1.14-3 [171 kB]
Get:191 http://172.17.4.1/private bullseye-staging/main armhf libx11-dev armhf 2:1.7.2-1 [779 kB]
Get:192 http://172.17.4.1/private bullseye-staging/main armhf x11proto-xext-dev all 2020.1-1 [3404 B]
Get:193 http://172.17.4.1/private bullseye-staging/main armhf libxext-dev armhf 2:1.3.3-1.1 [102 kB]
Get:194 http://172.17.4.1/private bullseye-staging/main armhf libxt-dev armhf 1:1.2.0-1 [372 kB]
Get:195 http://172.17.4.1/private bullseye-staging/main armhf libxmu-headers all 2:1.1.2-2 [51.9 kB]
Get:196 http://172.17.4.1/private bullseye-staging/main armhf libxmu-dev armhf 2:1.1.2-2+b3 [56.5 kB]
Get:197 http://172.17.4.1/private bullseye-staging/main armhf libxpm-dev armhf 1:3.5.12-1 [98.1 kB]
Get:198 http://172.17.4.1/private bullseye-staging/main armhf libxaw7-dev armhf 2:1.0.13-1.1 [221 kB]
Get:199 http://172.17.4.1/private bullseye-staging/main armhf libxml-namespacesupport-perl all 1.12-1.1 [14.9 kB]
Get:200 http://172.17.4.1/private bullseye-staging/main armhf libxml-sax-base-perl all 1.09-1.1 [20.7 kB]
Get:201 http://172.17.4.1/private bullseye-staging/main armhf libxml-sax-perl all 1.02+dfsg-1 [59.0 kB]
Get:202 http://172.17.4.1/private bullseye-staging/main armhf libxml-libxml-perl armhf 2.0134+dfsg-2+b1 [318 kB]
Get:203 http://172.17.4.1/private bullseye-staging/main armhf libzzip-0-13 armhf 0.13.62-3.3+deb11u1 [52.0 kB]
Get:204 http://172.17.4.1/private bullseye-staging/main armhf t1utils armhf 1.41-4 [52.3 kB]
Get:205 http://172.17.4.1/private bullseye-staging/main armhf texinfo armhf 6.7.0.dfsg.2-6 [1745 kB]
Get:206 http://172.17.4.1/private bullseye-staging/main armhf texlive-binaries armhf 2020.20200327.54578-7 [6900 kB]
Get:207 http://172.17.4.1/private bullseye-staging/main armhf xdg-utils all 1.1.3-4.1 [75.5 kB]
Get:208 http://172.17.4.1/private bullseye-staging/main armhf texlive-base all 2020.20210202-3 [20.8 MB]
Get:209 http://172.17.4.1/private bullseye-staging/main armhf texlive-latex-base all 2020.20210202-3 [1120 kB]
Get:210 http://172.17.4.1/private bullseye-staging/main armhf texlive-latex-recommended all 2020.20210202-3 [14.5 MB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 187 MB in 19s (9799 kB/s)
Selecting previously unselected package install-info.
(Reading database ... 12565 files and directories currently installed.)
Preparing to unpack .../install-info_6.7.0.dfsg.2-6_armhf.deb ...
Unpacking install-info (6.7.0.dfsg.2-6) ...
Setting up install-info (6.7.0.dfsg.2-6) ...
(Reading database ... 12579 files and directories currently installed.)
Preparing to unpack .../libsystemd0_247.3-7+rpi1_armhf.deb ...
Unpacking libsystemd0:armhf (247.3-7+rpi1) over (247.3-6+rpi1) ...
Setting up libsystemd0:armhf (247.3-7+rpi1) ...
Selecting previously unselected package libuchardet0:armhf.
(Reading database ... 12579 files and directories currently installed.)
Preparing to unpack .../00-libuchardet0_0.0.7-1_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../01-groff-base_1.22.4-6_armhf.deb ...
Unpacking groff-base (1.22.4-6) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../02-libpipeline1_1.5.3-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.3-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../03-man-db_2.9.4-2_armhf.deb ...
Unpacking man-db (2.9.4-2) ...
Selecting previously unselected package libapparmor1:armhf.
Preparing to unpack .../04-libapparmor1_2.13.6-10_armhf.deb ...
Unpacking libapparmor1:armhf (2.13.6-10) ...
Selecting previously unselected package libargon2-1:armhf.
Preparing to unpack .../05-libargon2-1_0~20171227-0.2_armhf.deb ...
Unpacking libargon2-1:armhf (0~20171227-0.2) ...
Selecting previously unselected package dmsetup.
Preparing to unpack .../06-dmsetup_2%3a1.02.175-2.1_armhf.deb ...
Unpacking dmsetup (2:1.02.175-2.1) ...
Selecting previously unselected package libdevmapper1.02.1:armhf.
Preparing to unpack .../07-libdevmapper1.02.1_2%3a1.02.175-2.1_armhf.deb ...
Unpacking libdevmapper1.02.1:armhf (2:1.02.175-2.1) ...
Selecting previously unselected package libjson-c5:armhf.
Preparing to unpack .../08-libjson-c5_0.15-2_armhf.deb ...
Unpacking libjson-c5:armhf (0.15-2) ...
Selecting previously unselected package libcryptsetup12:armhf.
Preparing to unpack .../09-libcryptsetup12_2%3a2.3.7-1+deb11u1_armhf.deb ...
Unpacking libcryptsetup12:armhf (2:2.3.7-1+deb11u1) ...
Selecting previously unselected package libip4tc2:armhf.
Preparing to unpack .../10-libip4tc2_1.8.7-1_armhf.deb ...
Unpacking libip4tc2:armhf (1.8.7-1) ...
Selecting previously unselected package libkmod2:armhf.
Preparing to unpack .../11-libkmod2_28-1_armhf.deb ...
Unpacking libkmod2:armhf (28-1) ...
Selecting previously unselected package systemd.
Preparing to unpack .../12-systemd_247.3-7+rpi1_armhf.deb ...
Unpacking systemd (247.3-7+rpi1) ...
Setting up libapparmor1:armhf (2.13.6-10) ...
Setting up libargon2-1:armhf (0~20171227-0.2) ...
Setting up libjson-c5:armhf (0.15-2) ...
Setting up libip4tc2:armhf (1.8.7-1) ...
Setting up libkmod2:armhf (28-1) ...
Setting up libdevmapper1.02.1:armhf (2:1.02.175-2.1) ...
Setting up libcryptsetup12:armhf (2:2.3.7-1+deb11u1) ...
Setting up systemd (247.3-7+rpi1) ...
Created symlink /etc/systemd/system/getty.target.wants/getty@tty1.service -> /lib/systemd/system/getty@.service.
Created symlink /etc/systemd/system/multi-user.target.wants/remote-fs.target -> /lib/systemd/system/remote-fs.target.
Created symlink /etc/systemd/system/sysinit.target.wants/systemd-pstore.service -> /lib/systemd/system/systemd-pstore.service.
Initializing machine ID from random generator.
Setting up dmsetup (2:1.02.175-2.1) ...
Selecting previously unselected package systemd-sysv.
(Reading database ... 13967 files and directories currently installed.)
Preparing to unpack .../0-systemd-sysv_247.3-7+rpi1_armhf.deb ...
Unpacking systemd-sysv (247.3-7+rpi1) ...
Selecting previously unselected package libdbus-1-3:armhf.
Preparing to unpack .../1-libdbus-1-3_1.12.20-2_armhf.deb ...
Unpacking libdbus-1-3:armhf (1.12.20-2) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../2-libexpat1_2.2.10-2+deb11u3_armhf.deb ...
Unpacking libexpat1:armhf (2.2.10-2+deb11u3) ...
Selecting previously unselected package dbus.
Preparing to unpack .../3-dbus_1.12.20-2_armhf.deb ...
Unpacking dbus (1.12.20-2) ...
Selecting previously unselected package ucf.
Preparing to unpack .../4-ucf_3.0043_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0043) ...
Selecting previously unselected package tex-common.
Preparing to unpack .../5-tex-common_6.16_all.deb ...
Unpacking tex-common (6.16) ...
Preparing to unpack .../6-libgmp10_2%3a6.2.1+dfsg-1+deb11u1_armhf.deb ...
Unpacking libgmp10:armhf (2:6.2.1+dfsg-1+deb11u1) over (2:6.2.1+dfsg-1) ...
Setting up libgmp10:armhf (2:6.2.1+dfsg-1+deb11u1) ...
Selecting previously unselected package libmagic-mgc.
(Reading database ... 14147 files and directories currently installed.)
Preparing to unpack .../000-libmagic-mgc_1%3a5.39-3_armhf.deb ...
Unpacking libmagic-mgc (1:5.39-3) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../001-libmagic1_1%3a5.39-3_armhf.deb ...
Unpacking libmagic1:armhf (1:5.39-3) ...
Selecting previously unselected package file.
Preparing to unpack .../002-file_1%3a5.39-3_armhf.deb ...
Unpacking file (1:5.39-3) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../003-gettext-base_0.21-4_armhf.deb ...
Unpacking gettext-base (0.21-4) ...
Selecting previously unselected package libpam-systemd:armhf.
Preparing to unpack .../004-libpam-systemd_247.3-7+rpi1_armhf.deb ...
Unpacking libpam-systemd:armhf (247.3-7+rpi1) ...
Selecting previously unselected package time.
Preparing to unpack .../005-time_1.9-0.1_armhf.deb ...
Unpacking time (1.9-0.1) ...
Selecting previously unselected package hicolor-icon-theme.
Preparing to unpack .../006-hicolor-icon-theme_0.17-2_all.deb ...
Unpacking hicolor-icon-theme (0.17-2) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Preparing to unpack .../007-libgdk-pixbuf2.0-common_2.42.2+dfsg-1_all.deb ...
Unpacking libgdk-pixbuf2.0-common (2.42.2+dfsg-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../008-libglib2.0-0_2.66.8-1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.66.8-1) ...
Selecting previously unselected package libicu67:armhf.
Preparing to unpack .../009-libicu67_67.1-7_armhf.deb ...
Unpacking libicu67:armhf (67.1-7) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../010-libxml2_2.9.10+dfsg-6.7+deb11u1_armhf.deb ...
Unpacking libxml2:armhf (2.9.10+dfsg-6.7+deb11u1) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../011-shared-mime-info_2.0-1_armhf.deb ...
Unpacking shared-mime-info (2.0-1) ...
Selecting previously unselected package libjpeg62-turbo:armhf.
Preparing to unpack .../012-libjpeg62-turbo_1%3a2.0.6-4_armhf.deb ...
Unpacking libjpeg62-turbo:armhf (1:2.0.6-4) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../013-libpng16-16_1.6.37-3_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.37-3) ...
Selecting previously unselected package libdeflate0:armhf.
Preparing to unpack .../014-libdeflate0_1.7-1_armhf.deb ...
Unpacking libdeflate0:armhf (1.7-1) ...
Selecting previously unselected package libjbig0:armhf.
Preparing to unpack .../015-libjbig0_2.1-3.1+b2_armhf.deb ...
Unpacking libjbig0:armhf (2.1-3.1+b2) ...
Selecting previously unselected package libwebp6:armhf.
Preparing to unpack .../016-libwebp6_0.6.1-2.1_armhf.deb ...
Unpacking libwebp6:armhf (0.6.1-2.1) ...
Selecting previously unselected package libtiff5:armhf.
Preparing to unpack .../017-libtiff5_4.2.0-1+deb11u1_armhf.deb ...
Unpacking libtiff5:armhf (4.2.0-1+deb11u1) ...
Selecting previously unselected package libgdk-pixbuf-2.0-0:armhf.
Preparing to unpack .../018-libgdk-pixbuf-2.0-0_2.42.2+dfsg-1_armhf.deb ...
Unpacking libgdk-pixbuf-2.0-0:armhf (2.42.2+dfsg-1) ...
Selecting previously unselected package gtk-update-icon-cache.
Preparing to unpack .../019-gtk-update-icon-cache_3.24.24-4+deb11u2_armhf.deb ...
Unpacking gtk-update-icon-cache (3.24.24-4+deb11u2) ...
Selecting previously unselected package adwaita-icon-theme.
Preparing to unpack .../020-adwaita-icon-theme_3.38.0-1_all.deb ...
Unpacking adwaita-icon-theme (3.38.0-1) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../021-libsigsegv2_2.13-1_armhf.deb ...
Unpacking libsigsegv2:armhf (2.13-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../022-m4_1.4.18-5_armhf.deb ...
Unpacking m4 (1.4.18-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../023-autoconf_2.69-14_all.deb ...
Unpacking autoconf (2.69-14) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../024-autotools-dev_20180224.1+nmu1_all.deb ...
Unpacking autotools-dev (20180224.1+nmu1) ...
Selecting previously unselected package automake.
Preparing to unpack .../025-automake_1%3a1.16.3-2_all.deb ...
Unpacking automake (1:1.16.3-2) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../026-autopoint_0.21-4_all.deb ...
Unpacking autopoint (0.21-4) ...
Selecting previously unselected package dbus-user-session.
Preparing to unpack .../027-dbus-user-session_1.12.20-2_armhf.deb ...
Unpacking dbus-user-session (1.12.20-2) ...
Selecting previously unselected package libdconf1:armhf.
Preparing to unpack .../028-libdconf1_0.38.0-2_armhf.deb ...
Unpacking libdconf1:armhf (0.38.0-2) ...
Selecting previously unselected package dconf-service.
Preparing to unpack .../029-dconf-service_0.38.0-2_armhf.deb ...
Unpacking dconf-service (0.38.0-2) ...
Selecting previously unselected package dconf-gsettings-backend:armhf.
Preparing to unpack .../030-dconf-gsettings-backend_0.38.0-2_armhf.deb ...
Unpacking dconf-gsettings-backend:armhf (0.38.0-2) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../031-libdebhelper-perl_13.3.4_all.deb ...
Unpacking libdebhelper-perl (13.3.4) ...
Selecting previously unselected package libtool.
Preparing to unpack .../032-libtool_2.4.6-15_all.deb ...
Unpacking libtool (2.4.6-15) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../033-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../034-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../035-libsub-override-perl_0.09-2_all.deb ...
Unpacking libsub-override-perl (0.09-2) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../036-libfile-stripnondeterminism-perl_1.12.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.12.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../037-dh-strip-nondeterminism_1.12.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.12.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../038-libelf1_0.183-1_armhf.deb ...
Unpacking libelf1:armhf (0.183-1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../039-dwz_0.13+20210201-1_armhf.deb ...
Unpacking dwz (0.13+20210201-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../040-gettext_0.21-4_armhf.deb ...
Unpacking gettext (0.21-4) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../041-intltool-debian_0.35.0+20060710.5_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.5) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../042-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../043-debhelper_13.3.4_all.deb ...
Unpacking debhelper (13.3.4) ...
Selecting previously unselected package emacsen-common.
Preparing to unpack .../044-emacsen-common_3.0.4_all.deb ...
Unpacking emacsen-common (3.0.4) ...
Selecting previously unselected package emacs-common.
Preparing to unpack .../045-emacs-common_1%3a27.1+1-3.1_all.deb ...
Unpacking emacs-common (1:27.1+1-3.1) ...
Selecting previously unselected package emacs-bin-common.
Preparing to unpack .../046-emacs-bin-common_1%3a27.1+1-3.1_armhf.deb ...
Unpacking emacs-bin-common (1:27.1+1-3.1) ...
Selecting previously unselected package libasound2-data.
Preparing to unpack .../047-libasound2-data_1.2.4-1.1_all.deb ...
Unpacking libasound2-data (1.2.4-1.1) ...
Selecting previously unselected package libasound2:armhf.
Preparing to unpack .../048-libasound2_1.2.4-1.1_armhf.deb ...
Unpacking libasound2:armhf (1.2.4-1.1) ...
Selecting previously unselected package libbrotli1:armhf.
Preparing to unpack .../049-libbrotli1_1.0.9-2+b1_armhf.deb ...
Unpacking libbrotli1:armhf (1.0.9-2+b1) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../050-libfreetype6_2.10.4+dfsg-1_armhf.deb ...
Unpacking libfreetype6:armhf (2.10.4+dfsg-1) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../051-fonts-dejavu-core_2.37-2_all.deb ...
Unpacking fonts-dejavu-core (2.37-2) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../052-fontconfig-config_2.13.1-4.2_all.deb ...
Unpacking fontconfig-config (2.13.1-4.2) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../053-libfontconfig1_2.13.1-4.2_armhf.deb ...
Unpacking libfontconfig1:armhf (2.13.1-4.2) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../054-libpixman-1-0_0.40.0-1_armhf.deb ...
Unpacking libpixman-1-0:armhf (0.40.0-1) ...
Selecting previously unselected package libxau6:armhf.
Preparing to unpack .../055-libxau6_1%3a1.0.9-1_armhf.deb ...
Unpacking libxau6:armhf (1:1.0.9-1) ...
Selecting previously unselected package libmd0:armhf.
Preparing to unpack .../056-libmd0_1.0.3-3_armhf.deb ...
Unpacking libmd0:armhf (1.0.3-3) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../057-libbsd0_0.11.3-1_armhf.deb ...
Unpacking libbsd0:armhf (0.11.3-1) ...
Selecting previously unselected package libxdmcp6:armhf.
Preparing to unpack .../058-libxdmcp6_1%3a1.1.2-3_armhf.deb ...
Unpacking libxdmcp6:armhf (1:1.1.2-3) ...
Selecting previously unselected package libxcb1:armhf.
Preparing to unpack .../059-libxcb1_1.14-3_armhf.deb ...
Unpacking libxcb1:armhf (1.14-3) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../060-libx11-data_2%3a1.7.2-1_all.deb ...
Unpacking libx11-data (2:1.7.2-1) ...
Selecting previously unselected package libx11-6:armhf.
Preparing to unpack .../061-libx11-6_2%3a1.7.2-1_armhf.deb ...
Unpacking libx11-6:armhf (2:1.7.2-1) ...
Selecting previously unselected package libxcb-render0:armhf.
Preparing to unpack .../062-libxcb-render0_1.14-3_armhf.deb ...
Unpacking libxcb-render0:armhf (1.14-3) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../063-libxcb-shm0_1.14-3_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.14-3) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../064-libxext6_2%3a1.3.3-1.1_armhf.deb ...
Unpacking libxext6:armhf (2:1.3.3-1.1) ...
Selecting previously unselected package libxrender1:armhf.
Preparing to unpack .../065-libxrender1_1%3a0.9.10-1_armhf.deb ...
Unpacking libxrender1:armhf (1:0.9.10-1) ...
Selecting previously unselected package libcairo2:armhf.
Preparing to unpack .../066-libcairo2_1.16.0-5_armhf.deb ...
Unpacking libcairo2:armhf (1.16.0-5) ...
Selecting previously unselected package libgif7:armhf.
Preparing to unpack .../067-libgif7_5.1.9-2_armhf.deb ...
Unpacking libgif7:armhf (5.1.9-2) ...
Selecting previously unselected package libgpm2:armhf.
Preparing to unpack .../068-libgpm2_1.20.7-8_armhf.deb ...
Unpacking libgpm2:armhf (1.20.7-8) ...
Selecting previously unselected package libatk1.0-data.
Preparing to unpack .../069-libatk1.0-data_2.36.0-2_all.deb ...
Unpacking libatk1.0-data (2.36.0-2) ...
Selecting previously unselected package libatk1.0-0:armhf.
Preparing to unpack .../070-libatk1.0-0_2.36.0-2_armhf.deb ...
Unpacking libatk1.0-0:armhf (2.36.0-2) ...
Selecting previously unselected package libatspi2.0-0:armhf.
Preparing to unpack .../071-libatspi2.0-0_2.38.0-4_armhf.deb ...
Unpacking libatspi2.0-0:armhf (2.38.0-4) ...
Selecting previously unselected package libatk-bridge2.0-0:armhf.
Preparing to unpack .../072-libatk-bridge2.0-0_2.38.0-1_armhf.deb ...
Unpacking libatk-bridge2.0-0:armhf (2.38.0-1) ...
Selecting previously unselected package libcairo-gobject2:armhf.
Preparing to unpack .../073-libcairo-gobject2_1.16.0-5_armhf.deb ...
Unpacking libcairo-gobject2:armhf (1.16.0-5) ...
Selecting previously unselected package liblcms2-2:armhf.
Preparing to unpack .../074-liblcms2-2_2.12~rc1-2_armhf.deb ...
Unpacking liblcms2-2:armhf (2.12~rc1-2) ...
Selecting previously unselected package libcolord2:armhf.
Preparing to unpack .../075-libcolord2_1.4.5-3_armhf.deb ...
Unpacking libcolord2:armhf (1.4.5-3) ...
Selecting previously unselected package libavahi-common-data:armhf.
Preparing to unpack .../076-libavahi-common-data_0.8-5_armhf.deb ...
Unpacking libavahi-common-data:armhf (0.8-5) ...
Selecting previously unselected package libavahi-common3:armhf.
Preparing to unpack .../077-libavahi-common3_0.8-5_armhf.deb ...
Unpacking libavahi-common3:armhf (0.8-5) ...
Selecting previously unselected package libavahi-client3:armhf.
Preparing to unpack .../078-libavahi-client3_0.8-5_armhf.deb ...
Unpacking libavahi-client3:armhf (0.8-5) ...
Selecting previously unselected package libcups2:armhf.
Preparing to unpack .../079-libcups2_2.3.3op2-3+deb11u1_armhf.deb ...
Unpacking libcups2:armhf (2.3.3op2-3+deb11u1) ...
Selecting previously unselected package libepoxy0:armhf.
Preparing to unpack .../080-libepoxy0_1.5.5-1_armhf.deb ...
Unpacking libepoxy0:armhf (1.5.5-1) ...
Selecting previously unselected package libfribidi0:armhf.
Preparing to unpack .../081-libfribidi0_1.0.8-2_armhf.deb ...
Unpacking libfribidi0:armhf (1.0.8-2) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../082-libgraphite2-3_1.3.14-1_armhf.deb ...
Unpacking libgraphite2-3:armhf (1.3.14-1) ...
Selecting previously unselected package libharfbuzz0b:armhf.
Preparing to unpack .../083-libharfbuzz0b_2.7.4-1_armhf.deb ...
Unpacking libharfbuzz0b:armhf (2.7.4-1) ...
Selecting previously unselected package libjson-glib-1.0-common.
Preparing to unpack .../084-libjson-glib-1.0-common_1.6.2-1_all.deb ...
Unpacking libjson-glib-1.0-common (1.6.2-1) ...
Selecting previously unselected package libjson-glib-1.0-0:armhf.
Preparing to unpack .../085-libjson-glib-1.0-0_1.6.2-1_armhf.deb ...
Unpacking libjson-glib-1.0-0:armhf (1.6.2-1) ...
Selecting previously unselected package fontconfig.
Preparing to unpack .../086-fontconfig_2.13.1-4.2_armhf.deb ...
Unpacking fontconfig (2.13.1-4.2) ...
Selecting previously unselected package libthai-data.
Preparing to unpack .../087-libthai-data_0.1.28-3_all.deb ...
Unpacking libthai-data (0.1.28-3) ...
Selecting previously unselected package libdatrie1:armhf.
Preparing to unpack .../088-libdatrie1_0.2.13-1+b1_armhf.deb ...
Unpacking libdatrie1:armhf (0.2.13-1+b1) ...
Selecting previously unselected package libthai0:armhf.
Preparing to unpack .../089-libthai0_0.1.28-3_armhf.deb ...
Unpacking libthai0:armhf (0.1.28-3) ...
Selecting previously unselected package libpango-1.0-0:armhf.
Preparing to unpack .../090-libpango-1.0-0_1.46.2-3_armhf.deb ...
Unpacking libpango-1.0-0:armhf (1.46.2-3) ...
Selecting previously unselected package libpangoft2-1.0-0:armhf.
Preparing to unpack .../091-libpangoft2-1.0-0_1.46.2-3_armhf.deb ...
Unpacking libpangoft2-1.0-0:armhf (1.46.2-3) ...
Selecting previously unselected package libpangocairo-1.0-0:armhf.
Preparing to unpack .../092-libpangocairo-1.0-0_1.46.2-3_armhf.deb ...
Unpacking libpangocairo-1.0-0:armhf (1.46.2-3) ...
Selecting previously unselected package libproxy1v5:armhf.
Preparing to unpack .../093-libproxy1v5_0.4.17-1_armhf.deb ...
Unpacking libproxy1v5:armhf (0.4.17-1) ...
Selecting previously unselected package glib-networking-common.
Preparing to unpack .../094-glib-networking-common_2.66.0-2_all.deb ...
Unpacking glib-networking-common (2.66.0-2) ...
Selecting previously unselected package glib-networking-services.
Preparing to unpack .../095-glib-networking-services_2.66.0-2_armhf.deb ...
Unpacking glib-networking-services (2.66.0-2) ...
Selecting previously unselected package gsettings-desktop-schemas.
Preparing to unpack .../096-gsettings-desktop-schemas_3.38.0-2_all.deb ...
Unpacking gsettings-desktop-schemas (3.38.0-2) ...
Selecting previously unselected package glib-networking:armhf.
Preparing to unpack .../097-glib-networking_2.66.0-2_armhf.deb ...
Unpacking glib-networking:armhf (2.66.0-2) ...
Selecting previously unselected package libpsl5:armhf.
Preparing to unpack .../098-libpsl5_0.21.0-1.2_armhf.deb ...
Unpacking libpsl5:armhf (0.21.0-1.2) ...
Selecting previously unselected package libsoup2.4-1:armhf.
Preparing to unpack .../099-libsoup2.4-1_2.72.0-2_armhf.deb ...
Unpacking libsoup2.4-1:armhf (2.72.0-2) ...
Selecting previously unselected package libsoup-gnome2.4-1:armhf.
Preparing to unpack .../100-libsoup-gnome2.4-1_2.72.0-2_armhf.deb ...
Unpacking libsoup-gnome2.4-1:armhf (2.72.0-2) ...
Selecting previously unselected package librest-0.7-0:armhf.
Preparing to unpack .../101-librest-0.7-0_0.8.1-1.1_armhf.deb ...
Unpacking librest-0.7-0:armhf (0.8.1-1.1) ...
Selecting previously unselected package libwayland-client0:armhf.
Preparing to unpack .../102-libwayland-client0_1.18.0-2~exp1.1_armhf.deb ...
Unpacking libwayland-client0:armhf (1.18.0-2~exp1.1) ...
Selecting previously unselected package libwayland-cursor0:armhf.
Preparing to unpack .../103-libwayland-cursor0_1.18.0-2~exp1.1_armhf.deb ...
Unpacking libwayland-cursor0:armhf (1.18.0-2~exp1.1) ...
Selecting previously unselected package libwayland-egl1:armhf.
Preparing to unpack .../104-libwayland-egl1_1.18.0-2~exp1.1_armhf.deb ...
Unpacking libwayland-egl1:armhf (1.18.0-2~exp1.1) ...
Selecting previously unselected package libxcomposite1:armhf.
Preparing to unpack .../105-libxcomposite1_1%3a0.4.5-1_armhf.deb ...
Unpacking libxcomposite1:armhf (1:0.4.5-1) ...
Selecting previously unselected package libxfixes3:armhf.
Preparing to unpack .../106-libxfixes3_1%3a5.0.3-2_armhf.deb ...
Unpacking libxfixes3:armhf (1:5.0.3-2) ...
Selecting previously unselected package libxcursor1:armhf.
Preparing to unpack .../107-libxcursor1_1%3a1.2.0-2_armhf.deb ...
Unpacking libxcursor1:armhf (1:1.2.0-2) ...
Selecting previously unselected package libxdamage1:armhf.
Preparing to unpack .../108-libxdamage1_1%3a1.1.5-2_armhf.deb ...
Unpacking libxdamage1:armhf (1:1.1.5-2) ...
Selecting previously unselected package libxi6:armhf.
Preparing to unpack .../109-libxi6_2%3a1.7.10-1_armhf.deb ...
Unpacking libxi6:armhf (2:1.7.10-1) ...
Selecting previously unselected package libxinerama1:armhf.
Preparing to unpack .../110-libxinerama1_2%3a1.1.4-2_armhf.deb ...
Unpacking libxinerama1:armhf (2:1.1.4-2) ...
Selecting previously unselected package xkb-data.
Preparing to unpack .../111-xkb-data_2.29-2_all.deb ...
Unpacking xkb-data (2.29-2) ...
Selecting previously unselected package libxkbcommon0:armhf.
Preparing to unpack .../112-libxkbcommon0_1.0.3-2_armhf.deb ...
Unpacking libxkbcommon0:armhf (1.0.3-2) ...
Selecting previously unselected package libxrandr2:armhf.
Preparing to unpack .../113-libxrandr2_2%3a1.5.1-1_armhf.deb ...
Unpacking libxrandr2:armhf (2:1.5.1-1) ...
Selecting previously unselected package libgtk-3-common.
Preparing to unpack .../114-libgtk-3-common_3.24.24-4+deb11u2_all.deb ...
Unpacking libgtk-3-common (3.24.24-4+deb11u2) ...
Selecting previously unselected package libgtk-3-0:armhf.
Preparing to unpack .../115-libgtk-3-0_3.24.24-4+deb11u2_armhf.deb ...
Unpacking libgtk-3-0:armhf (3.24.24-4+deb11u2) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../116-x11-common_1%3a7.7+22_all.deb ...
Unpacking x11-common (1:7.7+22) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../117-libice6_2%3a1.0.10-1_armhf.deb ...
Unpacking libice6:armhf (2:1.0.10-1) ...
Selecting previously unselected package libjansson4:armhf.
Preparing to unpack .../118-libjansson4_2.13.1-1.1_armhf.deb ...
Unpacking libjansson4:armhf (2.13.1-1.1) ...
Selecting previously unselected package m17n-db.
Preparing to unpack .../119-m17n-db_1.8.0-3_all.deb ...
Unpacking m17n-db (1.8.0-3) ...
Selecting previously unselected package libxpm4:armhf.
Preparing to unpack .../120-libxpm4_1%3a3.5.12-1_armhf.deb ...
Unpacking libxpm4:armhf (1:3.5.12-1) ...
Selecting previously unselected package libgd3:armhf.
Preparing to unpack .../121-libgd3_2.3.0-2_armhf.deb ...
Unpacking libgd3:armhf (2.3.0-2) ...
Selecting previously unselected package libotf0:armhf.
Preparing to unpack .../122-libotf0_0.9.13-7_armhf.deb ...
Unpacking libotf0:armhf (0.9.13-7) ...
Selecting previously unselected package libsm6:armhf.
Preparing to unpack .../123-libsm6_2%3a1.2.3-1_armhf.deb ...
Unpacking libsm6:armhf (2:1.2.3-1) ...
Selecting previously unselected package libxft2:armhf.
Preparing to unpack .../124-libxft2_2.3.2-2_armhf.deb ...
Unpacking libxft2:armhf (2.3.2-2) ...
Selecting previously unselected package libxt6:armhf.
Preparing to unpack .../125-libxt6_1%3a1.2.0-1_armhf.deb ...
Unpacking libxt6:armhf (1:1.2.0-1) ...
Selecting previously unselected package libm17n-0:armhf.
Preparing to unpack .../126-libm17n-0_1.8.0-2_armhf.deb ...
Unpacking libm17n-0:armhf (1.8.0-2) ...
Selecting previously unselected package librsvg2-2:armhf.
Preparing to unpack .../127-librsvg2-2_2.50.3+dfsg-1_armhf.deb ...
Unpacking librsvg2-2:armhf (2.50.3+dfsg-1) ...
Selecting previously unselected package emacs-gtk.
Preparing to unpack .../128-emacs-gtk_1%3a27.1+1-3.1_armhf.deb ...
Unpacking emacs-gtk (1:27.1+1-3.1) ...
Selecting previously unselected package fonts-lmodern.
Preparing to unpack .../129-fonts-lmodern_2.004.5-6.1_all.deb ...
Unpacking fonts-lmodern (2.004.5-6.1) ...
Selecting previously unselected package libtcl8.6:armhf.
Preparing to unpack .../130-libtcl8.6_8.6.11+dfsg-1_armhf.deb ...
Unpacking libtcl8.6:armhf (8.6.11+dfsg-1) ...
Selecting previously unselected package libxss1:armhf.
Preparing to unpack .../131-libxss1_1%3a1.2.3-1_armhf.deb ...
Unpacking libxss1:armhf (1:1.2.3-1) ...
Selecting previously unselected package libtk8.6:armhf.
Preparing to unpack .../132-libtk8.6_8.6.11-2_armhf.deb ...
Unpacking libtk8.6:armhf (8.6.11-2) ...
Selecting previously unselected package xemacs21-support.
Preparing to unpack .../133-xemacs21-support_21.4.24-9_all.deb ...
Unpacking xemacs21-support (21.4.24-9) ...
Selecting previously unselected package xemacs21-bin.
Preparing to unpack .../134-xemacs21-bin_21.4.24-9_armhf.deb ...
Unpacking xemacs21-bin (21.4.24-9) ...
Selecting previously unselected package libcanna1g.
Preparing to unpack .../135-libcanna1g_3.7p3-16_armhf.deb ...
Unpacking libcanna1g (3.7p3-16) ...
Selecting previously unselected package libcompfaceg1.
Preparing to unpack .../136-libcompfaceg1_1%3a1.5.2-5_armhf.deb ...
Unpacking libcompfaceg1 (1:1.5.2-5) ...
Selecting previously unselected package libxmu6:armhf.
Preparing to unpack .../137-libxmu6_2%3a1.1.2-2+b3_armhf.deb ...
Unpacking libxmu6:armhf (2:1.1.2-2+b3) ...
Selecting previously unselected package libxaw7:armhf.
Preparing to unpack .../138-libxaw7_2%3a1.0.13-1.1_armhf.deb ...
Unpacking libxaw7:armhf (2:1.0.13-1.1) ...
Selecting previously unselected package xemacs21-mulesupport.
Preparing to unpack .../139-xemacs21-mulesupport_2009.02.17.dfsg.2-5_all.deb ...
Unpacking xemacs21-mulesupport (2009.02.17.dfsg.2-5) ...
Selecting previously unselected package xemacs21-basesupport.
Preparing to unpack .../140-xemacs21-basesupport_2009.02.17.dfsg.2-5_all.deb ...
Unpacking xemacs21-basesupport (2009.02.17.dfsg.2-5) ...
Selecting previously unselected package xemacs21-mule-canna-wnn.
Preparing to unpack .../141-xemacs21-mule-canna-wnn_21.4.24-9_armhf.deb ...
Unpacking xemacs21-mule-canna-wnn (21.4.24-9) ...
Selecting previously unselected package gcl.
Preparing to unpack .../142-gcl_2.6.12-102+rpi1_armhf.deb ...
Unpacking gcl (2.6.12-102+rpi1) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../143-libgmpxx4ldbl_2%3a6.2.1+dfsg-1+deb11u1_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.2.1+dfsg-1+deb11u1) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../144-libgmp-dev_2%3a6.2.1+dfsg-1+deb11u1_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.2.1+dfsg-1+deb11u1) ...
Selecting previously unselected package libgmp3-dev:armhf.
Preparing to unpack .../145-libgmp3-dev_2%3a6.2.1+dfsg-1+deb11u1_armhf.deb ...
Unpacking libgmp3-dev:armhf (2:6.2.1+dfsg-1+deb11u1) ...
Selecting previously unselected package xorg-sgml-doctools.
Preparing to unpack .../146-xorg-sgml-doctools_1%3a1.11-1.1_all.deb ...
Unpacking xorg-sgml-doctools (1:1.11-1.1) ...
Selecting previously unselected package x11proto-dev.
Preparing to unpack .../147-x11proto-dev_2020.1-1_all.deb ...
Unpacking x11proto-dev (2020.1-1) ...
Selecting previously unselected package libice-dev:armhf.
Preparing to unpack .../148-libice-dev_2%3a1.0.10-1_armhf.deb ...
Unpacking libice-dev:armhf (2:1.0.10-1) ...
Selecting previously unselected package libkpathsea6:armhf.
Preparing to unpack .../149-libkpathsea6_2020.20200327.54578-7_armhf.deb ...
Unpacking libkpathsea6:armhf (2020.20200327.54578-7) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../150-libncurses6_6.2+20201114-2_armhf.deb ...
Unpacking libncurses6:armhf (6.2+20201114-2) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../151-libncurses-dev_6.2+20201114-2_armhf.deb ...
Unpacking libncurses-dev:armhf (6.2+20201114-2) ...
Selecting previously unselected package libpaper1:armhf.
Preparing to unpack .../152-libpaper1_1.1.28_armhf.deb ...
Unpacking libpaper1:armhf (1.1.28) ...
Selecting previously unselected package libpaper-utils.
Preparing to unpack .../153-libpaper-utils_1.1.28_armhf.deb ...
Unpacking libpaper-utils (1.1.28) ...
Selecting previously unselected package libptexenc1:armhf.
Preparing to unpack .../154-libptexenc1_2020.20200327.54578-7_armhf.deb ...
Unpacking libptexenc1:armhf (2020.20200327.54578-7) ...
Selecting previously unselected package libpthread-stubs0-dev:armhf.
Preparing to unpack .../155-libpthread-stubs0-dev_0.4-1_armhf.deb ...
Unpacking libpthread-stubs0-dev:armhf (0.4-1) ...
Selecting previously unselected package libreadline-dev:armhf.
Preparing to unpack .../156-libreadline-dev_8.1-1_armhf.deb ...
Unpacking libreadline-dev:armhf (8.1-1) ...
Selecting previously unselected package x11proto-core-dev.
Preparing to unpack .../157-x11proto-core-dev_2020.1-1_all.deb ...
Unpacking x11proto-core-dev (2020.1-1) ...
Selecting previously unselected package libsm-dev:armhf.
Preparing to unpack .../158-libsm-dev_2%3a1.2.3-1_armhf.deb ...
Unpacking libsm-dev:armhf (2:1.2.3-1) ...
Selecting previously unselected package libsynctex2:armhf.
Preparing to unpack .../159-libsynctex2_2020.20200327.54578-7_armhf.deb ...
Unpacking libsynctex2:armhf (2020.20200327.54578-7) ...
Selecting previously unselected package libteckit0:armhf.
Preparing to unpack .../160-libteckit0_2.5.10+ds1-3_armhf.deb ...
Unpacking libteckit0:armhf (2.5.10+ds1-3) ...
Selecting previously unselected package libtexlua53:armhf.
Preparing to unpack .../161-libtexlua53_2020.20200327.54578-7_armhf.deb ...
Unpacking libtexlua53:armhf (2020.20200327.54578-7) ...
Selecting previously unselected package libtexluajit2:armhf.
Preparing to unpack .../162-libtexluajit2_2020.20200327.54578-7_armhf.deb ...
Unpacking libtexluajit2:armhf (2020.20200327.54578-7) ...
Selecting previously unselected package libtext-unidecode-perl.
Preparing to unpack .../163-libtext-unidecode-perl_1.30-1_all.deb ...
Unpacking libtext-unidecode-perl (1.30-1) ...
Selecting previously unselected package libxau-dev:armhf.
Preparing to unpack .../164-libxau-dev_1%3a1.0.9-1_armhf.deb ...
Unpacking libxau-dev:armhf (1:1.0.9-1) ...
Selecting previously unselected package libxdmcp-dev:armhf.
Preparing to unpack .../165-libxdmcp-dev_1%3a1.1.2-3_armhf.deb ...
Unpacking libxdmcp-dev:armhf (1:1.1.2-3) ...
Selecting previously unselected package xtrans-dev.
Preparing to unpack .../166-xtrans-dev_1.4.0-1_all.deb ...
Unpacking xtrans-dev (1.4.0-1) ...
Selecting previously unselected package libxcb1-dev:armhf.
Preparing to unpack .../167-libxcb1-dev_1.14-3_armhf.deb ...
Unpacking libxcb1-dev:armhf (1.14-3) ...
Selecting previously unselected package libx11-dev:armhf.
Preparing to unpack .../168-libx11-dev_2%3a1.7.2-1_armhf.deb ...
Unpacking libx11-dev:armhf (2:1.7.2-1) ...
Selecting previously unselected package x11proto-xext-dev.
Preparing to unpack .../169-x11proto-xext-dev_2020.1-1_all.deb ...
Unpacking x11proto-xext-dev (2020.1-1) ...
Selecting previously unselected package libxext-dev:armhf.
Preparing to unpack .../170-libxext-dev_2%3a1.3.3-1.1_armhf.deb ...
Unpacking libxext-dev:armhf (2:1.3.3-1.1) ...
Selecting previously unselected package libxt-dev:armhf.
Preparing to unpack .../171-libxt-dev_1%3a1.2.0-1_armhf.deb ...
Unpacking libxt-dev:armhf (1:1.2.0-1) ...
Selecting previously unselected package libxmu-headers.
Preparing to unpack .../172-libxmu-headers_2%3a1.1.2-2_all.deb ...
Unpacking libxmu-headers (2:1.1.2-2) ...
Selecting previously unselected package libxmu-dev:armhf.
Preparing to unpack .../173-libxmu-dev_2%3a1.1.2-2+b3_armhf.deb ...
Unpacking libxmu-dev:armhf (2:1.1.2-2+b3) ...
Selecting previously unselected package libxpm-dev:armhf.
Preparing to unpack .../174-libxpm-dev_1%3a3.5.12-1_armhf.deb ...
Unpacking libxpm-dev:armhf (1:3.5.12-1) ...
Selecting previously unselected package libxaw7-dev:armhf.
Preparing to unpack .../175-libxaw7-dev_2%3a1.0.13-1.1_armhf.deb ...
Unpacking libxaw7-dev:armhf (2:1.0.13-1.1) ...
Selecting previously unselected package libxml-namespacesupport-perl.
Preparing to unpack .../176-libxml-namespacesupport-perl_1.12-1.1_all.deb ...
Unpacking libxml-namespacesupport-perl (1.12-1.1) ...
Selecting previously unselected package libxml-sax-base-perl.
Preparing to unpack .../177-libxml-sax-base-perl_1.09-1.1_all.deb ...
Unpacking libxml-sax-base-perl (1.09-1.1) ...
Selecting previously unselected package libxml-sax-perl.
Preparing to unpack .../178-libxml-sax-perl_1.02+dfsg-1_all.deb ...
Unpacking libxml-sax-perl (1.02+dfsg-1) ...
Selecting previously unselected package libxml-libxml-perl.
Preparing to unpack .../179-libxml-libxml-perl_2.0134+dfsg-2+b1_armhf.deb ...
Unpacking libxml-libxml-perl (2.0134+dfsg-2+b1) ...
Selecting previously unselected package libzzip-0-13:armhf.
Preparing to unpack .../180-libzzip-0-13_0.13.62-3.3+deb11u1_armhf.deb ...
Unpacking libzzip-0-13:armhf (0.13.62-3.3+deb11u1) ...
Selecting previously unselected package t1utils.
Preparing to unpack .../181-t1utils_1.41-4_armhf.deb ...
Unpacking t1utils (1.41-4) ...
Selecting previously unselected package texinfo.
Preparing to unpack .../182-texinfo_6.7.0.dfsg.2-6_armhf.deb ...
Unpacking texinfo (6.7.0.dfsg.2-6) ...
Selecting previously unselected package texlive-binaries.
Preparing to unpack .../183-texlive-binaries_2020.20200327.54578-7_armhf.deb ...
Unpacking texlive-binaries (2020.20200327.54578-7) ...
Selecting previously unselected package xdg-utils.
Preparing to unpack .../184-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 .../185-texlive-base_2020.20210202-3_all.deb ...
Unpacking texlive-base (2020.20210202-3) ...
Selecting previously unselected package texlive-latex-base.
Preparing to unpack .../186-texlive-latex-base_2020.20210202-3_all.deb ...
Unpacking texlive-latex-base (2020.20210202-3) ...
Selecting previously unselected package texlive-latex-recommended.
Preparing to unpack .../187-texlive-latex-recommended_2020.20210202-3_all.deb ...
Unpacking texlive-latex-recommended (2020.20210202-3) ...
Selecting previously unselected package sbuild-build-depends-acl2-dummy.
Preparing to unpack .../188-sbuild-build-depends-acl2-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-acl2-dummy (0.invalid.0) ...
Setting up libexpat1:armhf (2.2.10-2+deb11u3) ...
Setting up libpipeline1:armhf (1.5.3-1) ...
Setting up xemacs21-basesupport (2009.02.17.dfsg.2-5) ...
Setting up libgraphite2-3:armhf (1.3.14-1) ...
Setting up liblcms2-2:armhf (2.12~rc1-2) ...
Setting up libpixman-1-0:armhf (0.40.0-1) ...
Setting up libcanna1g (3.7p3-16) ...
Setting up systemd-sysv (247.3-7+rpi1) ...
Setting up libxau6:armhf (1:1.0.9-1) ...
Setting up time (1.9-0.1) ...
Setting up libproxy1v5:armhf (0.4.17-1) ...
Setting up libpsl5:armhf (0.21.0-1.2) ...
Setting up libgpm2:armhf (1.20.7-8) ...
Setting up hicolor-icon-theme (0.17-2) ...
Setting up libicu67:armhf (67.1-7) ...
Setting up libdatrie1:armhf (0.2.13-1+b1) ...
Setting up libmagic-mgc (1:5.39-3) ...
Setting up libtexlua53:armhf (2020.20200327.54578-7) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libglib2.0-0:armhf (2.66.8-1) ...
Setting up libtexluajit2:armhf (2020.20200327.54578-7) ...
Setting up libdebhelper-perl (13.3.4) ...
Setting up libbrotli1:armhf (1.0.9-2+b1) ...
Setting up libgdk-pixbuf2.0-common (2.42.2+dfsg-1) ...
Setting up x11-common (1:7.7+22) ...
Running in chroot, ignoring request.
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libmagic1:armhf (1:5.39-3) ...
Setting up libdeflate0:armhf (1.7-1) ...
Setting up m17n-db (1.8.0-3) ...
Setting up libxml-namespacesupport-perl (1.12-1.1) ...
Setting up gettext-base (0.21-4) ...
Setting up xkb-data (2.29-2) ...
Setting up libcompfaceg1 (1:1.5.2-5) ...
Setting up libzzip-0-13:armhf (0.13.62-3.3+deb11u1) ...
Setting up file (1:5.39-3) ...
Setting up libpthread-stubs0-dev:armhf (0.4-1) ...
Setting up libjbig0:armhf (2.1-3.1+b2) ...
Setting up libcolord2:armhf (1.4.5-3) ...
Setting up libjansson4:armhf (2.13.1-1.1) ...
Setting up libdconf1:armhf (0.38.0-2) ...
Setting up libasound2-data (1.2.4-1.1) ...
Setting up libxml-sax-base-perl (1.09-1.1) ...
Setting up xtrans-dev (1.4.0-1) ...
Setting up autotools-dev (20180224.1+nmu1) ...
Setting up libgmpxx4ldbl:armhf (2:6.2.1+dfsg-1+deb11u1) ...
Setting up libjpeg62-turbo:armhf (1:2.0.6-4) ...
Setting up emacsen-common (3.0.4) ...
Setting up libx11-data (2:1.7.2-1) ...
Setting up libepoxy0:armhf (1.5.5-1) ...
Setting up libteckit0:armhf (2.5.10+ds1-3) ...
Setting up libavahi-common-data:armhf (0.8-5) ...
Setting up libncurses6:armhf (6.2+20201114-2) ...
Setting up libdbus-1-3:armhf (1.12.20-2) ...
Setting up dbus (1.12.20-2) ...
Running in chroot, ignoring request.
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libsigsegv2:armhf (2.13-1) ...
Setting up libfribidi0:armhf (1.0.8-2) ...
Setting up t1utils (1.41-4) ...
Setting up libpng16-16:armhf (1.6.37-3) ...
Setting up libtcl8.6:armhf (8.6.11+dfsg-1) ...
Setting up autopoint (0.21-4) ...
Setting up libwebp6:armhf (0.6.1-2.1) ...
Setting up fonts-dejavu-core (2.37-2) ...
Setting up ucf (3.0043) ...
Setting up libkpathsea6:armhf (2020.20200327.54578-7) ...
Setting up libgif7:armhf (5.1.9-2) ...
Setting up libatk1.0-data (2.36.0-2) ...
Setting up libmd0:armhf (1.0.3-3) ...
Setting up libuchardet0:armhf (0.0.7-1) ...
Setting up libasound2:armhf (1.2.4-1.1) ...
Setting up libpam-systemd:armhf (247.3-7+rpi1) ...
Setting up fonts-lmodern (2.004.5-6.1) ...
Setting up libsub-override-perl (0.09-2) ...
Setting up libthai-data (0.1.28-3) ...
Setting up xorg-sgml-doctools (1:1.11-1.1) ...
Setting up libjson-glib-1.0-common (1.6.2-1) ...
Setting up libatk1.0-0:armhf (2.36.0-2) ...
Setting up libtiff5:armhf (4.2.0-1+deb11u1) ...
Setting up libwayland-egl1:armhf (1.18.0-2~exp1.1) ...
Setting up glib-networking-common (2.66.0-2) ...
Setting up xemacs21-support (21.4.24-9) ...
Setting up emacs-common (1:27.1+1-3.1) ...
Setting up libtext-unidecode-perl (1.30-1) ...
Setting up xemacs21-mulesupport (2009.02.17.dfsg.2-5) ...
Setting up libbsd0:armhf (0.11.3-1) ...
Setting up libelf1:armhf (0.183-1) ...
Setting up libxml2:armhf (2.9.10+dfsg-6.7+deb11u1) ...
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 libsynctex2:armhf (2020.20200327.54578-7) ...
Setting up libxkbcommon0:armhf (1.0.3-2) ...
Setting up libwayland-client0:armhf (1.18.0-2~exp1.1) ...
Setting up x11proto-dev (2020.1-1) ...
Setting up libfile-stripnondeterminism-perl (1.12.0-1) ...
Setting up glib-networking-services (2.66.0-2) ...
Setting up libpaper1:armhf (1.1.28) ...

Creating config file /etc/papersize with new version
Setting up libice6:armhf (2:1.0.10-1) ...
Setting up libxdmcp6:armhf (1:1.1.2-3) ...
Setting up libncurses-dev:armhf (6.2+20201114-2) ...
Setting up libxcb1:armhf (1.14-3) ...
Setting up gettext (0.21-4) ...
Setting up libgmp-dev:armhf (2:6.2.1+dfsg-1+deb11u1) ...
Setting up libxau-dev:armhf (1:1.0.9-1) ...
Setting up libice-dev:armhf (2:1.0.10-1) ...
Setting up libtool (2.4.6-15) ...
Setting up libxcb-render0:armhf (1.14-3) ...
Setting up fontconfig-config (2.13.1-4.2) ...
Setting up libavahi-common3:armhf (0.8-5) ...
Setting up m4 (1.4.18-5) ...
Setting up libxcb-shm0:armhf (1.14-3) ...
Setting up libpaper-utils (1.1.28) ...
Setting up libreadline-dev:armhf (8.1-1) ...
Setting up libxml-sax-perl (1.02+dfsg-1) ...
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 libjson-glib-1.0-0:armhf (1.6.2-1) ...
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up tex-common (6.16) ...
update-language: texlive-base not installed and configured, doing nothing!
Setting up libthai0:armhf (0.1.28-3) ...
Setting up dbus-user-session (1.12.20-2) ...
Setting up libxdmcp-dev:armhf (1:1.1.2-3) ...
Setting up libptexenc1:armhf (2020.20200327.54578-7) ...
Setting up libfreetype6:armhf (2.10.4+dfsg-1) ...
Setting up xemacs21-bin (21.4.24-9) ...
update-alternatives: using /usr/lib/xemacs-21.4.24/arm-linux-gnueabihf/movemail to provide /usr/bin/movemail (movemail) in auto mode
update-alternatives: using /usr/lib/xemacs-21.4.24/arm-linux-gnueabihf/mmencode to provide /usr/bin/mmencode (mmencode) in auto mode
update-alternatives: using /usr/bin/b2m.xemacs21 to provide /usr/bin/b2m (b2m) in auto mode
update-alternatives: using /usr/bin/etags.xemacs21 to provide /usr/bin/etags (etags) in auto mode
update-alternatives: using /usr/bin/gnuclient.xemacs21 to provide /usr/bin/gnuclient (gnuclient) in auto mode
update-alternatives: using /usr/bin/gnuattach.xemacs21 to provide /usr/bin/gnuattach (gnuattach) in auto mode
update-alternatives: using /usr/bin/gnudoit.xemacs21 to provide /usr/bin/gnudoit (gnudoit) in auto mode
update-alternatives: using /usr/bin/rcs-checkin.xemacs21 to provide /usr/bin/rcs-checkin (rcs-checkin) in auto mode
update-alternatives: using /usr/bin/ellcc.xemacs21 to provide /usr/bin/ellcc (ellcc) in auto mode
Setting up x11proto-core-dev (2020.1-1) ...
Setting up shared-mime-info (2.0-1) ...
Setting up autoconf (2.69-14) ...
Setting up libxml-libxml-perl (2.0134+dfsg-2+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 dh-strip-nondeterminism (1.12.0-1) ...
Setting up x11proto-xext-dev (2020.1-1) ...
Setting up dwz (0.13+20210201-1) ...
Setting up groff-base (1.22.4-6) ...
Setting up libwayland-cursor0:armhf (1.18.0-2~exp1.1) ...
Setting up libgmp3-dev:armhf (2:6.2.1+dfsg-1+deb11u1) ...
Setting up emacs-bin-common (1:27.1+1-3.1) ...
update-alternatives: using /usr/bin/ctags.emacs to provide /usr/bin/ctags (ctags) in auto mode
update-alternatives: using /usr/bin/ebrowse.emacs to provide /usr/bin/ebrowse (ebrowse) in auto mode
update-alternatives: using /usr/bin/emacsclient.emacs to provide /usr/bin/emacsclient (emacsclient) in auto mode
Setting up libx11-6:armhf (2:1.7.2-1) ...
Setting up libharfbuzz0b:armhf (2.7.4-1) ...
Setting up libgdk-pixbuf-2.0-0:armhf (2.42.2+dfsg-1) ...
Setting up libfontconfig1:armhf (2.13.1-4.2) ...
Setting up libxcomposite1:armhf (1:0.4.5-1) ...
Setting up libsm6:armhf (2:1.2.3-1) ...
Setting up libavahi-client3:armhf (0.8-5) ...
Setting up automake (1:1.16.3-2) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up gtk-update-icon-cache (3.24.24-4+deb11u2) ...
Setting up fontconfig (2.13.1-4.2) ...
Regenerating fonts cache... done.
Setting up libotf0:armhf (0.9.13-7) ...
Setting up libxdamage1:armhf (1:1.1.5-2) ...
Setting up libxcb1-dev:armhf (1.14-3) ...
Setting up libxpm4:armhf (1:3.5.12-1) ...
Setting up libxrender1:armhf (1:0.9.10-1) ...
Setting up libsm-dev:armhf (2:1.2.3-1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up libpango-1.0-0:armhf (1.46.2-3) ...
Setting up libx11-dev:armhf (2:1.7.2-1) ...
Setting up libxext6:armhf (2:1.3.3-1.1) ...
Setting up dconf-service (0.38.0-2) ...
Setting up libatspi2.0-0:armhf (2.38.0-4) ...
Setting up man-db (2.9.4-2) ...
Not building database; man-db/auto-update is not 'true'.
Created symlink /etc/systemd/system/timers.target.wants/man-db.timer -> /lib/systemd/system/man-db.timer.
Setting up libcairo2:armhf (1.16.0-5) ...
Setting up dh-autoreconf (20) ...
Setting up libatk-bridge2.0-0:armhf (2.38.0-1) ...
Setting up adwaita-icon-theme (3.38.0-1) ...
update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode
Setting up libxfixes3:armhf (1:5.0.3-2) ...
Setting up libxinerama1:armhf (2:1.1.4-2) ...
Setting up libxpm-dev:armhf (1:3.5.12-1) ...
Setting up libgd3:armhf (2.3.0-2) ...
Setting up libxrandr2:armhf (2:1.5.1-1) ...
Setting up libxt6:armhf (1:1.2.0-1) ...
Setting up texinfo (6.7.0.dfsg.2-6) ...
Running mktexlsr. This may take some time. ... done.
Setting up libxext-dev:armhf (2:1.3.3-1.1) ...
Setting up libcups2:armhf (2.3.3op2-3+deb11u1) ...
Setting up libcairo-gobject2:armhf (1.16.0-5) ...
Setting up libxss1:armhf (1:1.2.3-1) ...
Setting up libpangoft2-1.0-0:armhf (1.46.2-3) ...
Setting up libpangocairo-1.0-0:armhf (1.46.2-3) ...
Setting up libxft2:armhf (2.3.2-2) ...
Setting up libxmu-headers (2:1.1.2-2) ...
Setting up libxmu6:armhf (2:1.1.2-2+b3) ...
Setting up libxi6:armhf (2:1.7.10-1) ...
Setting up dconf-gsettings-backend:armhf (0.38.0-2) ...
Setting up libtk8.6:armhf (8.6.11-2) ...
Setting up libxcursor1:armhf (1:1.2.0-2) ...
Setting up debhelper (13.3.4) ...
Setting up libm17n-0:armhf (1.8.0-2) ...
Setting up libxaw7:armhf (2:1.0.13-1.1) ...
Setting up librsvg2-2:armhf (2.50.3+dfsg-1) ...
Setting up libxt-dev:armhf (1:1.2.0-1) ...
Setting up texlive-binaries (2020.20200327.54578-7) ...
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 (2020.20210202-3) ...
tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps
tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg
tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper
tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/tex-ini-files/pdftexconfig.tex
Setting up libgtk-3-common (3.24.24-4+deb11u2) ...
Setting up gsettings-desktop-schemas (3.38.0-2) ...
Setting up xemacs21-mule-canna-wnn (21.4.24-9) ...
update-alternatives: using /usr/bin/xemacs21-mule-canna-wnn to provide /usr/bin/xemacs21 (xemacs21) in auto mode
Install emacsen-common for xemacs21
emacsen-common: Handling install of emacsen flavor xemacs21
Loading /usr/share/emacsen-common/debian-startup...
Loading 00debian...
Compiling /usr/share/xemacs21/site-lisp/debian-startup.el...
Wrote /usr/share/xemacs21/site-lisp/debian-startup.elc
Done
Setting up libxmu-dev:armhf (2:1.1.2-2+b3) ...
Setting up texlive-latex-base (2020.20210202-3) ...
Setting up texlive-latex-recommended (2020.20210202-3) ...
Setting up libxaw7-dev:armhf (2:1.0.13-1.1) ...
Setting up gcl (2.6.12-102+rpi1) ...
WARNING: tempfile is deprecated; consider using mktemp instead.
WARNING: tempfile is deprecated; consider using mktemp instead.

Creating config file /etc/default/gcl with new version
Install gcl for xemacs21
install/gcl: Handling install for emacsen flavor xemacs21
Loading /usr/share/emacsen-common/debian-startup...
Loading 00debian...
Compiling /usr/share/xemacs21/site-lisp/gcl/add-default.el...
Wrote /usr/share/xemacs21/site-lisp/gcl/add-default.elc
Compiling /usr/share/xemacs21/site-lisp/gcl/ansi-doc.el...
Wrote /usr/share/xemacs21/site-lisp/gcl/ansi-doc.elc
Compiling /usr/share/xemacs21/site-lisp/gcl/dbl.el...
Wrote /usr/share/xemacs21/site-lisp/gcl/dbl.elc
Compiling /usr/share/xemacs21/site-lisp/gcl/default.el...
Wrote /usr/share/xemacs21/site-lisp/gcl/default.elc
Compiling /usr/share/xemacs21/site-lisp/gcl/doc-to-texi.el...
Wrote /usr/share/xemacs21/site-lisp/gcl/doc-to-texi.elc
Compiling /usr/share/xemacs21/site-lisp/gcl/gcl.el...
Wrote /usr/share/xemacs21/site-lisp/gcl/gcl.elc
Compiling /usr/share/xemacs21/site-lisp/gcl/man1-to-texi.el...
Wrote /usr/share/xemacs21/site-lisp/gcl/man1-to-texi.elc
Compiling /usr/share/xemacs21/site-lisp/gcl/smart-complete.el...
Wrote /usr/share/xemacs21/site-lisp/gcl/smart-complete.elc
Compiling /usr/share/xemacs21/site-lisp/gcl/sshell.el...
Wrote /usr/share/xemacs21/site-lisp/gcl/sshell.elc
Done
Setting up glib-networking:armhf (2.66.0-2) ...
Setting up libsoup2.4-1:armhf (2.72.0-2) ...
Setting up libsoup-gnome2.4-1:armhf (2.72.0-2) ...
Setting up librest-0.7-0:armhf (0.8.1-1.1) ...
Setting up libgtk-3-0:armhf (3.24.24-4+deb11u2) ...
Setting up emacs-gtk (1:27.1+1-3.1) ...
update-alternatives: using /usr/bin/emacs-gtk to provide /usr/bin/emacs (emacs) in auto mode
update-alternatives: using /usr/bin/emacs to provide /usr/bin/editor (editor) in auto mode
Install emacsen-common for emacs
emacsen-common: Handling install of emacsen flavor emacs
Install gcl for emacs
Setting up sbuild-build-depends-acl2-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.31-13+rpi1) ...
Processing triggers for install-info (6.7.0.dfsg.2-6) ...
Processing triggers for tex-common (6.16) ...
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.
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Build environment                                                            |
+------------------------------------------------------------------------------+

Kernel: Linux 4.15.0-163-generic armhf (armv8l)
Toolchain package versions: binutils_2.35.2-2+rpi1 dpkg-dev_1.20.9+rpi1 g++-10_10.2.1-6+rpi1 gcc-10_10.2.1-6+rpi1 libc6-dev_2.31-13+rpi1 libstdc++-10-dev_10.2.1-6+rpi1 libstdc++6_10.2.1-6+rpi1 linux-libc-dev_5.10.46-4+rpi1
Package versions: adduser_3.118 adwaita-icon-theme_3.38.0-1 apt_2.2.4 autoconf_2.69-14 automake_1:1.16.3-2 autopoint_0.21-4 autotools-dev_20180224.1+nmu1 base-files_11.1+rpi1 base-passwd_3.5.51 bash_5.1-2 binutils_2.35.2-2+rpi1 binutils-arm-linux-gnueabihf_2.35.2-2+rpi1 binutils-common_2.35.2-2+rpi1 bsdextrautils_2.36.1-8 bsdutils_1:2.36.1-8 build-essential_12.9 bzip2_1.0.8-4 coreutils_8.32-4 cpp_4:10.2.1-1+rpi1 cpp-10_10.2.1-6+rpi1 dash_0.5.11+git20200708+dd9ef66-5 dbus_1.12.20-2 dbus-user-session_1.12.20-2 dconf-gsettings-backend_0.38.0-2 dconf-service_0.38.0-2 debconf_1.5.77 debhelper_13.3.4 debianutils_4.11.2 dh-autoreconf_20 dh-strip-nondeterminism_1.12.0-1 diffutils_1:3.7-5 dirmngr_2.2.27-2 dmsetup_2:1.02.175-2.1 dpkg_1.20.9+rpi1 dpkg-dev_1.20.9+rpi1 dwz_0.13+20210201-1 e2fsprogs_1.46.2-2 emacs-bin-common_1:27.1+1-3.1 emacs-common_1:27.1+1-3.1 emacs-gtk_1:27.1+1-3.1 emacsen-common_3.0.4 fakeroot_1.25.3-1.1 fdisk_2.36.1-8 file_1:5.39-3 findutils_4.8.0-1 fontconfig_2.13.1-4.2 fontconfig-config_2.13.1-4.2 fonts-dejavu-core_2.37-2 fonts-lmodern_2.004.5-6.1 g++_4:10.2.1-1+rpi1 g++-10_10.2.1-6+rpi1 gcc_4:10.2.1-1+rpi1 gcc-10_10.2.1-6+rpi1 gcc-10-base_10.2.1-6+rpi1 gcl_2.6.12-102+rpi1 gettext_0.21-4 gettext-base_0.21-4 glib-networking_2.66.0-2 glib-networking-common_2.66.0-2 glib-networking-services_2.66.0-2 gnupg_2.2.27-2 gnupg-l10n_2.2.27-2 gnupg-utils_2.2.27-2 gpg_2.2.27-2 gpg-agent_2.2.27-2 gpg-wks-client_2.2.27-2 gpg-wks-server_2.2.27-2 gpgconf_2.2.27-2 gpgsm_2.2.27-2 gpgv_2.2.27-2 grep_3.6-1 groff-base_1.22.4-6 gsettings-desktop-schemas_3.38.0-2 gtk-update-icon-cache_3.24.24-4+deb11u2 gzip_1.10-4 hicolor-icon-theme_0.17-2 hostname_3.23 init-system-helpers_1.60 install-info_6.7.0.dfsg.2-6 intltool-debian_0.35.0+20060710.5 iputils-ping_3:20210202-1 libacl1_2.2.53-10 libapparmor1_2.13.6-10 libapt-pkg6.0_2.2.4 libarchive-zip-perl_1.68-1 libargon2-1_0~20171227-0.2 libasan6_10.2.1-6+rpi1 libasound2_1.2.4-1.1 libasound2-data_1.2.4-1.1 libassuan0_2.5.3-7.1 libatk-bridge2.0-0_2.38.0-1 libatk1.0-0_2.36.0-2 libatk1.0-data_2.36.0-2 libatomic1_10.2.1-6+rpi1 libatspi2.0-0_2.38.0-4 libattr1_1:2.4.48-6 libaudit-common_1:3.0-2 libaudit1_1:3.0-2 libavahi-client3_0.8-5 libavahi-common-data_0.8-5 libavahi-common3_0.8-5 libbinutils_2.35.2-2+rpi1 libblkid1_2.36.1-8 libbrotli1_1.0.9-2+b1 libbsd0_0.11.3-1 libbz2-1.0_1.0.8-4 libc-bin_2.31-13+rpi1 libc-dev-bin_2.31-13+rpi1 libc6_2.31-13+rpi1 libc6-dev_2.31-13+rpi1 libcairo-gobject2_1.16.0-5 libcairo2_1.16.0-5 libcanna1g_3.7p3-16 libcap-ng0_0.7.9-2.2+b1 libcap2_1:2.44-1 libcap2-bin_1:2.44-1 libcc1-0_10.2.1-6+rpi1 libcolord2_1.4.5-3 libcom-err2_1.46.2-2 libcompfaceg1_1:1.5.2-5 libcrypt-dev_1:4.4.18-4 libcrypt1_1:4.4.18-4 libcryptsetup12_2:2.3.7-1+deb11u1 libctf-nobfd0_2.35.2-2+rpi1 libctf0_2.35.2-2+rpi1 libcups2_2.3.3op2-3+deb11u1 libdatrie1_0.2.13-1+b1 libdb5.3_5.3.28+dfsg1-0.8 libdbus-1-3_1.12.20-2 libdconf1_0.38.0-2 libdebconfclient0_0.260 libdebhelper-perl_13.3.4 libdeflate0_1.7-1 libdevmapper1.02.1_2:1.02.175-2.1 libdpkg-perl_1.20.9+rpi1 libelf1_0.183-1 libepoxy0_1.5.5-1 libexpat1_2.2.10-2+deb11u3 libext2fs2_1.46.2-2 libfakeroot_1.25.3-1.1 libfdisk1_2.36.1-8 libffi7_3.3-6 libfile-stripnondeterminism-perl_1.12.0-1 libfontconfig1_2.13.1-4.2 libfreetype6_2.10.4+dfsg-1 libfribidi0_1.0.8-2 libgcc-10-dev_10.2.1-6+rpi1 libgcc-s1_10.2.1-6+rpi1 libgcrypt20_1.8.7-6 libgd3_2.3.0-2 libgdbm-compat4_1.19-2 libgdbm6_1.19-2 libgdk-pixbuf-2.0-0_2.42.2+dfsg-1 libgdk-pixbuf2.0-common_2.42.2+dfsg-1 libgif7_5.1.9-2 libglib2.0-0_2.66.8-1 libgmp-dev_2:6.2.1+dfsg-1+deb11u1 libgmp10_2:6.2.1+dfsg-1+deb11u1 libgmp3-dev_2:6.2.1+dfsg-1+deb11u1 libgmpxx4ldbl_2:6.2.1+dfsg-1+deb11u1 libgnutls30_3.7.1-5 libgomp1_10.2.1-6+rpi1 libgpg-error0_1.38-2 libgpm2_1.20.7-8 libgraphite2-3_1.3.14-1 libgssapi-krb5-2_1.18.3-6 libgtk-3-0_3.24.24-4+deb11u2 libgtk-3-common_3.24.24-4+deb11u2 libharfbuzz0b_2.7.4-1 libhogweed6_3.7.3-1 libice-dev_2:1.0.10-1 libice6_2:1.0.10-1 libicu67_67.1-7 libidn2-0_2.3.0-5 libip4tc2_1.8.7-1 libisl23_0.23-1 libjansson4_2.13.1-1.1 libjbig0_2.1-3.1+b2 libjpeg62-turbo_1:2.0.6-4 libjson-c5_0.15-2 libjson-glib-1.0-0_1.6.2-1 libjson-glib-1.0-common_1.6.2-1 libk5crypto3_1.18.3-6 libkeyutils1_1.6.1-2 libkmod2_28-1 libkpathsea6_2020.20200327.54578-7 libkrb5-3_1.18.3-6 libkrb5support0_1.18.3-6 libksba8_1.5.0-3 liblcms2-2_2.12~rc1-2 libldap-2.4-2_2.4.57+dfsg-3 libldap-common_2.4.57+dfsg-3 liblz4-1_1.9.3-2 liblzma5_5.2.5-2 libm17n-0_1.8.0-2 libmagic-mgc_1:5.39-3 libmagic1_1:5.39-3 libmd0_1.0.3-3 libmount1_2.36.1-8 libmpc3_1.2.0-1 libmpfr6_4.1.0-3 libncurses-dev_6.2+20201114-2 libncurses6_6.2+20201114-2 libncursesw6_6.2+20201114-2 libnettle8_3.7.3-1 libnpth0_1.6-3 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnss-nis_3.1-4 libnss-nisplus_1.3-4 libotf0_0.9.13-7 libp11-kit0_0.23.22-1 libpam-cap_1:2.44-1 libpam-modules_1.4.0-9 libpam-modules-bin_1.4.0-9 libpam-runtime_1.4.0-9 libpam-systemd_247.3-7+rpi1 libpam0g_1.4.0-9 libpango-1.0-0_1.46.2-3 libpangocairo-1.0-0_1.46.2-3 libpangoft2-1.0-0_1.46.2-3 libpaper-utils_1.1.28 libpaper1_1.1.28 libpcre2-8-0_10.36-2 libpcre3_2:8.39-13 libperl5.32_5.32.1-4+deb11u1 libpipeline1_1.5.3-1 libpixman-1-0_0.40.0-1 libpng16-16_1.6.37-3 libproxy1v5_0.4.17-1 libpsl5_0.21.0-1.2 libptexenc1_2020.20200327.54578-7 libpthread-stubs0-dev_0.4-1 libreadline-dev_8.1-1 libreadline8_8.1-1 librest-0.7-0_0.8.1-1.1 librsvg2-2_2.50.3+dfsg-1 libsasl2-2_2.1.27+dfsg-2.1 libsasl2-modules-db_2.1.27+dfsg-2.1 libseccomp2_2.5.1-1+rpi1 libselinux1_3.1-3 libsemanage-common_3.1-1 libsemanage1_3.1-1+b1 libsepol1_3.1-1 libsigsegv2_2.13-1 libsm-dev_2:1.2.3-1 libsm6_2:1.2.3-1 libsmartcols1_2.36.1-8 libsoup-gnome2.4-1_2.72.0-2 libsoup2.4-1_2.72.0-2 libsqlite3-0_3.34.1-3 libss2_1.46.2-2 libssl1.1_1.1.1k-1+deb11u1 libstdc++-10-dev_10.2.1-6+rpi1 libstdc++6_10.2.1-6+rpi1 libsub-override-perl_0.09-2 libsynctex2_2020.20200327.54578-7 libsystemd0_247.3-7+rpi1 libtasn1-6_4.16.0-2 libtcl8.6_8.6.11+dfsg-1 libteckit0_2.5.10+ds1-3 libtexlua53_2020.20200327.54578-7 libtexluajit2_2020.20200327.54578-7 libtext-unidecode-perl_1.30-1 libthai-data_0.1.28-3 libthai0_0.1.28-3 libtiff5_4.2.0-1+deb11u1 libtinfo6_6.2+20201114-2 libtirpc-common_1.3.1-1 libtirpc-dev_1.3.1-1 libtirpc3_1.3.1-1 libtk8.6_8.6.11-2 libtool_2.4.6-15 libubsan1_10.2.1-6+rpi1 libuchardet0_0.0.7-1 libudev1_247.3-6+rpi1 libunistring2_0.9.10-4 libuuid1_2.36.1-8 libwayland-client0_1.18.0-2~exp1.1 libwayland-cursor0_1.18.0-2~exp1.1 libwayland-egl1_1.18.0-2~exp1.1 libwebp6_0.6.1-2.1 libx11-6_2:1.7.2-1 libx11-data_2:1.7.2-1 libx11-dev_2:1.7.2-1 libxau-dev_1:1.0.9-1 libxau6_1:1.0.9-1 libxaw7_2:1.0.13-1.1 libxaw7-dev_2:1.0.13-1.1 libxcb-render0_1.14-3 libxcb-shm0_1.14-3 libxcb1_1.14-3 libxcb1-dev_1.14-3 libxcomposite1_1:0.4.5-1 libxcursor1_1:1.2.0-2 libxdamage1_1:1.1.5-2 libxdmcp-dev_1:1.1.2-3 libxdmcp6_1:1.1.2-3 libxext-dev_2:1.3.3-1.1 libxext6_2:1.3.3-1.1 libxfixes3_1:5.0.3-2 libxft2_2.3.2-2 libxi6_2:1.7.10-1 libxinerama1_2:1.1.4-2 libxkbcommon0_1.0.3-2 libxml-libxml-perl_2.0134+dfsg-2+b1 libxml-namespacesupport-perl_1.12-1.1 libxml-sax-base-perl_1.09-1.1 libxml-sax-perl_1.02+dfsg-1 libxml2_2.9.10+dfsg-6.7+deb11u1 libxmu-dev_2:1.1.2-2+b3 libxmu-headers_2:1.1.2-2 libxmu6_2:1.1.2-2+b3 libxpm-dev_1:3.5.12-1 libxpm4_1:3.5.12-1 libxrandr2_2:1.5.1-1 libxrender1_1:0.9.10-1 libxss1_1:1.2.3-1 libxt-dev_1:1.2.0-1 libxt6_1:1.2.0-1 libxxhash0_0.8.0-2+rpi1 libzstd1_1.4.8+dfsg-2.1+rpi1 libzzip-0-13_0.13.62-3.3+deb11u1 linux-libc-dev_5.10.46-4+rpi1 login_1:4.8.1-1 logsave_1.46.2-2 lsb-base_11.1.0+rpi1 m17n-db_1.8.0-3 m4_1.4.18-5 make_4.3-4.1 man-db_2.9.4-2 mawk_1.3.4.20200120-2 mount_2.36.1-8 ncurses-base_6.2+20201114-2 ncurses-bin_6.2+20201114-2 netbase_6.3 passwd_1:4.8.1-1 patch_2.7.6-7 perl_5.32.1-4+deb11u1 perl-base_5.32.1-4+deb11u1 perl-modules-5.32_5.32.1-4+deb11u1 pinentry-curses_1.1.0-4 po-debconf_1.0.21+nmu1 raspbian-archive-keyring_20120528.2 readline-common_8.1-1 sbuild-build-depends-acl2-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.14 shared-mime-info_2.0-1 systemd_247.3-7+rpi1 systemd-sysv_247.3-7+rpi1 sysvinit-utils_2.96-7 t1utils_1.41-4 tar_1.34+dfsg-1 tex-common_6.16 texinfo_6.7.0.dfsg.2-6 texlive-base_2020.20210202-3 texlive-binaries_2020.20200327.54578-7 texlive-latex-base_2020.20210202-3 texlive-latex-recommended_2020.20210202-3 time_1.9-0.1 tzdata_2021a-1 ucf_3.0043 util-linux_2.36.1-8 x11-common_1:7.7+22 x11proto-core-dev_2020.1-1 x11proto-dev_2020.1-1 x11proto-xext-dev_2020.1-1 xdg-utils_1.1.3-4.1 xemacs21-basesupport_2009.02.17.dfsg.2-5 xemacs21-bin_21.4.24-9 xemacs21-mule-canna-wnn_21.4.24-9 xemacs21-mulesupport_2009.02.17.dfsg.2-5 xemacs21-support_21.4.24-9 xkb-data_2.29-2 xorg-sgml-doctools_1:1.11-1.1 xtrans-dev_1.4.0-1 xz-utils_5.2.5-2 zlib1g_1:1.2.11.dfsg-2

+------------------------------------------------------------------------------+
| Build                                                                        |
+------------------------------------------------------------------------------+


Unpack source
-------------

gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/tmp/dpkg-verify-sig.gcBkJIKt/trustedkeys.kbx': General error
gpgv: Signature made Wed Jan 27 14:21:54 2021 UTC
gpgv:                using RSA key FE214F363697773242E816ECB845CE510F9B714D
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./acl2_8.3dfsg-2.dsc
dpkg-source: info: extracting acl2 in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking acl2_8.3dfsg.orig.tar.gz
dpkg-source: info: unpacking acl2_8.3dfsg-2.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying remove-pcert-elementary-bounders-for-final-file
dpkg-source: info: applying remove-pcert-local-elided-for-final-file
dpkg-source: info: applying do-not-pre-allocate-contiguous-blocks1-in-acl2.lisp
dpkg-source: info: applying compile_with_split_files
dpkg-source: info: applying UTF-8-encoding
dpkg-source: info: applying remove-w3-validation-badge

Check disk space
----------------

Sufficient free space for build

User Environment
----------------

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=bullseye-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bullseye-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=112
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bullseye-staging-armhf-sbuild-3cabda59-fb54-4a39-89b0-2d4016409890
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd

dpkg-buildpackage
-----------------

dpkg-buildpackage: info: source package acl2
dpkg-buildpackage: info: source version 8.3dfsg-2
dpkg-buildpackage: info: source distribution unstable
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
 fakeroot debian/rules clean
sed -e "s,^DIR = .*,DIR = $(pwd)/books/interface/infix,1" \
    -e "s,^LISP = .*,LISP = $(pwd)/saved_acl2,1" books/interface/infix/makefile > books/interface/infix/Makefile
rm -f infix-stamp 
cd books/interface/infix && make -f Makefile clean
make[1]: Entering directory '/<<PKGBUILDDIR>>/books/interface/infix'
rm -f /<<PKGBUILDDIR>>/books/interface/infix/*.otl /<<PKGBUILDDIR>>/books/interface/infix/*.err /<<PKGBUILDDIR>>/books/interface/infix/*.ps /<<PKGBUILDDIR>>/books/interface/infix/*.aux
rm -f /<<PKGBUILDDIR>>/books/interface/infix/*.dvi /<<PKGBUILDDIR>>/books/interface/infix/*.aux /<<PKGBUILDDIR>>/books/interface/infix/*.log /<<PKGBUILDDIR>>/books/interface/infix/*.idx /<<PKGBUILDDIR>>/books/interface/infix/.log 
rm -f *~* *#* workxxx *.o *.tex *.nqtex TAGS *.dvi *.ps *.err *.aux *.log *.idx
make[1]: Leaving directory '/<<PKGBUILDDIR>>/books/interface/infix'
rm -f books/interface/infix/Makefile
dh_testdir
dh_testroot
rm -f build-stamp 
/usr/bin/make clean-all
make[1]: Entering directory '/<<PKGBUILDDIR>>'
ACL2_WD is /<<PKGBUILDDIR>>
ACL2 is /<<PKGBUILDDIR>>/saved_acl2
rm -f *.o *#* *.c *.h *.data gazonk.* workxxx* workyyy* *.lib \
  *.fasl *.fas *.sparcf *.ufsl *.64ufasl *.ufasl *.dfsl *.dxl \
  *.d64fsl *.dx64fsl *.lx64fsl \
  *.lx32fsl *.x86f *.sse2f *.o *.fn \
  TAGS TAGS-acl2-doc acl2-status.txt acl2r.lisp acl2-proclaims.lisp \
  .acl2rc *osaved_acl2* *.log devel-check.out TMP*
rm -rf saved
rm -f doc/*.o doc/*#* doc/*.c doc/*.h doc/*.data doc/gazonk.* \
   doc/workxxx doc/workyyy doc/*.lib \
   doc/*.fasl doc/*.fas doc/*.sparcf doc/*.ufsl doc/*.64ufasl doc/*.ufasl doc/*.dfsl \
   doc/*.dxl doc/*.d64fsl doc/*.dx64fsl doc/*.lx64fsl \
   doc/*.lx32fsl doc/*.x86f doc/*.sse2f doc/*.o doc/*.fn \
   doc/*.cert doc/*.port doc/*.out \
   doc/*.log doc/TMP*
rm -rf doc/TEX doc/HTML doc/EMACS
rm -f *saved_acl2* doc.lisp.backup
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
/usr/bin/make clean-books
make[1]: Entering directory '/<<PKGBUILDDIR>>'
ACL2_WD is /<<PKGBUILDDIR>>
ACL2 is /<<PKGBUILDDIR>>/saved_acl2
cd books ; /usr/bin/make -k ACL2=/<<PKGBUILDDIR>>/saved_acl2 moreclean
make[2]: Entering directory '/<<PKGBUILDDIR>>/books'
ACL2_SYSTEM_BOOKS is /<<PKGBUILDDIR>>/books
Determining ACL2 features (for ACL2 = /<<PKGBUILDDIR>>/saved_acl2)
*** Failed to run ACL2! ***
Determining whether Glucose is installed
Determining whether an ipasir shared library is installed
Determining whether ABC is installed
Determining whether Z3 is installed, for use by SMTLink
ACL2_HAS_HONS     := 
ACL2_HAS_ANSI     := 
ACL2_HAS_PARALLEL := 
ACL2_HAS_REALS    := 
ACL2_COMP_EXT     := 
ACL2_HOST_LISP    := 
OS_HAS_ABC        := 
OS_HAS_GLUCOSE    := 
OS_HAS_IPASIR     := 
OS_HAS_SMTLINK    := 
USE_QUICKLISP     := 
Done with features.
Scanning for books...

real	0m0.254s
user	0m0.064s
sys	0m0.193s
Scanning for dependencies...

real	2m36.231s
user	2m33.088s
sys	0m2.698s
Done scanning.
Reading book deps Makefile-deps created on Fri Apr 29 05:23:05 UTC 2022
Excluding books that need ACL2(h) [...]
Excluding books that are CCL-only: []
Excluding books that need ANSI Common Lisp [...]
Excluding books that need ABC: [centaur/glmc/counter.cert centaur/glmc/glmc-test.cert ]
Excluding books that need Glucose: [centaur/aig/aig-sat-tests.cert centaur/esim/tests/add.cert centaur/esim/tests/common.cert centaur/esim/tests/divide.cert centaur/esim/tests/idiv.cert centaur/esim/tests/multiply.cert centaur/esim/tests/regs.cert centaur/esim/tests/subtract.cert centaur/esim/tutorial/boothmul.cert centaur/fgl/tests.cert centaur/glmc/counter.cert centaur/glmc/glmc-test.cert centaur/sv/tutorial/alu.cert centaur/sv/tutorial/boothpipe.cert centaur/sv/tutorial/counter.cert centaur/sv/tutorial/sums.cert workshops/2017/swords/support/demos.cert ]
Excluding books that need Ipasir: [centaur/fgl/tests.cert centaur/ipasir/ipasir-backend-extra.cert centaur/ipasir/ipasir-backend.cert centaur/ipasir/ipasir-tests.cert centaur/ipasir/soundness-bug-fixed.cert centaur/ipasir/soundness-bug2-fixed.cert centaur/sv/tutorial/sums.cert workshops/2020/sumners/bake-models.cert workshops/2020/sumners/bake-proofs.cert workshops/2020/sumners/gen-models.cert workshops/2020/sumners/gl-fin-set.cert workshops/2020/sumners/top.cert ]
Excluding books that need SMTLINK: [projects/smtlink/doc.cert projects/smtlink/examples/examples.cert projects/smtlink/examples/ringosc.cert ]
Excluding ACL2(r)-only books: [nonstd/fft/fft-trig-with-axioms.cert nonstd/fft/fft-trig.cert nonstd/integrals/continuous-function.cert nonstd/integrals/equivalence-continuous-function.cert nonstd/integrals/equivalence-ftc.cert nonstd/integrals/equivalence-integrals.cert nonstd/integrals/ftc-1.cert nonstd/integrals/ftc-2.cert nonstd/integrals/integrable-functions.cert nonstd/integrals/integral-of-polynomials.cert nonstd/integrals/integration-composition-equivalences.cert nonstd/integrals/integration-composition.cert nonstd/integrals/make-partition.cert nonstd/integrals/split-integral-by-subintervals.cert nonstd/nsa/alternating-series.cert nonstd/nsa/chain-rule.cert nonstd/nsa/complex-polar.cert nonstd/nsa/continuity-product.cert nonstd/nsa/continuity.cert nonstd/nsa/derivative-raise.cert nonstd/nsa/derivatives-composition.cert nonstd/nsa/derivatives.cert nonstd/nsa/equivalence-continuity.cert nonstd/nsa/equivalence-derivatives-composition.cert nonstd/nsa/equivalence-derivatives.cert nonstd/nsa/equivalence-limits.cert nonstd/nsa/exp-continuous.cert nonstd/nsa/exp-sum.cert nonstd/nsa/exp.cert nonstd/nsa/factorial.cert nonstd/nsa/intervals.cert nonstd/nsa/inverse-derivatives.cert nonstd/nsa/inverse-monotone.cert nonstd/nsa/inverse-square.cert nonstd/nsa/inverse-trig.cert nonstd/nsa/inverses.cert nonstd/nsa/ln.cert nonstd/nsa/next-integer.cert nonstd/nsa/norm.cert nonstd/nsa/nsa.cert nonstd/nsa/overspill-proof.cert nonstd/nsa/overspill-test.cert nonstd/nsa/overspill.cert nonstd/nsa/raise.cert nonstd/nsa/sine.cert nonstd/nsa/sqrt.cert nonstd/nsa/trig-approx.cert nonstd/nsa/trig.cert nonstd/polynomials/polynomial-calculus.cert nonstd/polynomials/polynomial-defuns.cert nonstd/polynomials/polynomial-lemmas.cert nonstd/sqrt/no-sqrt.cert nonstd/transcendentals/nested-intervals-revised.cert nonstd/transcendentals/nested-intervals.cert nonstd/transcendentals/reals-are-uncountable-1.cert nonstd/transcendentals/reals-are-uncountable-2.cert nonstd/workshops/1999/analysis/continuity.cert nonstd/workshops/1999/analysis/derivatives.cert nonstd/workshops/1999/analysis/exercise1.cert nonstd/workshops/1999/analysis/exercise2.cert nonstd/workshops/1999/analysis/exercise3.cert nonstd/workshops/1999/analysis/exercise4.cert nonstd/workshops/1999/analysis/exercise5.cert nonstd/workshops/1999/analysis/exercise6.cert nonstd/workshops/1999/analysis/exercise7.cert nonstd/workshops/1999/analysis/exercise8.cert nonstd/workshops/1999/calculus/book/between-i-close-implies-i-close.cert nonstd/workshops/1999/calculus/book/between-limited-implies-limited.cert nonstd/workshops/1999/calculus/book/defaxioms.cert nonstd/workshops/1999/calculus/book/equal-riemann-rcfn-refinement-reduction.cert nonstd/workshops/1999/calculus/book/ftoc-lemma.cert nonstd/workshops/1999/calculus/book/fundamental-theorem-of-calculus.cert nonstd/workshops/1999/calculus/book/i-close-implies-abs-difference-small.cert nonstd/workshops/1999/calculus/book/i-limited-rcfn.cert nonstd/workshops/1999/calculus/book/i-small-maxlist-abslist-difflist-maps.cert nonstd/workshops/1999/calculus/book/integral-rcfn-equal-if-i-close.cert nonstd/workshops/1999/calculus/book/integral-rcfn-lemmas.cert nonstd/workshops/1999/calculus/book/integral-rcfn-quotient-between-non-classical.cert nonstd/workshops/1999/calculus/book/integral-rcfn.cert nonstd/workshops/1999/calculus/book/make-partition.cert nonstd/workshops/1999/calculus/book/map-rcfn-close-to-map-rcfn-refinement.cert nonstd/workshops/1999/calculus/book/map-rcfn-refinement-cdr-co-member.cert nonstd/workshops/1999/calculus/book/max-and-min-attained.cert nonstd/workshops/1999/calculus/book/max-x-between.cert nonstd/workshops/1999/calculus/book/maxlist-abslist-difflist-maps-lt.cert nonstd/workshops/1999/calculus/book/min-max-x-rec-lemmas.cert nonstd/workshops/1999/calculus/book/min-x-and-max-x-lemmas.cert nonstd/workshops/1999/calculus/book/min-x-between.cert nonstd/workshops/1999/calculus/book/next-gte-close.cert nonstd/workshops/1999/calculus/book/nsa-lemmas.cert nonstd/workshops/1999/calculus/book/nsa.cert nonstd/workshops/1999/calculus/book/partitions-give-i-close-riemann-sum.cert nonstd/workshops/1999/calculus/book/proof-outline.cert nonstd/workshops/1999/calculus/book/rcfn-next-gte-close.cert nonstd/workshops/1999/calculus/book/rcfn-standard-part.cert nonstd/workshops/1999/calculus/book/refinement-makes-i-small-change-1.cert nonstd/workshops/1999/calculus/book/refinement-makes-i-small-change.cert nonstd/workshops/1999/calculus/book/riemann-bound.cert nonstd/workshops/1999/calculus/book/riemann-defuns.cert nonstd/workshops/1999/calculus/book/riemann-lemmas.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-between.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-lower-bound.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-refinement-is-riemann-rcfn.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-upper-bound.cert nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral-1.cert nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral-2.cert nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral.cert nonstd/workshops/1999/calculus/book/riemann.cert nonstd/workshops/1999/calculus/book/split-integral-by-subintervals.cert nonstd/workshops/1999/calculus/book/standard-part-equal-if-i-close.cert nonstd/workshops/1999/calculus/book/standard-part-preserves-between.cert nonstd/workshops/1999/calculus/book/standard-part-riemann-rcfn-is-standard.cert nonstd/workshops/1999/calculus/book/two-times-r-is-not-less-than-standard-part.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/abs-derivative.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/chain-composition.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/composition-elem.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/differentiator.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/exp-minimal.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/exp-properties.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-composition.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-derivative.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-square.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-trig-derivatives.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-trig-ex.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/ln-derivative-real.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/nsa-ex.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/product-composition.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/sin-cos-minimal.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/sqrt-derivative.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/sum-composition.cert nonstd/workshops/2013/helms-gamboa-quantum/support/quantum.cert projects/hybrid-systems/abs.cert projects/hybrid-systems/arith-nsa4.cert projects/hybrid-systems/computed-hints.cert projects/hybrid-systems/eexp.cert projects/hybrid-systems/example.cert projects/hybrid-systems/nsa.cert projects/hybrid-systems/o-real-p.cert projects/hybrid-systems/phi-exists.cert projects/hybrid-systems/phi-properties.cert projects/hybrid-systems/phi-unique.cert projects/hybrid-systems/tm-floor.cert workshops/2015/chau-kaufmann-hunt/support/cosines-orthog.cert workshops/2015/chau-kaufmann-hunt/support/fourier-coefficients-2.cert workshops/2015/chau-kaufmann-hunt/support/fourier-coefficients.cert workshops/2015/chau-kaufmann-hunt/support/fourier-inner-product.cert workshops/2015/chau-kaufmann-hunt/support/fourier-sums.cert workshops/2015/chau-kaufmann-hunt/support/int-infinite-sum-1.cert workshops/2015/chau-kaufmann-hunt/support/int-infinite-sum-2.cert workshops/2015/chau-kaufmann-hunt/support/int-sum.cert workshops/2015/chau-kaufmann-hunt/support/riemann-integral/continuity-2.cert workshops/2015/chau-kaufmann-hunt/support/riemann-integral/continuous-function-2.cert workshops/2015/chau-kaufmann-hunt/support/riemann-integral/ftc-1-2.cert workshops/2015/chau-kaufmann-hunt/support/sine-cosine-orthog.cert workshops/2015/chau-kaufmann-hunt/support/sines-orthog.cert workshops/2015/chau-kaufmann-hunt/support/utils.cert workshops/2018/gamboa-cowles/complex-continuity.cert workshops/2018/gamboa-cowles/complex-lemmas.cert workshops/2018/gamboa-cowles/complex-polynomials.cert workshops/2018/gamboa-cowles/de-moivre.cert workshops/2018/gamboa-cowles/norm2.cert workshops/2018/kwan-greenstreet/cauchy-schwarz.cert workshops/2018/kwan-greenstreet/continuity.cert workshops/2018/kwan-greenstreet/convex.cert workshops/2018/kwan-greenstreet/ftc-2.cert workshops/2018/kwan-greenstreet/metric.cert workshops/2018/kwan-greenstreet/nesterov-1.cert workshops/2018/kwan-greenstreet/nesterov-2.cert workshops/2018/kwan-greenstreet/nesterov-3.cert workshops/2018/kwan-greenstreet/nesterov-4.cert workshops/2018/kwan-greenstreet/nesterov-top.cert workshops/2018/kwan-greenstreet/norm.cert workshops/2018/kwan-greenstreet/top.cert workshops/2018/kwan-greenstreet/vectors.cert workshops/2020/gamboa-cowles-gamboa/floor1-non-R.cert workshops/2020/gamboa-cowles-gamboa/norm-1C.cert workshops/2020/gamboa-cowles-gamboa/number-field.cert workshops/2020/gamboa-cowles-gamboa/polylist.cert workshops/2020/gamboa-cowles-gamboa/prior/raise-to.cert workshops/2020/kwan-peng-greenstreet/abstract-cs.cert ]
Excluding books that depend on Quicklisp: [acl2s/cgen/fixers-gl-backend.cert centaur/4v-sexpr/sexpr-purebool-p.cert centaur/4v-sexpr/top.cert centaur/aig/aig-sat-tests.cert centaur/aig/aig-sat.cert centaur/aig/faig-purebool-p.cert centaur/aig/top-doc.cert centaur/aig/top.cert centaur/aignet/abc-wrappers.cert centaur/aignet/abc.cert centaur/aignet/cube-sat.cert centaur/aignet/top-doc.cert centaur/aignet/top.cert centaur/aignet/transforms.cert centaur/esim/stv/stv-debug.cert centaur/esim/stv/stv2c/top.cert centaur/esim/tests/add.cert centaur/esim/tests/common.cert centaur/esim/tests/divide.cert centaur/esim/tests/idiv.cert centaur/esim/tests/multiply.cert centaur/esim/tests/regs.cert centaur/esim/tests/subtract.cert centaur/esim/top-doc.cert centaur/esim/tutorial/alu16-book.cert centaur/esim/tutorial/boothmul.cert centaur/esim/tutorial/counter.cert centaur/esim/tutorial/intro.cert centaur/esim/vcd/vcd-impl.cert centaur/esim/vcd/vcd.cert centaur/fgl/equivcheck.cert centaur/fgl/sat-default.cert centaur/fgl/satlink-sat.cert centaur/fgl/tests.cert centaur/fgl/top-bare.cert centaur/fgl/top-doc.cert centaur/fgl/top.cert centaur/gl/bfr-fraig-satlink.cert centaur/gl/bfr-satlink.cert centaur/gl/gl-ttags.cert centaur/gl/top-doc.cert centaur/glmc/bfr-mcheck-abc.cert centaur/glmc/counter.cert centaur/glmc/glmc-test.cert centaur/ipasir/ipasir-backend-extra.cert centaur/ipasir/ipasir-backend.cert centaur/ipasir/ipasir-tests.cert centaur/ipasir/soundness-bug-fixed.cert centaur/ipasir/soundness-bug2-fixed.cert centaur/misc/sharedlibtest/app.cert centaur/misc/tshell-tests.cert centaur/misc/tshell.cert centaur/quicklisp/base.cert centaur/quicklisp/bordeaux.cert centaur/quicklisp/bt-semaphore.cert centaur/quicklisp/cffi.cert centaur/quicklisp/cl-fad.cert centaur/quicklisp/fastnumio.cert centaur/quicklisp/html-template.cert centaur/quicklisp/hunchentoot.cert centaur/quicklisp/osicat.cert centaur/quicklisp/shellpool.cert centaur/quicklisp/top.cert centaur/quicklisp/uiop.cert centaur/satlink/benchmarks.cert centaur/satlink/check-config.cert centaur/satlink/top.cert centaur/sv/cosims/cosims.cert centaur/sv/tutorial/alu.cert centaur/sv/tutorial/boothpipe.cert centaur/sv/tutorial/counter.cert centaur/sv/tutorial/sums.cert centaur/vl/kit/server.cert centaur/vl/kit/top.cert centaur/vl/loader/preprocessor/tests.cert centaur/vl/server/top.cert centaur/vl/top-doc.cert centaur/vl2014/kit/gather.cert centaur/vl2014/kit/json.cert centaur/vl2014/kit/lint.cert centaur/vl2014/kit/model.cert centaur/vl2014/kit/pp.cert centaur/vl2014/kit/progutils.cert centaur/vl2014/kit/server.cert centaur/vl2014/kit/shell.cert centaur/vl2014/kit/top.cert centaur/vl2014/server/file-layout.cert centaur/vl2014/server/server.cert centaur/vl2014/top-doc.cert doc/top-slow.cert doc/top.cert kestrel/hdwallet/top.cert kestrel/hdwallet/wallet-executable.cert kestrel/hdwallet/wallet-tests.cert kestrel/java/atj/implementation.cert kestrel/java/atj/input-processing.cert kestrel/java/atj/tests/abnf-deep-guarded.cert kestrel/java/atj/tests/abnf-deep-unguarded.cert kestrel/java/atj/tests/abnf-shallow-guarded.cert kestrel/java/atj/tests/abnf-shallow-unguarded.cert kestrel/java/atj/tests/abnf.cert kestrel/java/atj/tests/acl2-times.cert kestrel/java/atj/tests/factorial-deep-guarded.cert kestrel/java/atj/tests/factorial-deep-unguarded.cert kestrel/java/atj/tests/factorial-shallow-guarded.cert kestrel/java/atj/tests/factorial-shallow-unguarded.cert kestrel/java/atj/tests/factorial.cert kestrel/java/atj/tests/fibonacci-deep-guarded.cert kestrel/java/atj/tests/fibonacci-deep-unguarded.cert kestrel/java/atj/tests/fibonacci-shallow-guarded.cert kestrel/java/atj/tests/fibonacci-shallow-unguarded.cert kestrel/java/atj/tests/fibonacci.cert kestrel/java/atj/tests/multivalue-deep-guarded.cert kestrel/java/atj/tests/multivalue-deep-unguarded.cert kestrel/java/atj/tests/multivalue-shallow-guarded.cert kestrel/java/atj/tests/multivalue-shallow-unguarded.cert kestrel/java/atj/tests/multivalue.cert kestrel/java/atj/tests/natives-deep-guarded.cert kestrel/java/atj/tests/natives-deep-unguarded.cert kestrel/java/atj/tests/natives-shallow-guarded.cert kestrel/java/atj/tests/natives-shallow-unguarded.cert kestrel/java/atj/tests/natives.cert kestrel/java/atj/tests/primarrays-shallow-guarded.cert kestrel/java/atj/tests/primarrays.cert kestrel/java/atj/tests/primitives-deep-guarded.cert kestrel/java/atj/tests/primitives-deep-unguarded.cert kestrel/java/atj/tests/primitives-shallow-guarded.cert kestrel/java/atj/tests/primitives-shallow-unguarded.cert kestrel/java/atj/tests/primitives.cert kestrel/java/atj/top.cert kestrel/java/top.cert kestrel/top-doc.cert kestrel/top.cert oslib/copy.cert oslib/dirname.cert oslib/file-types.cert oslib/ls.cert oslib/mkdir.cert oslib/rmtree.cert oslib/tests/copy.cert oslib/tests/dirname.cert oslib/tests/file-types.cert oslib/tests/ls.cert oslib/tests/mkdir.cert oslib/tests/top.cert oslib/top.cert projects/doc.cert projects/include-doc.cert projects/rp-rewriter/lib/mult/demo.cert projects/rp-rewriter/lib/mult2/demo.cert projects/sidekick/eventdata.cert projects/sidekick/explore.cert projects/sidekick/lint.cert projects/sidekick/lock.cert projects/sidekick/lookup.cert projects/sidekick/server.cert projects/sidekick/session.cert projects/sidekick/top.cert projects/sidekick/webcommand.cert projects/smtlink/config.cert projects/smtlink/doc.cert projects/smtlink/examples/examples.cert projects/smtlink/examples/inverter.cert projects/smtlink/examples/ringosc.cert projects/smtlink/examples/util.cert projects/smtlink/top.cert projects/smtlink/trusted/prove.cert projects/smtlink/trusted/run.cert projects/smtlink/trusted/trusted-cp.cert projects/smtlink/trusted/write.cert projects/smtlink/trusted/z3-py/header.cert projects/smtlink/trusted/z3-py/recover-type-hyp.cert projects/smtlink/trusted/z3-py/translate-type.cert projects/smtlink/trusted/z3-py/translator.cert projects/smtlink/verified/Smtlink.cert projects/smtlink/verified/add-hypo-cp.cert projects/smtlink/verified/computed-hints.cert projects/smtlink/verified/expand-cp.cert projects/smtlink/verified/extractor.cert projects/smtlink/verified/hint-interface.cert projects/smtlink/verified/hint-please.cert projects/smtlink/verified/type-extract-cp.cert projects/smtlink/verified/type-hyp.cert projects/smtlink/verified/uninterpreted-fn-cp.cert projects/top-doc.cert quicklisp/base.cert quicklisp/bordeaux.cert quicklisp/bt-semaphore.cert quicklisp/cffi.cert quicklisp/cl-fad.cert quicklisp/fastnumio.cert quicklisp/html-template.cert quicklisp/hunchentoot.cert quicklisp/osicat.cert quicklisp/shellpool.cert quicklisp/top.cert quicklisp/uiop.cert system/doc/acl2-manual.cert tools/oracle-timelimit-tests.cert tools/oracle-timelimit.cert workshops/2017/swords/support/demos.cert workshops/2018/sumners/exa.cert workshops/2018/sumners/exbase.cert workshops/2018/sumners/exloop.cert workshops/2018/sumners/exsim.cert workshops/2018/sumners/extra.cert workshops/2018/sumners/readme.cert workshops/2018/sumners/svcnf.cert workshops/2020/kwan-peng-greenstreet/abstract-cs.cert workshops/2020/sswords-rewriter/support.cert workshops/2020/sumners/bake-models.cert workshops/2020/sumners/bake-proofs.cert workshops/2020/sumners/gen-models.cert workshops/2020/sumners/gl-fin-set.cert workshops/2020/sumners/gl-setup.cert workshops/2020/sumners/top.cert xdoc/all.cert xdoc/save-fancy.cert xdoc/save-rendered.cert xdoc/save.cert ]
Using clean.pl to remove certificates, etc.
/<<PKGBUILDDIR>>/books/build/clean.pl
clean.pl: scanning for generated files
clean.pl: found 3 targets (1 seconds)
clean.pl: deleted 3 files (0 seconds)
Cleaning up Quicklisp files
cd quicklisp; ./clean.sh
Cleaning quicklisp/bundle (only compiled files 'bundle.*', since outside git repository)
Cleaning asdf-home/cache/common-lisp
Cleaning quicklisp books
clean.pl: scanning for generated files
clean.pl: found 0 targets (0 seconds)
clean.pl: deleted 0 files (0 seconds)
if [ -d projects/milawa/ACL2 ] ; then \
cd projects/milawa/ACL2; /usr/bin/make clean ; \
fi
make[3]: Entering directory '/<<PKGBUILDDIR>>/books/projects/milawa/ACL2'
Calculating cert dependencies...
Calculating pcert dependencies...
Done with dependencies.
Cleaning ACL2 directory (certificates, ACL2 images, etc.)
clean.pl: scanning for generated files
clean.pl: found 1 targets (0 seconds)
clean.pl: deleted 1 files (0 seconds)
Cleaning ../Proofs directory.
make[3]: Leaving directory '/<<PKGBUILDDIR>>/books/projects/milawa/ACL2'
Cleaning centaur/vl/bin directory
Cleaning centaur/vl2014/bin directory
Removing extra, explicitly temporary files.
rm -rf /<<PKGBUILDDIR>>/books/build/Makefile-comp /<<PKGBUILDDIR>>/books/build/Makefile-comp-pre /<<PKGBUILDDIR>>/books/build/Makefile-deps /<<PKGBUILDDIR>>/books/build/Makefile-books /<<PKGBUILDDIR>>/books/build/Makefile-features /<<PKGBUILDDIR>>/books/build/Makefile-cache serialize/test.sao bdd/benchmarks.lisp nonstd/workshops/1999/calculus/book/tree.lisp centaur/getopt/demo2.core centaur/getopt/demo2.gcl centaur/getopt/demo2.lw centaur/getopt/demo2.lx86cl64 centaur/getopt/demo2.dx86cl64 centaur/getopt/demo2.ccl nonstd/workshops/1999/calculus/book/outline/ projects/sat/lrat/incremental/lrat-check projects/sat/lrat/incremental/lrat-check.* projects/sat/lrat/cube/cube-check projects/sat/lrat/cube/cube-check.* projects/apply-model/ex1/evaluation-apply.lisp projects/apply-model/ex1/evaluation-user-defs.lisp projects/apply-model/ex2/evaluation-apply.lisp projects/apply-model/ex2/evaluation-user-defs.lisp projects/apply-model-2/ex1/evaluation-apply.lisp projects/apply-model-2/ex1/evaluation-user-defs.lisp projects/apply-model-2/ex2/evaluation-apply.lisp projects/apply-model-2/ex2/evaluation-user-defs.lisp
for dir in system/toothbrush/ clause-processors/SULFA/ projects/translators/l3-to-acl2/ workshops/1999/multiplier/ workshops/2003/greve-wilding-vanfleet/support/ workshops/2003/kaufmann/support/input/ workshops/2004/sumners-ray/support/ projects/apply-model/ projects/apply-model-2/ \
  workshops/2003/kaufmann/support/rtl ; \
do \
if [ -f $dir/Makefile ] ; then \
(cd $dir ; /usr/bin/make clean) ; \
fi ; \
done
make[3]: Entering directory '/<<PKGBUILDDIR>>/books/system/toothbrush'
Updating dependencies in /<<PKGBUILDDIR>>/books/system/toothbrush
Note: For toothbrush, ACL2_DIR = /<<PKGBUILDDIR>>/.
rm -f defined-syms.lsp
rm -f success.txt
cd tests ; /usr/bin/make clean
make[4]: Entering directory '/<<PKGBUILDDIR>>/books/system/toothbrush/tests'
make[5]: Entering directory '/<<PKGBUILDDIR>>/books/system/toothbrush/tests/test1'
Updating dependencies in /<<PKGBUILDDIR>>/books/system/toothbrush/tests/test1
rm -f output.lsp success.txt tb-exec*
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[5]: Leaving directory '/<<PKGBUILDDIR>>/books/system/toothbrush/tests/test1'
make[5]: Entering directory '/<<PKGBUILDDIR>>/books/system/toothbrush/tests/test2'
Updating dependencies in /<<PKGBUILDDIR>>/books/system/toothbrush/tests/test2
rm -f output.lsp success.txt tb-exec*
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[5]: Leaving directory '/<<PKGBUILDDIR>>/books/system/toothbrush/tests/test2'
make[5]: Entering directory '/<<PKGBUILDDIR>>/books/system/toothbrush/tests/test-par'
Updating dependencies in /<<PKGBUILDDIR>>/books/system/toothbrush/tests/test-par
rm -f output.lsp success.txt tb-exec*
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[5]: Leaving directory '/<<PKGBUILDDIR>>/books/system/toothbrush/tests/test-par'
make[5]: Entering directory '/<<PKGBUILDDIR>>/books/system/toothbrush/tests/dag-unification'
Updating dependencies in /<<PKGBUILDDIR>>/books/system/toothbrush/tests/dag-unification
rm -f output.lsp success.txt tb-exec*
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[5]: Leaving directory '/<<PKGBUILDDIR>>/books/system/toothbrush/tests/dag-unification'
make[4]: Leaving directory '/<<PKGBUILDDIR>>/books/system/toothbrush/tests'
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[3]: Leaving directory '/<<PKGBUILDDIR>>/books/system/toothbrush'
make[3]: Entering directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA'
rm -f \#*\# *~
rm -f scripts/interpret_sulfa_file
/usr/bin/make PERL=perl SAT_SOLVER=/<<PKGBUILDDIR>>/books/clause-processors/SULFA/../../../aux/minisat2//minisat/core/minisat SAT_SOLVER_TYPE=minisat CC=gcc clean-subdirs
make[4]: Entering directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA'
for dir in scripts c-files books; do \
        /usr/bin/make PERL=perl SAT_SOLVER=/<<PKGBUILDDIR>>/books/clause-processors/SULFA/../../../aux/minisat2//minisat/core/minisat SAT_SOLVER_TYPE=minisat CC=gcc clean -C $dir; \
        done
make[5]: Entering directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/scripts'
rm -f sexpr-sat-solver *~ \#*\# 
rm -f *acl2_with_smt* temp_command_file.lisp 
rm -fr sat-temp-files 
rm -fr sulfa_smt_temp 
rm -f sulfa-smt
rm -f interpret_sulfa_file
make[5]: Leaving directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/scripts'
make[5]: Entering directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/c-files'
rm -f sat-input-formater smt-prep zchaff-output-formater minisat-output-formater *~ #*#
make[5]: Leaving directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/c-files'
make[5]: Entering directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/books'
make[6]: Entering directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/books/sat'
rm -f \#*\# *.cert *~ *.sexpr *.d *.sot sulfa-dir-const.lisp sat-setup.data
rm -f -r sat-temp-files
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[6]: Leaving directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/books/sat'
make[6]: Entering directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/books/clause-processors'
Updating dependencies in /<<PKGBUILDDIR>>/books/clause-processors/SULFA/books/clause-processors
rm -f *.cert *~ *.sexpr *.d *.sot *~ \#*\#
rm -f -r sat-temp-files
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[6]: Leaving directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/books/clause-processors'
make[6]: Entering directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/books/sat-tests'
rm -f *.cert *~ *.sexpr *.d *.sot
rm -f -r sat-temp-files
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[6]: Leaving directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/books/sat-tests'
make[6]: Entering directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/books/bv-smt-solver'
Updating dependencies in /<<PKGBUILDDIR>>/books/clause-processors/SULFA/books/bv-smt-solver
rm -f *.cert *~ *.sexpr *.d *.sot *~ \#*\# *.smt *.prepped
rm -fr sat-temp-files 
rm -f *.bak
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[6]: Leaving directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/books/bv-smt-solver'
make[5]: Leaving directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA/books'
make[4]: Leaving directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA'
make[3]: Leaving directory '/<<PKGBUILDDIR>>/books/clause-processors/SULFA'
make[3]: Entering directory '/<<PKGBUILDDIR>>/books/projects/translators/l3-to-acl2'
Makefile:22: ACL2_DIR is /<<PKGBUILDDIR>>
make[4]: Entering directory '/<<PKGBUILDDIR>>/books/projects/translators/l3-to-acl2/translator'
Updating dependencies in /<<PKGBUILDDIR>>/books/projects/translators/l3-to-acl2/translator
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[4]: Leaving directory '/<<PKGBUILDDIR>>/books/projects/translators/l3-to-acl2/translator'
make[4]: Entering directory '/<<PKGBUILDDIR>>/books/projects/translators/l3-to-acl2/examples/thacker'
Makefile:35: L3_TO_ACL2_DIR is /<<PKGBUILDDIR>>/books/projects/translators/l3-to-acl2/translator
rm -f tiny.lisp tiny-logic.lisp run-check.txt
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[4]: Leaving directory '/<<PKGBUILDDIR>>/books/projects/translators/l3-to-acl2/examples/thacker'
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[3]: Leaving directory '/<<PKGBUILDDIR>>/books/projects/translators/l3-to-acl2'
make[3]: Entering directory '/<<PKGBUILDDIR>>/books/workshops/1999/multiplier'
rm -f fmul.lisp fmul-star.lisp
rm -f *.tem
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[3]: Leaving directory '/<<PKGBUILDDIR>>/books/workshops/1999/multiplier'
make[3]: Entering directory '/<<PKGBUILDDIR>>/books/workshops/2003/greve-wilding-vanfleet/support'
rm -f consistency-test.lisp make.lisp consistency-test-passed.lisp
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[3]: Leaving directory '/<<PKGBUILDDIR>>/books/workshops/2003/greve-wilding-vanfleet/support'
make[3]: Entering directory '/<<PKGBUILDDIR>>/books/workshops/2003/kaufmann/support/input'
rm -f defs-out.lisp defs-eq.lisp lemmas-out.lisp check.txt
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[3]: Leaving directory '/<<PKGBUILDDIR>>/books/workshops/2003/kaufmann/support/input'
make[3]: Entering directory '/<<PKGBUILDDIR>>/books/workshops/2004/sumners-ray/support'
Updating dependencies in /<<PKGBUILDDIR>>/books/workshops/2004/sumners-ray/support
rm -f *.rpt
rm -f success.txt
rm -f run.date run.log run.err
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[3]: Leaving directory '/<<PKGBUILDDIR>>/books/workshops/2004/sumners-ray/support'
make[3]: Entering directory '/<<PKGBUILDDIR>>/books/projects/apply-model'
cd ex1 ; /usr/bin/make clean
make[4]: Entering directory '/<<PKGBUILDDIR>>/books/projects/apply-model/ex1'
System books directory is /<<PKGBUILDDIR>>/books
rm -f evaluation-apply.lisp evaluation-user-defs.lisp Makefile-deps
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[4]: Leaving directory '/<<PKGBUILDDIR>>/books/projects/apply-model/ex1'
cd ex2 ; /usr/bin/make clean
make[4]: Entering directory '/<<PKGBUILDDIR>>/books/projects/apply-model/ex2'
System books directory is /<<PKGBUILDDIR>>/books
rm -f evaluation-apply.lisp evaluation-user-defs.lisp Makefile-deps
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[4]: Leaving directory '/<<PKGBUILDDIR>>/books/projects/apply-model/ex2'
rm -f Makefile-tmp
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[3]: Leaving directory '/<<PKGBUILDDIR>>/books/projects/apply-model'
make[3]: Entering directory '/<<PKGBUILDDIR>>/books/projects/apply-model-2'
cd ex1 ; /usr/bin/make clean
make[4]: Entering directory '/<<PKGBUILDDIR>>/books/projects/apply-model-2/ex1'
System books directory is /<<PKGBUILDDIR>>/books
rm -f evaluation-apply.lisp evaluation-user-defs.lisp Makefile-deps
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[4]: Leaving directory '/<<PKGBUILDDIR>>/books/projects/apply-model-2/ex1'
cd ex2 ; /usr/bin/make clean
make[4]: Entering directory '/<<PKGBUILDDIR>>/books/projects/apply-model-2/ex2'
System books directory is /<<PKGBUILDDIR>>/books
rm -f evaluation-apply.lisp evaluation-user-defs.lisp Makefile-deps
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[4]: Leaving directory '/<<PKGBUILDDIR>>/books/projects/apply-model-2/ex2'
rm -f Makefile-tmp
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[3]: Leaving directory '/<<PKGBUILDDIR>>/books/projects/apply-model-2'
make[3]: Entering directory '/<<PKGBUILDDIR>>/books/workshops/2003/kaufmann/support/rtl'
rm -f model.lisp model-defs.lisp model-eq.lisp model.lisp bvecp.lisp
rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \
*.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \
*.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \
*.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \
*.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp
make[3]: Leaving directory '/<<PKGBUILDDIR>>/books/workshops/2003/kaufmann/support/rtl'
Removing even more generated files (documentation, etc).
rm -rf doc/manual system/doc/manual system/doc/manual-fast doc/xdoc.sao
make[2]: Leaving directory '/<<PKGBUILDDIR>>/books'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
find books -name "*.final" -exec rm {} \;
rm -f saved_acl2 init_nsaved1_acl2.lsp worklispext
rm -f debian/mini-proveall.out books/short-test.log debian/test.log
rm -f foo.lsp nsaved_acl2
for i in data c h ; do \
	for j in $(find -name "*.$i") ; do\
		k=$(echo $j | sed "s,\.$i$,,1") ;\
		! [ -e $k.lisp ] || rm $j ; \
	done ; \
done
rm -f books/bdd/benchmarks.data acl2r.lisp tmp
rm -f debian/dpatches debian/acl2.install debian/acl2-source.install debian/acl2-emacs.install debian/acl2-doc.install debian/acl2-books.install debian/acl2-books-source.install debian/acl2-books-certs.install debian/acl2-infix.install debian/acl2-infix-source.install debian/acl2.links debian/acl2-books.links debian/acl2-infix.links debian/README.Debian saved_acl2*
rm -f debian/dlopen.lisp debian/acl2-emacs.emacsen-startup
rm -f debian/acl2.sh pgcl books/Makefile-tmp books/coi/gensym/gensym.out sys-proclaim.lisp
rm -f books/coi/gensym/Makefile-deps books/coi/gensym/workxxx.gensym books/system/doc/rendered-doc.lsp
rm -rf doc/HTML-old doc/EMACS-old doc/acl2-wc.txt books/std/io/test.sao
rm -f books/centaur/bitops/bitsets-opt-raw.o books/centaur/vl/util/gc-raw.o \
	books/centaur/misc/tshell-raw.o books/centaur/vl/Makefile-tmp \
	books/build/Makefile-sources books/build/Makefile-certs 
rm -f books/build/acl2-exports.certdep books/build/acl2-version.certdep \
	books/build/first-order-like-terms-and-out-arities.certdep \
	books/build/ground-zero-theory.certdep gcl_pool
rm -f debian/acl2-books-certs.lintian-overrides debian/acl2.lintian-overrides
rm -f books/centaur/fty/tests/deftagsum-scale.cert.temp books/centaur/fty/tests/deftranssum.cert.temp
rm -f books/centaur/vl/kit/test.vlzip books/centaur/getopt/demo2 books/centaur/getopt/demo2-test.ok
dh_clean -XTAGS
 debian/rules build-arch
/usr/bin/make GCL_ANSI=t LISP=gcl
make[1]: Entering directory '/<<PKGBUILDDIR>>'
ACL2_WD is /<<PKGBUILDDIR>>
ACL2 is /<<PKGBUILDDIR>>/saved_acl2
rm -f acl2r.lisp
/usr/bin/make acl2r.lisp
make[2]: Entering directory '/<<PKGBUILDDIR>>'
ACL2_WD is /<<PKGBUILDDIR>>
ACL2 is /<<PKGBUILDDIR>>/saved_acl2
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
/usr/bin/make acl2r
make[2]: Entering directory '/<<PKGBUILDDIR>>'
ACL2_WD is /<<PKGBUILDDIR>>
ACL2 is /<<PKGBUILDDIR>>/saved_acl2
rm -f acl2r.lisp
/usr/bin/make acl2r.lisp
make[3]: Entering directory '/<<PKGBUILDDIR>>'
ACL2_WD is /<<PKGBUILDDIR>>
ACL2 is /<<PKGBUILDDIR>>/saved_acl2
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
rm -f TAGS
rm -f workxxx
echo '(load "init.lisp")' > workxxx
echo '(acl2::make-tags)' >> workxxx
echo '(acl2::exit-lisp)' >> workxxx
gcl < workxxx
GCL (GNU Common Lisp)  2.6.12 ANSI    Fri Apr 22 15:51:11 UTC 2016
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files:
/tmp/

>;; Loading "init.lisp"
;; Loading "acl2r.lisp"
;; Finished loading "acl2r.lisp"
;; Loading "acl2-init.lisp"
;; Loading "acl2.lisp"

;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration.
;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of REV1@ was replaced by iteration.
;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration.
;; Note: Tail-recursive call of FANCY-STRING-READER-ESCAPE-CHECK was replaced by iteration.
;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration.
;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration.;; Finished loading "acl2.lisp"
;; Finished loading "acl2-init.lisp"
;; Finished loading "init.lisp"
T

>GCL (GNU Common Lisp)  2.6.12 ANSI    Fri Apr 22 15:51:11 UTC 2016
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files:
/tmp/

>/usr/bin/etags

0
0

>rm -f workxxx
if [ -f TAGS ] ; then chmod 644 TAGS ; fi
/usr/bin/make compile
make[2]: Entering directory '/<<PKGBUILDDIR>>'
ACL2_WD is /<<PKGBUILDDIR>>
ACL2 is /<<PKGBUILDDIR>>/saved_acl2
rm -f workxxx
echo '(load "init.lisp")' > workxxx
echo '(let (#+gcl(compiler::*split-files* 1000000))(acl2::compile-acl2 ))' >> workxxx
echo '(acl2::exit-lisp)' >> workxxx
gcl < workxxx
GCL (GNU Common Lisp)  2.6.12 ANSI    Fri Apr 22 15:51:11 UTC 2016
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files:
/tmp/

>;; Loading "init.lisp"
;; Loading "acl2r.lisp"
;; Finished loading "acl2r.lisp"
;; Loading "acl2-init.lisp"
;; Loading "acl2.lisp"

;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration.
;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of REV1@ was replaced by iteration.
;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration.
;; Note: Tail-recursive call of FANCY-STRING-READER-ESCAPE-CHECK was replaced by iteration.
;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration.
;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration.;; Finished loading "acl2.lisp"
;; Finished loading "acl2-init.lisp"
;; Finished loading "init.lisp"
T

>GCL (GNU Common Lisp)  2.6.12 ANSI    Fri Apr 22 15:51:11 UTC 2016
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files:
/tmp/

>Check completed.
/<<PKGBUILDDIR>>/serialize-raw.c: In function 'L43':
/<<PKGBUILDDIR>>/serialize-raw.c:4567:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
 4567 |  if((Cnil)==Cnil){
      |           ^~
/<<PKGBUILDDIR>>/serialize-raw.c:4723:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
 4723 |  if((Cnil)==Cnil){
      |           ^~
/<<PKGBUILDDIR>>/hons-raw.c: In function 'L27':
/<<PKGBUILDDIR>>/hons-raw.c:2442:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
 2442 |  if((Cnil)==Cnil){
      |           ^~
/<<PKGBUILDDIR>>/hons-raw.c: In function 'L65':
/<<PKGBUILDDIR>>/hons-raw.c:5148:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
 5148 |  if((Cnil)==Cnil){
      |           ^~
/<<PKGBUILDDIR>>/translate.c: In function 'L397':
/<<PKGBUILDDIR>>/translate.c:36322:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
36322 |  if((Cnil)==Cnil){
      |           ^~
/<<PKGBUILDDIR>>/translate.c:36777:11: warning: self-comparison always evaluates to false [-Wtautological-compare]
36777 |  if((Cnil)!=Cnil){
      |           ^~
/<<PKGBUILDDIR>>/translate.c:37172:11: warning: self-comparison always evaluates to false [-Wtautological-compare]
37172 |  if((Cnil)!=Cnil){
      |           ^~
/<<PKGBUILDDIR>>/translate.c:37482:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
37482 |  if((Cnil)==Cnil){
      |           ^~
NIL

>make[3]: Entering directory '/<<PKGBUILDDIR>>'
ACL2_WD is /<<PKGBUILDDIR>>
ACL2 is /<<PKGBUILDDIR>>/saved_acl2
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
rm -f acl2-proclaims.lisp
/usr/bin/make acl2-proclaims.lisp
make[2]: Entering directory '/<<PKGBUILDDIR>>'
ACL2_WD is /<<PKGBUILDDIR>>
ACL2 is /<<PKGBUILDDIR>>/saved_acl2
rm -f acl2-proclaims.lisp
rm -f workxxx
rm -f worklispext
echo '(load "init.lisp")' > workxxx
echo '(in-package "ACL2")' >> workxxx
echo '(generate-acl2-proclaims)' >> workxxx
echo '(exit-lisp)' >> workxxx
gcl < workxxx
GCL (GNU Common Lisp)  2.6.12 ANSI    Fri Apr 22 15:51:11 UTC 2016
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files:
/tmp/

>;; Loading "init.lisp"
;; Loading "acl2r.lisp"
;; Finished loading "acl2r.lisp"
;; Loading "acl2-init.lisp"
;; Loading "acl2.lisp"

;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration.
;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of REV1@ was replaced by iteration.
;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration.
;; Note: Tail-recursive call of FANCY-STRING-READER-ESCAPE-CHECK was replaced by iteration.
;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration.
;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration.;; Finished loading "acl2.lisp"
;; Finished loading "acl2-init.lisp"
;; Finished loading "init.lisp"
T

>GCL (GNU Common Lisp)  2.6.12 ANSI    Fri Apr 22 15:51:11 UTC 2016
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files:
/tmp/

>
#<"ACL2" package>

ACL2>
NIL

ACL2>[ -f acl2-proclaims.lisp ]
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
/usr/bin/make compile USE_ACL2_PROCLAIMS=t
make[2]: Entering directory '/<<PKGBUILDDIR>>'
ACL2_WD is /<<PKGBUILDDIR>>
ACL2 is /<<PKGBUILDDIR>>/saved_acl2
rm -f workxxx
echo '(load "init.lisp")' > workxxx
echo '(let (#+gcl(compiler::*split-files* 1000000))(acl2::compile-acl2 t))' >> workxxx
echo '(acl2::exit-lisp)' >> workxxx
gcl < workxxx
GCL (GNU Common Lisp)  2.6.12 ANSI    Fri Apr 22 15:51:11 UTC 2016
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files:
/tmp/

>;; Loading "init.lisp"
;; Loading "acl2r.lisp"
;; Finished loading "acl2r.lisp"
;; Loading "acl2-init.lisp"
;; Loading "acl2.lisp"

;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration.
;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration.
;; Note: Tail-recursive call of REV1@ was replaced by iteration.
;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration.
;; Note: Tail-recursive call of FANCY-STRING-READER-ESCAPE-CHECK was replaced by iteration.
;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration.
;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration.;; Finished loading "acl2.lisp"
;; Finished loading "acl2-init.lisp"
;; Finished loading "init.lisp"
T

>GCL (GNU Common Lisp)  2.6.12 ANSI    Fri Apr 22 15:51:11 UTC 2016
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files:
/tmp/

>/<<PKGBUILDDIR>>/serialize-raw.c: In function 'LI43':
/<<PKGBUILDDIR>>/serialize-raw.c:4135:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
 4135 |  if((Cnil)==Cnil){
      |           ^~
/<<PKGBUILDDIR>>/serialize-raw.c:4265:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
 4265 |  if((Cnil)==Cnil){
      |           ^~
/<<PKGBUILDDIR>>/hons-raw.c: In function 'LI27':
/<<PKGBUILDDIR>>/hons-raw.c:2200:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
 2200 |  if((Cnil)==Cnil){
      |           ^~
/<<PKGBUILDDIR>>/hons-raw.c: In function 'LI65':
/<<PKGBUILDDIR>>/hons-raw.c:4080:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
 4080 |  if((Cnil)==Cnil){
      |           ^~
/<<PKGBUILDDIR>>/translate.c: In function 'L397':
/<<PKGBUILDDIR>>/translate.c:29320:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
29320 |  if((Cnil)==Cnil){
      |           ^~
/<<PKGBUILDDIR>>/translate.c:29690:11: warning: self-comparison always evaluates to false [-Wtautological-compare]
29690 |  if((Cnil)!=Cnil){
      |           ^~
/<<PKGBUILDDIR>>/translate.c:30013:11: warning: self-comparison always evaluates to false [-Wtautological-compare]
30013 |  if((Cnil)!=Cnil){
      |           ^~
/<<PKGBUILDDIR>>/translate.c:30264:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
30264 |  if((Cnil)==Cnil){
      |           ^~
Illegal instruction (core dumped)
make[2]: *** [GNUmakefile:407: compile] Error 132
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [GNUmakefile:397: full] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:79: saved_acl2] Error 2
dpkg-buildpackage: error: debian/rules build-arch subprocess returned exit status 2
--------------------------------------------------------------------------------
Build finished at 2022-04-29T05:44:30Z

Finished
--------


+------------------------------------------------------------------------------+
| Cleanup                                                                      |
+------------------------------------------------------------------------------+

Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
E: Build failure (dpkg-buildpackage died)

+------------------------------------------------------------------------------+
| Summary                                                                      |
+------------------------------------------------------------------------------+

Build Architecture: armhf
Build-Space: 359340
Build-Time: 1443
Distribution: bullseye-staging
Fail-Stage: build
Host Architecture: armhf
Install-Time: 805
Job: acl2_8.3dfsg-2
Machine Architecture: armhf
Package: acl2
Package-Time: 2286
Source-Version: 8.3dfsg-2
Space: 359340
Status: attempted
Version: 8.3dfsg-2
--------------------------------------------------------------------------------
Finished at 2022-04-29T05:44:30Z
Build needed 00:38:06, 359340k disk space

Page generated on 2024-04-27 15:14:37 UTC
Pages written by Mehdi Dogguy
Architecture specific issues should be sent to <$arch@buildd.debian.org>
Service maintained by the wanna-build team <debian-wb-team@lists.debian.org>
Download code with git: git clone https://buildd.debian.org/git/pgstatus.git
Valid XHTML  Valid CSS