Build log for alt-ergo (2.4.2-2+b1) on armhf

alt-ergo → 2.4.2-2+b1 → armhf → 2023-10-18 21:47:25

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

+==============================================================================+
| alt-ergo 2.4.2-2+b1 (armhf)                  Wed, 18 Oct 2023 21:18:53 +0000 |
+==============================================================================+

Package: alt-ergo
Version: 2.4.2-2+b1
Source Version: 2.4.2-2
Distribution: trixie-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/trixie-staging-armhf-sbuild-0b82310a-7bde-4010-a4dc-fbaa3f880efb' with '<<CHROOT>>'

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

Get:1 http://172.17.4.1/private trixie-staging InRelease [11.3 kB]
Get:2 http://172.17.4.1/private trixie-staging/main Sources [14.1 MB]
Get:3 http://172.17.4.1/private trixie-staging/main armhf Packages [14.8 MB]
Fetched 29.0 MB in 10s (2805 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
W: http://172.17.4.1/private/dists/trixie-staging/InRelease: Key is stored in legacy trusted.gpg keyring (/etc/apt/trusted.gpg), see the DEPRECATION section in apt-key(8) for details.

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


Check APT
---------

Checking available source versions...

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

Reading package lists...
NOTICE: 'alt-ergo' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/alt-ergo.git
Please use:
git clone https://salsa.debian.org/ocaml-team/alt-ergo.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 2894 kB of source archives.
Get:1 http://172.17.4.1/private trixie-staging/main alt-ergo 2.4.2-2 (dsc) [2282 B]
Get:2 http://172.17.4.1/private trixie-staging/main alt-ergo 2.4.2-2 (tar) [2885 kB]
Get:3 http://172.17.4.1/private trixie-staging/main alt-ergo 2.4.2-2 (diff) [7076 B]
Fetched 2894 kB in 1s (5016 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/alt-ergo-VmxrEx/alt-ergo-2.4.2' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/alt-ergo-VmxrEx' 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-DNs2EJ/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-DNs2EJ/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-DNs2EJ/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-DNs2EJ/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-DNs2EJ/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-DNs2EJ/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-DNs2EJ/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-DNs2EJ/apt_archive ./ Packages [430 B]
Fetched 2106 B in 1s (3620 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:
  krb5-locales libpam-cap netbase sensible-utils sgml-base util-linux-extra
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 13 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-DNs2EJ/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 (50.3 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 11774 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)

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


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

Merged Build-Depends: debhelper-compat (= 13), dh-ocaml, libcmdliner-ocaml-dev (>= 1.1.0), libdune-ocaml-dev, liblablgtk2-ocaml-dev, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libpsmt2-frontend-ocaml-dev, libzarith-ocaml-dev, libzip-ocaml-dev, menhir, ocaml-dune, ocaml-findlib, ocaml-nox (>= 4.04), ocplib-simplex-ocaml-dev (>= 0.4)
Filtered Build-Depends: debhelper-compat (= 13), dh-ocaml, libcmdliner-ocaml-dev (>= 1.1.0), libdune-ocaml-dev, liblablgtk2-ocaml-dev, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libpsmt2-frontend-ocaml-dev, libzarith-ocaml-dev, libzip-ocaml-dev, menhir, ocaml-dune, ocaml-findlib, ocaml-nox (>= 4.04), ocplib-simplex-ocaml-dev (>= 0.4)
dpkg-deb: building package 'sbuild-build-depends-alt-ergo-dummy' in '/<<BUILDDIR>>/resolver-DNs2EJ/apt_archive/sbuild-build-depends-alt-ergo-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-alt-ergo-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-DNs2EJ/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-DNs2EJ/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-DNs2EJ/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-DNs2EJ/apt_archive ./ Sources [620 B]
Get:5 copy:/<<BUILDDIR>>/resolver-DNs2EJ/apt_archive ./ Packages [703 B]
Fetched 2656 B in 0s (6306 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

Install alt-ergo 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:
  krb5-locales libpam-cap netbase sgml-base util-linux-extra
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
  adwaita-icon-theme at-spi2-common autoconf automake autopoint autotools-dev
  bsdextrautils bsdutils debhelper dh-autoreconf dh-ocaml
  dh-strip-nondeterminism dwz file fontconfig fontconfig-config
  fonts-dejavu-core fonts-dejavu-mono gettext gettext-base gir1.2-atk-1.0
  gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-gtk-2.0
  gir1.2-harfbuzz-0.0 gir1.2-pango-1.0 groff-base gtk-update-icon-cache
  hicolor-icon-theme icu-devtools intltool-debian libarchive-zip-perl
  libatk1.0-0 libatk1.0-dev libavahi-client3 libavahi-common-data
  libavahi-common3 libblkid-dev libblkid1 libbrotli-dev libbrotli1 libbsd0
  libbz2-dev libcairo-gobject2 libcairo-script-interpreter2 libcairo2
  libcairo2-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev
  libcmdliner-ocaml-dev libcompiler-libs-ocaml-dev libcups2 libdatrie-dev
  libdatrie1 libdbus-1-3 libdebhelper-perl libdeflate-dev libdeflate0
  libdune-ocaml-dev libelf1 libev4 libexpat1 libexpat1-dev libffi-dev
  libfile-stripnondeterminism-perl libfindlib-ocaml libfmt-ocaml
  libfontconfig-dev libfontconfig1 libfreetype-dev libfreetype6 libfribidi-dev
  libfribidi0 libgdk-pixbuf-2.0-0 libgdk-pixbuf-2.0-dev libgdk-pixbuf2.0-bin
  libgdk-pixbuf2.0-common libgen-ocaml libgirepository-1.0-1 libglib2.0-0
  libglib2.0-bin libglib2.0-data libglib2.0-dev libglib2.0-dev-bin libgmp-dev
  libgmp3-dev libgmpxx4ldbl libgraphics-ocaml libgraphite2-3 libgraphite2-dev
  libgtk2.0-0 libgtk2.0-common libgtk2.0-dev libharfbuzz-cairo0
  libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz-subset0
  libharfbuzz0b libice-dev libice6 libicu-dev libicu72 libjbig-dev libjbig0
  libjpeg-dev libjpeg62-turbo libjpeg62-turbo-dev libjs-of-ocaml
  liblablgtk2-ocaml liblablgtk2-ocaml-dev liblerc-dev liblerc4 liblogs-ocaml
  liblwt-log-ocaml liblwt-ocaml liblzma-dev liblzo2-2 libmagic-mgc libmagic1
  libmount-dev libmount1 libncurses-dev libncurses6 libnum-ocaml
  libnum-ocaml-dev libocamlgraph-ocaml-dev libocplib-endian-ocaml
  libpango-1.0-0 libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0
  libpangoxft-1.0-0 libpcre2-16-0 libpcre2-32-0 libpcre2-dev libpcre2-posix3
  libpipeline1 libpixman-1-0 libpixman-1-dev libpkgconf3 libpng-dev
  libpng16-16 libpsmt2-frontend-ocaml libpsmt2-frontend-ocaml-dev
  libpthread-stubs0-dev libpython3-stdlib libpython3.11-minimal
  libpython3.11-stdlib libreact-ocaml libreactivedata-ocaml libsedlex-ocaml
  libselinux1-dev libsepol-dev libsexplib0-ocaml libsharpyuv-dev libsharpyuv0
  libsm-dev libsm6 libsmartcols1 libstdlib-ocaml libstdlib-ocaml-dev
  libsub-override-perl libthai-data libthai-dev libthai0 libtiff-dev libtiff6
  libtiffxx6 libtool libtyxml-ocaml libuchardet0 libuuid1 libuutf-ocaml
  libwebp-dev libwebp7 libwebpdecoder3 libwebpdemux2 libwebpmux3 libx11-6
  libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev
  libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev
  libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1
  libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3
  libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2
  libxml2-utils libxrandr-dev libxrandr2 libxrender-dev libxrender1
  libyojson-ocaml libzarith-ocaml libzarith-ocaml-dev libzip-ocaml
  libzip-ocaml-dev libzstd-dev m4 man-db media-types menhir mount ocaml
  ocaml-base ocaml-dune ocaml-findlib ocaml-interp ocaml-nox
  ocplib-simplex-ocaml-dev pango1.0-tools pkg-config pkgconf pkgconf-bin
  po-debconf python3 python3-distutils python3-lib2to3 python3-minimal
  python3.11 python3.11-minimal shared-mime-info util-linux util-linux-extra
  uuid-dev x11-common x11proto-core-dev x11proto-dev xorg-sgml-doctools
  xtrans-dev zlib1g-dev
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc dh-make git gettext-doc
  libasprintf-dev libgettextpo-dev groff libcairo2-doc cups-common
  libdatrie-doc freetype2-doc low-memory-monitor libgirepository1.0-dev
  libglib2.0-doc gmp-doc libgmp10-doc libmpfr-dev libgraphite2-utils gvfs
  libgtk2.0-doc libice-doc icu-doc liblablgtk2-gnome-ocaml-dev liblzma-doc
  cryptsetup-bin ncurses-doc libpango1.0-doc libsm-doc libthai-doc libtool-doc
  gfortran | fortran95-compiler gcj-jdk libx11-doc libxcb-doc libxext-doc
  m4-doc apparmor less www-browser menhir-doc nfs-common ocaml-doc elpa-tuareg
  camlp4 graphicsmagick libmail-box-perl python3-doc python3-tk python3-venv
  python3.11-venv python3.11-doc binfmt-support dosfstools kbd
  util-linux-locales
Recommended packages:
  librsvg2-common curl | wget | lynx bzip2-doc dbus libarchive-cpio-perl
  xdg-user-dirs libgail-common libgtk2.0-bin liblablgtk2-ocaml-doc libgpm2
  libpng-tools ocaml-man libltdl-dev uuid-runtime libfindlib-ocaml-dev ledit
  | readline-editor libmail-sendmail-perl ca-certificates
The following NEW packages will be installed:
  adwaita-icon-theme at-spi2-common autoconf automake autopoint autotools-dev
  bsdextrautils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz
  file fontconfig fontconfig-config fonts-dejavu-core fonts-dejavu-mono
  gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0
  gir1.2-glib-2.0 gir1.2-gtk-2.0 gir1.2-harfbuzz-0.0 gir1.2-pango-1.0
  groff-base gtk-update-icon-cache hicolor-icon-theme icu-devtools
  intltool-debian libarchive-zip-perl libatk1.0-0 libatk1.0-dev
  libavahi-client3 libavahi-common-data libavahi-common3 libblkid-dev
  libbrotli-dev libbrotli1 libbsd0 libbz2-dev libcairo-gobject2
  libcairo-script-interpreter2 libcairo2 libcairo2-dev libcamlp-streams-ocaml
  libcamlp-streams-ocaml-dev libcmdliner-ocaml-dev libcompiler-libs-ocaml-dev
  libcups2 libdatrie-dev libdatrie1 libdbus-1-3 libdebhelper-perl
  libdeflate-dev libdeflate0 libdune-ocaml-dev libelf1 libev4 libexpat1
  libexpat1-dev libffi-dev libfile-stripnondeterminism-perl libfindlib-ocaml
  libfmt-ocaml libfontconfig-dev libfontconfig1 libfreetype-dev libfreetype6
  libfribidi-dev libfribidi0 libgdk-pixbuf-2.0-0 libgdk-pixbuf-2.0-dev
  libgdk-pixbuf2.0-bin libgdk-pixbuf2.0-common libgen-ocaml
  libgirepository-1.0-1 libglib2.0-0 libglib2.0-bin libglib2.0-data
  libglib2.0-dev libglib2.0-dev-bin libgmp-dev libgmp3-dev libgmpxx4ldbl
  libgraphics-ocaml libgraphite2-3 libgraphite2-dev libgtk2.0-0
  libgtk2.0-common libgtk2.0-dev libharfbuzz-cairo0 libharfbuzz-dev
  libharfbuzz-gobject0 libharfbuzz-icu0 libharfbuzz-subset0 libharfbuzz0b
  libice-dev libice6 libicu-dev libicu72 libjbig-dev libjbig0 libjpeg-dev
  libjpeg62-turbo libjpeg62-turbo-dev libjs-of-ocaml liblablgtk2-ocaml
  liblablgtk2-ocaml-dev liblerc-dev liblerc4 liblogs-ocaml liblwt-log-ocaml
  liblwt-ocaml liblzma-dev liblzo2-2 libmagic-mgc libmagic1 libmount-dev
  libncurses-dev libncurses6 libnum-ocaml libnum-ocaml-dev
  libocamlgraph-ocaml-dev libocplib-endian-ocaml libpango-1.0-0
  libpango1.0-dev libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0
  libpcre2-16-0 libpcre2-32-0 libpcre2-dev libpcre2-posix3 libpipeline1
  libpixman-1-0 libpixman-1-dev libpkgconf3 libpng-dev libpng16-16
  libpsmt2-frontend-ocaml libpsmt2-frontend-ocaml-dev libpthread-stubs0-dev
  libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libreact-ocaml
  libreactivedata-ocaml libsedlex-ocaml libselinux1-dev libsepol-dev
  libsexplib0-ocaml libsharpyuv-dev libsharpyuv0 libsm-dev libsm6
  libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libthai-data
  libthai-dev libthai0 libtiff-dev libtiff6 libtiffxx6 libtool libtyxml-ocaml
  libuchardet0 libuutf-ocaml libwebp-dev libwebp7 libwebpdecoder3
  libwebpdemux2 libwebpmux3 libx11-6 libx11-data libx11-dev libxau-dev libxau6
  libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1
  libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1
  libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6
  libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev
  libxinerama1 libxml2 libxml2-utils libxrandr-dev libxrandr2 libxrender-dev
  libxrender1 libyojson-ocaml libzarith-ocaml libzarith-ocaml-dev libzip-ocaml
  libzip-ocaml-dev libzstd-dev m4 man-db media-types menhir ocaml ocaml-base
  ocaml-dune ocaml-findlib ocaml-interp ocaml-nox ocplib-simplex-ocaml-dev
  pango1.0-tools pkg-config pkgconf pkgconf-bin po-debconf python3
  python3-distutils python3-lib2to3 python3-minimal python3.11
  python3.11-minimal sbuild-build-depends-alt-ergo-dummy shared-mime-info
  uuid-dev x11-common x11proto-core-dev x11proto-dev xorg-sgml-doctools
  xtrans-dev zlib1g-dev
The following packages will be upgraded:
  bsdutils libblkid1 libmount1 libsmartcols1 libuuid1 mount util-linux
  util-linux-extra
8 upgraded, 247 newly installed, 0 to remove and 5 not upgraded.
Need to get 224 MB of archives.
After this operation, 880 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-DNs2EJ/apt_archive ./ sbuild-build-depends-alt-ergo-dummy 0.invalid.0 [984 B]
Get:2 http://172.17.4.1/private trixie-staging/main armhf bsdutils armhf 1:2.39.2-3 [86.1 kB]
Get:3 http://172.17.4.1/private trixie-staging/main armhf libsmartcols1 armhf 2.39.2-3 [101 kB]
Get:4 http://172.17.4.1/private trixie-staging/main armhf util-linux-extra armhf 2.39.2-3 [134 kB]
Get:5 http://172.17.4.1/private trixie-staging/main armhf util-linux armhf 2.39.2-3 [1107 kB]
Get:6 http://172.17.4.1/private trixie-staging/main armhf mount armhf 2.39.2-3 [133 kB]
Get:7 http://172.17.4.1/private trixie-staging/main armhf libpython3.11-minimal armhf 3.11.6-3 [800 kB]
Get:8 http://172.17.4.1/private trixie-staging/main armhf libexpat1 armhf 2.5.0-2 [76.8 kB]
Get:9 http://172.17.4.1/private trixie-staging/main armhf python3.11-minimal armhf 3.11.6-3 [1674 kB]
Get:10 http://172.17.4.1/private trixie-staging/main armhf python3-minimal armhf 3.11.4-5 [26.2 kB]
Get:11 http://172.17.4.1/private trixie-staging/main armhf media-types all 10.1.0 [26.9 kB]
Get:12 http://172.17.4.1/private trixie-staging/main armhf libuuid1 armhf 2.39.2-3 [27.9 kB]
Get:13 http://172.17.4.1/private trixie-staging/main armhf libpython3.11-stdlib armhf 3.11.6-3 [1679 kB]
Get:14 http://172.17.4.1/private trixie-staging/main armhf python3.11 armhf 3.11.6-3 [586 kB]
Get:15 http://172.17.4.1/private trixie-staging/main armhf libpython3-stdlib armhf 3.11.4-5 [9200 B]
Get:16 http://172.17.4.1/private trixie-staging/main armhf python3 armhf 3.11.4-5 [26.2 kB]
Get:17 http://172.17.4.1/private trixie-staging/main armhf libblkid1 armhf 2.39.2-3 [144 kB]
Get:18 http://172.17.4.1/private trixie-staging/main armhf libmount1 armhf 2.39.2-3 [166 kB]
Get:19 http://172.17.4.1/private trixie-staging/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB]
Get:20 http://172.17.4.1/private trixie-staging/main armhf groff-base armhf 1.23.0-2 [1033 kB]
Get:21 http://172.17.4.1/private trixie-staging/main armhf bsdextrautils armhf 2.39.2-3 [80.7 kB]
Get:22 http://172.17.4.1/private trixie-staging/main armhf libpipeline1 armhf 1.5.7-1 [33.4 kB]
Get:23 http://172.17.4.1/private trixie-staging/main armhf man-db armhf 2.11.2-3 [1342 kB]
Get:24 http://172.17.4.1/private trixie-staging/main armhf libmagic-mgc armhf 1:5.45-2 [314 kB]
Get:25 http://172.17.4.1/private trixie-staging/main armhf libmagic1 armhf 1:5.45-2 [96.1 kB]
Get:26 http://172.17.4.1/private trixie-staging/main armhf file armhf 1:5.45-2 [41.6 kB]
Get:27 http://172.17.4.1/private trixie-staging/main armhf gettext-base armhf 0.21-13 [156 kB]
Get:28 http://172.17.4.1/private trixie-staging/main armhf hicolor-icon-theme all 0.17-2 [11.4 kB]
Get:29 http://172.17.4.1/private trixie-staging/main armhf libgdk-pixbuf2.0-common all 2.42.10+dfsg-1 [306 kB]
Get:30 http://172.17.4.1/private trixie-staging/main armhf libglib2.0-0 armhf 2.78.0-2+rpi1 [1249 kB]
Get:31 http://172.17.4.1/private trixie-staging/main armhf libicu72 armhf 72.1-3 [9009 kB]
Get:32 http://172.17.4.1/private trixie-staging/main armhf libxml2 armhf 2.9.14+dfsg-1.3 [571 kB]
Get:33 http://172.17.4.1/private trixie-staging/main armhf shared-mime-info armhf 2.2-1 [726 kB]
Get:34 http://172.17.4.1/private trixie-staging/main armhf libjpeg62-turbo armhf 1:2.1.5-2 [143 kB]
Get:35 http://172.17.4.1/private trixie-staging/main armhf libpng16-16 armhf 1.6.40-2 [258 kB]
Get:36 http://172.17.4.1/private trixie-staging/main armhf libdeflate0 armhf 1.18-1 [38.3 kB]
Get:37 http://172.17.4.1/private trixie-staging/main armhf libjbig0 armhf 2.1-6.1 [27.0 kB]
Get:38 http://172.17.4.1/private trixie-staging/main armhf liblerc4 armhf 4.0.0+ds-3 [133 kB]
Get:39 http://172.17.4.1/private trixie-staging/main armhf libsharpyuv0 armhf 1.3.2-0.3 [106 kB]
Get:40 http://172.17.4.1/private trixie-staging/main armhf libwebp7 armhf 1.3.2-0.3 [261 kB]
Get:41 http://172.17.4.1/private trixie-staging/main armhf libtiff6 armhf 4.5.1+git230720-1 [298 kB]
Get:42 http://172.17.4.1/private trixie-staging/main armhf libgdk-pixbuf-2.0-0 armhf 2.42.10+dfsg-1+b1 [123 kB]
Get:43 http://172.17.4.1/private trixie-staging/main armhf gtk-update-icon-cache armhf 3.24.38-5+rpi1 [43.8 kB]
Get:44 http://172.17.4.1/private trixie-staging/main armhf adwaita-icon-theme all 45.0-1 [739 kB]
Get:45 http://172.17.4.1/private trixie-staging/main armhf at-spi2-common all 2.50.0-1 [163 kB]
Get:46 http://172.17.4.1/private trixie-staging/main armhf m4 armhf 1.4.19-4 [256 kB]
Get:47 http://172.17.4.1/private trixie-staging/main armhf autoconf all 2.71-3 [332 kB]
Get:48 http://172.17.4.1/private trixie-staging/main armhf autotools-dev all 20220109.1 [51.6 kB]
Get:49 http://172.17.4.1/private trixie-staging/main armhf automake all 1:1.16.5-1.3 [823 kB]
Get:50 http://172.17.4.1/private trixie-staging/main armhf autopoint all 0.21-13 [496 kB]
Get:51 http://172.17.4.1/private trixie-staging/main armhf libdebhelper-perl all 13.11.6 [81.9 kB]
Get:52 http://172.17.4.1/private trixie-staging/main armhf libtool all 2.4.7-7 [517 kB]
Get:53 http://172.17.4.1/private trixie-staging/main armhf dh-autoreconf all 20 [17.1 kB]
Get:54 http://172.17.4.1/private trixie-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:55 http://172.17.4.1/private trixie-staging/main armhf libsub-override-perl all 0.09-4 [9304 B]
Get:56 http://172.17.4.1/private trixie-staging/main armhf libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB]
Get:57 http://172.17.4.1/private trixie-staging/main armhf dh-strip-nondeterminism all 1.13.1-1 [8620 B]
Get:58 http://172.17.4.1/private trixie-staging/main armhf libelf1 armhf 0.188-2.1+rpi1 [171 kB]
Get:59 http://172.17.4.1/private trixie-staging/main armhf dwz armhf 0.15-1 [92.4 kB]
Get:60 http://172.17.4.1/private trixie-staging/main armhf gettext armhf 0.21-13 [1201 kB]
Get:61 http://172.17.4.1/private trixie-staging/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get:62 http://172.17.4.1/private trixie-staging/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
Get:63 http://172.17.4.1/private trixie-staging/main armhf debhelper all 13.11.6 [952 kB]
Get:64 http://172.17.4.1/private trixie-staging/main armhf dh-ocaml all 2.0 [75.1 kB]
Get:65 http://172.17.4.1/private trixie-staging/main armhf libbrotli1 armhf 1.0.9-2+b3 [258 kB]
Get:66 http://172.17.4.1/private trixie-staging/main armhf libfreetype6 armhf 2.13.2+dfsg-1 [366 kB]
Get:67 http://172.17.4.1/private trixie-staging/main armhf fonts-dejavu-mono all 2.37-8 [489 kB]
Get:68 http://172.17.4.1/private trixie-staging/main armhf fonts-dejavu-core all 2.37-8 [840 kB]
Get:69 http://172.17.4.1/private trixie-staging/main armhf fontconfig-config armhf 2.14.2-6 [316 kB]
Get:70 http://172.17.4.1/private trixie-staging/main armhf libfontconfig1 armhf 2.14.2-6 [367 kB]
Get:71 http://172.17.4.1/private trixie-staging/main armhf fontconfig armhf 2.14.2-6 [461 kB]
Get:72 http://172.17.4.1/private trixie-staging/main armhf libgirepository-1.0-1 armhf 1.78.1-1 [88.8 kB]
Get:73 http://172.17.4.1/private trixie-staging/main armhf gir1.2-glib-2.0 armhf 1.78.1-1 [161 kB]
Get:74 http://172.17.4.1/private trixie-staging/main armhf libatk1.0-0 armhf 2.50.0-1 [42.1 kB]
Get:75 http://172.17.4.1/private trixie-staging/main armhf gir1.2-atk-1.0 armhf 2.50.0-1 [24.3 kB]
Get:76 http://172.17.4.1/private trixie-staging/main armhf libpixman-1-0 armhf 0.42.2-1 [461 kB]
Get:77 http://172.17.4.1/private trixie-staging/main armhf libxau6 armhf 1:1.0.9-1 [19.1 kB]
Get:78 http://172.17.4.1/private trixie-staging/main armhf libbsd0 armhf 0.11.7-4 [111 kB]
Get:79 http://172.17.4.1/private trixie-staging/main armhf libxdmcp6 armhf 1:1.1.2-3 [25.0 kB]
Get:80 http://172.17.4.1/private trixie-staging/main armhf libxcb1 armhf 1.15-1 [139 kB]
Get:81 http://172.17.4.1/private trixie-staging/main armhf libx11-data all 2:1.8.7-1 [328 kB]
Get:82 http://172.17.4.1/private trixie-staging/main armhf libx11-6 armhf 2:1.8.7-1 [729 kB]
Get:83 http://172.17.4.1/private trixie-staging/main armhf libxcb-render0 armhf 1.15-1 [114 kB]
Get:84 http://172.17.4.1/private trixie-staging/main armhf libxcb-shm0 armhf 1.15-1 [106 kB]
Get:85 http://172.17.4.1/private trixie-staging/main armhf libxext6 armhf 2:1.3.4-1 [48.0 kB]
Get:86 http://172.17.4.1/private trixie-staging/main armhf libxrender1 armhf 1:0.9.10-1.1 [30.0 kB]
Get:87 http://172.17.4.1/private trixie-staging/main armhf libcairo2 armhf 1.18.0-1 [425 kB]
Get:88 http://172.17.4.1/private trixie-staging/main armhf libcairo-gobject2 armhf 1.18.0-1 [128 kB]
Get:89 http://172.17.4.1/private trixie-staging/main armhf gir1.2-freedesktop armhf 1.78.1-1 [38.2 kB]
Get:90 http://172.17.4.1/private trixie-staging/main armhf gir1.2-gdkpixbuf-2.0 armhf 2.42.10+dfsg-1+b1 [13.5 kB]
Get:91 http://172.17.4.1/private trixie-staging/main armhf libgtk2.0-common all 2.24.33-2 [2700 kB]
Get:92 http://172.17.4.1/private trixie-staging/main armhf libgraphite2-3 armhf 1.3.14-1 [70.3 kB]
Get:93 http://172.17.4.1/private trixie-staging/main armhf libharfbuzz0b armhf 8.0.1-1 [2098 kB]
Get:94 http://172.17.4.1/private trixie-staging/main armhf gir1.2-harfbuzz-0.0 armhf 8.0.1-1 [1750 kB]
Get:95 http://172.17.4.1/private trixie-staging/main armhf libfribidi0 armhf 1.0.13-3 [69.9 kB]
Get:96 http://172.17.4.1/private trixie-staging/main armhf libthai-data all 0.1.29-1 [176 kB]
Get:97 http://172.17.4.1/private trixie-staging/main armhf libdatrie1 armhf 0.2.13-2+b2 [39.9 kB]
Get:98 http://172.17.4.1/private trixie-staging/main armhf libthai0 armhf 0.1.29-1 [54.5 kB]
Get:99 http://172.17.4.1/private trixie-staging/main armhf libpango-1.0-0 armhf 1.51.0+ds-2 [187 kB]
Get:100 http://172.17.4.1/private trixie-staging/main armhf libpangoft2-1.0-0 armhf 1.51.0+ds-2 [40.4 kB]
Get:101 http://172.17.4.1/private trixie-staging/main armhf libpangocairo-1.0-0 armhf 1.51.0+ds-2 [30.0 kB]
Get:102 http://172.17.4.1/private trixie-staging/main armhf libxft2 armhf 2.3.6-1 [53.7 kB]
Get:103 http://172.17.4.1/private trixie-staging/main armhf libpangoxft-1.0-0 armhf 1.51.0+ds-2 [24.2 kB]
Get:104 http://172.17.4.1/private trixie-staging/main armhf gir1.2-pango-1.0 armhf 1.51.0+ds-2 [37.4 kB]
Get:105 http://172.17.4.1/private trixie-staging/main armhf libavahi-common-data armhf 0.8-11 [110 kB]
Get:106 http://172.17.4.1/private trixie-staging/main armhf libavahi-common3 armhf 0.8-11 [39.0 kB]
Get:107 http://172.17.4.1/private trixie-staging/main armhf libdbus-1-3 armhf 1.14.10-1 [177 kB]
Get:108 http://172.17.4.1/private trixie-staging/main armhf libavahi-client3 armhf 0.8-11 [41.6 kB]
Get:109 http://172.17.4.1/private trixie-staging/main armhf libcups2 armhf 2.4.7-1 [206 kB]
Get:110 http://172.17.4.1/private trixie-staging/main armhf libxcomposite1 armhf 1:0.4.5-1 [16.2 kB]
Get:111 http://172.17.4.1/private trixie-staging/main armhf libxfixes3 armhf 1:6.0.0-2 [21.2 kB]
Get:112 http://172.17.4.1/private trixie-staging/main armhf libxcursor1 armhf 1:1.2.1-1 [38.0 kB]
Get:113 http://172.17.4.1/private trixie-staging/main armhf libxdamage1 armhf 1:1.1.6-1 [14.7 kB]
Get:114 http://172.17.4.1/private trixie-staging/main armhf libxi6 armhf 2:1.8-1 [78.1 kB]
Get:115 http://172.17.4.1/private trixie-staging/main armhf libxinerama1 armhf 2:1.1.4-3 [17.4 kB]
Get:116 http://172.17.4.1/private trixie-staging/main armhf libxrandr2 armhf 2:1.5.2-2 [35.5 kB]
Get:117 http://172.17.4.1/private trixie-staging/main armhf libgtk2.0-0 armhf 2.24.33-2 [1546 kB]
Get:118 http://172.17.4.1/private trixie-staging/main armhf gir1.2-gtk-2.0 armhf 2.24.33-2 [215 kB]
Get:119 http://172.17.4.1/private trixie-staging/main armhf icu-devtools armhf 72.1-3 [175 kB]
Get:120 http://172.17.4.1/private trixie-staging/main armhf libpkgconf3 armhf 1.8.1-1 [31.3 kB]
Get:121 http://172.17.4.1/private trixie-staging/main armhf pkgconf-bin armhf 1.8.1-1 [27.8 kB]
Get:122 http://172.17.4.1/private trixie-staging/main armhf pkgconf armhf 1.8.1-1 [25.9 kB]
Get:123 http://172.17.4.1/private trixie-staging/main armhf pkg-config armhf 1.8.1-1 [13.7 kB]
Get:124 http://172.17.4.1/private trixie-staging/main armhf libffi-dev armhf 3.4.4-1 [60.4 kB]
Get:125 http://172.17.4.1/private trixie-staging/main armhf libglib2.0-data all 2.78.0-2+rpi1 [1230 kB]
Get:126 http://172.17.4.1/private trixie-staging/main armhf libglib2.0-bin armhf 2.78.0-2+rpi1 [106 kB]
Get:127 http://172.17.4.1/private trixie-staging/main armhf python3-lib2to3 all 3.11.5-1 [77.5 kB]
Get:128 http://172.17.4.1/private trixie-staging/main armhf python3-distutils all 3.11.5-1 [131 kB]
Get:129 http://172.17.4.1/private trixie-staging/main armhf libglib2.0-dev-bin armhf 2.78.0-2+rpi1 [153 kB]
Get:130 http://172.17.4.1/private trixie-staging/main armhf uuid-dev armhf 2.39.2-3 [38.7 kB]
Get:131 http://172.17.4.1/private trixie-staging/main armhf libblkid-dev armhf 2.39.2-3 [177 kB]
Get:132 http://172.17.4.1/private trixie-staging/main armhf libsepol-dev armhf 3.5-1 [309 kB]
Get:133 http://172.17.4.1/private trixie-staging/main armhf libpcre2-16-0 armhf 10.42-4 [211 kB]
Get:134 http://172.17.4.1/private trixie-staging/main armhf libpcre2-32-0 armhf 10.42-4 [201 kB]
Get:135 http://172.17.4.1/private trixie-staging/main armhf libpcre2-posix3 armhf 10.42-4 [55.1 kB]
Get:136 http://172.17.4.1/private trixie-staging/main armhf libpcre2-dev armhf 10.42-4 [648 kB]
Get:137 http://172.17.4.1/private trixie-staging/main armhf libselinux1-dev armhf 3.5-1 [143 kB]
Get:138 http://172.17.4.1/private trixie-staging/main armhf libmount-dev armhf 2.39.2-3 [23.2 kB]
Get:139 http://172.17.4.1/private trixie-staging/main armhf zlib1g-dev armhf 1:1.2.13.dfsg-3 [901 kB]
Get:140 http://172.17.4.1/private trixie-staging/main armhf libglib2.0-dev armhf 2.78.0-2+rpi1 [1508 kB]
Get:141 http://172.17.4.1/private trixie-staging/main armhf libatk1.0-dev armhf 2.50.0-1 [103 kB]
Get:142 http://172.17.4.1/private trixie-staging/main armhf libbrotli-dev armhf 1.0.9-2+b3 [270 kB]
Get:143 http://172.17.4.1/private trixie-staging/main armhf libbz2-dev armhf 1.0.8-5+b2 [26.8 kB]
Get:144 http://172.17.4.1/private trixie-staging/main armhf liblzo2-2 armhf 2.10-2 [50.2 kB]
Get:145 http://172.17.4.1/private trixie-staging/main armhf libcairo-script-interpreter2 armhf 1.18.0-1 [48.4 kB]
Get:146 http://172.17.4.1/private trixie-staging/main armhf libexpat1-dev armhf 2.5.0-2 [130 kB]
Get:147 http://172.17.4.1/private trixie-staging/main armhf libpng-dev armhf 1.6.40-2 [336 kB]
Get:148 http://172.17.4.1/private trixie-staging/main armhf libfreetype-dev armhf 2.13.2+dfsg-1 [531 kB]
Get:149 http://172.17.4.1/private trixie-staging/main armhf libfontconfig-dev armhf 2.14.2-6 [385 kB]
Get:150 http://172.17.4.1/private trixie-staging/main armhf libpixman-1-dev armhf 0.42.2-1 [480 kB]
Get:151 http://172.17.4.1/private trixie-staging/main armhf x11-common all 1:7.7+23 [252 kB]
Get:152 http://172.17.4.1/private trixie-staging/main armhf libice6 armhf 2:1.0.10-1 [51.7 kB]
Get:153 http://172.17.4.1/private trixie-staging/main armhf libsm6 armhf 2:1.2.3-1 [32.9 kB]
Get:154 http://172.17.4.1/private trixie-staging/main armhf xorg-sgml-doctools all 1:1.11-1.1 [22.1 kB]
Get:155 http://172.17.4.1/private trixie-staging/main armhf x11proto-dev all 2023.2-1 [598 kB]
Get:156 http://172.17.4.1/private trixie-staging/main armhf x11proto-core-dev all 2023.2-1 [3288 B]
Get:157 http://172.17.4.1/private trixie-staging/main armhf libice-dev armhf 2:1.0.10-1 [58.7 kB]
Get:158 http://172.17.4.1/private trixie-staging/main armhf libsm-dev armhf 2:1.2.3-1 [35.4 kB]
Get:159 http://172.17.4.1/private trixie-staging/main armhf libxau-dev armhf 1:1.0.9-1 [22.3 kB]
Get:160 http://172.17.4.1/private trixie-staging/main armhf libxdmcp-dev armhf 1:1.1.2-3 [40.9 kB]
Get:161 http://172.17.4.1/private trixie-staging/main armhf xtrans-dev all 1.4.0-1 [98.7 kB]
Get:162 http://172.17.4.1/private trixie-staging/main armhf libpthread-stubs0-dev armhf 0.4-1 [5344 B]
Get:163 http://172.17.4.1/private trixie-staging/main armhf libxcb1-dev armhf 1.15-1 [175 kB]
Get:164 http://172.17.4.1/private trixie-staging/main armhf libx11-dev armhf 2:1.8.7-1 [807 kB]
Get:165 http://172.17.4.1/private trixie-staging/main armhf libxcb-render0-dev armhf 1.15-1 [117 kB]
Get:166 http://172.17.4.1/private trixie-staging/main armhf libxcb-shm0-dev armhf 1.15-1 [107 kB]
Get:167 http://172.17.4.1/private trixie-staging/main armhf libxext-dev armhf 2:1.3.4-1 [102 kB]
Get:168 http://172.17.4.1/private trixie-staging/main armhf libxrender-dev armhf 1:0.9.10-1.1 [37.6 kB]
Get:169 http://172.17.4.1/private trixie-staging/main armhf libcairo2-dev armhf 1.18.0-1 [42.8 kB]
Get:170 http://172.17.4.1/private trixie-staging/main armhf libstdlib-ocaml armhf 4.14.1-1+rpi1 [458 kB]
Get:171 http://172.17.4.1/private trixie-staging/main armhf ocaml-base armhf 4.14.1-1+rpi1 [335 kB]
Get:172 http://172.17.4.1/private trixie-staging/main armhf libcamlp-streams-ocaml armhf 5.0.1-3+b1 [7652 B]
Get:173 http://172.17.4.1/private trixie-staging/main armhf libstdlib-ocaml-dev armhf 4.14.1-1+rpi1 [7138 kB]
Get:174 http://172.17.4.1/private trixie-staging/main armhf libcompiler-libs-ocaml-dev armhf 4.14.1-1+rpi1 [32.1 MB]
Get:175 http://172.17.4.1/private trixie-staging/main armhf ocaml-interp armhf 4.14.1-1+rpi1 [6458 kB]
Get:176 http://172.17.4.1/private trixie-staging/main armhf libncurses6 armhf 6.4+20230625-2 [79.6 kB]
Get:177 http://172.17.4.1/private trixie-staging/main armhf libncurses-dev armhf 6.4+20230625-2 [290 kB]
Get:178 http://172.17.4.1/private trixie-staging/main armhf ocaml armhf 4.14.1-1+rpi1 [65.4 MB]
Get:179 http://172.17.4.1/private trixie-staging/main armhf libcamlp-streams-ocaml-dev armhf 5.0.1-3+b1 [21.9 kB]
Get:180 http://172.17.4.1/private trixie-staging/main armhf libcmdliner-ocaml-dev armhf 1.2.0-2+b1 [473 kB]
Get:181 http://172.17.4.1/private trixie-staging/main armhf libdatrie-dev armhf 0.2.13-2+b2 [15.2 kB]
Get:182 http://172.17.4.1/private trixie-staging/main armhf libdeflate-dev armhf 1.18-1 [45.8 kB]
Get:183 http://172.17.4.1/private trixie-staging/main armhf libdune-ocaml-dev armhf 3.10.0-2 [3968 kB]
Get:184 http://172.17.4.1/private trixie-staging/main armhf libev4 armhf 1:4.33-1 [38.2 kB]
Get:185 http://172.17.4.1/private trixie-staging/main armhf libfindlib-ocaml armhf 1.9.6-1+b2 [167 kB]
Get:186 http://172.17.4.1/private trixie-staging/main armhf libfmt-ocaml armhf 0.9.0-3+b1 [125 kB]
Get:187 http://172.17.4.1/private trixie-staging/main armhf libfribidi-dev armhf 1.0.13-3 [109 kB]
Get:188 http://172.17.4.1/private trixie-staging/main armhf libgdk-pixbuf2.0-bin armhf 2.42.10+dfsg-1+b1 [17.4 kB]
Get:189 http://172.17.4.1/private trixie-staging/main armhf libjpeg62-turbo-dev armhf 1:2.1.5-2 [258 kB]
Get:190 http://172.17.4.1/private trixie-staging/main armhf libjpeg-dev armhf 1:2.1.5-2 [71.8 kB]
Get:191 http://172.17.4.1/private trixie-staging/main armhf libjbig-dev armhf 2.1-6.1 [27.2 kB]
Get:192 http://172.17.4.1/private trixie-staging/main armhf liblzma-dev armhf 5.4.4-0.1 [269 kB]
Get:193 http://172.17.4.1/private trixie-staging/main armhf libzstd-dev armhf 1.5.5+dfsg2-1 [301 kB]
Get:194 http://172.17.4.1/private trixie-staging/main armhf libwebpdemux2 armhf 1.3.2-0.3 [106 kB]
Get:195 http://172.17.4.1/private trixie-staging/main armhf libwebpmux3 armhf 1.3.2-0.3 [116 kB]
Get:196 http://172.17.4.1/private trixie-staging/main armhf libwebpdecoder3 armhf 1.3.2-0.3 [177 kB]
Get:197 http://172.17.4.1/private trixie-staging/main armhf libsharpyuv-dev armhf 1.3.2-0.3 [108 kB]
Get:198 http://172.17.4.1/private trixie-staging/main armhf libwebp-dev armhf 1.3.2-0.3 [384 kB]
Get:199 http://172.17.4.1/private trixie-staging/main armhf libtiffxx6 armhf 4.5.1+git230720-1 [149 kB]
Get:200 http://172.17.4.1/private trixie-staging/main armhf liblerc-dev armhf 4.0.0+ds-3 [148 kB]
Get:201 http://172.17.4.1/private trixie-staging/main armhf libtiff-dev armhf 4.5.1+git230720-1 [421 kB]
Get:202 http://172.17.4.1/private trixie-staging/main armhf libgdk-pixbuf-2.0-dev armhf 2.42.10+dfsg-1+b1 [51.7 kB]
Get:203 http://172.17.4.1/private trixie-staging/main armhf libgen-ocaml armhf 1.1-1+b1 [188 kB]
Get:204 http://172.17.4.1/private trixie-staging/main armhf libgmpxx4ldbl armhf 2:6.3.0+dfsg-2 [328 kB]
Get:205 http://172.17.4.1/private trixie-staging/main armhf libgmp-dev armhf 2:6.3.0+dfsg-2 [577 kB]
Get:206 http://172.17.4.1/private trixie-staging/main armhf libgmp3-dev armhf 2:6.3.0+dfsg-2 [322 kB]
Get:207 http://172.17.4.1/private trixie-staging/main armhf libgraphics-ocaml armhf 5.1.2-3+b1 [45.2 kB]
Get:208 http://172.17.4.1/private trixie-staging/main armhf libgraphite2-dev armhf 1.3.14-1 [24.0 kB]
Get:209 http://172.17.4.1/private trixie-staging/main armhf libharfbuzz-icu0 armhf 8.0.1-1 [1723 kB]
Get:210 http://172.17.4.1/private trixie-staging/main armhf libharfbuzz-gobject0 armhf 8.0.1-1 [1738 kB]
Get:211 http://172.17.4.1/private trixie-staging/main armhf libharfbuzz-subset0 armhf 8.0.1-1 [2060 kB]
Get:212 http://172.17.4.1/private trixie-staging/main armhf libharfbuzz-cairo0 armhf 8.0.1-1 [1744 kB]
Get:213 http://172.17.4.1/private trixie-staging/main armhf libicu-dev armhf 72.1-3 [9959 kB]
Get:214 http://172.17.4.1/private trixie-staging/main armhf libharfbuzz-dev armhf 8.0.1-1 [1852 kB]
Get:215 http://172.17.4.1/private trixie-staging/main armhf libthai-dev armhf 0.1.29-1 [21.6 kB]
Get:216 http://172.17.4.1/private trixie-staging/main armhf libxft-dev armhf 2.3.6-1 [71.1 kB]
Get:217 http://172.17.4.1/private trixie-staging/main armhf pango1.0-tools armhf 1.51.0+ds-2 [37.5 kB]
Get:218 http://172.17.4.1/private trixie-staging/main armhf libpango1.0-dev armhf 1.51.0+ds-2 [152 kB]
Get:219 http://172.17.4.1/private trixie-staging/main armhf libxinerama-dev armhf 2:1.1.4-3 [19.7 kB]
Get:220 http://172.17.4.1/private trixie-staging/main armhf libxfixes-dev armhf 1:6.0.0-2 [23.2 kB]
Get:221 http://172.17.4.1/private trixie-staging/main armhf libxi-dev armhf 2:1.8-1 [238 kB]
Get:222 http://172.17.4.1/private trixie-staging/main armhf libxrandr-dev armhf 2:1.5.2-2 [43.2 kB]
Get:223 http://172.17.4.1/private trixie-staging/main armhf libxcursor-dev armhf 1:1.2.1-1 [48.7 kB]
Get:224 http://172.17.4.1/private trixie-staging/main armhf libxcomposite-dev armhf 1:0.4.5-1 [19.9 kB]
Get:225 http://172.17.4.1/private trixie-staging/main armhf libxdamage-dev armhf 1:1.1.6-1 [14.5 kB]
Get:226 http://172.17.4.1/private trixie-staging/main armhf libxml2-utils armhf 2.9.14+dfsg-1.3 [95.3 kB]
Get:227 http://172.17.4.1/private trixie-staging/main armhf libgtk2.0-dev armhf 2.24.33-2 [827 kB]
Get:228 http://172.17.4.1/private trixie-staging/main armhf libocplib-endian-ocaml armhf 1.2-3+b1 [73.1 kB]
Get:229 http://172.17.4.1/private trixie-staging/main armhf libreact-ocaml armhf 1.2.2-1+b1 [183 kB]
Get:230 http://172.17.4.1/private trixie-staging/main armhf libsexplib0-ocaml armhf 0.16.0-3+b1 [108 kB]
Get:231 http://172.17.4.1/private trixie-staging/main armhf liblwt-ocaml armhf 5.7.0-1+b1 [853 kB]
Get:232 http://172.17.4.1/private trixie-staging/main armhf liblwt-log-ocaml armhf 1.1.2-4+b2 [82.5 kB]
Get:233 http://172.17.4.1/private trixie-staging/main armhf libreactivedata-ocaml armhf 0.3-4+b1 [82.2 kB]
Get:234 http://172.17.4.1/private trixie-staging/main armhf libsedlex-ocaml armhf 3.2-1 [218 kB]
Get:235 http://172.17.4.1/private trixie-staging/main armhf libuutf-ocaml armhf 1.0.3-1+b1 [73.9 kB]
Get:236 http://172.17.4.1/private trixie-staging/main armhf libtyxml-ocaml armhf 4.5.0-4 [492 kB]
Get:237 http://172.17.4.1/private trixie-staging/main armhf libyojson-ocaml armhf 2.1.0-2 [613 kB]
Get:238 http://172.17.4.1/private trixie-staging/main armhf libjs-of-ocaml armhf 5.4.0-2+b1 [6462 kB]
Get:239 http://172.17.4.1/private trixie-staging/main armhf liblablgtk2-ocaml armhf 2.18.13-2+b1 [787 kB]
Get:240 http://172.17.4.1/private trixie-staging/main armhf liblablgtk2-ocaml-dev armhf 2.18.13-2+b1 [1523 kB]
Get:241 http://172.17.4.1/private trixie-staging/main armhf liblogs-ocaml armhf 0.7.0-3+b1 [76.2 kB]
Get:242 http://172.17.4.1/private trixie-staging/main armhf libnum-ocaml armhf 1.4-2+b2 [168 kB]
Get:243 http://172.17.4.1/private trixie-staging/main armhf libnum-ocaml-dev armhf 1.4-2+b2 [113 kB]
Get:244 http://172.17.4.1/private trixie-staging/main armhf libocamlgraph-ocaml-dev armhf 2.1.0-1 [5079 kB]
Get:245 http://172.17.4.1/private trixie-staging/main armhf libpsmt2-frontend-ocaml armhf 0.4.0-3+b1 [874 kB]
Get:246 http://172.17.4.1/private trixie-staging/main armhf libpsmt2-frontend-ocaml-dev armhf 0.4.0-3+b1 [1174 kB]
Get:247 http://172.17.4.1/private trixie-staging/main armhf libzarith-ocaml armhf 1.13-2+b1 [100 kB]
Get:248 http://172.17.4.1/private trixie-staging/main armhf libzarith-ocaml-dev armhf 1.13-2+b1 [101 kB]
Get:249 http://172.17.4.1/private trixie-staging/main armhf libzip-ocaml armhf 1.11-2+b1 [82.6 kB]
Get:250 http://172.17.4.1/private trixie-staging/main armhf libzip-ocaml-dev armhf 1.11-2+b1 [173 kB]
Get:251 http://172.17.4.1/private trixie-staging/main armhf menhir armhf 20230608+ds-1+b1 [1095 kB]
Get:252 http://172.17.4.1/private trixie-staging/main armhf ocaml-dune armhf 3.10.0-2 [3656 kB]
Get:253 http://172.17.4.1/private trixie-staging/main armhf ocaml-findlib armhf 1.9.6-1+b2 [441 kB]
Get:254 http://172.17.4.1/private trixie-staging/main armhf ocaml-nox all 4.14.1-1+rpi1 [169 kB]
Get:255 http://172.17.4.1/private trixie-staging/main armhf ocplib-simplex-ocaml-dev armhf 0.5-4+b1 [642 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 224 MB in 26s (8498 kB/s)
(Reading database ... 11774 files and directories currently installed.)
Preparing to unpack .../bsdutils_1%3a2.39.2-3_armhf.deb ...
Unpacking bsdutils (1:2.39.2-3) over (1:2.39.2-2.2) ...
Setting up bsdutils (1:2.39.2-3) ...
(Reading database ... 11774 files and directories currently installed.)
Preparing to unpack .../libsmartcols1_2.39.2-3_armhf.deb ...
Unpacking libsmartcols1:armhf (2.39.2-3) over (2.39.2-2.2) ...
Setting up libsmartcols1:armhf (2.39.2-3) ...
(Reading database ... 11774 files and directories currently installed.)
Preparing to unpack .../util-linux-extra_2.39.2-3_armhf.deb ...
Unpacking util-linux-extra (2.39.2-3) over (2.39.2-2.2) ...
Preparing to unpack .../util-linux_2.39.2-3_armhf.deb ...
Unpacking util-linux (2.39.2-3) over (2.39.2-2.2) ...
Setting up util-linux (2.39.2-3) ...
(Reading database ... 11774 files and directories currently installed.)
Preparing to unpack .../mount_2.39.2-3_armhf.deb ...
Unpacking mount (2.39.2-3) over (2.39.2-2.2) ...
Selecting previously unselected package libpython3.11-minimal:armhf.
Preparing to unpack .../libpython3.11-minimal_3.11.6-3_armhf.deb ...
Unpacking libpython3.11-minimal:armhf (3.11.6-3) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../libexpat1_2.5.0-2_armhf.deb ...
Unpacking libexpat1:armhf (2.5.0-2) ...
Selecting previously unselected package python3.11-minimal.
Preparing to unpack .../python3.11-minimal_3.11.6-3_armhf.deb ...
Unpacking python3.11-minimal (3.11.6-3) ...
Setting up libpython3.11-minimal:armhf (3.11.6-3) ...
Setting up libexpat1:armhf (2.5.0-2) ...
Setting up python3.11-minimal (3.11.6-3) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 12090 files and directories currently installed.)
Preparing to unpack .../python3-minimal_3.11.4-5_armhf.deb ...
Unpacking python3-minimal (3.11.4-5) ...
Selecting previously unselected package media-types.
Preparing to unpack .../media-types_10.1.0_all.deb ...
Unpacking media-types (10.1.0) ...
Preparing to unpack .../libuuid1_2.39.2-3_armhf.deb ...
Unpacking libuuid1:armhf (2.39.2-3) over (2.39.2-2.2) ...
Setting up libuuid1:armhf (2.39.2-3) ...
Selecting previously unselected package libpython3.11-stdlib:armhf.
(Reading database ... 12117 files and directories currently installed.)
Preparing to unpack .../libpython3.11-stdlib_3.11.6-3_armhf.deb ...
Unpacking libpython3.11-stdlib:armhf (3.11.6-3) ...
Selecting previously unselected package python3.11.
Preparing to unpack .../python3.11_3.11.6-3_armhf.deb ...
Unpacking python3.11 (3.11.6-3) ...
Selecting previously unselected package libpython3-stdlib:armhf.
Preparing to unpack .../libpython3-stdlib_3.11.4-5_armhf.deb ...
Unpacking libpython3-stdlib:armhf (3.11.4-5) ...
Setting up python3-minimal (3.11.4-5) ...
Selecting previously unselected package python3.
(Reading database ... 12506 files and directories currently installed.)
Preparing to unpack .../python3_3.11.4-5_armhf.deb ...
Unpacking python3 (3.11.4-5) ...
Preparing to unpack .../libblkid1_2.39.2-3_armhf.deb ...
Unpacking libblkid1:armhf (2.39.2-3) over (2.39.2-2.2) ...
Setting up libblkid1:armhf (2.39.2-3) ...
(Reading database ... 12527 files and directories currently installed.)
Preparing to unpack .../libmount1_2.39.2-3_armhf.deb ...
Unpacking libmount1:armhf (2.39.2-3) over (2.39.2-2.2) ...
Setting up libmount1:armhf (2.39.2-3) ...
Selecting previously unselected package libuchardet0:armhf.
(Reading database ... 12527 files and directories currently installed.)
Preparing to unpack .../000-libuchardet0_0.0.7-1_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../001-groff-base_1.23.0-2_armhf.deb ...
Unpacking groff-base (1.23.0-2) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../002-bsdextrautils_2.39.2-3_armhf.deb ...
Unpacking bsdextrautils (2.39.2-3) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../003-libpipeline1_1.5.7-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.7-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../004-man-db_2.11.2-3_armhf.deb ...
Unpacking man-db (2.11.2-3) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../005-libmagic-mgc_1%3a5.45-2_armhf.deb ...
Unpacking libmagic-mgc (1:5.45-2) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../006-libmagic1_1%3a5.45-2_armhf.deb ...
Unpacking libmagic1:armhf (1:5.45-2) ...
Selecting previously unselected package file.
Preparing to unpack .../007-file_1%3a5.45-2_armhf.deb ...
Unpacking file (1:5.45-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../008-gettext-base_0.21-13_armhf.deb ...
Unpacking gettext-base (0.21-13) ...
Selecting previously unselected package hicolor-icon-theme.
Preparing to unpack .../009-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 .../010-libgdk-pixbuf2.0-common_2.42.10+dfsg-1_all.deb ...
Unpacking libgdk-pixbuf2.0-common (2.42.10+dfsg-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../011-libglib2.0-0_2.78.0-2+rpi1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.78.0-2+rpi1) ...
Selecting previously unselected package libicu72:armhf.
Preparing to unpack .../012-libicu72_72.1-3_armhf.deb ...
Unpacking libicu72:armhf (72.1-3) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../013-libxml2_2.9.14+dfsg-1.3_armhf.deb ...
Unpacking libxml2:armhf (2.9.14+dfsg-1.3) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../014-shared-mime-info_2.2-1_armhf.deb ...
Unpacking shared-mime-info (2.2-1) ...
Selecting previously unselected package libjpeg62-turbo:armhf.
Preparing to unpack .../015-libjpeg62-turbo_1%3a2.1.5-2_armhf.deb ...
Unpacking libjpeg62-turbo:armhf (1:2.1.5-2) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../016-libpng16-16_1.6.40-2_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.40-2) ...
Selecting previously unselected package libdeflate0:armhf.
Preparing to unpack .../017-libdeflate0_1.18-1_armhf.deb ...
Unpacking libdeflate0:armhf (1.18-1) ...
Selecting previously unselected package libjbig0:armhf.
Preparing to unpack .../018-libjbig0_2.1-6.1_armhf.deb ...
Unpacking libjbig0:armhf (2.1-6.1) ...
Selecting previously unselected package liblerc4:armhf.
Preparing to unpack .../019-liblerc4_4.0.0+ds-3_armhf.deb ...
Unpacking liblerc4:armhf (4.0.0+ds-3) ...
Selecting previously unselected package libsharpyuv0:armhf.
Preparing to unpack .../020-libsharpyuv0_1.3.2-0.3_armhf.deb ...
Unpacking libsharpyuv0:armhf (1.3.2-0.3) ...
Selecting previously unselected package libwebp7:armhf.
Preparing to unpack .../021-libwebp7_1.3.2-0.3_armhf.deb ...
Unpacking libwebp7:armhf (1.3.2-0.3) ...
Selecting previously unselected package libtiff6:armhf.
Preparing to unpack .../022-libtiff6_4.5.1+git230720-1_armhf.deb ...
Unpacking libtiff6:armhf (4.5.1+git230720-1) ...
Selecting previously unselected package libgdk-pixbuf-2.0-0:armhf.
Preparing to unpack .../023-libgdk-pixbuf-2.0-0_2.42.10+dfsg-1+b1_armhf.deb ...
Unpacking libgdk-pixbuf-2.0-0:armhf (2.42.10+dfsg-1+b1) ...
Selecting previously unselected package gtk-update-icon-cache.
Preparing to unpack .../024-gtk-update-icon-cache_3.24.38-5+rpi1_armhf.deb ...
Unpacking gtk-update-icon-cache (3.24.38-5+rpi1) ...
Selecting previously unselected package adwaita-icon-theme.
Preparing to unpack .../025-adwaita-icon-theme_45.0-1_all.deb ...
Unpacking adwaita-icon-theme (45.0-1) ...
Selecting previously unselected package at-spi2-common.
Preparing to unpack .../026-at-spi2-common_2.50.0-1_all.deb ...
Unpacking at-spi2-common (2.50.0-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../027-m4_1.4.19-4_armhf.deb ...
Unpacking m4 (1.4.19-4) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../028-autoconf_2.71-3_all.deb ...
Unpacking autoconf (2.71-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../029-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../030-automake_1%3a1.16.5-1.3_all.deb ...
Unpacking automake (1:1.16.5-1.3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../031-autopoint_0.21-13_all.deb ...
Unpacking autopoint (0.21-13) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../032-libdebhelper-perl_13.11.6_all.deb ...
Unpacking libdebhelper-perl (13.11.6) ...
Selecting previously unselected package libtool.
Preparing to unpack .../033-libtool_2.4.7-7_all.deb ...
Unpacking libtool (2.4.7-7) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../034-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../035-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 .../036-libsub-override-perl_0.09-4_all.deb ...
Unpacking libsub-override-perl (0.09-4) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../037-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../038-dh-strip-nondeterminism_1.13.1-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.13.1-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../039-libelf1_0.188-2.1+rpi1_armhf.deb ...
Unpacking libelf1:armhf (0.188-2.1+rpi1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../040-dwz_0.15-1_armhf.deb ...
Unpacking dwz (0.15-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../041-gettext_0.21-13_armhf.deb ...
Unpacking gettext (0.21-13) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../042-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../043-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../044-debhelper_13.11.6_all.deb ...
Unpacking debhelper (13.11.6) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../045-dh-ocaml_2.0_all.deb ...
Unpacking dh-ocaml (2.0) ...
Selecting previously unselected package libbrotli1:armhf.
Preparing to unpack .../046-libbrotli1_1.0.9-2+b3_armhf.deb ...
Unpacking libbrotli1:armhf (1.0.9-2+b3) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../047-libfreetype6_2.13.2+dfsg-1_armhf.deb ...
Unpacking libfreetype6:armhf (2.13.2+dfsg-1) ...
Selecting previously unselected package fonts-dejavu-mono.
Preparing to unpack .../048-fonts-dejavu-mono_2.37-8_all.deb ...
Unpacking fonts-dejavu-mono (2.37-8) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../049-fonts-dejavu-core_2.37-8_all.deb ...
Unpacking fonts-dejavu-core (2.37-8) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../050-fontconfig-config_2.14.2-6_armhf.deb ...
Unpacking fontconfig-config (2.14.2-6) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../051-libfontconfig1_2.14.2-6_armhf.deb ...
Unpacking libfontconfig1:armhf (2.14.2-6) ...
Selecting previously unselected package fontconfig.
Preparing to unpack .../052-fontconfig_2.14.2-6_armhf.deb ...
Unpacking fontconfig (2.14.2-6) ...
Selecting previously unselected package libgirepository-1.0-1:armhf.
Preparing to unpack .../053-libgirepository-1.0-1_1.78.1-1_armhf.deb ...
Unpacking libgirepository-1.0-1:armhf (1.78.1-1) ...
Selecting previously unselected package gir1.2-glib-2.0:armhf.
Preparing to unpack .../054-gir1.2-glib-2.0_1.78.1-1_armhf.deb ...
Unpacking gir1.2-glib-2.0:armhf (1.78.1-1) ...
Selecting previously unselected package libatk1.0-0:armhf.
Preparing to unpack .../055-libatk1.0-0_2.50.0-1_armhf.deb ...
Unpacking libatk1.0-0:armhf (2.50.0-1) ...
Selecting previously unselected package gir1.2-atk-1.0:armhf.
Preparing to unpack .../056-gir1.2-atk-1.0_2.50.0-1_armhf.deb ...
Unpacking gir1.2-atk-1.0:armhf (2.50.0-1) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../057-libpixman-1-0_0.42.2-1_armhf.deb ...
Unpacking libpixman-1-0:armhf (0.42.2-1) ...
Selecting previously unselected package libxau6:armhf.
Preparing to unpack .../058-libxau6_1%3a1.0.9-1_armhf.deb ...
Unpacking libxau6:armhf (1:1.0.9-1) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../059-libbsd0_0.11.7-4_armhf.deb ...
Unpacking libbsd0:armhf (0.11.7-4) ...
Selecting previously unselected package libxdmcp6:armhf.
Preparing to unpack .../060-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 .../061-libxcb1_1.15-1_armhf.deb ...
Unpacking libxcb1:armhf (1.15-1) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../062-libx11-data_2%3a1.8.7-1_all.deb ...
Unpacking libx11-data (2:1.8.7-1) ...
Selecting previously unselected package libx11-6:armhf.
Preparing to unpack .../063-libx11-6_2%3a1.8.7-1_armhf.deb ...
Unpacking libx11-6:armhf (2:1.8.7-1) ...
Selecting previously unselected package libxcb-render0:armhf.
Preparing to unpack .../064-libxcb-render0_1.15-1_armhf.deb ...
Unpacking libxcb-render0:armhf (1.15-1) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../065-libxcb-shm0_1.15-1_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.15-1) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../066-libxext6_2%3a1.3.4-1_armhf.deb ...
Unpacking libxext6:armhf (2:1.3.4-1) ...
Selecting previously unselected package libxrender1:armhf.
Preparing to unpack .../067-libxrender1_1%3a0.9.10-1.1_armhf.deb ...
Unpacking libxrender1:armhf (1:0.9.10-1.1) ...
Selecting previously unselected package libcairo2:armhf.
Preparing to unpack .../068-libcairo2_1.18.0-1_armhf.deb ...
Unpacking libcairo2:armhf (1.18.0-1) ...
Selecting previously unselected package libcairo-gobject2:armhf.
Preparing to unpack .../069-libcairo-gobject2_1.18.0-1_armhf.deb ...
Unpacking libcairo-gobject2:armhf (1.18.0-1) ...
Selecting previously unselected package gir1.2-freedesktop:armhf.
Preparing to unpack .../070-gir1.2-freedesktop_1.78.1-1_armhf.deb ...
Unpacking gir1.2-freedesktop:armhf (1.78.1-1) ...
Selecting previously unselected package gir1.2-gdkpixbuf-2.0:armhf.
Preparing to unpack .../071-gir1.2-gdkpixbuf-2.0_2.42.10+dfsg-1+b1_armhf.deb ...
Unpacking gir1.2-gdkpixbuf-2.0:armhf (2.42.10+dfsg-1+b1) ...
Selecting previously unselected package libgtk2.0-common.
Preparing to unpack .../072-libgtk2.0-common_2.24.33-2_all.deb ...
Unpacking libgtk2.0-common (2.24.33-2) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../073-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 .../074-libharfbuzz0b_8.0.1-1_armhf.deb ...
Unpacking libharfbuzz0b:armhf (8.0.1-1) ...
Selecting previously unselected package gir1.2-harfbuzz-0.0:armhf.
Preparing to unpack .../075-gir1.2-harfbuzz-0.0_8.0.1-1_armhf.deb ...
Unpacking gir1.2-harfbuzz-0.0:armhf (8.0.1-1) ...
Selecting previously unselected package libfribidi0:armhf.
Preparing to unpack .../076-libfribidi0_1.0.13-3_armhf.deb ...
Unpacking libfribidi0:armhf (1.0.13-3) ...
Selecting previously unselected package libthai-data.
Preparing to unpack .../077-libthai-data_0.1.29-1_all.deb ...
Unpacking libthai-data (0.1.29-1) ...
Selecting previously unselected package libdatrie1:armhf.
Preparing to unpack .../078-libdatrie1_0.2.13-2+b2_armhf.deb ...
Unpacking libdatrie1:armhf (0.2.13-2+b2) ...
Selecting previously unselected package libthai0:armhf.
Preparing to unpack .../079-libthai0_0.1.29-1_armhf.deb ...
Unpacking libthai0:armhf (0.1.29-1) ...
Selecting previously unselected package libpango-1.0-0:armhf.
Preparing to unpack .../080-libpango-1.0-0_1.51.0+ds-2_armhf.deb ...
Unpacking libpango-1.0-0:armhf (1.51.0+ds-2) ...
Selecting previously unselected package libpangoft2-1.0-0:armhf.
Preparing to unpack .../081-libpangoft2-1.0-0_1.51.0+ds-2_armhf.deb ...
Unpacking libpangoft2-1.0-0:armhf (1.51.0+ds-2) ...
Selecting previously unselected package libpangocairo-1.0-0:armhf.
Preparing to unpack .../082-libpangocairo-1.0-0_1.51.0+ds-2_armhf.deb ...
Unpacking libpangocairo-1.0-0:armhf (1.51.0+ds-2) ...
Selecting previously unselected package libxft2:armhf.
Preparing to unpack .../083-libxft2_2.3.6-1_armhf.deb ...
Unpacking libxft2:armhf (2.3.6-1) ...
Selecting previously unselected package libpangoxft-1.0-0:armhf.
Preparing to unpack .../084-libpangoxft-1.0-0_1.51.0+ds-2_armhf.deb ...
Unpacking libpangoxft-1.0-0:armhf (1.51.0+ds-2) ...
Selecting previously unselected package gir1.2-pango-1.0:armhf.
Preparing to unpack .../085-gir1.2-pango-1.0_1.51.0+ds-2_armhf.deb ...
Unpacking gir1.2-pango-1.0:armhf (1.51.0+ds-2) ...
Selecting previously unselected package libavahi-common-data:armhf.
Preparing to unpack .../086-libavahi-common-data_0.8-11_armhf.deb ...
Unpacking libavahi-common-data:armhf (0.8-11) ...
Selecting previously unselected package libavahi-common3:armhf.
Preparing to unpack .../087-libavahi-common3_0.8-11_armhf.deb ...
Unpacking libavahi-common3:armhf (0.8-11) ...
Selecting previously unselected package libdbus-1-3:armhf.
Preparing to unpack .../088-libdbus-1-3_1.14.10-1_armhf.deb ...
Unpacking libdbus-1-3:armhf (1.14.10-1) ...
Selecting previously unselected package libavahi-client3:armhf.
Preparing to unpack .../089-libavahi-client3_0.8-11_armhf.deb ...
Unpacking libavahi-client3:armhf (0.8-11) ...
Selecting previously unselected package libcups2:armhf.
Preparing to unpack .../090-libcups2_2.4.7-1_armhf.deb ...
Unpacking libcups2:armhf (2.4.7-1) ...
Selecting previously unselected package libxcomposite1:armhf.
Preparing to unpack .../091-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 .../092-libxfixes3_1%3a6.0.0-2_armhf.deb ...
Unpacking libxfixes3:armhf (1:6.0.0-2) ...
Selecting previously unselected package libxcursor1:armhf.
Preparing to unpack .../093-libxcursor1_1%3a1.2.1-1_armhf.deb ...
Unpacking libxcursor1:armhf (1:1.2.1-1) ...
Selecting previously unselected package libxdamage1:armhf.
Preparing to unpack .../094-libxdamage1_1%3a1.1.6-1_armhf.deb ...
Unpacking libxdamage1:armhf (1:1.1.6-1) ...
Selecting previously unselected package libxi6:armhf.
Preparing to unpack .../095-libxi6_2%3a1.8-1_armhf.deb ...
Unpacking libxi6:armhf (2:1.8-1) ...
Selecting previously unselected package libxinerama1:armhf.
Preparing to unpack .../096-libxinerama1_2%3a1.1.4-3_armhf.deb ...
Unpacking libxinerama1:armhf (2:1.1.4-3) ...
Selecting previously unselected package libxrandr2:armhf.
Preparing to unpack .../097-libxrandr2_2%3a1.5.2-2_armhf.deb ...
Unpacking libxrandr2:armhf (2:1.5.2-2) ...
Selecting previously unselected package libgtk2.0-0:armhf.
Preparing to unpack .../098-libgtk2.0-0_2.24.33-2_armhf.deb ...
Unpacking libgtk2.0-0:armhf (2.24.33-2) ...
Selecting previously unselected package gir1.2-gtk-2.0:armhf.
Preparing to unpack .../099-gir1.2-gtk-2.0_2.24.33-2_armhf.deb ...
Unpacking gir1.2-gtk-2.0:armhf (2.24.33-2) ...
Selecting previously unselected package icu-devtools.
Preparing to unpack .../100-icu-devtools_72.1-3_armhf.deb ...
Unpacking icu-devtools (72.1-3) ...
Selecting previously unselected package libpkgconf3:armhf.
Preparing to unpack .../101-libpkgconf3_1.8.1-1_armhf.deb ...
Unpacking libpkgconf3:armhf (1.8.1-1) ...
Selecting previously unselected package pkgconf-bin.
Preparing to unpack .../102-pkgconf-bin_1.8.1-1_armhf.deb ...
Unpacking pkgconf-bin (1.8.1-1) ...
Selecting previously unselected package pkgconf:armhf.
Preparing to unpack .../103-pkgconf_1.8.1-1_armhf.deb ...
Unpacking pkgconf:armhf (1.8.1-1) ...
Selecting previously unselected package pkg-config:armhf.
Preparing to unpack .../104-pkg-config_1.8.1-1_armhf.deb ...
Unpacking pkg-config:armhf (1.8.1-1) ...
Selecting previously unselected package libffi-dev:armhf.
Preparing to unpack .../105-libffi-dev_3.4.4-1_armhf.deb ...
Unpacking libffi-dev:armhf (3.4.4-1) ...
Selecting previously unselected package libglib2.0-data.
Preparing to unpack .../106-libglib2.0-data_2.78.0-2+rpi1_all.deb ...
Unpacking libglib2.0-data (2.78.0-2+rpi1) ...
Selecting previously unselected package libglib2.0-bin.
Preparing to unpack .../107-libglib2.0-bin_2.78.0-2+rpi1_armhf.deb ...
Unpacking libglib2.0-bin (2.78.0-2+rpi1) ...
Selecting previously unselected package python3-lib2to3.
Preparing to unpack .../108-python3-lib2to3_3.11.5-1_all.deb ...
Unpacking python3-lib2to3 (3.11.5-1) ...
Selecting previously unselected package python3-distutils.
Preparing to unpack .../109-python3-distutils_3.11.5-1_all.deb ...
Unpacking python3-distutils (3.11.5-1) ...
Selecting previously unselected package libglib2.0-dev-bin.
Preparing to unpack .../110-libglib2.0-dev-bin_2.78.0-2+rpi1_armhf.deb ...
Unpacking libglib2.0-dev-bin (2.78.0-2+rpi1) ...
Selecting previously unselected package uuid-dev:armhf.
Preparing to unpack .../111-uuid-dev_2.39.2-3_armhf.deb ...
Unpacking uuid-dev:armhf (2.39.2-3) ...
Selecting previously unselected package libblkid-dev:armhf.
Preparing to unpack .../112-libblkid-dev_2.39.2-3_armhf.deb ...
Unpacking libblkid-dev:armhf (2.39.2-3) ...
Selecting previously unselected package libsepol-dev:armhf.
Preparing to unpack .../113-libsepol-dev_3.5-1_armhf.deb ...
Unpacking libsepol-dev:armhf (3.5-1) ...
Selecting previously unselected package libpcre2-16-0:armhf.
Preparing to unpack .../114-libpcre2-16-0_10.42-4_armhf.deb ...
Unpacking libpcre2-16-0:armhf (10.42-4) ...
Selecting previously unselected package libpcre2-32-0:armhf.
Preparing to unpack .../115-libpcre2-32-0_10.42-4_armhf.deb ...
Unpacking libpcre2-32-0:armhf (10.42-4) ...
Selecting previously unselected package libpcre2-posix3:armhf.
Preparing to unpack .../116-libpcre2-posix3_10.42-4_armhf.deb ...
Unpacking libpcre2-posix3:armhf (10.42-4) ...
Selecting previously unselected package libpcre2-dev:armhf.
Preparing to unpack .../117-libpcre2-dev_10.42-4_armhf.deb ...
Unpacking libpcre2-dev:armhf (10.42-4) ...
Selecting previously unselected package libselinux1-dev:armhf.
Preparing to unpack .../118-libselinux1-dev_3.5-1_armhf.deb ...
Unpacking libselinux1-dev:armhf (3.5-1) ...
Selecting previously unselected package libmount-dev:armhf.
Preparing to unpack .../119-libmount-dev_2.39.2-3_armhf.deb ...
Unpacking libmount-dev:armhf (2.39.2-3) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../120-zlib1g-dev_1%3a1.2.13.dfsg-3_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.13.dfsg-3) ...
Selecting previously unselected package libglib2.0-dev:armhf.
Preparing to unpack .../121-libglib2.0-dev_2.78.0-2+rpi1_armhf.deb ...
Unpacking libglib2.0-dev:armhf (2.78.0-2+rpi1) ...
Selecting previously unselected package libatk1.0-dev:armhf.
Preparing to unpack .../122-libatk1.0-dev_2.50.0-1_armhf.deb ...
Unpacking libatk1.0-dev:armhf (2.50.0-1) ...
Selecting previously unselected package libbrotli-dev:armhf.
Preparing to unpack .../123-libbrotli-dev_1.0.9-2+b3_armhf.deb ...
Unpacking libbrotli-dev:armhf (1.0.9-2+b3) ...
Selecting previously unselected package libbz2-dev:armhf.
Preparing to unpack .../124-libbz2-dev_1.0.8-5+b2_armhf.deb ...
Unpacking libbz2-dev:armhf (1.0.8-5+b2) ...
Selecting previously unselected package liblzo2-2:armhf.
Preparing to unpack .../125-liblzo2-2_2.10-2_armhf.deb ...
Unpacking liblzo2-2:armhf (2.10-2) ...
Selecting previously unselected package libcairo-script-interpreter2:armhf.
Preparing to unpack .../126-libcairo-script-interpreter2_1.18.0-1_armhf.deb ...
Unpacking libcairo-script-interpreter2:armhf (1.18.0-1) ...
Selecting previously unselected package libexpat1-dev:armhf.
Preparing to unpack .../127-libexpat1-dev_2.5.0-2_armhf.deb ...
Unpacking libexpat1-dev:armhf (2.5.0-2) ...
Selecting previously unselected package libpng-dev:armhf.
Preparing to unpack .../128-libpng-dev_1.6.40-2_armhf.deb ...
Unpacking libpng-dev:armhf (1.6.40-2) ...
Selecting previously unselected package libfreetype-dev:armhf.
Preparing to unpack .../129-libfreetype-dev_2.13.2+dfsg-1_armhf.deb ...
Unpacking libfreetype-dev:armhf (2.13.2+dfsg-1) ...
Selecting previously unselected package libfontconfig-dev:armhf.
Preparing to unpack .../130-libfontconfig-dev_2.14.2-6_armhf.deb ...
Unpacking libfontconfig-dev:armhf (2.14.2-6) ...
Selecting previously unselected package libpixman-1-dev:armhf.
Preparing to unpack .../131-libpixman-1-dev_0.42.2-1_armhf.deb ...
Unpacking libpixman-1-dev:armhf (0.42.2-1) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../132-x11-common_1%3a7.7+23_all.deb ...
Unpacking x11-common (1:7.7+23) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../133-libice6_2%3a1.0.10-1_armhf.deb ...
Unpacking libice6:armhf (2:1.0.10-1) ...
Selecting previously unselected package libsm6:armhf.
Preparing to unpack .../134-libsm6_2%3a1.2.3-1_armhf.deb ...
Unpacking libsm6:armhf (2:1.2.3-1) ...
Selecting previously unselected package xorg-sgml-doctools.
Preparing to unpack .../135-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 .../136-x11proto-dev_2023.2-1_all.deb ...
Unpacking x11proto-dev (2023.2-1) ...
Selecting previously unselected package x11proto-core-dev.
Preparing to unpack .../137-x11proto-core-dev_2023.2-1_all.deb ...
Unpacking x11proto-core-dev (2023.2-1) ...
Selecting previously unselected package libice-dev:armhf.
Preparing to unpack .../138-libice-dev_2%3a1.0.10-1_armhf.deb ...
Unpacking libice-dev:armhf (2:1.0.10-1) ...
Selecting previously unselected package libsm-dev:armhf.
Preparing to unpack .../139-libsm-dev_2%3a1.2.3-1_armhf.deb ...
Unpacking libsm-dev:armhf (2:1.2.3-1) ...
Selecting previously unselected package libxau-dev:armhf.
Preparing to unpack .../140-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 .../141-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 .../142-xtrans-dev_1.4.0-1_all.deb ...
Unpacking xtrans-dev (1.4.0-1) ...
Selecting previously unselected package libpthread-stubs0-dev:armhf.
Preparing to unpack .../143-libpthread-stubs0-dev_0.4-1_armhf.deb ...
Unpacking libpthread-stubs0-dev:armhf (0.4-1) ...
Selecting previously unselected package libxcb1-dev:armhf.
Preparing to unpack .../144-libxcb1-dev_1.15-1_armhf.deb ...
Unpacking libxcb1-dev:armhf (1.15-1) ...
Selecting previously unselected package libx11-dev:armhf.
Preparing to unpack .../145-libx11-dev_2%3a1.8.7-1_armhf.deb ...
Unpacking libx11-dev:armhf (2:1.8.7-1) ...
Selecting previously unselected package libxcb-render0-dev:armhf.
Preparing to unpack .../146-libxcb-render0-dev_1.15-1_armhf.deb ...
Unpacking libxcb-render0-dev:armhf (1.15-1) ...
Selecting previously unselected package libxcb-shm0-dev:armhf.
Preparing to unpack .../147-libxcb-shm0-dev_1.15-1_armhf.deb ...
Unpacking libxcb-shm0-dev:armhf (1.15-1) ...
Selecting previously unselected package libxext-dev:armhf.
Preparing to unpack .../148-libxext-dev_2%3a1.3.4-1_armhf.deb ...
Unpacking libxext-dev:armhf (2:1.3.4-1) ...
Selecting previously unselected package libxrender-dev:armhf.
Preparing to unpack .../149-libxrender-dev_1%3a0.9.10-1.1_armhf.deb ...
Unpacking libxrender-dev:armhf (1:0.9.10-1.1) ...
Selecting previously unselected package libcairo2-dev:armhf.
Preparing to unpack .../150-libcairo2-dev_1.18.0-1_armhf.deb ...
Unpacking libcairo2-dev:armhf (1.18.0-1) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../151-libstdlib-ocaml_4.14.1-1+rpi1_armhf.deb ...
Unpacking libstdlib-ocaml (4.14.1-1+rpi1) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../152-ocaml-base_4.14.1-1+rpi1_armhf.deb ...
Unpacking ocaml-base (4.14.1-1+rpi1) ...
Selecting previously unselected package libcamlp-streams-ocaml.
Preparing to unpack .../153-libcamlp-streams-ocaml_5.0.1-3+b1_armhf.deb ...
Unpacking libcamlp-streams-ocaml (5.0.1-3+b1) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../154-libstdlib-ocaml-dev_4.14.1-1+rpi1_armhf.deb ...
Unpacking libstdlib-ocaml-dev (4.14.1-1+rpi1) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../155-libcompiler-libs-ocaml-dev_4.14.1-1+rpi1_armhf.deb ...
Unpacking libcompiler-libs-ocaml-dev (4.14.1-1+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../156-ocaml-interp_4.14.1-1+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.14.1-1+rpi1) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../157-libncurses6_6.4+20230625-2_armhf.deb ...
Unpacking libncurses6:armhf (6.4+20230625-2) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../158-libncurses-dev_6.4+20230625-2_armhf.deb ...
Unpacking libncurses-dev:armhf (6.4+20230625-2) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../159-ocaml_4.14.1-1+rpi1_armhf.deb ...
Unpacking ocaml (4.14.1-1+rpi1) ...
Selecting previously unselected package libcamlp-streams-ocaml-dev.
Preparing to unpack .../160-libcamlp-streams-ocaml-dev_5.0.1-3+b1_armhf.deb ...
Unpacking libcamlp-streams-ocaml-dev (5.0.1-3+b1) ...
Selecting previously unselected package libcmdliner-ocaml-dev.
Preparing to unpack .../161-libcmdliner-ocaml-dev_1.2.0-2+b1_armhf.deb ...
Unpacking libcmdliner-ocaml-dev (1.2.0-2+b1) ...
Selecting previously unselected package libdatrie-dev:armhf.
Preparing to unpack .../162-libdatrie-dev_0.2.13-2+b2_armhf.deb ...
Unpacking libdatrie-dev:armhf (0.2.13-2+b2) ...
Selecting previously unselected package libdeflate-dev:armhf.
Preparing to unpack .../163-libdeflate-dev_1.18-1_armhf.deb ...
Unpacking libdeflate-dev:armhf (1.18-1) ...
Selecting previously unselected package libdune-ocaml-dev.
Preparing to unpack .../164-libdune-ocaml-dev_3.10.0-2_armhf.deb ...
Unpacking libdune-ocaml-dev (3.10.0-2) ...
Selecting previously unselected package libev4:armhf.
Preparing to unpack .../165-libev4_1%3a4.33-1_armhf.deb ...
Unpacking libev4:armhf (1:4.33-1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../166-libfindlib-ocaml_1.9.6-1+b2_armhf.deb ...
Unpacking libfindlib-ocaml (1.9.6-1+b2) ...
Selecting previously unselected package libfmt-ocaml.
Preparing to unpack .../167-libfmt-ocaml_0.9.0-3+b1_armhf.deb ...
Unpacking libfmt-ocaml (0.9.0-3+b1) ...
Selecting previously unselected package libfribidi-dev:armhf.
Preparing to unpack .../168-libfribidi-dev_1.0.13-3_armhf.deb ...
Unpacking libfribidi-dev:armhf (1.0.13-3) ...
Selecting previously unselected package libgdk-pixbuf2.0-bin.
Preparing to unpack .../169-libgdk-pixbuf2.0-bin_2.42.10+dfsg-1+b1_armhf.deb ...
Unpacking libgdk-pixbuf2.0-bin (2.42.10+dfsg-1+b1) ...
Selecting previously unselected package libjpeg62-turbo-dev:armhf.
Preparing to unpack .../170-libjpeg62-turbo-dev_1%3a2.1.5-2_armhf.deb ...
Unpacking libjpeg62-turbo-dev:armhf (1:2.1.5-2) ...
Selecting previously unselected package libjpeg-dev:armhf.
Preparing to unpack .../171-libjpeg-dev_1%3a2.1.5-2_armhf.deb ...
Unpacking libjpeg-dev:armhf (1:2.1.5-2) ...
Selecting previously unselected package libjbig-dev:armhf.
Preparing to unpack .../172-libjbig-dev_2.1-6.1_armhf.deb ...
Unpacking libjbig-dev:armhf (2.1-6.1) ...
Selecting previously unselected package liblzma-dev:armhf.
Preparing to unpack .../173-liblzma-dev_5.4.4-0.1_armhf.deb ...
Unpacking liblzma-dev:armhf (5.4.4-0.1) ...
Selecting previously unselected package libzstd-dev:armhf.
Preparing to unpack .../174-libzstd-dev_1.5.5+dfsg2-1_armhf.deb ...
Unpacking libzstd-dev:armhf (1.5.5+dfsg2-1) ...
Selecting previously unselected package libwebpdemux2:armhf.
Preparing to unpack .../175-libwebpdemux2_1.3.2-0.3_armhf.deb ...
Unpacking libwebpdemux2:armhf (1.3.2-0.3) ...
Selecting previously unselected package libwebpmux3:armhf.
Preparing to unpack .../176-libwebpmux3_1.3.2-0.3_armhf.deb ...
Unpacking libwebpmux3:armhf (1.3.2-0.3) ...
Selecting previously unselected package libwebpdecoder3:armhf.
Preparing to unpack .../177-libwebpdecoder3_1.3.2-0.3_armhf.deb ...
Unpacking libwebpdecoder3:armhf (1.3.2-0.3) ...
Selecting previously unselected package libsharpyuv-dev:armhf.
Preparing to unpack .../178-libsharpyuv-dev_1.3.2-0.3_armhf.deb ...
Unpacking libsharpyuv-dev:armhf (1.3.2-0.3) ...
Selecting previously unselected package libwebp-dev:armhf.
Preparing to unpack .../179-libwebp-dev_1.3.2-0.3_armhf.deb ...
Unpacking libwebp-dev:armhf (1.3.2-0.3) ...
Selecting previously unselected package libtiffxx6:armhf.
Preparing to unpack .../180-libtiffxx6_4.5.1+git230720-1_armhf.deb ...
Unpacking libtiffxx6:armhf (4.5.1+git230720-1) ...
Selecting previously unselected package liblerc-dev:armhf.
Preparing to unpack .../181-liblerc-dev_4.0.0+ds-3_armhf.deb ...
Unpacking liblerc-dev:armhf (4.0.0+ds-3) ...
Selecting previously unselected package libtiff-dev:armhf.
Preparing to unpack .../182-libtiff-dev_4.5.1+git230720-1_armhf.deb ...
Unpacking libtiff-dev:armhf (4.5.1+git230720-1) ...
Selecting previously unselected package libgdk-pixbuf-2.0-dev:armhf.
Preparing to unpack .../183-libgdk-pixbuf-2.0-dev_2.42.10+dfsg-1+b1_armhf.deb ...
Unpacking libgdk-pixbuf-2.0-dev:armhf (2.42.10+dfsg-1+b1) ...
Selecting previously unselected package libgen-ocaml.
Preparing to unpack .../184-libgen-ocaml_1.1-1+b1_armhf.deb ...
Unpacking libgen-ocaml (1.1-1+b1) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../185-libgmpxx4ldbl_2%3a6.3.0+dfsg-2_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.3.0+dfsg-2) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../186-libgmp-dev_2%3a6.3.0+dfsg-2_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.3.0+dfsg-2) ...
Selecting previously unselected package libgmp3-dev:armhf.
Preparing to unpack .../187-libgmp3-dev_2%3a6.3.0+dfsg-2_armhf.deb ...
Unpacking libgmp3-dev:armhf (2:6.3.0+dfsg-2) ...
Selecting previously unselected package libgraphics-ocaml.
Preparing to unpack .../188-libgraphics-ocaml_5.1.2-3+b1_armhf.deb ...
Unpacking libgraphics-ocaml (5.1.2-3+b1) ...
Selecting previously unselected package libgraphite2-dev:armhf.
Preparing to unpack .../189-libgraphite2-dev_1.3.14-1_armhf.deb ...
Unpacking libgraphite2-dev:armhf (1.3.14-1) ...
Selecting previously unselected package libharfbuzz-icu0:armhf.
Preparing to unpack .../190-libharfbuzz-icu0_8.0.1-1_armhf.deb ...
Unpacking libharfbuzz-icu0:armhf (8.0.1-1) ...
Selecting previously unselected package libharfbuzz-gobject0:armhf.
Preparing to unpack .../191-libharfbuzz-gobject0_8.0.1-1_armhf.deb ...
Unpacking libharfbuzz-gobject0:armhf (8.0.1-1) ...
Selecting previously unselected package libharfbuzz-subset0:armhf.
Preparing to unpack .../192-libharfbuzz-subset0_8.0.1-1_armhf.deb ...
Unpacking libharfbuzz-subset0:armhf (8.0.1-1) ...
Selecting previously unselected package libharfbuzz-cairo0:armhf.
Preparing to unpack .../193-libharfbuzz-cairo0_8.0.1-1_armhf.deb ...
Unpacking libharfbuzz-cairo0:armhf (8.0.1-1) ...
Selecting previously unselected package libicu-dev:armhf.
Preparing to unpack .../194-libicu-dev_72.1-3_armhf.deb ...
Unpacking libicu-dev:armhf (72.1-3) ...
Selecting previously unselected package libharfbuzz-dev:armhf.
Preparing to unpack .../195-libharfbuzz-dev_8.0.1-1_armhf.deb ...
Unpacking libharfbuzz-dev:armhf (8.0.1-1) ...
Selecting previously unselected package libthai-dev:armhf.
Preparing to unpack .../196-libthai-dev_0.1.29-1_armhf.deb ...
Unpacking libthai-dev:armhf (0.1.29-1) ...
Selecting previously unselected package libxft-dev:armhf.
Preparing to unpack .../197-libxft-dev_2.3.6-1_armhf.deb ...
Unpacking libxft-dev:armhf (2.3.6-1) ...
Selecting previously unselected package pango1.0-tools.
Preparing to unpack .../198-pango1.0-tools_1.51.0+ds-2_armhf.deb ...
Unpacking pango1.0-tools (1.51.0+ds-2) ...
Selecting previously unselected package libpango1.0-dev:armhf.
Preparing to unpack .../199-libpango1.0-dev_1.51.0+ds-2_armhf.deb ...
Unpacking libpango1.0-dev:armhf (1.51.0+ds-2) ...
Selecting previously unselected package libxinerama-dev:armhf.
Preparing to unpack .../200-libxinerama-dev_2%3a1.1.4-3_armhf.deb ...
Unpacking libxinerama-dev:armhf (2:1.1.4-3) ...
Selecting previously unselected package libxfixes-dev:armhf.
Preparing to unpack .../201-libxfixes-dev_1%3a6.0.0-2_armhf.deb ...
Unpacking libxfixes-dev:armhf (1:6.0.0-2) ...
Selecting previously unselected package libxi-dev:armhf.
Preparing to unpack .../202-libxi-dev_2%3a1.8-1_armhf.deb ...
Unpacking libxi-dev:armhf (2:1.8-1) ...
Selecting previously unselected package libxrandr-dev:armhf.
Preparing to unpack .../203-libxrandr-dev_2%3a1.5.2-2_armhf.deb ...
Unpacking libxrandr-dev:armhf (2:1.5.2-2) ...
Selecting previously unselected package libxcursor-dev:armhf.
Preparing to unpack .../204-libxcursor-dev_1%3a1.2.1-1_armhf.deb ...
Unpacking libxcursor-dev:armhf (1:1.2.1-1) ...
Selecting previously unselected package libxcomposite-dev:armhf.
Preparing to unpack .../205-libxcomposite-dev_1%3a0.4.5-1_armhf.deb ...
Unpacking libxcomposite-dev:armhf (1:0.4.5-1) ...
Selecting previously unselected package libxdamage-dev:armhf.
Preparing to unpack .../206-libxdamage-dev_1%3a1.1.6-1_armhf.deb ...
Unpacking libxdamage-dev:armhf (1:1.1.6-1) ...
Selecting previously unselected package libxml2-utils.
Preparing to unpack .../207-libxml2-utils_2.9.14+dfsg-1.3_armhf.deb ...
Unpacking libxml2-utils (2.9.14+dfsg-1.3) ...
Selecting previously unselected package libgtk2.0-dev:armhf.
Preparing to unpack .../208-libgtk2.0-dev_2.24.33-2_armhf.deb ...
Unpacking libgtk2.0-dev:armhf (2.24.33-2) ...
Selecting previously unselected package libocplib-endian-ocaml.
Preparing to unpack .../209-libocplib-endian-ocaml_1.2-3+b1_armhf.deb ...
Unpacking libocplib-endian-ocaml (1.2-3+b1) ...
Selecting previously unselected package libreact-ocaml.
Preparing to unpack .../210-libreact-ocaml_1.2.2-1+b1_armhf.deb ...
Unpacking libreact-ocaml (1.2.2-1+b1) ...
Selecting previously unselected package libsexplib0-ocaml.
Preparing to unpack .../211-libsexplib0-ocaml_0.16.0-3+b1_armhf.deb ...
Unpacking libsexplib0-ocaml (0.16.0-3+b1) ...
Selecting previously unselected package liblwt-ocaml.
Preparing to unpack .../212-liblwt-ocaml_5.7.0-1+b1_armhf.deb ...
Unpacking liblwt-ocaml (5.7.0-1+b1) ...
Selecting previously unselected package liblwt-log-ocaml.
Preparing to unpack .../213-liblwt-log-ocaml_1.1.2-4+b2_armhf.deb ...
Unpacking liblwt-log-ocaml (1.1.2-4+b2) ...
Selecting previously unselected package libreactivedata-ocaml.
Preparing to unpack .../214-libreactivedata-ocaml_0.3-4+b1_armhf.deb ...
Unpacking libreactivedata-ocaml (0.3-4+b1) ...
Selecting previously unselected package libsedlex-ocaml.
Preparing to unpack .../215-libsedlex-ocaml_3.2-1_armhf.deb ...
Unpacking libsedlex-ocaml (3.2-1) ...
Selecting previously unselected package libuutf-ocaml.
Preparing to unpack .../216-libuutf-ocaml_1.0.3-1+b1_armhf.deb ...
Unpacking libuutf-ocaml (1.0.3-1+b1) ...
Selecting previously unselected package libtyxml-ocaml.
Preparing to unpack .../217-libtyxml-ocaml_4.5.0-4_armhf.deb ...
Unpacking libtyxml-ocaml (4.5.0-4) ...
Selecting previously unselected package libyojson-ocaml.
Preparing to unpack .../218-libyojson-ocaml_2.1.0-2_armhf.deb ...
Unpacking libyojson-ocaml (2.1.0-2) ...
Selecting previously unselected package libjs-of-ocaml.
Preparing to unpack .../219-libjs-of-ocaml_5.4.0-2+b1_armhf.deb ...
Unpacking libjs-of-ocaml (5.4.0-2+b1) ...
Selecting previously unselected package liblablgtk2-ocaml.
Preparing to unpack .../220-liblablgtk2-ocaml_2.18.13-2+b1_armhf.deb ...
Unpacking liblablgtk2-ocaml (2.18.13-2+b1) ...
Selecting previously unselected package liblablgtk2-ocaml-dev.
Preparing to unpack .../221-liblablgtk2-ocaml-dev_2.18.13-2+b1_armhf.deb ...
Unpacking liblablgtk2-ocaml-dev (2.18.13-2+b1) ...
Selecting previously unselected package liblogs-ocaml.
Preparing to unpack .../222-liblogs-ocaml_0.7.0-3+b1_armhf.deb ...
Unpacking liblogs-ocaml (0.7.0-3+b1) ...
Selecting previously unselected package libnum-ocaml.
Preparing to unpack .../223-libnum-ocaml_1.4-2+b2_armhf.deb ...
Unpacking libnum-ocaml (1.4-2+b2) ...
Selecting previously unselected package libnum-ocaml-dev.
Preparing to unpack .../224-libnum-ocaml-dev_1.4-2+b2_armhf.deb ...
Unpacking libnum-ocaml-dev (1.4-2+b2) ...
Selecting previously unselected package libocamlgraph-ocaml-dev.
Preparing to unpack .../225-libocamlgraph-ocaml-dev_2.1.0-1_armhf.deb ...
Unpacking libocamlgraph-ocaml-dev (2.1.0-1) ...
Selecting previously unselected package libpsmt2-frontend-ocaml.
Preparing to unpack .../226-libpsmt2-frontend-ocaml_0.4.0-3+b1_armhf.deb ...
Unpacking libpsmt2-frontend-ocaml (0.4.0-3+b1) ...
Selecting previously unselected package libpsmt2-frontend-ocaml-dev.
Preparing to unpack .../227-libpsmt2-frontend-ocaml-dev_0.4.0-3+b1_armhf.deb ...
Unpacking libpsmt2-frontend-ocaml-dev (0.4.0-3+b1) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../228-libzarith-ocaml_1.13-2+b1_armhf.deb ...
Unpacking libzarith-ocaml (1.13-2+b1) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../229-libzarith-ocaml-dev_1.13-2+b1_armhf.deb ...
Unpacking libzarith-ocaml-dev (1.13-2+b1) ...
Selecting previously unselected package libzip-ocaml.
Preparing to unpack .../230-libzip-ocaml_1.11-2+b1_armhf.deb ...
Unpacking libzip-ocaml (1.11-2+b1) ...
Selecting previously unselected package libzip-ocaml-dev.
Preparing to unpack .../231-libzip-ocaml-dev_1.11-2+b1_armhf.deb ...
Unpacking libzip-ocaml-dev (1.11-2+b1) ...
Selecting previously unselected package menhir.
Preparing to unpack .../232-menhir_20230608+ds-1+b1_armhf.deb ...
Unpacking menhir (20230608+ds-1+b1) ...
Selecting previously unselected package ocaml-dune.
Preparing to unpack .../233-ocaml-dune_3.10.0-2_armhf.deb ...
Unpacking ocaml-dune (3.10.0-2) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../234-ocaml-findlib_1.9.6-1+b2_armhf.deb ...
Unpacking ocaml-findlib (1.9.6-1+b2) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../235-ocaml-nox_4.14.1-1+rpi1_all.deb ...
Unpacking ocaml-nox (4.14.1-1+rpi1) ...
Selecting previously unselected package ocplib-simplex-ocaml-dev.
Preparing to unpack .../236-ocplib-simplex-ocaml-dev_0.5-4+b1_armhf.deb ...
Unpacking ocplib-simplex-ocaml-dev (0.5-4+b1) ...
Selecting previously unselected package sbuild-build-depends-alt-ergo-dummy.
Preparing to unpack .../237-sbuild-build-depends-alt-ergo-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ...
Setting up media-types (10.1.0) ...
Setting up libpipeline1:armhf (1.5.7-1) ...
Setting up libgraphite2-3:armhf (1.3.14-1) ...
Setting up libpixman-1-0:armhf (0.42.2-1) ...
Setting up libsharpyuv0:armhf (1.3.2-0.3) ...
Setting up libxau6:armhf (1:1.0.9-1) ...
Setting up libpixman-1-dev:armhf (0.42.2-1) ...
Setting up libicu72:armhf (72.1-3) ...
Setting up liblerc4:armhf (4.0.0+ds-3) ...
Setting up libzstd-dev:armhf (1.5.5+dfsg2-1) ...
Setting up bsdextrautils (2.39.2-3) ...
Setting up hicolor-icon-theme (0.17-2) ...
Setting up libdatrie1:armhf (0.2.13-2+b2) ...
Setting up libmagic-mgc (1:5.45-2) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libglib2.0-0:armhf (2.78.0-2+rpi1) ...
No schema files found: doing nothing.
Setting up libev4:armhf (1:4.33-1) ...
Setting up libpython3.11-stdlib:armhf (3.11.6-3) ...
Setting up libdebhelper-perl (13.11.6) ...
Setting up libbrotli1:armhf (1.0.9-2+b3) ...
Setting up libgdk-pixbuf2.0-common (2.42.10+dfsg-1) ...
Setting up x11-common (1:7.7+23) ...
invoke-rc.d: could not determine current runlevel
invoke-rc.d: policy-rc.d denied execution of restart.
Setting up dh-ocaml (2.0) ...
Setting up libmagic1:armhf (1:5.45-2) ...
Setting up libdeflate0:armhf (1.18-1) ...
Setting up libwebpdecoder3:armhf (1.3.2-0.3) ...
Setting up gettext-base (0.21-13) ...
Setting up m4 (1.4.19-4) ...
Setting up liblzo2-2:armhf (2.10-2) ...
Setting up file (1:5.45-2) ...
Setting up libffi-dev:armhf (3.4.4-1) ...
Setting up libpthread-stubs0-dev:armhf (0.4-1) ...
Setting up libjbig0:armhf (2.1-6.1) ...
Setting up libpcre2-16-0:armhf (10.42-4) ...
Setting up ocaml-dune (3.10.0-2) ...
Setting up xtrans-dev (1.4.0-1) ...
Setting up libgraphite2-dev:armhf (1.3.14-1) ...
Setting up autotools-dev (20220109.1) ...
Setting up libpcre2-32-0:armhf (10.42-4) ...
Setting up libglib2.0-data (2.78.0-2+rpi1) ...
Setting up libpkgconf3:armhf (1.8.1-1) ...
Setting up libgmpxx4ldbl:armhf (2:6.3.0+dfsg-2) ...
Setting up libexpat1-dev:armhf (2.5.0-2) ...
Setting up libjpeg62-turbo:armhf (1:2.1.5-2) ...
Setting up libx11-data (2:1.8.7-1) ...
Setting up libjpeg62-turbo-dev:armhf (1:2.1.5-2) ...
Setting up uuid-dev:armhf (2.39.2-3) ...
Setting up libavahi-common-data:armhf (0.8-11) ...
Setting up libncurses6:armhf (6.4+20230625-2) ...
Setting up libdbus-1-3:armhf (1.14.10-1) ...
Setting up libfribidi0:armhf (1.0.13-3) ...
Setting up libstdlib-ocaml (4.14.1-1+rpi1) ...
Setting up fonts-dejavu-mono (2.37-8) ...
Setting up libpng16-16:armhf (1.6.40-2) ...
Setting up autopoint (0.21-13) ...
Setting up icu-devtools (72.1-3) ...
Setting up ocaml-base (4.14.1-1+rpi1) ...
Setting up fonts-dejavu-core (2.37-8) ...
Setting up libsepol-dev:armhf (3.5-1) ...
Setting up pkgconf-bin (1.8.1-1) ...
Setting up liblerc-dev:armhf (4.0.0+ds-3) ...
Setting up autoconf (2.71-3) ...
Setting up libwebp7:armhf (1.3.2-0.3) ...
Setting up liblzma-dev:armhf (5.4.4-0.1) ...
Setting up zlib1g-dev:armhf (1:1.2.13.dfsg-3) ...
Setting up libnum-ocaml (1.4-2+b2) ...
Setting up libpcre2-posix3:armhf (10.42-4) ...
Setting up libsexplib0-ocaml (0.16.0-3+b1) ...
Setting up libpsmt2-frontend-ocaml (0.4.0-3+b1) ...
Setting up mount (2.39.2-3) ...
Setting up at-spi2-common (2.50.0-1) ...
Setting up libtiff6:armhf (4.5.1+git230720-1) ...
Setting up libuchardet0:armhf (0.0.7-1) ...
Setting up libfmt-ocaml (0.9.0-3+b1) ...
Setting up libsub-override-perl (0.09-4) ...
Setting up libthai-data (0.1.29-1) ...
Setting up libgirepository-1.0-1:armhf (1.78.1-1) ...
Setting up xorg-sgml-doctools (1:1.11-1.1) ...
Setting up libreact-ocaml (1.2.2-1+b1) ...
Setting up libgtk2.0-common (2.24.33-2) ...
Setting up libatk1.0-0:armhf (2.50.0-1) ...
Setting up libsharpyuv-dev:armhf (1.3.2-0.3) ...
Setting up libwebpmux3:armhf (1.3.2-0.3) ...
Setting up libbsd0:armhf (0.11.7-4) ...
Setting up libtiffxx6:armhf (4.5.1+git230720-1) ...
Setting up libdeflate-dev:armhf (1.18-1) ...
Setting up libelf1:armhf (0.188-2.1+rpi1) ...
Setting up libicu-dev:armhf (72.1-3) ...
Setting up libxml2:armhf (2.9.14+dfsg-1.3) ...
Setting up libbrotli-dev:armhf (1.0.9-2+b3) ...
Setting up menhir (20230608+ds-1+b1) ...
Setting up util-linux-extra (2.39.2-3) ...
Setting up libpython3-stdlib:armhf (3.11.4-5) ...
Setting up libbz2-dev:armhf (1.0.8-5+b2) ...
Setting up automake (1:1.16.5-1.3) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.13.1-1) ...
Setting up libblkid-dev:armhf (2.39.2-3) ...
Setting up python3.11 (3.11.6-3) ...
Setting up libice6:armhf (2:1.0.10-1) ...
Setting up libxdmcp6:armhf (1:1.1.2-3) ...
Setting up libncurses-dev:armhf (6.4+20230625-2) ...
Setting up libxcb1:armhf (1.15-1) ...
Setting up gettext (0.21-13) ...
Setting up libgen-ocaml (1.1-1+b1) ...
Setting up libgmp-dev:armhf (2:6.3.0+dfsg-2) ...
Setting up libpcre2-dev:armhf (10.42-4) ...
Setting up libtool (2.4.7-7) ...
Setting up libstdlib-ocaml-dev (4.14.1-1+rpi1) ...
Setting up libyojson-ocaml (2.1.0-2) ...
Setting up libxcb-render0:armhf (1.15-1) ...
Setting up libselinux1-dev:armhf (3.5-1) ...
Setting up libcamlp-streams-ocaml (5.0.1-3+b1) ...
Setting up fontconfig-config (2.14.2-6) ...
Setting up libfribidi-dev:armhf (1.0.13-3) ...
Setting up libwebpdemux2:armhf (1.3.2-0.3) ...
Setting up libpng-dev:armhf (1.6.40-2) ...
Setting up libuutf-ocaml (1.0.3-1+b1) ...
Setting up libavahi-common3:armhf (0.8-11) ...
Setting up libjpeg-dev:armhf (1:2.1.5-2) ...
Setting up libjbig-dev:armhf (2.1-6.1) ...
Setting up libfindlib-ocaml (1.9.6-1+b2) ...
Setting up libglib2.0-bin (2.78.0-2+rpi1) ...
Setting up python3 (3.11.4-5) ...
Setting up libxcb-shm0:armhf (1.15-1) ...
Setting up libzarith-ocaml (1.13-2+b1) ...
Setting up pkgconf:armhf (1.8.1-1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up libocplib-endian-ocaml (1.2-3+b1) ...
Setting up dh-autoreconf (20) ...
Setting up libthai0:armhf (0.1.29-1) ...
Setting up libcompiler-libs-ocaml-dev (4.14.1-1+rpi1) ...
Setting up libsedlex-ocaml (3.2-1) ...
Setting up libwebp-dev:armhf (1.3.2-0.3) ...
Setting up libreactivedata-ocaml (0.3-4+b1) ...
Setting up ocaml-interp (4.14.1-1+rpi1) ...
Setting up libfreetype6:armhf (2.13.2+dfsg-1) ...
Setting up libtiff-dev:armhf (4.5.1+git230720-1) ...
Setting up libzip-ocaml (1.11-2+b1) ...
Setting up shared-mime-info (2.2-1) ...
Setting up ocaml-findlib (1.9.6-1+b2) ...
Setting up pkg-config:armhf (1.8.1-1) ...
Setting up gir1.2-glib-2.0:armhf (1.78.1-1) ...
Setting up dh-strip-nondeterminism (1.13.1-1) ...
Setting up dwz (0.15-1) ...
Setting up libtyxml-ocaml (4.5.0-4) ...
Setting up libdatrie-dev:armhf (0.2.13-2+b2) ...
Setting up groff-base (1.23.0-2) ...
Setting up libgmp3-dev:armhf (2:6.3.0+dfsg-2) ...
Setting up libx11-6:armhf (2:1.8.7-1) ...
Setting up libharfbuzz0b:armhf (8.0.1-1) ...
Setting up libgdk-pixbuf-2.0-0:armhf (2.42.10+dfsg-1+b1) ...
Setting up libxml2-utils (2.9.14+dfsg-1.3) ...
Setting up python3-lib2to3 (3.11.5-1) ...
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-11) ...
Setting up libmount-dev:armhf (2.39.2-3) ...
Setting up python3-distutils (3.11.5-1) ...
Setting up libglib2.0-dev-bin (2.78.0-2+rpi1) ...
Setting up gtk-update-icon-cache (3.24.38-5+rpi1) ...
Setting up libharfbuzz-icu0:armhf (8.0.1-1) ...
Setting up libxdamage1:armhf (1:1.1.6-1) ...
Setting up libxrender1:armhf (1:0.9.10-1.1) ...
Setting up gir1.2-gdkpixbuf-2.0:armhf (2.42.10+dfsg-1+b1) ...
Setting up gir1.2-atk-1.0:armhf (2.50.0-1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up liblwt-ocaml (5.7.0-1+b1) ...
Setting up libxext6:armhf (2:1.3.4-1) ...
Setting up libharfbuzz-gobject0:armhf (8.0.1-1) ...
Setting up ocaml (4.14.1-1+rpi1) ...
Setting up man-db (2.11.2-3) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libpsmt2-frontend-ocaml-dev (0.4.0-3+b1) ...
Setting up libfreetype-dev:armhf (2.13.2+dfsg-1) ...
Setting up liblwt-log-ocaml (1.1.2-4+b2) ...
Setting up libglib2.0-dev:armhf (2.78.0-2+rpi1) ...
Setting up adwaita-icon-theme (45.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:6.0.0-2) ...
Setting up libxinerama1:armhf (2:1.1.4-3) ...
Setting up libxrandr2:armhf (2:1.5.2-2) ...
Setting up libgraphics-ocaml (5.1.2-3+b1) ...
Setting up libcamlp-streams-ocaml-dev (5.0.1-3+b1) ...
Setting up libzip-ocaml-dev (1.11-2+b1) ...
Setting up libthai-dev:armhf (0.1.29-1) ...
Setting up libcups2:armhf (2.4.7-1) ...
Setting up ocaml-nox (4.14.1-1+rpi1) ...
Setting up libgdk-pixbuf2.0-bin (2.42.10+dfsg-1+b1) ...
Setting up libharfbuzz-subset0:armhf (8.0.1-1) ...
Setting up libzarith-ocaml-dev (1.13-2+b1) ...
Setting up libcmdliner-ocaml-dev (1.2.0-2+b1) ...
Setting up libatk1.0-dev:armhf (2.50.0-1) ...
Setting up libjs-of-ocaml (5.4.0-2+b1) ...
Setting up libdune-ocaml-dev (3.10.0-2) ...
Setting up libgdk-pixbuf-2.0-dev:armhf (2.42.10+dfsg-1+b1) ...
Setting up libocamlgraph-ocaml-dev (2.1.0-1) ...
Setting up libnum-ocaml-dev (1.4-2+b2) ...
Setting up libxi6:armhf (2:1.8-1) ...
Setting up libxcursor1:armhf (1:1.2.1-1) ...
Setting up debhelper (13.11.6) ...
Setting up liblogs-ocaml (0.7.0-3+b1) ...
Setting up ocplib-simplex-ocaml-dev (0.5-4+b1) ...
Processing triggers for sgml-base (1.31) ...
Setting up libfontconfig1:armhf (2.14.2-6) ...
Setting up x11proto-dev (2023.2-1) ...
Setting up fontconfig (2.14.2-6) ...
Regenerating fonts cache... done.
Setting up libxft2:armhf (2.3.6-1) ...
Setting up libxau-dev:armhf (1:1.0.9-1) ...
Setting up libice-dev:armhf (2:1.0.10-1) ...
Setting up libfontconfig-dev:armhf (2.14.2-6) ...
Setting up libsm-dev:armhf (2:1.2.3-1) ...
Processing triggers for libc-bin (2.37-12+rpi1) ...
Setting up libpango-1.0-0:armhf (1.51.0+ds-2) ...
Setting up libcairo2:armhf (1.18.0-1) ...
Setting up libxdmcp-dev:armhf (1:1.1.2-3) ...
Setting up libharfbuzz-cairo0:armhf (8.0.1-1) ...
Setting up x11proto-core-dev (2023.2-1) ...
Setting up libcairo-gobject2:armhf (1.18.0-1) ...
Setting up libpangoft2-1.0-0:armhf (1.51.0+ds-2) ...
Setting up libpangocairo-1.0-0:armhf (1.51.0+ds-2) ...
Setting up libcairo-script-interpreter2:armhf (1.18.0-1) ...
Setting up gir1.2-freedesktop:armhf (1.78.1-1) ...
Setting up libxcb1-dev:armhf (1.15-1) ...
Setting up libpangoxft-1.0-0:armhf (1.51.0+ds-2) ...
Setting up libgtk2.0-0:armhf (2.24.33-2) ...
Setting up pango1.0-tools (1.51.0+ds-2) ...
Setting up libx11-dev:armhf (2:1.8.7-1) ...
Setting up gir1.2-harfbuzz-0.0:armhf (8.0.1-1) ...
Setting up libxfixes-dev:armhf (1:6.0.0-2) ...
Setting up libxcb-shm0-dev:armhf (1.15-1) ...
Setting up gir1.2-pango-1.0:armhf (1.51.0+ds-2) ...
Setting up gir1.2-gtk-2.0:armhf (2.24.33-2) ...
Setting up libxcb-render0-dev:armhf (1.15-1) ...
Setting up libxext-dev:armhf (2:1.3.4-1) ...
Setting up liblablgtk2-ocaml (2.18.13-2+b1) ...
Setting up libxi-dev:armhf (2:1.8-1) ...
Setting up libxrender-dev:armhf (1:0.9.10-1.1) ...
Setting up libxft-dev:armhf (2.3.6-1) ...
Setting up libxdamage-dev:armhf (1:1.1.6-1) ...
Setting up libharfbuzz-dev:armhf (8.0.1-1) ...
Setting up libxcomposite-dev:armhf (1:0.4.5-1) ...
Setting up libxcursor-dev:armhf (1:1.2.1-1) ...
Setting up libxrandr-dev:armhf (2:1.5.2-2) ...
Setting up libxinerama-dev:armhf (2:1.1.4-3) ...
Setting up libcairo2-dev:armhf (1.18.0-1) ...
Setting up libpango1.0-dev:armhf (1.51.0+ds-2) ...
Setting up libgtk2.0-dev:armhf (2.24.33-2) ...
Setting up liblablgtk2-ocaml-dev (2.18.13-2+b1) ...
Setting up sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.37-12+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges

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

Kernel: Linux 4.15.0-187-generic armhf (armv8l)
Toolchain package versions: binutils_2.40-2+rpi2 dpkg-dev_1.21.22+rpi1 g++-12_12.2.0-14+rpi1 gcc-12_12.2.0-14+rpi1 libc6-dev_2.37-12+rpi1 libstdc++-12-dev_12.2.0-14+rpi1 libstdc++6_13.2.0-4+rpi1 linux-libc-dev_6.1.38-1+rpi1
Package versions: adduser_3.137 adwaita-icon-theme_45.0-1 apt_2.7.6 at-spi2-common_2.50.0-1 autoconf_2.71-3 automake_1:1.16.5-1.3 autopoint_0.21-13 autotools-dev_20220109.1 base-files_13+rpi1 base-passwd_3.6.1 bash_5.2.15-2 binutils_2.40-2+rpi2 binutils-arm-linux-gnueabihf_2.40-2+rpi2 binutils-common_2.40-2+rpi2 bsdextrautils_2.39.2-3 bsdutils_1:2.39.2-3 build-essential_12.9 bzip2_1.0.8-5+b2 coreutils_9.1-1 cpp_4:12.2.0-3+rpi1 cpp-12_12.2.0-14+rpi1 dash_0.5.12-6 debconf_1.5.82 debhelper_13.11.6 debianutils_5.14 dh-autoreconf_20 dh-ocaml_2.0 dh-strip-nondeterminism_1.13.1-1 diffutils_1:3.8-4 dirmngr_2.2.40-1.1 dpkg_1.21.22+rpi1 dpkg-dev_1.21.22+rpi1 dwz_0.15-1 e2fsprogs_1.47.0-2 fakeroot_1.32.1-1 file_1:5.45-2 findutils_4.9.0-5 fontconfig_2.14.2-6 fontconfig-config_2.14.2-6 fonts-dejavu-core_2.37-8 fonts-dejavu-mono_2.37-8 g++_4:12.2.0-3+rpi1 g++-12_12.2.0-14+rpi1 gcc_4:12.2.0-3+rpi1 gcc-12_12.2.0-14+rpi1 gcc-12-base_12.2.0-14+rpi1 gcc-13-base_13.2.0-4+rpi1 gcc-7-base_7.5.0-6+rpi1+b2 gcc-8-base_8.4.0-7+rpi1 gcc-9-base_9.4.0-2+rpi1 gettext_0.21-13 gettext-base_0.21-13 gir1.2-atk-1.0_2.50.0-1 gir1.2-freedesktop_1.78.1-1 gir1.2-gdkpixbuf-2.0_2.42.10+dfsg-1+b1 gir1.2-glib-2.0_1.78.1-1 gir1.2-gtk-2.0_2.24.33-2 gir1.2-harfbuzz-0.0_8.0.1-1 gir1.2-pango-1.0_1.51.0+ds-2 gnupg_2.2.40-1.1 gnupg-l10n_2.2.40-1.1 gnupg-utils_2.2.40-1.1 gpg_2.2.40-1.1 gpg-agent_2.2.40-1.1 gpg-wks-client_2.2.40-1.1 gpg-wks-server_2.2.40-1.1 gpgconf_2.2.40-1.1 gpgsm_2.2.40-1.1 gpgv_2.2.40-1.1 grep_3.11-3 groff-base_1.23.0-2 gtk-update-icon-cache_3.24.38-5+rpi1 gzip_1.12-1 hicolor-icon-theme_0.17-2 hostname_3.23+nmu1 icu-devtools_72.1-3 init-system-helpers_1.65.2 intltool-debian_0.35.0+20060710.6 iputils-ping_3:20221126-1 krb5-locales_1.20.1-4 libacl1_2.3.1-3 libapt-pkg6.0_2.7.6 libarchive-zip-perl_1.68-1 libasan8_13.2.0-4+rpi1 libassuan0_2.5.6-1 libatk1.0-0_2.50.0-1 libatk1.0-dev_2.50.0-1 libatomic1_13.2.0-4+rpi1 libattr1_1:2.5.1-4 libaudit-common_1:3.1.1-1 libaudit1_1:3.1.1-1 libavahi-client3_0.8-11 libavahi-common-data_0.8-11 libavahi-common3_0.8-11 libbinutils_2.40-2+rpi2 libblkid-dev_2.39.2-3 libblkid1_2.39.2-3 libbrotli-dev_1.0.9-2+b3 libbrotli1_1.0.9-2+b3 libbsd0_0.11.7-4 libbz2-1.0_1.0.8-5+b2 libbz2-dev_1.0.8-5+b2 libc-bin_2.37-12+rpi1 libc-dev-bin_2.37-12+rpi1 libc6_2.37-12+rpi1 libc6-dev_2.37-12+rpi1 libcairo-gobject2_1.18.0-1 libcairo-script-interpreter2_1.18.0-1 libcairo2_1.18.0-1 libcairo2-dev_1.18.0-1 libcamlp-streams-ocaml_5.0.1-3+b1 libcamlp-streams-ocaml-dev_5.0.1-3+b1 libcap-ng0_0.8.3-1+b1 libcap2_1:2.66-4 libcap2-bin_1:2.66-4 libcc1-0_13.2.0-4+rpi1 libcmdliner-ocaml-dev_1.2.0-2+b1 libcom-err2_1.47.0-2 libcompiler-libs-ocaml-dev_4.14.1-1+rpi1 libcrypt-dev_1:4.4.36-2 libcrypt1_1:4.4.36-2 libctf-nobfd0_2.40-2+rpi2 libctf0_2.40-2+rpi2 libcups2_2.4.7-1 libdatrie-dev_0.2.13-2+b2 libdatrie1_0.2.13-2+b2 libdb5.3_5.3.28+dfsg2-2 libdbus-1-3_1.14.10-1 libdebconfclient0_0.271 libdebhelper-perl_13.11.6 libdeflate-dev_1.18-1 libdeflate0_1.18-1 libdpkg-perl_1.21.22+rpi1 libdune-ocaml-dev_3.10.0-2 libelf1_0.188-2.1+rpi1 libev4_1:4.33-1 libexpat1_2.5.0-2 libexpat1-dev_2.5.0-2 libext2fs2_1.47.0-2 libfakeroot_1.32.1-1 libffi-dev_3.4.4-1 libffi8_3.4.4-1 libfile-find-rule-perl_0.34-3 libfile-stripnondeterminism-perl_1.13.1-1 libfindlib-ocaml_1.9.6-1+b2 libfmt-ocaml_0.9.0-3+b1 libfontconfig-dev_2.14.2-6 libfontconfig1_2.14.2-6 libfreetype-dev_2.13.2+dfsg-1 libfreetype6_2.13.2+dfsg-1 libfribidi-dev_1.0.13-3 libfribidi0_1.0.13-3 libgcc-12-dev_12.2.0-14+rpi1 libgcc-s1_13.2.0-4+rpi1 libgcrypt20_1.10.2-3 libgdbm-compat4_1.23-3 libgdbm6_1.23-3 libgdk-pixbuf-2.0-0_2.42.10+dfsg-1+b1 libgdk-pixbuf-2.0-dev_2.42.10+dfsg-1+b1 libgdk-pixbuf2.0-bin_2.42.10+dfsg-1+b1 libgdk-pixbuf2.0-common_2.42.10+dfsg-1 libgen-ocaml_1.1-1+b1 libgirepository-1.0-1_1.78.1-1 libglib2.0-0_2.78.0-2+rpi1 libglib2.0-bin_2.78.0-2+rpi1 libglib2.0-data_2.78.0-2+rpi1 libglib2.0-dev_2.78.0-2+rpi1 libglib2.0-dev-bin_2.78.0-2+rpi1 libgmp-dev_2:6.3.0+dfsg-2 libgmp10_2:6.3.0+dfsg-2 libgmp3-dev_2:6.3.0+dfsg-2 libgmpxx4ldbl_2:6.3.0+dfsg-2 libgnutls30_3.8.1-4 libgomp1_13.2.0-4+rpi1 libgpg-error0_1.47-2 libgraphics-ocaml_5.1.2-3+b1 libgraphite2-3_1.3.14-1 libgraphite2-dev_1.3.14-1 libgssapi-krb5-2_1.20.1-4 libgtk2.0-0_2.24.33-2 libgtk2.0-common_2.24.33-2 libgtk2.0-dev_2.24.33-2 libharfbuzz-cairo0_8.0.1-1 libharfbuzz-dev_8.0.1-1 libharfbuzz-gobject0_8.0.1-1 libharfbuzz-icu0_8.0.1-1 libharfbuzz-subset0_8.0.1-1 libharfbuzz0b_8.0.1-1 libhogweed6_3.9.1-2 libice-dev_2:1.0.10-1 libice6_2:1.0.10-1 libicu-dev_72.1-3 libicu72_72.1-3 libidn2-0_2.3.4-1 libisl23_0.26-3 libjansson4_2.14-2 libjbig-dev_2.1-6.1 libjbig0_2.1-6.1 libjpeg-dev_1:2.1.5-2 libjpeg62-turbo_1:2.1.5-2 libjpeg62-turbo-dev_1:2.1.5-2 libjs-of-ocaml_5.4.0-2+b1 libk5crypto3_1.20.1-4 libkeyutils1_1.6.3-2 libkrb5-3_1.20.1-4 libkrb5support0_1.20.1-4 libksba8_1.6.4-2 liblablgtk2-ocaml_2.18.13-2+b1 liblablgtk2-ocaml-dev_2.18.13-2+b1 libldap-2.5-0_2.5.13+dfsg-5+rpi1 liblerc-dev_4.0.0+ds-3 liblerc4_4.0.0+ds-3 liblogs-ocaml_0.7.0-3+b1 liblwt-log-ocaml_1.1.2-4+b2 liblwt-ocaml_5.7.0-1+b1 liblz4-1_1.9.4-1+rpi1+b1 liblzma-dev_5.4.4-0.1 liblzma5_5.4.4-0.1 liblzo2-2_2.10-2 libmagic-mgc_1:5.45-2 libmagic1_1:5.45-2 libmd0_1.1.0-1 libmount-dev_2.39.2-3 libmount1_2.39.2-3 libmpc3_1.3.1-1 libmpfr6_4.2.1-1 libncurses-dev_6.4+20230625-2 libncurses6_6.4+20230625-2 libncursesw6_6.4+20230625-2 libnettle8_3.9.1-2 libnpth0_1.6-3 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnum-ocaml_1.4-2+b2 libnum-ocaml-dev_1.4-2+b2 libnumber-compare-perl_0.03-3 libocamlgraph-ocaml-dev_2.1.0-1 libocplib-endian-ocaml_1.2-3+b1 libp11-kit0_0.25.0-4 libpam-cap_1:2.66-4 libpam-modules_1.5.2-7 libpam-modules-bin_1.5.2-7 libpam-runtime_1.5.2-7 libpam0g_1.5.2-7 libpango-1.0-0_1.51.0+ds-2 libpango1.0-dev_1.51.0+ds-2 libpangocairo-1.0-0_1.51.0+ds-2 libpangoft2-1.0-0_1.51.0+ds-2 libpangoxft-1.0-0_1.51.0+ds-2 libpcre2-16-0_10.42-4 libpcre2-32-0_10.42-4 libpcre2-8-0_10.42-4 libpcre2-dev_10.42-4 libpcre2-posix3_10.42-4 libpcre3_2:8.39-15 libperl5.36_5.36.0-9 libpipeline1_1.5.7-1 libpixman-1-0_0.42.2-1 libpixman-1-dev_0.42.2-1 libpkgconf3_1.8.1-1 libpng-dev_1.6.40-2 libpng16-16_1.6.40-2 libpsmt2-frontend-ocaml_0.4.0-3+b1 libpsmt2-frontend-ocaml-dev_0.4.0-3+b1 libpthread-stubs0-dev_0.4-1 libpython3-stdlib_3.11.4-5 libpython3.11-minimal_3.11.6-3 libpython3.11-stdlib_3.11.6-3 libreact-ocaml_1.2.2-1+b1 libreactivedata-ocaml_0.3-4+b1 libreadline8_8.2-1.3 libsasl2-2_2.1.28+dfsg1-3 libsasl2-modules-db_2.1.28+dfsg1-3 libseccomp2_2.5.4-1+rpi1+b1 libsedlex-ocaml_3.2-1 libselinux1_3.5-1 libselinux1-dev_3.5-1 libsemanage-common_3.5-1 libsemanage2_3.5-1 libsepol-dev_3.5-1 libsepol1_3.1-1 libsepol2_3.5-1 libsexplib0-ocaml_0.16.0-3+b1 libsharpyuv-dev_1.3.2-0.3 libsharpyuv0_1.3.2-0.3 libsm-dev_2:1.2.3-1 libsm6_2:1.2.3-1 libsmartcols1_2.39.2-3 libsqlite3-0_3.43.2-1 libss2_1.47.0-2 libssl1.1_1.1.1o-1 libssl3_3.0.11-1 libstdc++-12-dev_12.2.0-14+rpi1 libstdc++6_13.2.0-4+rpi1 libstdlib-ocaml_4.14.1-1+rpi1 libstdlib-ocaml-dev_4.14.1-1+rpi1 libsub-override-perl_0.09-4 libsystemd0_254.5-1+rpi1 libtasn1-6_4.19.0-3 libtext-glob-perl_0.11-3 libthai-data_0.1.29-1 libthai-dev_0.1.29-1 libthai0_0.1.29-1 libtiff-dev_4.5.1+git230720-1 libtiff6_4.5.1+git230720-1 libtiffxx6_4.5.1+git230720-1 libtinfo6_6.4+20230625-2 libtirpc-common_1.3.3+ds-1 libtirpc-dev_1.3.3+ds-1 libtirpc3_1.3.3+ds-1 libtool_2.4.7-7 libtyxml-ocaml_4.5.0-4 libubsan1_13.2.0-4+rpi1 libuchardet0_0.0.7-1 libudev1_254.5-1+rpi1 libunistring2_1.0-2 libunistring5_1.1-2 libuuid1_2.39.2-3 libuutf-ocaml_1.0.3-1+b1 libwebp-dev_1.3.2-0.3 libwebp7_1.3.2-0.3 libwebpdecoder3_1.3.2-0.3 libwebpdemux2_1.3.2-0.3 libwebpmux3_1.3.2-0.3 libx11-6_2:1.8.7-1 libx11-data_2:1.8.7-1 libx11-dev_2:1.8.7-1 libxau-dev_1:1.0.9-1 libxau6_1:1.0.9-1 libxcb-render0_1.15-1 libxcb-render0-dev_1.15-1 libxcb-shm0_1.15-1 libxcb-shm0-dev_1.15-1 libxcb1_1.15-1 libxcb1-dev_1.15-1 libxcomposite-dev_1:0.4.5-1 libxcomposite1_1:0.4.5-1 libxcursor-dev_1:1.2.1-1 libxcursor1_1:1.2.1-1 libxdamage-dev_1:1.1.6-1 libxdamage1_1:1.1.6-1 libxdmcp-dev_1:1.1.2-3 libxdmcp6_1:1.1.2-3 libxext-dev_2:1.3.4-1 libxext6_2:1.3.4-1 libxfixes-dev_1:6.0.0-2 libxfixes3_1:6.0.0-2 libxft-dev_2.3.6-1 libxft2_2.3.6-1 libxi-dev_2:1.8-1 libxi6_2:1.8-1 libxinerama-dev_2:1.1.4-3 libxinerama1_2:1.1.4-3 libxml2_2.9.14+dfsg-1.3 libxml2-utils_2.9.14+dfsg-1.3 libxrandr-dev_2:1.5.2-2 libxrandr2_2:1.5.2-2 libxrender-dev_1:0.9.10-1.1 libxrender1_1:0.9.10-1.1 libxxhash0_0.8.2-2 libyojson-ocaml_2.1.0-2 libzarith-ocaml_1.13-2+b1 libzarith-ocaml-dev_1.13-2+b1 libzip-ocaml_1.11-2+b1 libzip-ocaml-dev_1.11-2+b1 libzstd-dev_1.5.5+dfsg2-1 libzstd1_1.5.5+dfsg2-1 linux-libc-dev_6.1.38-1+rpi1 login_1:4.13+dfsg1-2 logsave_1.47.0-2 lsb-base_11.6+rpi1 m4_1.4.19-4 make_4.3-4.1 man-db_2.11.2-3 mawk_1.3.4.20230808-1 media-types_10.1.0 menhir_20230608+ds-1+b1 mount_2.39.2-3 nano_7.2-1 ncurses-base_6.4+20230625-2 ncurses-bin_6.4+20230625-2 netbase_6.4 ocaml_4.14.1-1+rpi1 ocaml-base_4.14.1-1+rpi1 ocaml-dune_3.10.0-2 ocaml-findlib_1.9.6-1+b2 ocaml-interp_4.14.1-1+rpi1 ocaml-nox_4.14.1-1+rpi1 ocplib-simplex-ocaml-dev_0.5-4+b1 pango1.0-tools_1.51.0+ds-2 passwd_1:4.13+dfsg1-2 patch_2.7.6-7 perl_5.36.0-9 perl-base_5.36.0-9 perl-modules-5.36_5.36.0-9 pinentry-curses_1.2.1-1 pkg-config_1.8.1-1 pkgconf_1.8.1-1 pkgconf-bin_1.8.1-1 po-debconf_1.0.21+nmu1 python3_3.11.4-5 python3-distutils_3.11.5-1 python3-lib2to3_3.11.5-1 python3-minimal_3.11.4-5 python3.11_3.11.6-3 python3.11-minimal_3.11.6-3 raspbian-archive-keyring_20120528.2 readline-common_8.2-1.3 rpcsvc-proto_1.4.3-1 sbuild-build-depends-alt-ergo-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.9-1 sensible-utils_0.0.20 sgml-base_1.31 shared-mime-info_2.2-1 sysvinit-utils_3.08-3 tar_1.34+dfsg-1.2 tzdata_2023c-10 usrmerge_37 util-linux_2.39.2-3 util-linux-extra_2.39.2-3 uuid-dev_2.39.2-3 x11-common_1:7.7+23 x11proto-core-dev_2023.2-1 x11proto-dev_2023.2-1 xorg-sgml-doctools_1:1.11-1.1 xtrans-dev_1.4.0-1 xz-utils_5.4.4-0.1 zlib1g_1:1.2.13.dfsg-3 zlib1g-dev_1:1.2.13.dfsg-3

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


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

gpgv: Signature made Sat Aug  6 21:04:48 2022 UTC
gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
gpgv:                issuer "jpuydt@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify inline signature for ./alt-ergo_2.4.2-2.dsc: no acceptable signature found
dpkg-source: info: extracting alt-ergo in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking alt-ergo_2.4.2.orig.tar.gz
dpkg-source: info: unpacking alt-ergo_2.4.2-2.debian.tar.xz

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

Sufficient free space for build

Hack binNMU version
-------------------

Created changelog entry for binNMU version 2.4.2-2+b1

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=trixie-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=trixie-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=112
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=trixie-staging-armhf-sbuild-0b82310a-7bde-4010-a4dc-fbaa3f880efb
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd

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

dpkg-buildpackage: info: source package alt-ergo
dpkg-buildpackage: info: source version 2.4.2-2+b1
dpkg-buildpackage: info: source distribution trixie-staging
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
 debian/rules clean
dh  clean --with ocaml
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
if [ -f config.status ]; then \
	/usr/bin/make dist-clean;   \
fi
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_ocamlclean
   dh_clean
 debian/rules binary-arch
dh  binary-arch --with ocaml
   dh_update_autotools_config -a
   dh_autoreconf -a
   dh_ocamlinit -a
   debian/rules override_dh_auto_configure
make[1]: Entering directory '/<<PKGBUILDDIR>>'
./configure --prefix /usr --libdir /usr/lib/ocaml --mandir /usr/share/man alt-ergo-lib
Using provided value for 'prefix' : /usr
Using provided value for 'libdir' : /usr/lib/ocaml
Using provided value for 'mandir' : /usr/share/man
Generating file src/lib/util/config.ml...done.
Generating file src/bin/text/flags.dune...done.
Generating file Makefile.config...done.
Good to go!
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dune build -p alt-ergo-lib,alt-ergo-parsers,alt-ergo
File "src/bin/text/dune", line 7, characters 16-25:
7 |   (name         Main_text)
                    ^^^^^^^^^
Error: File unavailable: /usr/lib/ocaml/logs/logs.cmxa
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Parsed_interface.cmi -c -intf src/lib/frontend/parsed_interface.mli)
File "src/lib/frontend/parsed_interface.mli", line 18, characters 20-77:
18 |   [@ocaml.ppwarning "TODO: add documentation for every function in this file"]
                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add documentation for every function in this file
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Ty.cmo -c -impl src/lib/structures/ty.ml)
File "src/lib/structures/ty.ml", line 200, characters 20-51:
200 |   [@ocaml.ppwarning "TODO: should be implemented ?"]
                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should be implemented ?
File "src/lib/structures/ty.ml", line 334, characters 24-65:
334 |       [@ocaml.ppwarning "TODO: detect when there are no changes "]
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: detect when there are no changes 
File "src/lib/structures/ty.ml", line 589, characters 28-59:
589 |   | _ , _ [@ocaml.ppwarning "TODO: remove fragile pattern "] ->
                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: remove fragile pattern 
File "src/lib/structures/ty.ml", line 639, characters 20-61:
639 |   [@ocaml.ppwarning "TODO: detect when there are no changes "]
                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: detect when there are no changes 
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Adt.cmo -c -impl src/lib/reasoners/adt.ml)
File "src/lib/reasoners/adt.ml", lines 63-64, characters 21-30:
63 | ....................."XXX: IsConstr not interpreted currently. Maybe \
64 |                       it's OK".
Warning 22 [preprocessor]: XXX: IsConstr not interpreted currently. Maybe it's OK
File "src/lib/reasoners/adt.ml", line 105, characters 24-64:
105 |       [@ocaml.ppwarning "TODO: canonize Constr(list of selects)"]
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: canonize Constr(list of selects)
File "src/lib/reasoners/adt.ml", line 227, characters 21-37:
227 |   [@@ocaml.ppwarning "TODO: not sure"]
                           ^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: not sure
File "src/lib/reasoners/adt.ml", line 318, characters 24-50:
318 |       [@ocaml.ppwarning "TODO: abstract Selectors"] ->
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors
File "src/lib/reasoners/adt.ml", line 305, characters 26-66:
305 |         [@ocaml.ppwarning "TODO: abstract Selectors: case to test"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors: case to test
File "src/lib/reasoners/adt.ml", line 313, characters 27-67:
313 |          [@ocaml.ppwarning "TODO: abstract Selectors: case to test"] then
                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors: case to test
File "src/lib/reasoners/adt.ml", line 328, characters 27-53:
328 |          [@ocaml.ppwarning "TODO: abstract Selectors"] then
                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Cnf.cmo -c -impl src/lib/frontend/cnf.ml)
File "src/lib/frontend/cnf.ml", lines 38-40, characters 19-33:
38 | ..................."TODO: Change Symbols.Float to store FP numeral \
39 |                     constants (eg, <24, -149> for single) instead of \
40 |                     having terms".
Warning 22 [preprocessor]: TODO: Change Symbols.Float to store FP numeral constants (eg, <24, -149> for single) instead of having terms
File "src/lib/frontend/cnf.ml", line 250, characters 29-64:
250 |            [@ocaml.ppwarning "TODO: should introduce fresh vars"]
                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should introduce fresh vars
File "src/lib/frontend/cnf.ml", line 475, characters 29-64:
475 |            [@ocaml.ppwarning "TODO: should introduce fresh vars"]
                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should introduce fresh vars
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_types.cmo -c -impl src/lib/structures/satml_types.ml)
File "src/lib/structures/satml_types.ml", line 852, characters 33-71:
852 |                [@ocaml.ppwarning "xlit or at_lit is probably redundant"]
                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: xlit or at_lit is probably redundant
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Records.cmo -c -impl src/lib/reasoners/records.ml)
File "src/lib/reasoners/records.ml", line 283, characters 26-69:
283 |         [@ocaml.ppwarning "TODO: should not rebuild if not changed !"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should not rebuild if not changed !
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Expr.cmo -c -impl src/lib/structures/expr.ml)
File "src/lib/structures/expr.ml", line 1387, characters 33-66:
1387 |       else acc [@ocaml.ppwarning "TODO: add some stuff from let_e"]
                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add some stuff from let_e
