Raspbian Package Auto-Building

Build log for belenios (2.2+git10-gbb6b7ea8+dfsg-1) on armhf

belenios2.2+git10-gbb6b7ea8+dfsg-1armhf → 2023-10-15 23:06:09

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

+==============================================================================+
| belenios 2.2+git10-gbb6b7ea8+dfsg-1 (armhf)  Sun, 15 Oct 2023 22:33:14 +0000 |
+==============================================================================+

Package: belenios
Version: 2.2+git10-gbb6b7ea8+dfsg-1
Source Version: 2.2+git10-gbb6b7ea8+dfsg-1
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-461c6e4a-4b6b-46bb-bd63-53f05956279a' 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 11s (2719 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: 'belenios' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/belenios.git
Please use:
git clone https://salsa.debian.org/ocaml-team/belenios.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 968 kB of source archives.
Get:1 http://172.17.4.1/private trixie-staging/main belenios 2.2+git10-gbb6b7ea8+dfsg-1 (dsc) [2231 B]
Get:2 http://172.17.4.1/private trixie-staging/main belenios 2.2+git10-gbb6b7ea8+dfsg-1 (tar) [940 kB]
Get:3 http://172.17.4.1/private trixie-staging/main belenios 2.2+git10-gbb6b7ea8+dfsg-1 (diff) [26.2 kB]
Fetched 968 kB in 0s (6421 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/belenios-wXU2sQ/belenios-2.2+git10-gbb6b7ea8+dfsg' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/belenios-wXU2sQ' 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-plf4lP/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-plf4lP/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-plf4lP/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-plf4lP/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-plf4lP/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-plf4lP/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-plf4lP/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-plf4lP/apt_archive ./ Packages [432 B]
Fetched 2108 B in 0s (8520 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 44 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-plf4lP/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 (67.7 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 11775 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, ocaml-dune, libzarith-ocaml-dev, libcalendar-ocaml-dev, libuuidm-ocaml-dev, libcryptokit-ocaml-dev, libatdgen-ocaml-dev (>= 2.10.0), libyojson-ocaml-dev, libcmdliner-ocaml-dev (>= 1.1), libhex-ocaml-dev, libbase64-ocaml-dev, libsodium-dev, jq, ocaml, markdown, texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra, texlive-science, lmodern
Filtered Build-Depends: debhelper-compat (= 13), dh-ocaml, ocaml-dune, libzarith-ocaml-dev, libcalendar-ocaml-dev, libuuidm-ocaml-dev, libcryptokit-ocaml-dev, libatdgen-ocaml-dev (>= 2.10.0), libyojson-ocaml-dev, libcmdliner-ocaml-dev (>= 1.1), libhex-ocaml-dev, libbase64-ocaml-dev, libsodium-dev, jq, ocaml, markdown, texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra, texlive-science, lmodern
dpkg-deb: building package 'sbuild-build-depends-belenios-dummy' in '/<<BUILDDIR>>/resolver-plf4lP/apt_archive/sbuild-build-depends-belenios-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-belenios-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-plf4lP/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-plf4lP/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-plf4lP/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-plf4lP/apt_archive ./ Sources [654 B]
Get:5 copy:/<<BUILDDIR>>/resolver-plf4lP/apt_archive ./ Packages [729 B]
Fetched 2716 B in 0s (11.9 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

Install belenios 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:
  autoconf automake autopoint autotools-dev bsdextrautils bsdutils debhelper
  dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file fontconfig-config
  fonts-dejavu-core fonts-dejavu-mono fonts-gfs-baskerville fonts-gfs-porson
  fonts-lmodern gettext gettext-base groff-base intltool-debian jq
  libapache-pom-java libarchive-zip-perl libatdgen-ocaml libatdgen-ocaml-dev
  libbase64-ocaml libbase64-ocaml-dev libbiniou-ocaml libbiniou-ocaml-dev
  libblkid1 libbrotli1 libbsd0 libcairo2 libcalendar-ocaml
  libcalendar-ocaml-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev
  libcmdliner-ocaml-dev libcommons-logging-java libcommons-parent-java
  libcompiler-libs-ocaml-dev libcryptokit-ocaml libcryptokit-ocaml-dev
  libcstruct-ocaml libcstruct-ocaml-dev libdebhelper-perl libeasy-format-ocaml
  libeasy-format-ocaml-dev libelf1 libev-dev libev4 libexpat1
  libfile-stripnondeterminism-perl libfindlib-ocaml libfontbox-java
  libfontconfig1 libfontenc1 libfreetype6 libglib2.0-0 libgmp-dev libgmp3-dev
  libgmpxx4ldbl libgraphite2-3 libharfbuzz0b libhex-ocaml libhex-ocaml-dev
  libice6 libicu72 libjq1 libkpathsea6 liblwt-ocaml liblwt-ocaml-dev
  libmagic-mgc libmagic1 libmount1 libncurses-dev libncurses6 libnum-ocaml
  libnum-ocaml-dev libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml
  libocplib-endian-ocaml-dev libonig5 libpaper-utils libpaper1
  libparsexp-ocaml libparsexp-ocaml-dev libpdfbox-java libpipeline1
  libpixman-1-0 libpng16-16 libpotrace0 libppx-derivers-ocaml-dev
  libppxlib-ocaml-dev libptexenc1 libpython3-stdlib libpython3.11-minimal
  libpython3.11-stdlib libre-ocaml-dev libreact-ocaml libreact-ocaml-dev
  libsexplib-ocaml libsexplib-ocaml-dev libsexplib0-ocaml
  libsexplib0-ocaml-dev libsm6 libsmartcols1 libsodium-dev libsodium23
  libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libsynctex2
  libteckit0 libtexlua53-5 libtool libuchardet0 libuuid1 libuuidm-ocaml-dev
  libx11-6 libx11-data libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1
  libxdmcp6 libxext6 libxi6 libxml2 libxmu6 libxpm4 libxrender1 libxt6
  libyojson-ocaml libyojson-ocaml-dev libzarith-ocaml libzarith-ocaml-dev
  libzzip-0-13 lmodern m4 man-db markdown media-types mount ocaml ocaml-base
  ocaml-dune ocaml-findlib ocaml-interp po-debconf preview-latex-style python3
  python3-minimal python3.11 python3.11-minimal t1utils tex-common
  texlive-base texlive-binaries texlive-fonts-extra texlive-fonts-recommended
  texlive-lang-greek texlive-latex-base texlive-latex-extra
  texlive-latex-recommended texlive-pictures texlive-science ucf util-linux
  util-linux-extra x11-common xdg-utils xfonts-encodings xfonts-utils
  zlib1g-dev
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc dh-make git gettext-doc
  libasprintf-dev libgettextpo-dev groff libcalendar-ocaml-doc
  libavalon-framework-java libcommons-logging-java-doc
  libexcalibur-logkit-java liblog4j1.2-java low-memory-monitor gmp-doc
  libgmp10-doc libmpfr-dev liblwt-ssl-ocaml-dev liblwt-glib-ocaml-dev
  cryptsetup-bin ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk
  m4-doc apparmor less www-browser nfs-common ocaml-doc elpa-tuareg camlp4
  libmail-box-perl python3-doc python3-tk python3-venv python3.11-venv
  python3.11-doc binfmt-support ghostscript gv | postscript-viewer perl-tk
  xpdf | pdf-viewer xzdec texlive-binaries-sse2 texlive-fonts-extra-doc
  texlive-fonts-recommended-doc texlive-latex-base-doc wp2latex
  python3-pygments icc-profiles libfile-which-perl texlive-latex-extra-doc
  texlive-latex-recommended-doc texlive-luatex texlive-pstricks dot2tex prerex
  texlive-pictures-doc vprerex texlive-science-doc dosfstools kbd
  util-linux-locales
Recommended packages:
  curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info
  xdg-user-dirs liblwt-ocaml-doc libgpm2 ocaml-man libltdl-dev uuid-runtime
  libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl
  ca-certificates dvisvgm cm-super fonts-adf-accanthis fonts-adf-berenis
  fonts-adf-gillius fonts-adf-universalis fonts-alegreya-sans fonts-cabin
  fonts-cantarell fonts-clear-sans fonts-comfortaa fonts-comic-neue
  fonts-croscore fonts-crosextra-caladea fonts-crosextra-carlito
  fonts-dejavu-extra fonts-ebgaramond-extra fonts-font-awesome
  fonts-freefont-otf fonts-freefont-ttf fonts-gfs-artemisia
  fonts-gfs-complutum fonts-gfs-didot fonts-gfs-neohellenic fonts-gfs-olga
  fonts-gfs-solomos fonts-go fonts-inter fonts-junicode fonts-lato
  fonts-linuxlibertine fonts-lobstertwo fonts-noto-color-emoji fonts-noto-core
  fonts-noto-mono fonts-oflb-asana-math fonts-open-sans fonts-paratype
  fonts-roboto-slab fonts-roboto-unhinted fonts-sil-andika fonts-sil-charis
  fonts-sil-gentium fonts-sil-gentium-basic fonts-sil-gentiumplus
  fonts-sil-gentiumplus-compact fonts-stix texlive-fonts-extra-links tex-gyre
  tipa default-jre libspreadsheet-parseexcel-perl texlive-plain-generic ruby
  tk libfile-mimeinfo-perl libnet-dbus-perl libx11-protocol-perl x11-utils
  x11-xserver-utils
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils debhelper
  dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file fontconfig-config
  fonts-dejavu-core fonts-dejavu-mono fonts-gfs-baskerville fonts-gfs-porson
  fonts-lmodern gettext gettext-base groff-base intltool-debian jq
  libapache-pom-java libarchive-zip-perl libatdgen-ocaml libatdgen-ocaml-dev
  libbase64-ocaml libbase64-ocaml-dev libbiniou-ocaml libbiniou-ocaml-dev
  libbrotli1 libbsd0 libcairo2 libcalendar-ocaml libcalendar-ocaml-dev
  libcamlp-streams-ocaml libcamlp-streams-ocaml-dev libcmdliner-ocaml-dev
  libcommons-logging-java libcommons-parent-java libcompiler-libs-ocaml-dev
  libcryptokit-ocaml libcryptokit-ocaml-dev libcstruct-ocaml
  libcstruct-ocaml-dev libdebhelper-perl libeasy-format-ocaml
  libeasy-format-ocaml-dev libelf1 libev-dev libev4 libexpat1
  libfile-stripnondeterminism-perl libfindlib-ocaml libfontbox-java
  libfontconfig1 libfontenc1 libfreetype6 libglib2.0-0 libgmp-dev libgmp3-dev
  libgmpxx4ldbl libgraphite2-3 libharfbuzz0b libhex-ocaml libhex-ocaml-dev
  libice6 libicu72 libjq1 libkpathsea6 liblwt-ocaml liblwt-ocaml-dev
  libmagic-mgc libmagic1 libncurses-dev libncurses6 libnum-ocaml
  libnum-ocaml-dev libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml
  libocplib-endian-ocaml-dev libonig5 libpaper-utils libpaper1
  libparsexp-ocaml libparsexp-ocaml-dev libpdfbox-java libpipeline1
  libpixman-1-0 libpng16-16 libpotrace0 libppx-derivers-ocaml-dev
  libppxlib-ocaml-dev libptexenc1 libpython3-stdlib libpython3.11-minimal
  libpython3.11-stdlib libre-ocaml-dev libreact-ocaml libreact-ocaml-dev
  libsexplib-ocaml libsexplib-ocaml-dev libsexplib0-ocaml
  libsexplib0-ocaml-dev libsm6 libsodium-dev libsodium23 libstdlib-ocaml
  libstdlib-ocaml-dev libsub-override-perl libsynctex2 libteckit0
  libtexlua53-5 libtool libuchardet0 libuuidm-ocaml-dev libx11-6 libx11-data
  libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxi6
  libxml2 libxmu6 libxpm4 libxrender1 libxt6 libyojson-ocaml
  libyojson-ocaml-dev libzarith-ocaml libzarith-ocaml-dev libzzip-0-13 lmodern
  m4 man-db markdown media-types ocaml ocaml-base ocaml-dune ocaml-findlib
  ocaml-interp po-debconf preview-latex-style python3 python3-minimal
  python3.11 python3.11-minimal sbuild-build-depends-belenios-dummy t1utils
  tex-common texlive-base texlive-binaries texlive-fonts-extra
  texlive-fonts-recommended texlive-lang-greek texlive-latex-base
  texlive-latex-extra texlive-latex-recommended texlive-pictures
  texlive-science ucf x11-common xdg-utils xfonts-encodings xfonts-utils
  zlib1g-dev
The following packages will be upgraded:
  bsdutils libblkid1 libmount1 libsmartcols1 libuuid1 mount util-linux
  util-linux-extra
8 upgraded, 171 newly installed, 0 to remove and 36 not upgraded.
Need to get 876 MB of archives.
After this operation, 2632 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-plf4lP/apt_archive ./ sbuild-build-depends-belenios-dummy 0.invalid.0 [1012 B]
Get:2 http://172.17.4.1/private trixie-staging/main armhf bsdutils armhf 1:2.39.2-2.2 [86.0 kB]
Get:3 http://172.17.4.1/private trixie-staging/main armhf libsmartcols1 armhf 2.39.2-2.2 [101 kB]
Get:4 http://172.17.4.1/private trixie-staging/main armhf util-linux-extra armhf 2.39.2-2.2 [134 kB]
Get:5 http://172.17.4.1/private trixie-staging/main armhf util-linux armhf 2.39.2-2.2 [1107 kB]
Get:6 http://172.17.4.1/private trixie-staging/main armhf mount armhf 2.39.2-2.2 [133 kB]
Get:7 http://172.17.4.1/private trixie-staging/main armhf libpython3.11-minimal armhf 3.11.5-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.5-3 [1676 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-2.2 [27.9 kB]
Get:13 http://172.17.4.1/private trixie-staging/main armhf libpython3.11-stdlib armhf 3.11.5-3 [1675 kB]
Get:14 http://172.17.4.1/private trixie-staging/main armhf python3.11 armhf 3.11.5-3 [582 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-2.2 [144 kB]
Get:18 http://172.17.4.1/private trixie-staging/main armhf libmount1 armhf 2.39.2-2.2 [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-2.2 [80.6 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 ucf all 3.0043+nmu1 [55.2 kB]
Get:29 http://172.17.4.1/private trixie-staging/main armhf m4 armhf 1.4.19-4 [256 kB]
Get:30 http://172.17.4.1/private trixie-staging/main armhf autoconf all 2.71-3 [332 kB]
Get:31 http://172.17.4.1/private trixie-staging/main armhf autotools-dev all 20220109.1 [51.6 kB]
Get:32 http://172.17.4.1/private trixie-staging/main armhf automake all 1:1.16.5-1.3 [823 kB]
Get:33 http://172.17.4.1/private trixie-staging/main armhf autopoint all 0.21-13 [496 kB]
Get:34 http://172.17.4.1/private trixie-staging/main armhf libdebhelper-perl all 13.11.6 [81.9 kB]
Get:35 http://172.17.4.1/private trixie-staging/main armhf libtool all 2.4.7-7 [517 kB]
Get:36 http://172.17.4.1/private trixie-staging/main armhf dh-autoreconf all 20 [17.1 kB]
Get:37 http://172.17.4.1/private trixie-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:38 http://172.17.4.1/private trixie-staging/main armhf libsub-override-perl all 0.09-4 [9304 B]
Get:39 http://172.17.4.1/private trixie-staging/main armhf libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB]
Get:40 http://172.17.4.1/private trixie-staging/main armhf dh-strip-nondeterminism all 1.13.1-1 [8620 B]
Get:41 http://172.17.4.1/private trixie-staging/main armhf libelf1 armhf 0.188-2.1+rpi1 [171 kB]
Get:42 http://172.17.4.1/private trixie-staging/main armhf dwz armhf 0.15-1 [92.4 kB]
Get:43 http://172.17.4.1/private trixie-staging/main armhf libicu72 armhf 72.1-3 [9009 kB]
Get:44 http://172.17.4.1/private trixie-staging/main armhf libxml2 armhf 2.9.14+dfsg-1.3 [571 kB]
Get:45 http://172.17.4.1/private trixie-staging/main armhf gettext armhf 0.21-13 [1201 kB]
Get:46 http://172.17.4.1/private trixie-staging/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get:47 http://172.17.4.1/private trixie-staging/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
Get:48 http://172.17.4.1/private trixie-staging/main armhf debhelper all 13.11.6 [952 kB]
Get:49 http://172.17.4.1/private trixie-staging/main armhf dh-ocaml all 2.0 [75.1 kB]
Get:50 http://172.17.4.1/private trixie-staging/main armhf fonts-dejavu-mono all 2.37-8 [489 kB]
Get:51 http://172.17.4.1/private trixie-staging/main armhf fonts-dejavu-core all 2.37-8 [840 kB]
Get:52 http://172.17.4.1/private trixie-staging/main armhf fontconfig-config armhf 2.14.2-6 [316 kB]
Get:53 http://172.17.4.1/private trixie-staging/main armhf fonts-gfs-baskerville all 1.1-6 [43.7 kB]
Get:54 http://172.17.4.1/private trixie-staging/main armhf fonts-gfs-porson all 1.1-7 [33.8 kB]
Get:55 http://172.17.4.1/private trixie-staging/main armhf fonts-lmodern all 2.005-1 [4540 kB]
Get:56 http://172.17.4.1/private trixie-staging/main armhf libonig5 armhf 6.9.8-2 [164 kB]
Get:57 http://172.17.4.1/private trixie-staging/main armhf libjq1 armhf 1.7-1 [152 kB]
Get:58 http://172.17.4.1/private trixie-staging/main armhf jq armhf 1.7-1 [76.2 kB]
Get:59 http://172.17.4.1/private trixie-staging/main armhf libapache-pom-java all 29-2 [5276 B]
Get:60 http://172.17.4.1/private trixie-staging/main armhf libstdlib-ocaml armhf 4.14.1-1+rpi1 [458 kB]
Get:61 http://172.17.4.1/private trixie-staging/main armhf ocaml-base armhf 4.14.1-1+rpi1 [335 kB]
Get:62 http://172.17.4.1/private trixie-staging/main armhf libcamlp-streams-ocaml armhf 5.0.1-3+b1 [7652 B]
Get:63 http://172.17.4.1/private trixie-staging/main armhf libeasy-format-ocaml armhf 1.3.4-3+b1 [45.2 kB]
Get:64 http://172.17.4.1/private trixie-staging/main armhf libbiniou-ocaml armhf 1.2.2-3+b1 [125 kB]
Get:65 http://172.17.4.1/private trixie-staging/main armhf libyojson-ocaml armhf 2.1.0-2 [613 kB]
Get:66 http://172.17.4.1/private trixie-staging/main armhf libatdgen-ocaml armhf 2.12.0-3 [125 kB]
Get:67 http://172.17.4.1/private trixie-staging/main armhf libstdlib-ocaml-dev armhf 4.14.1-1+rpi1 [7138 kB]
Get:68 http://172.17.4.1/private trixie-staging/main armhf libcompiler-libs-ocaml-dev armhf 4.14.1-1+rpi1 [32.1 MB]
Get:69 http://172.17.4.1/private trixie-staging/main armhf ocaml-interp armhf 4.14.1-1+rpi1 [6458 kB]
Get:70 http://172.17.4.1/private trixie-staging/main armhf libncurses6 armhf 6.4+20230625-2 [79.6 kB]
Get:71 http://172.17.4.1/private trixie-staging/main armhf libncurses-dev armhf 6.4+20230625-2 [290 kB]
Get:72 http://172.17.4.1/private trixie-staging/main armhf ocaml armhf 4.14.1-1+rpi1 [65.4 MB]
Get:73 http://172.17.4.1/private trixie-staging/main armhf libcamlp-streams-ocaml-dev armhf 5.0.1-3+b1 [21.9 kB]
Get:74 http://172.17.4.1/private trixie-staging/main armhf libeasy-format-ocaml-dev armhf 1.3.4-3+b1 [97.8 kB]
Get:75 http://172.17.4.1/private trixie-staging/main armhf libbiniou-ocaml-dev armhf 1.2.2-3+b1 [573 kB]
Get:76 http://172.17.4.1/private trixie-staging/main armhf libyojson-ocaml-dev armhf 2.1.0-2 [1275 kB]
Get:77 http://172.17.4.1/private trixie-staging/main armhf libatdgen-ocaml-dev armhf 2.12.0-3 [1014 kB]
Get:78 http://172.17.4.1/private trixie-staging/main armhf libbase64-ocaml armhf 3.5.1-2+b1 [64.4 kB]
Get:79 http://172.17.4.1/private trixie-staging/main armhf libbase64-ocaml-dev armhf 3.5.1-2+b1 [138 kB]
Get:80 http://172.17.4.1/private trixie-staging/main armhf libbrotli1 armhf 1.0.9-2+b3 [258 kB]
Get:81 http://172.17.4.1/private trixie-staging/main armhf libbsd0 armhf 0.11.7-4 [111 kB]
Get:82 http://172.17.4.1/private trixie-staging/main armhf libpng16-16 armhf 1.6.40-1 [258 kB]
Get:83 http://172.17.4.1/private trixie-staging/main armhf libfreetype6 armhf 2.13.2+dfsg-1 [366 kB]
Get:84 http://172.17.4.1/private trixie-staging/main armhf libfontconfig1 armhf 2.14.2-6 [367 kB]
Get:85 http://172.17.4.1/private trixie-staging/main armhf libpixman-1-0 armhf 0.42.2-1 [461 kB]
Get:86 http://172.17.4.1/private trixie-staging/main armhf libxau6 armhf 1:1.0.9-1 [19.1 kB]
Get:87 http://172.17.4.1/private trixie-staging/main armhf libxdmcp6 armhf 1:1.1.2-3 [25.0 kB]
Get:88 http://172.17.4.1/private trixie-staging/main armhf libxcb1 armhf 1.15-1 [139 kB]
Get:89 http://172.17.4.1/private trixie-staging/main armhf libx11-data all 2:1.8.7-1 [328 kB]
Get:90 http://172.17.4.1/private trixie-staging/main armhf libx11-6 armhf 2:1.8.7-1 [729 kB]
Get:91 http://172.17.4.1/private trixie-staging/main armhf libxcb-render0 armhf 1.15-1 [114 kB]
Get:92 http://172.17.4.1/private trixie-staging/main armhf libxcb-shm0 armhf 1.15-1 [106 kB]
Get:93 http://172.17.4.1/private trixie-staging/main armhf libxext6 armhf 2:1.3.4-1 [48.0 kB]
Get:94 http://172.17.4.1/private trixie-staging/main armhf libxrender1 armhf 1:0.9.10-1.1 [30.0 kB]
Get:95 http://172.17.4.1/private trixie-staging/main armhf libcairo2 armhf 1.18.0-1 [425 kB]
Get:96 http://172.17.4.1/private trixie-staging/main armhf libcalendar-ocaml armhf 3.0.0-4+b1 [240 kB]
Get:97 http://172.17.4.1/private trixie-staging/main armhf libfindlib-ocaml armhf 1.9.6-1+b2 [167 kB]
Get:98 http://172.17.4.1/private trixie-staging/main armhf ocaml-findlib armhf 1.9.6-1+b2 [441 kB]
Get:99 http://172.17.4.1/private trixie-staging/main armhf libre-ocaml-dev armhf 1.11.0-1+b1 [923 kB]
Get:100 http://172.17.4.1/private trixie-staging/main armhf libcalendar-ocaml-dev armhf 3.0.0-4+b1 [571 kB]
Get:101 http://172.17.4.1/private trixie-staging/main armhf libcmdliner-ocaml-dev armhf 1.2.0-2+b1 [473 kB]
Get:102 http://172.17.4.1/private trixie-staging/main armhf libcommons-parent-java all 56-1 [10.8 kB]
Get:103 http://172.17.4.1/private trixie-staging/main armhf libcommons-logging-java all 1.2-3 [62.4 kB]
Get:104 http://172.17.4.1/private trixie-staging/main armhf libzarith-ocaml armhf 1.13-2+b1 [100 kB]
Get:105 http://172.17.4.1/private trixie-staging/main armhf libcryptokit-ocaml armhf 1.18-3+b2 [351 kB]
Get:106 http://172.17.4.1/private trixie-staging/main armhf zlib1g-dev armhf 1:1.2.13.dfsg-3 [901 kB]
Get:107 http://172.17.4.1/private trixie-staging/main armhf libgmpxx4ldbl armhf 2:6.3.0+dfsg-2 [328 kB]
Get:108 http://172.17.4.1/private trixie-staging/main armhf libgmp-dev armhf 2:6.3.0+dfsg-2 [577 kB]
Get:109 http://172.17.4.1/private trixie-staging/main armhf libgmp3-dev armhf 2:6.3.0+dfsg-2 [322 kB]
Get:110 http://172.17.4.1/private trixie-staging/main armhf libzarith-ocaml-dev armhf 1.13-2+b1 [101 kB]
Get:111 http://172.17.4.1/private trixie-staging/main armhf libcryptokit-ocaml-dev armhf 1.18-3+b2 [671 kB]
Get:112 http://172.17.4.1/private trixie-staging/main armhf libocplib-endian-ocaml armhf 1.2-3+b1 [73.1 kB]
Get:113 http://172.17.4.1/private trixie-staging/main armhf libreact-ocaml armhf 1.2.2-1+b1 [183 kB]
Get:114 http://172.17.4.1/private trixie-staging/main armhf libsexplib0-ocaml armhf 0.16.0-3+b1 [108 kB]
Get:115 http://172.17.4.1/private trixie-staging/main armhf libev4 armhf 1:4.33-1 [38.2 kB]
Get:116 http://172.17.4.1/private trixie-staging/main armhf liblwt-ocaml armhf 5.7.0-1+b1 [853 kB]
Get:117 http://172.17.4.1/private trixie-staging/main armhf libparsexp-ocaml armhf 0.16.0-3+b1 [226 kB]
Get:118 http://172.17.4.1/private trixie-staging/main armhf libnum-ocaml armhf 1.4-2+b2 [168 kB]
Get:119 http://172.17.4.1/private trixie-staging/main armhf libsexplib-ocaml armhf 1:0.16.0-2+b2 [268 kB]
Get:120 http://172.17.4.1/private trixie-staging/main armhf libcstruct-ocaml armhf 6.2.0-2 [228 kB]
Get:121 http://172.17.4.1/private trixie-staging/main armhf libev-dev armhf 1:4.33-1 [132 kB]
Get:122 http://172.17.4.1/private trixie-staging/main armhf libocaml-compiler-libs-ocaml-dev armhf 0.12.4-4+b1 [83.6 kB]
Get:123 http://172.17.4.1/private trixie-staging/main armhf libocplib-endian-ocaml-dev armhf 1.2-3+b1 [149 kB]
Get:124 http://172.17.4.1/private trixie-staging/main armhf libppx-derivers-ocaml-dev armhf 1.2.1-4+b1 [16.2 kB]
Get:125 http://172.17.4.1/private trixie-staging/main armhf libsexplib0-ocaml-dev armhf 0.16.0-3+b1 [245 kB]
Get:126 http://172.17.4.1/private trixie-staging/main armhf libppxlib-ocaml-dev armhf 0.30.0-3+b2 [15.3 MB]
Get:127 http://172.17.4.1/private trixie-staging/main armhf libreact-ocaml-dev armhf 1.2.2-1+b1 [135 kB]
Get:128 http://172.17.4.1/private trixie-staging/main armhf liblwt-ocaml-dev armhf 5.7.0-1+b1 [4860 kB]
Get:129 http://172.17.4.1/private trixie-staging/main armhf libparsexp-ocaml-dev armhf 0.16.0-3+b1 [567 kB]
Get:130 http://172.17.4.1/private trixie-staging/main armhf libnum-ocaml-dev armhf 1.4-2+b2 [113 kB]
Get:131 http://172.17.4.1/private trixie-staging/main armhf libsexplib-ocaml-dev armhf 1:0.16.0-2+b2 [578 kB]
Get:132 http://172.17.4.1/private trixie-staging/main armhf libcstruct-ocaml-dev armhf 6.2.0-2 [3357 kB]
Get:133 http://172.17.4.1/private trixie-staging/main armhf libfontbox-java all 1:1.8.16-4 [211 kB]
Get:134 http://172.17.4.1/private trixie-staging/main armhf libfontenc1 armhf 1:1.1.4-1 [22.3 kB]
Get:135 http://172.17.4.1/private trixie-staging/main armhf libglib2.0-0 armhf 2.78.0-2+rpi1 [1249 kB]
Get:136 http://172.17.4.1/private trixie-staging/main armhf libgraphite2-3 armhf 1.3.14-1 [70.3 kB]
Get:137 http://172.17.4.1/private trixie-staging/main armhf libharfbuzz0b armhf 8.0.1-1 [2098 kB]
Get:138 http://172.17.4.1/private trixie-staging/main armhf libhex-ocaml armhf 1.5.0-3 [23.7 kB]
Get:139 http://172.17.4.1/private trixie-staging/main armhf libhex-ocaml-dev armhf 1.5.0-3 [47.6 kB]
Get:140 http://172.17.4.1/private trixie-staging/main armhf x11-common all 1:7.7+23 [252 kB]
Get:141 http://172.17.4.1/private trixie-staging/main armhf libice6 armhf 2:1.0.10-1 [51.7 kB]
Get:142 http://172.17.4.1/private trixie-staging/main armhf libkpathsea6 armhf 2023.20230311.66589-6 [144 kB]
Get:143 http://172.17.4.1/private trixie-staging/main armhf libpaper1 armhf 1.1.29 [11.9 kB]
Get:144 http://172.17.4.1/private trixie-staging/main armhf libpaper-utils armhf 1.1.29 [8416 B]
Get:145 http://172.17.4.1/private trixie-staging/main armhf libpdfbox-java all 1:1.8.16-4 [5527 kB]
Get:146 http://172.17.4.1/private trixie-staging/main armhf libpotrace0 armhf 1.16-2 [23.6 kB]
Get:147 http://172.17.4.1/private trixie-staging/main armhf libptexenc1 armhf 2023.20230311.66589-6 [42.4 kB]
Get:148 http://172.17.4.1/private trixie-staging/main armhf libsm6 armhf 2:1.2.3-1 [32.9 kB]
Get:149 http://172.17.4.1/private trixie-staging/main armhf libsodium23 armhf 1.0.18-1 [143 kB]
Get:150 http://172.17.4.1/private trixie-staging/main armhf libsodium-dev armhf 1.0.18-1 [162 kB]
Get:151 http://172.17.4.1/private trixie-staging/main armhf libsynctex2 armhf 2023.20230311.66589-6 [48.0 kB]
Get:152 http://172.17.4.1/private trixie-staging/main armhf libteckit0 armhf 2.5.11+ds1-1 [256 kB]
Get:153 http://172.17.4.1/private trixie-staging/main armhf libtexlua53-5 armhf 2023.20230311.66589-6 [82.4 kB]
Get:154 http://172.17.4.1/private trixie-staging/main armhf libuuidm-ocaml-dev armhf 0.9.8-2+b1 [395 kB]
Get:155 http://172.17.4.1/private trixie-staging/main armhf libxt6 armhf 1:1.2.1-1.1 [155 kB]
Get:156 http://172.17.4.1/private trixie-staging/main armhf libxmu6 armhf 2:1.1.3-3 [52.0 kB]
Get:157 http://172.17.4.1/private trixie-staging/main armhf libxpm4 armhf 1:3.5.17-1 [49.3 kB]
Get:158 http://172.17.4.1/private trixie-staging/main armhf libxaw7 armhf 2:1.0.14-1 [165 kB]
Get:159 http://172.17.4.1/private trixie-staging/main armhf libxi6 armhf 2:1.8-1 [78.1 kB]
Get:160 http://172.17.4.1/private trixie-staging/main armhf libzzip-0-13 armhf 0.13.72+dfsg.1-1.1 [54.3 kB]
Get:161 http://172.17.4.1/private trixie-staging/main armhf tex-common all 6.18 [32.5 kB]
Get:162 http://172.17.4.1/private trixie-staging/main armhf xfonts-encodings all 1:1.0.4-2.2 [577 kB]
Get:163 http://172.17.4.1/private trixie-staging/main armhf xfonts-utils armhf 1:7.7+6 [82.5 kB]
Get:164 http://172.17.4.1/private trixie-staging/main armhf lmodern all 2.005-1 [9480 kB]
Get:165 http://172.17.4.1/private trixie-staging/main armhf markdown all 1.0.1-12 [17.7 kB]
Get:166 http://172.17.4.1/private trixie-staging/main armhf ocaml-dune armhf 3.10.0-2 [3656 kB]
Get:167 http://172.17.4.1/private trixie-staging/main armhf preview-latex-style all 12.2-1 [201 kB]
Get:168 http://172.17.4.1/private trixie-staging/main armhf t1utils armhf 1.41-4 [52.3 kB]
Get:169 http://172.17.4.1/private trixie-staging/main armhf texlive-binaries armhf 2023.20230311.66589-6 [5571 kB]
Get:170 http://172.17.4.1/private trixie-staging/main armhf xdg-utils all 1.1.3-4.1 [75.5 kB]
Get:171 http://172.17.4.1/private trixie-staging/main armhf texlive-base all 2023.20230613-3 [22.0 MB]
Get:172 http://172.17.4.1/private trixie-staging/main armhf texlive-fonts-extra all 2023.20230613-2 [504 MB]
Get:173 http://172.17.4.1/private trixie-staging/main armhf texlive-fonts-recommended all 2023.20230613-3 [4989 kB]
Get:174 http://172.17.4.1/private trixie-staging/main armhf texlive-lang-greek all 2023.20230613-2 [78.3 MB]
Get:175 http://172.17.4.1/private trixie-staging/main armhf texlive-latex-base all 2023.20230613-3 [1222 kB]
Get:176 http://172.17.4.1/private trixie-staging/main armhf texlive-latex-recommended all 2023.20230613-3 [8843 kB]
Get:177 http://172.17.4.1/private trixie-staging/main armhf texlive-pictures all 2023.20230613-3 [15.9 MB]
Get:178 http://172.17.4.1/private trixie-staging/main armhf texlive-latex-extra all 2023.20230613-2 [19.5 MB]
Get:179 http://172.17.4.1/private trixie-staging/main armhf texlive-science all 2023.20230613-2 [3750 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 876 MB in 1min 39s (8817 kB/s)
(Reading database ... 11775 files and directories currently installed.)
Preparing to unpack .../bsdutils_1%3a2.39.2-2.2_armhf.deb ...
Unpacking bsdutils (1:2.39.2-2.2) over (1:2.39.2-1) ...
Setting up bsdutils (1:2.39.2-2.2) ...
(Reading database ... 11775 files and directories currently installed.)
Preparing to unpack .../libsmartcols1_2.39.2-2.2_armhf.deb ...
Unpacking libsmartcols1:armhf (2.39.2-2.2) over (2.39.2-1) ...
Setting up libsmartcols1:armhf (2.39.2-2.2) ...
(Reading database ... 11775 files and directories currently installed.)
Preparing to unpack .../util-linux-extra_2.39.2-2.2_armhf.deb ...
Unpacking util-linux-extra (2.39.2-2.2) over (2.39.2-1) ...
dpkg: warning: unable to delete old directory '/usr/lib/udev/rules.d': Directory not empty
dpkg: warning: unable to delete old directory '/usr/lib/udev': Directory not empty
dpkg: warning: unable to delete old directory '/etc/init.d': Directory not empty
Preparing to unpack .../util-linux_2.39.2-2.2_armhf.deb ...
Unpacking util-linux (2.39.2-2.2) over (2.39.2-1) ...
Setting up util-linux (2.39.2-2.2) ...
(Reading database ... 11769 files and directories currently installed.)
Preparing to unpack .../mount_2.39.2-2.2_armhf.deb ...
Unpacking mount (2.39.2-2.2) over (2.39.2-1) ...
Selecting previously unselected package libpython3.11-minimal:armhf.
Preparing to unpack .../libpython3.11-minimal_3.11.5-3_armhf.deb ...
Unpacking libpython3.11-minimal:armhf (3.11.5-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.5-3_armhf.deb ...
Unpacking python3.11-minimal (3.11.5-3) ...
Setting up libpython3.11-minimal:armhf (3.11.5-3) ...
Setting up libexpat1:armhf (2.5.0-2) ...
Setting up python3.11-minimal (3.11.5-3) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 12085 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-2.2_armhf.deb ...
Unpacking libuuid1:armhf (2.39.2-2.2) over (2.39.2-1) ...
Setting up libuuid1:armhf (2.39.2-2.2) ...
Selecting previously unselected package libpython3.11-stdlib:armhf.
(Reading database ... 12112 files and directories currently installed.)
Preparing to unpack .../libpython3.11-stdlib_3.11.5-3_armhf.deb ...
Unpacking libpython3.11-stdlib:armhf (3.11.5-3) ...
Selecting previously unselected package python3.11.
Preparing to unpack .../python3.11_3.11.5-3_armhf.deb ...
Unpacking python3.11 (3.11.5-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 ... 12493 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-2.2_armhf.deb ...
Unpacking libblkid1:armhf (2.39.2-2.2) over (2.39.2-1) ...
Setting up libblkid1:armhf (2.39.2-2.2) ...
(Reading database ... 12514 files and directories currently installed.)
Preparing to unpack .../libmount1_2.39.2-2.2_armhf.deb ...
Unpacking libmount1:armhf (2.39.2-2.2) over (2.39.2-1) ...
Setting up libmount1:armhf (2.39.2-2.2) ...
Selecting previously unselected package libuchardet0:armhf.
(Reading database ... 12514 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-2.2_armhf.deb ...
Unpacking bsdextrautils (2.39.2-2.2) ...
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 ucf.
Preparing to unpack .../009-ucf_3.0043+nmu1_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0043+nmu1) ...
Selecting previously unselected package m4.
Preparing to unpack .../010-m4_1.4.19-4_armhf.deb ...
Unpacking m4 (1.4.19-4) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../011-autoconf_2.71-3_all.deb ...
Unpacking autoconf (2.71-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../012-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../013-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 .../014-autopoint_0.21-13_all.deb ...
Unpacking autopoint (0.21-13) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../015-libdebhelper-perl_13.11.6_all.deb ...
Unpacking libdebhelper-perl (13.11.6) ...
Selecting previously unselected package libtool.
Preparing to unpack .../016-libtool_2.4.7-7_all.deb ...
Unpacking libtool (2.4.7-7) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../017-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../018-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 .../019-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 .../020-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 .../021-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 .../022-libelf1_0.188-2.1+rpi1_armhf.deb ...
Unpacking libelf1:armhf (0.188-2.1+rpi1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../023-dwz_0.15-1_armhf.deb ...
Unpacking dwz (0.15-1) ...
Selecting previously unselected package libicu72:armhf.
Preparing to unpack .../024-libicu72_72.1-3_armhf.deb ...
Unpacking libicu72:armhf (72.1-3) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../025-libxml2_2.9.14+dfsg-1.3_armhf.deb ...
Unpacking libxml2:armhf (2.9.14+dfsg-1.3) ...
Selecting previously unselected package gettext.
Preparing to unpack .../026-gettext_0.21-13_armhf.deb ...
Unpacking gettext (0.21-13) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../027-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 .../028-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../029-debhelper_13.11.6_all.deb ...
Unpacking debhelper (13.11.6) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../030-dh-ocaml_2.0_all.deb ...
Unpacking dh-ocaml (2.0) ...
Selecting previously unselected package fonts-dejavu-mono.
Preparing to unpack .../031-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 .../032-fonts-dejavu-core_2.37-8_all.deb ...
Unpacking fonts-dejavu-core (2.37-8) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../033-fontconfig-config_2.14.2-6_armhf.deb ...
Unpacking fontconfig-config (2.14.2-6) ...
Selecting previously unselected package fonts-gfs-baskerville.
Preparing to unpack .../034-fonts-gfs-baskerville_1.1-6_all.deb ...
Unpacking fonts-gfs-baskerville (1.1-6) ...
Selecting previously unselected package fonts-gfs-porson.
Preparing to unpack .../035-fonts-gfs-porson_1.1-7_all.deb ...
Unpacking fonts-gfs-porson (1.1-7) ...
Selecting previously unselected package fonts-lmodern.
Preparing to unpack .../036-fonts-lmodern_2.005-1_all.deb ...
Unpacking fonts-lmodern (2.005-1) ...
Selecting previously unselected package libonig5:armhf.
Preparing to unpack .../037-libonig5_6.9.8-2_armhf.deb ...
Unpacking libonig5:armhf (6.9.8-2) ...
Selecting previously unselected package libjq1:armhf.
Preparing to unpack .../038-libjq1_1.7-1_armhf.deb ...
Unpacking libjq1:armhf (1.7-1) ...
Selecting previously unselected package jq.
Preparing to unpack .../039-jq_1.7-1_armhf.deb ...
Unpacking jq (1.7-1) ...
Selecting previously unselected package libapache-pom-java.
Preparing to unpack .../040-libapache-pom-java_29-2_all.deb ...
Unpacking libapache-pom-java (29-2) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../041-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 .../042-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 .../043-libcamlp-streams-ocaml_5.0.1-3+b1_armhf.deb ...
Unpacking libcamlp-streams-ocaml (5.0.1-3+b1) ...
Selecting previously unselected package libeasy-format-ocaml.
Preparing to unpack .../044-libeasy-format-ocaml_1.3.4-3+b1_armhf.deb ...
Unpacking libeasy-format-ocaml (1.3.4-3+b1) ...
Selecting previously unselected package libbiniou-ocaml.
Preparing to unpack .../045-libbiniou-ocaml_1.2.2-3+b1_armhf.deb ...
Unpacking libbiniou-ocaml (1.2.2-3+b1) ...
Selecting previously unselected package libyojson-ocaml.
Preparing to unpack .../046-libyojson-ocaml_2.1.0-2_armhf.deb ...
Unpacking libyojson-ocaml (2.1.0-2) ...
Selecting previously unselected package libatdgen-ocaml.
Preparing to unpack .../047-libatdgen-ocaml_2.12.0-3_armhf.deb ...
Unpacking libatdgen-ocaml (2.12.0-3) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../048-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 .../049-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 .../050-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 .../051-libncurses6_6.4+20230625-2_armhf.deb ...
Unpacking libncurses6:armhf (6.4+20230625-2) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../052-libncurses-dev_6.4+20230625-2_armhf.deb ...
Unpacking libncurses-dev:armhf (6.4+20230625-2) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../053-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 .../054-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 libeasy-format-ocaml-dev.
Preparing to unpack .../055-libeasy-format-ocaml-dev_1.3.4-3+b1_armhf.deb ...
Unpacking libeasy-format-ocaml-dev (1.3.4-3+b1) ...
Selecting previously unselected package libbiniou-ocaml-dev.
Preparing to unpack .../056-libbiniou-ocaml-dev_1.2.2-3+b1_armhf.deb ...
Unpacking libbiniou-ocaml-dev (1.2.2-3+b1) ...
Selecting previously unselected package libyojson-ocaml-dev.
Preparing to unpack .../057-libyojson-ocaml-dev_2.1.0-2_armhf.deb ...
Unpacking libyojson-ocaml-dev (2.1.0-2) ...
Selecting previously unselected package libatdgen-ocaml-dev.
Preparing to unpack .../058-libatdgen-ocaml-dev_2.12.0-3_armhf.deb ...
Unpacking libatdgen-ocaml-dev (2.12.0-3) ...
Selecting previously unselected package libbase64-ocaml.
Preparing to unpack .../059-libbase64-ocaml_3.5.1-2+b1_armhf.deb ...
Unpacking libbase64-ocaml (3.5.1-2+b1) ...
Selecting previously unselected package libbase64-ocaml-dev.
Preparing to unpack .../060-libbase64-ocaml-dev_3.5.1-2+b1_armhf.deb ...
Unpacking libbase64-ocaml-dev (3.5.1-2+b1) ...
Selecting previously unselected package libbrotli1:armhf.
Preparing to unpack .../061-libbrotli1_1.0.9-2+b3_armhf.deb ...
Unpacking libbrotli1:armhf (1.0.9-2+b3) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../062-libbsd0_0.11.7-4_armhf.deb ...
Unpacking libbsd0:armhf (0.11.7-4) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../063-libpng16-16_1.6.40-1_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.40-1) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../064-libfreetype6_2.13.2+dfsg-1_armhf.deb ...
Unpacking libfreetype6:armhf (2.13.2+dfsg-1) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../065-libfontconfig1_2.14.2-6_armhf.deb ...
Unpacking libfontconfig1:armhf (2.14.2-6) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../066-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 .../067-libxau6_1%3a1.0.9-1_armhf.deb ...
Unpacking libxau6:armhf (1:1.0.9-1) ...
Selecting previously unselected package libxdmcp6:armhf.
Preparing to unpack .../068-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 .../069-libxcb1_1.15-1_armhf.deb ...
Unpacking libxcb1:armhf (1.15-1) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../070-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 .../071-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 .../072-libxcb-render0_1.15-1_armhf.deb ...
Unpacking libxcb-render0:armhf (1.15-1) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../073-libxcb-shm0_1.15-1_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.15-1) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../074-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 .../075-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 .../076-libcairo2_1.18.0-1_armhf.deb ...
Unpacking libcairo2:armhf (1.18.0-1) ...
Selecting previously unselected package libcalendar-ocaml.
Preparing to unpack .../077-libcalendar-ocaml_3.0.0-4+b1_armhf.deb ...
Unpacking libcalendar-ocaml (3.0.0-4+b1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../078-libfindlib-ocaml_1.9.6-1+b2_armhf.deb ...
Unpacking libfindlib-ocaml (1.9.6-1+b2) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../079-ocaml-findlib_1.9.6-1+b2_armhf.deb ...
Unpacking ocaml-findlib (1.9.6-1+b2) ...
Selecting previously unselected package libre-ocaml-dev.
Preparing to unpack .../080-libre-ocaml-dev_1.11.0-1+b1_armhf.deb ...
Unpacking libre-ocaml-dev (1.11.0-1+b1) ...
Selecting previously unselected package libcalendar-ocaml-dev.
Preparing to unpack .../081-libcalendar-ocaml-dev_3.0.0-4+b1_armhf.deb ...
Unpacking libcalendar-ocaml-dev (3.0.0-4+b1) ...
Selecting previously unselected package libcmdliner-ocaml-dev.
Preparing to unpack .../082-libcmdliner-ocaml-dev_1.2.0-2+b1_armhf.deb ...
Unpacking libcmdliner-ocaml-dev (1.2.0-2+b1) ...
Selecting previously unselected package libcommons-parent-java.
Preparing to unpack .../083-libcommons-parent-java_56-1_all.deb ...
Unpacking libcommons-parent-java (56-1) ...
Selecting previously unselected package libcommons-logging-java.
Preparing to unpack .../084-libcommons-logging-java_1.2-3_all.deb ...
Unpacking libcommons-logging-java (1.2-3) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../085-libzarith-ocaml_1.13-2+b1_armhf.deb ...
Unpacking libzarith-ocaml (1.13-2+b1) ...
Selecting previously unselected package libcryptokit-ocaml.
Preparing to unpack .../086-libcryptokit-ocaml_1.18-3+b2_armhf.deb ...
Unpacking libcryptokit-ocaml (1.18-3+b2) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../087-zlib1g-dev_1%3a1.2.13.dfsg-3_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.13.dfsg-3) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../088-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 .../089-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 .../090-libgmp3-dev_2%3a6.3.0+dfsg-2_armhf.deb ...
Unpacking libgmp3-dev:armhf (2:6.3.0+dfsg-2) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../091-libzarith-ocaml-dev_1.13-2+b1_armhf.deb ...
Unpacking libzarith-ocaml-dev (1.13-2+b1) ...
Selecting previously unselected package libcryptokit-ocaml-dev.
Preparing to unpack .../092-libcryptokit-ocaml-dev_1.18-3+b2_armhf.deb ...
Unpacking libcryptokit-ocaml-dev (1.18-3+b2) ...
Selecting previously unselected package libocplib-endian-ocaml.
Preparing to unpack .../093-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 .../094-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 .../095-libsexplib0-ocaml_0.16.0-3+b1_armhf.deb ...
Unpacking libsexplib0-ocaml (0.16.0-3+b1) ...
Selecting previously unselected package libev4:armhf.
Preparing to unpack .../096-libev4_1%3a4.33-1_armhf.deb ...
Unpacking libev4:armhf (1:4.33-1) ...
Selecting previously unselected package liblwt-ocaml.
Preparing to unpack .../097-liblwt-ocaml_5.7.0-1+b1_armhf.deb ...
Unpacking liblwt-ocaml (5.7.0-1+b1) ...
Selecting previously unselected package libparsexp-ocaml.
Preparing to unpack .../098-libparsexp-ocaml_0.16.0-3+b1_armhf.deb ...
Unpacking libparsexp-ocaml (0.16.0-3+b1) ...
Selecting previously unselected package libnum-ocaml.
Preparing to unpack .../099-libnum-ocaml_1.4-2+b2_armhf.deb ...
Unpacking libnum-ocaml (1.4-2+b2) ...
Selecting previously unselected package libsexplib-ocaml.
Preparing to unpack .../100-libsexplib-ocaml_1%3a0.16.0-2+b2_armhf.deb ...
Unpacking libsexplib-ocaml (1:0.16.0-2+b2) ...
Selecting previously unselected package libcstruct-ocaml.
Preparing to unpack .../101-libcstruct-ocaml_6.2.0-2_armhf.deb ...
Unpacking libcstruct-ocaml (6.2.0-2) ...
Selecting previously unselected package libev-dev:armhf.
Preparing to unpack .../102-libev-dev_1%3a4.33-1_armhf.deb ...
Unpacking libev-dev:armhf (1:4.33-1) ...
Selecting previously unselected package libocaml-compiler-libs-ocaml-dev.
Preparing to unpack .../103-libocaml-compiler-libs-ocaml-dev_0.12.4-4+b1_armhf.deb ...
Unpacking libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ...
Selecting previously unselected package libocplib-endian-ocaml-dev.
Preparing to unpack .../104-libocplib-endian-ocaml-dev_1.2-3+b1_armhf.deb ...
Unpacking libocplib-endian-ocaml-dev (1.2-3+b1) ...
Selecting previously unselected package libppx-derivers-ocaml-dev.
Preparing to unpack .../105-libppx-derivers-ocaml-dev_1.2.1-4+b1_armhf.deb ...
Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b1) ...
Selecting previously unselected package libsexplib0-ocaml-dev.
Preparing to unpack .../106-libsexplib0-ocaml-dev_0.16.0-3+b1_armhf.deb ...
Unpacking libsexplib0-ocaml-dev (0.16.0-3+b1) ...
Selecting previously unselected package libppxlib-ocaml-dev.
Preparing to unpack .../107-libppxlib-ocaml-dev_0.30.0-3+b2_armhf.deb ...
Unpacking libppxlib-ocaml-dev (0.30.0-3+b2) ...
Selecting previously unselected package libreact-ocaml-dev.
Preparing to unpack .../108-libreact-ocaml-dev_1.2.2-1+b1_armhf.deb ...
Unpacking libreact-ocaml-dev (1.2.2-1+b1) ...
Selecting previously unselected package liblwt-ocaml-dev.
Preparing to unpack .../109-liblwt-ocaml-dev_5.7.0-1+b1_armhf.deb ...
Unpacking liblwt-ocaml-dev (5.7.0-1+b1) ...
Selecting previously unselected package libparsexp-ocaml-dev.
Preparing to unpack .../110-libparsexp-ocaml-dev_0.16.0-3+b1_armhf.deb ...
Unpacking libparsexp-ocaml-dev (0.16.0-3+b1) ...
Selecting previously unselected package libnum-ocaml-dev.
Preparing to unpack .../111-libnum-ocaml-dev_1.4-2+b2_armhf.deb ...
Unpacking libnum-ocaml-dev (1.4-2+b2) ...
Selecting previously unselected package libsexplib-ocaml-dev.
Preparing to unpack .../112-libsexplib-ocaml-dev_1%3a0.16.0-2+b2_armhf.deb ...
Unpacking libsexplib-ocaml-dev (1:0.16.0-2+b2) ...
Selecting previously unselected package libcstruct-ocaml-dev.
Preparing to unpack .../113-libcstruct-ocaml-dev_6.2.0-2_armhf.deb ...
Unpacking libcstruct-ocaml-dev (6.2.0-2) ...
Selecting previously unselected package libfontbox-java.
Preparing to unpack .../114-libfontbox-java_1%3a1.8.16-4_all.deb ...
Unpacking libfontbox-java (1:1.8.16-4) ...
Selecting previously unselected package libfontenc1:armhf.
Preparing to unpack .../115-libfontenc1_1%3a1.1.4-1_armhf.deb ...
Unpacking libfontenc1:armhf (1:1.1.4-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../116-libglib2.0-0_2.78.0-2+rpi1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.78.0-2+rpi1) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../117-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 .../118-libharfbuzz0b_8.0.1-1_armhf.deb ...
Unpacking libharfbuzz0b:armhf (8.0.1-1) ...
Selecting previously unselected package libhex-ocaml.
Preparing to unpack .../119-libhex-ocaml_1.5.0-3_armhf.deb ...
Unpacking libhex-ocaml (1.5.0-3) ...
Selecting previously unselected package libhex-ocaml-dev.
Preparing to unpack .../120-libhex-ocaml-dev_1.5.0-3_armhf.deb ...
Unpacking libhex-ocaml-dev (1.5.0-3) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../121-x11-common_1%3a7.7+23_all.deb ...
Unpacking x11-common (1:7.7+23) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../122-libice6_2%3a1.0.10-1_armhf.deb ...
Unpacking libice6:armhf (2:1.0.10-1) ...
Selecting previously unselected package libkpathsea6:armhf.
Preparing to unpack .../123-libkpathsea6_2023.20230311.66589-6_armhf.deb ...
Unpacking libkpathsea6:armhf (2023.20230311.66589-6) ...
Selecting previously unselected package libpaper1:armhf.
Preparing to unpack .../124-libpaper1_1.1.29_armhf.deb ...
Unpacking libpaper1:armhf (1.1.29) ...
Selecting previously unselected package libpaper-utils.
Preparing to unpack .../125-libpaper-utils_1.1.29_armhf.deb ...
Unpacking libpaper-utils (1.1.29) ...
Selecting previously unselected package libpdfbox-java.
Preparing to unpack .../126-libpdfbox-java_1%3a1.8.16-4_all.deb ...
Unpacking libpdfbox-java (1:1.8.16-4) ...
Selecting previously unselected package libpotrace0:armhf.
Preparing to unpack .../127-libpotrace0_1.16-2_armhf.deb ...
Unpacking libpotrace0:armhf (1.16-2) ...
Selecting previously unselected package libptexenc1:armhf.
Preparing to unpack .../128-libptexenc1_2023.20230311.66589-6_armhf.deb ...
Unpacking libptexenc1:armhf (2023.20230311.66589-6) ...
Selecting previously unselected package libsm6:armhf.
Preparing to unpack .../129-libsm6_2%3a1.2.3-1_armhf.deb ...
Unpacking libsm6:armhf (2:1.2.3-1) ...
Selecting previously unselected package libsodium23:armhf.
Preparing to unpack .../130-libsodium23_1.0.18-1_armhf.deb ...
Unpacking libsodium23:armhf (1.0.18-1) ...
Selecting previously unselected package libsodium-dev:armhf.
Preparing to unpack .../131-libsodium-dev_1.0.18-1_armhf.deb ...
Unpacking libsodium-dev:armhf (1.0.18-1) ...
Selecting previously unselected package libsynctex2:armhf.
Preparing to unpack .../132-libsynctex2_2023.20230311.66589-6_armhf.deb ...
Unpacking libsynctex2:armhf (2023.20230311.66589-6) ...
Selecting previously unselected package libteckit0:armhf.
Preparing to unpack .../133-libteckit0_2.5.11+ds1-1_armhf.deb ...
Unpacking libteckit0:armhf (2.5.11+ds1-1) ...
Selecting previously unselected package libtexlua53-5:armhf.
Preparing to unpack .../134-libtexlua53-5_2023.20230311.66589-6_armhf.deb ...
Unpacking libtexlua53-5:armhf (2023.20230311.66589-6) ...
Selecting previously unselected package libuuidm-ocaml-dev.
Preparing to unpack .../135-libuuidm-ocaml-dev_0.9.8-2+b1_armhf.deb ...
Unpacking libuuidm-ocaml-dev (0.9.8-2+b1) ...
Selecting previously unselected package libxt6:armhf.
Preparing to unpack .../136-libxt6_1%3a1.2.1-1.1_armhf.deb ...
Unpacking libxt6:armhf (1:1.2.1-1.1) ...
Selecting previously unselected package libxmu6:armhf.
Preparing to unpack .../137-libxmu6_2%3a1.1.3-3_armhf.deb ...
Unpacking libxmu6:armhf (2:1.1.3-3) ...
Selecting previously unselected package libxpm4:armhf.
Preparing to unpack .../138-libxpm4_1%3a3.5.17-1_armhf.deb ...
Unpacking libxpm4:armhf (1:3.5.17-1) ...
Selecting previously unselected package libxaw7:armhf.
Preparing to unpack .../139-libxaw7_2%3a1.0.14-1_armhf.deb ...
Unpacking libxaw7:armhf (2:1.0.14-1) ...
Selecting previously unselected package libxi6:armhf.
Preparing to unpack .../140-libxi6_2%3a1.8-1_armhf.deb ...
Unpacking libxi6:armhf (2:1.8-1) ...
Selecting previously unselected package libzzip-0-13:armhf.
Preparing to unpack .../141-libzzip-0-13_0.13.72+dfsg.1-1.1_armhf.deb ...
Unpacking libzzip-0-13:armhf (0.13.72+dfsg.1-1.1) ...
Selecting previously unselected package tex-common.
Preparing to unpack .../142-tex-common_6.18_all.deb ...
Unpacking tex-common (6.18) ...
Selecting previously unselected package xfonts-encodings.
Preparing to unpack .../143-xfonts-encodings_1%3a1.0.4-2.2_all.deb ...
Unpacking xfonts-encodings (1:1.0.4-2.2) ...
Selecting previously unselected package xfonts-utils.
Preparing to unpack .../144-xfonts-utils_1%3a7.7+6_armhf.deb ...
Unpacking xfonts-utils (1:7.7+6) ...
Selecting previously unselected package lmodern.
Preparing to unpack .../145-lmodern_2.005-1_all.deb ...
Unpacking lmodern (2.005-1) ...
Selecting previously unselected package markdown.
Preparing to unpack .../146-markdown_1.0.1-12_all.deb ...
Unpacking markdown (1.0.1-12) ...
Selecting previously unselected package ocaml-dune.
Preparing to unpack .../147-ocaml-dune_3.10.0-2_armhf.deb ...
Unpacking ocaml-dune (3.10.0-2) ...
Selecting previously unselected package preview-latex-style.
Preparing to unpack .../148-preview-latex-style_12.2-1_all.deb ...
Unpacking preview-latex-style (12.2-1) ...
Selecting previously unselected package t1utils.
Preparing to unpack .../149-t1utils_1.41-4_armhf.deb ...
Unpacking t1utils (1.41-4) ...
Selecting previously unselected package texlive-binaries.
Preparing to unpack .../150-texlive-binaries_2023.20230311.66589-6_armhf.deb ...
Unpacking texlive-binaries (2023.20230311.66589-6) ...
Selecting previously unselected package xdg-utils.
Preparing to unpack .../151-xdg-utils_1.1.3-4.1_all.deb ...
Unpacking xdg-utils (1.1.3-4.1) ...
Selecting previously unselected package texlive-base.
Preparing to unpack .../152-texlive-base_2023.20230613-3_all.deb ...
Unpacking texlive-base (2023.20230613-3) ...
Selecting previously unselected package texlive-fonts-extra.
Preparing to unpack .../153-texlive-fonts-extra_2023.20230613-2_all.deb ...
Unpacking texlive-fonts-extra (2023.20230613-2) ...
Selecting previously unselected package texlive-fonts-recommended.
Preparing to unpack .../154-texlive-fonts-recommended_2023.20230613-3_all.deb ...
Unpacking texlive-fonts-recommended (2023.20230613-3) ...
Selecting previously unselected package texlive-lang-greek.
Preparing to unpack .../155-texlive-lang-greek_2023.20230613-2_all.deb ...
Unpacking texlive-lang-greek (2023.20230613-2) ...
Selecting previously unselected package texlive-latex-base.
Preparing to unpack .../156-texlive-latex-base_2023.20230613-3_all.deb ...
Unpacking texlive-latex-base (2023.20230613-3) ...
Selecting previously unselected package texlive-latex-recommended.
Preparing to unpack .../157-texlive-latex-recommended_2023.20230613-3_all.deb ...
Unpacking texlive-latex-recommended (2023.20230613-3) ...
Selecting previously unselected package texlive-pictures.
Preparing to unpack .../158-texlive-pictures_2023.20230613-3_all.deb ...
Unpacking texlive-pictures (2023.20230613-3) ...
Selecting previously unselected package texlive-latex-extra.
Preparing to unpack .../159-texlive-latex-extra_2023.20230613-2_all.deb ...
Unpacking texlive-latex-extra (2023.20230613-2) ...
Selecting previously unselected package texlive-science.
Preparing to unpack .../160-texlive-science_2023.20230613-2_all.deb ...
Unpacking texlive-science (2023.20230613-2) ...
Selecting previously unselected package sbuild-build-depends-belenios-dummy.
Preparing to unpack .../161-sbuild-build-depends-belenios-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-belenios-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 libxau6:armhf (1:1.0.9-1) ...
Setting up libsodium23:armhf (1.0.18-1) ...
Setting up libicu72:armhf (72.1-3) ...
Setting up bsdextrautils (2.39.2-2.2) ...
Setting up fonts-gfs-porson (1.1-7) ...
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.5-3) ...
Setting up libdebhelper-perl (13.11.6) ...
Setting up libbrotli1:armhf (1.0.9-2+b3) ...
Setting up libfontbox-java (1:1.8.16-4) ...
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 gettext-base (0.21-13) ...
Setting up m4 (1.4.19-4) ...
Setting up libzzip-0-13:armhf (0.13.72+dfsg.1-1.1) ...
Setting up file (1:5.45-2) ...
Setting up ocaml-dune (3.10.0-2) ...
Setting up libfontenc1:armhf (1:1.1.4-1) ...
Setting up autotools-dev (20220109.1) ...
Setting up libgmpxx4ldbl:armhf (2:6.3.0+dfsg-2) ...
Setting up libx11-data (2:1.8.7-1) ...
Setting up libteckit0:armhf (2.5.11+ds1-1) ...
Setting up libapache-pom-java (29-2) ...
Setting up libncurses6:armhf (6.4+20230625-2) ...
Setting up xfonts-encodings (1:1.0.4-2.2) ...
Setting up t1utils (1.41-4) ...
Setting up libtexlua53-5:armhf (2023.20230311.66589-6) ...
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-1) ...
Setting up autopoint (0.21-13) ...
Setting up ocaml-base (4.14.1-1+rpi1) ...
Setting up fonts-dejavu-core (2.37-8) ...
Setting up ucf (3.0043+nmu1) ...
Setting up libsodium-dev:armhf (1.0.18-1) ...
Setting up libkpathsea6:armhf (2023.20230311.66589-6) ...
Setting up autoconf (2.71-3) ...
Setting up zlib1g-dev:armhf (1:1.2.13.dfsg-3) ...
Setting up libnum-ocaml (1.4-2+b2) ...
Setting up libsexplib0-ocaml (0.16.0-3+b1) ...
Setting up mount (2.39.2-2.2) ...
Setting up fonts-gfs-baskerville (1.1-6) ...
Setting up libcalendar-ocaml (3.0.0-4+b1) ...
Setting up libuchardet0:armhf (0.0.7-1) ...
Setting up fonts-lmodern (2.005-1) ...
Setting up libsub-override-perl (0.09-4) ...
Setting up libbase64-ocaml (3.5.1-2+b1) ...
Setting up libreact-ocaml (1.2.2-1+b1) ...
Setting up libev-dev:armhf (1:4.33-1) ...
Setting up libbsd0:armhf (0.11.7-4) ...
Setting up libelf1:armhf (0.188-2.1+rpi1) ...
Setting up libxml2:armhf (2.9.14+dfsg-1.3) ...
Setting up xdg-utils (1.1.3-4.1) ...
update-alternatives: using /usr/bin/xdg-open to provide /usr/bin/open (open) in auto mode
Setting up libonig5:armhf (6.9.8-2) ...
Setting up markdown (1.0.1-12) ...
Setting up util-linux-extra (2.39.2-2.2) ...
Setting up libsynctex2:armhf (2023.20230311.66589-6) ...
Setting up libpython3-stdlib:armhf (3.11.4-5) ...
Setting up libpotrace0:armhf (1.16-2) ...
Setting up libparsexp-ocaml (0.16.0-3+b1) ...
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 libeasy-format-ocaml (1.3.4-3+b1) ...
Setting up libpaper1:armhf (1.1.29) ...

Creating config file /etc/papersize with new version
Setting up python3.11 (3.11.5-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 libsexplib-ocaml (1:0.16.0-2+b2) ...
Setting up libgmp-dev:armhf (2:6.3.0+dfsg-2) ...
Setting up libpdfbox-java (1:1.8.16-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 libjq1:armhf (1.7-1) ...
Setting up libcamlp-streams-ocaml (5.0.1-3+b1) ...
Setting up fontconfig-config (2.14.2-6) ...
Setting up libcommons-parent-java (56-1) ...
Setting up libfindlib-ocaml (1.9.6-1+b2) ...
Setting up libcommons-logging-java (1.2-3) ...
Setting up python3 (3.11.4-5) ...
Setting up libxcb-shm0:armhf (1.15-1) ...
Setting up libpaper-utils (1.1.29) ...
Setting up libzarith-ocaml (1.13-2+b1) ...
Setting up libbiniou-ocaml (1.2.2-3+b1) ...
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 tex-common (6.18) ...
update-language: texlive-base not installed and configured, doing nothing!
Setting up libcompiler-libs-ocaml-dev (4.14.1-1+rpi1) ...
Setting up ocaml-interp (4.14.1-1+rpi1) ...
Setting up libptexenc1:armhf (2023.20230311.66589-6) ...
Setting up libfreetype6:armhf (2.13.2+dfsg-1) ...
Setting up ocaml-findlib (1.9.6-1+b2) ...
Setting up libcryptokit-ocaml (1.18-3+b2) ...
Setting up libatdgen-ocaml (2.12.0-3) ...
Setting up dh-strip-nondeterminism (1.13.1-1) ...
Setting up dwz (0.15-1) ...
Setting up groff-base (1.23.0-2) ...
Setting up jq (1.7-1) ...
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 libsm6:armhf (2:1.2.3-1) ...
Setting up libxpm4:armhf (1:3.5.17-1) ...
Setting up libxrender1:armhf (1:0.9.10-1.1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up preview-latex-style (12.2-1) ...
Setting up liblwt-ocaml (5.7.0-1+b1) ...
Setting up libxext6:armhf (2:1.3.4-1) ...
Setting up ocaml (4.14.1-1+rpi1) ...
Setting up xfonts-utils (1:7.7+6) ...
Setting up man-db (2.11.2-3) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libre-ocaml-dev (1.11.0-1+b1) ...
Setting up libcstruct-ocaml (6.2.0-2) ...
Setting up libreact-ocaml-dev (1.2.2-1+b1) ...
Setting up libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ...
Setting up libxt6:armhf (1:1.2.1-1.1) ...
Setting up libbase64-ocaml-dev (3.5.1-2+b1) ...
Setting up libyojson-ocaml-dev (2.1.0-2) ...
Setting up libcamlp-streams-ocaml-dev (5.0.1-3+b1) ...
Setting up libsexplib0-ocaml-dev (0.16.0-3+b1) ...
Setting up lmodern (2.005-1) ...
Setting up libzarith-ocaml-dev (1.13-2+b1) ...
Setting up libcryptokit-ocaml-dev (1.18-3+b2) ...
Setting up libcmdliner-ocaml-dev (1.2.0-2+b1) ...
Setting up libocplib-endian-ocaml-dev (1.2-3+b1) ...
Setting up libparsexp-ocaml-dev (0.16.0-3+b1) ...
Setting up libeasy-format-ocaml-dev (1.3.4-3+b1) ...
Setting up libxmu6:armhf (2:1.1.3-3) ...
Setting up libppx-derivers-ocaml-dev (1.2.1-4+b1) ...
Setting up libhex-ocaml (1.5.0-3) ...
Setting up libnum-ocaml-dev (1.4-2+b2) ...
Setting up libxi6:armhf (2:1.8-1) ...
Setting up libuuidm-ocaml-dev (0.9.8-2+b1) ...
Setting up libppxlib-ocaml-dev (0.30.0-3+b2) ...
Setting up debhelper (13.11.6) ...
Setting up libxaw7:armhf (2:1.0.14-1) ...
Setting up libcalendar-ocaml-dev (3.0.0-4+b1) ...
Setting up libbiniou-ocaml-dev (1.2.2-3+b1) ...
Setting up libsexplib-ocaml-dev (1:0.16.0-2+b2) ...
Setting up libatdgen-ocaml-dev (2.12.0-3) ...
Setting up liblwt-ocaml-dev (5.7.0-1+b1) ...
Setting up libcstruct-ocaml-dev (6.2.0-2) ...
Setting up libhex-ocaml-dev (1.5.0-3) ...
Processing triggers for libc-bin (2.36-9+rpi1+deb12u1) ...
Processing triggers for sgml-base (1.31) ...
Setting up libfontconfig1:armhf (2.14.2-6) ...
Setting up libcairo2:armhf (1.18.0-1) ...
Setting up texlive-binaries (2023.20230311.66589-6) ...
update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode
update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode
Setting up texlive-base (2023.20230613-3) ...
tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps
tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg
tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper
tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/tex-ini-files/pdftexconfig.tex
Setting up texlive-lang-greek (2023.20230613-2) ...
Setting up texlive-latex-base (2023.20230613-3) ...
Setting up texlive-fonts-extra (2023.20230613-2) ...
Setting up texlive-latex-recommended (2023.20230613-3) ...
Setting up texlive-pictures (2023.20230613-3) ...
Setting up texlive-fonts-recommended (2023.20230613-3) ...
Setting up texlive-science (2023.20230613-2) ...
Setting up texlive-latex-extra (2023.20230613-2) ...
Setting up sbuild-build-depends-belenios-dummy (0.invalid.0) ...
Processing triggers for tex-common (6.18) ...
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Building format(s) --all.
	This may take some time... done.
Processing triggers for libc-bin (2.36-9+rpi1+deb12u1) ...
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.36-9+rpi1+deb12u1 libstdc++-12-dev_12.2.0-14+rpi1 libstdc++6_12.2.0-14+rpi1 linux-libc-dev_6.1.38-1+rpi1
Package versions: adduser_3.137 apt_2.7.3 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-2.2 bsdutils_1:2.39.2-2.2 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.13 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-4 fontconfig-config_2.14.2-6 fonts-dejavu-core_2.37-8 fonts-dejavu-mono_2.37-8 fonts-gfs-baskerville_1.1-6 fonts-gfs-porson_1.1-7 fonts-lmodern_2.005-1 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-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 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.8-5 groff-base_1.23.0-2 gzip_1.12-1 hostname_3.23+nmu1 init-system-helpers_1.65.2 intltool-debian_0.35.0+20060710.6 iputils-ping_3:20221126-1 jq_1.7-1 krb5-locales_1.20.1-3 libacl1_2.3.1-3 libapache-pom-java_29-2 libapt-pkg6.0_2.7.3 libarchive-zip-perl_1.68-1 libasan8_12.2.0-14+rpi1 libassuan0_2.5.6-1 libatdgen-ocaml_2.12.0-3 libatdgen-ocaml-dev_2.12.0-3 libatomic1_12.2.0-14+rpi1 libattr1_1:2.5.1-4 libaudit-common_1:3.1.1-1 libaudit1_1:3.1.1-1 libbase64-ocaml_3.5.1-2+b1 libbase64-ocaml-dev_3.5.1-2+b1 libbiniou-ocaml_1.2.2-3+b1 libbiniou-ocaml-dev_1.2.2-3+b1 libbinutils_2.40-2+rpi2 libblkid1_2.39.2-2.2 libbrotli1_1.0.9-2+b3 libbsd0_0.11.7-4 libbz2-1.0_1.0.8-5+b2 libc-bin_2.36-9+rpi1+deb12u1 libc-dev-bin_2.36-9+rpi1+deb12u1 libc6_2.36-9+rpi1+deb12u1 libc6-dev_2.36-9+rpi1+deb12u1 libcairo2_1.18.0-1 libcalendar-ocaml_3.0.0-4+b1 libcalendar-ocaml-dev_3.0.0-4+b1 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_12.2.0-14+rpi1 libcmdliner-ocaml-dev_1.2.0-2+b1 libcom-err2_1.47.0-2 libcommons-logging-java_1.2-3 libcommons-parent-java_56-1 libcompiler-libs-ocaml-dev_4.14.1-1+rpi1 libcrypt-dev_1:4.4.36-2 libcrypt1_1:4.4.36-2 libcryptokit-ocaml_1.18-3+b2 libcryptokit-ocaml-dev_1.18-3+b2 libcstruct-ocaml_6.2.0-2 libcstruct-ocaml-dev_6.2.0-2 libctf-nobfd0_2.40-2+rpi2 libctf0_2.40-2+rpi2 libdb5.3_5.3.28+dfsg2-2 libdebconfclient0_0.270 libdebhelper-perl_13.11.6 libdpkg-perl_1.21.22+rpi1 libeasy-format-ocaml_1.3.4-3+b1 libeasy-format-ocaml-dev_1.3.4-3+b1 libelf1_0.188-2.1+rpi1 libev-dev_1:4.33-1 libev4_1:4.33-1 libexpat1_2.5.0-2 libext2fs2_1.47.0-2 libfakeroot_1.32.1-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 libfontbox-java_1:1.8.16-4 libfontconfig1_2.14.2-6 libfontenc1_1:1.1.4-1 libfreetype6_2.13.2+dfsg-1 libgcc-12-dev_12.2.0-14+rpi1 libgcc-s1_12.2.0-14+rpi1 libgcrypt20_1.10.2-2 libgdbm-compat4_1.23-3 libgdbm6_1.23-3 libglib2.0-0_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_12.2.0-14+rpi1 libgpg-error0_1.47-2 libgraphite2-3_1.3.14-1 libgssapi-krb5-2_1.20.1-3 libharfbuzz0b_8.0.1-1 libhex-ocaml_1.5.0-3 libhex-ocaml-dev_1.5.0-3 libhogweed6_3.9.1-2 libice6_2:1.0.10-1 libicu72_72.1-3 libidn2-0_2.3.4-1 libisl23_0.26-3 libjansson4_2.14-2 libjq1_1.7-1 libk5crypto3_1.20.1-3 libkeyutils1_1.6.3-2 libkpathsea6_2023.20230311.66589-6 libkrb5-3_1.20.1-3 libkrb5support0_1.20.1-3 libksba8_1.6.3-2 libldap-2.5-0_2.5.13+dfsg-5+rpi1 liblwt-ocaml_5.7.0-1+b1 liblwt-ocaml-dev_5.7.0-1+b1 liblz4-1_1.9.4-1+rpi1+b1 liblzma5_5.4.4-0.1 libmagic-mgc_1:5.45-2 libmagic1_1:5.45-2 libmd0_1.1.0-1 libmount1_2.39.2-2.2 libmpc3_1.3.1-1 libmpfr6_4.2.0-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 libocaml-compiler-libs-ocaml-dev_0.12.4-4+b1 libocplib-endian-ocaml_1.2-3+b1 libocplib-endian-ocaml-dev_1.2-3+b1 libonig5_6.9.8-2 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 libpaper-utils_1.1.29 libpaper1_1.1.29 libparsexp-ocaml_0.16.0-3+b1 libparsexp-ocaml-dev_0.16.0-3+b1 libpcre2-8-0_10.42-4 libpcre3_2:8.39-15 libpdfbox-java_1:1.8.16-4 libperl5.36_5.36.0-7 libpipeline1_1.5.7-1 libpixman-1-0_0.42.2-1 libpng16-16_1.6.40-1 libpotrace0_1.16-2 libppx-derivers-ocaml-dev_1.2.1-4+b1 libppxlib-ocaml-dev_0.30.0-3+b2 libptexenc1_2023.20230311.66589-6 libpython3-stdlib_3.11.4-5 libpython3.11-minimal_3.11.5-3 libpython3.11-stdlib_3.11.5-3 libre-ocaml-dev_1.11.0-1+b1 libreact-ocaml_1.2.2-1+b1 libreact-ocaml-dev_1.2.2-1+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 libselinux1_3.5-1 libsemanage-common_3.5-1 libsemanage2_3.4-1+b2 libsepol1_3.1-1 libsepol2_3.5-1 libsexplib-ocaml_1:0.16.0-2+b2 libsexplib-ocaml-dev_1:0.16.0-2+b2 libsexplib0-ocaml_0.16.0-3+b1 libsexplib0-ocaml-dev_0.16.0-3+b1 libsm6_2:1.2.3-1 libsmartcols1_2.39.2-2.2 libsodium-dev_1.0.18-1 libsodium23_1.0.18-1 libsqlite3-0_3.43.1-1 libss2_1.47.0-2 libssl1.1_1.1.1o-1 libssl3_3.0.10-1 libstdc++-12-dev_12.2.0-14+rpi1 libstdc++6_12.2.0-14+rpi1 libstdlib-ocaml_4.14.1-1+rpi1 libstdlib-ocaml-dev_4.14.1-1+rpi1 libsub-override-perl_0.09-4 libsynctex2_2023.20230311.66589-6 libsystemd0_252.12-1~deb12u1+rpi1 libtasn1-6_4.19.0-3 libteckit0_2.5.11+ds1-1 libtexlua53-5_2023.20230311.66589-6 libtext-glob-perl_0.11-3 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 libubsan1_12.2.0-14+rpi1 libuchardet0_0.0.7-1 libudev1_252.12-1~deb12u1+rpi1 libunistring2_1.0-2 libunistring5_1.1-2 libuuid1_2.39.2-2.2 libuuidm-ocaml-dev_0.9.8-2+b1 libx11-6_2:1.8.7-1 libx11-data_2:1.8.7-1 libxau6_1:1.0.9-1 libxaw7_2:1.0.14-1 libxcb-render0_1.15-1 libxcb-shm0_1.15-1 libxcb1_1.15-1 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.4-1 libxi6_2:1.8-1 libxml2_2.9.14+dfsg-1.3 libxmu6_2:1.1.3-3 libxpm4_1:3.5.17-1 libxrender1_1:0.9.10-1.1 libxt6_1:1.2.1-1.1 libxxhash0_0.8.1-1 libyojson-ocaml_2.1.0-2 libyojson-ocaml-dev_2.1.0-2 libzarith-ocaml_1.13-2+b1 libzarith-ocaml-dev_1.13-2+b1 libzstd1_1.5.5+dfsg2-1 libzzip-0-13_0.13.72+dfsg.1-1.1 linux-libc-dev_6.1.38-1+rpi1 lmodern_2.005-1 login_1:4.13+dfsg1-1 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 markdown_1.0.1-12 mawk_1.3.4.20230808-1 media-types_10.1.0 mount_2.39.2-2.2 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 passwd_1:4.13+dfsg1-1 patch_2.7.6-7 perl_5.36.0-7 perl-base_5.36.0-7 perl-modules-5.36_5.36.0-9 pinentry-curses_1.2.1-1 po-debconf_1.0.21+nmu1 preview-latex-style_12.2-1 python3_3.11.4-5 python3-minimal_3.11.4-5 python3.11_3.11.5-3 python3.11-minimal_3.11.5-3 raspbian-archive-keyring_20120528.2 readline-common_8.2-1.3 rpcsvc-proto_1.4.3-1 sbuild-build-depends-belenios-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 sysvinit-utils_3.07-1 t1utils_1.41-4 tar_1.34+dfsg-1.2 tex-common_6.18 texlive-base_2023.20230613-3 texlive-binaries_2023.20230311.66589-6 texlive-fonts-extra_2023.20230613-2 texlive-fonts-recommended_2023.20230613-3 texlive-lang-greek_2023.20230613-2 texlive-latex-base_2023.20230613-3 texlive-latex-extra_2023.20230613-2 texlive-latex-recommended_2023.20230613-3 texlive-pictures_2023.20230613-3 texlive-science_2023.20230613-2 tzdata_2023c-10 ucf_3.0043+nmu1 usrmerge_37 util-linux_2.39.2-2.2 util-linux-extra_2.39.2-2.2 x11-common_1:7.7+23 xdg-utils_1.1.3-4.1 xfonts-encodings_1:1.0.4-2.2 xfonts-utils_1:7.7+6 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 Wed Sep  6 11:52:43 2023 UTC
gpgv:                using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081
gpgv:                issuer "glondu@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify inline signature for ./belenios_2.2+git10-gbb6b7ea8+dfsg-1.dsc: no acceptable signature found
dpkg-source: info: extracting belenios in /<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg
dpkg-source: info: unpacking belenios_2.2+git10-gbb6b7ea8+dfsg.orig.tar.gz
dpkg-source: info: unpacking belenios_2.2+git10-gbb6b7ea8+dfsg-1.debian.tar.xz

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

Sufficient free space for build

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

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=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-461c6e4a-4b6b-46bb-bd63-53f05956279a
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd

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

dpkg-buildpackage: info: source package belenios
dpkg-buildpackage: info: source version 2.2+git10-gbb6b7ea8+dfsg-1
dpkg-buildpackage: info: source distribution unstable
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
 debian/rules clean
dh clean --with ocaml
   dh_auto_clean
	make -j4 clean
make[1]: Entering directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
dune clean
dune clean --build-dir=_build-debug
make -C po clean
make[2]: Entering directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/po'
make -C voter clean
make[3]: Entering directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/po/voter'
rm -f *.bak
make[3]: Leaving directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/po/voter'
make -C admin clean
make[3]: Entering directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/po/admin'
rm -f *.bak
make[3]: Leaving directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/po/admin'
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/po'
make -C tests/tool clean
make[2]: Entering directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/tests/tool'
rm -rf data
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/tests/tool'
make -C frontend clean
make[2]: Entering directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/frontend'
rm -rf package-lock.json node_modules booth/dist booth/bundle.js *.bundle.css booth/*.bundle.css
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/frontend'
rm -rf geckodriver.log venv .hypothesis _tests
find tests -name __pycache__ -print0 | xargs -0 rm -rf
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
   dh_ocamlclean
   dh_clean
 debian/rules binary-arch
dh binary-arch --with ocaml
   dh_update_autotools_config -a
   dh_autoreconf -a
   dh_ocamlinit -a
   dh_auto_configure -a
   debian/rules override_dh_auto_build
make[1]: Entering directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
dune build -p belenios-platform,belenios-platform-native,belenios-lib,belenios-tool
/usr/bin/make doc
make[2]: Entering directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
/usr/bin/make doc/specification.pdf
make[3]: Entering directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
cd doc && for u in 1 2 3; do pdflatex specification.tex; done
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./specification.tex
LaTeX2e <2023-06-01>
L3 programming layer <2023-06-05>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2023/05/17 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo))
(/usr/share/texlive/texmf-dist/tex/latex/a4wide/a4wide.sty
(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty)
(/usr/share/texmf/tex/latex/lm/lmodern.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty)
(/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty)
(/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx))
(/usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty)
(/usr/share/texmf/tex/latex/lm/t1lmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
No file specification.aux.
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texmf/tex/latex/lm/ot1lmr.fd)
(/usr/share/texmf/tex/latex/lm/omllmm.fd)
(/usr/share/texmf/tex/latex/lm/omslmsy.fd)
(/usr/share/texmf/tex/latex/lm/omxlmex.fd)
(/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/Ustmry.fd)
(./spec_version.tex)
No file specification.toc.
(./spec_version.tex)

LaTeX Warning: Citation `Belenios-Meadows2019' on page 1 undefined on input lin
e 59.


LaTeX Warning: Citation `Belenios-Easycrypt-CSF18' on page 1 undefined on input
 line 61.

(/usr/share/texmf/tex/latex/lm/ts1lmr.fd)

LaTeX Warning: Citation `Pedersen' on page 1 undefined on input line 70.


LaTeX Warning: Citation `wpes2013' on page 1 undefined on input line 71.


LaTeX Warning: Citation `wpes2013' on page 1 undefined on input line 72.


LaTeX Warning: Citation `asiacrypt12' on page 1 undefined on input line 72.


LaTeX Warning: Citation `Helios' on page 1 undefined on input line 75.


LaTeX Warning: Citation `note-Pierrick' on page 1 undefined on input line 77.


LaTeX Warning: Citation `CGGI-esorics14' on page 1 undefined on input line 78.


LaTeX Warning: Citation `Belenios-Meadows2019' on page 1 undefined on input lin
e 79.


LaTeX Warning: Citation `EVoteID20-Belenios' on page 1 undefined on input line 
81.


LaTeX Warning: Citation `CHVote' on page 1 undefined on input line 84.

(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd)

LaTeX Warning: Reference `default-group' on page 1 undefined on input line 124.


[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf/fonts/en
c/dvips/lm/lm-ec.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-ts1.enc}{/usr/shar
e/texmf/fonts/enc/dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/l
m-rm.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}]

LaTeX Warning: Reference `public-data' on page 2 undefined on input line 160.

(/usr/share/texmf/tex/latex/lm/t1lmtt.fd)

LaTeX Warning: Hyper reference `basic-types' on page 2 undefined on input line 
184.


LaTeX Warning: Hyper reference `credentials' on page 2 undefined on input line 
186.

(/usr/share/texmf/tex/latex/lm/t1lmss.fd)

LaTeX Warning: Hyper reference `trustees' on page 2 undefined on input line 195
.


LaTeX Warning: Reference `process-filling-trustees' on page 2 undefined on inpu
t line 198.


LaTeX Warning: Hyper reference `elections' on page 2 undefined on input line 20
0.

[2]

LaTeX Warning: Reference `item-forget' on page 3 undefined on input line 206.


LaTeX Warning: Hyper reference `trustees' on page 3 undefined on input line 213
.


LaTeX Warning: Hyper reference `trustee-keys' on page 3 undefined on input line
 228.


LaTeX Warning: Hyper reference `certificates' on page 3 undefined on input line
 249.


LaTeX Warning: Hyper reference `polynomials' on page 3 undefined on input line 
257.


LaTeX Warning: Hyper reference `vinputs' on page 3 undefined on input line 262.



LaTeX Warning: Hyper reference `voutputs' on page 3 undefined on input line 267
.


LaTeX Warning: Hyper reference `threshold-params' on page 3 undefined on input 
line 272.


LaTeX Warning: Reference `polynomials' on page 3 undefined on input line 281.

[3{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathex.enc}]

LaTeX Warning: Hyper reference `ballots' on page 4 undefined on input line 287.



LaTeX Warning: Reference `item-forget' on page 4 undefined on input line 307.


LaTeX Warning: Hyper reference `tally' on page 4 undefined on input line 322.


LaTeX Warning: Reference `shuffles' on page 4 undefined on input line 325.


LaTeX Warning: Hyper reference `shuffles' on page 4 undefined on input line 334
.


LaTeX Warning: Hyper reference `tally' on page 4 undefined on input line 348.

[4]

LaTeX Warning: Hyper reference `election-result' on page 5 undefined on input l
ine 353.


LaTeX Warning: Reference `tallied-ballots' on page 5 undefined on input line 38
1.


LaTeX Warning: Hyper reference `shuffles' on page 5 undefined on input line 399
.


LaTeX Warning: Hyper reference `partial-decryptions' on page 5 undefined on inp
ut line 401.


LaTeX Warning: Hyper reference `election-result' on page 5 undefined on input l
ine 401.


LaTeX Warning: Reference `sec:audit-voting' on page 5 undefined on input line 4
05.


LaTeX Warning: Reference `sec:audit-voting' on page 5 undefined on input line 4
08.


LaTeX Warning: Reference `tallied-ballots' on page 5 undefined on input line 41
0.

[5] [6]

LaTeX Warning: Reference `elections' on page 7 undefined on input line 566.


LaTeX Warning: Reference `trustees' on page 7 undefined on input line 566.


LaTeX Warning: Reference `credentials' on page 7 undefined on input line 566.


LaTeX Warning: Reference `elections' on page 7 undefined on input line 566.


LaTeX Warning: Reference `ballots' on page 7 undefined on input line 566.


LaTeX Warning: Reference `tally' on page 7 undefined on input line 566.


LaTeX Warning: Reference `tally' on page 7 undefined on input line 566.


LaTeX Warning: Reference `shuffles' on page 7 undefined on input line 566.


LaTeX Warning: Reference `shuffles' on page 7 undefined on input line 566.


LaTeX Warning: Reference `partial-decryptions' on page 7 undefined on input lin
e 566.


LaTeX Warning: Reference `partial-decryptions' on page 7 undefined on input lin
e 566.


LaTeX Warning: Reference `election-result' on page 7 undefined on input line 56
6.


LaTeX Warning: Reference `elections' on page 7 undefined on input line 566.


LaTeX Warning: Reference `trustees' on page 7 undefined on input line 566.


LaTeX Warning: Reference `credentials' on page 7 undefined on input line 566.


LaTeX Warning: Reference `elections' on page 7 undefined on input line 566.


LaTeX Warning: Reference `ballots' on page 7 undefined on input line 566.


LaTeX Warning: Reference `tally' on page 7 undefined on input line 566.


LaTeX Warning: Reference `tally' on page 7 undefined on input line 566.


LaTeX Warning: Reference `shuffles' on page 7 undefined on input line 566.


LaTeX Warning: Reference `shuffles' on page 7 undefined on input line 566.


LaTeX Warning: Reference `partial-decryptions' on page 7 undefined on input lin
e 566.


LaTeX Warning: Reference `partial-decryptions' on page 7 undefined on input lin
e 566.


LaTeX Warning: Reference `election-result' on page 7 undefined on input line 56
6.


LaTeX Warning: Hyper reference `common' on page 7 undefined on input line 586.

[7] [8]

LaTeX Warning: Reference `pki' on page 9 undefined on input line 700.

[9] [10]

LaTeX Warning: Hyper reference `trustee-keys' on page 11 undefined on input lin
e 861.


LaTeX Warning: Reference `trustee-keys' on page 11 undefined on input line 911.



LaTeX Warning: Reference `threshold' on page 11 undefined on input line 912.

[11]

LaTeX Warning: Reference `process-filling-trustees' on page 12 undefined on inp
ut line 929.


Overfull \hbox (3.77475pt too wide) detected at line 1013
[]

LaTeX Warning: Reference `answers' on page 12 undefined on input line 1022.

[12]

LaTeX Warning: Reference `default-group' on page 13 undefined on input line 108
3.


LaTeX Warning: Reference `trustees' on page 13 undefined on input line 1094.


LaTeX Warning: Reference `credentials' on page 13 undefined on input line 1096.


[13]

LaTeX Warning: Hyper reference `elections' on page 14 undefined on input line 1
142.


LaTeX Warning: Hyper reference `credentials' on page 14 undefined on input line
 1144.


LaTeX Warning: Reference `iproof' on page 14 undefined on input line 1178.


LaTeX Warning: Reference `bproof' on page 14 undefined on input line 1196.


LaTeX Warning: Reference `default-group' on page 14 undefined on input line 120
5.

[14] [15]

Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `math shift' on input line 1298.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `subscript' on input line 1298.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `math shift' on input line 1298.

(/usr/share/texmf/tex/latex/lm/ot1lmss.fd) [16]

Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `math shift' on input line 1355.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `subscript' on input line 1355.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `math shift' on input line 1355.


LaTeX Warning: Reference `non-blank-votes' on page 17 undefined on input line 1
360.

[17]

LaTeX Warning: Hyper reference `credentials' on page 18 undefined on input line
 1434.


LaTeX Warning: Hyper reference `answers' on page 18 undefined on input line 147
6.


LaTeX Warning: Hyper reference `signatures' on page 18 undefined on input line 
1476.


LaTeX Warning: Hyper reference `answers' on page 18 undefined on input line 147
6.


LaTeX Warning: Hyper reference `signatures' on page 18 undefined on input line 
1476.

[18]

LaTeX Warning: Reference `varphi' on page 19 undefined on input line 1480.


LaTeX Warning: Reference `tallied-ballots' on page 19 undefined on input line 1
531.

[19]

LaTeX Warning: Reference `tally' on page 20 undefined on input line 1573.


Overfull \hbox (2.68176pt too wide) in paragraph at lines 1571--1576
\T1/lmr/m/n/10 as $\OML/lmm/m/it/10 b[]$ \T1/lmr/m/n/10 (see later), they must 
be merged into the en-crypted tally as $\OML/lmm/m/it/10 a[]$ \T1/lmr/m/n/10 su
ch that $\OML/lmm/m/it/10 b[] \OT1/lmr/m/n/10 = [](\OML/lmm/m/it/10 a[]\OT1/lmr
/m/n/10 )$\T1/lmr/m/n/10 . 

LaTeX Warning: Citation `CHVote' on page 20 undefined on input line 1578.


LaTeX Warning: Reference `shuffle-algorithms' on page 20 undefined on input lin
e 1620.


LaTeX Warning: Hyper reference `trustee-keys' on page 20 undefined on input lin
e 1651.

[20] [21]

LaTeX Warning: Reference `nh-answers' on page 22 undefined on input line 1771.

[22]

LaTeX Warning: Reference `get-generator' on page 23 undefined on input line 182
8.

[23] [24] [25]

LaTeX Warning: Reference `get-generator-ed25519' on page 26 undefined on input 
line 1974.


LaTeX Warning: Reference `shuffles' on page 26 undefined on input line 1980.


LaTeX Warning: Citation `CHVote' on page 26 undefined on input line 1982.


LaTeX Warning: Reference `gen-permutation' on page 26 undefined on input line 2
001.


LaTeX Warning: Reference `gen-re-encryption' on page 26 undefined on input line
 2006.


LaTeX Warning: Reference `get-secondary-generator' on page 26 undefined on inpu
t line 2086.


LaTeX Warning: Reference `get-generators' on page 26 undefined on input line 20
86.


LaTeX Warning: Reference `gen-permutation-commitment' on page 26 undefined on i
nput line 2089.


LaTeX Warning: Reference `serialize-array' on page 26 undefined on input line 2
092.


LaTeX Warning: Reference `get-nizkp-challenges' on page 26 undefined on input l
ine 2095.


LaTeX Warning: Reference `gen-commitment-chain' on page 26 undefined on input l
ine 2100.


LaTeX Warning: Reference `get-nizkp-challenge' on page 26 undefined on input li
ne 2120.


LaTeX Warning: Reference `get-secondary-generator' on page 26 undefined on inpu
t line 2165.


LaTeX Warning: Reference `get-generators' on page 26 undefined on input line 21
65.


LaTeX Warning: Reference `serialize-array' on page 26 undefined on input line 2
168.


LaTeX Warning: Reference `get-nizkp-challenges' on page 26 undefined on input l
ine 2171.


LaTeX Warning: Reference `get-nizkp-challenge' on page 26 undefined on input li
ne 2179.


LaTeX Warning: Reference `get-generator' on page 26 undefined on input line 220
7.


LaTeX Warning: Reference `get-generator' on page 26 undefined on input line 222
5.

[26] [27] [28] [29] [30] [31] [32] [33] [34]
No file specification.bbl.
(./specification.aux)
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 bbm9
mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input bbm9
This is METAFONT, Version 2.71828182 (TeX Live 2023/Debian) (preloaded base=mf)

(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/bbm9.mf
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbbase.mf
(/usr/share/texlive/texmf-dist/fonts/source/public/cm/cmbase.mf))
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbord.mf
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbordu.mf [65] [66]
[67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81]
[82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbordl.mf [97] [98]
[99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111]
[112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122])
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbordsp.mf [49]
[50] [40] [41] [91] [93]) ) )
Font metrics written on bbm9.tfm.
Output written on bbm9.600gf (58 characters, 15272 bytes).
Transcript written on bbm9.log.
mktexpk: /tmp/texfonts/pk/ljfour/public/bbm/bbm9.600pk: successfully generated.


LaTeX Warning: There were undefined references.


LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.


Package rerunfilecheck Warning: File `specification.out' has changed.
(rerunfilecheck)                Rerun to get outlines right
(rerunfilecheck)                or use package `bookmark'.

 )
(see the transcript file for additional information) </tmp/texfonts/pk/ljfour/p
ublic/bbm/bbm9.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 bbm10
mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input bbm10
This is METAFONT, Version 2.71828182 (TeX Live 2023/Debian) (preloaded base=mf)

(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/bbm10.mf
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbbase.mf
(/usr/share/texlive/texmf-dist/fonts/source/public/cm/cmbase.mf))
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbord.mf
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbordu.mf [65] [66]
[67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81]
[82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbordl.mf [97] [98]
[99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111]
[112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122])
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbordsp.mf [49]
[50] [40] [41] [91] [93]) ) )
Font metrics written on bbm10.tfm.
Output written on bbm10.600gf (58 characters, 17020 bytes).
Transcript written on bbm10.log.
mktexpk: /tmp/texfonts/pk/ljfour/public/bbm/bbm10.600pk: successfully generated.
 </tmp/texfonts/pk/ljfour/public/bbm/bbm10.600pk></usr/sha
re/texmf/fonts/type1/public/lm/lmbx10.pfb></usr/share/texmf/fonts/type1/public/
lm/lmbx12.pfb></usr/share/texmf/fonts/type1/public/lm/lmbx8.pfb></usr/share/tex
mf/fonts/type1/public/lm/lmbx9.pfb></usr/share/texmf/fonts/type1/public/lm/lmex
10.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi10.pfb></usr/share/texmf/fon
ts/type1/public/lm/lmmi5.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi6.pfb>
</usr/share/texmf/fonts/type1/public/lm/lmmi7.pfb></usr/share/texmf/fonts/type1
/public/lm/lmmi9.pfb></usr/share/texmf/fonts/type1/public/lm/lmr10.pfb></usr/sh
are/texmf/fonts/type1/public/lm/lmr12.pfb></usr/share/texmf/fonts/type1/public/
lm/lmr17.pfb></usr/share/texmf/fonts/type1/public/lm/lmr5.pfb></usr/share/texmf
/fonts/type1/public/lm/lmr6.pfb></usr/share/texmf/fonts/type1/public/lm/lmr7.pf
b></usr/share/texmf/fonts/type1/public/lm/lmr8.pfb></usr/share/texmf/fonts/type
1/public/lm/lmr9.pfb></usr/share/texmf/fonts/type1/public/lm/lmri10.pfb></usr/s
hare/texmf/fonts/type1/public/lm/lmss10.pfb></usr/share/texmf/fonts/type1/publi
c/lm/lmss8.pfb></usr/share/texmf/fonts/type1/public/lm/lmss9.pfb></usr/share/te
xmf/fonts/type1/public/lm/lmssbx10.pfb></usr/share/texmf/fonts/type1/public/lm/
lmsy10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy5.pfb></usr/share/texmf/
fonts/type1/public/lm/lmsy6.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy7.p
fb></usr/share/texmf/fonts/type1/public/lm/lmsy9.pfb></usr/share/texmf/fonts/ty
pe1/public/lm/lmtk10.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt10.pfb></u
sr/share/texmf/fonts/type1/public/lm/lmtt8.pfb></usr/share/texmf/fonts/type1/pu
blic/lm/lmtt9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/stmaryrd/st
mary10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/stmaryrd/stmary9.p
fb>
Output written on specification.pdf (34 pages, 720481 bytes).
Transcript written on specification.log.
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./specification.tex
LaTeX2e <2023-06-01>
L3 programming layer <2023-06-05>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2023/05/17 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo))
(/usr/share/texlive/texmf-dist/tex/latex/a4wide/a4wide.sty
(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty)
(/usr/share/texmf/tex/latex/lm/lmodern.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty)
(/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty)
(/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx))
(/usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty)
(/usr/share/texmf/tex/latex/lm/t1lmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
(./specification.aux) (./specification.out) (./specification.out)
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texmf/tex/latex/lm/ot1lmr.fd)
(/usr/share/texmf/tex/latex/lm/omllmm.fd)
(/usr/share/texmf/tex/latex/lm/omslmsy.fd)
(/usr/share/texmf/tex/latex/lm/omxlmex.fd)
(/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/Ustmry.fd)
(./spec_version.tex) (./specification.toc
(/usr/share/texmf/tex/latex/lm/t1lmtt.fd) [1{/var/lib/texmf/fonts/map/pdftex/up
dmap/pdftex.map}{/usr/share/texmf/fonts/enc/dvips/lm/lm-ec.enc}{/usr/share/texm
f/fonts/enc/dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-rm.e
nc}]) (./spec_version.tex)

LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin
e 59.


LaTeX Warning: Citation `Belenios-Easycrypt-CSF18' on page 2 undefined on input
 line 61.

(/usr/share/texmf/tex/latex/lm/ts1lmr.fd)

LaTeX Warning: Citation `Pedersen' on page 2 undefined on input line 70.


LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 71.


LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 72.


LaTeX Warning: Citation `asiacrypt12' on page 2 undefined on input line 72.


LaTeX Warning: Citation `Helios' on page 2 undefined on input line 75.


LaTeX Warning: Citation `note-Pierrick' on page 2 undefined on input line 77.


LaTeX Warning: Citation `CGGI-esorics14' on page 2 undefined on input line 78.


LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin
e 79.


LaTeX Warning: Citation `EVoteID20-Belenios' on page 2 undefined on input line 
81.


LaTeX Warning: Citation `CHVote' on page 2 undefined on input line 84.

(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) [2{/usr/share/texm
f/fonts/enc/dvips/lm/lm-ts1.enc}] (/usr/share/texmf/tex/latex/lm/t1lmss.fd)
[3{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}] [4{/usr/share/texmf/font
s/enc/dvips/lm/lm-mathex.enc}] [5] [6] [7] [8] [9] [10] [11] [12]
Overfull \hbox (3.77475pt too wide) detected at line 1013
[]
[13] [14] [15] [16]

Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `math shift' on input line 1298.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `subscript' on input line 1298.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `math shift' on input line 1298.

(/usr/share/texmf/tex/latex/lm/ot1lmss.fd) [17]

Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `math shift' on input line 1355.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `subscript' on input line 1355.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `math shift' on input line 1355.

[18] [19] [20]

LaTeX Warning: Citation `CHVote' on page 21 undefined on input line 1578.

[21] [22] [23] [24] [25] [26]

LaTeX Warning: Citation `CHVote' on page 27 undefined on input line 1982.

[27] [28] [29] [30] [31] [32] [33] [34] [35]
No file specification.bbl.
(./specification.aux)

LaTeX Warning: There were undefined references.


LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

 )
(see the transcript file for additional information) </tmp/texfonts/pk/ljfour/p
ublic/bbm/bbm9.600pk> </tmp/texfonts/pk/ljfour/public/bbm/bbm10.600pk></usr/sha
re/texmf/fonts/type1/public/lm/lmbx10.pfb></usr/share/texmf/fonts/type1/public/
lm/lmbx12.pfb></usr/share/texmf/fonts/type1/public/lm/lmbx8.pfb></usr/share/tex
mf/fonts/type1/public/lm/lmbx9.pfb></usr/share/texmf/fonts/type1/public/lm/lmex
10.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi10.pfb></usr/share/texmf/fon
ts/type1/public/lm/lmmi5.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi6.pfb>
</usr/share/texmf/fonts/type1/public/lm/lmmi7.pfb></usr/share/texmf/fonts/type1
/public/lm/lmmi9.pfb></usr/share/texmf/fonts/type1/public/lm/lmr10.pfb></usr/sh
are/texmf/fonts/type1/public/lm/lmr12.pfb></usr/share/texmf/fonts/type1/public/
lm/lmr17.pfb></usr/share/texmf/fonts/type1/public/lm/lmr5.pfb></usr/share/texmf
/fonts/type1/public/lm/lmr6.pfb></usr/share/texmf/fonts/type1/public/lm/lmr7.pf
b></usr/share/texmf/fonts/type1/public/lm/lmr8.pfb></usr/share/texmf/fonts/type
1/public/lm/lmr9.pfb></usr/share/texmf/fonts/type1/public/lm/lmri10.pfb></usr/s
hare/texmf/fonts/type1/public/lm/lmss10.pfb></usr/share/texmf/fonts/type1/publi
c/lm/lmss8.pfb></usr/share/texmf/fonts/type1/public/lm/lmss9.pfb></usr/share/te
xmf/fonts/type1/public/lm/lmssbx10.pfb></usr/share/texmf/fonts/type1/public/lm/
lmsy10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy5.pfb></usr/share/texmf/
fonts/type1/public/lm/lmsy6.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy7.p
fb></usr/share/texmf/fonts/type1/public/lm/lmsy9.pfb></usr/share/texmf/fonts/ty
pe1/public/lm/lmtk10.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt10.pfb></u
sr/share/texmf/fonts/type1/public/lm/lmtt8.pfb></usr/share/texmf/fonts/type1/pu
blic/lm/lmtt9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/stmaryrd/st
mary10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/stmaryrd/stmary9.p
fb>
Output written on specification.pdf (35 pages, 730715 bytes).
Transcript written on specification.log.
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./specification.tex
LaTeX2e <2023-06-01>
L3 programming layer <2023-06-05>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2023/05/17 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo))
(/usr/share/texlive/texmf-dist/tex/latex/a4wide/a4wide.sty
(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty)
(/usr/share/texmf/tex/latex/lm/lmodern.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty)
(/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty)
(/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx))
(/usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty)
(/usr/share/texmf/tex/latex/lm/t1lmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
(./specification.aux) (./specification.out) (./specification.out)
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texmf/tex/latex/lm/ot1lmr.fd)
(/usr/share/texmf/tex/latex/lm/omllmm.fd)
(/usr/share/texmf/tex/latex/lm/omslmsy.fd)
(/usr/share/texmf/tex/latex/lm/omxlmex.fd)
(/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/Ustmry.fd)
(./spec_version.tex) (./specification.toc
(/usr/share/texmf/tex/latex/lm/t1lmtt.fd) [1{/var/lib/texmf/fonts/map/pdftex/up
dmap/pdftex.map}{/usr/share/texmf/fonts/enc/dvips/lm/lm-ec.enc}{/usr/share/texm
f/fonts/enc/dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-rm.e
nc}]) (./spec_version.tex)

LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin
e 59.


LaTeX Warning: Citation `Belenios-Easycrypt-CSF18' on page 2 undefined on input
 line 61.

(/usr/share/texmf/tex/latex/lm/ts1lmr.fd)

LaTeX Warning: Citation `Pedersen' on page 2 undefined on input line 70.


LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 71.


LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 72.


LaTeX Warning: Citation `asiacrypt12' on page 2 undefined on input line 72.


LaTeX Warning: Citation `Helios' on page 2 undefined on input line 75.


LaTeX Warning: Citation `note-Pierrick' on page 2 undefined on input line 77.


LaTeX Warning: Citation `CGGI-esorics14' on page 2 undefined on input line 78.


LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin
e 79.


LaTeX Warning: Citation `EVoteID20-Belenios' on page 2 undefined on input line 
81.


LaTeX Warning: Citation `CHVote' on page 2 undefined on input line 84.

(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) [2{/usr/share/texm
f/fonts/enc/dvips/lm/lm-ts1.enc}] (/usr/share/texmf/tex/latex/lm/t1lmss.fd)
[3{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}] [4{/usr/share/texmf/font
s/enc/dvips/lm/lm-mathex.enc}] [5] [6] [7] [8] [9] [10] [11] [12]
Overfull \hbox (3.77475pt too wide) detected at line 1013
[]
[13] [14] [15] [16]

Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `math shift' on input line 1298.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `subscript' on input line 1298.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `math shift' on input line 1298.

(/usr/share/texmf/tex/latex/lm/ot1lmss.fd) [17]

Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `math shift' on input line 1355.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `subscript' on input line 1355.


Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref)                removing `math shift' on input line 1355.

[18] [19] [20]

LaTeX Warning: Citation `CHVote' on page 21 undefined on input line 1578.

[21] [22] [23] [24] [25] [26]

LaTeX Warning: Citation `CHVote' on page 27 undefined on input line 1982.

[27] [28] [29] [30] [31] [32] [33] [34] [35]
No file specification.bbl.
(./specification.aux)

LaTeX Warning: There were undefined references.

 )
(see the transcript file for additional information) </tmp/texfonts/pk/ljfour/p
ublic/bbm/bbm9.600pk> </tmp/texfonts/pk/ljfour/public/bbm/bbm10.600pk></usr/sha
re/texmf/fonts/type1/public/lm/lmbx10.pfb></usr/share/texmf/fonts/type1/public/
lm/lmbx12.pfb></usr/share/texmf/fonts/type1/public/lm/lmbx8.pfb></usr/share/tex
mf/fonts/type1/public/lm/lmbx9.pfb></usr/share/texmf/fonts/type1/public/lm/lmex
10.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi10.pfb></usr/share/texmf/fon
ts/type1/public/lm/lmmi5.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi6.pfb>
</usr/share/texmf/fonts/type1/public/lm/lmmi7.pfb></usr/share/texmf/fonts/type1
/public/lm/lmmi9.pfb></usr/share/texmf/fonts/type1/public/lm/lmr10.pfb></usr/sh
are/texmf/fonts/type1/public/lm/lmr12.pfb></usr/share/texmf/fonts/type1/public/
lm/lmr17.pfb></usr/share/texmf/fonts/type1/public/lm/lmr5.pfb></usr/share/texmf
/fonts/type1/public/lm/lmr6.pfb></usr/share/texmf/fonts/type1/public/lm/lmr7.pf
b></usr/share/texmf/fonts/type1/public/lm/lmr8.pfb></usr/share/texmf/fonts/type
1/public/lm/lmr9.pfb></usr/share/texmf/fonts/type1/public/lm/lmri10.pfb></usr/s
hare/texmf/fonts/type1/public/lm/lmss10.pfb></usr/share/texmf/fonts/type1/publi
c/lm/lmss8.pfb></usr/share/texmf/fonts/type1/public/lm/lmss9.pfb></usr/share/te
xmf/fonts/type1/public/lm/lmssbx10.pfb></usr/share/texmf/fonts/type1/public/lm/
lmsy10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy5.pfb></usr/share/texmf/
fonts/type1/public/lm/lmsy6.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy7.p
fb></usr/share/texmf/fonts/type1/public/lm/lmsy9.pfb></usr/share/texmf/fonts/ty
pe1/public/lm/lmtk10.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt10.pfb></u
sr/share/texmf/fonts/type1/public/lm/lmtt8.pfb></usr/share/texmf/fonts/type1/pu
blic/lm/lmtt9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/stmaryrd/st
mary10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/stmaryrd/stmary9.p
fb>
Output written on specification.pdf (35 pages, 730715 bytes).
Transcript written on specification.log.
make[3]: Leaving directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
_build/install/default/bin/belenios-tool --help=groff > debian/belenios-tool.1
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
   dh_auto_test -a
	make -j4 check
make[1]: Entering directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
make build-debug-tool
make[2]: Entering directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
BELENIOS_DEBUG=1 dune build --build-dir=_build-debug -p belenios-platform,belenios-platform-native,belenios-lib,belenios-tool
rm -rf _run/tool-debug
dune install --build-dir=_build-debug --display=quiet --destdir=_run/tool-debug --prefix=/ belenios-platform belenios-platform-native belenios-lib belenios-tool
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
make -C tests/tool check
make[2]: Entering directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/tests/tool'
mkdir -p data
./demo.sh

=-=-= Setup election =-=-=

UUID of the election is RAHUnKqPEdQnVi
5 private credentials with ids saved to ./1697410760.privcreds
5 public credentials saved to ./1697410760.pubcreds
The fingerprint of public credentials is XUaVwMtl+jna7Tgbgx9n6SnaxUSWln5D7zC5v+HGm6g
I: keypair A76E3964 has been generated
I: public key saved to A76E3964.pubkey
I: private key saved to A76E3964.privkey
I: keypair E0151441 has been generated
I: public key saved to E0151441.pubkey
I: private key saved to E0151441.privkey
I: keypair 3F272D29 has been generated
I: public key saved to 3F272D29.pubkey
I: private key saved to 3F272D29.privkey

=-=-= Simulate votes =-=-=

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter voter1 voted with UYR8yE6gm1h4PmLLFgoyCbA71IHEhjhUsKFLtygOnP0

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter voter2 voted with SI/+8kC6O6Z6mdJrxhypyVZc5AWz+fIM9swCQJXtFGc

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter voter3 voted with 6hYtYWUrhBVDQrZxulPL8MEE8bIZEKLP3TZaYTI7+CY

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter voter4 voted with QPkIJ8Uo+1qkS/gvtKBUbOoZ10YX6V33+R4XNJGD+vc

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter voter5 voted with x1cAJe3twIZh5xrZwKONLCk8grY89y6IpxUnOaSeuNg


=-=-= Perform verification (skip-ballot-check) =-=-=

I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= Perform verification =-=-=

I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= Simulate revotes and verify diff =-=-=

I: using directory .
I: loading 62...
I: loading 63...
Voter voter1 voted with Ynb3fLpKhv8K0ehgZJEcA3CgR2i+6R1nxk85lrjylYg

I: using directory .
I: loading 62...
I: loading 63...
Voter voter2 voted with Mv3/jeqRp3/PlKcGP1A631L1HtDbFdNsHr0z7K5na0M

I: using directory .
I: loading 62...
I: loading 63...
Voter voter3 voted with dkDmO0+LM/wYBKkCJhjBR9ePB6e5Qcz0vviAyLoZd/g

I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= End voting phase =-=-=

I: using directory .
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= Check voters =-=-=

I: using directory .
Number of voters is correct

=-=-= Perform decryption =-=-=

I: using directory .
I: loading 3F272D29.privkey...

I: using directory .
I: loading A76E3964.privkey...

I: using directory .
I: loading E0151441.privkey...


=-=-= Finalize tally =-=-=

I: using directory .

=-=-= Perform final verification =-=-=

I: using directory .
I: no shuffles to check
I: all checks passed

=-=-= Check result =-=-=

Result is correct!

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

The simulated election was successful! Its result can be seen in
  /<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/tests/tool/data/RAHUnKqPEdQnVi

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

./demo-threshold.sh

=-=-= Setup election =-=-=

UUID of the election is u5H53Vm9DSCmgL
5 private credentials with ids saved to ./1697410997.privcreds
5 public credentials saved to ./1697410997.pubcreds
The fingerprint of public credentials is ucHs4jH3TyRPZK2l2GGgX5c1dOd4Q7Z7E113e05wX4o
I: certificate 61f797157ab5d3962c7756562414e080015b6371a754c6ef719b752069c210c8 has been generated
I: certificate saved to 61f797157ab5d3962c7756562414e080015b6371a754c6ef719b752069c210c8.cert
I: private key saved to 61f797157ab5d3962c7756562414e080015b6371a754c6ef719b752069c210c8.key
I: certificate e2ea419605e310be27314d2b8e17520153a50ca89626ee2ccd7ce5be56beb392 has been generated
I: certificate saved to e2ea419605e310be27314d2b8e17520153a50ca89626ee2ccd7ce5be56beb392.cert
I: private key saved to e2ea419605e310be27314d2b8e17520153a50ca89626ee2ccd7ce5be56beb392.key
I: certificate cf800b91829048d7e4519ad843248a213e59d277c2662fea7c5602c2d5e851ae has been generated
I: certificate saved to cf800b91829048d7e4519ad843248a213e59d277c2662fea7c5602c2d5e851ae.cert
I: private key saved to cf800b91829048d7e4519ad843248a213e59d277c2662fea7c5602c2d5e851ae.key
I: loading certs.jsons...
I: certificates are valid
I: loading certs.jsons...
I: loading certs.jsons...
I: loading certs.jsons...
I: loading certs.jsons...
I: loading polynomials.jsons...
I: wrote 61f797157ab5d3962c7756562414e080015b6371a754c6ef719b752069c210c8.vinput
I: wrote cf800b91829048d7e4519ad843248a213e59d277c2662fea7c5602c2d5e851ae.vinput
I: wrote e2ea419605e310be27314d2b8e17520153a50ca89626ee2ccd7ce5be56beb392.vinput
I: loading certs.jsons...
I: loading certs.jsons...
I: loading certs.jsons...
I: loading certs.jsons...
I: loading polynomials.jsons...
I: wrote 61f797157ab5d3962c7756562414e080015b6371a754c6ef719b752069c210c8.dkey
I: wrote cf800b91829048d7e4519ad843248a213e59d277c2662fea7c5602c2d5e851ae.dkey
I: wrote e2ea419605e310be27314d2b8e17520153a50ca89626ee2ccd7ce5be56beb392.dkey
I: keypair 0D859F58 has been generated
I: public key saved to 0D859F58.pubkey
I: private key saved to 0D859F58.privkey

=-=-= Simulate votes =-=-=

I: using directory .
I: loading 62...
I: loading 63...
Voter 1 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 2 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 3 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 4 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 5 voted


=-=-= Perform verification =-=-=

I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= Simulate revotes and verify diff =-=-=

I: using directory .
I: loading 62...
I: loading 63...
Voter 1 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 2 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 3 voted

I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= End voting phase =-=-=

I: using directory .
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= Perform decryption (threshold) =-=-=

I: using directory .

I: using directory .

I: using directory .


=-=-= Perform decryption (mandatory) =-=-=

I: using directory .
I: loading 0D859F58.privkey...


=-=-= Finalize tally =-=-=

I: using directory .

=-=-= Perform final verification =-=-=

I: using directory .
I: no shuffles to check
I: all checks passed

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

The simulated election was successful! Its result can be seen in
  /<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/tests/tool/data/u5H53Vm9DSCmgL

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

./demo-nh.sh

=-=-= Setup election =-=-=

UUID of the election is KLzwuvxf35GuQS
60 private credentials with ids saved to ./1697411009.privcreds
60 public credentials saved to ./1697411009.pubcreds
The fingerprint of public credentials is T6DZzZDZXb+dHkazFqNF+5kMPCMp1pHtnJM9tAGu8ME
I: keypair C3C71252 has been generated
I: public key saved to C3C71252.pubkey
I: private key saved to C3C71252.privkey
I: keypair 04F7BA3C has been generated
I: public key saved to 04F7BA3C.pubkey
I: private key saved to 04F7BA3C.privkey
I: keypair 19A352BB has been generated
I: public key saved to 19A352BB.pubkey
I: private key saved to 19A352BB.privkey

=-=-= Simulate votes =-=-=

I: using directory .
I: loading 62...
I: loading 63...
Voter 10 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 11 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 12 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 13 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 14 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 15 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 16 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 17 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 18 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 19 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 20 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 21 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 22 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 23 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 24 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 25 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 26 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 27 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 28 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 29 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 30 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 31 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 32 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 33 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 34 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 35 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 36 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 37 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 38 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 39 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 40 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 41 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 42 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 43 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 44 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 45 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 46 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 47 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 48 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 49 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 50 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 51 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 52 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 53 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 54 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 55 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 56 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 57 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 58 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 59 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 60 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 61 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 62 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 63 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 64 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 65 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 66 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 67 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 68 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 69 voted


=-=-= Perform verification =-=-=

I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= End voting phase =-=-=

I: using directory .
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= Shuffle ciphertexts =-=-=

I: using directory .

I: using directory .

=-=-= Perform decryption =-=-=

I: using directory .
I: loading 04F7BA3C.privkey...
I: shuffle SCRUNc1IwKYxnyPDzMR4EVoJSQHhEQ7a73gCg8P3lKI has been applied
I: shuffle LzBGFc9LJvfPg/ccRbCDhVF60Tzf3FZ9fl18Vd7BLOg has been applied
I: you should check that your shuffle appears in the list of applied shuffles

I: using directory .
I: loading 19A352BB.privkey...
I: shuffle SCRUNc1IwKYxnyPDzMR4EVoJSQHhEQ7a73gCg8P3lKI has been applied
I: shuffle LzBGFc9LJvfPg/ccRbCDhVF60Tzf3FZ9fl18Vd7BLOg has been applied
I: you should check that your shuffle appears in the list of applied shuffles

I: using directory .
I: loading C3C71252.privkey...
I: shuffle SCRUNc1IwKYxnyPDzMR4EVoJSQHhEQ7a73gCg8P3lKI has been applied
I: shuffle LzBGFc9LJvfPg/ccRbCDhVF60Tzf3FZ9fl18Vd7BLOg has been applied
I: you should check that your shuffle appears in the list of applied shuffles


=-=-= Finalize tally =-=-=

I: using directory .

=-=-= Perform final verification =-=-=

I: using directory .
I: all checks passed

=-=-= Apply Schulze method =-=-=

Schulze output is identical!

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

The simulated election was successful! Its result can be seen in
  /<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/tests/tool/data/KLzwuvxf35GuQS

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

./demo-mj.sh

=-=-= Setup election =-=-=

UUID of the election is YLAJeJ2nYWGY7d
102 private credentials with ids saved to ./1697411094.privcreds
102 public credentials saved to ./1697411094.pubcreds
The fingerprint of public credentials is VAOOysR5J66f28y6JzPCRhQ+rlYThSTdXHatXZ+Vex8
I: keypair E697519D has been generated
I: public key saved to E697519D.pubkey
I: private key saved to E697519D.privkey
I: keypair 9CCD1B9F has been generated
I: public key saved to 9CCD1B9F.pubkey
I: private key saved to 9CCD1B9F.privkey
I: keypair F82F9013 has been generated
I: public key saved to F82F9013.pubkey
I: private key saved to F82F9013.privkey

=-=-= Simulate votes =-=-=

I: using directory .
I: loading 62...
I: loading 63...
Voter 100 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 101 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 102 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 103 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 104 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 105 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 106 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 107 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 108 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 109 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 110 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 111 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 112 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 113 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 114 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 115 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 116 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 117 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 118 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 119 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 120 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 121 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 122 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 123 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 124 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 125 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 126 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 127 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 128 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 129 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 130 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 131 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 132 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 133 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 134 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 135 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 136 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 137 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 138 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 139 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 140 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 141 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 142 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 143 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 144 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 145 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 146 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 147 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 148 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 149 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 150 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 151 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 152 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 153 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 154 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 155 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 156 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 157 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 158 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 159 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 160 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 161 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 162 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 163 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 164 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 165 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 166 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 167 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 168 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 169 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 170 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 171 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 172 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 173 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 174 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 175 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 176 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 177 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 178 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 179 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 180 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 181 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 182 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 183 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 184 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 185 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 186 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 187 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 188 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 189 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 190 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 191 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 192 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 193 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 194 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 195 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 196 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 197 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 198 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 199 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 200 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 201 voted


=-=-= Perform verification =-=-=

I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= End voting phase =-=-=

I: using directory .
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= Shuffle ciphertexts =-=-=

I: using directory .

I: using directory .

=-=-= Perform decryption =-=-=

I: using directory .
I: loading 9CCD1B9F.privkey...
I: shuffle Cm+t2YH9DIMVKVo89nJ78kh3TkYwInXv4shtDwv9OHA has been applied
I: shuffle IlpM/xD2QeNROhksM/Jaje6R88Jc25bJDas3gdNIkyg has been applied
I: you should check that your shuffle appears in the list of applied shuffles

I: using directory .
I: loading E697519D.privkey...
I: shuffle Cm+t2YH9DIMVKVo89nJ78kh3TkYwInXv4shtDwv9OHA has been applied
I: shuffle IlpM/xD2QeNROhksM/Jaje6R88Jc25bJDas3gdNIkyg has been applied
I: you should check that your shuffle appears in the list of applied shuffles

I: using directory .
I: loading F82F9013.privkey...
I: shuffle Cm+t2YH9DIMVKVo89nJ78kh3TkYwInXv4shtDwv9OHA has been applied
I: shuffle IlpM/xD2QeNROhksM/Jaje6R88Jc25bJDas3gdNIkyg has been applied
I: you should check that your shuffle appears in the list of applied shuffles


=-=-= Finalize tally =-=-=

I: using directory .

=-=-= Perform final verification =-=-=

I: using directory .
I: all checks passed

=-=-= Apply Majority Judgment method =-=-=

Majority Judgment output is identical!

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

The simulated election was successful! Its result can be seen in
  /<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/tests/tool/data/YLAJeJ2nYWGY7d

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

./demo-stv.sh

=-=-= Setup election =-=-=

UUID of the election is B4FG79YJodFuPP
50 private credentials with ids saved to ./1697411124.privcreds
50 public credentials saved to ./1697411124.pubcreds
The fingerprint of public credentials is WOiJWmmTY3fklrxCwoIIzeN+Spcbvh25p2syb+h7nIs
I: keypair 8B71DE4B has been generated
I: public key saved to 8B71DE4B.pubkey
I: private key saved to 8B71DE4B.privkey
I: keypair 4149E7E6 has been generated
I: public key saved to 4149E7E6.pubkey
I: private key saved to 4149E7E6.privkey
I: keypair C6A82FD7 has been generated
I: public key saved to C6A82FD7.pubkey
I: private key saved to C6A82FD7.privkey

=-=-= Simulate votes =-=-=

I: using directory .
I: loading 62...
I: loading 63...
Voter 10 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 11 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 12 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 13 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 14 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 15 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 16 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 17 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 18 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 19 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 20 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 21 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 22 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 23 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 24 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 25 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 26 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 27 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 28 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 29 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 30 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 31 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 32 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 33 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 34 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 35 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 36 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 37 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 38 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 39 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 40 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 41 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 42 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 43 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 44 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 45 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 46 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 47 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 48 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 49 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 50 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 51 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 52 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 53 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 54 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 55 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 56 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 57 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 58 voted

I: using directory .
I: loading 62...
I: loading 63...
Voter 59 voted


=-=-= Perform verification =-=-=

I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= End voting phase =-=-=

I: using directory .
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= Shuffle ciphertexts =-=-=

I: using directory .

I: using directory .

=-=-= Perform decryption =-=-=

I: using directory .
I: loading 4149E7E6.privkey...
I: shuffle ucxK6+64NpcTI2ghHrqSme56u2r2mCZAdXe/QX+uDKc has been applied
I: shuffle zxXZluk/eM6WZLB9qJJ7QHCIne/c/QEKUXVgti1TxtM has been applied
I: you should check that your shuffle appears in the list of applied shuffles

I: using directory .
I: loading 8B71DE4B.privkey...
I: shuffle ucxK6+64NpcTI2ghHrqSme56u2r2mCZAdXe/QX+uDKc has been applied
I: shuffle zxXZluk/eM6WZLB9qJJ7QHCIne/c/QEKUXVgti1TxtM has been applied
I: you should check that your shuffle appears in the list of applied shuffles

I: using directory .
I: loading C6A82FD7.privkey...
I: shuffle ucxK6+64NpcTI2ghHrqSme56u2r2mCZAdXe/QX+uDKc has been applied
I: shuffle zxXZluk/eM6WZLB9qJJ7QHCIne/c/QEKUXVgti1TxtM has been applied
I: you should check that your shuffle appears in the list of applied shuffles


=-=-= Finalize tally =-=-=

I: using directory .

=-=-= Perform final verification =-=-=

I: using directory .
I: all checks passed

=-=-= Apply STV method =-=-=

STV output is identical!

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

The simulated election was successful! Its result can be seen in
  /<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/tests/tool/data/B4FG79YJodFuPP

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

./demo-n-voters.sh

=-=-= Setup election =-=-=

UUID of the election is R37rZVwodUYhzy
10 private credentials with ids saved to ./1697411139.privcreds
10 public credentials saved to ./1697411139.pubcreds
The fingerprint of public credentials is ZEzVzgriHn2tYrD0s+w5oxWd3AH5AeZa/e/6aPqQ2ZA
I: keypair C88C8907 has been generated
I: public key saved to C88C8907.pubkey
I: private key saved to C88C8907.privkey
I: keypair 053039EB has been generated
I: public key saved to 053039EB.pubkey
I: private key saved to 053039EB.privkey
I: keypair A7320031 has been generated
I: public key saved to A7320031.pubkey
I: private key saved to A7320031.privkey

=-=-= Simulate votes =-=-=

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter 10 voted with CfNO5AkW++Q/O5NhfHlaF2l/7BTo22e+YmCkG/avBPo
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter 11 voted with s0R2AY3tlp+yVkoDjqU/wtVctcDgkkR2HG4SU32tl+4
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter 12 voted with eZlSeX076c/Va4D04l2qGISy+5hZSWU3BCY2F5AT4qQ
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter 13 voted with GEaFYg9Ft2Z9ENCSwmsZyPs8sw3sIrJKgTJaq19JSag
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter 14 voted with xuJvagYNq9Nq+kZQZ66VR/oKtZrP5q0D7tWGzbqL3oE
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter 15 voted with QBq0z1iNhaYMyy/OpBNLfuBOaekMN2D6Bh1Zlh26mVo
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter 16 voted with gYkRlq8+0WuxbpjqOvfdceLsgDci7LwzJmiSuOj6ksg
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter 17 voted with X5wYzc3L04iINKoJpdW1tsVTkcvcd87HqpMGMZlDbcs
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter 18 voted with 0nIMo3Vsnv9zq8RXckc8YxwfAPGRpHQyaTzh30eDUiI
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

I: using directory .
I: loading 62...
I: loading 63...
I: using directory .
I: loading 63...
I: ballot is valid
Voter 19 voted with dLidadSEhbe72NSZHU7EI3OueUdMsFhv4WXZ3ca5SwU
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed


=-=-= Perform verification =-=-=

I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= End voting phase =-=-=

I: using directory .
I: using directory .
I: no shuffles to check
I: no result to check
I: all checks passed

=-=-= Perform decryption =-=-=

I: using directory .
I: loading 053039EB.privkey...

I: using directory .
I: loading A7320031.privkey...

I: using directory .
I: loading C88C8907.privkey...


=-=-= Finalize tally =-=-=

I: using directory .

=-=-= Perform final verification =-=-=

I: using directory .
I: no shuffles to check
I: all checks passed

=-=-= Check result =-=-=

Result is correct!

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

The simulated election was successful! Its result can be seen in
  /<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/tests/tool/data/R37rZVwodUYhzy

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

make[2]: Leaving directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg/tests/tool'
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
   create-stamp debian/debhelper-build-stamp
   dh_prep -a
   debian/rules override_dh_auto_install
make[1]: Entering directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
dune install --destdir=debian/tmp --prefix=/usr belenios-tool
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-2.2+git10-gbb6b7ea8+dfsg'
   dh_install -a
   dh_ocamldoc -a
   dh_installdocs -a
   dh_installchangelogs -a
   dh_installexamples -a
   dh_installman -a
   dh_perl -a
   dh_link -a
   dh_strip_nondeterminism -a
   dh_compress -a
   dh_fixperms -a
   dh_missing -a
   dh_dwz -a
   dh_strip -a
   dh_makeshlibs -a
   dh_shlibdeps -a
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/belenios-tool/usr/bin/belenios-tool was not linked against ld-linux-armhf.so.3 (it uses none of the library's symbols)
   dh_installdeb -a
   dh_ocaml -a
   dh_gencontrol -a
dpkg-gencontrol: warning: Depends field of package belenios-tool: substitution variable ${ocaml:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package belenios-tool: substitution variable ${ocaml:Depends} used, but is not defined
   dh_md5sums -a
   dh_builddeb -a
dpkg-deb: building package 'belenios-tool-dbgsym' in '../belenios-tool-dbgsym_2.2+git10-gbb6b7ea8+dfsg-1_armhf.deb'.
dpkg-deb: building package 'belenios-tool' in '../belenios-tool_2.2+git10-gbb6b7ea8+dfsg-1_armhf.deb'.
 dpkg-genbuildinfo --build=any -O../belenios_2.2+git10-gbb6b7ea8+dfsg-1_armhf.buildinfo
 dpkg-genchanges --build=any -mRaspbian mythic lxc autobuilder 1 <root@raspbian.org> -O../belenios_2.2+git10-gbb6b7ea8+dfsg-1_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2023-10-15T23:06:04Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Post Build Chroot                                                            |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Changes                                                                      |
+------------------------------------------------------------------------------+


belenios_2.2+git10-gbb6b7ea8+dfsg-1_armhf.changes:
--------------------------------------------------

Format: 1.8
Date: Wed, 06 Sep 2023 13:31:33 +0200
Source: belenios
Binary: belenios-tool belenios-tool-dbgsym
Architecture: armhf
Version: 2.2+git10-gbb6b7ea8+dfsg-1
Distribution: trixie-staging
Urgency: medium
Maintainer: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
 belenios-tool - verifiable voting system (command-line tool)
Changes:
 belenios (2.2+git10-gbb6b7ea8+dfsg-1) unstable; urgency=medium
 .
   * New upstream release
   * Depend on ocaml instead of transitional ocaml-nox
   * Update debian/watch
   * Bump Standards-Version to 4.6.2
Checksums-Sha1:
 3d485d988bdab2203eb5eab389c789835c5bd2b5 344684 belenios-tool-dbgsym_2.2+git10-gbb6b7ea8+dfsg-1_armhf.deb
 e19a43825ff86dc6158215d191143abcd7deab0e 1792080 belenios-tool_2.2+git10-gbb6b7ea8+dfsg-1_armhf.deb
 1621bbe4c3537916b056fdffbb5835d89fb50a96 9981 belenios_2.2+git10-gbb6b7ea8+dfsg-1_armhf.buildinfo
Checksums-Sha256:
 f35c402f745e8a409b506a60a662c38b047d3c954a508763140ee0c2beb2f1af 344684 belenios-tool-dbgsym_2.2+git10-gbb6b7ea8+dfsg-1_armhf.deb
 e2a836be6423b070aec0e4014f4c891f59276d40a656e636047211cf016c07e2 1792080 belenios-tool_2.2+git10-gbb6b7ea8+dfsg-1_armhf.deb
 a3df437e61e9eb9a1064a945062c517a4e760db6c2bd133c72be11059cf6aafd 9981 belenios_2.2+git10-gbb6b7ea8+dfsg-1_armhf.buildinfo
Files:
 4dfd7eaaee98bfd51e00f19c89e37731 344684 debug optional belenios-tool-dbgsym_2.2+git10-gbb6b7ea8+dfsg-1_armhf.deb
 c76f88223f0c792613e76c2c34d8ad41 1792080 misc optional belenios-tool_2.2+git10-gbb6b7ea8+dfsg-1_armhf.deb
 cb44a99476293e1a61537dbbefaf60aa 9981 misc optional belenios_2.2+git10-gbb6b7ea8+dfsg-1_armhf.buildinfo

+------------------------------------------------------------------------------+
| Package contents                                                             |
+------------------------------------------------------------------------------+


belenios-tool-dbgsym_2.2+git10-gbb6b7ea8+dfsg-1_armhf.deb
---------------------------------------------------------

 new Debian package, version 2.0.
 size 344684 bytes: control archive=548 bytes.
     418 bytes,    12 lines      control              
     106 bytes,     1 lines      md5sums              
 Package: belenios-tool-dbgsym
 Source: belenios
 Version: 2.2+git10-gbb6b7ea8+dfsg-1
 Auto-Built-Package: debug-symbols
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 1178
 Depends: belenios-tool (= 2.2+git10-gbb6b7ea8+dfsg-1)
 Section: debug
 Priority: optional
 Description: debug symbols for belenios-tool
 Build-Ids: 88c063072726a5bc91f6926a93ff19627b0704b4

drwxr-xr-x root/root         0 2023-09-06 11:31 ./
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/lib/
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/lib/debug/
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/lib/debug/.build-id/88/
-rw-r--r-- root/root   1195788 2023-09-06 11:31 ./usr/lib/debug/.build-id/88/c063072726a5bc91f6926a93ff19627b0704b4.debug
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/share/
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/share/doc/
lrwxrwxrwx root/root         0 2023-09-06 11:31 ./usr/share/doc/belenios-tool-dbgsym -> belenios-tool


belenios-tool_2.2+git10-gbb6b7ea8+dfsg-1_armhf.deb
--------------------------------------------------

 new Debian package, version 2.0.
 size 1792080 bytes: control archive=1540 bytes.
    1671 bytes,    35 lines      control              
    1085 bytes,    14 lines      md5sums              
 Package: belenios-tool
 Source: belenios
 Version: 2.2+git10-gbb6b7ea8+dfsg-1
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 4363
 Depends: libc6 (>= 2.35), libgmp10 (>= 2:6.3.0+dfsg), libsodium23 (>= 1.0.17), zlib1g (>= 1:1.1.4)
 Section: misc
 Priority: optional
 Homepage: http://www.belenios.org/
 Description: verifiable voting system (command-line tool)
  Belenios aims at providing an easy to use voting system, guaranteeing
  state-of-the-art security, namely vote privacy and verifiability. It
  can be used in many types of elections, ranging from scientific
  councils to sport associations.
  .
  It consists of a command-line tool and a web server. Both use the
  same backend and can be used to organize elections and perform
  verifications.
  .
  Security properties of the system are:
   * Vote privacy: No one can learn the vote of a voter. Vote privacy
     relies on the encryption of the votes.
   * End-to-end verifiablity: Every voter can check that her vote has
     been counted and only eligible voters may vote. End-to-end
     verifiablity relies on the fact that the ballot box is public
     (voters can check that their ballots have been received) and on
     the fact that the tally is publicly verifiable (anyone can recount
     the votes). Moreover, ballots are signed by the voter credential
     (only eligible voters are able to vote).
  .
  This package provides the command-line tool, which is the most
  convenient way to exercise the verifiability capabilities of the
  system. It can be used to run an election without using the web
  server, and to monitor an election running on a web server.

drwxr-xr-x root/root         0 2023-09-06 11:31 ./
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/bin/
-rwxr-xr-x root/root   3663836 2023-09-06 11:31 ./usr/bin/belenios-tool
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/share/
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/share/doc/
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/share/doc/belenios-tool/
-rw-r--r-- root/root      3284 2023-09-06 11:31 ./usr/share/doc/belenios-tool/README.md
-rw-r--r-- root/root       679 2023-09-06 11:31 ./usr/share/doc/belenios-tool/changelog.Debian.gz
-rw-r--r-- root/root      7403 2023-09-06 11:31 ./usr/share/doc/belenios-tool/changelog.gz
-rw-r--r-- root/root     33969 2023-09-06 11:31 ./usr/share/doc/belenios-tool/copyright
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/share/doc/belenios-tool/examples/
-rwxr-xr-x root/root      5253 2023-09-06 09:12 ./usr/share/doc/belenios-tool/examples/demo-mj.sh
-rwxr-xr-x root/root      3785 2023-09-06 09:12 ./usr/share/doc/belenios-tool/examples/demo-n-voters.sh
-rwxr-xr-x root/root      5455 2023-09-06 09:12 ./usr/share/doc/belenios-tool/examples/demo-nh.sh
-rwxr-xr-x root/root      5211 2023-09-06 09:12 ./usr/share/doc/belenios-tool/examples/demo-stv.sh
-rwxr-xr-x root/root      4358 2023-09-06 09:12 ./usr/share/doc/belenios-tool/examples/demo-threshold.sh
-rwxr-xr-x root/root      4919 2023-09-06 09:12 ./usr/share/doc/belenios-tool/examples/demo.sh
-rw-r--r-- root/root    707389 2023-09-06 11:31 ./usr/share/doc/belenios-tool/specification.pdf.gz
-rw-r--r-- root/root      3780 2023-09-06 09:12 ./usr/share/doc/belenios-tool/tool.md
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/share/man/
drwxr-xr-x root/root         0 2023-09-06 11:31 ./usr/share/man/man1/
-rw-r--r-- root/root       866 2023-09-06 11:31 ./usr/share/man/man1/belenios-tool.1.gz


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


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

Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use

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

Build Architecture: armhf
Build-Space: 103764
Build-Time: 454
Distribution: trixie-staging
Host Architecture: armhf
Install-Time: 1495
Job: belenios_2.2+git10-gbb6b7ea8+dfsg-1
Machine Architecture: armhf
Package: belenios
Package-Time: 1970
Source-Version: 2.2+git10-gbb6b7ea8+dfsg-1
Space: 103764
Status: successful
Version: 2.2+git10-gbb6b7ea8+dfsg-1
--------------------------------------------------------------------------------
Finished at 2023-10-15T23:06:04Z
Build needed 00:32:50, 103764k disk space