Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/b/belenios/belenios_1.14+dfsg-1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/belenios-1.14+dfsg-1cofb5udc/belenios_1.14+dfsg-1_amd64.buildinfo Get source package info: belenios=1.14+dfsg-1 Source URL: http://snapshot.notset.fr/mr/package/belenios/1.14+dfsg-1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.69-14 automake=1:1.16.3-2 autopoint=0.21-4 autotools-dev=20180224.1+nmu1 base-files=11 base-passwd=3.5.49 bash=5.1-2 binutils=2.35.1-7 binutils-common=2.35.1-7 binutils-x86-64-linux-gnu=2.35.1-7 bsdextrautils=2.36.1-7 bsdutils=1:2.36.1-7 build-essential=12.9 bzip2=1.0.8-4 coreutils=8.32-4+b1 cpp=4:10.2.1-1 cpp-10=10.2.1-6 dash=0.5.11+git20200708+dd9ef66-5 debconf=1.5.74 debhelper=13.3.3 debianutils=4.11.2 dh-autoreconf=20 dh-ocaml=1.1.3 dh-strip-nondeterminism=1.11.0-1 diffutils=1:3.7-5 dpkg=1.20.7.1 dpkg-dev=1.20.7.1 dwz=0.13+20210201-1 file=1:5.39-3 findutils=4.8.0-1 fontconfig-config=2.13.1-4.2 fonts-dejavu-core=2.37-2 fonts-gfs-baskerville=1.1-6 fonts-gfs-porson=1.1-7 fonts-lmodern=2.004.5-6.1 g++=4:10.2.1-1 g++-10=10.2.1-6 gcc=4:10.2.1-1 gcc-10=10.2.1-6 gcc-10-base=10.2.1-6 gettext=0.21-4 gettext-base=0.21-4 grep=3.6-1 groff-base=1.22.4-6 gzip=1.10-2 hostname=3.23 init-system-helpers=1.60 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-10 libapache-pom-java=18-1 libarchive-zip-perl=1.68-1 libasan6=10.2.1-6 libatdgen-ocaml=2.2.1-1+b1 libatdgen-ocaml-dev=2.2.1-1+b1 libatomic1=10.2.1-6 libattr1=1:2.4.48-6 libaudit-common=1:3.0-2 libaudit1=1:3.0-2 libbiniou-ocaml=1.2.1-1+b2 libbiniou-ocaml-dev=1.2.1-1+b2 libbinutils=2.35.1-7 libblkid1=2.36.1-7 libbrotli1=1.0.9-2+b2 libbsd0=0.11.3-1 libbz2-1.0=1.0.8-4 libc-bin=2.31-9 libc-dev-bin=2.31-9 libc6=2.31-9 libc6-dev=2.31-9 libcairo2=1.16.0-5 libcalendar-ocaml=2.04-3+b2 libcalendar-ocaml-dev=2.04-3+b2 libcap-ng0=0.7.9-2.2+b1 libcc1-0=10.2.1-6 libcmdliner-ocaml-dev=1.0.4-2+b1 libcom-err2=1.45.7-1 libcommons-logging-java=1.2-2 libcommons-parent-java=43-1 libcrypt-dev=1:4.4.17-1 libcrypt1=1:4.4.17-1 libcryptokit-ocaml=1.16.1-1+b1 libcryptokit-ocaml-dev=1.16.1-1+b1 libctf-nobfd0=2.35.1-7 libctf0=2.35.1-7 libdb5.3=5.3.28+dfsg1-0.8 libdebconfclient0=0.256 libdebhelper-perl=13.3.3 libdpkg-perl=1.20.7.1 libeasy-format-ocaml=1.3.2-1+b1 libeasy-format-ocaml-dev=1.3.2-1+b1 libelf1=0.183-1 libexpat1=2.2.10-1 libffi7=3.3-5 libfile-stripnondeterminism-perl=1.11.0-1 libfindlib-ocaml=1.8.1-2 libfontbox-java=1:1.8.16-2 libfontconfig1=2.13.1-4.2 libfontenc1=1:1.1.4-1 libfreetype6=2.10.4+dfsg-1 libgcc-10-dev=10.2.1-6 libgcc-s1=10.2.1-6 libgcrypt20=1.8.7-2 libgdbm-compat4=1.19-2 libgdbm6=1.19-2 libglib2.0-0=2.66.6-2 libgmp-dev=2:6.2.1+dfsg-1 libgmp10=2:6.2.1+dfsg-1 libgmp3-dev=2:6.2.1+dfsg-1 libgmpxx4ldbl=2:6.2.1+dfsg-1 libgomp1=10.2.1-6 libgpg-error0=1.38-2 libgraphite2-3=1.3.14-1 libgssapi-krb5-2=1.18.3-4 libharfbuzz0b=2.7.4-1 libice6=2:1.0.10-1 libicu67=67.1-6 libisl23=0.23-1 libitm1=10.2.1-6 libk5crypto3=1.18.3-4 libkeyutils1=1.6.1-2 libkpathsea6=2020.20200327.54578-6 libkrb5-3=1.18.3-4 libkrb5support0=1.18.3-4 liblsan0=10.2.1-6 liblz4-1=1.9.3-1 liblzma5=5.2.5-1.0 libmagic-mgc=1:5.39-3 libmagic1=1:5.39-3 libmd0=1.0.3-3 libmount1=2.36.1-7 libmpc3=1.2.0-1 libmpdec3=2.5.1-1 libmpfr6=4.1.0-3 libncurses-dev=6.2+20201114-2 libncurses5-dev=6.2+20201114-2 libncurses6=6.2+20201114-2 libncursesw6=6.2+20201114-2 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libpam-modules=1.4.0-4 libpam-modules-bin=1.4.0-4 libpam-runtime=1.4.0-4 libpam0g=1.4.0-4 libpaper-utils=1.1.28+b1 libpaper1=1.1.28+b1 libpcre2-8-0=10.36-2 libpcre3=2:8.39-13 libpdfbox-java=1:1.8.16-2 libperl5.32=5.32.1-2 libpipeline1=1.5.3-1 libpixman-1-0=0.40.0-1 libpng16-16=1.6.37-3 libptexenc1=2020.20200327.54578-6 libpython3-stdlib=3.9.1-1 libpython3.9-minimal=3.9.1-4 libpython3.9-stdlib=3.9.1-4 libquadmath0=10.2.1-6 libreadline8=8.1-1 libseccomp2=2.5.1-1 libselinux1=3.1-2+b2 libsigsegv2=2.13-1 libsm6=2:1.2.3-1 libsmartcols1=2.36.1-7 libsqlite3-0=3.34.1-1 libssl1.1=1.1.1i-3 libstdc++-10-dev=10.2.1-6 libstdc++6=10.2.1-6 libsub-override-perl=0.09-2 libsynctex2=2020.20200327.54578-6 libsystemd0=247.3-1 libteckit0=2.5.10+ds1-3 libtexlua53=2020.20200327.54578-6 libtexluajit2=2020.20200327.54578-6 libtinfo6=6.2+20201114-2 libtirpc-common=1.3.1-1 libtirpc-dev=1.3.1-1 libtirpc3=1.3.1-1 libtool=2.4.6-15 libtsan0=10.2.1-6 libubsan1=10.2.1-6 libuchardet0=0.0.7-1 libudev1=247.3-1 libunistring2=0.9.10-4 libuuid1=2.36.1-7 libuuidm-ocaml-dev=0.9.7-1+b1 libx11-6=2:1.7.0-2 libx11-data=2:1.7.0-2 libxau6=1:1.0.9-1 libxaw7=2:1.0.13-1.1 libxcb-render0=1.14-3 libxcb-shm0=1.14-3 libxcb1=1.14-3 libxdmcp6=1:1.1.2-3 libxext6=2:1.3.3-1.1 libxi6=2:1.7.10-1 libxml2=2.9.10+dfsg-6.3+b1 libxmu6=2:1.1.2-2+b3 libxpm4=1:3.5.12-1 libxrender1=1:0.9.10-1 libxt6=1:1.2.0-1 libyojson-ocaml=1.7.0-1+b4 libyojson-ocaml-dev=1.7.0-1+b4 libzarith-ocaml=1.11-1 libzarith-ocaml-dev=1.11-1 libzstd1=1.4.8+dfsg-1 libzzip-0-13=0.13.62-3.2 linux-libc-dev=5.10.13-1 lmodern=2.004.5-6.1 login=1:4.8.1-1 lsb-base=11.1.0 m4=1.4.18-5 make=4.3-4 man-db=2.9.4-1 markdown=1.0.1-10.1 mawk=1.3.4.20200120-2 media-types=4.0.0 ncurses-base=6.2+20201114-2 ncurses-bin=6.2+20201114-2 ocaml-base-nox=4.11.1-4 ocaml-compiler-libs=4.11.1-4 ocaml-dune=2.7.1-2 ocaml-findlib=1.8.1-2 ocaml-interp=4.11.1-4 ocaml-nox=4.11.1-4 patch=2.7.6-7 perl=5.32.1-2 perl-base=5.32.1-2 perl-modules-5.32=5.32.1-2 po-debconf=1.0.21+nmu1 preview-latex-style=12.2-1 python3=3.9.1-1 python3-minimal=3.9.1-1 python3.9=3.9.1-4 python3.9-minimal=3.9.1-4 readline-common=8.1-1 sed=4.7-1 sensible-utils=0.0.14 sysvinit-utils=2.96-5 t1utils=1.41-4 tar=1.32+dfsg-1 tex-common=6.15 texlive-base=2020.20210202-2 texlive-binaries=2020.20200327.54578-6 texlive-fonts-extra=2020.20210202-1 texlive-fonts-recommended=2020.20210202-2 texlive-lang-greek=2020.20210202-1 texlive-latex-base=2020.20210202-2 texlive-latex-extra=2020.20210202-1 texlive-latex-recommended=2020.20210202-2 texlive-pictures=2020.20210202-2 texlive-science=2020.20210202-1 tzdata=2021a-1 ucf=3.0043 util-linux=2.36.1-7 x11-common=1:7.7+21 xdg-utils=1.1.3-4 xfonts-encodings=1:1.0.4-2.1 xfonts-utils=1:7.7+6 xz-utils=5.2.5-1.0 zlib1g=1:1.2.11.dfsg-2 zlib1g-dev=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20210209T091207Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d belenios=1.14+dfsg-1 && mkdir -p /build/belenios-Mfm0Ms && dpkg-source --no-check -x /*.dsc /build/belenios-Mfm0Ms/belenios-1.14+dfsg && chown -R builduser:builduser /build/belenios-Mfm0Ms" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/belenios-Mfm0Ms/belenios-1.14+dfsg && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1612947225" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/belenios-Mfm0Ms /tmp/belenios-1.14+dfsg-1cofb5udc bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20210209T091207Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: tar I: using /tmp/mmdebstrap.Esi3W9oucP as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.Esi3W9oucP Reading package lists... Building dependency tree... util-linux is already the newest version (2.36.1-7). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 134 kB of archives. After this operation, 397 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20210209T091207Z unstable/main amd64 libfakeroot amd64 1.25.3-1.1 [47.0 kB] Get:2 http://snapshot.notset.fr/archive/debian/20210209T091207Z unstable/main amd64 fakeroot amd64 1.25.3-1.1 [87.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 134 kB in 0s (592 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4663 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.25.3-1.1_amd64.deb ... Unpacking libfakeroot:amd64 (1.25.3-1.1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.25.3-1.1_amd64.deb ... Unpacking fakeroot (1.25.3-1.1) ... Setting up libfakeroot:amd64 (1.25.3-1.1) ... Setting up fakeroot (1.25.3-1.1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.31-9) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20210209T091207Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.Esi3W9oucP Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20210209T091207Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Fetched 22.6 MB in 20s (1140 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.Esi3W9oucP I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d belenios=1.14+dfsg-1 && mkdir -p /build/belenios-Mfm0Ms && dpkg-source --no-check -x /*.dsc /build/belenios-Mfm0Ms/belenios-1.14+dfsg && chown -R builduser:builduser /build/belenios-Mfm0Ms"' exec /tmp/mmdebstrap.Esi3W9oucP 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 348 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main belenios 1.14+dfsg-1 (dsc) [2025 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main belenios 1.14+dfsg-1 (tar) [320 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main belenios 1.14+dfsg-1 (diff) [25.9 kB] Fetched 348 kB in 0s (938 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'belenios_1.14+dfsg-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting belenios in /build/belenios-Mfm0Ms/belenios-1.14+dfsg dpkg-source: info: unpacking belenios_1.14+dfsg.orig.tar.xz dpkg-source: info: unpacking belenios_1.14+dfsg-1.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/belenios-Mfm0Ms/belenios-1.14+dfsg && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1612947225" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.Esi3W9oucP dpkg-buildpackage: info: source package belenios dpkg-buildpackage: info: source version 1.14+dfsg-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Stéphane Glondu dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml dh_auto_clean make -j4 clean make[1]: Entering directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg' dune clean dune clean --build-dir=_build-debug make -C po clean make[2]: Entering directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg/po' make -C voter clean make[3]: Entering directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg/po/voter' rm -f *.bak make[3]: Leaving directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg/po/voter' make -C admin clean make[3]: Entering directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg/po/admin' rm -f *.bak make[3]: Leaving directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg/po/admin' make[2]: Leaving directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg/po' make -C tests/tool clean make[2]: Entering directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg/tests/tool' rm -rf data make[2]: Leaving directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg/tests/tool' make[1]: Leaving directory '/build/belenios-Mfm0Ms/belenios-1.14+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 '/build/belenios-Mfm0Ms/belenios-1.14+dfsg' dune build -p belenios-platform,belenios-platform-native,belenios,belenios-tool /usr/bin/make doc make[2]: Entering directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg' /usr/bin/make doc/specification.pdf make[3]: Entering directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg' cd doc && for u in 1 2 3; do pdflatex specification.tex; done This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./specification.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-01-09> xparse <2020-03-03> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/a4wide/a4wide.sty (/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texmf/tex/latex/lm/lmodern.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/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/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/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/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/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) LaTeX Warning: Citation `Belenios-Meadows2019' on page 1 undefined on input lin e 58. LaTeX Warning: Citation `Belenios-Easycrypt-CSF18' on page 1 undefined on input line 60. (/usr/share/texmf/tex/latex/lm/ts1lmr.fd) LaTeX Warning: Citation `Pedersen' on page 1 undefined on input line 69. LaTeX Warning: Citation `wpes2013' on page 1 undefined on input line 70. LaTeX Warning: Citation `wpes2013' on page 1 undefined on input line 71. LaTeX Warning: Citation `asiacrypt12' on page 1 undefined on input line 71. LaTeX Warning: Citation `Helios' on page 1 undefined on input line 74. LaTeX Warning: Citation `note-Pierrick' on page 1 undefined on input line 76. LaTeX Warning: Citation `CGGI-esorics14' on page 1 undefined on input line 77. LaTeX Warning: Citation `Belenios-Meadows2019' on page 1 undefined on input lin e 78. LaTeX Warning: Citation `CHVote' on page 1 undefined on input line 81. (/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) LaTeX Warning: Reference `default-group' on page 1 undefined on input line 120. [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texmf/tex/latex/lm/t1lmtt.fd) LaTeX Warning: Hyper reference `basic-types' on page 2 undefined on input line 164. LaTeX Warning: Hyper reference `credentials' on page 2 undefined on input line 166. (/usr/share/texmf/tex/latex/lm/t1lmss.fd) LaTeX Warning: Hyper reference `trustees' on page 2 undefined on input line 173 . LaTeX Warning: Reference `process-filling-trustees' on page 2 undefined on inpu t line 176. LaTeX Warning: Hyper reference `elections' on page 2 undefined on input line 17 8. LaTeX Warning: Reference `item-forget' on page 2 undefined on input line 184. LaTeX Warning: Hyper reference `trustees' on page 2 undefined on input line 191 . LaTeX Warning: Hyper reference `trustee-keys' on page 2 undefined on input line 206. [2] LaTeX Warning: Hyper reference `certificates' on page 3 undefined on input line 227. LaTeX Warning: Hyper reference `polynomials' on page 3 undefined on input line 235. LaTeX Warning: Hyper reference `vinputs' on page 3 undefined on input line 240. LaTeX Warning: Hyper reference `voutputs' on page 3 undefined on input line 245 . LaTeX Warning: Hyper reference `threshold-params' on page 3 undefined on input line 250. LaTeX Warning: Reference `polynomials' on page 3 undefined on input line 259. LaTeX Warning: Hyper reference `ballots' on page 3 undefined on input line 265. LaTeX Warning: Reference `item-forget' on page 3 undefined on input line 275. [3] LaTeX Warning: Hyper reference `tally' on page 4 undefined on input line 290. LaTeX Warning: Reference `shuffles' on page 4 undefined on input line 293. LaTeX Warning: Hyper reference `shuffles' on page 4 undefined on input line 301 . LaTeX Warning: Hyper reference `tally' on page 4 undefined on input line 314. LaTeX Warning: Hyper reference `election-result' on page 4 undefined on input l ine 319. [4] LaTeX Warning: Hyper reference `election-result' on page 5 undefined on input l ine 367. LaTeX Warning: Reference `sec:audit-voting' on page 5 undefined on input line 3 71. LaTeX Warning: Reference `sec:audit-voting' on page 5 undefined on input line 3 74. [5] LaTeX Warning: Hyper reference `common' on page 6 undefined on input line 452. [6] LaTeX Warning: Reference `pki' on page 7 undefined on input line 565. [7] [8] LaTeX Warning: Hyper reference `trustee-keys' on page 9 undefined on input line 727. [9] LaTeX Warning: Reference `trustee-keys' on page 10 undefined on input line 777. LaTeX Warning: Reference `threshold' on page 10 undefined on input line 778. LaTeX Warning: Reference `process-filling-trustees' on page 10 undefined on inp ut line 795. Overfull \hbox (3.77475pt too wide) detected at line 863 [] [10] LaTeX Warning: Reference `answers' on page 11 undefined on input line 872. LaTeX Warning: Reference `nh-answers' on page 11 undefined on input line 957. [11] LaTeX Warning: Reference `trustees' on page 12 undefined on input line 964. LaTeX Warning: Hyper reference `elections' on page 12 undefined on input line 9 95. LaTeX Warning: Hyper reference `credentials' on page 12 undefined on input line 997. LaTeX Warning: Reference `iproof' on page 12 undefined on input line 1021. LaTeX Warning: Reference `bproof' on page 12 undefined on input line 1039. [12] [13] Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1154. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `subscript' on input line 1154. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1154. (/usr/share/texmf/tex/latex/lm/ot1lmss.fd) [14] Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1213. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `subscript' on input line 1213. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1213. LaTeX Warning: Reference `non-blank-votes' on page 15 undefined on input line 1 218. [15] LaTeX Warning: Hyper reference `credentials' on page 16 undefined on input line 1293. LaTeX Warning: Hyper reference `answers' on page 16 undefined on input line 133 2. LaTeX Warning: Hyper reference `signatures' on page 16 undefined on input line 1332. LaTeX Warning: Hyper reference `answers' on page 16 undefined on input line 133 2. LaTeX Warning: Hyper reference `signatures' on page 16 undefined on input line 1332. [16] LaTeX Warning: Reference `tally' on page 17 undefined on input line 1392. Overfull \hbox (2.68176pt too wide) in paragraph at lines 1390--1395 \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 17 undefined on input line 1397. [17] LaTeX Warning: Reference `shuffle-algorithms' on page 18 undefined on input lin e 1439. LaTeX Warning: Hyper reference `trustee-keys' on page 18 undefined on input lin e 1458. [18] LaTeX Warning: Reference `nh-answers' on page 19 undefined on input line 1555. LaTeX Warning: Hyper reference `election-setup' on page 19 undefined on input l ine 1566. [19] LaTeX Warning: Reference `nh-answers' on page 20 undefined on input line 1628. [20] LaTeX Warning: Reference `shuffles' on page 21 undefined on input line 1672. LaTeX Warning: Citation `CHVote' on page 21 undefined on input line 1674. LaTeX Warning: Reference `gen-permutation' on page 21 undefined on input line 1 693. LaTeX Warning: Reference `gen-re-encryption' on page 21 undefined on input line 1698. LaTeX Warning: Reference `get-secondary-generator' on page 21 undefined on inpu t line 1777. LaTeX Warning: Reference `get-generators' on page 21 undefined on input line 17 77. LaTeX Warning: Reference `gen-permutation-commitment' on page 21 undefined on i nput line 1780. LaTeX Warning: Reference `serialize-array' on page 21 undefined on input line 1 783. LaTeX Warning: Reference `get-nizkp-challenges' on page 21 undefined on input l ine 1786. LaTeX Warning: Reference `gen-commitment-chain' on page 21 undefined on input l ine 1791. LaTeX Warning: Reference `get-nizkp-challenge' on page 21 undefined on input li ne 1811. LaTeX Warning: Reference `get-secondary-generator' on page 21 undefined on inpu t line 1855. LaTeX Warning: Reference `get-generators' on page 21 undefined on input line 18 55. LaTeX Warning: Reference `serialize-array' on page 21 undefined on input line 1 858. LaTeX Warning: Reference `get-nizkp-challenges' on page 21 undefined on input l ine 1861. LaTeX Warning: Reference `get-nizkp-challenge' on page 21 undefined on input li ne 1869. LaTeX Warning: Reference `get-generator' on page 21 undefined on input line 189 7. LaTeX Warning: Reference `get-generator' on page 21 undefined on input line 191 5. [21] [22] [23] [24] [25] [26] [27] [28] [29] 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 ‘././nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input bbm9 This is METAFONT, Version 2.7182818 (TeX Live 2020/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. {/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 ‘././nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input bbm10 This is METAFONT, Version 2.7182818 (TeX Live 2020/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. Output written on specification.pdf (29 pages, 664961 bytes). Transcript written on specification.log. This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./specification.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-01-09> xparse <2020-03-03> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/a4wide/a4wide.sty (/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texmf/tex/latex/lm/lmodern.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/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/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/placeins/placeins.sty) (/usr/share/texmf/tex/latex/lm/t1lmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./specification.aux) (/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)) (./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) (./specification.toc (/usr/share/texmf/tex/latex/lm/t1lmtt.fd) [1{/var/lib/texm f/fonts/map/pdftex/updmap/pdftex.map}]) LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin e 58. LaTeX Warning: Citation `Belenios-Easycrypt-CSF18' on page 2 undefined on input line 60. (/usr/share/texmf/tex/latex/lm/ts1lmr.fd) LaTeX Warning: Citation `Pedersen' on page 2 undefined on input line 69. LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 70. LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 71. LaTeX Warning: Citation `asiacrypt12' on page 2 undefined on input line 71. LaTeX Warning: Citation `Helios' on page 2 undefined on input line 74. LaTeX Warning: Citation `note-Pierrick' on page 2 undefined on input line 76. LaTeX Warning: Citation `CGGI-esorics14' on page 2 undefined on input line 77. LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin e 78. LaTeX Warning: Citation `CHVote' on page 2 undefined on input line 81. (/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) [2] (/usr/share/texmf/tex/latex/lm/t1lmss.fd) [3] [4] [5] [6] [7] [8] [9] [10] Overfull \hbox (3.77475pt too wide) detected at line 863 [] [11] [12] [13] [14] Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1154. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `subscript' on input line 1154. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1154. (/usr/share/texmf/tex/latex/lm/ot1lmss.fd) [15] Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1213. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `subscript' on input line 1213. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1213. [16] [17] LaTeX Warning: Citation `CHVote' on page 18 undefined on input line 1397. [18] [19] [20] [21] LaTeX Warning: Citation `CHVote' on page 22 undefined on input line 1674. [22] [23] [24] [25] [26] [27] [28] [29] [30] No file specification.bbl. (./specification.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information){/usr/share/texmf/fonts/enc /dvips/lm/lm-ec.enc} {/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} Output written on specification.pdf (30 pages, 673212 bytes). Transcript written on specification.log. This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./specification.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-01-09> xparse <2020-03-03> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/a4wide/a4wide.sty (/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texmf/tex/latex/lm/lmodern.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/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/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/placeins/placeins.sty) (/usr/share/texmf/tex/latex/lm/t1lmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./specification.aux) (/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)) (./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) (./specification.toc (/usr/share/texmf/tex/latex/lm/t1lmtt.fd) [1{/var/lib/texm f/fonts/map/pdftex/updmap/pdftex.map}]) LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin e 58. LaTeX Warning: Citation `Belenios-Easycrypt-CSF18' on page 2 undefined on input line 60. (/usr/share/texmf/tex/latex/lm/ts1lmr.fd) LaTeX Warning: Citation `Pedersen' on page 2 undefined on input line 69. LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 70. LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 71. LaTeX Warning: Citation `asiacrypt12' on page 2 undefined on input line 71. LaTeX Warning: Citation `Helios' on page 2 undefined on input line 74. LaTeX Warning: Citation `note-Pierrick' on page 2 undefined on input line 76. LaTeX Warning: Citation `CGGI-esorics14' on page 2 undefined on input line 77. LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin e 78. LaTeX Warning: Citation `CHVote' on page 2 undefined on input line 81. (/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) [2] (/usr/share/texmf/tex/latex/lm/t1lmss.fd) [3] [4] [5] [6] [7] [8] [9] [10] Overfull \hbox (3.77475pt too wide) detected at line 863 [] [11] [12] [13] [14] Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1154. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `subscript' on input line 1154. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1154. (/usr/share/texmf/tex/latex/lm/ot1lmss.fd) [15] Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1213. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `subscript' on input line 1213. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1213. [16] [17] LaTeX Warning: Citation `CHVote' on page 18 undefined on input line 1397. [18] [19] [20] [21] LaTeX Warning: Citation `CHVote' on page 22 undefined on input line 1674. [22] [23] [24] [25] [26] [27] [28] [29] [30] 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} {/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} Output written on specification.pdf (30 pages, 673212 bytes). Transcript written on specification.log. make[3]: Leaving directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg' make[2]: Leaving directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg' _build/default/src/tool/tool_cmdline.exe --help=groff > debian/belenios-tool.1 make[1]: Leaving directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg' dh_auto_test -a make -j4 check make[1]: Entering directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg' make build-debug-tool make[2]: Entering directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg' BELENIOS_DEBUG=1 dune build --build-dir=_build-debug -p belenios-platform,belenios-platform-native,belenios,belenios-tool rm -rf _run/tool-debug dune install --build-dir=_build-debug --destdir=_run/tool-debug --prefix=/ belenios-platform belenios-platform-native belenios belenios-tool 2>/dev/null make[2]: Leaving directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg' make -C tests/tool check make[2]: Entering directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg/tests/tool' mkdir -p data ./demo.sh =-=-= Setup election =-=-= UUID of the election is mqBdLPh7YbgFJe 5 private credentials with ids saved to ./1633995376.privcreds 5 public credentials saved to ./1633995376.pubcreds I: keypair B821CEA3 has been generated I: public key saved to B821CEA3.pubkey I: private key saved to B821CEA3.privkey I: keypair 01540177 has been generated I: public key saved to 01540177.pubkey I: private key saved to 01540177.privkey I: keypair 1F26506B has been generated I: public key saved to 1F26506B.pubkey I: private key saved to 1F26506B.privkey =-=-= Simulate votes =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter voter1,1000 voted with xV8/gD+QE3BVgGU01k3F2elaNZlORNeUG8vV5u15hno I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter voter2,2000 voted with C7KWqc9cA4IAe8J0McQZ3ehli9SoGWlJ4FuXLx36dEQ I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter voter3,3000 voted with Hui5Nq+AJKCie+yW6PfvBe52AwZAbFLe99M3p9H23Fw I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter voter4,4000 voted with cOq/qGYsUXUKPklVz7yLXLZSXSwl7BYUQ/c1yoW7UiE I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter voter5,90000 voted with WFiVF/A9iPbKyT9fCOgRBQftWN0yOdJosEoky4ciCFc =-=-= Perform verification =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... W: no result to check I: all checks passed =-=-= Simulate and verify update =-=-= I: 2 new ballot(s) I: all tests passed! =-=-= Perform decryption =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... W: no result to check I: all checks passed I: loading 01540177.privkey... I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... W: no result to check I: all checks passed I: loading 1F26506B.privkey... I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... W: no result to check I: all checks passed I: loading B821CEA3.privkey... =-=-= Finalize tally =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading partial_decryptions.jsons... I: loading ballots.jsons... I: loading public_creds.txt... =-=-= Perform final verification =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading result.json... I: all checks passed =-=-= Check result =-=-= Could not find jq command, test skipped! =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= The simulated election was successful! Its result can be seen in /build/belenios-Mfm0Ms/belenios-1.14+dfsg/tests/tool/data/mqBdLPh7YbgFJe/result.json =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= ./demo-threshold.sh =-=-= Setup election =-=-= UUID of the election is 26y19ZMe5v3VMB 5 private credentials with ids saved to ./1633995385.privcreds 5 public credentials saved to ./1633995385.pubcreds I: certificate a8d7fb46baa668231aa5ab0b57282e5d37561cf33d4b637297da4c7f34e918ee has been generated I: certificate saved to a8d7fb46baa668231aa5ab0b57282e5d37561cf33d4b637297da4c7f34e918ee.cert I: private key saved to a8d7fb46baa668231aa5ab0b57282e5d37561cf33d4b637297da4c7f34e918ee.key I: certificate ac9adecf02426191395ab63d60409292dd01db61f9046d65809557481b803630 has been generated I: certificate saved to ac9adecf02426191395ab63d60409292dd01db61f9046d65809557481b803630.cert I: private key saved to ac9adecf02426191395ab63d60409292dd01db61f9046d65809557481b803630.key I: certificate 9d40f7413569be2d24c84987fcc875d17ce721dbf83d0f30f7dd69f3abaf1e89 has been generated I: certificate saved to 9d40f7413569be2d24c84987fcc875d17ce721dbf83d0f30f7dd69f3abaf1e89.cert I: private key saved to 9d40f7413569be2d24c84987fcc875d17ce721dbf83d0f30f7dd69f3abaf1e89.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 9d40f7413569be2d24c84987fcc875d17ce721dbf83d0f30f7dd69f3abaf1e89.vinput I: wrote a8d7fb46baa668231aa5ab0b57282e5d37561cf33d4b637297da4c7f34e918ee.vinput I: wrote ac9adecf02426191395ab63d60409292dd01db61f9046d65809557481b803630.vinput I: loading certs.jsons... I: loading certs.jsons... I: loading certs.jsons... I: loading certs.jsons... I: loading polynomials.jsons... I: wrote 9d40f7413569be2d24c84987fcc875d17ce721dbf83d0f30f7dd69f3abaf1e89.dkey I: wrote a8d7fb46baa668231aa5ab0b57282e5d37561cf33d4b637297da4c7f34e918ee.dkey I: wrote ac9adecf02426191395ab63d60409292dd01db61f9046d65809557481b803630.dkey I: keypair A45A57EB has been generated I: public key saved to A45A57EB.pubkey I: private key saved to A45A57EB.privkey =-=-= Simulate votes =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 1 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 2 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 3 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 4 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 5 voted =-=-= Perform verification =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... W: no result to check I: all checks passed =-=-= Simulate and verify update =-=-= I: 2 new ballot(s) I: all tests passed! =-=-= Perform decryption (threshold) =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... =-=-= Perform decryption (mandatory) =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... W: no result to check I: all checks passed I: loading A45A57EB.privkey... =-=-= Finalize tally =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading partial_decryptions.jsons... I: loading ballots.jsons... I: loading public_creds.txt... =-=-= Perform final verification =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading result.json... I: all checks passed =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= The simulated election was successful! Its result can be seen in /build/belenios-Mfm0Ms/belenios-1.14+dfsg/tests/tool/data/26y19ZMe5v3VMB/result.json =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= ./demo-nh.sh =-=-= Setup election =-=-= UUID of the election is 1qJmcb3iSKNtXQ 60 private credentials with ids saved to ./1633995396.privcreds 60 public credentials saved to ./1633995396.pubcreds I: keypair 780F0BA6 has been generated I: public key saved to 780F0BA6.pubkey I: private key saved to 780F0BA6.privkey I: keypair C20A93CA has been generated I: public key saved to C20A93CA.pubkey I: private key saved to C20A93CA.privkey I: keypair 3C16E027 has been generated I: public key saved to 3C16E027.pubkey I: private key saved to 3C16E027.privkey =-=-= Simulate votes =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 10 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 11 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 12 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 13 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 14 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 15 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 16 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 17 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 18 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 19 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 20 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 21 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 22 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 23 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 24 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 25 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 26 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 27 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 28 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 29 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 30 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 31 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 32 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 33 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 34 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 35 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 36 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 37 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 38 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 39 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 40 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 41 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 42 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 43 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 44 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 45 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 46 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 47 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 48 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 49 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 50 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 51 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 52 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 53 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 54 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 55 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 56 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 57 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 58 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 59 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 60 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 61 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 62 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 63 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 64 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 65 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 66 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 67 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 68 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 69 voted =-=-= Perform verification =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... W: no result to check I: all checks passed =-=-= Simulate and verify update =-=-= I: 57 new ballot(s) I: all tests passed! =-=-= Shuffle ciphertexts =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... =-=-= Perform decryption =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... W: no result to check I: all checks passed I: loading 3C16E027.privkey... I: shuffle NOccLEYNjJTpPN+13ENBySZqRlBymnSyflSPrB1SPBo has been applied I: shuffle GxDXNJxALWLl/GHJSmQz+nTFtgxVS1+v7XXIZjWr+20 has been applied W: you should check that your shuffle appears in the list of applied shuffles I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... W: no result to check I: all checks passed I: loading 780F0BA6.privkey... I: shuffle NOccLEYNjJTpPN+13ENBySZqRlBymnSyflSPrB1SPBo has been applied I: shuffle GxDXNJxALWLl/GHJSmQz+nTFtgxVS1+v7XXIZjWr+20 has been applied W: you should check that your shuffle appears in the list of applied shuffles I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... W: no result to check I: all checks passed I: loading C20A93CA.privkey... I: shuffle NOccLEYNjJTpPN+13ENBySZqRlBymnSyflSPrB1SPBo has been applied I: shuffle GxDXNJxALWLl/GHJSmQz+nTFtgxVS1+v7XXIZjWr+20 has been applied W: you should check that your shuffle appears in the list of applied shuffles =-=-= Finalize tally =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading partial_decryptions.jsons... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... =-=-= Perform final verification =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading result.json... I: all checks passed =-=-= Apply Schulze method =-=-= Could not find jq command, test skipped! =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= The simulated election was successful! Its result can be seen in /build/belenios-Mfm0Ms/belenios-1.14+dfsg/tests/tool/data/1qJmcb3iSKNtXQ/result.json =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= ./demo-mj.sh =-=-= Setup election =-=-= UUID of the election is yLTjixozdfCs77 100 private credentials with ids saved to ./1633996165.privcreds 100 public credentials saved to ./1633996165.pubcreds I: keypair 2DFF590E has been generated I: public key saved to 2DFF590E.pubkey I: private key saved to 2DFF590E.privkey I: keypair 759C9148 has been generated I: public key saved to 759C9148.pubkey I: private key saved to 759C9148.privkey I: keypair E6FA999C has been generated I: public key saved to E6FA999C.pubkey I: private key saved to E6FA999C.privkey =-=-= Simulate votes =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 100 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 101 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 102 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 103 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 104 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 105 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 106 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 107 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 108 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 109 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 110 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 111 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 112 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 113 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 114 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 115 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 116 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 117 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 118 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 119 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 120 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 121 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 122 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 123 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 124 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 125 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 126 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 127 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 128 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 129 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 130 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 131 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 132 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 133 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 134 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 135 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 136 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 137 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 138 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 139 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 140 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 141 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 142 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 143 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 144 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 145 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 146 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 147 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 148 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 149 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 150 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 151 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 152 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 153 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 154 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 155 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 156 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 157 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 158 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 159 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 160 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 161 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 162 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 163 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 164 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 165 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 166 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 167 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 168 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 169 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 170 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 171 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 172 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 173 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 174 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 175 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 176 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 177 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 178 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 179 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 180 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 181 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 182 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 183 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 184 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 185 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 186 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 187 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 188 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 189 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 190 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 191 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 192 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 193 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 194 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 195 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 196 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 197 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 198 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 199 voted =-=-= Perform verification =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... W: no result to check I: all checks passed =-=-= Simulate and verify update =-=-= I: 97 new ballot(s) I: all tests passed! =-=-= Shuffle ciphertexts =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... =-=-= Perform decryption =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... W: no result to check I: all checks passed I: loading 2DFF590E.privkey... I: shuffle Q+f0ZMyUqzzkJenl7jdBdXd64ehTg4d12FyCyytwYN0 has been applied I: shuffle WGOngCnLe+v4jZ35gcGC5AhOwEH/T/x7K/3bmpSh2aw has been applied W: you should check that your shuffle appears in the list of applied shuffles I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... W: no result to check I: all checks passed I: loading 759C9148.privkey... I: shuffle Q+f0ZMyUqzzkJenl7jdBdXd64ehTg4d12FyCyytwYN0 has been applied I: shuffle WGOngCnLe+v4jZ35gcGC5AhOwEH/T/x7K/3bmpSh2aw has been applied W: you should check that your shuffle appears in the list of applied shuffles I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... W: no result to check I: all checks passed I: loading E6FA999C.privkey... I: shuffle Q+f0ZMyUqzzkJenl7jdBdXd64ehTg4d12FyCyytwYN0 has been applied I: shuffle WGOngCnLe+v4jZ35gcGC5AhOwEH/T/x7K/3bmpSh2aw has been applied W: you should check that your shuffle appears in the list of applied shuffles =-=-= Finalize tally =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading partial_decryptions.jsons... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... =-=-= Perform final verification =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading result.json... I: all checks passed =-=-= Apply Majority Judgment method =-=-= Could not find jq command, test skipped! =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= The simulated election was successful! Its result can be seen in /build/belenios-Mfm0Ms/belenios-1.14+dfsg/tests/tool/data/yLTjixozdfCs77/result.json =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= ./demo-stv.sh =-=-= Setup election =-=-= UUID of the election is QuPnsqZYBShmoE 50 private credentials with ids saved to ./1633996413.privcreds 50 public credentials saved to ./1633996413.pubcreds I: keypair 759008C5 has been generated I: public key saved to 759008C5.pubkey I: private key saved to 759008C5.privkey I: keypair 1D00A528 has been generated I: public key saved to 1D00A528.pubkey I: private key saved to 1D00A528.privkey I: keypair 676295CA has been generated I: public key saved to 676295CA.pubkey I: private key saved to 676295CA.privkey =-=-= Simulate votes =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 10 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 11 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 12 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 13 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 14 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 15 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 16 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 17 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 18 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 19 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 20 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 21 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 22 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 23 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 24 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 25 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 26 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 27 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 28 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 29 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 30 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 31 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 32 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 33 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 34 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 35 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 36 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 37 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 38 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 39 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 40 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 41 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 42 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 43 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 44 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 45 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 46 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 47 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 48 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 49 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 50 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 51 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 52 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 53 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 54 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 55 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 56 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 57 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 58 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 59 voted =-=-= Perform verification =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... W: no result to check I: all checks passed =-=-= Simulate and verify update =-=-= I: 47 new ballot(s) I: all tests passed! =-=-= Shuffle ciphertexts =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... =-=-= Perform decryption =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... W: no result to check I: all checks passed I: loading 1D00A528.privkey... I: shuffle l/PcLDC9FtR0XcS1QFTb+0/n5/rrTLvSca0kV06xfXY has been applied I: shuffle iTkUH+w2SbqCE8YdCpY5E6cnCERzS26Y3t27VRx3C5s has been applied W: you should check that your shuffle appears in the list of applied shuffles I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... W: no result to check I: all checks passed I: loading 676295CA.privkey... I: shuffle l/PcLDC9FtR0XcS1QFTb+0/n5/rrTLvSca0kV06xfXY has been applied I: shuffle iTkUH+w2SbqCE8YdCpY5E6cnCERzS26Y3t27VRx3C5s has been applied W: you should check that your shuffle appears in the list of applied shuffles I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... W: no result to check I: all checks passed I: loading 759008C5.privkey... I: shuffle l/PcLDC9FtR0XcS1QFTb+0/n5/rrTLvSca0kV06xfXY has been applied I: shuffle iTkUH+w2SbqCE8YdCpY5E6cnCERzS26Y3t27VRx3C5s has been applied W: you should check that your shuffle appears in the list of applied shuffles =-=-= Finalize tally =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading partial_decryptions.jsons... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... =-=-= Perform final verification =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading result.json... I: all checks passed =-=-= Apply STV method =-=-= Could not find jq command, test skipped! =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= The simulated election was successful! Its result can be seen in /build/belenios-Mfm0Ms/belenios-1.14+dfsg/tests/tool/data/QuPnsqZYBShmoE/result.json =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= make[2]: Leaving directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg/tests/tool' make[1]: Leaving directory '/build/belenios-Mfm0Ms/belenios-1.14+dfsg' create-stamp debian/debhelper-build-stamp dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/build/belenios-Mfm0Ms/belenios-1.14+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 '/build/belenios-Mfm0Ms/belenios-1.14+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 -a dh_makeshlibs -a -a dh_shlibdeps -a -a 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_1.14+dfsg-1_amd64.deb'. dpkg-deb: building package 'belenios-tool' in '../belenios-tool_1.14+dfsg-1_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../belenios_1.14+dfsg-1_amd64.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) I: running special hook: sync-out /build/belenios-Mfm0Ms /tmp/belenios-1.14+dfsg-1cofb5udc I: cleaning package lists and apt cache... W: deleting files in /tmp: texfonts I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.Esi3W9oucP... I: success in 2618.5862 seconds md5: belenios-tool-dbgsym_1.14+dfsg-1_amd64.deb: OK md5: belenios-tool_1.14+dfsg-1_amd64.deb: OK sha1: belenios-tool-dbgsym_1.14+dfsg-1_amd64.deb: OK sha1: belenios-tool_1.14+dfsg-1_amd64.deb: OK sha256: belenios-tool-dbgsym_1.14+dfsg-1_amd64.deb: OK sha256: belenios-tool_1.14+dfsg-1_amd64.deb: OK Checksums: OK