belenios →
1.10+dfsg-1 →
armhf → 2019-12-15 05:22:21
sbuild (Debian sbuild) 0.72.0 (25 Oct 2016) on mb-lxc-02
+==============================================================================+
| belenios 1.10+dfsg-1 (armhf) Sun, 15 Dec 2019 04:58:49 +0000 |
+==============================================================================+
Package: belenios
Version: 1.10+dfsg-1
Source Version: 1.10+dfsg-1
Distribution: bullseye-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/bullseye-staging-armhf-sbuild-c40fd525-487d-4732-b277-dd88b20e9936' with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.0.1/private bullseye-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private bullseye-staging/main Sources [11.5 MB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf Packages [12.8 MB]
Fetched 24.3 MB in 9s (2676 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Fetch source files |
+------------------------------------------------------------------------------+
Check APT
---------
Checking available source versions...
Download source files with APT
------------------------------
Reading package lists...
NOTICE: 'belenios' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/belenios.git
Please use:
git clone https://salsa.debian.org/ocaml-team/belenios.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 231 kB of source archives.
Get:1 http://172.17.0.1/private bullseye-staging/main belenios 1.10+dfsg-1 (dsc) [2030 B]
Get:2 http://172.17.0.1/private bullseye-staging/main belenios 1.10+dfsg-1 (tar) [203 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main belenios 1.10+dfsg-1 (diff) [25.7 kB]
Fetched 231 kB in 0s (3039 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/belenios-SBHLcE/belenios-1.10+dfsg' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/belenios-SBHLcE' with '<<BUILDDIR>>'
+------------------------------------------------------------------------------+
| Install build-essential |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-F1EOV3/apt_archive/sbuild-build-depends-core-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 1 entries to output Packages file.
gpg: keybox '/<<BUILDDIR>>/resolver-F1EOV3/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-F1EOV3/gpg/trustdb.gpg: trustdb created
gpg: key 37145E60F90AF620: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg: imported: 1
gpg: key 37145E60F90AF620: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 37145E60F90AF620: secret key imported
gpg: Total number processed: 1
gpg: unchanged: 1
gpg: secret keys read: 1
gpg: secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-F1EOV3/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-F1EOV3/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-F1EOV3/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-F1EOV3/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-F1EOV3/apt_archive ./ Packages [432 B]
Fetched 2108 B in 0s (10.0 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install core build dependencies (apt-based resolver)
----------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
libpam-cap netbase
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 19 not upgraded.
Need to get 852 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-F1EOV3/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 852 B in 0s (0 B/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 13002 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Check architectures |
+------------------------------------------------------------------------------+
Arch check ok (armhf included in any)
+------------------------------------------------------------------------------+
| Install package build dependencies |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: debhelper-compat (= 12), dh-ocaml, ocaml-findlib, ocamlbuild, libzarith-ocaml-dev, libcalendar-ocaml-dev, libuuidm-ocaml-dev, libcryptokit-ocaml-dev, libatdgen-ocaml-dev, libyojson-ocaml-dev, libcmdliner-ocaml-dev, ocaml-nox, markdown, texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra, texlive-science, lmodern, uuid-runtime
Filtered Build-Depends: debhelper-compat (= 12), dh-ocaml, ocaml-findlib, ocamlbuild, libzarith-ocaml-dev, libcalendar-ocaml-dev, libuuidm-ocaml-dev, libcryptokit-ocaml-dev, libatdgen-ocaml-dev, libyojson-ocaml-dev, libcmdliner-ocaml-dev, ocaml-nox, markdown, texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra, texlive-science, lmodern, uuid-runtime
dpkg-deb: building package 'sbuild-build-depends-belenios-dummy' in '/<<BUILDDIR>>/resolver-F1EOV3/apt_archive/sbuild-build-depends-belenios-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-belenios-dummy sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-F1EOV3/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-F1EOV3/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-F1EOV3/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-F1EOV3/apt_archive ./ Sources [627 B]
Get:5 copy:/<<BUILDDIR>>/resolver-F1EOV3/apt_archive ./ Packages [710 B]
Fetched 2670 B in 0s (12.5 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install belenios build dependencies (apt-based resolver)
--------------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
libpam-cap netbase
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
autoconf automake autopoint autotools-dev bsdmainutils debhelper
dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file fontconfig-config
fonts-dejavu-core fonts-gfs-baskerville fonts-gfs-porson fonts-lmodern
gettext gettext-base groff-base intltool-debian libarchive-zip-perl
libatdgen-ocaml libatdgen-ocaml-dev libbiniou-ocaml libbiniou-ocaml-dev
libbsd0 libcairo2 libcalendar-ocaml libcalendar-ocaml-dev
libcmdliner-ocaml-dev libcroco3 libcryptokit-ocaml libcryptokit-ocaml-dev
libdebhelper-perl libeasy-format-ocaml libeasy-format-ocaml-dev libelf1
libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1
libfontenc1 libfreetype6 libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl
libgraphite2-3 libharfbuzz-icu0 libharfbuzz0b libice6 libicu63 libkpathsea6
libmagic-mgc libmagic1 libmpdec2 libncurses-dev libncurses5-dev libncurses6
libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpng16-16 libptexenc1
libpython-stdlib libpython2-stdlib libpython2.7-minimal libpython2.7-stdlib
libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libsigsegv2
libsm6 libssl1.1 libsub-override-perl libsynctex2 libteckit0 libtexlua53
libtexluajit2 libtinfo5 libtool libuchardet0 libuuidm-ocaml-dev libx11-6
libx11-data libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6
libxext6 libxi6 libxml2 libxmu6 libxpm4 libxrender1 libxt6 libyojson-ocaml
libyojson-ocaml-dev libzarith-ocaml libzarith-ocaml-dev libzzip-0-13 lmodern
m4 man-db markdown mime-support ocaml-base-nox ocaml-compiler-libs
ocaml-findlib ocaml-interp ocaml-nox ocamlbuild po-debconf
preview-latex-style python python-minimal python2 python2-minimal python2.7
python2.7-minimal python3 python3-minimal python3.7 python3.7-minimal
sensible-utils t1utils tex-common texlive-base texlive-binaries
texlive-fonts-extra texlive-fonts-recommended texlive-lang-greek
texlive-latex-base texlive-latex-extra texlive-latex-recommended
texlive-pictures texlive-science ucf uuid-runtime x11-common xdg-utils
xfonts-encodings xfonts-utils zlib1g-dev
Suggested packages:
autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois
vacation dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff
libcalendar-ocaml-doc gmp-doc libgmp10-doc libmpfr-dev ncurses-doc
libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less
www-browser camlp4 ocaml-doc tuareg-mode libmail-box-perl python-doc
python-tk python2-doc python2.7-doc binfmt-support python3-doc python3-tk
python3-venv python3.7-venv python3.7-doc ghostscript gv | postscript-viewer
perl-tk xpdf | pdf-viewer xzdec cm-super texlive-fonts-extra-doc
texlive-fonts-recommended-doc texlive-latex-base-doc python-pygments
icc-profiles libfile-which-perl libspreadsheet-parseexcel-perl
texlive-latex-extra-doc texlive-latex-recommended-doc texlive-luatex
texlive-pstricks dot2tex prerex ruby-tcltk | libtcltk-ruby
texlive-pictures-doc vprerex texlive-science-doc
Recommended packages:
curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info
xdg-user-dirs libgpm2 libltdl-dev ocaml-man libfindlib-ocaml-dev ledit
| readline-editor libmail-sendmail-perl dvisvgm fonts-adf-accanthis
fonts-adf-berenis fonts-adf-gillius fonts-adf-universalis fonts-cabin
fonts-cantarell fonts-comfortaa fonts-croscore fonts-crosextra-caladea
fonts-crosextra-carlito fonts-dejavu-extra fonts-ebgaramond
fonts-ebgaramond-extra fonts-font-awesome fonts-freefont-otf
fonts-freefont-ttf fonts-gfs-artemisia fonts-gfs-complutum fonts-gfs-didot
fonts-gfs-neohellenic fonts-gfs-olga fonts-gfs-solomos fonts-go
fonts-junicode fonts-lato fonts-linuxlibertine fonts-lobstertwo
fonts-noto-core fonts-noto-mono fonts-oflb-asana-math fonts-open-sans
fonts-roboto-unhinted fonts-sil-gentium fonts-sil-gentium-basic
fonts-sil-gentiumplus fonts-sil-gentiumplus-compact fonts-stix
texlive-fonts-extra-links tex-gyre tipa texlive-plain-generic ruby
| ruby-interpreter tk python-sympy libfile-mimeinfo-perl libnet-dbus-perl
libx11-protocol-perl x11-utils x11-xserver-utils
The following NEW packages will be installed:
autoconf automake autopoint autotools-dev bsdmainutils debhelper
dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file fontconfig-config
fonts-dejavu-core fonts-gfs-baskerville fonts-gfs-porson fonts-lmodern
gettext gettext-base groff-base intltool-debian libarchive-zip-perl
libatdgen-ocaml libatdgen-ocaml-dev libbiniou-ocaml libbiniou-ocaml-dev
libbsd0 libcairo2 libcalendar-ocaml libcalendar-ocaml-dev
libcmdliner-ocaml-dev libcroco3 libcryptokit-ocaml libcryptokit-ocaml-dev
libdebhelper-perl libeasy-format-ocaml libeasy-format-ocaml-dev libelf1
libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1
libfontenc1 libfreetype6 libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl
libgraphite2-3 libharfbuzz-icu0 libharfbuzz0b libice6 libicu63 libkpathsea6
libmagic-mgc libmagic1 libmpdec2 libncurses-dev libncurses5-dev libncurses6
libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpng16-16 libptexenc1
libpython-stdlib libpython2-stdlib libpython2.7-minimal libpython2.7-stdlib
libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libsigsegv2
libsm6 libssl1.1 libsub-override-perl libsynctex2 libteckit0 libtexlua53
libtexluajit2 libtinfo5 libtool libuchardet0 libuuidm-ocaml-dev libx11-6
libx11-data libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6
libxext6 libxi6 libxml2 libxmu6 libxpm4 libxrender1 libxt6 libyojson-ocaml
libyojson-ocaml-dev libzarith-ocaml libzarith-ocaml-dev libzzip-0-13 lmodern
m4 man-db markdown mime-support ocaml-base-nox ocaml-compiler-libs
ocaml-findlib ocaml-interp ocaml-nox ocamlbuild po-debconf
preview-latex-style python python-minimal python2 python2-minimal python2.7
python2.7-minimal python3 python3-minimal python3.7 python3.7-minimal
sbuild-build-depends-belenios-dummy sensible-utils t1utils tex-common
texlive-base texlive-binaries texlive-fonts-extra texlive-fonts-recommended
texlive-lang-greek texlive-latex-base texlive-latex-extra
texlive-latex-recommended texlive-pictures texlive-science ucf uuid-runtime
x11-common xdg-utils xfonts-encodings xfonts-utils zlib1g-dev
0 upgraded, 148 newly installed, 0 to remove and 19 not upgraded.
Need to get 736 MB of archives.
After this operation, 2169 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-F1EOV3/apt_archive ./ sbuild-build-depends-belenios-dummy 0.invalid.0 [1000 B]
Get:2 http://172.17.0.1/private bullseye-staging/main armhf libbsd0 armhf 0.10.0-1 [112 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf libtinfo5 armhf 6.1+20191019-1 [316 kB]
Get:4 http://172.17.0.1/private bullseye-staging/main armhf bsdmainutils armhf 11.1.2 [182 kB]
Get:5 http://172.17.0.1/private bullseye-staging/main armhf libuchardet0 armhf 0.0.6-3 [62.2 kB]
Get:6 http://172.17.0.1/private bullseye-staging/main armhf groff-base armhf 1.22.4-3 [782 kB]
Get:7 http://172.17.0.1/private bullseye-staging/main armhf libpipeline1 armhf 1.5.1-2 [26.6 kB]
Get:8 http://172.17.0.1/private bullseye-staging/main armhf man-db armhf 2.9.0-1 [1261 kB]
Get:9 http://172.17.0.1/private bullseye-staging/main armhf libpython2.7-minimal armhf 2.7.17-1 [395 kB]
Get:10 http://172.17.0.1/private bullseye-staging/main armhf python2.7-minimal armhf 2.7.17-1 [1107 kB]
Get:11 http://172.17.0.1/private bullseye-staging/main armhf python2-minimal armhf 2.7.17-2 [41.4 kB]
Get:12 http://172.17.0.1/private bullseye-staging/main armhf python-minimal armhf 2.7.17-2 [21.1 kB]
Get:13 http://172.17.0.1/private bullseye-staging/main armhf libssl1.1 armhf 1.1.1d-2 [1268 kB]
Get:14 http://172.17.0.1/private bullseye-staging/main armhf mime-support all 3.64 [37.8 kB]
Get:15 http://172.17.0.1/private bullseye-staging/main armhf libexpat1 armhf 2.2.9-1 [71.5 kB]
Get:16 http://172.17.0.1/private bullseye-staging/main armhf libpython2.7-stdlib armhf 2.7.17-1 [1823 kB]
Get:17 http://172.17.0.1/private bullseye-staging/main armhf python2.7 armhf 2.7.17-1 [309 kB]
Get:18 http://172.17.0.1/private bullseye-staging/main armhf libpython2-stdlib armhf 2.7.17-2 [20.9 kB]
Get:19 http://172.17.0.1/private bullseye-staging/main armhf libpython-stdlib armhf 2.7.17-2 [20.9 kB]
Get:20 http://172.17.0.1/private bullseye-staging/main armhf python2 armhf 2.7.17-2 [41.7 kB]
Get:21 http://172.17.0.1/private bullseye-staging/main armhf python armhf 2.7.17-2 [22.9 kB]
Get:22 http://172.17.0.1/private bullseye-staging/main armhf libpython3.7-minimal armhf 3.7.5-2 [584 kB]
Get:23 http://172.17.0.1/private bullseye-staging/main armhf python3.7-minimal armhf 3.7.5-2 [1527 kB]
Get:24 http://172.17.0.1/private bullseye-staging/main armhf python3-minimal armhf 3.7.5-1 [36.6 kB]
Get:25 http://172.17.0.1/private bullseye-staging/main armhf libmpdec2 armhf 2.4.2-2 [67.2 kB]
Get:26 http://172.17.0.1/private bullseye-staging/main armhf libpython3.7-stdlib armhf 3.7.5-2 [1668 kB]
Get:27 http://172.17.0.1/private bullseye-staging/main armhf python3.7 armhf 3.7.5-2 [347 kB]
Get:28 http://172.17.0.1/private bullseye-staging/main armhf libpython3-stdlib armhf 3.7.5-1 [20.1 kB]
Get:29 http://172.17.0.1/private bullseye-staging/main armhf python3 armhf 3.7.5-1 [61.5 kB]
Get:30 http://172.17.0.1/private bullseye-staging/main armhf sensible-utils all 0.0.12+nmu1 [16.0 kB]
Get:31 http://172.17.0.1/private bullseye-staging/main armhf ucf all 3.0038+nmu1 [69.0 kB]
Get:32 http://172.17.0.1/private bullseye-staging/main armhf tex-common all 6.13 [53.2 kB]
Get:33 http://172.17.0.1/private bullseye-staging/main armhf uuid-runtime armhf 2.34-0.1 [92.3 kB]
Get:34 http://172.17.0.1/private bullseye-staging/main armhf libmagic-mgc armhf 1:5.37-6 [253 kB]
Get:35 http://172.17.0.1/private bullseye-staging/main armhf libmagic1 armhf 1:5.37-6 [111 kB]
Get:36 http://172.17.0.1/private bullseye-staging/main armhf file armhf 1:5.37-6 [66.2 kB]
Get:37 http://172.17.0.1/private bullseye-staging/main armhf gettext-base armhf 0.19.8.1-10 [117 kB]
Get:38 http://172.17.0.1/private bullseye-staging/main armhf libsigsegv2 armhf 2.12-2 [32.3 kB]
Get:39 http://172.17.0.1/private bullseye-staging/main armhf m4 armhf 1.4.18-4 [185 kB]
Get:40 http://172.17.0.1/private bullseye-staging/main armhf autoconf all 2.69-11 [341 kB]
Get:41 http://172.17.0.1/private bullseye-staging/main armhf autotools-dev all 20180224.1 [77.0 kB]
Get:42 http://172.17.0.1/private bullseye-staging/main armhf automake all 1:1.16.1-4 [771 kB]
Get:43 http://172.17.0.1/private bullseye-staging/main armhf autopoint all 0.19.8.1-10 [435 kB]
Get:44 http://172.17.0.1/private bullseye-staging/main armhf libtool all 2.4.6-11 [547 kB]
Get:45 http://172.17.0.1/private bullseye-staging/main armhf dh-autoreconf all 19 [16.9 kB]
Get:46 http://172.17.0.1/private bullseye-staging/main armhf libdebhelper-perl all 12.7.1 [173 kB]
Get:47 http://172.17.0.1/private bullseye-staging/main armhf libarchive-zip-perl all 1.67-1 [104 kB]
Get:48 http://172.17.0.1/private bullseye-staging/main armhf libsub-override-perl all 0.09-2 [10.2 kB]
Get:49 http://172.17.0.1/private bullseye-staging/main armhf libfile-stripnondeterminism-perl all 1.6.3-1 [23.6 kB]
Get:50 http://172.17.0.1/private bullseye-staging/main armhf dh-strip-nondeterminism all 1.6.3-1 [14.6 kB]
Get:51 http://172.17.0.1/private bullseye-staging/main armhf libelf1 armhf 0.176-1.1 [158 kB]
Get:52 http://172.17.0.1/private bullseye-staging/main armhf dwz armhf 0.13-5 [142 kB]
Get:53 http://172.17.0.1/private bullseye-staging/main armhf libglib2.0-0 armhf 2.62.3-2 [1137 kB]
Get:54 http://172.17.0.1/private bullseye-staging/main armhf libicu63 armhf 63.2-2 [7974 kB]
Get:55 http://172.17.0.1/private bullseye-staging/main armhf libxml2 armhf 2.9.4+dfsg1-8 [593 kB]
Get:56 http://172.17.0.1/private bullseye-staging/main armhf libcroco3 armhf 0.6.13-1 [133 kB]
Get:57 http://172.17.0.1/private bullseye-staging/main armhf gettext armhf 0.19.8.1-10 [1219 kB]
Get:58 http://172.17.0.1/private bullseye-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:59 http://172.17.0.1/private bullseye-staging/main armhf po-debconf all 1.0.21 [248 kB]
Get:60 http://172.17.0.1/private bullseye-staging/main armhf debhelper all 12.7.1 [997 kB]
Get:61 http://172.17.0.1/private bullseye-staging/main armhf dh-ocaml all 1.1.0 [83.3 kB]
Get:62 http://172.17.0.1/private bullseye-staging/main armhf fonts-dejavu-core all 2.37-1 [1068 kB]
Get:63 http://172.17.0.1/private bullseye-staging/main armhf fontconfig-config all 2.13.1-2 [280 kB]
Get:64 http://172.17.0.1/private bullseye-staging/main armhf fonts-gfs-baskerville all 1.1-5 [43.4 kB]
Get:65 http://172.17.0.1/private bullseye-staging/main armhf fonts-gfs-porson all 1.1-6 [33.5 kB]
Get:66 http://172.17.0.1/private bullseye-staging/main armhf fonts-lmodern all 2.004.5-6 [4539 kB]
Get:67 http://172.17.0.1/private bullseye-staging/main armhf ocaml-base-nox armhf 4.08.1-5+rpi1 [528 kB]
Get:68 http://172.17.0.1/private bullseye-staging/main armhf libeasy-format-ocaml armhf 1.2.0-1+b2 [19.2 kB]
Get:69 http://172.17.0.1/private bullseye-staging/main armhf libbiniou-ocaml armhf 1.2.0-1+b1 [113 kB]
Get:70 http://172.17.0.1/private bullseye-staging/main armhf libyojson-ocaml armhf 1.7.0-1+b1 [539 kB]
Get:71 http://172.17.0.1/private bullseye-staging/main armhf libatdgen-ocaml armhf 2.0.0-3+b2 [81.7 kB]
Get:72 http://172.17.0.1/private bullseye-staging/main armhf libncurses6 armhf 6.1+20191019-1 [79.5 kB]
Get:73 http://172.17.0.1/private bullseye-staging/main armhf libncurses-dev armhf 6.1+20191019-1 [284 kB]
Get:74 http://172.17.0.1/private bullseye-staging/main armhf libncurses5-dev armhf 6.1+20191019-1 [940 B]
Get:75 http://172.17.0.1/private bullseye-staging/main armhf ocaml-compiler-libs armhf 4.08.1-5+rpi1 [24.7 MB]
Get:76 http://172.17.0.1/private bullseye-staging/main armhf ocaml-interp armhf 4.08.1-5+rpi1 [4782 kB]
Get:77 http://172.17.0.1/private bullseye-staging/main armhf ocaml-nox armhf 4.08.1-5+rpi1 [51.7 MB]
Get:78 http://172.17.0.1/private bullseye-staging/main armhf libeasy-format-ocaml-dev armhf 1.2.0-1+b2 [33.5 kB]
Get:79 http://172.17.0.1/private bullseye-staging/main armhf libbiniou-ocaml-dev armhf 1.2.0-1+b1 [507 kB]
Get:80 http://172.17.0.1/private bullseye-staging/main armhf libyojson-ocaml-dev armhf 1.7.0-1+b1 [1176 kB]
Get:81 http://172.17.0.1/private bullseye-staging/main armhf libatdgen-ocaml-dev armhf 2.0.0-3+b2 [780 kB]
Get:82 http://172.17.0.1/private bullseye-staging/main armhf libpng16-16 armhf 1.6.37-1 [274 kB]
Get:83 http://172.17.0.1/private bullseye-staging/main armhf libfreetype6 armhf 2.10.1-2 [330 kB]
Get:84 http://172.17.0.1/private bullseye-staging/main armhf libfontconfig1 armhf 2.13.1-2 [327 kB]
Get:85 http://172.17.0.1/private bullseye-staging/main armhf libpixman-1-0 armhf 0.36.0-1 [458 kB]
Get:86 http://172.17.0.1/private bullseye-staging/main armhf libxau6 armhf 1:1.0.8-1+b2 [19.1 kB]
Get:87 http://172.17.0.1/private bullseye-staging/main armhf libxdmcp6 armhf 1:1.1.2-3 [25.0 kB]
Get:88 http://172.17.0.1/private bullseye-staging/main armhf libxcb1 armhf 1.13.1-2 [132 kB]
Get:89 http://172.17.0.1/private bullseye-staging/main armhf libx11-data all 2:1.6.8-1 [298 kB]
Get:90 http://172.17.0.1/private bullseye-staging/main armhf libx11-6 armhf 2:1.6.8-1 [691 kB]
Get:91 http://172.17.0.1/private bullseye-staging/main armhf libxcb-render0 armhf 1.13.1-2 [108 kB]
Get:92 http://172.17.0.1/private bullseye-staging/main armhf libxcb-shm0 armhf 1.13.1-2 [99.3 kB]
Get:93 http://172.17.0.1/private bullseye-staging/main armhf libxext6 armhf 2:1.3.3-1+b2 [47.8 kB]
Get:94 http://172.17.0.1/private bullseye-staging/main armhf libxrender1 armhf 1:0.9.10-1 [29.9 kB]
Get:95 http://172.17.0.1/private bullseye-staging/main armhf libcairo2 armhf 1.16.0-4 [599 kB]
Get:96 http://172.17.0.1/private bullseye-staging/main armhf libcalendar-ocaml armhf 2.04-3+b1 [75.3 kB]
Get:97 http://172.17.0.1/private bullseye-staging/main armhf libfindlib-ocaml armhf 1.8.1-1+b1 [174 kB]
Get:98 http://172.17.0.1/private bullseye-staging/main armhf ocaml-findlib armhf 1.8.1-1+b1 [400 kB]
Get:99 http://172.17.0.1/private bullseye-staging/main armhf libcalendar-ocaml-dev armhf 2.04-3+b1 [160 kB]
Get:100 http://172.17.0.1/private bullseye-staging/main armhf libcmdliner-ocaml-dev armhf 1.0.4-1+b1 [381 kB]
Get:101 http://172.17.0.1/private bullseye-staging/main armhf libzarith-ocaml armhf 1.8-1+b1 [43.6 kB]
Get:102 http://172.17.0.1/private bullseye-staging/main armhf libcryptokit-ocaml armhf 1.13-2+b2 [243 kB]
Get:103 http://172.17.0.1/private bullseye-staging/main armhf zlib1g-dev armhf 1:1.2.11.dfsg-1 [206 kB]
Get:104 http://172.17.0.1/private bullseye-staging/main armhf libgmpxx4ldbl armhf 2:6.1.2+dfsg-4 [21.8 kB]
Get:105 http://172.17.0.1/private bullseye-staging/main armhf libgmp-dev armhf 2:6.1.2+dfsg-4 [570 kB]
Get:106 http://172.17.0.1/private bullseye-staging/main armhf libgmp3-dev armhf 2:6.1.2+dfsg-4 [15.7 kB]
Get:107 http://172.17.0.1/private bullseye-staging/main armhf libzarith-ocaml-dev armhf 1.8-1+b1 [82.9 kB]
Get:108 http://172.17.0.1/private bullseye-staging/main armhf libcryptokit-ocaml-dev armhf 1.13-2+b2 [552 kB]
Get:109 http://172.17.0.1/private bullseye-staging/main armhf libfontenc1 armhf 1:1.1.3-1 [22.2 kB]
Get:110 http://172.17.0.1/private bullseye-staging/main armhf libgraphite2-3 armhf 1.3.13-11 [70.1 kB]
Get:111 http://172.17.0.1/private bullseye-staging/main armhf libharfbuzz0b armhf 2.6.4-1+rpi1 [1308 kB]
Get:112 http://172.17.0.1/private bullseye-staging/main armhf libharfbuzz-icu0 armhf 2.6.4-1+rpi1 [976 kB]
Get:113 http://172.17.0.1/private bullseye-staging/main armhf x11-common all 1:7.7+20 [252 kB]
Get:114 http://172.17.0.1/private bullseye-staging/main armhf libice6 armhf 2:1.0.9-2 [51.6 kB]
Get:115 http://172.17.0.1/private bullseye-staging/main armhf libkpathsea6 armhf 2019.20190605.51237-3 [159 kB]
Get:116 http://172.17.0.1/private bullseye-staging/main armhf libpaper1 armhf 1.1.28 [20.5 kB]
Get:117 http://172.17.0.1/private bullseye-staging/main armhf libpaper-utils armhf 1.1.28 [17.7 kB]
Get:118 http://172.17.0.1/private bullseye-staging/main armhf libptexenc1 armhf 2019.20190605.51237-3 [60.0 kB]
Get:119 http://172.17.0.1/private bullseye-staging/main armhf libsm6 armhf 2:1.2.3-1 [32.9 kB]
Get:120 http://172.17.0.1/private bullseye-staging/main armhf libsynctex2 armhf 2019.20190605.51237-3 [68.8 kB]
Get:121 http://172.17.0.1/private bullseye-staging/main armhf libteckit0 armhf 2.5.8+ds2-5 [245 kB]
Get:122 http://172.17.0.1/private bullseye-staging/main armhf libtexlua53 armhf 2019.20190605.51237-3 [99.7 kB]
Get:123 http://172.17.0.1/private bullseye-staging/main armhf libtexluajit2 armhf 2019.20190605.51237-3 [206 kB]
Get:124 http://172.17.0.1/private bullseye-staging/main armhf libuuidm-ocaml-dev armhf 0.9.6-1+b1 [315 kB]
Get:125 http://172.17.0.1/private bullseye-staging/main armhf libxt6 armhf 1:1.1.5-1+b3 [156 kB]
Get:126 http://172.17.0.1/private bullseye-staging/main armhf libxmu6 armhf 2:1.1.2-2+b3 [52.1 kB]
Get:127 http://172.17.0.1/private bullseye-staging/main armhf libxpm4 armhf 1:3.5.12-1 [43.6 kB]
Get:128 http://172.17.0.1/private bullseye-staging/main armhf libxaw7 armhf 2:1.0.13-1+b2 [163 kB]
Get:129 http://172.17.0.1/private bullseye-staging/main armhf libxi6 armhf 2:1.7.9-1 [77.8 kB]
Get:130 http://172.17.0.1/private bullseye-staging/main armhf libzzip-0-13 armhf 0.13.62-3.2 [51.6 kB]
Get:131 http://172.17.0.1/private bullseye-staging/main armhf xfonts-encodings all 1:1.0.4-2 [574 kB]
Get:132 http://172.17.0.1/private bullseye-staging/main armhf xfonts-utils armhf 1:7.7+6 [82.5 kB]
Get:133 http://172.17.0.1/private bullseye-staging/main armhf lmodern all 2.004.5-6 [9488 kB]
Get:134 http://172.17.0.1/private bullseye-staging/main armhf markdown all 1.0.1-10 [17.4 kB]
Get:135 http://172.17.0.1/private bullseye-staging/main armhf ocamlbuild armhf 0.14.0-1+b1 [849 kB]
Get:136 http://172.17.0.1/private bullseye-staging/main armhf preview-latex-style all 11.91-2 [201 kB]
Get:137 http://172.17.0.1/private bullseye-staging/main armhf t1utils armhf 1.41-3 [52.1 kB]
Get:138 http://172.17.0.1/private bullseye-staging/main armhf texlive-binaries armhf 2019.20190605.51237-3 [5748 kB]
Get:139 http://172.17.0.1/private bullseye-staging/main armhf xdg-utils all 1.1.3-1 [73.3 kB]
Get:140 http://172.17.0.1/private bullseye-staging/main armhf texlive-base all 2019.20191208-4 [20.6 MB]
Get:141 http://172.17.0.1/private bullseye-staging/main armhf texlive-fonts-extra all 2019.20191208-1 [448 MB]
Get:142 http://172.17.0.1/private bullseye-staging/main armhf texlive-fonts-recommended all 2019.20191208-4 [5227 kB]
Get:143 http://172.17.0.1/private bullseye-staging/main armhf texlive-lang-greek all 2019.20191208-1 [77.3 MB]
Get:144 http://172.17.0.1/private bullseye-staging/main armhf texlive-latex-base all 2019.20191208-4 [878 kB]
Get:145 http://172.17.0.1/private bullseye-staging/main armhf texlive-latex-recommended all 2019.20191208-4 [15.7 MB]
Get:146 http://172.17.0.1/private bullseye-staging/main armhf texlive-pictures all 2019.20191208-4 [4491 kB]
Get:147 http://172.17.0.1/private bullseye-staging/main armhf texlive-latex-extra all 2019.20191208-1 [12.9 MB]
Get:148 http://172.17.0.1/private bullseye-staging/main armhf texlive-science all 2019.20191208-1 [3231 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 736 MB in 2min 9s (5712 kB/s)
Selecting previously unselected package libbsd0:armhf.
(Reading database ... 13002 files and directories currently installed.)
Preparing to unpack .../00-libbsd0_0.10.0-1_armhf.deb ...
Unpacking libbsd0:armhf (0.10.0-1) ...
Selecting previously unselected package libtinfo5:armhf.
Preparing to unpack .../01-libtinfo5_6.1+20191019-1_armhf.deb ...
Unpacking libtinfo5:armhf (6.1+20191019-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../02-bsdmainutils_11.1.2_armhf.deb ...
Unpacking bsdmainutils (11.1.2) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../03-libuchardet0_0.0.6-3_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.6-3) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../04-groff-base_1.22.4-3_armhf.deb ...
Unpacking groff-base (1.22.4-3) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../05-libpipeline1_1.5.1-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.1-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../06-man-db_2.9.0-1_armhf.deb ...
Unpacking man-db (2.9.0-1) ...
Selecting previously unselected package libpython2.7-minimal:armhf.
Preparing to unpack .../07-libpython2.7-minimal_2.7.17-1_armhf.deb ...
Unpacking libpython2.7-minimal:armhf (2.7.17-1) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../08-python2.7-minimal_2.7.17-1_armhf.deb ...
Unpacking python2.7-minimal (2.7.17-1) ...
Selecting previously unselected package python2-minimal.
Preparing to unpack .../09-python2-minimal_2.7.17-2_armhf.deb ...
Unpacking python2-minimal (2.7.17-2) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../10-python-minimal_2.7.17-2_armhf.deb ...
Unpacking python-minimal (2.7.17-2) ...
Selecting previously unselected package libssl1.1:armhf.
Preparing to unpack .../11-libssl1.1_1.1.1d-2_armhf.deb ...
Unpacking libssl1.1:armhf (1.1.1d-2) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../12-mime-support_3.64_all.deb ...
Unpacking mime-support (3.64) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../13-libexpat1_2.2.9-1_armhf.deb ...
Unpacking libexpat1:armhf (2.2.9-1) ...
Selecting previously unselected package libpython2.7-stdlib:armhf.
Preparing to unpack .../14-libpython2.7-stdlib_2.7.17-1_armhf.deb ...
Unpacking libpython2.7-stdlib:armhf (2.7.17-1) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../15-python2.7_2.7.17-1_armhf.deb ...
Unpacking python2.7 (2.7.17-1) ...
Selecting previously unselected package libpython2-stdlib:armhf.
Preparing to unpack .../16-libpython2-stdlib_2.7.17-2_armhf.deb ...
Unpacking libpython2-stdlib:armhf (2.7.17-2) ...
Selecting previously unselected package libpython-stdlib:armhf.
Preparing to unpack .../17-libpython-stdlib_2.7.17-2_armhf.deb ...
Unpacking libpython-stdlib:armhf (2.7.17-2) ...
Setting up libpython2.7-minimal:armhf (2.7.17-1) ...
Setting up python2.7-minimal (2.7.17-1) ...
Setting up python2-minimal (2.7.17-2) ...
Selecting previously unselected package python2.
(Reading database ... 14467 files and directories currently installed.)
Preparing to unpack .../python2_2.7.17-2_armhf.deb ...
Unpacking python2 (2.7.17-2) ...
Setting up python-minimal (2.7.17-2) ...
Selecting previously unselected package python.
(Reading database ... 14500 files and directories currently installed.)
Preparing to unpack .../python_2.7.17-2_armhf.deb ...
Unpacking python (2.7.17-2) ...
Selecting previously unselected package libpython3.7-minimal:armhf.
Preparing to unpack .../libpython3.7-minimal_3.7.5-2_armhf.deb ...
Unpacking libpython3.7-minimal:armhf (3.7.5-2) ...
Selecting previously unselected package python3.7-minimal.
Preparing to unpack .../python3.7-minimal_3.7.5-2_armhf.deb ...
Unpacking python3.7-minimal (3.7.5-2) ...
Setting up libssl1.1:armhf (1.1.1d-2) ...
Setting up libpython3.7-minimal:armhf (3.7.5-2) ...
Setting up libexpat1:armhf (2.2.9-1) ...
Setting up python3.7-minimal (3.7.5-2) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 14754 files and directories currently installed.)
Preparing to unpack .../python3-minimal_3.7.5-1_armhf.deb ...
Unpacking python3-minimal (3.7.5-1) ...
Selecting previously unselected package libmpdec2:armhf.
Preparing to unpack .../libmpdec2_2.4.2-2_armhf.deb ...
Unpacking libmpdec2:armhf (2.4.2-2) ...
Selecting previously unselected package libpython3.7-stdlib:armhf.
Preparing to unpack .../libpython3.7-stdlib_3.7.5-2_armhf.deb ...
Unpacking libpython3.7-stdlib:armhf (3.7.5-2) ...
Selecting previously unselected package python3.7.
Preparing to unpack .../python3.7_3.7.5-2_armhf.deb ...
Unpacking python3.7 (3.7.5-2) ...
Selecting previously unselected package libpython3-stdlib:armhf.
Preparing to unpack .../libpython3-stdlib_3.7.5-1_armhf.deb ...
Unpacking libpython3-stdlib:armhf (3.7.5-1) ...
Setting up python3-minimal (3.7.5-1) ...
Selecting previously unselected package python3.
(Reading database ... 15167 files and directories currently installed.)
Preparing to unpack .../000-python3_3.7.5-1_armhf.deb ...
Unpacking python3 (3.7.5-1) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../001-sensible-utils_0.0.12+nmu1_all.deb ...
Unpacking sensible-utils (0.0.12+nmu1) ...
Selecting previously unselected package ucf.
Preparing to unpack .../002-ucf_3.0038+nmu1_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0038+nmu1) ...
Selecting previously unselected package tex-common.
Preparing to unpack .../003-tex-common_6.13_all.deb ...
Unpacking tex-common (6.13) ...
Selecting previously unselected package uuid-runtime.
Preparing to unpack .../004-uuid-runtime_2.34-0.1_armhf.deb ...
Unpacking uuid-runtime (2.34-0.1) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../005-libmagic-mgc_1%3a5.37-6_armhf.deb ...
Unpacking libmagic-mgc (1:5.37-6) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../006-libmagic1_1%3a5.37-6_armhf.deb ...
Unpacking libmagic1:armhf (1:5.37-6) ...
Selecting previously unselected package file.
Preparing to unpack .../007-file_1%3a5.37-6_armhf.deb ...
Unpacking file (1:5.37-6) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../008-gettext-base_0.19.8.1-10_armhf.deb ...
Unpacking gettext-base (0.19.8.1-10) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../009-libsigsegv2_2.12-2_armhf.deb ...
Unpacking libsigsegv2:armhf (2.12-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../010-m4_1.4.18-4_armhf.deb ...
Unpacking m4 (1.4.18-4) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../011-autoconf_2.69-11_all.deb ...
Unpacking autoconf (2.69-11) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../012-autotools-dev_20180224.1_all.deb ...
Unpacking autotools-dev (20180224.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../013-automake_1%3a1.16.1-4_all.deb ...
Unpacking automake (1:1.16.1-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../014-autopoint_0.19.8.1-10_all.deb ...
Unpacking autopoint (0.19.8.1-10) ...
Selecting previously unselected package libtool.
Preparing to unpack .../015-libtool_2.4.6-11_all.deb ...
Unpacking libtool (2.4.6-11) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../016-dh-autoreconf_19_all.deb ...
Unpacking dh-autoreconf (19) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../017-libdebhelper-perl_12.7.1_all.deb ...
Unpacking libdebhelper-perl (12.7.1) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../018-libarchive-zip-perl_1.67-1_all.deb ...
Unpacking libarchive-zip-perl (1.67-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../019-libsub-override-perl_0.09-2_all.deb ...
Unpacking libsub-override-perl (0.09-2) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../020-libfile-stripnondeterminism-perl_1.6.3-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.6.3-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../021-dh-strip-nondeterminism_1.6.3-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.6.3-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../022-libelf1_0.176-1.1_armhf.deb ...
Unpacking libelf1:armhf (0.176-1.1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../023-dwz_0.13-5_armhf.deb ...
Unpacking dwz (0.13-5) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../024-libglib2.0-0_2.62.3-2_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.62.3-2) ...
Selecting previously unselected package libicu63:armhf.
Preparing to unpack .../025-libicu63_63.2-2_armhf.deb ...
Unpacking libicu63:armhf (63.2-2) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../026-libxml2_2.9.4+dfsg1-8_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-8) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../027-libcroco3_0.6.13-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.13-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../028-gettext_0.19.8.1-10_armhf.deb ...
Unpacking gettext (0.19.8.1-10) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../029-intltool-debian_0.35.0+20060710.5_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.5) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../030-po-debconf_1.0.21_all.deb ...
Unpacking po-debconf (1.0.21) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../031-debhelper_12.7.1_all.deb ...
Unpacking debhelper (12.7.1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../032-dh-ocaml_1.1.0_all.deb ...
Unpacking dh-ocaml (1.1.0) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../033-fonts-dejavu-core_2.37-1_all.deb ...
Unpacking fonts-dejavu-core (2.37-1) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../034-fontconfig-config_2.13.1-2_all.deb ...
Unpacking fontconfig-config (2.13.1-2) ...
Selecting previously unselected package fonts-gfs-baskerville.
Preparing to unpack .../035-fonts-gfs-baskerville_1.1-5_all.deb ...
Unpacking fonts-gfs-baskerville (1.1-5) ...
Selecting previously unselected package fonts-gfs-porson.
Preparing to unpack .../036-fonts-gfs-porson_1.1-6_all.deb ...
Unpacking fonts-gfs-porson (1.1-6) ...
Selecting previously unselected package fonts-lmodern.
Preparing to unpack .../037-fonts-lmodern_2.004.5-6_all.deb ...
Unpacking fonts-lmodern (2.004.5-6) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../038-ocaml-base-nox_4.08.1-5+rpi1_armhf.deb ...
Unpacking ocaml-base-nox (4.08.1-5+rpi1) ...
Selecting previously unselected package libeasy-format-ocaml.
Preparing to unpack .../039-libeasy-format-ocaml_1.2.0-1+b2_armhf.deb ...
Unpacking libeasy-format-ocaml (1.2.0-1+b2) ...
Selecting previously unselected package libbiniou-ocaml.
Preparing to unpack .../040-libbiniou-ocaml_1.2.0-1+b1_armhf.deb ...
Unpacking libbiniou-ocaml (1.2.0-1+b1) ...
Selecting previously unselected package libyojson-ocaml.
Preparing to unpack .../041-libyojson-ocaml_1.7.0-1+b1_armhf.deb ...
Unpacking libyojson-ocaml (1.7.0-1+b1) ...
Selecting previously unselected package libatdgen-ocaml.
Preparing to unpack .../042-libatdgen-ocaml_2.0.0-3+b2_armhf.deb ...
Unpacking libatdgen-ocaml (2.0.0-3+b2) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../043-libncurses6_6.1+20191019-1_armhf.deb ...
Unpacking libncurses6:armhf (6.1+20191019-1) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../044-libncurses-dev_6.1+20191019-1_armhf.deb ...
Unpacking libncurses-dev:armhf (6.1+20191019-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../045-libncurses5-dev_6.1+20191019-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.1+20191019-1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../046-ocaml-compiler-libs_4.08.1-5+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.08.1-5+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../047-ocaml-interp_4.08.1-5+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.08.1-5+rpi1) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../048-ocaml-nox_4.08.1-5+rpi1_armhf.deb ...
Unpacking ocaml-nox (4.08.1-5+rpi1) ...
Selecting previously unselected package libeasy-format-ocaml-dev.
Preparing to unpack .../049-libeasy-format-ocaml-dev_1.2.0-1+b2_armhf.deb ...
Unpacking libeasy-format-ocaml-dev (1.2.0-1+b2) ...
Selecting previously unselected package libbiniou-ocaml-dev.
Preparing to unpack .../050-libbiniou-ocaml-dev_1.2.0-1+b1_armhf.deb ...
Unpacking libbiniou-ocaml-dev (1.2.0-1+b1) ...
Selecting previously unselected package libyojson-ocaml-dev.
Preparing to unpack .../051-libyojson-ocaml-dev_1.7.0-1+b1_armhf.deb ...
Unpacking libyojson-ocaml-dev (1.7.0-1+b1) ...
Selecting previously unselected package libatdgen-ocaml-dev.
Preparing to unpack .../052-libatdgen-ocaml-dev_2.0.0-3+b2_armhf.deb ...
Unpacking libatdgen-ocaml-dev (2.0.0-3+b2) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../053-libpng16-16_1.6.37-1_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.37-1) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../054-libfreetype6_2.10.1-2_armhf.deb ...
Unpacking libfreetype6:armhf (2.10.1-2) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../055-libfontconfig1_2.13.1-2_armhf.deb ...
Unpacking libfontconfig1:armhf (2.13.1-2) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../056-libpixman-1-0_0.36.0-1_armhf.deb ...
Unpacking libpixman-1-0:armhf (0.36.0-1) ...
Selecting previously unselected package libxau6:armhf.
Preparing to unpack .../057-libxau6_1%3a1.0.8-1+b2_armhf.deb ...
Unpacking libxau6:armhf (1:1.0.8-1+b2) ...
Selecting previously unselected package libxdmcp6:armhf.
Preparing to unpack .../058-libxdmcp6_1%3a1.1.2-3_armhf.deb ...
Unpacking libxdmcp6:armhf (1:1.1.2-3) ...
Selecting previously unselected package libxcb1:armhf.
Preparing to unpack .../059-libxcb1_1.13.1-2_armhf.deb ...
Unpacking libxcb1:armhf (1.13.1-2) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../060-libx11-data_2%3a1.6.8-1_all.deb ...
Unpacking libx11-data (2:1.6.8-1) ...
Selecting previously unselected package libx11-6:armhf.
Preparing to unpack .../061-libx11-6_2%3a1.6.8-1_armhf.deb ...
Unpacking libx11-6:armhf (2:1.6.8-1) ...
Selecting previously unselected package libxcb-render0:armhf.
Preparing to unpack .../062-libxcb-render0_1.13.1-2_armhf.deb ...
Unpacking libxcb-render0:armhf (1.13.1-2) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../063-libxcb-shm0_1.13.1-2_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.13.1-2) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../064-libxext6_2%3a1.3.3-1+b2_armhf.deb ...
Unpacking libxext6:armhf (2:1.3.3-1+b2) ...
Selecting previously unselected package libxrender1:armhf.
Preparing to unpack .../065-libxrender1_1%3a0.9.10-1_armhf.deb ...
Unpacking libxrender1:armhf (1:0.9.10-1) ...
Selecting previously unselected package libcairo2:armhf.
Preparing to unpack .../066-libcairo2_1.16.0-4_armhf.deb ...
Unpacking libcairo2:armhf (1.16.0-4) ...
Selecting previously unselected package libcalendar-ocaml.
Preparing to unpack .../067-libcalendar-ocaml_2.04-3+b1_armhf.deb ...
Unpacking libcalendar-ocaml (2.04-3+b1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../068-libfindlib-ocaml_1.8.1-1+b1_armhf.deb ...
Unpacking libfindlib-ocaml (1.8.1-1+b1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../069-ocaml-findlib_1.8.1-1+b1_armhf.deb ...
Unpacking ocaml-findlib (1.8.1-1+b1) ...
Selecting previously unselected package libcalendar-ocaml-dev.
Preparing to unpack .../070-libcalendar-ocaml-dev_2.04-3+b1_armhf.deb ...
Unpacking libcalendar-ocaml-dev (2.04-3+b1) ...
Selecting previously unselected package libcmdliner-ocaml-dev.
Preparing to unpack .../071-libcmdliner-ocaml-dev_1.0.4-1+b1_armhf.deb ...
Unpacking libcmdliner-ocaml-dev (1.0.4-1+b1) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../072-libzarith-ocaml_1.8-1+b1_armhf.deb ...
Unpacking libzarith-ocaml (1.8-1+b1) ...
Selecting previously unselected package libcryptokit-ocaml.
Preparing to unpack .../073-libcryptokit-ocaml_1.13-2+b2_armhf.deb ...
Unpacking libcryptokit-ocaml (1.13-2+b2) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../074-zlib1g-dev_1%3a1.2.11.dfsg-1_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.11.dfsg-1) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../075-libgmpxx4ldbl_2%3a6.1.2+dfsg-4_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.1.2+dfsg-4) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../076-libgmp-dev_2%3a6.1.2+dfsg-4_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.1.2+dfsg-4) ...
Selecting previously unselected package libgmp3-dev:armhf.
Preparing to unpack .../077-libgmp3-dev_2%3a6.1.2+dfsg-4_armhf.deb ...
Unpacking libgmp3-dev:armhf (2:6.1.2+dfsg-4) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../078-libzarith-ocaml-dev_1.8-1+b1_armhf.deb ...
Unpacking libzarith-ocaml-dev (1.8-1+b1) ...
Selecting previously unselected package libcryptokit-ocaml-dev.
Preparing to unpack .../079-libcryptokit-ocaml-dev_1.13-2+b2_armhf.deb ...
Unpacking libcryptokit-ocaml-dev (1.13-2+b2) ...
Selecting previously unselected package libfontenc1:armhf.
Preparing to unpack .../080-libfontenc1_1%3a1.1.3-1_armhf.deb ...
Unpacking libfontenc1:armhf (1:1.1.3-1) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../081-libgraphite2-3_1.3.13-11_armhf.deb ...
Unpacking libgraphite2-3:armhf (1.3.13-11) ...
Selecting previously unselected package libharfbuzz0b:armhf.
Preparing to unpack .../082-libharfbuzz0b_2.6.4-1+rpi1_armhf.deb ...
Unpacking libharfbuzz0b:armhf (2.6.4-1+rpi1) ...
Selecting previously unselected package libharfbuzz-icu0:armhf.
Preparing to unpack .../083-libharfbuzz-icu0_2.6.4-1+rpi1_armhf.deb ...
Unpacking libharfbuzz-icu0:armhf (2.6.4-1+rpi1) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../084-x11-common_1%3a7.7+20_all.deb ...
Unpacking x11-common (1:7.7+20) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../085-libice6_2%3a1.0.9-2_armhf.deb ...
Unpacking libice6:armhf (2:1.0.9-2) ...
Selecting previously unselected package libkpathsea6:armhf.
Preparing to unpack .../086-libkpathsea6_2019.20190605.51237-3_armhf.deb ...
Unpacking libkpathsea6:armhf (2019.20190605.51237-3) ...
Selecting previously unselected package libpaper1:armhf.
Preparing to unpack .../087-libpaper1_1.1.28_armhf.deb ...
Unpacking libpaper1:armhf (1.1.28) ...
Selecting previously unselected package libpaper-utils.
Preparing to unpack .../088-libpaper-utils_1.1.28_armhf.deb ...
Unpacking libpaper-utils (1.1.28) ...
Selecting previously unselected package libptexenc1:armhf.
Preparing to unpack .../089-libptexenc1_2019.20190605.51237-3_armhf.deb ...
Unpacking libptexenc1:armhf (2019.20190605.51237-3) ...
Selecting previously unselected package libsm6:armhf.
Preparing to unpack .../090-libsm6_2%3a1.2.3-1_armhf.deb ...
Unpacking libsm6:armhf (2:1.2.3-1) ...
Selecting previously unselected package libsynctex2:armhf.
Preparing to unpack .../091-libsynctex2_2019.20190605.51237-3_armhf.deb ...
Unpacking libsynctex2:armhf (2019.20190605.51237-3) ...
Selecting previously unselected package libteckit0:armhf.
Preparing to unpack .../092-libteckit0_2.5.8+ds2-5_armhf.deb ...
Unpacking libteckit0:armhf (2.5.8+ds2-5) ...
Selecting previously unselected package libtexlua53:armhf.
Preparing to unpack .../093-libtexlua53_2019.20190605.51237-3_armhf.deb ...
Unpacking libtexlua53:armhf (2019.20190605.51237-3) ...
Selecting previously unselected package libtexluajit2:armhf.
Preparing to unpack .../094-libtexluajit2_2019.20190605.51237-3_armhf.deb ...
Unpacking libtexluajit2:armhf (2019.20190605.51237-3) ...
Selecting previously unselected package libuuidm-ocaml-dev.
Preparing to unpack .../095-libuuidm-ocaml-dev_0.9.6-1+b1_armhf.deb ...
Unpacking libuuidm-ocaml-dev (0.9.6-1+b1) ...
Selecting previously unselected package libxt6:armhf.
Preparing to unpack .../096-libxt6_1%3a1.1.5-1+b3_armhf.deb ...
Unpacking libxt6:armhf (1:1.1.5-1+b3) ...
Selecting previously unselected package libxmu6:armhf.
Preparing to unpack .../097-libxmu6_2%3a1.1.2-2+b3_armhf.deb ...
Unpacking libxmu6:armhf (2:1.1.2-2+b3) ...
Selecting previously unselected package libxpm4:armhf.
Preparing to unpack .../098-libxpm4_1%3a3.5.12-1_armhf.deb ...
Unpacking libxpm4:armhf (1:3.5.12-1) ...
Selecting previously unselected package libxaw7:armhf.
Preparing to unpack .../099-libxaw7_2%3a1.0.13-1+b2_armhf.deb ...
Unpacking libxaw7:armhf (2:1.0.13-1+b2) ...
Selecting previously unselected package libxi6:armhf.
Preparing to unpack .../100-libxi6_2%3a1.7.9-1_armhf.deb ...
Unpacking libxi6:armhf (2:1.7.9-1) ...
Selecting previously unselected package libzzip-0-13:armhf.
Preparing to unpack .../101-libzzip-0-13_0.13.62-3.2_armhf.deb ...
Unpacking libzzip-0-13:armhf (0.13.62-3.2) ...
Selecting previously unselected package xfonts-encodings.
Preparing to unpack .../102-xfonts-encodings_1%3a1.0.4-2_all.deb ...
Unpacking xfonts-encodings (1:1.0.4-2) ...
Selecting previously unselected package xfonts-utils.
Preparing to unpack .../103-xfonts-utils_1%3a7.7+6_armhf.deb ...
Unpacking xfonts-utils (1:7.7+6) ...
Selecting previously unselected package lmodern.
Preparing to unpack .../104-lmodern_2.004.5-6_all.deb ...
Unpacking lmodern (2.004.5-6) ...
Selecting previously unselected package markdown.
Preparing to unpack .../105-markdown_1.0.1-10_all.deb ...
Unpacking markdown (1.0.1-10) ...
Selecting previously unselected package ocamlbuild.
Preparing to unpack .../106-ocamlbuild_0.14.0-1+b1_armhf.deb ...
Unpacking ocamlbuild (0.14.0-1+b1) ...
Selecting previously unselected package preview-latex-style.
Preparing to unpack .../107-preview-latex-style_11.91-2_all.deb ...
Unpacking preview-latex-style (11.91-2) ...
Selecting previously unselected package t1utils.
Preparing to unpack .../108-t1utils_1.41-3_armhf.deb ...
Unpacking t1utils (1.41-3) ...
Selecting previously unselected package texlive-binaries.
Preparing to unpack .../109-texlive-binaries_2019.20190605.51237-3_armhf.deb ...
Unpacking texlive-binaries (2019.20190605.51237-3) ...
Selecting previously unselected package xdg-utils.
Preparing to unpack .../110-xdg-utils_1.1.3-1_all.deb ...
Unpacking xdg-utils (1.1.3-1) ...
Selecting previously unselected package texlive-base.
Preparing to unpack .../111-texlive-base_2019.20191208-4_all.deb ...
Unpacking texlive-base (2019.20191208-4) ...
Selecting previously unselected package texlive-fonts-extra.
Preparing to unpack .../112-texlive-fonts-extra_2019.20191208-1_all.deb ...
Unpacking texlive-fonts-extra (2019.20191208-1) ...
Selecting previously unselected package texlive-fonts-recommended.
Preparing to unpack .../113-texlive-fonts-recommended_2019.20191208-4_all.deb ...
Unpacking texlive-fonts-recommended (2019.20191208-4) ...
Selecting previously unselected package texlive-lang-greek.
Preparing to unpack .../114-texlive-lang-greek_2019.20191208-1_all.deb ...
Unpacking texlive-lang-greek (2019.20191208-1) ...
Selecting previously unselected package texlive-latex-base.
Preparing to unpack .../115-texlive-latex-base_2019.20191208-4_all.deb ...
Unpacking texlive-latex-base (2019.20191208-4) ...
Selecting previously unselected package texlive-latex-recommended.
Preparing to unpack .../116-texlive-latex-recommended_2019.20191208-4_all.deb ...
Unpacking texlive-latex-recommended (2019.20191208-4) ...
Selecting previously unselected package texlive-pictures.
Preparing to unpack .../117-texlive-pictures_2019.20191208-4_all.deb ...
Unpacking texlive-pictures (2019.20191208-4) ...
Selecting previously unselected package texlive-latex-extra.
Preparing to unpack .../118-texlive-latex-extra_2019.20191208-1_all.deb ...
Unpacking texlive-latex-extra (2019.20191208-1) ...
Selecting previously unselected package texlive-science.
Preparing to unpack .../119-texlive-science_2019.20191208-1_all.deb ...
Unpacking texlive-science (2019.20191208-1) ...
Selecting previously unselected package sbuild-build-depends-belenios-dummy.
Preparing to unpack .../120-sbuild-build-depends-belenios-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-belenios-dummy (0.invalid.0) ...
Setting up libpipeline1:armhf (1.5.1-2) ...
Setting up libgraphite2-3:armhf (1.3.13-11) ...
Setting up libpixman-1-0:armhf (0.36.0-1) ...
Setting up libxau6:armhf (1:1.0.8-1+b2) ...
Setting up mime-support (3.64) ...
Setting up fonts-gfs-porson (1.1-6) ...
Setting up libmagic-mgc (1:5.37-6) ...
Setting up libtexlua53:armhf (2019.20190605.51237-3) ...
Setting up libarchive-zip-perl (1.67-1) ...
Setting up libglib2.0-0:armhf (2.62.3-2) ...
No schema files found: doing nothing.
Setting up libtexluajit2:armhf (2019.20190605.51237-3) ...
Setting up libdebhelper-perl (12.7.1) ...
Setting up x11-common (1:7.7+20) ...
update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults
invoke-rc.d: could not determine current runlevel
invoke-rc.d: policy-rc.d denied execution of start.
Setting up dh-ocaml (1.1.0) ...
Setting up libmagic1:armhf (1:5.37-6) ...
Setting up gettext-base (0.19.8.1-10) ...
Setting up libzzip-0-13:armhf (0.13.62-3.2) ...
Setting up file (1:5.37-6) ...
Setting up libicu63:armhf (63.2-2) ...
Setting up libpython2.7-stdlib:armhf (2.7.17-1) ...
Setting up libfontenc1:armhf (1:1.1.3-1) ...
Setting up autotools-dev (20180224.1) ...
Setting up libgmpxx4ldbl:armhf (2:6.1.2+dfsg-4) ...
Setting up libx11-data (2:1.6.8-1) ...
Setting up libteckit0:armhf (2.5.8+ds2-5) ...
Setting up libncurses6:armhf (6.1+20191019-1) ...
Setting up libsigsegv2:armhf (2.12-2) ...
Setting up xfonts-encodings (1:1.0.4-2) ...
Setting up t1utils (1.41-3) ...
Setting up libpng16-16:armhf (1.6.37-1) ...
Setting up autopoint (0.19.8.1-10) ...
Setting up fonts-dejavu-core (2.37-1) ...
Setting up libkpathsea6:armhf (2019.20190605.51237-3) ...
Setting up zlib1g-dev:armhf (1:1.2.11.dfsg-1) ...
Setting up fonts-gfs-baskerville (1.1-5) ...
Setting up sensible-utils (0.0.12+nmu1) ...
Setting up uuid-runtime (2.34-0.1) ...
Adding group `uuidd' (GID 115) ...
Done.
Warning: The home dir /run/uuidd you specified can't be accessed: No such file or directory
Adding system user `uuidd' (UID 109) ...
Adding new user `uuidd' (UID 109) with group `uuidd' ...
Not creating home directory `/run/uuidd'.
invoke-rc.d: could not determine current runlevel
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libuchardet0:armhf (0.0.6-3) ...
Setting up fonts-lmodern (2.004.5-6) ...
Setting up libsub-override-perl (0.09-2) ...
Setting up ocaml-base-nox (4.08.1-5+rpi1) ...
Setting up libmpdec2:armhf (2.4.2-2) ...
Setting up libbsd0:armhf (0.10.0-1) ...
Setting up libtinfo5:armhf (6.1+20191019-1) ...
Setting up libelf1:armhf (0.176-1.1) ...
Setting up libxml2:armhf (2.9.4+dfsg1-8) ...
Setting up xdg-utils (1.1.3-1) ...
Setting up markdown (1.0.1-10) ...
Setting up libsynctex2:armhf (2019.20190605.51237-3) ...
Setting up libfile-stripnondeterminism-perl (1.6.3-1) ...
Setting up libeasy-format-ocaml (1.2.0-1+b2) ...
Setting up libice6:armhf (2:1.0.9-2) ...
Setting up libxdmcp6:armhf (1:1.1.2-3) ...
Setting up libpython3.7-stdlib:armhf (3.7.5-2) ...
Setting up libncurses-dev:armhf (6.1+20191019-1) ...
Setting up libxcb1:armhf (1.13.1-2) ...
Setting up libgmp-dev:armhf (2:6.1.2+dfsg-4) ...
Setting up python2.7 (2.7.17-1) ...
Setting up libtool (2.4.6-11) ...
Setting up libpython2-stdlib:armhf (2.7.17-2) ...
Setting up libxcb-render0:armhf (1.13.1-2) ...
Setting up libfindlib-ocaml (1.8.1-1+b1) ...
Setting up m4 (1.4.18-4) ...
Setting up libxcb-shm0:armhf (1.13.1-2) ...
Setting up ocamlbuild (0.14.0-1+b1) ...
Setting up libzarith-ocaml (1.8-1+b1) ...
Setting up libbiniou-ocaml (1.2.0-1+b1) ...
Setting up python2 (2.7.17-2) ...
Setting up libpython-stdlib:armhf (2.7.17-2) ...
Setting up libptexenc1:armhf (2019.20190605.51237-3) ...
Setting up libfreetype6:armhf (2.10.1-2) ...
Setting up bsdmainutils (11.1.2) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up ocaml-findlib (1.8.1-1+b1) ...
Setting up libcroco3:armhf (0.6.13-1) ...
Setting up ucf (3.0038+nmu1) ...
Setting up libcryptokit-ocaml (1.13-2+b2) ...
Setting up autoconf (2.69-11) ...
Setting up dh-strip-nondeterminism (1.6.3-1) ...
Setting up dwz (0.13-5) ...
Setting up libcalendar-ocaml (2.04-3+b1) ...
Setting up groff-base (1.22.4-3) ...
Setting up libgmp3-dev:armhf (2:6.1.2+dfsg-4) ...
Setting up libncurses5-dev:armhf (6.1+20191019-1) ...
Setting up libx11-6:armhf (2:1.6.8-1) ...
Setting up libharfbuzz0b:armhf (2.6.4-1+rpi1) ...
Setting up libsm6:armhf (2:1.2.3-1) ...
Setting up python (2.7.17-2) ...
Setting up libpython3-stdlib:armhf (3.7.5-1) ...
Setting up automake (1:1.16.1-4) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up libpaper1:armhf (1.1.28) ...
Creating config file /etc/papersize with new version
Setting up python3.7 (3.7.5-2) ...
Setting up gettext (0.19.8.1-10) ...
Setting up libharfbuzz-icu0:armhf (2.6.4-1+rpi1) ...
Setting up libxpm4:armhf (1:3.5.12-1) ...
Setting up libxrender1:armhf (1:0.9.10-1) ...
Setting up libyojson-ocaml (1.7.0-1+b1) ...
Setting up fontconfig-config (2.13.1-2) ...
Setting up libxext6:armhf (2:1.3.3-1+b2) ...
Setting up python3 (3.7.5-1) ...
Setting up libpaper-utils (1.1.28) ...
Setting up xfonts-utils (1:7.7+6) ...
Setting up man-db (2.9.0-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up tex-common (6.13) ...
update-language: texlive-base not installed and configured, doing nothing!
Setting up libxt6:armhf (1:1.1.5-1+b3) ...
Setting up libatdgen-ocaml (2.0.0-3+b2) ...
Setting up lmodern (2.004.5-6) ...
Setting up libfontconfig1:armhf (2.13.1-2) ...
Setting up libxmu6:armhf (2:1.1.2-2+b3) ...
Setting up libxi6:armhf (2:1.7.9-1) ...
Setting up po-debconf (1.0.21) ...
Setting up preview-latex-style (11.91-2) ...
Setting up libxaw7:armhf (2:1.0.13-1+b2) ...
Setting up libcairo2:armhf (1.16.0-4) ...
Setting up texlive-binaries (2019.20190605.51237-3) ...
update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode
update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode
Setting up texlive-base (2019.20191208-4) ...
tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps
tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg
tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper
tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/config/pdftexconfig.tex
Setting up texlive-lang-greek (2019.20191208-1) ...
Setting up texlive-latex-base (2019.20191208-4) ...
Setting up texlive-fonts-extra (2019.20191208-1) ...
Setting up texlive-latex-recommended (2019.20191208-4) ...
Setting up texlive-pictures (2019.20191208-4) ...
Setting up texlive-fonts-recommended (2019.20191208-4) ...
Setting up texlive-science (2019.20191208-1) ...
Setting up texlive-latex-extra (2019.20191208-1) ...
Setting up ocaml-compiler-libs (4.08.1-5+rpi1) ...
Setting up debhelper (12.7.1) ...
Setting up dh-autoreconf (19) ...
Setting up ocaml-interp (4.08.1-5+rpi1) ...
Setting up ocaml-nox (4.08.1-5+rpi1) ...
Setting up libzarith-ocaml-dev (1.8-1+b1) ...
Setting up libcryptokit-ocaml-dev (1.13-2+b2) ...
Setting up libcmdliner-ocaml-dev (1.0.4-1+b1) ...
Setting up libeasy-format-ocaml-dev (1.2.0-1+b2) ...
Setting up libuuidm-ocaml-dev (0.9.6-1+b1) ...
Setting up libcalendar-ocaml-dev (2.04-3+b1) ...
Setting up libbiniou-ocaml-dev (1.2.0-1+b1) ...
Setting up libyojson-ocaml-dev (1.7.0-1+b1) ...
Setting up libatdgen-ocaml-dev (2.0.0-3+b2) ...
Setting up sbuild-build-depends-belenios-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.29-3+rpi1) ...
Processing triggers for tex-common (6.13) ...
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Building format(s) --all.
This may take some time... done.
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.15.0-58-generic armhf (armv8l)
Toolchain package versions: binutils_2.33.1-5+rpi1 dpkg-dev_1.19.7 g++-9_9.2.1-19+rpi1+b1 gcc-9_9.2.1-19+rpi1+b1 libc6-dev_2.29-3+rpi1 libstdc++-9-dev_9.2.1-19+rpi1+b1 libstdc++6_9.2.1-19+rpi1+b1 linux-libc-dev_5.2.17-1+rpi1+b2
Package versions: adduser_3.118 apt_1.8.4 autoconf_2.69-11 automake_1:1.16.1-4 autopoint_0.19.8.1-10 autotools-dev_20180224.1 base-files_11+rpi1 base-passwd_3.5.46 bash_5.0-5 binutils_2.33.1-5+rpi1 binutils-arm-linux-gnueabihf_2.33.1-5+rpi1 binutils-common_2.33.1-5+rpi1 bsdmainutils_11.1.2 bsdutils_1:2.34-0.1 build-essential_12.8 bzip2_1.0.8-2 coreutils_8.30-3 cpp_4:9.2.1-3.1+rpi1 cpp-9_9.2.1-19+rpi1+b1 dash_0.5.10.2-6 debconf_1.5.73 debhelper_12.7.1 debianutils_4.9 dh-autoreconf_19 dh-ocaml_1.1.0 dh-strip-nondeterminism_1.6.3-1 diffutils_1:3.7-3 dirmngr_2.2.17-3+b1 dpkg_1.19.7 dpkg-dev_1.19.7 dwz_0.13-5 e2fsprogs_1.45.4-1 fakeroot_1.24-1 fdisk_2.34-0.1 file_1:5.37-6 findutils_4.7.0-1 fontconfig-config_2.13.1-2 fonts-dejavu-core_2.37-1 fonts-gfs-baskerville_1.1-5 fonts-gfs-porson_1.1-6 fonts-lmodern_2.004.5-6 g++_4:9.2.1-3.1+rpi1 g++-9_9.2.1-19+rpi1+b1 gcc_4:9.2.1-3.1+rpi1 gcc-9_9.2.1-19+rpi1+b1 gcc-9-base_9.2.1-19+rpi1+b1 gettext_0.19.8.1-10 gettext-base_0.19.8.1-10 gnupg_2.2.17-3 gnupg-l10n_2.2.17-3 gnupg-utils_2.2.17-3+b1 gpg_2.2.17-3+b1 gpg-agent_2.2.17-3+b1 gpg-wks-client_2.2.17-3+b1 gpg-wks-server_2.2.17-3+b1 gpgconf_2.2.17-3+b1 gpgsm_2.2.17-3+b1 gpgv_2.2.17-3+b1 grep_3.3-1 groff-base_1.22.4-3 gzip_1.9-3 hostname_3.23 init-system-helpers_1.57 intltool-debian_0.35.0+20060710.5 iputils-ping_3:20190709-2 libacl1_2.2.53-5 libapt-pkg5.0_1.8.4 libarchive-zip-perl_1.67-1 libasan5_9.2.1-19+rpi1+b1 libassuan0_2.5.3-7 libatdgen-ocaml_2.0.0-3+b2 libatdgen-ocaml-dev_2.0.0-3+b2 libatomic1_9.2.1-19+rpi1+b1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-2 libaudit1_1:2.8.5-2+b1 libbiniou-ocaml_1.2.0-1+b1 libbiniou-ocaml-dev_1.2.0-1+b1 libbinutils_2.33.1-5+rpi1 libblkid1_2.34-0.1 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-2 libc-bin_2.29-3+rpi1 libc-dev-bin_2.29-3+rpi1 libc6_2.29-3+rpi1 libc6-dev_2.29-3+rpi1 libcairo2_1.16.0-4 libcalendar-ocaml_2.04-3+b1 libcalendar-ocaml-dev_2.04-3+b1 libcap-ng0_0.7.9-2.1 libcap2_1:2.27-1 libcap2-bin_1:2.27-1 libcc1-0_9.2.1-19+rpi1+b1 libcmdliner-ocaml-dev_1.0.4-1+b1 libcom-err2_1.45.4-1 libcroco3_0.6.13-1 libcryptokit-ocaml_1.13-2+b2 libcryptokit-ocaml-dev_1.13-2+b2 libdb5.3_5.3.28+dfsg1-0.6 libdebconfclient0_0.250 libdebhelper-perl_12.7.1 libdpkg-perl_1.19.7 libeasy-format-ocaml_1.2.0-1+b2 libeasy-format-ocaml-dev_1.2.0-1+b2 libelf1_0.176-1.1 libexpat1_2.2.9-1 libext2fs2_1.45.4-1 libfakeroot_1.24-1 libfdisk1_2.34-0.1 libffi6_3.2.1-9 libfile-stripnondeterminism-perl_1.6.3-1 libfindlib-ocaml_1.8.1-1+b1 libfontconfig1_2.13.1-2 libfontenc1_1:1.1.3-1 libfreetype6_2.10.1-2 libgcc-9-dev_9.2.1-19+rpi1+b1 libgcc1_1:9.2.1-19+rpi1+b1 libgcrypt20_1.8.5-3 libgdbm-compat4_1.18.1-5 libgdbm6_1.18.1-5 libglib2.0-0_2.62.3-2 libgmp-dev_2:6.1.2+dfsg-4 libgmp10_2:6.1.2+dfsg-4 libgmp3-dev_2:6.1.2+dfsg-4 libgmpxx4ldbl_2:6.1.2+dfsg-4 libgnutls30_3.6.10-5 libgomp1_9.2.1-19+rpi1+b1 libgpg-error0_1.36-7 libgraphite2-3_1.3.13-11 libharfbuzz-icu0_2.6.4-1+rpi1 libharfbuzz0b_2.6.4-1+rpi1 libhogweed5_3.5.1+really3.5.1-2 libice6_2:1.0.9-2 libicu63_63.2-2 libidn2-0_2.2.0-2 libisl22_0.22-2 libkpathsea6_2019.20190605.51237-3 libksba8_1.3.5-2 libldap-2.4-2_2.4.48+dfsg-1+b2 libldap-common_2.4.48+dfsg-1 liblz4-1_1.9.2-2 liblzma5_5.2.4-1 libmagic-mgc_1:5.37-6 libmagic1_1:5.37-6 libmount1_2.34-0.1 libmpc3_1.1.0-1 libmpdec2_2.4.2-2 libmpfr6_4.0.2-1 libncurses-dev_6.1+20191019-1 libncurses5-dev_6.1+20191019-1 libncurses6_6.1+20191019-1 libncursesw6_6.1+20191019-1 libnettle7_3.5.1+really3.5.1-2 libnpth0_1.6-1 libp11-kit0_0.23.18.1-2 libpam-cap_1:2.27-1 libpam-modules_1.3.1-5 libpam-modules-bin_1.3.1-5 libpam-runtime_1.3.1-5 libpam0g_1.3.1-5 libpaper-utils_1.1.28 libpaper1_1.1.28 libpcre2-8-0_10.34-3 libpcre3_2:8.39-12 libperl5.30_5.30.0-9 libpipeline1_1.5.1-2 libpixman-1-0_0.36.0-1 libpng16-16_1.6.37-1 libptexenc1_2019.20190605.51237-3 libpython-stdlib_2.7.17-2 libpython2-stdlib_2.7.17-2 libpython2.7-minimal_2.7.17-1 libpython2.7-stdlib_2.7.17-1 libpython3-stdlib_3.7.5-1 libpython3.7-minimal_3.7.5-2 libpython3.7-stdlib_3.7.5-2 libreadline7_7.0-5 libreadline8_8.0-3 librust-bitflags-dev_1.2.1-1 librust-cloudabi+default-dev_0.0.3-1 librust-cloudabi-dev_0.0.3-1 librust-fuchsia-zircon-dev_0.3.3-2 librust-fuchsia-zircon-sys-dev_0.3.3-2 librust-libc-dev_0.2.62-1 librust-phf-codegen-dev_0.7.23-1 librust-phf-generator-dev_0.7.23-1 librust-phf-shared-dev_0.7.23-2+b1 librust-rand-0.5+alloc-dev_0.5.5-2+rpi1 librust-rand-0.5+std-dev_0.5.5-2+rpi1 librust-rand-0.5-dev_0.5.5-2+rpi1 librust-rand-core-0.2+alloc-dev_0.2.2-1 librust-rand-core-0.2+std-dev_0.2.2-1 librust-rand-core-0.2-dev_0.2.2-1 librust-rand-core-dev_0.3.0-1 librust-siphasher-dev_0.2.3-1 librust-winapi-dev_0.3.6-1 librust-winapi-i686-pc-windows-gnu-dev_0.4.0-1 librust-winapi-x86-64-pc-windows-gnu-dev_0.4.0-1 libsasl2-2_2.1.27+dfsg-1+b1 libsasl2-modules-db_2.1.27+dfsg-1+b1 libseccomp2_2.4.2-2+rpi1 libselinux1_2.9-3 libsemanage-common_2.9-3 libsemanage1_2.9-3 libsepol1_2.9-2 libsigsegv2_2.12-2 libsm6_2:1.2.3-1 libsmartcols1_2.34-0.1 libsqlite3-0_3.30.1-1 libss2_1.45.4-1 libssl1.1_1.1.1d-2 libstdc++-9-dev_9.2.1-19+rpi1+b1 libstdc++6_9.2.1-19+rpi1+b1 libsub-override-perl_0.09-2 libsynctex2_2019.20190605.51237-3 libsystemd0_243-8+rpi1 libtasn1-6_4.14-3 libteckit0_2.5.8+ds2-5 libtexlua53_2019.20190605.51237-3 libtexluajit2_2019.20190605.51237-3 libtinfo5_6.1+20191019-1 libtinfo6_6.1+20191019-1 libtool_2.4.6-11 libubsan1_9.2.1-19+rpi1+b1 libuchardet0_0.0.6-3 libudev1_243-8+rpi1 libunistring2_0.9.10-2 libuuid1_2.34-0.1 libuuidm-ocaml-dev_0.9.6-1+b1 libx11-6_2:1.6.8-1 libx11-data_2:1.6.8-1 libxau6_1:1.0.8-1+b2 libxaw7_2:1.0.13-1+b2 libxcb-render0_1.13.1-2 libxcb-shm0_1.13.1-2 libxcb1_1.13.1-2 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.3-1+b2 libxi6_2:1.7.9-1 libxml2_2.9.4+dfsg1-8 libxmu6_2:1.1.2-2+b3 libxpm4_1:3.5.12-1 libxrender1_1:0.9.10-1 libxt6_1:1.1.5-1+b3 libyojson-ocaml_1.7.0-1+b1 libyojson-ocaml-dev_1.7.0-1+b1 libzarith-ocaml_1.8-1+b1 libzarith-ocaml-dev_1.8-1+b1 libzstd1_1.4.4+dfsg-1+rpi1 libzzip-0-13_0.13.62-3.2 linux-libc-dev_5.2.17-1+rpi1+b2 lmodern_2.004.5-6 login_1:4.7-2 logsave_1.45.4-1 lsb-base_11.1.0+rpi1 m4_1.4.18-4 make_4.2.1-1.2 man-db_2.9.0-1 markdown_1.0.1-10 mawk_1.3.3-17 mime-support_3.64 mount_2.34-0.1 ncurses-base_6.1+20191019-1 ncurses-bin_6.1+20191019-1 netbase_5.7 ocaml-base-nox_4.08.1-5+rpi1 ocaml-compiler-libs_4.08.1-5+rpi1 ocaml-findlib_1.8.1-1+b1 ocaml-interp_4.08.1-5+rpi1 ocaml-nox_4.08.1-5+rpi1 ocamlbuild_0.14.0-1+b1 passwd_1:4.7-2 patch_2.7.6-6 perl_5.30.0-9 perl-base_5.30.0-9 perl-modules-5.30_5.30.0-9 pinentry-curses_1.1.0-3 po-debconf_1.0.21 preview-latex-style_11.91-2 python_2.7.17-2 python-minimal_2.7.17-2 python2_2.7.17-2 python2-minimal_2.7.17-2 python2.7_2.7.17-1 python2.7-minimal_2.7.17-1 python3_3.7.5-1 python3-minimal_3.7.5-1 python3.7_3.7.5-2 python3.7-minimal_3.7.5-2 raspbian-archive-keyring_20120528.2 readline-common_8.0-3 sbuild-build-depends-belenios-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 sysvinit-utils_2.96-1 t1utils_1.41-3 tar_1.30+dfsg-6 tex-common_6.13 texlive-base_2019.20191208-4 texlive-binaries_2019.20190605.51237-3 texlive-fonts-extra_2019.20191208-1 texlive-fonts-recommended_2019.20191208-4 texlive-lang-greek_2019.20191208-1 texlive-latex-base_2019.20191208-4 texlive-latex-extra_2019.20191208-1 texlive-latex-recommended_2019.20191208-4 texlive-pictures_2019.20191208-4 texlive-science_2019.20191208-1 tzdata_2019c-3 ucf_3.0038+nmu1 util-linux_2.34-0.1 uuid-runtime_2.34-0.1 x11-common_1:7.7+20 xdg-utils_1.1.3-1 xfonts-encodings_1:1.0.4-2 xfonts-utils_1:7.7+6 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-1 zlib1g-dev_1:1.2.11.dfsg-1
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error
gpgv: Signature made Tue Dec 10 12:38:39 2019 UTC
gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./belenios_1.10+dfsg-1.dsc
dpkg-source: info: extracting belenios in /<<BUILDDIR>>/belenios-1.10+dfsg
dpkg-source: info: unpacking belenios_1.10+dfsg.orig.tar.xz
dpkg-source: info: unpacking belenios_1.10+dfsg-1.debian.tar.xz
Check disk space
----------------
Sufficient free space for build
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=bullseye-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bullseye-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=112
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bullseye-staging-armhf-sbuild-c40fd525-487d-4732-b277-dd88b20e9936
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package belenios
dpkg-buildpackage: info: source version 1.10+dfsg-1
dpkg-buildpackage: info: source distribution unstable
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
fakeroot debian/rules clean
dh clean --with ocaml
dh_auto_clean
make -j4 clean
make[1]: Entering directory '/<<BUILDDIR>>/belenios-1.10+dfsg'
ocamlbuild -clean
rm -rf _build
rm -f *~
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-1.10+dfsg'
dh_ocamlclean
dh_clean
debian/rules build-arch
dh build-arch --with ocaml
dh_update_autotools_config -a
dh_autoreconf -a
dh_ocamlinit -a
dh_auto_configure -a
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<BUILDDIR>>/belenios-1.10+dfsg'
/usr/bin/make minimal
make[2]: Entering directory '/<<BUILDDIR>>/belenios-1.10+dfsg'
rm -f _build/BUILD
ocamlbuild minimal.otarget
/usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
ocamlfind ocamldep -package zarith -package cryptokit -package cmdliner -package uuidm -package atdgen -package yojson -modules src/tool/tool_cmdline.ml > src/tool/tool_cmdline.ml.depends
ocamlfind ocamldep -package zarith -package cryptokit -package cmdliner -package uuidm -package atdgen -package yojson -modules src/tool/tool_cmdline.mli > src/tool/tool_cmdline.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package zarith -package cryptokit -package cmdliner -package uuidm -package atdgen -package yojson -I src/lib -I src/tool -o src/tool/tool_cmdline.cmi src/tool/tool_cmdline.mli
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/belenios_version.mli > src/lib/belenios_version.mli.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/common.ml > src/lib/common.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/common.mli > src/lib/common.mli.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/platform.mli > src/lib/platform.mli.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/signatures_core.mli > src/lib/signatures_core.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -opaque -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/platform.cmi src/lib/platform.mli
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/signatures_core.cmi src/lib/signatures_core.mli
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/common.cmi src/lib/common.mli
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/group.ml > src/lib/group.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/group.mli > src/lib/group.mli.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/signatures.mli > src/lib/signatures.mli.depends
cd src/lib && atdgen -t serializable.atd
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/serializable_t.mli > src/lib/serializable_t.mli.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question.mli > src/lib/question.mli.depends
cd src/lib && atdgen -t question_h.atd
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question_h_t.mli > src/lib/question_h_t.mli.depends
cd src/lib && atdgen -t serializable_core.atd
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/serializable_core_t.mli > src/lib/serializable_core_t.mli.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/serializable_builtin_t.mli > src/lib/serializable_builtin_t.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_builtin_t.cmi src/lib/serializable_builtin_t.mli
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_core_t.cmi src/lib/serializable_core_t.mli
cd src/lib && atdgen -t question_nh.atd
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question_nh_t.mli > src/lib/question_nh_t.mli.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question_sigs.mli > src/lib/question_sigs.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question_h_t.cmi src/lib/question_h_t.mli
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question_nh_t.cmi src/lib/question_nh_t.mli
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question_sigs.cmi src/lib/question_sigs.mli
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question.cmi src/lib/question.mli
+ ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question.cmi src/lib/question.mli
File "src/lib/question.mli", line 37, characters 27-43:
37 | and type answer := Yojson.Safe.json
^^^^^^^^^^^^^^^^
Alert deprecated: Yojson.Safe.json
json types are being renamed and will be removed in the next Yojson major version. Use type t instead
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_t.cmi src/lib/serializable_t.mli
+ ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_t.cmi src/lib/serializable_t.mli
File "src/lib/serializable_t.mli", line 127, characters 12-28:
127 | type json = Yojson.Safe.json
^^^^^^^^^^^^^^^^
Alert deprecated: Yojson.Safe.json
json types are being renamed and will be removed in the next Yojson major version. Use type t instead
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/signatures.cmi src/lib/signatures.mli
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/group.cmi src/lib/group.mli
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/group_field.ml > src/lib/group_field.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/group_field.mli > src/lib/group_field.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/group_field.cmi src/lib/group_field.mli
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/common.cmx src/lib/common.ml
cd src/lib && atdgen -j -j-std serializable.atd
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/serializable_j.ml > src/lib/serializable_j.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/serializable_j.mli > src/lib/serializable_j.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_j.cmi src/lib/serializable_j.mli
+ ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_j.cmi src/lib/serializable_j.mli
File "src/lib/serializable_j.mli", line 117, characters 12-28:
117 | type json = Yojson.Safe.json
^^^^^^^^^^^^^^^^
Alert deprecated: Yojson.Safe.json
json types are being renamed and will be removed in the next Yojson major version. Use type t instead
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question.ml > src/lib/question.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question_h.ml > src/lib/question_h.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question_h.mli > src/lib/question_h.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question_h.cmi src/lib/question_h.mli
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question_h_t.ml > src/lib/question_h_t.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/serializable_core_t.ml > src/lib/serializable_core_t.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/serializable_builtin_t.ml > src/lib/serializable_builtin_t.ml.depends
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_builtin_t.cmx src/lib/serializable_builtin_t.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_core_t.cmx src/lib/serializable_core_t.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question_h_t.cmx src/lib/question_h_t.ml
cd src/lib && atdgen -j -j-std question_h.atd
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question_h_j.ml > src/lib/question_h_j.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question_h_j.mli > src/lib/question_h_j.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question_h_j.cmi src/lib/question_h_j.mli
cd src/lib && atdgen -j -j-std serializable_core.atd
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/serializable_core_j.ml > src/lib/serializable_core_j.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/serializable_core_j.mli > src/lib/serializable_core_j.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_core_j.cmi src/lib/serializable_core_j.mli
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/serializable_builtin_j.ml > src/lib/serializable_builtin_j.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/serializable_builtin_j.mli > src/lib/serializable_builtin_j.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_builtin_j.cmi src/lib/serializable_builtin_j.mli
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_builtin_j.cmx src/lib/serializable_builtin_j.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_core_j.cmx src/lib/serializable_core_j.ml
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question_nh.ml > src/lib/question_nh.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question_nh.mli > src/lib/question_nh.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question_nh.cmi src/lib/question_nh.mli
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question_nh_t.ml > src/lib/question_nh_t.ml.depends
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question_nh_t.cmx src/lib/question_nh_t.ml
cd src/lib && atdgen -j -j-std question_nh.atd
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question_nh_j.ml > src/lib/question_nh_j.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/question_nh_j.mli > src/lib/question_nh_j.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question_nh_j.cmi src/lib/question_nh_j.mli
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question_h.cmx src/lib/question_h.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question_h_j.cmx src/lib/question_h_j.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question_nh.cmx src/lib/question_nh.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question_nh_j.cmx src/lib/question_nh_j.ml
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/serializable_t.ml > src/lib/serializable_t.ml.depends
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/question.cmx src/lib/question.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_t.cmx src/lib/serializable_t.ml
+ ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_t.cmx src/lib/serializable_t.ml
File "src/lib/serializable_t.ml", line 127, characters 12-28:
127 | type json = Yojson.Safe.json
^^^^^^^^^^^^^^^^
Alert deprecated: Yojson.Safe.json
json types are being renamed and will be removed in the next Yojson major version. Use type t instead
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -w -32 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_j.cmx src/lib/serializable_j.ml
+ ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -w -32 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/serializable_j.cmx src/lib/serializable_j.ml
File "src/lib/serializable_j.ml", line 117, characters 12-28:
117 | type json = Yojson.Safe.json
^^^^^^^^^^^^^^^^
Alert deprecated: Yojson.Safe.json
json types are being renamed and will be removed in the next Yojson major version. Use type t instead
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/group_field.cmx src/lib/group_field.ml
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/tool/tool_credgen.ml > src/tool/tool_credgen.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/tool/tool_credgen.mli > src/tool/tool_credgen.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -I src/tool -o src/tool/tool_credgen.cmi src/tool/tool_credgen.mli
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/credential.ml > src/lib/credential.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/credential.mli > src/lib/credential.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/credential.cmi src/lib/credential.mli
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/group.cmx src/lib/group.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/credential.cmx src/lib/credential.ml
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/tool/tool_election.ml > src/tool/tool_election.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/tool/tool_election.mli > src/tool/tool_election.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -I src/tool -o src/tool/tool_election.cmi src/tool/tool_election.mli
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/election.ml > src/lib/election.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/election.mli > src/lib/election.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/election.cmi src/lib/election.mli
+ ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/election.cmi src/lib/election.mli
File "src/lib/election.mli", line 26, characters 26-42:
26 | val of_string : string -> Yojson.Safe.json election
^^^^^^^^^^^^^^^^
Alert deprecated: Yojson.Safe.json
json types are being renamed and will be removed in the next Yojson major version. Use type t instead
File "src/lib/election.mli", line 27, characters 16-32:
27 | val get_group : Yojson.Safe.json election -> (module ELECTION_DATA)
^^^^^^^^^^^^^^^^
Alert deprecated: Yojson.Safe.json
json types are being renamed and will be removed in the next Yojson major version. Use type t instead
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/mixnet.ml > src/lib/mixnet.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/mixnet.mli > src/lib/mixnet.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/mixnet.cmi src/lib/mixnet.mli
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/mixnet.cmx src/lib/mixnet.ml
+ ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/mixnet.cmx src/lib/mixnet.ml
File "src/lib/mixnet.ml", line 81, characters 27-37:
81 | M.random (Z.of_int Pervasives.(n - i)) >>= fun k ->
^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/lib/mixnet.ml", line 82, characters 16-26:
82 | let k = Pervasives.(Z.to_int k + i) in
^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/trustees.ml > src/lib/trustees.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/lib/trustees.mli > src/lib/trustees.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/trustees.cmi src/lib/trustees.mli
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/election.cmx src/lib/election.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/trustees.cmx src/lib/trustees.ml
+ ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/trustees.cmx src/lib/trustees.ml
File "src/lib/trustees.ml", line 272, characters 34-52:
272 | let compare (a, _) (b, _) = Pervasives.compare a b in
^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/tool/tool_mkelection.ml > src/tool/tool_mkelection.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/tool/tool_mkelection.mli > src/tool/tool_mkelection.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -I src/tool -o src/tool/tool_mkelection.cmi src/tool/tool_mkelection.mli
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/tool/tool_tkeygen.ml > src/tool/tool_tkeygen.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/tool/tool_tkeygen.mli > src/tool/tool_tkeygen.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -I src/tool -o src/tool/tool_tkeygen.cmi src/tool/tool_tkeygen.mli
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/tool/tool_verifydiff.ml > src/tool/tool_verifydiff.ml.depends
ocamlfind ocamldep -package uuidm -package atdgen -package yojson -modules src/tool/tool_verifydiff.mli > src/tool/tool_verifydiff.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -I src/tool -o src/tool/tool_verifydiff.cmi src/tool/tool_verifydiff.mli
ocamlfind ocamlc -c -g -annot -safe-string -opaque -no-keep-locs -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/belenios_version.cmi src/lib/belenios_version.mli
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -I src/tool -o src/tool/tool_credgen.cmx src/tool/tool_credgen.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -I src/tool -o src/tool/tool_election.cmx src/tool/tool_election.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -I src/tool -o src/tool/tool_mkelection.cmx src/tool/tool_mkelection.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -I src/tool -o src/tool/tool_tkeygen.cmx src/tool/tool_tkeygen.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package uuidm -package atdgen -package yojson -I src/lib -I src/tool -o src/tool/tool_verifydiff.cmx src/tool/tool_verifydiff.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package zarith -package cryptokit -package cmdliner -package uuidm -package atdgen -package yojson -I src/lib -I src/tool -o src/tool/tool_cmdline.cmx src/tool/tool_cmdline.ml
sh genversion.sh > BUILD
cp -p src/lib/belenios_version.mli src/platform/native/belenios_version.mli
ocamlfind ocamldep -package zarith -package cryptokit -package uuidm -package atdgen -package yojson -modules src/platform/native/belenios_version.ml > src/platform/native/belenios_version.ml.depends
ocamlfind ocamldep -package zarith -package cryptokit -package uuidm -package atdgen -package yojson -modules src/platform/native/belenios_version.mli > src/platform/native/belenios_version.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package zarith -package cryptokit -package uuidm -package atdgen -package yojson -I src/platform/native -o src/platform/native/belenios_version.cmi src/platform/native/belenios_version.mli
cp -p src/lib/platform.mli src/platform/native/platform.mli
ocamlfind ocamldep -package zarith -package cryptokit -package uuidm -package atdgen -package yojson -modules src/platform/native/platform.ml > src/platform/native/platform.ml.depends
ocamlfind ocamldep -package zarith -package cryptokit -package uuidm -package atdgen -package yojson -modules src/platform/native/platform.mli > src/platform/native/platform.mli.depends
ocamlfind ocamlc -c -g -annot -safe-string -no-keep-locs -w A-4-6-29-44-45-48 -package zarith -package cryptokit -package uuidm -package atdgen -package yojson -I src/platform/native -o src/platform/native/platform.cmi src/platform/native/platform.mli
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package zarith -package cryptokit -package uuidm -package atdgen -package yojson -I src/platform/native -o src/platform/native/belenios_version.cmx src/platform/native/belenios_version.ml
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package zarith -package cryptokit -package uuidm -package atdgen -package yojson -I src/platform/native -o src/platform/native/platform.cmx src/platform/native/platform.ml
+ ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-45-48 -package zarith -package cryptokit -package uuidm -package atdgen -package yojson -I src/platform/native -o src/platform/native/platform.cmx src/platform/native/platform.ml
File "src/platform/native/platform.ml", line 209, characters 21-31:
209 | let bit_length x = Pervasives.(String.length (to_bits x) * 8)
^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
ocamlfind ocamlopt -a -I src/platform/native src/platform/native/belenios_version.cmx src/platform/native/platform.cmx -o src/platform/platform-native.cmxa
ocamlfind ocamlopt -linkpkg -g -package zarith -package cryptokit -package cmdliner -package uuidm -package atdgen -package yojson -I src/platform -I src/lib -I src/tool src/platform/platform-native.cmxa src/lib/common.cmx src/lib/serializable_builtin_t.cmx src/lib/serializable_core_t.cmx src/lib/question_h_t.cmx src/lib/question_h.cmx src/lib/serializable_builtin_j.cmx src/lib/serializable_core_j.cmx src/lib/question_h_j.cmx src/lib/question_nh_t.cmx src/lib/question_nh.cmx src/lib/question_nh_j.cmx src/lib/question.cmx src/lib/serializable_t.cmx src/lib/credential.cmx src/lib/serializable_j.cmx src/lib/group_field.cmx src/lib/group.cmx src/lib/mixnet.cmx src/lib/election.cmx src/lib/trustees.cmx src/tool/tool_credgen.cmx src/tool/tool_election.cmx src/tool/tool_mkelection.cmx src/tool/tool_tkeygen.cmx src/tool/tool_verifydiff.cmx src/tool/tool_cmdline.cmx -o src/tool/tool_cmdline.native
cp -p src/tool/tool_cmdline.native belenios-tool
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-1.10+dfsg'
/usr/bin/make doc
make[2]: Entering directory '/<<BUILDDIR>>/belenios-1.10+dfsg'
ocamlbuild doc.otarget
ocamlfind ocamldoc -dump src/lib/serializable_t.odoc -package uuidm -package atdgen -package yojson -I src/lib src/lib/serializable_t.mli
+ ocamlfind ocamldoc -dump src/lib/serializable_t.odoc -package uuidm -package atdgen -package yojson -I src/lib src/lib/serializable_t.mli
File "src/lib/serializable_t.mli", line 127, characters 12-28:
127 | type json = Yojson.Safe.json
^^^^^^^^^^^^^^^^
Alert deprecated: Yojson.Safe.json
json types are being renamed and will be removed in the next Yojson major version. Use type t instead
ocamlfind ocamldoc -dump src/lib/signatures.odoc -package uuidm -package atdgen -package yojson -I src/lib src/lib/signatures.mli
+ ocamlfind ocamldoc -dump src/lib/signatures.odoc -package uuidm -package atdgen -package yojson -I src/lib src/lib/signatures.mli
Warning: Module type Signatures_core.RANDOM not found
Warning: Module type Signatures_core.MONAD not found
Warning: Module type Signatures_core.GROUP not found
ocamlfind ocamldoc -dump src/lib/group_field.odoc -package uuidm -package atdgen -package yojson -I src/lib src/lib/group_field.mli
+ ocamlfind ocamldoc -dump src/lib/group_field.odoc -package uuidm -package atdgen -package yojson -I src/lib src/lib/group_field.mli
Warning: Module type Signatures.GROUP not found
ocamlfind ocamldoc -dump src/lib/election.odoc -package uuidm -package atdgen -package yojson -I src/lib src/lib/election.mli
+ ocamlfind ocamldoc -dump src/lib/election.odoc -package uuidm -package atdgen -package yojson -I src/lib src/lib/election.mli
File "src/lib/election.mli", line 26, characters 26-42:
26 | val of_string : string -> Yojson.Safe.json election
^^^^^^^^^^^^^^^^
Alert deprecated: Yojson.Safe.json
json types are being renamed and will be removed in the next Yojson major version. Use type t instead
File "src/lib/election.mli", line 27, characters 16-32:
27 | val get_group : Yojson.Safe.json election -> (module ELECTION_DATA)
^^^^^^^^^^^^^^^^
Alert deprecated: Yojson.Safe.json
json types are being renamed and will be removed in the next Yojson major version. Use type t instead
Warning: Module type ELECTION not found
Warning: Module type ELECTION not found
Warning: Element Signatures.ELECTION not found
Warning: Element Signatures.ELECTION not found
rm -rf api.docdir
mkdir -p api.docdir
ocamlfind ocamldoc -load src/lib/serializable_t.odoc -load src/lib/signatures.odoc -load src/lib/group_field.odoc -load src/lib/election.odoc -html -d api.docdir
+ ocamlfind ocamldoc -load src/lib/serializable_t.odoc -load src/lib/signatures.odoc -load src/lib/group_field.odoc -load src/lib/election.odoc -html -d api.docdir
Warning: Module type Signatures_core.RANDOM not found
Warning: Module type Signatures_core.MONAD not found
Warning: Module type Signatures_core.GROUP not found
markdown README.md > README.html
markdown INSTALL.md > INSTALL.html
markdown CHANGES.md > CHANGES.html
/usr/bin/make doc/specification.pdf
make[3]: Entering directory '/<<BUILDDIR>>/belenios-1.10+dfsg'
cd doc && for u in 1 2 3; do pdflatex specification.tex; done
This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Debian) (preloaded format=pdflatex)
restricted \write18 enabled.
entering extended mode
(./specification.tex
LaTeX2e <2019-10-01> patch level 3
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2019/10/25 v1.4k 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/texlive/texmf-dist/tex/latex/base/t1enc.def))
(/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/oberdiek/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/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/oberdiek/kvsetkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifluatex.sty)))
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/hycolor.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/hopatch.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/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/oberdiek/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/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)
No file specification.aux.
(/usr/share/texmf/tex/latex/lm/t1lmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/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/omslmr.fd)
LaTeX Warning: Citation `Pedersen' on page 1 undefined on input line 69.
LaTeX Warning: Citation `wpes2013' on page 1 undefined on input line 70.
LaTeX Warning: Citation `wpes2013' on page 1 undefined on input line 71.
LaTeX Warning: Citation `asiacrypt12' on page 1 undefined on input line 71.
LaTeX Warning: Citation `Helios' on page 1 undefined on input line 74.
LaTeX Warning: Citation `note-Pierrick' on page 1 undefined on input line 76.
LaTeX Warning: Citation `CGGI-esorics14' on page 1 undefined on input line 77.
LaTeX Warning: Citation `Belenios-Meadows2019' on page 1 undefined on input lin
e 78.
LaTeX Warning: Citation `CHVote' on page 1 undefined on input line 81.
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd)
LaTeX Warning: Reference `default-group' on page 1 undefined on input line 120.
[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
(/usr/share/texmf/tex/latex/lm/t1lmtt.fd)
LaTeX Warning: Hyper reference `basic-types' on page 2 undefined on input line
163.
LaTeX Warning: Hyper reference `credentials' on page 2 undefined on input line
165.
(/usr/share/texmf/tex/latex/lm/t1lmss.fd)
LaTeX Warning: Reference `no-threshold' on page 2 undefined on input line 172.
LaTeX Warning: Reference `threshold' on page 2 undefined on input line 172.
LaTeX Warning: Hyper reference `elections' on page 2 undefined on input line 17
3.
LaTeX Warning: Reference `item-forget' on page 2 undefined on input line 179.
LaTeX Warning: Hyper reference `trustee-keys' on page 2 undefined on input line
191.
[2]
LaTeX Warning: Hyper reference `certificates' on page 3 undefined on input line
212.
LaTeX Warning: Hyper reference `polynomials' on page 3 undefined on input line
220.
LaTeX Warning: Hyper reference `vinputs' on page 3 undefined on input line 225.
LaTeX Warning: Hyper reference `voutputs' on page 3 undefined on input line 230
.
LaTeX Warning: Hyper reference `threshold-params' on page 3 undefined on input
line 235.
LaTeX Warning: Reference `polynomials' on page 3 undefined on input line 237.
LaTeX Warning: Hyper reference `ballots' on page 3 undefined on input line 247.
LaTeX Warning: Reference `item-forget' on page 3 undefined on input line 257.
LaTeX Warning: Hyper reference `tally' on page 3 undefined on input line 272.
LaTeX Warning: Reference `shuffles' on page 3 undefined on input line 275.
[3]
LaTeX Warning: Hyper reference `shuffles' on page 4 undefined on input line 283
.
LaTeX Warning: Hyper reference `tally' on page 4 undefined on input line 296.
LaTeX Warning: Hyper reference `election-result' on page 4 undefined on input l
ine 301.
LaTeX Warning: Hyper reference `election-result' on page 4 undefined on input l
ine 349.
[4]
LaTeX Warning: Reference `sec:audit-voting' on page 5 undefined on input line 3
53.
LaTeX Warning: Reference `sec:audit-voting' on page 5 undefined on input line 3
56.
LaTeX Warning: Hyper reference `common' on page 5 undefined on input line 434.
[5] [6]
LaTeX Warning: Reference `pki' on page 7 undefined on input line 546.
[7] [8]
LaTeX Warning: Hyper reference `trustee-keys' on page 9 undefined on input line
708.
[9]
Overfull \hbox (3.77475pt too wide) detected at line 810
[]
LaTeX Warning: Reference `answers' on page 10 undefined on input line 819.
[10]
LaTeX Warning: Reference `nh-answers' on page 11 undefined on input line 904.
LaTeX Warning: Hyper reference `election-setup' on page 11 undefined on input l
ine 912.
LaTeX Warning: Hyper reference `elections' on page 11 undefined on input line 9
43.
LaTeX Warning: Hyper reference `credentials' on page 11 undefined on input line
945.
LaTeX Warning: Reference `iproof' on page 11 undefined on input line 969.
[11]
LaTeX Warning: Reference `bproof' on page 12 undefined on input line 987.
[12]
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 1102.
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `subscript' on input line 1102.
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 1102.
[13] (/usr/share/texmf/tex/latex/lm/ot1lmss.fd)
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 1161.
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `subscript' on input line 1161.
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 1161.
LaTeX Warning: Reference `non-blank-votes' on page 14 undefined on input line 1
166.
[14]
LaTeX Warning: Hyper reference `credentials' on page 15 undefined on input line
1241.
[15]
LaTeX Warning: Hyper reference `answers' on page 16 undefined on input line 128
0.
LaTeX Warning: Hyper reference `signatures' on page 16 undefined on input line
1280.
LaTeX Warning: Hyper reference `answers' on page 16 undefined on input line 128
0.
LaTeX Warning: Hyper reference `signatures' on page 16 undefined on input line
1280.
[16]
LaTeX Warning: Reference `tally' on page 17 undefined on input line 1340.
Overfull \hbox (2.68176pt too wide) in paragraph at lines 1338--1343
\T1/lmr/m/n/10 as $\OML/lmm/m/it/10 b[]$ \T1/lmr/m/n/10 (see later), they must
be merged into the en-crypted tally as $\OML/lmm/m/it/10 a[]$ \T1/lmr/m/n/10 su
ch that $\OML/lmm/m/it/10 b[] \OT1/lmr/m/n/10 = [](\OML/lmm/m/it/10 a[]\OT1/lmr
/m/n/10 )$\T1/lmr/m/n/10 .
LaTeX Warning: Citation `CHVote' on page 17 undefined on input line 1345.
LaTeX Warning: Reference `shuffle-algorithms' on page 17 undefined on input lin
e 1387.
[17]
LaTeX Warning: Hyper reference `trustee-keys' on page 18 undefined on input lin
e 1406.
[18]
LaTeX Warning: Reference `nh-answers' on page 19 undefined on input line 1492.
LaTeX Warning: Hyper reference `election-setup' on page 19 undefined on input l
ine 1503.
[19]
LaTeX Warning: Reference `nh-answers' on page 20 undefined on input line 1565.
[20]
LaTeX Warning: Reference `shuffles' on page 21 undefined on input line 1609.
LaTeX Warning: Citation `CHVote' on page 21 undefined on input line 1611.
LaTeX Warning: Reference `gen-permutation' on page 21 undefined on input line 1
630.
LaTeX Warning: Reference `gen-re-encryption' on page 21 undefined on input line
1635.
LaTeX Warning: Reference `get-secondary-generator' on page 21 undefined on inpu
t line 1714.
LaTeX Warning: Reference `get-generators' on page 21 undefined on input line 17
14.
LaTeX Warning: Reference `gen-permutation-commitment' on page 21 undefined on i
nput line 1717.
LaTeX Warning: Reference `serialize-array' on page 21 undefined on input line 1
720.
LaTeX Warning: Reference `get-nizkp-challenges' on page 21 undefined on input l
ine 1723.
LaTeX Warning: Reference `gen-commitment-chain' on page 21 undefined on input l
ine 1728.
LaTeX Warning: Reference `get-nizkp-challenge' on page 21 undefined on input li
ne 1748.
LaTeX Warning: Reference `get-secondary-generator' on page 21 undefined on inpu
t line 1792.
LaTeX Warning: Reference `get-generators' on page 21 undefined on input line 17
92.
LaTeX Warning: Reference `serialize-array' on page 21 undefined on input line 1
795.
LaTeX Warning: Reference `get-nizkp-challenges' on page 21 undefined on input l
ine 1798.
LaTeX Warning: Reference `get-nizkp-challenge' on page 21 undefined on input li
ne 1806.
LaTeX Warning: Reference `get-generator' on page 21 undefined on input line 183
4.
LaTeX Warning: Reference `get-generator' on page 21 undefined on input line 185
2.
[21] [22] [23] [24] [25] [26] [27] [28] [29]
No file specification.bbl.
(./specification.aux)
Package rerunfilecheck Warning: File `specification.out' has changed.
(rerunfilecheck) Rerun to get outlines right
(rerunfilecheck) or use package `bookmark'.
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}
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 bbm9
mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input bbm9
This is METAFONT, Version 2.7182818 (TeX Live 2019/Debian) (preloaded base=mf)
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/bbm9.mf
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbbase.mf
(/usr/share/texlive/texmf-dist/fonts/source/public/cm/cmbase.mf))
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbord.mf
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbordu.mf [65] [66]
[67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81]
[82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbordl.mf [97] [98]
[99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111]
[112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122])
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbordsp.mf [49]
[50] [40] [41] [91] [93]) ) )
Font metrics written on bbm9.tfm.
Output written on bbm9.600gf (58 characters, 15272 bytes).
Transcript written on bbm9.log.
mktexpk: /tmp/texfonts/pk/ljfour/public/bbm/bbm9.600pk: successfully generated.
</tmp/texfonts/pk/ljfour/public/bbm/bbm9.600pk>{/usr/share
/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm
-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-rm.enc}{/usr/share/texmf/fo
nts/enc/dvips/lm/lm-mathex.enc}
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 bbm10
mkdir: cannot create directory '././sbuild-nonexistent': Permission denied
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input bbm10
This is METAFONT, Version 2.7182818 (TeX Live 2019/Debian) (preloaded base=mf)
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/bbm10.mf
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbbase.mf
(/usr/share/texlive/texmf-dist/fonts/source/public/cm/cmbase.mf))
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbord.mf
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbordu.mf [65] [66]
[67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81]
[82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbordl.mf [97] [98]
[99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111]
[112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122])
(/usr/share/texlive/texmf-dist/fonts/source/public/bbm/blbordsp.mf [49]
[50] [40] [41] [91] [93]) ) )
Font metrics written on bbm10.tfm.
Output written on bbm10.600gf (58 characters, 17020 bytes).
Transcript written on bbm10.log.
mktexpk: /tmp/texfonts/pk/ljfour/public/bbm/bbm10.600pk: successfully generated.
</tmp/texfonts/pk/ljfour/public/bbm/bbm10.600pk
></usr/share/texmf/fonts/type1/public/lm/lmbx10.pfb></usr/share/texmf/fonts/typ
e1/public/lm/lmbx12.pfb></usr/share/texmf/fonts/type1/public/lm/lmbx8.pfb></usr
/share/texmf/fonts/type1/public/lm/lmbx9.pfb></usr/share/texmf/fonts/type1/publ
ic/lm/lmex10.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi10.pfb></usr/share
/texmf/fonts/type1/public/lm/lmmi5.pfb></usr/share/texmf/fonts/type1/public/lm/
lmmi6.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi7.pfb></usr/share/texmf/f
onts/type1/public/lm/lmmi9.pfb></usr/share/texmf/fonts/type1/public/lm/lmr10.pf
b></usr/share/texmf/fonts/type1/public/lm/lmr12.pfb></usr/share/texmf/fonts/typ
e1/public/lm/lmr17.pfb></usr/share/texmf/fonts/type1/public/lm/lmr5.pfb></usr/s
hare/texmf/fonts/type1/public/lm/lmr6.pfb></usr/share/texmf/fonts/type1/public/
lm/lmr7.pfb></usr/share/texmf/fonts/type1/public/lm/lmr8.pfb></usr/share/texmf/
fonts/type1/public/lm/lmr9.pfb></usr/share/texmf/fonts/type1/public/lm/lmri10.p
fb></usr/share/texmf/fonts/type1/public/lm/lmss10.pfb></usr/share/texmf/fonts/t
ype1/public/lm/lmss8.pfb></usr/share/texmf/fonts/type1/public/lm/lmss9.pfb></us
r/share/texmf/fonts/type1/public/lm/lmssbx10.pfb></usr/share/texmf/fonts/type1/
public/lm/lmsy10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy5.pfb></usr/sh
are/texmf/fonts/type1/public/lm/lmsy6.pfb></usr/share/texmf/fonts/type1/public/
lm/lmsy7.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy9.pfb></usr/share/texm
f/fonts/type1/public/lm/lmtt10.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt
8.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt9.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/stmaryrd/stmary10.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/stmaryrd/stmary9.pfb>
Output written on specification.pdf (29 pages, 637359 bytes).
Transcript written on specification.log.
This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Debian) (preloaded format=pdflatex)
restricted \write18 enabled.
entering extended mode
(./specification.tex
LaTeX2e <2019-10-01> patch level 3
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2019/10/25 v1.4k 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/texlive/texmf-dist/tex/latex/base/t1enc.def))
(/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/oberdiek/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/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/oberdiek/kvsetkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifluatex.sty)))
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/hycolor.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/hopatch.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/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/oberdiek/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/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)
(./specification.aux) (/usr/share/texmf/tex/latex/lm/t1lmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/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 [1{/var/lib/texmf/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/omslmr.fd)
LaTeX Warning: Citation `Pedersen' on page 2 undefined on input line 69.
LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 70.
LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 71.
LaTeX Warning: Citation `asiacrypt12' on page 2 undefined on input line 71.
LaTeX Warning: Citation `Helios' on page 2 undefined on input line 74.
LaTeX Warning: Citation `note-Pierrick' on page 2 undefined on input line 76.
LaTeX Warning: Citation `CGGI-esorics14' on page 2 undefined on input line 77.
LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin
e 78.
LaTeX Warning: Citation `CHVote' on page 2 undefined on input line 81.
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) [2]
(/usr/share/texmf/tex/latex/lm/t1lmtt.fd)
(/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 810
[]
[11] [12] [13]
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 1102.
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `subscript' on input line 1102.
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 1102.
[14] (/usr/share/texmf/tex/latex/lm/ot1lmss.fd)
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 1161.
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `subscript' on input line 1161.
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 1161.
[15] [16] [17]
LaTeX Warning: Citation `CHVote' on page 18 undefined on input line 1345.
[18] [19] [20] [21]
LaTeX Warning: Citation `CHVote' on page 22 undefined on input line 1611.
[22] [23] [24] [25] [26] [27] [28] [29] [30]
No file specification.bbl.
(./specification.aux)
LaTeX Warning: There were undefined references.
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
)
(see the transcript file for additional information){/usr/share/texmf/fonts/enc
/dvips/lm/lm-ec.enc} </tmp/texfonts/pk/ljfour/public/bbm/bbm9.600pk>{/usr/share
/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm
-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-rm.enc}{/usr/share/texmf/fo
nts/enc/dvips/lm/lm-mathex.enc} </tmp/texfonts/pk/ljfour/public/bbm/bbm10.600pk
></usr/share/texmf/fonts/type1/public/lm/lmbx10.pfb></usr/share/texmf/fonts/typ
e1/public/lm/lmbx12.pfb></usr/share/texmf/fonts/type1/public/lm/lmbx8.pfb></usr
/share/texmf/fonts/type1/public/lm/lmbx9.pfb></usr/share/texmf/fonts/type1/publ
ic/lm/lmex10.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi10.pfb></usr/share
/texmf/fonts/type1/public/lm/lmmi5.pfb></usr/share/texmf/fonts/type1/public/lm/
lmmi6.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi7.pfb></usr/share/texmf/f
onts/type1/public/lm/lmmi9.pfb></usr/share/texmf/fonts/type1/public/lm/lmr10.pf
b></usr/share/texmf/fonts/type1/public/lm/lmr12.pfb></usr/share/texmf/fonts/typ
e1/public/lm/lmr17.pfb></usr/share/texmf/fonts/type1/public/lm/lmr5.pfb></usr/s
hare/texmf/fonts/type1/public/lm/lmr6.pfb></usr/share/texmf/fonts/type1/public/
lm/lmr7.pfb></usr/share/texmf/fonts/type1/public/lm/lmr8.pfb></usr/share/texmf/
fonts/type1/public/lm/lmr9.pfb></usr/share/texmf/fonts/type1/public/lm/lmri10.p
fb></usr/share/texmf/fonts/type1/public/lm/lmss10.pfb></usr/share/texmf/fonts/t
ype1/public/lm/lmss8.pfb></usr/share/texmf/fonts/type1/public/lm/lmss9.pfb></us
r/share/texmf/fonts/type1/public/lm/lmssbx10.pfb></usr/share/texmf/fonts/type1/
public/lm/lmsy10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy5.pfb></usr/sh
are/texmf/fonts/type1/public/lm/lmsy6.pfb></usr/share/texmf/fonts/type1/public/
lm/lmsy7.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy9.pfb></usr/share/texm
f/fonts/type1/public/lm/lmtt10.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt
8.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt9.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/stmaryrd/stmary10.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/stmaryrd/stmary9.pfb>
Output written on specification.pdf (30 pages, 645142 bytes).
Transcript written on specification.log.
This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Debian) (preloaded format=pdflatex)
restricted \write18 enabled.
entering extended mode
(./specification.tex
LaTeX2e <2019-10-01> patch level 3
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2019/10/25 v1.4k 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/texlive/texmf-dist/tex/latex/base/t1enc.def))
(/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/oberdiek/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/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/oberdiek/kvsetkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifluatex.sty)))
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/hycolor.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/hopatch.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/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/oberdiek/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/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)
(./specification.aux) (/usr/share/texmf/tex/latex/lm/t1lmr.fd)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/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 [1{/var/lib/texmf/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/omslmr.fd)
LaTeX Warning: Citation `Pedersen' on page 2 undefined on input line 69.
LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 70.
LaTeX Warning: Citation `wpes2013' on page 2 undefined on input line 71.
LaTeX Warning: Citation `asiacrypt12' on page 2 undefined on input line 71.
LaTeX Warning: Citation `Helios' on page 2 undefined on input line 74.
LaTeX Warning: Citation `note-Pierrick' on page 2 undefined on input line 76.
LaTeX Warning: Citation `CGGI-esorics14' on page 2 undefined on input line 77.
LaTeX Warning: Citation `Belenios-Meadows2019' on page 2 undefined on input lin
e 78.
LaTeX Warning: Citation `CHVote' on page 2 undefined on input line 81.
(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/ubbm.fd) [2]
(/usr/share/texmf/tex/latex/lm/t1lmtt.fd)
(/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 810
[]
[11] [12] [13]
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 1102.
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `subscript' on input line 1102.
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 1102.
[14] (/usr/share/texmf/tex/latex/lm/ot1lmss.fd)
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 1161.
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `subscript' on input line 1161.
Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref) removing `math shift' on input line 1161.
[15] [16] [17]
LaTeX Warning: Citation `CHVote' on page 18 undefined on input line 1345.
[18] [19] [20] [21]
LaTeX Warning: Citation `CHVote' on page 22 undefined on input line 1611.
[22] [23] [24] [25] [26] [27] [28] [29] [30]
No file specification.bbl.
(./specification.aux)
LaTeX Warning: There were undefined references.
)
(see the transcript file for additional information){/usr/share/texmf/fonts/enc
/dvips/lm/lm-ec.enc} </tmp/texfonts/pk/ljfour/public/bbm/bbm9.600pk>{/usr/share
/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm
-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-rm.enc}{/usr/share/texmf/fo
nts/enc/dvips/lm/lm-mathex.enc} </tmp/texfonts/pk/ljfour/public/bbm/bbm10.600pk
></usr/share/texmf/fonts/type1/public/lm/lmbx10.pfb></usr/share/texmf/fonts/typ
e1/public/lm/lmbx12.pfb></usr/share/texmf/fonts/type1/public/lm/lmbx8.pfb></usr
/share/texmf/fonts/type1/public/lm/lmbx9.pfb></usr/share/texmf/fonts/type1/publ
ic/lm/lmex10.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi10.pfb></usr/share
/texmf/fonts/type1/public/lm/lmmi5.pfb></usr/share/texmf/fonts/type1/public/lm/
lmmi6.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi7.pfb></usr/share/texmf/f
onts/type1/public/lm/lmmi9.pfb></usr/share/texmf/fonts/type1/public/lm/lmr10.pf
b></usr/share/texmf/fonts/type1/public/lm/lmr12.pfb></usr/share/texmf/fonts/typ
e1/public/lm/lmr17.pfb></usr/share/texmf/fonts/type1/public/lm/lmr5.pfb></usr/s
hare/texmf/fonts/type1/public/lm/lmr6.pfb></usr/share/texmf/fonts/type1/public/
lm/lmr7.pfb></usr/share/texmf/fonts/type1/public/lm/lmr8.pfb></usr/share/texmf/
fonts/type1/public/lm/lmr9.pfb></usr/share/texmf/fonts/type1/public/lm/lmri10.p
fb></usr/share/texmf/fonts/type1/public/lm/lmss10.pfb></usr/share/texmf/fonts/t
ype1/public/lm/lmss8.pfb></usr/share/texmf/fonts/type1/public/lm/lmss9.pfb></us
r/share/texmf/fonts/type1/public/lm/lmssbx10.pfb></usr/share/texmf/fonts/type1/
public/lm/lmsy10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy5.pfb></usr/sh
are/texmf/fonts/type1/public/lm/lmsy6.pfb></usr/share/texmf/fonts/type1/public/
lm/lmsy7.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy9.pfb></usr/share/texm
f/fonts/type1/public/lm/lmtt10.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt
8.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt9.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/stmaryrd/stmary10.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/stmaryrd/stmary9.pfb>
Output written on specification.pdf (30 pages, 645300 bytes).
Transcript written on specification.log.
make[3]: Leaving directory '/<<BUILDDIR>>/belenios-1.10+dfsg'
make[2]: Leaving directory '/<<BUILDDIR>>/belenios-1.10+dfsg'
_build/belenios-tool --help=groff > debian/belenios-tool.1
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-1.10+dfsg'
debian/rules override_dh_auto_test
make[1]: Entering directory '/<<BUILDDIR>>/belenios-1.10+dfsg'
demo/demo.sh
=-=-= Setup election =-=-=
UUID of the election is fbd5eb7e-aead-451c-a917-6ef0c2b45732
5 private credentials with ids saved to ./1576387253.privcreds
5 public credentials saved to ./1576387253.pubcreds
5 hashed public credentials with ids saved to ./1576387253.hashcreds
I: keypair 20FC2DDE has been generated
I: public key saved to 20FC2DDE.pubkey
I: private key saved to 20FC2DDE.privkey
I: keypair BCADB003 has been generated
I: public key saved to BCADB003.pubkey
I: private key saved to BCADB003.privkey
I: keypair F431301B has been generated
I: public key saved to F431301B.pubkey
I: private key saved to F431301B.privkey
=-=-= Simulate votes =-=-=
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading public_keys.jsons...
I: loading 62...
I: loading 63...
Voter 1 voted
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading public_keys.jsons...
I: loading 62...
I: loading 63...
Voter 2 voted
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading public_keys.jsons...
I: loading 62...
I: loading 63...
Voter 3 voted
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading public_keys.jsons...
I: loading 62...
I: loading 63...
Voter 4 voted
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading public_keys.jsons...
I: loading 62...
I: loading 63...
Voter 5 voted
=-=-= Perform verification =-=-=
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading public_keys.jsons...
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 threshold.json...
I: loading public_keys.jsons...
I: loading 20FC2DDE.privkey...
I: loading ballots.jsons...
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading public_keys.jsons...
I: loading BCADB003.privkey...
I: loading ballots.jsons...
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading public_keys.jsons...
I: loading F431301B.privkey...
I: loading ballots.jsons...
=-=-= Finalize tally =-=-=
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading public_keys.jsons...
I: loading partial_decryptions.jsons...
I: loading ballots.jsons...
=-=-= Perform final verification =-=-=
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading public_keys.jsons...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading result.json...
I: all checks passed
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The simulated election was successful! Its result can be seen in
/<<BUILDDIR>>/belenios-1.10+dfsg/demo/data/fbd5eb7e-aead-451c-a917-6ef0c2b45732/result.json
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
demo/demo-threshold.sh
=-=-= Setup election =-=-=
UUID of the election is cf191f91-1fd3-44e7-9bd5-0bd3d9673095
5 private credentials with ids saved to ./1576387286.privcreds
5 public credentials saved to ./1576387286.pubcreds
5 hashed public credentials with ids saved to ./1576387286.hashcreds
I: certificate e73f5277fdeaa5fe846d5267d04f165ad5d4b6ceae3ad99d8dae077f70d341a8 has been generated
I: certificate saved to e73f5277fdeaa5fe846d5267d04f165ad5d4b6ceae3ad99d8dae077f70d341a8.cert
I: private key saved to e73f5277fdeaa5fe846d5267d04f165ad5d4b6ceae3ad99d8dae077f70d341a8.key
I: certificate b5fd2d8a4d181ae0c44cbfde5d12676672183c0ba77532de1e82e8262aec8c8c has been generated
I: certificate saved to b5fd2d8a4d181ae0c44cbfde5d12676672183c0ba77532de1e82e8262aec8c8c.cert
I: private key saved to b5fd2d8a4d181ae0c44cbfde5d12676672183c0ba77532de1e82e8262aec8c8c.key
I: certificate cbac1617340a37f7e73f2de69dcfd633d92c26f372a63df8ffac7ece6afcee74 has been generated
I: certificate saved to cbac1617340a37f7e73f2de69dcfd633d92c26f372a63df8ffac7ece6afcee74.cert
I: private key saved to cbac1617340a37f7e73f2de69dcfd633d92c26f372a63df8ffac7ece6afcee74.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 b5fd2d8a4d181ae0c44cbfde5d12676672183c0ba77532de1e82e8262aec8c8c.vinput
I: wrote cbac1617340a37f7e73f2de69dcfd633d92c26f372a63df8ffac7ece6afcee74.vinput
I: wrote e73f5277fdeaa5fe846d5267d04f165ad5d4b6ceae3ad99d8dae077f70d341a8.vinput
I: loading certs.jsons...
I: loading certs.jsons...
I: loading certs.jsons...
I: loading certs.jsons...
I: loading polynomials.jsons...
I: wrote b5fd2d8a4d181ae0c44cbfde5d12676672183c0ba77532de1e82e8262aec8c8c.dkey
I: wrote cbac1617340a37f7e73f2de69dcfd633d92c26f372a63df8ffac7ece6afcee74.dkey
I: wrote e73f5277fdeaa5fe846d5267d04f165ad5d4b6ceae3ad99d8dae077f70d341a8.dkey
=-=-= Simulate votes =-=-=
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading 62...
I: loading 63...
Voter 1 voted
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading 62...
I: loading 63...
Voter 2 voted
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading 62...
I: loading 63...
Voter 3 voted
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading 62...
I: loading 63...
Voter 4 voted
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading 62...
I: loading 63...
Voter 5 voted
=-=-= Perform verification =-=-=
I: using directory .
I: loading election.json...
I: loading threshold.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 threshold.json...
I: loading ballots.jsons...
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading ballots.jsons...
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading ballots.jsons...
=-=-= Finalize tally =-=-=
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading partial_decryptions.jsons...
I: loading ballots.jsons...
=-=-= Perform final verification =-=-=
I: using directory .
I: loading election.json...
I: loading threshold.json...
I: loading ballots.jsons...
I: loading public_creds.txt...
I: loading result.json...
I: all checks passed
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The simulated election was successful! Its result can be seen in
/<<BUILDDIR>>/belenios-1.10+dfsg/demo/data/cf191f91-1fd3-44e7-9bd5-0bd3d9673095/result.json
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
make[1]: Leaving directory '/<<BUILDDIR>>/belenios-1.10+dfsg'
create-stamp debian/debhelper-build-stamp
fakeroot debian/rules binary-arch
dh binary-arch --with ocaml
dh_testroot -a
dh_prep -a
dh_auto_install -a
dh_install -a
dh_ocamldoc -a
dh_installdocs -a
dh_installchangelogs -a
dh_installman -a
dh_perl -a
dh_link -a
dh_strip_nondeterminism -a
dh_compress -a
dh_fixperms -a
dh_missing -a
dh_dwz -a
dh_strip -a
dh_makeshlibs -a
dh_shlibdeps -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' in '../belenios-tool_1.10+dfsg-1_armhf.deb'.
dpkg-deb: building package 'belenios-tool-dbgsym' in '../belenios-tool-dbgsym_1.10+dfsg-1_armhf.deb'.
dpkg-genbuildinfo --build=any
dpkg-genchanges --build=any -mRaspbian mythic lxc autobuilder 1 <root@raspbian.org> >../belenios_1.10+dfsg-1_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2019-12-15T05:22:16Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
belenios_1.10+dfsg-1_armhf.changes:
-----------------------------------
Format: 1.8
Date: Tue, 10 Dec 2019 12:57:49 +0100
Source: belenios
Binary: belenios-tool belenios-tool-dbgsym
Architecture: armhf
Version: 1.10+dfsg-1
Distribution: bullseye-staging
Urgency: medium
Maintainer: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
belenios-tool - verifiable voting system (command-line tool)
Changes:
belenios (1.10+dfsg-1) unstable; urgency=medium
.
* New upstream release
* Remove debian/compat and build-depend on debhelper-compat
* Bump Standards-Version to 4.4.1
Checksums-Sha1:
6b667461e2c93048cee3ce426872bae878e171c9 180808 belenios-tool-dbgsym_1.10+dfsg-1_armhf.deb
2c9f9416193fcd4eec1fdb57af3fbfb5b4d3a81f 1372204 belenios-tool_1.10+dfsg-1_armhf.deb
abdda47708d6ca6cf164617186af292fa8f7036d 8330 belenios_1.10+dfsg-1_armhf.buildinfo
Checksums-Sha256:
e62256a81674582f54cd614feccc5d136465846ff4bce5c8680266660e57e362 180808 belenios-tool-dbgsym_1.10+dfsg-1_armhf.deb
ff4b32f98ac494f5d03a9550a4b24d5cc4c6c31232e0c9bf7832195dbc6711e4 1372204 belenios-tool_1.10+dfsg-1_armhf.deb
cb1892cd045a98cce4215d598c1b2e672b90dace1b87252d655a77acbc6f9acb 8330 belenios_1.10+dfsg-1_armhf.buildinfo
Files:
60f45cf6af074fd46afa029187232e8d 180808 debug optional belenios-tool-dbgsym_1.10+dfsg-1_armhf.deb
049bdd3c5f605655591cba76019852f2 1372204 misc optional belenios-tool_1.10+dfsg-1_armhf.deb
30c5ee08cd6e2a35c0f8681e6873bc47 8330 misc optional belenios_1.10+dfsg-1_armhf.buildinfo
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
belenios-tool-dbgsym_1.10+dfsg-1_armhf.deb
------------------------------------------
new Debian package, version 2.0.
size 180808 bytes: control archive=532 bytes.
387 bytes, 12 lines control
106 bytes, 1 lines md5sums
Package: belenios-tool-dbgsym
Source: belenios
Version: 1.10+dfsg-1
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 806
Depends: belenios-tool (= 1.10+dfsg-1)
Section: debug
Priority: optional
Description: debug symbols for belenios-tool
Build-Ids: 3254a36c246a9ef8fb0da66dd036ed815594ce37
drwxr-xr-x root/root 0 2019-12-10 11:57 ./
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/lib/
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/lib/debug/
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/lib/debug/.build-id/32/
-rw-r--r-- root/root 814772 2019-12-10 11:57 ./usr/lib/debug/.build-id/32/54a36c246a9ef8fb0da66dd036ed815594ce37.debug
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/share/
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/share/doc/
lrwxrwxrwx root/root 0 2019-12-10 11:57 ./usr/share/doc/belenios-tool-dbgsym -> belenios-tool
belenios-tool_1.10+dfsg-1_armhf.deb
-----------------------------------
new Debian package, version 2.0.
size 1372204 bytes: control archive=1396 bytes.
1613 bytes, 35 lines control
729 bytes, 10 lines md5sums
Package: belenios-tool
Source: belenios
Version: 1.10+dfsg-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 3080
Depends: libc6 (>= 2.29), libgmp10, zlib1g (>= 1:1.1.4)
Section: misc
Priority: optional
Homepage: http://www.belenios.org/
Description: verifiable voting system (command-line tool)
Belenios aims at providing an easy to use voting system, guaranteeing
state-of-the-art security, namely vote privacy and verifiability. It
can be used in many types of elections, ranging from scientific
councils to sport associations.
.
It consists of a command-line tool and a web server. Both use the
same backend and can be used to organize elections and perform
verifications.
.
Security properties of the system are:
* Vote privacy: No one can learn the vote of a voter. Vote privacy
relies on the encryption of the votes.
* End-to-end verifiablity: Every voter can check that her vote has
been counted and only eligible voters may vote. End-to-end
verifiablity relies on the fact that the ballot box is public
(voters can check that their ballots have been received) and on
the fact that the tally is publicly verifiable (anyone can recount
the votes). Moreover, ballots are signed by the voter credential
(only eligible voters are able to vote).
.
This package provides the command-line tool, which is the most
convenient way to exercise the verifiability capabilities of the
system. It can be used to run an election without using the web
server, and to monitor an election running on a web server.
drwxr-xr-x root/root 0 2019-12-10 11:57 ./
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/bin/
-rwxr-xr-x root/root 2449116 2019-12-10 11:57 ./usr/bin/belenios-tool
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/share/
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/share/doc/
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/share/doc/belenios-tool/
-rw-r--r-- root/root 3414 2019-12-10 11:57 ./usr/share/doc/belenios-tool/README.html
-rw-r--r-- root/root 3278 2019-12-09 09:39 ./usr/share/doc/belenios-tool/README.md
-rw-r--r-- root/root 522 2019-12-10 11:57 ./usr/share/doc/belenios-tool/changelog.Debian.gz
-rw-r--r-- root/root 3426 2019-12-09 09:39 ./usr/share/doc/belenios-tool/changelog.gz
-rw-r--r-- root/root 33963 2019-12-10 11:57 ./usr/share/doc/belenios-tool/copyright
-rw-r--r-- root/root 2066 2019-12-09 09:39 ./usr/share/doc/belenios-tool/demo.sh
-rw-r--r-- root/root 639567 2019-12-10 11:57 ./usr/share/doc/belenios-tool/specification.pdf.gz
-rw-r--r-- root/root 2413 2019-12-09 09:39 ./usr/share/doc/belenios-tool/tool.md.gz
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/share/man/
drwxr-xr-x root/root 0 2019-12-10 11:57 ./usr/share/man/man1/
-rw-r--r-- root/root 741 2019-12-10 11:57 ./usr/share/man/man1/belenios-tool.1.gz
+------------------------------------------------------------------------------+
| Post Build |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Cleanup |
+------------------------------------------------------------------------------+
Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
+------------------------------------------------------------------------------+
| Summary |
+------------------------------------------------------------------------------+
Build Architecture: armhf
Build-Space: 27768
Build-Time: 118
Distribution: bullseye-staging
Host Architecture: armhf
Install-Time: 1274
Job: belenios_1.10+dfsg-1
Machine Architecture: armhf
Package: belenios
Package-Time: 1407
Source-Version: 1.10+dfsg-1
Space: 27768
Status: successful
Version: 1.10+dfsg-1
--------------------------------------------------------------------------------
Finished at 2019-12-15T05:22:16Z
Build needed 00:23:27, 27768k disk space