Raspbian Package Auto-Building

Build log for belenios (1.19+dfsg-1) on armhf

belenios1.19+dfsg-1armhf → 2022-08-16 06:53:02

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

+==============================================================================+
| belenios 1.19+dfsg-1 (armhf)                 Tue, 16 Aug 2022 05:16:55 +0000 |
+==============================================================================+

Package: belenios
Version: 1.19+dfsg-1
Source Version: 1.19+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-be246c47-5227-4cf3-8601-690289ee4710' 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.2 MB]
Get:3 http://172.17.4.1/private bookworm-staging/main armhf Packages [14.1 MB]
Fetched 27.3 MB in 10s (2710 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 487 kB of source archives.
Get:1 http://172.17.4.1/private bookworm-staging/main belenios 1.19+dfsg-1 (dsc) [2010 B]
Get:2 http://172.17.4.1/private bookworm-staging/main belenios 1.19+dfsg-1 (tar) [459 kB]
Get:3 http://172.17.4.1/private bookworm-staging/main belenios 1.19+dfsg-1 (diff) [25.9 kB]
Fetched 487 kB in 0s (5642 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/belenios-qbF4Wd/belenios-1.19+dfsg' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/belenios-qbF4Wd' 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-9AOEpt/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-9AOEpt/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-9AOEpt/gpg/trustdb.gpg: trustdb created
gpg: key 37145E60F90AF620: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg:               imported: 1
gpg: key 37145E60F90AF620: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 37145E60F90AF620: secret key imported
gpg: Total number processed: 1
gpg:              unchanged: 1
gpg:       secret keys read: 1
gpg:   secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-9AOEpt/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-9AOEpt/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-9AOEpt/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-9AOEpt/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-9AOEpt/apt_archive ./ Packages [434 B]
Fetched 2110 B in 1s (3672 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

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

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
  krb5-locales libpam-cap netbase sensible-utils
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 4 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-9AOEpt/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 (44.8 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12795 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, libyojson-ocaml-dev, libcmdliner-ocaml-dev (>= 1.1), 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, libyojson-ocaml-dev, libcmdliner-ocaml-dev (>= 1.1), 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-9AOEpt/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-9AOEpt/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-9AOEpt/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-9AOEpt/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-9AOEpt/apt_archive ./ Sources [621 B]
Get:5 copy:/<<BUILDDIR>>/resolver-9AOEpt/apt_archive ./ Packages [707 B]
Fetched 2661 B in 1s (5037 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 netbase
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 libbiniou-ocaml
  libbiniou-ocaml-dev libbrotli1 libbsd0 libcairo2 libcalendar-ocaml
  libcalendar-ocaml-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev
  libcmdliner-ocaml-dev libcommons-logging-java libcommons-parent-java
  libcryptokit-ocaml libcryptokit-ocaml-dev libdebhelper-perl
  libeasy-format-ocaml libeasy-format-ocaml-dev libelf1 libexpat1
  libfile-stripnondeterminism-perl libfindlib-ocaml libfontbox-java
  libfontconfig1 libfontenc1 libfreetype6 libglib2.0-0 libgmp-dev libgmp3-dev
  libgmpxx4ldbl libgraphite2-3 libharfbuzz0b libice6 libicu71 libkpathsea6
  libmagic-mgc libmagic1 libmd0 libmpdec3 libncurses-dev libncurses5-dev
  libncurses6 libpaper-utils libpaper1 libpdfbox-java libpipeline1
  libpixman-1-0 libpng16-16 libptexenc1 libpython3-stdlib
  libpython3.10-minimal libpython3.10-stdlib libsigsegv2 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 gmp-doc libgmp10-doc libmpfr-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 cm-super 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 libgpm2 libltdl-dev ocaml-man libfindlib-ocaml-dev ledit
  | readline-editor libmail-sendmail-perl dvisvgm fonts-adf-accanthis
  fonts-adf-berenis fonts-adf-gillius fonts-adf-universalis fonts-cabin
  fonts-cantarell fonts-comfortaa 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-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-roboto-unhinted 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
  libspreadsheet-parseexcel-perl openjdk-18-jre 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 libbiniou-ocaml
  libbiniou-ocaml-dev libbrotli1 libbsd0 libcairo2 libcalendar-ocaml
  libcalendar-ocaml-dev libcamlp-streams-ocaml libcamlp-streams-ocaml-dev
  libcmdliner-ocaml-dev libcommons-logging-java libcommons-parent-java
  libcryptokit-ocaml libcryptokit-ocaml-dev libdebhelper-perl
  libeasy-format-ocaml libeasy-format-ocaml-dev libelf1 libexpat1
  libfile-stripnondeterminism-perl libfindlib-ocaml libfontbox-java
  libfontconfig1 libfontenc1 libfreetype6 libglib2.0-0 libgmp-dev libgmp3-dev
  libgmpxx4ldbl libgraphite2-3 libharfbuzz0b libice6 libicu71 libkpathsea6
  libmagic-mgc libmagic1 libmd0 libmpdec3 libncurses-dev libncurses5-dev
  libncurses6 libpaper-utils libpaper1 libpdfbox-java libpipeline1
  libpixman-1-0 libpng16-16 libptexenc1 libpython3-stdlib
  libpython3.10-minimal libpython3.10-stdlib libsigsegv2 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, 142 newly installed, 0 to remove and 4 not upgraded.
Need to get 841 MB of archives.
After this operation, 2494 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-9AOEpt/apt_archive ./ sbuild-build-depends-belenios-dummy 0.invalid.0 [988 B]
Get:2 http://172.17.4.1/private bookworm-staging/main armhf libpython3.10-minimal armhf 3.10.5-1+b1 [815 kB]
Get:3 http://172.17.4.1/private bookworm-staging/main armhf libexpat1 armhf 2.4.8-1 [84.1 kB]
Get:4 http://172.17.4.1/private bookworm-staging/main armhf python3.10-minimal armhf 3.10.5-1+b1 [1637 kB]
Get:5 http://172.17.4.1/private bookworm-staging/main armhf python3-minimal armhf 3.10.5-3 [38.6 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.5-1+b1 [1626 kB]
Get:9 http://172.17.4.1/private bookworm-staging/main armhf python3.10 armhf 3.10.5-1+b1 [542 kB]
Get:10 http://172.17.4.1/private bookworm-staging/main armhf libpython3-stdlib armhf 3.10.5-3 [21.7 kB]
Get:11 http://172.17.4.1/private bookworm-staging/main armhf python3 armhf 3.10.5-3 [38.2 kB]
Get:12 http://172.17.4.1/private bookworm-staging/main armhf ucf all 3.0043 [74.0 kB]
Get:13 http://172.17.4.1/private bookworm-staging/main armhf tex-common all 6.17 [53.6 kB]
Get:14 http://172.17.4.1/private bookworm-staging/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB]
Get:15 http://172.17.4.1/private bookworm-staging/main armhf groff-base armhf 1.22.4-8 [793 kB]
Get:16 http://172.17.4.1/private bookworm-staging/main armhf bsdextrautils armhf 2.38.1-1 [137 kB]
Get:17 http://172.17.4.1/private bookworm-staging/main armhf libpipeline1 armhf 1.5.6-1 [33.7 kB]
Get:18 http://172.17.4.1/private bookworm-staging/main armhf man-db armhf 2.10.2-1 [1362 kB]
Get:19 http://172.17.4.1/private bookworm-staging/main armhf libmagic-mgc armhf 1:5.41-4 [295 kB]
Get:20 http://172.17.4.1/private bookworm-staging/main armhf libmagic1 armhf 1:5.41-4 [120 kB]
Get:21 http://172.17.4.1/private bookworm-staging/main armhf file armhf 1:5.41-4 [65.8 kB]
Get:22 http://172.17.4.1/private bookworm-staging/main armhf gettext-base armhf 0.21-6 [171 kB]
Get:23 http://172.17.4.1/private bookworm-staging/main armhf libsigsegv2 armhf 2.14-1 [36.6 kB]
Get:24 http://172.17.4.1/private bookworm-staging/main armhf m4 armhf 1.4.18-5 [186 kB]
Get:25 http://172.17.4.1/private bookworm-staging/main armhf autoconf all 2.71-2 [343 kB]
Get:26 http://172.17.4.1/private bookworm-staging/main armhf autotools-dev all 20220109.1 [51.6 kB]
Get:27 http://172.17.4.1/private bookworm-staging/main armhf automake all 1:1.16.5-1.3 [823 kB]
Get:28 http://172.17.4.1/private bookworm-staging/main armhf autopoint all 0.21-6 [510 kB]
Get:29 http://172.17.4.1/private bookworm-staging/main armhf libdebhelper-perl all 13.8 [195 kB]
Get:30 http://172.17.4.1/private bookworm-staging/main armhf libtool all 2.4.7-4 [526 kB]
Get:31 http://172.17.4.1/private bookworm-staging/main armhf dh-autoreconf all 20 [17.1 kB]
Get:32 http://172.17.4.1/private bookworm-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:33 http://172.17.4.1/private bookworm-staging/main armhf libsub-override-perl all 0.09-3 [10.4 kB]
Get:34 http://172.17.4.1/private bookworm-staging/main armhf libfile-stripnondeterminism-perl all 1.13.0-1 [26.6 kB]
Get:35 http://172.17.4.1/private bookworm-staging/main armhf dh-strip-nondeterminism all 1.13.0-1 [15.8 kB]
Get:36 http://172.17.4.1/private bookworm-staging/main armhf libelf1 armhf 0.187-1 [175 kB]
Get:37 http://172.17.4.1/private bookworm-staging/main armhf dwz armhf 0.14-1 [83.0 kB]
Get:38 http://172.17.4.1/private bookworm-staging/main armhf libicu71 armhf 71.1-3 [8855 kB]
Get:39 http://172.17.4.1/private bookworm-staging/main armhf libxml2 armhf 2.9.14+dfsg-1 [591 kB]
Get:40 http://172.17.4.1/private bookworm-staging/main armhf gettext armhf 0.21-6 [1214 kB]
Get:41 http://172.17.4.1/private bookworm-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:42 http://172.17.4.1/private bookworm-staging/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
Get:43 http://172.17.4.1/private bookworm-staging/main armhf debhelper all 13.8 [1070 kB]
Get:44 http://172.17.4.1/private bookworm-staging/main armhf dh-ocaml all 1.1.3 [82.9 kB]
Get:45 http://172.17.4.1/private bookworm-staging/main armhf fonts-dejavu-core all 2.37-2 [1069 kB]
Get:46 http://172.17.4.1/private bookworm-staging/main armhf fontconfig-config all 2.13.1-4.4 [281 kB]
Get:47 http://172.17.4.1/private bookworm-staging/main armhf fonts-gfs-baskerville all 1.1-6 [43.7 kB]
Get:48 http://172.17.4.1/private bookworm-staging/main armhf fonts-gfs-porson all 1.1-7 [33.8 kB]
Get:49 http://172.17.4.1/private bookworm-staging/main armhf fonts-lmodern all 2.005-1 [4540 kB]
Get:50 http://172.17.4.1/private bookworm-staging/main armhf libapache-pom-java all 18-1 [4676 B]
Get:51 http://172.17.4.1/private bookworm-staging/main armhf ocaml-base armhf 4.13.1-3+rpi1 [607 kB]
Get:52 http://172.17.4.1/private bookworm-staging/main armhf libeasy-format-ocaml armhf 1.3.2-1+b2 [44.8 kB]
Get:53 http://172.17.4.1/private bookworm-staging/main armhf libbiniou-ocaml armhf 1.2.1-1+b3 [125 kB]
Get:54 http://172.17.4.1/private bookworm-staging/main armhf libcamlp-streams-ocaml armhf 5.0-1 [42.2 kB]
Get:55 http://172.17.4.1/private bookworm-staging/main armhf libyojson-ocaml armhf 1.7.0-1+b5 [590 kB]
Get:56 http://172.17.4.1/private bookworm-staging/main armhf libatdgen-ocaml armhf 2.9.1-2 [123 kB]
Get:57 http://172.17.4.1/private bookworm-staging/main armhf ocaml-compiler-libs armhf 4.13.1-3+rpi1 [29.4 MB]
Get:58 http://172.17.4.1/private bookworm-staging/main armhf ocaml-interp armhf 4.13.1-3+rpi1 [6182 kB]
Get:59 http://172.17.4.1/private bookworm-staging/main armhf libncurses6 armhf 6.3+20220423-2 [79.6 kB]
Get:60 http://172.17.4.1/private bookworm-staging/main armhf libncurses-dev armhf 6.3+20220423-2 [289 kB]
Get:61 http://172.17.4.1/private bookworm-staging/main armhf libncurses5-dev armhf 6.3+20220423-2 [940 B]
Get:62 http://172.17.4.1/private bookworm-staging/main armhf ocaml armhf 4.13.1-3+rpi1 [70.4 MB]
Get:63 http://172.17.4.1/private bookworm-staging/main armhf libeasy-format-ocaml-dev armhf 1.3.2-1+b2 [96.6 kB]
Get:64 http://172.17.4.1/private bookworm-staging/main armhf libbiniou-ocaml-dev armhf 1.2.1-1+b3 [557 kB]
Get:65 http://172.17.4.1/private bookworm-staging/main armhf libcamlp-streams-ocaml-dev armhf 5.0-1 [85.3 kB]
Get:66 http://172.17.4.1/private bookworm-staging/main armhf libyojson-ocaml-dev armhf 1.7.0-1+b5 [1217 kB]
Get:67 http://172.17.4.1/private bookworm-staging/main armhf libatdgen-ocaml-dev armhf 2.9.1-2 [983 kB]
Get:68 http://172.17.4.1/private bookworm-staging/main armhf libbrotli1 armhf 1.0.9-2+b2 [260 kB]
Get:69 http://172.17.4.1/private bookworm-staging/main armhf libmd0 armhf 1.0.4-2 [28.6 kB]
Get:70 http://172.17.4.1/private bookworm-staging/main armhf libbsd0 armhf 0.11.6-1 [109 kB]
Get:71 http://172.17.4.1/private bookworm-staging/main armhf libpng16-16 armhf 1.6.37-5 [272 kB]
Get:72 http://172.17.4.1/private bookworm-staging/main armhf libfreetype6 armhf 2.12.1+dfsg-3 [352 kB]
Get:73 http://172.17.4.1/private bookworm-staging/main armhf libfontconfig1 armhf 2.13.1-4.4 [331 kB]
Get:74 http://172.17.4.1/private bookworm-staging/main armhf libpixman-1-0 armhf 0.40.0-1 [463 kB]
Get:75 http://172.17.4.1/private bookworm-staging/main armhf libxau6 armhf 1:1.0.9-1 [19.1 kB]
Get:76 http://172.17.4.1/private bookworm-staging/main armhf libxdmcp6 armhf 1:1.1.2-3 [25.0 kB]
Get:77 http://172.17.4.1/private bookworm-staging/main armhf libxcb1 armhf 1.15-1 [139 kB]
Get:78 http://172.17.4.1/private bookworm-staging/main armhf libx11-data all 2:1.8.1-2 [308 kB]
Get:79 http://172.17.4.1/private bookworm-staging/main armhf libx11-6 armhf 2:1.8.1-2 [704 kB]
Get:80 http://172.17.4.1/private bookworm-staging/main armhf libxcb-render0 armhf 1.15-1 [114 kB]
Get:81 http://172.17.4.1/private bookworm-staging/main armhf libxcb-shm0 armhf 1.15-1 [106 kB]
Get:82 http://172.17.4.1/private bookworm-staging/main armhf libxext6 armhf 2:1.3.4-1 [48.0 kB]
Get:83 http://172.17.4.1/private bookworm-staging/main armhf libxrender1 armhf 1:0.9.10-1.1 [30.0 kB]
Get:84 http://172.17.4.1/private bookworm-staging/main armhf libcairo2 armhf 1.16.0-6 [496 kB]
Get:85 http://172.17.4.1/private bookworm-staging/main armhf libcalendar-ocaml armhf 2.04-3+b3 [77.2 kB]
Get:86 http://172.17.4.1/private bookworm-staging/main armhf libfindlib-ocaml armhf 1.9.3-1 [172 kB]
Get:87 http://172.17.4.1/private bookworm-staging/main armhf ocaml-findlib armhf 1.9.3-1 [433 kB]
Get:88 http://172.17.4.1/private bookworm-staging/main armhf libcalendar-ocaml-dev armhf 2.04-3+b3 [166 kB]
Get:89 http://172.17.4.1/private bookworm-staging/main armhf libcmdliner-ocaml-dev armhf 1.1.1-1 [465 kB]
Get:90 http://172.17.4.1/private bookworm-staging/main armhf libcommons-parent-java all 43-1 [10.8 kB]
Get:91 http://172.17.4.1/private bookworm-staging/main armhf libcommons-logging-java all 1.2-3 [62.4 kB]
Get:92 http://172.17.4.1/private bookworm-staging/main armhf libzarith-ocaml armhf 1.12-1+b1 [51.2 kB]
Get:93 http://172.17.4.1/private bookworm-staging/main armhf libcryptokit-ocaml armhf 1.16.1-1+b3 [278 kB]
Get:94 http://172.17.4.1/private bookworm-staging/main armhf zlib1g-dev armhf 1:1.2.11.dfsg-4+b2 [183 kB]
Get:95 http://172.17.4.1/private bookworm-staging/main armhf libgmpxx4ldbl armhf 2:6.2.1+dfsg1-1 [337 kB]
Get:96 http://172.17.4.1/private bookworm-staging/main armhf libgmp-dev armhf 2:6.2.1+dfsg1-1 [582 kB]
Get:97 http://172.17.4.1/private bookworm-staging/main armhf libgmp3-dev armhf 2:6.2.1+dfsg1-1 [331 kB]
Get:98 http://172.17.4.1/private bookworm-staging/main armhf libzarith-ocaml-dev armhf 1.12-1+b1 [90.2 kB]
Get:99 http://172.17.4.1/private bookworm-staging/main armhf libcryptokit-ocaml-dev armhf 1.16.1-1+b3 [522 kB]
Get:100 http://172.17.4.1/private bookworm-staging/main armhf libfontbox-java all 1:1.8.16-2 [211 kB]
Get:101 http://172.17.4.1/private bookworm-staging/main armhf libfontenc1 armhf 1:1.1.4-1 [22.3 kB]
Get:102 http://172.17.4.1/private bookworm-staging/main armhf libglib2.0-0 armhf 2.72.3-1 [1233 kB]
Get:103 http://172.17.4.1/private bookworm-staging/main armhf libgraphite2-3 armhf 1.3.14-1 [70.3 kB]
Get:104 http://172.17.4.1/private bookworm-staging/main armhf libharfbuzz0b armhf 2.7.4-1+b1 [1420 kB]
Get:105 http://172.17.4.1/private bookworm-staging/main armhf x11-common all 1:7.7+23 [252 kB]
Get:106 http://172.17.4.1/private bookworm-staging/main armhf libice6 armhf 2:1.0.10-1 [51.7 kB]
Get:107 http://172.17.4.1/private bookworm-staging/main armhf libkpathsea6 armhf 2022.20220321.62855-4 [165 kB]
Get:108 http://172.17.4.1/private bookworm-staging/main armhf libpaper1 armhf 1.1.28 [20.5 kB]
Get:109 http://172.17.4.1/private bookworm-staging/main armhf libpaper-utils armhf 1.1.28 [17.7 kB]
Get:110 http://172.17.4.1/private bookworm-staging/main armhf libpdfbox-java all 1:1.8.16-2 [5205 kB]
Get:111 http://172.17.4.1/private bookworm-staging/main armhf libptexenc1 armhf 2022.20220321.62855-4 [61.9 kB]
Get:112 http://172.17.4.1/private bookworm-staging/main armhf libsm6 armhf 2:1.2.3-1 [32.9 kB]
Get:113 http://172.17.4.1/private bookworm-staging/main armhf libsynctex2 armhf 2022.20220321.62855-4 [68.0 kB]
Get:114 http://172.17.4.1/private bookworm-staging/main armhf libteckit0 armhf 2.5.11+ds1-1 [256 kB]
Get:115 http://172.17.4.1/private bookworm-staging/main armhf libtexlua53-5 armhf 2022.20220321.62855-4 [102 kB]
Get:116 http://172.17.4.1/private bookworm-staging/main armhf libtexluajit2 armhf 2022.20220321.62855-4 [208 kB]
Get:117 http://172.17.4.1/private bookworm-staging/main armhf libuuidm-ocaml-dev armhf 0.9.7-1+b2 [371 kB]
Get:118 http://172.17.4.1/private bookworm-staging/main armhf libxt6 armhf 1:1.2.1-1 [159 kB]
Get:119 http://172.17.4.1/private bookworm-staging/main armhf libxmu6 armhf 2:1.1.3-3 [52.0 kB]
Get:120 http://172.17.4.1/private bookworm-staging/main armhf libxpm4 armhf 1:3.5.12-1 [43.6 kB]
Get:121 http://172.17.4.1/private bookworm-staging/main armhf libxaw7 armhf 2:1.0.14-1 [165 kB]
Get:122 http://172.17.4.1/private bookworm-staging/main armhf libxi6 armhf 2:1.8-1 [78.1 kB]
Get:123 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:124 http://172.17.4.1/private bookworm-staging/main armhf xfonts-encodings all 1:1.0.4-2.1 [573 kB]
Get:125 http://172.17.4.1/private bookworm-staging/main armhf xfonts-utils armhf 1:7.7+6 [82.5 kB]
Get:126 http://172.17.4.1/private bookworm-staging/main armhf lmodern all 2.005-1 [9480 kB]
Get:127 http://172.17.4.1/private bookworm-staging/main armhf markdown all 1.0.1-10.1 [17.5 kB]
Get:128 http://172.17.4.1/private bookworm-staging/main armhf ocaml-dune armhf 2.9.1-1+b2 [2060 kB]
Get:129 http://172.17.4.1/private bookworm-staging/main armhf ocaml-nox all 4.13.1-3+rpi1 [185 kB]
Get:130 http://172.17.4.1/private bookworm-staging/main armhf preview-latex-style all 12.2-1 [201 kB]
Get:131 http://172.17.4.1/private bookworm-staging/main armhf t1utils armhf 1.41-4 [52.3 kB]
Get:132 http://172.17.4.1/private bookworm-staging/main armhf texlive-binaries armhf 2022.20220321.62855-4 [7109 kB]
Get:133 http://172.17.4.1/private bookworm-staging/main armhf xdg-utils all 1.1.3-4.1 [75.5 kB]
Get:134 http://172.17.4.1/private bookworm-staging/main armhf texlive-base all 2022.20220722-1 [21.9 MB]
Get:135 http://172.17.4.1/private bookworm-staging/main armhf texlive-fonts-extra all 2022.20220722-2 [515 MB]
Get:136 http://172.17.4.1/private bookworm-staging/main armhf texlive-fonts-recommended all 2022.20220722-1 [5004 kB]
Get:137 http://172.17.4.1/private bookworm-staging/main armhf texlive-lang-greek all 2022.20220722-1 [77.9 MB]
Get:138 http://172.17.4.1/private bookworm-staging/main armhf texlive-latex-base all 2022.20220722-1 [1184 kB]
Get:139 http://172.17.4.1/private bookworm-staging/main armhf texlive-latex-recommended all 2022.20220722-1 [8835 kB]
Get:140 http://172.17.4.1/private bookworm-staging/main armhf texlive-pictures all 2022.20220722-1 [15.2 MB]
Get:141 http://172.17.4.1/private bookworm-staging/main armhf texlive-latex-extra all 2022.20220722-2 [14.7 MB]
Get:142 http://172.17.4.1/private bookworm-staging/main armhf texlive-science all 2022.20220722-2 [3705 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 841 MB in 1min 26s (9765 kB/s)
Selecting previously unselected package libpython3.10-minimal:armhf.
(Reading database ... 12795 files and directories currently installed.)
Preparing to unpack .../libpython3.10-minimal_3.10.5-1+b1_armhf.deb ...
Unpacking libpython3.10-minimal:armhf (3.10.5-1+b1) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../libexpat1_2.4.8-1_armhf.deb ...
Unpacking libexpat1:armhf (2.4.8-1) ...
Selecting previously unselected package python3.10-minimal.
Preparing to unpack .../python3.10-minimal_3.10.5-1+b1_armhf.deb ...
Unpacking python3.10-minimal (3.10.5-1+b1) ...
Setting up libpython3.10-minimal:armhf (3.10.5-1+b1) ...
Setting up libexpat1:armhf (2.4.8-1) ...
Setting up python3.10-minimal (3.10.5-1+b1) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 13100 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.10.5-3_armhf.deb ...
Unpacking python3-minimal (3.10.5-3) ...
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.5-1+b1_armhf.deb ...
Unpacking libpython3.10-stdlib:armhf (3.10.5-1+b1) ...
Selecting previously unselected package python3.10.
Preparing to unpack .../4-python3.10_3.10.5-1+b1_armhf.deb ...
Unpacking python3.10 (3.10.5-1+b1) ...
Selecting previously unselected package libpython3-stdlib:armhf.
Preparing to unpack .../5-libpython3-stdlib_3.10.5-3_armhf.deb ...
Unpacking libpython3-stdlib:armhf (3.10.5-3) ...
Setting up python3-minimal (3.10.5-3) ...
Selecting previously unselected package python3.
(Reading database ... 13503 files and directories currently installed.)
Preparing to unpack .../000-python3_3.10.5-3_armhf.deb ...
Unpacking python3 (3.10.5-3) ...
Selecting previously unselected package ucf.
Preparing to unpack .../001-ucf_3.0043_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0043) ...
Selecting previously unselected package tex-common.
Preparing to unpack .../002-tex-common_6.17_all.deb ...
Unpacking tex-common (6.17) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../003-libuchardet0_0.0.7-1_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../004-groff-base_1.22.4-8_armhf.deb ...
Unpacking groff-base (1.22.4-8) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../005-bsdextrautils_2.38.1-1_armhf.deb ...
Unpacking bsdextrautils (2.38.1-1) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../006-libpipeline1_1.5.6-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.6-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../007-man-db_2.10.2-1_armhf.deb ...
Unpacking man-db (2.10.2-1) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../008-libmagic-mgc_1%3a5.41-4_armhf.deb ...
Unpacking libmagic-mgc (1:5.41-4) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../009-libmagic1_1%3a5.41-4_armhf.deb ...
Unpacking libmagic1:armhf (1:5.41-4) ...
Selecting previously unselected package file.
Preparing to unpack .../010-file_1%3a5.41-4_armhf.deb ...
Unpacking file (1:5.41-4) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../011-gettext-base_0.21-6_armhf.deb ...
Unpacking gettext-base (0.21-6) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../012-libsigsegv2_2.14-1_armhf.deb ...
Unpacking libsigsegv2:armhf (2.14-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../013-m4_1.4.18-5_armhf.deb ...
Unpacking m4 (1.4.18-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../014-autoconf_2.71-2_all.deb ...
Unpacking autoconf (2.71-2) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../015-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../016-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 .../017-autopoint_0.21-6_all.deb ...
Unpacking autopoint (0.21-6) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../018-libdebhelper-perl_13.8_all.deb ...
Unpacking libdebhelper-perl (13.8) ...
Selecting previously unselected package libtool.
Preparing to unpack .../019-libtool_2.4.7-4_all.deb ...
Unpacking libtool (2.4.7-4) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../020-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../021-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 .../022-libsub-override-perl_0.09-3_all.deb ...
Unpacking libsub-override-perl (0.09-3) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../023-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 .../024-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 .../025-libelf1_0.187-1_armhf.deb ...
Unpacking libelf1:armhf (0.187-1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../026-dwz_0.14-1_armhf.deb ...
Unpacking dwz (0.14-1) ...
Selecting previously unselected package libicu71:armhf.
Preparing to unpack .../027-libicu71_71.1-3_armhf.deb ...
Unpacking libicu71:armhf (71.1-3) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../028-libxml2_2.9.14+dfsg-1_armhf.deb ...
Unpacking libxml2:armhf (2.9.14+dfsg-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../029-gettext_0.21-6_armhf.deb ...
Unpacking gettext (0.21-6) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../030-intltool-debian_0.35.0+20060710.5_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.5) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../031-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../032-debhelper_13.8_all.deb ...
Unpacking debhelper (13.8) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../033-dh-ocaml_1.1.3_all.deb ...
Unpacking dh-ocaml (1.1.3) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../034-fonts-dejavu-core_2.37-2_all.deb ...
Unpacking fonts-dejavu-core (2.37-2) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../035-fontconfig-config_2.13.1-4.4_all.deb ...
Unpacking fontconfig-config (2.13.1-4.4) ...
Selecting previously unselected package fonts-gfs-baskerville.
Preparing to unpack .../036-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 .../037-fonts-gfs-porson_1.1-7_all.deb ...
Unpacking fonts-gfs-porson (1.1-7) ...
Selecting previously unselected package fonts-lmodern.
Preparing to unpack .../038-fonts-lmodern_2.005-1_all.deb ...
Unpacking fonts-lmodern (2.005-1) ...
Selecting previously unselected package libapache-pom-java.
Preparing to unpack .../039-libapache-pom-java_18-1_all.deb ...
Unpacking libapache-pom-java (18-1) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../040-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 .../041-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 .../042-libbiniou-ocaml_1.2.1-1+b3_armhf.deb ...
Unpacking libbiniou-ocaml (1.2.1-1+b3) ...
Selecting previously unselected package libcamlp-streams-ocaml.
Preparing to unpack .../043-libcamlp-streams-ocaml_5.0-1_armhf.deb ...
Unpacking libcamlp-streams-ocaml (5.0-1) ...
Selecting previously unselected package libyojson-ocaml.
Preparing to unpack .../044-libyojson-ocaml_1.7.0-1+b5_armhf.deb ...
Unpacking libyojson-ocaml (1.7.0-1+b5) ...
Selecting previously unselected package libatdgen-ocaml.
Preparing to unpack .../045-libatdgen-ocaml_2.9.1-2_armhf.deb ...
Unpacking libatdgen-ocaml (2.9.1-2) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../046-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 .../047-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 .../048-libncurses6_6.3+20220423-2_armhf.deb ...
Unpacking libncurses6:armhf (6.3+20220423-2) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../049-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 .../050-libncurses5-dev_6.3+20220423-2_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.3+20220423-2) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../051-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 .../052-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 .../053-libbiniou-ocaml-dev_1.2.1-1+b3_armhf.deb ...
Unpacking libbiniou-ocaml-dev (1.2.1-1+b3) ...
Selecting previously unselected package libcamlp-streams-ocaml-dev.
Preparing to unpack .../054-libcamlp-streams-ocaml-dev_5.0-1_armhf.deb ...
Unpacking libcamlp-streams-ocaml-dev (5.0-1) ...
Selecting previously unselected package libyojson-ocaml-dev.
Preparing to unpack .../055-libyojson-ocaml-dev_1.7.0-1+b5_armhf.deb ...
Unpacking libyojson-ocaml-dev (1.7.0-1+b5) ...
Selecting previously unselected package libatdgen-ocaml-dev.
Preparing to unpack .../056-libatdgen-ocaml-dev_2.9.1-2_armhf.deb ...
Unpacking libatdgen-ocaml-dev (2.9.1-2) ...
Selecting previously unselected package libbrotli1:armhf.
Preparing to unpack .../057-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 .../058-libmd0_1.0.4-2_armhf.deb ...
Unpacking libmd0:armhf (1.0.4-2) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../059-libbsd0_0.11.6-1_armhf.deb ...
Unpacking libbsd0:armhf (0.11.6-1) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../060-libpng16-16_1.6.37-5_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.37-5) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../061-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 .../062-libfontconfig1_2.13.1-4.4_armhf.deb ...
Unpacking libfontconfig1:armhf (2.13.1-4.4) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../063-libpixman-1-0_0.40.0-1_armhf.deb ...
Unpacking libpixman-1-0:armhf (0.40.0-1) ...
Selecting previously unselected package libxau6:armhf.
Preparing to unpack .../064-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 .../065-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 .../066-libxcb1_1.15-1_armhf.deb ...
Unpacking libxcb1:armhf (1.15-1) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../067-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 .../068-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 .../069-libxcb-render0_1.15-1_armhf.deb ...
Unpacking libxcb-render0:armhf (1.15-1) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../070-libxcb-shm0_1.15-1_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.15-1) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../071-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 .../072-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 .../073-libcairo2_1.16.0-6_armhf.deb ...
Unpacking libcairo2:armhf (1.16.0-6) ...
Selecting previously unselected package libcalendar-ocaml.
Preparing to unpack .../074-libcalendar-ocaml_2.04-3+b3_armhf.deb ...
Unpacking libcalendar-ocaml (2.04-3+b3) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../075-libfindlib-ocaml_1.9.3-1_armhf.deb ...
Unpacking libfindlib-ocaml (1.9.3-1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../076-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 .../077-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 .../078-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 .../079-libcommons-parent-java_43-1_all.deb ...
Unpacking libcommons-parent-java (43-1) ...
Selecting previously unselected package libcommons-logging-java.
Preparing to unpack .../080-libcommons-logging-java_1.2-3_all.deb ...
Unpacking libcommons-logging-java (1.2-3) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../081-libzarith-ocaml_1.12-1+b1_armhf.deb ...
Unpacking libzarith-ocaml (1.12-1+b1) ...
Selecting previously unselected package libcryptokit-ocaml.
Preparing to unpack .../082-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 .../083-zlib1g-dev_1%3a1.2.11.dfsg-4+b2_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.11.dfsg-4+b2) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../084-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.2.1+dfsg1-1) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../085-libgmp-dev_2%3a6.2.1+dfsg1-1_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.2.1+dfsg1-1) ...
Selecting previously unselected package libgmp3-dev:armhf.
Preparing to unpack .../086-libgmp3-dev_2%3a6.2.1+dfsg1-1_armhf.deb ...
Unpacking libgmp3-dev:armhf (2:6.2.1+dfsg1-1) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../087-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 .../088-libcryptokit-ocaml-dev_1.16.1-1+b3_armhf.deb ...
Unpacking libcryptokit-ocaml-dev (1.16.1-1+b3) ...
Selecting previously unselected package libfontbox-java.
Preparing to unpack .../089-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 .../090-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 .../091-libglib2.0-0_2.72.3-1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.72.3-1) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../092-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 .../093-libharfbuzz0b_2.7.4-1+b1_armhf.deb ...
Unpacking libharfbuzz0b:armhf (2.7.4-1+b1) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../094-x11-common_1%3a7.7+23_all.deb ...
Unpacking x11-common (1:7.7+23) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../095-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 .../096-libkpathsea6_2022.20220321.62855-4_armhf.deb ...
Unpacking libkpathsea6:armhf (2022.20220321.62855-4) ...
Selecting previously unselected package libpaper1:armhf.
Preparing to unpack .../097-libpaper1_1.1.28_armhf.deb ...
Unpacking libpaper1:armhf (1.1.28) ...
Selecting previously unselected package libpaper-utils.
Preparing to unpack .../098-libpaper-utils_1.1.28_armhf.deb ...
Unpacking libpaper-utils (1.1.28) ...
Selecting previously unselected package libpdfbox-java.
Preparing to unpack .../099-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 .../100-libptexenc1_2022.20220321.62855-4_armhf.deb ...
Unpacking libptexenc1:armhf (2022.20220321.62855-4) ...
Selecting previously unselected package libsm6:armhf.
Preparing to unpack .../101-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 .../102-libsynctex2_2022.20220321.62855-4_armhf.deb ...
Unpacking libsynctex2:armhf (2022.20220321.62855-4) ...
Selecting previously unselected package libteckit0:armhf.
Preparing to unpack .../103-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 .../104-libtexlua53-5_2022.20220321.62855-4_armhf.deb ...
Unpacking libtexlua53-5:armhf (2022.20220321.62855-4) ...
Selecting previously unselected package libtexluajit2:armhf.
Preparing to unpack .../105-libtexluajit2_2022.20220321.62855-4_armhf.deb ...
Unpacking libtexluajit2:armhf (2022.20220321.62855-4) ...
Selecting previously unselected package libuuidm-ocaml-dev.
Preparing to unpack .../106-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 .../107-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 .../108-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 .../109-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 .../110-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 .../111-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 .../112-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 xfonts-encodings.
Preparing to unpack .../113-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 .../114-xfonts-utils_1%3a7.7+6_armhf.deb ...
Unpacking xfonts-utils (1:7.7+6) ...
Selecting previously unselected package lmodern.
Preparing to unpack .../115-lmodern_2.005-1_all.deb ...
Unpacking lmodern (2.005-1) ...
Selecting previously unselected package markdown.
Preparing to unpack .../116-markdown_1.0.1-10.1_all.deb ...
Unpacking markdown (1.0.1-10.1) ...
Selecting previously unselected package ocaml-dune.
Preparing to unpack .../117-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 .../118-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 .../119-preview-latex-style_12.2-1_all.deb ...
Unpacking preview-latex-style (12.2-1) ...
Selecting previously unselected package t1utils.
Preparing to unpack .../120-t1utils_1.41-4_armhf.deb ...
Unpacking t1utils (1.41-4) ...
Selecting previously unselected package texlive-binaries.
Preparing to unpack .../121-texlive-binaries_2022.20220321.62855-4_armhf.deb ...
Unpacking texlive-binaries (2022.20220321.62855-4) ...
Selecting previously unselected package xdg-utils.
Preparing to unpack .../122-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 .../123-texlive-base_2022.20220722-1_all.deb ...
Unpacking texlive-base (2022.20220722-1) ...
Selecting previously unselected package texlive-fonts-extra.
Preparing to unpack .../124-texlive-fonts-extra_2022.20220722-2_all.deb ...
Unpacking texlive-fonts-extra (2022.20220722-2) ...
Selecting previously unselected package texlive-fonts-recommended.
Preparing to unpack .../125-texlive-fonts-recommended_2022.20220722-1_all.deb ...
Unpacking texlive-fonts-recommended (2022.20220722-1) ...
Selecting previously unselected package texlive-lang-greek.
Preparing to unpack .../126-texlive-lang-greek_2022.20220722-1_all.deb ...
Unpacking texlive-lang-greek (2022.20220722-1) ...
Selecting previously unselected package texlive-latex-base.
Preparing to unpack .../127-texlive-latex-base_2022.20220722-1_all.deb ...
Unpacking texlive-latex-base (2022.20220722-1) ...
Selecting previously unselected package texlive-latex-recommended.
Preparing to unpack .../128-texlive-latex-recommended_2022.20220722-1_all.deb ...
Unpacking texlive-latex-recommended (2022.20220722-1) ...
Selecting previously unselected package texlive-pictures.
Preparing to unpack .../129-texlive-pictures_2022.20220722-1_all.deb ...
Unpacking texlive-pictures (2022.20220722-1) ...
Selecting previously unselected package texlive-latex-extra.
Preparing to unpack .../130-texlive-latex-extra_2022.20220722-2_all.deb ...
Unpacking texlive-latex-extra (2022.20220722-2) ...
Selecting previously unselected package texlive-science.
Preparing to unpack .../131-texlive-science_2022.20220722-2_all.deb ...
Unpacking texlive-science (2022.20220722-2) ...
Selecting previously unselected package sbuild-build-depends-belenios-dummy.
Preparing to unpack .../132-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.6-1) ...
Setting up libgraphite2-3:armhf (1.3.14-1) ...
Setting up libpixman-1-0:armhf (0.40.0-1) ...
Setting up libicu71:armhf (71.1-3) ...
Setting up libxau6:armhf (1:1.0.9-1) ...
Setting up bsdextrautils (2.38.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.72.3-1) ...
No schema files found: doing nothing.
Setting up libtexluajit2:armhf (2022.20220321.62855-4) ...
Setting up libdebhelper-perl (13.8) ...
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: policy-rc.d denied execution of restart.
Setting up dh-ocaml (1.1.3) ...
Setting up libmagic1:armhf (1:5.41-4) ...
Setting up gettext-base (0.21-6) ...
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) ...
Setting up libx11-data (2:1.8.1-2) ...
Setting up libteckit0:armhf (2.5.11+ds1-1) ...
Setting up libapache-pom-java (18-1) ...
Setting up libncurses6:armhf (6.3+20220423-2) ...
Setting up libsigsegv2:armhf (2.14-1) ...
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) ...
Setting up libpng16-16:armhf (1.6.37-5) ...
Setting up autopoint (0.21-6) ...
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) ...
Setting up zlib1g-dev:armhf (1:1.2.11.dfsg-4+b2) ...
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-3) ...
Setting up libbsd0:armhf (0.11.6-1) ...
Setting up libelf1:armhf (0.187-1) ...
Setting up libxml2:armhf (2.9.14+dfsg-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-10.1) ...
Setting up libsynctex2:armhf (2022.20220321.62855-4) ...
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-6) ...
Setting up libgmp-dev:armhf (2:6.2.1+dfsg1-1) ...
Setting up libpdfbox-java (1:1.8.16-2) ...
Setting up libtool (2.4.7-4) ...
Setting up libxcb-render0:armhf (1.15-1) ...
Setting up libcamlp-streams-ocaml (5.0-1) ...
Setting up fontconfig-config (2.13.1-4.4) ...
Setting up libcommons-parent-java (43-1) ...
Setting up libfindlib-ocaml (1.9.3-1) ...
Setting up libcommons-logging-java (1.2-3) ...
Setting up m4 (1.4.18-5) ...
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.5) ...
Setting up libpython3.10-stdlib:armhf (3.10.5-1+b1) ...
Setting up tex-common (6.17) ...
update-language: texlive-base not installed and configured, doing nothing!
Setting up libptexenc1:armhf (2022.20220321.62855-4) ...
Setting up libfreetype6:armhf (2.12.1+dfsg-3) ...
Setting up ocaml-findlib (1.9.3-1) ...
Setting up libcryptokit-ocaml (1.16.1-1+b3) ...
Setting up autoconf (2.71-2) ...
Setting up dh-strip-nondeterminism (1.13.0-1) ...
Setting up dwz (0.14-1) ...
Setting up groff-base (1.22.4-8) ...
Setting up libgmp3-dev:armhf (2:6.2.1+dfsg1-1) ...
Setting up libncurses5-dev:armhf (6.3+20220423-2) ...
Setting up libx11-6:armhf (2:1.8.1-2) ...
Setting up libharfbuzz0b:armhf (2.7.4-1+b1) ...
Setting up libsm6:armhf (2:1.2.3-1) ...
Setting up libpython3-stdlib:armhf (3.10.5-3) ...
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 python3.10 (3.10.5-1+b1) ...
Setting up libxpm4:armhf (1:3.5.12-1) ...
Setting up libxrender1:armhf (1:0.9.10-1.1) ...
Setting up libyojson-ocaml (1.7.0-1+b5) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up preview-latex-style (12.2-1) ...
Setting up libxext6:armhf (2:1.3.4-1) ...
Setting up python3 (3.10.5-3) ...
Setting up xfonts-utils (1:7.7+6) ...
Setting up man-db (2.10.2-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up dh-autoreconf (20) ...
Setting up libxt6:armhf (1:1.2.1-1) ...
Setting up libatdgen-ocaml (2.9.1-2) ...
Setting up lmodern (2.005-1) ...
Setting up libxmu6:armhf (2:1.1.3-3) ...
Setting up libxi6:armhf (2:1.8-1) ...
Setting up debhelper (13.8) ...
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 libcamlp-streams-ocaml-dev (5.0-1) ...
Setting up ocaml-nox (4.13.1-3+rpi1) ...
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 libeasy-format-ocaml-dev (1.3.2-1+b2) ...
Setting up libuuidm-ocaml-dev (0.9.7-1+b2) ...
Setting up libbiniou-ocaml-dev (1.2.1-1+b3) ...
Setting up libyojson-ocaml-dev (1.7.0-1+b5) ...
Setting up libatdgen-ocaml-dev (2.9.1-2) ...
Processing triggers for libc-bin (2.33-8+rpi1) ...
Processing triggers for sgml-base (1.30) ...
Setting up libfontconfig1:armhf (2.13.1-4.4) ...
Setting up libcairo2:armhf (1.16.0-6) ...
Setting up texlive-binaries (2022.20220321.62855-4) ...
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.20220722-1) ...
tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps
tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg
tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper
tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/tex-ini-files/pdftexconfig.tex
Setting up texlive-lang-greek (2022.20220722-1) ...
Setting up texlive-latex-base (2022.20220722-1) ...
Setting up texlive-fonts-extra (2022.20220722-2) ...
Setting up texlive-latex-recommended (2022.20220722-1) ...
Setting up texlive-pictures (2022.20220722-1) ...
Setting up texlive-fonts-recommended (2022.20220722-1) ...
Setting up texlive-science (2022.20220722-2) ...
Setting up texlive-latex-extra (2022.20220722-2) ...
Setting up sbuild-build-depends-belenios-dummy (0.invalid.0) ...
Processing triggers for tex-common (6.17) ...
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.33-8+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges

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