File "src/lib/structures/expr.ml", lines 1599-1601, characters 24-55:
1599 | ........................"TODO: should also inline form in form. But \
1600 |                          not possible to detect if we are not \
1601 |                          inlining a form inside a term".
Warning 22 [preprocessor]: TODO: should also inline form in form. But not possible to detect if we are not inlining a form inside a term
File "src/lib/structures/expr.ml", lines 2094-2097, characters 34-77:
2094 | .................................."TODO: once 'let x = term in term' \
2095 |                                    added, check that the resulting sbt \
2096 |                                    is well normalized (may be not true \
2097 |                                    depending on the ordering of vars in lets".
Warning 22 [preprocessor]: TODO: once 'let x = term in term' added, check that the resulting sbt is well normalized (may be not true depending on the ordering of vars in lets
File "src/lib/structures/expr.ml", lines 2118-2120, characters 26-49:
2118 | .........................."TODO: do it for this case once \
2119 |                            free-vars issues of theories axioms \
2120 |                            with hypotheses fixed".
Warning 22 [preprocessor]: TODO: do it for this case once free-vars issues of theories axioms with hypotheses fixed
File "src/lib/structures/expr.ml", lines 2114-2116, characters 26-56:
2114 | .........................."TODO: filter_good_triggers for this \
2115 |                            case once free-vars issues of theories \
2116 |                            axioms with hypotheses fixed".
Warning 22 [preprocessor]: TODO: filter_good_triggers for this case once free-vars issues of theories axioms with hypotheses fixed
File "src/lib/structures/expr.ml", line 2320, characters 20-57:
2320 |   [@ocaml.ppwarning "TODO: add a match construct in expr"]
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add a match construct in expr
File "src/lib/structures/expr.ml", line 2319, characters 20-50:
2319 |   [@ocaml.ppwarning "TODO: add other elim schemes"]
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add other elim schemes
File "src/lib/structures/expr.ml", line 2318, characters 20-62:
2318 |   [@ocaml.ppwarning "TODO: introduce a let if e is a big expr"]
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: introduce a let if e is a big expr
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Shostak.cmo -c -impl src/lib/reasoners/shostak.ml)
File "src/lib/reasoners/shostak.ml", lines 551-553, characters 26-39:
551 | .........................."TODO: a simple way of handling equalities \
552 |                            with void and unit is to add this case is \
553 |                            the solver!".
Warning 22 [preprocessor]: TODO: a simple way of handling equalities with void and unit is to add this case is the solver!
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Ite_rel.cmo -c -impl src/lib/reasoners/ite_rel.ml)
File "src/lib/reasoners/ite_rel.ml", line 119, characters 35-62:
119 |                  [@ocaml.ppwarning "TODO: build IFF instead ?"]
                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: build IFF instead ?
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__IntervalCalculus.cmo -c -impl src/lib/reasoners/intervalCalculus.ml)
File "src/lib/reasoners/intervalCalculus.ml", line 192, characters 35-41:
192 |           Sim.Assert.var simplex x new_mn new_mn_ex new_mx new_mx_ex
                                         ^^^^^^
