belenios →
2.0+dfsg-1 →
armhf → 2023-01-07 09:33:42
sbuild (Debian sbuild) 0.71.0 (24 Aug 2016) on testwandboard
+==============================================================================+
| belenios 2.0+dfsg-1 (armhf) Sat, 07 Jan 2023 05:29:01 +0000 |
+==============================================================================+
Package: belenios
Version: 2.0+dfsg-1
Source Version: 2.0+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-0abb6236-377b-47f1-a5eb-7256c6f0a5ff' 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.5 MB]
Get:3 http://172.17.4.1/private bookworm-staging/main armhf Packages [14.3 MB]
Fetched 27.9 MB in 32s (880 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 496 kB of source archives.
Get:1 http://172.17.4.1/private bookworm-staging/main belenios 2.0+dfsg-1 (dsc) [2053 B]
Get:2 http://172.17.4.1/private bookworm-staging/main belenios 2.0+dfsg-1 (tar) [468 kB]
Get:3 http://172.17.4.1/private bookworm-staging/main belenios 2.0+dfsg-1 (diff) [26.1 kB]
Fetched 496 kB in 0s (2197 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/belenios-rWUQRP/belenios-2.0+dfsg' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/belenios-rWUQRP' 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-A8plQr/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-A8plQr/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-A8plQr/gpg/trustdb.gpg: trustdb created
gpg: key 35506D9A48F77B2E: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg: imported: 1
gpg: key 35506D9A48F77B2E: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 35506D9A48F77B2E: secret key imported
gpg: Total number processed: 1
gpg: unchanged: 1
gpg: secret keys read: 1
gpg: secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-A8plQr/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-A8plQr/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-A8plQr/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-A8plQr/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-A8plQr/apt_archive ./ Packages [433 B]
Fetched 2109 B in 1s (2503 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 35 not upgraded.
Need to get 848 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-A8plQr/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [848 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 848 B in 0s (22.6 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12958 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Check architectures |
+------------------------------------------------------------------------------+
Arch check ok (armhf included in any)
+------------------------------------------------------------------------------+
| Install package build dependencies |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: debhelper-compat (= 13), dh-ocaml, ocaml-dune, libzarith-ocaml-dev, libcalendar-ocaml-dev, libuuidm-ocaml-dev, libcryptokit-ocaml-dev, libatdgen-ocaml-dev (>= 2.10.0), libyojson-ocaml-dev, libcmdliner-ocaml-dev (>= 1.1), libhex-ocaml-dev, libbase64-ocaml-dev, ocaml-nox, markdown, texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra, texlive-science, lmodern
Filtered Build-Depends: debhelper-compat (= 13), dh-ocaml, ocaml-dune, libzarith-ocaml-dev, libcalendar-ocaml-dev, libuuidm-ocaml-dev, libcryptokit-ocaml-dev, libatdgen-ocaml-dev (>= 2.10.0), libyojson-ocaml-dev, libcmdliner-ocaml-dev (>= 1.1), libhex-ocaml-dev, libbase64-ocaml-dev, ocaml-nox, markdown, texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra, texlive-science, lmodern
dpkg-deb: building package 'sbuild-build-depends-belenios-dummy' in '/<<BUILDDIR>>/resolver-A8plQr/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-A8plQr/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-A8plQr/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-A8plQr/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-A8plQr/apt_archive ./ Sources [639 B]
Get:5 copy:/<<BUILDDIR>>/resolver-A8plQr/apt_archive ./ Packages [723 B]
Fetched 2695 B in 1s (3571 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 libbase-ocaml
libbase-ocaml-dev libbase64-ocaml libbase64-ocaml-dev
libbigarray-compat-ocaml libbigarray-compat-ocaml-dev libbiniou-ocaml
libbiniou-ocaml-dev libbrotli1 libbsd0 libcairo2 libcalendar-ocaml
libcalendar-ocaml-dev libcmdliner-ocaml-dev libcommons-logging-java
libcommons-parent-java libcryptokit-ocaml libcryptokit-ocaml-dev
libcstruct-ocaml libcstruct-ocaml-dev libdebhelper-perl libeasy-format-ocaml
libeasy-format-ocaml-dev libelf1 libev-dev libev4 libexpat1
libfile-stripnondeterminism-perl libfindlib-ocaml libfontbox-java
libfontconfig1 libfontenc1 libfreetype6 libglib2.0-0 libgmp-dev libgmp3-dev
libgmpxx4ldbl libgraphite2-3 libharfbuzz0b libhex-ocaml libhex-ocaml-dev
libice6 libicu72 libkpathsea6 liblwt-ocaml liblwt-ocaml-dev libmagic-mgc
libmagic1 libmd0 libmmap-ocaml libmmap-ocaml-dev libmpdec3 libncurses-dev
libncurses5-dev libncurses6 libncursesw6 libnum-ocaml libnum-ocaml-dev
libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml
libocplib-endian-ocaml-dev libpaper-utils libpaper1 libparsexp-ocaml
libparsexp-ocaml-dev libpdfbox-java libpipeline1 libpixman-1-0 libpng16-16
libppx-derivers-ocaml-dev libppxlib-ocaml-dev libptexenc1 libpython3-stdlib
libpython3.10-minimal libpython3.10-stdlib libreact-ocaml libreact-ocaml-dev
libresult-ocaml libresult-ocaml-dev libsexplib-ocaml libsexplib-ocaml-dev
libsexplib0-ocaml libsexplib0-ocaml-dev libsm6 libsub-override-perl
libsynctex2 libteckit0 libtexlua53-5 libtexluajit2 libtinfo6 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 ncurses-bin ocaml ocaml-base ocaml-compiler-libs ocaml-dune
ocaml-findlib ocaml-interp ocaml-nox po-debconf preview-latex-style python3
python3-minimal python3.10 python3.10-minimal t1utils tex-common
texlive-base texlive-binaries texlive-fonts-extra texlive-fonts-recommended
texlive-lang-greek texlive-latex-base texlive-latex-extra
texlive-latex-recommended texlive-pictures texlive-science ucf x11-common
xdg-utils xfonts-encodings xfonts-utils zlib1g-dev
Suggested packages:
autoconf-archive gnu-standards autoconf-doc dh-make git gettext-doc
libasprintf-dev libgettextpo-dev groff libcalendar-ocaml-doc
libavalon-framework-java libcommons-logging-java-doc
libexcalibur-logkit-java liblog4j1.2-java low-memory-monitor gmp-doc
libgmp10-doc libmpfr-dev liblwt-ssl-ocaml-dev liblwt-glib-ocaml-dev
ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc
apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl
python3-doc python3-tk python3-venv python3.10-venv python3.10-doc
binfmt-support ghostscript gv | postscript-viewer perl-tk xpdf | pdf-viewer
xzdec texlive-fonts-extra-doc texlive-fonts-recommended-doc
texlive-latex-base-doc wp2latex python3-pygments icc-profiles
libfile-which-perl texlive-latex-extra-doc texlive-latex-recommended-doc
texlive-luatex texlive-pstricks dot2tex prerex texlive-pictures-doc vprerex
texlive-science-doc
Recommended packages:
curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info
xdg-user-dirs liblwt-ocaml-doc libgpm2 libltdl-dev ocaml-man
libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl dvisvgm
cm-super fonts-adf-accanthis fonts-adf-berenis fonts-adf-gillius
fonts-adf-universalis fonts-alegreya-sans fonts-cabin fonts-cantarell
fonts-clear-sans fonts-comfortaa fonts-comic-neue fonts-croscore
fonts-crosextra-caladea fonts-crosextra-carlito fonts-dejavu-extra
fonts-ebgaramond fonts-ebgaramond-extra fonts-font-awesome
fonts-freefont-otf fonts-freefont-ttf fonts-gfs-artemisia
fonts-gfs-complutum fonts-gfs-didot fonts-gfs-neohellenic fonts-gfs-olga
fonts-gfs-solomos fonts-go fonts-inter fonts-junicode fonts-lato
fonts-linuxlibertine fonts-lobstertwo fonts-noto-color-emoji fonts-noto-core
fonts-noto-mono fonts-oflb-asana-math fonts-open-sans fonts-paratype
fonts-roboto-slab fonts-roboto-unhinted fonts-sil-andika fonts-sil-charis
fonts-sil-gentium fonts-sil-gentium-basic fonts-sil-gentiumplus
fonts-sil-gentiumplus-compact fonts-stix texlive-fonts-extra-links tex-gyre
tipa default-jre libspreadsheet-parseexcel-perl texlive-plain-generic ruby
tk libfile-mimeinfo-perl libnet-dbus-perl libx11-protocol-perl x11-utils
x11-xserver-utils
The following NEW packages will be installed:
autoconf automake autopoint autotools-dev bsdextrautils debhelper
dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file fontconfig-config
fonts-dejavu-core fonts-gfs-baskerville fonts-gfs-porson fonts-lmodern
gettext gettext-base groff-base intltool-debian libapache-pom-java
libarchive-zip-perl libatdgen-ocaml libatdgen-ocaml-dev libbase-ocaml
libbase-ocaml-dev libbase64-ocaml libbase64-ocaml-dev
libbigarray-compat-ocaml libbigarray-compat-ocaml-dev libbiniou-ocaml
libbiniou-ocaml-dev libbrotli1 libbsd0 libcairo2 libcalendar-ocaml
libcalendar-ocaml-dev libcmdliner-ocaml-dev libcommons-logging-java
libcommons-parent-java libcryptokit-ocaml libcryptokit-ocaml-dev
libcstruct-ocaml libcstruct-ocaml-dev libdebhelper-perl libeasy-format-ocaml
libeasy-format-ocaml-dev libelf1 libev-dev libev4 libexpat1
libfile-stripnondeterminism-perl libfindlib-ocaml libfontbox-java
libfontconfig1 libfontenc1 libfreetype6 libglib2.0-0 libgmp-dev libgmp3-dev
libgmpxx4ldbl libgraphite2-3 libharfbuzz0b libhex-ocaml libhex-ocaml-dev
libice6 libicu72 libkpathsea6 liblwt-ocaml liblwt-ocaml-dev libmagic-mgc
libmagic1 libmd0 libmmap-ocaml libmmap-ocaml-dev libmpdec3 libncurses-dev
libncurses5-dev libncurses6 libnum-ocaml libnum-ocaml-dev
libocaml-compiler-libs-ocaml-dev libocplib-endian-ocaml
libocplib-endian-ocaml-dev libpaper-utils libpaper1 libparsexp-ocaml
libparsexp-ocaml-dev libpdfbox-java libpipeline1 libpixman-1-0 libpng16-16
libppx-derivers-ocaml-dev libppxlib-ocaml-dev libptexenc1 libpython3-stdlib
libpython3.10-minimal libpython3.10-stdlib libreact-ocaml libreact-ocaml-dev
libresult-ocaml libresult-ocaml-dev libsexplib-ocaml libsexplib-ocaml-dev
libsexplib0-ocaml libsexplib0-ocaml-dev libsm6 libsub-override-perl
libsynctex2 libteckit0 libtexlua53-5 libtexluajit2 libtool libuchardet0
libuuidm-ocaml-dev libx11-6 libx11-data libxau6 libxaw7 libxcb-render0
libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxi6 libxml2 libxmu6 libxpm4
libxrender1 libxt6 libyojson-ocaml libyojson-ocaml-dev libzarith-ocaml
libzarith-ocaml-dev libzzip-0-13 lmodern m4 man-db markdown media-types
ocaml ocaml-base ocaml-compiler-libs ocaml-dune ocaml-findlib ocaml-interp
ocaml-nox po-debconf preview-latex-style python3 python3-minimal python3.10
python3.10-minimal sbuild-build-depends-belenios-dummy t1utils tex-common
texlive-base texlive-binaries texlive-fonts-extra texlive-fonts-recommended
texlive-lang-greek texlive-latex-base texlive-latex-extra
texlive-latex-recommended texlive-pictures texlive-science ucf x11-common
xdg-utils xfonts-encodings xfonts-utils zlib1g-dev
The following packages will be upgraded:
libncursesw6 libtinfo6 ncurses-bin
3 upgraded, 172 newly installed, 0 to remove and 32 not upgraded.
Need to get 875 MB of archives.
After this operation, 2660 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-A8plQr/apt_archive ./ sbuild-build-depends-belenios-dummy 0.invalid.0 [1008 B]
Get:2 http://172.17.4.1/private bookworm-staging/main armhf ncurses-bin armhf 6.3+20221224-2 [413 kB]
Get:3 http://172.17.4.1/private bookworm-staging/main armhf libpython3.10-minimal armhf 3.10.9-1 [769 kB]
Get:4 http://172.17.4.1/private bookworm-staging/main armhf libexpat1 armhf 2.5.0-1 [77.2 kB]
Get:5 http://172.17.4.1/private bookworm-staging/main armhf python3.10-minimal armhf 3.10.9-1 [1477 kB]
Get:6 http://172.17.4.1/private bookworm-staging/main armhf python3-minimal armhf 3.10.6-3 [25.5 kB]
Get:7 http://172.17.4.1/private bookworm-staging/main armhf media-types all 8.0.0 [33.4 kB]
Get:8 http://172.17.4.1/private bookworm-staging/main armhf libmpdec3 armhf 2.5.1-2+rpi1 [73.5 kB]
Get:9 http://172.17.4.1/private bookworm-staging/main armhf libtinfo6 armhf 6.3+20221224-2 [316 kB]
Get:10 http://172.17.4.1/private bookworm-staging/main armhf libncursesw6 armhf 6.3+20221224-2 [106 kB]
Get:11 http://172.17.4.1/private bookworm-staging/main armhf libpython3.10-stdlib armhf 3.10.9-1 [1597 kB]
Get:12 http://172.17.4.1/private bookworm-staging/main armhf python3.10 armhf 3.10.9-1 [509 kB]
Get:13 http://172.17.4.1/private bookworm-staging/main armhf libpython3-stdlib armhf 3.10.6-3 [8588 B]
Get:14 http://172.17.4.1/private bookworm-staging/main armhf python3 armhf 3.10.6-3 [25.2 kB]
Get:15 http://172.17.4.1/private bookworm-staging/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB]
Get:16 http://172.17.4.1/private bookworm-staging/main armhf groff-base armhf 1.22.4-9 [774 kB]
Get:17 http://172.17.4.1/private bookworm-staging/main armhf bsdextrautils armhf 2.38.1-4 [78.8 kB]
Get:18 http://172.17.4.1/private bookworm-staging/main armhf libpipeline1 armhf 1.5.7-1 [33.4 kB]
Get:19 http://172.17.4.1/private bookworm-staging/main armhf man-db armhf 2.11.1-1 [1341 kB]
Get:20 http://172.17.4.1/private bookworm-staging/main armhf libmagic-mgc armhf 1:5.41-4 [295 kB]
Get:21 http://172.17.4.1/private bookworm-staging/main armhf libmagic1 armhf 1:5.41-4 [120 kB]
Get:22 http://172.17.4.1/private bookworm-staging/main armhf file armhf 1:5.41-4 [65.8 kB]
Get:23 http://172.17.4.1/private bookworm-staging/main armhf gettext-base armhf 0.21-10 [156 kB]
Get:24 http://172.17.4.1/private bookworm-staging/main armhf ucf all 3.0043 [74.0 kB]
Get:25 http://172.17.4.1/private bookworm-staging/main armhf m4 armhf 1.4.19-1 [260 kB]
Get:26 http://172.17.4.1/private bookworm-staging/main armhf autoconf all 2.71-2 [343 kB]
Get:27 http://172.17.4.1/private bookworm-staging/main armhf autotools-dev all 20220109.1 [51.6 kB]
Get:28 http://172.17.4.1/private bookworm-staging/main armhf automake all 1:1.16.5-1.3 [823 kB]
Get:29 http://172.17.4.1/private bookworm-staging/main armhf autopoint all 0.21-10 [495 kB]
Get:30 http://172.17.4.1/private bookworm-staging/main armhf libdebhelper-perl all 13.11.4 [81.2 kB]
Get:31 http://172.17.4.1/private bookworm-staging/main armhf libtool all 2.4.7-5 [517 kB]
Get:32 http://172.17.4.1/private bookworm-staging/main armhf dh-autoreconf all 20 [17.1 kB]
Get:33 http://172.17.4.1/private bookworm-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:34 http://172.17.4.1/private bookworm-staging/main armhf libsub-override-perl all 0.09-4 [9304 B]
Get:35 http://172.17.4.1/private bookworm-staging/main armhf libfile-stripnondeterminism-perl all 1.13.0-2 [19.4 kB]
Get:36 http://172.17.4.1/private bookworm-staging/main armhf dh-strip-nondeterminism all 1.13.0-2 [8556 B]
Get:37 http://172.17.4.1/private bookworm-staging/main armhf libelf1 armhf 0.187-2+rpi2 [177 kB]
Get:38 http://172.17.4.1/private bookworm-staging/main armhf dwz armhf 0.15-1 [92.4 kB]
Get:39 http://172.17.4.1/private bookworm-staging/main armhf libicu72 armhf 72.1-3 [9009 kB]
Get:40 http://172.17.4.1/private bookworm-staging/main armhf libxml2 armhf 2.9.14+dfsg-1.1 [570 kB]
Get:41 http://172.17.4.1/private bookworm-staging/main armhf gettext armhf 0.21-10 [1203 kB]
Get:42 http://172.17.4.1/private bookworm-staging/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get:43 http://172.17.4.1/private bookworm-staging/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
Get:44 http://172.17.4.1/private bookworm-staging/main armhf debhelper all 13.11.4 [942 kB]
Get:45 http://172.17.4.1/private bookworm-staging/main armhf dh-ocaml all 1.1.3 [82.9 kB]
Get:46 http://172.17.4.1/private bookworm-staging/main armhf fonts-dejavu-core all 2.37-2 [1069 kB]
Get:47 http://172.17.4.1/private bookworm-staging/main armhf fontconfig-config armhf 2.13.1-4.5 [281 kB]
Get:48 http://172.17.4.1/private bookworm-staging/main armhf fonts-gfs-baskerville all 1.1-6 [43.7 kB]
Get:49 http://172.17.4.1/private bookworm-staging/main armhf fonts-gfs-porson all 1.1-7 [33.8 kB]
Get:50 http://172.17.4.1/private bookworm-staging/main armhf fonts-lmodern all 2.005-1 [4540 kB]
Get:51 http://172.17.4.1/private bookworm-staging/main armhf libapache-pom-java all 25-2 [5260 B]
Get:52 http://172.17.4.1/private bookworm-staging/main armhf ocaml-base armhf 4.13.1-3+rpi1 [607 kB]
Get:53 http://172.17.4.1/private bookworm-staging/main armhf libeasy-format-ocaml armhf 1.3.2-1+b2 [44.8 kB]
Get:54 http://172.17.4.1/private bookworm-staging/main armhf libbiniou-ocaml armhf 1.2.1-1+b3 [125 kB]
Get:55 http://172.17.4.1/private bookworm-staging/main armhf libyojson-ocaml armhf 2.0.2-2 [606 kB]
Get:56 http://172.17.4.1/private bookworm-staging/main armhf libatdgen-ocaml armhf 2.10.0-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+20221224-2 [80.2 kB]
Get:60 http://172.17.4.1/private bookworm-staging/main armhf libncurses-dev armhf 6.3+20221224-2 [291 kB]
Get:61 http://172.17.4.1/private bookworm-staging/main armhf libncurses5-dev armhf 6.3+20221224-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 libyojson-ocaml-dev armhf 2.0.2-2 [1224 kB]
Get:66 http://172.17.4.1/private bookworm-staging/main armhf libatdgen-ocaml-dev armhf 2.10.0-2 [984 kB]
Get:67 http://172.17.4.1/private bookworm-staging/main armhf libsexplib0-ocaml armhf 0.15.1-1 [86.1 kB]
Get:68 http://172.17.4.1/private bookworm-staging/main armhf libbase-ocaml armhf 0.15.1-1 [2375 kB]
Get:69 http://172.17.4.1/private bookworm-staging/main armhf libsexplib0-ocaml-dev armhf 0.15.1-1 [185 kB]
Get:70 http://172.17.4.1/private bookworm-staging/main armhf libbase-ocaml-dev armhf 0.15.1-1 [6248 kB]
Get:71 http://172.17.4.1/private bookworm-staging/main armhf libbase64-ocaml armhf 3.5.0-1+b1 [64.1 kB]
Get:72 http://172.17.4.1/private bookworm-staging/main armhf libbase64-ocaml-dev armhf 3.5.0-1+b1 [137 kB]
Get:73 http://172.17.4.1/private bookworm-staging/main armhf libbigarray-compat-ocaml armhf 1.1.0-1 [7888 B]
Get:74 http://172.17.4.1/private bookworm-staging/main armhf libbigarray-compat-ocaml-dev armhf 1.1.0-1 [17.3 kB]
Get:75 http://172.17.4.1/private bookworm-staging/main armhf libbrotli1 armhf 1.0.9-2+b2 [260 kB]
Get:76 http://172.17.4.1/private bookworm-staging/main armhf libmd0 armhf 1.0.4-2 [28.6 kB]
Get:77 http://172.17.4.1/private bookworm-staging/main armhf libbsd0 armhf 0.11.7-1 [112 kB]
Get:78 http://172.17.4.1/private bookworm-staging/main armhf libpng16-16 armhf 1.6.39-2 [258 kB]
Get:79 http://172.17.4.1/private bookworm-staging/main armhf libfreetype6 armhf 2.12.1+dfsg-3 [352 kB]
Get:80 http://172.17.4.1/private bookworm-staging/main armhf libfontconfig1 armhf 2.13.1-4.5 [330 kB]
Get:81 http://172.17.4.1/private bookworm-staging/main armhf libpixman-1-0 armhf 0.42.2-1 [461 kB]
Get:82 http://172.17.4.1/private bookworm-staging/main armhf libxau6 armhf 1:1.0.9-1 [19.1 kB]
Get:83 http://172.17.4.1/private bookworm-staging/main armhf libxdmcp6 armhf 1:1.1.2-3 [25.0 kB]
Get:84 http://172.17.4.1/private bookworm-staging/main armhf libxcb1 armhf 1.15-1 [139 kB]
Get:85 http://172.17.4.1/private bookworm-staging/main armhf libx11-data all 2:1.8.3-3 [292 kB]
Get:86 http://172.17.4.1/private bookworm-staging/main armhf libx11-6 armhf 2:1.8.3-3 [687 kB]
Get:87 http://172.17.4.1/private bookworm-staging/main armhf libxcb-render0 armhf 1.15-1 [114 kB]
Get:88 http://172.17.4.1/private bookworm-staging/main armhf libxcb-shm0 armhf 1.15-1 [106 kB]
Get:89 http://172.17.4.1/private bookworm-staging/main armhf libxext6 armhf 2:1.3.4-1 [48.0 kB]
Get:90 http://172.17.4.1/private bookworm-staging/main armhf libxrender1 armhf 1:0.9.10-1.1 [30.0 kB]
Get:91 http://172.17.4.1/private bookworm-staging/main armhf libcairo2 armhf 1.16.0-7 [482 kB]
Get:92 http://172.17.4.1/private bookworm-staging/main armhf libcalendar-ocaml armhf 2.04-3+b3 [77.2 kB]
Get:93 http://172.17.4.1/private bookworm-staging/main armhf libfindlib-ocaml armhf 1.9.3-1 [172 kB]
Get:94 http://172.17.4.1/private bookworm-staging/main armhf ocaml-findlib armhf 1.9.3-1 [433 kB]
Get:95 http://172.17.4.1/private bookworm-staging/main armhf libcalendar-ocaml-dev armhf 2.04-3+b3 [166 kB]
Get:96 http://172.17.4.1/private bookworm-staging/main armhf libcmdliner-ocaml-dev armhf 1.1.1-1 [465 kB]
Get:97 http://172.17.4.1/private bookworm-staging/main armhf libcommons-parent-java all 55-1 [10.5 kB]
Get:98 http://172.17.4.1/private bookworm-staging/main armhf libcommons-logging-java all 1.2-3 [62.4 kB]
Get:99 http://172.17.4.1/private bookworm-staging/main armhf libzarith-ocaml armhf 1.12-1+b1 [51.2 kB]
Get:100 http://172.17.4.1/private bookworm-staging/main armhf libcryptokit-ocaml armhf 1.16.1-1+b3 [278 kB]
Get:101 http://172.17.4.1/private bookworm-staging/main armhf zlib1g-dev armhf 1:1.2.13.dfsg-1 [901 kB]
Get:102 http://172.17.4.1/private bookworm-staging/main armhf libgmpxx4ldbl armhf 2:6.2.1+dfsg1-1.1 [338 kB]
Get:103 http://172.17.4.1/private bookworm-staging/main armhf libgmp-dev armhf 2:6.2.1+dfsg1-1.1 [582 kB]
Get:104 http://172.17.4.1/private bookworm-staging/main armhf libgmp3-dev armhf 2:6.2.1+dfsg1-1.1 [331 kB]
Get:105 http://172.17.4.1/private bookworm-staging/main armhf libzarith-ocaml-dev armhf 1.12-1+b1 [90.2 kB]
Get:106 http://172.17.4.1/private bookworm-staging/main armhf libcryptokit-ocaml-dev armhf 1.16.1-1+b3 [522 kB]
Get:107 http://172.17.4.1/private bookworm-staging/main armhf libmmap-ocaml armhf 1.2.0-1 [5840 B]
Get:108 http://172.17.4.1/private bookworm-staging/main armhf libocplib-endian-ocaml armhf 1.2-1+b1 [72.7 kB]
Get:109 http://172.17.4.1/private bookworm-staging/main armhf libreact-ocaml armhf 1.2.2-1 [181 kB]
Get:110 http://172.17.4.1/private bookworm-staging/main armhf libresult-ocaml armhf 1.5-1+b2 [7272 B]
Get:111 http://172.17.4.1/private bookworm-staging/main armhf libev4 armhf 1:4.33-1 [38.2 kB]
Get:112 http://172.17.4.1/private bookworm-staging/main armhf liblwt-ocaml armhf 5.5.0-1+b6 [839 kB]
Get:113 http://172.17.4.1/private bookworm-staging/main armhf libparsexp-ocaml armhf 0.14.2-1+b1 [226 kB]
Get:114 http://172.17.4.1/private bookworm-staging/main armhf libnum-ocaml armhf 1.4-2+b1 [168 kB]
Get:115 http://172.17.4.1/private bookworm-staging/main armhf libsexplib-ocaml armhf 1:0.15.1-1 [270 kB]
Get:116 http://172.17.4.1/private bookworm-staging/main armhf libcstruct-ocaml armhf 6.0.1-1+b6 [222 kB]
Get:117 http://172.17.4.1/private bookworm-staging/main armhf libev-dev armhf 1:4.33-1 [132 kB]
Get:118 http://172.17.4.1/private bookworm-staging/main armhf libmmap-ocaml-dev armhf 1.2.0-1 [8184 B]
Get:119 http://172.17.4.1/private bookworm-staging/main armhf libocaml-compiler-libs-ocaml-dev armhf 0.12.4-1+b1 [77.9 kB]
Get:120 http://172.17.4.1/private bookworm-staging/main armhf libocplib-endian-ocaml-dev armhf 1.2-1+b1 [141 kB]
Get:121 http://172.17.4.1/private bookworm-staging/main armhf libppx-derivers-ocaml-dev armhf 1.2.1-1+b3 [15.8 kB]
Get:122 http://172.17.4.1/private bookworm-staging/main armhf libppxlib-ocaml-dev armhf 0.27.0-2+b1 [13.6 MB]
Get:123 http://172.17.4.1/private bookworm-staging/main armhf libreact-ocaml-dev armhf 1.2.2-1 [129 kB]
Get:124 http://172.17.4.1/private bookworm-staging/main armhf libresult-ocaml-dev armhf 1.5-1+b2 [10.1 kB]
Get:125 http://172.17.4.1/private bookworm-staging/main armhf liblwt-ocaml-dev armhf 5.5.0-1+b6 [4624 kB]
Get:126 http://172.17.4.1/private bookworm-staging/main armhf libparsexp-ocaml-dev armhf 0.14.2-1+b1 [557 kB]
Get:127 http://172.17.4.1/private bookworm-staging/main armhf libnum-ocaml-dev armhf 1.4-2+b1 [110 kB]
Get:128 http://172.17.4.1/private bookworm-staging/main armhf libsexplib-ocaml-dev armhf 1:0.15.1-1 [570 kB]
Get:129 http://172.17.4.1/private bookworm-staging/main armhf libcstruct-ocaml-dev armhf 6.0.1-1+b6 [3172 kB]
Get:130 http://172.17.4.1/private bookworm-staging/main armhf libfontbox-java all 1:1.8.16-2 [211 kB]
Get:131 http://172.17.4.1/private bookworm-staging/main armhf libfontenc1 armhf 1:1.1.4-1 [22.3 kB]
Get:132 http://172.17.4.1/private bookworm-staging/main armhf libglib2.0-0 armhf 2.74.1-2 [1214 kB]
Get:133 http://172.17.4.1/private bookworm-staging/main armhf libgraphite2-3 armhf 1.3.14-1 [70.3 kB]
Get:134 http://172.17.4.1/private bookworm-staging/main armhf libharfbuzz0b armhf 6.0.0-1 [1886 kB]
Get:135 http://172.17.4.1/private bookworm-staging/main armhf libhex-ocaml armhf 1.4.0-1+b7 [23.3 kB]
Get:136 http://172.17.4.1/private bookworm-staging/main armhf libhex-ocaml-dev armhf 1.4.0-1+b7 [46.2 kB]
Get:137 http://172.17.4.1/private bookworm-staging/main armhf x11-common all 1:7.7+23 [252 kB]
Get:138 http://172.17.4.1/private bookworm-staging/main armhf libice6 armhf 2:1.0.10-1 [51.7 kB]
Get:139 http://172.17.4.1/private bookworm-staging/main armhf libkpathsea6 armhf 2022.20220321.62855-5 [142 kB]
Get:140 http://172.17.4.1/private bookworm-staging/main armhf libpaper1 armhf 1.1.28 [20.5 kB]
Get:141 http://172.17.4.1/private bookworm-staging/main armhf libpaper-utils armhf 1.1.28 [17.7 kB]
Get:142 http://172.17.4.1/private bookworm-staging/main armhf libpdfbox-java all 1:1.8.16-2 [5205 kB]
Get:143 http://172.17.4.1/private bookworm-staging/main armhf libptexenc1 armhf 2022.20220321.62855-5 [40.1 kB]
Get:144 http://172.17.4.1/private bookworm-staging/main armhf libsm6 armhf 2:1.2.3-1 [32.9 kB]
Get:145 http://172.17.4.1/private bookworm-staging/main armhf libsynctex2 armhf 2022.20220321.62855-5 [46.3 kB]
Get:146 http://172.17.4.1/private bookworm-staging/main armhf libteckit0 armhf 2.5.11+ds1-1 [256 kB]
Get:147 http://172.17.4.1/private bookworm-staging/main armhf libtexlua53-5 armhf 2022.20220321.62855-5 [81.3 kB]
Get:148 http://172.17.4.1/private bookworm-staging/main armhf libtexluajit2 armhf 2022.20220321.62855-5 [187 kB]
Get:149 http://172.17.4.1/private bookworm-staging/main armhf libuuidm-ocaml-dev armhf 0.9.7-1+b2 [371 kB]
Get:150 http://172.17.4.1/private bookworm-staging/main armhf libxt6 armhf 1:1.2.1-1 [159 kB]
Get:151 http://172.17.4.1/private bookworm-staging/main armhf libxmu6 armhf 2:1.1.3-3 [52.0 kB]
Get:152 http://172.17.4.1/private bookworm-staging/main armhf libxpm4 armhf 1:3.5.12-1 [43.6 kB]
Get:153 http://172.17.4.1/private bookworm-staging/main armhf libxaw7 armhf 2:1.0.14-1 [165 kB]
Get:154 http://172.17.4.1/private bookworm-staging/main armhf libxi6 armhf 2:1.8-1 [78.1 kB]
Get:155 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:156 http://172.17.4.1/private bookworm-staging/main armhf tex-common all 6.18 [32.5 kB]
Get:157 http://172.17.4.1/private bookworm-staging/main armhf xfonts-encodings all 1:1.0.4-2.1 [573 kB]
Get:158 http://172.17.4.1/private bookworm-staging/main armhf xfonts-utils armhf 1:7.7+6 [82.5 kB]
Get:159 http://172.17.4.1/private bookworm-staging/main armhf lmodern all 2.005-1 [9480 kB]
Get:160 http://172.17.4.1/private bookworm-staging/main armhf markdown all 1.0.1-12 [17.7 kB]
Get:161 http://172.17.4.1/private bookworm-staging/main armhf ocaml-dune armhf 2.9.1-1+b2 [2060 kB]
Get:162 http://172.17.4.1/private bookworm-staging/main armhf ocaml-nox all 4.13.1-3+rpi1 [185 kB]
Get:163 http://172.17.4.1/private bookworm-staging/main armhf preview-latex-style all 12.2-1 [201 kB]
Get:164 http://172.17.4.1/private bookworm-staging/main armhf t1utils armhf 1.41-4 [52.3 kB]
Get:165 http://172.17.4.1/private bookworm-staging/main armhf texlive-binaries armhf 2022.20220321.62855-5 [7474 kB]
Get:166 http://172.17.4.1/private bookworm-staging/main armhf xdg-utils all 1.1.3-4.1 [75.5 kB]
Get:167 http://172.17.4.1/private bookworm-staging/main armhf texlive-base all 2022.20221123-1 [21.9 MB]
Get:168 http://172.17.4.1/private bookworm-staging/main armhf texlive-fonts-extra all 2022.20221123-2 [508 MB]
Get:169 http://172.17.4.1/private bookworm-staging/main armhf texlive-fonts-recommended all 2022.20221123-1 [4988 kB]
Get:170 http://172.17.4.1/private bookworm-staging/main armhf texlive-lang-greek all 2022.20221123-1 [78.1 MB]
Get:171 http://172.17.4.1/private bookworm-staging/main armhf texlive-latex-base all 2022.20221123-1 [1175 kB]
Get:172 http://172.17.4.1/private bookworm-staging/main armhf texlive-latex-recommended all 2022.20221123-1 [8882 kB]
Get:173 http://172.17.4.1/private bookworm-staging/main armhf texlive-pictures all 2022.20221123-1 [15.8 MB]
Get:174 http://172.17.4.1/private bookworm-staging/main armhf texlive-latex-extra all 2022.20221123-2 [19.2 MB]
Get:175 http://172.17.4.1/private bookworm-staging/main armhf texlive-science all 2022.20221123-2 [3711 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 875 MB in 3min 11s (4579 kB/s)
(Reading database ... 12958 files and directories currently installed.)
Preparing to unpack .../ncurses-bin_6.3+20221224-2_armhf.deb ...
Unpacking ncurses-bin (6.3+20221224-2) over (6.3+20220423-2) ...
Setting up ncurses-bin (6.3+20221224-2) ...
Selecting previously unselected package libpython3.10-minimal:armhf.
(Reading database ... 12958 files and directories currently installed.)
Preparing to unpack .../libpython3.10-minimal_3.10.9-1_armhf.deb ...
Unpacking libpython3.10-minimal:armhf (3.10.9-1) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../libexpat1_2.5.0-1_armhf.deb ...
Unpacking libexpat1:armhf (2.5.0-1) ...
Selecting previously unselected package python3.10-minimal.
Preparing to unpack .../python3.10-minimal_3.10.9-1_armhf.deb ...
Unpacking python3.10-minimal (3.10.9-1) ...
Setting up libpython3.10-minimal:armhf (3.10.9-1) ...
Setting up libexpat1:armhf (2.5.0-1) ...
Setting up python3.10-minimal (3.10.9-1) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 13263 files and directories currently installed.)
Preparing to unpack .../python3-minimal_3.10.6-3_armhf.deb ...
Unpacking python3-minimal (3.10.6-3) ...
Selecting previously unselected package media-types.
Preparing to unpack .../media-types_8.0.0_all.deb ...
Unpacking media-types (8.0.0) ...
Selecting previously unselected package libmpdec3:armhf.
Preparing to unpack .../libmpdec3_2.5.1-2+rpi1_armhf.deb ...
Unpacking libmpdec3:armhf (2.5.1-2+rpi1) ...
Preparing to unpack .../libtinfo6_6.3+20221224-2_armhf.deb ...
Unpacking libtinfo6:armhf (6.3+20221224-2) over (6.3+20220423-2) ...
Setting up libtinfo6:armhf (6.3+20221224-2) ...
(Reading database ... 13298 files and directories currently installed.)
Preparing to unpack .../libncursesw6_6.3+20221224-2_armhf.deb ...
Unpacking libncursesw6:armhf (6.3+20221224-2) over (6.3+20220423-2) ...
Setting up libncursesw6:armhf (6.3+20221224-2) ...
Selecting previously unselected package libpython3.10-stdlib:armhf.
(Reading database ... 13298 files and directories currently installed.)
Preparing to unpack .../libpython3.10-stdlib_3.10.9-1_armhf.deb ...
Unpacking libpython3.10-stdlib:armhf (3.10.9-1) ...
Selecting previously unselected package python3.10.
Preparing to unpack .../python3.10_3.10.9-1_armhf.deb ...
Unpacking python3.10 (3.10.9-1) ...
Selecting previously unselected package libpython3-stdlib:armhf.
Preparing to unpack .../libpython3-stdlib_3.10.6-3_armhf.deb ...
Unpacking libpython3-stdlib:armhf (3.10.6-3) ...
Setting up python3-minimal (3.10.6-3) ...
Selecting previously unselected package python3.
(Reading database ... 13665 files and directories currently installed.)
Preparing to unpack .../000-python3_3.10.6-3_armhf.deb ...
Unpacking python3 (3.10.6-3) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../001-libuchardet0_0.0.7-1_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../002-groff-base_1.22.4-9_armhf.deb ...
Unpacking groff-base (1.22.4-9) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../003-bsdextrautils_2.38.1-4_armhf.deb ...
Unpacking bsdextrautils (2.38.1-4) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../004-libpipeline1_1.5.7-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.7-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../005-man-db_2.11.1-1_armhf.deb ...
Unpacking man-db (2.11.1-1) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../006-libmagic-mgc_1%3a5.41-4_armhf.deb ...
Unpacking libmagic-mgc (1:5.41-4) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../007-libmagic1_1%3a5.41-4_armhf.deb ...
Unpacking libmagic1:armhf (1:5.41-4) ...
Selecting previously unselected package file.
Preparing to unpack .../008-file_1%3a5.41-4_armhf.deb ...
Unpacking file (1:5.41-4) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../009-gettext-base_0.21-10_armhf.deb ...
Unpacking gettext-base (0.21-10) ...
Selecting previously unselected package ucf.
Preparing to unpack .../010-ucf_3.0043_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0043) ...
Selecting previously unselected package m4.
Preparing to unpack .../011-m4_1.4.19-1_armhf.deb ...
Unpacking m4 (1.4.19-1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../012-autoconf_2.71-2_all.deb ...
Unpacking autoconf (2.71-2) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../013-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../014-automake_1%3a1.16.5-1.3_all.deb ...
Unpacking automake (1:1.16.5-1.3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../015-autopoint_0.21-10_all.deb ...
Unpacking autopoint (0.21-10) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../016-libdebhelper-perl_13.11.4_all.deb ...
Unpacking libdebhelper-perl (13.11.4) ...
Selecting previously unselected package libtool.
Preparing to unpack .../017-libtool_2.4.7-5_all.deb ...
Unpacking libtool (2.4.7-5) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../018-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../019-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../020-libsub-override-perl_0.09-4_all.deb ...
Unpacking libsub-override-perl (0.09-4) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../021-libfile-stripnondeterminism-perl_1.13.0-2_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.13.0-2) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../022-dh-strip-nondeterminism_1.13.0-2_all.deb ...
Unpacking dh-strip-nondeterminism (1.13.0-2) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../023-libelf1_0.187-2+rpi2_armhf.deb ...
Unpacking libelf1:armhf (0.187-2+rpi2) ...
Selecting previously unselected package dwz.
Preparing to unpack .../024-dwz_0.15-1_armhf.deb ...
Unpacking dwz (0.15-1) ...
Selecting previously unselected package libicu72:armhf.
Preparing to unpack .../025-libicu72_72.1-3_armhf.deb ...
Unpacking libicu72:armhf (72.1-3) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../026-libxml2_2.9.14+dfsg-1.1_armhf.deb ...
Unpacking libxml2:armhf (2.9.14+dfsg-1.1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../027-gettext_0.21-10_armhf.deb ...
Unpacking gettext (0.21-10) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../028-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../029-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../030-debhelper_13.11.4_all.deb ...
Unpacking debhelper (13.11.4) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../031-dh-ocaml_1.1.3_all.deb ...
Unpacking dh-ocaml (1.1.3) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../032-fonts-dejavu-core_2.37-2_all.deb ...
Unpacking fonts-dejavu-core (2.37-2) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../033-fontconfig-config_2.13.1-4.5_armhf.deb ...
Unpacking fontconfig-config (2.13.1-4.5) ...
Selecting previously unselected package fonts-gfs-baskerville.
Preparing to unpack .../034-fonts-gfs-baskerville_1.1-6_all.deb ...
Unpacking fonts-gfs-baskerville (1.1-6) ...
Selecting previously unselected package fonts-gfs-porson.
Preparing to unpack .../035-fonts-gfs-porson_1.1-7_all.deb ...
Unpacking fonts-gfs-porson (1.1-7) ...
Selecting previously unselected package fonts-lmodern.
Preparing to unpack .../036-fonts-lmodern_2.005-1_all.deb ...
Unpacking fonts-lmodern (2.005-1) ...
Selecting previously unselected package libapache-pom-java.
Preparing to unpack .../037-libapache-pom-java_25-2_all.deb ...
Unpacking libapache-pom-java (25-2) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../038-ocaml-base_4.13.1-3+rpi1_armhf.deb ...
Unpacking ocaml-base (4.13.1-3+rpi1) ...
Selecting previously unselected package libeasy-format-ocaml.
Preparing to unpack .../039-libeasy-format-ocaml_1.3.2-1+b2_armhf.deb ...
Unpacking libeasy-format-ocaml (1.3.2-1+b2) ...
Selecting previously unselected package libbiniou-ocaml.
Preparing to unpack .../040-libbiniou-ocaml_1.2.1-1+b3_armhf.deb ...
Unpacking libbiniou-ocaml (1.2.1-1+b3) ...
Selecting previously unselected package libyojson-ocaml.
Preparing to unpack .../041-libyojson-ocaml_2.0.2-2_armhf.deb ...
Unpacking libyojson-ocaml (2.0.2-2) ...
Selecting previously unselected package libatdgen-ocaml.
Preparing to unpack .../042-libatdgen-ocaml_2.10.0-2_armhf.deb ...
Unpacking libatdgen-ocaml (2.10.0-2) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../043-ocaml-compiler-libs_4.13.1-3+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.13.1-3+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../044-ocaml-interp_4.13.1-3+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.13.1-3+rpi1) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../045-libncurses6_6.3+20221224-2_armhf.deb ...
Unpacking libncurses6:armhf (6.3+20221224-2) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../046-libncurses-dev_6.3+20221224-2_armhf.deb ...
Unpacking libncurses-dev:armhf (6.3+20221224-2) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../047-libncurses5-dev_6.3+20221224-2_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.3+20221224-2) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../048-ocaml_4.13.1-3+rpi1_armhf.deb ...
Unpacking ocaml (4.13.1-3+rpi1) ...
Selecting previously unselected package libeasy-format-ocaml-dev.
Preparing to unpack .../049-libeasy-format-ocaml-dev_1.3.2-1+b2_armhf.deb ...
Unpacking libeasy-format-ocaml-dev (1.3.2-1+b2) ...
Selecting previously unselected package libbiniou-ocaml-dev.
Preparing to unpack .../050-libbiniou-ocaml-dev_1.2.1-1+b3_armhf.deb ...
Unpacking libbiniou-ocaml-dev (1.2.1-1+b3) ...
Selecting previously unselected package libyojson-ocaml-dev.
Preparing to unpack .../051-libyojson-ocaml-dev_2.0.2-2_armhf.deb ...
Unpacking libyojson-ocaml-dev (2.0.2-2) ...
Selecting previously unselected package libatdgen-ocaml-dev.
Preparing to unpack .../052-libatdgen-ocaml-dev_2.10.0-2_armhf.deb ...
Unpacking libatdgen-ocaml-dev (2.10.0-2) ...
Selecting previously unselected package libsexplib0-ocaml.
Preparing to unpack .../053-libsexplib0-ocaml_0.15.1-1_armhf.deb ...
Unpacking libsexplib0-ocaml (0.15.1-1) ...
Selecting previously unselected package libbase-ocaml.
Preparing to unpack .../054-libbase-ocaml_0.15.1-1_armhf.deb ...
Unpacking libbase-ocaml (0.15.1-1) ...
Selecting previously unselected package libsexplib0-ocaml-dev.
Preparing to unpack .../055-libsexplib0-ocaml-dev_0.15.1-1_armhf.deb ...
Unpacking libsexplib0-ocaml-dev (0.15.1-1) ...
Selecting previously unselected package libbase-ocaml-dev.
Preparing to unpack .../056-libbase-ocaml-dev_0.15.1-1_armhf.deb ...
Unpacking libbase-ocaml-dev (0.15.1-1) ...
Selecting previously unselected package libbase64-ocaml.
Preparing to unpack .../057-libbase64-ocaml_3.5.0-1+b1_armhf.deb ...
Unpacking libbase64-ocaml (3.5.0-1+b1) ...
Selecting previously unselected package libbase64-ocaml-dev.
Preparing to unpack .../058-libbase64-ocaml-dev_3.5.0-1+b1_armhf.deb ...
Unpacking libbase64-ocaml-dev (3.5.0-1+b1) ...
Selecting previously unselected package libbigarray-compat-ocaml.
Preparing to unpack .../059-libbigarray-compat-ocaml_1.1.0-1_armhf.deb ...
Unpacking libbigarray-compat-ocaml (1.1.0-1) ...
Selecting previously unselected package libbigarray-compat-ocaml-dev.
Preparing to unpack .../060-libbigarray-compat-ocaml-dev_1.1.0-1_armhf.deb ...
Unpacking libbigarray-compat-ocaml-dev (1.1.0-1) ...
Selecting previously unselected package libbrotli1:armhf.
Preparing to unpack .../061-libbrotli1_1.0.9-2+b2_armhf.deb ...
Unpacking libbrotli1:armhf (1.0.9-2+b2) ...
Selecting previously unselected package libmd0:armhf.
Preparing to unpack .../062-libmd0_1.0.4-2_armhf.deb ...
Unpacking libmd0:armhf (1.0.4-2) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../063-libbsd0_0.11.7-1_armhf.deb ...
Unpacking libbsd0:armhf (0.11.7-1) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../064-libpng16-16_1.6.39-2_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.39-2) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../065-libfreetype6_2.12.1+dfsg-3_armhf.deb ...
Unpacking libfreetype6:armhf (2.12.1+dfsg-3) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../066-libfontconfig1_2.13.1-4.5_armhf.deb ...
Unpacking libfontconfig1:armhf (2.13.1-4.5) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../067-libpixman-1-0_0.42.2-1_armhf.deb ...
Unpacking libpixman-1-0:armhf (0.42.2-1) ...
Selecting previously unselected package libxau6:armhf.
Preparing to unpack .../068-libxau6_1%3a1.0.9-1_armhf.deb ...
Unpacking libxau6:armhf (1:1.0.9-1) ...
Selecting previously unselected package libxdmcp6:armhf.
Preparing to unpack .../069-libxdmcp6_1%3a1.1.2-3_armhf.deb ...
Unpacking libxdmcp6:armhf (1:1.1.2-3) ...
Selecting previously unselected package libxcb1:armhf.
Preparing to unpack .../070-libxcb1_1.15-1_armhf.deb ...
Unpacking libxcb1:armhf (1.15-1) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../071-libx11-data_2%3a1.8.3-3_all.deb ...
Unpacking libx11-data (2:1.8.3-3) ...
Selecting previously unselected package libx11-6:armhf.
Preparing to unpack .../072-libx11-6_2%3a1.8.3-3_armhf.deb ...
Unpacking libx11-6:armhf (2:1.8.3-3) ...
Selecting previously unselected package libxcb-render0:armhf.
Preparing to unpack .../073-libxcb-render0_1.15-1_armhf.deb ...
Unpacking libxcb-render0:armhf (1.15-1) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../074-libxcb-shm0_1.15-1_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.15-1) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../075-libxext6_2%3a1.3.4-1_armhf.deb ...
Unpacking libxext6:armhf (2:1.3.4-1) ...
Selecting previously unselected package libxrender1:armhf.
Preparing to unpack .../076-libxrender1_1%3a0.9.10-1.1_armhf.deb ...
Unpacking libxrender1:armhf (1:0.9.10-1.1) ...
Selecting previously unselected package libcairo2:armhf.
Preparing to unpack .../077-libcairo2_1.16.0-7_armhf.deb ...
Unpacking libcairo2:armhf (1.16.0-7) ...
Selecting previously unselected package libcalendar-ocaml.
Preparing to unpack .../078-libcalendar-ocaml_2.04-3+b3_armhf.deb ...
Unpacking libcalendar-ocaml (2.04-3+b3) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../079-libfindlib-ocaml_1.9.3-1_armhf.deb ...
Unpacking libfindlib-ocaml (1.9.3-1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../080-ocaml-findlib_1.9.3-1_armhf.deb ...
Unpacking ocaml-findlib (1.9.3-1) ...
Selecting previously unselected package libcalendar-ocaml-dev.
Preparing to unpack .../081-libcalendar-ocaml-dev_2.04-3+b3_armhf.deb ...
Unpacking libcalendar-ocaml-dev (2.04-3+b3) ...
Selecting previously unselected package libcmdliner-ocaml-dev.
Preparing to unpack .../082-libcmdliner-ocaml-dev_1.1.1-1_armhf.deb ...
Unpacking libcmdliner-ocaml-dev (1.1.1-1) ...
Selecting previously unselected package libcommons-parent-java.
Preparing to unpack .../083-libcommons-parent-java_55-1_all.deb ...
Unpacking libcommons-parent-java (55-1) ...
Selecting previously unselected package libcommons-logging-java.
Preparing to unpack .../084-libcommons-logging-java_1.2-3_all.deb ...
Unpacking libcommons-logging-java (1.2-3) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../085-libzarith-ocaml_1.12-1+b1_armhf.deb ...
Unpacking libzarith-ocaml (1.12-1+b1) ...
Selecting previously unselected package libcryptokit-ocaml.
Preparing to unpack .../086-libcryptokit-ocaml_1.16.1-1+b3_armhf.deb ...
Unpacking libcryptokit-ocaml (1.16.1-1+b3) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../087-zlib1g-dev_1%3a1.2.13.dfsg-1_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.13.dfsg-1) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../088-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../089-libgmp-dev_2%3a6.2.1+dfsg1-1.1_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libgmp3-dev:armhf.
Preparing to unpack .../090-libgmp3-dev_2%3a6.2.1+dfsg1-1.1_armhf.deb ...
Unpacking libgmp3-dev:armhf (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../091-libzarith-ocaml-dev_1.12-1+b1_armhf.deb ...
Unpacking libzarith-ocaml-dev (1.12-1+b1) ...
Selecting previously unselected package libcryptokit-ocaml-dev.
Preparing to unpack .../092-libcryptokit-ocaml-dev_1.16.1-1+b3_armhf.deb ...
Unpacking libcryptokit-ocaml-dev (1.16.1-1+b3) ...
Selecting previously unselected package libmmap-ocaml.
Preparing to unpack .../093-libmmap-ocaml_1.2.0-1_armhf.deb ...
Unpacking libmmap-ocaml (1.2.0-1) ...
Selecting previously unselected package libocplib-endian-ocaml.
Preparing to unpack .../094-libocplib-endian-ocaml_1.2-1+b1_armhf.deb ...
Unpacking libocplib-endian-ocaml (1.2-1+b1) ...
Selecting previously unselected package libreact-ocaml.
Preparing to unpack .../095-libreact-ocaml_1.2.2-1_armhf.deb ...
Unpacking libreact-ocaml (1.2.2-1) ...
Selecting previously unselected package libresult-ocaml.
Preparing to unpack .../096-libresult-ocaml_1.5-1+b2_armhf.deb ...
Unpacking libresult-ocaml (1.5-1+b2) ...
Selecting previously unselected package libev4:armhf.
Preparing to unpack .../097-libev4_1%3a4.33-1_armhf.deb ...
Unpacking libev4:armhf (1:4.33-1) ...
Selecting previously unselected package liblwt-ocaml.
Preparing to unpack .../098-liblwt-ocaml_5.5.0-1+b6_armhf.deb ...
Unpacking liblwt-ocaml (5.5.0-1+b6) ...
Selecting previously unselected package libparsexp-ocaml.
Preparing to unpack .../099-libparsexp-ocaml_0.14.2-1+b1_armhf.deb ...
Unpacking libparsexp-ocaml (0.14.2-1+b1) ...
Selecting previously unselected package libnum-ocaml.
Preparing to unpack .../100-libnum-ocaml_1.4-2+b1_armhf.deb ...
Unpacking libnum-ocaml (1.4-2+b1) ...
Selecting previously unselected package libsexplib-ocaml.
Preparing to unpack .../101-libsexplib-ocaml_1%3a0.15.1-1_armhf.deb ...
Unpacking libsexplib-ocaml (1:0.15.1-1) ...
Selecting previously unselected package libcstruct-ocaml.
Preparing to unpack .../102-libcstruct-ocaml_6.0.1-1+b6_armhf.deb ...
Unpacking libcstruct-ocaml (6.0.1-1+b6) ...
Selecting previously unselected package libev-dev:armhf.
Preparing to unpack .../103-libev-dev_1%3a4.33-1_armhf.deb ...
Unpacking libev-dev:armhf (1:4.33-1) ...
Selecting previously unselected package libmmap-ocaml-dev.
Preparing to unpack .../104-libmmap-ocaml-dev_1.2.0-1_armhf.deb ...
Unpacking libmmap-ocaml-dev (1.2.0-1) ...
Selecting previously unselected package libocaml-compiler-libs-ocaml-dev.
Preparing to unpack .../105-libocaml-compiler-libs-ocaml-dev_0.12.4-1+b1_armhf.deb ...
Unpacking libocaml-compiler-libs-ocaml-dev (0.12.4-1+b1) ...
Selecting previously unselected package libocplib-endian-ocaml-dev.
Preparing to unpack .../106-libocplib-endian-ocaml-dev_1.2-1+b1_armhf.deb ...
Unpacking libocplib-endian-ocaml-dev (1.2-1+b1) ...
Selecting previously unselected package libppx-derivers-ocaml-dev.
Preparing to unpack .../107-libppx-derivers-ocaml-dev_1.2.1-1+b3_armhf.deb ...
Unpacking libppx-derivers-ocaml-dev (1.2.1-1+b3) ...
Selecting previously unselected package libppxlib-ocaml-dev.
Preparing to unpack .../108-libppxlib-ocaml-dev_0.27.0-2+b1_armhf.deb ...
Unpacking libppxlib-ocaml-dev (0.27.0-2+b1) ...
Selecting previously unselected package libreact-ocaml-dev.
Preparing to unpack .../109-libreact-ocaml-dev_1.2.2-1_armhf.deb ...
Unpacking libreact-ocaml-dev (1.2.2-1) ...
Selecting previously unselected package libresult-ocaml-dev.
Preparing to unpack .../110-libresult-ocaml-dev_1.5-1+b2_armhf.deb ...
Unpacking libresult-ocaml-dev (1.5-1+b2) ...
Selecting previously unselected package liblwt-ocaml-dev.
Preparing to unpack .../111-liblwt-ocaml-dev_5.5.0-1+b6_armhf.deb ...
Unpacking liblwt-ocaml-dev (5.5.0-1+b6) ...
Selecting previously unselected package libparsexp-ocaml-dev.
Preparing to unpack .../112-libparsexp-ocaml-dev_0.14.2-1+b1_armhf.deb ...
Unpacking libparsexp-ocaml-dev (0.14.2-1+b1) ...
Selecting previously unselected package libnum-ocaml-dev.
Preparing to unpack .../113-libnum-ocaml-dev_1.4-2+b1_armhf.deb ...
Unpacking libnum-ocaml-dev (1.4-2+b1) ...
Selecting previously unselected package libsexplib-ocaml-dev.
Preparing to unpack .../114-libsexplib-ocaml-dev_1%3a0.15.1-1_armhf.deb ...
Unpacking libsexplib-ocaml-dev (1:0.15.1-1) ...
Selecting previously unselected package libcstruct-ocaml-dev.
Preparing to unpack .../115-libcstruct-ocaml-dev_6.0.1-1+b6_armhf.deb ...
Unpacking libcstruct-ocaml-dev (6.0.1-1+b6) ...
Selecting previously unselected package libfontbox-java.
Preparing to unpack .../116-libfontbox-java_1%3a1.8.16-2_all.deb ...
Unpacking libfontbox-java (1:1.8.16-2) ...
Selecting previously unselected package libfontenc1:armhf.
Preparing to unpack .../117-libfontenc1_1%3a1.1.4-1_armhf.deb ...
Unpacking libfontenc1:armhf (1:1.1.4-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../118-libglib2.0-0_2.74.1-2_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.74.1-2) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../119-libgraphite2-3_1.3.14-1_armhf.deb ...
Unpacking libgraphite2-3:armhf (1.3.14-1) ...
Selecting previously unselected package libharfbuzz0b:armhf.
Preparing to unpack .../120-libharfbuzz0b_6.0.0-1_armhf.deb ...
Unpacking libharfbuzz0b:armhf (6.0.0-1) ...
Selecting previously unselected package libhex-ocaml.
Preparing to unpack .../121-libhex-ocaml_1.4.0-1+b7_armhf.deb ...
Unpacking libhex-ocaml (1.4.0-1+b7) ...
Selecting previously unselected package libhex-ocaml-dev.
Preparing to unpack .../122-libhex-ocaml-dev_1.4.0-1+b7_armhf.deb ...
Unpacking libhex-ocaml-dev (1.4.0-1+b7) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../123-x11-common_1%3a7.7+23_all.deb ...
Unpacking x11-common (1:7.7+23) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../124-libice6_2%3a1.0.10-1_armhf.deb ...
Unpacking libice6:armhf (2:1.0.10-1) ...
Selecting previously unselected package libkpathsea6:armhf.
Preparing to unpack .../125-libkpathsea6_2022.20220321.62855-5_armhf.deb ...
Unpacking libkpathsea6:armhf (2022.20220321.62855-5) ...
Selecting previously unselected package libpaper1:armhf.
Preparing to unpack .../126-libpaper1_1.1.28_armhf.deb ...
Unpacking libpaper1:armhf (1.1.28) ...
Selecting previously unselected package libpaper-utils.
Preparing to unpack .../127-libpaper-utils_1.1.28_armhf.deb ...
Unpacking libpaper-utils (1.1.28) ...
Selecting previously unselected package libpdfbox-java.
Preparing to unpack .../128-libpdfbox-java_1%3a1.8.16-2_all.deb ...
Unpacking libpdfbox-java (1:1.8.16-2) ...
Selecting previously unselected package libptexenc1:armhf.
Preparing to unpack .../129-libptexenc1_2022.20220321.62855-5_armhf.deb ...
Unpacking libptexenc1:armhf (2022.20220321.62855-5) ...
Selecting previously unselected package libsm6:armhf.
Preparing to unpack .../130-libsm6_2%3a1.2.3-1_armhf.deb ...
Unpacking libsm6:armhf (2:1.2.3-1) ...
Selecting previously unselected package libsynctex2:armhf.
Preparing to unpack .../131-libsynctex2_2022.20220321.62855-5_armhf.deb ...
Unpacking libsynctex2:armhf (2022.20220321.62855-5) ...
Selecting previously unselected package libteckit0:armhf.
Preparing to unpack .../132-libteckit0_2.5.11+ds1-1_armhf.deb ...
Unpacking libteckit0:armhf (2.5.11+ds1-1) ...
Selecting previously unselected package libtexlua53-5:armhf.
Preparing to unpack .../133-libtexlua53-5_2022.20220321.62855-5_armhf.deb ...
Unpacking libtexlua53-5:armhf (2022.20220321.62855-5) ...
Selecting previously unselected package libtexluajit2:armhf.
Preparing to unpack .../134-libtexluajit2_2022.20220321.62855-5_armhf.deb ...
Unpacking libtexluajit2:armhf (2022.20220321.62855-5) ...
Selecting previously unselected package libuuidm-ocaml-dev.
Preparing to unpack .../135-libuuidm-ocaml-dev_0.9.7-1+b2_armhf.deb ...
Unpacking libuuidm-ocaml-dev (0.9.7-1+b2) ...
Selecting previously unselected package libxt6:armhf.
Preparing to unpack .../136-libxt6_1%3a1.2.1-1_armhf.deb ...
Unpacking libxt6:armhf (1:1.2.1-1) ...
Selecting previously unselected package libxmu6:armhf.
Preparing to unpack .../137-libxmu6_2%3a1.1.3-3_armhf.deb ...
Unpacking libxmu6:armhf (2:1.1.3-3) ...
Selecting previously unselected package libxpm4:armhf.
Preparing to unpack .../138-libxpm4_1%3a3.5.12-1_armhf.deb ...
Unpacking libxpm4:armhf (1:3.5.12-1) ...
Selecting previously unselected package libxaw7:armhf.
Preparing to unpack .../139-libxaw7_2%3a1.0.14-1_armhf.deb ...
Unpacking libxaw7:armhf (2:1.0.14-1) ...
Selecting previously unselected package libxi6:armhf.
Preparing to unpack .../140-libxi6_2%3a1.8-1_armhf.deb ...
Unpacking libxi6:armhf (2:1.8-1) ...
Selecting previously unselected package libzzip-0-13:armhf.
Preparing to unpack .../141-libzzip-0-13_0.13.72+dfsg.1-1.1_armhf.deb ...
Unpacking libzzip-0-13:armhf (0.13.72+dfsg.1-1.1) ...
Selecting previously unselected package tex-common.
Preparing to unpack .../142-tex-common_6.18_all.deb ...
Unpacking tex-common (6.18) ...
Selecting previously unselected package xfonts-encodings.
Preparing to unpack .../143-xfonts-encodings_1%3a1.0.4-2.1_all.deb ...
Unpacking xfonts-encodings (1:1.0.4-2.1) ...
Selecting previously unselected package xfonts-utils.
Preparing to unpack .../144-xfonts-utils_1%3a7.7+6_armhf.deb ...
Unpacking xfonts-utils (1:7.7+6) ...
Selecting previously unselected package lmodern.
Preparing to unpack .../145-lmodern_2.005-1_all.deb ...
Unpacking lmodern (2.005-1) ...
Selecting previously unselected package markdown.
Preparing to unpack .../146-markdown_1.0.1-12_all.deb ...
Unpacking markdown (1.0.1-12) ...
Selecting previously unselected package ocaml-dune.
Preparing to unpack .../147-ocaml-dune_2.9.1-1+b2_armhf.deb ...
Unpacking ocaml-dune (2.9.1-1+b2) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../148-ocaml-nox_4.13.1-3+rpi1_all.deb ...
Unpacking ocaml-nox (4.13.1-3+rpi1) ...
Selecting previously unselected package preview-latex-style.
Preparing to unpack .../149-preview-latex-style_12.2-1_all.deb ...
Unpacking preview-latex-style (12.2-1) ...
Selecting previously unselected package t1utils.
Preparing to unpack .../150-t1utils_1.41-4_armhf.deb ...
Unpacking t1utils (1.41-4) ...
Selecting previously unselected package texlive-binaries.
Preparing to unpack .../151-texlive-binaries_2022.20220321.62855-5_armhf.deb ...
Unpacking texlive-binaries (2022.20220321.62855-5) ...
Selecting previously unselected package xdg-utils.
Preparing to unpack .../152-xdg-utils_1.1.3-4.1_all.deb ...
Unpacking xdg-utils (1.1.3-4.1) ...
Selecting previously unselected package texlive-base.
Preparing to unpack .../153-texlive-base_2022.20221123-1_all.deb ...
Unpacking texlive-base (2022.20221123-1) ...
Selecting previously unselected package texlive-fonts-extra.
Preparing to unpack .../154-texlive-fonts-extra_2022.20221123-2_all.deb ...
Unpacking texlive-fonts-extra (2022.20221123-2) ...
Selecting previously unselected package texlive-fonts-recommended.
Preparing to unpack .../155-texlive-fonts-recommended_2022.20221123-1_all.deb ...
Unpacking texlive-fonts-recommended (2022.20221123-1) ...
Selecting previously unselected package texlive-lang-greek.
Preparing to unpack .../156-texlive-lang-greek_2022.20221123-1_all.deb ...
Unpacking texlive-lang-greek (2022.20221123-1) ...
Selecting previously unselected package texlive-latex-base.
Preparing to unpack .../157-texlive-latex-base_2022.20221123-1_all.deb ...
Unpacking texlive-latex-base (2022.20221123-1) ...
Selecting previously unselected package texlive-latex-recommended.
Preparing to unpack .../158-texlive-latex-recommended_2022.20221123-1_all.deb ...
Unpacking texlive-latex-recommended (2022.20221123-1) ...
Selecting previously unselected package texlive-pictures.
Preparing to unpack .../159-texlive-pictures_2022.20221123-1_all.deb ...
Unpacking texlive-pictures (2022.20221123-1) ...
Selecting previously unselected package texlive-latex-extra.
Preparing to unpack .../160-texlive-latex-extra_2022.20221123-2_all.deb ...
Unpacking texlive-latex-extra (2022.20221123-2) ...
Selecting previously unselected package texlive-science.
Preparing to unpack .../161-texlive-science_2022.20221123-2_all.deb ...
Unpacking texlive-science (2022.20221123-2) ...
Selecting previously unselected package sbuild-build-depends-belenios-dummy.
Preparing to unpack .../162-sbuild-build-depends-belenios-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-belenios-dummy (0.invalid.0) ...
Setting up media-types (8.0.0) ...
Setting up libpipeline1:armhf (1.5.7-1) ...
Setting up libgraphite2-3:armhf (1.3.14-1) ...
Setting up libpixman-1-0:armhf (0.42.2-1) ...
Setting up libxau6:armhf (1:1.0.9-1) ...
Setting up libicu72:armhf (72.1-3) ...
Setting up bsdextrautils (2.38.1-4) ...
Setting up fonts-gfs-porson (1.1-7) ...
Setting up libmagic-mgc (1:5.41-4) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libglib2.0-0:armhf (2.74.1-2) ...
No schema files found: doing nothing.
Setting up libev4:armhf (1:4.33-1) ...
Setting up libtexluajit2:armhf (2022.20220321.62855-5) ...
Setting up libdebhelper-perl (13.11.4) ...
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-10) ...
Setting up m4 (1.4.19-1) ...
Setting up libzzip-0-13:armhf (0.13.72+dfsg.1-1.1) ...
Setting up file (1:5.41-4) ...
Setting up ocaml-dune (2.9.1-1+b2) ...
Setting up libfontenc1:armhf (1:1.1.4-1) ...
Setting up autotools-dev (20220109.1) ...
Setting up libgmpxx4ldbl:armhf (2:6.2.1+dfsg1-1.1) ...
Setting up libx11-data (2:1.8.3-3) ...
Setting up libteckit0:armhf (2.5.11+ds1-1) ...
Setting up libapache-pom-java (25-2) ...
Setting up libncurses6:armhf (6.3+20221224-2) ...
Setting up xfonts-encodings (1:1.0.4-2.1) ...
Setting up t1utils (1.41-4) ...
Setting up libtexlua53-5:armhf (2022.20220321.62855-5) ...
Setting up libpng16-16:armhf (1.6.39-2) ...
Setting up autopoint (0.21-10) ...
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-5) ...
Setting up autoconf (2.71-2) ...
Setting up zlib1g-dev:armhf (1:1.2.13.dfsg-1) ...
Setting up libnum-ocaml (1.4-2+b1) ...
Setting up libsexplib0-ocaml (0.15.1-1) ...
Setting up libmd0:armhf (1.0.4-2) ...
Setting up fonts-gfs-baskerville (1.1-6) ...
Setting up libcalendar-ocaml (2.04-3+b3) ...
Setting up libuchardet0:armhf (0.0.7-1) ...
Setting up libmpdec3:armhf (2.5.1-2+rpi1) ...
Setting up fonts-lmodern (2.005-1) ...
Setting up libsub-override-perl (0.09-4) ...
Setting up libbase64-ocaml (3.5.0-1+b1) ...
Setting up libreact-ocaml (1.2.2-1) ...
Setting up libev-dev:armhf (1:4.33-1) ...
Setting up libbsd0:armhf (0.11.7-1) ...
Setting up libresult-ocaml (1.5-1+b2) ...
Setting up libelf1:armhf (0.187-2+rpi2) ...
Setting up libxml2:armhf (2.9.14+dfsg-1.1) ...
Setting up xdg-utils (1.1.3-4.1) ...
update-alternatives: using /usr/bin/xdg-open to provide /usr/bin/open (open) in auto mode
Setting up markdown (1.0.1-12) ...
Setting up libsynctex2:armhf (2022.20220321.62855-5) ...
Setting up automake (1:1.16.5-1.3) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.13.0-2) ...
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+20221224-2) ...
Setting up libxcb1:armhf (1.15-1) ...
Setting up gettext (0.21-10) ...
Setting up libgmp-dev:armhf (2:6.2.1+dfsg1-1.1) ...
Setting up libpdfbox-java (1:1.8.16-2) ...
Setting up libtool (2.4.7-5) ...
Setting up libyojson-ocaml (2.0.2-2) ...
Setting up libxcb-render0:armhf (1.15-1) ...
Setting up fontconfig-config (2.13.1-4.5) ...
Setting up libcommons-parent-java (55-1) ...
Setting up libbigarray-compat-ocaml (1.1.0-1) ...
Setting up libfindlib-ocaml (1.9.3-1) ...
Setting up libcommons-logging-java (1.2-3) ...
Setting up libxcb-shm0:armhf (1.15-1) ...
Setting up libpaper-utils (1.1.28) ...
Setting up libzarith-ocaml (1.12-1+b1) ...
Setting up libbiniou-ocaml (1.2.1-1+b3) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up libocplib-endian-ocaml (1.2-1+b1) ...
Setting up libpython3.10-stdlib:armhf (3.10.9-1) ...
Setting up dh-autoreconf (20) ...
Setting up tex-common (6.18) ...
update-language: texlive-base not installed and configured, doing nothing!
Setting up libptexenc1:armhf (2022.20220321.62855-5) ...
Setting up libfreetype6:armhf (2.12.1+dfsg-3) ...
Setting up libbase-ocaml (0.15.1-1) ...
Setting up ocaml-findlib (1.9.3-1) ...
Setting up libmmap-ocaml (1.2.0-1) ...
Setting up libcryptokit-ocaml (1.16.1-1+b3) ...
Setting up libatdgen-ocaml (2.10.0-2) ...
Setting up dh-strip-nondeterminism (1.13.0-2) ...
Setting up dwz (0.15-1) ...
Setting up groff-base (1.22.4-9) ...
Setting up libgmp3-dev:armhf (2:6.2.1+dfsg1-1.1) ...
Setting up libncurses5-dev:armhf (6.3+20221224-2) ...
Setting up libx11-6:armhf (2:1.8.3-3) ...
Setting up libharfbuzz0b:armhf (6.0.0-1) ...
Setting up libsm6:armhf (2:1.2.3-1) ...
Setting up libpython3-stdlib:armhf (3.10.6-3) ...
Setting up libparsexp-ocaml (0.14.2-1+b1) ...
Setting up libsexplib-ocaml (1:0.15.1-1) ...
Setting up python3.10 (3.10.9-1) ...
Setting up libxpm4:armhf (1:3.5.12-1) ...
Setting up libxrender1:armhf (1:0.9.10-1.1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up preview-latex-style (12.2-1) ...
Setting up liblwt-ocaml (5.5.0-1+b6) ...
Setting up libxext6:armhf (2:1.3.4-1) ...
Setting up python3 (3.10.6-3) ...
Setting up xfonts-utils (1:7.7+6) ...
Setting up man-db (2.11.1-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libcstruct-ocaml (6.0.1-1+b6) ...
Setting up libxt6:armhf (1:1.2.1-1) ...
Setting up lmodern (2.005-1) ...
Setting up libxmu6:armhf (2:1.1.3-3) ...
Setting up libhex-ocaml (1.4.0-1+b7) ...
Setting up libxi6:armhf (2:1.8-1) ...
Setting up debhelper (13.11.4) ...
Setting up libxaw7:armhf (2:1.0.14-1) ...
Setting up ocaml-compiler-libs (4.13.1-3+rpi1) ...
Setting up ocaml-interp (4.13.1-3+rpi1) ...
Setting up ocaml (4.13.1-3+rpi1) ...
Setting up libcalendar-ocaml-dev (2.04-3+b3) ...
Setting up libbigarray-compat-ocaml-dev (1.1.0-1) ...
Setting up libreact-ocaml-dev (1.2.2-1) ...
Setting up libocaml-compiler-libs-ocaml-dev (0.12.4-1+b1) ...
Setting up libbase64-ocaml-dev (3.5.0-1+b1) ...
Setting up libyojson-ocaml-dev (2.0.2-2) ...
Setting up ocaml-nox (4.13.1-3+rpi1) ...
Setting up libsexplib0-ocaml-dev (0.15.1-1) ...
Setting up libresult-ocaml-dev (1.5-1+b2) ...
Setting up libzarith-ocaml-dev (1.12-1+b1) ...
Setting up libcryptokit-ocaml-dev (1.16.1-1+b3) ...
Setting up libcmdliner-ocaml-dev (1.1.1-1) ...
Setting up libocplib-endian-ocaml-dev (1.2-1+b1) ...
Setting up libeasy-format-ocaml-dev (1.3.2-1+b2) ...
Setting up libmmap-ocaml-dev (1.2.0-1) ...
Setting up libppx-derivers-ocaml-dev (1.2.1-1+b3) ...
Setting up libnum-ocaml-dev (1.4-2+b1) ...
Setting up libuuidm-ocaml-dev (0.9.7-1+b2) ...
Setting up libppxlib-ocaml-dev (0.27.0-2+b1) ...
Setting up libbase-ocaml-dev (0.15.1-1) ...
Setting up libbiniou-ocaml-dev (1.2.1-1+b3) ...
Setting up libatdgen-ocaml-dev (2.10.0-2) ...
Setting up libparsexp-ocaml-dev (0.14.2-1+b1) ...
Setting up liblwt-ocaml-dev (5.5.0-1+b6) ...
Setting up libsexplib-ocaml-dev (1:0.15.1-1) ...
Setting up libcstruct-ocaml-dev (6.0.1-1+b6) ...
Setting up libhex-ocaml-dev (1.4.0-1+b7) ...
Processing triggers for libc-bin (2.36-6+rpi1) ...
Processing triggers for sgml-base (1.31) ...
Setting up libfontconfig1:armhf (2.13.1-4.5) ...
Setting up libcairo2:armhf (1.16.0-7) ...
Setting up texlive-binaries (2022.20220321.62855-5) ...
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.20221123-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.20221123-1) ...
Setting up texlive-latex-base (2022.20221123-1) ...
Setting up texlive-fonts-extra (2022.20221123-2) ...
Setting up texlive-latex-recommended (2022.20221123-1) ...
Setting up texlive-pictures (2022.20221123-1) ...
Setting up texlive-fonts-recommended (2022.20221123-1) ...
Setting up texlive-science (2022.20221123-2) ...
Setting up texlive-latex-extra (2022.20221123-2) ...
Setting up sbuild-build-depends-belenios-dummy (0.invalid.0) ...
Processing triggers for tex-common (6.18) ...
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Building format(s) --all.
This may take some time... done.
Processing triggers for libc-bin (2.36-6+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.9.0-0.bpo.6-armmp armhf (armv7l)
Toolchain package versions: binutils_2.39.50.20221208-5+rpi1 dpkg-dev_1.21.9+rpi1 g++-12_12.2.0-10+rpi1 gcc-12_12.2.0-10+rpi1 libc6-dev_2.36-6+rpi1 libstdc++-12-dev_12.2.0-10+rpi1 libstdc++6_12.2.0-10+rpi1 linux-libc-dev_6.0.12-1+rpi1
Package versions: adduser_3.129 apt_2.5.4 autoconf_2.71-2 automake_1:1.16.5-1.3 autopoint_0.21-10 autotools-dev_20220109.1 base-files_12.3+rpi1 base-passwd_3.6.1 bash_5.2-2 binutils_2.39.50.20221208-5+rpi1 binutils-arm-linux-gnueabihf_2.39.50.20221208-5+rpi1 binutils-common_2.39.50.20221208-5+rpi1 bsdextrautils_2.38.1-4 bsdutils_1:2.38.1-4 build-essential_12.9 bzip2_1.0.8-5+b2 coreutils_9.1-1 cpp_4:12.2.0-1+rpi1 cpp-12_12.2.0-10+rpi1 dash_0.5.11+git20210903+057cd650a4ed-9 debconf_1.5.80 debhelper_13.11.4 debianutils_5.7-0.4 dh-autoreconf_20 dh-ocaml_1.1.3 dh-strip-nondeterminism_1.13.0-2 diffutils_1:3.8-1 dirmngr_2.2.40-1 dpkg_1.21.9+rpi1 dpkg-dev_1.21.9+rpi1 dwz_0.15-1 e2fsprogs_1.46.6~rc1-1 fakeroot_1.29-1 file_1:5.41-4 findutils_4.9.0-3 fontconfig-config_2.13.1-4.5 fonts-dejavu-core_2.37-2 fonts-gfs-baskerville_1.1-6 fonts-gfs-porson_1.1-7 fonts-lmodern_2.005-1 g++_4:12.2.0-1+rpi1 g++-12_12.2.0-10+rpi1 gcc_4:12.2.0-1+rpi1 gcc-12_12.2.0-10+rpi1 gcc-12-base_12.2.0-10+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-10 gettext-base_0.21-10 gnupg_2.2.40-1 gnupg-l10n_2.2.40-1 gnupg-utils_2.2.40-1 gpg_2.2.40-1 gpg-agent_2.2.40-1 gpg-wks-client_2.2.40-1 gpg-wks-server_2.2.40-1 gpgconf_2.2.40-1 gpgsm_2.2.40-1 gpgv_2.2.40-1 grep_3.8-3 groff-base_1.22.4-9 gzip_1.12-1 hostname_3.23 init-system-helpers_1.64 intltool-debian_0.35.0+20060710.6 iputils-ping_3:20221126-1 krb5-locales_1.20.1-1 libacl1_2.3.1-2 libapache-pom-java_25-2 libapt-pkg6.0_2.5.4 libarchive-zip-perl_1.68-1 libasan8_12.2.0-10+rpi1 libassuan0_2.5.5-5 libatdgen-ocaml_2.10.0-2 libatdgen-ocaml-dev_2.10.0-2 libatomic1_12.2.0-10+rpi1 libattr1_1:2.5.1-3 libaudit-common_1:3.0.7-1.1 libaudit1_1:3.0.7-1.1 libbase-ocaml_0.15.1-1 libbase-ocaml-dev_0.15.1-1 libbase64-ocaml_3.5.0-1+b1 libbase64-ocaml-dev_3.5.0-1+b1 libbigarray-compat-ocaml_1.1.0-1 libbigarray-compat-ocaml-dev_1.1.0-1 libbiniou-ocaml_1.2.1-1+b3 libbiniou-ocaml-dev_1.2.1-1+b3 libbinutils_2.39.50.20221208-5+rpi1 libblkid1_2.38.1-4 libbrotli1_1.0.9-2+b2 libbsd0_0.11.7-1 libbz2-1.0_1.0.8-5+b2 libc-bin_2.36-6+rpi1 libc-dev-bin_2.36-6+rpi1 libc6_2.36-6+rpi1 libc6-dev_2.36-6+rpi1 libcairo2_1.16.0-7 libcalendar-ocaml_2.04-3+b3 libcalendar-ocaml-dev_2.04-3+b3 libcap-ng0_0.8.3-1 libcap2_1:2.44-1 libcap2-bin_1:2.44-1 libcc1-0_12.2.0-10+rpi1 libcmdliner-ocaml-dev_1.1.1-1 libcom-err2_1.46.6~rc1-1 libcommons-logging-java_1.2-3 libcommons-parent-java_55-1 libcrypt-dev_1:4.4.33-1 libcrypt1_1:4.4.33-1 libcryptokit-ocaml_1.16.1-1+b3 libcryptokit-ocaml-dev_1.16.1-1+b3 libcstruct-ocaml_6.0.1-1+b6 libcstruct-ocaml-dev_6.0.1-1+b6 libctf-nobfd0_2.39.50.20221208-5+rpi1 libctf0_2.39.50.20221208-5+rpi1 libdb5.3_5.3.28+dfsg1-0.10 libdebconfclient0_0.265 libdebhelper-perl_13.11.4 libdpkg-perl_1.21.9+rpi1 libeasy-format-ocaml_1.3.2-1+b2 libeasy-format-ocaml-dev_1.3.2-1+b2 libelf1_0.187-2+rpi2 libev-dev_1:4.33-1 libev4_1:4.33-1 libexpat1_2.5.0-1 libext2fs2_1.46.6~rc1-1 libfakeroot_1.29-1 libffi8_3.4.4-1 libfile-stripnondeterminism-perl_1.13.0-2 libfindlib-ocaml_1.9.3-1 libfontbox-java_1:1.8.16-2 libfontconfig1_2.13.1-4.5 libfontenc1_1:1.1.4-1 libfreetype6_2.12.1+dfsg-3 libgcc-12-dev_12.2.0-10+rpi1 libgcc-s1_12.2.0-10+rpi1 libgcrypt20_1.10.1-3 libgdbm-compat4_1.23-3 libgdbm6_1.23-3 libglib2.0-0_2.74.1-2 libgmp-dev_2:6.2.1+dfsg1-1.1 libgmp10_2:6.2.1+dfsg1-1.1 libgmp3-dev_2:6.2.1+dfsg1-1.1 libgmpxx4ldbl_2:6.2.1+dfsg1-1.1 libgnutls30_3.7.8-4 libgomp1_12.2.0-10+rpi1 libgpg-error0_1.46-1 libgraphite2-3_1.3.14-1 libgssapi-krb5-2_1.20.1-1 libharfbuzz0b_6.0.0-1 libhex-ocaml_1.4.0-1+b7 libhex-ocaml-dev_1.4.0-1+b7 libhogweed6_3.8.1-2 libice6_2:1.0.10-1 libicu72_72.1-3 libidn2-0_2.3.3-1 libisl23_0.25-1 libjansson4_2.14-2 libk5crypto3_1.20.1-1 libkeyutils1_1.6.3-1 libkpathsea6_2022.20220321.62855-5 libkrb5-3_1.20.1-1 libkrb5support0_1.20.1-1 libksba8_1.6.2-4 libldap-2.5-0_2.5.13+dfsg-2+rpi1+b1 liblwt-ocaml_5.5.0-1+b6 liblwt-ocaml-dev_5.5.0-1+b6 liblz4-1_1.9.4-1+rpi1 liblzma5_5.4.0-0.1 libmagic-mgc_1:5.41-4 libmagic1_1:5.41-4 libmd0_1.0.4-2 libmmap-ocaml_1.2.0-1 libmmap-ocaml-dev_1.2.0-1 libmount1_2.38.1-4 libmpc3_1.2.1-2 libmpdec3_2.5.1-2+rpi1 libmpfr6_4.1.0-3 libncurses-dev_6.3+20221224-2 libncurses5-dev_6.3+20221224-2 libncurses6_6.3+20221224-2 libncursesw6_6.3+20221224-2 libnettle8_3.8.1-2 libnpth0_1.6-3 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnum-ocaml_1.4-2+b1 libnum-ocaml-dev_1.4-2+b1 libocaml-compiler-libs-ocaml-dev_0.12.4-1+b1 libocplib-endian-ocaml_1.2-1+b1 libocplib-endian-ocaml-dev_1.2-1+b1 libp11-kit0_0.24.1-1 libpam-cap_1:2.44-1 libpam-modules_1.5.2-5 libpam-modules-bin_1.5.2-5 libpam-runtime_1.5.2-5 libpam0g_1.5.2-5 libpaper-utils_1.1.28 libpaper1_1.1.28 libparsexp-ocaml_0.14.2-1+b1 libparsexp-ocaml-dev_0.14.2-1+b1 libpcre2-8-0_10.40-3 libpcre3_2:8.39-14 libpdfbox-java_1:1.8.16-2 libperl5.36_5.36.0-6 libpipeline1_1.5.7-1 libpixman-1-0_0.42.2-1 libpng16-16_1.6.39-2 libppx-derivers-ocaml-dev_1.2.1-1+b3 libppxlib-ocaml-dev_0.27.0-2+b1 libptexenc1_2022.20220321.62855-5 libpython3-stdlib_3.10.6-3 libpython3.10-minimal_3.10.9-1 libpython3.10-stdlib_3.10.9-1 libreact-ocaml_1.2.2-1 libreact-ocaml-dev_1.2.2-1 libreadline8_8.2-1.2 libresult-ocaml_1.5-1+b2 libresult-ocaml-dev_1.5-1+b2 libsasl2-2_2.1.28+dfsg-10 libsasl2-modules-db_2.1.28+dfsg-10 libseccomp2_2.5.4-1+rpi1 libselinux1_3.4-1 libsemanage-common_3.4-1 libsemanage2_3.4-1 libsepol1_3.1-1 libsepol2_3.4-2 libsexplib-ocaml_1:0.15.1-1 libsexplib-ocaml-dev_1:0.15.1-1 libsexplib0-ocaml_0.15.1-1 libsexplib0-ocaml-dev_0.15.1-1 libsm6_2:1.2.3-1 libsmartcols1_2.38.1-4 libsqlite3-0_3.40.0-1 libss2_1.46.6~rc1-1 libssl1.1_1.1.1o-1 libssl3_3.0.7-1 libstdc++-12-dev_12.2.0-10+rpi1 libstdc++6_12.2.0-10+rpi1 libsub-override-perl_0.09-4 libsynctex2_2022.20220321.62855-5 libsystemd0_252.2-1+rpi1 libtasn1-6_4.19.0-2 libteckit0_2.5.11+ds1-1 libtexlua53-5_2022.20220321.62855-5 libtexluajit2_2022.20220321.62855-5 libtinfo6_6.3+20221224-2 libtirpc-common_1.3.3+ds-1 libtirpc-dev_1.3.3+ds-1 libtirpc3_1.3.3+ds-1 libtool_2.4.7-5 libubsan1_12.2.0-10+rpi1 libuchardet0_0.0.7-1 libudev1_252.2-1+rpi1 libunistring2_1.0-2 libuuid1_2.38.1-4 libuuidm-ocaml-dev_0.9.7-1+b2 libx11-6_2:1.8.3-3 libx11-data_2:1.8.3-3 libxau6_1:1.0.9-1 libxaw7_2:1.0.14-1 libxcb-render0_1.15-1 libxcb-shm0_1.15-1 libxcb1_1.15-1 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.4-1 libxi6_2:1.8-1 libxml2_2.9.14+dfsg-1.1 libxmu6_2:1.1.3-3 libxpm4_1:3.5.12-1 libxrender1_1:0.9.10-1.1 libxt6_1:1.2.1-1 libxxhash0_0.8.1-1 libyojson-ocaml_2.0.2-2 libyojson-ocaml-dev_2.0.2-2 libzarith-ocaml_1.12-1+b1 libzarith-ocaml-dev_1.12-1+b1 libzstd1_1.5.2+dfsg-1 libzzip-0-13_0.13.72+dfsg.1-1.1 linux-libc-dev_6.0.12-1+rpi1 lmodern_2.005-1 login_1:4.13+dfsg1-1 logsave_1.46.6~rc1-1 lsb-base_11.4+rpi1 m4_1.4.19-1 make_4.3-4.1 man-db_2.11.1-1 markdown_1.0.1-12 mawk_1.3.4.20200120-3.1 media-types_8.0.0 mount_2.38.1-4 nano_7.1-1 ncurses-base_6.3+20220423-2 ncurses-bin_6.3+20221224-2 netbase_6.4 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.13+dfsg1-1 patch_2.7.6-7 perl_5.36.0-6 perl-base_5.36.0-6 perl-modules-5.36_5.36.0-6 pinentry-curses_1.2.1-1 po-debconf_1.0.21+nmu1 preview-latex-style_12.2-1 python3_3.10.6-3 python3-minimal_3.10.6-3 python3.10_3.10.9-1 python3.10-minimal_3.10.9-1 raspbian-archive-keyring_20120528.2 readline-common_8.2-1.2 rpcsvc-proto_1.4.3-1 sbuild-build-depends-belenios-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.8-1 sensible-utils_0.0.17 sgml-base_1.31 sysvinit-utils_3.05-7 t1utils_1.41-4 tar_1.34+dfsg-1 tex-common_6.18 texlive-base_2022.20221123-1 texlive-binaries_2022.20220321.62855-5 texlive-fonts-extra_2022.20221123-2 texlive-fonts-recommended_2022.20221123-1 texlive-lang-greek_2022.20221123-1 texlive-latex-base_2022.20221123-1 texlive-latex-extra_2022.20221123-2 texlive-latex-recommended_2022.20221123-1 texlive-pictures_2022.20221123-1 texlive-science_2022.20221123-2 tzdata_2022f-1 ucf_3.0043 util-linux_2.38.1-4 util-linux-extra_2.38.1-4 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.4.0-0.1 zlib1g_1:1.2.13.dfsg-1 zlib1g-dev_1:1.2.13.dfsg-1
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/tmp/dpkg-verify-sig.0xy2y3Ne/trustedkeys.kbx': General error
gpgv: Signature made Mon Jan 2 09:35:24 2023 UTC
gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify signature ./belenios_2.0+dfsg-1.dsc
dpkg-source: info: extracting belenios in /<<BUILDDIR>>/belenios-2.0+dfsg
dpkg-source: info: unpacking belenios_2.0+dfsg.orig.tar.xz
dpkg-source: info: unpacking belenios_2.0+dfsg-1.debian.tar.xz
Check disc space
----------------
Sufficient free space for build
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=bookworm-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bookworm-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bookworm-staging-armhf-sbuild-0abb6236-377b-47f1-a5eb-7256c6f0a5ff
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package belenios
dpkg-buildpackage: info: source version 2.0+dfsg-1
dpkg-buildpackage: info: source distribution unstable
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
debian/rules clean
dh clean --with ocaml
dh_auto_clean
make -j4 clean
make[1]: Entering directory '/<<BUILDDIR>>/belenios-2.0+dfsg'
dune clean
dune clean --build-dir=_build-debug
make -C po clean
make[2]: Entering directory '/<<BUILDDIR>>/belenios-2.0+dfsg/po'
make -C voter clean
make[3]: Entering directory '/<<BUILDDIR>>/belenios-2.0+dfsg/po/voter'
rm -f *.bak
make[3]: Leaving directory '/<<BUILDDIR>>/belenios-2.0+dfsg/po/voter'
make -C admin clean
make[3]: Entering directory '/<<BUILDDIR>>/belenios-2.0+dfsg/po/admin'
rm -f *.bak
make[3]: Leaving directory '/<<BUILDDIR>>/belenios-2.0+dfsg/po/admin'
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-2.0+dfsg/po'
make -C tests/tool clean
make[2]: Entering directory '/<<BUILDDIR>>/belenios-2.0+dfsg/tests/tool'
rm -rf data
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-2.0+dfsg/tests/tool'
rm -f geckodriver.log
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-2.0+dfsg'
dh_ocamlclean
dh_clean
debian/rules binary-arch
dh binary-arch --with ocaml
dh_update_autotools_config -a
dh_autoreconf -a
dh_ocamlinit -a
dh_auto_configure -a
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<BUILDDIR>>/belenios-2.0+dfsg'
dune build -p belenios-platform,belenios-platform-native,belenios-lib,belenios-tool
/usr/bin/make doc
make[2]: Entering directory '/<<BUILDDIR>>/belenios-2.0+dfsg'
/usr/bin/make doc/specification.pdf
make[3]: Entering directory '/<<BUILDDIR>>/belenios-2.0+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-11-01>
L3 programming layer <2022-11-02>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo))
(/usr/share/texlive/texmf-dist/tex/latex/a4wide/a4wide.sty
(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty)
(/usr/share/texmf/tex/latex/lm/lmodern.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/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 59.
LaTeX Warning: Citation `Belenios-Easycrypt-CSF18' on page 1 undefined on input
line 61.
(/usr/share/texmf/tex/latex/lm/ts1lmr.fd)
LaTeX Warning: Citation `Pedersen' on page 1 undefined on input line 70.
LaTeX Warning: Citation `wpes2013' on page 1 undefined on input line 71.
LaTeX Warning: Citation `wpes2013' on page 1 undefined on input line 72.
LaTeX Warning: Citation `asiacrypt12' on page 1 undefined on input line 72.
LaTeX Warning: Citation `Helios' on page 1 undefined on input line 75.
LaTeX Warning: Citation `note-Pierrick' on page 1 undefined on input line 77.
LaTeX Warning: Citation `CGGI-esorics14' on page 1 undefined on input line 78.
LaTeX Warning: Citation `Belenios-Meadows2019' on page 1 undefined on input lin
e 79.
LaTeX Warning: Citation `EVoteID20-Belenios' on page 1 undefined on input line
81.
LaTeX Warning: Citation `CHVote' on page 1 undefined on input line 84.
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd)
LaTeX Warning: Reference `default-group' on page 1 undefined on input line 123.
[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
LaTeX Warning: Reference `public-data' on page 2 undefined on input line 159.
(/usr/share/texmf/tex/latex/lm/t1lmtt.fd)
LaTeX Warning: Hyper reference `basic-types' on page 2 undefined on input line
183.
LaTeX Warning: Hyper reference `credentials' on page 2 undefined on input line
185.
(/usr/share/texmf/tex/latex/lm/t1lmss.fd)
LaTeX Warning: Hyper reference `trustees' on page 2 undefined on input line 194
.
LaTeX Warning: Reference `process-filling-trustees' on page 2 undefined on inpu
t line 197.
LaTeX Warning: Hyper reference `elections' on page 2 undefined on input line 19
9.
[2]
LaTeX Warning: Reference `item-forget' on page 3 undefined on input line 205.
LaTeX Warning: Hyper reference `trustees' on page 3 undefined on input line 212
.
LaTeX Warning: Hyper reference `trustee-keys' on page 3 undefined on input line
227.
LaTeX Warning: Hyper reference `certificates' on page 3 undefined on input line
248.
LaTeX Warning: Hyper reference `polynomials' on page 3 undefined on input line
256.
LaTeX Warning: Hyper reference `vinputs' on page 3 undefined on input line 261.
LaTeX Warning: Hyper reference `voutputs' on page 3 undefined on input line 266
.
LaTeX Warning: Hyper reference `threshold-params' on page 3 undefined on input
line 271.
LaTeX Warning: Reference `polynomials' on page 3 undefined on input line 280.
[3]
LaTeX Warning: Hyper reference `ballots' on page 4 undefined on input line 286.
LaTeX Warning: Reference `item-forget' on page 4 undefined on input line 308.
LaTeX Warning: Hyper reference `tally' on page 4 undefined on input line 323.
LaTeX Warning: Reference `shuffles' on page 4 undefined on input line 326.
LaTeX Warning: Hyper reference `shuffles' on page 4 undefined on input line 334
.
LaTeX Warning: Hyper reference `tally' on page 4 undefined on input line 347.
LaTeX Warning: Hyper reference `election-result' on page 4 undefined on input l
ine 352.
[4]
LaTeX Warning: Reference `tallied-ballots' on page 5 undefined on input line 38
0.
LaTeX Warning: Hyper reference `shuffles' on page 5 undefined on input line 398
.
LaTeX Warning: Hyper reference `partial-decryptions' on page 5 undefined on inp
ut line 400.
LaTeX Warning: Hyper reference `election-result' on page 5 undefined on input l
ine 400.
LaTeX Warning: Reference `sec:audit-voting' on page 5 undefined on input line 4
04.
LaTeX Warning: Reference `sec:audit-voting' on page 5 undefined on input line 4
07.
LaTeX Warning: Reference `tallied-ballots' on page 5 undefined on input line 40
9.
[5] [6]
LaTeX Warning: Reference `elections' on page 7 undefined on input line 564.
LaTeX Warning: Reference `trustees' on page 7 undefined on input line 564.
LaTeX Warning: Reference `credentials' on page 7 undefined on input line 564.
LaTeX Warning: Reference `elections' on page 7 undefined on input line 564.
LaTeX Warning: Reference `ballots' on page 7 undefined on input line 564.
LaTeX Warning: Reference `tally' on page 7 undefined on input line 564.
LaTeX Warning: Reference `tally' on page 7 undefined on input line 564.
LaTeX Warning: Reference `shuffles' on page 7 undefined on input line 564.
LaTeX Warning: Reference `shuffles' on page 7 undefined on input line 564.
LaTeX Warning: Reference `partial-decryptions' on page 7 undefined on input lin
e 564.
LaTeX Warning: Reference `partial-decryptions' on page 7 undefined on input lin
e 564.
LaTeX Warning: Reference `election-result' on page 7 undefined on input line 56
4.
LaTeX Warning: Reference `elections' on page 7 undefined on input line 564.
LaTeX Warning: Reference `trustees' on page 7 undefined on input line 564.
LaTeX Warning: Reference `credentials' on page 7 undefined on input line 564.
LaTeX Warning: Reference `elections' on page 7 undefined on input line 564.
LaTeX Warning: Reference `ballots' on page 7 undefined on input line 564.
LaTeX Warning: Reference `tally' on page 7 undefined on input line 564.
LaTeX Warning: Reference `tally' on page 7 undefined on input line 564.
LaTeX Warning: Reference `shuffles' on page 7 undefined on input line 564.
LaTeX Warning: Reference `shuffles' on page 7 undefined on input line 564.
LaTeX Warning: Reference `partial-decryptions' on page 7 undefined on input lin
e 564.
LaTeX Warning: Reference `partial-decryptions' on page 7 undefined on input lin
e 564.
LaTeX Warning: Reference `election-result' on page 7 undefined on input line 56
4.
LaTeX Warning: Hyper reference `common' on page 7 undefined on input line 584.
[7] [8]
LaTeX Warning: Reference `pki' on page 9 undefined on input line 698.
[9]
LaTeX Warning: Hyper reference `trustee-keys' on page 10 undefined on input lin
e 860.
[10]
LaTeX Warning: Reference `trustee-keys' on page 11 undefined on input line 910.
LaTeX Warning: Reference `threshold' on page 11 undefined on input line 911.
LaTeX Warning: Reference `process-filling-trustees' on page 11 undefined on inp
ut line 928.
[11]
Overfull \hbox (3.77475pt too wide) detected at line 1012
[]
LaTeX Warning: Reference `answers' on page 12 undefined on input line 1021.
[12]
LaTeX Warning: Reference `default-group' on page 13 undefined on input line 108
2.
LaTeX Warning: Reference `nh-answers' on page 13 undefined on input line 1104.
LaTeX Warning: Reference `trustees' on page 13 undefined on input line 1111.
LaTeX Warning: Reference `credentials' on page 13 undefined on input line 1113.
LaTeX Warning: Reference `ballots' on page 13 undefined on input line 1129.
[13]
LaTeX Warning: Hyper reference `elections' on page 14 undefined on input line 1
158.
LaTeX Warning: Hyper reference `credentials' on page 14 undefined on input line
1160.
LaTeX Warning: Reference `iproof' on page 14 undefined on input line 1194.
LaTeX Warning: Reference `bproof' on page 14 undefined on input line 1212.
[14] [15]
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1324.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `subscript' on input line 1324.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1324.
(/usr/share/texmf/tex/latex/lm/ot1lmss.fd) [16]
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1383.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `subscript' on input line 1383.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1383.
LaTeX Warning: Reference `non-blank-votes' on page 17 undefined on input line 1
388.
[17]
LaTeX Warning: Hyper reference `credentials' on page 18 undefined on input line
1462.
LaTeX Warning: Hyper reference `answers' on page 18 undefined on input line 150
5.
LaTeX Warning: Hyper reference `signatures' on page 18 undefined on input line
1505.
LaTeX Warning: Hyper reference `answers' on page 18 undefined on input line 150
5.
LaTeX Warning: Hyper reference `signatures' on page 18 undefined on input line
1505.
[18]
LaTeX Warning: Reference `tallied-ballots' on page 19 undefined on input line 1
568.
[19]
LaTeX Warning: Reference `tally' on page 20 undefined on input line 1610.
Overfull \hbox (2.68176pt too wide) in paragraph at lines 1608--1613
\T1/lmr/m/n/10 as $\OML/lmm/m/it/10 b[]$ \T1/lmr/m/n/10 (see later), they must
be merged into the en-crypted tally as $\OML/lmm/m/it/10 a[]$ \T1/lmr/m/n/10 su
ch that $\OML/lmm/m/it/10 b[] \OT1/lmr/m/n/10 = [](\OML/lmm/m/it/10 a[]\OT1/lmr
/m/n/10 )$\T1/lmr/m/n/10 .
LaTeX Warning: Citation `CHVote' on page 20 undefined on input line 1615.
LaTeX Warning: Reference `shuffle-algorithms' on page 20 undefined on input lin
e 1657.
[20]
LaTeX Warning: Hyper reference `trustee-keys' on page 21 undefined on input lin
e 1688.
[21]
LaTeX Warning: Reference `nh-answers' on page 22 undefined on input line 1793.
[22]
LaTeX Warning: Reference `nh-answers' on page 23 undefined on input line 1852.
[23]
LaTeX Warning: Reference `shuffles' on page 24 undefined on input line 1896.
LaTeX Warning: Citation `CHVote' on page 24 undefined on input line 1898.
LaTeX Warning: Reference `gen-permutation' on page 24 undefined on input line 1
917.
LaTeX Warning: Reference `gen-re-encryption' on page 24 undefined on input line
1922.
LaTeX Warning: Reference `get-secondary-generator' on page 24 undefined on inpu
t line 2002.
LaTeX Warning: Reference `get-generators' on page 24 undefined on input line 20
02.
LaTeX Warning: Reference `gen-permutation-commitment' on page 24 undefined on i
nput line 2005.
LaTeX Warning: Reference `serialize-array' on page 24 undefined on input line 2
008.
LaTeX Warning: Reference `get-nizkp-challenges' on page 24 undefined on input l
ine 2011.
LaTeX Warning: Reference `gen-commitment-chain' on page 24 undefined on input l
ine 2016.
LaTeX Warning: Reference `get-nizkp-challenge' on page 24 undefined on input li
ne 2036.
LaTeX Warning: Reference `get-secondary-generator' on page 24 undefined on inpu
t line 2081.
LaTeX Warning: Reference `get-generators' on page 24 undefined on input line 20
81.
LaTeX Warning: Reference `serialize-array' on page 24 undefined on input line 2
084.
LaTeX Warning: Reference `get-nizkp-challenges' on page 24 undefined on input l
ine 2087.
LaTeX Warning: Reference `get-nizkp-challenge' on page 24 undefined on input li
ne 2095.
LaTeX Warning: Reference `get-generator' on page 24 undefined on input line 212
3.
LaTeX Warning: Reference `get-generator' on page 24 undefined on input line 214
1.
[24] [25] [26] [27] [28] [29] [30] [31] [32]
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 (32 pages, 713704 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-11-01>
L3 programming layer <2022-11-02>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo))
(/usr/share/texlive/texmf-dist/tex/latex/a4wide/a4wide.sty
(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty)
(/usr/share/texmf/tex/latex/lm/lmodern.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/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 59.
LaTeX Warning: Citation `Belenios-Easycrypt-CSF18' on page 2 undefined on input
line 61.
(/usr/share/texmf/tex/latex/lm/ts1lmr.fd)
LaTeX Warning: Citation `Pedersen' on page 2 undefined on input line 70.
LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 71.
LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 72.
LaTeX Warning: Citation `asiacrypt12' on page 2 undefined on input line 72.
LaTeX Warning: Citation `Helios' on page 2 undefined on input line 75.
LaTeX Warning: Citation `note-Pierrick' on page 2 undefined on input line 77.
LaTeX Warning: Citation `CGGI-esorics14' on page 2 undefined on input line 78.
LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin
e 79.
LaTeX Warning: Citation `EVoteID20-Belenios' on page 2 undefined on input line
81.
LaTeX Warning: Citation `CHVote' on page 2 undefined on input line 84.
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) [2]
(/usr/share/texmf/tex/latex/lm/t1lmss.fd) [3] [4] [5] [6] [7] [8] [9] [10]
[11] [12]
Overfull \hbox (3.77475pt too wide) detected at line 1012
[]
[13] [14] [15] [16]
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1324.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `subscript' on input line 1324.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1324.
(/usr/share/texmf/tex/latex/lm/ot1lmss.fd) [17]
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1383.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `subscript' on input line 1383.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1383.
[18] [19] [20]
LaTeX Warning: Citation `CHVote' on page 21 undefined on input line 1615.
[21] [22] [23] [24]
LaTeX Warning: Citation `CHVote' on page 25 undefined on input line 1898.
[25] [26] [27] [28] [29] [30] [31] [32] [33]
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 (33 pages, 723872 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-11-01>
L3 programming layer <2022-11-02>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo))
(/usr/share/texlive/texmf-dist/tex/latex/a4wide/a4wide.sty
(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty)
(/usr/share/texmf/tex/latex/lm/lmodern.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/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 59.
LaTeX Warning: Citation `Belenios-Easycrypt-CSF18' on page 2 undefined on input
line 61.
(/usr/share/texmf/tex/latex/lm/ts1lmr.fd)
LaTeX Warning: Citation `Pedersen' on page 2 undefined on input line 70.
LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 71.
LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 72.
LaTeX Warning: Citation `asiacrypt12' on page 2 undefined on input line 72.
LaTeX Warning: Citation `Helios' on page 2 undefined on input line 75.
LaTeX Warning: Citation `note-Pierrick' on page 2 undefined on input line 77.
LaTeX Warning: Citation `CGGI-esorics14' on page 2 undefined on input line 78.
LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin
e 79.
LaTeX Warning: Citation `EVoteID20-Belenios' on page 2 undefined on input line
81.
LaTeX Warning: Citation `CHVote' on page 2 undefined on input line 84.
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) [2]
(/usr/share/texmf/tex/latex/lm/t1lmss.fd) [3] [4] [5] [6] [7] [8] [9] [10]
[11] [12]
Overfull \hbox (3.77475pt too wide) detected at line 1012
[]
[13] [14] [15] [16]
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1324.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `subscript' on input line 1324.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1324.
(/usr/share/texmf/tex/latex/lm/ot1lmss.fd) [17]
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1383.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `subscript' on input line 1383.
Package hyperref Warning: Token not allowed in a PDF string (Unicode):
(hyperref) removing `math shift' on input line 1383.
[18] [19] [20]
LaTeX Warning: Citation `CHVote' on page 21 undefined on input line 1615.
[21] [22] [23] [24]
LaTeX Warning: Citation `CHVote' on page 25 undefined on input line 1898.
[25] [26] [27] [28] [29] [30] [31] [32] [33]
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 (33 pages, 723874 bytes).
Transcript written on specification.log.
make[3]: Leaving directory '/<<BUILDDIR>>/belenios-2.0+dfsg'
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-2.0+dfsg'
_build/install/default/bin/belenios-tool --help=groff > debian/belenios-tool.1
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-2.0+dfsg'
dh_auto_test -a
make -j4 check
make[1]: Entering directory '/<<BUILDDIR>>/belenios-2.0+dfsg'
make build-debug-tool
make[2]: Entering directory '/<<BUILDDIR>>/belenios-2.0+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-2.0+dfsg'
make -C tests/tool check
make[2]: Entering directory '/<<BUILDDIR>>/belenios-2.0+dfsg/tests/tool'
mkdir -p data
./demo.sh
=-=-= Setup election =-=-=
UUID of the election is t8E5Wd98AGZTPQ
5 private credentials with ids saved to ./1673072177.privcreds
5 public credentials saved to ./1673072177.pubcreds
The fingerprint of public credentials is xqn1ktJReqle1YP1Mtpc+4PfYetgfWNlcW5hqhlR7Vo
I: keypair D12A8B7C has been generated
I: public key saved to D12A8B7C.pubkey
I: private key saved to D12A8B7C.privkey
I: keypair A5B40290 has been generated
I: public key saved to A5B40290.pubkey
I: private key saved to A5B40290.privkey
I: keypair F308C771 has been generated
I: public key saved to F308C771.pubkey
I: private key saved to F308C771.privkey
=-=-= Simulate votes =-=-=
I: using directory .
I: loading 62...
I: loading 63...
Voter voter1@example.com,voter1,1000000000 voted with Y7C9SHDP6ZQ8tZh6Ym99JvDKoJKbT/7Bn3+rx3wsKhg
I: using directory .
I: loading 62...
I: loading 63...
Voter voter2@example.com,voter2,2000000000 voted with /REfV2ycMvEI3hTnBEXXxw0BML7Dx0l6Kj4r3/9m1dk
I: using directory .
I: loading 62...
I: loading 63...
Voter voter3@example.com,voter3,3000000000 voted with 5q6/adJAB2SYFimf+217UfVI1O9OAAE629jL4PsQ6Qk
I: using directory .
I: loading 62...
I: loading 63...
Voter voter4@example.com,voter4,4000000000 voted with 6206LZP8d3sXj1arBZBqI98SQ6+jLMuAy9OGrAJMqf0
I: using directory .
I: loading 62...
I: loading 63...
Voter voter5@example.com,voter5,90000000000 voted with /E7EfP392KADBmXMoQefirFBK3JEQM4b5tLrPpB7lqs
=-=-= Perform verification =-=-=
I: using directory .
W: no result to check
I: all checks passed
=-=-= Simulate revotes and verify diff =-=-=
I: using directory .
I: loading 62...
I: loading 63...
Voter voter1@example.com,voter1,1000000000 voted with GnJBH2UZOB0Zlp3G+PbnZCO5YsWyeZpYDvKYaPmKI70
I: using directory .
I: loading 62...
I: loading 63...
Voter voter2@example.com,voter2,2000000000 voted with 5qYhdl5QQXJ8vnbjl2BjDbKCapNrFEXhe0AszUCzmRM
I: using directory .
I: loading 62...
I: loading 63...
Voter voter3@example.com,voter3,3000000000 voted with F6svaFgewRy68hguFR9f/ouEDdTumULpn51JJ8yoouM
W: no result to check
I: all checks passed
=-=-= End voting phase =-=-=
I: using directory .
I: using directory .
W: no result to check
I: all checks passed
=-=-= Perform decryption =-=-=
I: using directory .
I: loading A5B40290.privkey...
I: using directory .
I: loading D12A8B7C.privkey...
I: using directory .
I: loading F308C771.privkey...
=-=-= Finalize tally =-=-=
I: using directory .
=-=-= Perform final verification =-=-=
I: using directory .
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-2.0+dfsg/tests/tool/data/t8E5Wd98AGZTPQ
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
./demo-threshold.sh
=-=-= Setup election =-=-=
UUID of the election is gjh5QyhhxnAVG1
5 private credentials with ids saved to ./1673072353.privcreds
5 public credentials saved to ./1673072353.pubcreds
The fingerprint of public credentials is i9yuB8Pf1nEFTOnAQAlAVu1DT1AiJicuyYkJA29dQDc
I: certificate 61395503f94ecb37e94cf8ddafed23178d9b7ed9aeafe5ba1d86702b9a6dd55e has been generated
I: certificate saved to 61395503f94ecb37e94cf8ddafed23178d9b7ed9aeafe5ba1d86702b9a6dd55e.cert
I: private key saved to 61395503f94ecb37e94cf8ddafed23178d9b7ed9aeafe5ba1d86702b9a6dd55e.key
I: certificate 4c3016af96c0dd0472250c0ad17ccc1d13a1bebe1f1525e82dd5eadf09cc0cb6 has been generated
I: certificate saved to 4c3016af96c0dd0472250c0ad17ccc1d13a1bebe1f1525e82dd5eadf09cc0cb6.cert
I: private key saved to 4c3016af96c0dd0472250c0ad17ccc1d13a1bebe1f1525e82dd5eadf09cc0cb6.key
I: certificate a5ccf580cc62e9297f4190b866bd246db561028725f5945ce48f802874673659 has been generated
I: certificate saved to a5ccf580cc62e9297f4190b866bd246db561028725f5945ce48f802874673659.cert
I: private key saved to a5ccf580cc62e9297f4190b866bd246db561028725f5945ce48f802874673659.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 4c3016af96c0dd0472250c0ad17ccc1d13a1bebe1f1525e82dd5eadf09cc0cb6.vinput
I: wrote 61395503f94ecb37e94cf8ddafed23178d9b7ed9aeafe5ba1d86702b9a6dd55e.vinput
I: wrote a5ccf580cc62e9297f4190b866bd246db561028725f5945ce48f802874673659.vinput
I: loading certs.jsons...
I: loading certs.jsons...
I: loading certs.jsons...
I: loading certs.jsons...
I: loading polynomials.jsons...
I: wrote 4c3016af96c0dd0472250c0ad17ccc1d13a1bebe1f1525e82dd5eadf09cc0cb6.dkey
I: wrote 61395503f94ecb37e94cf8ddafed23178d9b7ed9aeafe5ba1d86702b9a6dd55e.dkey
I: wrote a5ccf580cc62e9297f4190b866bd246db561028725f5945ce48f802874673659.dkey
I: keypair 4CAD2074 has been generated
I: public key saved to 4CAD2074.pubkey
I: private key saved to 4CAD2074.privkey
=-=-= Simulate votes =-=-=
I: using directory .
I: loading 62...
I: loading 63...
Voter 1 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 2 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 3 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 4 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 5 voted
=-=-= Perform verification =-=-=
I: using directory .
W: no result to check
I: all checks passed
=-=-= Simulate revotes and verify diff =-=-=
I: using directory .
I: loading 62...
I: loading 63...
Voter 1 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 2 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 3 voted
W: no result to check
I: all checks passed
=-=-= End voting phase =-=-=
I: using directory .
I: using directory .
W: no result to check
I: all checks passed
=-=-= Perform decryption (threshold) =-=-=
I: using directory .
I: using directory .
I: using directory .
=-=-= Perform decryption (mandatory) =-=-=
I: using directory .
I: loading 4CAD2074.privkey...
=-=-= Finalize tally =-=-=
I: using directory .
=-=-= Perform final verification =-=-=
I: using directory .
I: all checks passed
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The simulated election was successful! Its result can be seen in
/<<BUILDDIR>>/belenios-2.0+dfsg/tests/tool/data/gjh5QyhhxnAVG1
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
./demo-nh.sh
=-=-= Setup election =-=-=
UUID of the election is zYeQuJ2zQV2Z5D
60 private credentials with ids saved to ./1673072509.privcreds
60 public credentials saved to ./1673072509.pubcreds
The fingerprint of public credentials is kJiVyphsVoN95cq2gI2MMauwaJfhVl3i0c5wE3KOSAo
I: keypair B68FC752 has been generated
I: public key saved to B68FC752.pubkey
I: private key saved to B68FC752.privkey
I: keypair 6F560FEB has been generated
I: public key saved to 6F560FEB.pubkey
I: private key saved to 6F560FEB.privkey
I: keypair 660821A9 has been generated
I: public key saved to 660821A9.pubkey
I: private key saved to 660821A9.privkey
=-=-= Simulate votes =-=-=
I: using directory .
I: loading 62...
I: loading 63...
Voter 10 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 11 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 12 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 13 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 14 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 15 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 16 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 17 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 18 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 19 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 20 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 21 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 22 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 23 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 24 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 25 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 26 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 27 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 28 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 29 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 30 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 31 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 32 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 33 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 34 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 35 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 36 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 37 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 38 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 39 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 40 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 41 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 42 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 43 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 44 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 45 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 46 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 47 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 48 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 49 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 50 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 51 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 52 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 53 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 54 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 55 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 56 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 57 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 58 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 59 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 60 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 61 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 62 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 63 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 64 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 65 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 66 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 67 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 68 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 69 voted
=-=-= Perform verification =-=-=
I: using directory .
W: no result to check
I: all checks passed
=-=-= End voting phase =-=-=
I: using directory .
I: using directory .
W: no result to check
I: all checks passed
=-=-= Shuffle ciphertexts =-=-=
I: using directory .
I: using directory .
=-=-= Perform decryption =-=-=
I: using directory .
I: loading 660821A9.privkey...
I: shuffle 5NTx4dEfIppJ5Y5V59DjjEoPf+tbJUd/kMidAYurkxk has been applied
I: shuffle l6aaag8Fr0yEKrE2FVLzhg80BALcE+Sa/hgp2LHwd/0 has been applied
W: you should check that your shuffle appears in the list of applied shuffles
I: using directory .
I: loading 6F560FEB.privkey...
I: shuffle 5NTx4dEfIppJ5Y5V59DjjEoPf+tbJUd/kMidAYurkxk has been applied
I: shuffle l6aaag8Fr0yEKrE2FVLzhg80BALcE+Sa/hgp2LHwd/0 has been applied
W: you should check that your shuffle appears in the list of applied shuffles
I: using directory .
I: loading B68FC752.privkey...
I: shuffle 5NTx4dEfIppJ5Y5V59DjjEoPf+tbJUd/kMidAYurkxk has been applied
I: shuffle l6aaag8Fr0yEKrE2FVLzhg80BALcE+Sa/hgp2LHwd/0 has been applied
W: you should check that your shuffle appears in the list of applied shuffles
=-=-= Finalize tally =-=-=
I: using directory .
=-=-= Perform final verification =-=-=
I: using directory .
I: all checks passed
=-=-= Apply Schulze method =-=-=
Could not find jq command, test skipped!
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The simulated election was successful! Its result can be seen in
/<<BUILDDIR>>/belenios-2.0+dfsg/tests/tool/data/zYeQuJ2zQV2Z5D
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
./demo-mj.sh
=-=-= Setup election =-=-=
UUID of the election is gWBqUJ7QsudfmX
102 private credentials with ids saved to ./1673080735.privcreds
102 public credentials saved to ./1673080735.pubcreds
The fingerprint of public credentials is fDbuQGN7feqpxcggsn6u/EGpZTOEmNmtHmDN7SlA3Tc
I: keypair FE2A65DC has been generated
I: public key saved to FE2A65DC.pubkey
I: private key saved to FE2A65DC.privkey
I: keypair DE857859 has been generated
I: public key saved to DE857859.pubkey
I: private key saved to DE857859.privkey
I: keypair 95D4693C has been generated
I: public key saved to 95D4693C.pubkey
I: private key saved to 95D4693C.privkey
=-=-= Simulate votes =-=-=
I: using directory .
I: loading 62...
I: loading 63...
Voter 100 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 101 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 102 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 103 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 104 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 105 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 106 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 107 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 108 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 109 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 110 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 111 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 112 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 113 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 114 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 115 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 116 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 117 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 118 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 119 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 120 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 121 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 122 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 123 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 124 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 125 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 126 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 127 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 128 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 129 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 130 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 131 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 132 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 133 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 134 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 135 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 136 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 137 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 138 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 139 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 140 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 141 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 142 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 143 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 144 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 145 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 146 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 147 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 148 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 149 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 150 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 151 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 152 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 153 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 154 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 155 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 156 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 157 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 158 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 159 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 160 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 161 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 162 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 163 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 164 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 165 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 166 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 167 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 168 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 169 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 170 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 171 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 172 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 173 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 174 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 175 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 176 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 177 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 178 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 179 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 180 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 181 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 182 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 183 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 184 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 185 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 186 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 187 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 188 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 189 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 190 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 191 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 192 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 193 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 194 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 195 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 196 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 197 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 198 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 199 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 200 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 201 voted
=-=-= Perform verification =-=-=
I: using directory .
W: no result to check
I: all checks passed
=-=-= End voting phase =-=-=
I: using directory .
I: using directory .
W: no result to check
I: all checks passed
=-=-= Shuffle ciphertexts =-=-=
I: using directory .
I: using directory .
=-=-= Perform decryption =-=-=
I: using directory .
I: loading 95D4693C.privkey...
I: shuffle RogLSRleBTjIQ43+5SvVMbJUiz08wBXUOzIbJo2IR6E has been applied
I: shuffle O4k/JQmGDkDc9hGdnfDrFHXlBgbVdKm7VGF9Uqpi7fU has been applied
W: you should check that your shuffle appears in the list of applied shuffles
I: using directory .
I: loading DE857859.privkey...
I: shuffle RogLSRleBTjIQ43+5SvVMbJUiz08wBXUOzIbJo2IR6E has been applied
I: shuffle O4k/JQmGDkDc9hGdnfDrFHXlBgbVdKm7VGF9Uqpi7fU has been applied
W: you should check that your shuffle appears in the list of applied shuffles
I: using directory .
I: loading FE2A65DC.privkey...
I: shuffle RogLSRleBTjIQ43+5SvVMbJUiz08wBXUOzIbJo2IR6E has been applied
I: shuffle O4k/JQmGDkDc9hGdnfDrFHXlBgbVdKm7VGF9Uqpi7fU has been applied
W: you should check that your shuffle appears in the list of applied shuffles
=-=-= Finalize tally =-=-=
I: using directory .
=-=-= Perform final verification =-=-=
I: using directory .
I: all checks passed
=-=-= Apply Majority Judgment method =-=-=
Could not find jq command, test skipped!
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The simulated election was successful! Its result can be seen in
/<<BUILDDIR>>/belenios-2.0+dfsg/tests/tool/data/gWBqUJ7QsudfmX
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
./demo-stv.sh
=-=-= Setup election =-=-=
UUID of the election is ctRWwMVWGSzrgQ
50 private credentials with ids saved to ./1673082889.privcreds
50 public credentials saved to ./1673082889.pubcreds
The fingerprint of public credentials is ak6dbbs3FJ5NzyUrIyuhf+6dO4Snd+nWliny6r/stqA
I: keypair 2552A3C4 has been generated
I: public key saved to 2552A3C4.pubkey
I: private key saved to 2552A3C4.privkey
I: keypair 5F05858C has been generated
I: public key saved to 5F05858C.pubkey
I: private key saved to 5F05858C.privkey
I: keypair 7EEC71A0 has been generated
I: public key saved to 7EEC71A0.pubkey
I: private key saved to 7EEC71A0.privkey
=-=-= Simulate votes =-=-=
I: using directory .
I: loading 62...
I: loading 63...
Voter 10 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 11 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 12 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 13 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 14 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 15 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 16 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 17 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 18 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 19 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 20 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 21 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 22 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 23 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 24 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 25 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 26 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 27 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 28 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 29 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 30 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 31 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 32 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 33 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 34 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 35 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 36 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 37 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 38 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 39 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 40 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 41 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 42 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 43 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 44 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 45 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 46 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 47 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 48 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 49 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 50 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 51 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 52 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 53 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 54 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 55 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 56 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 57 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 58 voted
I: using directory .
I: loading 62...
I: loading 63...
Voter 59 voted
=-=-= Perform verification =-=-=
I: using directory .
W: no result to check
I: all checks passed
=-=-= End voting phase =-=-=
I: using directory .
I: using directory .
W: no result to check
I: all checks passed
=-=-= Shuffle ciphertexts =-=-=
I: using directory .
I: using directory .
=-=-= Perform decryption =-=-=
I: using directory .
I: loading 2552A3C4.privkey...
I: shuffle vsSJj3eYFHVxniMECpJ+i/oQq1HJ3t75r8Hz6qHaVoY has been applied
I: shuffle GioIptqEmLRrz2KMPSLSmJ/Mhpy3ihRy5KCFnwXobl0 has been applied
W: you should check that your shuffle appears in the list of applied shuffles
I: using directory .
I: loading 5F05858C.privkey...
I: shuffle vsSJj3eYFHVxniMECpJ+i/oQq1HJ3t75r8Hz6qHaVoY has been applied
I: shuffle GioIptqEmLRrz2KMPSLSmJ/Mhpy3ihRy5KCFnwXobl0 has been applied
W: you should check that your shuffle appears in the list of applied shuffles
I: using directory .
I: loading 7EEC71A0.privkey...
I: shuffle vsSJj3eYFHVxniMECpJ+i/oQq1HJ3t75r8Hz6qHaVoY has been applied
I: shuffle GioIptqEmLRrz2KMPSLSmJ/Mhpy3ihRy5KCFnwXobl0 has been applied
W: you should check that your shuffle appears in the list of applied shuffles
=-=-= Finalize tally =-=-=
I: using directory .
=-=-= Perform final verification =-=-=
I: using directory .
I: all checks passed
=-=-= Apply STV method =-=-=
Could not find jq command, test skipped!
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The simulated election was successful! Its result can be seen in
/<<BUILDDIR>>/belenios-2.0+dfsg/tests/tool/data/ctRWwMVWGSzrgQ
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-2.0+dfsg/tests/tool'
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-2.0+dfsg'
create-stamp debian/debhelper-build-stamp
dh_prep -a
debian/rules override_dh_auto_install
make[1]: Entering directory '/<<BUILDDIR>>/belenios-2.0+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-2.0+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-dbgsym' in '../belenios-tool-dbgsym_2.0+dfsg-1_armhf.deb'.
dpkg-deb: building package 'belenios-tool' in '../belenios-tool_2.0+dfsg-1_armhf.deb'.
dpkg-genbuildinfo --build=any -O../belenios_2.0+dfsg-1_armhf.buildinfo
dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> -O../belenios_2.0+dfsg-1_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2023-01-07T09:33:30Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
belenios_2.0+dfsg-1_armhf.changes:
----------------------------------
Format: 1.8
Date: Mon, 02 Jan 2023 10:34:38 +0100
Source: belenios
Binary: belenios-tool belenios-tool-dbgsym
Architecture: armhf
Version: 2.0+dfsg-1
Distribution: bookworm-staging
Urgency: medium
Maintainer: Raspbian wandboard test autobuilder <root@raspbian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
belenios-tool - verifiable voting system (command-line tool)
Changes:
belenios (2.0+dfsg-1) unstable; urgency=medium
.
* New upstream release
Checksums-Sha1:
7a5bf76d3a967aba1bdb29a4922129ad62158c13 264848 belenios-tool-dbgsym_2.0+dfsg-1_armhf.deb
e76677726609bc2a50b6eaf241b253c6a2e0a7d8 1677700 belenios-tool_2.0+dfsg-1_armhf.deb
52661e3e9f0c7ae5b06ce6545c684d365be959e0 9750 belenios_2.0+dfsg-1_armhf.buildinfo
Checksums-Sha256:
7c34aefcec017d040e42fa911f9e23571cf5d6f30b1b20bcb3e3bd462f4dd385 264848 belenios-tool-dbgsym_2.0+dfsg-1_armhf.deb
71870b85ad249165a41e9d39097cc71904e59eb286c2bfbf14acefb77b288338 1677700 belenios-tool_2.0+dfsg-1_armhf.deb
24187d988e43b3e4d9f545cab634a523d16cfcbbe49121829d5516f30fd29844 9750 belenios_2.0+dfsg-1_armhf.buildinfo
Files:
d345b9a8750686edfc11db5fb504d027 264848 debug optional belenios-tool-dbgsym_2.0+dfsg-1_armhf.deb
5767cc1e949d2a2052ca95f712bf1fe5 1677700 misc optional belenios-tool_2.0+dfsg-1_armhf.deb
1d75302d229343f256c3063b6a70de0a 9750 misc optional belenios_2.0+dfsg-1_armhf.buildinfo
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
belenios-tool-dbgsym_2.0+dfsg-1_armhf.deb
-----------------------------------------
new Debian package, version 2.0.
size 264848 bytes: control archive=536 bytes.
386 bytes, 12 lines control
106 bytes, 1 lines md5sums
Package: belenios-tool-dbgsym
Source: belenios
Version: 2.0+dfsg-1
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 1023
Depends: belenios-tool (= 2.0+dfsg-1)
Section: debug
Priority: optional
Description: debug symbols for belenios-tool
Build-Ids: 9e4e61a8dc2fe96b99692c95c40f4033d0e040c3
drwxr-xr-x root/root 0 2023-01-02 09:34 ./
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/lib/
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/lib/debug/
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/lib/debug/.build-id/9e/
-rw-r--r-- root/root 1036512 2023-01-02 09:34 ./usr/lib/debug/.build-id/9e/4e61a8dc2fe96b99692c95c40f4033d0e040c3.debug
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/share/
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/share/doc/
lrwxrwxrwx root/root 0 2023-01-02 09:34 ./usr/share/doc/belenios-tool-dbgsym -> belenios-tool
belenios-tool_2.0+dfsg-1_armhf.deb
----------------------------------
new Debian package, version 2.0.
size 1677700 bytes: control archive=1484 bytes.
1631 bytes, 35 lines control
997 bytes, 13 lines md5sums
Package: belenios-tool
Source: belenios
Version: 2.0+dfsg-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 3997
Depends: libc6 (>= 2.35), libgmp10 (>= 2:6.2.1+dfsg1), zlib1g (>= 1:1.1.4)
Section: misc
Priority: optional
Homepage: http://www.belenios.org/
Description: verifiable voting system (command-line tool)
Belenios aims at providing an easy to use voting system, guaranteeing
state-of-the-art security, namely vote privacy and verifiability. It
can be used in many types of elections, ranging from scientific
councils to sport associations.
.
It consists of a command-line tool and a web server. Both use the
same backend and can be used to organize elections and perform
verifications.
.
Security properties of the system are:
* Vote privacy: No one can learn the vote of a voter. Vote privacy
relies on the encryption of the votes.
* End-to-end verifiablity: Every voter can check that her vote has
been counted and only eligible voters may vote. End-to-end
verifiablity relies on the fact that the ballot box is public
(voters can check that their ballots have been received) and on
the fact that the tally is publicly verifiable (anyone can recount
the votes). Moreover, ballots are signed by the voter credential
(only eligible voters are able to vote).
.
This package provides the command-line tool, which is the most
convenient way to exercise the verifiability capabilities of the
system. It can be used to run an election without using the web
server, and to monitor an election running on a web server.
drwxr-xr-x root/root 0 2023-01-02 09:34 ./
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/bin/
-rwxr-xr-x root/root 3300568 2023-01-02 09:34 ./usr/bin/belenios-tool
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/share/
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/share/doc/
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/share/doc/belenios-tool/
-rw-r--r-- root/root 3284 2023-01-02 09:34 ./usr/share/doc/belenios-tool/README.md
-rw-r--r-- root/root 602 2023-01-02 09:34 ./usr/share/doc/belenios-tool/changelog.Debian.gz
-rw-r--r-- root/root 6864 2023-01-02 09:34 ./usr/share/doc/belenios-tool/changelog.gz
-rw-r--r-- root/root 33969 2023-01-02 09:34 ./usr/share/doc/belenios-tool/copyright
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/share/doc/belenios-tool/examples/
-rwxr-xr-x root/root 5128 2022-12-06 05:21 ./usr/share/doc/belenios-tool/examples/demo-mj.sh
-rwxr-xr-x root/root 5330 2022-12-06 05:21 ./usr/share/doc/belenios-tool/examples/demo-nh.sh
-rwxr-xr-x root/root 5086 2022-12-06 05:21 ./usr/share/doc/belenios-tool/examples/demo-stv.sh
-rwxr-xr-x root/root 4233 2022-12-06 05:21 ./usr/share/doc/belenios-tool/examples/demo-threshold.sh
-rwxr-xr-x root/root 4355 2022-12-06 05:21 ./usr/share/doc/belenios-tool/examples/demo.sh
-rw-r--r-- root/root 700583 2023-01-02 09:34 ./usr/share/doc/belenios-tool/specification.pdf.gz
-rw-r--r-- root/root 3780 2022-12-06 05:21 ./usr/share/doc/belenios-tool/tool.md
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/share/man/
drwxr-xr-x root/root 0 2023-01-02 09:34 ./usr/share/man/man1/
-rw-r--r-- root/root 862 2023-01-02 09:34 ./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: 100780
Build-Time: 11997
Distribution: bookworm-staging
Host Architecture: armhf
Install-Time: 2604
Job: belenios_2.0+dfsg-1
Machine Architecture: armhf
Package: belenios
Package-Time: 14669
Source-Version: 2.0+dfsg-1
Space: 100780
Status: successful
Version: 2.0+dfsg-1
--------------------------------------------------------------------------------
Finished at 2023-01-07T09:33:30Z
Build needed 04:04:29, 100780k disc space