Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/b/belenios/belenios_1.17+dfsg-1+b1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/belenios-1.17+dfsg-1+b1nk8mqnmv/belenios_1.17+dfsg-1+b1_amd64.buildinfo Get source package info: belenios=1.17+dfsg-1 Source URL: http://snapshot.notset.fr/mr/package/belenios/1.17+dfsg-1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.71-2 automake=1:1.16.4-2 autopoint=0.21-4 autotools-dev=20180224.1+nmu1 base-files=12 base-passwd=3.5.51 bash=5.1-3+b1 binutils=2.37-5 binutils-common=2.37-5 binutils-x86-64-linux-gnu=2.37-5 bsdextrautils=2.37.2-2 bsdutils=1:2.37.2-2 build-essential=12.9 bzip2=1.0.8-4 coreutils=8.32-4+b1 cpp=4:10.2.1-1 cpp-10=10.3.0-10 dash=0.5.11+git20210120+802ebd4-1 debconf=1.5.77 debhelper=13.5.1 debianutils=5.4-4 dh-autoreconf=20 dh-ocaml=1.1.3 dh-strip-nondeterminism=1.12.0-1 diffutils=1:3.7-5 dpkg=1.20.9 dpkg-dev=1.20.9 dwz=0.14-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.3.0-10 gcc=4:10.2.1-1 gcc-10=10.3.0-10 gcc-10-base=10.3.0-10 gcc-11-base=11.2.0-5 gettext=0.21-4 gettext-base=0.21-4 grep=3.7-1 groff-base=1.22.4-7 gzip=1.10-4 hostname=3.23 init-system-helpers=1.60 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libapache-pom-java=18-1 libarchive-zip-perl=1.68-1 libasan6=11.2.0-5 libatdgen-ocaml=2.2.1-1+b1 libatdgen-ocaml-dev=2.2.1-1+b1 libatomic1=11.2.0-5 libattr1=1:2.5.1-1 libaudit-common=1:3.0.5-1 libaudit1=1:3.0.5-1 libbiniou-ocaml=1.2.1-1+b2 libbiniou-ocaml-dev=1.2.1-1+b2 libbinutils=2.37-5 libblkid1=2.37.2-2 libbrotli1=1.0.9-2+b2 libbsd0=0.11.3-1 libbz2-1.0=1.0.8-4 libc-bin=2.32-3 libc-dev-bin=2.32-3 libc6=2.32-3 libc6-dev=2.32-3 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=11.2.0-5 libcmdliner-ocaml-dev=1.0.4-2+b1 libcom-err2=1.46.4-1 libcommons-logging-java=1.2-2 libcommons-parent-java=43-1 libcrypt-dev=1:4.4.25-2 libcrypt1=1:4.4.25-2 libcryptokit-ocaml=1.16.1-1+b1 libcryptokit-ocaml-dev=1.16.1-1+b1 libctf-nobfd0=2.37-5 libctf0=2.37-5 libdb5.3=5.3.28+dfsg1-0.8 libdebconfclient0=0.260 libdebhelper-perl=13.5.1 libdpkg-perl=1.20.9 libeasy-format-ocaml=1.3.2-1+b1 libeasy-format-ocaml-dev=1.3.2-1+b1 libelf1=0.185-2 libexpat1=2.4.1-2 libffi7=3.3-6 libfile-stripnondeterminism-perl=1.12.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.3.0-10 libgcc-s1=11.2.0-5 libgcrypt20=1.9.4-3 libgdbm-compat4=1.21-1 libgdbm6=1.21-1 libglib2.0-0=2.68.4-1 libgmp-dev=2:6.2.1+dfsg-2 libgmp10=2:6.2.1+dfsg-2 libgmp3-dev=2:6.2.1+dfsg-2 libgmpxx4ldbl=2:6.2.1+dfsg-2 libgomp1=11.2.0-5 libgpg-error0=1.42-3 libgraphite2-3=1.3.14-1 libgssapi-krb5-2=1.18.3-7 libharfbuzz0b=2.7.4-1 libice6=2:1.0.10-1 libicu67=67.1-7 libisl23=0.23-1 libitm1=11.2.0-5 libk5crypto3=1.18.3-7 libkeyutils1=1.6.1-2 libkpathsea6=2020.20200327.54578-7 libkrb5-3=1.18.3-7 libkrb5support0=1.18.3-7 liblsan0=11.2.0-5 liblz4-1=1.9.3-2 liblzma5=5.2.5-2 libmagic-mgc=1:5.39-3 libmagic1=1:5.39-3 libmd0=1.0.3-3 libmount1=2.37.2-2 libmpc3=1.2.0-1 libmpdec3=2.5.1-2 libmpfr6=4.1.0-3 libncurses-dev=6.2+20210905-1 libncurses5-dev=6.2+20210905-1 libncurses6=6.2+20210905-1 libncursesw6=6.2+20210905-1 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libpam-modules=1.4.0-10 libpam-modules-bin=1.4.0-10 libpam-runtime=1.4.0-10 libpam0g=1.4.0-10 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-5 libpipeline1=1.5.3-1 libpixman-1-0=0.40.0-1 libpng16-16=1.6.37-3 libptexenc1=2020.20200327.54578-7 libpython3-stdlib=3.9.2-3 libpython3.9-minimal=3.9.7-2 libpython3.9-stdlib=3.9.7-2 libquadmath0=11.2.0-5 libreadline8=8.1-2 libseccomp2=2.5.2-1 libselinux1=3.1-3 libsigsegv2=2.13-1 libsm6=2:1.2.3-1 libsmartcols1=2.37.2-2 libsqlite3-0=3.36.0-2 libssl1.1=1.1.1l-1 libstdc++-10-dev=10.3.0-10 libstdc++6=11.2.0-5 libsub-override-perl=0.09-2 libsynctex2=2020.20200327.54578-7 libsystemd0=247.9-1 libteckit0=2.5.10+ds1-3 libtexlua53=2020.20200327.54578-7 libtexluajit2=2020.20200327.54578-7 libtinfo6=6.2+20210905-1 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.6-15 libtsan0=11.2.0-5 libubsan1=11.2.0-5 libuchardet0=0.0.7-1 libudev1=247.9-1 libunistring2=0.9.10-6 libuuid1=2.37.2-2 libuuidm-ocaml-dev=0.9.7-1+b1 libx11-6=2:1.7.2-2+b1 libx11-data=2:1.7.2-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.4-1 libxi6=2:1.7.10-1 libxml2=2.9.12+dfsg-4 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-2.1 libzzip-0-13=0.13.72+dfsg.1-1.1 linux-libc-dev=5.10.46-4 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.1 man-db=2.9.4-2 markdown=1.0.1-10.1 mawk=1.3.4.20200120-2 media-types=4.0.0 ncurses-base=6.2+20210905-1 ncurses-bin=6.2+20210905-1 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-5 perl-base=5.32.1-5 perl-modules-5.32=5.32.1-5 po-debconf=1.0.21+nmu1 preview-latex-style=12.2-1 python3=3.9.2-3 python3-minimal=3.9.2-3 python3.9=3.9.7-2 python3.9-minimal=3.9.7-2 readline-common=8.1-2 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 sysvinit-utils=2.96-7 t1utils=1.41-4 tar=1.34+dfsg-1 tex-common=6.17 texlive-base=2020.20210202-3 texlive-binaries=2020.20200327.54578-7 texlive-fonts-extra=2020.20210202-3 texlive-fonts-recommended=2020.20210202-3 texlive-lang-greek=2020.20210202-2 texlive-latex-base=2020.20210202-3 texlive-latex-extra=2020.20210202-3 texlive-latex-recommended=2020.20210202-3 texlive-pictures=2020.20210202-3 texlive-science=2020.20210202-3 tzdata=2021a-1 ucf=3.0043 util-linux=2.37.2-2 x11-common=1:7.7+23 xdg-utils=1.1.3-4.1 xfonts-encodings=1:1.0.4-2.1 xfonts-utils=1:7.7+6 xz-utils=5.2.5-2 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/20210917T231859Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210917T231859Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20211009T024746Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20210916T205509Z/ 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.17+dfsg-1 && mkdir -p /build/belenios-tq3JYt && dpkg-source --no-check -x /*.dsc /build/belenios-tq3JYt/belenios-1.17+dfsg && cd /build/belenios-tq3JYt/belenios-1.17+dfsg && { printf '%s' 'belenios (1.17+dfsg-1+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild against glibc 2.32-3 -- amd64 / i386 Build Daemon (x86-csail-01) Thu, 16 Sep 2021 22:54:53 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/belenios-tq3JYt" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/belenios-tq3JYt/belenios-1.17+dfsg && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1631832893" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/belenios-tq3JYt /tmp/belenios-1.17+dfsg-1+b1nk8mqnmv bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20210916T205509Z 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.pDN5VIKKMu 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.pDN5VIKKMu Reading package lists... Building dependency tree... util-linux is already the newest version (2.37.2-2). 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/20210916T205509Z unstable/main amd64 libfakeroot amd64 1.26-1 [47.3 kB] Get:2 http://snapshot.notset.fr/archive/debian/20210916T205509Z unstable/main amd64 fakeroot amd64 1.26-1 [87.1 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 134 kB in 0s (691 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 ... 4664 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.26-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.26-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.26-1_amd64.deb ... Unpacking fakeroot (1.26-1) ... Setting up libfakeroot:amd64 (1.26-1) ... Setting up fakeroot (1.26-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.32-3) ... 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/20210917T231859Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210917T231859Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20211009T024746Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20210916T205509Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.pDN5VIKKMu Get:1 http://snapshot.notset.fr/archive/debian/20210917T231859Z bookworm InRelease [128 kB] Get:2 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable InRelease [165 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20210916T205509Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20210917T231859Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210917T231859Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210917T231859Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210917T231859Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210917T231859Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210917T231859Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20210917T231859Z bookworm/main Sources [11.6 MB] Get:5 http://snapshot.notset.fr/archive/debian/20210917T231859Z bookworm/main amd64 Packages [11.2 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable/main amd64 Packages Err:6 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable/main amd64 Packages 404 Not Found [IP: 10.13.0.253 80] Ign:6 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable/main amd64 Packages [11.9 MB] Fetched 35.0 MB in 49s (714 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.pDN5VIKKMu I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d belenios=1.17+dfsg-1 && mkdir -p /build/belenios-tq3JYt && dpkg-source --no-check -x /*.dsc /build/belenios-tq3JYt/belenios-1.17+dfsg && cd /build/belenios-tq3JYt/belenios-1.17+dfsg && { printf '%s' 'belenios (1.17+dfsg-1+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild against glibc 2.32-3 -- amd64 / i386 Build Daemon (x86-csail-01) Thu, 16 Sep 2021 22:54:53 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/belenios-tq3JYt"' exec /tmp/mmdebstrap.pDN5VIKKMu 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 768 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210917T231859Z bookworm/main belenios 1.17+dfsg-1 (dsc) [2001 B] Get:2 http://snapshot.notset.fr/archive/debian/20210917T231859Z bookworm/main belenios 1.17+dfsg-1 (tar) [740 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210917T231859Z bookworm/main belenios 1.17+dfsg-1 (diff) [26.2 kB] Fetched 768 kB in 1s (974 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'belenios_1.17+dfsg-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting belenios in /build/belenios-tq3JYt/belenios-1.17+dfsg dpkg-source: info: unpacking belenios_1.17+dfsg.orig.tar.gz dpkg-source: info: unpacking belenios_1.17+dfsg-1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying 0001-Fix-command-line-tool-build.patch I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/belenios-tq3JYt/belenios-1.17+dfsg && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1631832893" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.pDN5VIKKMu dpkg-buildpackage: info: source package belenios dpkg-buildpackage: info: source version 1.17+dfsg-1+b1 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by amd64 / i386 Build Daemon (x86-csail-01) 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-tq3JYt/belenios-1.17+dfsg' dune clean dune clean --build-dir=_build-debug make -C po clean make[2]: Entering directory '/build/belenios-tq3JYt/belenios-1.17+dfsg/po' make -C voter clean make[3]: Entering directory '/build/belenios-tq3JYt/belenios-1.17+dfsg/po/voter' rm -f *.bak make[3]: Leaving directory '/build/belenios-tq3JYt/belenios-1.17+dfsg/po/voter' make -C admin clean make[3]: Entering directory '/build/belenios-tq3JYt/belenios-1.17+dfsg/po/admin' rm -f *.bak make[3]: Leaving directory '/build/belenios-tq3JYt/belenios-1.17+dfsg/po/admin' make[2]: Leaving directory '/build/belenios-tq3JYt/belenios-1.17+dfsg/po' make -C tests/tool clean make[2]: Entering directory '/build/belenios-tq3JYt/belenios-1.17+dfsg/tests/tool' rm -rf data make[2]: Leaving directory '/build/belenios-tq3JYt/belenios-1.17+dfsg/tests/tool' make[1]: Leaving directory '/build/belenios-tq3JYt/belenios-1.17+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-tq3JYt/belenios-1.17+dfsg' dune build -p belenios-platform,belenios-platform-native,belenios-lib,belenios-tool /usr/bin/make doc make[2]: Entering directory '/build/belenios-tq3JYt/belenios-1.17+dfsg' /usr/bin/make doc/specification.pdf make[3]: Entering directory '/build/belenios-tq3JYt/belenios-1.17+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 `EVoteID20-Belenios' on page 1 undefined on input line 80. LaTeX Warning: Citation `CHVote' on page 1 undefined on input line 83. (/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) LaTeX Warning: Reference `default-group' on page 1 undefined on input line 122. [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texmf/tex/latex/lm/t1lmtt.fd) LaTeX Warning: Hyper reference `basic-types' on page 2 undefined on input line 177. LaTeX Warning: Hyper reference `credentials' on page 2 undefined on input line 179. (/usr/share/texmf/tex/latex/lm/t1lmss.fd) LaTeX Warning: Hyper reference `trustees' on page 2 undefined on input line 188 . LaTeX Warning: Reference `process-filling-trustees' on page 2 undefined on inpu t line 191. LaTeX Warning: Hyper reference `elections' on page 2 undefined on input line 19 3. LaTeX Warning: Reference `item-forget' on page 2 undefined on input line 199. LaTeX Warning: Hyper reference `trustees' on page 2 undefined on input line 206 . [2] LaTeX Warning: Hyper reference `trustee-keys' on page 3 undefined on input line 221. LaTeX Warning: Hyper reference `certificates' on page 3 undefined on input line 242. LaTeX Warning: Hyper reference `polynomials' on page 3 undefined on input line 250. LaTeX Warning: Hyper reference `vinputs' on page 3 undefined on input line 255. LaTeX Warning: Hyper reference `voutputs' on page 3 undefined on input line 260 . LaTeX Warning: Hyper reference `threshold-params' on page 3 undefined on input line 265. LaTeX Warning: Reference `polynomials' on page 3 undefined on input line 274. LaTeX Warning: Hyper reference `ballots' on page 3 undefined on input line 280. [3] LaTeX Warning: Reference `item-forget' on page 4 undefined on input line 304. LaTeX Warning: Hyper reference `tally' on page 4 undefined on input line 319. LaTeX Warning: Reference `shuffles' on page 4 undefined on input line 322. LaTeX Warning: Hyper reference `shuffles' on page 4 undefined on input line 330 . LaTeX Warning: Hyper reference `tally' on page 4 undefined on input line 343. LaTeX Warning: Hyper reference `election-result' on page 4 undefined on input l ine 348. [4] LaTeX Warning: Hyper reference `election-result' on page 5 undefined on input l ine 396. LaTeX Warning: Reference `sec:audit-voting' on page 5 undefined on input line 4 00. LaTeX Warning: Reference `sec:audit-voting' on page 5 undefined on input line 4 03. [5] LaTeX Warning: Hyper reference `common' on page 6 undefined on input line 481. [6] LaTeX Warning: Reference `pki' on page 7 undefined on input line 595. [7] [8] LaTeX Warning: Hyper reference `trustee-keys' on page 9 undefined on input line 757. [9] LaTeX Warning: Reference `trustee-keys' on page 10 undefined on input line 807. LaTeX Warning: Reference `threshold' on page 10 undefined on input line 808. LaTeX Warning: Reference `process-filling-trustees' on page 10 undefined on inp ut line 825. Overfull \hbox (3.77475pt too wide) detected at line 897 [] [10] LaTeX Warning: Reference `answers' on page 11 undefined on input line 906. LaTeX Warning: Reference `default-group' on page 11 undefined on input line 967 . LaTeX Warning: Reference `nh-answers' on page 11 undefined on input line 989. [11] LaTeX Warning: Reference `trustees' on page 12 undefined on input line 996. LaTeX Warning: Reference `ballots' on page 12 undefined on input line 1002. LaTeX Warning: Hyper reference `elections' on page 12 undefined on input line 1 031. LaTeX Warning: Hyper reference `credentials' on page 12 undefined on input line 1033. LaTeX Warning: Reference `iproof' on page 12 undefined on input line 1067. [12] LaTeX Warning: Reference `bproof' on page 13 undefined on input line 1085. [13] Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1197. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `subscript' on input line 1197. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1197. (/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 1256. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `subscript' on input line 1256. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1256. LaTeX Warning: Reference `non-blank-votes' on page 15 undefined on input line 1 261. [15] LaTeX Warning: Hyper reference `credentials' on page 16 undefined on input line 1335. [16] LaTeX Warning: Hyper reference `answers' on page 17 undefined on input line 137 8. LaTeX Warning: Hyper reference `signatures' on page 17 undefined on input line 1378. LaTeX Warning: Hyper reference `answers' on page 17 undefined on input line 137 8. LaTeX Warning: Hyper reference `signatures' on page 17 undefined on input line 1378. [17] LaTeX Warning: Reference `tally' on page 18 undefined on input line 1452. Overfull \hbox (2.68176pt too wide) in paragraph at lines 1450--1455 \T1/lmr/m/n/10 as $\OML/lmm/m/it/10 b[]$ \T1/lmr/m/n/10 (see later), they must be merged into the en-crypted tally as $\OML/lmm/m/it/10 a[]$ \T1/lmr/m/n/10 su ch that $\OML/lmm/m/it/10 b[] \OT1/lmr/m/n/10 = [](\OML/lmm/m/it/10 a[]\OT1/lmr /m/n/10 )$\T1/lmr/m/n/10 . LaTeX Warning: Citation `CHVote' on page 18 undefined on input line 1457. [18] LaTeX Warning: Reference `shuffle-algorithms' on page 19 undefined on input lin e 1499. LaTeX Warning: Hyper reference `trustee-keys' on page 19 undefined on input lin e 1518. [19] LaTeX Warning: Reference `nh-answers' on page 20 undefined on input line 1616. LaTeX Warning: Hyper reference `election-setup' on page 20 undefined on input l ine 1627. [20] LaTeX Warning: Reference `nh-answers' on page 21 undefined on input line 1689. [21] LaTeX Warning: Reference `shuffles' on page 22 undefined on input line 1733. LaTeX Warning: Citation `CHVote' on page 22 undefined on input line 1735. LaTeX Warning: Reference `gen-permutation' on page 22 undefined on input line 1 754. LaTeX Warning: Reference `gen-re-encryption' on page 22 undefined on input line 1759. LaTeX Warning: Reference `get-secondary-generator' on page 22 undefined on inpu t line 1839. LaTeX Warning: Reference `get-generators' on page 22 undefined on input line 18 39. LaTeX Warning: Reference `gen-permutation-commitment' on page 22 undefined on i nput line 1842. LaTeX Warning: Reference `serialize-array' on page 22 undefined on input line 1 845. LaTeX Warning: Reference `get-nizkp-challenges' on page 22 undefined on input l ine 1848. LaTeX Warning: Reference `gen-commitment-chain' on page 22 undefined on input l ine 1853. LaTeX Warning: Reference `get-nizkp-challenge' on page 22 undefined on input li ne 1873. LaTeX Warning: Reference `get-secondary-generator' on page 22 undefined on inpu t line 1918. LaTeX Warning: Reference `get-generators' on page 22 undefined on input line 19 18. LaTeX Warning: Reference `serialize-array' on page 22 undefined on input line 1 921. LaTeX Warning: Reference `get-nizkp-challenges' on page 22 undefined on input l ine 1924. LaTeX Warning: Reference `get-nizkp-challenge' on page 22 undefined on input li ne 1932. LaTeX Warning: Reference `get-generator' on page 22 undefined on input line 196 0. LaTeX Warning: Reference `get-generator' on page 22 undefined on input line 197 8. [22] [23] [24] [25] [26] [27] [28] [29] [30] No file specification.bbl. (./specification.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `specification.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) (see the transcript file for additional information){/usr/share/texmf/fonts/enc /dvips/lm/lm-ec.enc} kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 bbm9 mkdir: cannot create directory ‘././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 (30 pages, 670286 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 `EVoteID20-Belenios' on page 2 undefined on input line 80. LaTeX Warning: Citation `CHVote' on page 2 undefined on input line 83. (/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) [2] (/usr/share/texmf/tex/latex/lm/t1lmss.fd) [3] [4] [5] [6] [7] [8] [9] [10] Overfull \hbox (3.77475pt too wide) detected at line 897 [] [11] [12] [13] [14] Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1197. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `subscript' on input line 1197. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1197. (/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 1256. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `subscript' on input line 1256. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1256. [16] [17] [18] LaTeX Warning: Citation `CHVote' on page 19 undefined on input line 1457. [19] [20] [21] [22] LaTeX Warning: Citation `CHVote' on page 23 undefined on input line 1735. [23] [24] [25] [26] [27] [28] [29] [30] [31] No file specification.bbl. (./specification.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information){/usr/share/texmf/fonts/enc /dvips/lm/lm-ec.enc} {/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 (31 pages, 678708 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 `EVoteID20-Belenios' on page 2 undefined on input line 80. LaTeX Warning: Citation `CHVote' on page 2 undefined on input line 83. (/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) [2] (/usr/share/texmf/tex/latex/lm/t1lmss.fd) [3] [4] [5] [6] [7] [8] [9] [10] Overfull \hbox (3.77475pt too wide) detected at line 897 [] [11] [12] [13] [14] Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1197. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `subscript' on input line 1197. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1197. (/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 1256. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `subscript' on input line 1256. Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `math shift' on input line 1256. [16] [17] [18] LaTeX Warning: Citation `CHVote' on page 19 undefined on input line 1457. [19] [20] [21] [22] LaTeX Warning: Citation `CHVote' on page 23 undefined on input line 1735. [23] [24] [25] [26] [27] [28] [29] [30] [31] No file specification.bbl. (./specification.aux) LaTeX Warning: There were undefined references. ) (see the transcript file for additional information){/usr/share/texmf/fonts/enc /dvips/lm/lm-ec.enc} {/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 (31 pages, 678708 bytes). Transcript written on specification.log. make[3]: Leaving directory '/build/belenios-tq3JYt/belenios-1.17+dfsg' make[2]: Leaving directory '/build/belenios-tq3JYt/belenios-1.17+dfsg' _build/default/src/tool/cmdline/tool_cmdline.exe --help=groff > debian/belenios-tool.1 make[1]: Leaving directory '/build/belenios-tq3JYt/belenios-1.17+dfsg' dh_auto_test -a make -j4 check make[1]: Entering directory '/build/belenios-tq3JYt/belenios-1.17+dfsg' make build-debug-tool make[2]: Entering directory '/build/belenios-tq3JYt/belenios-1.17+dfsg' BELENIOS_DEBUG=1 dune build --build-dir=_build-debug -p belenios-platform,belenios-platform-native,belenios-lib,belenios-tool rm -rf _run/tool-debug dune install --build-dir=_build-debug --destdir=_run/tool-debug --prefix=/ belenios-platform belenios-platform-native belenios-lib belenios-tool 2>/dev/null make[2]: Leaving directory '/build/belenios-tq3JYt/belenios-1.17+dfsg' make -C tests/tool check make[2]: Entering directory '/build/belenios-tq3JYt/belenios-1.17+dfsg/tests/tool' mkdir -p data ./demo.sh =-=-= Setup election =-=-= UUID of the election is WeDx1nhhf638AU 5 private credentials with ids saved to ./1636498762.privcreds 5 public credentials saved to ./1636498762.pubcreds I: keypair F2B68B2E has been generated I: public key saved to F2B68B2E.pubkey I: private key saved to F2B68B2E.privkey I: keypair 44F497C0 has been generated I: public key saved to 44F497C0.pubkey I: private key saved to 44F497C0.privkey I: keypair 0F2FCC02 has been generated I: public key saved to 0F2FCC02.pubkey I: private key saved to 0F2FCC02.privkey =-=-= Simulate votes =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter voter1@example.com,voter1,1000000000 voted with IS0JskcsY4k8wkyJO3lUU/BY9o7PPbrOcKvape0ucv0 I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter voter2@example.com,voter2,2000000000 voted with 3HOEql9sty58X4rDjLjJRzL1WRvCbmgIL3t9AwKwxLY I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter voter3@example.com,voter3,3000000000 voted with C49EkmOZ0PhhqdM4xgOFlf8IUoBxSGwYtuTJyR3jxyE I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter voter4@example.com,voter4,4000000000 voted with 0iW1oEG4iEZ1yC3PLTFMbbtjEXW6qEVHClEvacfLWKA I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter voter5@example.com,voter5,90000000000 voted with nyV319z0BaLXl50RoFKnGz96uF9NwbpBY67MpVHhnrY =-=-= 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 0F2FCC02.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 44F497C0.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 F2B68B2E.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-tq3JYt/belenios-1.17+dfsg/tests/tool/data/WeDx1nhhf638AU/result.json =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= ./demo-threshold.sh =-=-= Setup election =-=-= UUID of the election is GQd3vtnv8jVMf3 5 private credentials with ids saved to ./1636498768.privcreds 5 public credentials saved to ./1636498768.pubcreds I: certificate e17bee2c294b89696ffd7b5300f2a1deadf406f6534993ee0416c6a12aa7a6c7 has been generated I: certificate saved to e17bee2c294b89696ffd7b5300f2a1deadf406f6534993ee0416c6a12aa7a6c7.cert I: private key saved to e17bee2c294b89696ffd7b5300f2a1deadf406f6534993ee0416c6a12aa7a6c7.key I: certificate 84a6a8453cfb7181eee39ead11970057211272711ab6798439320643613b5135 has been generated I: certificate saved to 84a6a8453cfb7181eee39ead11970057211272711ab6798439320643613b5135.cert I: private key saved to 84a6a8453cfb7181eee39ead11970057211272711ab6798439320643613b5135.key I: certificate 721daf5c9d3d3935b71ffab6dab900f64d149d0023195def004048cb463e3671 has been generated I: certificate saved to 721daf5c9d3d3935b71ffab6dab900f64d149d0023195def004048cb463e3671.cert I: private key saved to 721daf5c9d3d3935b71ffab6dab900f64d149d0023195def004048cb463e3671.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 721daf5c9d3d3935b71ffab6dab900f64d149d0023195def004048cb463e3671.vinput I: wrote 84a6a8453cfb7181eee39ead11970057211272711ab6798439320643613b5135.vinput I: wrote e17bee2c294b89696ffd7b5300f2a1deadf406f6534993ee0416c6a12aa7a6c7.vinput I: loading certs.jsons... I: loading certs.jsons... I: loading certs.jsons... I: loading certs.jsons... I: loading polynomials.jsons... I: wrote 721daf5c9d3d3935b71ffab6dab900f64d149d0023195def004048cb463e3671.dkey I: wrote 84a6a8453cfb7181eee39ead11970057211272711ab6798439320643613b5135.dkey I: wrote e17bee2c294b89696ffd7b5300f2a1deadf406f6534993ee0416c6a12aa7a6c7.dkey I: keypair 69577B35 has been generated I: public key saved to 69577B35.pubkey I: private key saved to 69577B35.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 69577B35.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-tq3JYt/belenios-1.17+dfsg/tests/tool/data/GQd3vtnv8jVMf3/result.json =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= ./demo-nh.sh =-=-= Setup election =-=-= UUID of the election is X8sYrmj7XQNkGW 60 private credentials with ids saved to ./1636498773.privcreds 60 public credentials saved to ./1636498773.pubcreds I: keypair B99D242E has been generated I: public key saved to B99D242E.pubkey I: private key saved to B99D242E.privkey I: keypair 00D59E43 has been generated I: public key saved to 00D59E43.pubkey I: private key saved to 00D59E43.privkey I: keypair 35737977 has been generated I: public key saved to 35737977.pubkey I: private key saved to 35737977.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 00D59E43.privkey... I: shuffle ZAVxQ9zL32hDfKuWZNL+HXAm2zf0POj0GvOGxAJh6X8 has been applied I: shuffle CmQ0kud6v+7XT5mn5TaD+WqgLOMOYTzRZ9yjZZVSSR0 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 35737977.privkey... I: shuffle ZAVxQ9zL32hDfKuWZNL+HXAm2zf0POj0GvOGxAJh6X8 has been applied I: shuffle CmQ0kud6v+7XT5mn5TaD+WqgLOMOYTzRZ9yjZZVSSR0 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 B99D242E.privkey... I: shuffle ZAVxQ9zL32hDfKuWZNL+HXAm2zf0POj0GvOGxAJh6X8 has been applied I: shuffle CmQ0kud6v+7XT5mn5TaD+WqgLOMOYTzRZ9yjZZVSSR0 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-tq3JYt/belenios-1.17+dfsg/tests/tool/data/X8sYrmj7XQNkGW/result.json =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= ./demo-mj.sh =-=-= Setup election =-=-= UUID of the election is vosXQ5ZQw9EHDd 102 private credentials with ids saved to ./1636499039.privcreds 102 public credentials saved to ./1636499039.pubcreds I: keypair A5DEDB35 has been generated I: public key saved to A5DEDB35.pubkey I: private key saved to A5DEDB35.privkey I: keypair 619B7ADD has been generated I: public key saved to 619B7ADD.pubkey I: private key saved to 619B7ADD.privkey I: keypair 6B0D093C has been generated I: public key saved to 6B0D093C.pubkey I: private key saved to 6B0D093C.privkey =-=-= Simulate votes =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 100 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 101 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 102 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 103 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 104 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 105 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 106 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 107 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 108 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 109 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 110 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 111 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 112 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 113 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 114 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 115 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 116 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 117 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 118 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 119 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 120 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 121 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 122 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 123 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 124 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 125 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 126 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 127 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 128 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 129 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 130 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 131 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 132 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 133 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 134 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 135 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 136 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 137 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 138 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 139 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 140 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 141 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 142 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 143 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 144 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 145 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 146 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 147 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 148 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 149 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 150 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 151 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 152 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 153 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 154 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 155 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 156 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 157 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 158 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 159 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 160 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 161 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 162 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 163 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 164 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 165 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 166 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 167 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 168 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 169 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 170 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 171 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 172 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 173 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 174 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 175 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 176 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 177 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 178 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 179 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 180 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 181 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 182 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 183 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 184 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 185 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 186 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 187 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 188 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 189 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 190 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 191 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 192 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 193 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 194 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 195 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 196 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 197 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 198 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 199 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 200 voted I: using directory . I: loading election.json... I: loading trustees.json... I: loading 62... I: loading 63... Voter 201 voted =-=-= Perform verification =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... W: no result to check I: all checks passed =-=-= Simulate and verify update =-=-= I: 99 new ballot(s) I: all tests passed! =-=-= Shuffle ciphertexts =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... =-=-= Perform decryption =-=-= I: using directory . I: loading election.json... I: loading trustees.json... I: loading ballots.jsons... I: loading public_creds.txt... I: loading shuffles.jsons... W: no result to check I: all checks passed I: loading 619B7ADD.privkey... I: shuffle rySbLx/BZicr1NEjknwaVnl1hhiWu7NKUXiceQrfSuY has been applied I: shuffle N7tUps5DDhodhfT2J+7kDms2Gv5SJtW0pEe2k9Atj4o 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 6B0D093C.privkey... I: shuffle rySbLx/BZicr1NEjknwaVnl1hhiWu7NKUXiceQrfSuY has been applied I: shuffle N7tUps5DDhodhfT2J+7kDms2Gv5SJtW0pEe2k9Atj4o 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 A5DEDB35.privkey... I: shuffle rySbLx/BZicr1NEjknwaVnl1hhiWu7NKUXiceQrfSuY has been applied I: shuffle N7tUps5DDhodhfT2J+7kDms2Gv5SJtW0pEe2k9Atj4o 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-tq3JYt/belenios-1.17+dfsg/tests/tool/data/vosXQ5ZQw9EHDd/result.json =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= ./demo-stv.sh =-=-= Setup election =-=-= UUID of the election is QPsJtMg3FAJnNK 50 private credentials with ids saved to ./1636499126.privcreds 50 public credentials saved to ./1636499126.pubcreds I: keypair B7EEDB87 has been generated I: public key saved to B7EEDB87.pubkey I: private key saved to B7EEDB87.privkey I: keypair E866A3A1 has been generated I: public key saved to E866A3A1.pubkey I: private key saved to E866A3A1.privkey I: keypair 2B3DCF91 has been generated I: public key saved to 2B3DCF91.pubkey I: private key saved to 2B3DCF91.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 2B3DCF91.privkey... I: shuffle a4zV1KDfBckTr8GaGGQTQyULKGlfGvKSBZxASVPKsmI has been applied I: shuffle 78VSf0HONCuIyqCmxtWNHMapCpbIs8kRELvnguF9IEk 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 B7EEDB87.privkey... I: shuffle a4zV1KDfBckTr8GaGGQTQyULKGlfGvKSBZxASVPKsmI has been applied I: shuffle 78VSf0HONCuIyqCmxtWNHMapCpbIs8kRELvnguF9IEk 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 E866A3A1.privkey... I: shuffle a4zV1KDfBckTr8GaGGQTQyULKGlfGvKSBZxASVPKsmI has been applied I: shuffle 78VSf0HONCuIyqCmxtWNHMapCpbIs8kRELvnguF9IEk 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-tq3JYt/belenios-1.17+dfsg/tests/tool/data/QPsJtMg3FAJnNK/result.json =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= make[2]: Leaving directory '/build/belenios-tq3JYt/belenios-1.17+dfsg/tests/tool' make[1]: Leaving directory '/build/belenios-tq3JYt/belenios-1.17+dfsg' create-stamp debian/debhelper-build-stamp dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/build/belenios-tq3JYt/belenios-1.17+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-tq3JYt/belenios-1.17+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.17+dfsg-1+b1_amd64.deb'. dpkg-deb: building package 'belenios-tool' in '../belenios-tool_1.17+dfsg-1+b1_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../belenios_1.17+dfsg-1+b1_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-tq3JYt /tmp/belenios-1.17+dfsg-1+b1nk8mqnmv I: cleaning package lists and apt cache... W: deleting files in /tmp: texfonts I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.pDN5VIKKMu... I: success in 8606.0655 seconds md5: belenios-tool-dbgsym_1.17+dfsg-1+b1_amd64.deb: OK md5: belenios-tool_1.17+dfsg-1+b1_amd64.deb: OK sha1: belenios-tool-dbgsym_1.17+dfsg-1+b1_amd64.deb: OK sha1: belenios-tool_1.17+dfsg-1+b1_amd64.deb: OK sha256: belenios-tool-dbgsym_1.17+dfsg-1+b1_amd64.deb: OK sha256: belenios-tool_1.17+dfsg-1+b1_amd64.deb: OK Checksums: OK