Error: The function applied to this argument has type
         ?min:Sim.Core.bound -> ?max:Sim.Core.bound -> Sim.Core.t * bool
This argument cannot be applied without label
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Adt_rel.cmo -c -impl src/lib/reasoners/adt_rel.ml)
File "src/lib/reasoners/adt_rel.ml", lines 41-42, characters 22-51:
41 | ......................"selectors should be improved. only representatives \
42 |                        in it. No true or false _is".
Warning 22 [preprocessor]: selectors should be improved. only representatives in it. No true or false _is
File "src/lib/reasoners/adt_rel.ml", lines 296-297, characters 19-66:
296 | ..................."XXX improve. For each selector, store its \
297 |                     corresponding constructor when typechecking ?".
Warning 22 [preprocessor]: XXX improve. For each selector, store its corresponding constructor when typechecking ?
File "src/lib/reasoners/adt_rel.ml", line 334, characters 19-72:
334 | [@@ocaml.ppwarning "working with X.term_extract r would be sufficient ?"]
                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: working with X.term_extract r would be sufficient ?
File "src/lib/reasoners/adt_rel.ml", line 648, characters 31-77:
648 |              [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"]
                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ?
File "src/lib/reasoners/adt_rel.ml", line 709, characters 26-72:
709 |         [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ?
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_frontend.cmo -c -impl src/lib/reasoners/satml_frontend.ml)
File "src/lib/reasoners/satml_frontend.ml", line 374, characters 24-77:
374 |       [@ocaml.ppwarning "TODO: modifications made in tbox are lost! improve?"]
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: modifications made in tbox are lost! improve?
File "src/lib/reasoners/satml_frontend.ml", lines 671-672, characters 6-63:
671 | ......"improve terms / atoms extraction in lazy/non-lazy \
672 |        and greedy/non-greedy mode. Separate atoms from terms !".
Warning 22 [preprocessor]: improve terms / atoms extraction in lazy/non-lazy and greedy/non-greedy mode. Separate atoms from terms !
File "src/lib/reasoners/satml_frontend.ml", line 693, characters 22-75:
693 |     [@ocaml.ppwarning "Issue for greedy: terms inside lemmas not extracted"]
                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: Issue for greedy: terms inside lemmas not extracted
File "src/lib/reasoners/satml_frontend.ml", lines 714-715, characters 22-73:
714 | ......................"!!! Possibles issues du to replacement of atoms \
715 |                        that are facts with TRUE by mk_lit (and simplify)".
Warning 22 [preprocessor]: !!! Possibles issues du to replacement of atoms that are facts with TRUE by mk_lit (and simplify)
File "src/lib/reasoners/satml_frontend.ml", line 748, characters 28-61:
748 |           [@ocaml.ppwarning "TODO: should be assert failure?"]
                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should be assert failure?
File "src/lib/reasoners/satml_frontend.ml", line 846, characters 34-79:
846 |                 [@ocaml.ppwarning "TODO: should fix for unsat cores generation"]
                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should fix for unsat cores generation
File "src/lib/reasoners/satml_frontend.ml", line 985, characters 20-79:
985 |                     "TODO: first intantiation a la DfsSAT before searching ..."]
                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: first intantiation a la DfsSAT before searching ...
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -bin-annot -O3 -unbox-closures -I src/lib/.AltErgoLib.objs/byte -I src/lib/.AltErgoLib.objs/native -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/native/altErgoLib__Ty.cmx -c -impl src/lib/structures/ty.ml)
File "src/lib/structures/ty.ml", line 200, characters 20-51:
200 |   [@ocaml.ppwarning "TODO: should be implemented ?"]
                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should be implemented ?
