belenios →
1.20+dfsg-1 →
armhf → 2022-11-22 05:28:45
sbuild (Debian sbuild) 0.71.0 (24 Aug 2016) on testbuildd
+==============================================================================+
| belenios 1.20+dfsg-1 (armhf) Tue, 22 Nov 2022 01:17:26 +0000 |
+==============================================================================+
Package: belenios
Version: 1.20+dfsg-1
Source Version: 1.20+dfsg-1
Distribution: bookworm-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/bookworm-staging-armhf-sbuild-d8476561-985c-4c72-8636-abd165c0062e' with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.4.1/private bookworm-staging InRelease [11.3 kB]
Get:2 http://172.17.4.1/private bookworm-staging/main Sources [13.4 MB]
Get:3 http://172.17.4.1/private bookworm-staging/main armhf Packages [14.3 MB]
Fetched 27.7 MB in 30s (920 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/bookworm-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 495 kB of source archives.
Get:1 http://172.17.4.1/private bookworm-staging/main belenios 1.20+dfsg-1 (dsc) [2061 B]
Get:2 http://172.17.4.1/private bookworm-staging/main belenios 1.20+dfsg-1 (tar) [467 kB]
Get:3 http://172.17.4.1/private bookworm-staging/main belenios 1.20+dfsg-1 (diff) [26.1 kB]
Fetched 495 kB in 0s (2238 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/belenios-Zl6Oqr/belenios-1.20+dfsg' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/belenios-Zl6Oqr' 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-bGJfei/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-bGJfei/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-bGJfei/gpg/trustdb.gpg: trustdb created
gpg: key 35506D9A48F77B2E: 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 35506D9A48F77B2E: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 35506D9A48F77B2E: 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-bGJfei/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-bGJfei/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-bGJfei/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-bGJfei/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-bGJfei/apt_archive ./ Packages [432 B]
Fetched 2108 B in 1s (2756 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 libperl5.34 netbase perl-modules-5.34 sensible-utils
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 66 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-bGJfei/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 (23.3 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 14774 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, ocaml-nox, 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, ocaml-nox, 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-bGJfei/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-bGJfei/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-bGJfei/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-bGJfei/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-bGJfei/apt_archive ./ Sources [639 B]
Get:5 copy:/<<BUILDDIR>>/resolver-bGJfei/apt_archive ./ Packages [724 B]
Fetched 2696 B in 1s (3673 B/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 libperl5.34 netbase perl-modules-5.34
Use 'apt autoremove' to remove them.
The following additional 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-gfs-baskerville fonts-gfs-porson fonts-lmodern
gettext gettext-base groff-base intltool-debian libapache-pom-java
libarchive-zip-perl libatdgen-ocaml libatdgen-ocaml-dev libbase-ocaml
libbase-ocaml-dev libbase64-ocaml libbase64-ocaml-dev
libbigarray-compat-ocaml libbigarray-compat-ocaml-dev libbiniou-ocaml
libbiniou-ocaml-dev libbrotli1 libbsd0 libcairo2 libcalendar-ocaml
libcalendar-ocaml-dev libcmdliner-ocaml-dev libcommons-logging-java
libcommons-parent-java 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 libkpathsea6 liblwt-ocaml liblwt-ocaml-dev libmagic-mgc
libmagic1 libmd0 libmmap-ocaml libmmap-ocaml-dev libmpdec3 libncurses-dev
libncurses5-dev libncurses6 libnum-ocaml libnum-ocaml-dev
libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml
libocplib-endian-ocaml-dev libpaper-utils libpaper1 libparsexp-ocaml
libparsexp-ocaml-dev libpdfbox-java libpipeline1 libpixman-1-0 libpng16-16
libppx-derivers-ocaml-dev libppxlib-ocaml-dev libptexenc1 libpython3-stdlib
libpython3.10-minimal libpython3.10-stdlib libreact-ocaml libreact-ocaml-dev
libresult-ocaml libresult-ocaml-dev libsexplib-ocaml libsexplib-ocaml-dev
libsexplib0-ocaml libsexplib0-ocaml-dev libsm6 libsub-override-perl
libsynctex2 libteckit0 libtexlua53-5 libtexluajit2 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-compiler-libs ocaml-dune ocaml-findlib ocaml-interp
ocaml-nox po-debconf preview-latex-style python3 python3-minimal python3.10
python3.10-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 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
ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc
apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl
python3-doc python3-tk python3-venv python3.10-venv python3.10-doc
binfmt-support ghostscript gv | postscript-viewer perl-tk xpdf | pdf-viewer
xzdec texlive-fonts-extra-doc texlive-fonts-recommended-doc
texlive-latex-base-doc 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
Recommended packages:
curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info
xdg-user-dirs liblwt-ocaml-doc libgpm2 libltdl-dev ocaml-man
libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl 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 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-gfs-baskerville fonts-gfs-porson fonts-lmodern
gettext gettext-base groff-base intltool-debian libapache-pom-java
libarchive-zip-perl libatdgen-ocaml libatdgen-ocaml-dev libbase-ocaml
libbase-ocaml-dev libbase64-ocaml libbase64-ocaml-dev
libbigarray-compat-ocaml libbigarray-compat-ocaml-dev libbiniou-ocaml
libbiniou-ocaml-dev libbrotli1 libbsd0 libcairo2 libcalendar-ocaml
libcalendar-ocaml-dev libcmdliner-ocaml-dev libcommons-logging-java
libcommons-parent-java 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 libkpathsea6 liblwt-ocaml liblwt-ocaml-dev libmagic-mgc
libmagic1 libmd0 libmmap-ocaml libmmap-ocaml-dev libmpdec3 libncurses-dev
libncurses5-dev libncurses6 libnum-ocaml libnum-ocaml-dev
libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml
libocplib-endian-ocaml-dev libpaper-utils libpaper1 libparsexp-ocaml
libparsexp-ocaml-dev libpdfbox-java libpipeline1 libpixman-1-0 libpng16-16
libppx-derivers-ocaml-dev libppxlib-ocaml-dev libptexenc1 libpython3-stdlib
libpython3.10-minimal libpython3.10-stdlib libreact-ocaml libreact-ocaml-dev
libresult-ocaml libresult-ocaml-dev libsexplib-ocaml libsexplib-ocaml-dev
libsexplib0-ocaml libsexplib0-ocaml-dev libsm6 libsub-override-perl
libsynctex2 libteckit0 libtexlua53-5 libtexluajit2 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-compiler-libs ocaml-dune ocaml-findlib ocaml-interp
ocaml-nox po-debconf preview-latex-style python3 python3-minimal python3.10
python3.10-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
0 upgraded, 172 newly installed, 0 to remove and 66 not upgraded.
Need to get 867 MB of archives.
After this operation, 2637 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-bGJfei/apt_archive ./ sbuild-build-depends-belenios-dummy 0.invalid.0 [1008 B]
Get:2 http://172.17.4.1/private bookworm-staging/main armhf libpython3.10-minimal armhf 3.10.8-3 [769 kB]
Get:3 http://172.17.4.1/private bookworm-staging/main armhf libexpat1 armhf 2.5.0-1 [77.2 kB]
Get:4 http://172.17.4.1/private bookworm-staging/main armhf python3.10-minimal armhf 3.10.8-3 [1478 kB]
Get:5 http://172.17.4.1/private bookworm-staging/main armhf python3-minimal armhf 3.10.6-1 [38.7 kB]
Get:6 http://172.17.4.1/private bookworm-staging/main armhf media-types all 8.0.0 [33.4 kB]
Get:7 http://172.17.4.1/private bookworm-staging/main armhf libmpdec3 armhf 2.5.1-2+rpi1 [73.5 kB]
Get:8 http://172.17.4.1/private bookworm-staging/main armhf libpython3.10-stdlib armhf 3.10.8-3 [1597 kB]
Get:9 http://172.17.4.1/private bookworm-staging/main armhf python3.10 armhf 3.10.8-3 [506 kB]
Get:10 http://172.17.4.1/private bookworm-staging/main armhf libpython3-stdlib armhf 3.10.6-1 [21.7 kB]
Get:11 http://172.17.4.1/private bookworm-staging/main armhf python3 armhf 3.10.6-1 [38.2 kB]
Get:12 http://172.17.4.1/private bookworm-staging/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB]
Get:13 http://172.17.4.1/private bookworm-staging/main armhf groff-base armhf 1.22.4-8 [793 kB]
Get:14 http://172.17.4.1/private bookworm-staging/main armhf bsdextrautils armhf 2.38.1-1.1 [78.2 kB]
Get:15 http://172.17.4.1/private bookworm-staging/main armhf libpipeline1 armhf 1.5.7-1 [33.4 kB]
Get:16 http://172.17.4.1/private bookworm-staging/main armhf man-db armhf 2.11.1-1 [1341 kB]
Get:17 http://172.17.4.1/private bookworm-staging/main armhf libmagic-mgc armhf 1:5.41-4 [295 kB]
Get:18 http://172.17.4.1/private bookworm-staging/main armhf libmagic1 armhf 1:5.41-4 [120 kB]
Get:19 http://172.17.4.1/private bookworm-staging/main armhf file armhf 1:5.41-4 [65.8 kB]
Get:20 http://172.17.4.1/private bookworm-staging/main armhf gettext-base armhf 0.21-9 [171 kB]
Get:21 http://172.17.4.1/private bookworm-staging/main armhf ucf all 3.0043 [74.0 kB]
Get:22 http://172.17.4.1/private bookworm-staging/main armhf m4 armhf 1.4.19-1 [260 kB]
Get:23 http://172.17.4.1/private bookworm-staging/main armhf autoconf all 2.71-2 [343 kB]
Get:24 http://172.17.4.1/private bookworm-staging/main armhf autotools-dev all 20220109.1 [51.6 kB]
Get:25 http://172.17.4.1/private bookworm-staging/main armhf automake all 1:1.16.5-1.3 [823 kB]
Get:26 http://172.17.4.1/private bookworm-staging/main armhf autopoint all 0.21-9 [510 kB]
Get:27 http://172.17.4.1/private bookworm-staging/main armhf libdebhelper-perl all 13.10.1 [79.9 kB]
Get:28 http://172.17.4.1/private bookworm-staging/main armhf libtool all 2.4.7-4 [526 kB]
Get:29 http://172.17.4.1/private bookworm-staging/main armhf dh-autoreconf all 20 [17.1 kB]
Get:30 http://172.17.4.1/private bookworm-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:31 http://172.17.4.1/private bookworm-staging/main armhf libsub-override-perl all 0.09-4 [9304 B]
Get:32 http://172.17.4.1/private bookworm-staging/main armhf libfile-stripnondeterminism-perl all 1.13.0-1 [26.6 kB]
Get:33 http://172.17.4.1/private bookworm-staging/main armhf dh-strip-nondeterminism all 1.13.0-1 [15.8 kB]
Get:34 http://172.17.4.1/private bookworm-staging/main armhf libelf1 armhf 0.187-2+rpi2 [177 kB]
Get:35 http://172.17.4.1/private bookworm-staging/main armhf dwz armhf 0.14+20220924-2 [93.1 kB]
Get:36 http://172.17.4.1/private bookworm-staging/main armhf libicu72 armhf 72.1-2 [9008 kB]
Get:37 http://172.17.4.1/private bookworm-staging/main armhf libxml2 armhf 2.9.14+dfsg-1.1 [570 kB]
Get:38 http://172.17.4.1/private bookworm-staging/main armhf gettext armhf 0.21-9 [1220 kB]
Get:39 http://172.17.4.1/private bookworm-staging/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get:40 http://172.17.4.1/private bookworm-staging/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
Get:41 http://172.17.4.1/private bookworm-staging/main armhf debhelper all 13.10.1 [940 kB]
Get:42 http://172.17.4.1/private bookworm-staging/main armhf dh-ocaml all 1.1.3 [82.9 kB]
Get:43 http://172.17.4.1/private bookworm-staging/main armhf fonts-dejavu-core all 2.37-2 [1069 kB]
Get:44 http://172.17.4.1/private bookworm-staging/main armhf fontconfig-config armhf 2.13.1-4.5 [281 kB]
Get:45 http://172.17.4.1/private bookworm-staging/main armhf fonts-gfs-baskerville all 1.1-6 [43.7 kB]
Get:46 http://172.17.4.1/private bookworm-staging/main armhf fonts-gfs-porson all 1.1-7 [33.8 kB]
Get:47 http://172.17.4.1/private bookworm-staging/main armhf fonts-lmodern all 2.005-1 [4540 kB]
Get:48 http://172.17.4.1/private bookworm-staging/main armhf libapache-pom-java all 25-2 [5260 B]
Get:49 http://172.17.4.1/private bookworm-staging/main armhf ocaml-base armhf 4.13.1-3+rpi1 [607 kB]
Get:50 http://172.17.4.1/private bookworm-staging/main armhf libeasy-format-ocaml armhf 1.3.2-1+b2 [44.8 kB]
Get:51 http://172.17.4.1/private bookworm-staging/main armhf libbiniou-ocaml armhf 1.2.1-1+b3 [125 kB]
Get:52 http://172.17.4.1/private bookworm-staging/main armhf libyojson-ocaml armhf 2.0.2-2 [606 kB]
Get:53 http://172.17.4.1/private bookworm-staging/main armhf libatdgen-ocaml armhf 2.10.0-2 [123 kB]
Get:54 http://172.17.4.1/private bookworm-staging/main armhf ocaml-compiler-libs armhf 4.13.1-3+rpi1 [29.4 MB]
Get:55 http://172.17.4.1/private bookworm-staging/main armhf ocaml-interp armhf 4.13.1-3+rpi1 [6182 kB]
Get:56 http://172.17.4.1/private bookworm-staging/main armhf libncurses6 armhf 6.3+20220423-2 [79.6 kB]
Get:57 http://172.17.4.1/private bookworm-staging/main armhf libncurses-dev armhf 6.3+20220423-2 [289 kB]
Get:58 http://172.17.4.1/private bookworm-staging/main armhf libncurses5-dev armhf 6.3+20220423-2 [940 B]
Get:59 http://172.17.4.1/private bookworm-staging/main armhf ocaml armhf 4.13.1-3+rpi1 [70.4 MB]
Get:60 http://172.17.4.1/private bookworm-staging/main armhf libeasy-format-ocaml-dev armhf 1.3.2-1+b2 [96.6 kB]
Get:61 http://172.17.4.1/private bookworm-staging/main armhf libbiniou-ocaml-dev armhf 1.2.1-1+b3 [557 kB]
Get:62 http://172.17.4.1/private bookworm-staging/main armhf libyojson-ocaml-dev armhf 2.0.2-2 [1224 kB]
Get:63 http://172.17.4.1/private bookworm-staging/main armhf libatdgen-ocaml-dev armhf 2.10.0-2 [984 kB]
Get:64 http://172.17.4.1/private bookworm-staging/main armhf libsexplib0-ocaml armhf 0.15.1-1 [86.1 kB]
Get:65 http://172.17.4.1/private bookworm-staging/main armhf libbase-ocaml armhf 0.15.1-1 [2375 kB]
Get:66 http://172.17.4.1/private bookworm-staging/main armhf libsexplib0-ocaml-dev armhf 0.15.1-1 [185 kB]
Get:67 http://172.17.4.1/private bookworm-staging/main armhf libbase-ocaml-dev armhf 0.15.1-1 [6248 kB]
Get:68 http://172.17.4.1/private bookworm-staging/main armhf libbase64-ocaml armhf 3.5.0-1+b1 [64.1 kB]
Get:69 http://172.17.4.1/private bookworm-staging/main armhf libbase64-ocaml-dev armhf 3.5.0-1+b1 [137 kB]
Get:70 http://172.17.4.1/private bookworm-staging/main armhf libbigarray-compat-ocaml armhf 1.1.0-1 [7888 B]
Get:71 http://172.17.4.1/private bookworm-staging/main armhf libbigarray-compat-ocaml-dev armhf 1.1.0-1 [17.3 kB]
Get:72 http://172.17.4.1/private bookworm-staging/main armhf libbrotli1 armhf 1.0.9-2+b2 [260 kB]
Get:73 http://172.17.4.1/private bookworm-staging/main armhf libmd0 armhf 1.0.4-2 [28.6 kB]
Get:74 http://172.17.4.1/private bookworm-staging/main armhf libbsd0 armhf 0.11.7-1 [112 kB]
Get:75 http://172.17.4.1/private bookworm-staging/main armhf libpng16-16 armhf 1.6.38-2 [273 kB]
Get:76 http://172.17.4.1/private bookworm-staging/main armhf libfreetype6 armhf 2.12.1+dfsg-3 [352 kB]
Get:77 http://172.17.4.1/private bookworm-staging/main armhf libfontconfig1 armhf 2.13.1-4.5 [330 kB]
Get:78 http://172.17.4.1/private bookworm-staging/main armhf libpixman-1-0 armhf 0.42.2-1 [461 kB]
Get:79 http://172.17.4.1/private bookworm-staging/main armhf libxau6 armhf 1:1.0.9-1 [19.1 kB]
Get:80 http://172.17.4.1/private bookworm-staging/main armhf libxdmcp6 armhf 1:1.1.2-3 [25.0 kB]
Get:81 http://172.17.4.1/private bookworm-staging/main armhf libxcb1 armhf 1.15-1 [139 kB]
Get:82 http://172.17.4.1/private bookworm-staging/main armhf libx11-data all 2:1.8.1-2 [308 kB]
Get:83 http://172.17.4.1/private bookworm-staging/main armhf libx11-6 armhf 2:1.8.1-2 [704 kB]
Get:84 http://172.17.4.1/private bookworm-staging/main armhf libxcb-render0 armhf 1.15-1 [114 kB]
Get:85 http://172.17.4.1/private bookworm-staging/main armhf libxcb-shm0 armhf 1.15-1 [106 kB]
Get:86 http://172.17.4.1/private bookworm-staging/main armhf libxext6 armhf 2:1.3.4-1 [48.0 kB]
Get:87 http://172.17.4.1/private bookworm-staging/main armhf libxrender1 armhf 1:0.9.10-1.1 [30.0 kB]
Get:88 http://172.17.4.1/private bookworm-staging/main armhf libcairo2 armhf 1.16.0-6 [496 kB]
Get:89 http://172.17.4.1/private bookworm-staging/main armhf libcalendar-ocaml armhf 2.04-3+b3 [77.2 kB]
Get:90 http://172.17.4.1/private bookworm-staging/main armhf libfindlib-ocaml armhf 1.9.3-1 [172 kB]
Get:91 http://172.17.4.1/private bookworm-staging/main armhf ocaml-findlib armhf 1.9.3-1 [433 kB]
Get:92 http://172.17.4.1/private bookworm-staging/main armhf libcalendar-ocaml-dev armhf 2.04-3+b3 [166 kB]
Get:93 http://172.17.4.1/private bookworm-staging/main armhf libcmdliner-ocaml-dev armhf 1.1.1-1 [465 kB]
Get:94 http://172.17.4.1/private bookworm-staging/main armhf libcommons-parent-java all 43-1 [10.8 kB]
Get:95 http://172.17.4.1/private bookworm-staging/main armhf libcommons-logging-java all 1.2-3 [62.4 kB]
Get:96 http://172.17.4.1/private bookworm-staging/main armhf libzarith-ocaml armhf 1.12-1+b1 [51.2 kB]
Get:97 http://172.17.4.1/private bookworm-staging/main armhf libcryptokit-ocaml armhf 1.16.1-1+b3 [278 kB]
Get:98 http://172.17.4.1/private bookworm-staging/main armhf zlib1g-dev armhf 1:1.2.11.dfsg-4.1 [183 kB]
Get:99 http://172.17.4.1/private bookworm-staging/main armhf libgmpxx4ldbl armhf 2:6.2.1+dfsg1-1.1 [338 kB]
Get:100 http://172.17.4.1/private bookworm-staging/main armhf libgmp-dev armhf 2:6.2.1+dfsg1-1.1 [582 kB]
Get:101 http://172.17.4.1/private bookworm-staging/main armhf libgmp3-dev armhf 2:6.2.1+dfsg1-1.1 [331 kB]
Get:102 http://172.17.4.1/private bookworm-staging/main armhf libzarith-ocaml-dev armhf 1.12-1+b1 [90.2 kB]
Get:103 http://172.17.4.1/private bookworm-staging/main armhf libcryptokit-ocaml-dev armhf 1.16.1-1+b3 [522 kB]
Get:104 http://172.17.4.1/private bookworm-staging/main armhf libmmap-ocaml armhf 1.2.0-1 [5840 B]
Get:105 http://172.17.4.1/private bookworm-staging/main armhf libocplib-endian-ocaml armhf 1.2-1+b1 [72.7 kB]
Get:106 http://172.17.4.1/private bookworm-staging/main armhf libreact-ocaml armhf 1.2.2-1 [181 kB]
Get:107 http://172.17.4.1/private bookworm-staging/main armhf libresult-ocaml armhf 1.5-1+b2 [7272 B]
Get:108 http://172.17.4.1/private bookworm-staging/main armhf libev4 armhf 1:4.33-1 [38.2 kB]
Get:109 http://172.17.4.1/private bookworm-staging/main armhf liblwt-ocaml armhf 5.5.0-1+b6 [839 kB]
Get:110 http://172.17.4.1/private bookworm-staging/main armhf libparsexp-ocaml armhf 0.14.2-1+b1 [226 kB]
Get:111 http://172.17.4.1/private bookworm-staging/main armhf libnum-ocaml armhf 1.4-2+b1 [168 kB]
Get:112 http://172.17.4.1/private bookworm-staging/main armhf libsexplib-ocaml armhf 1:0.15.1-1 [270 kB]
Get:113 http://172.17.4.1/private bookworm-staging/main armhf libcstruct-ocaml armhf 6.0.1-1+b6 [222 kB]
Get:114 http://172.17.4.1/private bookworm-staging/main armhf libev-dev armhf 1:4.33-1 [132 kB]
Get:115 http://172.17.4.1/private bookworm-staging/main armhf libmmap-ocaml-dev armhf 1.2.0-1 [8184 B]
Get:116 http://172.17.4.1/private bookworm-staging/main armhf libocaml-compiler-libs-ocaml-dev armhf 0.12.4-1+b1 [77.9 kB]
Get:117 http://172.17.4.1/private bookworm-staging/main armhf libocplib-endian-ocaml-dev armhf 1.2-1+b1 [141 kB]
Get:118 http://172.17.4.1/private bookworm-staging/main armhf libppx-derivers-ocaml-dev armhf 1.2.1-1+b3 [15.8 kB]
Get:119 http://172.17.4.1/private bookworm-staging/main armhf libppxlib-ocaml-dev armhf 0.27.0-2+b1 [13.6 MB]
Get:120 http://172.17.4.1/private bookworm-staging/main armhf libreact-ocaml-dev armhf 1.2.2-1 [129 kB]
Get:121 http://172.17.4.1/private bookworm-staging/main armhf libresult-ocaml-dev armhf 1.5-1+b2 [10.1 kB]
Get:122 http://172.17.4.1/private bookworm-staging/main armhf liblwt-ocaml-dev armhf 5.5.0-1+b6 [4624 kB]
Get:123 http://172.17.4.1/private bookworm-staging/main armhf libparsexp-ocaml-dev armhf 0.14.2-1+b1 [557 kB]
Get:124 http://172.17.4.1/private bookworm-staging/main armhf libnum-ocaml-dev armhf 1.4-2+b1 [110 kB]
Get:125 http://172.17.4.1/private bookworm-staging/main armhf libsexplib-ocaml-dev armhf 1:0.15.1-1 [570 kB]
Get:126 http://172.17.4.1/private bookworm-staging/main armhf libcstruct-ocaml-dev armhf 6.0.1-1+b6 [3172 kB]
Get:127 http://172.17.4.1/private bookworm-staging/main armhf libfontbox-java all 1:1.8.16-2 [211 kB]
Get:128 http://172.17.4.1/private bookworm-staging/main armhf libfontenc1 armhf 1:1.1.4-1 [22.3 kB]
Get:129 http://172.17.4.1/private bookworm-staging/main armhf libglib2.0-0 armhf 2.74.1-2 [1214 kB]
Get:130 http://172.17.4.1/private bookworm-staging/main armhf libgraphite2-3 armhf 1.3.14-1 [70.3 kB]
Get:131 http://172.17.4.1/private bookworm-staging/main armhf libharfbuzz0b armhf 5.2.0-2+b1 [1832 kB]
Get:132 http://172.17.4.1/private bookworm-staging/main armhf libhex-ocaml armhf 1.4.0-1+b7 [23.3 kB]
Get:133 http://172.17.4.1/private bookworm-staging/main armhf libhex-ocaml-dev armhf 1.4.0-1+b7 [46.2 kB]
Get:134 http://172.17.4.1/private bookworm-staging/main armhf x11-common all 1:7.7+23 [252 kB]
Get:135 http://172.17.4.1/private bookworm-staging/main armhf libice6 armhf 2:1.0.10-1 [51.7 kB]
Get:136 http://172.17.4.1/private bookworm-staging/main armhf libkpathsea6 armhf 2022.20220321.62855-4+b1 [142 kB]
Get:137 http://172.17.4.1/private bookworm-staging/main armhf libpaper1 armhf 1.1.28 [20.5 kB]
Get:138 http://172.17.4.1/private bookworm-staging/main armhf libpaper-utils armhf 1.1.28 [17.7 kB]
Get:139 http://172.17.4.1/private bookworm-staging/main armhf libpdfbox-java all 1:1.8.16-2 [5205 kB]
Get:140 http://172.17.4.1/private bookworm-staging/main armhf libptexenc1 armhf 2022.20220321.62855-4+b1 [40.2 kB]
Get:141 http://172.17.4.1/private bookworm-staging/main armhf libsm6 armhf 2:1.2.3-1 [32.9 kB]
Get:142 http://172.17.4.1/private bookworm-staging/main armhf libsynctex2 armhf 2022.20220321.62855-4+b1 [46.4 kB]
Get:143 http://172.17.4.1/private bookworm-staging/main armhf libteckit0 armhf 2.5.11+ds1-1 [256 kB]
Get:144 http://172.17.4.1/private bookworm-staging/main armhf libtexlua53-5 armhf 2022.20220321.62855-4+b1 [80.6 kB]
Get:145 http://172.17.4.1/private bookworm-staging/main armhf libtexluajit2 armhf 2022.20220321.62855-4+b1 [187 kB]
Get:146 http://172.17.4.1/private bookworm-staging/main armhf libuuidm-ocaml-dev armhf 0.9.7-1+b2 [371 kB]
Get:147 http://172.17.4.1/private bookworm-staging/main armhf libxt6 armhf 1:1.2.1-1 [159 kB]
Get:148 http://172.17.4.1/private bookworm-staging/main armhf libxmu6 armhf 2:1.1.3-3 [52.0 kB]
Get:149 http://172.17.4.1/private bookworm-staging/main armhf libxpm4 armhf 1:3.5.12-1 [43.6 kB]
Get:150 http://172.17.4.1/private bookworm-staging/main armhf libxaw7 armhf 2:1.0.14-1 [165 kB]
Get:151 http://172.17.4.1/private bookworm-staging/main armhf libxi6 armhf 2:1.8-1 [78.1 kB]
Get:152 http://172.17.4.1/private bookworm-staging/main armhf libzzip-0-13 armhf 0.13.72+dfsg.1-1.1 [54.3 kB]
Get:153 http://172.17.4.1/private bookworm-staging/main armhf tex-common all 6.18 [32.5 kB]
Get:154 http://172.17.4.1/private bookworm-staging/main armhf xfonts-encodings all 1:1.0.4-2.1 [573 kB]
Get:155 http://172.17.4.1/private bookworm-staging/main armhf xfonts-utils armhf 1:7.7+6 [82.5 kB]
Get:156 http://172.17.4.1/private bookworm-staging/main armhf lmodern all 2.005-1 [9480 kB]
Get:157 http://172.17.4.1/private bookworm-staging/main armhf markdown all 1.0.1-11 [17.6 kB]
Get:158 http://172.17.4.1/private bookworm-staging/main armhf ocaml-dune armhf 2.9.1-1+b2 [2060 kB]
Get:159 http://172.17.4.1/private bookworm-staging/main armhf ocaml-nox all 4.13.1-3+rpi1 [185 kB]
Get:160 http://172.17.4.1/private bookworm-staging/main armhf preview-latex-style all 12.2-1 [201 kB]
Get:161 http://172.17.4.1/private bookworm-staging/main armhf t1utils armhf 1.41-4 [52.3 kB]
Get:162 http://172.17.4.1/private bookworm-staging/main armhf texlive-binaries armhf 2022.20220321.62855-4+b1 [7470 kB]
Get:163 http://172.17.4.1/private bookworm-staging/main armhf xdg-utils all 1.1.3-4.1 [75.5 kB]
Get:164 http://172.17.4.1/private bookworm-staging/main armhf texlive-base all 2022.20220923-2 [21.9 MB]
Get:165 http://172.17.4.1/private bookworm-staging/main armhf texlive-fonts-extra all 2022.20220923-3 [507 MB]
Get:166 http://172.17.4.1/private bookworm-staging/main armhf texlive-fonts-recommended all 2022.20220923-2 [4988 kB]
Get:167 http://172.17.4.1/private bookworm-staging/main armhf texlive-lang-greek all 2022.20220923-1 [78.0 MB]
Get:168 http://172.17.4.1/private bookworm-staging/main armhf texlive-latex-base all 2022.20220923-2 [1171 kB]
Get:169 http://172.17.4.1/private bookworm-staging/main armhf texlive-latex-recommended all 2022.20220923-2 [8818 kB]
Get:170 http://172.17.4.1/private bookworm-staging/main armhf texlive-pictures all 2022.20220923-2 [15.3 MB]
Get:171 http://172.17.4.1/private bookworm-staging/main armhf texlive-latex-extra all 2022.20220923-3 [14.8 MB]
Get:172 http://172.17.4.1/private bookworm-staging/main armhf texlive-science all 2022.20220923-3 [3701 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 867 MB in 2min 55s (4964 kB/s)
Selecting previously unselected package libpython3.10-minimal:armhf.
(Reading database ... 14774 files and directories currently installed.)
Preparing to unpack .../libpython3.10-minimal_3.10.8-3_armhf.deb ...
Unpacking libpython3.10-minimal:armhf (3.10.8-3) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../libexpat1_2.5.0-1_armhf.deb ...
Unpacking libexpat1:armhf (2.5.0-1) ...
Selecting previously unselected package python3.10-minimal.
Preparing to unpack .../python3.10-minimal_3.10.8-3_armhf.deb ...
Unpacking python3.10-minimal (3.10.8-3) ...
Setting up libpython3.10-minimal:armhf (3.10.8-3) ...
Setting up libexpat1:armhf (2.5.0-1) ...
Setting up python3.10-minimal (3.10.8-3) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 15079 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.10.6-1_armhf.deb ...
Unpacking python3-minimal (3.10.6-1) ...
Selecting previously unselected package media-types.
Preparing to unpack .../1-media-types_8.0.0_all.deb ...
Unpacking media-types (8.0.0) ...
Selecting previously unselected package libmpdec3:armhf.
Preparing to unpack .../2-libmpdec3_2.5.1-2+rpi1_armhf.deb ...
Unpacking libmpdec3:armhf (2.5.1-2+rpi1) ...
Selecting previously unselected package libpython3.10-stdlib:armhf.
Preparing to unpack .../3-libpython3.10-stdlib_3.10.8-3_armhf.deb ...
Unpacking libpython3.10-stdlib:armhf (3.10.8-3) ...
Selecting previously unselected package python3.10.
Preparing to unpack .../4-python3.10_3.10.8-3_armhf.deb ...
Unpacking python3.10 (3.10.8-3) ...
Selecting previously unselected package libpython3-stdlib:armhf.
Preparing to unpack .../5-libpython3-stdlib_3.10.6-1_armhf.deb ...
Unpacking libpython3-stdlib:armhf (3.10.6-1) ...
Setting up python3-minimal (3.10.6-1) ...
Selecting previously unselected package python3.
(Reading database ... 15481 files and directories currently installed.)
Preparing to unpack .../000-python3_3.10.6-1_armhf.deb ...
Unpacking python3 (3.10.6-1) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../001-libuchardet0_0.0.7-1_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../002-groff-base_1.22.4-8_armhf.deb ...
Unpacking groff-base (1.22.4-8) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../003-bsdextrautils_2.38.1-1.1_armhf.deb ...
Unpacking bsdextrautils (2.38.1-1.1) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../004-libpipeline1_1.5.7-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.7-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../005-man-db_2.11.1-1_armhf.deb ...
Unpacking man-db (2.11.1-1) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../006-libmagic-mgc_1%3a5.41-4_armhf.deb ...
Unpacking libmagic-mgc (1:5.41-4) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../007-libmagic1_1%3a5.41-4_armhf.deb ...
Unpacking libmagic1:armhf (1:5.41-4) ...
Selecting previously unselected package file.
Preparing to unpack .../008-file_1%3a5.41-4_armhf.deb ...
Unpacking file (1:5.41-4) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../009-gettext-base_0.21-9_armhf.deb ...
Unpacking gettext-base (0.21-9) ...
Selecting previously unselected package ucf.
Preparing to unpack .../010-ucf_3.0043_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0043) ...
Selecting previously unselected package m4.
Preparing to unpack .../011-m4_1.4.19-1_armhf.deb ...
Unpacking m4 (1.4.19-1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../012-autoconf_2.71-2_all.deb ...
Unpacking autoconf (2.71-2) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../013-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../014-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 .../015-autopoint_0.21-9_all.deb ...
Unpacking autopoint (0.21-9) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../016-libdebhelper-perl_13.10.1_all.deb ...
Unpacking libdebhelper-perl (13.10.1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../017-libtool_2.4.7-4_all.deb ...
Unpacking libtool (2.4.7-4) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../018-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../019-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 .../020-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 .../021-libfile-stripnondeterminism-perl_1.13.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.13.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../022-dh-strip-nondeterminism_1.13.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.13.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../023-libelf1_0.187-2+rpi2_armhf.deb ...
Unpacking libelf1:armhf (0.187-2+rpi2) ...
Selecting previously unselected package dwz.
Preparing to unpack .../024-dwz_0.14+20220924-2_armhf.deb ...
Unpacking dwz (0.14+20220924-2) ...
Selecting previously unselected package libicu72:armhf.
Preparing to unpack .../025-libicu72_72.1-2_armhf.deb ...
Unpacking libicu72:armhf (72.1-2) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../026-libxml2_2.9.14+dfsg-1.1_armhf.deb ...
Unpacking libxml2:armhf (2.9.14+dfsg-1.1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../027-gettext_0.21-9_armhf.deb ...
Unpacking gettext (0.21-9) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../028-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 .../029-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../030-debhelper_13.10.1_all.deb ...
Unpacking debhelper (13.10.1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../031-dh-ocaml_1.1.3_all.deb ...
Unpacking dh-ocaml (1.1.3) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../032-fonts-dejavu-core_2.37-2_all.deb ...
Unpacking fonts-dejavu-core (2.37-2) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../033-fontconfig-config_2.13.1-4.5_armhf.deb ...
Unpacking fontconfig-config (2.13.1-4.5) ...
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 libapache-pom-java.
Preparing to unpack .../037-libapache-pom-java_25-2_all.deb ...
Unpacking libapache-pom-java (25-2) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../038-ocaml-base_4.13.1-3+rpi1_armhf.deb ...
Unpacking ocaml-base (4.13.1-3+rpi1) ...
Selecting previously unselected package libeasy-format-ocaml.
Preparing to unpack .../039-libeasy-format-ocaml_1.3.2-1+b2_armhf.deb ...
Unpacking libeasy-format-ocaml (1.3.2-1+b2) ...
Selecting previously unselected package libbiniou-ocaml.
Preparing to unpack .../040-libbiniou-ocaml_1.2.1-1+b3_armhf.deb ...
Unpacking libbiniou-ocaml (1.2.1-1+b3) ...
Selecting previously unselected package libyojson-ocaml.
Preparing to unpack .../041-libyojson-ocaml_2.0.2-2_armhf.deb ...
Unpacking libyojson-ocaml (2.0.2-2) ...
Selecting previously unselected package libatdgen-ocaml.
Preparing to unpack .../042-libatdgen-ocaml_2.10.0-2_armhf.deb ...
Unpacking libatdgen-ocaml (2.10.0-2) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../043-ocaml-compiler-libs_4.13.1-3+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.13.1-3+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../044-ocaml-interp_4.13.1-3+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.13.1-3+rpi1) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../045-libncurses6_6.3+20220423-2_armhf.deb ...
Unpacking libncurses6:armhf (6.3+20220423-2) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../046-libncurses-dev_6.3+20220423-2_armhf.deb ...
Unpacking libncurses-dev:armhf (6.3+20220423-2) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../047-libncurses5-dev_6.3+20220423-2_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.3+20220423-2) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../048-ocaml_4.13.1-3+rpi1_armhf.deb ...
Unpacking ocaml (4.13.1-3+rpi1) ...
Selecting previously unselected package libeasy-format-ocaml-dev.
Preparing to unpack .../049-libeasy-format-ocaml-dev_1.3.2-1+b2_armhf.deb ...
Unpacking libeasy-format-ocaml-dev (1.3.2-1+b2) ...
Selecting previously unselected package libbiniou-ocaml-dev.
Preparing to unpack .../050-libbiniou-ocaml-dev_1.2.1-1+b3_armhf.deb ...
Unpacking libbiniou-ocaml-dev (1.2.1-1+b3) ...
Selecting previously unselected package libyojson-ocaml-dev.
Preparing to unpack .../051-libyojson-ocaml-dev_2.0.2-2_armhf.deb ...
Unpacking libyojson-ocaml-dev (2.0.2-2) ...
Selecting previously unselected package libatdgen-ocaml-dev.
Preparing to unpack .../052-libatdgen-ocaml-dev_2.10.0-2_armhf.deb ...
Unpacking libatdgen-ocaml-dev (2.10.0-2) ...
Selecting previously unselected package libsexplib0-ocaml.
Preparing to unpack .../053-libsexplib0-ocaml_0.15.1-1_armhf.deb ...
Unpacking libsexplib0-ocaml (0.15.1-1) ...
Selecting previously unselected package libbase-ocaml.
Preparing to unpack .../054-libbase-ocaml_0.15.1-1_armhf.deb ...
Unpacking libbase-ocaml (0.15.1-1) ...
Selecting previously unselected package libsexplib0-ocaml-dev.
Preparing to unpack .../055-libsexplib0-ocaml-dev_0.15.1-1_armhf.deb ...
Unpacking libsexplib0-ocaml-dev (0.15.1-1) ...
Selecting previously unselected package libbase-ocaml-dev.
Preparing to unpack .../056-libbase-ocaml-dev_0.15.1-1_armhf.deb ...
Unpacking libbase-ocaml-dev (0.15.1-1) ...
Selecting previously unselected package libbase64-ocaml.
Preparing to unpack .../057-libbase64-ocaml_3.5.0-1+b1_armhf.deb ...
Unpacking libbase64-ocaml (3.5.0-1+b1) ...
Selecting previously unselected package libbase64-ocaml-dev.
Preparing to unpack .../058-libbase64-ocaml-dev_3.5.0-1+b1_armhf.deb ...
Unpacking libbase64-ocaml-dev (3.5.0-1+b1) ...
Selecting previously unselected package libbigarray-compat-ocaml.
Preparing to unpack .../059-libbigarray-compat-ocaml_1.1.0-1_armhf.deb ...
Unpacking libbigarray-compat-ocaml (1.1.0-1) ...
Selecting previously unselected package libbigarray-compat-ocaml-dev.
Preparing to unpack .../060-libbigarray-compat-ocaml-dev_1.1.0-1_armhf.deb ...
Unpacking libbigarray-compat-ocaml-dev (1.1.0-1) ...
Selecting previously unselected package libbrotli1:armhf.
Preparing to unpack .../061-libbrotli1_1.0.9-2+b2_armhf.deb ...
Unpacking libbrotli1:armhf (1.0.9-2+b2) ...
Selecting previously unselected package libmd0:armhf.
Preparing to unpack .../062-libmd0_1.0.4-2_armhf.deb ...
Unpacking libmd0:armhf (1.0.4-2) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../063-libbsd0_0.11.7-1_armhf.deb ...
Unpacking libbsd0:armhf (0.11.7-1) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../064-libpng16-16_1.6.38-2_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.38-2) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../065-libfreetype6_2.12.1+dfsg-3_armhf.deb ...
Unpacking libfreetype6:armhf (2.12.1+dfsg-3) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../066-libfontconfig1_2.13.1-4.5_armhf.deb ...
Unpacking libfontconfig1:armhf (2.13.1-4.5) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../067-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 .../068-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 .../069-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 .../070-libxcb1_1.15-1_armhf.deb ...
Unpacking libxcb1:armhf (1.15-1) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../071-libx11-data_2%3a1.8.1-2_all.deb ...
Unpacking libx11-data (2:1.8.1-2) ...
Selecting previously unselected package libx11-6:armhf.
Preparing to unpack .../072-libx11-6_2%3a1.8.1-2_armhf.deb ...
Unpacking libx11-6:armhf (2:1.8.1-2) ...
Selecting previously unselected package libxcb-render0:armhf.
Preparing to unpack .../073-libxcb-render0_1.15-1_armhf.deb ...
Unpacking libxcb-render0:armhf (1.15-1) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../074-libxcb-shm0_1.15-1_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.15-1) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../075-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 .../076-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 .../077-libcairo2_1.16.0-6_armhf.deb ...
Unpacking libcairo2:armhf (1.16.0-6) ...
Selecting previously unselected package libcalendar-ocaml.
Preparing to unpack .../078-libcalendar-ocaml_2.04-3+b3_armhf.deb ...
Unpacking libcalendar-ocaml (2.04-3+b3) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../079-libfindlib-ocaml_1.9.3-1_armhf.deb ...
Unpacking libfindlib-ocaml (1.9.3-1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../080-ocaml-findlib_1.9.3-1_armhf.deb ...
Unpacking ocaml-findlib (1.9.3-1) ...
Selecting previously unselected package libcalendar-ocaml-dev.
Preparing to unpack .../081-libcalendar-ocaml-dev_2.04-3+b3_armhf.deb ...
Unpacking libcalendar-ocaml-dev (2.04-3+b3) ...
Selecting previously unselected package libcmdliner-ocaml-dev.
Preparing to unpack .../082-libcmdliner-ocaml-dev_1.1.1-1_armhf.deb ...
Unpacking libcmdliner-ocaml-dev (1.1.1-1) ...
Selecting previously unselected package libcommons-parent-java.
Preparing to unpack .../083-libcommons-parent-java_43-1_all.deb ...
Unpacking libcommons-parent-java (43-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.12-1+b1_armhf.deb ...
Unpacking libzarith-ocaml (1.12-1+b1) ...
Selecting previously unselected package libcryptokit-ocaml.
Preparing to unpack .../086-libcryptokit-ocaml_1.16.1-1+b3_armhf.deb ...
Unpacking libcryptokit-ocaml (1.16.1-1+b3) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../087-zlib1g-dev_1%3a1.2.11.dfsg-4.1_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.11.dfsg-4.1) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../088-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../089-libgmp-dev_2%3a6.2.1+dfsg1-1.1_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libgmp3-dev:armhf.
Preparing to unpack .../090-libgmp3-dev_2%3a6.2.1+dfsg1-1.1_armhf.deb ...
Unpacking libgmp3-dev:armhf (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../091-libzarith-ocaml-dev_1.12-1+b1_armhf.deb ...
Unpacking libzarith-ocaml-dev (1.12-1+b1) ...
Selecting previously unselected package libcryptokit-ocaml-dev.
Preparing to unpack .../092-libcryptokit-ocaml-dev_1.16.1-1+b3_armhf.deb ...
Unpacking libcryptokit-ocaml-dev (1.16.1-1+b3) ...
Selecting previously unselected package libmmap-ocaml.
Preparing to unpack .../093-libmmap-ocaml_1.2.0-1_armhf.deb ...
Unpacking libmmap-ocaml (1.2.0-1) ...
Selecting previously unselected package libocplib-endian-ocaml.
Preparing to unpack .../094-libocplib-endian-ocaml_1.2-1+b1_armhf.deb ...
Unpacking libocplib-endian-ocaml (1.2-1+b1) ...
Selecting previously unselected package libreact-ocaml.
Preparing to unpack .../095-libreact-ocaml_1.2.2-1_armhf.deb ...
Unpacking libreact-ocaml (1.2.2-1) ...
Selecting previously unselected package libresult-ocaml.
Preparing to unpack .../096-libresult-ocaml_1.5-1+b2_armhf.deb ...
Unpacking libresult-ocaml (1.5-1+b2) ...
Selecting previously unselected package libev4:armhf.
Preparing to unpack .../097-libev4_1%3a4.33-1_armhf.deb ...
Unpacking libev4:armhf (1:4.33-1) ...
Selecting previously unselected package liblwt-ocaml.
Preparing to unpack .../098-liblwt-ocaml_5.5.0-1+b6_armhf.deb ...
Unpacking liblwt-ocaml (5.5.0-1+b6) ...
Selecting previously unselected package libparsexp-ocaml.
Preparing to unpack .../099-libparsexp-ocaml_0.14.2-1+b1_armhf.deb ...
Unpacking libparsexp-ocaml (0.14.2-1+b1) ...
Selecting previously unselected package libnum-ocaml.
Preparing to unpack .../100-libnum-ocaml_1.4-2+b1_armhf.deb ...
Unpacking libnum-ocaml (1.4-2+b1) ...
Selecting previously unselected package libsexplib-ocaml.
Preparing to unpack .../101-libsexplib-ocaml_1%3a0.15.1-1_armhf.deb ...
Unpacking libsexplib-ocaml (1:0.15.1-1) ...
Selecting previously unselected package libcstruct-ocaml.
Preparing to unpack .../102-libcstruct-ocaml_6.0.1-1+b6_armhf.deb ...
Unpacking libcstruct-ocaml (6.0.1-1+b6) ...
Selecting previously unselected package libev-dev:armhf.
Preparing to unpack .../103-libev-dev_1%3a4.33-1_armhf.deb ...
Unpacking libev-dev:armhf (1:4.33-1) ...
Selecting previously unselected package libmmap-ocaml-dev.
Preparing to unpack .../104-libmmap-ocaml-dev_1.2.0-1_armhf.deb ...
Unpacking libmmap-ocaml-dev (1.2.0-1) ...
Selecting previously unselected package libocaml-compiler-libs-ocaml-dev.
Preparing to unpack .../105-libocaml-compiler-libs-ocaml-dev_0.12.4-1+b1_armhf.deb ...
Unpacking libocaml-compiler-libs-ocaml-dev (0.12.4-1+b1) ...
Selecting previously unselected package libocplib-endian-ocaml-dev.
Preparing to unpack .../106-libocplib-endian-ocaml-dev_1.2-1+b1_armhf.deb ...
Unpacking libocplib-endian-ocaml-dev (1.2-1+b1) ...
Selecting previously unselected package libppx-derivers-ocaml-dev.
Preparing to unpack .../107-libppx-derivers-ocaml-dev_1.2.1-1+b3_armhf.deb ...
Unpacking libppx-derivers-ocaml-dev (1.2.1-1+b3) ...
Selecting previously unselected package libppxlib-ocaml-dev.
Preparing to unpack .../108-libppxlib-ocaml-dev_0.27.0-2+b1_armhf.deb ...
Unpacking libppxlib-ocaml-dev (0.27.0-2+b1) ...
Selecting previously unselected package libreact-ocaml-dev.
Preparing to unpack .../109-libreact-ocaml-dev_1.2.2-1_armhf.deb ...
Unpacking libreact-ocaml-dev (1.2.2-1) ...
Selecting previously unselected package libresult-ocaml-dev.
Preparing to unpack .../110-libresult-ocaml-dev_1.5-1+b2_armhf.deb ...
Unpacking libresult-ocaml-dev (1.5-1+b2) ...
Selecting previously unselected package liblwt-ocaml-dev.
Preparing to unpack .../111-liblwt-ocaml-dev_5.5.0-1+b6_armhf.deb ...
Unpacking liblwt-ocaml-dev (5.5.0-1+b6) ...
Selecting previously unselected package libparsexp-ocaml-dev.
Preparing to unpack .../112-libparsexp-ocaml-dev_0.14.2-1+b1_armhf.deb ...
Unpacking libparsexp-ocaml-dev (0.14.2-1+b1) ...
Selecting previously unselected package libnum-ocaml-dev.
Preparing to unpack .../113-libnum-ocaml-dev_1.4-2+b1_armhf.deb ...
Unpacking libnum-ocaml-dev (1.4-2+b1) ...
Selecting previously unselected package libsexplib-ocaml-dev.
Preparing to unpack .../114-libsexplib-ocaml-dev_1%3a0.15.1-1_armhf.deb ...
Unpacking libsexplib-ocaml-dev (1:0.15.1-1) ...
Selecting previously unselected package libcstruct-ocaml-dev.
Preparing to unpack .../115-libcstruct-ocaml-dev_6.0.1-1+b6_armhf.deb ...
Unpacking libcstruct-ocaml-dev (6.0.1-1+b6) ...
Selecting previously unselected package libfontbox-java.
Preparing to unpack .../116-libfontbox-java_1%3a1.8.16-2_all.deb ...
Unpacking libfontbox-java (1:1.8.16-2) ...
Selecting previously unselected package libfontenc1:armhf.
Preparing to unpack .../117-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 .../118-libglib2.0-0_2.74.1-2_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.74.1-2) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../119-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 .../120-libharfbuzz0b_5.2.0-2+b1_armhf.deb ...
Unpacking libharfbuzz0b:armhf (5.2.0-2+b1) ...
Selecting previously unselected package libhex-ocaml.
Preparing to unpack .../121-libhex-ocaml_1.4.0-1+b7_armhf.deb ...
Unpacking libhex-ocaml (1.4.0-1+b7) ...
Selecting previously unselected package libhex-ocaml-dev.
Preparing to unpack .../122-libhex-ocaml-dev_1.4.0-1+b7_armhf.deb ...
Unpacking libhex-ocaml-dev (1.4.0-1+b7) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../123-x11-common_1%3a7.7+23_all.deb ...
Unpacking x11-common (1:7.7+23) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../124-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 .../125-libkpathsea6_2022.20220321.62855-4+b1_armhf.deb ...
Unpacking libkpathsea6:armhf (2022.20220321.62855-4+b1) ...
Selecting previously unselected package libpaper1:armhf.
Preparing to unpack .../126-libpaper1_1.1.28_armhf.deb ...
Unpacking libpaper1:armhf (1.1.28) ...
Selecting previously unselected package libpaper-utils.
Preparing to unpack .../127-libpaper-utils_1.1.28_armhf.deb ...
Unpacking libpaper-utils (1.1.28) ...
Selecting previously unselected package libpdfbox-java.
Preparing to unpack .../128-libpdfbox-java_1%3a1.8.16-2_all.deb ...
Unpacking libpdfbox-java (1:1.8.16-2) ...
Selecting previously unselected package libptexenc1:armhf.
Preparing to unpack .../129-libptexenc1_2022.20220321.62855-4+b1_armhf.deb ...
Unpacking libptexenc1:armhf (2022.20220321.62855-4+b1) ...
Selecting previously unselected package libsm6:armhf.
Preparing to unpack .../130-libsm6_2%3a1.2.3-1_armhf.deb ...
Unpacking libsm6:armhf (2:1.2.3-1) ...
Selecting previously unselected package libsynctex2:armhf.
Preparing to unpack .../131-libsynctex2_2022.20220321.62855-4+b1_armhf.deb ...
Unpacking libsynctex2:armhf (2022.20220321.62855-4+b1) ...
Selecting previously unselected package libteckit0:armhf.
Preparing to unpack .../132-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 .../133-libtexlua53-5_2022.20220321.62855-4+b1_armhf.deb ...
Unpacking libtexlua53-5:armhf (2022.20220321.62855-4+b1) ...
Selecting previously unselected package libtexluajit2:armhf.
Preparing to unpack .../134-libtexluajit2_2022.20220321.62855-4+b1_armhf.deb ...
Unpacking libtexluajit2:armhf (2022.20220321.62855-4+b1) ...
Selecting previously unselected package libuuidm-ocaml-dev.
Preparing to unpack .../135-libuuidm-ocaml-dev_0.9.7-1+b2_armhf.deb ...
Unpacking libuuidm-ocaml-dev (0.9.7-1+b2) ...
Selecting previously unselected package libxt6:armhf.
Preparing to unpack .../136-libxt6_1%3a1.2.1-1_armhf.deb ...
Unpacking libxt6:armhf (1:1.2.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.12-1_armhf.deb ...
Unpacking libxpm4:armhf (1:3.5.12-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.1_all.deb ...
Unpacking xfonts-encodings (1:1.0.4-2.1) ...
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-11_all.deb ...
Unpacking markdown (1.0.1-11) ...
Selecting previously unselected package ocaml-dune.
Preparing to unpack .../147-ocaml-dune_2.9.1-1+b2_armhf.deb ...
Unpacking ocaml-dune (2.9.1-1+b2) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../148-ocaml-nox_4.13.1-3+rpi1_all.deb ...
Unpacking ocaml-nox (4.13.1-3+rpi1) ...
Selecting previously unselected package preview-latex-style.
Preparing to unpack .../149-preview-latex-style_12.2-1_all.deb ...
Unpacking preview-latex-style (12.2-1) ...
Selecting previously unselected package t1utils.
Preparing to unpack .../150-t1utils_1.41-4_armhf.deb ...
Unpacking t1utils (1.41-4) ...
Selecting previously unselected package texlive-binaries.
Preparing to unpack .../151-texlive-binaries_2022.20220321.62855-4+b1_armhf.deb ...
Unpacking texlive-binaries (2022.20220321.62855-4+b1) ...
Selecting previously unselected package xdg-utils.
Preparing to unpack .../152-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 .../153-texlive-base_2022.20220923-2_all.deb ...
Unpacking texlive-base (2022.20220923-2) ...
Selecting previously unselected package texlive-fonts-extra.
Preparing to unpack .../154-texlive-fonts-extra_2022.20220923-3_all.deb ...
Unpacking texlive-fonts-extra (2022.20220923-3) ...
Selecting previously unselected package texlive-fonts-recommended.
Preparing to unpack .../155-texlive-fonts-recommended_2022.20220923-2_all.deb ...
Unpacking texlive-fonts-recommended (2022.20220923-2) ...
Selecting previously unselected package texlive-lang-greek.
Preparing to unpack .../156-texlive-lang-greek_2022.20220923-1_all.deb ...
Unpacking texlive-lang-greek (2022.20220923-1) ...
Selecting previously unselected package texlive-latex-base.
Preparing to unpack .../157-texlive-latex-base_2022.20220923-2_all.deb ...
Unpacking texlive-latex-base (2022.20220923-2) ...
Selecting previously unselected package texlive-latex-recommended.
Preparing to unpack .../158-texlive-latex-recommended_2022.20220923-2_all.deb ...
Unpacking texlive-latex-recommended (2022.20220923-2) ...
Selecting previously unselected package texlive-pictures.
Preparing to unpack .../159-texlive-pictures_2022.20220923-2_all.deb ...
Unpacking texlive-pictures (2022.20220923-2) ...
Selecting previously unselected package texlive-latex-extra.
Preparing to unpack .../160-texlive-latex-extra_2022.20220923-3_all.deb ...
Unpacking texlive-latex-extra (2022.20220923-3) ...
Selecting previously unselected package texlive-science.
Preparing to unpack .../161-texlive-science_2022.20220923-3_all.deb ...
Unpacking texlive-science (2022.20220923-3) ...
Selecting previously unselected package sbuild-build-depends-belenios-dummy.
Preparing to unpack .../162-sbuild-build-depends-belenios-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-belenios-dummy (0.invalid.0) ...
Setting up media-types (8.0.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 libicu72:armhf (72.1-2) ...
Setting up bsdextrautils (2.38.1-1.1) ...
Setting up fonts-gfs-porson (1.1-7) ...
Setting up libmagic-mgc (1:5.41-4) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libglib2.0-0:armhf (2.74.1-2) ...
No schema files found: doing nothing.
Setting up libev4:armhf (1:4.33-1) ...
Setting up libtexluajit2:armhf (2022.20220321.62855-4+b1) ...
Setting up libdebhelper-perl (13.10.1) ...
Setting up libbrotli1:armhf (1.0.9-2+b2) ...
Setting up libfontbox-java (1:1.8.16-2) ...
Setting up x11-common (1:7.7+23) ...
invoke-rc.d: could not determine current runlevel
invoke-rc.d: WARNING: No init system and policy-rc.d missing! Defaulting to block.
Setting up dh-ocaml (1.1.3) ...
Setting up libmagic1:armhf (1:5.41-4) ...
Setting up gettext-base (0.21-9) ...
Setting up m4 (1.4.19-1) ...
Setting up libzzip-0-13:armhf (0.13.72+dfsg.1-1.1) ...
Setting up file (1:5.41-4) ...
Setting up ocaml-dune (2.9.1-1+b2) ...
Setting up libfontenc1:armhf (1:1.1.4-1) ...
Setting up autotools-dev (20220109.1) ...
Setting up libgmpxx4ldbl:armhf (2:6.2.1+dfsg1-1.1) ...
Setting up libx11-data (2:1.8.1-2) ...
Setting up libteckit0:armhf (2.5.11+ds1-1) ...
Setting up libapache-pom-java (25-2) ...
Setting up libncurses6:armhf (6.3+20220423-2) ...
Setting up xfonts-encodings (1:1.0.4-2.1) ...
Setting up t1utils (1.41-4) ...
Setting up libtexlua53-5:armhf (2022.20220321.62855-4+b1) ...
Setting up libpng16-16:armhf (1.6.38-2) ...
Setting up autopoint (0.21-9) ...
Setting up ocaml-base (4.13.1-3+rpi1) ...
Setting up fonts-dejavu-core (2.37-2) ...
Setting up ucf (3.0043) ...
Setting up libkpathsea6:armhf (2022.20220321.62855-4+b1) ...
Setting up autoconf (2.71-2) ...
Setting up zlib1g-dev:armhf (1:1.2.11.dfsg-4.1) ...
Setting up libnum-ocaml (1.4-2+b1) ...
Setting up libsexplib0-ocaml (0.15.1-1) ...
Setting up libmd0:armhf (1.0.4-2) ...
Setting up fonts-gfs-baskerville (1.1-6) ...
Setting up libcalendar-ocaml (2.04-3+b3) ...
Setting up libuchardet0:armhf (0.0.7-1) ...
Setting up libmpdec3:armhf (2.5.1-2+rpi1) ...
Setting up fonts-lmodern (2.005-1) ...
Setting up libsub-override-perl (0.09-4) ...
Setting up libbase64-ocaml (3.5.0-1+b1) ...
Setting up libreact-ocaml (1.2.2-1) ...
Setting up libev-dev:armhf (1:4.33-1) ...
Setting up libbsd0:armhf (0.11.7-1) ...
Setting up libresult-ocaml (1.5-1+b2) ...
Setting up libelf1:armhf (0.187-2+rpi2) ...
Setting up libxml2:armhf (2.9.14+dfsg-1.1) ...
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 markdown (1.0.1-11) ...
Setting up libsynctex2:armhf (2022.20220321.62855-4+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.0-1) ...
Setting up libeasy-format-ocaml (1.3.2-1+b2) ...
Setting up libpaper1:armhf (1.1.28) ...
Creating config file /etc/papersize with new version
Setting up libice6:armhf (2:1.0.10-1) ...
Setting up libxdmcp6:armhf (1:1.1.2-3) ...
Setting up libncurses-dev:armhf (6.3+20220423-2) ...
Setting up libxcb1:armhf (1.15-1) ...
Setting up gettext (0.21-9) ...
Setting up libgmp-dev:armhf (2:6.2.1+dfsg1-1.1) ...
Setting up libpdfbox-java (1:1.8.16-2) ...
Setting up libtool (2.4.7-4) ...
Setting up libyojson-ocaml (2.0.2-2) ...
Setting up libxcb-render0:armhf (1.15-1) ...
Setting up fontconfig-config (2.13.1-4.5) ...
Setting up libcommons-parent-java (43-1) ...
Setting up libbigarray-compat-ocaml (1.1.0-1) ...
Setting up libfindlib-ocaml (1.9.3-1) ...
Setting up libcommons-logging-java (1.2-3) ...
Setting up libxcb-shm0:armhf (1.15-1) ...
Setting up libpaper-utils (1.1.28) ...
Setting up libzarith-ocaml (1.12-1+b1) ...
Setting up libbiniou-ocaml (1.2.1-1+b3) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up libocplib-endian-ocaml (1.2-1+b1) ...
Setting up libpython3.10-stdlib:armhf (3.10.8-3) ...
Setting up dh-autoreconf (20) ...
Setting up tex-common (6.18) ...
update-language: texlive-base not installed and configured, doing nothing!
Setting up libptexenc1:armhf (2022.20220321.62855-4+b1) ...
Setting up libfreetype6:armhf (2.12.1+dfsg-3) ...
Setting up libbase-ocaml (0.15.1-1) ...
Setting up ocaml-findlib (1.9.3-1) ...
Setting up libmmap-ocaml (1.2.0-1) ...
Setting up libcryptokit-ocaml (1.16.1-1+b3) ...
Setting up libatdgen-ocaml (2.10.0-2) ...
Setting up dh-strip-nondeterminism (1.13.0-1) ...
Setting up dwz (0.14+20220924-2) ...
Setting up groff-base (1.22.4-8) ...
Setting up libgmp3-dev:armhf (2:6.2.1+dfsg1-1.1) ...
Setting up libncurses5-dev:armhf (6.3+20220423-2) ...
Setting up libx11-6:armhf (2:1.8.1-2) ...
Setting up libharfbuzz0b:armhf (5.2.0-2+b1) ...
Setting up libsm6:armhf (2:1.2.3-1) ...
Setting up libpython3-stdlib:armhf (3.10.6-1) ...
Setting up libparsexp-ocaml (0.14.2-1+b1) ...
Setting up libsexplib-ocaml (1:0.15.1-1) ...
Setting up python3.10 (3.10.8-3) ...
Setting up libxpm4:armhf (1:3.5.12-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.5.0-1+b6) ...
Setting up libxext6:armhf (2:1.3.4-1) ...
Setting up python3 (3.10.6-1) ...
Setting up xfonts-utils (1:7.7+6) ...
Setting up man-db (2.11.1-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libcstruct-ocaml (6.0.1-1+b6) ...
Setting up libxt6:armhf (1:1.2.1-1) ...
Setting up lmodern (2.005-1) ...
Setting up libxmu6:armhf (2:1.1.3-3) ...
Setting up libhex-ocaml (1.4.0-1+b7) ...
Setting up libxi6:armhf (2:1.8-1) ...
Setting up debhelper (13.10.1) ...
Setting up libxaw7:armhf (2:1.0.14-1) ...
Setting up ocaml-compiler-libs (4.13.1-3+rpi1) ...
Setting up ocaml-interp (4.13.1-3+rpi1) ...
Setting up ocaml (4.13.1-3+rpi1) ...
Setting up libcalendar-ocaml-dev (2.04-3+b3) ...
Setting up libbigarray-compat-ocaml-dev (1.1.0-1) ...
Setting up libreact-ocaml-dev (1.2.2-1) ...
Setting up libocaml-compiler-libs-ocaml-dev (0.12.4-1+b1) ...
Setting up libbase64-ocaml-dev (3.5.0-1+b1) ...
Setting up libyojson-ocaml-dev (2.0.2-2) ...
Setting up ocaml-nox (4.13.1-3+rpi1) ...
Setting up libsexplib0-ocaml-dev (0.15.1-1) ...
Setting up libresult-ocaml-dev (1.5-1+b2) ...
Setting up libzarith-ocaml-dev (1.12-1+b1) ...
Setting up libcryptokit-ocaml-dev (1.16.1-1+b3) ...
Setting up libcmdliner-ocaml-dev (1.1.1-1) ...
Setting up libocplib-endian-ocaml-dev (1.2-1+b1) ...
Setting up libeasy-format-ocaml-dev (1.3.2-1+b2) ...
Setting up libmmap-ocaml-dev (1.2.0-1) ...
Setting up libppx-derivers-ocaml-dev (1.2.1-1+b3) ...
Setting up libnum-ocaml-dev (1.4-2+b1) ...
Setting up libuuidm-ocaml-dev (0.9.7-1+b2) ...
Setting up libppxlib-ocaml-dev (0.27.0-2+b1) ...
Setting up libbase-ocaml-dev (0.15.1-1) ...
Setting up libbiniou-ocaml-dev (1.2.1-1+b3) ...
Setting up libatdgen-ocaml-dev (2.10.0-2) ...
Setting up libparsexp-ocaml-dev (0.14.2-1+b1) ...
Setting up liblwt-ocaml-dev (5.5.0-1+b6) ...
Setting up libsexplib-ocaml-dev (1:0.15.1-1) ...
Setting up libcstruct-ocaml-dev (6.0.1-1+b6) ...
Setting up libhex-ocaml-dev (1.4.0-1+b7) ...
Processing triggers for libc-bin (2.35-2+rpi1) ...
Processing triggers for sgml-base (1.31) ...
Setting up libfontconfig1:armhf (2.13.1-4.5) ...
Setting up libcairo2:armhf (1.16.0-6) ...
Setting up texlive-binaries (2022.20220321.62855-4+b1) ...
update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode
update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode
Setting up texlive-base (2022.20220923-2) ...
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 (2022.20220923-1) ...
Setting up texlive-latex-base (2022.20220923-2) ...
Setting up texlive-fonts-extra (2022.20220923-3) ...
Setting up texlive-latex-recommended (2022.20220923-2) ...
Setting up texlive-pictures (2022.20220923-2) ...
Setting up texlive-fonts-recommended (2022.20220923-2) ...
Setting up texlive-science (2022.20220923-3) ...
Setting up texlive-latex-extra (2022.20220923-3) ...
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.35-2+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.9.0-0.bpo.6-armmp armhf (armv7l)
Toolchain package versions: binutils_2.39-6+rpi1 dpkg-dev_1.21.9+rpi1 g++-12_12.2.0-3+rpi1 gcc-12_12.2.0-3+rpi1 libc6-dev_2.35-2+rpi1 libstdc++-12-dev_12.2.0-3+rpi1 libstdc++6_12.2.0-3+rpi1 linux-libc-dev_5.19.6-1+rpi1
Package versions: adduser_3.129 apt_2.5.3 autoconf_2.71-2 automake_1:1.16.5-1.3 autopoint_0.21-9 autotools-dev_20220109.1 base-files_12.3+rpi1 base-passwd_3.6.1 bash_5.2~rc2-2 binutils_2.39-6+rpi1 binutils-arm-linux-gnueabihf_2.39-6+rpi1 binutils-common_2.39-6+rpi1 bsdextrautils_2.38.1-1.1 bsdutils_1:2.38.1-1.1 build-essential_12.9 bzip2_1.0.8-5+b2 coreutils_9.1-1 cpp_4:12.2.0-1+rpi1 cpp-12_12.2.0-3+rpi1 dash_0.5.11+git20210903+057cd650a4ed-9 debconf_1.5.79 debhelper_13.10.1 debianutils_5.7-0.3 dh-autoreconf_20 dh-ocaml_1.1.3 dh-strip-nondeterminism_1.13.0-1 diffutils_1:3.8-1 dirmngr_2.2.39-1 dpkg_1.21.9+rpi1 dpkg-dev_1.21.9+rpi1 dwz_0.14+20220924-2 e2fsprogs_1.46.6~rc1-1 fakeroot_1.29-1 file_1:5.41-4 findutils_4.9.0-3 fontconfig-config_2.13.1-4.5 fonts-dejavu-core_2.37-2 fonts-gfs-baskerville_1.1-6 fonts-gfs-porson_1.1-7 fonts-lmodern_2.005-1 g++_4:12.2.0-1+rpi1 g++-12_12.2.0-3+rpi1 gcc_4:12.2.0-1+rpi1 gcc-12_12.2.0-3+rpi1 gcc-12-base_12.2.0-3+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-9 gettext-base_0.21-9 gnupg_2.2.39-1 gnupg-l10n_2.2.39-1 gnupg-utils_2.2.39-1 gpg_2.2.39-1 gpg-agent_2.2.39-1 gpg-wks-client_2.2.39-1 gpg-wks-server_2.2.39-1 gpgconf_2.2.39-1 gpgsm_2.2.39-1 gpgv_2.2.39-1 grep_3.7-1 groff-base_1.22.4-8 gzip_1.12-1 hostname_3.23 init-system-helpers_1.64 intltool-debian_0.35.0+20060710.6 iputils-ping_3:20211215-1 krb5-locales_1.20-1 libacl1_2.3.1-1 libapache-pom-java_25-2 libapt-pkg6.0_2.5.3 libarchive-zip-perl_1.68-1 libasan8_12.2.0-3+rpi1 libassuan0_2.5.5-4 libatdgen-ocaml_2.10.0-2 libatdgen-ocaml-dev_2.10.0-2 libatomic1_12.2.0-3+rpi1 libattr1_1:2.5.1-1 libaudit-common_1:3.0.7-1.1 libaudit1_1:3.0.7-1.1 libbase-ocaml_0.15.1-1 libbase-ocaml-dev_0.15.1-1 libbase64-ocaml_3.5.0-1+b1 libbase64-ocaml-dev_3.5.0-1+b1 libbigarray-compat-ocaml_1.1.0-1 libbigarray-compat-ocaml-dev_1.1.0-1 libbiniou-ocaml_1.2.1-1+b3 libbiniou-ocaml-dev_1.2.1-1+b3 libbinutils_2.39-6+rpi1 libblkid1_2.38.1-1.1 libbrotli1_1.0.9-2+b2 libbsd0_0.11.7-1 libbz2-1.0_1.0.8-5+b2 libc-bin_2.35-2+rpi1 libc-dev-bin_2.35-2+rpi1 libc6_2.35-2+rpi1 libc6-dev_2.35-2+rpi1 libcairo2_1.16.0-6 libcalendar-ocaml_2.04-3+b3 libcalendar-ocaml-dev_2.04-3+b3 libcap-ng0_0.8.3-1 libcap2_1:2.44-1 libcap2-bin_1:2.44-1 libcc1-0_12.2.0-3+rpi1 libcmdliner-ocaml-dev_1.1.1-1 libcom-err2_1.46.6~rc1-1 libcommons-logging-java_1.2-3 libcommons-parent-java_43-1 libcrypt-dev_1:4.4.28-2 libcrypt1_1:4.4.28-2 libcryptokit-ocaml_1.16.1-1+b3 libcryptokit-ocaml-dev_1.16.1-1+b3 libcstruct-ocaml_6.0.1-1+b6 libcstruct-ocaml-dev_6.0.1-1+b6 libctf-nobfd0_2.39-6+rpi1 libctf0_2.39-6+rpi1 libdb5.3_5.3.28+dfsg1-0.10 libdebconfclient0_0.264 libdebhelper-perl_13.10.1 libdpkg-perl_1.21.9+rpi1 libeasy-format-ocaml_1.3.2-1+b2 libeasy-format-ocaml-dev_1.3.2-1+b2 libelf1_0.187-2+rpi2 libev-dev_1:4.33-1 libev4_1:4.33-1 libexpat1_2.5.0-1 libext2fs2_1.46.6~rc1-1 libfakeroot_1.29-1 libffi8_3.4.2-4 libfile-stripnondeterminism-perl_1.13.0-1 libfindlib-ocaml_1.9.3-1 libfontbox-java_1:1.8.16-2 libfontconfig1_2.13.1-4.5 libfontenc1_1:1.1.4-1 libfreetype6_2.12.1+dfsg-3 libgcc-12-dev_12.2.0-3+rpi1 libgcc-s1_12.2.0-3+rpi1 libgcrypt20_1.10.1-2+b2 libgdbm-compat4_1.23-3 libgdbm6_1.23-3 libglib2.0-0_2.74.1-2 libgmp-dev_2:6.2.1+dfsg1-1.1 libgmp10_2:6.2.1+dfsg1-1.1 libgmp3-dev_2:6.2.1+dfsg1-1.1 libgmpxx4ldbl_2:6.2.1+dfsg1-1.1 libgnutls30_3.7.8-2 libgomp1_12.2.0-3+rpi1 libgpg-error0_1.45-2 libgraphite2-3_1.3.14-1 libgssapi-krb5-2_1.20-1 libharfbuzz0b_5.2.0-2+b1 libhex-ocaml_1.4.0-1+b7 libhex-ocaml-dev_1.4.0-1+b7 libhogweed6_3.8.1-2 libice6_2:1.0.10-1 libicu72_72.1-2 libidn2-0_2.3.3-1 libisl23_0.25-1 libk5crypto3_1.20-1 libkeyutils1_1.6.3-1 libkpathsea6_2022.20220321.62855-4+b1 libkrb5-3_1.20-1 libkrb5support0_1.20-1 libksba8_1.6.0-3 libldap-2.5-0_2.5.13+dfsg-2+rpi1 liblwt-ocaml_5.5.0-1+b6 liblwt-ocaml-dev_5.5.0-1+b6 liblz4-1_1.9.4-1+rpi1 liblzma5_5.2.5-2.1 libmagic-mgc_1:5.41-4 libmagic1_1:5.41-4 libmd0_1.0.4-2 libmmap-ocaml_1.2.0-1 libmmap-ocaml-dev_1.2.0-1 libmount1_2.38.1-1.1 libmpc3_1.2.1-2 libmpdec3_2.5.1-2+rpi1 libmpfr6_4.1.0-3 libncurses-dev_6.3+20220423-2 libncurses5-dev_6.3+20220423-2 libncurses6_6.3+20220423-2 libncursesw6_6.3+20220423-2 libnettle8_3.8.1-2 libnpth0_1.6-3 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnum-ocaml_1.4-2+b1 libnum-ocaml-dev_1.4-2+b1 libocaml-compiler-libs-ocaml-dev_0.12.4-1+b1 libocplib-endian-ocaml_1.2-1+b1 libocplib-endian-ocaml-dev_1.2-1+b1 libp11-kit0_0.24.1-1 libpam-cap_1:2.44-1 libpam-modules_1.5.2-5 libpam-modules-bin_1.5.2-5 libpam-runtime_1.5.2-5 libpam0g_1.5.2-5 libpaper-utils_1.1.28 libpaper1_1.1.28 libparsexp-ocaml_0.14.2-1+b1 libparsexp-ocaml-dev_0.14.2-1+b1 libpcre2-8-0_10.40-1+b2 libpcre3_2:8.39-14 libpdfbox-java_1:1.8.16-2 libperl5.34_5.34.0-5 libperl5.36_5.36.0-4 libpipeline1_1.5.7-1 libpixman-1-0_0.42.2-1 libpng16-16_1.6.38-2 libppx-derivers-ocaml-dev_1.2.1-1+b3 libppxlib-ocaml-dev_0.27.0-2+b1 libptexenc1_2022.20220321.62855-4+b1 libpython3-stdlib_3.10.6-1 libpython3.10-minimal_3.10.8-3 libpython3.10-stdlib_3.10.8-3 libreact-ocaml_1.2.2-1 libreact-ocaml-dev_1.2.2-1 libreadline8_8.2-1 libresult-ocaml_1.5-1+b2 libresult-ocaml-dev_1.5-1+b2 libsasl2-2_2.1.28+dfsg-8 libsasl2-modules-db_2.1.28+dfsg-8 libseccomp2_2.5.4-1+rpi1 libselinux1_3.4-1 libsemanage-common_3.4-1 libsemanage2_3.4-1 libsepol1_3.1-1 libsepol2_3.4-2 libsexplib-ocaml_1:0.15.1-1 libsexplib-ocaml-dev_1:0.15.1-1 libsexplib0-ocaml_0.15.1-1 libsexplib0-ocaml-dev_0.15.1-1 libsm6_2:1.2.3-1 libsmartcols1_2.38.1-1.1 libsqlite3-0_3.39.4-1 libss2_1.46.6~rc1-1 libssl1.1_1.1.1o-1 libssl3_3.0.5-4 libstdc++-12-dev_12.2.0-3+rpi1 libstdc++6_12.2.0-3+rpi1 libsub-override-perl_0.09-4 libsynctex2_2022.20220321.62855-4+b1 libsystemd0_251.5-1+rpi1 libtasn1-6_4.19.0-2 libteckit0_2.5.11+ds1-1 libtexlua53-5_2022.20220321.62855-4+b1 libtexluajit2_2022.20220321.62855-4+b1 libtinfo6_6.3+20220423-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-4 libubsan1_12.2.0-3+rpi1 libuchardet0_0.0.7-1 libudev1_251.5-1+rpi1 libunistring2_1.0-2 libuuid1_2.38.1-1.1 libuuidm-ocaml-dev_0.9.7-1+b2 libx11-6_2:1.8.1-2 libx11-data_2:1.8.1-2 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.1 libxmu6_2:1.1.3-3 libxpm4_1:3.5.12-1 libxrender1_1:0.9.10-1.1 libxt6_1:1.2.1-1 libxxhash0_0.8.1-1 libyojson-ocaml_2.0.2-2 libyojson-ocaml-dev_2.0.2-2 libzarith-ocaml_1.12-1+b1 libzarith-ocaml-dev_1.12-1+b1 libzstd1_1.5.2+dfsg-1 libzzip-0-13_0.13.72+dfsg.1-1.1 linux-libc-dev_5.19.6-1+rpi1 lmodern_2.005-1 login_1:4.12.3+dfsg1-1 logsave_1.46.6~rc1-1 lsb-base_11.4+rpi1 m4_1.4.19-1 make_4.3-4.1 man-db_2.11.1-1 markdown_1.0.1-11 mawk_1.3.4.20200120-3.1 media-types_8.0.0 mount_2.38.1-1.1 nano_6.4-1 ncurses-base_6.3+20220423-2 ncurses-bin_6.3+20220423-2 netbase_6.3 ocaml_4.13.1-3+rpi1 ocaml-base_4.13.1-3+rpi1 ocaml-compiler-libs_4.13.1-3+rpi1 ocaml-dune_2.9.1-1+b2 ocaml-findlib_1.9.3-1 ocaml-interp_4.13.1-3+rpi1 ocaml-nox_4.13.1-3+rpi1 passwd_1:4.12.3+dfsg1-1 patch_2.7.6-7 perl_5.36.0-4 perl-base_5.36.0-4 perl-modules-5.34_5.34.0-5 perl-modules-5.36_5.36.0-4 pinentry-curses_1.2.0-2 po-debconf_1.0.21+nmu1 preview-latex-style_12.2-1 python3_3.10.6-1 python3-minimal_3.10.6-1 python3.10_3.10.8-3 python3.10-minimal_3.10.8-3 raspbian-archive-keyring_20120528.2 readline-common_8.2-1 rpcsvc-proto_1.4.2-4 sbuild-build-depends-belenios-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.8-1 sensible-utils_0.0.17 sgml-base_1.31 sysvinit-utils_3.05-6 t1utils_1.41-4 tar_1.34+dfsg-1 tex-common_6.18 texlive-base_2022.20220923-2 texlive-binaries_2022.20220321.62855-4+b1 texlive-fonts-extra_2022.20220923-3 texlive-fonts-recommended_2022.20220923-2 texlive-lang-greek_2022.20220923-1 texlive-latex-base_2022.20220923-2 texlive-latex-extra_2022.20220923-3 texlive-latex-recommended_2022.20220923-2 texlive-pictures_2022.20220923-2 texlive-science_2022.20220923-3 tzdata_2022d-1 ucf_3.0043 util-linux_2.38.1-1.1 util-linux-extra_2.38.1-1.1 x11-common_1:7.7+23 xdg-utils_1.1.3-4.1 xfonts-encodings_1:1.0.4-2.1 xfonts-utils_1:7.7+6 xz-utils_5.2.5-2.1 zlib1g_1:1.2.11.dfsg-4.1 zlib1g-dev_1:1.2.11.dfsg-4.1
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/tmp/dpkg-verify-sig.kXK6B6Kx/trustedkeys.kbx': General error
gpgv: Signature made Mon Oct 24 08:39:31 2022 UTC
gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify signature ./belenios_1.20+dfsg-1.dsc
dpkg-source: info: extracting belenios in /<<BUILDDIR>>/belenios-1.20+dfsg
dpkg-source: info: unpacking belenios_1.20+dfsg.orig.tar.xz
dpkg-source: info: unpacking belenios_1.20+dfsg-1.debian.tar.xz
Check disc 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=bookworm-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bookworm-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bookworm-staging-armhf-sbuild-d8476561-985c-4c72-8636-abd165c0062e
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package belenios
dpkg-buildpackage: info: source version 1.20+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-1.20+dfsg'
dune clean
dune clean --build-dir=_build-debug
make -C po clean
make[2]: Entering directory '/<<BUILDDIR>>/belenios-1.20+dfsg/po'
make -C voter clean
make[3]: Entering directory '/<<BUILDDIR>>/belenios-1.20+dfsg/po/voter'
rm -f *.bak
make[3]: Leaving directory '/<<BUILDDIR>>/belenios-1.20+dfsg/po/voter'
make -C admin clean
make[3]: Entering directory '/<<BUILDDIR>>/belenios-1.20+dfsg/po/admin'
rm -f *.bak
make[3]: Leaving directory '/<<BUILDDIR>>/belenios-1.20+dfsg/po/admin'
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-1.20+dfsg/po'
make -C tests/tool clean
make[2]: Entering directory '/<<BUILDDIR>>/belenios-1.20+dfsg/tests/tool'
rm -rf data
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-1.20+dfsg/tests/tool'
rm -f geckodriver.log
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-1.20+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-1.20+dfsg'
dune build -p belenios-platform,belenios-platform-native,belenios-lib,belenios-tool
/usr/bin/make doc
make[2]: Entering directory '/<<BUILDDIR>>/belenios-1.20+dfsg'
/usr/bin/make doc/specification.pdf
make[3]: Entering directory '/<<BUILDDIR>>/belenios-1.20+dfsg'
cd doc && for u in 1 2 3; do pdflatex specification.tex; done
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex)
restricted \write18 enabled.
entering extended mode
(./specification.tex
LaTeX2e <2022-06-01> patch level 5
L3 programming layer <2022-08-30>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2021/10/04 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/generic/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/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.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 58.
LaTeX Warning: Citation `Belenios-Easycrypt-CSF18' on page 1 undefined on input
line 60.
(/usr/share/texmf/tex/latex/lm/ts1lmr.fd)
LaTeX Warning: Citation `Pedersen' on page 1 undefined on input line 69.
LaTeX Warning: Citation `wpes2013' on page 1 undefined on input line 70.
LaTeX Warning: Citation `wpes2013' on page 1 undefined on input line 71.
LaTeX Warning: Citation `asiacrypt12' on page 1 undefined on input line 71.
LaTeX Warning: Citation `Helios' on page 1 undefined on input line 74.
LaTeX Warning: Citation `note-Pierrick' on page 1 undefined on input line 76.
LaTeX Warning: Citation `CGGI-esorics14' on page 1 undefined on input line 77.
LaTeX Warning: Citation `Belenios-Meadows2019' on page 1 undefined on input lin
e 78.
LaTeX Warning: Citation `EVoteID20-Belenios' on page 1 undefined on input line
80.
LaTeX Warning: Citation `CHVote' on page 1 undefined on input line 83.
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd)
LaTeX Warning: Reference `default-group' on page 1 undefined on input line 122.
[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
(/usr/share/texmf/tex/latex/lm/t1lmtt.fd)
LaTeX Warning: Hyper reference `basic-types' on page 2 undefined on input line
179.
LaTeX Warning: Hyper reference `credentials' on page 2 undefined on input line
181.
(/usr/share/texmf/tex/latex/lm/t1lmss.fd)
LaTeX Warning: Hyper reference `trustees' on page 2 undefined on input line 190
.
LaTeX Warning: Reference `process-filling-trustees' on page 2 undefined on inpu
t line 193.
LaTeX Warning: Hyper reference `elections' on page 2 undefined on input line 19
5.
LaTeX Warning: Reference `item-forget' on page 2 undefined on input line 201.
LaTeX Warning: Hyper reference `trustees' on page 2 undefined on input line 208
.
[2]
LaTeX Warning: Hyper reference `trustee-keys' on page 3 undefined on input line
223.
LaTeX Warning: Hyper reference `certificates' on page 3 undefined on input line
244.
LaTeX Warning: Hyper reference `polynomials' on page 3 undefined on input line
252.
LaTeX Warning: Hyper reference `vinputs' on page 3 undefined on input line 257.
LaTeX Warning: Hyper reference `voutputs' on page 3 undefined on input line 262
.
LaTeX Warning: Hyper reference `threshold-params' on page 3 undefined on input
line 267.
LaTeX Warning: Reference `polynomials' on page 3 undefined on input line 276.
LaTeX Warning: Hyper reference `ballots' on page 3 undefined on input line 282.
[3]
LaTeX Warning: Reference `item-forget' on page 4 undefined on input line 306.
LaTeX Warning: Hyper reference `tally' on page 4 undefined on input line 321.
LaTeX Warning: Reference `shuffles' on page 4 undefined on input line 324.
LaTeX Warning: Hyper reference `shuffles' on page 4 undefined on input line 332
.
LaTeX Warning: Hyper reference `tally' on page 4 undefined on input line 345.
LaTeX Warning: Hyper reference `election-result' on page 4 undefined on input l
ine 350.
[4]
LaTeX Warning: Hyper reference `election-result' on page 5 undefined on input l
ine 398.
LaTeX Warning: Reference `sec:audit-voting' on page 5 undefined on input line 4
02.
LaTeX Warning: Reference `sec:audit-voting' on page 5 undefined on input line 4
05.
[5]
LaTeX Warning: Hyper reference `common' on page 6 undefined on input line 483.
[6]
LaTeX Warning: Reference `pki' on page 7 undefined on input line 597.
[7] [8]
LaTeX Warning: Hyper reference `trustee-keys' on page 9 undefined on input line
759.
[9]
LaTeX Warning: Reference `trustee-keys' on page 10 undefined on input line 809.
LaTeX Warning: Reference `threshold' on page 10 undefined on input line 810.
LaTeX Warning: Reference `process-filling-trustees' on page 10 undefined on inp
ut line 827.
Overfull \hbox (3.77475pt too wide) detected at line 899
[]
[10]
LaTeX Warning: Reference `answers' on page 11 undefined on input line 908.
LaTeX Warning: Reference `default-group' on page 11 undefined on input line 969
.
LaTeX Warning: Reference `nh-answers' on page 11 undefined on input line 991.
[11]
LaTeX Warning: Reference `trustees' on page 12 undefined on input line 998.
LaTeX Warning: Reference `ballots' on page 12 undefined on input line 1004.
LaTeX Warning: Hyper reference `elections' on page 12 undefined on input line 1
033.
LaTeX Warning: Hyper reference `credentials' on page 12 undefined on input line
1035.
LaTeX Warning: Reference `iproof' on page 12 undefined on input line 1069.
[12]
LaTeX Warning: Reference `bproof' on page 13 undefined on input line 1087.
[13]
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1199.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `subscript' on input line 1199.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1199.
(/usr/share/texmf/tex/latex/lm/ot1lmss.fd) [14]
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1258.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `subscript' on input line 1258.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1258.
LaTeX Warning: Reference `non-blank-votes' on page 15 undefined on input line 1
263.
[15]
LaTeX Warning: Hyper reference `credentials' on page 16 undefined on input line
1337.
[16]
LaTeX Warning: Hyper reference `answers' on page 17 undefined on input line 138
0.
LaTeX Warning: Hyper reference `signatures' on page 17 undefined on input line
1380.
LaTeX Warning: Hyper reference `answers' on page 17 undefined on input line 138
0.
LaTeX Warning: Hyper reference `signatures' on page 17 undefined on input line
1380.
[17]
LaTeX Warning: Reference `tally' on page 18 undefined on input line 1454.
Overfull \hbox (2.68176pt too wide) in paragraph at lines 1452--1457
\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 18 undefined on input line 1459.
[18]
LaTeX Warning: Reference `shuffle-algorithms' on page 19 undefined on input lin
e 1501.
LaTeX Warning: Hyper reference `trustee-keys' on page 19 undefined on input lin
e 1520.
[19]
LaTeX Warning: Reference `nh-answers' on page 20 undefined on input line 1618.
LaTeX Warning: Hyper reference `election-setup' on page 20 undefined on input l
ine 1629.
[20]
LaTeX Warning: Reference `nh-answers' on page 21 undefined on input line 1691.
[21]
LaTeX Warning: Reference `shuffles' on page 22 undefined on input line 1735.
LaTeX Warning: Citation `CHVote' on page 22 undefined on input line 1737.
LaTeX Warning: Reference `gen-permutation' on page 22 undefined on input line 1
756.
LaTeX Warning: Reference `gen-re-encryption' on page 22 undefined on input line
1761.
LaTeX Warning: Reference `get-secondary-generator' on page 22 undefined on inpu
t line 1841.
LaTeX Warning: Reference `get-generators' on page 22 undefined on input line 18
41.
LaTeX Warning: Reference `gen-permutation-commitment' on page 22 undefined on i
nput line 1844.
LaTeX Warning: Reference `serialize-array' on page 22 undefined on input line 1
847.
LaTeX Warning: Reference `get-nizkp-challenges' on page 22 undefined on input l
ine 1850.
LaTeX Warning: Reference `gen-commitment-chain' on page 22 undefined on input l
ine 1855.
LaTeX Warning: Reference `get-nizkp-challenge' on page 22 undefined on input li
ne 1875.
LaTeX Warning: Reference `get-secondary-generator' on page 22 undefined on inpu
t line 1920.
LaTeX Warning: Reference `get-generators' on page 22 undefined on input line 19
20.
LaTeX Warning: Reference `serialize-array' on page 22 undefined on input line 1
923.
LaTeX Warning: Reference `get-nizkp-challenges' on page 22 undefined on input l
ine 1926.
LaTeX Warning: Reference `get-nizkp-challenge' on page 22 undefined on input li
ne 1934.
LaTeX Warning: Reference `get-generator' on page 22 undefined on input line 196
2.
LaTeX Warning: Reference `get-generator' on page 22 undefined on input line 198
0.
[22] [23] [24] [25] [26] [27] [28] [29] [30]
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.
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){/usr/share/texmf/fonts/enc
/dvips/lm/lm-ec.enc}
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 2022/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.
</tmp/texfonts/pk/ljfour/public/bbm/bbm9.600pk>{/usr/share
/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm
-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-rm.enc}{/usr/share/texmf/fo
nts/enc/dvips/lm/lm-ts1.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathex.enc}
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 2022/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/share/texmf/fonts/type1/
public/lm/lmbx10.pfb></usr/share/texmf/fonts/type1/public/lm/lmbx12.pfb></usr/s
hare/texmf/fonts/type1/public/lm/lmbx8.pfb></usr/share/texmf/fonts/type1/public
/lm/lmbx9.pfb></usr/share/texmf/fonts/type1/public/lm/lmex10.pfb></usr/share/te
xmf/fonts/type1/public/lm/lmmi10.pfb></usr/share/texmf/fonts/type1/public/lm/lm
mi5.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi6.pfb></usr/share/texmf/fon
ts/type1/public/lm/lmmi7.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi9.pfb>
</usr/share/texmf/fonts/type1/public/lm/lmr10.pfb></usr/share/texmf/fonts/type1
/public/lm/lmr12.pfb></usr/share/texmf/fonts/type1/public/lm/lmr17.pfb></usr/sh
are/texmf/fonts/type1/public/lm/lmr5.pfb></usr/share/texmf/fonts/type1/public/l
m/lmr6.pfb></usr/share/texmf/fonts/type1/public/lm/lmr7.pfb></usr/share/texmf/f
onts/type1/public/lm/lmr8.pfb></usr/share/texmf/fonts/type1/public/lm/lmr9.pfb>
</usr/share/texmf/fonts/type1/public/lm/lmri10.pfb></usr/share/texmf/fonts/type
1/public/lm/lmss10.pfb></usr/share/texmf/fonts/type1/public/lm/lmss8.pfb></usr/
share/texmf/fonts/type1/public/lm/lmss9.pfb></usr/share/texmf/fonts/type1/publi
c/lm/lmssbx10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy10.pfb></usr/shar
e/texmf/fonts/type1/public/lm/lmsy5.pfb></usr/share/texmf/fonts/type1/public/lm
/lmsy6.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy7.pfb></usr/share/texmf/
fonts/type1/public/lm/lmsy9.pfb></usr/share/texmf/fonts/type1/public/lm/lmtk10.
pfb></usr/share/texmf/fonts/type1/public/lm/lmtt10.pfb></usr/share/texmf/fonts/
type1/public/lm/lmtt8.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt9.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/stmaryrd/stmary10.pfb></usr/shar
e/texlive/texmf-dist/fonts/type1/public/stmaryrd/stmary9.pfb>
Output written on specification.pdf (30 pages, 706984 bytes).
Transcript written on specification.log.
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex)
restricted \write18 enabled.
entering extended mode
(./specification.tex
LaTeX2e <2022-06-01> patch level 5
L3 programming layer <2022-08-30>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2021/10/04 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/generic/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/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.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}]) (./spec_version.tex)
LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin
e 58.
LaTeX Warning: Citation `Belenios-Easycrypt-CSF18' on page 2 undefined on input
line 60.
(/usr/share/texmf/tex/latex/lm/ts1lmr.fd)
LaTeX Warning: Citation `Pedersen' on page 2 undefined on input line 69.
LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 70.
LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 71.
LaTeX Warning: Citation `asiacrypt12' on page 2 undefined on input line 71.
LaTeX Warning: Citation `Helios' on page 2 undefined on input line 74.
LaTeX Warning: Citation `note-Pierrick' on page 2 undefined on input line 76.
LaTeX Warning: Citation `CGGI-esorics14' on page 2 undefined on input line 77.
LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin
e 78.
LaTeX Warning: Citation `EVoteID20-Belenios' on page 2 undefined on input line
80.
LaTeX Warning: Citation `CHVote' on page 2 undefined on input line 83.
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) [2]
(/usr/share/texmf/tex/latex/lm/t1lmss.fd) [3] [4] [5] [6] [7] [8] [9] [10]
Overfull \hbox (3.77475pt too wide) detected at line 899
[]
[11] [12] [13] [14]
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1199.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `subscript' on input line 1199.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1199.
(/usr/share/texmf/tex/latex/lm/ot1lmss.fd) [15]
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1258.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `subscript' on input line 1258.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1258.
[16] [17] [18]
LaTeX Warning: Citation `CHVote' on page 19 undefined on input line 1459.
[19] [20] [21] [22]
LaTeX Warning: Citation `CHVote' on page 23 undefined on input line 1737.
[23] [24] [25] [26] [27] [28] [29] [30] [31]
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){/usr/share/texmf/fonts/enc
/dvips/lm/lm-ec.enc} </tmp/texfonts/pk/ljfour/public/bbm/bbm9.600pk>{/usr/share
/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm
-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-rm.enc}{/usr/share/texmf/fo
nts/enc/dvips/lm/lm-ts1.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathex.enc}
</tmp/texfonts/pk/ljfour/public/bbm/bbm10.600pk></usr/share/texmf/fonts/type1/
public/lm/lmbx10.pfb></usr/share/texmf/fonts/type1/public/lm/lmbx12.pfb></usr/s
hare/texmf/fonts/type1/public/lm/lmbx8.pfb></usr/share/texmf/fonts/type1/public
/lm/lmbx9.pfb></usr/share/texmf/fonts/type1/public/lm/lmex10.pfb></usr/share/te
xmf/fonts/type1/public/lm/lmmi10.pfb></usr/share/texmf/fonts/type1/public/lm/lm
mi5.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi6.pfb></usr/share/texmf/fon
ts/type1/public/lm/lmmi7.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi9.pfb>
</usr/share/texmf/fonts/type1/public/lm/lmr10.pfb></usr/share/texmf/fonts/type1
/public/lm/lmr12.pfb></usr/share/texmf/fonts/type1/public/lm/lmr17.pfb></usr/sh
are/texmf/fonts/type1/public/lm/lmr5.pfb></usr/share/texmf/fonts/type1/public/l
m/lmr6.pfb></usr/share/texmf/fonts/type1/public/lm/lmr7.pfb></usr/share/texmf/f
onts/type1/public/lm/lmr8.pfb></usr/share/texmf/fonts/type1/public/lm/lmr9.pfb>
</usr/share/texmf/fonts/type1/public/lm/lmri10.pfb></usr/share/texmf/fonts/type
1/public/lm/lmss10.pfb></usr/share/texmf/fonts/type1/public/lm/lmss8.pfb></usr/
share/texmf/fonts/type1/public/lm/lmss9.pfb></usr/share/texmf/fonts/type1/publi
c/lm/lmssbx10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy10.pfb></usr/shar
e/texmf/fonts/type1/public/lm/lmsy5.pfb></usr/share/texmf/fonts/type1/public/lm
/lmsy6.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy7.pfb></usr/share/texmf/
fonts/type1/public/lm/lmsy9.pfb></usr/share/texmf/fonts/type1/public/lm/lmtk10.
pfb></usr/share/texmf/fonts/type1/public/lm/lmtt10.pfb></usr/share/texmf/fonts/
type1/public/lm/lmtt8.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt9.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/stmaryrd/stmary10.pfb></usr/shar
e/texlive/texmf-dist/fonts/type1/public/stmaryrd/stmary9.pfb>
Output written on specification.pdf (31 pages, 715569 bytes).
Transcript written on specification.log.
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex)
restricted \write18 enabled.
entering extended mode
(./specification.tex
LaTeX2e <2022-06-01> patch level 5
L3 programming layer <2022-08-30>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2021/10/04 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/generic/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/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.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}]) (./spec_version.tex)
LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin
e 58.
LaTeX Warning: Citation `Belenios-Easycrypt-CSF18' on page 2 undefined on input
line 60.
(/usr/share/texmf/tex/latex/lm/ts1lmr.fd)
LaTeX Warning: Citation `Pedersen' on page 2 undefined on input line 69.
LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 70.
LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 71.
LaTeX Warning: Citation `asiacrypt12' on page 2 undefined on input line 71.
LaTeX Warning: Citation `Helios' on page 2 undefined on input line 74.
LaTeX Warning: Citation `note-Pierrick' on page 2 undefined on input line 76.
LaTeX Warning: Citation `CGGI-esorics14' on page 2 undefined on input line 77.
LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin
e 78.
LaTeX Warning: Citation `EVoteID20-Belenios' on page 2 undefined on input line
80.
LaTeX Warning: Citation `CHVote' on page 2 undefined on input line 83.
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) [2]
(/usr/share/texmf/tex/latex/lm/t1lmss.fd) [3] [4] [5] [6] [7] [8] [9] [10]
Overfull \hbox (3.77475pt too wide) detected at line 899
[]
[11] [12] [13] [14]
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1199.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `subscript' on input line 1199.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1199.
(/usr/share/texmf/tex/latex/lm/ot1lmss.fd) [15]
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1258.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `subscript' on input line 1258.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1258.
[16] [17] [18]
LaTeX Warning: Citation `CHVote' on page 19 undefined on input line 1459.
[19] [20] [21] [22]
LaTeX Warning: Citation `CHVote' on page 23 undefined on input line 1737.
[23] [24] [25] [26] [27] [28] [29] [30] [31]
No file specification.bbl.
(./specification.aux)
LaTeX Warning: There were undefined references.
)
(see the transcript file for additional information){/usr/share/texmf/fonts/enc
/dvips/lm/lm-ec.enc} </tmp/texfonts/pk/ljfour/public/bbm/bbm9.600pk>{/usr/share
/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm
-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-rm.enc}{/usr/share/texmf/fo
nts/enc/dvips/lm/lm-ts1.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathex.enc}
</tmp/texfonts/pk/ljfour/public/bbm/bbm10.600pk></usr/share/texmf/fonts/type1/
public/lm/lmbx10.pfb></usr/share/texmf/fonts/type1/public/lm/lmbx12.pfb></usr/s
hare/texmf/fonts/type1/public/lm/lmbx8.pfb></usr/share/texmf/fonts/type1/public
/lm/lmbx9.pfb></usr/share/texmf/fonts/type1/public/lm/lmex10.pfb></usr/share/te
xmf/fonts/type1/public/lm/lmmi10.pfb></usr/share/texmf/fonts/type1/public/lm/lm
mi5.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi6.pfb></usr/share/texmf/fon
ts/type1/public/lm/lmmi7.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi9.pfb>
</usr/share/texmf/fonts/type1/public/lm/lmr10.pfb></usr/share/texmf/fonts/type1
/public/lm/lmr12.pfb></usr/share/texmf/fonts/type1/public/lm/lmr17.pfb></usr/sh
are/texmf/fonts/type1/public/lm/lmr5.pfb></usr/share/texmf/fonts/type1/public/l
m/lmr6.pfb></usr/share/texmf/fonts/type1/public/lm/lmr7.pfb></usr/share/texmf/f
onts/type1/public/lm/lmr8.pfb></usr/share/texmf/fonts/type1/public/lm/lmr9.pfb>
</usr/share/texmf/fonts/type1/public/lm/lmri10.pfb></usr/share/texmf/fonts/type
1/public/lm/lmss10.pfb></usr/share/texmf/fonts/type1/public/lm/lmss8.pfb></usr/
share/texmf/fonts/type1/public/lm/lmss9.pfb></usr/share/texmf/fonts/type1/publi
c/lm/lmssbx10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy10.pfb></usr/shar
e/texmf/fonts/type1/public/lm/lmsy5.pfb></usr/share/texmf/fonts/type1/public/lm
/lmsy6.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy7.pfb></usr/share/texmf/
fonts/type1/public/lm/lmsy9.pfb></usr/share/texmf/fonts/type1/public/lm/lmtk10.
pfb></usr/share/texmf/fonts/type1/public/lm/lmtt10.pfb></usr/share/texmf/fonts/
type1/public/lm/lmtt8.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt9.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/stmaryrd/stmary10.pfb></usr/shar
e/texlive/texmf-dist/fonts/type1/public/stmaryrd/stmary9.pfb>
Output written on specification.pdf (31 pages, 715571 bytes).
Transcript written on specification.log.
make[3]: Leaving directory '/<<BUILDDIR>>/belenios-1.20+dfsg'
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-1.20+dfsg'
_build/install/default/bin/belenios-tool --help=groff > debian/belenios-tool.1
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-1.20+dfsg'
dh_auto_test -a
make -j4 check
make[1]: Entering directory '/<<BUILDDIR>>/belenios-1.20+dfsg'
make build-debug-tool
make[2]: Entering directory '/<<BUILDDIR>>/belenios-1.20+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 --destdir=_run/tool-debug --prefix=/ belenios-platform belenios-platform-native belenios-lib belenios-tool 2>/dev/null
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-1.20+dfsg'
make -C tests/tool check
make[2]: Entering directory '/<<BUILDDIR>>/belenios-1.20+dfsg/tests/tool'
mkdir -p data
./demo.sh
=-=-= Setup election =-=-=
UUID of the election is 4SkszkXetNKPfc
5 private credentials with ids saved to ./1669082358.privcreds
5 public credentials saved to ./1669082358.pubcreds
I: keypair CE0A522A has been generated
I: public key saved to CE0A522A.pubkey
I: private key saved to CE0A522A.privkey
I: keypair 8A2420E4 has been generated
I: public key saved to 8A2420E4.pubkey
I: private key saved to 8A2420E4.privkey
I: keypair 4B7F92E2 has been generated
I: public key saved to 4B7F92E2.pubkey
I: private key saved to 4B7F92E2.privkey
=-=-= Simulate votes =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter voter1@example.com,voter1,1000000000 voted with qutsu2YgnBPCohSgYLT5lJlIZq5ymrLn/VeYHUNDyT0
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter voter2@example.com,voter2,2000000000 voted with JXvplMEX4ki9TzXlUR6tczFMBaWcmiO8N4xcy1qBpf4
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter voter3@example.com,voter3,3000000000 voted with rp38Ox5sqbZqn+q510xN7/5Hp1vpanwni6B8dUhaJNQ
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter voter4@example.com,voter4,4000000000 voted with 1Wx6n1ySKmRonP9y25yghrp859rh2JDLAcdvgtPDYH4
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter voter5@example.com,voter5,90000000000 voted with +26LfhJlh3/+joyoOF292xSDvfSv/ctRIqHR5XAzenA
=-=-= Perform verification =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
W: no result to check
I: all checks passed
=-=-= Simulate and verify update =-=-=
I: 2 new ballot(s)
I: all tests passed!
=-=-= Perform decryption =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
W: no result to check
I: all checks passed
I: loading 4B7F92E2.privkey...
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
W: no result to check
I: all checks passed
I: loading 8A2420E4.privkey...
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
W: no result to check
I: all checks passed
I: loading CE0A522A.privkey...
=-=-= Finalize tally =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading partial_decryptions.jsons...
I: loading ballots.jsons...
I: loading public_creds.txt...
=-=-= Perform final verification =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading result.json...
I: all checks passed
=-=-= Check result =-=-=
Could not find jq command, test skipped!
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The simulated election was successful! Its result can be seen in
/<<BUILDDIR>>/belenios-1.20+dfsg/tests/tool/data/4SkszkXetNKPfc/result.json
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
./demo-threshold.sh
=-=-= Setup election =-=-=
UUID of the election is RqC8ER1xsf6YzB
5 private credentials with ids saved to ./1669082474.privcreds
5 public credentials saved to ./1669082474.pubcreds
I: certificate 5f4340648481d18235267eace7b593729455afe10ba765ef3d68e3b5bceb613b has been generated
I: certificate saved to 5f4340648481d18235267eace7b593729455afe10ba765ef3d68e3b5bceb613b.cert
I: private key saved to 5f4340648481d18235267eace7b593729455afe10ba765ef3d68e3b5bceb613b.key
I: certificate 5ab5926da210174826600f51790e20404ce13cdccb6fe139a8a8bf46fbb17427 has been generated
I: certificate saved to 5ab5926da210174826600f51790e20404ce13cdccb6fe139a8a8bf46fbb17427.cert
I: private key saved to 5ab5926da210174826600f51790e20404ce13cdccb6fe139a8a8bf46fbb17427.key
I: certificate b84400603acfecbac01245a44dfbafa138f554911bce7f039b5446706c3c81b8 has been generated
I: certificate saved to b84400603acfecbac01245a44dfbafa138f554911bce7f039b5446706c3c81b8.cert
I: private key saved to b84400603acfecbac01245a44dfbafa138f554911bce7f039b5446706c3c81b8.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 5ab5926da210174826600f51790e20404ce13cdccb6fe139a8a8bf46fbb17427.vinput
I: wrote 5f4340648481d18235267eace7b593729455afe10ba765ef3d68e3b5bceb613b.vinput
I: wrote b84400603acfecbac01245a44dfbafa138f554911bce7f039b5446706c3c81b8.vinput
I: loading certs.jsons...
I: loading certs.jsons...
I: loading certs.jsons...
I: loading certs.jsons...
I: loading polynomials.jsons...
I: wrote 5ab5926da210174826600f51790e20404ce13cdccb6fe139a8a8bf46fbb17427.dkey
I: wrote 5f4340648481d18235267eace7b593729455afe10ba765ef3d68e3b5bceb613b.dkey
I: wrote b84400603acfecbac01245a44dfbafa138f554911bce7f039b5446706c3c81b8.dkey
I: keypair 1DFF3E95 has been generated
I: public key saved to 1DFF3E95.pubkey
I: private key saved to 1DFF3E95.privkey
=-=-= Simulate votes =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 1 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 2 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 3 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 4 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 5 voted
=-=-= Perform verification =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
W: no result to check
I: all checks passed
=-=-= Simulate and verify update =-=-=
I: 2 new ballot(s)
I: all tests passed!
=-=-= Perform decryption (threshold) =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
=-=-= Perform decryption (mandatory) =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
W: no result to check
I: all checks passed
I: loading 1DFF3E95.privkey...
=-=-= Finalize tally =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading partial_decryptions.jsons...
I: loading ballots.jsons...
I: loading public_creds.txt...
=-=-= Perform final verification =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading result.json...
I: all checks passed
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The simulated election was successful! Its result can be seen in
/<<BUILDDIR>>/belenios-1.20+dfsg/tests/tool/data/RqC8ER1xsf6YzB/result.json
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
./demo-nh.sh
=-=-= Setup election =-=-=
UUID of the election is 4TBBnrrFqnR61f
60 private credentials with ids saved to ./1669082565.privcreds
60 public credentials saved to ./1669082565.pubcreds
I: keypair 5F270469 has been generated
I: public key saved to 5F270469.pubkey
I: private key saved to 5F270469.privkey
I: keypair A45EADC4 has been generated
I: public key saved to A45EADC4.pubkey
I: private key saved to A45EADC4.privkey
I: keypair 2B3FD53C has been generated
I: public key saved to 2B3FD53C.pubkey
I: private key saved to 2B3FD53C.privkey
=-=-= Simulate votes =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 10 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 11 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 12 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 13 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 14 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 15 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 16 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 17 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 18 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 19 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 20 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 21 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 22 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 23 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 24 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 25 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 26 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 27 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 28 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 29 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 30 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 31 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 32 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 33 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 34 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 35 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 36 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 37 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 38 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 39 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 40 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 41 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 42 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 43 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 44 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 45 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 46 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 47 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 48 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 49 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 50 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 51 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 52 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 53 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 54 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 55 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 56 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 57 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 58 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 59 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 60 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 61 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 62 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 63 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 64 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 65 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 66 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 67 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 68 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 69 voted
=-=-= Perform verification =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
W: no result to check
I: all checks passed
=-=-= Simulate and verify update =-=-=
I: 57 new ballot(s)
I: all tests passed!
=-=-= Shuffle ciphertexts =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
=-=-= Perform decryption =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
W: no result to check
I: all checks passed
I: loading 2B3FD53C.privkey...
I: shuffle KxfLEpqG9I2u1wcl/rNpmz+F1VXj7XNQBE9/s4oC5GE has been applied
I: shuffle RV5OnWkfInltdRXnCPKGhvKhGmiVfcgI26xz/yMRI/8 has been applied
W: you should check that your shuffle appears in the list of applied shuffles
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
W: no result to check
I: all checks passed
I: loading 5F270469.privkey...
I: shuffle KxfLEpqG9I2u1wcl/rNpmz+F1VXj7XNQBE9/s4oC5GE has been applied
I: shuffle RV5OnWkfInltdRXnCPKGhvKhGmiVfcgI26xz/yMRI/8 has been applied
W: you should check that your shuffle appears in the list of applied shuffles
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
W: no result to check
I: all checks passed
I: loading A45EADC4.privkey...
I: shuffle KxfLEpqG9I2u1wcl/rNpmz+F1VXj7XNQBE9/s4oC5GE has been applied
I: shuffle RV5OnWkfInltdRXnCPKGhvKhGmiVfcgI26xz/yMRI/8 has been applied
W: you should check that your shuffle appears in the list of applied shuffles
=-=-= Finalize tally =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading partial_decryptions.jsons...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
=-=-= Perform final verification =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading result.json...
I: all checks passed
=-=-= Apply Schulze method =-=-=
Could not find jq command, test skipped!
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The simulated election was successful! Its result can be seen in
/<<BUILDDIR>>/belenios-1.20+dfsg/tests/tool/data/4TBBnrrFqnR61f/result.json
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
./demo-mj.sh
=-=-= Setup election =-=-=
UUID of the election is 2CbGNwFf4h7bkt
102 private credentials with ids saved to ./1669090627.privcreds
102 public credentials saved to ./1669090627.pubcreds
I: keypair 177FEB3C has been generated
I: public key saved to 177FEB3C.pubkey
I: private key saved to 177FEB3C.privkey
I: keypair AC9E791D has been generated
I: public key saved to AC9E791D.pubkey
I: private key saved to AC9E791D.privkey
I: keypair AF0FCA22 has been generated
I: public key saved to AF0FCA22.pubkey
I: private key saved to AF0FCA22.privkey
=-=-= Simulate votes =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 100 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 101 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 102 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 103 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 104 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 105 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 106 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 107 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 108 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 109 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 110 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 111 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 112 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 113 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 114 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 115 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 116 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 117 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 118 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 119 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 120 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 121 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 122 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 123 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 124 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 125 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 126 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 127 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 128 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 129 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 130 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 131 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 132 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 133 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 134 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 135 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 136 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 137 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 138 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 139 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 140 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 141 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 142 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 143 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 144 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 145 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 146 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 147 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 148 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 149 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 150 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 151 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 152 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 153 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 154 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 155 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 156 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 157 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 158 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 159 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 160 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 161 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 162 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 163 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 164 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 165 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 166 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 167 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 168 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 169 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 170 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 171 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 172 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 173 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 174 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 175 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 176 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 177 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 178 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 179 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 180 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 181 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 182 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 183 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 184 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 185 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 186 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 187 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 188 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 189 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 190 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 191 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 192 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 193 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 194 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 195 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 196 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 197 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 198 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 199 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 200 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 201 voted
=-=-= Perform verification =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
W: no result to check
I: all checks passed
=-=-= Simulate and verify update =-=-=
I: 99 new ballot(s)
I: all tests passed!
=-=-= Shuffle ciphertexts =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
=-=-= Perform decryption =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
W: no result to check
I: all checks passed
I: loading 177FEB3C.privkey...
I: shuffle FecJcSthxSkZxPVLwPhSkvO9aYWsthuKV296EF5vuLc has been applied
I: shuffle J47cWZmWYFyeRLE2AFYmDxUUe8na6nwvpQyA0kWurMs has been applied
W: you should check that your shuffle appears in the list of applied shuffles
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
W: no result to check
I: all checks passed
I: loading AC9E791D.privkey...
I: shuffle FecJcSthxSkZxPVLwPhSkvO9aYWsthuKV296EF5vuLc has been applied
I: shuffle J47cWZmWYFyeRLE2AFYmDxUUe8na6nwvpQyA0kWurMs has been applied
W: you should check that your shuffle appears in the list of applied shuffles
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
W: no result to check
I: all checks passed
I: loading AF0FCA22.privkey...
I: shuffle FecJcSthxSkZxPVLwPhSkvO9aYWsthuKV296EF5vuLc has been applied
I: shuffle J47cWZmWYFyeRLE2AFYmDxUUe8na6nwvpQyA0kWurMs has been applied
W: you should check that your shuffle appears in the list of applied shuffles
=-=-= Finalize tally =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading partial_decryptions.jsons...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
=-=-= Perform final verification =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading result.json...
I: all checks passed
=-=-= Apply Majority Judgment method =-=-=
Could not find jq command, test skipped!
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The simulated election was successful! Its result can be seen in
/<<BUILDDIR>>/belenios-1.20+dfsg/tests/tool/data/2CbGNwFf4h7bkt/result.json
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
./demo-stv.sh
=-=-= Setup election =-=-=
UUID of the election is T1R1ck93qE1fsw
50 private credentials with ids saved to ./1669093461.privcreds
50 public credentials saved to ./1669093461.pubcreds
I: keypair F64E7727 has been generated
I: public key saved to F64E7727.pubkey
I: private key saved to F64E7727.privkey
I: keypair F917911A has been generated
I: public key saved to F917911A.pubkey
I: private key saved to F917911A.privkey
I: keypair D2EB8BB2 has been generated
I: public key saved to D2EB8BB2.pubkey
I: private key saved to D2EB8BB2.privkey
=-=-= Simulate votes =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 10 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 11 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 12 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 13 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 14 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 15 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 16 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 17 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 18 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 19 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 20 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 21 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 22 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 23 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 24 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 25 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 26 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 27 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 28 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 29 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 30 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 31 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 32 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 33 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 34 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 35 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 36 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 37 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 38 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 39 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 40 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 41 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 42 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 43 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 44 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 45 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 46 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 47 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 48 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 49 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 50 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 51 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 52 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 53 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 54 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 55 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 56 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 57 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 58 voted
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading 62...
I: loading 63...
Voter 59 voted
=-=-= Perform verification =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
W: no result to check
I: all checks passed
=-=-= Simulate and verify update =-=-=
I: 47 new ballot(s)
I: all tests passed!
=-=-= Shuffle ciphertexts =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
=-=-= Perform decryption =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
W: no result to check
I: all checks passed
I: loading D2EB8BB2.privkey...
I: shuffle m6mL9k5ad0HRjE+JtapyqwvgHMyi2ZU4EWRJsUbnGRU has been applied
I: shuffle ISXRqg4DfdWCXz7LmPjOQW8bkNqAuDWjD/s/LK+0wEQ has been applied
W: you should check that your shuffle appears in the list of applied shuffles
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
W: no result to check
I: all checks passed
I: loading F64E7727.privkey...
I: shuffle m6mL9k5ad0HRjE+JtapyqwvgHMyi2ZU4EWRJsUbnGRU has been applied
I: shuffle ISXRqg4DfdWCXz7LmPjOQW8bkNqAuDWjD/s/LK+0wEQ has been applied
W: you should check that your shuffle appears in the list of applied shuffles
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
W: no result to check
I: all checks passed
I: loading F917911A.privkey...
I: shuffle m6mL9k5ad0HRjE+JtapyqwvgHMyi2ZU4EWRJsUbnGRU has been applied
I: shuffle ISXRqg4DfdWCXz7LmPjOQW8bkNqAuDWjD/s/LK+0wEQ has been applied
W: you should check that your shuffle appears in the list of applied shuffles
=-=-= Finalize tally =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading partial_decryptions.jsons...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading shuffles.jsons...
=-=-= Perform final verification =-=-=
I: using directory .
I: loading election.json...
I: loading trustees.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading result.json...
I: all checks passed
=-=-= Apply STV method =-=-=
Could not find jq command, test skipped!
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The simulated election was successful! Its result can be seen in
/<<BUILDDIR>>/belenios-1.20+dfsg/tests/tool/data/T1R1ck93qE1fsw/result.json
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-1.20+dfsg/tests/tool'
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-1.20+dfsg'
create-stamp debian/debhelper-build-stamp
dh_prep -a
debian/rules override_dh_auto_install
make[1]: Entering directory '/<<BUILDDIR>>/belenios-1.20+dfsg'
dune install --destdir=debian/tmp --prefix=/usr belenios-tool
Installing debian/tmp/usr/lib/belenios-tool/META
Installing debian/tmp/usr/lib/belenios-tool/dune-package
Installing debian/tmp/usr/lib/belenios-tool/opam
Installing debian/tmp/usr/bin/belenios-tool
Installing debian/tmp/usr/doc/belenios-tool/CHANGES.md
Installing debian/tmp/usr/doc/belenios-tool/README.md
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-1.20+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_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' in '../belenios-tool_1.20+dfsg-1_armhf.deb'.
dpkg-deb: building package 'belenios-tool-dbgsym' in '../belenios-tool-dbgsym_1.20+dfsg-1_armhf.deb'.
dpkg-genbuildinfo --build=any -O../belenios_1.20+dfsg-1_armhf.buildinfo
dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> -O../belenios_1.20+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 2022-11-22T05:28:32Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
belenios_1.20+dfsg-1_armhf.changes:
-----------------------------------
Format: 1.8
Date: Mon, 24 Oct 2022 10:37:30 +0200
Source: belenios
Binary: belenios-tool belenios-tool-dbgsym
Architecture: armhf
Version: 1.20+dfsg-1
Distribution: bookworm-staging
Urgency: medium
Maintainer: Raspbian wandboard test autobuilder <root@raspbian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
belenios-tool - verifiable voting system (command-line tool)
Changes:
belenios (1.20+dfsg-1) unstable; urgency=medium
.
* New upstream release
* Bump Standards-Version to 4.6.1 (no changes)
Checksums-Sha1:
0b03a2bd166bd32a74e1a61f3e41b31b4c35088e 266100 belenios-tool-dbgsym_1.20+dfsg-1_armhf.deb
39e8817f2f2f441e944efa9c0b1188eb30ac2343 1661156 belenios-tool_1.20+dfsg-1_armhf.deb
57ca342058c294dc40d2c7934175ef803012539d 9720 belenios_1.20+dfsg-1_armhf.buildinfo
Checksums-Sha256:
9b0268bcf190661ce84a43b9cb1523fcd9c99159015b3b8a3ff5cb0caf611090 266100 belenios-tool-dbgsym_1.20+dfsg-1_armhf.deb
33c5548864f9f5b543e96a1b84a7b6731a356aece8f237fd2c928122df4bff60 1661156 belenios-tool_1.20+dfsg-1_armhf.deb
28ae168d45da95af77c507601a4cf0ee51756e1a187e2babed8db4bad62a5135 9720 belenios_1.20+dfsg-1_armhf.buildinfo
Files:
8aa672e161c1a92550dd64f669a34618 266100 debug optional belenios-tool-dbgsym_1.20+dfsg-1_armhf.deb
f524e5a2a502b1fbe089ab89a294c615 1661156 misc optional belenios-tool_1.20+dfsg-1_armhf.deb
010a99b033062d1b119f32e142821e9f 9720 misc optional belenios_1.20+dfsg-1_armhf.buildinfo
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
belenios-tool-dbgsym_1.20+dfsg-1_armhf.deb
------------------------------------------
new Debian package, version 2.0.
size 266100 bytes: control archive=532 bytes.
388 bytes, 12 lines control
106 bytes, 1 lines md5sums
Package: belenios-tool-dbgsym
Source: belenios
Version: 1.20+dfsg-1
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 1025
Depends: belenios-tool (= 1.20+dfsg-1)
Section: debug
Priority: optional
Description: debug symbols for belenios-tool
Build-Ids: 9cbe075f36109584eb2ab94d33d36231bf916f3a
drwxr-xr-x root/root 0 2022-10-24 08:37 ./
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/lib/
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/lib/debug/
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/lib/debug/.build-id/9c/
-rw-r--r-- root/root 1038852 2022-10-24 08:37 ./usr/lib/debug/.build-id/9c/be075f36109584eb2ab94d33d36231bf916f3a.debug
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/share/
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/share/doc/
lrwxrwxrwx root/root 0 2022-10-24 08:37 ./usr/share/doc/belenios-tool-dbgsym -> belenios-tool
belenios-tool_1.20+dfsg-1_armhf.deb
-----------------------------------
new Debian package, version 2.0.
size 1661156 bytes: control archive=1488 bytes.
1632 bytes, 35 lines control
1000 bytes, 13 lines md5sums
Package: belenios-tool
Source: belenios
Version: 1.20+dfsg-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 4054
Depends: libc6 (>= 2.35), libgmp10 (>= 2:6.2.1+dfsg1), 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 2022-10-24 08:37 ./
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/bin/
-rwxr-xr-x root/root 3372724 2022-10-24 08:37 ./usr/bin/belenios-tool
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/share/
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/share/doc/
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/share/doc/belenios-tool/
-rw-r--r-- root/root 3284 2022-10-24 08:37 ./usr/share/doc/belenios-tool/README.md
-rw-r--r-- root/root 584 2022-10-24 08:37 ./usr/share/doc/belenios-tool/changelog.Debian.gz
-rw-r--r-- root/root 6617 2022-10-24 08:37 ./usr/share/doc/belenios-tool/changelog.gz
-rw-r--r-- root/root 33969 2022-10-24 08:37 ./usr/share/doc/belenios-tool/copyright
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/share/doc/belenios-tool/examples/
-rwxr-xr-x root/root 4257 2022-10-20 06:03 ./usr/share/doc/belenios-tool/examples/demo-mj.sh
-rwxr-xr-x root/root 4459 2022-10-20 06:03 ./usr/share/doc/belenios-tool/examples/demo-nh.sh
-rwxr-xr-x root/root 4215 2022-10-20 06:03 ./usr/share/doc/belenios-tool/examples/demo-stv.sh
-rwxr-xr-x root/root 3084 2022-10-20 06:03 ./usr/share/doc/belenios-tool/examples/demo-threshold.sh
-rwxr-xr-x root/root 3073 2022-10-20 06:03 ./usr/share/doc/belenios-tool/examples/demo.sh
-rw-r--r-- root/root 692554 2022-10-24 08:37 ./usr/share/doc/belenios-tool/specification.pdf.gz
-rw-r--r-- root/root 2440 2022-10-20 06:03 ./usr/share/doc/belenios-tool/tool.md.gz
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/share/man/
drwxr-xr-x root/root 0 2022-10-24 08:37 ./usr/share/man/man1/
-rw-r--r-- root/root 785 2022-10-24 08:37 ./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: 104792
Build-Time: 12711
Distribution: bookworm-staging
Host Architecture: armhf
Install-Time: 2298
Job: belenios_1.20+dfsg-1
Machine Architecture: armhf
Package: belenios
Package-Time: 15066
Source-Version: 1.20+dfsg-1
Space: 104792
Status: successful
Version: 1.20+dfsg-1
--------------------------------------------------------------------------------
Finished at 2022-11-22T05:28:32Z
Build needed 04:11:06, 104792k disc space