Kernel: Linux 4.15.0-187-generic armhf (armv8l)
Toolchain package versions: binutils_2.38.90.20220713-2+rpi1 dpkg-dev_1.21.9+rpi1 g++-12_12.1.0-7+rpi1 gcc-12_12.1.0-7+rpi1 libc6-dev_2.33-8+rpi1 libstdc++-12-dev_12.1.0-7+rpi1 libstdc++6_12.1.0-7+rpi1 linux-libc-dev_5.18.14-1+rpi1
Package versions: adduser_3.123 apt_2.5.2 autoconf_2.71-2 automake_1:1.16.5-1.3 autopoint_0.21-6 autotools-dev_20220109.1 base-files_12.2+rpi1 base-passwd_3.5.52 bash_5.1-6.1 binutils_2.38.90.20220713-2+rpi1 binutils-arm-linux-gnueabihf_2.38.90.20220713-2+rpi1 binutils-common_2.38.90.20220713-2+rpi1 bsdextrautils_2.38.1-1 bsdutils_1:2.38.1-1 build-essential_12.9 bzip2_1.0.8-5+b2 coreutils_8.32-4.1 cpp_4:12.1.0-3+rpi1 cpp-12_12.1.0-7+rpi1 dash_0.5.11+git20210903+057cd650a4ed-8 debconf_1.5.79 debhelper_13.8 debianutils_5.7-0.3 dh-autoreconf_20 dh-ocaml_1.1.3 dh-strip-nondeterminism_1.13.0-1 diffutils_1:3.7-5 dirmngr_2.2.35-3 dpkg_1.21.9+rpi1 dpkg-dev_1.21.9+rpi1 dwz_0.14-1 e2fsprogs_1.46.5-2 fakeroot_1.29-1 file_1:5.41-4 findutils_4.9.0-3 fontconfig-config_2.13.1-4.4 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.1.0-3+rpi1 g++-12_12.1.0-7+rpi1 gcc_4:12.1.0-3+rpi1 gcc-12_12.1.0-7+rpi1 gcc-12-base_12.1.0-7+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-6 gettext-base_0.21-6 gnupg_2.2.35-3 gnupg-l10n_2.2.35-3 gnupg-utils_2.2.35-3 gpg_2.2.35-3 gpg-agent_2.2.35-3 gpg-wks-client_2.2.35-3 gpg-wks-server_2.2.35-3 gpgconf_2.2.35-3 gpgsm_2.2.35-3 gpgv_2.2.35-3 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.5 iputils-ping_3:20211215-1 krb5-locales_1.20-1 libacl1_2.3.1-1 libapache-pom-java_18-1 libapt-pkg6.0_2.5.2 libarchive-zip-perl_1.68-1 libasan8_12.1.0-7+rpi1 libassuan0_2.5.5-4 libatdgen-ocaml_2.9.1-2 libatdgen-ocaml-dev_2.9.1-2 libatomic1_12.1.0-7+rpi1 libattr1_1:2.5.1-1 libaudit-common_1:3.0.7-1 libaudit1_1:3.0.7-1+b1 libbiniou-ocaml_1.2.1-1+b3 libbiniou-ocaml-dev_1.2.1-1+b3 libbinutils_2.38.90.20220713-2+rpi1 libblkid1_2.38.1-1 libbrotli1_1.0.9-2+b2 libbsd0_0.11.6-1 libbz2-1.0_1.0.8-5+b2 libc-bin_2.33-8+rpi1 libc-dev-bin_2.33-8+rpi1 libc6_2.33-8+rpi1 libc6-dev_2.33-8+rpi1 libcairo2_1.16.0-6 libcalendar-ocaml_2.04-3+b3 libcalendar-ocaml-dev_2.04-3+b3 libcamlp-streams-ocaml_5.0-1 libcamlp-streams-ocaml-dev_5.0-1 libcap-ng0_0.8.3-1 libcap2_1:2.44-1 libcap2-bin_1:2.44-1 libcc1-0_12.1.0-7+rpi1 libcmdliner-ocaml-dev_1.1.1-1 libcom-err2_1.46.5-2 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 libctf-nobfd0_2.38.90.20220713-2+rpi1 libctf0_2.38.90.20220713-2+rpi1 libdb5.3_5.3.28+dfsg1-0.10 libdebconfclient0_0.263 libdebhelper-perl_13.8 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-1 libexpat1_2.4.8-1 libext2fs2_1.46.5-2 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.4 libfontenc1_1:1.1.4-1 libfreetype6_2.12.1+dfsg-3 libgcc-12-dev_12.1.0-7+rpi1 libgcc-s1_12.1.0-7+rpi1 libgcrypt20_1.10.1-2+b2 libgdbm-compat4_1.23-1 libgdbm6_1.23-1 libglib2.0-0_2.72.3-1 libgmp-dev_2:6.2.1+dfsg1-1 libgmp10_2:6.2.1+dfsg1-1 libgmp3-dev_2:6.2.1+dfsg1-1 libgmpxx4ldbl_2:6.2.1+dfsg1-1 libgnutls30_3.7.7-2 libgomp1_12.1.0-7+rpi1 libgpg-error0_1.45-2 libgraphite2-3_1.3.14-1 libgssapi-krb5-2_1.20-1 libharfbuzz0b_2.7.4-1+b1 libhogweed6_3.7.3-1 libice6_2:1.0.10-1 libicu71_71.1-3 libidn2-0_2.3.3-1 libisl23_0.25-1 libk5crypto3_1.20-1 libkeyutils1_1.6.3-1 libkpathsea6_2022.20220321.62855-4 libkrb5-3_1.20-1 libkrb5support0_1.20-1 libksba8_1.6.0-3 libldap-2.5-0_2.5.12+dfsg-2 liblz4-1_1.9.3-2 liblzma5_5.2.5-2.1 libmagic-mgc_1:5.41-4 libmagic1_1:5.41-4 libmd0_1.0.4-2 libmount1_2.38.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.7.3-1 libnpth0_1.6-3 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libp11-kit0_0.24.1-1 libpam-cap_1:2.44-1 libpam-modules_1.4.0-13 libpam-modules-bin_1.4.0-13 libpam-runtime_1.4.0-13 libpam0g_1.4.0-13 libpaper-utils_1.1.28 libpaper1_1.1.28 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 libpipeline1_1.5.6-1 libpixman-1-0_0.40.0-1 libpng16-16_1.6.37-5 libptexenc1_2022.20220321.62855-4 libpython3-stdlib_3.10.5-3 libpython3.10-minimal_3.10.5-1+b1 libpython3.10-stdlib_3.10.5-1+b1 libreadline8_8.1.2-1.2 libsasl2-2_2.1.28+dfsg-6+b1 libsasl2-modules-db_2.1.28+dfsg-6+b1 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 libsigsegv2_2.14-1 libsm6_2:1.2.3-1 libsmartcols1_2.38.1-1 libsqlite3-0_3.39.2-1 libss2_1.46.5-2 libssl1.1_1.1.1o-1 libssl3_3.0.4-2 libstdc++-12-dev_12.1.0-7+rpi1 libstdc++6_12.1.0-7+rpi1 libsub-override-perl_0.09-3 libsynctex2_2022.20220321.62855-4 libsystemd0_251.3-1+rpi1 libtasn1-6_4.18.0-4 libteckit0_2.5.11+ds1-1 libtexlua53-5_2022.20220321.62855-4 libtexluajit2_2022.20220321.62855-4 libtinfo6_6.3+20220423-2 libtirpc-common_1.3.2-2.1 libtirpc-dev_1.3.2-2.1 libtirpc3_1.3.2-2.1 libtool_2.4.7-4 libubsan1_12.1.0-7+rpi1 libuchardet0_0.0.7-1 libudev1_251.3-1+rpi1 libunistring2_1.0-1 libuuid1_2.38.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 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_1.7.0-1+b5 libyojson-ocaml-dev_1.7.0-1+b5 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.18.14-1+rpi1 lmodern_2.005-1 login_1:4.11.1+dfsg1-2 logsave_1.46.5-2 lsb-base_11.2+rpi1 m4_1.4.18-5 make_4.3-4.1 man-db_2.10.2-1 markdown_1.0.1-10.1 mawk_1.3.4.20200120-3.1 media-types_8.0.0 mount_2.38.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.11.1+dfsg1-2 patch_2.7.6-7 perl_5.34.0-5 perl-base_5.34.0-5 perl-modules-5.34_5.34.0-5 pinentry-curses_1.2.0-2 po-debconf_1.0.21+nmu1 preview-latex-style_12.2-1 python3_3.10.5-3 python3-minimal_3.10.5-3 python3.10_3.10.5-1+b1 python3.10-minimal_3.10.5-1+b1 raspbian-archive-keyring_20120528.2 readline-common_8.1.2-1.2 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.30 sysvinit-utils_3.04-1 t1utils_1.41-4 tar_1.34+dfsg-1 tex-common_6.17 texlive-base_2022.20220722-1 texlive-binaries_2022.20220321.62855-4 texlive-fonts-extra_2022.20220722-2 texlive-fonts-recommended_2022.20220722-1 texlive-lang-greek_2022.20220722-1 texlive-latex-base_2022.20220722-1 texlive-latex-extra_2022.20220722-2 texlive-latex-recommended_2022.20220722-1 texlive-pictures_2022.20220722-1 texlive-science_2022.20220722-2 tzdata_2022a-1 ucf_3.0043 util-linux_2.38.1-1 util-linux-extra_2.38.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+b2 zlib1g-dev_1:1.2.11.dfsg-4+b2

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


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

gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/tmp/dpkg-verify-sig.PIVkqNWk/trustedkeys.kbx': General error
gpgv: Signature made Thu Aug 11 08:42:09 2022 UTC
gpgv:                using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify signature ./belenios_1.19+dfsg-1.dsc
dpkg-source: info: extracting belenios in /<<BUILDDIR>>/belenios-1.19+dfsg
dpkg-source: info: unpacking belenios_1.19+dfsg.orig.tar.xz
dpkg-source: info: unpacking belenios_1.19+dfsg-1.debian.tar.xz

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

Sufficient free space for build

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

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=bookworm-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bookworm-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=112
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bookworm-staging-armhf-sbuild-be246c47-5227-4cf3-8601-690289ee4710
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd

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

dpkg-buildpackage: info: source package belenios
dpkg-buildpackage: info: source version 1.19+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.19+dfsg'
dune clean
dune clean --build-dir=_build-debug
make -C po clean
make[2]: Entering directory '/<<BUILDDIR>>/belenios-1.19+dfsg/po'
make -C voter clean
make[3]: Entering directory '/<<BUILDDIR>>/belenios-1.19+dfsg/po/voter'
rm -f *.bak
make[3]: Leaving directory '/<<BUILDDIR>>/belenios-1.19+dfsg/po/voter'
make -C admin clean
make[3]: Entering directory '/<<BUILDDIR>>/belenios-1.19+dfsg/po/admin'
rm -f *.bak
make[3]: Leaving directory '/<<BUILDDIR>>/belenios-1.19+dfsg/po/admin'
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-1.19+dfsg/po'
make -C tests/tool clean
make[2]: Entering directory '/<<BUILDDIR>>/belenios-1.19+dfsg/tests/tool'
rm -rf data
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-1.19+dfsg/tests/tool'
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-1.19+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.19+dfsg'
dune build -p belenios-platform,belenios-platform-native,belenios-lib,belenios-tool
/usr/bin/make doc
make[2]: Entering directory '/<<BUILDDIR>>/belenios-1.19+dfsg'
/usr/bin/make doc/specification.pdf
make[3]: Entering directory '/<<BUILDDIR>>/belenios-1.19+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-07-15>
(/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-07-15>
(/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-07-15>
(/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.19+dfsg'
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-1.19+dfsg'
_build/install/default/bin/belenios-tool --help=groff > debian/belenios-tool.1
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-1.19+dfsg'
   dh_auto_test -a
	make -j4 check
make[1]: Entering directory '/<<BUILDDIR>>/belenios-1.19+dfsg'
make build-debug-tool
make[2]: Entering directory '/<<BUILDDIR>>/belenios-1.19+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.19+dfsg'
make -C tests/tool check
make[2]: Entering directory '/<<BUILDDIR>>/belenios-1.19+dfsg/tests/tool'
mkdir -p data
./demo.sh

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

UUID of the election is iZ7LGBbtzrbNre
5 private credentials with ids saved to ./1660628088.privcreds
5 public credentials saved to ./1660628088.pubcreds
I: keypair 2752E4A3 has been generated
I: public key saved to 2752E4A3.pubkey
I: private key saved to 2752E4A3.privkey
I: keypair 80E8C576 has been generated
I: public key saved to 80E8C576.pubkey
I: private key saved to 80E8C576.privkey
I: keypair 0F489318 has been generated
I: public key saved to 0F489318.pubkey
I: private key saved to 0F489318.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 iYNqzzUGWywU+SDRdAZeFYQdVwSm0rkJgWIQlWqE8Do

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 Duj7FmfgRus0WgIYyCZSRTngI56jSl3DP+75EDTTUP4

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 GauiV2DUxSRxx46g3Wh7DaecsnsxpfPJSkTY3w6i5/w

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 Ipo7DjAW6DXVyczZ+fjoca4cugicO0FavnzVx04A4yU

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 FDHgxGFVTDOsFTS3CSqbOye3xxT38cQ0+AbtOnw+SKY


=-=-= 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 0F489318.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 2752E4A3.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 80E8C576.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.19+dfsg/tests/tool/data/iZ7LGBbtzrbNre/result.json

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

./demo-threshold.sh

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

UUID of the election is 9bYQCdCFRVEEpq
5 private credentials with ids saved to ./1660628130.privcreds
5 public credentials saved to ./1660628130.pubcreds
I: certificate f8f8397c691640ba1bc8b8f3ced967cbf2096544b016dfe27d70570ffc12522c has been generated
I: certificate saved to f8f8397c691640ba1bc8b8f3ced967cbf2096544b016dfe27d70570ffc12522c.cert
I: private key saved to f8f8397c691640ba1bc8b8f3ced967cbf2096544b016dfe27d70570ffc12522c.key
I: certificate 3bbf2ab75d2ae0fe67b12d2f0736fd583ed27846393e6cb0e8f7b50f43f198f0 has been generated
I: certificate saved to 3bbf2ab75d2ae0fe67b12d2f0736fd583ed27846393e6cb0e8f7b50f43f198f0.cert
I: private key saved to 3bbf2ab75d2ae0fe67b12d2f0736fd583ed27846393e6cb0e8f7b50f43f198f0.key
I: certificate 4cdbf9ce61fdc1d2eacb6f354c07894057411f66cf0115f4f82842078a1b8067 has been generated
I: certificate saved to 4cdbf9ce61fdc1d2eacb6f354c07894057411f66cf0115f4f82842078a1b8067.cert
I: private key saved to 4cdbf9ce61fdc1d2eacb6f354c07894057411f66cf0115f4f82842078a1b8067.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 3bbf2ab75d2ae0fe67b12d2f0736fd583ed27846393e6cb0e8f7b50f43f198f0.vinput
I: wrote 4cdbf9ce61fdc1d2eacb6f354c07894057411f66cf0115f4f82842078a1b8067.vinput
I: wrote f8f8397c691640ba1bc8b8f3ced967cbf2096544b016dfe27d70570ffc12522c.vinput
I: loading certs.jsons...
I: loading certs.jsons...
I: loading certs.jsons...
I: loading certs.jsons...
I: loading polynomials.jsons...
I: wrote 3bbf2ab75d2ae0fe67b12d2f0736fd583ed27846393e6cb0e8f7b50f43f198f0.dkey
I: wrote 4cdbf9ce61fdc1d2eacb6f354c07894057411f66cf0115f4f82842078a1b8067.dkey
I: wrote f8f8397c691640ba1bc8b8f3ced967cbf2096544b016dfe27d70570ffc12522c.dkey
I: keypair FBFD7E68 has been generated
I: public key saved to FBFD7E68.pubkey
I: private key saved to FBFD7E68.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 FBFD7E68.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.19+dfsg/tests/tool/data/9bYQCdCFRVEEpq/result.json

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

./demo-nh.sh

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

UUID of the election is P7DBuT1sv7qPEK
60 private credentials with ids saved to ./1660628164.privcreds
60 public credentials saved to ./1660628164.pubcreds
I: keypair AF88F1BD has been generated
I: public key saved to AF88F1BD.pubkey
I: private key saved to AF88F1BD.privkey
I: keypair 6C5B0164 has been generated
I: public key saved to 6C5B0164.pubkey
I: private key saved to 6C5B0164.privkey
I: keypair 35E4A33F has been generated
I: public key saved to 35E4A33F.pubkey
I: private key saved to 35E4A33F.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 35E4A33F.privkey...
I: shuffle 0nkhTDAJKYO3iaP90HQdvxtE+2XMIo9OY1mpbHldbYc has been applied
I: shuffle ILcjguz2WbNv2EK/JNu65L0RRSn9k2LYSkFslQbeqa8 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 6C5B0164.privkey...
I: shuffle 0nkhTDAJKYO3iaP90HQdvxtE+2XMIo9OY1mpbHldbYc has been applied
I: shuffle ILcjguz2WbNv2EK/JNu65L0RRSn9k2LYSkFslQbeqa8 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 AF88F1BD.privkey...
I: shuffle 0nkhTDAJKYO3iaP90HQdvxtE+2XMIo9OY1mpbHldbYc has been applied
I: shuffle ILcjguz2WbNv2EK/JNu65L0RRSn9k2LYSkFslQbeqa8 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.19+dfsg/tests/tool/data/P7DBuT1sv7qPEK/result.json

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

./demo-mj.sh

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

UUID of the election is ZdszMWTsYV2NoD
102 private credentials with ids saved to ./1660631176.privcreds
102 public credentials saved to ./1660631176.pubcreds
I: keypair 169045F1 has been generated
I: public key saved to 169045F1.pubkey
I: private key saved to 169045F1.privkey
I: keypair DDF95309 has been generated
I: public key saved to DDF95309.pubkey
I: private key saved to DDF95309.privkey
I: keypair A8640D72 has been generated
I: public key saved to A8640D72.pubkey
I: private key saved to A8640D72.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 169045F1.privkey...
I: shuffle fORu86tY49ZMQGzxwpt2RcL6Y7Tc6M9u83LDvmkaAEk has been applied
I: shuffle T6RV8lF+ZAXocKhqtqLH6XL1JffS/3I7jgRO1z9v/Vc 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 A8640D72.privkey...
I: shuffle fORu86tY49ZMQGzxwpt2RcL6Y7Tc6M9u83LDvmkaAEk has been applied
I: shuffle T6RV8lF+ZAXocKhqtqLH6XL1JffS/3I7jgRO1z9v/Vc 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 DDF95309.privkey...
I: shuffle fORu86tY49ZMQGzxwpt2RcL6Y7Tc6M9u83LDvmkaAEk has been applied
I: shuffle T6RV8lF+ZAXocKhqtqLH6XL1JffS/3I7jgRO1z9v/Vc 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.19+dfsg/tests/tool/data/ZdszMWTsYV2NoD/result.json

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

./demo-stv.sh

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

UUID of the election is 1BEhTLR8cxwCrV
50 private credentials with ids saved to ./1660632236.privcreds
50 public credentials saved to ./1660632236.pubcreds
I: keypair 4EFD66DC has been generated
I: public key saved to 4EFD66DC.pubkey
I: private key saved to 4EFD66DC.privkey
I: keypair 7766634B has been generated
I: public key saved to 7766634B.pubkey
I: private key saved to 7766634B.privkey
I: keypair 78768F7F has been generated
I: public key saved to 78768F7F.pubkey
I: private key saved to 78768F7F.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 4EFD66DC.privkey...
I: shuffle kYGVXDfYck12xTnZbJgjfHI/SjoiUcWr3W/l9Xpg6Bg has been applied
I: shuffle kEF7XPsrJj8O6ZBpCVsyblVz6FkuPoEWBRZVsFGKzaA 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 7766634B.privkey...
I: shuffle kYGVXDfYck12xTnZbJgjfHI/SjoiUcWr3W/l9Xpg6Bg has been applied
I: shuffle kEF7XPsrJj8O6ZBpCVsyblVz6FkuPoEWBRZVsFGKzaA 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 78768F7F.privkey...
I: shuffle kYGVXDfYck12xTnZbJgjfHI/SjoiUcWr3W/l9Xpg6Bg has been applied
I: shuffle kEF7XPsrJj8O6ZBpCVsyblVz6FkuPoEWBRZVsFGKzaA 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.19+dfsg/tests/tool/data/1BEhTLR8cxwCrV/result.json

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

make[2]: Leaving directory '/<<BUILDDIR>>/belenios-1.19+dfsg/tests/tool'
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-1.19+dfsg'
   create-stamp debian/debhelper-build-stamp
   dh_prep -a
   debian/rules override_dh_auto_install
make[1]: Entering directory '/<<BUILDDIR>>/belenios-1.19+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.19+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.19+dfsg-1_armhf.deb'.
dpkg-deb: building package 'belenios-tool-dbgsym' in '../belenios-tool-dbgsym_1.19+dfsg-1_armhf.deb'.
 dpkg-genbuildinfo --build=any -O../belenios_1.19+dfsg-1_armhf.buildinfo
 dpkg-genchanges --build=any -mRaspbian mythic lxc autobuilder 1 <root@raspbian.org> -O../belenios_1.19+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-08-16T06:52:54Z

Finished
--------

I: Built successfully

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


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


belenios_1.19+dfsg-1_armhf.changes:
-----------------------------------

Format: 1.8
Date: Thu, 11 Aug 2022 10:41:19 +0200
Source: belenios
Binary: belenios-tool belenios-tool-dbgsym
Architecture: armhf
Version: 1.19+dfsg-1
Distribution: bookworm-staging
Urgency: medium
Maintainer: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
 belenios-tool - verifiable voting system (command-line tool)
Changes:
 belenios (1.19+dfsg-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 173fdd4cb4efee37fd97ffbc57ac3ae84b5041a7 284600 belenios-tool-dbgsym_1.19+dfsg-1_armhf.deb
 26e2e3c850b581c70f5cb0fd59e84fe7f4baee22 1617484 belenios-tool_1.19+dfsg-1_armhf.deb
 b258938e0c1c86459dbdf2c6d10b2a1fc185d522 8712 belenios_1.19+dfsg-1_armhf.buildinfo
Checksums-Sha256:
 b1ccfe64cf268103692cd1e4bee5214d1a20a9089a81118aed6978b3ad02fda6 284600 belenios-tool-dbgsym_1.19+dfsg-1_armhf.deb
 6b44404182605f42fc39d7bd9735f33bcb4a455ef46639d0154ff37bb7eb969c 1617484 belenios-tool_1.19+dfsg-1_armhf.deb
 0b5b75ac3e7de11fd206c0c6cf12f69a7d1ee0e690d6fc292b39d7ee90514539 8712 belenios_1.19+dfsg-1_armhf.buildinfo
Files:
 ea191b46e3a75eb82882e6c2e4b90d39 284600 debug optional belenios-tool-dbgsym_1.19+dfsg-1_armhf.deb
 9830fade2eec1be3b672e818c3667605 1617484 misc optional belenios-tool_1.19+dfsg-1_armhf.deb
 558db49848af8a0b1c3054e0aaa4ad65 8712 misc optional belenios_1.19+dfsg-1_armhf.buildinfo

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


belenios-tool-dbgsym_1.19+dfsg-1_armhf.deb
------------------------------------------

 new Debian package, version 2.0.
 size 284600 bytes: control archive=536 bytes.
     388 bytes,    12 lines      control              
     106 bytes,     1 lines      md5sums              
 Package: belenios-tool-dbgsym
 Source: belenios
 Version: 1.19+dfsg-1
 Auto-Built-Package: debug-symbols
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 1016
 Depends: belenios-tool (= 1.19+dfsg-1)
 Section: debug
 Priority: optional
 Description: debug symbols for belenios-tool
 Build-Ids: 81353ab42bdd044d13064d16c4f42d6a2ddb1867

drwxr-xr-x root/root         0 2022-08-11 08:41 ./
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/lib/
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/lib/debug/
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/lib/debug/.build-id/81/
-rw-r--r-- root/root   1029320 2022-08-11 08:41 ./usr/lib/debug/.build-id/81/353ab42bdd044d13064d16c4f42d6a2ddb1867.debug
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/share/
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/share/doc/
lrwxrwxrwx root/root         0 2022-08-11 08:41 ./usr/share/doc/belenios-tool-dbgsym -> belenios-tool


belenios-tool_1.19+dfsg-1_armhf.deb
-----------------------------------

 new Debian package, version 2.0.
 size 1617484 bytes: control archive=1488 bytes.
    1632 bytes,    35 lines      control              
    1000 bytes,    13 lines      md5sums              
 Package: belenios-tool
 Source: belenios
 Version: 1.19+dfsg-1
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 3873
 Depends: libc6 (>= 2.29), 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-08-11 08:41 ./
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/bin/
-rwxr-xr-x root/root   3189456 2022-08-11 08:41 ./usr/bin/belenios-tool
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/share/
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/share/doc/
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/share/doc/belenios-tool/
-rw-r--r-- root/root      3284 2022-08-11 08:41 ./usr/share/doc/belenios-tool/README.md
-rw-r--r-- root/root       722 2022-08-11 08:41 ./usr/share/doc/belenios-tool/changelog.Debian.gz
-rw-r--r-- root/root      6294 2022-08-11 08:41 ./usr/share/doc/belenios-tool/changelog.gz
-rw-r--r-- root/root     33969 2022-08-11 08:41 ./usr/share/doc/belenios-tool/copyright
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/share/doc/belenios-tool/examples/
-rwxr-xr-x root/root      4108 2022-05-10 12:08 ./usr/share/doc/belenios-tool/examples/demo-mj.sh
-rwxr-xr-x root/root      4259 2022-05-10 12:08 ./usr/share/doc/belenios-tool/examples/demo-nh.sh
-rwxr-xr-x root/root      4066 2022-05-10 12:08 ./usr/share/doc/belenios-tool/examples/demo-stv.sh
-rwxr-xr-x root/root      2956 2022-05-10 12:08 ./usr/share/doc/belenios-tool/examples/demo-threshold.sh
-rwxr-xr-x root/root      2942 2022-05-10 12:08 ./usr/share/doc/belenios-tool/examples/demo.sh
-rw-r--r-- root/root    692553 2022-08-11 08:41 ./usr/share/doc/belenios-tool/specification.pdf.gz
-rw-r--r-- root/root      2430 2022-05-10 12:08 ./usr/share/doc/belenios-tool/tool.md.gz
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/share/man/
drwxr-xr-x root/root         0 2022-08-11 08:41 ./usr/share/man/man1/
-rw-r--r-- root/root      1248 2022-08-11 08:41 ./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: 103532
Build-Time: 4745
Distribution: bookworm-staging
Host Architecture: armhf
Install-Time: 995
Job: belenios_1.19+dfsg-1
Machine Architecture: armhf
Package: belenios
Package-Time: 5759
Source-Version: 1.19+dfsg-1
Space: 103532
Status: successful
Version: 1.19+dfsg-1
--------------------------------------------------------------------------------
Finished at 2022-08-16T06:52:54Z
Build needed 01:35:59, 103532k disk space