File "src/lib/structures/ty.ml", line 334, characters 24-65:
334 |       [@ocaml.ppwarning "TODO: detect when there are no changes "]
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: detect when there are no changes 
File "src/lib/structures/ty.ml", line 589, characters 28-59:
589 |   | _ , _ [@ocaml.ppwarning "TODO: remove fragile pattern "] ->
                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: remove fragile pattern 
File "src/lib/structures/ty.ml", line 639, characters 20-61:
639 |   [@ocaml.ppwarning "TODO: detect when there are no changes "]
                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: detect when there are no changes 
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -bin-annot -g -bin-annot -I src/lib/.AltErgoLib.objs/byte -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml.cmo -c -impl src/lib/reasoners/satml.ml)
File "src/lib/reasoners/satml.ml", line 523, characters 26-66:
523 |         [@ocaml.ppwarning "TODO: try to disable 'fill_with_dummy'"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: try to disable 'fill_with_dummy'
File "src/lib/reasoners/satml.ml", lines 1576-1579, characters 28-42:
1576 | ............................"TODO: add a heavy assert that checks \
1577 |                              that clauses are not redundant, watchs \
1578 |                              are well set, unit and bottom are \
1579 |                              detected ...".
Warning 22 [preprocessor]: TODO: add a heavy assert that checks that clauses are not redundant, watchs are well set, unit and bottom are detected ...
File "src/lib/reasoners/satml.ml", lines 1645-1646, characters 22-43:
1645 | ......................"Issue: BAD decision_level, in particular, \
1646 |                        if minimal-bj is ON".
Warning 22 [preprocessor]: Issue: BAD decision_level, in particular, if minimal-bj is ON
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -bin-annot -O3 -unbox-closures -I src/lib/.AltErgoLib.objs/byte -I src/lib/.AltErgoLib.objs/native -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/native/altErgoLib__Expr.cmx -c -impl src/lib/structures/expr.ml)
File "src/lib/structures/expr.ml", line 1387, characters 33-66:
1387 |       else acc [@ocaml.ppwarning "TODO: add some stuff from let_e"]
                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add some stuff from let_e
File "src/lib/structures/expr.ml", lines 1599-1601, characters 24-55:
1599 | ........................"TODO: should also inline form in form. But \
1600 |                          not possible to detect if we are not \
1601 |                          inlining a form inside a term".
Warning 22 [preprocessor]: TODO: should also inline form in form. But not possible to detect if we are not inlining a form inside a term
File "src/lib/structures/expr.ml", lines 2094-2097, characters 34-77:
2094 | .................................."TODO: once 'let x = term in term' \
2095 |                                    added, check that the resulting sbt \
2096 |                                    is well normalized (may be not true \
2097 |                                    depending on the ordering of vars in lets".
Warning 22 [preprocessor]: TODO: once 'let x = term in term' added, check that the resulting sbt is well normalized (may be not true depending on the ordering of vars in lets
File "src/lib/structures/expr.ml", lines 2118-2120, characters 26-49:
2118 | .........................."TODO: do it for this case once \
2119 |                            free-vars issues of theories axioms \
2120 |                            with hypotheses fixed".
Warning 22 [preprocessor]: TODO: do it for this case once free-vars issues of theories axioms with hypotheses fixed
File "src/lib/structures/expr.ml", lines 2114-2116, characters 26-56:
2114 | .........................."TODO: filter_good_triggers for this \
2115 |                            case once free-vars issues of theories \
2116 |                            axioms with hypotheses fixed".
Warning 22 [preprocessor]: TODO: filter_good_triggers for this case once free-vars issues of theories axioms with hypotheses fixed
File "src/lib/structures/expr.ml", line 2320, characters 20-57:
2320 |   [@ocaml.ppwarning "TODO: add a match construct in expr"]
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add a match construct in expr
File "src/lib/structures/expr.ml", line 2319, characters 20-50:
2319 |   [@ocaml.ppwarning "TODO: add other elim schemes"]
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add other elim schemes
File "src/lib/structures/expr.ml", line 2318, characters 20-62:
2318 |   [@ocaml.ppwarning "TODO: introduce a let if e is a big expr"]
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: introduce a let if e is a big expr
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -bin-annot -O3 -unbox-closures -I src/lib/.AltErgoLib.objs/byte -I src/lib/.AltErgoLib.objs/native -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/native/altErgoLib__Adt.cmx -c -impl src/lib/reasoners/adt.ml)
File "src/lib/reasoners/adt.ml", lines 63-64, characters 21-30:
63 | ....................."XXX: IsConstr not interpreted currently. Maybe \
64 |                       it's OK".
Warning 22 [preprocessor]: XXX: IsConstr not interpreted currently. Maybe it's OK
File "src/lib/reasoners/adt.ml", line 105, characters 24-64:
105 |       [@ocaml.ppwarning "TODO: canonize Constr(list of selects)"]
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: canonize Constr(list of selects)
File "src/lib/reasoners/adt.ml", line 227, characters 21-37:
227 |   [@@ocaml.ppwarning "TODO: not sure"]
                           ^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: not sure
File "src/lib/reasoners/adt.ml", line 318, characters 24-50:
318 |       [@ocaml.ppwarning "TODO: abstract Selectors"] ->
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors
File "src/lib/reasoners/adt.ml", line 305, characters 26-66:
305 |         [@ocaml.ppwarning "TODO: abstract Selectors: case to test"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors: case to test
File "src/lib/reasoners/adt.ml", line 313, characters 27-67:
313 |          [@ocaml.ppwarning "TODO: abstract Selectors: case to test"] then
                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors: case to test
File "src/lib/reasoners/adt.ml", line 328, characters 27-53:
328 |          [@ocaml.ppwarning "TODO: abstract Selectors"] then
                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -bin-annot -O3 -unbox-closures -I src/lib/.AltErgoLib.objs/byte -I src/lib/.AltErgoLib.objs/native -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/native/altErgoLib__Records.cmx -c -impl src/lib/reasoners/records.ml)
File "src/lib/reasoners/records.ml", line 283, characters 26-69:
283 |         [@ocaml.ppwarning "TODO: should not rebuild if not changed !"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should not rebuild if not changed !
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -bin-annot -O3 -unbox-closures -I src/lib/.AltErgoLib.objs/byte -I src/lib/.AltErgoLib.objs/native -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/native/altErgoLib__Cnf.cmx -c -impl src/lib/frontend/cnf.ml)
File "src/lib/frontend/cnf.ml", lines 38-40, characters 19-33:
38 | ..................."TODO: Change Symbols.Float to store FP numeral \
39 |                     constants (eg, <24, -149> for single) instead of \
40 |                     having terms".
Warning 22 [preprocessor]: TODO: Change Symbols.Float to store FP numeral constants (eg, <24, -149> for single) instead of having terms
File "src/lib/frontend/cnf.ml", line 250, characters 29-64:
250 |            [@ocaml.ppwarning "TODO: should introduce fresh vars"]
                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should introduce fresh vars
File "src/lib/frontend/cnf.ml", line 475, characters 29-64:
475 |            [@ocaml.ppwarning "TODO: should introduce fresh vars"]
                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should introduce fresh vars
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -bin-annot -O3 -unbox-closures -I src/lib/.AltErgoLib.objs/byte -I src/lib/.AltErgoLib.objs/native -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/native/altErgoLib__Satml_types.cmx -c -impl src/lib/structures/satml_types.ml)
File "src/lib/structures/satml_types.ml", line 852, characters 33-71:
852 |                [@ocaml.ppwarning "xlit or at_lit is probably redundant"]
                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: xlit or at_lit is probably redundant
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -bin-annot -O3 -unbox-closures -I src/lib/.AltErgoLib.objs/byte -I src/lib/.AltErgoLib.objs/native -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/native/altErgoLib__Shostak.cmx -c -impl src/lib/reasoners/shostak.ml)
File "src/lib/reasoners/shostak.ml", lines 551-553, characters 26-39:
551 | .........................."TODO: a simple way of handling equalities \
552 |                            with void and unit is to add this case is \
553 |                            the solver!".
Warning 22 [preprocessor]: TODO: a simple way of handling equalities with void and unit is to add this case is the solver!
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -bin-annot -O3 -unbox-closures -I src/lib/.AltErgoLib.objs/byte -I src/lib/.AltErgoLib.objs/native -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/native/altErgoLib__Ite_rel.cmx -c -impl src/lib/reasoners/ite_rel.ml)
File "src/lib/reasoners/ite_rel.ml", line 119, characters 35-62:
119 |                  [@ocaml.ppwarning "TODO: build IFF instead ?"]
                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: build IFF instead ?
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -bin-annot -O3 -unbox-closures -I src/lib/.AltErgoLib.objs/byte -I src/lib/.AltErgoLib.objs/native -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/native/altErgoLib__IntervalCalculus.cmx -c -impl src/lib/reasoners/intervalCalculus.ml)
File "src/lib/reasoners/intervalCalculus.ml", line 192, characters 35-41:
192 |           Sim.Assert.var simplex x new_mn new_mn_ex new_mx new_mx_ex
                                         ^^^^^^
Error: The function applied to this argument has type
         ?min:Sim.Core.bound -> ?max:Sim.Core.bound -> Sim.Core.t * bool
This argument cannot be applied without label
(cd _build/default && /usr/bin/ocamlopt.opt -w -40 -bin-annot -O3 -unbox-closures -I src/lib/.AltErgoLib.objs/byte -I src/lib/.AltErgoLib.objs/native -I /usr/lib/ocaml/logs -I /usr/lib/ocaml/ocplib-simplex -I /usr/lib/ocaml/seq -I /usr/lib/ocaml/stdlib-shims -I /usr/lib/ocaml/zarith -intf-suffix .ml -no-alias-deps -open AltErgoLib -o src/lib/.AltErgoLib.objs/native/altErgoLib__Adt_rel.cmx -c -impl src/lib/reasoners/adt_rel.ml)
File "src/lib/reasoners/adt_rel.ml", lines 41-42, characters 22-51:
41 | ......................"selectors should be improved. only representatives \
42 |                        in it. No true or false _is".
Warning 22 [preprocessor]: selectors should be improved. only representatives in it. No true or false _is
File "src/lib/reasoners/adt_rel.ml", lines 296-297, characters 19-66:
296 | ..................."XXX improve. For each selector, store its \
297 |                     corresponding constructor when typechecking ?".
Warning 22 [preprocessor]: XXX improve. For each selector, store its corresponding constructor when typechecking ?
File "src/lib/reasoners/adt_rel.ml", line 334, characters 19-72:
334 | [@@ocaml.ppwarning "working with X.term_extract r would be sufficient ?"]
                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: working with X.term_extract r would be sufficient ?
File "src/lib/reasoners/adt_rel.ml", line 648, characters 31-77:
648 |              [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"]
                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ?
File "src/lib/reasoners/adt_rel.ml", line 709, characters 26-72:
709 |         [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ?
make[1]: *** [debian/rules:18: override_dh_auto_build] Error 1
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:9: binary-arch] Error 2
dpkg-buildpackage: error: debian/rules binary-arch subprocess returned exit status 2
--------------------------------------------------------------------------------
Build finished at 2023-10-18T21:47:22Z

Finished
--------


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

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

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

Build Architecture: armhf
Build-Space: 85236
Build-Time: 21
Distribution: trixie-staging
Fail-Stage: build
Host Architecture: armhf
Install-Time: 1667
Job: alt-ergo_2.4.2-2
Machine Architecture: armhf
Package: alt-ergo
Package-Time: 1709
Source-Version: 2.4.2-2
Space: 85236
Status: attempted
Version: 2.4.2-2+b1
--------------------------------------------------------------------------------
Finished at 2023-10-18T21:47:22Z
Build needed 00:28:29, 85236k disk space
Raspbian Package Auto-Building

Build log for alt-ergo (2.4.2-2+b1) on armhf
